PKB],YEت _rels/.relsj@F}en6(z+}q3KvVi߾iB{9̜1͛=+F2޵<$g[~Iülu3N&G-? }B n >ZHG@ˆBI3=5:zCʴ7ߔm2RZXpf@J@1\l f[ TR.Psܷ;}훲)3(',&!><ĉ  hEqWRVezhTGZ%dlíZ4 թݲ|/WŕxPKB],Y"«Boogie.BaseTypes.nuspec\Rю0|iC99R$B>שĎ |Ӹݽegg/<= >gkrJJj:csG!6t8g,= "d1n` 7>`yF1(@Qƹ@FEp&sMK4ń{Csvno$5զ<}|exD%y' )=Ht\3}+қg{_>0ΞΟ %"fw铒kZ׺-*JVJ亭B]*+JVcH`4?>h\h'bTMNYBbqxz1aGO*NL|?vf9eAPK;],YSL9,dlib/net6.0/Boogie.BaseTypes.dll|{|ő`}ofFl˖l,K61#>b]r^͸ uCy׻`WJ: |-ռ(7p*/W|IN|j,T3pee&ZtA=Q3\'-Suzh j8JTWе4us$&93 8QZ9FLkf +!ՊكfzIA4ӳy=,6 4גF  SGŐemӧIywz.0I<G&Jgfmr2b Ώ\{sQaI;4As6L[.9Q&-dA)荙R;~epq ٭ҳkPgyqBt) CG&aMFi(Vb`l6BT61`~d#mFXy?jBc}e&]#,ޡڪǒT N[RS= _գoD~q;gkvsEL}ι4p4"g)An"̆[XMfb k LM?[BZіb)p)0] g:tC'nc DرGMOp,yZbHf9>/ؚ^APj+'oZ\_D&68f:\:5,Pmc9`yѦ4)YoX#8X WSK ͪF!%3gyAp(qE?u͊ݱnZ+ƌ`F)AlpUcDXݬv|?(ph c<^$hetɪ5dS.<_Em',)UroĈWlvBYV̀o%A}^AZ>Y0gըX/u+[j:W#K"((fc@w~, pH} 'fѢ7Ǒ24$p5}# z;t(IH Js-)5.+ i"-4]An4`Z8;RIX4Ed4d j$Db}lE"LWP8qGkwG";ȦF̍1$)2"N%R$q$uv(R")B.uU锴s݋fb(GD%%ђőH1GAIi~F$RK RSD1G#%"5995lǃTbS֏J!/QR(ng!U̜%Q꧹Ba2RHuS|LX;| "HIŌ߭'9vB?o1&'; \ZÙ ((,kjpί X\$P$da2܌`OU;_wR"K@9"LzXv`j3~qsڞB?C /Ns8E3! SX _fJ2m8+D lAFdJ,Qђ`MDLgW`G$x5]ZP3q^!Dn1-d =,6^F5]䯱TܠQTL8/qN=mW^{X?T#y I}nCÄ걐w/ȓ@ 0.e=cW< O r:bg\qQw3OJ SgiT.$w:Pм*)gRI0>C8#Ul3D1w懜}r/#(V\>˙-.X~d{rR6޾&-ZOX~ [w0~&2meٷS u ƔbG.*?YŸBtm ST"(ˎ-.;Aq e:bjljIΓrm^9rml Xn+Dj ДJRrKq+#8I5HVDgqJ)qW$j I5kX4:1L.%P.fW- * x77ۍse8/a&Nb)Vwص Ak|O|^Y7>&jGIr_TeԎ&p S5w|qW4=*?08X?LrFkEcw{= nu/:C(0O_S千;xCdOЇ_VENy^$-6!dZ؉} iOIZf9qoU}*tUZNX7R}E-ӧO4$=>Rr_E㻨t^ȫ?*iI&ezDNeaؔGf܅RՙE9>-Dz?;] aԘ[z`Ǩϳf#^ILL7k'[g<|`M)kc;B=?@}I]B1'U8n]4!>} (iS>75(z>aŨƐ=qVO%א 5%mT)'!Ɣ^}M+ mZNR\բ_ ɰ}2c/*vPd~4ԗ#!(tjj%}E)(Fѧ"e{;䯦t{ތhEZy *Z<]}-buX,q{t=fɅGٞ| M9Ao;=GOh I{ x@TAd|C1N5Lޤ=#DT|V mfѬ|tϤrmc>BSG',B6H{'>>Dv.H'cDЗƣ ELc4+mUi9D~5'kU6SmjBDJP?K=`aŠ"v ]^/[ȍZ".J_HO&H=B=!^Q2X@uynDó `n*g(XۛSQ }8/<Wc7K%rU !]hi 7xya2{Mz7xU9r@|l ;GEK*}9fcͻ-<&_r1*՜L/ 1cğ+q~Ye ÅX?6kksQЄ*3&: N}*ęBJFuKK"N)˸~/b3P^ނ8bUaca63g, WuJ e<*J1K*7qe="u1,{*sxX <- T*_Voh9$E'_"|.S(y3yy ե1|W>v+Wk[W񭌝x"lX!+ ε) ~)w%Pø_>K`Cf蟬nSIb5bC5o;N@5^0'N[$vPyC+%J^`@ACSz;B܎\ U+2][a^+w ZyD֚X<1z(Ka+fMdvy*3|qFs3\A`2.QᰐifpRbt#uf_ İv}.P=/է= \/ߞW@Ɲỳ} Čz>ք}N_V֮T`\wą߶R ഛ]\bW }6t+t0χjkg wJm5  =Fr*8/b݄X TIư^b Lb;[mkAk]nD%pDb1ZGSNKZGHC}RaWAacc-И٘^Sckb݁mkug륞/yH[Y!}#py޺^YQ}Wz}B GVz}BYY \Y }DWy}BV < >XFbwwU=}7|rgݗKvήl~%3}/̽H﫸HbӭzISkmwfo".=p".}pEyoó9^ZՄ]YmĢj$E`/ۖq AhZ*4R0*Nؙ/&ŋFnbbqmbb%F]=oO55Bk˜mF 6@Vb28 O ~cW~ ~,{gM>x18 [8{O?[8{O6zq~zq~5 mxvjG5`$8 qq-,mj|8v ΋=:/7+)uX[Vؼ>o[aĞf̑XA!75ǸmV7ؗB68+V@y>@ +E] nb˸7xQe6xe Olb˸ ~n:j|Nm̏U E&ÞSsa+Wgs؝cOsiq5cWn&tJ7-X jBPxׁoVk~0?0T[*RDy{}%l zP?Q9?J='w=?%lJ4 y Cvk 7>LZ[x[.>]Fx1*k?CU2>jK]x?V %M7(Jg>PWTX kjo@wP0 2"f OQxHBr"B`ɥ +n=W]ʣeX͹ K7؉u˕½^F?F=rVU]6wM利OJPɷҹX~ҖW{CwRÏYJ+/V61+{rwMܷzrئTͶoɕ<.xH9w.A:=W(]2R@ Ҧ=۔nX^RVDΩsig(XjRJ >o<| u}[lS>[[w ԀlDqkP,3!}JE2sT?2^C `HkS4"^OIenvNH*yz 5t"ec "<{|թ,%״`X$, g˿ %LsFsԮz_Jvj4֕;kǙr|Z;-y=OP#?C8AXuf=42:kp-N*@u/5P(b S 7Ix~e~9FuڡvW+bmSۣ9ڠ6nnh1#P}0>y(Yõv/XG8G%#_M:\PPƽ,Cz8r h|vRi@snY- Wob~LU(٪PsU3!łgV@M<>p1z2gЧaTaX`½(~6 z]Cx ż*fLͰ-pOaU~!9gV! G;9#lDMQ WPR)WǬZqio건kmq>|ߜ5dѠ÷,2{× $+ݻyo#,_禇=ֶ652三AE9,v[dؔP1dR&hOJWZEeH&hkMfTEmoޮ{6d[龑Ag%lX m:nX:`ڭ֮]<|{"Mf2 *=(ZN/tfPãg;)M>X-dYLr O&zxbKAoDfߚt[#>[;! O3ح8C郎Id*#dΤ-@ҁ~֦RXkqȠ\o[3N9oȠt4Lkz9#h!Ѷ9 ؞qFߗNgRPwtKg E-GhLՙ338d}lbug$KN:.YMN)yY?+Đs(ȿƶTJp =џq/߼ܟɷc$2r:\LqqݛLDj7pӳɞ`2kJb1n$aHA$3{0y0GnIgejg>;GR`x 0'G6aÛu鴻IWc^zZpvE.*PbP4M9ғɷn۔5'XMNjCɔufn6#tT`Ow?zPV bX:n׾Djnr2? B` u^ߒ!5<2^EJnLi#C J7qUŦdf;'bC e$9縞(SJdFPp;]- 3.˂"ZTI2ukAd{/>1 E•d/'*ٛ[T:%'4NF&oe&'\|/f3}pð'$fx n[ɬPqa5}}#F[FY7>bC1b)l tH) 㞈d 0`Koӟ?۹/)Ɂ}Cƈ64 qc5£pq|O9g~BGQ-LJH#\`0V5jF4|Ż0;ze w kC0zRUcl~%߽ӅJ;`fF2Y)GR@d38V{Ձe|Hxg(E4cُb/Hq4H?Zb:Tf tXqKK! Xqh58S>|0wuHu !+e.0t}hnbڊZ P"{b eR J߉^?bp[FWժ^~aK1";O#&qv\1N |D8t|^KiZ[/?p.1vۏ^(6b`%!4lTJ8WCjM)aJ]-i"JqK((ҶPN ZjY6"_US8P KYE EܑX׿]^DD,ҝUS|/(+>yJJ|9! " "TI=HJ$fqe&-TalOUx<;&ΒiiūK8iIDN^cX&T×5[C/m[ pTJ- X%aym8Ӫphea*lJAM¶f)ᠥ1lNhU3L b5 1iff$chzEJ ԆU H)ӴIBC%T`Q|fE8uφSUiR0("JΨ@'cUy&EA!JxFsHcb:V4 4161"a 2 +lXP%L+"ԩAq5;Q]+ tV5m͌E)+]YҌ&<O1^ |>8Hx}fK&EGӶzX7'%Q Bd"d"=°CNr1.6\ʲIN)RrJYaZ+ cԱ"0L"40*ViRB Wx٩a+H\%TKJf :qC`Iv[(:VjVڮ֊TTPthFsh 3K<"DUT@V$I]R;0^ sǮ}nPFA>wW(PQ߱kMu6P+>8KsO`bQzT#GHS>DO}7/m9qђԩ@ф@Vgդm}p悆 M5p; %>an՞9\j}uV2҃}F(G:>MI^cxr[C^ H y(c'6dW}tIBĖ-EnN;G&>|Q{3,w?öEy>p>o5H a X!z?osxWPK/],YQI 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ՐPKB],Y6h{ [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¯ZwymPKB],Y@qFtuQpackage/services/metadata/core-properties/3d95cb915005482da8a42eaba557034a.psmdcplRO0~h -ۄFB1]znƷ\,*  F*}HG<$XX[Su xƙipt1VV6 r(@;d! YsHϝQ4$U* YɺJekN8ɔxz䁮d㣐JqpUA2s*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 240912114729Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" Db}~v~9iK,ޏm{>kadN05 +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 ǫOByҷpsK d?(iB9-)t8!kUaWF$P <`HrPS{q `9|PN/$/W[GrCnUlzs܄D ?S-UFmn ˈGOqm$y icdIMXdzxS $؟_YO{t=/[\j` 8mdzAV dѴ-U0 _;.yA9Zt%j$"vSGDIaoΕe{TEN*'Oy'u~ ?OCTK,EOłm"0 *H  1 0  *H 010  `He0 *H  0 `Hl010  `He ڃU0_ ='\Zx_v&C4I#ž20240912114730Z !"?LRAgSi-,.yzD/a00 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 240912114730Z0+ *H   1000f+2]ΪO@0/ *H  1" 76O,߱Ǭ^x,\07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H '8rO>(!HU 3j |Y WULkʼݺp("~\N7|Я=4{Vw™xzTBP+faVH yE17E%/^_?.jPcA