PKGOYp]# _rels/.relsj1}{Z(/0fgPs Ҿ}bA)r?YeMK3&(A#mSsZN[E)8<-N̳nֈjS %5F!QaJWuYY!lAUyk(κFx/yPKGOY숿\3Boogie.Provers.LeanAuto.nuspecSˮ0߯iV-JrՖ*t {ZM`OXIN>`XTdg3y: kkR:a%`Uڔ)mx\Ч!i<H@=bs/P j-@&ml q4hMIj@>VR{vv ̪Ep6Fٔ/p8-#MpZi o^ 'Oj4@] >+{y\s  %5Z׍"KFK}|) ZcJeX2 ̗|9dzE@fb_6`T\8,m•ouyؐ3춺#Ztq-<| }xz]oajUpJZQu"`c :!oCܽpp_ϛw`;1tf;m &=H&㛆7PKGOYrI8&lib/net6.0/Boogie.Provers.LeanAuto.dll}{`\eH2L>ڴi<Ҧ) mR@i'm2L I J]** +.**ݺ+9wܙLJ79|;w<-Whx c-c_O_9]Llx*Olیٹt,m茥^"tԱ `Ż?2$ ԃbz*Ua7@ 09B_ ?QoJLx@}}@zϚx}r^kGŞz;c m䉾Pn->m3i[fqr|⺉}1>\ЛM6քB WuC)}PE5ARGhBuFԚJ¹ZYDQfZ6Lb07RKT|`K4&]L' 74lcCL:t͜C\B 4DhL1wSsqe*/Y$3!2T=V!hCf)uS݀~04#3.S[Zshkpښ8pmy hU[50HcjdWgWi: u?h-Iگ _C5-wZnzeGYIpTyc ϵV! *aȌ!"Hj*{ 킺."y`0e֒3Zh:⬧TuTF1Q_WuQ5"KZI(6ReЬ (V!~7Sãlr}`qV:~?IT~zV7}Vt.ElFݮTVK6W.㆕ꠅfϚ*rf?:˫ "ju_$NFm^5 XP{S1Z۫j#idu~{: ̻}2)L7Rڐ:5<>IrLpWլ+IE# %ĚMUDh9Ԡk\-n[ήr핊`]T^קo ܈7 o"< v_pUun&*h]Tѭ]Oujİv |[{ޮFV\5M2,B B-y!u# &9՛.˿˿Ú5k;>oCP7`r~`ED4Q?i ?aOAAlv)k =odh^8v >٧IjWܡ 9H\tt48SY5ʜz|gyXӜ}s7XZtvNϖ4~rOuA`4yVbL [}vI'O4!oCZECV%%$r5F}ܛADRR WJ󜁖+o:[w?Y+&ȝTfT _0+ g{V=Q'@?G 34n5]^v~ކ U44u}#ָ=!QDG>@ΤL\2Y|;hD\ڿ슀gv 9xE:Y-:AY *Kߐש)dV?&SVS (HG|b˵q=h\9,k6ʂm|)J`M ,CJYS1[jwթS1F3\+5of}s{an׋;N+Ց8>FF]UJ(&V섍r- 9v9x*ڽߐY5&!OV#WB*Lke]]]2NKLԝkcs]zu: &\!s : '+sc>RJ޳OО8-x~Ω{PL  ^O.]hT'i?Kaw\n+/(K4빼;e-{!ȳD9BقҜM+t<8wͳUAN>OL.wbuS^=؜ڢ]M oGW) WN Ov&C2X})1iB;[B;B`}^(%3{7 !:>;n_GݾuM|m&1`By+~JMbù\Ϲ\\eIjjԴ Lm}<碀={!f+ ɉRenس^tXBCHnte;P"}==\郹*GL>ojW8NlĻKElŠaf_fh􆿁tg侻T|] ^G~,gaԾ{F:z{2_tG1BQ s,Mb/cm!=?qmcZDhs/{mϸ-/_Qt?cQ;?#T%֕DFfF@9l' exH?R_sI~hA24B3pęJOkatS)=-JC3OT~+\Vytן[=q3R99#zzW6~6q_^Xp&s}IŜqVN.|bvJ18ӧs=S9ᔚ:wGyx&sL?On:uS)qs9s9%Yڣ|7(783<<~"Zx\ww,&O]b2|y4.ΑCNByH~|>|fT5o2Jfc:UftH6{fH}aa}6Vo|x)Um2V0m%"C/+/;F_u<[$K)[XfВ4 nCλu޹י IS,rގNXuϻxG;}6%uIDV_`4{?g }mUyȫ_^kh<¾* <ç};A {V2\v?Q?iN!O (F(;>2#aŸO C/ Z~1QƈBT'1 ; _RpgsX'J|'kw_b ÿcx$TF3RApkrIsنfKBMqV= ,7Xswu7~#*n=u&_'x=[`+Đe"S2h܇3`-o3\s09ֳI YAbgNaYWU+;0/flض4{%DxYI"4eb; *' 4)I&`% 4h e%p#xs`)<%9vh_%u.Kkr\PO M?h;%jJo*j,/j~}.>/s˾ fZroZaK}7Η9Oa*1^_`luompll5&[?%UvhHP_>'x 9K9I%*[z|Ep X+þˠ^Rw;`>6Kj"m^I}%uo@{c.@g8GRcU/EJU=H*?JjNT\l*JjpTR!5>I}Xnp<"%?g$ukA_'(=&F({$He%IR+Cu^KRwjB&<$B{7:m ^P };C0IRC ^D zO^RYCIRRP LIUn !+HYp~ qIP |HR~sڦ eG& e!APdKlCpcHj%¨(9 /x:xPR+ L>mI}sLszxҾ۾%0n P&^W *Iݥ~44J;B*II}6t$$5CBf8(WBGJM@QŸ<~C9}\p>]MFU UU*Tzqdu^S֗sfUͧkj[iuy c3CD{s=YY<鸙̙*T FCb# _`򼗼2G\mqW*[ž\ϸǃA+ړ`*hda+vdG8w 01w#rc'*/0!—V,r5 p> v^Ptxq 7E^Ek"Ɵ` Kя+p3.0e=,л[F_)÷Bb^υF #w!FxQIVSer]! U@@M‰~mV#j~whMlSU[W-ƹDE}nXOW_*w׳7Ñ`9w7:˃:=c'siG9Eя׫?&W;%~vEÕԩԩnԩBԩԩzԩԩԩԩxz^?$G{svL0zT[Qm9nEʟV7Nhɸ--\[> =O~*R$.B 3gT[P~DWt-ܧ%ЅTj#>>yU ޭV\~ŭϰ=PĈ x z k'S>,|O5#Տz* emͩS4j}-D_BO駔(ЇXB->|OW+I yiL=UoTޭQ~7܉u7{Q}=oBv>^zQJ mXj  V$jF3@!10aAghDW#٪q>w;E< U׍c M2u;}YH`Sa.3P~\H%_gۡz!<8FR,{G.{,2^V֗?6'?j1Z)hL)jZxWQ9ZW}u< ~V iipT/WGᇈB_Y|]Q|q_V2Q4B{Zx_)|=׷}r.Od-sMKv#w͊ݻ kK%[Lb*~pߚl$+$޽!HƇ'QRpYﺤճ$Yvk^ⲷlbo´ܸYsk¥n>ꗹ܍tO6a}@Lli0HY̞$5-mOu]̬]Qs8mS2jeo7Mp6ΠKϫtj,ic,&s)ӎw'=!ҾJ&MB.63fn7䰤KLNo_&<̡΄+{DC|z%o^zeoVVmzsIs ZV*ѳMPxdT}{ʼvP".чa%S6D=ڋ3ݻѲSlq3}k޽.޳?ۘ0bM!NZ6{=ufԎrI\dҥ ԚKv3z^.8j2ml%l3SnKgr^z+EHH.-޽4:v3Z)[ I=ϔ+ʥ{їKDmeu՗zqI a^G/BI;,mzY.N0M:c%.±lOY;׃M$4Rfn$yoNqTb:(uH:V;'1tA#_3Gxk6k'sҖ6{q~y:݋* 4WD+̽;<񂱿ٲ ;:K;1S|8EAiaљG,2̥R 2&WlH8 ,NFvy!n18e2zm\ gh|}R L`su&(1&sڷb1Iռ3bgi ̷l@`.[Pqp=DG.+)͢0efpHna(3~ OZ搙P3%*ӎswK^q3Ԛ1܉c97 '<_3<5hGUQwL(bhZh]ޅ=G%&^C+uއs"ܤ~ɠI*2e98 own󇡤 &Csx/u"8ssz.':" $[wMbDnIƉײ`X3wІс=ϤG'{ְΎoq|$KGIȗs .*ڇN XaN^͘ iI^?P`ތĘrD4l\#ԇD_-=`~ ,Kq3g4ŷܮnJfbOR0y5~%!X>˲i+"b&)˞cr ‰|d9Sӳ3=x-&)?9Ӝ(-ᓈ<7n3+$3k/Q>V3""]ő9w䶢4cp6!AŘ60?#~q>2CgygXힽΩxvCfi{)C8v%eL8bdM8$O)cYGSס]bt'w2lM9H3_1 Z==Hnm 3-UL-@- _xvVQ[CPמ6_5c]{3@SqAk$Q= 섳;"q qYi3yIm>3Vf=Luj$dBɤө̳u.LI zJ}Z]Ga#9q9R6e%T&67RN9d #N<:9<WT i܁Vq8KzK;TjͲ[5kނy7 ~ucoو%ױ<[똟߲yeJ`NV|̱佭lyKFx㶛}6sPYeɕ!k !uΚv>&$dqD>F|bd5=;ZLF?smtf73 ߝq}>zS;ݣ|[+s*m0dy]roӸE%l[2?wgi5 8#|Gv4긓y.c9uYwBVIQKo|/\ӧѿN%ԍ۳;D&ި̷&gcg#;OOR)Ԛ$Ϛ)%Kߞ$h̳JVM`ge%o yvaT"DfMhqWo;^Tq]]#@)J@C$!2싩J8̌պ_l!F  -]J45 v)P69P)nĎORcѪ` 3v,<9:k!A͘6JUfH<:U4.EBՠ2hgtaل*ER B"UY#`%92 ;/!UnD/ `8#o/Ep~p!\9iN@pxZxBLrħLPaMiEG>}":dtEG_MEъl>!O~N^_)@S0pb~WS5>?_a++Rr)tNgJC0pQ/H$>Q҅9rxP_L^,? 8(2<)O:' l;UHI6<Vji'.y2h8J*0m)1_d rʘE8c =4""F_!`ѱ Got,Cѱ#KvID9h8ze&cTgLѱ9؂X]82BF61s{Vm 9ǶMlX>5[ta,6L" sNkpX5S~~ HUr. S,QUgIN%9y=L9ϣA: )>rmq yWA;KLg!i 3rN(DƂ1%xl>YOFZ)X#.R^!/.cȾX|r1:s%b:bA|2a|ٸ+0.Y s#=1|Rd F c٣caqzXtv;>Abn|~JĮ S0L'?:vA> ;nyAp'iy{}wI+/2>'F8:%q^vW*_> >9Ov]bℸȦik@JYLJUeb `KNp@,]+e_ItցPZiux[ ZV߀ “__M#e P4I4ӿfmmXѰ9д7{e+5-]Y`v7KKP`D?Հ nXvlv Ӳxq_"۟RweIݟSwkԊd:%&&2~ !)m!_M Xv6FXM "9x>+kfÑKB2ұVێl~eCԍLc,=/HLS@IJ2ͱR,:eXum( њTgXֵ VhAC-D!k,7%V%2Se1b&.a,\96cp`4[s1~_PNh^PJh2oV6x't洈aIGl_(jqr<"w -RA`s\ҳӭ)E9w D hK":f:QǮ‹d*i+#DB{;q 8Kai#&Bۊ90C&8r ) gS)T}@LMgpK9'Ѕ~* vڀ7E+$'|iVIv-1h1MW nkSPDM)?] %MR?&V*xlapPظSFV3¾KZxm .K:v6AҢ uE%}8/>-R&ѐaB=dbqZ=^'<̴I8X sHų=tǮEiX"ZZŞ=1AQHPA@fz/>H~\v.6T˪عtb{Sl/-eⴙŢD?MMKc.iR=oW-~|A/R6$[42=U&2_<|j)v[PX4b>usؘ^̾:a76؎X;teH#AzERĨEVn7q!@OW-x|L1}ip-nԃia(=ysJ+ѣ>^@;P`_T|XAUP%{kzv@⏮eC/O燊z5珕A|{A߱?lVw=Ѻqq-xQOh 6+0vV ۗ!w),G?l^Ƒe"lB婕y7򿭋g_2k PKFOYQI 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ՐPKGOY6h{ [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¯ZwymPKGOY;wzQpackage/services/metadata/core-properties/a05b6754414c41b1a665382dc9ecb5d7.psmdcplR[o ~W>+X;ښ-{%&eG%a~[^|#]|YqD@ #g:ZT +k* n.E9c5vϤ`P@ i̢`KEzS=kZ'-o2y-PЩzkaGC: ;cKu8=4N3VrɑeZI ͗1$8aUarۛZ%)v 4 I>׷M5.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 241015090150Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" )2헖tD $Y؇!e05 +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 EeTV=Lti.Vthjj # ַ^; }w3/ݜ/kN?"h`YRN1 K*~ya3"}YZ$\,|m I)SͲ$@pE'{%bkX⁔oY:Q8I %Xmh4<FEibmM[#8}G; Y5u[@|6tŸ j `\hdv 'B$bF'#^?Åu٠bS!z4>8j3`<.0(a=o0 duqAH»]ܺ2_K)Kٖ*E~[PdX mJd.T.W-YJ܏ꡂ0 *H  10 *H 010  `He0 *H  0 `Hl010  `He ݊ 9~fX2q]Mh:c{fMˣt ,20241015090151Z 'h|GJ4Ì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+|00 fZ30  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 240926000000Z 351125235959Z0B1 0 UUS10U DigiCert1 0UDigiCert Timestamp 20240"0  *H 0 js!0[mYĈ;j 0 CtFw1ymIXa+3О zGW3K;CE>Bitv;(m.%B6h)ӿ~iOɠo~R}azv,L{ڽYQYLS͚ X|˺Q(ZWx1MQx|{ЯH~7M2Ǐ[K_b?޺}WHz9XxGT);IRt|iuϔDHAu~+D +XlY"!$2J5_! }qijSDx!%v+]Җ| 8@.'q[#&&wGէI^DElT Ej@6&N662̋7!5BPJ[W*b}'UlO'˖&K˜ׁrC(00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0UW,w(fc^Ov[0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  =v[8GCۛN(O{K&^xҋyc"V*()³f]UoA=4Te+ RBvǰ-Mm*V;.^u\~j缅Z +Ja @tʑ/$:xy:?TR*T VGQowMSkV% .m0;_u%T1SU|{~Oi RG-w߽d TIexUdzo.Q"+D#3Ok[p'MzE @tu٬R6B~̄r̤[ 偰Pܭ8VHu4tvC?~7t5dz?gF.pCrl?q sdxUKiN¬:1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA fZ30  `He0 *H  1  *H  0 *H  1 241015090151Z0+ *H   1000Ӆb>{qHP$Ն[E0/ *H  1" NNzC䆓uXxs7h W@tf07 *H  /1(0&0$0" vvc/C :#0VuseC0  *H OǦ~! ٩DǮ۔& ^:*˪hj(^agP?E}QM@ 9ٶdo?֊òxt7#m6[q9y;$:v AҖb2+?!>^5Mas&cU??hi g$QBߞĄ!8ϯs"vΘJ${՛>p`N Rn)o+GUkT;Ay\|ڝkR+K*hKw~3,*3.KMKyA tܝ'܊UwFdqIS/|QkQ.. L&I`@C, >.HͣM1f]|">S?Z=Kͽ >UR`12E޸[Բeam6\/Vzs*ꁡTwIR*CVHyPHVWǻL1ˇ;PKGOYp]# _rels/.relsPKGOY숿\3LBoogie.Provers.LeanAuto.nuspecPKGOYrI8&klib/net6.0/Boogie.Provers.LeanAuto.dllPKFOYQI ;LICENSE.txtPKGOY6h{ >[Content_Types].xmlPKGOY;wzQ?package/services/metadata/core-properties/a05b6754414c41b1a665382dc9ecb5d7.psmdcpPK9OYp= {2{2A.signature.p7sPK8t