PK@Xܧ _rels/.relsj1}{7ك*Z+V|1;(7-Rh/vfN삁3Zzmǎ0mr1iwxN=cQRG4@hfp@Lc #Bʹ 0vew?F 1S\y["RZz@!;.΍5~")g8{;[zm+OC\)F)& PPMd<`a~@ (gy2WMSTO.bt[qPK@XEuqBoogie.BaseTypes.nuspec\Rێ0}߯I/!ENV iV>'Ď |Ӹ[9Ιo4v-kkJ%)%`U4%~,S{!OƗؿc#t'z[c"mfnx-l53A&Wz wB SJd+<|=9 ܍e%9grnZVK0'KZhieE¿o}PDyw rOYK{ą}c&;GFJ;,8.=\|X<bmq( ŲbbJ p^vsۃQ8;k?:N%5yƕZ}&Z4ogA'${.7 e;0vЭzވ3pnJ7=C<&PK@X6;?,dlib/net6.0/Boogie.BaseTypes.dll|k`ő`}ofFl˖lH2l,X6ƌO`iFfd[~a1I ﰄ@ dy%˅%@Ȇ&{\6$!wK&pU|zؑ:v~='@.?:pWx9O(^ӽ7qӃnb/JսN;N6wU|)cZM }VFK1TA %<-k~e,'6$(@I>F|:X~kץy}".w3nHPGe.zJ ]Ig;ub@E{4/3~@EjR A|lD.=j&es.S-]A GNo n$LZzuAg6P <Lj`MLWa%Z14{L!84kM3=JȂs Hs-i0uD] yX1}S4,}1Bf&ٖ)'#f8e7,bM<Œb3X p,( -eQ[ w*=u'y)DҺ0|oBF޴jhb% hfs Nl3G:[gʻQ u4o+/0쏰x^kGHKR9> 8m͞{G D~q;g,hvsEL}ι4Ri%"I#0R*&@n Zb֮#7u4)0]4Hl9iFkR R9a@tf醰Ot#^WiXuc>D(5Y y8U9ΣJ}z1k_n5 4;}9BMٮl ZxzRB'BQRӸ+/Wbѭϐ&$OE=!U !B$NAfG0u* *`43r\UVp7Hk̴`ptb5X)TtVJ]Zw&K%R `YK&_G&CunYCFjBzR@@2&jGv"=dDhO!eMaӊ]DUMysLkASvۊTHN҉L ESZkHSfz:EG+i#XUS=Jc##~32JcwɏBWwPx>YE4\PpƣV95E~Z=Xͼ iGȊ6_D&68n:\:=5,Pmc9`yѥiҐf]@'qZ< b1̎ȶY%1q4+bzh3*1"X]SY.#U=bb1RlQxrDEX :kwR YKW \1i솰I9¹D#zCԌ njXQUq)a(-_n>"lX7$٧U5Eps !V Qd,)VbZN{:7˄byd?sMϝcBVyc8FLf+weMB5`| - JÊ9C Fz{W-MT׹A]"A1@F0z;dICxVԕ/<>8'%sHۡC`$TNz%\UkIawYq`Hi`rX`3ٗK¢)m%f Q#!c+aj±%Ri 17 Ȉ8uHKjTΎY!JءHQdZloY3CV5Sb2ϕ,^]ZR\\<9 DKkEJ"%ҪYHy,-x"HiO=)|[)u"԰qVj SMEX?F*To hP&B+9K1j Os"#d֓jr"#w 2@DK=jOq bM4O$WıA3QPlYB\X0*RGEOIfy$0{d,d4 =}{v|/UJ`. DцDT39 aٱy,""vƎ 8 xkLa%x~)ˌ1B5E+DaGK5bۈgU"tM፸k ђE_3:{ 7s}݀ #, ET^1#u/.!z] c3[]9C6"^3j ǜ-xrJx 񼛏r XV($&9a%%6lNIjfޕ%_e<{; &҂hN ,'ri!K!g6"%͍ⸯbҙߌ}!#vh5 3&m(WN/s/&80L y2቗ANGT +܃r00qjx9VlONTeX ˏckOSWMf~Jbn6AԘR[,y(u ^gVSԘd A_ԚVE`xٱe'(.CA پT'S|M-5)7y|[^ ]K6'ۂ@͒m+m·HAM2RI_*BN`S"n|ed')j<9nP)1%>^mp!f4K@'B強~PxBA3qc.ԼC1gE1I4ݯn}!=4)wN I!o+&vݤQ[7?ba?zB?֘ډ$NabzJ@;?/|=g_EGv;Ǔ)(y{UNuխ7BqS'Etyg"D<-:}DyTaS^a& zK oV0?)5b"vbBθ)|VYN[B ]&I pT_㼯erTuɀ>R|5? MŏOfQ _Lé9 lU;13D:s]2ggXg뽞3BA)>W8 BjXR矠ߨE xCx]|DGfx*"L %ЖalG_sQ(>%cSa!H۫Y3d4+3z#i}IP$>Ma$ҞɤL&] 2R\(ŜŸЋr7 ˥fm$FFAGEaXYQO{Tdq,o:KP<)7َP07/4rlo`"bc޻^FdJi7>*g(XۛCQ }8/<Wc7J%rU !]hi {ya*{Mz/񰫂^CtW^'=:V*}9fcͻ-<&_s1&՜J/ 1#ğ/ =sh򃘺B]!+]u/o_^%oZ+R\0K6؃"G/'D8{%iD&Dɢd@lҌy Yc X? 6ksIЄ*&:N}LXo % _U^!DF&%KR· ߃I8צ7>Xcl43Y:^29E8 E}~ݺ-䧾!EN%0pgyFS_!L0gR1=f/1|m8ն &[;UE؈hCLW8kS0=S *boK,qr t|/+͂sf?Yݪvj ņj\Oٷ]zca4 ]HrF+J^`@ACSz? $Vd\+;%v{ޞ/doR0cZk&b iD/!n5]/9#aawOsl\!!~A/}1ö$@=&»%ެOv5o>~P}=Kًv҃;v{%6}w V=C>{  =im7%V#i7;Į4\XbOb`B_R~!_3$+B%vb5P%_#zJU`v %֊X}Z1zaC!͵`+pC}L?aWCaccИјҼv;fk7͞+¿I,jFJ[}2:aw 6BoZF $ ;D1bz11HÃ^LL7ó^LL72a(-AFhms1(5aJTG)/=pZb$kZ5^ .66/я6/ѯm^_m^_ mBf;];Qw kk02=e,7N\ho\i\ dk=N8 ϯz`Zސmm\]蕏.]ؑu(8|jKu^,6ncfuX[ؼ>o[`Ğf̑XAA5ǸmV #Fq+<,S@u}ޛA`1VRql۸n"۸`q'|]`{m %힧wBU ֞y~ Ngzc޺u}6}6z>:b|Nn̏U EÞSs_sucOsiq cW&n&tJ-X lĺBPD׀g`z5Q/N/1?0TY*RDy{}%l zP޷A9?H='w=?lJ4 y Cvk 3OZ[D_[!>Nx12kO՟Gg kX׿.l+tGl fk735w5 f;_(LG@r  [3a2S} ;EYr)J[ϗua}s>R varpt,B D bxUmVwM]OJPɷX#J[rH_> ݍKs6_lbvWze?o%=b崱Mm%ߒ+yrR]tzPR;lJxnWz/cyIG~9!=/b]JI+.bMdԍE@ҳ]y o#\ ,S>|5Xf\٭@yB4Y/Xe_5^A `HkW4"^wOIe~6pk*yz5t"ec o#<|% hj+%H#=I[X+dKX (fZ4KvջU[VDH!_Q><~ GlEq~ʨxLy3 V <!\]/kv12@tZWAڭ{QFcwG%M>8|PSN+V~NiT7jz]B[-k;ݚ ic)z&13A`73'0?;~ gS *F&rxg((_^UIDzx| |Ԕ:~f9E 16ZDA$G؈Tˠ 'VYU>',.קqxڵ8{kN{њL{QhI\cwjqU+YҴVs^Ik_vDsMrXlJft{SlRHJwZDehޖ&ө;Xk{7Y ![2R VvGU:;uܹ1|wwε[7ce f;yD*d0UzQR&ۜ>d5!GԯwR}=diIC&9J$Xoqv{z'!ٻ&hAJ 8$vk"5}W휄9Pz~N)fY{-Ch^v$d< w??h]E8394d\ׂwө&_z}*c+L\N<2Kr3sdp!Q U1x8HIqc5#p q|O;gc~ BGQ-LJH#\`0V5jFbxpE2;aEhe)֪܋X kK6waAĒ0>nFLp%AӝIڊq03F#Sd+yMo*陳OC+=IJSZ"<ֈ3|{" rėsԁR8ӎQwd-T 1Z@*Zlx<}\[|%V bi,T)Z?};P:摕2Xla\47xkmEKsk=QBBӍ2֍kDثbZ(ߋr~lI?2FYiA'@;9юLS!"0ߟnR1V7lywEM7/H6^(6b`%!4lTJ8WCqYVܮ0WUVܡ4[_%KTi[(JXt -x?g) {Ԭ"HQ R ,_خ[X/""Zɉ)PZzG%P}e*naM$n%`3@ 8zWZE2fT*0*U<}PUgI(NZ&(e=q KaAÂ3UpoTÕK#DS0la;/:mUx)^D"# 3[2)z8НE´i>!,Jo 0N"E&UEcu8R 9-RxPrAhVk(&9ȋrJ唲°{WI cEaEh`TҤD'W9(:"&*٩a+H\%TKJf :q!$;R-+QJq5+U\]\mWk+G+):4#94% a*U* T Vh+ϦvK^ sn`FA>/PsmmV>}@s}# ܦseKW,kCcm`J-/umd-0.oDV{+YғrLOԟ4v+p X҇g݇68QD WFN.ބ ^s\ؿ{"O)Ļ yW lDj?rr4-8"7Pѣ^zmzAPK@XQI 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@X6h{ [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@X.ttQpackage/services/metadata/core-properties/ca3384c0789e4edba2f6bea0cae235bc.psmdcplRO0~h d"n#A !_K{@.6D[{ߏx~3 щP#JtԛX kk NZq&E+fͨ{& rY@\6-3OzVUU [|}Hit\ T[iݪ9w:\䎳fQяBb)fwƦ c bvUPXUzsۛRen86{zDvH̕ <u͔xA'a݅Ie@8 yJ2~>ϓ~PK XzX22.signature.p7s02} *H 2n02j10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:q2tJSJN6yPN0f4vnIPWKHZVrQBvzkLfLbD7udcigZks= 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 240523081218Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" کڙJM^!V@Վ 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 K&*e% :p% _ad&ިo Uof%!fs.k0NgMafv^O pVEMȣ)С LS\ `˴+<'>L`wֲ\(#xrƾyF+M3 [DH(χu^DYgms"|_}Ug4?RQk̀喣i;(mܙZYt#XiL[:7YE'!0 *H  1 0 *H 010  `He0 *H  0 `Hl010  `He 0QoXU@A ]6U|/N#E>220240523081218Z }jl,iR#)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+|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 240523081218Z0+ *H   1000f+2]ΪO@0/ *H  1" fm'~cq Uu`S[5{#07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H !t:+$]Z1wטa$C #{ *zQ#AiGv(Fekb?wp}?y _T<PUT|R#"nxķ*sHl):i:d|`ݤ9n,VAֽ\ƶ!CT|G D!HZ!~;-f ͖ /0\Ɓ!̣I~i;*yˆ3aOo'O Z [/6O%t7bΥVvqha-ED ]J$Dp"[-ߪoj%u-C>R-e\>7E4Æz4 Oz<Zuoܿd/-@6Pڌ=\x: mC,o 8~cO=2T5aN^:ikƄV1z2݃BkI:,GWV%ۡ5oiPK@Xܧ _rels/.relsPK@XEuqCBoogie.BaseTypes.nuspecPK@X6;?,d%lib/net6.0/Boogie.BaseTypes.dllPK@XQI /LICENSE.txtPK@X6h{ L2[Content_Types].xmlPK@X.ttQT3package/services/metadata/core-properties/ca3384c0789e4edba2f6bea0cae235bc.psmdcpPK XzX2275.signature.p7sPKg