PK lX:f  _rels/.rels]k0!6I[m3RQa6|ee 9rV7{&Whk8%zIluJ &  S O*|7mzJ~U%%?)|S(8ʙ0QrRqP~0m§3w管ǶPu!JJTbG814B 3L % Y*K^U.EZ,tU\,}+V,+PK lXnBoogie.BaseTypes.nuspec\RAn0ω(˕cuA (r-H\rC/h;M;;C68),I)#Ҧ.h%},ox'A@ƼC+|j鬷;Lm ,Y3d2xEBx (@1Ԫ\[[kH۱Yn4WΓ,sv.qozm`x;-n^ Y$OrЇ A$g :R <_(H tK\+{$qYѺc4YkwʹB@}uluκ:~RVcAD:K,rϫYViiuH"[R.n;0*[CWkgp5'ZiݡpqWVXk ~;Hq C*Lunhb.DYή1qPPKlX:78,dlib/net6.0/Boogie.BaseTypes.dll|{|ő`}ofFl˖lH2l,X6ƌOҌȶcB  !,BB9$˅ ٰy†rKٰ .VU7aBwǎ4]UߌԱ@<u!I|G/yLœLt}T*uTu2Uݶz8K[lR4n3`nuHiSоqA _“N/ .X7_ ~r2hSL.,Nt^Cm7s87wy]'z7 u^6BwtЕtfYZ'yQn.T^@y_2X f/j)UķVMz£fNZ<2(pHDkILr$P롥gQqf shH քtVBCWfi"J\)"Y0ci%ȡ!=1O|`4T?C ^$2dČ!\繬6PSL3vi\RsfM@ [̂RЫ72wpδܳ[Yg7נ$O5>hSZMțV ^PЕl颓mc^G~pNBƪ)"͛ L.GXSU#$%A8m=O /|)V~q;g,hvsEL}ι4p4g)An"̆[XMfbk LM?[FZіc)p)0] g:tC'nc \pc>D(5Y y8U9ΣJ}z1k_n5 4;nlWO_ ZxzRB'BQRӸ+/WbѭO&$1GџJ]zHB>BƭI\MVbTT.Wc|ʡsUY?c :3ӂ#V҉a(Z`PrmX)#z&-ͲJ@DLL %ZU0臌1 P<eeVMs^AAgtsA$fZmhV?Nb5&@!+//M >Y!RtѢy-ZlQ|4paPԘ @-BΎmG.Ӭfa,:Nb7\M!/y4v 7bV5 )9 Cm50K -bhVZ154fT.3bDL`\DG#zaŰcFYlaec1.L\PI-'d C7MX^^c%# aVszscG#zCԌ njXQUq)a(-_n~"lX7$٧U5Eps !V Qd,)VbZN{&7˄byd?sMϝcDNu_}5QaUDz;eIkB|<(; 5_sfW,)OPqoԢ !.>kb3]Gk[h?whMG'l\{9 =OؔcO,;r/ V;]KƳB *>+q@%a&qx>N'"i{5kΟf{&[o6B}0-=G>GW3{4NDM"%Xጪi ߵvmlU7a{7776//xv0ڼL f!YB.כbF&l¶ w0<֚6PO&\u&J pӯJ |0qv"B*x?İy -5]p݄4s+<2 I2a(9Ϭ03`1MخҌ>nR3 OwBIuD+ˤ(_~[d^ pJYPQyhamNc@a8׭`9Y/<] r6R\[?N`Y1-#e?S߯!|.S(y 0)yy5 rua'> fx+w-t+ɀVNWDxїᮅ][π/so+a"|ᢼ]fEbFIM]k>UbPa(.ƻނBgmxFbU*a?v_H 3υ!6$&!5cHM¾"0xܧRNGP,*Vb?BVHlbK]b5COm޷= H>P0r~ }9

x18ۼ8{[?+ۼ8{[6yq~%yq~ xvhG`$8 sqq ,mf\ zvq[+|~=.L۸։ч+]Q:/vcXm/G_cfX>oݛao{1Gba_fNZ=p |Zb_0 [!_{yoX/RدvKƭгn6ػnvxl wwyzq{mU^L6X{Ag"<].81Oy~m[~ژk磣981?ރT3eT{V=ݫ\eR%'*O'DY p}Up"|zP^dH9Q95A}[|?*얱U+,t1$m|s?g/x/in5oB_vK6ޫ="?[]XC|z#ug[8b>#) ɉ \~%2|Yv)>a)73,`.W wN{1i@+!AX^nAp$nJ~څtKd |+_?,6ݸT#{҆KM߮^a^1)|[r%ϷWN)]NJ*pP|HiWOJ%??(կ#tYt{~@i3~E >֣Hz+[WCj@i6TF5_M(Wiv+~־P%M"Vy*/_2$ߵ+PgKObKv2?p+RB# p^ep$UZ:1B R >GT-eSBweڿaڊFs 0,HO J#&ҥ])m-h+wHkr|L;Oy=OP! ?G8DXuf=4 :k Ep .NJ@u75UP.(h U $ʔ/+FSQ/SVhzm[s!mL;]ݤ>cF0 ١,&|摢'~T4y*AE?io,׉|eUeKnjX::OL)`mVS>`E/!5_(k80Bq*T\ULH U!'@Ӏ> \Yr9{-U؍>V2pJpB  < a^UƁ Gq3WaU~ҌFX&8G1xV?᭜?ކXѣ?6&ըRh+1[UV+ǔkU$lxc?Ϳ>ƏӮs2 dˌEtNR VW3W^bϞ%{a:7=,_+ikSÎr._òi]NM NvO{=mnt%!qXT֍.od_6N%1Z4޼i)lCKI)Xّr.-޹kεỻvݺ+[0ow$Rd&aҋ59AX& ׯI 9; 5~GShBHxWb![AqQ_NeTF`>7Id[݉M A޾f(r~ߐA3# iL[z9魣haѶ9 ؞uFߛNgRPwlKNg0E-GhLLpD6ђGCE|S;:8HidON8:71J'1;n}9=5vfCgBO $G]7ouF*$pq<9P02Gb\eRex$ l79ZӭcX` g~!/Lg:LQƣ[ҙ$"Bڕǿ'G00̉M%~/`P:qpA謗^v79x>Matf6e+^cp2%k]ل\jwzb,շ&14ԛ}^E,2p};.3ֻ۽7=0*LOBP6h[^~~$FBA@ƫ[Ս)stU9a5#5~'Y|{(c4m)$z3&[\4ke04|Ż;ze w k0zRUc֖l~%a}ݍJ;`fF2Y)WR@T3g9V{Չey|Dxg(E4c9R/Hq=4Zb:Tf tx KK! Xqh58S~|0wuHu #+e.0thnbڊZ P"({beRJ߉^-W –1MjQ~ؒffeγӈp$;miy|BXa DL-1 qrZ#pAЬPMrJ)e9ak0 RNJ0qXIN2: sQtD*L_AUSVJV2R󗬕JtC`Iv[(:VjVڮ֊TVPthFsh 3K<"DUT@V?$M]V殏{|RsmmV>}Xupy}# rj)GT:ÓW:@g^^J 3!!c )\;Yu̓. }p߀53wc &6LgsNAk#Dߓ>wd^~%y!퓵Of\6eηZM?oC Vn)@#n#Clt~&[y͒cz:[ن[ҏw>l6?>2&Z0o25 ߄??+es֋M7}/G^J~M؋^ZpDoPC?5"3PKkXQI 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 lX6h{ [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 lX ttQpackage/services/metadata/core-properties/9fe1e2c407394a129034729d52dfc9b9.psmdcplRO0~h HA.6D[{ߏhq3 ѱP#Jcth-A$5XI-8"sƊf=A9h,z㿂'T=*Z-oX|4:t^-nUHjlGirp\rY3٨G!sa;c1{*u (*\dMjɔRosJFetLÈ] tse$bgݪs.e2IHnK}JvH̕b <M˔xAaKde8prOO[V'!dLy}ߟ'PK4XV22.signature.p7s02} *H 2n02j10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:4LC2EMNe/syfXqsudKpu8G0RKVdiVJgdTEFHp4KaXKQ= 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 240730133833Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" 3oDC8[Ϝ/;̛riz3i<05 +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 g"k79K%a*ʛ7O~^,Q8wOG⓼phpY)0F60UNa=` ! Guɾ̿݌#g@BrLqPz|T#_L}h#HIJwHFMd<;JKUaokIU&Kr'*)\´S/i͝m $Dzmd>'timG>j&PHwpW![ǰ.: .l3K<;0ܡh"" Ì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+|00D9?_a0  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 230714000000Z 341013235959Z0H1 0 UUS10U DigiCert, Inc.1 0UDigiCert Timestamp 20230"0  *H 0 SE[>T#ϟ] /Hz;*gbXͪj)bciX5q:P ǚ;/fii[+ P0hʃB $j;]E alq^<.yfR>_CӄH-^EuuRGx)9kxYD+JՕdM#ʆ!dpc.$_v}1eGUJ$/+{s>2R4ԻԠ,4nd7QͪLfhbAxmXAر,Qbi|dM^Pɳʼ;hD;Bs} y4~\ XL>iuǃdu͏vV$k!4/:k*{R8 qlq>oaG l$Bʠq=ip' O6_p .d"+(!IQ~f;8QʔP:ӊ@{00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0UdVe1I0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  ޠpO_B֏ѪUㆿ',AК3J6Թr~y8H_=2u6gZO5<*lyD:8;^9X|s1U ~yeh";뚂5W(i2:Fkwlls:IF̶8C,NL}hpw \`(8RZ֬"#NPkwqDAɸFl2|X/gGesk,FA_٭DA1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CAD9?_a0  `He0 *H  1  *H  0 *H  1 240730133833Z0+ *H   1000f+2]ΪO@0/ *H  1" )|k+l/x hiDfoǞ07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H ?إ+'XIgrfQĝ԰vԯ -3<(*56)X!:9?}ۄry)3.`ŀ&h ]Tgd&@8O0q'{aֹNbl)J8^{>aq m y#y ݥ+dS{1ЀdOz,>Gf2^Ά`@_ѥ| ك&p֜i/tHL|C>I4!%F, *쌩͊?Ya9㙖D!1bm@ą'\(a@/bݩ?Xy @aqKOU8 X@kq{k3aPK lX:f  _rels/.relsPK lXnEBoogie.BaseTypes.nuspecPKlX:78,d'lib/net6.0/Boogie.BaseTypes.dllPKkXQI /LICENSE.txtPK lX6h{ G2[Content_Types].xmlPK lX ttQO3package/services/metadata/core-properties/9fe1e2c407394a129034729d52dfc9b9.psmdcpPK4XV2225.signature.p7sPKg