PK[C# _rels/.rels]j1F߻w'8QtWqirg $tbA)vfB]GSN6n% nO#L2tl|$\9%XTg2fv0Xbad^w9W,;-9}x!F8L9gfV:3@Ld!uGYzt)HaN4]Eɫq׵mYP8_BZ&XB2F(amՈR@k !"KݶEYe>Z-z|/Ė{s PK[\҅}m#Boogie.CodeContractsExtender.nuspecTN0y IK 'tBB<'G ϶H (-˝Wl'77HҚUWA[oZ:bBDsKdfΪr葩ZoW~!J-Q!G 1Iy?!x Ip YvkְFS4切ryKStg vv= /w% p}Izf(Y S$ \G{y,p1:Crhخ:Դu?V3qVgy+$(xGQ拤#@tÖi1 63QfHM]m];gl mIk!Wv҄-@.hkV@{˩PW[WxJ*𸛥qiNa "]m]pWte_+!m\ DoKdTZ9!m\ @TngeWZ10v?db_M}!Q`R;QҞcX9xWq7vvIs/5RSk%jEY>Bje?0^^x$ AK(C0 8|03^&߄%qs4y)jL{Fx.%1,ᜍ$_ oI\bj )PZ8rTv+9zLv~-$8@rt@I*trOrWd$CB d`?l 2!.t"0s0K܏.' H U~ _HQ^FVl* z5EiD@!%xSDx[8oX:C'xO' @+q҈ݥ"M ݶjI#*\VW*tI!1lB4c0_kX[ap?>{V +KH:zW>x)t+">M\ !б QQюY̘ ^ѡeu7a{Y6M Qˆ/&uxզ V Y:]Fkdxf6P'/zժrRӆWf X h5'Glv&kqkvOkּ+:^p ˠ')uUimzI1W A?伿)jj2f:u Jmy{A=J絢mg8b0CcXKcǶҹ(_ЬA\a^:ͷrԛ [0S-a3la9#vV;Q+K5kǃ+^ؘ+{-j[cuZJ Yԁ|@} 稡, Wƙ)wZ:N][ +RwyrjˇѰ&fX9 4S<J$Vv_^([/s#=8ԃK=¸9fy5C-|#ؖkwOV45Ҥc.g͛{淤kc7@N %A$! 6*I46[W\O yy=CI)LXIj]1Lr$i]1&% $ZW$NDZǹZN")V)A`~ ֗G+g|"z9huR8 7I h{}LbmrTo{I-R!! RC :Xf|MD$ut(H!y`nR5Vҟ^pC.q]s*ublzvpYl+tcK5܂&<A5UGwPOP3EMꀚT6eRhoNlj`2;h=} Iqhv vJs˻sP̨p[l''D B ;wl<p_/p]s] `M5غ>Tz4=c~'~ѽ`iS,t]tt}l̍bp- l髆{."wby S)CTkivvFMsfXȻPgF7 yְ󻚣gΡ/~n;aP?1a ic&0qL`gN1? Q*|( 48 &(aa6筦@&4x0`*G'4<80`!wOo -*~d@E F`# hȃr;`F [+؎ȂqjoB$ ׻}P1 , a2O,h0Y|XTdaE`#$E{g (sX'ʍ<}Bf.bWc$޺[|}9g>s&aB :.!P2P@ы~C ?).:C =b00\#%$>O( \}+!lYP"63!0hhh pq1:E6;^ð&;Qg^-Ew\m~?n}ŀ_$."+yŰNb0vk*pvfLvXV=4[fRpcFpܦ⣽{pGɓ[(ɝciqq\>ݒXrwdgue&KH#̋_qٖ#zJS_~\v!/X}r=r럻>Zq'Np+e!vB6Ӱ&7,P?K&4ژN5FqQ{ӚIsڀ#?w=&۵BVrT5B&|@ gaҰ s#yߓ`1mDonw`TRȍr;.3T?4ֶMtWQmcШ G+KQUDGQm: eCݡD`JfFPՃ9Ӣρl(rjG$QrE(]}yk9kg?PK[6h{ [Content_Types].xmlAN0}Oay[%NY t܀ X$GIenڲB ǚМH4CYis`}gS vUG$j9U\>]ݻIw0 ռTPyf`=35fr'@'KFȲ q),i 7' P4O҄xAAo?ڴ C@.׎PK[O|Qpackage/services/metadata/core-properties/968252e507a042aeb402115d998a1256.psmdcpln0<3؄T$HPCTT phiWICo^{USXwYi);fQEmG;% ) K蓨\ QVhǣJXDKE)3Pu]:tW H:kpNܗ<BPJuGhZmgrh-GZ-$T\zBCPhJ2廟lv[,Lo3K6x mWl)OSqٶ εGT ˶neg >/_Wjx{1{'`xpUA2s*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 250807025217Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" m,HLu~Β@@A6ԩf;ӛrH{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 BycCR͎|14Ŀ)e :ad2a7JbU\ 2bƧ;+}lƘڛ=*zC 9 K7,G& oᷬ["ߡ R۔RqG+Jy$ghU@ vlWFza*oie]pwD A%.3ĵ^ԤZ"6n.s!GC>5 j{U fgη݁EL@gP˽tbN#M2Ӄ>Z6~,$}tڂWR1fzhHby 5P*w>^b"j-cogg x41w/(E*B(b^J6t"UX0T *H  1C0? *H 00,10  `He0 *H  0 `Hl010  `He qSԓyJA%lz1l e{440Jӿ|v20250807025217Z }=̦VẌ́ 4H N)x400 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^(⹔00 ǬW!.@C" :I0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 250507000000Z 380114235959Z0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 TimeStamping RSA4096 SHA256 2025 CA10"0  *H 0 x1 Aran@AvÄ -To2Ab "9/hO|Iƥ5P.rϧ5fPJ%d1qKв@AqտÌ 5&V}2gEA|8zX1 ^V/'Os<3.;bOޅ[ʈ1΁iZJ3fڠ>TxF4X(它_)k cS]0Y0U00UoSJ|zV/IN0U#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  =vq0 ȵ4Їň0OÛ\sLci] Pk3j$<HK~wa8!PE+Iy,-rS>4ĸc¿ ɿkR|7A+Gj{nXX ?Ѷrԋ|u5ӚB6Ttd ٮ/56W1tI SJSAŸg/1[3zξZ>϶H]4M.ڈ6Dwj|[f(}3-Fb :U|r*Cc\2SLev:weԦINo84s[1etrFa:m1&vdwiGA%7,%g̈=/&>X(,1ȟ!yL?00t-zؒKP tZȈ傝VR3&lšm6֐O\00ՠ Kvth0  *H  0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 TimeStamping RSA4096 SHA256 2025 CA10 250604000000Z 360903235959Z0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert SHA256 RSA4096 Timestamp Responder 2025 10"0  *H 0 F-ƞ`V+WoQp 7B0c2q Lpl|H狦gM19 s"˓)J*]v07 *H  /1(0&0$0" J?,\\gkʳ?m&4F 30  *H lSi'T8#DgT}\yPS0e*b+`62!%%ſ_QTj)jR4 k4/6#[M.3? &{^vv&{IbUa{._*~mBz̑fOhSH(6GZMZ6={W(-(6 %*\JSK̷+{}]a<[c >ڂ6ыl?ӏ.ú@>HZ~V\PxICbzle\!3PYQHBb@*8)I. E_G%ܴя&$#%DO38&f̢ <-R)(eA 5 > ۥ-6c0 ? :[x_fXAwsX>.z|(fMdi`Y< anrR4 vKc&+bJ