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 +54T ]S HOL-Nominal-Examples:threads=2elapsed=690.732cpu=1253.692gc=126.576factor=1.827zXZִF! ]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,H z*QH?3:kgѺH j/ Su~9ib 5ƆBԣbRC+k7?8L\A?n E*6+@}A[LnhP<2g`ܕ/s-_9sfٓHP֚3=J{1^"1CfQO;~f~-10jd'ޛ'_fF,hLdC4XՋ!^x?U2v)y4ղ)L{Mx*~/;@ f2rV>)7$ oD* -:Xbd-ЖgvmWEګOKuW)[^ !s\J| ҄Cۑ$-Ś޽ )+V|3 &I}GɣNQe PvfwH*2]UTm% a095^A:I;1\(8hLayb ҃hαðxtFAQ@qdcΩӊ88 |*=00n1Z^Dݨq3сmcnɪgs`Wf$'U1 ģUt( 6k怜fq1 ގE\j{_/uT\X̹p7)!Lj(<].@ 'd EL<̽j[\%kwI c5^cw./!-ZBTO\_Qm >iН m,p8owCNXӪ DҫSrtϥoأ11ΐ^*yܣ9O^@ V^V7*m"q{0`1aNV*{1`iȵG}C;".}- Ӹ%%v*%4THsA4xF@8,f&kŵubvWK#u3ik[6`$Ap%?/:$ o3\.ŮJbXO.|Uӡ߱OYkr\tu#X?=nz&SY5t Q'AyQ^mΩ:$`;(əaksDU",_S6Ds%vZ z*un''DVj-7 v%uwɡ]%hnxwFPHRT*naA4{>ZYF?183κo|xxWTh2>3C\AJOMR"%xgA۲m{́3a(;ڌt2P6m킝$?^JeC+TQו><)+ۼ H%hUoGa%~Y]-5R lǍc(n;lu7"{xrFs6;LW7v|Q^ws gZ ~PGwIV+χ@iqKM},@k V Um'M'w(Zqό*2:ZD/\cRD>6cJ NS(`DCu|ϛ(򗵶ued<ԧ>CL׫i "b_y\*$wXOZ ö&e)̥G{{َx#؜'J?\9$vʼ(=4]wc==' ÉWNp!7L>9MȔ(4 IoxڃC@I S$"캙U15k7V;V;ù?{Jg۟OEdv@9݈k s4md 0^펳쒭QլE58IʍT #mN.~Sil"g!lBϗ鼍CoDd  @aRF)ڰ9*Ʉ<"ŪJa2eN$s[uWƞXC`ߘhW0ӷ~A%y#\݀dhik |!#b+e`_c2Tv4K~zIjφH7h}pWk؂ M~p=LFNc޵˦8 %5>0<34NnŤg,suGۦ~$&wQs/J6kW%|_,NJwv @P-RU]ϑW[sS?)JwІ7cN2GC? c5Aq:֤{g (_t =*W__@Ը}JG7Lb9bOL8 3Z)OoK QM sly0cCa,57m:lZOP9O{C㓘eXvt9Z-e6Ƽ`wqR(.[gA1sT\xYޜoL;єLw `Pqjrq 8<\9QA7w% >uXڑWgr̆E%t.x Vb"HlLfWMj(nPLi+?YLt/1?(씩_QXeHG ܫU(}Sz]gՌ䁘< Lhf+㵼e|P$F+\0Puwdt%4@E[9>#? o[&'0 9ћ* X'V @a}'qiJK-*Q\ΕG"r:mJShH+ypҳ!-O2O ES9hq֣}#Jx n PaNUɒ#Ny7nW}u8/7U;(*257̤KC`,AM@4g*OIyh%# |]{L .HWUCkB ;we} D$uO6:oF4(cp{o4W?}vK7nY iSû/z- > }֮hWpIvU>Q?u*fpa+pl<њK-4//xIk`kIÓBoi(>3 1p9N(XO0ֆa&=6&,/HSFG*%~"FE ([:b l֣1'ѿ@2+ahƁk0j8`u5$ΗDkIaެXY/KfHH)*~u)=sPi~*&l~2|h%s2 d++D. ~7Ll rB9T_cNe_}I1g԰Z^ ʂnEI kt%2+&Ɩ" I ҷ!tZM ps2]}8T!)@OL_Ќ/Y-zGrWHfT6 m(V@!9(D$抵nG;~tkcK,>r^Qp^?C4Fh7S~N3m3n~_A$FueLBn# ӈr+CP;ToVtNrʑ"!\t7Vű秘jrC֜AFw h4[Uf͖Mp)s:^\MYl9qӁIa v X1O0lpI1U7BIpVmåeN%78Uk*;U!ØmpΠw#4[Gf!Ln "XQ ҡB<$xx$b%5̜nuq0$ij";c#u}!t3٤!Օy(SP:11 v0e$ʊE^IWې7K٘4un? @ /5^S7rhզ0gjh}!E ~uH1I( ezwT?FG3}cj? .K!z֐p{]=YإuGv0ϴ.AI3@9@4v,N鹋c3Gؤ!@mXN6N?g-2 BÐv`XI0]`ռÉ g0ffo6߇lp6eRq7h֚mQR?^Y 1?C?Й?T5eϺQŸR S\s!bNCt3 ln cMzaj[mN7:Xg^ت$5AҒ+d zV! imEhœ:Γd8{|;trkgALN1u2dod_F6XZ :m GB_Ҫ .b'="Rp˻}-iX) ,ĆV?M^cP:BX s˟kݽarw[}`Co[$X{5iWJzM)1\h /s AellȜ?Pgӹ_F~yQ}|I3oዯP8;MсuA I1e5Hn M]8$@6K24-2kp*U$o0 x>wF"\7q1Ŝ8bquKQ~EBO*9UcW8E,:r&_Z9ˉ'Îm( 9D*eWTd~DlDh),  -b1>xhUqS:?#._$Ak_n ,`Gn=4Dd*.vA Bz˰5v}*ĒԠ-d<\ C .m%lܮ(?~G%#wITvnYOy7Pv4Q558 OZ`}{xz<3yo2 ՛4x).TTgDk ¿.ڱ^܎l,>#~">Kc<˟.B=*S*2a% Rwqbw:7(pKz_Y'Y| I`?e,0H\"0RvKlSXf25}ănOI $CI}DoGw bP{lDy:e7S,_؏EYu&P<\{-N| g/gGx\͓٠%8T] 1;=Ͽ6Y=ƃdOT"g_:*;nƑLm\M_LaE>Htws݁Szk܋'3HqWS1g/7fo)uO ľ'Q)ɰk)8"ٵO;oB…E%7aYK3p詑ߡ?ښgYZ7zXZִF! c]ŗXiɟ1ʹ l93攀Lx3 a$B( mrT}ط_3l We {Ѐ%*揱]^%b!\'b"wТO&,tRh+وH2 @O{l6}?Iރ5Z} mMΡJsGvM2=Kc/fr//s0Sx%H}E(%TO΋g,؍fH^GH[NrCMoKZj4=CLz)o8F1N. qZbUeǹtۆ / +:@ \t\ P7 bu<_sNV_5T :تDRWKDLE#ZtgX} x"F΅G<We8GDLZ"6 lӱ'x:sr2K3=_S)9HgYZ7zXZִF! b]ŗXi%9(PF+ǣ9VZj!C*=2ĭ?^u&Xi,IN]p֓<^ bW161x*%u%zdB[6פd%hs4 YH!Wv,aX!8?P^c(dr;9M1byb4'"f$w:)H+\%?!=x4rM MftP$'bڙG,].I {:72}/kZkɴURb?x\T<CfC+}Ґm&</?. @qY UzQtR8f 1Ib5Vݢvc~`arhN.]&R_9[$x'3A J.E O-hd̊XqFu&~|FiRʷ@Hq$-r,dnG|cN ]q]s@e:dC~IDsMq0 ށSpp:,) ɱ6*"` :Yu[nMo,Q>њu^gmHe"BQr"#sJNa8 >Z<}fFD 0{?6Pw"7<-{4ϤpH?a.D0S,3,j`gH=Q$6Oۘ̕;yr7n2XNsi!!hCӝb۠$пSk(qqLU\qA" Љ. #6g Nϗ<L)  ffI a xG*P%p }ds"tH]nٹH֊HOrW3?}c#jU?SU^ַD}_/.7uʪCCvJK0Lu͵8!XbH߅w <)Q\m/ lN꩜t{3C9L = R5AmXvÿd_Auih}Tь46'4qESr0)=qjAq zig n4EqKT#hLŔ'<ߞtwcs1*ݱ`DÌ׮{VqBq7u-Џ7I=NcCȵ= 05'T__/fP6]jƝt!kB,vN2@OkpW8kqCQ-@Ln@EG2Rq2 g"[Nb"Q%D1U?tD{ct ۏϬ1-gW?f7M |jP&ѹ=#W,?znCݪcO#ո`ˌ}z ӶSpb`v[qKHAJPM7E1n,,MTV6uPZ_75rx|K.*e nrKB_ &%{XYU9v2lB^ˈ$ĸD*[.@1a##X &-IP(d%@0)hqy2 ~;G4h#v#{WȌpOPjlTBm'Qhw ' l!V`J;jÖG;@&x|t-@zޏtHky1V4!۴Cho!s 8%Zgv$W}܏JrXB$[fud$=8ĀN2!/~"K6ZCŵs$BN<7An\o1k{Yd"" aٱCQ9 S!gI{b;OM^ ui񶗋:04(> u8vi}x?jWXg 7"ͲGﻚP(`SYjAoB*,=}J#\Yx̬j/sEp&Lߩ"8 ʠC\SdE#E.t*\yXeRIB]IF HO1a] s08'8G U+? }Ǥ S#` @,|{ gj/Y8ͨ5xd1ccQ_ϮÑ =b%Ψ88#wLlz׋ψMnB53):'BLz8 ڑQkOa~ O۵,5w|0s)& l~T'VIfF_\[!Igzk8Ǽ!< r1DfYwČ_L4eM#$ok$yA@n' $K-]L3!|\I@9_j8 ,('ϘX RoN~s=#p!J xeK|K{MH{w51QL%]3&n3[nF9:Sqls0!S5ȁ%.{%N BYK]k[ nO'ƞJd ĶU TIk@6N z(9š.(0VqOyǾUK(eL]}SaA AZv@^y<Kp$}bM߬`i1e?r?ԭ% zb/hJ`-g't-vV; t'?Rа:)1y*/!.@lW̵y4Ouf%߇D74K= F9rvl:)Fg5sk l1:LT|k)c%z8=b54=r%2@h[( <E>Fӥ \{vẗ'dF&}_NdcW[zت|4<^l,$\@P>!&#>ZU\(Qp{.54)Bp bKo(Y8hK'2\jC'U !5 3հ0Fj.RW͜`:QFb*+4ص|9#)d?Y do ms7CZƃ8ul#`XZUBǧHMs6ӽТgpO>ɊQR:yTe!9>|^IՉΚAmf/1$wM=_w\gu)roNM=TE|貮J[  N=LZ6N7[2M>wFg1wu1[!>ހgsz^)9+D΃]P o{\r(T*/sXK6j[Y>Pl?b$.=C !K\\z}y; вt8u-nF6/Y9g"dRdM08>^U8&T!kY>\ WV ڰ5D6H f5`Ży!/2T̃7`^'B l XvE%;SJ:$/IJ;d 2 }wik٣z+7jI i{b{ϛOPO~xNw?w}$H;^ɮ5nw^d)Av[&l޿lT >2Bg/K]jk1aQ#0u~F 3Mq&A2{ݺ8;v=C~lH[Ur,6͙3g G[u"J"09>VV' i*%"JS/k<0Na<,[<#r`#pC~Z!r- $O 7X &hzXF)=|."(5 M v,Y$3\r~[~NٻfO 8pE"f?|Tx(Ł&m*!1X]"b.7Bp1RGܧhXl6;ĔFm JpgH-EWk$[B^J!S~ir-lfrC]aʛ`Aqe >liÓKI?|(j%K^S,Af6٤OXз*%LaD,71BBx rJ"GMl kgp/EG=giI]u[d z hlS]!>[5E, uHO|K恂҆3Zg\J!B|GjvU:aӰM1l]X7-;H]& MЮ'Tn… $\N mRM } ȵgT{Uqpɓݸ@U0x/Ӓ(i`U?W+<|_1lcR<8p^jT\{=#afJkb\B{NAB_CF!3ؒ)ˬzSNF!.5lg#l>uJ2/'F1ڐ__eـxٱ>'CWKD9nua3v}or~[XRZ"Sj=*BipG{%MmyQ*KVsE_T𼌻;ԣ4%CA|7!oQ+H01l1Pp8 *iv~}U[&`KI=~x7?'U£r>lFγ~ +&f,P֛`iPX$A]A g'dj2,~\CcU&}6ߌC" /YOԪ.o|bQlݲcdQV$Ybv=xA@̌Z?kf$ՋOg0/|3 Vrq 6ͤ{P `'y\J߭(de ,ceIuIrvrAmbB%&jx|ܟ b<)zW-slQ_5OlYʼnʞ!~2tFN/62ĒMd?Z0%ͿTW~EM @( qufWە:׶*gK9nk4Cyw5R sGƯf`:{IXn͊Nk>|KUc8oٙ;aٶepvjpTeV׉= jmLJjzϠą|/)$T{l6Q^s*V$ ȾP ɪzd~]#:QK|!j: Vpz x`7ItҚ|6N95Չ,ݶS^m*Y3SfuHХ`Wt݇`?Ix`sYat@ȁ,I-)a$ [ x=c[H9ru RE1C":W<YD84֤q\(@~m\YEnx$꽒E*^q(p#9)$!L`G^(< v)~)Q07:?F<2E2"H6Fcp \DRY bCRlՔgrZ[D9hg%Q |RTSD3F#>Iw&"n^& DlS-8qҢG@!h-FM:t"W(6 n$¾l== S*Q/knc}G8{jlme֨$`0C= B%1 0v_3&a*X!xzb# +I9^oрe(Ce ӊEBomUX~ |!ϻ[RL9B\;J<Һv|2LgZ4~m9źZ%Z+REH4Ebn4I"N|%H謲:^u7"u8U~\2ctivZ9U欬G? =N+^ &V`$0x")[6TvdW(ҎPma 9<\DФđgo`F =1 ۯAaf{tg,΅'( Ia_2Iҧ}8~3S=%=kZ˾^Q:f-D;l44 I.1?Ag1;3 X#PR1r+D%pֳS]>DLs=gO]V$0| 14$ fRFG )ww+<⑨{T&|sBu`F9![897q&R۵{Z{}@2$j4\l]M0qm'%7![jp&m X"x|<0ai^w|^C+vuNTI.|KZ擙Z̖(ԙ= 8yXPejAAqQu8BO(s)2ed wʴ:‚*Z|QT Dt2~G& +āgd a3ZXyVPnXʨŽQZk.A"Pj~&%$ds>phhFpnvh3]}IU6Fw2O>,u4"q~G6w˹W,EA "b3 yv$o¬7 2}&:Yx, 'B0['?,)S "EE:vE閻1 (p9\K烶$N" qK^kT ;5uWHۭB]QG~X4*VZ{=mp]3#Dsaw,Y,aH2F8eP<ze'rq4?BK} 1,'.Mlu3A0FJYjiWTZҹ)ie(e 0+)..Dh6ф@Wb ]O)IfȥIMu .On:tSl;/jTWAFUENx5lo+ 1FEoC||in$:• qA zbF.i,Cof}!um|#̤ZH;Z֘]{g4\M>+a~;?3 5G6[Wmz,"_ᳫV5qE9IƐ*ӽY?TUT>xG?{e+9#\ךA`&6ZpPi~ybaZ ⻢E"-{Fk5m*/g}U8KۙWqo&5@S(򼇁_+ƙ ¤ׅ)B171Ip!{JVDQ51fUY;#qz8J"XcI*H+F {1:w6flBAwy+Aݝo#F |YH/"vqB̲?^2؝%n- = ,\BIu6ϝiU>M1ADĚq'̡팳nFnw췬ю߀fo>i̢UnaIV /l P{ y3@#VYCWI+v2S\UxD1+309BtHc"\smC={| zA^?9rbqQ#=ԍ^kE$r m8hǍNֶ$ހaKH3хHbRB9Q3x(,knڶw>^,m삓{i#jHRYf o@ȁm ӌ6Ijړ;F{_{PCx:qy6uP{)ȜmW<785d2?y  I#k($4xH &2 fKkRIZYxbsKkm',ٞ |DM78d,qA8{/MR&kC{P]]9\]oROdj6Jt-є¸QWL8-υzhRJ?M} XYI7=~οCQ7g33"<Ɉ &d5:<X-_)װ`ٗP..bBuQNM|_;%Ju%mϑܬ:s/ {q0 2D?H;[uB&Nl.=M,ȗusy )W-a/83ऎTY4"MS[VO|y'X%~-#^<-5"هWXsIʳcxf"kb5]PTr (:6٤Y„]o.FT,UAD[cN=G;6D|uDcUJSՙ B-!h't!AN]FdS}3 ;^iɞ$;*gDƩ>hI5&NL"xǪH GZl`ɪˬ ZNʏ.9W<*,oT!Ò"|\lm,'6ڥ@ϰlyO|5fAE9?;雀47j fP"~ ϰk_ g1l?I Up?tyBbɨYUS~bM Y'n#q4Ϋfh) XĎ*P<r[*a R"ID ;I6rnʪJ [(R@:ʙ$W;v2?ѻ7C_ґAVAbD3N7W;J?ǘv^R-!]8aྏQ3v& )f0E]Zi*sZ{V[}DZtgO;nsE'ˉoyv{u37ןҥFNVA« '"Wת _ZǙ5e'J[:7l;*zCdj3Sp-3ŢՊeOtJ7oǙ$?uAk!%yMRѱ;~SM=>sETZONcIIfSNe0;™`?ۛ**,}'Pi ]T惇On _gn%!ϒsq7u#G^|+^ѭ{%4O\mʄ]mLhK`}G^\!l?d#ԕk\WQ*ۖr*#~EW'ƨHHyPfgh ,Dh:χ8`2of5oX-Vr|8_L B,hK-g#U[cy1hh]5tٙ3 +~79~ՌyHaxH7ܠJ'$%hJdN+ @'JWnr'Av`dSs-wñ XS-F Ѧ 1*`ُ*%I-yw}Yh|#cA읯 b<);c`|e%qXtk3YR`u&9Ha=_!L+`g^gu;EPF9 <Vߤ$8Mb8ᲢGC$SewOAdDhZw>>@}9Iޫ3_AT-{xB!Bom3-m:6v}IuVǻQ$U$TQքn-)V ݙis.\pED+S BG*"7^ 7q؝R\,< p6@ 9r/45 #ʁXx66X"jq'Ip(SW 6`Ysg%ti]L:;Pt-]ɄI@*l TjVr3P[OPVuW Q5j 'lc_9lD0&WX)ʪ$n4E\9w4p"730@M ylܨQ^? w~҉)7 xlzpv Cm`$B۰XnGf|}h4P17RCvd'c%S%K.h2<^$#F4t=Y< ~{n'P6D H*%h=l 8)4,wLG}rn7~ Zgcqǒq[NΓfࢻ|tp+u8  6 86J\r:JZڴe%0WltK V6ʤ5@ /$;[+P+$=[bDW0t+A.ި PZ`*+`!%, +z_"R?#ΩUy:\MߏMvXL*P%^kmble7t7.$'s-+}Rjխ̨b]OFTOPM&o{l WgAki={xTOxt(A6?h.i߰b@fݸ1e&Lfye[Ʋ3Tk>?f&Jq:';~N aUx/1&^+\YYK&kIJ# b-5pgQ"@W Ko+nմ6SAgfpNxtJa,\؎b(%S#ˠ.MkXh@4~mad)kfHUs:;zkM55o,?HNb SPث=XҺluG?W*ttx-h}\Z;iw Nb]Q32x-DN2Set ?.c5/sʬɱ7ߌF9 dSH7 *A0|禆m|cԯ$ < trӇ+tkÛȫiFC33w (Kv)սˌƣoISN6r@,2N&VNUh+O^lI ~A}x.|y>^BSD1s@k]{AkS,UO_x L{ƖFV> [sKrӅ#<׹W?5/*ԧ4z=IOxM%"C8hVF5SC(H_t&rG^ẻ>`@ߘR%]VKvoFAYnyS1'>LojtvPT)IE]왎}'9 usUW|!p-(6_O\5!OR+P0D_:f 8!IexmT}Vش,]d`! ;HqÔb5OtمиW3?}s(]jqJI#bEUץ`Є *yisƙQ-H={fs[i|],5Q# _k] IXFjWJ e;6Ww\Iп6h }4i*SMSlirѝÎ9oGզEv`ݩ{\ac*K@ uxق+7IcP)b1օqZ rja54|ZMGMfaAN{CV_p3Ar,gIO뗀YQiD+܁ZQ`2PWͦ4(Ǐ5G-ske29k:KNM$l;V ֩_|>BV?eJ=U䄿G 51?<4}+~k2m>b UҨd=BNxȶ |  6񄩾R*}M$Ok4r4#m]M*CP Ö+[#Ԋ\z~9o; )kf4MAD{x4O!aI"vڎ0ЙUtmf>0`of9; TmN6?e,ؓ?%E`mhz [H :sg_ F 3WrmyӅH'TIA[ʂhdE|#iYEdo96D Jway"iԮ}̨6inE5IPVi-)Rw7~lj'4\%wsë BQq s4q|hUW@I\SN>4ی\Q" w9*< 1]nӹv67ŹiLReog8-mPwbLbYڎ'F\w Ci  "QoķH7 nj:B/ ́ӥSֹ:6sNo2`ɍ!-@FE.R[6=Op\'z3Y=ɯxFULdy0lWJϡ)zċqU,Yե{ ^S 53vHyѦ9ܗxݩ8WkZP5ɓn y#a Re\eNRԦEWU1/yj\ԡԲ$?㒣au8}Wq&Tm"V/~xSGJX9H`B:&,|%H_c~X*Y\%ׂqޥRh9K/Fh͡)d69Mf˛ؼ6ڒ!@lܳK(ޕ^rrmo<g *o>#3Z8ThpM6NpKDdJ\9ե {CWd/dQ.,ZJkNl+vf;)0q9$K|((C?wK K!) 6 9 ɠ ,F.?p h?Ð|3Ķ|bN/"ZT R!;G,GCei9pk^&J#BF >H ="wţQd k$ygA v2cP_@buI}wžѪf66˼kѪ|ltH}@!Qo`}oUq{\r'9ܞ]A.Y8ӝP(!^9~)!9v֮cPq *!h"O[Q˺뢿̿hmJh}AFZ 3 n9vBsu<*rLzo8{L-s&|FpB[nn|W1=M  U` HRjDtu|n"Rh] |!t1 J/O%ycdI!Gq jZC1(Yq\_N6o6Ok+q!ITݶX1I9]jW프rK8;YB'Xѵ*Ymj csgMo| ~l4Pm%kDęՎQ.&׹QཟMI&T7x\Ykp7ź+#;awF4̼V_.̡-j2ًI\l25c[O pt) ]T|x*Zr@pPE6%b[&䠳͓O4 R$f0Q,a ^ ,Zr~"eW䧓1K`*ԬT ^Y'E#|ߜ/X 'w;j[*R-}`a^Rڣa\u4MܴcsqM<_`[eUSY뱣#{PKb? ={Oٹ\#\MQY]} cMx k}561lT[2GcQLc%W7 )i/`٥eNќnb6[\Q| S;+p'!lξ۝qs:}bn=$j(p\.vX_+$@l|t) t&+ǢY1"Pkt6aBŮܭ+BI8 ,$Oq~T& -˗*+^gaX3L}Ae MӔZr[}ax\']zQ{n[6 Goflݩk{"R _㈝N9̶Δ#nNCV#ϰvZ}Snmn P;HBbaلq Y}tbU/;4g D72(<%`]=1#DgwQ>Cg%sLi62-W'e$ /n4Tg58Uմ`(S.%8 P(iWr!igA,=Br nܹ({ kpy A mauYCK5PK6V NѳL闕nԢ-jR7cگ;vJH9FUdza jXI[g1iTZHyzMXVs T06,w܄=fی-,eKqxR\7O/ oj"' Ee/Q7w+G5ŕE6\*-<$!%8[1"U$l{͗nDfE%}/׶g}bEi̝zZUx{4Z#<;eIW3䡗;_fqi}ylڞ"4{N@]B)X`}ϕQbA4dCtY7n!@v̓Phi@$} J$lZ|, 9+ĸY8*DVC4u)"e|rn=jRwX]O9eFU^~D8<؄KfLG,jaܫXusUsVf0pWORANR ):G]oB1ƋjB fk pKi!W?aB!HˈРʊ>Mcm 0[Jyp>ٽlVds?*怙S3⤅*\\Gǯg+Ĕ7 o9YaxtT~y݀>4憲8֪%Xݰ>,w27H쌿O[kz~(G V@Br[Q"똰bJq Z}d`vNbS  j 6q'ry `rvPODS̬դg#mb_[uK,]"ϓ;Q?#P#i+y#ңBP:a749a\5)>:|}f~]h܂.f2#5n{td=kijN2oC򥋂, VҊ|@L˩N˗ofuOp|6?C 4I3 "a[hX~r}l b bfe*CبKFZ+.5USS:֙ GI,7iM&Xw 6cAݮ;}n9=v?-ÌN])=Z/L[q\Jdzײ͔eSI)qG>lC+׽0޵Is߻Py,-VN `"\j54"@FgG?{u &Th8 Pİai&KD|M?zl7WWr@s&m`Kcy$$Zs*g%l*p!21fz `^VA=.6R! (Eξ{ڬ_i\&jr$#vh,gd[+D' `J&'Syqo S<} }diOˇ\Dk q.0ϒ>~WRWϊg1Thx25<udוa{Ը?\(# PATD(- e8ь_uxj!E"u&ʧcFs].PFkqTffdeqhFg+Uʖe'9xaJz>QD`#^V&BP/-f-|U US2-/RVW5@63~Q7A/?b1L-3, CÌiۢQ%(C$ 09nڛp̍nۄИH*"%8 ,쟓>%{8ġ?Yc騮ݸ%uV ?ю Zqrf{Mlwn׼ ț:<.~գ]Rdo^(ʕޭ+?r( B F Y@bnE7JJPk4XІOeM"(6M=0m##z$+ Abr6) sj+zeS*;GiDL/Y/jK;[x<|3K' &q͹-V1hWʇ&Zz }~Дꭳ9fpU -ٖ$~0iUk]8!'NN\;2^{;޹HNHiT#R ̾!=ZY$ A)VFgʯ7i4/ny韄nئQB-wG$FòAENJJMA (w#hQɢ"S|dBٞHdyL(z>H4,4UF 0 ]{)Vxm(3ICdqUe+ 0@G (ھH+J`Ω#¿O"-$"C⧓yQ7 D%5`ZNk>\fx"\8o{MG[b!!7{ CA HK0 QmF翲_'MOcHlQuvyׂl#-" Ee #Hļ*Ih^6Qei4|(_pr$.M|t%|tmhr[y1 ~?><|XMIsڣ!Öaf?nMQƕq֌MƯst)&$Y˭Y漏݃E6Kځsu+{sMȃ[U]T:V:/\tO~A16#|5+5E 2@ح~WpS`@PsnljL]V@EUFo9`er~m&Nu2LT36[F-x2V[eؔ~ Y>dU~t*zp?xa~t)e9ſwJ TzMWoȽ`oRM#ApQagq_f$n5 ll7,CJQ^OTٹ)d汔uY;?&ٖ- F[62Ak`0n?R BP&CWĆ.l[\_XxȱК[kk <09 CiT'Tʂxw'VY7(VԸL{_Abj$"N{KV5".=FliRe$`).ɐ\<Z%Eoc?X\n3<ߞcxcHaVm.IQO NZX6,Je65o%Th\5/~ormx]qAO\O'< w3ot#=VR2nI0Q;foH0E%_QMGoKHv8S\=ٸ,a}.[WLmj)DM)oĮ8e❟Y tQ/ΪnB-wq4HT aYٝT~bԠ39g媬 YUFy_%š;0MLU{[ĸ 3\w9났@%Ã"}_th(iN^tqʭ䯬w>fæӁӖOkiakG#NzY[ya0 -87 \|ݲ5KSn=XgU橄 ::A< vkuLlh~3 WoMy8׆ϵFC+BP.`"ےR~q\,Fvj3Hm?Ic=;}TQjgXp (QPD??q uB4UJOPdp6LM:!)sx &P¨զЌ&nl8:+ yuY/WkwaԈKPQЇ_+aozHJpW|4}/ $K]xSPG4=!IZR9Pd7dڐ'[MZ@GNB b8| NSf|d:e\v\'d$cW_pUF%eLT GDo2S@XWbwUܘ@5U$ n̛U vX60Ad*?\܌3wiAU5 Հ7#%c4v>T8ĺq7dTJv!@k_1hڟC >Hn k./oz.Ym0)_x-Mm%[=3^t>>ȷYⴺB=Uk3 76JCr:RZH2K!ǝ$Y=Pqo '903&)5&${ ߖ~]@66I=*pvg[[p6n5Pvg1}9 {yl)UQ T1 ?;ZV[+`ڦu'OgQ/-¶wض= ^F]F;*NG/X"CVLl*`bա^Ŷ%:MzMZ&]V]Ұ(Awى|AQmE]4 S}': ]+QLeyNcNڥejC~4 En+)j=4h ~Ai?7U7qJ14ʗRD}_ir2B󞲏]pZs+F_&yeϵ%b5ؑ LѦZbX>`M8BO2`ؤVLL]R0]iӍgV|9paÅZnuV\wʣJ{کFd5)&Lm>#$;~4?qO]Æi]P1{f;ȾIn.Q . Sl?TzbYwqwL2gz4ZGoHPu&Ξ@L'{-Eɷ-7f>㘎{L]F'*bYtFkGy:m 8t3H߸&??NbVqdyq FӋ/p$uPgݻd+Ks{+]iHn1.c':䑳u%Ϲohdhrv8T'G/*_ jit[žyl̷%m)U?8J!8׬LA^YJv\4*)߉j#jkDo7e<PFw, }]ә{nmS+C1+AŨXكۺBb{_cy:qv]S)qZ~KcH)*/liך^]QԘ-V:ѿM4 H'̫ x 67, #[bYΕʢHa$eRȸDR0 lpޛ2ZjȠfa4: 1F|Vְ΁ZN+':d-tX LFZ`?ba[,Ɖx1ذaaۑ!U']]-#$Q/D"k:#mEs-RpA2ob!].7*Oښqڋ-0h(;#)[?Qf/rb.u?Ph@/N5 VC[^u.q uHeRdKՉjm_Ap'/o`SHF4)𘐍l( sKVKS:kV'B~6O˄3kbA"^ja쟐פD7j-TâDkg8j&l\bdeܐ6ez{'uHnc ( Ze,o'G;?7gi\q"ΧY٭=' ,6Ř ͏\ZHOHܵ6bGEYP4J(l}Y[f>>V$^K@mZ)|B7w~.^v ts> JCKhRN oqԡ}i=bm綋. :ؤ[|CҽHgiS֘//^5s޽-%kkL`%keH1# W9L,CRL FоUE%ˍ y]ܳëآ_> n$'!cQuua~=cEءJը)XS)6YL(B l5 !kTф7QPkvOh.zlE_d:tϭea꺹 y4@Q" 7c*bEi㒕V˨Ex~>GTYS dl];ˇ*!0 z['kLTiu1Ba#ucXc|tW쳨D4BůvD:vSmLr:(`)pCV"M>) HZ[63px ńb] 5 ~jw^#CK9Y$ \o ypBxٚsk5R/tS ni]+N]vuZfڗ`=r]p*I}M {aP3n}.ũ;Ȝcvua>1'~1(QG ^;8'to =:J֡º$x6>mkBuXcHbY$ǵ)Ry;uWHwފIoAF]*({P`SALȖp쯋2jU.^+uNjkt#0!ZY^,s^{S2+%~y1r3=U^` ysZe6M9tssד'@oH!qomNDb[aO~V,(+!r>s_)m4?z( 4cOȚnv7<ˬ<\k%}:|u!բyI{!RMh 3_L}Mt4),ꞖI*-#]xcm9H>Kߏ7*V]&s]xzP w{zy5!7x#lM㠱SWp)H|Zo{KP MV #Cӗd_c~"SИI}w>1gم(bh } R\ݟQE!?J)agݰLۖD&:`ljOq*@*f@a6V}`O&Z*1McTbIݜ F+ 5hn.YnHפx>s%=ު"DT1Nvn tXb~nLlhvUnq9Q0ž$8)[i_Ǭ ʱd1OԊ4 &=.Wq‚bFI!EM?Ox1+/G7%NvmrqCVYlP_ͷΙ,8@h.@ Pr4FN-9֧ &/o Ua聯|v86ڂnNg c9% R6W"6ui}*YڌTCiGMʃN.mdCߙ< vdɀ6Za$ HK؜:9Nv\Sl.h_[6Ofe/PЍGVH,Ct{."3sN(l f)Ki+eK\'pCB O\<XT0N7Y=ִ|8Nq ?Re7EG޻LFrmNVdNi*vzGE"4*w"DɌ/BWsf/b4NRZ@YKߒ<ߞh;ySφ| }$?&>F|`)'E14蔡;R'Lu ˆHqD(s? c^7.b>;/O'Qy[CzL"|+y4݌\;JYhj$x+;xlO;'3JQ{HP' !):$1Uߧ]4[@RN89pxǨQ{PeduMf^m$P'1<c l[W]]lTx4z(ImsXegkDQtrt7P!Cq߽աϧߤ恵8zԛlX)_5Sj%AZ^@+ l,('i]z6 bY~G9m45Kd' Aʶqԗ`akMOeކ]lX*y_>YdY2\:YDiPz&`"\V`NMn۴E0VH$'7eCiND׵6z~A]\'kK K;V6Sßҝ 1SN"u()-]j{&J٧Uܑ/ AZephjhIB:r;E4֗6V,G, #2RJN5q&+Zt$_ N&Klx69`⃺( kycP&}':dRvK10g=ѡBXewA&ys|27; {ȼAxSb}3s}\=9=wdk ZM=HWa4[$oO.*t(xE}{Y7[)^܎ɨq*%O4IpXS^1]^͔MydRhbJY9%NbM KY2Trgv2v2åaLsD_ 680i.P'.elz&d|sW J׊@ m~1 GLQMnz8O$=yx}lzZtug UY-n "(6[cj1@ F0&uW/Eu.w-sDvUXBUl7Z/]9o?/&2L_x.dy1׮b!eo=ꔰzFxz3,ĶRk/B6)!U3WCuŘdҧ#׺nؗ&xYasnM9IJq;$_@É.(N]'nl(j1uPs}Hm\[ sb B ur^tz+kU=.Z\Onj&^1F<G0MkZKa. ȮI'[2$*"28wgL#AZ0V/$W%lGcmJ,Fb^z9i9c.Y.ҹy5ۅ bѤ>~.-oS=lI܂ 49pR$KiiGZVW}k7"՘ E/I*}\ ڄԍg js~ z\"wV.!SGxI?i >"[X,%\v$'/L"QiLC<킈58ywڰ1ZH/RN^TJMhbCHV.p@6.&LQ ~I fUߔj{svSN95ks;$vs/zg͓u|p0*n߹կkO7t=b@õyÙ\.O7\{>¿ '^XȉEp{U$m`91:YaS(טKs‹rf:qUx5?o7 3~.:_}RHgN#a9茮pt 馬Z3vV KAuR3'u5qJI%OTҮ]3P{s/Qj*ihSow9]^ jGRK((tqCgOVƯm'H|,(Yq%9QZ<z xO