PK[P 0# _rels/.relsj0!&imۄ.59!~l8P`{ C4j :MqC͏T|[nqdŃb){)>(ȣ;۱`!EAa (sf2\;ꎱ-۽{!F'^| 2Wj.-8cL j.[x %^\sL$1zԜ=w5M.?.WRS1$j71(KCuz UEGiI*6ʳiWR\PK['3Boogie.Provers.LeanAuto.nuspecSAn0 )QuF m KJZ_!O Y\|rg;?}WW`iJ*-srA Hu%l<=2(!S#ؒϒtΓ64X4-.5".VΕ؃wi-:ecRw>D_1[6L~Zo>?nv(xU1854DNxACӝcQdiW }tӱKxD6S}ku H`vu`eZ$n`LIImVUwmCP5tS `{btN+K@:F tj5t՚J[ZYI?hNYRat8@p^o`31?f[cez{G f?R4PK[]?i\9&lib/net8.0/Boogie.Provers.LeanAuto.dll |W7iiql˖%[JXDmILbL[{fz=XI4 1 /6EX!ȲfIo [_>szfcK߽wSUN:uԩm{{xUqFg@lbx,+[50YypY+圂uжbJM;[jk=VECG}?ƅVTY @XbaUMGÁ??!~ PuЏ?c*4lW-Xʷy\ ")9wllq팓,ƫ#B"kzeWs]UO{: +ȋՈuAc0Lh  o"R4p ӫ"80cqGe47]8mzT{3w "0D`lvFHz򼥳VP4@#T:!@ל9qC-X<} 5@> \X8J-*U 0RP45^# h&ܤkE!Ļy jcho%ًAb=Ɛq=hI{#"z@=Pcu! XŵZro$KInͤr=FGMߣNt(Qeԡ~7gԣzāֺ+G}9`Lo\/`il|O^VLҰBe{iN+`4%N'WFYEL cicR/cd7g `DJZ=ݣ0sUA~YGJst_&cUSmZBhu}U4^BBTLf9GKzw ^ 13RÍ;Nha#Q{*_u1PGhN7Q6[ThVXR -ݠjh6!Ĺ\>c{TŔ;x޲ ;X)AuZFtnt}vhΛȼg-4l(2C 9iue|@ /3԰. NZHm"jgTy5BQx]=RgEl$md MUWӐM("kھY6G#OCL yRh}fڧM7ƆJ8 h2:-Pg5{agcMj: <[Cܵ|5-2 nSy5Dw[V4t*=B 6|*i#ב7]ho%0AVs=-7@{!fg(KPYdj#7QX4)8ʰ+ir0xعw^V1}>-vF~煚xxY(jegô|мgMcW P >i,UVet _]_e'5T7D^ZdCSg{(Coin^U jΉs_g+яAPm"|nn-~Ժ;XZ(xBН97 9#s"aRez'-I!%Z|9Yg /H9@If]U٥gH"$89g_5 2|fI|u`]d;J2/UF _zB7ZS]?ڨeEϹ[zFώ9jTmmb:kTל4AZ*Ћ]"3-8K MsJaaR V2*GYbseB- t²^$e%߆GH]e{3w!{(RnRuVfTf{d1<,0!5&[8f>F-&]?*ZhgkqVw1YG,u-1,*dTDMF,ņM}]RÏ82ZvGy hΞЪYdjYwd[\Dsm/_e.bcZDJ9>Yw'V(n=8e5ML;ȫSCe|8r22Dji?iʩWQk#O^%n -NH`@㓾Xѡyj͓10>ZOP7&s&fLY}jUtI;&:yJ!|MSI5+0@WԛTUkgMaUgUiK7P 2X 7΃l߳j/6^.'>0YrTw]M9T}ZK MΞ:s/cFkm~^fs̱?^!ҋe ʏq!tGl:e3}*i3D J\u F37gҷ5 ={=J@|s}v#pw o=E?A^Fw$0 3f8is\aw\-q۽7.m\Bq3&*_^O]VMow%%I%ЭE^q~1H_yKWMڏo]⮩%s㓄6|&q8^KA.!s _(TMy݆=㮯sdEτoݻjr|^zƾO=z#%tEJuo>ܲHqԺ}3%76QoIjYe@S: ΋/'ΪʥY0>Z;|cp'pRG(k7 )XC@9E0RgϕIs=?nq:-kǧv{c> Er ;bLhi>2䴼NrK?SuN:ued8ٷ׏7l0>rd'P6ϭ_3tlSXY Urgo))_@:rjux}(󦏧@:çL69j3sOgY3d<.q/?['Pfe2> ϮgչntGg(s|"U7/jc]}kivVdm.UR^wyN.yH~M}199gLX%5FURW.#V-H;ҹj?#U =L̐84MBdPyC7u)I*4eEKuD "CυM?ktn#k\`>nte_ʕsDN_w}?$C1/pMb6::r(tE]#Cu !*_Ĕ3e KV'' wO3}}4h@/5ƭߍS0D[YIF S^a9TyFq3a*gW#TeaK SanF Klax[sy>pqe/x\q4*?".Pw 7V01.gXwlf?\b#DUDI|#5pM|{0^Sԇ4{:~ЪW\,Hbi1'4kOh:lS2\op`F-u^oԷva~UDzS1i휚^РͯǝRk)xE)}>>[{oh>\6{(4OqjЮ%]k"OqHBhˡixݐ(y-H\%sb?)>csbp|D @ %\J(K:?T\ªZ¾(Ķeu:b8# fV:\ L=\M="o šm <uaK$ 7`ĆSY:_KiľߪOG}\2m~)pLX"wh %=< ߔWjB8sKsPL`o3]PIk2<-{@B\#OxrݫjTf#EJvGxx1~('Z#~!_׽3Xn;܄|=7|, =Oľp Ibk /?K5φWtËVY-<KbS #F`_VbTb?> ?jD xpT[Y{"E֢Kbj"됑S#x\b_5F.S<.\c‚3VD^2D6$G7D.\JQwG6bY{SelW K,_ƞD6!%qP4ٌcPxi\ "ys#5 WI_̏F]UXd+Wkl$!1~i<9ǂ/FvMbv.lٍ$_Gp:̠яI,[?؃-WSn}q%J@qVHly؋.mtoF6W~11/c!-ĮS*R2I50O?[wKb_<`$"Q#J J̩q 1O1%6=1_K샑aw /8_Q/'qUH;#]h%vbD$$o<$RQ.efŧ%=̌zVhU-JQТCX#!E^~uZJ簢a b3Guxc7K;|N+^/˶/+7/Rpu}FI(Jh hqћEbiPmgkIoA(z}Y5*vUsUCl7d9f E|9R谏{Ֆ9Wsb }8sb`N\㲓^.wqĦ"Y3ڜ,(SN`NlJXԣ+L@ G /mC Ķpc X/`6n+ w@ +ZCgq֫ fWw3e̿$TV2| e?pVcޣ:)̇)8I%%yxB*)>L?L~U ԫ<^f8:sB:zokXf{Eשz5x9І5 wr`nb9{T#4uېG=[R (C.n<l{Bt}I(vgwwIKC}[C1U`+(+P;r8@pqц=°8NaIm*L6P#8J[̏h%Q:?=Ǵyە9^7/k:ڇYϿ>} x0k~sC1O0LPUnSHP ͩ=&񏵷~ĜBpSKi_RcR4v ?<>mƳ Ӂ_3vE/`$(5K*^伤~/)k\Ґ4<|VkeKȠ;H%DZm<^,3U0*j{AEH"a`\QL`ߎ2-D}^ _[#QS_~MwQj\oCD}\^uGͅe Y{%z~H_%?>F<@p8@eԇ/a ?Ζ<: ʓjxVݥUi.Gէ'@өJ>sThCD3h7PcsVcCftFwb ЈXbX!͸;F+>2 w,C\$>Yӂ(R4 m,+ڂ8mAmA;%ڂh J[\ӂ>.ƛjnbi#`Riq\ryOqc.Z=5q/.7ryQ.).7ՍྚHFuP]==8,?|%YWDݏL@ 7I٪\V[ە*LWoP߮>h?VC x 3xa=@tֳO_M6~y,׋ݎ|ډڣ$IЌN\OD7 e *;PقlV`{-H);RSvSา}Hy'v G(՚qR{)70_w?،wG`3hԛѢ7cތnqeVv(D[jƊP3օjP3 5`P3\a=`%Wta["?7ܿ+pɆuԓMv&$ЊN{N&c1Tp\V\Ի5qNv2>^Nmreέl@Hdv1a=D=ІMip!]m?7s7:ws7%ۜT1co[d=݃a`g[zw`?8Hۉ%u6In^evvI! :S)tv.qBNm#w%Gҹi;^rYuz^1kӵSd` ؞\>X,,tvy& vҴ>Xж3_tPMOva: Nnbcoru;C遢|!0*(V<o$1Mq뤊ddp^HLg҅VZ?>/ɥw}q"!>4ι[}ҹtRQ;nWBD:]׹a7͎ۓH"-}7QzDF]h>A=##tve`H*t!Z,TFtI:'¶D.} m)Iډlyy*z,<%'u,ۋIJv҆B~5ڗȥ l͎˴tVX7=0#{r9!qYɗ9dJ3\vNN 1\*cTH3ŵslxV𴣪0u39ч䶐-$BZ\`]͘8RzX_!K%Oq_;8_ KT# Nʮb 7*lc/$)[i=^4w u;dPM9Vp*xwÌywM@ 'lCR7Ӆ>J'mO& 2ͦmDc(z[}ٕ8{[L5b̦wSV9GfȎ#l려)\#nK+v*Ǟ^%^. C"UU4U!;=#C+$9+c;Gϣ5=dWa!ō؛ rC8.z-&J[ ׃!RἘ]IU[NB$ah4zJf':cd֋0%r< sb1<悈ŀUhˀt/% l$Q@ pF¦ɖLα ix( Eh~ #pc.E梾9= #L]@ji-{CGQ7! g+4ߞTZ6(g2Y-g"^blӉ#5ξ0s'[>"R|ؽ 9$1a#|k!?FdEϓ,6 h@pCl}@BCyy lrkE)a:tgEHl]r$ٿ᠈ p A6"}+i-@o}ĈHٍmpڝo1~>=h0@}om?HRB7 ipGBjm~vl"@XxOOl YFi Ⱦ@p krX[@z JkJp=j3rxhYeʽ}HX)}-qd +""it1"@~w k[5grH6qϳmFG?tr)iߠD F<1ξې@$rV4&E6_I*7ƫSe 6.]G[=IQYƾtFdQ_qJy$Ks?ԇShPIH#6'%"Q36 =~8qV`J9̳o'\+OEڱA bb~=i^$"Wm!J<‹W/:J^6K[r>;~tB9+;³-DWJ;mvZ-?涜>]*%c}۪*qnέÖ*vX4& [P"ew9Aڅ~?XCvsf~3[}eɷ$"if(K%r@[h x eo TjBEkP7_r3 #4ʔDDv8gqߏp`#~@)877S~(HUy}"j?0dy]XKt&#bu*3K2al G=zG$~#Nr7j+36/o_k.s ly]Fq(e>VjyCf9JR~t:dXf|j7ЉGH =xo̮=uIc|:]S$a+97:uy&d$?hFolQcY(Ms,Ϡ¤W=n7<ҟc\"9F;i|WoИÓ,$ x>ı uI߭+4sΚ+7h7s%] R'u.?i7"8 Y|G-kBCC80U&MvtTICM'_f2I/׺y 3a"/DZ|S62 _.M^r"`)JX-E -Uň0G@H9L1BX_(\hN5((SʹҀTsjj& SlfGh#P96, 0{zU%|.K 桊H!ͬfA0 1 ZЦG%ũbL{9bf&i] je &ڠ]8zE-v<3:5~ї}ef>3e4efP.AKQdӆ,Ui@[JҀ١`xj|7>أULLɴ СbXwBX0/-<$fn)+b0aPba(1""=CP fћ={so!I0؇Ǖtp77,d9zN'C:NXW66cr j&м+o4\Eѻя1GOO=!K1w#}}OIB?w-4wzX31nx OU9}, !#&~d,35>JisTsyiàAC2FOɵ9EFkg<-Oͧ ϐY:A&uTf}EKm|8(ԉ71{Tᢌ`5AXV_hr!׍_?^~ U"cP}%>xO|vtG "bFe,i 2>E?TId7iaӱV]F5HbIc} !>4zZR+*֙u":RRO%*2ad^,m#Bb>`3k,ҩLQtTXTpRucfzFO U[,\offt3-mTbL\fE3bOK9A-E/`v X:iII7~*+sY>FzG}3>p{=i)_*/ϣMTz,=3Xf,=S|o"6KbϛY u}9)1-3K?ahDPTRD h\~uڕn"ꅋA׹SŠkhOw+HֶPR~KkM~eET._=Dn;c'jU*Zjmm5ھ5`Oq3  yctax%d͎; AJ!rxS ӮW줓)V|Hg[H nO$ ҶDa0>ؓ-fz>͎k7A/Z_/ 'o,WH1ѷf d"cxʤb@=lX͗ ^`zn[n|f$bqP[﮸-uuet&=h'خTxY)7qj}SN/ձέ֋o}S}#8 8>.TxխN4ϗNFsշt02'gP7rZ^uX0굲$&9-ݚ[TGﰶuuWQkgXVcjXjLwX^q Vzò,P1g[7XC VaYCl+k˱sGY+]p[hykR0+/&Ѿd2q8<~*1mux¬c&v.ra( ڎkg->dܗ"q16ؚP1Ss-5GVڲXike88lKekM릴WH璅SN[/:,|y9֗מ Z\G-(M?!۲uiHsfN&Rw%κ-:q*=Ncжf;ÓګV$aϱmNm^?ҋMbkt[,'w!Y\5A2CBR^.cNmܦ d8j^|^5^/vtX* =:v9KCJwLLtO)ǵYIJRV:7H[s-SO<>g5:,zaJ,'aYD!9hkӅAòj]2::, D=fx QP(X;aQћ+t0JΒs 5?˟ m;UV~ XIꗡ,j݁M}G_zof|fo%-r2zU \t{sr/م-+| .l[R{4˷=}o嶫W4M0O2mtY/鸶ͯϫ aM0> `t7PK{[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[ehyzQpackage/services/metadata/core-properties/955aba8dd0474c3fb404ff3a8242b4da.psmdcplN0} +v4B% 8JTŪcGoP!n7c2 }I ӄNi+Her]r<ѓad|K 8Jr4XSHy2 :e AT4d7NS*?m +w \P%Bۤ$x٤ZKcKQʹƜzBa^פ-?YΙަZ[lX{NP؛HsaQ9?m[iyʜ˶nDg :/ VQK[? h(z,,FŒ:~-q{E~lBlq ^7아U+6i>ʻB7PKG[:22.signature.p7s02 *H 20210  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:qSmJAolhTf9IzbIn0mVuyJG/2FOGc5qOGUeVhG1e4Xw= 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 250807025014Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" bL#!x5][˓d7~-! o05 +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+ 0d;b pc:Autp}G5+oRgGlҿ+.)KPܯ 7ѨL|.^#9&>\A@S6:QQ^),`y=,eqpuHKKb| :g||F`E\:&}W&3tS=0R*`n| JmYlF'C'4c>unju+,z/R0"K Ak8a A!y."n%^Ag7Z:mi8oJX0T *H  1C0? *H 00,10  `He0 *H  0 `Hl010  `He xqfdܳFn؃C?\Qv+|,",T20250807025014Z o?k@kDÌ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狦gM1910ʐI:-Q1Q&Paϧd{X9riA{D*a% `' \h=Om&׋ڨ"&P pI5c`Hd]Wɓ5] P0/cT?0 *^\_K9G̠>o Mq{63(KxE5Kb)6"n59Gp,aa!=zXa)4`0 @2 3smTw"ʒ Eb"؍ͮX  Q.9N×zҤK<6G%?n^DcLj5l/MI6[ePZ[d/tmhÀy]S ӛ4?${զޱfb%/G.dj@ ğ[XrPK[P 0# _rels/.relsPK['3LBoogie.Provers.LeanAuto.nuspecPK[]?i\9&mlib/net8.0/Boogie.Provers.LeanAuto.dllPK{[QI 2=LICENSE.txtPK[6h{ ?[Content_Types].xmlPK[ehyzQ@package/services/metadata/core-properties/955aba8dd0474c3fb404ff3a8242b4da.psmdcpPKG[:22B.signature.p7sPKu