SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ^1 |dt ] HOL-Metis_Examples:threads=6elapsed=16.182cpu=67.636gc=7.456factor=4.187zXZִF! Ն]ŗXiɟd)&]hS.J}+%$WǩQj GWs^7UxZ\|F4FyٓYSc/mS~|1.qAT ƫ#nF$-_VeFV Dwt.YLRڟz`BxLhq`ݘghe_)Aݤ@no(' LMt9s|x`@3/=\ 8%\ tU2v>lw#Iٿ4G~\@L6UIS0B=-9W剺\ x 1 HOL-Metis_Examples  2.*~5LjiK67d%$f< A?0x>~H8Mo>2-eg`Es^Up|D?X!+xAxZ)4`ZWHZ 5R@n!Jb!>mͨs|c&YJF6(jfc*bL Hn-.CGRP|Fl 4ޜ+A ]|k<OxƢWB1|n2a8BH.205ĐD_0 KWWMjbnIi;6Zwr0>(.9[1S,)kpvyy܀/Դf(3Kzf/IAlv#rj6BPbYuv;w^cjMK@JUbś~|m܄ގvjx Fn42 tl,-GE®ق<{6IyzR 88ʅfvZw&ӯp`4/J$}gF!1/P˛x!Phvx,w&ڲf0I8'-wVpyICޖv;Ǐd6&GNwpj46sQ|`pP8TwQoBR.jW1=64u ^sRT+df~Qk{*Ǧ@ 4 IƮR)Mxfqqa.w ˝\V&~eKZ#g}SAJ6hY0^\ [>Ȭ_ӒK{R 9sB6_v+r%"8F-}g5{ɽk\o*kԌY2ޫPe=ox -IA#ł!X= 3r9)8D#ǟR"m\/`@C ',)J(C/9j[q:3Hj[~ؠt˂[(ocs7'eϱz3MV M\2fk'x&u)8giqڊY @] 98<.4zk HTQO!+B7M71>mz [-#zXnG)W(W(܌.)Ɨ U mtzVdHt-ZƪTO-5O'ﮏ0ikygڎt*-PF.a~aA`:ۙIhDA Qd?bd k l鞐6+-PU~c 8hyj$C4!^7LҎ?#D9Cr/uOM#lӬQsTmdQd'aW6e 2RTʂmkKLmbΠId%7aձpywM٠Jr0̒F[G;? ˪!zS\&EDN@͂3pk(2[1Yt!ĽWk:7k.Pե wx+{ Tb^ {}&5$J AE\5zJ-UeJҎ*jgN0\,PzHtDY۠V*碴{`@ pAf·"f(!Y.VYlGT1E} <@(Z+^<`@%eJA) GZ[>Ɓl.FV"mcNJ9u`;Ē#8V$thěŸ.J7t >5x4ERw`~iT2vXC2a y-[W,Tq  &J4`[HmLY9 یrʨ+ک)S;ps嬼r(} }߾Ysz%MOT%`o5%y!kέo- d/s Lid0 #U.@ij't{5W%WaCB$1x՘h^]Է?dVP |÷yݞ" ^u;ɶ@/X&lsinN}g9񪠠O$/O͏A-r(uP']^y* [v˞D6c!j)B1b{ʢ̍EZ/~2F:PK嵪#^8J?_sEr@aT4=OP+5>{W~ U&[k[{G]>UMT$;K!SpRHF=Hk,Б,t'b٨Ky}Nx٠rsND-We q9/JhhPJF$?6|6pZc]u"=A<-+]8p!fvq H1p}  |_%r=>ZQk(KL(.zë U40rDz-h_ؾk ~rg';5y*;d BJ!Д,!;`^%ؙO:Fp_Hs"!JyR0Ihah9[O46a![(R>sҧ)SNR#zLď53VV'לn_Hb`N8PF%t%穜[WKr=B`)+5޲V$Mɔͦj; kMnyh" (:JJX5+by$ZBV3UNH[{eE0襀9g>Ϳ/ҍnebQ5hc+b&9v#o\{daFvQMez/W,K߳% 2Jt@1N$T/X/\HEx3%Mve}EMƭQ{h}9ZBK I wRf4֊Ԇ*pBWq}Le>#/siLڶ2prH*u1tUQ3pmTR F!D1U:XqbPgH3GvvYqBf b{ρ78=h\Åy\GXXL%!7WFbӚ-;lb=;4O`M͙;9\iqX}.4k$e7p"ym 9M]Kz!i>T2a6eSDI1`ŬRͺ@.Y~Q `oCf yES:,dX5!X,"Skb ̾o:0G zVKd|' QA_TJ[WA,OCmyQ7h~ ܅ l2h2;@avᶊ*`W`Qdxqb&3[ ;>/ o"uU}W 9l2 k/! nI\ 63}$Eitg7Sہ.2!$&ʟp H4fO{^e:ᾗ][]> Jdh%~0&d;¬ãQnB;Ruv^P܃J*o7()30hoY7I ǵ3zwY;zbgxB_zޡV̷]IG +JZ Pd|o0+HTz3NYTgq\b.á|=3՗+21 Bŏ$Pst._UQ&XPcDldRjdDAdJ2:Ir?Rl'4dU >yVU\JAOZ WřkZJf# Nѫqv}l)dG'.IKz{&dV\RetȀkTh͔sxXiƲ&ScՃӈҼSo-UixXޱ4Han=J^O2¼@:ҷ8_@%uf{c߳gGȀ 88"gU:Z̋&ch#it/5V9^щRRP Q>gr0MY 0kpqD<^s'nb'K>(DO q`iOrE}4#oLx^jy]gWswog(UhWG偓ydI.=qlNg1̘[lvFdicjiYEƦ3ؘT#2DG>gOpϳ?jaC%=әЮGo3Svl'A Qwo-q,ΣGba+vYz $ DhԉiWFYCeˢYirBȁt-H:D9*G#x-V7*\=!uRJi(?/Ol!{>'h󛃁6=ߢ*W;03AB};#Qa5SпT :RLRw9ewqoUH;2qYp?$nJ v`n= 郀,:ko-Ʈ옖~ϻ*[_h?Di:mZFwm 75Cjшv\iˆ$`mQfrLdc~Xymr/={%eU3b= MkN} >Hݐ>؟~Y:ڗmPk/DOЁDEӽh@oM;S Ϲ3ܖx}ARpt[#TOSb9,KIݸs D2vBP3B{~U}ebtIf#z0%B)IŴu˞>l҂TH}tU(w:5];FE'అoK.(Cb6b/ZG2Z.4vX- 6uE]x!3Ĩ o| %)=V@Rp*̯1_pR3/;jI6`.&*u:Th#̟v۶u$ sej:ex{YM`G> &VBav %ތb2;O+Ps3{Hg靀)3KHD0~Ng?p1};zʷ+*:nBؘFG$FrǮGvN@C&IѢ$w.4|9gц@ݫ RfK]D"Ǫ}9+@Q#\_dt} 6$yJСnڧ '$#oW=-2_~ nG΄_9ht+ os,-bܱQy ,wLI179wz*a!rU+L +oUwɌDa5Z͎LƛX[P0d`ڼ~B4 ?nGj#)al ]lePv_xvD}$sԐC'K7/ ~aPpi^U $r5̑1te XbP*Xh"ZްPc(:92DS(l!(NZJD<-䔒2Y>j)'~&Kw((];-!_ʞ5v4$;Bm@$/8 o:S 7 P8Y:k}vZh4_a5S}Y~.lq۰uZ54"i97N[f&5g-Ɔ<>u` kB$[ <@ٙż92+Qu !b5(Fa]pdT#܍?Go IR w(geDqxuR0;ЫJy\ܚB'޵z(bH.֐\ZA]S| ;F9{+Z~,e8+Kfy2Wo<4`Fɿ4[#Rצyk?0 B3tuQrw7E{@+Tv6MA ::|% ,~ 9o=5Tbθw|8,ߺjF#&nc-G.cLqtu9 &e ^le|xOCӬ6zU}|ikrhLք"N!s*3䤢5`KV} pv,]`캁J&>Zr}%o7v_}& =.ɒڨ k$8j`9?K]$m $z [pvmz2@#N~L4YHP;90@WQlL=Ϡqxqq}F@^+vZُ^LjnP҆w8!9ܧ;{\es\%=Zxž>6wdRᱤOYC4ɜT" b8l4]8sRg|"` b=TM['\Ece!a=%/ B崺"[W{kDtS(<{84"Ci_kFJE#bQk<.a5$ׁSLR&*ȒC1 Y>|hg/ԅF mi\h]aGkI ZK 76C3ΉXٜ  H32-az6D![Lvf "k2ؘ?%c^JKOyK7ETl1aػ5$Dr+epl珋${x g<M޸h)p5-'#)fgϢ/ΧZWM#@>Z?mK׵9e*Аj1,x5B\DlMۥaqH`FZf>GYal7Tڨ2\uDϣЗ?+ eaP^#6f[ cx[LkEj>Gvp7B ciys04R55'XگqE;<˩q6ѐQ͛X%>=ލ_Of| i pb$R3|Ť Bʑ&TM^=D vL|Rb3.4k¼ zgLh$WYO;B0^?P^B2,gRHU~֊&#'Ce!J/ +LTR&W {n- DtH7Jw{f8a27:4E<8$pE/Kx=t *Kي9Jzs ߃^يj\2~lS;7w*ᖸ}h3Eca)ܧC{< (;إzoDivsb}h#eXNo5Q 3 ;\,M3iLZ6g)M\t=Q^toK e1BAk"T0nHxƆF:dhBy}s{BΧYsVrM,5r~AY/ \/I./ Ty+H룷"7Ԝ)^4{2@pzȹ=30܃D~Nr+ DiRԠo0t'PYMHG' ݶHBhh4:)<#.\vC2V,m4sO])wy_ k5FUUZjȡOGL#&^P|߭V ĭ2NZm kϹ4{V:*`t_8qF/.N>c©% [nE9ڡRgĊFM{ $\v*cA:0[x7;3e@r/>^qgExdK1}]{5>F olcODɛ`riw2rl\b2Qt%꿼Pq :zOTxd(H}_6a-f*fQ&Knˆft>2iuI\;uB= tQx]ČiӾ&%nVHsy OT z ˞ 0aCKN|'9Rb+yV&{#C2DW9Q8F{5GQW.&'_"n f28SQ!;ʓ~:ʌD:ݧ1>k*]k`]ooݗ;IM.)/xDWm 2WOK.dj*[# xZ9BxAV+vJhSL JWRZ]6d<#//ƞQrkЇΒW`R[0 DxӨ{؞qd.DBuv+U:7eX ii ZzNFଡ\)-vjzmK:6<6Oo:X9sF.׿ g+&M8 Jør9 oWcF,<.fπ$$wEr?"fq9acgi6 nn9"[E#"O6{B\?=C>k_՜{G= :궦#ճS̠\fوgKuh-0ɈC,,Dxb̈7Y&AKZ)DGMMF޿Hɉa`15JcXTlŅ TxΩ(`#)z.JU.TĹq~<L4%,Tt6!j.EjOߣP)DM5fWڜ-cz~ּvX_s+Uk{dJuL djQe\΄]^~5n#lB`P3Z}n}}Bvv2G| FTԾ¼7swF`TV[f)/PG-$zB:x4mII#8"G; ^_bB4R!~i/˘ny5P[}kyA眒^Xo[B,jע|S#bA ,9.ۥ}GW'?Jܦ;J 7Vlf**{}3~Et`M8O ְfȺk6BʳZsݡ=YB@Mu_Rye+bzΰY訃4(ܷRk^F8Įϩ8s&ؒnA%DWP*ӊduw:]& @)JCriY[4^w `xʴ!3WpRȕ2'BsA X̯J/rVT(zm@Ay' -6m>>Dq#vOQ'm!75hlED4PAz*|#-1b^tL1eSiZ99RU1:΀u qTͩ^oTԜ6%2y[ {@lbCy*H`x.9Ҏ <YaU&,gxطxmtY%l*D9ԂMt 5r6GPxJF-SюDhIwɷmKnځJsS˩-!Ü@4?I#H7:]c)Ρ#Mc̘JNֳFg9 o~eƵP<\tPgx.]ӶЩ)!vh8ը0*dWGltP{J`-؍"%'|6Rm$s!x?>w/;Z#jƐkEy+[k0{S?Jv|^/^Y}_y ƄTWH[(WniO+eg^8j"VB\$،b/Rσ\yH0axZ-ljobpq31xaQYAᑨt!9yx 7ؙ"3B43Ea9̝Gls?3 0Y;*ԾGh+rOX'w[)ٖs(:b#@0бyJ$tfU{o)W fO%W(2Y(7t 7d/-е;g Is)P.8.(~gDp^J^ŨTar|2h˵+f 쯖{[I<׵#r XKRB[kBmRIݐ[ȮGHk$cPF!v\^i=`'u;X}G4|AVMCc^>Ya^ o%kaܰʖ<?zYDIM n3i\4O$m>4 hx~GJ"I-/1=_[nVEeU*11yRz;1O]]>0PpEM]F51a$NXͻV&h3^e*&r't&eNq?XKH5r.N/c|S%hS&@@;QZs9/6@!m2;7ǚo2dFIyXda O׽5:4htBxD 5=,F93O94_3犪e.,vv)xphFÞ[6R] ˊ!X(vv2ܶ!o XCLO¦a:D̿KȦcu2wJ_ifPLO;ZQ7 .F%R)YOtuG&75w _f/yTߘg-(M ǯ!,88 J. ); E j t~xL,^K#VL 4܎رQvvv"RIMTD.=0% 3^$(C6;4J?s.<E=17 vt3 .7$Z޴[% _'^7 "Ū0Ak_gٴ~_mA z\7(yC]7봔] 1ʴG*oяt@; U憊NWJϩoϟ`Mˀt`~3ud|.ĊvFstډhDn{(Ǒ*# .ѓiw/"gc(cYK <#49Ml 1ՍA~a-6kBq#'q\#﷮4cQiLC[o֍dj0C(9_E#L̽EgiF!ffOzbi`@aJrlJt pfb-2bEG+(4QξJw*Qa ٍc,J&mLeFɛd/,Chl19*^="p G# Y iw,Wdq(G\&R1>śbe/#(^=#dA! Gw?? %oIUR5ݧSV"9!cjՍMy9lah Ns- b X P ԇġIԉ4TcO]&'wt҆aڄ=mx_/('$=Wh>_V]ͱB eK[cT4(= &DԞejB@E /Z1^ǵ`+TI|ξKW ab*P5ČB]3G `+Mb,[AGa/^dt+1țeKy#x F67=jGd (JNɔdX?Y\(( zn {$I"値"1$z}+r7_ˈ%0JZظI7ɥEDfnE}ytVMXHvqIo`k}"S2aI6oLZIΑ2%F<O(:t %R"_gC}XY6F[@oBIOr϶5r.֖nSCv" (dvHT|CeWVH6J6SsS4A9Ijk[<ɔ!,e`ղ$ E%&g6f"%b<];pdRVEmK&Tr|;hwq[vy]Pɧ8Avy+KDrwY>~Z͐`Tl'.+Z%n'0XYobSnSYhzV5, nq'< x-&bԧE:,$tdK;1S<#$ YgbF<SM$~> xǦB$3룡Q`'hi|v IYh3"7ac$]'.b b(5Ğ7hAf#5)^PAa f{<>)짪ꎻeK @$#O#[Qw{ #t-3եAL+8z!ϖ}\0wY:=5P!q*yg ͺ^.rm7J|;ĞwQN O#165Q02嗚e= >VB@)u0!N:ߕS &Ԯ zK%DgՕ cX8p^567͍4rKl< o`lYuj6u7ъ!޶W 9֕4OO(?¬!&D1%:H>%t)o{W`l:gi66(0puh ɇ:mP-N~;_Ա$ }i{& Zr%\b ɸUcպ E9;׷?E#ֈW, O.?&x=M(`E guVIr*I%M%=kآ@AHV oDnhG8z@Wd2lӗmg[d; TWɶJU@YԁKpuN`A͵&sD!c\nKFfXkO?qμK]R#S%8.Vvc3֖$ UY$1 eBAzgK.\mNF^Be!="8iL5G.څ@Q|/xm-_̘ğ9%>H5ɤMy;څ.f5zD)}!H0El:hJ܉z؝;,db߽5- xLڃv#jl|x/]JWLw_츅:'DkeXg8 t:Y&[*3`bN],vWتW;M{C7R*d`|,ۨn;BBy H@K7m,/Éu:a=}R1g2뙓䶸a?y arK:YKdc7#Дj"Tь-"@QӚú{o sJM,#2ܝ e!{2Tɗ+UO$g/a*ÐEs''Hj?w2#t.2_j|]9-LxaC5zv#<6)VT(ձ'/̱CjN.L>2dk%n.S]#6{I|S"r6lJ֨ k pqoS:@mMY5rHk=X<[2XT B_i vҀx"Zl,(1cJFBٛbm 7Q1ʃJ:ʪ ^=*vu>S>MCOeSAO5 wAZ1=hćӄ~|щ(?t> 5(pյQ Mk~*n=A!QMɟ.[J(QɹՔi_S*=6+N!\?1TΤG)2sL>Ӛݞmnvt{]M_9TAnEx'z*=S={ݠymkeQbn&Ж`Q(zYүkTtphv9 lWy( xh+_宅O(77Y>h#ŵPه:ԍRjf념=[՜4ّm7-|{4;TFWQ祖ޞk^?Z:_+)&%1=[WoM:z|U4B ^](`&Ӑ=L]Mf:tMBS2PLnl=,6b5vAngJ^(=?Z*9K.Ko֦: lanQE~65w }gʧU3J{XEdC9;+6x׮m ( 硱Y`V7? bt#uOD[ ㌥ktٰ:$:;֡܆i0LF6ŸPtp5…_Dz5[j[K̋Q) #i7PAK|nbeTZEx>G,CY P<Ǻ4?iƾMN#Zuk|CCH(9b?3+LzP}%T2}ɚt!9z7_o6ca{t8yyI_8,sb+@*$;wX&uo9! lyGJ3d[n[#^l*$+wxZ'&"D<5z{X6&6d2?f z:3'|8T_?c^U~3Mw1YSJDGHV062cwV kg򸺎&yL)b1,3 B2mhY/5"/WemhhM G OS@LDQW`2-A%shp"#?aSG69xyr"[_()v- ~ t/yFp,9<(m&}l9}d S@Ĺ5D݂_%G-9&e5 G4O 7P(X| h ,wm]ϳyC*֬Tġbţ\\~뚿mC]v4@ zkvvP"&dkT gDEbQJ$aKe$!豾 dň`Obv{/>I*xǰUZY FǧORXΩ0O [Ցxrȫi\;I\mn*SRrEb+(VZP?`mml3q543d.;HW! h/|ᄰk޶aݟ!q~KVN::Ŭ$Z  % y󩇭Q`g Oq v SG Py5bdjʄ Q Sp78^Yb^&ȗr5C}z:qlT"5>DRT8UP4wU3 ZܼrUò,`8t1,P%"<Phf pZ,lNnӝQBt4.s4U]+n8}+YDM.]n'Ϣ+>إnqSJdBц+Dqtfކc\9QF$ , > lt출P3We(:~&D+>`Ǩ5 Љ:L:9favSkN`.cu$z5 _$3X>F9eI@xoo nנ⫢SD.ٌGsΑއfT {߈9Kul5_"}@<2;W 2F4qT}SygEw V f"K˝ 5_:%hTCԝ¡;׽kn'ĺa sO% ܸC3.7S)BkM,*^ϖ_G-{2ܕ&򯌠M:@?ItFGV[k0=ci렿76ӷBX vԡ)B>l?uOLCCPϝ}]rK 1IG Djnq9 Y|6s8zeEZhH\2Q):m4Fy"Xnb|Zπ7re✊ QӂP:@(@N=WV?췃eA8t ۠+fb IpUCHZ3el]z  Qj4=Qk 쭪G{fA,v9#܅[J4ly, qnVQ-h_p(3]!Q8|cy^T@Bi4! J!Uw @ja-ve-p}Sb(۪>0ϼdznX3FFA_qXtιcŃSc܁jT>R߯DXqVv1"t5*&E{E¦Țȧjp5~{&bNyFKR.|?z|4^qA/|'Xݛ)pN%'Ũ]'3W0 es~` tmWT*z:Bwl[{ﰴ/{/ÓY&?Ƌٺ!P";pJf^8 ݤ"ߔ$~B{#HuwӪɶZxz4K2)(~ψ ]-0?ѓ~:Z{OFf2䳞h/Q6D&/OHD9_m̀X)ux"`bxlM,><{EQǗ(6@[KK2~&`߬#Q:)^/f"LfbF޺ל5hnB-,UuĶv߬,) %Je]<@[$50U,PKvYXk]_PpUA׽ZDLtӐaģKrӋ)HJOr˷rD'y:zd#] 趞,%o6P@~G*?|!D\:ąiu=/ͰVI;\Taî^=Es&(3pKG.Cm2\[ >$& T]RsyFP\*aPt ֬w w~TO0Z3V:uA'5X=!ÎuYyޮzBSi344,Kbv< |>*%1~d+x@{Tb1塤wbϦ;rugdF3{iGq ::3P<=G.YY9tU;e3^DQ*(uZ~6`WA+![<_ÿ]]mɲyA";&[MyOxj@8iMزaY]#%Z?k8@+,F`ή'94[ (U-4 v^Ji+Eۄ!3ʡcȡlDӋȊK>JSs..b\ 1Ec*L"wкy)'u"?VNֶ]J` 9Ĺpu<@Qyr֜.6`5뮒qaiYy@SLg"!2t]갹vc.Z oM=:T=n  cO20>u8fJ ~pt}N[ L7bK-24; =3C:ˁ!k q~jbSpLp8w>2%?2}xK4N|)a^q D bDz 2+Fm5G2dyU'~XR! %Iε bN:aOx@ZRy;7_JZ:KwS}6c(QD6h;73-#(\z2S {v7AɅ](Dz%^tim  9vb/,>?Z xaqmdn][*5+)LJ֙:FȡߞNqQ}>?5y$uD+z늈 \T5SA`AtxyHvv0ou5] ) IM#+viwZFKqUvNKtݫE|}` ehXPͅJxTcu!7n* k. {mB.\R02r6X?gls3 ؗmwO"*t&[8Q1҇;4!1W\ [)kd(Np1s@> '?WԯAA&2(Gܓ|v6{+ VKG waQ*+.Crlލ1$DVJ@3 f춨:VoDk_p!n^b4"zSs\H#pxPȧ$^>qXȉy Ddq6R;b׭p2Dp2׊D 6tfIdNN9/ȳ mՉχJJ2FϼJԭ0&mO_F{*ƠqT "W C`-B ̊7< h |NoCCV0.߿A>AsK?*O L[sn{M&''Rni]Q mGg\izA8iG/.d,C"ϴO$htfP{ ":{D/Q夂tìBtV s=K S>I ߏ QٲB{PMJiZp +۴`p@-FݬduDQ5).s x[%gJR@]?]b.,Ul|_}dP8f4Z&>LBqvJ|Yw?_3E~ ɣȽ__.}kCp /OJ;$DStGqXeZј'rȻ(3nvA>pwM@ )]R=D1g9uM[ɀmRu<ʆëu׈I/_8RUUWؘ mKma{L.{CEZ<2^<  }6 #EK59*]"RJqxZ~tϤoM]D$[mHEAHd,[ N-F7^h3|9 zW?Ol^wگ\wzK^e{*]{zvS (OH-KH>D2Ҧ%9v#!gʟ/Fm4 (E49 !AeFw=,qC8!0"NbP照]ྐྵl*!kryǐC38%agߡ0t/OA } mUܫ>J٪'`V0"F@w=qm'Ou"ϕWtd>ũ[  kʩ'g+a񍢌-rܖM,=hV%:8- ; Tez'[?b'@Uu|KGd Âg ƔY)>UW\Kj9aG}~C]x!L ~&۶FB&`"Aj҉/e^Pa%TBH5rPF>ȐTOH&oT/obvPX }ȩNzIz`mg \;%_i!"Loʒ Y.->4QqP2b^VMxZBn\\ZLC:>7_]˺ܗ ۤbo5ڿwx[1 s &GK,()zRݹKc>.v7a e&3 reLgI3y֡v$*|v[H ؕre'k'n!0wK5n{T6yZcLVN k"{bfVozl.,uCb2YO&u,2_BH^XVz0g3qŐ;I1p]b86m.k}`LC$ s|TZnXV/6& *eȣޔp7 4|0HE茟0" =5dft1Mψ Fn:]ER@ʕՂۺ tFhbL\KʄdiT"E))P!/OFNZۛG{fM$LtDᩨ(V@en 6O6r%VǏU#@+܀Y=5ƪܰiOhՃ4Y%bgWsA'j_=ɲu8Rì6Š6&Uy;tʆx ],J$U ﹇߱Kv<޺CzBP #U>nSj-P2U@C}Plo5k5BHiJۍ[/HwE phRYGm>16Ȝ6zWzvA>DW6R8j9yS~]l+lwZc YX3^w~ (W&-]/q+\e2>4]kg SjɫJ”T.kk'6GgAE4*' %5jkܱw4zndRD _f:e? i3jpKS3V4)1 :HiBa:/o㝸iUZYEϛo eF]b4q5_߂R{3 ]PeGcbRM]TrNkE[˴n‡4JT0YR ;`涛e-sӾ+`PV6fScJN? f: R?YG'.X9K]uش2h.L+O\{5yv`Ӟz7DT=²yJuf,^%+O|ͪ<UkƐdյ0Hk~(Z!^q:7_JJ>_;=:>^yXIj$U"=iWO@{[RKK Dw7B!'{e[Wnc{UAz 2E /c{99s @< ʤT>Wv~-Z_;;cHR6|SOðXDm&u/P  EYS ?|uKch m|tV`!uP#fO`vELt<#Mv'jĺK=-FRc0I_a[e0Fʅ*G L'-œ1U KOi塸 B^15;5t^s(lbaS%N87*l) 'ymM)df[W_WC@朮Z-PO^ wɀGvSƺR"0]&F"O EJtcGqڝҺ)fZ/ņCڮ2nsIWoֶbVjw8x ,jv\섙QxjUJ RYm9,yzy4&#cMf]F:d2 Ёa"7z=۟qwuG_2F>2fsN_P~x’*󸢐տ!]R_U-KOC4Ș#]&k R]B@anC{cDA lN֎B<ҤuN܏|^`b_d)f ,\~Rnl/\G YYL}VL3Uz%Gi5dA=2'nZe{ d_\R nz ԇ22w2f9;l=r򛾏9 `NW4cpod@[ O~]gAy)_(ŷsljo=ixgH'k rLO@#$֯J.&+6CK*.Ez^QR,7E;F4lh@\Rh!z )=G)Pؾ`O6\ A4 _>ΰ';w޳ .[Y~{~1p.&@l\{~6VpяD l5nIeG̽)J<ǣ"$u%Fh&j.fWu{ڰbLE^nF(eԴXcA deؤ:R9`2k)j5]@l!HMAfƒŸ%, r{Nޞ}0jag"5;)G2A &{scw;_rMR:f>=5/(foKHN )2eORo 1 ~ |GrD.Dш>~GGe¢ uŃ|_B Ggȝ|Jh׳#9"#PQ7NqIN!=FS2Jُ r62Z^}f G97Fctn&ԷohāvHkzpQ,4ue A/} eZB6qO81H_21Qxf2b'c}bx Q6lg+D`k~$kq筒2ԎMOVʌ5ʿGYхmLv LM g,B~C4 bT`+S9E$A|r;6τ Wg%q\:F6o3b|&ZfKC#iTܡTjfNL%ݍY7w0_Y*b0hWBeN2($n[0 WSX,jSӶ9Qnw|>3K3s)[:w a)5Q0qD֓.6#nE+,pp7E^ksr}BJ"gZ(o E.6:-<'R\ jRMغ wYa[ oC}`ZLzTeAk Cqqͬ4mlMX,!bz&^YEWNUYGv78bQda+ԬӶo.)pB=pPuQCz{\}m3/a&;P^]2hU>6I1 >k81eGǫao^X%,!4 IRn2 '*~&Yfsy>tۣݕ+AfYSR_fJYSf51sȅf*mT0}81ܫ˻kտmA1x~+146HWD#B<̻jjKy=.@Wy=LTb.聪p4ݗh[&d 1N:+SfԹTۋ6NNbof2zXH%ngnwB| y-ϲPO2ϓZM "E㔂98{8[{FzLkG ,I59)`С3z.^-Nۭt,wx\?mX,.wb{'C~WT1rpO!s;vG-섈0gn?wOʾimab'av*6TS_D\v@4/!b6O/k/l\6/Z>A¡(V?={OtGZu<屨?LXt$ouT>K6ܘﯹHVLh63F5+=,bu@dDjA,!sKf,{GBayWr%X.Y% 6VQ8g=|ی Edq9B8̦\3r]Pkto\c͜67͝nފ 6 uHq$kid64󓑪9GΈ29>5k&N;7 GLS.OĽx z q5GOyEH&*'fyx *چ7!qwimW5A]M"ʂ8*ֶO""V_M%e5\T-D{N:H u4*2ރz X>f8+u$I/r3UjP [!yCƱ/mݏYAGfx)wv.f"ϸwBK9# l* rXV[x6K(S&kK,s(  :tuwXSNs=:.qIȞ—0gΈ +"EX#h8(+_1OҊ.qTtn?}mJ^+39;ψGdYسUwrw)LCl|`6eop:o:z)F [b!QK1%Oɲ-W+Lހ{+-]0{r`C 0<.='{.LaEa]FMQF: [ ͒} "*&3$-sJ,?Y5Dd73uJ +5Kc-_QXܪ'hmNy׉0vzX/(޽!/uO_-$-H=|2uqb;C2cF :A}גId~F[C2"&vpbمE#س'iK)!=;pPBJr!ƙORd="yXQoMcC+>*Qk9O*P(%>4rLQ BXNjL!؇N~5P7~QteZAvF4Y8[ڢҍ4v0ʱgYZ7zXZִF! )]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM&!dڀyx`ZˎrdPr dTS Ȓ$\7wAb#DZ)L~)GȢ 1k h@ hO+ÄF$F'L;qc0i>?`ټ`4.X9sA8;1cԍrwgMy.˴:3UKF$lK%gGg~iQ&ǣ=}4|6V{PPMDhKvp;ig֓}ձgYZ7zXZִF! W]ŗXi%L ulu'z\R+ XBs[s曗/CeTd;r`PO*_@_ѹ4OjqKO̔YYy98727➱F>Ya*Cp`_ Ymn19Ue8GB&teum}5,L! _^:{bjCeEYQ7|3xEoC:Zޘ"ը M9f)pCoeS5kTؖ}ɀV&XƋ&)mJ/"-ƪ߫4+%L[{(fsf K^(BqSړfav$wۭEa=c.sѭM ^²acX~]z^FD>v Npr&C扃\c1h^lEW7N8X:F'  % 1moZ|GgMDeilGV{i(D}ݺedml%[bH$Gy7p_&ߨ9h |vu0,&B?ʈpW$@#\|PzU=a}*'grqMRX9T^ (3_,ztfyL!ur:a%ꥣa{aeh?uIPtt?G|H J .T0 -%cd8hn۰[KO56}e6?'UWeDZjƱtD"= ׹A4Eȏ3?\RkCGcsc-<*?ąܑ֕Ht`UP=W[U#kH%xDbWtxС`8͋ApbȚt!1fԩ/7Vhэַ)ÐhV0\ I[d*#H!تNg-?ݯi3S ]e/P;SìM},?Aqp$*h w>9jk|QؽWy6h "xr4]wTIJ[Np9?}KTUd~iQb%;p)H5Ep>r?H"iFI){;nJ&Dl<Ë!]PyFf&\"!!MB2S[ecDZY9O8*4nyY*~CelCt&8y/Z@E%kRw 3L*d!jW߀߮tЙ}ü7$; 9;EμBŷJmj"eo@U+~%Zyp>6ei2`nSz;6 7^N>usU2Jndؓ'}mc|SE@|]I iD4 83)9cS1IYQ)"#[}k}/X:5~=h>l3ąs.L46#WSC\(峠T<)!O,zt,jD>bup';KC ݢ( +.C3AའIk5~v'I_4'?_^tMQz:x*Csk<^)p|| ғ( %bܓ8&|RhxaV!';qĽ2eU]=3:C )ou F㗌b4R \|G[J&WU Sk[}קtyޙVlc%M!VKgx}TO[9IgYZ27b3fb847df02ed84d40726ff40a4c222aea1ad25c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362 8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d afbce13905250e211eba44b9e6de1482ce641895