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  !<\ ]]]HOL-Proofs:threads=6elapsed=602.763cpu=1447.436gc=196.928factor=2.407zXZִF! ?]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZP*jgVJ5JnzG*2lWsw¤i(`4H l^WW-iDџwTm7| s_y^xF~6 p٤W+. ei\@:z#IJXfd<Ѯ0Ke4x0cG: !܊cr=s=I@Ftv+O4S : KHcAo^7;^(NoSKOM*.?݋%1,`d#׏zku&R,R*vJ2* vgsNWY PQCmAmlgCA*|aP ݰ~;,mW\<I.y'_Dx1KX)B J|6#"ty-DV6tTun >S5C6@-:/롩j3N-qbG&(BnH4N5:JݰdU&"+ E7=7-'UҋI&C`}3!*Ⱥ *=- y#EsA/v$zn_Qr@uΓaKcngp " 찓gEBw;Ht/o`ɘwb `oOdv GIDTNeq9f ,_EG3jBB&2uó.':pC= NpȏV5Q9{aZ ^ Ń =-T%q*A n>O448YR-Kҟo9x.?tTNw&<+TJBbWlw_F5tU*P ^* ҕoȐ` w[W>'TQ h*+̪ zmh0W[Tg  ! HOL-ProofszǮI7FW6Rn~8֞Gg9~hAP±N룾"u :6omѿUOqqȡkVsH_2IgBҫrl5ّ[nU2|b~V%'V뿃 %:`IV5[>Nxf~t^Ӧ~iab.jL˂`^÷3 a|^G%X*j㿁jD峈gQX92b[dz#"?MN &# cǁDCtdW~U4A.?XPٰvωhV>ErNʆ*QGy=LI4%2Ijw5ϛ0UǷ!{>զs-*i92mkJ/"mxDau^8l|Ż+ We+8ե*1fys>^xO\Va@AC3`ߥ=,r*+wthZ%^dT1WmjmxVMo \u׌F0^%3Sa- \5]4ū tYi+ٗb8} dgݵtg ۭK%:4nn>UJTL>/4\Efyû# $_qpe|%ǹSEsvFwc!!+1ƆnC -ՠfFU՝lǝ5ks-F 59JݝTmE&?6 LeUS9Y}XN%QOk7<(}Ů5뱞 6=flX'گbC}{GUl5_Aw z+xєcXx[2#S{rf8#,vRttn % xKp@ h}XCZU7?N7 ⷒ/ːx*xf?0OڳV&=b& >s񏝥CUŗ;h^9 &b* <]g G)uew+*vg볣mQcltA\M{wH8aS8 Մ> a'dyN1k|_hg##3H[{x3 C o@5 Ҧ-nFԋ'MxYq\kɄ ђ  #>?Šx%AgcיSvRV˿vGm6=58F.|7JtW@v+! _=.)^v6#bƏ&dbs.uM&YM}Q$7= >lP9텅ji0N6JD#STtV>D`Sak̯RR *<+b+x,9 ~OuH3ŋϻ#ϑ'352Q$9|E%"5wk17c:^@Q/./IBV8qlqf,o!OevѪyc}Ze]/>6)Hw N7܆n-60BT{1=MY7<59}Fr"ޅJWZO|"v̓'Ր,R?^/Q 6['SG^,oVcaȬ1Qa`yc`tx--Xٗ Dn99HPJG(G,qGdc=| ;&P  -m8'`5oPmY0`2`$HN;w"@M]JE?ޜa+G<$'We+VtaKl_$O7XuZs-`]K<5a1JTpG//vfA}d*#Mm!bPg3kΞC$ulAיP/t<5CUnk?L[Xd(o}zDPkK3QqMsrivbą4Q{iد)*߉\ VUbulnD.BeH+25*[>Ty+fI)Gت^&:`RtaEɖ,*`a<1CUR3!γV@ _Nx]% L@A-~m;`W`56>?21YL-\(h1{"A5=͆ڰ)+BdiuVnDa ݶZGTd6]NV]}ԑ h ߗD?d{D%U8f΋޸ڔs˰/~7G@j8#nuދ O7FC ׉>bp9ɀIجxd.-&i}UF! e:oTGMdXC-' ?* =8!NZ`/6X x3xd c+~{2S?E3ioVS=6}AKzFS씯B. I|%e)I䥦Tv.-*~< =3`ݡݬ%'Ynf$/7MߚDD[w6孪KF|&"Fc(d'씿R3&m^j?J?uǵT ݚ+ⳡZܦŝ[b̴I6E?B(3,)|a4U_DNj2.xdht_# tℬ.(oYSI.{SM #YiAo:5+J {n^8a|L~Eb!|Vik2BE.+ z;GnU6qmL)EE3f쟾z17QxwpNȸOT,+`ٸ۱5h#/-T\9t3JU>oG.or2Aߖ'%SdGHDnK-h2jx؊-}Q+]vKa6N@HǧCi>P>]׏<^ j "Y&ۆBp=7VdG'ue[Lq/geIp> [ijjg"HElNI,uB,/2W(]0I"?%pƏڀpX;hWDޛ =CPOeZ\=|\yʶ ؒtzi[^0~F _3"<>]O:s$挴,* \:nxD9dsQ{lccTTgJ!w~db~P]Ɓ3X4ؚE@YNb1;3Q/06T)j5oȇ,HcoYcK$v圙;7 9Y=~EqR~o4GR[͝ck$#XRNNu g_^;>Nو./vZcAw$8tS˪o}t=T]ߧxZ߷>yBB:ٽ14y+IR#^CBB譑;^c+b7utEM!!B03HYn,(uQeb޴D|Ҹx}/W.?" G{{hjJH6Ը]O?u/$BH(9"oB?rykG~t"ht(FXQXe&]߂ 1M1x1v^#`M`tOȸgy0i@[+m>dM6ޝZLkV"Ri͉ B7FTV[sib>;wtjF>c^׳$ ij k:e(!!Hmv"@(lVt'+S\9?\:4e;Et*&FϺř~ mÊR/cS9;`#@"Hvhr!qUmCC0W <@GθȾ%Sd- Wr:7/mh@(L,ɷqb!"-/Vt$e`jb|A\9oU/6Ygx P%\E!S@mX}Z$s-x A38w f ]y%%ݖ̸) izwdy04=ͷ 2Gpy)IABBI{`BxLt(h4||%Nd3~ z^, n0nYӨU? 1:KEѝ$SJ׫M1w0)2IYQ0W{3~4#7-X b?UcH̄ FPklӌ2M*XY_H'1v@w#8〨~KT~/ bt{,j =;KI:݊iwuYi"61Ho1Fl32,S0ihwj"`IqsSŹ J $n Y^v*`A5W$mlV-G_nea38@)B WX*@;ޜpV\ ?wT?p-'JOqofw KtmדD}!:sn>i)N(;O<|! ^ rS粘C;z$ywS$X-U쉰x5 1\mvy2MCr+<[g"|c! , G>l$m5*Xq@#/Mo/M\ |k 9,dF n} g5xI ht9<`5;%&hYȡQH1l&;)>&,(G4c:E:s@il&O&(EzjP y9CШ,m!1l2h-gYZ7zXZִF! '/sn䍀(nl} Uφ3VNYԞbs\yZ 'm`_Sy&Q_ haGI|l]sggg'[+KsB\K$?^zæ_:,&cD[JhUu0TN͕OW3Kw.6XԶtǮݲf Z`jH6tєr}'d ΝQs52:M.un=HƨMLRdY*fNyZ@(ErD~?2^m=P>/eoI6%.xjP?yJsf/NLp6Fs?_NO?u0=gS6U\Mrv(Ѥ3rsE2 -PȠc6kG=] 4w+y`gI[4Z>9{d(/Oo'I߿ |!WYB\-l=՘5NsNҽ (OE,r̝!TXiu9K!Gxɬ"~tUS&bm }ቄx.m[|۔›Ζ M.šF4B}[wl.U9IlnΣfy?cr?hN*OΙM;n}^3%ʀe)䀶k)(N4 C{_%J&] ⧘24 {ګ`yo>Ta{9Ԣ=[Z z-̵*OZl54>8$jٰq195Bxy-'cV_¾~J ]i=Vr}Hz!I/*9 ;Y((| 6XT)5-%u^L-7VM' 9dU(+#.3Zb* );jbi3Πf"0o|8(4@bVFЫA*qmZ|U;f"em-e/UgjFmvpgk) Ewdtyɳ*=dg " 'PwOW0S*[7q-bFc"ճF$W@c M(4YܗP_iT~> EAi*'|T@EspG{rt K琓bfQ6Lj"y $HeUH[{ʒ[F*1^=u6Dgi?n>qy,ŝ(vK_vE'kX;m͕֩{.ĥ].AjP'`6RcD'0fe kwZL:8$H 4 *t;kc=5‰\J b1rr,G'Lnƕls3kFj&jȺ2OGtU .ֿm>g6jض`] />/ >WRSER|fQY9{MIZ6qP /]l gP>)kJIzu3gNNZemfĵ!a={ϐ{<}Gd6nbC] {UziuhxFU[=ľq2^O87-Rry!*ettZq]GbsJو.6, |FכT՞J=jA]ceY"V C0IaA&/կxc"o-J>Qv<#X/[TMb2J氟t;-{GSaz {a!1#ڀ81X9Z{u0vΈΥ ^2MvfxMŷ WX4@ \Þ6(67FTQxv"XY)ߡY=IcKA\=uc.q#etᆷ{b::DmyBawA~fjOA4ͭrf9oRV`ܛu-! ́ZJڂ NY7ivel{*t5fruzet$҆ ]HyF1xͣ4@GePWۺ5=[qvpVcJJS>ŀm} 9D;dUkBqo]C" zG`)i՞؃ыItnKh)}uq;t2ޕ(w@R1'A>11uq~sr<`[d% .nAZ9##, 0Ut]90 "_>-[{cL[墑afKGҋ"- w1lЅ%lj=mujNjZYN6G ![su÷8_6Ç0pGBvgi`/c}&D=s!DtnC ͓SLJO?; a%Rc>ŕ;;]ʻ}a_ H}'Aw)VKi1,-;0q<g$YVU5X,@ԥ\ͬ 5dSGNPjR;NZh{_s1NF춸Xt>˧AUZ޵8ݙZA5f7}/2Q\w-,{Y'&n_ c>w8ǂ_R k$#9TAKЖ,$/ٯCRt _d:lR˩A!W*T L?Nyfy.gbuSXg%/_000}zΡǽZ8PFEa T "4m'Z v r #!ZPTe1`UrrGD, !'=d2MT,ݿ*&zdžx\>=mA~(4j᭴C.ZttsyߡcGyj;^/^~!|IH3{;5)-҄b؃ŌͼWf+ #s9r4xrѓ-sԣefvtR}]*"B&Ayzvx{!gm3y` Mk|:0Ѥ 3uM#@|̔yu)"W|CĨu uavVͮK%:4g[ B% |DLZޭEʣasZͤWޜ<@=_[a_`7$BlIf$v@65]foU T4h2)e-gX#cp 31SF.#<T;Vy.GBc1ٝ?) NJQ8 b+v Rf؏D#*SGv} 2 cn5'{~Ԅc͓vlW Vn, e @~ 6ZaQZ}fO8[u(]r0R8J. YT cMdQ(%k6u*e?KG B2ױ3WߐP5 }лIjsI΋s>JBl ba|,[(ڐzgj5S.VR3Dfr 8 f2X^eċ~Q?t8)21V0<㳡A򂚠;ìy KA{POMo$8-WryFSn7V0|a֠}5[@x+Ú6Ms`~RjZ6Ј I弢Z5lp7#}>[XB˄te֔bp;TBgG)ucj@°#zfxQ=H]rq3T \i%(}Bj0IǮ@D%$cEfP7`o6U|2_ibntD6c>JZHeGɡ; mD֙4ċt9jAt:xTUAxȮ<7CNd@>jn]bIZxJ$=yݢ0_xF%qh6]cݤĺRJ_): yr>snT#^ 0ۻ0~ԩ9]hfZ̀w9Ө"NY&O ,09<X"jl%gB¶h{f ,֒:uBO^upuAɎEL6o̡'8rȎKz!B f^s ~ٱo3Q&:ϿGgO3' 廆o5񊽘;̂yyĎZne%`j3PMTܑpy'a-3$;gbX6i_J X+&fƮA>c}'Ml0ً|xbB4;k|+j hf6=Xv0|'{|`3E4ו3{B2p0j4ux)?].-`9R4͝-&t0 X1!aJ&B`,8nge7V=7N /pxĊ _Z 5XEZBzii!V[Br:x| 'IMʾ hlꅘL6_:˥7LM)|/!^(:5206n;Hw *zAF#%些x1|SU8dbNBQi^M W=Z+j{#cWʦs^#ѭcUz%X(W=0ݳIte/}&(G\ \Vt#d_.G"Ҡ@ܡ`9j& 1G-KA]S0Jd ) /OKRz驳]9ڷbx&]r}H(KXr!T7 $rT+W{UÉRmes i u|q2>GK{&3Ϳ=}1CYk"}q.dtೲ.Ӭi fu&w\.1[Unhj6.r44s5Zm)|(p, x|T»ly2)J7ݡwXl8aKT@S2Pt4̋ڻ!H0bčp [qk##΋tjRz5L\0k~ۓfmuú)w@yS.%1 *3HTwE@M`ݗ:˯u01Hw8v&ZP~0WAǔ{>U^$BBɅ)JK*Rıc^P^@ǣ֎&<+J}Ÿwg TƾR=T)MqQIXGRޱ<ʗ{thY*\/P7Tqq5v)0od7ȋ 7]`E Ͼm:J`$ƺ)ͻ@68\S CĞO;ٽ-ujQ-w U-=26|$KΖdu|RXtqs`@a^Cz50I4ʃG8 tHՑjl ѕbc["2͠Շe4R^/)l7PNK|=cSVFEF^s mXiZc'I(JڛdWݩiɿ7 *yl@3ouA+#77)XJǺ_²@sga~՘Q@x>h[ l;5je2y~g+ 4riuIw'cϕPԕ3> dP8b78?PiXwJ`\E9!h朒Vz6J,9;0?a5*ø($Q dGR FGw׎H0yhvLe:"ט`NNR"~K6_\`ǛdSmݛώQomjB5*׵P-fGY/v NX] jN:IXMs٤䁝+21R{}U~4CMLԔA5Ӑ-eS| I X;+iw1"N:]ke C-9T`&gPH-ڀw j)-Nڱ(t]wUzS\ñ^5r k*02Mcfec~Kmt>Հ^]צ'Y6̡/ n`m9;_\Ca2FhT!s.d6_;䊵21ghZ?q*EZT .[AM|mՖGyCSҢ~J+< ѣ DpQT2"=k_Wz%֫G;y>MsnЪ T,:cFcr./AĉI6uVxhm䨕<{+%>˽A!ÒfgQo[7iB>OϞ̾ߐ<ɠe TϘK:Kwl0z ( 1Z,k?yaJJ+ΐ?9b%#y*mXUDzDP&a:39*M6U9QfX?qnG,g]2vyj5 Ž9aJ!?\81ZWMX;3||0߂J36mH\ {BwW|LӋ(4ŏLJLh-ҨXNy VJcp)6@ ?YY=\AlJԆB`p`7^FȗUuhAC\KB\v#JJ4S4}Qd촩I2N$ gW>dmRB@'>Fџm yϝ.Zp[s~r=)L+@u85V=؋mD O-@ |2ΪEDw~Z# +< GH ,.Y5!0w?*)SrY_WfEk.`vwǴN#ݜpD(b[jC~rh.]WB&-XT7l1lFo70jJwq|7P_twSN.[,mn^  ߛ.]lq?=Ì]x,b1H :LRc}eo_VRKiX#Yڍ#EEk5/@԰p)ku{1 B.넋V^.҄t9:]RELuT~~$hL٢1}uK3( -[Yg饁'x"_Ob76yze0fq<͂)ML>I%N|7QG%Ǐ-1υ~g'g`46RGw?.h\D>+b"ҿ4η܆̷8j0Ung:odow\ʼn Eo1gPy9O`YI1(rm^pqCMyuu#s)|:>]B\іAUs,AVILz6- rD2jy01wUc>K1,0>PfDi`ļ(nD-%z.c祖[W8[4ncخ8BOH3Yw~MIETɯDi5vs`(}^ -Tjpz^dHQԣ`fMݱ}$톐0 Os>WyYk~{/94oȒe n '<^>qn"2 2߶J cB*FFZ|d2qIKn]Gpi3n@/xs=o%ܢU+iyCN[ΕK}|T9,#xȜ Och HVgϢ8bBZj ù4S!DSdp(qFçj k!2EQ/B[f C]GU;جYr=aWYLZO$rSTp:,R^J(6tq{Q0w>ֿ,(;`ν9=Qkv vk C*Rm!hNBQCU3"sD|XrTyOEϞUmξh @^_)Q/ kiZ`8_m5,ےč}/7u{:$QTnoy:BҭUu P"tN-1I} Pݵ34i+-^)l/!(0n{6e̴Y7J1:F+Ui o-lSq?`:K1nLC@fV?pcNU ­)xJ@w C<񂊺Wh<)r0&~TIpq{Z'~8β)h͗n _Fv5&Nej BϚ#$71UtSs}nPd;jZQP_5a+mC5l<.q€ҁ*ˠQV*B Z$}(:=A| LsTH$?~ vS1W¹$e@/ OɴxeK#cg՛7poTZ_ ~ p9w9q{}ԁ6V.ۏ,_ᗨ컬_A=*mvWZ;<7hȯ3#rIx]T)@7!Q /&SQΝf6 -F5)c@ o=*3O^hCVc =mQL['Ҡr[c G[LhꙿD s;k'QbwO{%vy4:<]W@+oER|r~k5d1He뻇趓crtߋ89(*:7<_LIa[sL{CΑ S7Ei,Fy=r@O^ ّf#'Ƣ=r> -\wuHmw |YSfSCƠXWyؼ n;*$?㩁չxVv03*+gpޓ{Tak_J#) ^)uo^Gp$1\'A{WɯFT*쇈bKd҆ΫE++4Q-D#ӳ3Hi#eK(PbGi=>0?Ys;pXEvQvPDG8ыG3o-vJw,H6v C)AtʶYu9.mxlNľ6lɫZWs #, 8'DU™ςRyXRP.d&K'< % H$W(PD5LJ zu4:BwI0л`+WuN y#i;ޘε_*JN#Jn_Xi+Ku}̱ b@tֻ2Py>ˆjixхOy(}&?&)(e>Fc]^W-c+~Sg7M?%h|xYV9 @U[XR^υWEk=ͭcƘ?'YUqā272 y>Ir-S({T9 LUԒREv?nb9A2/-vd=h׫/0F!sR]}f* + ;]pj* eTizž&cN2,k~>G6)+OEӫfEOy60 M˙N=|m⡎ru+ނ1W|,8bSM8l BXi{tGV?uOI}7#%+I dl2ex䤞\Qzsb+y|`~x7ACFjGu`qѭێ=Df~k+-s W-xq%g"fZnֈ8B*JFv`W}D+XZq6e  +qg~`YWЮwm-/LOr(:N(WRGpr+BFCozq /"{cC"[ #pafMHΙH5w>nԚdVe߂Ene4ZikǏJɽ i0%~6Jvh~| RkqhmEQ?{PؔfmHuO2ڌqR,,+^D?w+ލM0Mb,u 8_߬TXͦݠ{) ѷBŊx^)#PO}L]rz0qjD @kK||62hvϋ^5˙2̗=ѓIxqN(OJru(klH`Ĝ-;zT]KP5Js0`=VN6 1inBe"?DfdNfO>E<}l]'`)l򪭦hZ6@:Yڜ3%,,cҠ腎 Hظגvdûs[U%.G7dC9f39-S 3ErR|b4,X@ sD.͞ԬV˩6)`$AdXVvsUmYPIZBTkˬp=)IL&B<%X_LSV DC/W}dvzߜas;%Yn 6Q Rlknb.%-&u5)5Qm GĀUTH>wzP]v\M 4O 5gJʤAn۱!H,ML`SÒGYЇ)pH.Ê:ܞu9ZC}w,ߴnWέvcb]SJ96 o 3no+&1Qa:`LcfP goI =rBl;v n0*dF"~FVka?p4)9ɖt;)V7Х)M+'H K4D?LH狻qF¿Urw\.zlN C֕S>NPϷofo\GցtxLAg_;[X%ʟi ?wPX wmۧfϣQb(S{恼*,_*,p #5e'5(RPe*.PzU{bʿvl3A 1V-N 72#qx|驿qRxsf>tAI-`czjNN,gZ6d:I$5Ġ]qvʔӆ&ms4#{ٛ#Wlѩ@G($'le6-AL6v7%(͍$HDZmH%j>BQFY=% `IMru~ u8M$W#$MVi.&SB(:RW[#!2A5tGNd/DMka Dӣ&']$BP%NtHj Z%`v?*_E(mVWn$x5 u6fdKp8 .W:9l2fMqHIƅׄdA!MV-]M%ܖq Kw&7)`5~UFgw30='zaV/ԝ/|G}s{m7X:L̈́i8oN 3{d.d @#=8-vx ,yHE>gNw`VP_o*  "e/p‘JTlM0ҹ)!.'f >aOrmX@ l-?v\vP&8}1\@cLGuq?b L#!>8XտЗ_sj] \Vo:w},4O!1$y `ђE6Կ3 ,9m> '1bj\PKBOdϜXh>Dű(w&<%6<]\٣2Vn!Eh*li~ SĬ \&~#+FۥCRTEN=xq" ۃ$8P  \g-p4D<\gWj#Y4-Pqbr&3jrhØmV*r]Z#pꙃ$vœwrZK3~8=cz -yLppAԔv#rp#o47 JC*819 Q@i3 m(@m]>nSG8e4BkR09WHnŒUz qҺN%-oE>B [2slu+A6>H5nEsN|t\qXxow!&P ߺr56p(Kg4jJ5?+#O)< EWY*`_,9'lx[3 Ƞl$;e P飐 yӿ%2Q-8js"\Ht_s,nffw+I"L ѥas_b?bh; N)35=֒ jEqA*Af.=>[΋)"ƸSa:.ןIRt %<_"Fv}.hY\mIJdp{F͖Of.-©fBXIhL+rX顤ASK b.jVl\=j%/)|al0Y*1\=*]Kt'Q;p{Ƌ:ꞣ7mzxkj0U ˨N!g5$üIqTXZ'ǚ|m4& WA|+@= ta7RHXD|-l Wc[XĪnJphѭayzTpI`d&yO񂘶=}ZSf\4[ m#oz~\\݌9*ŏ0ꦂ}6Λ6aYӍ%8"E[GX\ V y~w6sCS ?#ɪH_zuz.e?":x7b*H#JeH/(,N4, ڥ{&ٟSg+M Y`/N>:V嚇eH5K㹞 .'HK&>BHl0֗id)##FLTS dV=^hOrD0.g7g8zJY(3grkVZvH*w|mSdWf5-Hj呓3rc_uhҬY ϓeǔsn>p#m!30R֮$M!4]aMW5f8:}AZtuDuYAYK޲9o|])vJ6#Ml\\/6*򝱜k8:|wjٞ [OC|zE% ;> C t_GzӭٮRk+_ȰBZ@*]Pl^Da.)R@d5u5-a >mxa E߫⩃.K"w5@[}TTƩeH]![V&nqhKJq0[,!?SqQ&$n1 =_GPM9ȍ}_*-Q;tlF֑K b?e.lKG*_ѶlgE%ß KKsHGߪ ' 1Rw<15#L|5Scgw)5D ZKTɥh#b)żYE"_)PI2ջTh?O?0(u@TrɸxK:w,LB龣GV>K]e# H,\-Mg#ʠ,u%9HxA>+܄0xb,xPk=L-Y . $HX&&l7ڭStAR>yMk~qS΀R|X@JrIdYb!3J tNڍeڑA EE@L,瘏9jiF)(͌ @2(VU n'.)))ƇN:Y݋OGo> @{`e^n쪞-@0 *L+;65cfpvQxjrUmX*. X(bl^C pĬ)1 hP{Ie-AʱxndqwSv-&Sf旽i~:8 vfkjF-;%fQ17D'׿:hrnBwh1RvkӑqR11sF kHW~DMK[epT[GTs[xטKq?xV 2 )rP z9d,OL'y Y`lsy.cYh H)7՟! 摺R]1>X'"RgeV I|݂ z}&x cesL8ˀe=.N} \D¾eҘeAana1cB4=o _ ֦`!dCA"EHdt/RCc t+ P[]'f]^/2l5Dbǽ#:͓pK`#@p=P'M*T?d1òrda%ŕ C]N| Z_a;xsv J 9A̡5:*PRΎBNMXK,LՔGf+i vcx6] {Υ1AXIZyqyu(@982pry>R/y;d ھ)?kRw~_I`cgJ =!od@("ȼb1[T^o3t]󨵕$1d ""6m_,Y31K~j\HA~Ks tg_TO܈džba!qSyJуh:z*C83vZ͙bҀE=>:Cf5@[H;) 6W=8Yle o.&1Ijmդilvo4E}}[2B-ЉNT-.8+& !$Elw[=+/nzԦUh-Zq@ͻ1:FϬ°1O_^.Uud|xд M3 kCIMTqӯ#BߣZSΚEۜqOfJrUDQ*J7Q}:d#򸐰\2EXAJn 05` &JhRo ~Igf3" 4ǁaָHl: Fɱ x :Z䖺IXFZ=GREXBzU/+/F đ=vܳ-okvRJ~U27Ksaug0#6+#Ӏ|6;bN^& GxA-Bل1.rMl6ĤyU3]v,pk5>H[ƭ{cb{>s,g,Њu yB:ŝW[S' yÜE;gZs:jhp j]v;4 Ka5X)hi]MZX yf滫;?0SvN a]Uo2鵊.CI#b/{y."A "9SJ8[Wgԃq 8!y s%zuj8s&v2=ġLKӳ.{-hRJ'Xȟ#F b8ՑT)ϙɞ(U5^١t댢)bO? b'ܕauWRrOх CHl!ːƳ-Ӝ=m?R<~֬]YY=@-Rp@^z_2Ey{;# i+N*/$%9U}g5=ۧf[:5X;*#>oݖLi!, f^ٶ!XU972%ޟ6޿WXt !i@JP*g|s'3Eu*NSd, Ń{թ\%A-ŁY~+8]X½-xC3"ݎtT(U`ĻsFݘ/]\"\{Uja2c>@ǎ5U؈~/{[)f/|V\b#DwcƶyŒ-LQYX[5GzGzϿHs! >BAnb1-^ָ%gwϾBkϰKɯGž,u MCE!m"kzț`*j x[;)Z&{>+C3bX(Tٶxz06Zv!Sݻ+>,cW d?<6`M[eQ~*@7R ̣A IA!ns*"b=U@dnukSm C`$2i&~ J|z" a6sg H,1;&ŸH3mxjͫǎn9fo{ч^O1H#h C2YTnF3\\EЂ\}'fi4>5R8| 5f  .Y(?j &i9DNT Q83Kg+N^`Ă^7?18FnFTc@{W|S{ɢj4O.gVܑxh.:I$V6S\@Q80PJ&fl' l@rq.lzRtgi9yC])nuSJGcߨ.?d΢ۚ) { *C<;ymU kg#2Ļ?e^`eXz|P $sʽK7_ jp422li6I3F qS_h^4su_~Q7pΨZulCqVlCW(j_ۆm| 9!txQH362mǦ˪[Dmy&pc.ݮ[o[0In6Hb뜉-Rg@?Hu[K( QbcsL[%pKۂӁl `IJbFaQu'h+ >Y=he|j:̟fM[P#=KnR(뛷7łI|'Es)xaտ˟1υBVcWUd.e*Qhנl2'w!a7!HtqjC)t]M#FۣIIEI}dZ< ݸ5^n_-[HlpV:: +Zu wu@J2]mZ-ȶIɬ!33%njtޕ_QUAJ_ǽA3WvJ6q!Cӗz*?9&P-̮*=/FCJ{Ik\Ql{nxȤ1_ePӻ KIeiͶԛ(;$҅|x 鲫 N[1y}_PÝoG gLC|X`U+Kd'BY!-/@Ti&7Spw@ʷ7+U7C#Vl =:vd*NC`$ 4x՛Mn y{݈ f,ާDwvU%#Q}gIk YnkQk"T ${%0uW-׈ּិh8CGnq#kL !@-#3W!!PGe4Ƨ|iB21L$lJ>z!5xsW–5)l+q&P;p|$A xյf8ю'Ζ,v:(JـHD.a8x}`|2m`%y<յ~J Cl*wf46!!t[HʦK*g-v7v>[qҧ"I_FBn-%n,l4Wʶd-Z):&gАO(ng޴dqf]*"|2*l Cgi<}O0"**: 24_z&U2#6 ci9Y.Rm;GZrm3+xf%XbFnޢN;*nBLFV+#RD 04'JXKeP.!sqWiA+J#x TVPQA&MeݩS$}uwݡgrW,j֔"l!iwQ)E鶣9{ S961W9EGRfd[b󶢯:k8C+L:5#?93SATiD36N| *w9r7MWXTVV?a[ >Xڥ0TĐ| ኦ΂/ҋelB+(UnߖvŶA.[U[6uz졼7~3UDÆ? zu?rH"6 ȨV?|Vu-GCٯOBRV3tpǕ>,U1g2ހmH3ȴ8|'E]˻Iq)vX\;o5&L/cw+Tf_waMH7]9KQm|VUsN߲WMzw' ؾ fJt'>h,gzkGRsq"NT8*v7X `5bX9̷N%I6sPP_!6H{?|gogصA}Ay|\VI_A34 $U`)LuzIE-^a>LUйA)SnN T;ȷ^tfGYl,3ɮ_cCMSzJb7 9\ ].3ZksgJ%6#{VrdzVHgs׃DC>gNL|\B鏱lLL (39ؙ2 4:|@ hM0rLO~7bZmS*i˗Ɂc5c' w {H6k6F4[/cLLJ.ު˄ZboH=GP)܅ 4qpuJHEȁ}<+ mG?\Uߐ貉<{oNf8P*J"}B0>NVvŤߨl.{\6\e+'wUl8(+eR\Gt8>xD8iÊD^ xN"R}7.rx@ڙɃK㥬(m~M ;bdYor(@ _Qi[8ׂYR' Ӝa[, a!{s'h*)|