SQLite format 3@  . BBh77otableisabelle_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 CDD ]% HOL-ex:threads=2elapsed=510.067cpu=888.800gc=34.368factor=1.747zXZִF! ௌ\]ŗXf1-q恉<:P _X7D *-R~x=ҮD~ =M$Ӿ|l$bt=fcѝLJݮ0 c}R< ff/qi5yY6wU`3GPd(xxo1u nոv8_N}n)(Mx!J%VJT \>;YƏ΢!D %!(mke3bصpHKqL[z$a⢐Oܫ4;101kj:h!Z Va'(tQ%ЮK?M=ttY$dB|3rh@U{ħd)3 2Vدʒǚ ܭ 0 Of^Ȏt0y0 RRW+pfַ D`jc{0hqmi'HZ2_M]/*;`1eu~|4Y SbVEWb-=a T@~lToRkX''7JGaGy!'$|OmBczb'IDEBxwn@"{@u[ k2-m<㓘%=Q]bV  d3Ĩg\yaۼ0 9Lkwꆁnҹ@*P6FlGr-jprAL,L']wnzG,L2~!̓sxk@ 0ܘ( 2>@`bMxj'APJP@s*F,^H +BQvEjv$tE0I F.W-7V 72_}ˏ /5C[~l=VG}X7N*JP_S.em?0Êm?ک]]܊,&O$Ix3C3B gg3Ozpլw [6iwٜ#T*2| ۷݆ P(sR! ۅ8ڋTqJTICAeiE>ܼ?ٚ#ka,EP޲LzzEFj߸rN@[$ ȜbI<.d8b@hciWI%L É&4/gu<.P04|\[Cv-qYwo |[IiʢZ,o>s^k5ґz?0(^E.6[WrF~Ju%}}PH~i#q¶^U)J[hSI/uG%mqy΂q-Q3LV¨S$U#Y|v?+C_(>+;&GȆxqiS $wnU _jQ@ $zq}O- Ef0_r3d)zniDƖ'iǛBTd˪*GG2wqc"Iۨ0ikݒ |ԋK /ছ-p2L3#STں1q5]_L'iY#2p#UȾրɓj 0J+1&rLZ$:DPQWNA)lH LvSVIж<-L-JKvv#WjNR @<&ٗ֞D*Nad:rlǵ QK[`G-$\v8~U\fW&cۇ'HpN X󠕢?.*~FZO'oOcsd?Bcb2ܓ6uu(x32*"vL{5H*y4qwQ_+r oJU3CBml?Akh_k]tLeG @yu*AG 9&j@詙3 =Fq&ء-e wT"e, Sn\AD߅zn(j<KOd4G*7ǙcEX"t+אd&| `ESd!ɢ/ ies:M@7PgVq KiuA]?WA35DwH^qݸV6>GW[%x&-'ҌWϳ2xq!AȾ O-] ^߼ZQA־ |  oB6ET֘򇸵 UIՅӋ_hq[p!ť6 ;<(hgٞn2њe^#k_u>[V而`iGKT"3{'ܬp5'$nx(:`we`>q4"I8}/eOmӆɣ E%G/TLCKRM/F@AjM3, * Zs{ )t;͈]ZULU̙:u)NX2VWSNc XԸ3zMmJWW NۘToHMYlzY@N>39#VY:aPaB&mR*76=toV>bQ(g aJk*XldܩUk bɗ (^M G6[R!+==A@~btts=m o#9 gْ3#}q3 K{N\V4Wfhk4㌉.yK&j~р>iS,w7a M'R](O͟8H5pET{~YoϣLkzTpve*pQTw{4OT'B9r01(fk'K'jZmKHz<"T~m;^u 6ۊ#O(8(RW5w"{1u?sA⛷S[++aKrPVtWAc%=`0=v_ -;Ou| 2M:Y6r.Y0հRG⦻)bmN)3>,o]/H^96IbUCGHtZV6hKHbƞ9qĺTcA:9F]1rQsB \S ~{r&qq#?@x`V7oSU7.E~oo-"}Ri^u8,i1o͜|p=m{=QN=B| g#3`[ZڃglF}go#/K xnPi4 2:_pn%G85Dg<a5韑ۙA@'_3BPU<4.Hń}CJزcC CXv(2Q.   HOL-ex1MtJ]?y;NB܂/s,u^V#3 `q}^9rE8fh?ICX6ˆ nǜ^Frkuv'מ۰_s s~9pCJ @IB1w(aEi>/ʕH6Rd6=th-9'6>^`ʣCMo;V~H& :DfHLSAۃ#^XqB!qX>H~5XtquKK ;Tg}p#mYl(y<wwB.I)Sͫ|ݖp$t(3֯媪o8" '9!//zkXl`M=D#KDŽShWp'dڤ?[ ۓCZyB)/Mv?ہ,PF HVR?~NWjNU$K CGCd8O ]/CsR]r8 'DR78 G/܉"b \4XjE4DCF3 *`BO^rhɈx^i4CT[4t8qU w|:cK*<TN$}Yp (aH{+.\I.\\$gYZ7zXZִF! ]ŗXiɟ1 Us-wxUb㴠ū,o:JE3׾ދfGHаdM@j1vfZӢ9 O.7,ZVٞN4P#o= 鑕8HRTէvD`p.ڜ ]|yPGMHKHەԵ2_P0l&$ŒO_eP꒎ۂz*(ѻyd>22:ix/kZWϥ6n PR#_!+•8{KR.(gLKRI*"|8zc긮fFS}/zH@eͿzHL{xя?;͂푎Zv'nZۀkH4#&Ob*`[ȭ3v{ M;RT&Ɩ/bȋ;6T V^>rk`bRk4.#EhF:K?i'@fAOGAz&;J2H&lZՇTv%m t}8T<&G3H-]yZXZu=/>@ I$ƣYӉA  '_{\dxB2c4񻢶Rcl5%WƯo7`tpo"fvy>5JfMBpZ4Ǩ)5ז9/`2}V%ω:`MTdSfD '^6p/d5KL1d 6c;Av5K Cr1Q1\2Gf@.^9 mт.mr8(A(4P'`ozsg7Uue8O@uG~B݋:U4<<]."Bgu,, 3Ғ;s\TXL{/YċY? KJ2jLdѼ2YUVOcp뢗koUhq. .n[i·_$W7 gaϡ^I&Mb18 z49L*Dasxt4<.$vun?,od#^sY 2Uq/Ge-U" /3ZgYZ7zXZִF! 7U]ŗXi%9(PIKa0m.yĮ̸/e::~9Vǝ>o{${eՆa}(%yOK.CEꂋ{`CxG5}Z\t L|@gLOAp,kD͡Ys*YO6Y=)quD/}%,6~eXоo~Ӓ՗ĞgA&YB۵UG"Pn6YĮ0J;i~:CɆGi5, _kY5'))2:4Xڈ4+)ZjY-tzlu9y7B&R;[3ԅt *g/؎Se'{0E?X׀(!b8mmvႇ0(¨@Gw7Wݲ_7D'_u-e砻t1uuʙyxXWKdf41˯G{zۥ#Ng+$\Uxc_ve e"E+SךzɖA=%CcQ$)\/`"?@ќf4pV.E:e,hl^:9`2%PnGaoVvM+`&zuʂQoU)d28ɘ突bgc!|";xnX$,$+J&(IVCʓ{L?38|trwFnJ(t#y'Aִ e\(݋|},10QF{B it[d2g:% %A?R_&f$㒛G"Fk6+B'[^5eS3 :p= ڨR*j.z%S 1n~rX 9<7dg}KmAaV Ha_{%XOӫlI{aZb#,mٷLe' 5νaT>ϒC`9[[za5GXg.?lVLK9lXjnGMA[TŊݘwLH_,1~z;dəVGrg뷵|p>u }؁G0E;n D(FQ2bo`'8LsnkڮQԦnJ? awk(_EBeaE3wLc[rY5{eԘ]4qF]f:m4M2ĠnFvևyҏI+p쟼 CD3`x\R:i)H\R@Q}t"sG}PӴUDqM:IfXa&,1n"iys͔,zB[tDρ8 (?KWcOCG(66c@T /4c܌jҿ#6& Y`#,S,&aIM\v&GuBxZ8JhؚI5N?234Z>UDu%st}]Ӌ Sӫ( 0:H&w+Ӏ$A+ge l_QÙr:5 USBL':wYٛYP0~) 妙}z1~;O(Mó環ȍB3[a%c9'-kqKh>+8o웜Z7JŁnPR !|V4>iсhJBU!|(o6uO:CnCCs])5X"V^~tݷ˝,ᨈhBnwusu'U]eV>s tJ0U!Oh8 :(+*M7 ~č|[0KH^vqu΂& E2ʏ I _1#8Cvmg q~Adz,X]ҊŠRYR~@( ێPɸsɕ bFdv\ҡDM"ml4 V< sɺ߀RQݎLݴ:'iۮУ6 ) {fo˃4"{,-7N:&r px*aiu-6 qkn=i3Aė,52JХ$:fQֳΦ_s#˅wRR4 F΍HHxp"Ӳ|_J2ѷ&V<Ը'oǼnke˨XԱO *C9EA_:qyȘۏM3XbgI'|9@:Ax|zzҙ)L*jͶQ)Z,9~QAʞ챧.1Î8rLpUMU1x'?y?v~ u媆 |=ǫ80mvSZk^N5^xsPSi <%DhP7XʢGp_/z !xCn0Cs2?ߺa6w@yrB}| }3crc'3TωΉbN Whp_Ga1b߶Zbۻj!q,o=(DN?o1ff:\x_4tZ9 مW/ ;ft` -TYB 7]IW8mD3vPӟHkY:SgL it9j,'Nx#lA=C9eetZqI`|>F`+&(_-3?`0 %SG]P#?ʱ@y.wq;>ijCQVP*YN07^ajtgTlhli,'%4Fk) 9,O:\h;%D|Z4vO8U@ĐQa\{a]{1L/`t?vmRnܕʓ nب܏^p~q3Ӆ~Q,*6v~ j]B(=<5 ȞujAίҳr8 w5j22jaP~6Uk.L%vSoQ"x,^%B!_m@=;;ZCwZҭJ0dwQQ`S3CtC` /{oRX-3ȔH=Y_J^g_%u@AOޟ{# _G=xc=oD(_%8<'TYm܊G0/. Etp3[ԇP=|oO sJvZzƤ"='qPg ~ihj?Lwm+Z(pbL7_$o )Є$@y0x17+DvpҴ}'pC0O6JgK:(/R섗g^D80l[C NS9w߮bg9~V ok2?9+QV1L[]zĥ4_K-6(ސ%)z\a;!iJ\6!<58T>9QWRQj.F|w]+mksmG/|*? ][rӖ5!.5'T+tTq u}xsAGM\hPOߜI~!UEs^_7yǧNFh׬w ۓhPoMUZz9x&V@s5y/&r*1dn$`_)#™oj0ILhbzsڡ6fiȓӚp@[xAo&_GezEo=DC 򚗼!-8| A)&z2'*a.2 nVXNbf" N~pvG $9wA1O,tzlf`_Ugߧ}Y%HWQX:Oqu՚>8:bvvp93d8+]тy댵 0|=?LD ^l*\`j% ZU!,TDmu ,1vPLQ'R%-wu.cZ!,h~䴆};qp)щ&7ēt3]')Fv?h:H |i  \&*-u(/] i>  fMiE]**{F::)H|x`[TEa9*K~e c2I#I$F^(MDa ><4 P6%woHz9:WhZfW،T ʎ8[4+( HA7h/Kq9Y䉟֘w7Gv,&tH=T ޶@^tGo8?\mZQP6hQxE]aT$eob~8"}[ՠ(tf(Y3 GB$Qt\o 1<\:;f%# l \eɐ}sk[,wgTЗd(\'`<0<еAts |04<*$JgG p`re)o+dzYT])%O--fzdPu՞WX>G\ڷFЅycl(w&OVH>VkƝnT[XDf= !l 3 xV:2 Sؑ,qJb,γWڒ~舚ga:j34G8? ?wgh#'ُI (-1aXb/3/P p"Ec O<'5a|$tM:ءO?|ຝ2Z*0Hh$dhcQz`x}Dx?:\Ij *5Scu]7u|e@co%QY+3,1hL4G`݈ze:SɸVy J\VFaG'K\z1Z7Xl7O_ƐZ)m]WR)>7RS5!CcS=/EGY_eMҙvT- uWѳ>ǿ+i0]U7/NIFZm~j'[ wĸf !q*WuXabjtDH฀^kぢ :jlfRċkl|Lwf>vԐv<Aso;j餳-" \x9ZصxD$l_t4ғ}fjl`[H֔K24ashB~Ѯ*gb3 ?FjַX5iߺ@JouM58/,!!ެIcG$HV86M^Om;hD!!58UprbL68ѓ a|}w]FLVAn.*QE.(.{+tSqT|R_6Ã-8:{]q!s0B$_aLL4RR#ۢ\O(V/# wZɄ?Ő^N0$q$ 2q(o?dL඘W dFa[=&8d ʘaQ[ܙGm!*R~ I\Y rn89r`:2ݤ&$JWF~'[੔gmB|77/@B2Q*@\ӛqI"qrYHaqtKD%K=׍M>Cx2W |0$ hkz Icbχd3DSC RV`J VȓUAbC_j5&Rh8}4t U4'y r u9p.^*΍s5 `<)Rl[ vٗi}eutag{vZ}-"OAH+M KÙč+L_dO G2?n@Zk(I3%Zj(*FIl=up5Bp!-xaͨM X3z;Ll|mNG^HIM!t|!$$K~ 봗/w:7c!vCjR='jY7^yrOcrث!['# o8R4W 6h #ni)_7vbFL#(&s-Zs ]G٦5Iʝ[Jm1{q(^i0C`>1<\ c"AĖt/P-Dןl]h/'x.zd[&S?vB  s"ya+0u7o9P"yC?C&,e A֙"?8Pd?cxWY1e;)RmJ;ۙ zhtS a\Jzt pQ7FS-ϔ{QBۮ ,hydJ*'eN:cZ)UF.YwjL Lh +=%uVjcI*Aw[Y S +`߼l% o5z>4ů ,;L@v7?D+N`+nhjoxu4`Hw a,Ą@b*rكnݠۉ4^#9V"N<ۺ4%9oBTVR%TH}ۉ4Bů^};Ez"NK+_U,[QB‰w7п 7{=>DA0ג|!2At\wg[u/e|iK-ڲ!,AnA6]K)J:U?58; 1 =XO(w^8 ;o} Ab}Ŷk QyeG9qUmly=mTȳӞX< YKy1bۉGtÍnVdߥ{X16#-`_h@%;C=@sFNU-,RY2˥T@b`7%jAElJt FO/lJLJ<)ލv5v孈-M;|?3AiZ.?1Ǝ$B+]@jxHV86Ocǖ9SͯU$:rWMԯH ]911>&Gk7/+@׾x"u.;ATeʲ6Yj(ml]6ʹhFҜZm8rW.-濾lwkAf繨򣰂p)`U%F.rM[Xk@'!$tŒ={ODEɯT=#"\?\sq%ʉ۔96IGA%?8ZOx$M,i6E01M>e}?Qg X85@XK9]vǎ;5+HqGK;K8d-B C^P-ZzRv2Z'e/8g)(=Rm|=v[Ztwjͺ@2H@qY0Yffq3|3 A^n5[lbDk Y٨ 1Bʧ"F'V.I>_Z\^$prk:uI/LPfXL1U;xQ;EVBVװOhymU =+ѰM$6Cy@l_Rmu?p?/6dWEKGdnrL=qf0yܑ5얱OA!u FWmv,(PCIY/t0we:(ANW0Cpzv d 7yxGӺ:$t' :r Z+%fSxĐ=HQ ` ʵ[W|RSf u-tpLar> |UZk6fhVIo)ԼMp"C[Qo3I=/Eђsva'IS5+mt܅gz@;s)%ڜ)7DXe׼Fi#x $kD2rG$b2Q9m'-QȜ`2:َgЯCYr řj봄v!~sM]L4ˋbHm8 >ۣ$9?W X %%d>zD ~Mc TSt ^VCɵT]j}XV!am 8u8G61Nk/eG.T?\3j&mbxExJRYQ:f 7ֹof.5zkb55׮|9\[xT˴  &dJ9 GLUhtr/U1yqE!6Ni͎z(b< 2t1uhsqjZեjm˽Ӆ" T-$1Q}} ƢŷB4IN5w XnXN٣('PQVHhɖUP@S 6arqi]*ʌHk]-q0 놠U[P4` >LJ ΝyGƢ*Ƶ|wVb.Gf{j6a[1u_w6t e׃.8)K^7!5/*ȮH^C9hV]V)/&t+CR&|Eb̲gGCe#Tg~"8}e-:1;©ӔPd4i+3\ n+d֙ nhXҷmCׇVIʒT8O=X/Ɂ4P'hCt}ח&ϋ 3 JV(\?|õ>ƷjQgЌ+[ 5kuhi9}%<}Ҵ`+I>p#σz LM;Sum,`FEm9NGAWZ Ba(&Vᨦ#Cvb [/}p69AK&[ QbTӉDWA 4)MgcoCPg䞋B,cp~2c51 nBCv"f:tV\HX#AכݪKf!Z*{BbɬF5ude'!M698婸tP9<˄YB7Ϊ0\mZO4) PD@L*sWTr"TzkrUЛ ĉ¥Gـ;p`)ө$wx}P:#yǕ|z[ `|0d5) $ ]4UU/fܟnڢm d)SϨgl'E(wzօˮ$+"M>`s +OΙ5eW&D袺,XSL&Q%DG_ Xύ&S2!D\#W3k=*z|:]=9n,GQԝ) B_W7Dc-$E!= |TbDOXH~H]@?y';e!sxŒgi+%jMO /VG+Hj Ϭ!bJs fbNcuM3[L|sD1$(2p`Tts5F 3kT7\t)]6Wo a m2x3,`bG !TS^B֞f&:[ۘqAe q#EDpMcOjJ"`6U> ;T֎* #[8^+=}(~zoW%ؑ)Iɐ uڗ5IwNo0)&L"F6l~>Sz1 l/+rDBS(h?y!G:G A0` g42nHIO:ĀdеEo=[CIXlvCW[Q?kGC)bBײjk8pXaSoOU}ӈw_ 3#2$Nd@ ~`,~(7iZp ,}qn`jCarA_ 3L9;N ގZP-\i *-ޚeT' v^DFC&f)ffQ$,ryZ GYsDU$E32"1CM1c칧Qs&+p%A]w ?sEZ9`Q 3Pw[(:ҭSQ]1.:EmU(MZ<̺ 򯉩 |$ L BI %PV*[tUYkԸCb@<"jtzu34}5n| E _76t M,˜ {pkvMYD7.=+y;D<猝"f'NTs2CEred!5HNKmF2*~& $+FROKgF5$BK"5j#v{N-/b5Ǭ! N$ M DKā : mBȈXNX;H]LB}^bڛoB갇߿j:D [WE:\܌hw8ĕ4,,B|wGh0Ǩקj)sgn+- RJ*G[tf%q>Vz7DA{;x-H:ߢ|*\pCc}AM}UHuˤSnZ6Mb͕BJ]#%Do||2lctSY2,5vu F4n)>t%l M"nܗgtr5(Э%\1PپETru]H#TEQ}g_y f2I-`ǽ,?i > D Q,s_t-Xbg}k59(5yBfem&#vllX?_'<Kҷ~ܤxY _k8u=sl> O t E@b'M<VWvB,uz+XvӚ¤֟ѯIN#[YVNu)>[(79t*ۮR>CW0Y `:p{.^'Cp`1>-ⳌF'Gٛ2.kojkO!-Z[,J.͊ Ԩߩ#hԱ^# mZ5s}aAqbץ /^kk;\$ Z !ߐq`j=S0dqCQr<} t?m=:ZS!ucݤPcV-I7; ]SG?v+"TVwN?2;SY$QhҢ=Nle??s}D)0YOsGkv5MUف2#kTtsOo&$1*Yp;̖,׎Ac͓?2gPiHśh^;:mEWϺ۔2_),]\U' 4Txl \Rs{Q܃2@hvVxY Sq/W~$ybNspl'| s_ VL')AZ藼(QXzFUd{d b7F֝9˨Z;>B}z\ қ> 3b>'(1ZG I^Ŋ!Y'+X|Xi}&H[)p~@-2(>y^9 SXMtrKfW:|G"`V٤N`d8D-~#VKve@5ES:ưpfY?dT!=:j[.!9@Z)olBRTkG(4PcƤk,pfק"xP֯WVڌx`ƈ'5]eu,J@㨸s}4ue '\8N((m~)"RQLc+y:Zf6%?ǹ`ne~H5q(ERԝL:"aBgx, kj&Eq2])EFi`줼%?&-'ٵ۶6\n&b{4h1 @(b-7G&( hJr#j,f6xf z䵎nMG:L 'ʓJDiRߌlԢ!)ot|hCG/bHY zFHJ2yv8P(bI^$T;}mp2Y:f4zye"i&6|(Yߢ6= oțI3^MV8.߁ýZvmu:K/޿d[t^ʑ/3!/]0?`I6BO#>֋[ XdP Z1.HFv>ljȭ{GUb/jQ>$:V+3\W*S}(ux쯞NQgI;ЏT+0Gүy7-*~݀qzU \<;7I c*lN]ۿӅӛ)7>U]ir[/Q؉xpՖ+nt[ܫY)TCPX'E`70s#gX|OWjx~4ej 1_CK,κy9=$EJq> \HIl{prۋ{SM~;UޡM=l9lh0 ׮q_ YgvH@{,b!u]{ԃ:ou^J影s:,]@~!/y%D]=FY۵ tku}}v!= /!|6V!T2/lq&NE)t=*o[ˁSiVLOrOEH'E~އ5Q8OICPÓI{yaM>`>U;{4&12=Ǧ GG({>_sg\c?Y cwS,R% ,Rp+2t^0'sM8Y CAꁧ'AP׮,e:jx.KU ~~kP*Y РƑ|億nh{6c,aMݲYp8\QK^5Ag2<0y,HP! K>[+!_ݡok $i?tvQب̈VWf9.^Tn%8l/f^܋3S|EQׂ|XR̳ =Z痾Ɗ]\h)qM~gO j3P&{m@!XsiRT2?C*,+^Ϣ~}. RY:o+K\-BkO1˵(2h|[;f*~= *bTaW&WD7m8&%vvڛck94<@`J1~L8e(u9x}U˛=t+MKeqsaքzcMkSu7&հxtvƮ;"+tS`@ nd+ ?/,`m ޷hVjhnRT(z^R^_X˜j}LfסTmI?*MeS.SkHrP =k5`xFWެzjb W2FAvP-,M\OhU)獛#EU1kE(W$t>Q s;6ss;xS]0<3Qln*# mwĤlҿp9 hd}BІ%3 ?G9xmV\p{JDO-,y4D*fѵ+6Z P ȑpdc$/s-hd’xEd5$<mZ^D^QM! ߷8ӏ?7anѡn2H6K#ģ~A+C[iq4ƳL#jAS+8G}KA(#H썮gѼR_<@>7OW^% _T/%vҙ~H fD۱n)o5w<Jp:I u[_@XukVF Qy^W׽0Hr:ej,E0'Ă lf(?&15GyB6 9m!37Į:/B7zi; ddxķeӮx!rVM=&|DYn@u`4n*el"XKV%׮}l>ݔ0SiyRٺgՔEVԪN  HBb9aqXeesHZ]bo VyRCm X!X-SNa5p%ɉ2 8%}Ō̰Xr8Ok){em6y# gs85!{`WDc D,.Mo 1n2mdщ 5O;iCFcd%wv VRuSL ə/W OU:0@qa%.{&⋻\\dv'/yyogq::}͍ޓ[Eb1b9(I N뽩^p#F=_=x\Tbn0}dBe~`s &H+T 3{ 5̖ (-JvM-l;46fՐ=hIai(gbzv>c4#CFpXӳ`1Ad47:9;`cx*dQx1_!lP 3.U>b`LSI<\A{x_l#X-M jq} 蠁UBc882aPc1=xESϜ dUԸʋM>]/ӬNF?`kC;F8j^l<~5`*lrj^̾t3PpL32 fVpѻ$UVh .+ #Rih~Y6 0,q#3ԳUͨb=AHyP d?cUTш 7.<5ah>~8 W*E^Irl|p#%c]ctjGnOR#-\`ܻ=>鼐lCf6ΠLAQ1cP|71VJkGt]W XFP}aZtDS4B*,E 8ث?csM2M+ԤUdZK| ]PF=. Bd)c}YG?J6 W"K:Do-@tٟ~hr3zSPJz T/1TI?IˁhgACo Ȏ^р̜4P&㻯XzLxyŁs&<\RbM}YT)w‰&xG;6k}p%Bqb]P W(Ԍ*!k2P[gsI6kwL LKr2陠lQo'm~U|z:Ȭ y.cpvl]D]Ð%QĨNXmz >fH@ZrF3<#^ogOf yg!9`5Vꫩ:R!u©pyyP=:+%d Ѓ4n2k ).m,ZuZ\/^k+@OE K[XH @u}/iX\ %a;z"qL֦}m;[ͥ(Y Y (Qvaqi–(ϧ 7'3!y|erjv0/pi稾3w?\qF=փ-ܢ`mLS0QsCV=mtR^_,V@Fsژ-Y>.; jmp]u~oe9D뷀ܮq׷| Ջal:F1'ǻx+EzM޿5YSG&-̝w\z &9v^͸ j8mp@oDu/cʃ*OMn}Ժ*ԟxtu1ުB,EAW": Ǥklr,X4%">u:iNjy؆pf徳D5E: l6uqՎ75Xx лjk ^mfqE"_u|7NGe9MO2"MC/]\^o%@ |H-9aG-Z 9DTM%JޑF&ewaSWREDu6-yi<"0#FbSFfdԁdZLŲ l *f|7~FgqJn7:͘N^љV[]$G"~kl~ԙr=ÌQue%*j2FWO/ZgFsP+;mj!4O55uI@ ̥͹[BE 0AQ҄~P4fU3,"Ul⇄Ǩb\WbRhztPX.Qu7 wFˇ >q3gyHm֊::(@E&p88CqͲbע;֮0g P4UƥikI}5}Hf&|:D_ 3O\d@.|o0%Nn\{f1rJBVfk$hξ#>>,N.މNaGAQJMeK .C-R:P{KԣlJmuL2$,X$jÀfG=A.o$Y-P12큧'P]?~YYEEd:zҜD+\̊810|M[3r72E% V׫$qtgYZ1fa69197246fe91a1088e679127733d5f7d3e821f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd 591030b2674ed948cabbf98d0f295c5c5325f7ad 488d73c1594763656950daa65bfd5bbed585150e