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 00$%Tl$ ]/]HOL-Analysis:threads=6elapsed=282.650cpu=1235.144gc=87.880factor=4.377zXZִF! @a]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їq{$Q9tJ%ƾmGJŨ^wYoIbC TCWiv4ٛ82sxRe׽lp8~Up~գ7VPm0wO4i/YbK }axzY`O d)nKT*jޏv8\ Q6&6dSm-C+ħq^عNtx?NqʼnQCR;5!&ƏY"m;WP1-¸ )@:F꺬ՔmCʛ,>S4\,0p?\x,j_$SctX~B:NŠc4NI]}Z Q!I54pNj!Q*ʪ^xMl>IsLjxH`<BUɍ%_{61+vW]]Vxy$|̙_@$uw]dIdjEڒaʍ2<4hkD~QGm e0!>#xkyB@N+֌mx즩Z.߹WW~rm%T@ wGPX+`VwzfG2B}{yB+Ƴd"=RY3I EkRf[p(gT =Xx3@s}Pvȴ`(V=% Rx9}oQ(+2^mDh2:PיZ[v́atbvG!FLVL0>t'Bws"L.BA%Aʫ•Bp |H,󣅌`Iwd!m h$si6"E-3LJ f-iijV1SF\/Uz9ۤD㒧q^HqB:ג[v)cmԂ⺮]n1+%V呖r~9yLf]Eģ0<)m8JlHǂ*rY|9J۝T^.P\Q-+x հ FiG#@ 3#Q JE1sylNcŊ:¯bQȝ#/P]℞FV2m,R {0c:,|i1P:}FI`zY>Vؚ>qU)vQ_EQ؇nJX_7VWsT^cғ*H!${< XcN;>'ti` zf\ E<E"% ã)./1E%41m5ߔQpv:.6|1#7' 1?n'&N0Svx3_i(tlpU3c(]²콙?c5@bWw@*ʅ:CWjcl UODqI#&D CEؐTs6><:eCSeK6%&ԋSCW!q}C/;D~=rB= J\$'XPx;~9,er@F' c>+^'շ8f,ķ3>x_9Ɔ>TQrE=oœ0wNF>'Qf%2J^-@~=M qZ @ ] ~/@܊8 cD< M ]Y&Ąk9kڎEԆiPQ Թ 0!`]q3eq"{YB~f*oQK0 i_W<]/R6kP}hɸT)`Z6|wg#(k/Pz*y +=8c3qNVoy# "r㜹)u4-+f1GP꟬aif])aO؛d Nid#Ցzp}9¾o58AoEA+_,B%Y$XR;a`&'~3f}9  ίSAAv1RZk/ ] EQoV+\5 ◄* b} mcDGg`1!Ar}3imTvLm K*'cIbJvS ZPcF[ImP?~h&Dw.β UZHo1- Cf!/qd!O ʮoB@:m,8_U+JPv4Mz7SiP7c*>̧6" & ·^T%8y 2[23SDٓ(Fyf?ST_ ,2wӰY1HnWR)E3NV;jݻAZ*KB!j| WWF~cP ]l(N%]!:cyעWPyPzU,JD)3Y`4n86 ~+M8Eln#GplHrQtMmB} /Gce>FB})nZtr:K~2=t%yUf0&\RΦ>7Io%E % HOL-AnalysisMH VuV9ITTrr)'UZ4-dZgNxffXۃr$cpS [%ƌC-ӦJםKz(LY ]*'MJ) WFzrx Af3K1i'9͉?؉v$mOhF;o9f: H&#T1\yLpC7bDtd坞ˌeRWkn֚ᔠC]y\<~J٭˃1~z^ ǎ}4^smgUKPBxas `D:[E_MNrJ9%'z(=T;MQ3IDe1g fK{.7q͋̒Jh DeHY#aFYԠ!'`+ y PVWKSnVU?bm i+gF{|\(ooUeXn: \]ڃ0τ;Ghͤ2< d_y0QqX-`ΝtOO"0U`ri {3O9, #g߼k-*6ߡd8z'=ғj[0tESlʜ|x ƞ?UKԔy˥k;GoMqNK&8L^VצV q ,-(I=TD5X_Mi7DRHߑGzM/?t Et GS, RѪ`vG]VY/W!t6\cd&-0?Pu>OT]e4 SqkuG4ԁ%h`~ihf@ࡱ>=/H3mxRojz$4_T劐|9wTS uR&,O %]Z.gjSpM@X/"0M/4x+`[5,]FT9*1m# *fÔ]Y-UG2 |Rc)vY& 4o%0Wvd֮&jb3=) {IƏ'Gsi> BAShQ 7T;gN')STCY8[{\iux^x"ICV_8dV&O>p(i4Tr'ͲAbb*l.NW_> ~D~.#^:mj_A12EIrxL tK1F[XxZאAΰ9ʰ[a=NIǔZ|mm;Vɐ$זPLsd5a`^pqY*c tVy} ULcObo%SzPxsU*3ϙ(hްR|*:U$5d["Є])&}wV1 7΃VWCրrjIjF-5jrbR8oH = ,R,d8"|O|8CpŸDfc 7(`P=b(D?!Oir AZKYS k]eq{pPK#J^Q̒YPsta _e#ĉ+Ͽ@ ^p<C (p2=L C_فcHR$(~ AŃ"p_t[~EX3ݓj6r9୺zb{sb*Sm˜o.YWriYSü^/݈YJ5+<| ҺWh^#PVi&?<|J}zȱF"޹pԖוkJ (+&yHrNrZWzO].եN*h ]NVmv{!EB*[пLYg]umZHK@r2Q/nƎO7B%ϝ^Fm?dNWY ].^B-Ɉ&98'5)/ ;xs.&:;:Rj)2X'r`.)7n ?/5I)vJ)p3MRqvYKY(1֌"w rȨheǁV]$G^ dljm] 5cw.L 1ؔJqkeL,s7/ߔ䥧 qt~h̏N@T0;pbauL%"=غ"j,m`:0iˢ8l 5&"~ex~jM'b9bvaz6ڋ> ?ABzX|XX_*t1&)AA>Z?KDܖ',y[eeF*0bhE"*ni&-qmZo}Vٿ}lx@kfd&<(ʰg0Z)[RK㿪@䟕 9~wWeb^|p^DhMY,F9.'$j0G2ΤBx$\ݫ b^ ?Q5X4Qc^َuA A}Wy֨4M.' s.@)<-Dt1~jIg"MNxOz`̶DVv9/{Ry7 7-8!PkyGV`eBw푗٪es:okJv\*/oI$Rf?h>=@w^s«=PsiL^:T&y=3'{i6dJ_a3g-O3tP Z&2[T9'NQR `4%rh &9u0=yîXlW.WJ`qhȪ8~c.F6F. A:ү *̬$qF649JYK#o1(8<7$ `oQ!^e<UUZV*؟mO p\h@[du YԲ3aLAY'Z(vmvLݲq O)uX!wwű>X|%0oM VS;CkT[_W.W2&V; MuU8ϭIi#][+ѱ^i3%Z& B'jɕa\M#yNr0ʲZei5h awYM-J̉. = jqIknjJO ? )uճn 9`09˹#ل!!Q==·3vYUt(# <}CE0g&^IsYS ޠCYhQYk:-)3Ç}!4\>! ]G Jz%ԲU;PXID56''ENO1Vk 0Q<6- p?G;.LU/ea| a{q-݇7f8oT@yYUYvjC)Fg-j&W*6ս8M*..Wa)twYc%{A>.Zk.I:d\dR0K+n~+Erxی^7$`b>3Qk _'f8\Dɜ ^J3fl̄/m) [*OqxdFz(~8~(,ecYEdP0PA푎1mfJqgHZ3|\SHϢ{Ar9nUηC=agX &R8\6J zyK=OjP!Vr] \x/ղTHdkzhfUI%-Rj ޚ'ߓx1aAJF4X Y"54x'*-oxo4>6f)>uB՛%@g< >^u>Z׀g@,Ùeٴ{d<*ZKT `w]iYlqۄ4ƗE, ei/***ݴr# Fu{_vL^)޽z7"pqwiE%;6/iS' [Cr<qeX|v<W`7jnD~7p!!NP9c]1z۴F9U &`mڕ'[.ɕ$B^ :`Dj-Up)*,>ښhWg\ﷵ2Y5B(O&N!n^55Sn>:n1;/lA?KW%ŬGea-&]"c;fc̈M`Bg +P "7Un~5g^D Oפs#شJP0ATk|*t(hڭHla]\XPW1ZJ76g|avqdXϔrMB3p <+k=4|UIi'oȍ0Wia1Qp TT,UQ10_ۨL>w5So\$7K\ڎ\XKES-ݗRK& _j_n;Ĕ9}FKgj9khT*qlMmu-Q!As$&s2_$O6G(}cͫ|v_19&ؾPlĞH &tmj z)*i'H6Z"`{_/?NaE~)+N7Wv)Ly֘L4"l6Z Wv=z.,0;+驵͂{G:{H„`6NYٛtBwr6G񀾠S0QIR_%6jh/SyXa-ql>^x\Q;2^J2je 9ushaf a[C oEfUܧP6d`efrw2'Yg O3U>'*ڀ۫%iYj3XPsvrtxUeFm5Yv"ܸBߋ4gH͡ "[Ӗ?c>cTx~FyH,% X4wD32d"%"y_Mb`B4B!+-{QX5@Tb™ݷEK\4a'"uȿGm(VxNKӐ.߾b0|qrtsGlC>Ѧp-Xp(So8heX< X*뷾YwgCwYP vThV5t=eU8{q)3W(eB)uG{AR O Mq읶)F/1늧8 hr2g zѵ>= / |ƪBRQD5Y˓h '+hBO$,B9!=N\C7[(P!zqa~~ZX%pW@voS.@hTM, %Ü|ܝs`zL˿䵩 tGJ"N 鶚qIBw'mR4{`I~{ƭIn#a2!&+0$(g0TQq/msDrb&#iةNGBI8r~[H% WOLjQe3vfJB|fGo@t6(Y& t۾qĠN$(FEz@iק5qAQY˺Tb3s fwh,eTSR'ڢf8S kd0U3u֥ HIJ'+nT]H(1Kn] ޙK!%咸J6 >g NwI(9o_:(o=|9-uip h~wo9>;ݰd}nTe䳶 8f)T9ؤٶ6C{k0W+&ǥ"w?i'5IF$zֈ}ASA6X wIx%TY 2]؀d/`mQ`nq}6/bNY'}Sjt2bҲVtVSMu՝*sBvAMwkel3.G6/5627| 9ђud8j)n7Xפ^Q/S@;,W87Z onfT*h{N.np?7 3Xl`YC)KFTS',$u"  U0&w|6װh-|_6Fn"D4J%tkY<^YPAPsӒ2|^-<,?Qw~uϼ$zvAFΧE:1Av|A+Si"]fe)w0'`.fO K9EJvƳئ㱱'zW0YƋ=bD⃑NxhC~~i1ĵ甸4|j!Eo=YLdS &.~59Ũ/BCǝ Er}jOgOz>8J&Jo*5BQk j{ Jn w.t`ܒchDeXZ[sGj ZKy(l_޿(xN,,Y򣷯  OfAY.:)(=9nٲ4qSY+nO[ŀ(M0AnSg92&^TD.cYK !i B]T I}6YhvEH+P<ؔYNfB\U'z1^X{egi+[أ^2,g/dc Ow2v]4ÿ\ij)jFsv6\Q^{AG5'@T VX _`Kݡ]qCB;B0}钻@6 gg]^٢`dB 0kDtDe.air5e [BL9,{t>kA93LV{1J>ڤ[ŧ'IP"-"|#fZrr )cIݪe%w`LBB,j3-;FUz,?DD:M/v,"/BߗPXnLqbUzc\[VA@|:LK dE uTu t'k5K?KɿY-{l sK{PmmCV$R:ޠb"3yI^ׄKXޯ^=%qca 2!u9Wƺ5i2%n f4vtqΠF2㣸ӻ.qsD-4·SߺWD_N =\k"&PRXg@f\ ܌y+&4ަg_k"}pk9cu@V#, t<_V0\sc$'d=Q*QXt|Z?Z(qɲ-ME$F-$2}/ ڽfF!*W3#=Ag%!Yj-1ga_,eIY`U!eM$G.}3|Y߳FIeDw,4/uuy`"o3}[4(!;gGqC #n KwH馉!(9vBB87PĆ+tr왘 Viʖeľz6lY -r|" %Iӓr7JJ0X9!{EMw3pr9M7d #.;ӘLԧ u'f/ߚ(nF?My1ƌ]ץ):Tт9yɀ 9B$ːW󴽉?[3{Oro`do  *2r rU?;'dܣ/C°^Trn`ߍ:YXgi?,)@ Qf>aAK)nR'ˀ >w?KLͤ,-'8M~ s/ (c6_Ab*zdأHC)0_vd]ȏɌZ0wA\U;_WRNJ"e%MDE ܏ u": ,7 0ΧЊ'v  '\]lY,U-EVi.`@cv71 CoB>v8ē= CE!qz}\$h?T3G&pg$ {x%B=A6ʩʦe?z.#׭@m"\$b!2M Lw`NXF. [3|SZ0U~"O׶dM LѢѻOɌ\3N,ENx*!G#%15…q1zŀ_y,7yRs"ϐE"WpgOfA8Jch1'va{܀FR Fѭ @Dc׳Y ghrgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4(qC(g{I['4$bG% olH]52{7g~1\K S_HͰiZܜy)VK#j:@q AJTVf!ߣꊍLƣMK eeVhcerދcj@MP(BƢݔ%'; @#8Z^,E$I_1 kNr%|2$ga+IAbWy`(hZ8? 3wVX5G+ЄU;_6vP.ɍϧIoijP7|A( 1'ް2%Tf ]{d#{H%;4una3Ī핓rKɎH >M{Z 3ࣦ-]zӗONA8xdL4/NZsJڭj4KԇCi$Jҟ{YgH$yDtn4Ӵ iȈߑsiOb@F'AUD A\Biva#z!s%έZ: 8aNŵ̒Lmw׮AcT;l5aOШ2Աe^uza}X7s-fL E)&\Sl?\֜jJbvMS%?]Bhg6SݷӘQÿ'TUe!@6-%}ׂ_LS?a|!zh'\f2ɒLd, 1d#Oȍ/2Q( t^ѵU,vke=Un Gft~uR)|J"=\{Q9M֨&%wTSK~7jg6gf 0;]6K?7'w/;Z b\zPN58p. tsa$kG D% O&0;@M|[*b%F2.{lѫv,eA8z$ ~"M5.(ns_لN&XՒ6̧KEV2vsLѺCKo#2񳂪@X4Oǂ  1X]:$mCd(gTF_qf.MJDSӱݵ ix xtA 3NMO8_F4ϸ<hGӧגD~q> ?cݰģ{P6l~3AUa`Rg\;t vo_Oryz-daĮi^j|ׇ@7 O4sdxʆ cyþ/A')ʹ\T;D]ʉDiu&jC_@kgp9D( ׿ݧ<չLzAq#Ca|e&Fɂgŋ;!2jp؎@{Ƴ,8 I'j /oV t!11e wL(P4uڵYt2-n{ oW|@-6 V1ㇸÜ)42Uҍx]]Q_L2}k/ 3G 2(KBH%gYZ7zXZִF! oU]ŗXi%;BÞ'BO.Iw(c,کau>OZ299dØRY jd=uaPQ2d;CLmq7]sͦ4"ADZDrF7[I{ם2fvc!Nغr,RIŀ_3c6ZxR=EHZ8 rxC'xa3Dz Ŕ#C||9; ud空Qex1 R_~0$pBT*sZQLmZ)p w(n [ZM=orNhZOc?m'M|fqD]UuG#̛#H-6.cŀAI Oe;5׼ܰQEjqEvB| 0 ^iNwP/ -Zz.eF#UF:'^><Ѭ(xZiGZqݹUe#ҫ ^Ӓo`r=f+ơ\<"+c0¯M:4H:y#iPy^},5֣ >L S:Rq*,Fҡ#xauB9z>3hQо+!?5{p$W뀨b%ݳ\k5PHL_Hhz)VjN@S-/&?_a&ӌl[x VfvKZ4(VdcŰt㣳qX*E7 rMʤD=(HZQǢnʵ:H9z&R~;9IY_?#2UX9AЗ7W_E&R:FM2xuE-z+/ő(5"n?2.E 1)L)8/R 2%; Lgd"v!eut Y-^p *4绑\ʆpdYkdhy\WCP;eQ+|ɏm V{\;Y䫯&OzV4n~>^<,a@"^SܦG3PcKr!7~~QH8J'0ЮRCGZH'gy0iL6ae}\q4ZB_&6v`~t2iN| yuRn32K_A_ʉ8CF|Ñb꙾5 ;o(5К^JifB16i:{~DS=L:T"]`glABĐK3Hua ;O:%ؾH+JCX& :-(#|eicu 'ŁUH(^<q&806&#i"stX5oƀ=bڽ%;LIy7=cyuc>rܲ9 ZL~5FAJpU+B  wMMk\͐' k`+yAbJ @Bфoj]'OT' cPo9A+^]RX;U_]z@$_(p5o\u ToXS=7m@Cv&bl-4^vT:y93@4݂&փuVԎA3kp4On, qhECSlӚx.坭ETxB P9`=.7 bHWVu X~lѠ2d@]V#.ܢo7.Qdg{oƘpO whe5mS"E GzSTכA~v qH11>xMz^Rx CҨQЇD <.v\i2-!#Nn@kjA~{ЈCD3y@LU^<)91PUF >!ss1G"[TSʓ#ýyi)*-Cep[ z, -zm #Snz흉:Ic2,h xI/Wp34X= ʰb|Bk(]2 Yqqy TYħ`z&4(E= ae6|OaE_\6`68IMS*eFz;=?y?N`k M1Se]W<вr\Z])%ݏ\YV#,^I`dkdȢQ.qF 0 3\8!㨬EQ;1_fe@o.7_؁:EБ8 @Z$m$pZO(UdV@}%6UmPn0NdV/R&3 bޅ|qpq0ܐ[yiShX>d*d.o{c6aQ҄{B9Ռ%7799i\w6 >j438[5R<mvDG/Dxsabx-Q> n<`Qŏ\Л)! ]mW'w:Yxm,. |d6k/&V՞A7m;T-ґ}7.=ZswHpfXu@wZv_nɺݞT͝CF[dO|-EhbAbOZ֢j<[M7 urAwH/m7D} cᅏ㶡~*yT{nm$;"K; r&U΢Y6).#0MU6gۊ-frI|PLbZ,}IՃU6QwvSVRIғNM_ߝ^h,mUiB+',-Y>-dZ+Dypeh'KEg%I llߠNop!!=]ESGۇ~T%/3`C]-}I Pm~,CjRyCB3d3} qe2U7?8!J0.$#>d'e˺t.[]u2%(Q30z0m[i4 .`alGͺaԠ*1F*FH9b)]U"/ORJ(d:.^&D\Pehہ_ i-F E|$4Y 籽R\w+i$߃hn! nJ>@zKHb0Hc㓙ǧ}:xf- 4ޕc!iRCDOKyy7F'71):Sv,wrsTLFG mƑ>wэ#Ms+L--cl5&tR`4*i&r}'-=)lKe~"3QFIf3FsQ[ Q@Ù4vm }ZP%RD A !|HXL9>[.OAO 0J>Ȇ؀ CzƜ(;rs&ZшZ#۹c{О㤺Y19N8:f::]2Z O[њdC'hƁ7n̐CK|jHiYu6i=Xkk& ˶*%Jh' c: ySv=Ny:"g74P1;Odƽo1nB83G0/#6 &FUӹldXmg*Lz/&I]E03OE'8\S\^lKpn2J![>9GeʂQFI볠 |Z,{`<&tw,ӯ(H?taBkH6hm^WH/PwFF,8Gpa6Mkv*A#ϭk4w_5/'}LS WUsm\3yۡ4sbµ2Cbz?Rڑb o{.[S\l̐Xo2i! Do͂YlWjHa ʬue*+N_z6 [5xYjcK拭 Ls37*uw\Z 3,z@,˞RAg(NOUaYV;Q&uF#e߯IPZ0^6|x'Z{vV|9$v؄} #/FQ6#Ux73dIs~5LhM?CQXL3ءߣRzbճS9|}cWzP"I_p18Ȩ [|U~/?kR3 PbaC 냙v lj݁B{ٵ1>x]m(9h7]!*d@$HHso!l" ΪMsyJAL/4T0O#K(82<4ѽ 7pk1QG "-)hK^}xlcXUu$;^xꨊztj l[OBt j 6DXryS8(rR0ij>fb(cZ8.UaP]ϰ*&ޅV! -iV3ItWƟlk^ @QO0rN `f CnaV'΀I '1BjmVQ$pFxe\AltJhV [^e5ΰ~8YZ810)2r,"n}@+W3 68Bk8x!=.P5" zƞ,ȗփz)v|hd39cN"__|W2Q~#fR([xLH6EH%uF)% &&(}HP93 a2X6Z08wU-)m07x]4Q|ިI# R/0;HlpPPzDj&UW B1ƥtG=+Ï%*?'%̆Clu E3 P!;=VfAC]MnזukWfqvT81#lQvۥLh*X}}r38U/G&)ɽ6$\NC}MfA~?<@|.ZCQ.4NZuS$ @E~;@z*DΕz*p0$ (*Xqk^{$F&t31VCxR .jXOq'-/@]ykFldqFJ`&Banǀڤ}Bs"scŨl< kpQpT7S7;v).fai{ͼ K8f%dpJguu* `j,rKBF7"X=vA K;&zBbw pv:'L=:F2)5Xs~Xf%nR+6\:PN X$BäK1d /`l,Ci뒗Nی9cR$/vFGiJ)TEB (e̍Wt]t+^7ُe)"a׆J }* l58ͻU+mPi2NJM[z6iܞN#n;FHغ!TO|uvߣ1gZ6dw^atg5Gov7 ӛJ '|xAQn즕W z.-!PƶU2\r/ 9g VAJP@V’2/dv61?~2ELvz3d}VƝ 䧜]Q&Xt-B>PmBZxYefՌ̃z\XLY.V& ܍{BR|e]IFfHeMK*Í K>H1d$V&%ٗq]M&(lZHEY'kAh`Q5$${'<W#EJ;, +E\1>1*یsGdtH][n94(3|OM$Kn e 3e~I5"O/'>׉01n%d2W܆~ۍ^deQ~5ZxލRqϙ&.3(dQQs8z4L.k"RPCh|=ps7yH6@a6|4XAzA *g}<mc[IY7equY^׃=؍z)&6 a$ޑ.(>>Qh?խL[R{ˇ9,hʘ~XRZP !d^S7YxKkPscFFu7B3I(VۤZGмIt(eE[Tqr4)Z$Cнi !9jĚ*pO~r&n9xЊ[>"n'B{Kcڨ/X*dpSPD$c~6p\: {xJ͕TyzhqqvP9px3c54~h?ʋq1b%Khld./j/,˯%LK|um7%L oύ}"VvE"gfW a lm'.,b%gt 5V'el.1SR Ԩ,e'ۚZ5A!2vEj>M X-4JGR{XKdI΢E@N/5tN^,5l/![R"&{5,(n*f;# vݓ۳IH^[t2%"w37Hz`6d "m\ڂ~ڮ{7iV>,f/zjÞҬJJmYiQwT}+8]U0gj,f_cuOʢ -# ~ KTA#NTJ:(2<0 , JqHTBYO{Jn,s{E\s~k8( Mx~!bHX ,F7;XWNR8q߮H!)vfH۞Sw97 s*Ƃ!=oIw^b5~Q@%Z@Q2mwZG^^f4;O\' oAyr~iCG[tsvi̷FQ=P2PG\N""gBwiғA7SȴJ{~n)My)Å֣< ¨~!x8^`f|b/; L6Qgʹ? >ߛqOK8Z]ʺnw8)s4}S5;&,c>#5DA۶#ÿ서J$07v6t 9t1NC' E\{;gjo']:ѭ[r<݆@͕`_vxbt'c:Ax|ݚ#200QOtXϪF}e\*ǡA?ES2v& `ϝQ.{4WY7A]o\DrQ h.Fuߡ6*e7_=|Ҡ{ qu t# QnNArcWI{A˦;>v;˂CD8쮉~ѡ*uK/Ri!(:C\ヒ~hfNL4Vͺ~ pUmh 9+0L$D#t092-O9шU.8s6 M#ɥ.p,Rx隒- q=y""|r7($Dc#wꐶduN^PxG}837IN)tjy\LzѕDZ']ݪ6U1xrxݬp7rr dcWMC31HU t>ȏpAi@Iՙ"].V kqzA$Tf ,(OE~'CTq#6a #'_ʰBħ|;xyZe}΢ݰGBGkvk,/d:!_DNp9dD]JErg#2>N͋anw7P5zfp1]TA#c{>nBc_%Pu̻bLxq5.,X9rBgid۔a`"{d$YY?UqQ"~S>;>3Ͷ%8@ ;Tg]L`if2r!$ay:'dd RLFmL%W`EZ-*F҃rHVW3TLdTqy64m[jht@Lʫ: l׷{2N͝ ;l^3@iր1n5Ә~?#S8O` Kcb;įE-z%=_再e{4G?h:6K},u12Z=ko;OYՆ+Yе̡ٺChzղ C Czn> !+h_m (_La qj:*զ%݌̎`Zf^A'oUT9Ez<=sHTnk@zS֭FF U=X"\vI45Uh$hLd$MEzd)RJr1 6vb'}I|pr;4#q, OE40ˇNʑ4fY$NGk Q@! =8ewJ<7 >(Z TCzu/P>ai%~H9ӂ<,mu>se˃սT\%ٟ3Xc\V! 8`Rw(C2˲D9~nc2ev.)$R!(` w@e#lGtNý\0 >+9E ߯.xԥxѝaeqM ?2w",\BHO]<6c|E%fy k؂i.Ti]9؅XDս($A@AnyT_1O9'"0ό}Qt(O#/4(s+GGq4F6<~R+pr41(Rƹ[j=ȟMg0P$P&v9{=1fh|F\2G {}J.tL:&FWN^a<{[vBJ#)\FdDw(k(B/:G*25Y":tjjV*EC;i. $%_P"ٱ5|De9B=PowV2ʉqB]e^uMDAa9񼮽f`pn'u!t/P;3'̎]Apj*ؑKMR@ùt{}:!H*2o BS8F EKҵtC(q]B8tL今 Ükr]Ď-8FY7n 8R"@Pߪy TG\R&2,<'uGGU?#?쇵zp;e_J}t%~whCYyH#;/٭f.c^KTQ^;qs~r#M`e z k{SJ&ڽTjI;Q&ෆ?t'0~K(k |OKӮp0L R#MO*5bPK_5bL87JAT}gIɬD>g%zhP*N+7#KN}^_M~d*-jPE*tY`,Y>@bV.N'9ftrw-?%c`b񖿧گk+53wʛfKo|fWqI~hė{057+fa(F\0YDQ%Չ91Zq Y0º{$ށB#c~y}ab>ti7Gq;P-q9tщ֫axq{tTcY "{簳\Oy[k m꫑3 M{9TUآX"?zʙ6R幄8AplCAgsZ퍝iH(Z{.nN@ Ce)8өR)XF@ .pn$aEo"@+Ǐ"QN&.n$+MΪK:T|&$"Yʴ` nA%kH-DH0ڲ?ޅ[)"z~_s8X?#w`SMvڮ{WYgh KxN|%nRM^P2kXI߅4jK&Pe/ğCm*ffx\7-7`i` 4|жLXc%DK*!,>$sIT\ð1t<"å BѶmoxGj"BiaC/oXE G8fEM:Go>Ʊ>+םNJnKq'dcP GcܣJll@H[EYeΜd1J ߈H KLWOa5 ܤaQX&%[Q吭p~Ϛ},NBh|a*HtLkaL9GQ`W`a wHi{I-,>7SF`mc7祢NvCU@R=#7׹/ dR2MIRdIx"ܖ遼,>CC3ع$ܹCy• lfddoSfj̣YwCK}O2 Rש]-[e-1֟vb2ž!۬tjDxIeȏ0qoej.FjgϵؾEo[Τ"'ZÝ uWVmj''}-/JQ&X0 5 N,'L |!(fŴg|)\Da&<^ 'i[m~aS!=6dP&,x~)=(bl/@} \Ƞ8uJZax'᥼&J]%ă]T@%Er{ua? 5XC$Jr\]kB ?-p7|Q*\[f\4xG[mSg`ک`ո4IF@3,ԓ `A#O_).nXg ޘazer9' @#d@3(UFWf~1أ]xUIVo ݻyQov  yic"K]hcm3<$M~k}B)4fG9BS_fo Oj$+pt|-_XgA2Ju #yLNļڗԋKVٿl R"`#7Њ@ofp䧍k9Sv̪ƙӓKaO+<HOwo Kwv ,Z2jfp>`]5Ӓ~bdF6&_/)aAXdxIUuTԉѻcmIB2#g7tSQ"\Br'蜊)D4Adzo2#F,nq-w:q9j7!xX 0K2J &T#stvR2˺HzcǫbxDQg_`ɋ١|uμ9/rnяGtJYp2M\=LF]$%HT6PkCо8o͍C2߂=JϜJ zp@]/jo[rd'ƅ\^݈8o $ e& *ٳ0;)fA m.1FWL0哌,$d*s-zuz @8#)d5I=Jݫkpu.cWLL= G :uy%$k2Q5)ƈP u8;_dfNȞSV%HΕwaԌ}%5\ pB8ȏ8CGw-ucE?KzX{*OѦ]GwWYY稏Irg\i+.$Ȃ8|G3drPze~&I3CArVi-S ߶4Lz aĘdkФ*@G3А^Ix~5`%yp9{/V=Ga8@%`V<"u1ٔ"KI(@-{J OWnm1aqK \6)ESb_"" ߟv %)n}S} RNڵdʶvC33-;}J{RH 7$  7i~77v&N>1Z`@3G/dd@5c ʥS.:n+j'%/HM']:p).xap8<V.d9khpaCFi?4V؈eD=ʕ5iO髒ÜIB2)1/.](AЙ?kD NhO6G?,?~SoC61Φj*%O1(ԩk$?-'چ?C.Duc E \i/d@iР+A݋\H^@ 膷ԤF\ RҺAHUxB0Jah\wuXFeDJp{6/zV 4M|g:>8h hZ'64G,7b{ohTx|1:?ڧT CoC8] (V͐Xi(V[Pe$7!іM &EC&Du|"{S*l&?XӼc;*ۖAqs vd|qًBչMڬpi tƪ&uPyIj{,z m6g_g6hCA}xH6:]H!Q\Jdnt15>Kx\΄rn".rYE\'ȏRii/aS+~QD8D0ݏ:> trS䓝G b^"/OH\)cj=O:vBDQ}!-!͚kUR^\A=)2zJ"XjP%?/UAQb o%UĶ/O.ꑭA¾,LƇ*1 UcnpY?ҵ>ǜt%YFaǧV$K/mդ}p.+&Ga &?[%6Ou|~ mWSD,Aha v?uiP_j @ɘK?4KEѕ`*>RޫQ-x%fnE)tCɤ