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 ))Tp$ ]/ JEdit:threads=4elapsed=0.628cpu=0.708gc=0.0007zXZִF! Q::name=ML_fileoffset=54file=~~/src/Doc/JEdit/Base.thyelapsed=0.240ojYL jR:}YZ7zXZִF! ~I]ŗXiɟ{K;]¢]@fZcJ@%فJ*9Oo=Ow3'pƸ$*H~?[9P8Ӎh5ZAm(^i8ny[/i_ܛ+U]4xuvrgWTi3Vd6 Y$pG43^$Mϵ!0ǣhsՈX.6RP1M滇YzkGNYB)mt6tF &/anޓ"BDYfvTi>1łlr5FUA3N"YBjKw$l)Қ~13 b 7,cWTC-チl Je/cPe[q?sQ1TMiy_hIM0u4Y0x8X.gF4wrTMi}./5鐅K=YXPme!g;3{(icXWyXM F"4^LK9FdY`z{$% ^e6h/k?w΄\B>[ELTh;ټ8H ZF>c^FےrֶiZ4>c!sGwd#'dW>KcBɎ$bDR䀨X|]T+=&b pT%i/#iZG'A=ue\S,.d0aw@g_a[,탊R/nv7O>QA%pM^(k<.~;drxy1| ?vxD_ӳA(BUu-<}a4!m||ԧk}ʹ8JaieXؗ:.Ѱo=#hDGs}[fӡ윤#B7<.'N7"L^.@5 /Ho()Mi Sz*^aX G\o#׎!cJ`=N=agiR~WgJU>SB As0vZMA- UZiSI菐fTrN.*ϘڶJg-Sdy= )fR InP*(ouBg#g-& 3^ uN(Zhݡ59XԪ"ۤKsqY&t3\K5U#Ua}?SHdG~ PW"$Iuq: RǵFދITf~N(iRk״_Y.'P̛`C,xExsG!% TJEditJEdit.Basedocument.tex7zXZִF! b]A-MՋhvG"uIBm5Am)v6[1j\KRZ:3Cw2Rm;r,udcj-7*ڶ_7x5sC} ?5!"H[R(T5k:㷔ؒPVTgGt0 )b@ݽpP{s0Z@):)}y c+Eڻ%GY» J!],gXkqCU7VwtbM!{ZTk+C%͹ /hEqo'CbgtFn8pG- ^)T&unVďܡt{9ւ!rjggYZ "#%JEditJEdit.JEditdocument.tex !% JEditJEdit.Basedocument.texUe./;G]rJĂ&i"r ̖0l'Y{ ?Ňѩ&%NqD:n&B _qu͔p|2[UWy~6cOePZ|D`\8FxO"GO32Y'(f)?-ݣ1@w';!ڨ'dc2)x]0J @jȒm[ ųGߺ)ad^N]j"{$R *i( # I߃~n*D[e2. uǷWrZD0&qo`ķNU+JeW)Hԉ`% KZˀ=2fˆx2K;kcWp30Bha'uFuAT66́<}_PFMճtoת3fg]egxNn^Hg1L eIKj0 AmwV)Rf7i@NVVLesRb?ڱӚ=z+5$j !BY{J$փ_W)j}*M`DZlg&9LˆhGmh =Omap;g~o& vs_ ۟X n>Pm wDB=sT^ 9oۍuJȟUnR~W)$CyLlurrK6d&Ir>sٻh gH# MI;1ps9mmc R%=rєnFjN8aH;sFT';Y|#ĕqIe@23ʔ*0@/~Ӕ+ܗ# >Uk6՜ + !BzKa4 u'.gCO!XIO?T΅內wD`g09%=Xۡ:u8zVP.]M? Bd[Ut'z*]uП~&AHM+W+AbuG܈ ;89T>|3QS@yjqQ&P6pB=ė t!紋qA 齴DL詏Mpj8Mr]K<+34_)F2eZy*(S4_٥hXr:`?FSаj[YAڶry&jNKP-lAR!:!o˨ns%7m5:jR=iJ#D2צN%tw}Gy9!g*zӶ1dC'8'Hc2m6ǥҡP{={zyJԏ,o19Ad&ٞh8 Tٯx=3# o5-oyxñ /G2Wsl}*ZK2r n֤@bj|<^د&lao?fTE x #ʀ{,l'mj\ц! "17 vUdGX`5-%RW+-Vp]> OQjV+=FaVv]c{xf`/U'W.bRw \L2u\Xm4>£ibB9 ǟ7c6!W|u53oVd@F¥P_s%g)(k{̪2MFh:TgQTjVU#mؠl[dQ miMO$猍lFsɵ+`Lrܵ$lQ.l/.8n?F=q\K'a5FmET-%`'Hni_֑>eQW6氜3;nb~z|4 HfAκtTS^o9BR^JeZy5e˹J@-ocm|2]0ϑpZ$X,@UPUFiIdƒbЗ*bgۡMB2Դ`Sߧꡣf.DSe^ |UiZ u0JK}quڏ׉ UBa}KVo _]P+Ya7x5-JHה-aՑ BkYoVc$:ی@m}./+:RB` {+jB&ìT2ܭRH/ܻU~em;@L9Kpf=5 YTUe$'ΪT.ѝysќ OgRjUvБaf!θEoӆnu#@(ՆfʨJ½cˀ]N7m2xFDs6|,sFV4ll0ujɝAwFjw[]sr A%.i͛' ;e+W?q'h}cXOZDiO9_mOu֢x(I*9s/x6f0 ;\ۑ%N BF2mERG3,Kk qm̜ aX}[xvCDu7܈+}Q` ~%-irG\ݪF~_H@8;C><1? !1\/XT C}\_Khb\ű\6caWP:xZ~D" ߾:Ԧ#oMS:ZqDOE-£Q:[9%qZ˔i\9'/iK>>ZFD,jF] ~9&F)awc웡a_`":fM? Nkm`Ft>wS po`S]U!&J\F5r,̚9K 4ʮZ֚2菉]:#8ԷuC^ȉٟ ]"`m@QƝX:V[v\出KЫMp@d Y?bizO7Dۦ[;~MX]oedVg'(%P%щR?7N(?PHA:q^ΰ DՈkj0%&n3㢆ᡂ_RCDH Bɰv1@x(.E_ZhF8Z[Jk]4֠`I(wgn+JGcn1.7$96]I>ʈF xff>*+B*њVcqu)}=5c E).UL-8ů[lAvث~c's.8-W] şPEBUWAMM7pk>Lvu;1yjuyTM=>g%̩1B84y"S:+QzNoi HTIueVbApMV@=;'8#Ze1Dyt+IJ5)?ee{iF78TSZ77yp)sK.}A+Ew'xTKU{CQv !ll\ñw~?{#w0ٹC1:'&%o[uAڡe7f7k)K)աMF L  !@ qSڡJWxjvXgF} 1 >cEJs]%tL׀g 3k;ޤ@ !ɊeK0 ujN` K{I\Knؗm$Lq~' E72-Ex2OvY":Nn*ވ[Wշ`w'f 9zyVԯ j2f]_]CM(69 1lY ȃA25ਞ\jJ4s=20ɽTtCke.]phDЮxTFr)> -tv]O%kʡ\?[\Prc}(|ZU/UR>רPڗP}J^fSlf;$ NG"0 (D~N-襤_{ZoB> \cH =b'Bh90n)IB b}}w[S@^ D+VJ2=gл]Fx\^e5/ v 9m.@Q# HQ4[u_A&w+Ljʖi⺨!|2c Cf,7hu㟙rzҫB w8?5W=<"ڰ_3VÌfG+t^wO#oBG[]zΝъL|q<֍w)?-=dpfWi\&w"| C7B3b#Ppn0Q LGfx1j^${BS cLYo"g;{q2 +m(/H^a`BSmemzjHߋt\(׃T#9i3ذ !z_)jb.GדB gf cd&oZcӁF@1;jߌt"7VB *Sd~t‘Ab(a-|z&G+'k~_Sfі57b/CЪ6haʊdo^ݗ|G9niX'$orF2n/ë0Y)6vK 5T;abU@&Z:=~) Ztw13w^O8.6n!]R&85LEfN'p`0gZXV8_M, 2< .2Ї(R~7\r\шP~~y<#g '@BɿIv/h ^|ux@"!p_hF T|SLQHxRˆ梶 EϤep4:ӵ_&&.ZS\'3=zX %3VClAE!Z8xUk=M^Ԯ.HĦZ8Ym}u[V04|=\亇YJߠ^m6I T4j pd?J?Pn_04Mt3~ (={{*ȩeO­"H&_#Ri}Qy ̢%.[zjP@_p2f,zѠؖ])?~ >RSYI`=/ Jl>cRمϕb O Cmj: i'/Q 2 @%7Ǻė/>oAb;6>¦Sn,ؚ|YH9q^'ˋgCxoOZ΋YbQȠ"7>rF/mS_^J/cDv;}OWlӕ6Af/FHy %(g8.&`5[ȓQ&ԺV832CqlDbkV45J\AD/nEe:pɡ=:2p5}&xIvݧ`'>K<jf dS(2[ʲla6)]'&E)g@YiŎbe[~`.>5П*5Q:TrF9̠rauS]*->NN081\XD]hُOu MN|2gp3j3*Gϥr@Zol7>cB,%PYwLu(o8 R%6yEf"| 6cӽ G3 "*S89)ϊ'Ȏ@8dl }74k!ye!^vuh0%Ɩ4JF vMm9ƪɗٞ .rFg}3(el9x ݾ lQqi̽gs+,毯e%8ʝaxJWֿ^d{Ӕ#A;(|de[CzG:\8/][)fJCnÖdhIvAGqG$Rִ]IWDŽ#nX M |IʳQfR x3z\o0eB88Ltm6vsb %$p{^L&=0v2W] aps;(iq1ƄaHiJ&N&!uuNz~t~_%6QVz51r`fj4_Qr_Mrc%4qнJÇ7\}%^"%_T+%)Opاp U)zY5dc-iŨW݂o;ׂx+7ak#C1A ݅w1_d|IJ XtR.1"q;עq"q&ɣrpZ#SQC0R ءn JKţaj[x&qZ@wC6kq ҘK>A`OPB,ϲZ=_>p>57~pB=g]v)n2}ꤙEIa8#Dt]`OD~ꩯ-o7,^^jo}$j4x!̱ւXsޥT^ȥ0~l39n-}Y$ržz K1éH8wۤ宅9Ț6l Ê+xi /v#7pBc(JcgƓViEؠ@gOr}8MfIJ%:Hr!7̀V&M?ѬW̽ꛝ:P6+[BewOV~ۨ Be0X_ I޸\o ubRے&+-ZnG⒙}}iŽg.+,0iWyE⭅t7e?Q@U%E 7|d>(sv_F`RxpUY0Mfc&"atLҿ;ƺtwk9ezyC.be |q3|,b|]Yv Wʮ*j螆Fity($5S pW wn$T??Tr7X21{B+X6+-htUrꃃ"w?Con֧_8/j<F7'`tJ'7Mӹߪz]| 0'RG˜ݰb϶O\m^'Q+낤66(#ħx&GklI7ÿBӭ1(<uvZ-^cmpB, k6fK&zInzwѻBҢ.32\fh r+`oJn;kw3zl/R ᢍ p/"Z-vS]TA肋ij*q9LY(>ra ^j {{/4ņ u3pئ^t>}Jwe fTT&r+x^ K; LvZS~Xo%xF.u|9s'3vqvX~HY"/^P;WPUN(QNh'jȾػЯ'!tܠ ?ĿW_3ڑkIϖy!*GoVt`842D}SOayc PWb)WPlp~} 2 ߖ/lN5^VP)=2`x-"TMq]Qƕ[2]$8u7yprlƼgAsrqUۜvCS'4u|*Tj: 7Z&J չ'$?DK-WnWaE t#{.ō HJ¢&Ss&{sv ?"w KC ΉV0zE}uژ?\{QD)/-ݮ~hI(fMꥍhk^4]ypHb4ĔȫvQجb e-vaFjԺ@%(Z-4 G5,VT3єI8'gFPt"O>4wVʘ+y{bR(ceTi %Ɓ- ]1jnIAr9͑4rH=7窙5> ƙ)_j(FQD[N nҘ 7{GHTNt=` 0ԅz*zy )IYx²Bdefi(ƙO^RhkFp][Њn~u"Lx[m_0@-D΂/(vV3{(Pif c Ys7Iaͬ&"@<ȍpΑk]Ҩ n-{?xĐ;ޛ_wr2Ҍ+#}MK1u]=m*BĝZ`6H00ڧX]uaGI Bu$cl(gtS.09CX,4o$WT4^"2c=qW@] CdQWsڃd$-I%:|">R 6eYoGo?̿l3 b'#<_/*CU/h o=͑J#UvhRڡM VwWֽOj<~{́:TD6 C:RWߨ) !!8?B(KΖA7C$n1X 7(y3 NzKcLПKZ4ag)x2 O-\n G{iꩯIYfM/a f0:u,[ MqHuɷwK@%+HQs[A@~ ;14H/}9V@n># "*yg3=WK! ,KG .+NƮ%@pX.>ň1:WZg2%T_P6V3"\bAzcN . Ah?W:#M].~gkEEc9HCdX z*-ɛ>E{,ex5zDWc'3gwoRWI۱iDKvvo\sR wDWjs3>r Ki7zN(K#UӨWcG[m}]v5;fzqhVo @V G[Wޒ/=SsN$o/=^UIX50x_z@ͩГ j4˻d3,tg3-O[ZSZܐ4a;OKv޽.[@V%׊E$vױ\8?ՂF>D= R}yo-F&1P8 3C3W+Dr"Wx[!`Ք:ޑ3t[/GJlK"d3 4yk8B8UP-k/z5J<0m;gOtGGWPsqwz(L5I/GG ^ǜƻ #p\a\G4l_?\ '6yKÏY5NT};xL[+smi8?oH@s3Y |3â6_h9*7'hZHPowr_%O f63EҴ)<;Yױ_M@&LJPk]ƣNIXW.偌;) *"扑#jB>?`Me1&?=fnJԦZŽȯ$ V NaI#uA_Oeʝd$x4nc]sFsȇ?ws|V0N -7LGvcd#}w(7)Q1!$C/gQP$vh[kS{˲;9ҁHĦ#"uOܵU ިG'OheB틋{]BO{*5'&c8֯!=K]U,jſEFP\# 56cqG:src.P.wtelWA{gо5 *eDmL1  ?)f=[esGB]lvCD,l5t4@xH %'o ,du- %lufKUe|4D(ά`n"ݱ$![Mt C:YXkrTo٤nLݐQΆW`ݭUv1e3T뢏17랮@JQRln-8I-Q'7.v17<@Dr ;^|&]AڼR>&'$#,^K5YM<Ϩe҃@ bX\{3\ ?Jc`QL\ǡ2YcuTֹ~"e EaI}hG÷BB×|`"3}䯩Qk/8*$0>Kg ZΏ739jM{}wԵǁa%zk-H:>3Wbi"(n{LbϸƟ'ᲤUQ'r|4ȅ-8UqǚM`c[_uZ.grzՕڦƤ9In!S@x#P|cp&͓P ù'?%׋B'%bKgl>6RRuu%/ΧgwIv/Xࡸj'48E]'_,% 8T>e!M" /x4J?eVP ԧ;׺ ou9(54.Tͪ,ݟA>iwZOf+u=䝯H6D_`iឦ] !NĽ'"V#E,]MxAXh9 <\ecdaFJy:kbWikSa_k"ᜬ,~{ھxR0eZ*a|ln.<;cdkP*) $ BStiBK)!dez h(xa|Xzڏ%꿜#ŵr SNqGa3䷏:N};D:5?AZiR15mcaiOXW|E<a ' =S=?R(LaJMS%@ы;1P:O ?9`udD%̱;P@gQnH;f,F3y6OMLҐ`w\w‹WwU ,YZZ^ Rfӽ Yk[uA%IG$\*fk[OEzܞSGY҄zx|Ԏ8-BVN boBK^GFa8GB~!NQ([buL=8/J~T=M".gkzoN%]T?"d)biKTFW6#"rtDMO vKqj+KV{UbRd.KE*=j,St+.{N`vnH1Zvs) *B$Vn?BudEW eNY 2[Jψ=6(IJF7Fv >S7B-Rl$mǟyۃęղMִ0m,?)!]||=uZD|IZE3&yeL`A<̪J?9餼6ܡ2Dn32]DžXwBJڮAYu4_W@zl.(H"$|mv+1Ng$ł,2%ī!/ΨohE\?uG⧊PuVrUbVd\cKKX0~Z/R*bqgkJk3ZM ͈Y)cIs},kdl0`87Z.dI'U̳@*~ ˯$ 6j(h$JQn2TA?H;{ gcAx Pm?Б,PΥʳ/fD*+G@ꇅoVn9J%} XhrpB"":ycКl=y< gc*d$^-huyOS}2&bcRɒ h :<2%P2s10> Y0ZFëIFU0fh,@ͲF33`+9NRZs_KXU,yˆgB{mܓC w!?,2҈c_3ΗHyP\Z8̅X bד8JV|4f#ITyhxhq'jmIR8,P[f׫ ;ڴySF!$Uq1e%\_>)ǡSGxm}a!%hw?l3jNk%w:ax}6Tp0^11XS9_>M1j6G/Ş>2cXY\@D>璇jEi\p=w&A ؽLØG I fg*")5ܺM!KQ.cW.כȨ%zk٬e6?G6a ̣ͣaX5SO:xO }T黫ֻ4EEPoR rEZ9V2TVlqd> ddHj5kl[kn(bm$~53H^e_ƙ܃ZEV|O`D4JcC)ZV;.)6P\e6guhR\7Sp^=!m Β,`.l6vEK'㾄}2EOa5N[M(%U.JTNٶr p:}0>ǐҭ.KF^;x|o,~7ze.:T*#}eaquQVg|A,V2v$+WǑnHĹ-FE4O/[XS_Kob̌Լu򑯧ːojO~P!tT%DŽq8Yhoӷ%׉FT+Tx<8AEr`R"OY>z'u`3ѻr$\lJBP(e\C)'AaWCPTH[xj?o @k9˰u)̤jKgȰe8W2 QgKYĂ% )OQKh7S׻ ]a`yAǽL|Xa[{ XhYB FddEh\k 4ڴj3bʠGKBZh Zt]` RkK 1* DI.CP`, Z,3-q\0pl|仍T+xano%rSR4~JvJ`+ss)S7-P+A][mbsh)fȪ1L4R%8?Xɐ݃I>/Umh"x*b`]-p \Sހ&pY=Ӂ8Nj&5 !Yrc :o ׮y'Mq-$GU@Q(ٜr1DoπlcRv gaz/ݩ N<8D`M6u"|zu+@o^/D HIOWeR e p#/sx'p>L4RE?D +R5{t}.kL]*֔+~(cLunoDʲW+I\c o",]-(X:1cİ궲iB Ą Cx (%,4`TVEC O!)LR+SQW!e:Imt"G̬0^9ZнŭH[FGIk#O qĖ],QYg6bu뚨n>-e6? k0/-.,J*;Jv)S{/cC ZhBqB"DޛV%yhsܰ@xHpO :kl&C-=!,! JltMH/jVyӱpË0:}w^5ӕɉŒi%4e0Dڠ-^se?"H]#)Mw-g`.%R;rh9JR;C{h?26?wpf/ (O_'>> Ց٣Rxm7VÜeh(XX,I6 G26 sfo>BtN<@1}!DLN@˥v!<[ztnst 'A2<=I}c}doFƵ%1V}258 .ؖA!-,HB0ӵ ,#t_@q^/ )&u`e&l0(aBa2UM3D͏ޘo)ʮ%'NivD64𕺑,ͣN_sRf +oXV%)tඪdt\"2YUu/.Dq~=cq?~]Av_;-?z\xmZ9bcx~3ywh6Y_k]e=hk1(;_)e\։/V՜.pӑ߃3Ql,{rF侳n ,w MؗoD Ax2 *gNFwHtmu=89g{v4eFA&K k׿G7pP6п R*M>YSUŅ[$ wNϦo<2|"z^'{ծ$>Ksu-y`/^#x9`]-dpE[m+jM".nEwI^R+ B̝*>8 G@^ȣbz'%_fR'o~/j8;rWp]{nUjKVY_y~^%4pa8-YW1zyg=t+KKI9 YwRSB6OD;4[r-m rV\lt6mVؕJxB:i~a#FLz%lW~ (_/2X0bf;[!>*5A"m nkXnG_nݖ|/(^r͋ʋK@wd(0ّf%iDT闔4V\AXG>IxQ8ҒdO.2cXGߞ8۔_L͔ɀJ?nt4y/DF6wSs,T@t:)wJ?waǐO_;gw'3F:ip3b?s@861I=5cZ1۞,i7,iR{J*tݨ,J_DHu?%O,$hլ/&WS8MnL W*Ck,F%)2ըnn@dS\Vru]p#nu\M: կMGhuuC@<7d1LljKW`r[us'Mm% h!ޝFՠ> J PeU72]?^QlPţXǭqi3&'mAOfq)N+ ”Jj} `<4.3*C݁}w.Ɖ8c(=cAyb9F@fnQ["}+Γ2B5nN3,ި$)c2p}-41F}zua~%f!&#e;>5)|sBZBm 2@tĎ͞/̀d(:3 k3/S4F|yBmihR SU'}.P7RWO*PǑ7(hCFqh `ܜ*l>VX5=_yzG!\9=y̤E̼Z|'7(ZDqx3N>1Ɍ%unuҟzU,4kF[S t$N3Tj썯g cX8gKaIFAҪm?e.x35J/|}a-.P6udsО2]owo$i^^XQ܉ hw4^jaķEA֏2Q['[u<Ƒ 奺ξšic®@6 Q^'pm:jw ɷ|f@ߕ̾`6 0>]|Jy~d#Y7FOpü4Z,u8p"Q>zhpp75|r,U0Mv_-i(&Ew`:ݸE,h%mY0 6|5b>GZPSO ]B%p[ \Ou?Q2mw:5A%lu2RyZcc#^]ݙU j TVtT9Nfiš4~!R@?й]Z$w|bB*ȧrM}}͎e;ldo:8$ށnӯ4M}RDPQɹ_cmX+njpɗC=AROX. *zFo戉Ƽffu(.͸+ΣDp%/QV?0&d*Kv.+\>W|rLA uaN:7}%Eq?= CPR>fVk-RJaBl(@E,y9Mm33e<}75x;|Wl`e~8YnGbw*>B*9"TT̔׉F NbQBr⴫n4pH]^E GV!nD)q(eǪ$NqlzE#+97OQl;7w3cL#Zhs{=7a >ⵤ~#,+{[~ *'\f'8}VntPﹹ^@n #V:o!f @c:'RF=~5k~Âd"\k_k)~#z)S{w}E|MmgSP1 ;hrY~=KS&}xG/ߍڞڭ|%6YKS7S̅mߤIUf,EZ35m&aǰ8~5K]M1t l\^OAbw/+.մG[CXa ͻXE lh3tuJ4F޺$9W Nsns}Y]Dƭbd.stZVsEWѐ%m ?iw34uԟE'(o|h$IM5Lq Ov3@MzP`dI/8ܔq{lF`=Qg(hcZS/QBӿhSdc[ȱE KBlf=o@?R?ev͊Wi!ԻR*F2ip "W!A\j9OMܡu?8gVHH7qʆ'|+b7GC Z4q-hzĩyP&OU[a,c4O` 'n.sG 6xG\rq efs"$ua\*$\ èr$I`BefZH,|a/B-"$EB{P^Աp^IExw*a+ԏ1GM)v_qrg#Rk7aUz\Ȍ$<t8$44F=p]M:xV#AK!4t~pGټ=tуݧtIMr8W(Yo O%ޠĜFM6Q? 3EAw +O;8KjTA߼rԯq1iA~?|ο|Eˠ6k{] 7+uxʶec>GrDd*IX?^2SVlem;nT'̎<_va"c cߎptJS$dꊄ;+장XDit!ɞ8?q%p5LTz!鴯kN23 +-`|1Zyn9fӜM6CY<M`Zˮ޳JjjF_bw/ӟ A*jIgFQsထdPFUTњaec'ұUk ku;Oš]ޥ5DsZs^ l[h{!܄3}cE6^2@a Xdz?7Ud8O[^APu뎐qCMg( E !%V,^f-^22y 42A}+<\`~*Y16FeJ(Y%z!RF$ZH(O?J:jǮW8JHTV[Ox`}{-H\(C{ɥvm7 28xi9X-gf_cn\OGЅl xZ!0d/ #ܡj0lbΌ4TQP]3 )#oZܯX&7gr7Wzdm>b5QD޶U}͐~r:1+.14RphKJnENhYIA"Lsf|cWZQЅ`ܕMgY-FE2֘403c+}Vu!*'˟ȯx$nPq7 CT#<,`v fٲQk3R==0\>gꔂ? o޴R H+$tO&TZ|EJ!y@_V$1@߃A|sdh1Ujג (j乼j6Qg%G7;Ҷ*=yaiuC,o#:yIs{;od(nY4欧- lA >9sUq sQu+qmz \uJކ HFkdzO2B e Ⲟ 6S[GzzRi 1O~y~yX7@wH{Sp1N/%k^r<B ZamSPq8#W;rSp<(^I-j%#ĺW*fk`Kf" ф7<Ó|7.(nroǂv1O#Fa'2+18 ybKTV<1G)] )81;~waKmL  b~Ė.iA=ܭ$x|(a\!ƅd){q2_nWvcPJ}y{F<҉U[_. )6'qڑ6L1)_E²Xa<#y݌6>2чqwc7;I|OWr=ëA߹V!^֋=lYAdۭˋ)4%;a:ڬa7\A wذ(o ]jaA0u#E&B%ҋ/"Ldw;I@_mJ, K 05bq&ٰ>%$JI@B& p] T-Վ^VGr{ᬢVPݡݱkNw"E* Na" Jt)&<#um6+ReHkZȀuu&x:o,Oaa'?;["䖿#T=}2JUS5=ySbS6ԵpkWN2A=$XRXWfS`@w50*q'|'G< Y=<{9~o=ysaɤE$x OAUG!;|3lx[X M~+ۂy{,J eѷJadbBf)3oM}}mƅG<wJ B˳:vL< 6ꯞƻg$c'O%ޜ@MJ4u׹g1tl&^},"S?rR+Ӕh.~L뫨֊PXZ$;Ku60vX8 )M -^Y~>E (%]j:_g/b2\IQ> i?@Yй|PlVP˖wia UG)YqY޲sB$Z)z~mSki$gԍo6ñhdJ?ͪǓxܡf0搋'2>fYQ qj,BqwK+'eۏ5͏۪{Pxڷq kޛ6bX.vN뿃RJ>%6;lvecޛ0YvJáWIr[L[9W)ͱUZi2p"YGFű4N_,p^x.=>aocDaWK/>H!?Qr:1p %IvjJuOx*̗qFIL/LUFE9 WV<$ΐrmG75p W@q@uabMMɥ[_nȝ?]zP-li.u‹#x“Pvn#O s6o. 7Ϡ1m?Ȋzv^̓B‡q]]*lB@<\_̾Lh)kg@[txPCژJM ھ,[c (S:,;t?x>8*S;S"@g;sjXZިx7h[jA3qC? 굻nᄚ`$teלjy* OpR^<"&OCW_K TE0ޕd_90<+Qye 5"N_f -b6An؏:=#oi:lDz4~O;v}`o1q+PxEacvwogN)D)Oئ C_, ^Έ5 ?bv󼙟ql8ߞZ kw Wb+G&YdX FQLF#"UvHkcL"g^q/Bf[|_G~@|Ә@7D~wRoū0pTK(N$g'u~(Ht=1|9ng= r\I@=P>E p<48F DtN2P ^JB^Ck@(r<,d8SPQl;S5L^3N)3:&4HHlOϟ2 2VEY#AqɆT5 ??(rK2zpЕȣ M +Sm$ ٘ ;? vf&}f,JTA"]2/XTVV+Bb+vɶrw~{nO#ud=LL$ ?NnE*i-@țj4 3a#&p|r^*}m&a"S+€JdVQxbKGhݐL}sC$ e ?^i9AnL}`z8 Wkw+{[R|z8o/(\.{Àuﰆ= v2u|c=:d,q1HnAE"j}[ Dg|돂Ğ[6#Xx! h^ c~yh~?'CfyW։H P|yr>fwr>l&JَB$D;8 Kv\ X[x25Py+?!%.0g>1b"u >@/pptM׋}YA(t/2*wB/eB U vr;+!UDfqvMk&> Cp`ϕi}Ã,M!&kq+-gkf/}BS:Fc܆jj;2-{QʥC xGL#ܳpy֔6J$/" tR^bкnid=8#TP#mEs&g=hݾ'Yoܰa Ew豨KJۊ6OW|lBQa\kv\:̕9,ЉȰŊ"..m6uL$1q+546̿a?]-X$[|Ȱ4h6w, LqˬC~iN~*Yc`v^Yހ&OCX6ZZPU5]^sLX#]Q:*P֛b$"ckYk$Ӿ*r|b˅S=!)֬ܟ!1N@=q_lROЗ`'4R"M|u]vc(:?prPԧyQV=/\l,IOt5P/jWv`e/ ;7<-Oӷb6}. ˼qbTc$:[8Er0?9gp"eaEoCS5ŋ@#>NZ5b %8|5_c{nn!aY u)6$+kAć(4)=,9W]UD] ȹ__~#K\W(hފ3L5O|~kg:KPHnRY} 򎽭D F"7F;lrҳGZqXRP40>Jk7xE㓣Q73W}`ecF$jؔ *X +rE=J>*ޥB:]tn' nU],|l8ǏA03x^_=IL^ݚĮ4kzdT1c]@ǥ4BFFGQ:qK!pxV{>|?|9ag_Gڑp5`x+i: ^1 !(sOv՗tQ>GWUMtA;V3•E, /Y}g8̺ftgyT_E]щlC1T2xt!+g0MeOHcYh؀2 Q\kLFoR n讻1SNnݧxJK>"wVX  3Ź(g=nXɼ©FAwщ9'np[(Gb h{-97I^Y, :mkFO6"(hteg.y3jiJX=,㩥@ڸ2"&Wՙ 6PF=^55!9T &!-/$1@񳡕6즰I,k=>m:7LǸeE)VK= D.,OFry2ԃG[,r8h]4Ƽ<\h5Q}g4tt]7jxXBD6+ èoǂ S`זp/d4E12`=~p5Ӏ]_ LrH>+'q 2Jy5 giDye内Rn",e}VI5E~|H'1-Y3ϭW]j6*ֈ/C78%9x-==ujgLoU!ΉVm"ҫ{ q%m!Ot_ $Bȝx F&/M2E[HlS1Bh YѻՍMxHfCU :utXn( g:gQ̎8)yozĂ[񉯴Z%4#|:ĥv؂:_ʹbɢ*Mxԍ?zg?-J.9 deHtT˭ۚNla"#D'{{|yor/Ҵ~ ~/P[gah>gSbb3y z.Á3X â `r̀/Ul_>!uQ`q9?'X#D,Ua z Ua9g+Y]Qj{N+5&\-B_۶xuV-v)´6NlN6I?lzv8y ~At=Gջ%59AP!"c&M\?u;|9d[qB[,ĝ3m}(DSeiFNI_f8DCT͚@J^ HÉ;u+DlEz"W gt<9{b ۷J;CCLhDZOi s,2m3k~w*43ѹl 4˯$%yDքP2LcK)gl1br9XZWj.mFj  8A˭PtZqMǓ]oޘbP#RGtSHT*rzx-9?޶h8 6Q6l+6'Nb"bvg1ia*SZ,l占;Mڝ<qNLun5=ȥî*4qjP]^RyVxoqw˥.?㔓#g螦-ZCْ3!cLH4s61#"3 7F{Ik^H|5 Nt&2NMLSm>bj\xdD~W2U(\U㪙!*rHgFE?tO$v؜F {gWĔ.Y9P b)GTe]fKGE\}5:a0*ApÌ0n84SDP .ՄweA { wpq ,^u8Lm5@HC8`Iwg[W6FrÜvl UXb=6@o P!XX.Ņ PNKZɆOז\ʩXe#Qec[^K:86[z4DNp 0bǫTmmsDJhǷŒ}*r>ﵢ(?Z42>w6+3cvl*ה ߔ/"IX5t.?`Cg+bELysV}Od)^ao5l*}&}q3Mb{~]U{ 5%h) ;Yfn`xuqaw[vL~v{ M\o6_VU,u >l,fTh7Uj]0{ԈfH.,RK6K ꍨt/!~{x*ʮK=nilnfxӆL+S{d"N5L UAe*]O)Ot]0j]1ݩ#Rk!3o*\rz68mn%_>s6R<:ټY>U keassnK UPwpfܷaWyL_cf4(x{[gҐkv~NmkA`v&3&7Lqے E0IP)#ͽjtr U68\7(QpkG`g=t7`l%P68ɲmS= rQ8@+TxV{J!)'P(8ߒǚ !Q! ʀij V<ܝvp?;P5%L)tYё8qE rP{X7*Ju9{Cl7P]} Z `oBI N:aƝU.)=b~I#z)Pʻ_3#s=K3=,89u0ƽ(i 〉E:Mj UJb;{'2)-m9s D_osnZk_@SoI8ɂ}TM'JbJ WO",I4x uq5?z+*#$_>>(˶ |bzTCVaʎ3L96: J,IGV/Z"jab.yYPVĥ_s NʶصF<f]hgP~?h7s\r3} NS>+g\w {h":+7ta'_{^٬5;ᐇΫO֐V8 _F+fv>)"srILh`6*"o _1v|}4-(ݢiwj~9]#%~lc/*9Fla- a:|:n^ J"3)R7b +CPs4r Kgޭgb//2}CR>8Xȅ)LyŃ3ظqdq=Piس9hx{R7$+:+ڤ]`8[|ʵ;剀71M[A5*HCV +]Zf[i|:DK Bb'yPzHgT|ր)K3;vLDb=fZ1d TT݌kP%3v+e2=`%+r3zKI- ] .QdtB琚s