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 U% Td ]/]HOL-Analysis:threads=6elapsed=342.022cpu=1513.556gc=123.632factor=4.437zXZִF! 㗪K@]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/GW]A\Qz KҹSx`\,Q,y2n_?A&V\1M{gYx`w&yljBYWNšxa 8kK͠gdE|ʡߒGŚ!%?c:* Vo=)..: }\$twqu?ؠB! Incȭ&TJ{AxֲtP2VF=oh0yWM7}׏5~b-{Vt)vAr#Tԡ=ke2WwX.?wyB% J ɞ+<9_Y\Dd9¿yqi=gn>"64 zE@xඕ&55[j_8dyԐ,XӐ>kC*$b1޸ _YȺn;+?^gFq0yLWg[3?) a3n+%׼evOv?WXF/J8f:TyMk!vPTJN!۞.DS;]ΤED3:Β4)rXvi>ߔtzBo+Y0Fk۠h=(:voU L3R7yoPbՊjvG/`;8 mdCA+ƨ(sSɇzh|~Ln)o5 G5A@ON̪FVxS_y_ xR,¾y:N>' %WBm.pM.o@D^S:F^E%`{wKo::6_|Cwd`yvCV?k6hŤ9 % HOL-AnalysisȞCГ2޶ZdXCqB*f͉}WEgAticXvZn.ig?TcfZ2B,,3e+tR 8"78]zoJ h ɫ޸P,ҸV(rLXjsBxVe$K MC"ThtvUi `Z3'hk>6`j!Ikh^=҅N<%o`:S  ͣ LhRZx}\KQe$a4✹) 8璹و>yi2qLEʩ4 gOӬ$0`\)IFгckεƼ,Dr<Nx<޴n,F ZKL4*\i>U To4|jߋ)`b.a.ZhA!}͇pq/OE +nmwBŪuF-VJF@76ҙPartmG"Ů~EIҧ9z>.kx.eMAMՕZnjpx46--p'qJ +Gӽx):RUrS(ȭQ,&=pæ..e)5~~Ҋu))U<gP&S]^hܹ?fYAq@MSHm(Po!4\`*6#ܮ1P5)EPhb}JqP6ҝ0I;0>XndVQEHWr#h7x+ ;$6bliMKVT. }GVKN9bh@R0*WtGr(BήQP$kg;,-F-l>(Z )^oa?\8 u5Vtri$BϱbRq6X։"evTѤhEoX x ["s0\I}܉ 6EugwIϷ3,MLOƧ}G9lYwdtQLcHhfˠ}iJ󪪖/ٯ,s/Jj|=.[ 3槈aj-ªHm?0'dII< v!7%o#ї/RO4QqoT#Age`۾mwBtn,AV/&70O`!͂y ۆy\b&] }yfݗ U;pG3-qrb$OۂF~ y(:è;H?َڗrFOCcN#Z_++] &d˙?(p!~8@dpCwu?_jhcL)qA\Wg~iЗ f#n6 MDH rt@,@ V6؈pRNImj*]Cc~γ9Y;_L}6DWPӹړw/aQA%p[T&MH Hp1$8/iX PtY[ځ6"xe&/D[Gyg%lFp-{/$CLwӵ0Ypm+ГNeWa~Ob1b^WV}L|k˩XywL߰И`įI/xZGֽ$Em{(U\|1<tz/İdyLO JJ)aXq[;z |7C?p;7|@`aN-2g#4/6z3K.9@DqvXsxh0P3uAxq*n~|jcR=~Bn"[m`dZ 8(@ŲbfF3"Ti-ڶ%\ i4(cu ;}raAϧ\~#]tph)@>hZs;3(8;t?IaTJ*A+nWX4\GW2uI᝺&PgjFIȩJf0D%29o@G{4~o߯ (LT Hֹ!γGJY ^'y c4br=Şߚoh-=Z9 RI " z BeW*};_Z/]Q7n.`ރ=h1 ylb\br ٶۦ -.fmwCj:NZc j{#?KG 6-~iovx>y0c 53a{[waJO2y:RuWm:&!a(B\2)>P5 %vQ"LN7\7'(w7% >N{#0 ww) tj>eo: =(D5g(,oIL[;<6;(altߖЦ?y+rXTl5ÛW a]_vMD\ˮIiAٗal\f;"/!@*F6Phf3@KqMx7IkMƄrPDpb7=&PBpuSA+$&ɄS!&49rvx'x u䶭8O#pV谏TUY3 ;3dP6T+}5'-h'9 "QݰդYwW]l6ɍy97#t;X͒2:oT2Lyk.y^9:[f (2^ި~ V+;Mn{&n/VbßjZA"x%2lm6bwISx e QP`!0קDzݡW 2'4aɧm{I ӟ;u/njrfDWʃ魛@=A\:&N0lX[d^gW c+4x0`޲b!|Uk#4o9w{f#U[]mb^~ 덗rGGYWՌmrC xB?Tu~:'R~MWMD9R6Ey)3C! 3^y0o{8,pK$R4i꩷M, Sܲ$&%|NJA1󶢆|J:V #KhU@ڒ:1m\?<0[zAԲXG_%z~ 3RK.5$8vJ)$؅>rJTph}5r1Y.v(sk܎%bӏ @_vC{|u779Xϖ;P!`7vXLyo!JW3(@.+ zC\ @SƒZ%lh00|ʐ&lSWUpٻ[-k;pK} ~bs3Gև/6Bn>ˠZBCA o"웉bAҗFa? v`,dG#+&䊋I6&GO%du'_O>K8܂h8xOCͽ^٭LnQ8!/D~Jzc=[7U`>0UMJ!/jfؗNUi8``TA덮tؘ5&_cVaiܫutw)9y JzqiG={C$vLS%ҒŨt#-[̀+c5zdO%02N SfJ@k㘩d#iit|wv A+leöMH:"E*#-AlM]sc+PCV-Fw>,GH91/RR٢aiA{"AH#4nq[⡙ȶYI!fWv9ڡnSB׆|1[Ƽ*g1NF Vƹ ("[Evė$?]([Eueoѭ@+~(\VK!I-!Mc26DQ[/"Q bz>[ t6iZagJHOvJTgLmԆ~Z>cyd;w`tolZTb ϒAP|we.# 7EVdUyzlG-9ޛy˭;&s'̹pu} f <S*H*GnS\V^zq2E>̀J'&̑ f>zd .ᐠdV#ǥi'L>8L.I$ͦ=g %tUnGɌDEM.8Xod}7#v㦳>Ry p}ݾ6ϺOm­+=9IdۇN'[ 3pHiPѰ*RrPJ!@uosL&eOjstj/~)_L|nfB'&nTYiFA Lq\a*hN"]PY;Gy.E*njrc7~YQo OrS{qho],Nl>p>w!1AS"tD24iBB+@Ǫz;.jjQ$.~ZJFX]jģJM|c|8<{gҍͼM@nFrl"#K H*d)o&*58 ?LKWLv:pQz=#j3[f~ޤ#3Nb:0߮%2F;>߹R,x+ۍE%+04X#:)7SwTQQ}{JcSS I#*9v~ϲ@U^a kџ;9`>RgZŪ c.W&XrA5~B*{vLx\z䕻#%i&BG?}' "皙0)c2q)ޚb; HmVD<GńiJN)&O\gxդ!G J_p.΃8-870*'cȥQd) }@.c"m)F84Ƚ2{}X`JBC# Vs8MhzУUY2qtq).HU((D^̗v>8K;|ǘͯ7gJc&GgYGL648F{ȑth9io٠/Q2s2߭qŏtQB$Uat1Erݭ½*(&}K>{6Lv46,Ay es[ o *\5(l"mvF~f@(ֹwp-r}dfjCҎMiN2Xkxǧ؞G{YY3c2;h 5|pͯvQmO2!γfk@H To%%;_@+CIC~Q7I{epc[|&Co Ed׋e)4h&[ǚ'[;Ky 52K?"ֈaa-BހJBW HVhE ~GҞ1mܸ͕N\_:kr0Re1ҝa<2A i›[#&\#n aK͝3R ƘfkZg(q+(A)΀-fwgcbȂ32U Q9CsXrnИ*uG(g*aH`/:`hoř9B0|;?my$4FMj"Pvc9bbP +Sp6h5+xx_똨$ݑGt;0SX3i[l p3uk}"\u_sߏ$#F3BgG@8mrga}0Lo:Xϝ}IZ'0ԼT`[:)rLդ$0eosp7|F|Z%!sp"~כ#Ɨ{ހާ%Hkx|!KBeĎlLT^K!.ly4MhɄYtO7Mo:b4Xѕz#Z0Nx;d7PG%QxAbqz"Yu4TnURPаآMy2]F<:aZd#A9?tQS Wg>B>ePy>8iP Ozop~ ;^RsڂV D\}7 { u{2VfpftdzE 5Q\@Ht4a_M !VIZk4҅|y8b_x+2-fRX1,a- fO5g妲}*i$8!Εla125ؔvS!+ 99L_ԠTC_g)?EosXkGÕ MS]2 68v}§%weeysfhawU%Ɂ ͍tCɷ۪XЎtc6h4ӁF#gvW~h [DHZ6HP wBjyuj5ѸeyW4};cj,H[sT%{ױdѩ{%/B=LH#3P)ܶH"פw8OjXcR4}Vb-o~܎ c >CES(\4}Ђ>ԱHkRklgI(GBtHWuY?L|@)Lj5W*ŸN,D`DAlFo ޽{clw:M27 xdUɈh:T s `UzEN5|-#u 0\ GMGN#A,6! @ /c>6Y^. wҀ(A<'jt=XΔ5SN =3p 6l%5\vHp1ZvXh4{-JAOu"YZxJFq+^C\{η3 c5|(zQڕn/J{Kw1s룙u96v|Ң4ܖO|.'ذ2Yzo(tgoT[jKj>$[ʙF6{}1 e(&؎]A[#7=̕S;$H[~ JÊ'O~ހkՑ:>͕OR (&k6\[=ɨS9=yF'ݰ_qfY |؄6Jb񓗉_nD X-i j>hWPq˼Xȇ|o6v0wV .!*A/v0ǚbBtR=947)]8 @45~Yb3ÇBsxF5޼ W"#ۡ.|D=Qp.&1qDmcQ>,;ف᎜k "}Yp=1glbh5g2lƱ +/,QqIC`͍xyQf#Mu|n&@* rmO9 r+ENZ)uzUπN̯hӼp-mX~6'Y5y( 4/\;3A4jYυJ0)n"#ƒ[B^J&FՌڭH4sߌ ,Rp %];RM9Ҍ2}O`B؊' E:L$Km7g:[r8S!B\?E+Dx>-< CvV'?&"]?]nT x M>ReNu"{*dD:EiGSF R ggL[bĖ5f5f7|dSbcNۏӅٲ3KLj4I.IJHTy }@PkپoH6=ӫzbN{P)-;:o`-E\;=M_mNlMDy.9SN[btg/Ӄ,H6sLOvOaw7 2SiL"l$<¯[,c;~HbDw~NqKن 8vh[ˋLF+/1^ iԙ 3|6oN -2*hx¾Ugq3Mxh{@:XǔwXj ? 2r ^2]_V ]͸t$#k:Nq*jޠ-$>ʳLzuۼh{WֳWo)A.tfX׶a?5nxmr) p'Ƈ8%%g~&tHg|{X-Xn~ca>+S2ua>hɸ}iq*Ǚ~lF)A+|D[Z1Ԃ P`Bxu /bF5r=qפKXc@J|2\ĐKl( }Ǒn.e1Mc ^$u/7Ya'Ok*3ɂ.Yfk迈S$$kOg/,oq߰iw~^#G8RY87i"Y[d~@8(εVZԩu@23IRP#:[UQJ! eTC ;\qL\ @d_'b}H ]ny621~h:au,Ӹs0,XCpR {̴Q5>7١t&P<+1xFU ̡9})@)c6lt>/=鷎ी+%xG8T_`k8aQ! V(-go>@\\[.XFG!.`Oo4_IOErsF A >NX2lE9'Yv#h:`D漼f5ZO"8PhG^k>j[Kҝ)"Wcȍ_ Q]=L >c5qFiن5Tua$Wp7%1v{ )֮~jfdj#aBH^kH^YEws| SPi|_zã–n͠YI{ $ހr(Щ_O^! sbħxZC<.N'@HM!!2' OyXvZL!ZBBa{Lb v#:ˆ@m܆ߩDZ TX$w[vblstwU:Mbr0`ߎ޸HaF"W5Q|E02Eq `XD`E#Bj!ʠ*5-JɁuizdŮj6sjb'MZ*ՏuA7:a_cң)G5s1 M,N.nxg_#1:dy%ލpF Xq,4|ޱZ?cx~\ {W>3ï$sa$$X~zrb9M@Ĝn,豌uFtZ=kho*ZvAڬ+( $M&nA[liO@oA]fS}ڑߕjm"~г';w0~zGtc ,COJ>-JL%;EBx58$+ђUB%3 CPU;ZƚWj6v09Sw.{{=W~(<Cq}hc8wQ-MsEi7, !'*bs|eb}r]xQ7[@Vsd0 Ozsk%/|λ5ɂ>n{=WsRqyvWiX` Ad@KŎ,+4Oox@cE6>yOHPVsN~x]8tQixqk)R({X8d%8~DKt2;Wp=3lW) j*UwXed?b<uFڀ`W8,pa9iFFdxPY`@N}!GI+ fC0+XY;;H`uJH$1-D.(S%]u;ަV;H /ҡ%]=`6w/im@4;4caf崀Wpú"L^@b-S}/&Cܐ9q2{v(ё|FOHk;[ZjȡJ DW{OW(-.Jbx+夂 K}|Vzr!Ր22wea^!@O5|^jb_pw21tn5ާd0q?tW[ hQMA.1afѹq W}q[[JxZLwJUȀGC]817aD!s;?c'# <͕mKUWJkvZ냉t9lj%\-sKՌ-#{Y(@ }]m x6XTk UzcNr@UZ2;\u00$Ñ %mw'E`% mp22CҠu"bn ˶;Y9^0 |OܥvxS(״e\7a+v" b >;|n[dƞdn<LKWMĺi5*M5A߽um8Ҡ] /nCȊZ}q_HZ|+SDE.U1t~B6Y~| H^JX*IF!ޣ=Se9ϴ"7[x`:K5i:u#*C3b'=iq')S_ A4 UNw㊵<uS5n3"m.I*7g\NHPgDG+z'Hon'\cV>86~Eט?_ȇDꌥZO{V]F%Æ #i\ddtFGLL{ ;|<*&jAveg׸Ex|&Sj0Ԛg3KVaxu M.u҈Enp|2. !DA-In] Mܾɸӻq=ڋ>E4U̓hj(܀xCC k;0;|BtnhIlkAnjω 9))Zaeԣ2"ZX`!-G4AsA|;[7CWjůK3x"=mI)0eHpAw?IuݢBnK(TR)f+@SB GL ^ k3'-\ 2W%Kb I_ӆ_ӣπ`47u>C!3Sđ#ߺQ,@FzoxVzwmp&JJB7c{WvZ8Jq.WBwGǗv;PĿ`S AGtwkr[_wb7 QFmm?XSIJXr'R~6G1O>B;=ymkyvk/q~O:t^\AO69rwC;Ā#KL}aaVf~ vG𢃾eܯ!\H-tKЧ"@@`Ņ( $r>ھvssM!%pd~8/DVmzDZն.<kgLk A T,McN9|AOa9>-PŨ/{&A=k;gxɓjbb/;R^J8՞~пV1V,m,poÉ<+ p邏 \ΒwQl&fʚpvH07-eo(oYn0v Sɤ[~?6GOo.2ȏMzi+$Ǧ =fBNݏqFani_j;HpؠJ.HjZ-wǺ@Ę! ک^H⎛ps(`#pLh.rvFUtLv)A v _T@X Ġ(lxB7,Ղcs'Nlr`;P\چ*>^Oɉպ\<=![v- lc' O=MyIe vT1;)VPP(n!c kq9\tu$nG*9 `$(|^.>WXsvQ5`0@W}=,4&|3oړ+%z!e)b3Mxw1(gn=5zUmRz%ތ30S&_4+!t;2_[A"epؤ&6 SK Ζ\#~.,EG8Ю@j /M5y"ub04m߱GJ~<J(ʱ)ڶ-lvy:qOv_AgG#*{#l:{|(jA}P$0\jh;})!7A#W?,ڮ=xdlGRt9SQO8:N@?&D;j-?pjƏ=}q-gc~ 5+:RvxhGՍq3 QjP 4ǡ6n,COq%u ,!^ eW i\+E3GOQpW_LVi_v%n()~v!ˢݘE>; w Jx 8^20ӡ9s*[ť YG6?DKDcU0#p5j$HHظRT58y+ ,@'ENd:) Լ'u9Jf&e4ZNCBpsk /S0\M龭.d)yS<,`JKQw16%Y JcFȻ $ycJRSq&(C.rܚIǹ&6KjbWЏw./sS"-~⑁"cr‘{m [=0EfiIj`|}Mi0֑f5M7"d1 :ڡiwb6An`+~`M:砚օ .pv#~[ hQ7$V3U %}WJ؏Q4=#5 Pѧq޹ FvY6;7A8P? o bM-zV<}M|Avc$ ; >*m2߫Chd9F+-_e},Z/B*>DE\'=WU֤3;|SX2m둢 E7 0ﺭ7~@Es}Nv\x}7 ̣3sessᦳUGҙ + 6`OL֊==PM*cg7_.ntS;az>Y+ĕkuIĸFZ;k["ϙ`[e,Ε'{j4It!e}l#tSq$zz T}3t0 H, 0P(Y`B|t쬋gۓx1PJW|Zy.?ڴ4d)+}7 mZsļfz{$PR0ɂR^k%#zs=~26G#T;ypclPhͿ7Žڬ^L {Gⱝ!`P=k59$+'R 9߱S!Zhhd\h*6z[! ?s Sf2 lu?mf#8v^ ˑDD(8 ųyp)#аhsi|r ~ RcĜy䠏'9wä=4;s9#b Y2;#_N5, Ce]T\A rk*;WhьRvHp@yw"4ki־"̫ W|:p؅K|@f)1Č ׁVw?"I<1KczwDQ:x8LvO5#l{ *UBȟ+pQ6Ysz+7֒xeASٗ'D\C11yPixs3d>9b'ѻӸ A;g)f>މNBC!lMXEr 0uZ{KUR ! :͞C*>b!5UQVC`pIzn PG}2$?Bll]j15y%\ #zl^;1:`w,b1?{ XvJVUg<N q@(8877+*Ac}:7tkesE gJ zEpxc <[G!6ze9c< 'dl~;' xOlfAH:Oمϲz-0ʅJw ̈GPo\犑6 !|M+-HGf衔$8լ%B5FH ͫDSvV6͠!VlFn(SޠIA^}t+T+Y\l*ڡT/PSsGQS /=dXS?r MHjV~y, лƿL ,~grHx_s~ fȍw}rOZFDTY _y~y4PmsmFLJbm2u J G5Ka@iNn݄xNֻ$SwlJ8' z˾MCσz5uI{o,|n-3perH{^h/Ca K!m]ʐkhj?A ̍n$T 9 ->3#ErFR]wePq&vM}M-33^䓎@/b|Rd&[E: i8ɚ Tdjjµ:=IAUO Ai*D ƒ7R$H} H]qaRB%1.4( w'"9߭|4IDZu1uL kKeQm߶ބa$^9\Y"P6\LSI^w 8gL1tA(16a\MZZF\`:To6*ǎ:*ݜߋ̋`z=4Q4<ͅnܜ8*רi,F*o a2e抌~t-[\4`;DO zŇH-\ a>D:Jص;܇L_|^@,l6nh 7 Pɧӽc б(}Jyz!@f1Û*.4w[&6 ظ~`W); ]܈lQĬ(O}ZcVT3ՠ, |*1PePal3 x-u^P"Oa[$zͻHI+xgXPL7V\++Zըm%]k:t[]5{$>89j]T6Ek±j&܅%e0>0c 2繞65)J.D58_19R"b('lH!"nH`Cd2RitoO̵z >ڼ4v9Pzy/}PCe{Ii%+bDP440@z'S Pp&nKA_dC`fP4Dm/* u~65`NҴt7h9t]?r@7"?GTșʓ\?_ۨn cCDQ6Tgᦋ\~ƃu&Z㨊uc ]1 N^u+"؛$q Ilsc$[CL88-c?FFPaڳ`VyED'~7x*B|vE8`hd1F]6FPȥ61R)Ji7᝿;r.[< S"ǜf.epש?,4ޜ Vm=!:gkb;Րų)!SΔ%*Q_!5 GO="1XjݔW? iUjP?s9ҎjJ 2 F`y6_^ô)Dk@+h[o7@gd]ֿH .2 tn*mSn!m}&VBL% q8;X$FOi e~x{Mi>FJ/+8`sB>}9\\m\i-U;k_ME^CFήq_?`~Og# m@@-,o7XpKu; 5[=&a.}ӿBm]Jo:%Yi+;wrO%W-/WH4Y&Ԇg[B;P~]OaB .aʯ"j=Upe+Dr` P.[hњ5uKXtoO v:STGJa]|b95?P+U.z<\{kV`%V`g~ض"1*o%DJafxpTyCUz4%A/q"ZzR,i>VkXL28|qj(0xL(НX2.wSϗzl 2!IScw?̥dm\%Np7'G“aV"ԄHO>h՜5^ۑ1.PPLx#)=3b nM<69Qe[O؍PMf?~%s?Mnj1r>>OKiZ2CPo7mW5P"L SyV|zSRĠ☺WP1I4>[t~&IsEN>`Y5q8<9= I}fYOy0<4g֐h7_Cp&yC~9x!2O>"E)9,֛BjWpcH! FŢmIꞘh>Ew,۟o݇AK4!/![8_B?1(:ڃMjZ# W' @)%rlhOL9ziXHOl}/s/bC`! $9n  0g\k.;}򔛡n3p.P۩Z7Ss3 #%%^PH 3Bkecb&ǰ(պ^84e h5Î[Oy{wJFb dw=sKK%# q֍]e)){h>O`ۇ%W7qғm@ R&9Cȅ:mT05$\U:N(h8,ѥv\'qN n\mSP7D瞂mn4"Pmj̑%Pמ84 %U/u;3+!M+k)| Q_>G]M'L4:]Q~#5 _C-J-X٥SEpMDD£Rz&-dS7=&̪R5ތ72/p6-Ϡh ʺ^,!iՌe7v>cUF̨HV:leQՀdr~@@Uq!U":C.twd|6o/r4`;8Jg1Wp-Jq;eJLc;CR=esaN0޳bV\ ܪ l9s ƸGߖ~r%+'IɺoAG>~f0j 1w5s4/>UcA?6@: T'@@A3^R 0 5T3ֻ*V·:Git{;1ް܍j O;"QJߒi52`-`Œ}|$-Z&uƺ?Mm쀣|Kk-M7h ZM$&*;L!, `?~Yxlk)G޵gBJ#r%RQOq`;Ry]"쒅A,CBٯӶh@1|gE]NT D%/Gi|[g4`)g2޻!87F@|M6{Go+Ub/:cw[laZ/|n2 WeϑmzqݍuKb( Rr:[O^|{3_"45>vB-FZ{WK,z(XC1##sOXf &l~Y++&ZmSZPJ0צȈG?n)NAUg 254MGgHl4`S'bՈȖhi{܎Ou@-ۄk1XluF>e@,xv7(z)Xr=BN1ݸGp|X3? C#${;3,;Ȧ Fd/CXS@ 2 <@kn1msIJ-lCy^e(DN &w]e0qhnJH<җp aȶ闽@kyHHȅeN[#n1 y#RH?eyɡp#Av~)'43#|:?avL>ܐL*v}@? 6ݣQF0yUv{m޾$oo(t( fI6=5ѭ5 RzAͧAY3ݑ !ija4j:Y?Z[7@jr~F.&J`kFAښpYib%5uD2"FH~ \VjM7[.y]F-G[ ;I$ eba` W{M_q̠B"FE4d.RKӟذG2lAtbBqwAY"hp1o%<b)p^(BzWABD}{0eAOs >S nMy-.qHGP #xnC"G(9E/;LA`k=JkZU? rv2:ٍ2kYl>%Cy ?xi*K@ھ?_8) u'5 (zW|sѮі")to:AZf_\o I/"13VX:]Xȇ#tIvJ>Q|h!jKSlLDNLU!DϘϣOP2+"&n7F9d⻦] "̃ S? Im3_ѡ[ٻ"aDIl:i=dGwob%N;i8!ԫ3՜2j>i7?!%9UB{dxUMuِW:>qAX ?wiL "\CzߖNdygEJEf؜5o6I&Gё} H1tJ4&#aH9{Y%ͬ#=.qEA^-YRȃOg CXac/ղwı0Ur&8SOk&dEؙwiz6gisWH' ח^?mo-lHm}j;q7ߍ቟3_tdr`W#U"R)aK1*łwA< $` R+Y>nBW<\j84G]J,{SPoH h "} ԫc#>[P|#8zB?1(Ot=^u7')ET,a̢W|h;qIϋ1` Ti [c߅?iouP],2g?T]u989bS/2jd2Ԏ<Sًo]X5R{yt 3]%YeD E`oSq)KYg]t㆑-V#$?𹻭M}pZ?G{ %] 5 MV-ihx)g:Jn(@l|ݭ7W[׃IE}1;$/O%ߚGK弖qV}miWwYۙdE(+\ɡvF)=j?G"V_CxB@.EeCN_m[uZT7i⺟-ž4tjѴMFa*ջkCŹ4?pa2JIFQ0yƧcj$A,(RK;:k2CqK@{ ٬BlW\:Lr`b梈 T/!tD s$!eհ&q?`ĸԖ8&syU2r<+uq\\Ezk-V gh%3T_J{74(R|FI y|LZk5Etr$A Jq@3=Y.~P:Q+JY:ʞƎ:w#UVMT*2옻*]wæ !ƪ {ܬ%|چ,#{W˾R>y)r͈ar1_6h/l|? ^HiD.I2%4yIV[_p ·ߩS(̴c߅wuZYIXrn1џ;n>>?.?Xw=]wB9G%{4fX3S`5oX nx`6ZHQӄՄ`˶Û2_XoyIqK^4=LF\-!_Bs[ ϸZkSY6Š IP0 NY<"Qp +j.g)d6eDa/H2cޫ:>gTu[(b$4HZ>;0Kvb' ئ_BHi m uHO96C3wra ie*DF?iN}JpIYQbz{$S⁏]( qQ5P䓒ԋ\Y)׾epp.ek!y_/$r1HoJBYɒm[g*۩Ϲeh(OPa*N:иw~:2rIыY7N,:t]Y| xJSc`CY[HJ\p Rd0sf 8e1 B }δxjhm'BE(ʫHF_͗Dnu< 6nOz̈́eU^ ST#JeRtXWH7ngGvub ] hT\mcڱ\gv|A:O >uQ+* O3ee/lHVWAh.F$(&wf"9uD *9!Wq{xJJڹ)ݰ&C'Kj+$;myKՋ%Q JQ "DG'sQXņi=Bh׺~<"'ryE:ȩ,Ø[ Nϴa?emփb]aV'ِd[TK)vw`>6'|A+pҜl+~EN #ꀞp $8'᥋Z,%B2=^'ZkN*UOq%yOHDҽ;s@>6V NKhE rh4;u[ 7wMtMĽ8%+ζUg+xTc ԟG i~#Fb⏐ŇWetDgD&k}=D_tu)XbtDЧ8ظ47'ח%9}9 4V T',fpw2%Ku2~4?WWF~D z`a6.8a AIy0  ?Kw'e[PedQ=U\Tb̆kjioYX58B91P ,7/"*Uv;)[B-7 .eC-]'^XͿ|ַA,{ 7C*f9I% v鑘69m:礢IЛHWCQtgWC2ƴ @mBH*!V&BPX{+$IO5Rs'<똡=2,;޻b8#}yb1ݷGD οҾzvx}:9B < E_V_~S.𼞶a5<)R>_ɡBcZp46&uÌ)gN8b (^ d:HtV^(X//1R&j 1-p ̒ݸU8) 2y:1=g-ěqTkne B n1 *=u̵Yt  f׵B6_!HF$+ʎOqc'e-=JUߵH1@ -s֞!x<3pu0QDiu61f՝qDgw.E^ե(9}Ԍp1U<\&VH(Υ& Џ/1֮ 'P m{)aoRí*R9N- J9qكf?gU=DXPN;jcqQ %7}Rd7M[--nj\tg`+>5x`V"e<"eWaH6}$^י:[bذ'@ݪ:rf8K2OPc~yc s}ɮ T#jR1w5 3ɰXzyοֲOVLc3ֆ=μ&Y{~#7(!KwWbۚ |2u?jF^f1!j= ~y]B+/}@$j\QiSףzЎFV۹|:Xt/&XwJ8`K호{-fu$1B\g" n]J/n[J{c#6GQx:AWi1")ѩqѕmP4'*D jjJB{gY.>QBڰ=+cSwS&%m`pyxH֕ `֍$!V.LoT403"?{Ջoz)SȣϻE4FhQX¿=%6gLD`J< {"U5^{xFbh_N|԰h6٨YkÊO^jY9'X\fuCQL'J#VTʺ\eG|HJmWgeI~grƲn#1U%VUN(y¨APU2C_QE $UsY 'ZEXͥ!{HҺwmZixu™c/AϮ#,.?z7g cj7@N~kH]c|z!˦|:(lfWJNj.kםiL}^/.Za"BVDvj+;e(zt]`-jӛ{gm⨾#ޱrX`*2p#hZ4 <e<;SZW1"Q+*ljXɽjB:&8j0V 6~9Ϣ!he55+W>& 3r f+*i)9,*or>78w:ϷO049s_>APicR B]x{X'OVM1RyޖuWjrf"t4q̅6S!vJU$H8'c0/|1T]7cQ2$59Ӥ ;rkp8ݐ] RD!@$*L_1 C ֦?`%]S<{P*jݮ8FnR9wIl]dMWs>xFTDۛ>-1H7fX 8X6eB~3dEN&ت@v<@Lx|6 6ߓE2 EŜ®=lL\nIgn6T_ڤ1AД5>Eo syfӅq/EvE29Q4Ѥ''8\+j]ݗ4/w#\WBNuygtl02/5ؑlLpnwGS:|' ,S8*w٪$avLg? 8B6}^ZeowPi^x>)v=}eU֟ԧA'߸[JQ.s*, [@M mGGc+d E62iz挙hDRL3U ;c1\DCN=2UN<nԼ)l?tt@u1&yg7Rp.ʹO)\X;"vHymW1a& zmS7#1_D"Tsz_mY_r)9\Fp@R:߹gC'R{D$U% 䀱c\'unՓy=);VD5zg#ўikͮo*x!+Vi튁 JSk en.%sl=]A0@/ҝdi;0èC?hR?9#iWw-ax`l=]Ę E4ibUG6Bo_sL *z! F\ -ro@ wo_ٺ ooawZaP|\ڒ*S_jpr"[8U-v<ܣ-‰؂C@j)d-qLq1ʙ/'Cj'^aO ̈́kVmř92ǫٰxz㧏'i`Nt^Mm Uhge< 捝n& #\[e9$y|}}k).)pkumGU-y X Ju*y`q8&)xn| LZ N@5"7ۭ2> ޙ 7m.xQN| D;:3v0SP@rQFld@1Ӌ/le9ؐhޖ 1? Ӝ{3"`3S^aL3q K9U-8 tɎO \kd)k1/յ0da [x?2&sA`1xrӬ`Rd4"qe6PkMCUzx |b ffZh's}A_:P&m`LzHd*G #$;Ɂ? fJd t(+p(x*yl#H=Z_`0f,MXuc .th q0IUw9& a[ #n1(Кk :#6Gf㐨uW;zIe!ҡ1K`WzΈOT,x,ܠ(->H~jTa"$mvH9!75!dFv3-#g؞tdf(ߠ>( EE*TZ%w MFiOLRk=/S^%jG7>!պ8|"浦0;Xqu gSdz8wfeNΩǐ^.vjev*T?7 'GɺSleyD1')1CdyF:hC7ZMs"x]A}sVˠgBo+ : K.6¡#kD~C?톣?:HV;=3ğLyBLg *")[BBA^JaF-g Sb2x'F`"9.Е-wsjF]uj1. Ծvfyݧ]26 ctDdyw>'hLJ4š4!5DD2 %If^|F%Omy53E:DESɫ8jH 3}[DZy w$ZcĆ \RDvދIRګmB9L?ы@cS~JPHIr^5 q]Lߥ,G~t:n)e/c}aSJ/]SJr(8vY@oEB> Ik`.ho9*gNGF1˨OK3mLgHdI๸OJ-*rlB퉙mE@өkHq`Dn@Z#qXK`1YYq52&|^H76 fQ)Ś0^Ef#ߏnb_DD׽B7dvR]%!vsp)Zݳcy$+duzRg:RQ\JӲH۟E)!_Q.znZ#+ L/B mZNGP[[ 'ptmld'*]!: H?Nos$s%C =հK4x,gi֧'(W1Ϊn YahJB2v+"%rab%i/ $D3iFAJsv `~!ڟE@ക b[Ψ\b䇥# p}5614# v;9)?qY[hs\ E&(wj@d$UF?"K` X&B+B\2vcyLw6 @HCŏKC>ǯwɞԲLM{SjI#lKp%@䄷t{B6¬ iQE^^t*1]m$4'H-f`()g ol>{i5~ftԷҧ8`&fa}D{a%ϥ UY MgXיtW0ns|Q nmr_ݕ~]|e9U惞NM{>D{=;IF!j rM @MAuf,]qbc߆HWkm1i`Y0.LG RWӢA뵎h#єMyI޸ mRc?h%x޹ka={.J[gQ 9-)c##h, &IKթBtC/Ql҄F'G޼(`SHSD b55J;{~v;ydL]lԯxM NhWM7:X V)jZHos.9g_M.zk@^<S w7۴x+'j" sBLiFk`~8P!"lF`:2h]= 2}c&}.t0eYQဳe<+Rq*Q hḃ](l&Ƭq?_6Bb/PxMVwǭ;؍MWd%v@qt _Jp8[hK9t3|Hl[{U0va{Bk@@J%!ivm(,@i˸yY!Pīļ=S% 5Z ãlֿ֩`|[Ql?~Rx^K2ddKpXp_ 0 tÞSS*:peL s7LMos-z)Foě!@nHI3y :Z:&?G 9Y2̥ "p1誮ckJ=rƟ' #'ƇeEH%MfaHTI ٮNp"B )G@IfQ# SڃSm4\Ź-zzc]…6uwlwX7?ض@ΣzP|#~7+mJT^<^ -"%ú2o/7 ,0Ny&ȉ3uTq3}yc}g.ѳ&vuUIg!>D1$ù.5&¢C~j˿8M3>SS Z0[e.~PnpK }/))r.U(708PqXƟ^r^FPPCv$10` x6?X*sw6zey/>eIVzP' ys2!jxz&xK]67rGD0Vc2 Z[1[L'QwY/=~?&R gSԛ8-`(G Pgnq6{QU0N!tHU\,u0Fo.* HZD@E_())Lm1)so1g X @.5}pdR(ɢK*LDuKOI0Ͱ@P8: 6>`+[L@Sh&"o >ck*F YʗJZ [T>N"2]NY 5[2'= `rp\NY" Ƭ͟P6ZpGą{nOmц++ˤ5@NQ$B"t#j.Mmhek 79AqJtB%3vE䟪6 ߰afi&sʈ/1ѵ{/Uuc+L ɿ ciw `t@˱[pa3Ŋ9˼_̜12S g*u$'93:%*@3̌2;[T=^YhjiF[pӜ^7)qVIJSK3К67Dh$=~pNTޡ=_IהbZ{ܣL (Fl'BsʉrؘϙxRtGgk7\eQh4hXL(2W?e0#UwM:JA8C4/+X鍈 ȳV]S[zΉ/`h.vhxd2!KkP3c"oD-/;p_V*զ;B}[@U9@uȎ2k$o^VL~m*6FLFKIT![e31$ڠCIqg 72xw{-01\]@!wAJ !XxPʀ9S̮5m|[xE^ͮvi<o/*|X% ^6U>3iR/eOv8Rㄱ{ڂu ?'k|"6f'+h]גb?z߁Rfq#FLMox-*YveNMS4 G>SظX'YLco(}]š"p$g`q%q!,lfJcFV90gFlHW.([O!W('.O8;2}BrIH9#!4 \}%s#qš N/m% p4z>Kwʯ_E-SKiT(WVJ3 qZiS/FfM gIXHjl e_s;xߛc9u1%8fPQOvGKRPЍ j^S_UiuaˎrNMXt;"c5-`v4q0 ?&iXkYBI|rq_fHO/VuՐT|$-s١ 4VLn8ePG.?xi/6L˅Et]|;o#E51}&&Mڭ&V}˙ֆȊI'Qĩ>bOE0g,_4y]Z6r%l49|n;}h Zu޿>#X#i02oO|v!TrGE)OB "\.-r>Yt=R@+Krslv.WƐ't GL 6eH hf^%( "f'4nn+!xu6Y鴻(lj*D?p7oF,VW҄Pԫ޲9S ;MlXg|qxs/s:5S0UHo,iJ ! '.V$4@DѯI=&ӛ*:oOaT}ȵ)OAo׎,ӏjtk8iћuc}k$\|a k_]TכXdʦ iY2s)d=1P-552Z bCjBg{ =5mpw'u*@:l䯅PIZaȞ[mŰe<e0AjO `5]3)Nb=W0_cPկ<*sdwR}h hH<A'_XoSbJ@UV7#tB/®q:$zѳBN5{r7||AHOV\cE&X;¯ U9@ X t-[_B .99.n7Ho" RT*S8+gYZ69505e0d2d91e7a5d0ae7f1c9328806e94e8a14a51dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3abb55dd0235b093e18b6ed2247b92fb94d074d3589