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 $!4 ]]]HOL-Proofs:threads=2elapsed=967.800cpu=1729.964gc=197.232factor=1.797zXZִF! <]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbJ5۪6h%n:;NFe;IRۧ}GtGTyZn5EfDB|ݩV$0n]: :W^Mk{O;҇-0L-;f8<&}nt2zå 3+lmo,ػCH7XwOw*W)fV215<6^Ůu2pD> K\;*HYzniRI$mkB2q 8$)\ȏDDzD90vlAAQVM_k=몣8J AnhjvNqt| y rXW5d' aTIdhPf^7-#Wt Gؒ d9xKp]U$o"={%},LMo>L,Kۙ^IX icsJ)Pz]S}hql~w\ȆezӊTi$3R/l@Jb)$\wc*#rsY  6" w" Fm4@{mC:2J*Li (>SwqkI^ >@IcdfU Ț ә7Daa pC'hm'{40)&~%r==LJ\IxL[@a3Juig:|/A3Lq؅] + u2V=viCk3\Q%=}9]ȄxTT+M x 53W:O(,|Tf6rIA2\e!?9(!3-+R r)r)`"X>j +B@I;ʄ"L>y Hbt:?$!>tCCy;Rߩ`A&XBC~0xPAC0ɯ_--(W,s)~xn0QVjEYq Z[5yxNEjV3feAʇG$l fAG1h9$R-&ȶ>0!Uh?0`CYn;<\U0jQ|b́[Dd5B*n qQV# dَCA6Cs5/$2kXm>m\n}IiT{ dW mQnh|Z==$hO8C9Թ~s|m 4N#p'FG%1-OzؽR]WIuҴ^2L]]}PsiFFy j誜xNtXin l>g,/hE(- IIXM"Bw܏L 'nC6_g9-=>jG8u{0Vgs>F9AF:ȀJ{Pnl9Ewzk5` |T=irіҽ-a3T5fģ[8JpBQӆϭ&ӕȒ;$#)qqC11)PEVW4  ! HOL-Proofs'iWA?;m<=ERQg>EOLXjfEo~?hEx SGD׬k^v՚3/=Z++9U;Ck{} }WhWgH/ S4Jt/6 !:7x-Vů C_U<ޯ 4*5Vc&MXPFwQEڨSN F*'tynsbߧM{.ۓBm))srdydzD[90m'`.(T|RX ju, /nĪܤ0!T:iwyqifmK}$6$[mJi7y_҄GPlѮN 7a,>OU#UhTwo }DsALˮb/uizm6Wџ/TgYǸ_*s0gVͻFI20gR:㾂޵貈 R;80SXpEZvZd!$y~xͻDa0_"bg's3*;\KHKi ėKH$ې(V},ϖu"v5r ^ͩH"*@B-jAPOi7BRU^W9vȏLpjAOGmpT>YLO9M>)r9>q:fG FbL#geI#Wg z ! =ޕDC(ҝ|"Mp#]\S0Ppq'0C;_qqSi5l̝ l%VN᪔5ʁIM0sǿ\~ao} 伈~csW7Ĕ"X?nA˞fÝLGl;,l^-Qfn>DH c@wYo-+ uߝZgшsOSkY5m*9 C1*2^ g -!񁙑A6 ~xӀ=W6#afHSwzLOvW<K?JY zHRz44"k$3cBR3Df[[3D",UmѸvR8h+%cmH}'&)jү5Hk^AK"muZW˞a:^2C:n[wH`7`^eF;96S/jBE7Hz.믾?!!HK[E~];g6p EM!!*Wk^YӇN<0:HiةOs0M\ <5υҽUD=ׂ4<^8 v~&hW4$`&r'm*p=kC8*;آjq\67wWӨYKŠ4̲^RY1GW8’U\t[*٦Gj @fN]^ITR($a2YP6>.mŴm91%Qܫ)=m M=_ nՄnTή}z>'T-0_.)D'_|=RU3 IO8լ,%1l;Ix̽+ G|ggO/olA*GF=jIf>oUY7xCqQ7 `nф5Zȍa-@h>"꬗W]s633gԣ%ܤqFUY(cnw$BI~u{V Thj[5oݷdh􅄋wCG츜Rk78c,}-FklAe(:7GdlPӺ\H Sɿ(:pK!M| `Vw$wV]M6_.]m2$<<">p+8yM!F)_o1eJ_᫏t2@"MMD:}72Esew+PAa3rY|cJXE3? ̹}To@O >HB5e:Fgw(` jou5KBkiRVADY Dhƒ) ɧO:޵cM]4+))Q'!-RSb@ PǓvi0/Kpo!'QJ2x:ίO2`;o&I#2 ͡GA1X#ؑ/dmoI%HuXBVK쪞\"Y淈؎g7q/:PLZ6XaU/@IyvB~VSo҉_ wI|7G*-0a]GNUi}ۂ `+"zkU7/]̯7$igMf^BK'y_ӝq?e4#4 )N,Wel9&w.iUxy'p[\#%ZI S~ChR77E?T,3?`*0q}O)UJɕk"^ WU޺ژ̻cE4~[ EX`\%؝8ypZhC?D*>6=UI)M4/qg5 <77A/}vZ1\m{n<n&^lGѰJ^WȄ'.BM9g)ª.y1lL"sV,={P=N6 5]ob0g(e8fgV1shwS/Y-ZViA/kI%!#;;{k,psӛxift2R7 f#xҤO֊f9(F@V-%\dusnJ鮢(Q.o'+JiтWlRyI,RBܴ(ۉJ\JÅsLr}_.c>݇@n"A&a w:MGͅIfǵBsW* :#DGKU]Zl*J=-,qvWVBtQyOj$)GHBj~Hܼob ˽m.G}# {'P8)K*鬰bq,K+&JpHO|wT@+.޺餰%KZ 2WPǪ~Z( gaLXNR~W g$$)Ns _%7 R* M+V=^xL(KZʭKGHS|L]kE[+Wo'>t`9nB@ޔF6ҙa`[tN-AYsPzL:S: ^Vy~~'ε xi8?"T=&c9U(yro]=`WuQcZ Ѻ=74 =xJtY䳐ЍW(Q[q{2g[<,gةT#M\fٌaj90qW<Z ߫蠁-C:vL"|>IW.//]Նdp`B̚mUګ. Qs%61mD[҆G#R8~ٕ,ty\ q^10y$Z5xۛɆfjAqK|fp+ x{?|#W3d=u`PܡC h( *I?JUTQ [9QPh$y.xQk~J"NeCr#6xΔS{E( QNpoU?6"$H^HFr%zIrfhNNt)'91.tYS4v ƮoD?=p5gm͘:&!syYU=!ZknzI!';(nCg&#|hIAEIWeҟ#hn`7aXmZI!`]M#dEfa^4Ӄ-Ѐ憏Q2"@KU\zIL=yb1"#s]Y;D Q2hp IlҸ`Œ>HIЁR3;ux;VTTTc]k${me66tr=Ř)ztpZEi,}qb. u/Z*[ays | S XO4tԞO=:0Ϙg:9"?p0y~ODj&>g"^DflG@yOU]{~uYzBrkf jY]X(]Yp!_kC (oȕ0z = jKO2-7 F_LA~ܑ=zvfrnz^o#Bz O)o=] a)Z =-cՋ%J`zm8SV1qeӠd#Dˍfغ]L>˽&$ )?HI-Re;bq<YHb4~<!\td (Ns+:׆wYRb1'>$a;fsg&:$'OeH&oӾog^8 S/Űd鸞0y1%AynOl?$͜~ֶ> L{?œ h#2/fI?q[/J  W|wwהV#wmCP*BACD8p=!YsT2%F#[ETKBތRfNi0ftR8Ҳy}RpJ>0/K~k-bGI*⌖꼅qTTҢ?I֌\P6JGG.\{O(mȾj`]tSNȻ(U\3fblN k.rSj>6>$O(FviDJdl|X؀fvԤ ^f]C+o'Enoω{9{[*IxX_ͪs_΅] HX*aHeٯR`]{3EfLV-0UTgGN, ۉJ-bA4WLjK˵gp[l^=+m.TXƑpp>(fI?oRWS%Y&"ўi+{#%%W DE)i`#M[bjD:=<@QNF0jugKPwku} _`6dBZ9۪}H &WnZv(g}$*xȽ*PځG6@klrPE;wtTzYmbx 5%38/YKMBhĞFGl# %ʱ-8*YZ)_AìA-vv kOdMĠW(>ۖk;̈,~/:hЩbr=Nvc@?#nye:Qw$` Es {M7P pZ޾9R[f1ZOp@)ydBFΘcL =N"EyQ[;s9$%!8Zщyߊ++b:4g(%{sVPD7wS۱c@lަicr*e-f;\A`7V .&>P}"k +Hw@@zϊI.aufoD)H^br R_{y"XSc^l=^T]= 8N&rgZt+vZ2j/,Q\WX|*6{|COz$*G~#VDz 򿏓k^rⴡ^uɫt%1Ի6/H>^A 8ۍd oiez,QЁy(0d84Piڂ~p^W8 ɴ':NB=8Qgdh;o]FDJ aLI33ؔvh: vU%5Yƒ9T>cףIB w[kvNy~$Leor]njUl7[_} 2 S7e{6iJVss VHmT◎Kp7IBYL|SL -^"^:aJuxYRt949<ƹSM^+RqMTz'$j%:"\׾=25C0-.^TwP6$\y7& T " 5xeN3h2j5x/H(yvW>1w ]we 7K=&(Z$gs3of?ܔ4k2j˰7 `zԿ%K_R3~̰}{sC{Đ893TWS?ױ!{.nb2w<[ؙuC$K4|oFΏQn %9l'`L]6즡|DĎؕ<1/MXdFW W1+Rt?^)y~=LF!0Ԕe͸(j'hӟm$cļmzt{{@;%D!l4RȌo/7=,=wvF7m.AK0> ZbW~3Q̹d ʆy? k{`?TJ xE9:! &8<3 6?>4^!%hfo%SXx W2Ρ,zP^_!uhrWW*^d>+EXlv'?ȥ>gԽEEI5.gn+7 `%$'W8Ε]Eo?otL%3TqpL]irJGSC ZUm%"$ ΂*Kb+B\81c\ky+GUmu]X8_e .ټcPظ'84v2`VX`PUshoĞO>+(| |D 3̬7d 4<;"m;|x!,wϪ_9W|p,VHUZhM&e3`4쎥,QTїK"RGI@MoC]6;LƽtQOʂbqk.. C0JP SN[L'k BmEo kAa&Հ@~x/Lԕ\rZsbQAta{jz%=}mv'l[W=s鿘Ԛ [AXm\_ @!`tD]4+/ѕ3Ȑt{PyKUT8+ Mj)H;5 nsZ ùٱɞ0k1Y8k7mRĽx R֙ ѯ(θ$q"  ~X*ߢA~>jWsQz(q.ֺL DƾJ *egMu7,-x( +AyH^D$ȂNo"yĒ25E fg0)rMP8B C` )!Ԭ,hi+̿xWd u»ͅe:0i5r#4-.)%JνBs_R:?FWǒߎ_CԒқ 8!}'C z%r@QW)Jt5 _}K yRwj_LBQ1P^аmKstڐ,̉ w7.E,Yߦϧsal;m3$;aq|M32x13X"$6FV %ٳqSkDcKuDnMTEc qDi+AٿЪ*5A r_r2N&dxbi5二+ev鑔>擢d0C46))d%SpE8&bC~9LJuI--Cdt~{@D9fֹK7Dq5KNC;BN{5.4 3џ ]t# j/"zZgOߑR'U>Z]ioMTq\۔'@־Z w ]< "^Up.5XۋL^:. nGI#C X+;J6PFP#&^<"[oA|.XLU)?v!dXaދ(ULUZ-E8M>Gosa^' -WU!zZl 6\*)O.a8g&X s6lЭQS:`MQJ0Yan+j'ga.$9H3]o34CE_yA2烯tu3mbh'I! j.Av?5jVΐPp [}TX-ϰx,j iC vYuֵ$-gLx<tdv},.:!q7JEڹY.lPy%(VA xAb gDA<dQ?gyvZ0<WOkOED.}1nN _SԓUʠD$STo%N A8ڥdE>]ͧ|6b@SҖ:[7ܩn"8bu@Υ-[4B,wUd) 0sS\J_u E]-~i %w$,!BD]j8ݖ"*|4!8d eP#us*^?6TAʿQu\ӮUZvah6*VkWjWѐVW ,$oK>6?Adqh#„ro;FK嫳$pfhP-9p {.W6xoi]5any݊5搕:Xwήa*ui"BІN1fE tpDS^*VZ)~ LRo<0T RA:GFiŔ)ߓbϕF ЍO޵Hm `A,8F/v)Gs^RΩ]%}U"Vgʂ$ws4Xiړ*yqhJ 1–MZJ8KggiPZߴ\-nE$La&~Ӌdq}(^<<4+F ,BZ->7[YϜjFfsQ?3]jOT!gx ߀U?$8a_E?ߋ N_uyE%ZkO~ ݷō"{>*P&ߚjq~H2g !+OLf8K矽*Xi0B7\G>k\l@}1Z̼9+dr._j_A΂s=5uc8sCGW缇ܤ̢bvD\aQ. jgWmkOYFz?+l`0˶+K">A1ǽ?0$/Ս|11UsHt,J_)rO<36`Qo2YNnV,(+>pdF˦~AUJՍ I!)Y.Q=cw5̙MStwVsT=X{F?'wzx&$ &^ q}ƌeT6v=e|)L?0z563Q3`:|=b(sL E +vsh@U5pz?t/yƒ>44Թ Q 4ėo<dey6XrࡳB~NxP/FzdQ p~:h~ק6KXTU`V90zJ'w(|ĕ;EtW<%1+/\ PS.S}3~dX)(w5ƟO!)vKC #F+y0.؎m)4XY=sa"/.t 1zV9PA|{7E!Z}2ak 76^s|-k1a;Gu>&&c-AbzR^C>1=!30+  ]O!IZox۩i]H2=/L|qE"ʹ UulET*axq?yHT%&-IUqN O)фXkl4TV[Jb,5F`k`W/X)Du d:ng0\ =ŞzYǽJnA+IEhk@!?Ȋth"=1bsd9tmİhD;c:z F"F&~gY(~V @䄩=u=v0 i4p=.2ɽo7\Zg3w1En#tz/IPdp{@FGŸE+VҎ"o꫺X7(uIKRzP8->2 Ї9.6nnSVɽYe\ tdM#AnOl1N6y."C6 k^U!0-H(A ˸?~NT`3RĒF^:ed[t 2nEƲؘb<#ӗSA?`CljI )am(&@1ƠeܗM߯/V.a՜ mu.GNI(p69iEoϾSJ)쎝 ܉,31 ߟ1JyӜ{̣ 5揹v+잁dV=drQ؛ȚHvЛ|uhZc =&^Rvs3YFn-3 *XȥCn7CB"$Z@rlXef6MHtՒ,4^5GM)k] i4E(S8"a+Оh7iw` $7մd|H:>14tݝ^TfCuq$?61H5"J P4Žv-ߪx!rb /ƓaƹaޠfԫILxe8@YlyKo6r|1)OD{`_.{ TU !h aIh=ʤw# (0jX?IQM,$_1և>PՑ̂ï0TCc+~n*~} ybOIpߩ?bΐMcl+6=zN_e)zdvPeMABgE@{N>#9{=$맧.w=ȑh5~7Kgquk DV&QY 9~ |Cp޻6`NPXj0~6K=bhHJ/St--@nY9)AXA@*/QIKQb9k  \yS#5jR%-]Vn@b2kD#䅛Reuy-<`Lx zN5~oknb ٙ;kû& Rn5Ct:Jz-sG&Є@j6ڽQ턍RT.~K_Դ.}f1uԼƯKD`Y4eΥj7L5vIX wI.^7@\MJ2dbrn&IPY;8iZS74ZD<9x7sBE+_ϳP2qb~3El/칸띂g.Z@t[b52?Ȗn Wk0@J% _&vU?\طXdЋx1E5GN_04 f&D Yy45uW)߷r %o:QZ*ŵD%57gF ~0d\b׽JG%R7s=H6FJ#DvTG(?@@y !%޳,g% ,>I+Xx\ve$}ݙa$H,bJTmV 2!snv[Cd-o3kYsP ʭ0r6T^ L%IPgKj{\"/& Excg)Qq J`ܓd?AU;"S[C:֥WGMz֑YN*ۇ&Avp9dnfydݬ_cߜv=|3 0URQL2ڕRgxΛZ6 x4X5=9&vhhw,'uR|;S @uGo NV!Q pAhm>2]߻ψ^ü1`jCy``+ռVI>kr |[%=]E,/)] cVj%{K8XdSˉ$@bVE#YLG(5T}e4ǧ$F? _0MAȫ88W{d"u)k̰:0u*heќҿVO\H SQES$2F`a f&p\AIj5P2+I+k93,@?9@!KI@,?OaR3ŗiW_.2McP3=2C .&Is!gae$Ƌv=!>̚hkBX-p^N8Jd3VtLI|L]U"C,+ n\]mw[ۣo(ߴ:!3w&i/-`]G{&GE!nq'(Pd0?U xWOuD":XK#^ *8N92mϦ1ŀ:O.Bڇ-AnU~Tצ/ui^(D(nr!/YswތnHXXDFksi꞊VJA5YTkY sǁ{m'tji])[Yi1:=Pl9|dҟ J`2!iN6aIY⸒Ue?\hSL1ř 7q^h }?%|m}f 3Yۥ*3-zNW9Cde֡<P9;mҺbOHH2;mqx9X~~nXhowhM Z>-sS~V7A@S?W5h U'۰ݦIm:L;uv(!Rot:Rsn/Dd T#B .Yp]7˾?`.K"ΐA'KzKRUG^?eo- n?c HaEmW@U>]7ڎ 0(MN(ZƁ8rxR (,zw wdҮR}^hݹQy tAqhv8/tƍ-d@!ĵH ÞWX n qc!'AQf*}徺y.٭˚"ER36_ Xg,#׫{0mYr_Gh\X(=J>P趕!$*5"b]Nʪ!42Vu(]7 mD:ZaZ#4;F0)j8dh"1aY9OiېJ٤K_ك P^d[#Di_ao^u>OcD4p1uSrp ⥚< EyXCXPϻت+1\kYpC̅R5\F&4g/cpcעL,g@r)U,&$t_Wag?ZxV㻽Q:s@t!oz 6Js#%ɖpLD)KvN. JE?'{怎=*H^> P|s&0x?!*R0]K"_B=W&|<+h+B>8CAsB i!xBvuck^ibѦAR7ɔ"OjRu c1Gw4*c&JVi};G!R>CG6qaT $9*:EW zbKxi7i/v~*ں[,`&K+ ==K'xq*~T3&ͨ_Q+Wgf1]->+'H?R9"8vH%'B_cV}洚~UhCW9tx- E}2ɢŦk"A{qM(O} W86X~δI&<. 湟%jKNsvعJ&O~2 p*4XX'؏up,C9!$ 7 w\oJ> TUü)gΪz̒ ě1wKzIZ)׿0Ҩ^ 3<΢Y^0.[rQHrG؟3g?:>|LRy :5؝>@p8.W!󩒶uiTTm uTPxqGMf?!KX^~D >5ee!N5+,B 2ԷώuVuf}~0l(C_Ϩ#zՊ \tJ]$\ @¸ILMYR: 6>pv[v%ٙK8v%D6[ңAkCL]/l4cK5M5Jg:X^p" G}Ĭ}h^.$MuaY4؉<k^{+ܸeu ɏg@"^* QaLcB4#j+i@Juve+Ȱm஦dzvfw=wj`'%d 0NM;p9>*^tdanwt Qy'7I&Ȣݮ)l0kCNJg}ξV˰zW7 3C%Ua~Aiw4LK}4JdFowЧ.^5] E\DZf 6bdm zQQ' j.7T$h7n~oȏ@^hї йlQΘ=YlLv@%S5Z2.pNVlk*wcc)Scڝ&k=IWW36xwK{nEM{ЗrH DIb2;6~g"⣸BV, *leRtF`:d&Bo0^4u"#ޜ’h鼗3J $:V0kvs֝Px'mUY&),h\`'g  [ #xyōD Qޕ^hSZ{*G݀K6q}а;{&G6nI9sIE`{[,!Gʹ|oG2-uVŚ5fAA쩋.J^b̫R{8=0PX_ $c]3),K<7 :V`r,gA'#KPpƖ Fk>,V-m=9zlj|^J]kN Q5ШUuO.l;chJ E#MQT@J%tۺpJV~AydΥˤtWLG?fek/ms!zҕ#QI=(oGʖ6*ZCYfvěE'ю`0"<9Y_=g4" ܄xCRݙo%' $4uw۴ӣu~dk Q̉@?R@6ֱr ~&@w 0T̯S\E T_bHaF9s1yr[=X!tžHɩˠ7x,Ťv.qH&rO^k E.B%!SG# w`1۾Ӓm,;)w+Ĭ9\zS b]_O'|o5.#roͳUntJhJ Fv!IM.E 1pv )t/ʼn .2NgA1̃=hlCnRMjLOȡ<@QW|nfK )AHTBٯ谦~wT귉7vJ E\naΨiȇo ZEEѲ ]\[NG92Ƽ%4t΅"N:@@ h];q;t ?.vdA_GDDik VlC{0>ԚU[cc}CV#ΖyysA?89d#5>YLL6}G}Iˬf-XC`0U~AQaW-;7S˖*h-o'~uƽ:ti{S[%e +V_S Va], INc <֢y4C|*Df}9Hlـ?Bm:sW& *.Lxsh{Z Gß+kZӴc1rEi?e=j0$Z8Ehx>o@sKReԮOB Sɡo\E]71iz5Ɍ>"P*FڌzJD.10[uԇ3j0*f|J'>A?1=ѠKfin*["ZmX?̧[ܒSz6lJGj}N{)GϺw軀y-t t\x-cKkhNm\͹^g uUftqXdqqI0Vg|IcԘ9JJVV2 4)Ndj  P/^Eu YǍiο lL0zCfaz MbEY;ZJ-6x6.H .H}_s_Hs˅JgN .3<4j SEzo=lT߫\=bmbufs88O+v˕(gvM81y°qb;6XvoS} ޒ8$ĐsKsΫvոax^" c^ bK]~{`YdpSrwxSNcs5޼xrUUIa 1.0NY%+!X}reO]˪Ya,`%s`6X oy QştS 5/'8nFQ2?{w7fi}ps0GAAJ_x6?fMn@]ӱ[q8~NzJMċoHG([AqU Jv6gT R^t1w1.1^K(7 *m0S_C4u*|Tm;-kaC#ġRW]WN.N+aԉbѪܨeOO"Ruޤ=|jfMT֋ðDah)(gd'I ;V̶ +o'E0!K&Hr'AݕTEf"~Yޠ;j8huT/LF߯J̍Wdul5z1m@'?UW}Bbqwr&0@^OBD@͑;?ϡfqڻ # =HqV!b=>MC7+Ӊ@,Z MgSǎQ?",b`V ]|_˄'AYm!.#4݆Z{E7LY[ɈWETWHt6 O5AZ]Ar*6:ѯ p3vzZ߹qؔ4!" +}#(Mbnjx}ZwR|t%VGt`6%{j@ @40V&0)`RZ4qF!֎GOcΫbb-:: GW!?G_6Z}?e1g0_hAi2k9;h&PܺYdTFTQxJt^ۿs uY`zǝ>P7ʗfğ%RV+4_u{H_ UwԽBpAJ%UyA7E:d"C59j7HKKQ+)*ˠw[94B2-V/]*“aF6n5\;Xasva_2c#Tgh,:9mAc鱻14#<-q,4pv#wYz( SMt5-s +^逃OLP5"h{bT5!'hM;,},^G%FVw*GGo84Wޕâ/@ ϥaE؉{i<ퟰfaĵ#L 9*IwX:~:N> #kU_-ay`!J)3}1ԙC Ȃ1P\>PY.^ !"gH Y@$:9x>2gƒN8A)Џf8]LK$qSuVo%?l^T c̾%GuA6[VW,ncD?j)ll,M+fj`My#fdN_3rB>Hҝ`HHWE %"FByv/nGgԍ=;o 6+Rk4LzCz3]N֓k>tnQKd#S IKh[ ORa}rEJJVڎ9DϤ{hI=B7Aeii 02̛E,mQ.s73~O2'Q]p|w„oCL3n.ںH$XI{eKLqtC Ѫ93]źͪ5Jʡj4H^1#!CbfxQeS +q>L{wH,P"G:[ΐtQ9Ƥ`ƉKG Lh?3?C tGqp:ž *l x~xnȁ>&TB6'gݔ[е7G#&R<+*8Mgwiw$jVZ*G=GWT H1.UG.?C7gu=Gb Km r hxޮ\zPlO0?DAj׆~' coaBr(ҶfXc^2чDMNGu$撷̠oBd~)$syUi¼L ϾUjܣ A jg%)C .8΄mmVZm_TXg`4bvXXs <*ad:_!-`+}H< QӜ!tر=ezO@x<%=8Tk0yb/ K ޻dȔzVy8=>"+*ڵt#Y6@Vj Ճ| F(/eRL&Zg&~.jdflC ˤ |& SqvZzp5!!>,˛%zEɐUZB\S5|e{U(?cR&~WA8)dcnAjV!Udp9h[e8 R)`Bwy2.ʊKm>:)W N(3Zc!@U{|dZiXA">ү-oB À?8Sn!ʶP+Hfr>14\ug;\8)(׀4r.=9ZV@PtjiN9n:,d6 #qʔ̓WnR)-f2AףqF5jUb&jҢ `_8zCh$޹y<.p&#uWS-@!nu\#%n1y#\V'ͺ.čόp= LE_OI FO2^<7JD+4׵RrcZ}mBx|`*wqd6vYpaexAn;O24xWb٣voI s ϴ!eBtj;˶^d!<[C߂ƠpA3ʾ+ŞC%$҅h=Q+Jdg+ԃ(EX4Iɔ?Vk^e$0]/'zG\[Q1PuiLIk[a+є7r K߆E 92`0Ƣxj%,%ɗħ-/ z"<+k!ȬI<^%O $Vရ0MzR:XgS\ߎxGȘXyk8;>5tN ̅1zc#%zKNԠ;!5n&v"$w/s50e)ާx@b:P~苡4:8t+E`qnDqGB?>+Wp0b~\:~+ol?Ó4٦Dm!ow8d^z^q/~L<&a~w\HN )Y*ⲤΖ?OŇg{V=mVWsEmSR(4t(=uj_Y)AU$.s9m^;/YjM|b b様L[? +֌؈[ wp[?Hɘ%~SjTFSz$f,ͦ ޜ;Dk\䃺 ǝ5n "Q:d)OZ؈*QgI.Tɸ*d@%6kTZ EEO$ͧ$_w ~f_jv)`|`vER-*,U-ɱ+w۶'Y6^ J{Zz vMQwQy5Pz*2'\ wFΨt=\;1Yw_&?@✄ѹo\5uOf-"dw|LuD*<"J#+b+Մ.)^ -`' K) rѿ]j~&غ+?j~ڠ#+Q KBHCj}O/΀zΙXkVTXho﫹uMu{P ,.$DWrZ =BO2^+7q8˧xP/z`xQDmHyYobxXmmZ!T- ڤeu:È!oS /|_YI!ǣY2j'|=}mMP\MnUAc143O\Vu- b[#YcCO4VK3gG# 7 ICD=jh2#:|l2}" p&]뷠 ,_B), >,s1Ў)C uk̏AV0dž3-CՋ7X6C&ϼg:dVt/dwĤcyvVh2E^L-%H zb~ĺU E _b zϨQ<  ^"[/2߾&2]Le-R 9OE ew%j^]rѠ~r!G\C'$˄>m_b6@ʢ> 0%Tpw?'~򙘪Of>6h( @yz@'`)E3l6IZL{yf\Nƺ 2iW#(jG綞_b Ve1[W cL '5{{GʍAhv" j=z1`ũ+ch}_JBpgԭ肙n4 e]1!׵d;\N\[g m9L-Qv`ܥ#걭3ԂD_ S /OM vԨg[nlڹf~I7PX$rؗJ"2Id2sL& U Cw#`o稕nzq@+,ȴsrpzյ/u㧕Dyϱ47!sO؟ 4NuzRAseaҢ%'IXʎhPtכ>(;Dp0t<`h +- Is`6Ω5i50q' NL(Rϯ}&$wW5sZp̮mhc[rCyC1M=˯( Ƴ[cr 0KyT}\N8ţ#fN]k* 84T*ɳ'usn(w!a 6k`Rk"6i⑫Z=ݳb)le9&H5YCúZUmS) U]ģ0@8Pʯ &^CRF;FBt" (%Gfs 3.\eTғ%.TC"+{fUwD+q{yȃ !lwp"> ˥|{]g\!aׯv !G_\͎ N]\lmM3qJ8Ь*TbXb|PU>Z]Mvf1?.!ȽAm!Q#+:ъt3)Wu P'[Di# T.MwcfAGHֺУ:"xcO1p"NN}/lJp̏ `emX{ާb֔xVCӆGP)y |*W̮yOAv K~"C<Ƞ\ uSUȣ}̖\89ٗ+x/)0[ψHuq71ENcӧ⻾6z|&Jƌc g~%0o]jN_>]8Nr^Aa],dpߐF A![w;l0FˀMPkC[ xwgUn`pOO"hIcHZ*>sI`BsPv^Pq(izh +B+Ɣ[? Uu 4rH[`5x=u@0#h19ȡkX,p>28dkZR<Ʉc3^OF)}Wu꼆*CS)@~fd45zw%uB U_P1[􆱅!!;,,?B0 JE[#sbzE D2`U$NON&m&G2)mDl e>JK;>qdhf\WR7vxD~MW+v#M*"m9Ŕ4ƕLX4EU]&B.\D`/% xؐt3APm[5I$7lZ\"7LZ-<)'ss_\Zjj5mU֛G,;UC;/vGf}> xjs{3sÈ@q?0Q$-|+Ey>L\aԓ`pV4;OZ n썾c!?$怅6wJZC܍hqځ_:տn2l?>'1~ミ3BeU$/Oد;=)EhulߧvGOǤF@ng3j͡J9''҇!ٺDz3_=>R(wUM+%50 v5lh~ |x}':u,l)OGGXܢsI!- ߥ3:bݓEj<SNg@Sk`5ԝ/i?; "ӟd^Sd gjaAW q_hW ӌ^C ičlQ泦޺walP&c&S+Ch [KʘȆ J;Hpꓠ㺻r&e&1ΟOB=ݏDh"Ӗ'2UJWLs/j>)?,?7}DCָ/OToƜi*h^N΋nmTX`Vn'5g(kXcEZPy .V@8kC ,o Bkƒ{0~Ԋ&H5#nQiЕdKcRJ. M]X0 ѳ4(Y5ƺ!&ݨ&rm*e!aS?`Nu\x3^{\FآJ щhke|kWԙ:oDI'H5THMX,Ċ%@$Yxc 8=ӣㅟW]u`øOUѓڥb/d,c) HZ?*rzLw*tЇ 7Ag̛#\^8NWܵɇ5͎MIrNcߡ9=ėHq3FsVcA(%4Z]Jz >ǧC(~$]w ؈r/ VsIAvUݥ Pi<֙L%+ MLM:~ju b(ǯ !7YG |LU"4 )[kQd&CjbI~{.`xS>@OXBn|Ĝ: ,2i˵9A(݈CB#@L£%p s@=*j;q:xuiLf^N=f`^q[ m><Z@z^ׂ=˓+rr"sN)xunKͪY=&!*Wn€/K•>CǙvJT'}/0%bR51՛Fؓf')8kb.+WVy5b-u _PLNO)7Rdk+=D]`[yyeD j!tj/j+{(]$J+tG'{)9" oH|QNr΍TԣF cmX2[M%Ta0>P[/%eC,3[I&@:VJG h䷶E(@]>T8U#E8X,[ݮi$d Ǡu.w oA:F=ЭEqͷR u#*ŽF?4:Hch+ KP􅖞]5=O4R\i?S}K5l=dKKF͏ҚO 4հU܏ͻqadZ[r+838W6q 9=-Yp! 嚐}obyrK G"I*ӞI aKĴr˴-g^7<6P]5~cRBnt}~ Qp}X]:zJyC}(K)8gO(_uHU7|sz $Y)lpDh$>d m77WP{Jo [)8n 8yayT4YY{Euk9DCzpL}"w1N~5&)M:)0x!Pj m9eSl$?n u'ׄnomóKGlֻ$d(p#E^Ցtsg{ 3)1WZlymoEڝ2"QD֖kY"2aiΕyZM|י#cϷ`!vkUCYxnǡ. ϒ8o#h ec"J\ SdJ~r~jc{\V%&`UnWX:-iDvi\)6lD#@0dD c? ,m ϖdŶ葞qzE ~!TFȏ6c;'e`]9#h(T)=d1ִ#ʣd=~C2#oLW/\QAmN@./Uu;Qnőt]\"Tɿ[l0}v|G&b>KhJf:պv&a%/'a؈Xkh}n/z|GoO7'uiЙU(~+w3'٥du}kݕbF*@j%-pcD TTR{[%R>?Z!Sy_BpRHxxb8U"zS-,[{DQَSt/E#:-m s:hJC%MQs*AlfBlF"1 Q28%ύ/:;b& FL0qصjj`I,%6ajCtVkl:re/9z3,:ڱ,?G;K+h^;s3Ҫ R]*N 6H>yWxgm2:p}{UMnc^W:T HRTY]4pcXXt7!])mn+ܽ@ f/ 6~!dĴnnJf0N($R#uenqOC.>Vf -H2qU]f}583S/q8rD*s|Vs}53K@X)r]˦aö)p%[ǥQ{N{eMmhL<| .zVbg2ުp"4WA˶#9c)J '<t "߹,@qV{i\h+\B]5 P%oi{?JooOK3bv).ft}t QYb9cPF{e!D(ˁoyz-͞YBI>kM#%.N8pdsj o"w7=3(I<.K,S3v\;D]v TGB-ƀto֖/t8r&ɟp>Fˉj{ɭ9>Pd/q'u[g+aslDF/?t-?/̳.Ih}tfXs34H 3nhA" W65P>8?izc9Y WfP.׈;U)hݭ=~aҼgtacAߦ%m$$'Bh߷͏36DgzF;eZTfpP3\ͭswF6rv,fbCY[9F.8PJ䌵fg)a@gspAw>TЖoQ5㮻% !W:!-l7WՉ:?} i/.9QԶqZ;~I͙uS5bNkM]P .߲]YZS]FBlg qf~^s]rg#^&Jc:h>e$mX&t+@xlKKt]k\9zJnF]eMӳ5RY: P+At|<ӫ 5=²Y;1g j` ^N5l]qBHt>tuxW$0o=vm=~) &02wHݒζc"Wb ֢ěHy3N  RgùOF~{ 0Jo -$D*[FTZb̷-˙c㰉r ƃfa9ee%Bg.ii[j `Ny]ǩMsygxU#Ð{)DKg p GC]2$xXڬuS_؇Huͅ# D9DXaՁeԬ1ݔ{r]EЂog-o7U6prn=?_OǴ}zdCklflY\9M4~ _kdq'%BXz{.10Ff8|BK99X'Bg.TVȨķl:\B:sy+_PR eÏ%ߚqMo_ئrb vQ:JDB = R1gf5=Uܕk Ew#W*T)gEIO;*3/VltEE+\e"֖r?D IƭIo% wR‘7^793A*hƹOqJ+݀*ժlp xpBUE$u:6׶f'ADayP 9А!p/zͶg9.IC3WYOzSn4 n( ɂOe5z>fwJ8?Qf8kt=1٥ipݑVkBPkOө^mfRBYm~kd07炩q$%*2ZCFqXtAmL@Cvf(`eϮԓÜ|Jn#z4I7[[fB5-@8 )4ЃfIo-Ѧ ^{6˥`&@YàW!s*KyPC }+t;C:0N' ԑPEto7xNofzf!D@V oy]]=mD$OEw0\Ra2mp*b9$IY` 7A6q )j .oj=TYbr-\ WslUt/fA2U ^ZSYK'oyw~~%e1MVN  uUIrFk}QB[@U-Iyt:켿V mzJjo$tJP{oX'[7 qOrU$5gq3؇>=TZ ?^VOa5R ^m혗ZջEgný%8Mв7Jgqx@Ǐ ^6`WV| `nZ5r0 >@"A E*qnRF+ivw3|<;Z*Tv?= T+%ai(|f>ŧptCzb8XL⟸ ߘ۷8U^A;!ð ScEaf'@0-lc4ۧ2v#bY`; (9<\f%[Y^:ޠZ3[hfd9}L_Nn«DX=_D#}hN-J*}r+/ʨOHKqύsLz8#z/74R)<{Ü?HVJ_͢蒩 !ʨj̊[Cfg_dPa\y.px|2x /Qc|*#x*}6\&-0`&j.O`JHӟ:dvPW*&s %!g< ʢoA` OuwRuS-FkN#!ho/f7+eC8¨k=Q B0l7vX Kh9뽚> ^̯ħahʺ &νUdȳZx_h&b B+Q$z'̗%<)!GdY,aʂ%_L<єb23e8(uMe"Jє_^i`?qŁN1V]. h9@&["L 7::Q]AHщxba 2YI+Q`5on)DhC!Jj CD0<+HQ?&x"n^@vC˲j N6!5r8.1 Un }y3 -*̆{Wt 6@w$+ĭ~5.b=oevӷ[k*( 45/`-le*)ZRL43w]-R 4Ć3g~+ˉ)AKo^D\ܵ ^Ì8vzA-`ܚ}Ź zuDEhf>Ɩo1m$/f^F"^rR_׽8PΆp%KY Wj\!.7 I]j(k!3/2J@S;b!5đaʺL#"ɦ"DnkqۆXC<0э@s~ܻw)$=e#hk:)Lۃ>Oć/ѯٻ跩ݺGM2POLNq4t8dhJDƘ=f:Ď\͊h,DP|#Z ;8\xR,'8Րoe;/LlސGOMGoIc}>C f^>y~6PZ ne42^mD74?HOō.^Økd%G_u 2@4f-Kb!.^ؘט3Ѹ}zAǙFfl/X2^Ryf %9&nSuad0Ss4v\r5ucNE䑵O5fN%T_0E2>l'z힟r6$>$2(]'NZ פ+Q Ĩ cхxtMK0 YX^:10|k-'.rg(Od~~#|\22u"h5P* &@gTyÊu?,Nut$6yC ǼQ\0#Eg' mkܳ"B4a 2 5_ [-ܜ]$ƓUXu9Ϻ*S*9޳#ttpӖiJJo +*N|! D衭Jũc`!=BE agЮbxoe(+)w*r0͗`QfuT)TF>V,ԃ%Ҧ ]@]7pXA ͈M| Ϗl^L?thmş4Бg)VgɾP5<1oAdAgYZ889d3eed3a894a74e3832f730a745eb43393e1b21f11aeb0b5cb58822b61789e97e7af2cf416f0f7887942a79779f29d8349be2d7997980765249352