PK[T  _rels/.relsj0F{!m4vXE7o $o۰惼Qݏ lpYmn"HhhYpJ`:zluIe<6"cGǜcGp _ԇT"ELpdA3BY>: ^rk攷=`l`)O%4%m·PolRR8_}AVFetH0)DH jaR,Lݖ4H͹jʪm+4pQDtF["P˅J\PK[oE+ͭBoogie.BaseTypes.nuspecTMn09u"Jv8 v]@Ph{ɄVպzB#7;=78-)mۊc}ŽgLgcEO(O`ĎE`&aVۖmb>zP(b*Z{Z ^D6zi feVrV.MɅKl6Z?>|=f8 gI^=t4`|`LEf"SHJV$_ xb ]˜ [[2ZuNuƅ6=)U 6TJey(D +5mp'(B )?]8W|^^hUѴSppN@/5d+ם~A+!(uZ;X.7APK[M<lib/net8.0/Boogie.BaseTypes.dll{\U/<}:!+AQLB7tȋtҼBSiCbL.QT|(0pttt>SGgFt>U ::W}Z{^{_\~ &^L6OŶ}Jz\)FCbTMb:_L֟- ݱXx}Yǩni0yO> "ڃ?l=?QM5U`un`qMwRP2|g5JCJWҙy.ܑKk}diAG/x\@DN :uo_c>7br- /IO+efNUQ =U &~+2H'N#,m1.I3S:XiX)W5 `Њ_(ʚIw9 yNj ^FcBJZiԑPfmTP+Tkf} d8nzaAtSӪ\XcC[_ٞԲ< yYQ/u3HHtܴ֙EgQ y4,VRbgD/;iu&Xk\9I5ż&2csy7-\`5!,ӄL;`륪UՑy.S( 0j(QUUn)֧X>)u,A=ݺ,N#Sp62oTnV&ͥ4.Ma5"ҦE_PH9tшKLZnzgqƩ7 crFp׼85P+ٕ!:ntT%FtFTjo}rhu42o& hfDt窸cjXzUhN^{#Ȉ5)@g9TٙY ' zŜj[:w=+h:ȵgzj5lhbK^fCNg{R@ȳT(4 *gN!_1ɖFVw{2oCtv7 Y(wTK_&lPbCċp􂘊p:lPRPR(ښvZ]:\7C[AgKZ=SB27-:0NaBl`ۧ-*; -`KPN_Ln2 gedԋxQ/4MB$;EVp4wwW(SHte/>tqtտ᩽zܓNgفSuBIpKWZ2DVB:> aa1/ԙi*>%FM9n#5t;$]yk'd s59*Q&@C%kj(sbT)rל[xuVRwa]:u<\0NA cVq c/[;\I Ƽ ='fBS8䝇i.'KU?} nN WպVlAc.<'d܋:SSbsd1cM^L6{^׬H{K+b&JҺ8|8&dxa-[>O1|2Hš7c{YSqv}?is'QϐIZNUx*?ZK*N\twjjԄ<^Y?#f-rrw(N,Tsf}=_ʅUM&% SPfF>4_^`tuR( ^y/ϥ~OfM427Cnvٍhu8ejUAx <;3[)o=/cO+ݸNHK-Z^?&0l~#\ZөcҘѪ MF'1TSN?¯[Gt?}.}fsXC d;r3XЛwWc[`*~IO^Fg60h)tp4Pmy"NJ|1Lnl$؝IǦٙ\0s?!~o]">ujҮYt3^OlP4 yj#ME홉z`&쒽CL1jRs 8I% L`ݕ&I_F8KN*.ܵ0vV>I83!ˑV"hm(_*X~iCU~[X@-?eg2y^@*^MC7k*ϒE&l s{H )۳Z%K߹=pFwoKcP<``|`vZG*D1|+w^xJ- t6~NY@ uH;L8]QR_'ejs5HFr-߸6>cPZ6N`:^R2ŘOEEltP&Fs".g@?s!۸D?Ƶwڔ~%w8q|ˠ]!# XWY0iM N?Pӿ -(g$EA<gեǂҥ\kc6Y#lk$fd%ЌDnZLEH4#&&;J0)qyhƍ\!ʚ&&_ ló8+ \S v8/B [o/J$+U7k%Rc-](+Z B?aL3kk!6;{uJ|O:k)nk)."(qS>(sٙVZ8}/r#`K.;i]:uhGc;::0Acl8Z+0a/C6L|^Cŵ0/ K .PPu-lOZtzZ.n2U󹃂eOUh- ݁طVܡ]ٸGC))g AoD%k^aI<yj]aCGEН0t]`GՐ54"Qa jg`QCyHh<zޙgwSC8*g}Z̳c޷+Pf{+ ]MuV^ } = k30Uo [bh]O++czYw)^_iZ}= E\qdF, 2g֠Mب]1ނ]_hI;G인:pn=oj+3T\z2U*|_˾ 5A_q=i {܋G4y{TGB 0K{hICAC[2to(!|xi;{!|@C}{ xHCe]uOy#L^)݁qיZ7݁Ů܄58Q8w2%u9q[pΛ(xpWs+I_q<)][XyjSu%u>463t xQ7PPЖ觝gp~U`u|KC[dG0w_i%)pO~&38KCݧ`Fr# bkvǿ|_Pu?Ƌ8mM_Īz}ԣإ ~xqw>Uy -tw~k8~3O139?uz bϜ6]dL_XwXQ$|+e=B_2Hsί0K^kNsG_ce/EoKmխ[|첺h4]3?en c|yQ g/cӮz2пw^澌[4ڕi =J% J?2t_z =D\!4ʉ(ihq-qHC87{:$ z!D^ ׭^^nT>/t7*Уݸuyͼ5x] 'A[n]ES#qJ(*:=߈TtK׆lҾUޭ&FwW%$v0# H5^c)\]IzآM/q@-(63?5^TХu+Iih31 & M`ѯ)>wuz S #5z{GaXh;տO+)D10+3ԠԶ1!{'̴҇@;#yBvM:ow{߾ˮU`I҇|,񸬍nw3[m eq-k9Sz9O{9lvG'mܮVWd j}zoUqdye œ\?'zQbǾ#ꔔJ|&_Rb}X @gQ<t\UᴏK84'³g1F<E&95p'&XV m|.Ht1-|2=>ESsOʢNm9q#TXICXQ|y-im̡q.s;>a} >Epi4"&xE북N̎sh36>#>t»CY+Dzba^qW>#no{)ቧ OjwƟH]ʿjNF)}({JIcїH{ቋ~w$"yL<n] W#%irOs'))}yQxyN٣Cq(0ߋ rx"\4c8ST*qo-ЌcB6GqHG1Q$)_p%n?XR-?#JVzQjBEq%n+v&=;/Isur.n9,ɷɏIØm0n0n61^2~cH<ռȼ|Ӷ"lkiV[,Z0`! -pKx.?Q'K]:#hJ*7ye8/ؔ~ݮRYRZbH$]=9O(w5K)딪JcaͤOw.8 H$`A$~7zO!oA $A+6 &Q+$.)X<ͣ !  !!ޑ<oA$nE$ފHK!q'C>ćq&$>U@Aq$x  8.x^[\ /a  OH<~H|;!ыyHc&>c n?Qx0'ivT}藤yuy*9rV롙to4̿(M-&0$!(Ûd8e9aNEU:^(koCq|/O5Kqa_f)6+K1Ww˰%drUfxqe4W 5з>?T͗AUt rF-ھvl۽ +VWs رu mٿ{ Ab]UJ .߰cv lur 1w3\Tr 2{\]YRGו խt_r~ c0֌፥hZqn~ߛoϿvkőy0s7+bkMq0*u^reۘ_&Jl%E 7P0F0 Я^[Wb?קfG|GK|_W*VsbEA[CRڽT]cCqxtJE|ѯ*c I8;Ƌ*V$FIܴLXTP| 'Uo?2^rz0965?0ůsܚj3^ec_NUzzi_F@vU8\U Í NUGQ 2yrm~d((eeiEݶ ,vV?W+U|46-"v"rnɷH;VYQ6?viV`ilN*!4QӾ|af=BWq?v+ҫ&v!KԌ^הG)1彅u JFYĦ/qvO>W7kXl+𺂟+O)\:Z| y4Ml8XTXGsyΩPHOJr _^ЯnsKS (f/FEZK'UfDkeD~{HȕY\MZ2=:P ?^ύK*xj{ș5X;!W zUq2#J4.jHg 8TBd; 1VR%SY/W@T9ZTrU^ĬWɖ FsG(G" 9+/+ oߋ.TI\}jm&?\jCD2{݈_f٦VcPdzV(W(榡*7{*dJ> U8WETY7JaM7>vBz< UFR6JiP*sŠEuR5Yz/V 5C\%w6er/軬TyR:o?#=iS7"2^^;N 1$i7ݨ(De|A@iD_S.&j{?f rC*#uPOY-WK MFRO@azq>a)" F/੼*a^ש`1 XTY^`-cEy !"(QAi쁏4(.c9T.ɠ4 4*'ZA985*8ĵpQd3A9TXJqZ5?B!(b䤭K3PsƑײ@;iG=gIRT~Zcy`htP$g=iCa9Dm54)`"BږP.-Wʙ wX!*JHc$KqXcmblYUE-a||4m?mbJc)h~לs 25yg\^eD*gP pCz]>qp:PB eizYmE}i͟_3ǘ{ltO1*"uf݆P(xܑ{h i%埊" ma+kt.L C3*r*3]Q3]06pD`cl?}">]F`/>z8Vz{o{Y0^q~q0I Oç À0MYWi`!EjY`͙- ˞`rtv`+6]exV_(^J=SԵz[v` iZTNe c;Jl跞~M_rpt;j#9g~0 {ϼ)\} fZHCXi!<"7Hlg%$Sż3+qLµg%\S$觕2I:i)H$Ž$=JLkHˑ.KD3W$i)$OB&a:"fBYU5֜#R%i!f%& I)W1<maR55q ťRdd<7ҠmN1FX)1n*e}YLBiv:FbCQ2$171ʹKpaeuM7(HEM AjxxU;nܭ]yǸYm5;N5"SpMGx͖#ɻ4u^A1"lkIQw" e$L ^ k-hu t&&GuZX-&Xr4LԦ;-i\۴z&mӴ5[Z4?]6Rk#?;0F.6vMfRʸ^E49蛩[ETbQbnH%&HL[3p LxF2iJڌ b&̧eֆ} gݽuR_36֩o;pVw@vuJ]?T#}VwoD֗Ј 8;h`yݽrn:WZ=qƐwŊ+[[wY,8S kRybgh_:V9g$_7{4ڳu#: Tv޵v0ؙ~t`ݖBuWǫ\3}|O!?t?1P/W[%LJEㇾ)p)o6q J\kF:-4MCCo8V=dtÁ:} B2&@CFx#KM jvMѫ^7L`ЧnKycZiiGn,><*cA?$(;dwh`4Kԁ?IZv`cNf&1݂uu`Ћ!V^G5> GB{+0rh,䰔-G/bgoz~M~M/;cPK{[QI LICENSE.txtUR͎*fVh;&16D4ұɘ+D@:d+}uN2~E?'T>\}+!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[%9tsQpackage/services/metadata/core-properties/425d7914d84d4c00a813729942a3ce02.psmdcpln0<3 )Ih#$Pիk/`ؑwWIӀ^婴 (q)QMm,FWSi.ʣQ>V,E ^P@ 4 o7D|lJ91I:=5}Tڝ$*rm\@RKlR EňL ɇb@&JC`*2lpuȵnjGfg7$\vȕl,V:¹Aca֭DzЫsV?Um[Gm콟')dkKuAMA1[ן֨g8o\&v6:@:o[! My?/PKJ[7-ϸ22.signature.p7s02 *H 20210  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:z7klE3KuqI/v/Tf+7A/s/y/kpHHmbwYqEE5umDdxHZI= 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 250807025019Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" Tթ`ۦfCyv~.Zg=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 +ACcG[-u~~WS$\6?{^JMYBi cH'V[Ɯ(eT,x;z1I[rz\DBԥa /+8M#0"#|< V !wHeJ!C@ Zw<:I3G\aJ[ r/]`\l /ZY"Lξ Msh9RT7Q0FfQM0Bp̕XSb\5 =Tpi"6 i%J#)DNgl3kS @A^ 뷛Nkdh?.Ef]-<N5+!\eL|ԛߐ|QTвs+r`p'NpqX0T *H  1C0? *H 00,10  `He0 *H  0 `Hl010  `He e,"VO=#[vU.rhCp>H7bAς20250807025020Z L)˃> [(n6_ƋtOנ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^(⹔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'2Mgkliѝ07 *H  /1(0&0$0" J?,\\gkʳ?m&4F 30  *H .}kxY!YKp¯[[D{!`ot{g˶J{r⍾xfpeMw ۢe7bBg svqԙ]J,'eB@ޫFIqv)u!}]ιx].o0}LY"r̢yI-/;+Q T}jBQ2 a쓆rH68Y=$ (5 &wKkPn+D%3]8ы*Cʇo2ĭ9 nYXP7HtSߝG$]w _2[EYπٔn4-dP,JQd2Nk1O$ FۧTt}7/"艡{lj1|6e㯋RŸR ܒTji_7f3jӽ޽NwjY¢eu&k(jʾ0e2a~QEL[?DHL*c9y~/&P1EPK[T  _rels/.relsPK[oE+ͭDBoogie.BaseTypes.nuspecPK[M<&lib/net8.0/Boogie.BaseTypes.dllPK{[QI ?LICENSE.txtPK[6h{ fB[Content_Types].xmlPK[%9tsQoCpackage/services/metadata/core-properties/425d7914d84d4c00a813729942a3ce02.psmdcpPKJ[7-ϸ22RE.signature.p7sPK6x