PKFVŦ# _rels/.relsj1Ew'sϤ(uWj.$Q7 J)o9{~}'t5.#0Jezp1r%ƄctOqCfj% vKْINFM"Fg&kgh%DE k#g^UQmBiIsScD_]%a|}TBE !dV$ vzcEݤwY@悖*qlm ݆*?WPKFV&N1#Boogie.CodeContractsExtender.nuspec\Mn0X T9A*R%TUzcEb[IE+4!<ߛ/n늽&|bxE:LW|OT `SKx'e2%: )HPˁlM`D,'H[Mt6p 6&xBm(m[o쀁b+%/zʀiLE "d*i}~ jIaӦn\}ԢNBD0`wEAoeO`A!9 xb VÖٟw?6 XO`千qDF G5|b<ݍKv=RV DWJTRԇV*jJQ)m7sw{ G[u}7|p(9+;a</=~m|ZwYJZ&Lr sfT7hJXUU*icth {;ygheR"j{= тc5W=pJWźPn9 Lr?"Tn 1).ly5;I7(&T +}7͖%gmR>$/juCU/^dj0gËA.;[ڎEU%'XPוk/}1A*jilT^wLZu]ZGgy 4XRhU pQ-%!`Je)A,>ܧȕy11ٰKBdeD퇈^B>ںv*/щ*oߴ_w08%k3\{@jKNQzxXxVT_\\BDx3'aDSgA.RS.r]tnWN B@ p  MAU[mTӾPg(LAyoSj/HA$?wJT+[z< АD(Q@YHT-V *]$ХE&Јl[)%j[^$Vak ՈmkIEv#;F4pst& |QOS][hw;V~< K^A>+װTF+< ~/ѻȜ zS#z?JP%IT,w%z&#Ьsfe1)m}(rKPm ZZJХqk-%V*4WG%J=]HZ,}KiV*AKб6/Jgh$˴UYN_ zXVzLC CVIm/XYIϗ"SjR)!AHn4+$ߟTx<*|:1Bʿsh?^+RP䌠[tPk^P }HE"N _Ij_SdFP7,4.) >L~IPIJ 0rʀ Z:CO^N/+Wkc~_Iع}7۸މ3 8 MQѯD]* /Fk³-;,@:$jIs<c./R^)URX14.gڶ}.6l90X=!ۓ`o3a0ШRzRs9?oKe\ڥ9c즫܄fبi0^=Whېl;.3\qr46,+Įb&$ :Ya)J&Yqq9eXꀘ(3>Mɣ$!j)z]\a96,9Kz(ײnq(J0'gÖ;sOdu&3CF$+AS>g\:gdrn(?q-R$㚝fNb-v f;X)hb=)=?p"ȧ(c_EK9>%'e3?qVppԌ^3rkkI/lJbΟʨ\7`Ԝ/g$]es "L_P!wn讯u\lMz2flaǖzL.oiG곬ΰR0Y)fRPǀD|3))Y؋״970dY!LAlҋŒ3kir\=x05k+w.'?kdwOMg.BShJI[d3<-+;hh.)fN/EJ *ki^ rrvNQdoH‘ʃ!H 9] *-\%w}+Q66]kkY|!ǧm렣@_fͱ~f:%낁yם,aFBaoBe8٘U؆Mͱ."!6Z.C Umnmvݬ3ӹD,ie:zNKpS=Ϥ ݅gs7Mu gRH{cmlz/SG۹i+:휉sH:Ƭd NJ)i2їMឱM$}?#}|gߤ7=}Oޱ\MOJKM"1S2Ny˹ac~Xˋ"&}E-Z@ vx)өF 'AhAaAНWW:|7.HRʼϢ#O ;:+47/Dqj:hȅ*-&*mĵ1 ~d(+ƘÌ4 ołE]~~CI1n//]1$jќE ۍ1& t3.3(s}#P5X=vCy,gixnH.}tXQHy^Cy篆-x*֮43X^_~ }/PKFVQI LICENSE.txtURKo0Wrj+ԽXKg9pWGӨ~g(ݶ<뛷!C[y)B6Z71_MVj(lg`plxs|ohNp'֟MA; [; -t'Y[op6wb8˃M8Xeezizӎ`'Fݏm-mG( u'^AKѱ[@4f6vGzK[bSBN~8``QS\@Sm+ZUe&2x KW; 8xPm%,ViRLnB 2-v,_`{eOTCEP].PR4*ײF1٦RJtWpNU#>CR,b+JX(f*Cj֗VAɗ\C^Z2.Th*-&-!u *DQآn *1ZV%HR+<&R{و QS#DYe)Q(jv#8B]#>dՐPKFV6h{ [Content_Types].xmlAN0E=m8eJp.`M&3y&U=n `9z-ќ0KHCXi4uvձz~׾3)YΪ:1R!cʋrɱ7?k{I+=o~gL_:ckٳ9Z;ET}JҼdd,}gaYy e85O!zM0¯ZwymPKFV\ ~Qpackage/services/metadata/core-properties/c29a731fc1d946fb93971459462268ee.psmdcpln0E|5 )IU}ֵHȞ4uҐҪ;{y8]ʂ|u,hHYPn2(ƚ ,*pC-Ȃb`mA3)PF"`" tAyrjP5MCM0bO%(k=5K;K>3:#C따KM J8+HUWHpª ͷ7uȵǔQ;o6F AK~m~OF rosG87Jl8;|&ru_@U!閻mchH8u]`m!PҊ1pޚ#,>v|p'7nHn%0e^OʿPKVv,,.signature.p7s0, *H ,0,10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:iLeNcbmEYPylDImreCxGvR+WfQJSOe5TinnR22cFBZY= B00 F`090  *H 0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 061110000000Z 311110000000Z0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0"0  *H 0 C\`q& 9(X` ک2a<(ܟ zyS\1*26vÌ3/(nDa5YvmK + rڞ`Ў5xU m I|13l"2Z9:r1u}"?F(yȱW~VŨ?_wOc0a0U0U00UE뢯˂1-Q!m0U#0E뢯˂1-Q!m0  *H rszdrf2BubV( `\LX=IEX5iGVyg <&, =(_"◄egI] *&x}?+&5m_I[=%̶odh-BbPglk 67|[mzF`'KΗg*h߀ 3f nc%mlaң&qÙQ+.P E/000 _ջfuSCoP0  *H  0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 131022120000Z 281022120000Z0r1 0 UUS10U  DigiCert Inc10U www.digicert.com110/U(DigiCert SHA2 Assured ID Code Signing CA0"0  *H 0 ӳgw 1IE:D娝2qv.C7׶𜆥%y(:~g)'{##w#fT3Pt(&$iRgE-, J M`IJp1f3q>p|˒;1 WJt+l~t96 Nj gN %#d>RŎ,QsbsA8js ds<3%00U00U0U% 0 +0y+m0k0$+0http://ocsp.digicert.com0C+07http://cacerts.digicert.com/DigiCertAssuredIDRootCA.crt0Uz0x0:864http://crl4.digicert.com/DigiCertAssuredIDRootCA.crl0:864http://crl3.digicert.com/DigiCertAssuredIDRootCA.crl0OU H0F08 `Hl0*0(+https://www.digicert.com/CPS0 `Hl0UZĹ{* q`-euX0U#0E뢯˂1-Q!m0  *H  > Z$",|%)v]-:0a~ `=į* U7ђuQnZ^$N?qcK_Dy6FN\Q$$'*)(:q(<.%Gzhh\ \q h@@Dd %B26$/r~IEYtdkfCڳ  Ι1c=OƓIbnS.hlD2fdQ0O07{=HVW,b s0  *H  0r1 0 UUS10U  DigiCert Inc10U www.digicert.com110/U(DigiCert SHA2 Assured ID Code Signing CA0 210216000000Z 240515235959Z01 0 UUS10U Washington10URedmond1*0(U !NuGet.org Repository by Microsoft1*0(U!NuGet.org Repository by Microsoft0"0  *H 0 *fDyl|lk#y4 gqK gzj9l wz}q<6ᛇ a'?N^I{3gJfZL8t,%d_Uu= PGg?m/C;O59|sr2URlu-R;vQ7҂pc Ǒ~%0ɯ|%VV-!F_>%̅#=S50QwKS+Ԇv歶73P00U#0ZĹ{* q`-euX0UPĔ/:bsDt'0U0U% 0 +0wUp0n0531/http://crl3.digicert.com/sha2-assured-cs-g1.crl0531/http://crl4.digicert.com/sha2-assured-cs-g1.crl0KU D0B06 `Hl0)0'+http://www.digicert.com/CPS0g 0+x0v0$+0http://ocsp.digicert.com0N+0Bhttp://cacerts.digicert.com/DigiCertSHA2AssuredIDCodeSigningCA.crt0 U00  *H  z!:wcJ\F`sy Fƈ*Vٮ8<3{1%87#!DfRVjJ׮)P i۔'⻺fݩ2 l_X90*C.h[?G1rۉʶ q&ok%[U9$d +e4 ;I%j XV,/~Ծ*10PĔ/:bsDt'0  `He0 *H  1  *H 0 *H  1 230601090557Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1"  {ZED.$ 405 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He Z)֭т`y1ѴSIÌ3/(nDa5YvmK + rڞ`Ў5xU m I|13l"2Z9:r1u}"?F(yȱW~VŨ?_wOc0a0U0U00UE뢯˂1-Q!m0U#0E뢯˂1-Q!m0  *H rszdrf2BubV( `\LX=IEX5iGVyg <&, =(_"◄egI] *&x}?+&5m_I[=%̶odh-BbPglk 67|[mzF`'KΗg*h߀ 3f nc%mlaң&qÙQ+.P E/00u-P@Z0  *H  0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 220801000000Z 311109235959Z0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40"0  *H 0 sh޻]J<0"0i3§%.!=Y)=Xvͮ{ 08VƗmy_pUA2s*n|!LԼu]xf:1D3@ZI橠gݤ'O9X$\Fdivv=Y]BvizHftKc:=E%D+~am3K}Ï!Ռp,A`cDvb~d3щίCw !T)%lRQGt&Auz_?ɼA[P1r" |Lu?c!_ QkoOE_ ~ &i/-٩:060U00Uq]dL.g?纘O0U#0E뢯˂1-Q!m0U0y+m0k0$+0http://ocsp.digicert.com0C+07http://cacerts.digicert.com/DigiCertAssuredIDRootCA.crt0EU>0<0:864http://crl3.digicert.com/DigiCertAssuredIDRootCA.crl0U  00U 0  *H  pC\U8_t=W,^"iT"wmJz/-8r$RN*-V0z^CDC!rH˝Ow'DY/ 4<LJL@5FjiTV=wZ\ToP=v ho 5` X@cŘ"YUk'lvo#-~qj#k"T-'~:𶇖[\MsW^(⹔0067$T|G(f*^[0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 220323000000Z 370322235959Z0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0"0  *H 0 Ɔ5I=rIQU%7Q҃ўLm̃ZDB_h} 3P &smW}Cs+"=+>BgQ=V(-ӱue)iِF{DA|jWz7y]dRvGa_T !hn7!@_J}9gcl6 \dt@rźNXMy׏s,9H1W)'.NvU&p&G CCc{un'%:8;["ق*ǒ>sZlR+Xt@(sCJk8)ʪsBhF:^KvQɌ ;["&}_#dc>t? v]Fu`X (T]^0Fvk 3ͱ]0Y0U00UmM/s)v/uj o0U#0q]dL.g?纘O0U0U% 0 +0w+k0i0$+0http://ocsp.digicert.com0A+05http://cacerts.digicert.com/DigiCertTrustedRootG4.crt0CU<0:08642http://crl3.digicert.com/DigiCertTrustedRootG4.crl0 U 00g 0  `Hl0  *H  }YoD"~f!B.M0SοP]K)p )ii>` \[m %41gͶoPLb Vs"%Εi?GwrtO,zC_`Of,d&l|p |屮uOZ](TՊqver#'D'$&*yV Ečrjq Ķ͇$OIwfrKR7~S;I9z%c',=?kfAO@!!@з$x:䞭4q&k8sO?;xLĕ{ _39Axz8#(_+~Fu,',&o{6Yp7 O'`gfU:)+A:1b  Wټ2]# v&evB) G+UT++/DJ78+|00 MirK<*J=)=Z0  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 220921000000Z 331121235959Z0F1 0 UUS10U DigiCert1$0"UDigiCert Timestamp 2022 - 20"0  *H 0 &:Ʃk ۡt3&U6mU a w=/kdב81r:U3a(ېc\S:-B&xxzVdS*PHi /};S@rI(LVa:}nf\/MhjyF)>&LfȻP8 匔]Z{@noGy> ^f $ҜOnx(?P75xX9L~M­~-+F9Oq.KO{6DU6|1R{Z~%sj!-cYM/'ҫ8fQkSC9dV mdxs!/. ׁ]Kn1)AeX.)ad lQ` %S;j9bօٍyb{gxƈȰn2y Y,|{dĸS^_U})YN]Es~:w00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0Uba1 =*R0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  U*FxW70uOօ#9%rwd6IQ,xcU F9iʛ)?x|Sbaf*EJB+P0 - y }jS` 裸׭Aߝ_J:R I56YTҲ~^ vTtmg+v&8D Yk">D!?|Hؒ OC_jY'b+AS4g&2{\B KJӘE`3#EGθBGA6qwtN.Z"OQ/_'.W`xVj•KȂ|qNzlZȟ\C*bx۽[ p~x]G,c%8?:~,LMrU,'aw1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA MirK<*J=)=Z0  `He0 *H  1  *H  0 *H  1 230601090557Z0+ *H   1000"M35|s0/ *H  1" $ǿv.'fJi{5clE\ߣ J5607 *H  /1(0&0$0" 2( &:Ox-dLuW#0  *H zI  B}BR1xeJixQvOZ#XOC1"}*vA?5%Wt>ҩ|w.w0YEB'g?l d>UDH @QIQBu%5o(zQoIM'rb"[a%kN"wެ3Mv?P GF<#YdIl7O\ˑ ,KTC+tO)^Ke4"+*۶ZDa] %%"#3MԶSЩ4&+[c,;P dV9A @Y E@Λ;K2X2~"툢q-`O6Ii38;.gXtx'^/JɱWTm`oYu8nvӨbOÿ>.qf+}^'%v:F]NEVݘ;LRPQJ<|@;ΖZ"1[FV}:}G> rv'2QsFZ2PKFVŦ# _rels/.relsPKFV&N1#LBoogie.CodeContractsExtender.nuspecPKFV~  +lib/net6.0/Boogie.CodeContractsExtender.dllPKFVQI LICENSE.txtPKFV6h{ e[Content_Types].xmlPKFV\ ~Qmpackage/services/metadata/core-properties/c29a731fc1d946fb93971459462268ee.psmdcpPKVv,,Z.signature.p7sPKA