SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 W5t\ ; HOL-Nominal-Examples:threads=6elapsed=365.368cpu=1370.172gc=121.508factor=3.757zXZִF! "z4]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&kM5癔TzkD8;ZR BL[h|+FL '0}K&_xZVP2? > `Lq{$vkM,3?|xQF-80WF4;<*hTme - OѺ=nE]ϓ0DEaVkhf@6`j‘RB%פTj=(q?7dz+TwQ6' Ks³ b$34}83lR[$k;R3/wMrIKoQsܓfٲ*ƍ)#ֆn;#P.ˠdzRn38(n6D^rPN.)yReq?KHp(~~mt,. dZ. V.vTJঞR*q́ ' (d>6u3pV-B\#酧{ Op1<dy221VE:BoK9ʎ o%S0RI x)VcZA2o2LsSZb*ZooQ% 5 HOL-Nominal-Examples"| ,<f dψ>4Q5Ly3߃{Th?t!q,-\ Մ^Gy9]N ,9|3T80 . y!>)*68N zNĤW:nȆ)Ʌ؍d'$XH~^jSU:KC:BXٮ>[5ǜM~fZ8U2yjntb&m^ vg 9E;S pʨ!JX8G*%JD^AL<<-7?HXu8Ӹ7ܚ3#QӿT+y9#w}eۆVRVhSY`^E_Ͱ$ZH*B^}o i.ڎlz ;q+l PޯG,z4*bJMdz3`̢f2w=˷gSfv63?,]A3I ,/P;J0D+ա϶ӥaA T\O} 30NE&8PcUQ۪îx/rDTCmJ;'&-#ԖeF'd>Q*N/d!dR@b2^{qȅ1 / SM&&1B]wVQorw*|AyW)=EU9[˓tX8i.+{h3:=ȹ$*@̀U$YhԛKإ@;؇Qvq .t2 DLͮ +jn œoВp)V *JŴ3tzu |[L6|ҁs v;cj0nx vmTA6i!~`!'& `fr<8ԁAqy C?NaMєjd]Ǯ\b'4#4Ӻ1W٨׽m<'Ғ5B(օ~x Uu0:7z-pqچ|ofԒGt=PXq=M6:7fR;.Kl 4Iv@d ZH(UFR]uD7#; 841IMo0n$BـŻ'WP\HJ>Uo6)0_oA zJCl~=c'ΠۈSkݮ1{&9 qgyMM4ʍ j%Mu/'2o;X27A&!YhOW\hV![ˢHg{9o3oz7\$;* ķ:VfuŎ`-ۓŜp(\9x0Ez)>ͫ2*6+ʌ.[faBFIJ 3 4 LEmް[@{W;+ DG, U#ҏ6!wwWNyѸÂӰ|t?͸Ёҙ8udR/[Jzb+N ̾ܝ1ctx=f^F6KY{p9=m5V#%OomIZ{=v(UT Љ}(#Nm> zfp_iads"3ਅࠄN*wG⵽"Hs#R~t<6q=뺧4}V2O9uOofƓࡐlAN Yڼd,n|2u Ol)sDz$D=>VJEk~1{d.SZ )J?a[R%ojb ŅW݆,xҦdloyݞjB~hSoM#t.'4Є=qvfb5u1Ce}D8V+&+BFӅELC_a4\w/03o^x_B\((#QwrYK/a{CYYEfО V(HŬGnOp'p@kŒ%CAq+kLzT ;oTm>sRJ.99mp|ҲܼPwch##O= =0\Tޔ UBV\5Ř頶vݪ8]]t9a6zn+5)=x~)ӛE'7sV ҃HA.wƎV]RaV6Ezp"I|lGkwX V"uxa`AHgX}Cj VHmgy f{}Ex~PSQ}8tmjX8te{SIt4LM>Y2 ,<8Il=* /ϤjT% MWV(໊?'y7G >Eewۂ5+o>X;8} A$F'YZ0m>KT,I:e6 fh}xIFv<$#u'H@⢈y ߝ21̰Zw-uG[zjå4XMrT(e-Ekv\~Cu!M%fʅy7 ~.jѴ3#~?f;PzC 1'w[VN9im+غHU̻\yK֕}HaZ gD$p>1a$@=ƴ WDэ~*b7m~d|ta׏ZB=CR鵠 Sǡ=,)}ǧŶk]ދUj6̅ [Uz*ˉ${0HĊݒws*j>] Hcxs`0M ?TΑ1- }Bi,ai\uaOxNU3GN|B7m )k O|; u03ge!i }Ul*rD-"\%O3dا4Uu`kD6_7:Ui֌R1ix=SUQyMB,Q9'O[B.VQyW#*~;6PL8ȍ7%TvZ;C'"R^PȽfc`a%#))잕VcT.q62~`}ӭ'rJ'XG.L1{+`}Ȱ27 */YX dgBhJ^ c]P@ /1~ogO:6a >[E۽A'Zn #Ϭ,$;v8^_9t6$~Ʉ;ygHD9:GczOSc5xt{Z_bq"A6ԃPqc:ZPu9PExj^%CPkbvesI=hyYTR:%wy ciG U9Dd#L~ c ($%Ѻc1@)J7`I>D$k*ʇisߐ3[JHO) :jК7Dv"oR0t91ߣ咲|nM7B5fUXR߿|cnxå23r9)l9?bjm})Ev Yibjͯy3!@=0Wn*N[OmFT}koQ IgTw>)9Ba|˽^HSGBOۇ Š-nꌅYZmW&߀kʚ})fe y)5"B@p㡭CEDŽ!y)G>IɾBh +/e\h_t;ОK0l-ރf/!:*a ܤF` " PtCzkfU[;5 cA*B$#Z>VARG]=!uKia @VH_j]WpSgƩ;ex@!5JOQy mc0p?2etD Ƅ *rdLم;W"Ӓ`|f9Ğ6{]--B.1Bx%FL%F7:[iط*٨pbͨtX*B2D'"QWlcPbLw>7 Gxuy/[p,.2/H2+<|ɺhL;łj7r-Slh+D^-B4B6"~O؉doD4(_F۳W@˷ U7jC:otQ!/h3zׅ}`$_Nm@AWmaYswwPyaBp qMWhSdOL^3SP2YŊlq4费HaitY]E2 @~ֈa܇i\&MQ1r3pu4 XFnb\1ݥJx3&b_xھPN^A7-ΠFW1wxӚ"AO_a ƅ + Պj>*D +2NTdyj ތKXZJ&;VSO> qPX͒'[I(&tъ\Ce'=[H[9RSϷXOǙit$Ϣv1# N(zbw?yLJ C\MO SBk|B_OoOy w[gJѯ9_ՐfVM!ڵЖA4S.8/eJgק:Du? VU`YNRͫT%8|#:&mhnEvfY7q.꫙3K<ɞK=E)|tqj0)8 ;S0"^ KQUbX[Y=*&q̣G<@+K%"$Y]>p7.{S%;2:ܥnئVUF!ZfΥZtiA6[Ho 2|B6:-%-q8pYۃ`)rh&Raɵ9|axolf쩴b;V,=tqe /W>-j4gI'wB^\ *ݾ2S<".pGnDJ%6M@tS>В ;1/ϗc,:Eh+RmnLH5 ʒZls5YE74LOTL}mǦQID][ͱ! h,E:VZCu٦mI'NƝIiBOMxC͞_9; zC&즗 1tr}9A 4W;$j2'Fz,QZ 󔖟32_RVvIʂLϙ}SFxR> {ǵ, .DJGx_fG>"=f|$-oZIb"sOs*U r2`vU?«ͳ[~jrFb=UH>cD<4 Y&l9g$Ne940\~x\PL1uj_,VJϠmܗZwO`m2!ENlY)$OPzzzSFh8 A <,zq+$|4f(-;F5 ^qqcZ&7#cI ^beM,1yX Des|lL\# [IO㙛#9 k(~|Pac `*H\|hf88NjECאQe2_~nRg6ۦ̜Zpg(fd* ms>GU_ fAkI|-LύqE-iˡ/tf9Q=ήxI$P'9:.Өꉫ<'.ϡV.%bFȎsKyoQ6rhL)zM [y_<T="d dh1@5Egzy?ubtty6IVx׵ͳ6Qj>9'=.-~|5kFC/𧣎`;$:xsh268(b9_5 SP_>^oZ1TA>uES2P3}ņ D=({*Y񮯲q`3j#JfBBQBNд"nb8{p 8WnJ4jcQzC`eA^8s_j&m8謵5ow,=dZ&aʠ9} 6y] z5֌'9BZ)4iqc'd⻺Su$Yh.@$|)T{m!e^\ аEz%9#Zu)F*C%H s8H #ýyIv4/PuggpM Gtx"Gvlt\M L7>*1H#9V|\_9 ! qyZ-EU۰`79x~רe^Cٿ'?h$e5wY?H=2ݓHv]O,"L?(~/n7x >^;m w{xCWRaUJvR 4sɫ7mݘKXexRR+ mLDY5+95g+oL%膅x2l/wA;WI$+Sӊ}n@,Z42 '>D%_軲ήa:$ wmfw+HԢx)$ccl)i23XZo/6 zLnP53@;f]IŵSRȇ-҈<M4i'Y~ M~D*b9]Τ!?e,o9gdUxO1Bl2|6O ƠdV#8Cilu0,hd+7$Z67 P4֔B[/'fI,'r4ߐ<[x)f/KcEN+)YA.Q9/͝bX>k Uk0I'|WꈿȔOX X[́;v+7̱$Q0i |~b,M&qD맏8YAi>yoݮ͖`\Y0b?:fdfxzns`)϶3`8MQڒoy]xiod`aيVBO8e޹p_|c$m\cb!L@Ͳ({FeDבA Q]oA"nhްp3$oY##m_TX8nuj kgvͮ^+@Zz^#wc/Yw7_ DWR{?'l<`hTʐS ʲ vrpSO@ La4ùKih y^q@nmo~A;?X#T S 15[.c>n3ȋTBb_>7&@EHoϿ6WH:O!9៖o/u*(w'%ެ̔ Ÿ75N)O=>نZhe MEtf1 JUTMRQ0Q$׍ޝ>Qg-I@2m FsQA P`JI*߈pkNJ욞-?uu};6 s*ĔUZƖ\KGX$dJ6񓊄ȵWgbc߮sadQL]+hj ds.%<#ԊkRAPp,{ ~m|ڎ|)K3=`}D'|ؼ? f D(M1[q^?Va2yɁrQϩ7 h9Gg=2%" 1?y±._ɡLDГ|} 7hlBr0r :LY,JEDG^R,LjLquAo jIrDhdY *2'MDk Ԏ( N6)XH}Z*Np J)3"<5DT%*n zQ%7Rϥh BgV ieX;s6Z N#4GC^1* #{%LH~/@(۝^A|O} aCz˿o"WݡW|qYΫSD  z?\|JXa)xh<Քlb{}D'ʗnS>a?Wy&~)RAXƻhM \}x xKff)Oڪ3{T2Jet?PiWƳQ"`?w0UO*|"EēEv1d8023F 33 `4~C"vl[x(j_c*ocp,xRpv/aD #iMDiݪ[ϜIͶg-k\Q#mw zq)q XO T,$CkcNNl(\V=JAILKI]-_;NO!d?{ڎedb3&l(^ mI`D^ÅK4z.MO>*g"nmY O6/壆"z5!:aA[T#P73 }a^,)vS_QwtuL晸1ay"f CF ً8 c=tv `OP6̔8C}3^zPqL6[@ )yB9^$,V%Y{20/LKuUle);Bm-Jp';(ѐ?J&p Nbci0jWm/)]I16\sԕ?&_N0t)"-*D8˪!ŨiM Z.(?o(Zq"'T΋դ]ݬ!FҘġ JĴ(NqPul:qm΄frLksp+dP?kC/:ƙMk8F#.@YNaIqMxZc=W4fz {Ikg`{W&EKlD*ֶ+EDJj~*Q͈YmJ^R%}(xC~bBʟ6v%RpD`& ;]n[JPr%9-C,oKkש :"@g?Ws|r&,Q4+^~!\/+ߘF T|eʫ#ks?t2m.b@I#bN3AWXf}AғC. "+i[څ {wR)qlc,hqVyϘ \|x,VByk/r! B.PP\kܞn}%w ^TM:ɚ`{8Z<0H(; yj[;r_߽uWz!"&d S[ag'p5TgX7X렖85*O<{' +^&u~s% ,*Sٌp-e~|7Wf= 1cqC'Y/Zn2srmQć'B۾^\Go@ӤO1&R"1Ml۱A?w0^Rz5iFA΀_|s@GP:#Bz>C LzNܺ#}kCcؓga5t"큳scQ [9μ"v?Ų:/{:ȼQ,P7 8l mOӥl9USSC qG/ҋ#n07z4_hoRdTV "paܛdf!dY 3Y>pHs=@Ueݟ <^q,䕩-*^Igk8%h[)2oK0alͫYGaGӶ;ìrX7c> &oiptJtbV<3ZoE6[̡Bxr[4;3B?pn3_57] ?1;nW˰Zɋ掍>`1a2='%킪S Yҹ3,|0Kt+w3|%yF/{"zg?+l-Y^AklKǟaChGuUJP1"ZQ-yޜyOO!gHarJd^]2cLd _t4A[d"$\ 4핀BVaUo ,ew2DhtScrҩuFoolq0eM}(;)xy?}&nCzZ2+3KPS} הŽduU`]؂IP\QT$'J9(A846&f/㶓?q&~4cbY@AQ`$\ǒ.]r0ݴ[Q '1إC`-E]$\ugB=a?wh/n\tSA1C V驊Ѧlʕ3)s:vi2cΤz/q 1T|**&I$ßicn>;m#[,I Eg# Qo8fCVkߟ:=,)U srDp ̤2@_&ޱ_FHv ,uKFiun[Sۓ-ddn" lX1\, RKE -AҊ=OT-Q!8$[-MA|:v;K `9]v[ !3A-Vrg{KfaZ0[!iV, '{Lȑ2swT"3#ul avбDG*-PעVD/h(6drRayTӤaó ]޾sVTB(oF0:VcW*4;Ɏe6[rA9U? ƽxBB_ N 쨇#JWɇn#&D=O7ʙ'KRATJsO[8j|H ^yCKDl Xֆկ+:R=c:?n Hi]>9,,&+_!LQ9Lʝ"z iDkBm5J량W-F _Ζ"ǎ|G9[4\nhƸT6[\$"I5Hd%l(+q~&촦C قȃ1Hq&ᠾ6UGL?PeZaIO,$=4Cހ4ċEA*"A,-~H#}"pijyP˞Hz` \it1\rBG&78eYSBv.ejVygA@qD &Tc`|AB.dpPe/웞ђ`^ӱ郦Ywok#P7&cY1o˜Ѳ3pf@Qu.S &=EY P,ui+aU+ru2Š8ٮ*^o0` wC36STdlYJC%M=a1VDq !QQa5jP:- OIDI pvnc$a>g.XL9gEF@p|Sd7s*y?SH>Xeb0 6H͘g}TO* z+.b:Q3_CZ==ژl4D,;`SZ9'v5UΙe]L|oYrrXB*vlfڎR]($RdpV[o]`>=1J(2³2)itRjeeLq B+S}lchkyR]Ԑ J՟Snkf|b|S3%пB7rU 1&V9e3Θ]+bR'W!փy. PzjEWD.c:Jڢ%i+HBڵUQ> [Dy4)5BK#5g4}a$s=$j^qlV%* V}=$؋]s3j|x%`"p4r~3b9+[ 6D̈MNʸ}\to/& ϊi33v \VFH bUv}06rg{#>BR)Fޙϙr:$ڜ*6联7}2AC[.9-:4'1I*ΩgdXb0(ƔJ47ǵ~-Pۧ?-#ҋLX_PuU[D%ǫIL@!`PD+_uPtJ1A2AIAؑE#gCٴ"Bx#᷿P{kGe:۬mԗ!Q 3D0# FԜQ[GqDZoʰ{Xc=Coao鰫 xү]748YI?c靪=v26OEۄHϋ՟y^gQ^BEWZ|tjcX(G[Yo2 lǶx RDr4V~[j Vs]˗n& #jpY~֕;Gq gcRs[o.E7d IS=P2B'-nGY9^ `Y/\yJߘ6$N4R=[#=*}ͼ'?ݍ!BI־# -jO&8"0z$Ӥ]Nܑ3`Ֆ3Igw&FH îYlNbf#Z_T@?:.c'fY#pA-+z\|p/cb^)hT>@l)'dWg3p_| Prb |"$_gD{ apD]}u'xuLcֳIj1lvF%5 VnK E^F{ߩ@$_#Hx>Xѫ\Ā1zqa3,'TX%+`t2UW#}Q w /߶JԞ|d?S(>=Tz L4bE/ pC;]1'׽˂l= B^ 3j «O: R}Z%kAH&~KĴ)Cbm8 !!;qQfݣfNfC+4ABtilLzj[43LNwкzK*~8S~=y5(p`ܑ&i@ j$ ᛋVgd3-7wռ [DE^BxtoP®q64@-c4p'L<-&Hˇޏ" ƫ5Mbn )DSUAUR-igQH!Zo0H qrq,%)L״P Tdw:73Ϟ׿vcM\>5g9Yq3+?9'ᤆ<=Ҝh=&*1@% P~sQTF]V>}we~*Fnvr$[(!sްnd U`)5tCJLVFيG5 AiK]8D K۵xJuf܀+}SY j r {cqKfu˿ZTj-JqZϻ^+v郗E._%: {<;/c2$tcI NƊ]w{ MWYҒ?o($Z>&OT9hhMN-ZTlJiQMy9VLN9%YD*_!Bf4ޥ$ʌʈ`ݳC}F|ia^*ۼ- T|ٿX~yVAk2 J9֞mdsF J!XLAQ^wǾdVǬ+UY%(-?r*P8cp\@+z^Y:Owkxj8SAL-c7(}g lZps+R{ȁ4J Wp/B." qAb SJ_Zy/ŚAQW& j5w$̍,M T D 4s&Nw@ !(|FMwC1`RPm; #!١ȒuDC6y:5œlǀRxqN[i|[m54sOOqyp.v CY_X`~cBx$#nuߤ9\{q۶ϥ%TQ38SP_U!?\/J7K*r$ʢ<4{0py]~.l&O(a&XA&׍hu56 !}AئBlj3,2tJ+ =oZ;BҾ'@ vv%ꨝC^gt)Qmi͚h֟@k<¿"۴xqvٓI^Hh,?4q6Ԉ憊& <;,*'5tV߉P@5V VN!f)Y?_q .C}'`Z JF}Om|Ɔ#x/arP6j1VK߃8$t"x  J[&v\ wS_BE78tq^vtwVr˱NqO|=pVX@ߑqD\RS_ceIM"Ǧt昞 V*8NBvvԉ,a*Zj 3sN]!qA0fj9Zj?.H׃|au H}g|ċea:. 08{) {Ԗaڹ-9/pYCqA1uK3.!B;S{뒥an3߁D&W͂rƮ^^!+OY{[ _D8ilֹ V6z+]O;I1ح+[,MY!ViKtclTgL!gs/% ibphD~jS&V+nemgJop9Ըψ}..xLum 7Cn[.,B24XNdÖ埥cpa\Wac}5c.=t8v"O՟*,{djf<;*- 0@'`nYrV5(Go}9c fu2mn%,5/xɷIL%ľ`:}e|oLwؗlF}qה'g^\$Ba q=1-l'7N~al#;If;L&85CLy=*g&׏ kR0a\prwQ3A TJуjb M"<O#|Qw5FZS?tSԀyRX}EQ{e4fY9a U۸65+`Z4.dEKHwz{F%OkBYXS / D_&2-㯝kOXE٣*uނ嬞NX 4׋u(@i.:Y4+}f۔On1o1dGVRf(ʗSFYt"ݨ@V62Cu\[qi_ܒ!$f~4XKfF+yAcU<>DT-u lsҪdv> rjҾ6}la }F`DK!c pNYQ4N>_ N|qrz@[^x ~xDʃX54ˎ 7B$ FTc-,] /ů&B8Y8դA?rJh`(*6aOA}c q됷"|#'SgEZ?_Cral{RnT}mW(IZ/Pa Cbp3Gfb29C}N 27.N 4!"rFƯԈ4"mēmeJV"-½,:EYODUB13fP76D=‰ya ȽFWDo{b5/<䆷 oοOAPF҆! &~eǧh lʕS%?YB! 5 I?dkݢjQ(`=2?UvPkF1= 2+ؕЛ>Ņp$iS R_c3Ya?y/?}0d&?7O^pFp-dQ5<{`);ZN4n  ӠI;_ ?Ҍ;ڟpǜ \~«8uڟyէT21`4k1 ]Ke:Ytr9޻2W Kh'G%p) V89d;f0aZ1l:2J-(j伉>M]>I;5ar bj96(MX*j, 5gm=jAC݂s`TjK͐i~|csMKvTl8]o{qy#pC*41$qװt[&WSmHEFgUO:զ:b2C)o>bR;øJ\ŻtiLg<>E/2鴽c7Zp,N$y %LL3H*e|P7Y ZUӬr%r f͙wz4[߮MXbf>84'u깟tL;21'xi]w?̇]p%+r4\HE&tˉarJS|> @{J beRy m(1I0HOKRH8J_ !BguЩ#ֱ!C &8nYq-r2NltYqU_1b@ºY(VyCG}hN (%(A TłΚ\8gWn uFA6E\nɩw,JS*W-b J+]$(';qޖ;$B`Ы{fhq!% Y lsⴢC;ؕ]+듚'(.3`\M" ^{*Y7.fCh,xȏ.Ww \ooVA_f]-Yv.M'4-jH@ e30Юs_ϺRW J}`BjV!8" VRÈaZp2AmQZK"C K V +$] 7Y`,+ZCA#OLB2CKBMf-GY;PnBS@}p6U#DVr JI՝25 Bh>#j_{qwC@gYZ7zXZִF! }V]ŗXi% KapIU,󴸄pވ?^HmARAo*.|ŤŊ\yp (8)i"g /35/Pq 4٦w⧆O߯:27щTSA!`AŲM ;8C'=[|$'Cy֐oBasI5 x} .&WvT;X{VMpя%32eie(vV: ʐM EF]fhK4fa9e"}S)d?>FrWxKga}{stpH0G}Ыd(vd$%7t* APvq:e]ȼمiڶ`b Ja*$2kHEo')".0Ňzֲ}t.d2V`KӸaoJDd O?WOoÔjR [7'sd#bM\m/տ}f 7WB91FQzVg3?ofy1Qq1:9fG,ժ hI?6[ #[#仐QۿvZRy}'iYw "ݕI?J(Ms0̏,U*9=A6ߔƢ?$n`h)8FLA86u]|ZA52Nʡs:;DNr2WT֟ZcQׂNZZq' Xh١8c5IJfƘt+ilɜ{c/^90'⠎{%@^Ǐ &)i|]S-T݅dv],(!HbGQAW@FBŃO%(T%iӇ1m&4N; TkUeiꆇwnnz߬̈́,'SqXqtmrga!=z\TL[MG7ZjQg^9+2`l6}4MN/'եU=o%T^1—.G&#Aa068%rw0E/ ִDUFėf>s_n)ML^XWON@M&'+@GlIҙN$5&,Xue My%H5\T2g>/%S+/]?(h+xTiF])~fߜNzeJ٬2I{`17OlV 7=°9n8{^XAID.a@$Surؚt'YL/Ȃ"N1u-;]@fW-)CT1!elmN=Y gKUQ C~0zZ = ՝PRYJ0b# eR.ϾMs/-xeNG{_2)0Sxc>g'iTw!K3I 0SW2%sMͱ 6RqZ⒣s&l&SdjD\9}f]P(_;*85%Thm -׊隘e̳UKCj B>LsEK:@@LM_Vⰿ䭩w%]ݵyƎ(1Z>O]/<#@x(\Rn*+ z{h*d7*rB@3@2hh*~4\Jb બzy-EK_@'\YiL:-(sg:P~șLKj{C ̧͘hl-e2EE#@˱ͽV˄V): ʼn"Чa4onZȗ<ӎS_/X}-w"K}&7懋d).*w.MnB؉?M~3? 4j0/NewӵW"9>씣:'Y(7  ,ئwGHk5m]&BuA!_sEA9>o2 $+v;N`5uDQɿ_=IEzߙՐm' ѿz4}obM]z~5>o,V6 dZ߮3B) t#4 u[I GYGlޠ͛4Z;HHOŸBG>cv% h6i!,P%VUA8d ˑK:~Ҷm;Rd]#ð*ݘJgf`qk 4NQhbIF.jFUJ :`^MCoJqyzOGa=,N[9oiz{>슆i[tZG'ykjrXgc*L :#p,#_UO5h3wކ@O9)CtRS9>b^ +u(+?Q,UF;+S_9. ` ?lX5dΏCY<=P'v3&Pw=NaШ] ֨3#+y_;(q>fy j?{1ެ~0WI`aY瑚S;u |7[K<=,E`!f2|qOSP%}=~q3JTABN;[v\6JeQIhP$6 !B '3LOL-EBԒ%|1iyPW@ 7>DdǮMX#" mw~@ ktU3~o݊Wrd wF$VLg*@|ӹ$IαW}IwwmЅ90Cr`ǑVP5r- qi]P'ؼ$aALWx |VݗcJ`l;TV>\e) ӣFfl^3rQ։+`ڋ,sc$H&[Q~pa 1@[ ]AnGr'dIл?&q |x.S=K@p֍7\ XXvi6tiA/ȫ] Zxwl)N7vClN5S?6/<+P+@14(;xbּAҶ<7 =4`N pfd݌'&za #.9Hs\Ko%&K3@@,:T۳Pƍ Cy{{5-Is4MQO\=VLO}!6ʈwܖdiUPzRKvSc BRp,n [9g/,o{R5v$g֊gdTo4TΝ#RSb)4:x#v  nRj't> *1*W^pUP~Gl|y ,iF`4bErzŅ& uJFzF~07{Ѷd)su`C ~w|/?t_:’J@:W0Z k+mxn{/c TPܳnʱn5λ ^\4.rA ̜&g ` I;a*kJ2/I_р$YDVQ^T#I~qw/FwTŦ-sCW]4m4*1+ 2g  =;GKgg^ogo796]RC~DƏ󲓬s>%z0z$-z)~6I&Zwξ+/*}@2bS*됴i_KN)}m'+"apy[@ PTdApW13@u@WVؘ7ViqVy,|EDsO^0w6qQK^塐<d[xHXeږ)6yI"EiLNw/I`mj5?% L#"9'0=7 4猈s*4K]@6Y8o`u&8Xrp,CjS2\yuRXXf Cuf KN&tm<q)zeUBj<|꼼w cgeWjlO;#˾MV܅,!+g QhmqN ]Wcܫi_bz`ޏsx3ʘr2E?$גDٛ=M^I͏֗Iہo*> j{މFʘߙ,E+.`EF"Vw`WF6zT>#?(Gsk>hX/PHAq@H*cƵiM{{=xVkN+_/ +E"?nMpMNS:Zvez ?;y(Q%T~o|!TAzlƮ#x^䑟¯q`^ofV=Iu]_52&c*fD, g}lb/v;'Kal?Lz`;C֥(-|5-ak>.:ceEV^9o|^xj%~Qk +w⦨hK-NӸNd&zHy47".)gF^cj+aX44\o^*~@7i#[%A jXIy3':DY`ݚk$ (E<3/?bYLgOݔ H3/Ģ4] wLӠVE.ҰȌ:3v>r"@<>8<S+y;{{ o~ʃ SyM0=R9c5Fv4πcѵa S-#Qaĥ!֊Env(BXm`<$(32Ԋ6 G J`SY–4;3<8WԘh 8iIx2=,8Lkc',w)T:gaTb-D@Okh^*THK%@дld4 " GYW/ѶK)=V#,3[񦪃UQt-1jUoous[,nxhpC<8O#CvټwoߦGSEN*6Mlx1_$\:sVpbX:_ӿ|%2(Ǽgs<vnn$ F}UY>ѳٿ}' VJyerpІ1L`S3mwu%xsQkQwPğj(RVsd?L"J Sie񏹚Ð| hq G0` tEʎқ BpcnVv>$_~Mk61/^G*U 0H&ԥn (5οf{.旯)#WS(d/ r{LףЄFw;Ј!Q2߸e+˜ ZݰVyXNu_8Aؚ8M>%$+M|rʈD"-"[75n\nnS+ Όɉeq T@{{GUi.1{ec5Oܰ*8-LI3EW0yz#kE$;] )KE-t¹N{e7@χzh mKsd@6~A.Ö#qT).rPvEىB(AxNENC)78Ǫ l,|+&3&SLx:mNUU a^Ffҏ #|V@d`s/rXFT!_>霿b>Ax#|#!ف7KEw0@UcڧlEݖ2Q@Tuy D>U=E~ `=o iwg|?VtFR9r.j!Z]^+\-f}9 ,WON;QqV[l۵0fiHNLۨNDVgME#kh%OhiE숟 je'R+bk( 93/O:_A&pG*EÆ%Niˬ(FY5O 6|'qؘf:u#NW:O{fB"nr҇VdѲa$a?CLk+H,XZzĎll3&fGO d *vܛv'%SBI%RѸ0\tTV!xF$EmMipB%}p(/h|JD++idI?+k*i1@NALS;ypytB[&f򫜥7n ܹիɠl__J -J5|e7 焷 \)_r9g cLAwnc "T450]JvP̨$O 9H'ar/BxC{ҵWI셠 xx`B-xǕc H}7"@ 6ϲ<*V!xA 6m%^\%tLY+Q ٔdjz>mIty9q~7vj7 zOK(8_ܮt͆qVYŢ D*w'HJ6 e]V%iKywi2Q`O|6ג#}O pj83{ @h;]ƨ1NRąֲZ8_(D?A#w̝CK%ꡮ:s"aJS #1y>2DlxEwOߟiƲ>2}Җc Y[]138 ((+PHWdU_ 'e aD0NĮ9gM]킆:S+V4 ~P];btnԍ=CG~ !}>q2du>:oi4/0cpfsmUY(x4'Г 4~iDdu"~`"UT"aE? <RjnZ8^';&3_/:ޏQvXQJ=coՆ5TM<ȝ&9JQ!R{io+sޚ.,AcK-pqpx4N7;ڍ"HRZ!~ǫQBH<#^hr[:fK󉂀(anᚾ~;A;:i18_ÜvÄ F6SAb+ !59s{d /03iP@K_yCmL{$a9ynfcF 2E lH)Y p #,+ld&4H>Fł2-a|k|)lqg| .5{.lRJN2dؤx_qB?pF|#9wt2% z(?:L,n8wQx",: K ' m_ݣ#O 6ᅪo>c&Cךl sy -.20zpw@s}?ċ_K$9DDuI{\Z☐ c&mѭL[>H"Xqׅ ԔC8Yp[wWI11b"Na5?A:B'Oa},F5$FN##!**`*I'A7u IHkM!!>& V#Z?xJMʵ"OZc9O*ωOsd*h&jxW _hj;y}+x\}wX}8=, IC?*!"ŗ2OF$j63$7ڑ0Z}*S;^I`FRM'km 6p6)4p6))97Ib l0K|Pk-70%UB\})`$hk) >eМFC)ʿ#Ne  >ѨܥaGЛ<.(;4)yߋ5NUp6Ff3l0xP~zEk;mV|]~ 7 :mײyށj #Kn:GⅩMave2UѝGnʾSFH)+]cmz:?0xqVphM\G%Y )kj@RCz Qؚ`'@VXTh:N c\ {ৢG=:)+Y0e7tCAhCгaUn~XI}xYLrxF1Uj,y]ñIY!7+œ }咂-!)ֱh\Y" 01)F-:+I]^2 P c>=,Ů{ mi{`z m &yKH0ΛYYCaq]!-k*`met#n8rCrfem<KK5iJG~=o饥0gL2n so8E!~OCُuQWxpyX17KrWo1Fxt~3)c?7ʗJ|m~ZRc%y+W׸x=V9̢smQ{nBMl7-XENT8r:MEE):w^ cr`?u@"3yZ>|<]:m? d"<\E7ÿw+4딡T;>nQ+]+U$Cme=n$fj\#ebDȴf=>:xAcƁz|?"ʵF:Eg{IuTBL38q G\r7kebZiU3m^ ƿ~#x)^dV?aL5dk%2Jlf H߆I~+bZ*nr\.۵P>DHtWV@3qJɍdĎj/i~S 5LYN.BV AJ P|PsY+C;+rK6rU2ޘe9-)K3cg\5s5 vKAlH=otnr1χV:q/q6Bl ȍ$c'>gj2]Q>Z rbxgD./u 4B#'k14gYn6>r(.2Abeّm4;Scz⴦& yi23n(~ imcMmuc-=H%a 6ڃ 37tX^GG#ms*pU@WXَa'Q,0| !d3kM4R~)>VOY?߄')d+vy'֤_jB[81efߒXrv+QӤy=TV^|kDl$t-h]-;JbnKk,qO*sOZj(u+xAp`}`j<{>wDj }kJ3;r,(Yn(m|Tb=;VY([bgGLv*_UapiGG՗f֖%f[yӫ6hnS,xKG[Zb|0Bh1cfAM,mXL`GB8b+vH?H h UAvWX+:C MX.HPőglS7?Dꅛ7HŲl>㏶ uBԠ h sSBM@RDPj6K0Bi nHfbm02$:eƇ7GIGBypQ9eI$p- mTWtR4@(f]  cpkؤ 卷q)*ĤJˠ]{-H#BW5?tfsh cɀs憬&$ aMw./r6!i%Zΰ7ݓ p`'nWa\|QɥB9 V|L<PˣƈR 3#W*2F] Q]r_ ӄ$MRD`̀W,5#s7`6,qJA _= +~\b=Rs_Gp9N;>2 _48пqi.&M+}'hmŏ`گ[q7o-S%H(vM2j-Qˠ!MzFkNnF=[Ƣ4''Wx45ygtp { |h́KO4ܯ詬N5o84.tP ̚8IDoL%q3cRLm_@dW#Uu6Wτ!,$ۻf!W-+bf=6qPd|O)si ̀$ v`vB+£`5|2վЕmwV da[<-fBei<+B4EJ$-=)%CQN3z[kR`7mH)U&ȊMguI= $'C/?A__kx"`Vn.e3~Q]9$:urٕL{z.IIRWju6= Vi+80ލ(CJTNl{R)W@vGOY)^xt& 7`^L)0GMM:k_~{!w{n6bmHQ6+LREenLoTĈ:-kO׀ᕻZ?'Fu pt)W`1=\Laށ_aI[9f}KVvYHx8|.#LX8+}S6܂nqC\el/b1cbL>FYf=\֒G' ?W42Zވq?[5wo"FIRuAz[T`c^k[JgW1!n67S3CJvKD֖4*Ʒ,/[4 "~~ ;)v=sS5`Nî=EP1 1[ZȞOzo|XlC2iVEx A!c-ѾT>8Jhxċ.qI $;x'2mAq 17մ/9eֻS@ /S*!%P& `P Qymnɐ@qMe[ [ex$zg2kDVOQ^aqWv@ȕϊC\U) ,̬8,_k"{}`NJTSߚ)̳edkv߽d>Ȩb6@ǗjQ[huۏiw#{h3{ AK[5cֲTAe5u#E? jMJp}4TYRo;+ .Gj4E9֕h7`-i=stD`PCP)|z%aǢ c|I&.t6e,E3=lx3MӪfϠ7ӕ[TVݐ\eW\E>Pe"6oM(9ְ?nz*ȲZ5"4^~_xY}qe@T҇8lj?τp7OvK 2!_tj+akAϊk94LjWey鴣v(747S#$be轉_0ٿݖy"J(ğP* )+i߹l!1 0 k빚^j_%It@犏XV[4j?!3]=7m>Wqjd߂|1?1;PlCؗkKphί!0 pnGynT̒Hʽ yIo'DT@5rcHϾ<1‰?,s;62!0/•ᛡv)'#<ƖWN|"}b.;wT1z=N:ӈ;W)ӡ,JI۬ IZ!R^'Z&.N=6<x7a%&Q6mx?&MUU]DA}B*&\͆hQ6=p,IN3SF-ȿo`Q^ͱjԠvAe ~T j0P o&\"}*,}j^ A ڀ>eA){E"pbKa06מ71)`;-~OIhvJpR ;c4sG@]k 6/݀xwGR.gmޏ2'حGUYfCE׬|||= :vh^+G"BM?<5<Ͱ2n1Y٢v;a+cQlRgQOU' 5[:!'V\kA>۟uz lP*μcU3 @&4"׳x_U!pB&pN,O@ڿW+q9!Hؖ_/k&ylg[od*a=M3׵nx!:KcHp6aܬ\">ULӔ,3"wU3k^=c.Ң48WYjsM$;vMemB]Y +S^dɰpMb ~Yó|bp5 aF^)/P~^\9sb,ߘ]- ѨqYmc?jcts`ω1w71=M%#.^Y[UfRGVIcEk3>U4>&ئ!i 9:8UvٲRqhiK8a`+CWocyUWJU_ a֌@OЬ vJy6-FcW+M=hhڹٮ=s)npztqAE\ UQvgI#77=t&"(_QSa.ᆻ `UL~ԩy fiD5p߰3!u7Bp'5T,ш}24ڤIWhlY8ZFR0Dq׋&\+Q+I(l<{ЈZQqBOɴFuBVh>tɻ__ۘ&|8 XCNVfO6j-5Xg#嗕Ӏ?lE-d R t-_G0tZj_lN,=5qx1B^78 SucmU`  p-bmL\V1iW?0~M. ^gX8~,+g@&#W];/Ú3 aȱZ𹂐L-V0E7 ʛifqk@@,\뷤koԲU9Jb=zĐѱ'"KDK^䤸ۺZmbZ,%qsH(3VAZmn֞SJqϿ*Z1ZY>уzT/h|O)i; f隠$sa)le}9x̃w#Ee#ĉw-\xE;TZt>'[Zš @\FU?TQa dQQBl%Բ}M5&+;;݃r'}jwN*1v=[Hbd4nM3n >q]?Ăſ'׼:KZ PꝜp|Kx,'V׿*Z]Q/D C9ْLlÿwv:* 뾜Αt]^ğfQr -alA'N U |safA^!=?'N9hŊ.yP>`$)t Q׶-Թl~Td k~0oCI#; UB>O\Dil$= i  ]-*4%w[[1VFMQF~8hE!v[s08j4\񉷶Hd¥Ta";KLM^y(nq6^&[zQODur$#=?ێНyG=+jqj1#I#qiAv [^ZY3Ĩycog,80vi9м0\;~ {顲9]P)aS̛•ؘ#stiW^cs@:gB&{ sL=afp9&%ʒpPH=toV/TlZUZ%r\e~u7@=sy{_^#Yb9_OL'.u@YIU:N$2bMt)9GV; \d-HǾ[g6Xo%{a"kJ-zy_XH})RKWL%RgbX>4vhz;bp|UK'rj[㶄k2 f-5G6?d86 W_3.;"WfVgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 10eeb31d413d331227a7abb4de1dee90768c3c8d 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba5253fe70f5117b8eca926e46990b6f607629bd9c167 40f00e8f8b9fedc403f57c4c6c050c0a45b02699 b8f69988df980c9ce7af797325a324f9da94d23a