PK#zzYp _rels/.relsj1Ew75Fq+U4]C&dߴXPJ}f^fysgr֏-- N ;-~*f=YR> H23bKO)%cO>7N<Ɓ_fABY=>ڻ/gƒ30F&J*ZʶBTb1^0ٴvK!g1ʿ1I>4Ld~j5037-x_1$(pX哬3n}U\?PK#zzY^RBoogie.BaseTypes.nuspec\Rю0|ɥPDKN${ZM@ʯ' 8egg7|5͒0*mڊK;>y-6c^>t=&lC,-2!JPjUom5$iYn4W*9KSxG=gzvZ@0(aW!+@P=XQqVVZ[k ~7Lq C&ٍ*Lu޼7; vrv/PKzzYjX*<,dlib/net6.0/Boogie.BaseTypes.dll|{|ő`}ofFl˖XXlXdc3>ɃmIbHBrH†@ $K\ wK.lWU̧ +{o]ׁ:~1?9phY)յ/vnb7J=N;N[tV\)ck+fEړ*̮) b ڷ q]zKxRGˮ"V/s -r2hLN,Nt}~P?ۇڈoYp$Oent,uӽBWҙeLkGDPy!zCMr?"A5Sx WKZ CjE5u2^GDJO%]KOCX7Gbc:\-=UcDKDj&lR=hg_4kM3=JȂi Hs-i0uD] 9X1}w4̣}i1|f&ٖ)'#f8e7dsMLݏuw_ +E-Qh"Ҽ¤2;Z[8BXi _~gxKzۯ#Lșά3n*X/vQAp,yZ/ؚ^EPj+Z\YE4ݜWpD QqyM߆Vyw(j- fȴ3dE_ǺG79B.Z4\ /"f3B. SBUAŶSٱ8LrrK!Kl؜v0+8K-Q y|vLWӥ5OќY< NBCbmTEKJ q_?@ń3;NB^)G)v) ቗ANGT +Cr00qjGx9VlOdeX ˏakO$SWN~Jbn6QԘR[,y(usqڅ^8VSԘd A_ԚVE`xٱe'(.CA پT'S\M-5)7y|[^ ]K6'ۂ@͒m+m·HAM2RI_*BN`S"n|ed')j<1nP)1%>^mp!fK@'Be~PxBA3~c׼C1gE1I,û_J7S3v-CzpBuB:7vW֍ +o~~z帜+1U9 2v~J_gUt{2MϽ.6'Q.Z؝$^ȫ[ݏov!?c' کD ĝEXb5a!XҞJ.!ǘn٪vY7.BA1D4cr~i)FhM O&1D1$~zFUESI<.UB61x5W_Smr~=H~>u/%WhxDƂq2l gKsTnAOr$nFƳB *':'q@%a&qx>N'"i{5koF=ʭM~yx',B6MH{'>6Dv,H'/"U_򞍹4"PuzJbW݋{}3D|3E7W7W2]pCkfyiĦY{@(3Hg??7 c8~(sYl( P1W4A@y>G>KW35zq'&XUD]pZUcZb4;75+ڃKї<-sNڜάL d!YB.כbF&l¶ 1<֚6oSO&\u&J r_ 2%a(E!(Uja3B [k< i gW\%xed[PћYVYYߘ&PiF1Yy'uL!$Ru%?Hk?ɭo`_ԭl/pZYsin<e\a!.~FΏ}1ö%vO{D_O;v%o> ~?_}=C vҍ; v%}w GoUBkWa0.ƻފBXYULpM.~%+̄>jւ\X:Gk?hg!J-1 Ar=Fr:8/b]X TIư^)b Bb;[mkF k] nDpDbHZG'e@磏+HC}B?a@accИ:٘:CKv B2we+<߯o߯, ~2o`JW{}Lo =>o#=>_ k<>_ k< >XFbw)T>ƳKfH{}<ƳĢ/01J"Mf X!NJlu .&`7c ..]f?<}AޛyooOYm\K)j_%5U# mM[fwB#K脝mbjf/&f/&xYb mޑسT^'(lغld%f*n8ߗc31x ~΋1XٻqXٻŋwSٻ0"d*%uWE]qI cqf3F{JjX"\'/MV6=vˆ7o}^fxu)Wы.fE]q Edq+<ы.6F{;j<ǸJe}^s J3nP`} *4ޚ|<3aeE W0\˰E &-pޑD.\?KVz G˰sBot+=Xgн~ J )GV-k6I Rv"?R+YB%JbGۏ(m%!}d}EJ~jRZ۔7 6sJ{EYcR7J%W|~B\!)+JCJxnS`Yq[~ 9 =c=JI+.`Mt%ԍnE@ҳMy6 \ ,S>\5Xf\٭@y4iE2sT?5^B fHkS4"^wϨIenfGNH*yz 5tO#eS !<|;,% ib+%H#=ICX+dYu(fZ5KvJ={*-XW $/)cʥioQzܡ0E8~pzhχA' j w:dͺ:J?W~~^0O,`XLOqx~e~rkJIPKmA۩mPhj7h bv(5>y(x;Zx+@!TOM:PPƽ,pB2BG'qځn9E - b~CYÙPU B5fB!wV@o \YV=̖*Ap)@%B8^W!G1p@81Ӫx?iBx=,Ex,G)̽*Gx3O`6V?ap+I5Z x j51c~vxc?ܣʏҮ=s"DKEtNR Q~_T3W^wrWHZ[kjdq=erX6"b9bmKM=)+]iIH#C[K7L(bm{ڲw؎l˖R=72謆mkc{-᧫vnۂݷul2IWAIМhqzs4uץ=SI9n6ھ>HmNf%3Tdd7CNv_z{d7&2֥ؖI !Ux❉~nKJtD}]:M$S'{t&ݟoNt%;КkKLc rm`:?!fk3-B䤷EDۖ*@R`GbpF|_:q@HAѭ 7#;D̢-2gPPf2PhM%Y ,oh89l_d78=#h Jf䮄wCΡ"zcfЗRiw(a6xN.Dr`e|6gدr'ߎϓˌ3 &s-3qĭ.uov2UQiL&{ɬ+< |!)tSe,5I2*"LqKqi=8auim?3-#, כBvSAV\jTt:qOZ2CO 5ѷϊ՟ܗȶ>! cDnL&T8ls2͐DczTRS<$$zx:C Ky?eҵxaCt\bwhnS]T?[ӇpF0dFewTnNk]71s2DQ̯ <96d-xX[uhK: zX(G?S88x_DBDE Sx;<̧cڠ& ?mx43dQ $`mF#Zb@j,!"-o$㧗[|y{\IttgbLT&;+%Hj^Lz33PJqO:~=v 5<&,\")u7#FG UC V,!.K2"qa)$UX:.cևN.99d :KsO`bQzT#GHS>-G:>MI~= 5 2?硌?GaCVxeGiN?UزӷjЉxކ6؂gٽXvzW|)?οGT:Ǔ WOg^߁^]J 3CCSwk']k=g4(Ml@dn1|3MA~O~ zy1z#@>1|O>g|2粑.C6oOymؘxpKMqd #};cn9g67>hl 1ނyx,G>֋X)Mx3^4\5!eJ~+ Yˀ [#~Cou=~6=}޿ PKzzYQI 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ՐPK#zzY6h{ [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¯ZwymPK#zzYޮrsQpackage/services/metadata/core-properties/d5d878954f7c4070b4dd2864a28ea096.psmdcplRMo0 +!bmئ6h5$"ڤҮtl-xq3 Ia@@ #>&AYH{06`$^q.E+ͨG& rYHCt\6 1/:VUUh8 m+NЪ:60Rߪ؜;l .Ӕ䎳zAэ=Bb)wƦKc bvWjPXU8tM~jʔQ7okHZfFtLݮ5tke4fݱgG=ptYL3Һ>yoS'EG}Xfh(Yl}+\w :!M\F1D~ޑBr+Ɉc^~ PK:zY{2{2.signature.p7s02w *H 2h02d10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:Qg5TeK6S8Sy3FLSetI0PjGrwpJu/+0Oe38Zc2o5/mGg= Q00xW!29wu\0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 130801120000Z 380115120000Z0b1 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/-٩B0@0U00U0Uq]dL.g?纘O0  *H  a}lđádhVwpJx\ _)V 6I]Dcଡ଼f# =ymkTY9"SD]Pz}b! sfѠ`_襴m5|Z֢8xM Gr 20Y.qVjoPmhz6z$ Pz#aB)͢ Aќd&LPAq=?Mp# J܁2  Ok t094!U2qI(PMMuACDO,6E#SlogUFL?n(Zy&ҤbJGJ gf~[A;;cTQ*xίI󒙶a҅POBl C:qM&5]b2Ҡ+TWJ'S趉m[h#QV𦀠Su)wތ!G=uf~00@`ҜL^ͩ0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 210429000000Z 360428235959Z0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 Code Signing RSA4096 SHA384 2021 CA10"0  *H 0 մ/B(x]9YB3=pŻą&0h\4$KOxCgROẂ>Mp$d}4}LWkC;GZL %Ӌ eI5=Q!xE.,IpB2ehMLHRhW]eO,HV5.7|2t9`ֹ1ܭ#GGnmjg-ҽD; Ǜ2Zj`TI\o&ղ8Αoa4\E(6*f(_s΋&%\Lb^3 +6yue̻HPwPFaX|<(9Է SGu00v[K]taM?v޿Xr)Am&vhAX&+MYxρJ>@G_ɁPs#!Y`dT!8|fx8E0OcOL SA|X=G2 l< VY0U0U00Uh7;_a{eNB0U#0q]dL.g?纘O0U0U% 0 +0w+k0i0$+0http://ocsp.digicert.com0A+05http://cacerts.digicert.com/DigiCertTrustedRootG4.crt0CU<0:08642http://crl3.digicert.com/DigiCertTrustedRootG4.crl0U 00g 0g 0  *H  :#D=v:VH4,tfrʯl0'DK|&7:]Hm?I'EPv~7q"Zj PyH~؀aVv_C>v9=ԙJ(_&XH'?v`\ 98Nn6!SZj>C3O8Tm]@3|╲!usRF4Kov7,?&C p)5\8U7 1.\9qᾜ &gN_zI.t<V+#{pk栺:?ERAHKMD@(V*/ d<3(<ˏ ;{˷w(?/"lA\flņ&3 Kjj@0HK4Q Y mP+JtRH!W;Eanh&`ȯc:VxN00gK 1}0  *H  0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 Code Signing RSA4096 SHA384 2021 CA10 240223000000Z 270518235959Z01 0 UUS10U Washington10URedmond1*0(U !NuGet.org Repository by Microsoft1*0(U!NuGet.org Repository by Microsoft00  *H 0XZ)*@F|*wP3ɀ S#:4M 3"_R獙h,dK>2%z+Mـh}\8bK~Gunckld o7%حE՚=2Ĝɗ Lx g~ـn|%rI}ؕ c!YSzPʽ0wu6A[lM^12Q+ޱCET> hUOv-G;=&9/Cn if"`O00U#0h7;_a{eNB0UĆˈAQ\.M3ܸa0>U 70503g 0)0'+http://www.digicert.com/CPS0U0U% 0 +0U00SQOMhttp://crl3.digicert.com/DigiCertTrustedG4CodeSigningRSA4096SHA3842021CA1.crl0SQOMhttp://crl4.digicert.com/DigiCertTrustedG4CodeSigningRSA4096SHA3842021CA1.crl0+00$+0http://ocsp.digicert.com0\+0Phttp://cacerts.digicert.com/DigiCertTrustedG4CodeSigningRSA4096SHA3842021CA1.crt0 U00  *H  찕IP[@bb\e;ugZڶxR8 nA>cCΓRW1H!j/8jGN?˾5ܝxLqK$Uq  6h#EUx)*Td}ftM};-4vg ڤ 1: ܇?35e;:[qSHzƲL[c+V =2tfʹ$aAqa0ߴ 8몵aE rcQJ̒ゔ(Z݉6M.c(6_q}#@76 z1 ەmc8 Tb\[fFҾ*&'Z\.mM]ʼnx*/]EB+\)dj vf@K !teRKez{HA?SJ71GL\xQ['!lOP,xU~tН10ĆˈAQ\.M3ܸa0  `He0 *H  1  *H 0 *H  1 241126152232Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" %Al )G^$ ČbԺG G**!d05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He K1\ZIm_LEpH-00mk0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 Code Signing RSA4096 SHA384 2021 CA1gK 1}0  *H &+t NzCN| СLOYKIJg$ [72D/p2f/8s6<,~QZo@muTF cvz@عt5t,F? s9:wQy'3 &NY6ShHc/ +YUr*9K. Hҕ{%W] }s9 Y }X` & O5UɫrlYzqmPJ':@Ďzyi$!]Wrtve/on}f:Xze0Yws$+Gr^CxԧkT26&ddUO/ʏٜAY$YnlTS` .o0 *H  10 *H 010  `He0 *H  0 `Hl010  `He nz$fw}\p g&GDCo1'v%}F520241126152233Z /k[:۠Hu*ϒid/Ҡ00 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/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 fZ30  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 240926000000Z 351125235959Z0B1 0 UUS10U DigiCert1 0UDigiCert Timestamp 20240"0  *H 0 js!0[mYĈ;j 0 CtFw1ymIXa+3О zGW3K;CE>Bitv;(m.%B6h)ӿ~iOɠo~R}azv,L{ڽYQYLS͚ X|˺Q(ZWx1MQx|{ЯH~7M2Ǐ[K_b?޺}WHz9XxGT);IRt|iuϔDHAu~+D +XlY"!$2J5_! }qijSDx!%v+]Җ| 8@.'q[#&&wGէI^DElT Ej@6&N662̋7!5BPJ[W*b}'UlO'˖&K˜ׁrC(00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0UW,w(fc^Ov[0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  =v[8GCۛN(O{K&^xҋyc"V*()³f]UoA=4Te+ RBvǰ-Mm*V;.^u\~j缅Z +Ja @tʑ/$:xy:?TR*T VGQowMSkV% .m0;_u%T1SU|{~Oi RG-w߽d TIexUdzo.Q"+D#3Ok[p'MzE @tu٬R6B~̄r̤[ 偰Pܭ8VHu4tvC?~7t5dz?gF.pCrl?q sdxUKiN¬:1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA fZ30  `He0 *H  1  *H  0 *H  1 241126152233Z0+ *H   1000Ӆb>{qHP$Ն[E0/ *H  1" 9 XeK8_%J07 *H  /1(0&0$0" vvc/C :#0VuseC0  *H BZ+WqJѝ4 Z!s2yt5gi|`  l7;q[{ێz0&#*L _;ƫ<|Zrbȸ2T>UmdSqWz:ho(l$ywJhM6gtI0_f2[c@?`c_C!ĺRr@ 5&@yT}2[aa1zg𶜎