SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  -vLT ]% AutoFocus-Stream:threads=4elapsed=53.043cpu=147.744gc=2.6287zXZִF! R]ŗXiɟH)0%o0"8\ Y$79v"DR_5Ű!6̌̋~Zh6:-d^Q K"L6b,sRnvz>HJW9"I*0u8S$/} ο+ jcx C+{K_ý  ѥ)ztEu6MԅИ5|r ڱbm͕r1`K[8a:5^>JYj'y,bꭕL2W卞Q9ɒ!< J^ Fd6x6@}<9W-H)Mg&l:š>|ߩ3t|7N5#Hm"Xb&s&ƣ 1A P,_ KNu]-s(`0d`\LwK(c}kGt&;UigvTV0 !$0|s )^p$ y@Ԭ5TTj1>`;u"ZѬ߫7x'st& ¾G$=GXXiSb}]鰑¤8|x'rf0brKUj6zX‘'@K]rB_k" Ʊs 3$AĄ$Bfbٛ9:aN% zSBc/{#0C#ܙ_K>ϋ) JDRԨҖeL 2|uvWHYM@MHA~)ejhpe!2_ko蘢C74Ȗd- y4 W1nfk`3YKmf @ާRE,}C(ރ#z؏R8Spbm\:V[`hǭYuX#jWT^?@BGoGxԔK.6N0CyMk{/SYU-f*1f. jқOdzb]$GQNԤ Cf%JSuǍfq~Wn*YM\S0:Fp1ua;(l- P),FV7qN/72WJǫ b%e_" 1 PA]A)>8Û)zmuV.)Ua=1ȌsR`r|u  Mڕ,m, $;>}gT?.e'Mks7mH]!y>Yy[q 9<]i;hQo>mvplM>f.W" m>[$[qaNa][GRz Ը-'3J4z> ֙׭sfP.>n<3/*/KK {"QY!`gQR`Ĥfv=!Ď;7"[2!ԇ{˻X g2.*Y1HL֡\-t>݊Byn0MլvROեw^4B+]4Dj6ո)SꙚ$v="vٹxH&Y:݉V1 L2/k~֪ f(PnbFBb&ʼnn-GÉfS0Xr<{S ڝӧ 6ilȟbF|C fx3 y eW WHOaCMm^Zex7\}}Ԟ] {S,T EWJ, 9ӳGշbiC .r>x C&QJV)# #Z˦=.™ 4?t+?^atbs YheyKC_N/|@9CC%&%Lg*?lΒ+7ٳ9 䁖\1gT`ZwGT$δtuwN&Pj>N$Iy.9KoEU7ABlFB &ѦP2sݰKL)ᝦO>dEdY>M&^ HvrQ62?u]fsBNKT(rx ieÖqSνߚkQx{]k{LZ]r"|l, 9λ^~/-!uʂ P[555h%bD#|c"S)Eq27L> 4`9&!|,G} KhXt2#%\3f~Ub zo+3c8 = )xpYn<*f[[Nm8=KWFNn9r,QXM@oxQ*,y'$/h^h^К{8:2>1ttL,DžXXKxɗ:Ck_nN~'{ 5./#ע̚d aJZW wbdOSHx5.$_3wFfS:4/2>au^@"E筒>H͵U%ꐛDR YXo!΃>2|;7V(erRB0{JI2,qŝ0Kj!fUg%`?]nf]=o̟˻:a[2-5 LHwr?Ǥ4\%V6M 8DK좍٠NWam gN-ؓVK̰:H/lp9,&׵c$mvQ0-áii/pj E~wkE` QI 0:D7-xKX.@2|'k5/1> = @ ˻>ˣӄV3yKAQyw)9Cw.!SN޾dUGy[{fX5KَB2gS=tZjIs_) y>5K{PݱgDq-E/oL+_@?u% D,K> Q`0;[3}8?vz>y)Bqo +,6 z /̕}DxGSC-P൤t)4)'/(@0j])@ܱM7>^`xǦhFKQg#|N AVX> y3g鯮ph&_O;VaT?a [_F )&mG:0>6O3-m,r,Xp=WK^C&^<(!nJZ;prYl1|5} }|kZ#hVfG @FN #7vx<ۇ~Y w"fF ͪhGRHQ9bBӡ"/p?L#LUa (0[nΑ5sΤPlG/WX7;HE%_^Ly!cGL#rpjo) ʓYVFQ;sPN_l: `(tԵ6|6QB\R@$t vxj2ö7_kLFw]BHbUį ]Kn뚛A%3q AajD-}LO!?BEUjZޱr&BWnz8+X.Rzzgk zP)ea'CzģCvmko_Ĭ Q]'^69>|-Go"e@\ |!z;^PH.f#1b`JӜ\ңJ7n-vۛs4@A;7G ?}?Z$asG"+`!~ g熈G=᪪h+],u d*"/#,'#$]/O,y7vBĥ?N 6ccNu~d.% a,ͻQ/s@(dU˹g3\VVp $1 p>/'~s݈>b}1|a)@}u6F"02n_ EE,EmE$rH[yȜ3؁݁YmUܸ2EFDt!{\C QF DkSyu8jK-'Md FW$iUZͦ7,l`W8&LA4QJXmrl@f:žhYr#ꑿ.H{eh`pBwK2" AlE>)X#x@S41 ˜Ϳ ɡx 2P!̦C 04 Z$2q'vYIDDtbᬬRe)}҆u^i(U #$vqn(0mSB9XF#K9&,|jq'yqͼ"p:p!K5˛ec!Pf%8޴فS7HDjN*87:NȒ5AQ vxkgq%Ћ.Ƈuܚ lЙ2^rAfVﺽ훡ԞѤKg2bï8mVv0aw*zIunZA}̪ZYvƮw'ÂnK:U e/.H톦D?>~TWg oq$Tx5r:e}o%z̝saR^^:MATCN7{꺏#NuRfh/*Z5*X/qrGr-wV6Ytzj&aw0<Í%ȉw<P&1mh İtA]pً]k1 v;5ц( уQ#C7|J)$Y|j39}|qfT"h4X<$aN:ʍ\8 }DL5 CTf7Z"Q[,NUnj}b2s7m[ԺcD}tF@HZਞK! 9m5%;TK<VoYB1gD00wm/:6/nT>Zo8B!繶EH/e4nX}ٶɨ|4{*.bslbgܛToTyWއ^@tH(1K ||./Z|PrO\P֔6ڈy3lm]»RX-vYY7ɑI8څ, tSTjG SOofrr8yʪ'La`A9W)icE^\5e`۸aAf8먁@QL KY$Vח}}Z5OBؠs?vò>$̔殨sN}YJRQsvĒVj(\:ASS?L/O:,+BPtm}zϔwφL半9ޘxm)aA5f=\s2y5?_ xYE;[?eXKm v6-C>@vĺL D2_*~܌ si; $hЖVӈQ8Tcʄ+v$y}UbX=miϴVy;yyut(QZ{ꌯ40LBߕܺ1݀%FA|Sys RT 5Ib󚫕b>ry79lzZbeeL>Ćd${mg|yM8-`}" 3Ά@J2- ~sBSvng 9s&{1dE y`75۩V;>*]6/Q(2f";|<?^xrO7*¨wcR/PI=#YweRK=Mo'e2IKcY HU J 0fU{J6LiI"5` /eS ]Ǵ9څ.xU@ڻ 6'ۈ7h2 CӿȟCݩƪ[o.5R0 v3W_=OsvF= T3ťWLbEi8EhMсi@ ]~囈~bj"Ok#q/>k9GKeeh9{1XԢj*ؿLaTb[QSʵx;HaL U3y_,+@{ӏ^<^EJt4:ڐ6*f}HB{و(x'{x6zcT{T稁cPaU [+d:r֛ -5J F("Nkd4_lp 8<ϪM w>~_.w_el@kGCռ fdqj 'r1>Ј%-.9(a}U2 y\m*)Zi _j f0 kR~@P}Dypb77E@ٌTam;VV=Y'!-`[jzqQT7h)P['Qy5(5.5[r?dt{PEBce4K{J7ۂz|SlzQ[ƚ<؏$e,X_ %l!řȘEYKy fJ(Ҕ^oc%F"P(4-,kq?Q,iPziRv)elJA1Ѭ{MMt)K<[̲nohkgK8 $đڐNemWjVTNc߇D]Hz&Ħy\Ap72`+˩?b C3G|H|i+_C}1:;3l^S6 н- #$h6Wł#Z] ?y-x`5֩"iY%ȵesy .p 5ͻoBHrt~}Z!P,i$($6c?+a .I8nNA)r)z.v%#]3}ɸ_bZ\A;ﴄX[O;hjt(IR&)=CZ mͲϛD>VHAheRדԻT#LI*E%&7$;r›0((~k83k@sf . E WG\ >UJV?+jKA@J-S8e qc̅+be!9P~~SQnwY#Ϊ#S^8JLh#eڈD$qVڏ *H`A "s|t XO `E~g-dX8󡞀KETegثƾ"G֘z%{+>npyP-a7w2i޲#?P(b7Qq 6#Ql~Kp9`q@1DF],/@l1jDEF(~j`BGv\$~']h_np^`aRf_hœPz#+|u'ɨ gV%#ħn(XdNzuSRdՆN^\ˉWԅxz#0&=YWws6LK. Y8'@E??)nFUGHٜ*緍5=]lhcEI9m"] oCp|$Y1?3g&s j8a.2\Ca2.Ѷ.j*/@iEY87kMos&1&gEKS[MPOQ @#qV#\Myj?QzmE ;옰 @v5wY9A-S=ZkSC-^S΢NK~i>rW踙X|  p{S 3=π\tـ+r,GH{#h&s4dqtQ\ q—%XcʪX/ S<&-9y"+Yd䗼2h@EzrۼG-żz.vč7F  (c˼,ޡw!O1"9S{AI44RG'} Xt R: y 7YȿS}nz&hڼ[P'U("#PfJABߐw dWt E x|=7iH5t=66d@`aP` `ǃ6sfULjxٮr)B_uOI3 cmUCm/d.s`C "zn($A.@N3mHuhߞBm+8!`Ua"V)Eyb uF%3#'>gT=sŁ  4+RzRk5/܎7?_w1jUq,#2JzXM@+Z}c|'ژH/ UJ<ԡʫB ]a3MR 8KYb|e'nv=2TUp{MrIqW@%2b^kBo?s%(~8.4~+}2V"ItI)ي\2Q~d5]:z0Vp蕺b:@Jݹ L$y5RS',s!!o!klA_fUQ;,QF~ʝBt}*%>=lJފYk<#.T %qa_?4[6婾v5=ƙ˧0o " <226[Vչ9M.!\JȌI-GA1hWs?Ԏ9WiiBͫCىe=Z@IɘynIUѱ^! obEԓdVӋm~q+ibcO[*O{Bk_O`"'xxfb88eTlEvKsTLj6n2e\bP4U]J+\$CsN:U3|;oFkTIm%Lk|/ODE!.ᵰ; 紨4Z9mfvҩ@ & G(\#AI;9 BVHwJS]P_YTׄi Ws5 ;SrNFD~|dNq;6RGc `)33D"A죏~}Q S xা1zcMV6ݤ׀4!)jtgr-QXX/o'{ M?pG f}v`KT<"HeP׵<TKC *=%PSxlYߝGW xm8x>of='`V,=zF|YpēqN(MVTw`e Qk>n|$k4_Vd-}p J8Uot)gRT'$lxoLbSsc˄ i) `1-iXŊi`R eԥr8FH_ߐ4F*zU )6F߉i;\ItS{VT핕+1ۺ2Sc t(aUᑕB-z^M +uEL<\1qC9)GT-RQ'-JFf(z5*hm/B"GԺ.~K(Uܹ*H9jS#o1Ӌ,;xduUc(Ӳ?e[`G| AqZytX@e7FU+ey+|Z"W|_V7\F"1 9r,X;s !$Cl ^0G KvwSbjqN~"*}_o/-_,t5o]H.K-T ua%(,35sniG)STM{/5{H?TjQO~ʋhO5vQCW3p7k7B~q:t+;dQUuNfy5u!{%ÅPJtT}l9 Q?xraџU@U~qi`f7\1BV4fL[JTIN ҹ"yu/yJ}m.ӶMxG:~(z eͪmR+עfr{/(9VB}ٝ# p΃xQ&=sw ].~ s +m"Nu"o+`QG}rHI#m-vr-x8NT RJQ٤_ N~e+pY.czbؙP 3*]qF{‡&F6u"+@KB)D+p^@zD+=d  > qef/b.*IHDOfd+Eh}q͉3 =;+)BHGe0iOϑjNIZ tt~LFdVZ`["]zJ)\k< O20{|^64?@2KJg -)%y}ŵSr5[9BS,"{*H1 )8HnD -Yr`pnOC{PuxN3踧4;R 5Kjn8 ZOWLEJ>?:˗+svW }!ҳ&[FvozV牔 OJ]²LkI.,.0㩊켛wc@a?Y1Bwÿ mӹC)}*~&#S@4s\x|u^† E/S\EzFԌB2.3d//F9 X:5뾇9ƀg}ٰHm&)L{J aKRd\>lR#L)7rV#K^їduy^ h^$ԛtUT ф?HLYp;v^0qULKÆOKH>; JvR3*B#4B0#9crXl׺w}JV-v&M |73ܛzWc)1Ty=74ӳ6%\/V>7}r+|g e 26io1:zѰbꮖ23f``M!">^9(Y C9n}Ƣ脥k I?\- W\ I7<ѫ.Uqɝ[a&:O(eY{9R>~hbpE ɘ97_0"풔\qld\EE4YDSߪK|}=|a1V^gj- nh/# XWa@]&g̕[!E!c)iUj1;{w@8lmyTtZ wL$|лB>H[*e!@)6bۍ=3D8L YBtQwdoA}*6KoF_uL+|j7 ьB2de,K~ ~ʡ>.4Fz%ĻHܐp_K`kҾvw#1N}ȅ4hTk79}z-O,񻍎.uFjݸ8O89#?KVI+!d͕{[9=#ߓ3A(򌅹>9rPͽ UΤ܄pS)Wܾ4ya.WL;P?yϙΓTV? P:kEIA3 =#- %i@AӉ^զ>b 粽?#/4YT7 a|):6&!;}GuS1Ibr2uDy1|9:YO`5<<W`ɔ`(XXXmλ!v I-k:js >p{@ atp  i fͧ{k$u焍/N8ƷKT-MGV$y }/ 78#<'DP{,; 8yElQml/y:r +v}6t5G iVQf{Ga'f, ^PUwaz]Sc`F.M-o8u.ZKlfO-7Z\[RU>XYiM=Dќw~崼RtgJ,n_v Y0CAӱUqZ 7kytUQ@Ϋ=/ Yx%lelEk o_OJ鷂x~hcH /~{B76䀽!y SR4BRKy7+AxN.qLjB/k TdɌ"7IH,GKX+k}G.+bayc6vo O_ 64 SK*XԈC "I1\EXJޤarP;s%x^NOZPGɪ :mVѺx::p[h/dLq²ݘ릍 X}LF$Y2KtCN 9hu+s v1is +bK\g~kLgó'[LZ_XSsT›>^lJG4 nD ]KvGq͆6ц0`tTgĒ5y5Qv bgwr׹uó;hCñph^B "ֹg 2<[:wk9.';ԛ S]6TAR)[7|f/eL`6Ǎf lI#%Vpob>So,ܮq:4aAdi | Db*iU@g5I<+=+ Qv ,S$ƞ⇅uưJg^p @rZDeݺe5c*{рl9x}3( Y~b/=5VQv$^D!V wc@;e sjvG&GМM!?f.גE~{R} a(_+p>7LgJ-c+庒1-Rf(~ldAvΨŞ6VFUF LRH"V H'Qk͈R31VY0eteV@=IJT^SQ\>J O}TDJ ytZʽ.1ĪJW/,>N3Ս>p˚(z?BhQ^~VAh%էp#mOɳ˜_ԧ[HݵަPtNJJ [`Ff^5O "me9H&12}-ET'di7l}d5j C!3mb4b7!wCv軴Y{ N'<%qmIkԠ:EENq `m^c dg]WL\ 6H)LҀ̅3B?:7wgH9o')e]u* Cn\ݲC~<ŝȳ7֛]A= &kpQ3‚VPJ *J>YLJUY=9j {g"B5~t~6Qܪ5 'g# vDŵE+j*!z7QK,7n6,u4߁5g& !8>[X}娕D:"#5=؉X.I ;K)6NIy tQ7jťN!Q{nTRתZv.^X>v qa|@Az |R 펽5iH^.Uڐy wf_X`gI>$:GGҚd~jSNݳJC̱k,ҌbrsOaYN sx|5$iEڥtdA 㡚-U|!Z0>՟3|&Pd}2{YJç_.# 8VzqP(K|u?=5߉čN{u~全|;SU7xw< ìc9DVJih=Ƃ. ^Htm;xZPXJMb*Z;}ayKQ̲$f)0r,LDx mE4LIx 4_glb}'v|5JB@< )Y-mVSMG%vĮZ+Hgsfvɞ(JR4)Gny~=maڼm()DXefS'lY)JIN{Z(Y "radO-P]J}5bdP:YΙg K# ^rgz by>bdG8{̏jV/I@k{^R:LN*:wbr>̒4Ӡʂn=nV:u F%T8 )Av~[%'[\a<ZC *Ղ}|@VLF{) NDMPc f>]"l̤/HF ݇ct+Qv#APmt*InN#(7T<?]kbj!O ?ET5ݮ5iqZ)pS\FcMg{q;E[܇i0/z|-\O|޳3 ?*ZζX"t~,HX~:'8rYt+-bGy=s{|m&=+{RnLG5P4:m/$nZH}M>r6"b4}?#1 BuQמC4Myo^ طg\7?e;η[LJf~Ia9T raS W5/L4aRt0q߀hf[cLXYf0]FǙ6$*wL(g'@OR_񫁌ﯧ5DEkC$IE)9a ZfLj✥%W}Lb4 y {~V"ҕ!gʬ:^ NѼ'(-/ hGZ%Nnԉk\(phG7qDrEBG+5E˞%L)LSIϏIk0?|\ƴx^;D"T5Ӝ*jZ PMtLQ%)C?:kܲ&|`ebiۤW1Դ[<ny(L%OuV~L: o>f)v U[G#qxzËɦCԎ"Y4 !T!|/a0 !=M'Dh-?gOTNh`HÏ5V?ZmjQ 0y 1? BPuEOImr,z?{TMˁY~''l(QP7|`::sjBX4o4a%EoM6Gwe qĆ|f#I"0' O~a NgQĵy;>W^DGh I#[:lCXbw!rAۂkl'#k΍kBk^^fuCJx H0fV¤c#Cʾ 7@kG)-^~ݧaȽ- {3XԄ(@ LW x; 'TA"j}YQ(QQ($%>Ш/+^DVH%[+SɄ&j8z8qGucj޾./jUuB#YVW2Wb]"&}آ˝$bNF nܣ&es&ђRn2l'N"V!"&-UR&p=mk9:d9m975%[$0? !nP9UGTo?BVKlq'_&R<IG/R` DA7ë1f̅o,X^34xu[0˒fDH(o_i$}av)[?CZ]V 4G.T&eF)jJ S9'g|viCh(UҕDZl=/ k8^aXXnRuэ ̌9zTȬd=7a2Mf\@kAA&q+#~<{⿝"/^]zɑ >DR,&aUݿɝX<u1BVW@.'c"NzB&6cVd%r}ӗ&Uj ?sL Yl̇ASm!U.χKof ޾&Yq+**I[_JYu`M=od"擾>q*~`\nOjsGo_߹cgHmWvݷX^i6c*n:ӀEcʸ ^(-516:-0,HV_+#J ^6^Vx؉1Q//lW%Xڽ|{xm{&@_!D!{ EkD&[`";|qf@6C\5_rI!9)sg I,,8ȸױc6wZ4r< f%( xqcX}W;VC5L;n@,,j%-7I#ik'Nj /8a m41o.['Þ rX%gkQl`KB9F%!†S$<$ GO\V J5UAflR FS lD"bG=Dcyq(i;>3Rh<:Q=XU6"b1J';Op](4Z}F(&]/ ⭩' %dvspİCA.}L !LڔDU(uƝ(m]+YGN@ 3K1pu iBN7YAFF"rtS7{ pu"懙'L{1g ]iŞP;*Bҵ,O;^#0~)dGrB><4=ɫUE)Fhm|@8i9aԹ dAfn(d1o[uK[O>!}mw^dZUJ?UoUM@R"SI:+deJ_R׏b%uŕ߱R{|ʿhPѲ`Ts6^S0P(EMZGDJsl}?Јÿ%1!d.$۴h'?Q6A  9\.M$ е_i Jf:t|4 J_M-y05!()lZ..sg$h >o6}B7me)`^oniFgǎ%3<7`Ҭc~qHtxD5 ̊N^n(Hfp`eZtلs3`.|v E i<-z =(Ы/ʌ$|vm47<| l'rtwEsEC`A?b3qe׀;l&I|8Y/! B}ft6IDSIBqg&jV00u~v#Y6 ڞ3?G[2A :N$OUVukSQp8'dtM-[P^@'beC]5=-p-ڀ|G]P\_e gAJR(萯Kc>9ӟ#>H/> څ@kg<[Cb;)FrC#yʎ79KS~Z3\'.ɥc&zR<\74D}) a})݋:#QQw#F=Ĵ˻a>NRE|;9ߍɦT#%(es1p8όfڵOupp-ԮVֽdBeӹ6ժS޳Fxd_K(6wA8k|?X#p@ExsМPz n5k-[=2?߻(I蚾sS8^ԤC>? 90 q5%!GmD{"%~t;IS'fSͣuER)ky+)bt S)aʓ3*`/MyߔGHy@~S͋A'WAs%.?Ȑ,޴)s?F\[@> zЮ0xH.%CTHt;(b& jkqv")XIMJ45{w}͞dָH%z~NyϭoCt-pQSe`$Be "2so+kIrcvqUxDaz2 ga?r4XfB5=hJ6=fa;JBE W;,cj|[b%s 5dfFXƗwpEP}UrXsd}yЫN`3/8GQ[sښFPs5h>'hH4־;}DNt&=r+<5 0eI<X9=qe t܁5ːA!E}HxK3\8lRO_!@ =-мp$!?{Ȋ>S;ə@T+pͮ;zEVSfYӎE4r!}u"QȲѯO`<|thBxN!u[K^xmA|>%3j/Cxͥpև"^‚hm{vҍk\3lC 4G6 TV  '^7bG7 zŴA~?r5(ű['+ ų$^7URG+jZ:aʣ0u5S-T=%ͰK"m;ѹ5WXɣ [2-h Ҧ|s_ Ƌs([r/>i_57悂+BɮGUr1kjBBnn_&`GIMSǎj+ δo=o]=X|saE&&'|tkC]mĈܴ|弔bߤa1LEP@|r=9g^Tq@O3ʞe2,CyKkr0"%.rY 3ߑ@=EfE64FJ (tIr ґH[l>5h T3;H;QaںWRvO9UD^46fPL7*G@ xB~{aR3/5;oAz捠00 N\ $h3=Ïtaxٲ!ͺ@TfC3uW" d=Iy MK`E&}DQx*zsq i:ׂIR^:U"QzD~Ne@DJX@0\EuOܩA_$Y?\SC߽UX&>5LJ)E.o6Y? $;NR{I IPCe-Z-vn`mk4cJIDKêIPL iim]ܨ>i&Y؟E ꬢn'P|W@[p%]l/[Gk4I5-`2犟I)IBM<¶IsW0Wb%s93[2QD{">5ݑꧏcy*o| [&-%^*Ar܃y/D~3fT.O8Q[sğQ01 XQ]Qi'qm" H!#zr܈k@~$lF. >-t@BuKOnMD$" Hu5q6j8\˱o,6,/+xVX_;J~oc'0| X)q+ޏ56owqmXiݕ]V|j,0  ,ժJE$_OhG+Oj %3^v7=%)fr:&NЀ1A|#"`ۋ3b\5k] o\fȚ"f/5;D| ң ^f{BBL hln ?;hڊE /&}w{M9F YCeD$5X]^4j"=ѰCo ,hwȚtAIG[0#-{Q-wgFRl9nNfc=v)5ö[$XO }~WU֠nҡD%W*~fsl>mKYzSp,aaj Om&8nVKG{xy&H6Up䝍oґ]h(fKTɰ |q>4X/XtNb*rmn }5ՃN.%JDC"&Di=pk-d'{Tɀ1!H>,ʠ*3u&KinJvg \ ٱ|M14hYX!WIf⣟i,& 'DSmS_棬 -kMmmzZP5?2J)Wx#;P~%Qč[P=Q5V $٢"{ErNxΧ)^BƦbP,C&?mu vR^p=32ZF GAEk. ہ:ר\'紇@yeR7vUB- @,/Kl?=@m c]h{[(Zh`9"}67ϕ ]=M{(hU 鐑Gr"ct`Yh@Hj_ /Z@x#FXڀyA'iG)*nYͅofS⸨ؕL#GfN틕29JYc%Y)Ӗ0 2>ߺO aꈷFj5&d#MdV7bn "K?4$O+}}QvuQx4*5OcȾ7,t+,ռ? )ڋiz W.yy˔a#x[ʨO?l(Lbȟ&_xnZr*@0RezBDZMT׍q>c,X)XIJLEo-Tq͠'^'-)ObخKֽЄYt,VJrޗ;z/:0B"~wµ'r2=B!W[{) Vg"Ksu '#bf-I$؀2QI=Tb|R}'ePѽSE$c4ڨ4{ 8}~ Z#s!߇ tG _ B\i@$[oF lk-?R“4ЙM\"9SG$`柩fKEIUDR=8}OS[h4)ȑ4qTF C8e&-uDY=ptt~ur.#C>sp+qh.ō Tx_q@F)o4lW̅n C'f;ĸم-%wNA,T64jKQӸyUdUT.*pw#*So=b'2e &T-*u5LHOh픐9bL'ʦޥ聩| " lc9br;+aoBow00.@hؾN*ΠnX~yrm t]ʉX7 N\aE7_i̔Y|"C?KFdT}L?/l]"1'!Nw q( 7ɋLYB(F)=lUtdyʇ\w 8^EZ:@@#9' -w~E&Ox(v*Vq@2II0_TY8eid R%BGzDt*O`RD@3O IOtQD{_bAJ" >&4>y{ fd'1(C왑vY VӲ/d₌l}a5(õ@U59k&oVU9]z/K ? @1m AY8^11Tzo82t"j³X,$v f#ZcfٳL~ԽXfN.8a1 yI<4tѡLnkϭ,_ D2DDlv+" +qhi(F ִo;"7]lAw</,&FO;@Zy!:{Ipr$ Q;_4U AڪVYSs@XQk\1)j+`<2O4&{@;{|y!3eT׉>Wz)?v'H&X}ӝa^Pn }jIRHm3, hkz<7fwMxmln;г߲:SGb0w-5HQϛW_Hݰ"gM84TI˚ bBt;~ŞADni0hHtlg~NX Zw=eR+z=QY{v/sA_79q**jU䥬5|lY.W$|vڡc䎡ai @wbD ^`dfrxJ-@O;6 9݋'r?N퉉q4y.Mp^Pi\lj{g5|1L"OԔ"'9lpG+*h9e!CsDHW_bűM.M=0NG LxCv)b;0 j ʺRԇ3m)s{~%;YbCPT H6)o`Ǡ L{3/Ț+1lؑi,xf1 .SRS4w\zꗾCm_@)`zš^ :cN Z= ζ%jg(hC >/ FcXA·˺>%5 8cN`ާxb.7H@/n8+_cē.:#8.cړe)峄@T|Uv^OL]y庢y.dA!`&-2_.rhos@׹ePbah]WgpuX*'lcDE:L:]xB+7rjpkل6ĉawd0jhcx&Þ!Z6:r!G璵il\o,Y?4 ޼ /p+ doa9(H= "{y#cٞYl^pIx:?!ˆSrXtp;;k74ҳ8*izE7^DIq*]P=FCG^Rܕ![33-T1P,nA0-CSMeUC+,8mzۯpZ74#^iX([a_KcrgpNI<{{|-2#z6lxQ>+4,7^)E> .r +pFq Ͱ]yf, 12$G/dQuf|iX Q>*b-3l7Ox= }UrYqO1p`1qo+USolu'LLkꁹ#T=z? -$#8i]|ghA޼鬞KzOX'p%]>@?ZN]V5Q3S**_ oaynSZY0.S8+?b_0cGG2 >'WZWf-l=u~`ĥV=2<9'|;qһ 8.2ڳB{ImjÌ*`KBjTBԎ?L 7,GR  xؾa^xCkdD]raΌ }Qk{Uds̃(zY}cfL˖;O/ ^0rR)KAQa%VۄC-7RTS?\~C ~\1z"D6 BH8CWCDuTƬœ 8;(/iɴ3x+4%oV=VYGED B~RW^8-7(TFIƺAxb 28L鳔NyLO”(J#sh7Eg%eUVƈwegV %펪ՙ4$ ~8q20""9<)W…dH;5a~y>gpKQ%[n(O2]/{sf(kt򢁡بcõ4 z⃁|v$E+iFGEa6|Op_nEٶ|AFYHϺϴG; 6wxjG!x3^}sh]9PQ'|MfYK2'@DeYXJۘtKyS͉8FΣYq@F_rӺL̎U;RDe4n6ʢVTb3O*<RcCϑCx!Iȸ\ͩGU0s[vJݻz 6Z OGQ}m0R+0{?,UP `̧$p`,&=qJ=;|E|x.˛p+p#a񜾾 G@M~Gv^;haa1C8egH#HU[Љ̜+%ڳhLĹZl, Av1[zp] rSZ9 c֌S, %X էE5 cm^&ޖZ[Vufen*n%p*ZZLNPR.޶0z`.o :_ x~2fb2Ҏ%XI<r=~R6SPw6á\|w&ey&ۇ>fZA(ޮ%#}}^& YV0d|᷸Op=֫늽  qj UԄ@=:wY>3z2(uZw@mΒF(MwPE$vH?h HV6Ȭᄲt#?61ʱc5Xu:Hf.AA5}҉C6Epٞp4w7eŒ3C"$;I&&Eۛ'BK#DXM,W:p*Ш`AV56ƍKV DZxiMInjYNht*30A( poeGGOIo9eɢrBѿ\ (c݁{W0<ݛ6p;Ԧnbnw@MTw:”e a_:REah-!EI}h!Ҫܝ09bmOdxDe.$akHg w` P.+n?qR6ͳP+-xfщE NN?|}&K7|-?) Wj+pẼ"bD X??A;7#k IvdC&k lJH= a]I"IIUuAku]_Jhg$Gc :G冼)StghH= O{qظUI<|v'rv(KcpBE/C*S@+eT;wgLFƜ"?cXީveW^ i56İ> ֭v_KА'dxwU0X!=YG!] ˻2})@_tokX1zYي_}K*F}cb[R2 u_<|n0Qy%q'_wQ;}'" NZO1'Y1ZNX#ӬcƟ<+@{. ,)_q0T%iKs֖o#HB5!2Ө8qW%3f ΄k0)Or03Ȁz]&׸-ވ0Ԫt%O?5Br ZL@V\FIo~v%bxiyFʑ"^zo'}.WIEK:zy//KcH+elhKzSa[1җ_Co cGiײTzNn^ZjQRzX|w ׷t;NB9X4Ͽψ Fîѩzs,jT;2?%2YB& alUTLgƼr6Qq -:vl1gItΙs4d? ڂXԯ0yjk~ h(Eik&Dy]\ }t%{)L5w+J*n*_!QWV "Y2~v-m!^vswcp`Y"kUz V501d J&h>ڬT"HkgI$ )~_׊ mt:5{B~$)ZBRN13)'8Qf g sH*HW)M 4E̱u$L:q'T[ĺ $'~[_wF.?g%ZO8&OM}2 Z0ěO Kh`6[utLi`JQ? A ZՎ@qm6UZX / q9Wr`rOE}bwpŵ3Q{J9*q {y*tjX$5츪N[7J&I%Άd7l_STG޽b QΣrɣEBɖfk(UQ}XsƆqZ)Yd{mϏ5 p5u G.S]ooN-X]uNK2e :}ptM'ׁy"#X#.zk9<a98 ;UfrdQ֣ݰagfR5ci9L&;y[>1r.UoD$뛕|uۿ!pXeBWm9M{ب3濯ުh@NDb֠tI `hIiU2 䀹ic~ɣSǵY:~'D79lydi2}o(v6o4W XMxC +2պ`?GA}=NrؚL,%3+ab̮R+RWkU8) Ř6yȢJ^K6`e7΢vC::OlB@p8{C\8%m—-Ԏ%IҦ5kɔ![_*,/ hQ7qLH %@ZjZ1l&~DIBhRunͳr |$U)? ~J,:iVp5O[Dd/ ?fvrjȭ$z(gϑnjI۟1ܕQҰh|Z/7Dr\l,d@T8Pٵ`ׯY cDjc b8ڈp/(Qo?*}ZDYR$\,x/Kq.5Y.Su}+'1*r!Ŭ=kd!!>NVRG•=ڼ3Ujiu؅#˘@|DKH:A勇߰6 T[#Ҁ{#RVP8G2-@ib< yUYrKm<:s@Hc 6ΜTz S$9}uWk:D_T+X[Ut zKœ_/qE[{E5I>̜` j!pr~YYxGZOzH.|0nՙIh/}B}Y3>F`AIfꆰnu<϶ʪ:u]. <7UtY:l8k=G԰Ff{3R8Cj[syrO[0b.\Z)11+w,։>yYps0f8J!/Q3RNb|+ycz]Z''Qn‡ޯ"Miqfå<,A_n{%OO>=%P" ?J;lM}6*g>/}@{bӁW7ߍ]LOk oY'žOU¤)\;{˴+֟P >`a#^lLޟ"􌧮1fʣ԰2\kIFd<hUA*Z(3szrf$|.%ͫ5.0Dhps0TsָnvGG/RJb#~Ϳj!,^zf / usގuFZ'fx!˫fczs٘ =-gg!jKu)w" <2C-/n@Sb۱)D5;oI}^wȶޒL&b1Eb8Q@9PNXJY(.Kgqr&s(ES.]!gsG%0 ~I9gΚc1\$6"P#JjJm]mnU_/NR;ZCħ)T b}4,ge(nckfwF~򋕄P)*wAX(~pɢ\k⌝sOeAtuk%A3ͥ :t2LbK3wr9s wˠ26ʑ-PmE@ı/gC}=-h;CХ.ptʑGDÄKVpkߐvdya$ЂR-Ͱ$ٚmf|úG#Xf')w։+s:"d)qAp~a,no^貅,Ą(v*Wҵם/ZRUgIcvPKϳgURDYtК49+:[^ eʭ蜝OZ륰TO2$|ԋ `vGfar%7_B\KXUqz0 Anʶ:8njVdrok烦նP{0zuZ-`xYhD<*$ȿgqi v=MuΘi\ѿ5AvOkµnO'Ğ}yy a v|~KlhZASWJŔY [|15 ďQC"OrBOj6:3@*Vl :c1,9k uM'Ԛ ݦk]z3GBR/m B! )ʩ#ň/XF- +K9\V(zaB6p5M2x!0sjBq1>V4sšqp._'uu#7"Tt"J`LꤺA^H^s魞m?Z(L\RgB\PO`TvDz@BaqQ$_F7)|BMLƇ߸$IիlWUխ|=V}Q6 ͫW&_EËmfv ',> s?gvŅFc;a,S,9.ZEu"Eձq~QQejy"EpLEPXaGumxqF կ{4dgYZ7zXZִF! ]ŗXi%L&`xDLȃPQ,sͿ!',q' % :-tP*!tmdeN2qԢg-Knן /ZNx{~a9TG7OF1BsyCM:U&_|`NHǾ8UE*k&Zԏ/ c(muAXҙ$To^M,Ao?QJVh $s@SJG o@}m.{%h+`ޕQ{ՈGA߰淶T}'5_mHtQbq\z+HTdg@fCէ^'v/p‹Q/yF89hׇÒBͅ3,8Ndݨ FM|'ӻ'2Mܵ4߬ ڤ5ғ˕^*@NjW8(iZ,3{7ef&n㣫a)-9$8 dNb\qV6+B*65 d. (d] .^ifH2Y.9L{۴t6.eumBA?7Yh M$-A^{m@!+%Ooh?TYi +D!O>)O*f0bTG7gGO`uY~pdit`~35MJxjuemg zׇf]"!~ N+h.UCPY T_DR=gIZX"YiT~C'ÎE7@@T&tzv4s˼A6L=EjdA^xy\cxi8K[ 6/ābHI?Jľ)֯WPV0yȣ$ėK;<3(Jh)RpW;65{dْCĂk"y1 d/@ĿO6[xCQYM W+498lNKv)4&ۄw&W|:ߝX5< ?4i*HN~G~#NWa8M#P5׋z\e}8(^‚t"HWr*X٢ՠ$H?JQ``q_c媣p l/)Օ-M]6Vjd- 1l̫D&[lPՅNF ʎ_ maFsJRTBf~cB ڞݻ1!LJ۸%b7*,\\W@8rTtk t12V}.DYtKa9q$>\ B Cɵ5}Khq5lx#Pe7Q5lw36\RyԑODDY01g$U=a S߲ya|LĂä+`aPep OYLI#_*ުE $wmJb|p8Q|M`"\ͺ1OdL?+ sP>:u.=,ϭPUK"%;JwTK!J~x)!ˌ.Nm ih-OTa$^څz;%(cO|M%=ݭKy#fIhkf"sţ+™jF# t:R?|٘Wz[~}$eYzn+}6l%`0 O2DR)5ύtѿn>,*4Td̲.n:<~p;r%-iA͚ P$ݜYĻv,zշETYu .sfu0S=M^-ũIqs c#XB|.ǯp+ҼPf9(7~z-B: ߠ˷ rHwc& M,/lkVyKnAjֱa0X-݉-Gvo\FWJAJ'z); %.kQW DlDq͎G!\ 7ǧW o5r;#\MM|,1YV@ &)9kD Ibbgr_}~$'}igͥB~ᔭd׊bmtt>o*0.fTuԑ_x:\}p? 0ƇINB?5B7*c3H'ov 7KJ-aO9&@νԠ$-G⎱43@+9.u:HyoAǤJ`δEȆNr螔?gcH&0vY^X-ɳ){#;f8dXCϜeGFJ5$Uo fp\8)%X-L:tY_#\Fm `VU-yjU4׊ۀejr#$K˘LESm=: :rS3Z6ݘ2ʳP&`2 'nW00_t'VmO* /kÔS@d:vT@