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 h!\d ]]]HOL-Proofs:threads=6elapsed=716.712cpu=1736.924gc=217.480factor=2.427zXZִF! 9]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZb"Bp]S4s0.quoBk^oA,eF'>KFuF߻fuX5oLo"-P/!eCOkG ֬L&p!v}wr'GI\g xt(x۹0w٣: 0;䧦(Ѧ[]\Dn:W ;Z6sIUǀ_d++|nMȡkj!kTE1r%|Mܻ~' ^F uy蝁f!NN\3l8.ir}iV\c6k焔NNϝÀ[yhMt_! U<<{e ,\fLb|7opF#@1Bsw{-xr$H!D&=NIxJ2 ; 850QNoX9'U -Q'$ֵ6tѻX`??jZ/;>qXT>; >kd,k 閭2t.3yx;ی! 7P#^}@O<$w(6V?ueaY֎U! 5h~EQ:̄9SiJO ^J`,qI ?wr<*g$2GγvȄKbfAEr+ ?>=/f0?v4A2p%]fQѴ)QJJ!@`mʢGk Z.t=yGٔΧ}oa!.EMSr!G)J 5J?ȐP9bѨx rz9JDA᝗ $p&RQî7.`tv GLOI(0R353]\?ʕS;$O60mRug&,c܆!؎E?w\ T>[ȥrX}E3,~poʁOcOIP0vJJqrGf LL"U%Ԉ9Sa@L]y>9p?_SSdwp{*wE"p5XYH 束4ܶ?L!h}!L;oȑͺas3t.4ͣ|t}cpg[Ps@$nlP !>$<&gJp¾,9;]gfPΙ{e܌EM*TsY "+>jH6K_ٱ^Fzb&f{nFd'@9 $o+PĎ| @Z'T+Tg(p~4rbOA cՆFRb7I)Uˬ*  ! HOL-ProofseEu1"ٕNQ nkn&3%&ClA%ݖkp5İ~T7ڌwڞJl^ <> hlD'{_kt4Rٔj7 UVM褦=-4AC{p"<+ IΛPBujH%'aZ9=FJdsnSbt=5Uۀ**"4$۔n%yV}K_z f7~$p8}!ޯ]>={P~Rnb|w\~.' 6O.=?]uH!,3*p ڹŔQ fƠϿ2賾qi}MFaÉ|5hVՓ/he#q\ղ3*tt)ƒYطer'%s얡EsFwc{ϿDc+ ʉ/P4bT>ڲg7S_뒪 V%b> FbpD3lpEW#gٰq{@ȀK6[.;MFBÒD[,n)5 =e?E鱽;is=YؚU72hlKk@iGdto [nv44(KlB&E9̺9F\Up8fNF9Z=n* S2h,@px~ - TGϴg!&l׶qEb)v7b6s6iBB@ER2`zlA%tZxha~Pj m:&\`:p7SEn=1b9s%`x_kעĒޠTi1W [;:FN7GKzdo"! sXdκIH{ΰl4P6=Z. }9gJC4RP$ ǻpitb }#, .,Nѕd3QUf+j/,_Urõ\/Ҽ}t2-~MJ\ԫ[pir'mg'%P^#s})yD/&\r(=c;ȝ#k {NPgJQz\49eSA)!OF ۮ""qM , o$>%Goj\aZdnE)?9WeV~7UUF Ո 6b 8IV1ȶW&ffucd 1أч-~t7iuvkZhw40  }J P IPE\#Pfw ֌KztgMob(K7^-_;hi{ $?y ۫dvsif?6YP$Q$ |4wD ݅dk ʨPlQ63ۊg< a ZUQ:9Á0sޟ؆{5k7*h+*`n8NUUMk뮠?<R#QTR{EukY!\dE" pYP{Ix h{o(Tg`)7ύp̠I@}/.cmޠڗ$QI`n&vdw#\4yeNV+ZiosExg iDFpBJ} _^ҤL(X;BKH\_ײJJzkK#Ms$K՟!D1Yxǎ`3uE%Qh+Ar8z3zO rZv-'$.+ 0qu5C!:fBxUJcdyI/ s+ ڗwĬ}>ja;cv۝Z{Or ">K:}&J &h91mϑj8& ſO! S"e&B:r6FQ_2ɲ^Ku^DO?QϏ>9Ns|(Ħpl%l{1*,eIH4 ;I{=/P+މ2*| ˜ۻ"-E:=s(4%@cѰĢjovq0qy B seL;Ψ5?JD- G <|RM2&%(waо?OSJP]ցE8g OzFR;&DUz-#CۓWg|Xzs%HH{}]zlmH/|>ITEuB`1[!E_5U .QU03c^,IcU"Yݵ"Y2v^v.>Sˍ+@oZ)SBӆt?"i;B2Tln_qBJ,o.W) 6%굧3N&r, xxw(t7 4$*)sȯ$cNtzSPf4dLGIbO V}%EJ6eHG=`D}HMlHt~vŇQT~X.8:.G-ך10DDzY 4.Iw^ua YNdk3&H4cH rŧ*Cd*u^(;}Cf%sHI'Q;R!V*<-08٩]h-*DIB'>ѣئA yD?*yg8'^w Yd62KU-Cr4AgYZ7zXZִF! k]ŗXiɟ29aoʼz[%U>EM!!BLEU P+LP"Q/\R'!# G]EWCD" '6S;K [cc(~I,&髅@;6h`ꙚLØ1 (B.Ekr]nz2Hg8cȟ_B~>7Dz)b׎NeYzOMmo!gjdܗ6Ξ Ԇ٣;-1L00g,=ҭ8@P)&D_HuB.r@8,vb 3MMM/{zL_ݴ~XGIuَPZ9v8yicCU1"Lfn3*/SO<5^_#I(2UևձesK0yiP 5;$bp.qEįG MYmӌXg6%>֬ϐ*߉d2ȵMchNK34@PIDO߁SpQ7cchrGW>cVTBjtY&xk(Ow~) oq<0=\erTzI1Sv㘾vwBrـ=FfE>&G6~>Kf>)U)gI#mOyy1*5v nHOC4Fvw0|5cR$abX|xi5k6Mvw eC0 CA8NP3^@r>n>H=veӞ'V@[[RHhzȘ2q+59施(ElwJeW5AD!b1P:* H&9,~:vqb]|9i½dͅ>vB^ 4k*ȹ +l Sdȋ*=z/i2 / !1+Q[-V? Pkf-ʼC5a2j'}l֔ /g] L%X4z^.R2څog3@;5,+Щ:u%#n0!k[[RQ ļ3*ϴ*mcOx1h9T ø|8Ϋ  I!cL64.g<`+#*$nFv#(*~!ʸO=uȀ*/5jkw]%$Dq*]N.00k;>(x8NI5T2bi=,^wSr}xEÅ:cq?4c`S&ξs5[Y2RKK,9_yĴqW[2_gYZ7zXZִF! U*]ŗXi%9#q4YA$%1XHD:Tb4![Dyaf.2;<&fi Ò4%|e_ MʖeuO_cY#<[RIng%8 k{8BbyMrצUG{6tgqO`hhlzētt% zNI;HVi/| PfPuޢbGٙvAHN8: ^V^TOOR9CiXrЛrr.(nS [cmlu%.DP@ϵtiIc ͺeqx'曾Sm'*zE><(W;(j=wfmVd7uX#Ӗ<" 3=tP+[Ь8.#kcDJVVCg;ۘ]yUT|ewKl+֛>6RzyۣS;w쭽Lq&nlxc$26`gO &y6(^ gрlgb+j|D+٬Ȳj7\.ӄN!9vM齄\f`'0F\bqmGT]춎%;30F^$ lV^;r(\.@)TR[u <3 F4uF$cl ¸7ZGx7%ˡ>n[-gxMMAyqKɓ}`]l5ޝ(TGh{eZҸ)s. ,[vm;($Nw*`ZyOBA,.c,ԙH6 V0{WHdYL -+TN6dNBXE5Fi=-_Te1eMABE||/?_T *AXZyTNjMPQή|+g7bf,_u\ˊ{Aa!tat#X^XNH^8ңZF;Qž!z aJgO$j*C *:$ !t qgO eBCF[!giw̕UoJ Awn ?Z*׏;ǁq6sB4l3{f¶`tQ)/ߺ[]5HXN@ _/YLvT]zP@H$O냾F:O>jqc]<2B |3_-oD\n41'HŽgARj;]= q\aQfEl.e ޅE#BՈhq"q@3A=>Rv34hLOt]x{\qۙjyO7Sa\HA'/H `bǹw#hpsu9郿' Z4~"6nMf*`g!uQ'!D ȓ%zcϧ9Ɣ04bEY'ng9ˆHp=[k CF Wx59>>%F\cJk%$PӸ{CV'Tn/67=wOѿ^nhZ+k fY }A O:{(0nGP <%:YcMaF"JN+[q{U^mMMInoዔDk Q+9I&_kl|<daHq+APKz( wPol`5iy<~r [WJ' .{}> =6%WWE [I>MK ܲ wPკt6m5@oԝ!|>t j QjNF֩Qq+h!js  %l`,%D l":)sxWgAΣ,8LȿrG{g3Zd[]u+FtbEzpmpźKG_QL%52b3l+鳞l6P ye%}m1wuQ1#"Q@7H I,&[uʅ.$IjWn>2+PK75!Z?4qn嶈x5̰-l[.oRyBevYVN"kN5@>,2-+™4..(%36BV9BH~z ` ;'-ʓ廓ar0.H8ԬH7CuP=ٺa T7܉ fqI9/2A;x3;+:AR'y ^yNܾhƲ X` _&__{Z5Dh`2}-qv%]^#Y;ZbF[פF-ƆG 1ET:uitt G\dEC9 P3&#,*^MF ݲ"-fE~"1t♜'Fl@do5fNh׉/玃["|O4Š03Kyxh}Z ݻtM◆HUf mRac=yvUX\#] ch:8j_E}ukaׇt0{մӚƄ 7IDq `Ao]Ks J&c`~{,4-|R e6/4Tgdq bdÆRK5N =Ҏm^+ j廒AyHu|NZsPZ| \81z&`f-w? h7N]8y.AXu'1&rUThl!b1 Lޔ@ ~mf,P^`<+9t^.‹ǷvC}-f؁h-Ovߐ {knuPB,iF4&6SXvJotYzQy4oP,աoApZvMr;^ǁ_*Im8m YG<{è32S#-ʡBVA[}' FF#eE.l  {L`4GVp3Bk n3T(bXŔQJ5v֟Py@ J{zGSB Y.tpA=O±ACژ`txJ8-^F:"Kq$.& tDfțwٹwtA ߚĩ ԂӇT])ְ+[K |`7IW(<G4<ƪB2[ e"ц U*|.Hg#}֦\@hy@dg p![F_dujLB5ڄ&.$hqa]]!ХRb9mJ=&^!|~q ⻡: N"kUDznnNy"8GZ 2ZC [ xzHoc O|ؕ, J3)Q(/,|is>:8!ހ0÷% ap!8F^v[cVLb5S<#y=5}/Cݫt ;1N'dlnv~Jڃؽ+x}~xдC^i2˿#w>貁"~ Ǫ UR" ەIg{Rx:J_7݄)$} )΢K=q.g0 /cZŽIk)h?POvABLIBCOOi3eɨ\=p7?#~˦֐'RJU 5 >Ou$s_EfUd6Pcx} +jA]-74ft*~d͉T_[utIK+t-]=yb+zy8aycxs"9f:~;rx:R<~V=>uRV}1\]*8I,,H't(Ʉ=ݭFlh u${AplҎHFTo15o{2DԆtԷ=;תGfU|TўGso3ܪ"NQ%2B ƪHWٍuO X0h ԡXE+"Hluc%q @ޯrO{Naе5g5'VMh^hb2|2ٷАZG0vXt';^mxgm8[}? w#‹Ɨ~ť{~;F$P.5ؚ:J6)<9hxjyXߛ^mDzY'5awa VJz9զ[%OfEe_l\FH? (!m'E " ##'n?G 2&31Q6H0iǨe_,`dt+}}HL?04dn>MlY9%ᅍzy`t{<AekS7U cqY/'Z+"miX,-7|7.|oZ2g1CD=ME Ɨ]kU)OS! $l3'ٷ` l+8Qu_PH4kfH _ =F=E)}pCJʙ40*M׿{?Z*330⊷=43{ ND@d Hhyq$yٲ`#~Qn?} 2Ec83 \X5S@:1㋢{?H^O=̙0:.RH؝th΂`ڃ0O_YvnRu+'mT0m@)<&s #&wLtKl;qE~Δ?!HtpS6?2٥,{<.?*۟ X:R бHl~R _0.kRVPZsݩCk;J.MZ-o~JQ\D9xGH!YNo*,#Fh?(MzDTQz\c`j /s/a39^J*JdYF7;,\dV13zxl^w%ADe1UEnm8MPCGy3"|t}ڢXvA?W.TJlZ,C;-Q.5i%BRl-B|"ԃID&Ji͏(wǷs>S<H;E1Nk;Ljzd7~4 oHdnf;PC]U*/jpv"lڶCj5c}6`I.1 - Mҭ"H ߩ>Lhb6XRkLS9wIRqt ̝r6d4x\rU;}N"pgh_bOtМ,oHk|Q{.irꂹg\l#;!* q[v@խl{a; :N>urF{#P]XIDpo g"V& TU-o`Xq[W59=\K50 R<7ՅYEQ^>WW^hIVkq_jd$yQai[7X<%:\-~&rWک,תCmOVSohBF'Ũ\,)3+-9O ?L0:>ƱΌ|FY5e ōM_TJ:s) ++od35R:kJYCY357aIw(Av՟`bIŊDtpկ % 4UO SZDNZ֧C<;xMK nt\4WbnԐՂ϶JӝhV'i#r& z:+6d7=WHˈ8<2@B !}CM#6ѶeC\67ho^`фYqVg5ַH{FrD|Od*W73+M)\v70HO-r7w NRolܹPC3WՀ4@Tja3s1o,HsBm ^ij:'xx/!\WiFm۳-k콳EKm6Ob3m4tGBI3ƅY3)M>QqZ?.s[&yecpXov,"[(ǐdz͍3nQ iH{@ГK71s#TгSr*x VgwE$/SlB`Mn}U1^BkE 蛟冱QK GŤ-cN5Q,e㾻pBi? ͖j2^z->oء=Z; NL δ^ }Ȗ|~gӼ"?TgaTL{Ig5:}qE7t]W⿯P{/IiDp ׏u;HհK[Be Qα0%3 Y喽{4Xt-逊I6}hM4SRU3oIi";l <= C3FyOCN tVeJujz.wuG/=3# WIbf-=)2^Eީ J/n9[:{ /ݐ3FoK ݖ<ǙQf6RLn6~_l%\?7o֏VX0l.'"GtNj|7'BFXkl\ȩ)&1\!FKB[gWѬqxS+TCA;+tcRfq~rNi=GUȱfx}N0W:'ws7kNj4ql{E>2 Mcgh@6!sD8I?ȳI͛w%Ta)>HqQucYsovn,{['EhBY|$-2mWĖ#R]7~w&^=69qpb 03^~$MmVLspEY= ;-Wk"x"!od*m9wS}ǛK,5LX7ևqX8~=4IY>5ϓ-qE/yP\U#ac.ZàZLWwNSGJǕl&gL1fjc=Y6m8g򆠩t c<ElnY_`H%Og!hP3~m5P=\nwkbXg9|b{Z7~aLxS߯;,OO4.-nSuގg| `<On鹸4]OE3 !q>Jcs5$]١;R.j Jm }Di}>[&`HBAB3!VkDYCUTF [ObRV+ mm=<6?>> XpFѓĈPZ=B:T4.\f|f  qƄR~\|8*cSQ= zE'.=]F{D7{t!ZhaԱ⹈x7K_j>Nv ? ]i%Β8iDm9"3bS;^$W-c&~MPIΗ 6mtH |rtFFzz aU +HVJ 8⹳bcu ~mNء.T9Vqb+m0#L;K/pLqQB4ѻkn;ݠUJcuwbq غvHQ+&kcꊴX`p)O[jt]^Hί]~{3厾q18iSC(\̳ զg"CqN([WOԗXYbrPN6ok=B$8xWiv)Saoal]) S6ƒs;4R ihK5}$iNXY^9E7itq*%Zc/LĪOItBյh\Ba7(C!.&@@ s=1M#r̓*#bkB6VN=|Z%X7_^ϓ ~dEE&^mF2 `*3"Y><v20Nu; 1F #Fn[ o1+=WAy%1S6= vQ<}r̞S>4֍'=ˆgub<-?_+KB*#Wgڞ:)Ea8 V'B۲QIuQ_%NC٭B<7|O&£|o[ u'm6fJV^#T&NVu2kqH|qaJB# Vup/~Q3*E[0^թZh AA%'Ur/eAhB&:K=B*EԢaa,&]3JYz} 9A Q 4 Xd~>.9E}JceI^1tw||qxnrm߻h3{yRв5Sl#!EzZYf #=R F.B#HTT[QW /`)k B,fu6@KuJxfW4X %!_ i09.G;S%M?{[&XeYc%DYzo}&uS41XUSANw#h̪ٮ_= xإٟuܖi͓Q-!lQAYŽ:MB!30{ÇUw ׌Gn^jȵb=Ά\B8W+/nMw| t8{7O~8kߨr[-4ty?pt_sm.B2vjA# Ih4m;t3nZIh\,T`rKC֝Q ._:;i1;,PS0aiaDMiDs|t~X^to2;8jc][CY"z;hOpu0iG,boG4osJY95s?ǂ_݀mA,b`%*o%g^Y8#Rv`WevN#0t{՘|cðqAL3VCob*HˠVaoV{[xwV?瀫%;(!ekn"3MR.`~i:AmFp['vW"P8XǎTMn#hKlx =K@XNA G^p)C.Z1 fjȔXF}`=J1T0Uȡ*:O?/){7cޤsL_Q?cH)6ı l7 oqC= qN\zKGKFg]'Q C ϚxLQ>yX{'g{".V}H&Pz7/b9Azxڸ)MqPDa1I+W9ym1* A;·y a ̊DpFq_0߽0j R@. Za;∊]9 e@ڠJ XaYvk|\Ǣa ,R x8iB-AhzӪU>^$b5(vb|YvIfPAڹu`Pz=EsEW@:w|9; VM1k=YkTxW6<"P;!M" `pnYq~_-vSQ̽s>p g;fL=n>_tGyYahhK\%(&lp,iqb֐!ɯW~Bn&f)i[hiJ)`&1Vmt7҄C|K=e| ߝ*>,_o%o,Hf~9d ζp;R| c͛iJ&;Hx+;Mwbjs&TS p>g .5?&r_jjW-^ H.9=kb~ňT<ӣc[$M7PTq*E[Qnó5,Gc+. ÎlAC ɠ#gPQQ_2Ip 䐁夗p*!5 yT)Q@Cl&`Dr Jx`"ɉ3iW]1=`%P؍C_vKKA5xIsYb{|dH*ˉ Y@2#+ql^A׉~%efbb@hި OkNjD@odZ#]~+s4?RUf8~pθ'1>&b|.]))4& e8xUgOF~(8;Q^tr.x͏vrXtjIJy_j4=ꊡ- C27AQD:`:mg oPYCN Y~̜`s@;hfַ%97:iG=,+0}m (WTGS#߫a.~AQՒv@"!Fy#1>]fv_=ބ~5DăWbYhQ-.w2ۨ 5@3GNi_(:gje+q0 $?T~v\6RlF?E7Қ%yYsnɇѹg,j DTd(hc6NA0Zj{L1I,T2).%EQYb%dR u1-eRF|5}4?hn?}{|@}od{G[0TYPPh]ygOܢMEĢ^soZZzIIV}R&f$< 3tHo5IPG\eO#䄢C8cT^i hIW6ڏ+Gl`y˅*JaFlp,U.wQ=Wwo-u9OdB~-"*C)",xܟ%,灿&7o\pyW{%p /fxX C܌d,sKVu|~-/3Qp)FLo VPq)v+B 4W45[0}\q(b>;R5 stU廡IRLHE~s%_ a=<8juko-Sy".2 =Y*Un^r026\$af 9F3T\6!&W֮/X ve_T=Oaeْw H|cc:ڕFO̥ST2&0;vԗRxy<%3_Np&05 ֏f\Q=ߤ!sQ|t;j2užԗk\ʺ>L?de哜XlĊx{Sl$+>/2F,ZԢoل07,L[{b= ֍27͹US:aO!C2MP})e"1D:>tk/|T`+ѠnP>\E_UؑC+ڲaTQC4C$%rp%FW^?k9\>5*\ƙrF՝1;zǟ!5l-a1T(Z_)(RJJł;Gj#1ӥΛ/gCY- ?skV@$+*H1]MU?`!҃EYO'45Ť1I%q?ñ,`CQmϿSd6N94S,*`CYM.%8~$ZXsµ!Ov5huy$dƅ!)jM&q&7GF-0XW$NM'd/Rǵ1x6B]$Qxˏ-_]<Ӹݠ#xH"V 9k[ؓ.P>F((> >4 C?weSؽ,,"{4qY EE*x#Oz/VR>6N ~W3IԹk 6TuU{}mVIyAm>r,7;\w'F5p^EUX@.d'Q"}=} b͆)mHkg=4RtN$ k &*<.>(@={ 8#rv[OD =VeZMvY/ἫFCeJiz'RABSmdǓG"C{SCu懱)֋kO@){-GN^KXqsm2د3=R; D4h#D4Td"ìvr B89u;D9u;b @|?? p uFxe2˼~,[*Ȏ/Q! Jj^p+YD>dXH{<ϥHW?t"m¾`z|i9< <* [' gk:WhR&&t L&261Z2 .ݟ1U/W,iiuU>*$j-aۑ߸RQ0cvI@ 5x-#10۰Vq~G-W,w3|?w%#Q(ȅ+1D_ЗM==I~Wi;/gd2G d@WӡN Q:LBM__H=O[ĥ,Mpq6NY 4f=TsXF./š X掌 Vdm.'բl{)t7M* F(K^kZp_= bkU%s)4k&4ײwz ?oPy Q[h!D8n XSkuק."5t\/#+C+|ߥc-d۵h7𞠞c283wz&ZEm׃z@͝ux>h1Y5ƈjwЎ Yw1JtL` nX*DWC]-' HvH9#y&td׷Ok;*7q)?G o1T@Am }Qg${BW迮aX,Lm`woˢEEjm"G$x\LAB7|-!ҹyM?ZrWswŻ }+1" 2}gۭp҅³rPl$&jmjo<;,B#īIe֔7&vd4lV3 ߕ#i0%vl@FzY]I#פ#Уr:-]{;cv V 9 &emC~2L75!w z1D@/U14xr4Q=a>a*Y#ws)f՚k9z-W`%`#2:U' hz5W!T3zY={zcITfy\P`gR`G~ˉѳ43`jHȮi E [seVLI;s$@̛ _')h|hC4EQd*_tsQsl}3CҚ/__*rB CnD5KyC+:GB \;㽩E I<δ\-T|lVYyq?9 da_9^ge>ۡXfxfDqezݖrH6f_C[j < ׼ _GbYWr+62l6󆖘F=ʙGÍlhtVw$ 7;{ w^ $i ȔPSAA{~R| N11߸SUC;:\ 4Af#YlŪ_Z}*xF Pآ&b^>=EL'E)f(N X\>CH&[C)f@Ʉn[Y05lwY9t|Z*2vfqLRi5m*<>]Ծ'6qe{x Q1*ͥ~[;}chw5}7^NKd9b۳Em5eO/6s{dI5{$41jVHO }]kơa[bw1Ō+qo? ܑ\:3K5fF<=$,R!B672$ x)=wĜnbVxx_)!8DeFx]*܃8,ERAf0OElj+|Q/J-D!5 qA<8ŌA{ @gqky!DH9A)%D01R"A*[G肷~ T\ t8F4S ~_.j-D;~PSap4J:Z*xҫM8A8w,dWh{9zt\H6klytz+n 7up|‰~`F}fk2q4ZLBgi(\؛_bTyUt Bn谑TkoYk 'HLcz64P'P!V윇08:A cbg]* B99Z."2akqͣ@vة:;1g{-iReԼt08pPRGҚBjw%xl٘{A κU,/9*_K`Rnyavd^A3ȈlvFCWO,/t<2]<}\X"VPGm! {6.I+:!"ɔ.㽱*t s2ǩ[zJ`?!ic{)I;zqH`$/2OxJ" y!@%I^yk^Gv+_on͎]F(Ru b2uCq!M!GN4uoi5_U46uA>jVnc'.*}~! }vm'3ۡhkkc5io0dx~Eb7\ k-BИ E*NvL'مx]VÐՐium`4Q6rgU{G(y&i+g$XABsI%f U #T"ZQӂ7˫='G)@" ;W'o ݖH1`bj^w~ ~O}`X{L.Ğ̲r}Ȓ[s!;O]'! T좤 $3kbx*N;mP $ Zh@la$xtSNf<&͹HLvtֲaCxƳe!{uE5MO]I~/6U0 Pj}G>_C+5TDUXT~;4t2!U"\ѬOx CoRK5R9 o%.fgbt`Z08vݙE껟BEku ss,; NI+Q|wpz#k 4]}67󴉈gZ>IM$v[u] oPgvlHz^PbEav+45&攑GR5 &|עh]T&:'f36}Yd@Ȧ _ rHB:Cx+ '˟4\OW -ğ?*57EٌEBz肋 "!6@#4HٜH-n)21 oe-B\k:>R\m>H#L5g bK9}gdYIZ7Vsc W$t[_vo[΋LUݑi4Do2JawmOe䙱#<E'20uc{D ݎ'{JR q:Bʎè;8LO])hd3V9;&},6 HtIO>Wa4t+̗S DRwV:/r?o ]S$?˝kxOse&gcwNmwጀP~BOP s6Q/de2'{IyGCpg@`y_]zM5Mk?7q{Q"ٶͽ''>bְ\r`iV%EX<#kI51_DкePio2YVNS)2 uJcBAsW>@x:#V"V4.fh|Նx򽐇o!te]% T9$Ր?+C7@ş̛|::=]s>~Jt.K&_DE*p},GTdl˲UV8 J,oTAi`ީӁs.n9%̲~KxΤW57338IvL4l{7 Ķ<AMZ;~^1@g=/5kp+Oׇ1;.TJ!5Q%H1 u3fp4Òjj7 TvƂF`/#FhW5.$LљJ3@#2^())Ʌq)Q]wƒy4mZ1g$aJK++g w7B(H 'Rm y:Iky:_8oCv!ۣfsTO1=9Lv<\ȬÌZʌH!G!#/=RDb<blpM",-.a"܍]ICh2Ushx2z(rk$:kקwu'rU\ ';8q;LdI>t>~!S6'XN[=/ }ɒ4tI&XPOTHknc~m- XPÓW|l cJhG3IPR8,"kbRg0')yO֬S zk~<ӆ6#"sIhAuDl%ľОA3ٺdQ;@]դP6{eۏwF<l}Gf&A\!h <6LBGY~59֎.;[4ۏP >Ir>\{AQ%UE{X u&2t6z2tO?!H#fXٍi])וݾ'd_n) #v\X`.Sm$eB⁔)Ɛ]FJ{)걯4GG (JukU-¢셸-Y{E_@veQ%1$'{_0NvJ2#(&tDuIv։yȘXA߯8dZ44jFSo=h6fL_4Eh%ܙVjRBE:'xWeg G.2 lu\|rV|̻Gu0VpYa*(h"V"Fh k) 7e5)@m~n &Z6hV{!}G5=&=INpW6$|lWxRZb<Vr kz(c;w50'{~JBꠐ³R]g ^b=߈W՚O)E@}]߬P~\ ܎ ǰ^+}'YA)|SmF䲤ڂٮne 0% aI؆: [DL&-'27Ɋ !=[6=$B^(4EɻКhLT\~`e^p!0l%!'lDuitgG4u̹@_ 눭.1Ѫql6Bv?(p1N<SdHwjplrЌWQ7(nf$,6hzGF#)O# f mD,'~0HuWo3n斄SVc7% V{rC{'k.7Bv$~21N"sBǽE&\qF2gΞV"%VX ^mpdOa[qlޟ[N e~Fp3r061nXe^M'1؜ \ 'BjP{κEv7ﳺ$2( w+D0 l?#1!"ޏq1x-M56U1jIFAI[!b?-|Xg}W^O`eWՀڀ K >bv/LΘcXyE\;dG9&!=W?fU SDywXWu)[#9d Y9G"HNXDOLD) ֣vy݃/h Q}vDdu)|ŴQmj;JN-Z`Rv/YU^mk&umma:bEj=u9Pј!~O~w jHMP8bD)ؗ-i>$۵$]"h1+AS1mC> -,6> @o 8uCEvXV͋j%VCU#q)Gt{/!jX}2&2vUͱT6b#J4׉ $ wU1.y;XQ[jٮO:ϖAZk'A7b]bwOs[lM"ۺ'EC'53D-Z8"?^]lt')@::ZQ^ 8WC,<"Iu,34hLw5ՒgOj-ceKo_ &1K(b,W.e/ XR%,AQޤ:v 30!|-=LchkEpV^N*E"tLD/T 0TxIA[vCӥ*qU=K( 6ߜaw{uBoRYz[,NuwM`_) iVX&=u *R(?I9^tG=I<#9!#Wa|,6M5u:3L^Hv`5j 인c=4ihF.Ivh0`c O1Nx\0 Fnaʽ*piZgN1H.# (frN06H_$CCpv; eqj6 !lxʔY v킵V(>ID% #dSB*r^ΐQQoKh\ > *ce M'@D'L# _A" }gYuGEsCoU:[DŸELbGpϩ膄$*Y 5j T]*3 e|б!j56$:~.?um3tZ,I1R{n ]-ʥB1˥&8pl>ˀ2Si#zW\xFr(O>A #T nKkL㻱2sPw̞~~7Won~hYkȑ?;qtZ:yx$O%aيP',Eu EuS, -dUnu-fJNg:L4Gu9~KO20y%j@Y(QF,eSB]~$s:bYh5V|~#u&g~;:$ؒ^QР+R=ALΏ鬭u1ZPΥ.ߗo CuTʂ1`dKz@KPt3(KSP&#+D$G/xsa| I#C4Y[ J]'ù*u,ri1^Uev/#EG tkuonBsn11xMbH^K?6{4bp0iae^wuBLLjru%% rz7V ua6]&_26񱇶w]^*A& 0-͢S`^0 Ѐ?6.!q]@PUśsmj,0;lO,ڰiJ|\=ދl3?e|.&F^xt1bvwڵ -F,ԉW$y%i_.<9j*ZnO5-E:iբ:Zȟ)G{aqr bl:,53kkSQV +#qo( _1 ,{Ry ~/״RA=I =*v}U,xvD\Z9{w#Yܡ=lL_k\2 Yac.%:/(-` YDf?)W<>nGv3Z%ࠥ*"ı&B9CznՉ;cYC\YSsnQ!-Nb1qd6~?؆} H"(\nKHR)rlyYs-d1G_E74T i}$A&ːnBj2fS ՙ̂I[ԿxTDwUˍr:mu^tvQ9Jf*CC:ĴeQ֘*? xqӑ`B҇udVwS*#R3ta z/MtQUjuH?rݴֽhAQ|@ny[5Jݏ"'4n/7,+6w1x1JFc/(" mAt= Qwi%q12] /3-42#߯ c9rt ۀ'Ayr x'zI %`Od:s>.Uw^d'TvUQ1Ud Wx{tv^%81nIDL]V14jN'x e /NuԌOIk]]5Ul y &߸S{Myz8ûgog\G0k U