SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info mms5\Lt ]S HOL-Nominal-Examples:threads=6elapsed=257.356cpu=1174.964gc=132.040factor=4.577zXZִF! 5$(]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_WWc s{iHDpw=!K/r!=[u d]uwꇚI26-3A'\:t:prk^"[]3= h(UڽOBr7FCJl T5ϔYF` XH̜-7+FWoY/rK V1jl^Ckܩd`% ;*~(Ppq|VнMepy cWG8t"4|J5Uoé5bGTV3fq!rߦ2M Nk,"dduaɍ7ufFx3IZ 3%;NŲ s鷃\`@i$UVE-D˕ W4 Fz^gZIȉ*a$BGvךxp%ek)R]FD$4KFﴭ Y$6<>O ko[Wm/;-/[yC]'8Be(F٦4"&O6V}5`G15o!Bf'\jbWZx1T2h8Q{^EQ xe~ώmI<nl 2Ri#͍s,iW%¤>afub$%n3SyFTRGZO ÙZqfq#Uۓ}9zGfnO MGN,@d.W<6+:yKbw}*"S9UJCVs9 ؙ`-*iE7B˙w/|HA1rWNqkXn*>X(i/'pCDɡ^QL2IΏ`ӎٮ:Qh HZ4*R-ý41أ2&Jy/ Z8PTOep yoUQW6n<0MyYw|7?@#)Bn"D[50Oc;TADdFZ7Ζzލy\dh_O3k?,+lfic9[ jN9L(@BBc_qN-9sct}l[S?t"qHA$@RB~~+衉(Ƹgq;lRvwsѾݝ\v]z6EAJvte|,wX49:gFp ~/*io?OH&oO^F'N~9L8wCV qkt-ojJ2e=D=ou!C=\%!Cΐ]#ltWƀYA '^#Q*>gwęVHv6{D6Kjr"eNJ4d@l2^8zʍJ|"q%ֺt|CuQ OJO!V&iyc7ćS= |رh7T DO< f&ld]^̫#@2_m$z8(ػ#N)o 8zhi fa.MCr|&-+pqް10^l<Ѣ1KUq=Y -yG;TC6g(uNfO]Vʦp}BԮʸ:uC>S:MxTIIT"#ҎH}i}MFu#]:P3!!GUn5_sy|6AĜEĩ]^o~(L4 `GH{}j|->pؖ&ilo*4TS%i"8p _I+CiBGy}񔓊'g:Z 0CF [@k#_vAmz)~BypRV7(aʃl(y-=O -(&f$;-$a*髰~ȿw ^1WYϞsaf{EXזh&uVuq8.d^¤F ,."Oj*Gi/YyZ:XԻ ƜHEo1 ͂l|p$ĺ#b7x!GQ[A}9[2[r\ 7Y`"-$Ѐ6dOM{@"Q7PsT1*CW'-Q egowܭvݑƭQL" bQ83vBXnȉC>fݔQʙWDGeTA ܤTQJBצ0GމQ{+mnC94n'aK|<;lX/E!ePSylLXUsKEu&6ݠ#"fSr}V_P%O'&(KU+ ]^ijˢLxFϝQn17|u\w9"z@uS9b&rm8 @. /$Q+KZS%\R_99a~WبO!q|TޗcB`\ƣ%G4 _h e5f, tZt?'*tvO! ĮU-{ }.^h(A۵\XfY(XEK.⯟)CR^B;L9489+ Ez?]"xʌ9zI^fUف|F{۸Ӭ0K;u +jy0}9壸ߙ&vldvQuW+1M&6)O7}s0e ƶoVQFz!3 (646r@Ȋ2FU- 8qaPx(YJ:u8/Gq&$37KOhB~xxWqL3AY'uׇǎ% \<|'E Rg>*_iy~pGcc g+Vf]3kFpCVB ah3> 6Ļm+-!sO5c? pFT6Nd!S-ei&szk%'-̫[D®xLcwK[0UxGթв&XKZ 96|/y 6)& Z V \ c}T[NE>MJ99A",]L8l5 eX7*ɬq[7u g!7#W6|I,ƍvG (> +;{ԡϯ|k 1_5>clӁe>kVl}e7'8K)!~y?^zF,: e9P{ րǗhڀ@o_S#@m6+? 3O]d5?~zC&HEQcAEdHEUK x窸ڵv[!3S+tQDݸHSS#6ܖm*Y7`AÏ]tb'ߞPV+x/աNԯ BBO)(`kE*u$j8zV 8eF7"욏47? v|N8|vs~== *U48(=MƧ*6t`D=+~ytǂ[p5C=C\pT{:s ,FJ찖 ;=_ՌT*(*Ɣ$3v 3W9ldq]L$ts*0rCeadi ԠϦ_T눦(Xs ZBF[5cR8kx9MD9_6{q'g,*zQ^Q>CS(d]YqQմ۱@5gqǨ9 #<1<ހpqKMؽXY|)"bC,Hϥf?UɨbrVvԢp[IQ{=R_YSǷ&vBC^XA#Q^◔Љ^K`F] dO:&kY$0wN^:0U*KP;{tijoLNo40 x2#>0X5{/4ƥ*^qEpek!߶.zw|\1* `P uu1'Sla0 T%~,Dcnp 4{-&.rZPt1A 9PiDZԼr4nG,4oE*#44<ő7.D:YY prl޵нٮ9}Isk8du8D.ɮmV+\t\ 3w)~dLRȶL ,w&i(L<3d7 So+B psi2-=1P㺕f..>HגAW㼍gE7s,/5#@fɊ dc$CX D-#$XN2u}iyy< uVɂ>c>9 cߪ @'Y0[v'T"Uh/ȽT&}'XE1E<R̗LKpҚ*fI:7}9Ԑ1 dQӓdmc:}iiVYͥc#!^SJܢi1UNi&?w ؄Sx#F0*E\ӊpB  / :u%LN=T* jȎ^zm}ynYEC DM@"KJTaʳx-@z(`é`=4L1f8`v<~T?U) LGp6o,} .3 a`wb=ĩyJYcdƆs !l?B,5T*+wvG]XKJQ8 10_G65W9@ͥlBN X׋.|J:>%rVRNO=&̖/}뷇,ԨPo^f&ňjFgM}CAh\2q]nG* wh. Tvx%lavC7>s{*0c+cjþ]&׃t'ao_Z{hm9}z1 m";SJDpߨq^7 2Lte΅ Zr(k]}X\F RC`6>2KV *$z(C'ɩ%%0 ;_b 5ukЃ| -;SgQT4c̝G*yF\zj୊Y׳^;VxZai`1VAPĦN8閃Xd*[5;aa@>WE8lvU +O8C7_pv>ޔOm(G(5L4LANY @Č(&LIˤYчJT|v|Y~M]L0KI > x9nؙsq&Pue(Kۢ?D" V֩U{)? D?eA}KWo9"ޘlN8h OAr?GQF.JۅۡH}j+>u8M.Hz[4;Oev;\FKl˯l:up.I\kh9ԮkUmBPFb?|1 :xMg cq]pYya8E\%pi{|S/),gr3њ6;kn1y*/ౠ~@# 4D*gvj&tP( !IKդߥ ĐEzBf}{[1I658qQW& _ : w%V\VZ$lʞճ+KXe\ք6_e.J5[zҚ2*qQ}aUEo]6]+}Ku.S'K۴N8;Y>{DۆK,Q@ӣO٥LS_"!r(U+djWTU/ݗ "P|ӝ+ n\ZzvC907S;L GsU3/xf};pR+ HdmTK@7)G/3-8hThTlk7,Զv>l\fFnUx%7KæYP+"O֛Oе/ S`p|]4ۛVj>"Eai׺6H]dB V7M;ÚN njp-ȚS'< >k+# :GG7-v3vnpĂTjh, JULFX;^< tb4P^-<#b` "Y d=/84s}:!SH h:|9Ȣ?ʌ1>LdADIߏFMHIgYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 aфg8=r(7賃 j)h⦸_F驰lVb%7۟nHLj̺QV$G5xuoZ`0vQx7z p$L e {Fs5} Mp}`; wߝ.pXVF\^INgg" bq@,ݰ^t9#CA'J273dC?Weczh(8&LI-s_Lc+qS޿ruׇl/Ň^K`Ώ㻍N*~(f13~Oj"v8B#H\[:cXvhXNcWf|0F3{v=L`*9#\*x0>o}\M .N& Yb7jϛՊE3'A}^3 ZgYZ7zXZִF! (F4]ŗXi%> 3XW香=,]˧S8NŬZ^ P.AUvk$Gm~l} .]'Nk8,N#/ 0X]t~I-F@"f%na[ ؃0dm&cҁ_P4dͺZ20>E(Դg%%HbV5-&a4 e̜5nz3`%ey`4$@p}[w 4t5T/kBAN\sr8ǹvֆL{fhW{ЯԲN# h |^'Hwa(mp*a82RRJ3/,#Um0t)e 6TE[uB:rK np{GrD> uN2/ζ.TevS Η>|lKp p"{^R/`;1JU UJe,{\9O}(YOl%[Wm`]%'ATHc.](,{OtF ׊^%[t# EMIJFeM~ 6fyثg̭ʰ63iN+`Q;OAyHhƇRҗ1@ z+<927{Vea(J[HnMSb 6[J#s_*꒽ Kkc_G=b FލL3Իڻ}]i4,z?>JNuLW>5؂) n<ÍXyFSg 9M75ÆbgubvÒЮqId~q._H^ d+};dsnCy.?Ad0I8ec:ew&oD3{tj2EPzNMD߅+H+lHֽCPm֊J*LTȜjZIz xD.Pxab zWPb-b #!K Pl]b>y}8`2e OZ{ Sul+k|*^uq.kۨ(&RD!{) ]nV)2n#!ZZ/xfe9XoC?tt}~k=r#XEz;ųSfR6)z3ҋ%::LʍkʧSV&5dCIs P;)%o`';t]dzeGˡZLOJr4UG HC'S+{}1"4^:i [ԍg'amώ@]:J}>:Nc#,eh߹:-Ft$f:gW=C 6mR#(Ϫ X!Y8(Z<e aELHd,b|ώ4.*N_&@|OR?B 5|l4}F,ABk\ǘ&pR/kqS 15i`XnS3ePK;zf0DP0b P9k^}X9o|5=@C}1NgYQ &6<3Г-9b')u@~|TDsE5L*s;8{τ4 61B*)jui4C*tA!wۋmx`hnTLrք.nXIjS@?}=N&q*%W##rf 5$TSmG4SϑLFЖ;zBoXqF,'e#W*RVm"؏YD[R3WMд?/!6572]r jhqݣeNmfjyᎢKn Pa"׬Ӟ,XZà ę饚; /('֗ ,pyCMS܏E"p4'@g]c'~gSy15++kR=& B(-4Y7Ι+^҈2 ×88})=`%޴K,8|!04gaoX 1XYn!/!Op]AfYI&I#|\Dhs_Sܷ(٧QOP 4GAƥjt/Ԥ[`n'ZmM_e:%g]k&௽ϲ,\-O"y^OA\XaJNvyum$LGgaS) #%ͼw z85ʲ2LIqAOsYtU(=pP۱$dvX»]9GBin/2IߗC:k>Ax\D7 bW\66h iYMa,Vm9_|>eYwn|ݴ(eCg 2h=18-10d"6aX7:((Q̣I$&6D'aEmj*qu-W#!W57 bor)" Ic7#>{aؐ q,WhWfbzdH-ntVv3bIQ /wp_NZs,b7ṮT?`i%xVM=o'rtȠ.Z<)%j|m"xcY J.0_`8BE~+kJJvC3ִ!IBOֈ;4 M#6ֽ8yqw^ 8X@1c@̨,CArZqKU2~H(/$B1+$I` ϰz> ,^6A!>Ktaeju-AAÐz4bdc jEe-6os>mBODD &ͷp `nRlJ>}ª"<4=(.@45A3AXt(qڍ*/^3fn3%hΎ;c< T`htJ٤8GV~̃̽_Ipvb-܊S-w#TPtໞᤍ5fhOil%PQOu"*m!zvWQwej{yn(;N0)Z0ק'W}:6b?|'Mm'=w V?I'-4$psU9 ]`b(Rx.Ji|/0t eym@I'P@JUTգ0 `kObֳF"u}5qdhQ6a;jϗ S5A֚H!]P@/%9Dš'.ӏ8ʔ:LK׬$ÞsԐ Z8\Mx)uy=Z\,bJ:+jְoD gtu.Cx7ϼҹvZP~Q-t @3nvutPm뗛oik9Ftf"ae]R8{O_yeBf(υhhFQCK"vu 'o!!zl|PXZuWl8{$}䅡 sjy?Mj<; EDI+(> MNyܼQm~WfŠ6_OTdz?ޱK^N 4o[MQC4p#axX]^{P Ɛ%O K/ f&?cƼkkJӨN4/CECL;ӳ>_E(t #&fRkO=8R(sH1;_z+F^׋-!a[E_P(ӊm7sB1[Xx1`ճD-z6)Bgȱ9bRV@ZU/Aeۗɾa}?-nQ/(oJ]eJ*q.QS= rwNx\ZQFo]Ȣ R>mg 18kwO |^ehh;'.AY TC e_t)BW_33d͵ ij MFW}qz-{u0y}| 1"G?,˳=-ͤG5H =AZ-}*G#dqnEE6F,2a$ HK]+B}wpw; XCsH 1 Mr3Bi:䩓g~lSeTONuƅƖ LR:ȎPݍz~zSL$eԱѶ)& LVj][¸i;(ՙKa2'R^/!y'8 *^.#9m^?/A}_.#qoT7#4_#yć)sdf6ÐPWnEs TvnJZ퓊vab!h~%<^2{n*oZjT̵Nͯ[-T6F1Ղ&\`}7^ZO;z@wyݻ7=^+m0} CO/f&3vrhԁ]`e ^d\M3H7A z'KVjvut.*7$99 g}&pǐ/rI&)$z1^ei Td[ iKHR,ZᑰTšG zP9A:L)WSk} pߝ y;II^'JZڙJ4GmQUշ|wZ =Hy|l'Kr038mmO fr>qe NВs?|Xz8H(DM8v ɿ(}f2lP˹:U'{l3mHg"9N'SƔYŜwH|Dht% ]%pR꣐H\ed0ɮ<Ś:V+vFG}WZHEXml›L GL0;YS)s CաLVyCb~KߎOk.*UP+ 3Hlj[&^^ {듢˻A7f8.%o×x[Eg;qMfߝ,(^-; hG < !h$*,ݏM!V@+*۝(IWG y( r)A+x+%^t|t Pt_Y} н>ߠmj2NlidYwr2IA aB3~hĈC(vs S%f^,aǜG螻z9f-.VAT vӅơ=3KnN@9^{(˅| ennQZ8 (\w|gjPu+!,lA~N=#=y&(\Қi|DJT_XKMv/#/X\St.19N~uԟO.=Sŧiȥ\;26r3Xdb07 H&nJxZMq쮠X zdwUV8) .)VY rbcdW(+tfxO)WXKoH]gt2,aݿxR,R=:3 r{WBFĝY,MYKq͊BͧUdRVьވ< +iz+ 6>3ƳJBd<8+(yIDZ6b4 `"U6+4⦲ڨЌLăL GpAØ4 חss [t1$u!J)@SsJU1܌)qAs~]dVyI|C-S2{,Fz h,4Yl+jU`݅x:֌;Ql{K 19/7LwJλR i䬷G4P U|ZtSF5^彔"~:C7g'Vfl}!*Iha=hWJ~kF#&HH>3! TqI[C?u wB*e9-K_pO[?1!gVTEmxo٬Vyd)~,lAzЀ *ʇP0݋;!}tCAsJFڂ͟ނIH n#VMMO7h_*DIv }bڷ]IPnYEPqj7h$DjalS:-D82)gXJ֝`HWa^u)Z1a/9 aՇj kk;L``͑w;h۷&Mh5Af+]1uMCAƳS9@b%۫ɔbڵTjZEH|*!Ӆ5e !x,!v'}j0?UQ shdNs ?ƥX|"9j 1Ie fd CsRxhS?SdGҾZ"}B X6!C?m?0UXo rl娠 mxY%e?귑@fMB cM+r>@󞩪dw mʔYux\܊+P3 lh|TOVϣ+\nv@c:YlC # E5x9ZV,H᧲$k5QV.oјcˡH#/oR7²iqoJ`(^y /-jaEѨYi8/G cq2̘zvWjm/iQd&,g)),ΚZ]V^=f4τR. ,F]B'DHUaf1tΎqnW/:1.= 6S ϯܕ犅6Cl~PU],yee9@꺞zUKi>aU?ao>FT|w>f͇I1qEQ:Yy7S]!Zmohw{FCizzD[ K4:@pʹ׷ nw߀29L"J[4q .rA5G!y%:*yұ5U{i-YBǺ8LНRZa3l3 jsTUz殾g ?ջ5WU<>,C=d*iyWKmFR jegaYX?͙%іK_V8+Qvc!gWXzQAv \:35X^)Rz)~[3 ;K.Fvs^hG swOR@41-b^K\iE!`Q* Ю D}Q| L$-﹊:Nth( BӜp3SΘ!<9 Ĥ~tiBVUHEeo9'yd7`=vek 1Y4M|#co1c'2PTJ(#^uUcu': eK8i^%սpcWhc^DFRtm눷c:PrpFn$F&UOC!w bź> crfP%spMW5gm^1KHA&BJ#?~ccߊְƇ/n2u!ӛsUy PA_shЂvE].Y& H^ fK٭0a +ǃ%ݷM((˅ |O7~[Yu̢VZ)#x<]UE5Qޱyv (SVT܋,J-HSū|Ek'i@ދ!5N1+H3d.5<:9m]I#vus97 Ŗ,?AQ7Cn~Z@ ItʱdX;JIQ%~(9n_К| YC}9M<)\N0n[ӱaD yo\;wër ѫ^&*J {=fL8{X$lfOuNR$R(ZWZ<̙ʙc AY01%qDW?~=8%{ޱu\D\QȋX 7+IuX7pHDI }4:u&KS* ygO<~[ ?5.t cܹ$ E˱S UAvB Ƿ[1_.kH ɔYՄ0y\mێސ#&0W ƇqMHF&Wc`ZS"H ^ {lBa Zv[g(t+ٵOXW0h8DΫ' Ǔ:\~Gr?PUBr7fURN(G(7bҖyf&H~a9b9U|Io3Ǯ1=M痍K 02t̯휻zE&H ,a:@ [BNI̓l fhh:A\ҙ8A"mʴO[G|QSu]Nǩ{b431Cά[+Y֩ R!Xcv[E+Pq&睢562؞g;Y:B7Rann0>(jq*6󟙡@z<0u8ěm޳wlG^T$N`z*va)2[ 3*N:Pm?!w΁9@,WۛKIMN-q>+Ġh읹-^hL~;фG"NiحG 7tU郳V7.8/6h/kb+nIUVFө:Em2HԇЫ@q9b#LgjX*S5[ D{CmhAۄwI +,MҐ2HxJ,cpIi:pi;^ VKn5gd[SF!Y8Id~ T0)CT[ݟP8H\RL.JVhr̞J@(#q#[k> ߞ70\vMn>sg6cY[PbC~3\=΢]nrX@jg}Ѥ[+v z ۯŐХHJ-.eKt'#Q7˨x(y{$xq*'M%Ur噅TZA:`@ |hSXa:^ IRiu/}U>_KMlM20%뮁j-G}jB鏼Y×+37VDi8E P@䰋gp)X+ET\l9^`ւMdhE-o ~!rlo U9=c2o%}1l1 >r&N.A[4}_7[T 7 ٽ]E\w W β PKfwZ2u](~ ">h4;0p|jgcc^,oTgn b3ԸZS8T\"up-4 ggo C_Pڙ87c'؆č}3ٱHZ!*`1a]=sk9)8¯q9wpg؊T a$cݘ]ZxQ1`m0(SmkX,ζ2T`l bANJ]Ť C-*]'5qdT +;ZS͟|h%KY"pMu達 ۴.*Tul=$ZۺPv{t7ҩVu# :Y)z+C3((`!x%>;㌿ҦAVzIPD2J;!s Vu_U;UϴC V o󦞟jO(9J$o)ˆOqledXو/^p"rJ3 !"8q4 jEQ&4gѼJ6N(Vo7k03*.ݍ>(Bqt5ۮР6j C,YU؏ox]!jl؊ jy/hc{bCk3ɐ4pc!(W[-8x&~An:5 +ŮZTXӷ]V|K6`[47xILq{܋g%,tmt\`E‹`7b=~JwEg(;n|읹gqnyI-f9Ol >G v82.c/~@"LMam 'N* C DL`1UXF!"Bx" ~ae7e2hn?coa^?ȍ>:ŏdm\Ȟ-A DIAiaH$EcCY18@@F6)Q QTҴB(/{hHBhFx'.sLJDz^Ϗ_6v9:[F}q0X1XZ+Dv/,ГYb{w|s:ȗ_`;<l`J,v\H,FȒ:jTh~2c7 b S?I#c:+43pvhL#Hw[(Aجg=5AujV)l<4p{@ /+s}Qd\஼*yՈ_ ےxh]D,<{Eњ?ټY)FdqQl~(~DzYğ oXBc{¸pW.gbb%A_v~Slhh/SsRlI]6' ʄB!! xټ cjuDy1?t0O Q üA E)t% E 71ym6[MŲ%Haelc+a=>ïlC3el}Y-DʼmX*(gq[ ٧Iɀpk*tL%iU"NߡR+S6hA%S C1 D{?uSA|=ԉ. AlS>RCS{_cVjӫ26|N D/5JuJtf@>kdgB~6{:3^t]6t0 |> XAK!ڱ8tC2"?N;S;viE6f_>E*xPY|DeN, hc #)19K`U 3T*%b\}G_28$u `MY{mLxp}yhGXg-qj噖Tk#dt3_#Sa D%%[duT{Ū{ep`߫ MA,oPЩKyQ`RTe) =Iϗl~C9A(.݇ϧƫ$tW]8ǣ]H}B5I {2M4ƞ˯&/ UCwMf76) ?~FaFm.@I'pVz G==%0)=f7Ƭ+w8͖gϹr>cC9j|G}wL d|dg'@|^\is΂5с,^־9/+K<~1rvEVMooLd:,1&*:KWԤPSi"YräYy<&-!b# #V^~"TgӕUl y>̰p> \;N (Y&qH>IB&;wW>"@[}Պd'Gf ؓf`y -Y#vc]+=D^X댼~!5k:Nu-@S/BQKl G X_D9e䎯_OOfk0,u/ѻzŇCu+dqc=yudl3ٌ^$Iݖn1n!z#à>2F9T{e? E?'6g%b3U!jӈ0b`yfG_"B /lSN6[/NPh0 JTe79Lf"-b@*R*,Go޳Bw/eq+RtMENBa%vf$Vo[čޮläE[0"VH9_ahdrBISD?j[jC7q62it3d)]ʪrX2d@elQί6C:@KE]_f 8:YDWWZцPcoE~σ 8v_e༵+KkFBט>(=\iavg:ܶȠ=E0|j72XvD*R<0:k(mRsRj5$C[82,U"tD,Iq5[ g+>h"L]gbR$ : /KXy.??vrj8/}FқJGl/Q ? tT#YZHa`I2^ւHf1j@>i'ϼ&ZE(jdbo;uc,[..{6z;iԽ547L.↓" hPҵ$Tvƾ!>sѥNtff,A¶vXũaϤBn c;BZ+6)*s}ʄPQb8uAkI gh-f3g*i]7 pĤ= { bX '+{=Vj];qjY}U_ũғ` rW8h]DZ75Fh{orVx՛R۟үj1~Ri~Dz MIib)eY`w]j0_1-[k=>BamCh᳴5B U©5w))HzyUf-,%!n} ÃN|37;)_euEw) vGE~fy% t{8"fV|kNd5TsQ6V *so(p uu9<ied?"DG88~kLyzx0T0('F]UY @G{ltߍ|cn,RyW3JWWl[X{E⬀2O]]Z$# 7 t1aT+@.^Cz_I^@+ 0[0GYTD]z2ޠ@jTS#WlKE.gK g{ӽDJf