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 %\l ]/]HOL-Analysis:threads=6elapsed=323.532cpu=1643.628gc=93.052factor=5.087zXZִF! CQ(]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF]Ƥ;iݒ7Vd}Dfhy̚a؟fê{˚=̡0Z?<DmjRt֦vPq\=axWg&8^vow=2qS*q;5X})X&C>A2;Wh‰q([/ =QfWLP/uF>ce!ZScj԰_a? < J ؕ#]SZߗn"G{mоDu)h}ꌳQSxQf>3nڣ`~C #k{:qkfgzy+ϖebLNJMNG0}p[b*qG+e1jKjc+*\W3?ոO m*gIr16-E,JhӪ@d_lmA@#xkag7VAڣP㞖|g_2*TCy.ia"Mp_<6 phjO9FX1w_^X{r_~A КN۴A*m ]a%O-M*kXL57n+- YHswЭH{G k\7 9=?_Bg4-{~0h!KY|:ޕY$(uo1iF_z 6!1>tnIps ɔu/hi?_%"rAQ4hߤ[0iӺT+2vfLwATlu1YLrn݋"Da_g4 *χWٶ{>&8pJT ? _'xA+&)XBrW,AMא;BDAٗdoW+^fъ%%r %z爠,[PϤ/ܐ_皡m{[vLR$.6iO[p<9@-R2vU.!蔯P90e`XO6{8x{.`{nS6ėh=NSo1:[-fgӍ*aiI\,0{G:fGC8tKN}"J(Hf:Pƹ`f`nƥR%UjQjh8`_& LKJ7Pz6GY "D%Q>ʇ>(Lۦe L\Sa yД9j`|2g;I+@[v= qȫ 2\Nju4@5ɲg t_hqI"V]oqگN%k!+W ܭi+Z,6CC7b\uA "w$ՒZC@}4'jJn;: c&ޠDžmnLCӫ`$K9>uoKp}uTIv  ] ʳc4PQRW{3dܣWA1+;8PV7Pe*4^WAeZol;]<csU13%Ӹ Ʊ];Ko-Q ޗܿU;&MqjX=3+3m+`UDa1?G|@b6DOMk7,ץMӮs wD βmJ^Z*)+89N"j#7ž)/N֛EC~Q Wc>sd3Q" + _}An5/=AMB$jvt^+,L{# d lwW [{LDp9~|xEWgθ=3i%UfGt yNX7@qA-WrD¨5P=#s~ N3UCڂ\$ #ekpQeMkhu ͋3$:,w B3;3|\.b".0N/4l/ⱛgÒl20z/9wk~n5~6aBO4r6=_PCVcwb519mf!|s(ZbL\)_()'@5ް|)Iu9{Ef|ěw*R5JE&0 qZ5-x Ծ^;}4@oy"sToCjuEO1Cسyaf>4s:a I۹#` Z2 gN8E{:e8p@8I$/# Xq4oCH7GƉg;oxwg=4[4h# ^W%Vڻw%Vwnx|6HЄXdW6u-9ۛuL-ui.u"r\ܳ }@Y/L",Ƨ|=Yq{!-!-9N\;Rg{b_%#B(R$FAd]?s>wV/ɱ}U>#t{ \[GD3B3MDaT*DR:k >R:jzBhEےHnܔxP7 /!Άr^=WǰY[~~R t+xo1fUz*YSd䞍[HX-Հn'w_Z;Nosg]1Y@*8nBJ DZÖ?dX$`Ow瞠c~^v7|ea`q7ƨYD!1 \nߦ2Ԅ/A?D(D4\#:N3tbAو6<]jRipWQYÕT^ ҫʥL4O=iAԱk<Nw}0Ŭl>AVhAxOgHc$^4pKG]GQc,+61wŵ\5.DGx*[[ .𶼖 :zjK6|A .1? :!ZMBs&Sdf\>\%֨X?y}GHCq 7)rH@XH`ZrIOo^A\'ey,#ġ膭(܀įt8LYAmBTԸQչ4ELg:!!ݱĒP]y`dզgOܬ0BHq}\@忇^nGDXr$7{kF$K8w>iBd =^r$k0]S4b ޙчϬMt+E @w-5|5 Ćڷ!4OLRк`D'tC2F) fy5 4bֲ j} eW2U0r,|utA dBST6_o'#> Qղ էxmz>y vbԜtdGՑ*uq_qs0( s-Dcu}[3.1T xikeZ/?sϵk07l fE79d2 G]D7icnxy@P1 T?JnЀ75?)Д譺st>Wm'L*g^I!;*~MkGW"\Fa2R8f"D^C=;L Ot SuI _v4ӉN媂Wrퟵ%0gG>=5=bh@)5-"O$ d"6[sMaSU=RyZո9,Ӏh6eQTNt0: ,ض߼.0cJP"5F3CUV71>+M>imXh\koĭC9+agh&CEnvJ`mQmGGЩ->"D\yO07 ;1nFؕplsA+OwM KNx wӹ[^d:It؂\gU'0EcW{fwuAV&C]Up-w(nPGD#ÕGUeȁ|7I3 ݒ{xt8dAj% [aJ6b8%r9V&7d𸝸i &e,> Hbvz-l.eB'ثkWWfYQ',Jޓ~ @ fBp[xH/Yq&6lIKØֳ*jqˆoCȨÌ?Imˎ/̀3hUh38i{pkT dhoBU-Vo:R3X7m3{"2mX#O|ܮIoyYppPa(ޏ 'M f(Ytݷ}¥"15Xi-꽵E&ud3㒱tYbW~Dc=N~ +'_}I #pf{zE.78}C)ޖ\yP*L߃LG ĞQ:~So#G?xg7q@ b'>"\*YO^Է Yf| .ϡ>Ari@"q2&/g }䝶$rzOkʘm]69!SbBEC)w*\'%/칇𮭚 "jf1Ȥ17U2+_ qI81 `ء(H3wDDގ u9""Xvfz! yZKB|D5YFa8?@BT4E;li{x&pK[*rF-^.p; Ɯ#z'Lat(pH^<: 4?,Cn@,ReoG4(8ӲӡBie٠rUO$yx޾ D'Qv7:j__C}Ͼ;fyse UGU{aS,Ci[ܖ\>@OMw1vtfo2i-eBlBjȖRLru"uIńْM"8DB=O= VZ!X~I[80 .p"LIu_ |EARuzIyPUvTY!Lsf7 >c32>xJmη[Brh!s  W$x_Q@o ےabU}/ N,(qzC F'~ dG%*C6컴szG-^AtNyi׏uHk˭H)r4qNPJn;ʞk% 7Y^f, 8m #݉Bf~7i̸̛N~w:j`tVs|&w{w` ]SP_vhu$p(Smhb$p6޳?E$?2˟JP^ VXo0Iu`$9Yh[dq{`!w_rZEiWl󷬳!C5mOuxhY}Ƿ3μ/zDjI__}.DVTidL: dJIQoy(cH46"*'SG*h&RFٷSe+_N63 ݿztXlS7yL;HZ1ŸzJtUl:2j锖f5B J L\(#uw:j5G b*m;.lzb=ܣd.9W#`Qf5eR_'qU4:R@6DWM<{[E1@rɄȢh!Dl)*o$%zrV+hV~JLX3%y$.QG}T3P,/ZAgPWa\K'ٙ9&iG^8&@dY] ƫ`1JHV*uUபHĺBOqhzƵd彻tIy aqgROY%p1{|fv$~t#Ϝ@bY9L)>:/6s|H4~2eY@@XlTG۬0j&w6U3z ]u9,ZwSXs n@o[a;i!B`V%!SXmЬc){֛i%Am{4{ʖ膬ν=@ͳwK; Eg_dh ~(+_RhbPE_4)%,jdsjn"\)vKV -v:o-x+L /ތn Cۡ3rY Fњ};ɁkL|`-@gYpV+zooTh#~77Obӂ$vXL*`C3_2Iq^%Օ<`'eGp(]mNWq 6n@rV4vLgEOZLR[Ћcҭcp}ܿy7YxE-⯫62qcu&:U#cZo;kJ[?5VT'qD|g$$Xanj? X3.'\ '?W5);wvBarNҵᢏݩd&dHc;wKo% Wpd͙O̅yinép![WvG-:Uyykr^s_p.qCwTgTPSL=Mf3qs5$|TY91![_ ts犸^ Qr)>dK)pBw9lCh^ (U2yԈR j7SoIG wE7.lzxQyY-B4>h XJgIo1ʒB&xnVj*'C ˧?­3@r $6]izB$EE 12-I(d\ % E qM p\GD(-0+3J ^ 3 &tvZ9Ї凫4,@G^+$!}p#ҧ(N&1eՕ@/ ih4|کc6Ǐ~C ŵLyC/`V(F76ZB~א2|ܲFx c ZC^[<`aq譫d!A<,r24BwgHI%bqr}V*^#~ Yf/oii.$ɶ4@M6\SbV@RDDpo 2kdxχʝn7F6YZFڐ/0 4/4qi>3rUoB3 f{%-S1 -ލ}ݭ'`>6:ᱽ΋+6U^{{1XG[MԔ:0E A*%nO<cАSŒʤp>dLdW^B %:h%_h0%ڦ/F;l L, u-O<Ĕ'm0>Etz-[t怉 ˧BIséC8<eW.G+'/Hes0r,Kٖi6ߧj5<~ ([ j*C-"VduTrxv]6s8AD+p&j]88e~6ĘF왆o ^:e N&eD-MQ O(N=t&a|^S{YHP 0({ǗEQiF|95QU+EbSB aM Nno #OT/ÒNwm$h=3|;4i*fjo~Id. Z߈4hς-5'8eT7E~b#" Uz :A}p)Z"I "X ‰{Oy]ۋ:Tֺ+Ut zIF3! AnlZFX9O̻Xe޻"Ce6,-/rK#Ƴ DIm_PEm9+CeYyU3RyT6mu&'ndQa_-`ԊL |yewU7{#p֝}l>gLɗeW Ur_ aڢڛ |4ӱ%齠Yj];1DHQu|d`&fĚY>1y$h;33fpGKi8͔[2j*Bf"M[O ʕK %QDGZ J`?ՠ ;en5es^,bm΁JCu/tM`ՌGa^4 <;a#dC "-<3$o;Q׀%Xǽw6):t,EAx ܰc0./} !41 @GGyYltĜ_3Za} [5X);+/v103 '=mb_rX[ږ%Xu!RO0C_GƆ4>Z?{PlOH&"[!/S[J;CCKUje9՜ EVDk8:mɚ`7i/ڍlvމuub4Y&4{wKjFvXr9Rl|8Q0w?2'OC 6<R;ݡ( U;&5}kˬjL9ubvwh< l+m%W|"J8n<֤U vǾKƍw@X<`?= uD WT2_:T+F058hA=n^= h ʐ\֊x( Il'$VQteSJQ1B_JoŚ\;"ɹ2Hd7}Lԩ4΂?5n0ښYtJx ->{4m8 2$dKPd| \"ѡ}xئ'w#eS1R⠦*R F * Bٶ\_@nN:FN5-!6=6`ԴdYU(fHIEX=˛YgϷ*rVPP$Jʿ2̆!b+4__ XWQOc ;<-ՑJ0>6$ I aNTY1,.qcG&g!䠶U=fHCko[)+4ާ : ܦY4ϸ_}(5u]B_9I<UH~c7Z!ۉڠZEO~}UDN +x޷W03}ܳȪzK4RjJ$KO?M!'fp^/W5bF}~#e&[>Fh{%W2LH>*ef:uqG猯o"+m0/ž/%Uvaw[F(vR3c5sLUyz2 |OWd? J؝̮co AS` ;Ӂ_QLV!t0dT"zײ1ŤK46;>D4+sIz  mai=)\0?o:˓ (&ʜ .CUj1§: !Aކ*nEMBY JRJRBTM89Y {'[C_ 9o&k{!ؕB d}<}>ț:z_qDE9jZʫml{=xĬ较s&/k =XuOzX7{uH$T%u]N3jRPIx3L@fzQC"I\TH9֚obC[@lxqQtd~8or+R$ ̬WG>>i>d֖p04,^Ϲ&N5w$aX@MaT'Q$= "ֻedmN: j5ۜ;| Ak5daA1B=@exvOuw4m&o$(eg[XϾF$ E6&uWi[Mźqg}x=;#ZIܭn۪m@q@LQ}Z'}͌ӔGIft +LO]>Z$k2q]D[A܉pYN$L,Đd,>ˬ:KHXXcld/kIO8XPc%ojFHS9fE5<)4~W?SvS!|;8^<+ [^޵?9I#iCh!8[yt3aN:[Z(;L0w 3kpkuaq]A_r5}%+Fc)Ey(0!<9mg,wD:uyN*(V &B Evv_Н_"T+5r w=aUUw'~VbN:6_@1XΊ4ITrJTw+pƱd#lG7bIS|ӇB^˵`"q!B!*UO'HSRuλ`*eʃ[q42>MUU"b}.}OY5Hli2@`?WS dVi͸FRfbYs61K wwcr&*J_;%^ ,9?{t(Uq9+k}m0H|xf/4}%PeȖPۂ|;ž6c7arݟ+쪰k eoVm9E?uRd, ^ES=SȴL<'8>l=EgGFKr:DԏZm4a_|:ɰȯ\Mx-7TKudCXiXU( BkK~YS }KI,tRu[(٣T~ PVKHmFCEpb[VJZ K(Nm\9aA%m{|%Fʤ@ T=P&b)w C9_&3su"_b\_Aa98b^t1O ?#~[.#X'Du獭uƇ u4z5N@ mDޢ%gAl$j"3R!_/LY1<=켇M4\ W]q/ b8]vG-{+HvEu֕CmXLjt0aCȸNͦqV.tsF,y4A;/L:3at#yQ9ci?kU{^? GX-56G[+uJbEyJU?*բ&0 281XѕVia6RA #`JRK@E[ (nSLU[F-f0dzO){T/m)HC_JB`)̓QEt 7c{_f:}rNVva:&Bh$`1N ~hry?^!v|)&fRgGPuo9G͛Ka:|d\م]Ueed&cotϣou?V`_ O!|vLOB޺yo%{.9B 8&t1{d<.I3:Tޙ &Y|{~OF`>ρ%[Ip+#yU4ζ}"/M˂2 8$3V•.;_@sޯe86SCsHg M3br7 ?$1Ǎ,x¸s%zs~1XM<`JoZ#hȕcwH;$_s{h;P\x52#;i5.ԑ/TwQJLXSF o+1*=Ek`!Rexrg^,%c+d iH;GMRwġ0t ,G." yoBI'QQj'8)>BQJA/joMsaޱn L8햛3: _l˘פfodmsכ 2-1(&p:ЂɅKԷUY:a)@q!mx:[pEFV*w(QO#lɸ=9S(~7:zʮ]oɜ#4m0Y<1mrq$ZCt$pG$(He}b몧m/H=ّ,Z{rh>Ih¨va.M~6i (X7ӘÁ8f6HyĢĊ pDK`~`z3ћs6oUV4b|.E3>WTc5z.$O!I|]r\&+sG{ p0]w> .aP>vXO6>Ø=Ɨ{9⹽: |奫HsPsF:. ӿ6{W+9'C@(0c˱([l*&s_>@S2|+^e CȨ !q%?Hky!hnѳC۱ 1,tܞ_C޻#1L ->u H+R$_yi{& \N _c4nB fD'(1uꑑ{/C'A^u,JY(B⻇\E9j-*;*6 AuaVsmkg=QJD Hsnw]<8_]0'aӭx s Qagr֍\+Ai>6NaЧ{L?وrm@P $Qctd"  +m^{O_ Wk UҚ*J@$*K~W_7] 2J=gCqH|U%.L @^&W*PF]qo͘iȝI~ ֓Fv%SC7(LBpSkް6-Á݊k) ])x c!Mam zl#Ctφ/dϽ1I|swi{eD9,/޶e3Yb Ꭿw\aؘސpYHAjG?A7Aʎ~c6qb^Ƞrt۩y\ti߭ؼ,ߎ}Dh1Whx6$|g%HzѼz,A/l򙋮5L,t (X"`td_'e4XacS1)?6M[|a_8O1Vk-~ f?$~,0}L`Dex `^VMnB[3.$LËWLKvґ_Te^h\|Ȃ7b26z v@NަiHebCue;.5.+爪+fLZ/soT,JRG+ҡpPܛx P#$r4gYZ7zXZִF! o-]ŗXi% GRKF h*3ωe< ;c)zqt.ͅp@O8.ta~6{TK:P}:wpq<%͸ ^了ڥE`,t(?MZ$>"Bޜ󸪖|*B-ͪ%*` 1_OV(8+W|8ɹL/N !=l& 1ó"ٚ,̰QxTm*,> [ ZOI@-F$ev-lN|Sd]Ol^{mdYm6wzP;N'G:aD=!^@`;F>3tڪ"\Ώ&N,VTb궍U$3EFχт͕9e6_[|qT9jZ(m{%Kj@O]R_AWT."<6 2sp\ iSBB;"}_ύ^O`sZbyTPPc."6.3TnemTHRn5P{ǂ[;FF9(6*wv ЗZc./jvӬhʹ5?.uT>G6o#Ntl||R"bIN 9.KiT\2&[DPyP ¶Ҕ DmNUw<^wb<,V>nSLZf,Msg0!}#܃ǡ]Aة1VK-Y[p:%5t pj_9nPGim^`YRzSyF@b_w^gIs41Bk膒i& P~P,>Mˌ7Wki4@a9na> Lo/[1;VWe)R "[oL8  o(y\+!Z\j2^ |Da_{J'8Bqnu?Q FW;*1C 9S"d@ȼ".еi&'ʩQß 7ףRZ )G`C%w[V|,;#U@^Xƾ[ ClNǴ4uvh+ƚe%ԭIp,Qɧʮ'nNF@l<=PF`K2lxZ]¿0)1 XĹ`5' 1inSwr:4=^lr5Zy[ׁJ pҒAq";YǵAPW(v!6YXIqH pD %~')gT~G!SSu.KØ `$ԈA*>{q@\$φ\W q^*Wn{#Z!fV>w8*3Z~]yco{/PmO~O}:aJvdY&CZ%ַ#T~=9^pm."YbMT#guyL%8ROlԉ!)w Fq7fe򷴏< yprd̟}}E|Ϛ:G> A0w -N̢O"':\y9?TT+V+,o xMjٸNC:bBFq؍}zKҬC)k\:C1̂0QPG4.ݣpMAtrؚ?Ur m~U.D!@[Z؈։Xl9 MߓO=쁹tviOb Xf:.Ac:ˑh^wX'}U2M\p%,K c<]aJǦ| TJΠe&d34BKH +uO DJ9( ?暴3SǸ^c(j^ӝ EdqK~n-/2/m~mgc5餾F mF㏸0d/t}B U ]u=*/nғNAJx \ deu} R1eTmπ, ߙ=U9J"Y[;ΤӋ.j(i3q.d{"O1%vҀ1WԕG]  JPM~M氏VAƕ6*/+tolܵ~Se ߧ`7ަb^pѵCxS(2%( pQUSC^?pg[qA67 NSTg}CРުJB;43Ԉ6 ;{E=ϛj\|9š^ldit2g r:_fpДqۄvNԖ!pM}=~ OLe8@y&"˜Zt:&r8L)į[jͪan/b%f<\(S7=]砬SN]~٤tܵ] F왟m2[5=C#-BoPC0DT$:Rw D@lgg+g ƲdUrܾP45qPf0b1f=G?8к|Yqz +b^ko>ArhD 5BeO%d,%Hz W,;kk9V|,;Bfvj,"HHF[w|d[ѥa8' *AZ-R.<]rIl6u_"rHA!Ѩ,\ P`izm}<@/z4SRȍ=.e U>8U½lӶi]-k^pQ+㜼,HҤGepXvk ki$B1Nx:MX#O䮭 PCsD*zJ]p]ڝ -Bq Wqx+jO,.I2~Yavi_{k\Q-zw7* sJ{5Q-Q"M]p__<3V5 )d:sf>uh .u|3_$Y$ɚ0Zk\[vo/YQ/A awJGd UOB.x?*W͓FS*_?_HlE2+3(pr>"&Cwmp؄kT.C@0(bTl_la _kLLڦÇ`iRS)/ΗL` kc35=#,7<1k\'\~Tgt/ufΉSۄKǨ2L;ƖCm|ϱgIG* / )u1lιٮrmУit%H0+QC]z&:h˓ݪvu~dqQnhIzo g,3AM&BV{+wo0QK곊^5b7/u$1P@3Q SXty2#.~f*^iٷʳ(9p8MABb8PKs{waxJM _{C9)8GȮ@y+a#O/#$kLׅ#ftI8X^j#S}g:nM&sI0,nivJzE*/V=EnH`?i;^;NvPG1G\vfX11صzBc—VLC>l5I*pd5QOV&'U=gx80Ua-sr6 =gIF^iϊ2^Cg}LT#(Ri.L1HXB$o]r5M 6 Őq5!3;kzAC /X O'Q  ?_)[җvܡ]x*;ktF?4QW?$El2E Ұvzzмl /RʍPҪv }V (Gje~I|8F FORHN 7 M;tW`6/ϋ#:;QfOd9$llҹY e}!1tEkxT ](|Gfࠎ߬5m#FI^(tT *C ֢m$jqr ΤMa{w*Ye Jt" y47>0{wa*|Y문aUfT3a錾pds֔}Iv{xb_LZ2򟛫JlTx欚1̶fC9ϡSꀋONRΈ#rNgjNDEbn^9Lm7,հ1g~A 7`3@ kCFԕ_0ó*%sjⷼ`$_jG(}lCh |_^iQY TzDϬX_kO3[b EF@k[ [˼nDg%C%aF<2B֛j+עx"a`Y /h}kI*u*]:F'W O['Z3 pk>JbW Y֍$E=E:fOVOԁ4DHted Xcn๻c 6Zm`l_c  |YbhxBS[kvL<t]_xXPYGQ48\~($'ӇRp0YCւ{ o2mE39f 1o0?~=1Q3wh6Rb C.s̃MFȬ@ʣy!SRooQ:l;ɫ_1x^z>ʞUf]}ћ}NlwڢI_&тKä01qzn$M0Zp KM9Y'37 0DLiRG\]4U|h!;Mo},Y>g*uIH$ J`-ZCi"LQĖO:- (2 JU dG9iRÙ,H8-cTY]LUlYBy'ylKTW= r@G:=ᔣK$҄d;*?L}}=$+9p4>ż VUǦR_Y1z ;.2fŀ$*,G?^T2>g3>#tb+y;Wd;mi Y-:qTIW!BW:.;\ER#]Y{v>2ȁ{A XS.N&ed%y"ld4 s:༜czoWn4{;׫6Cwpb1| ;UFo؆ Q/ؽڢ V4Z{)e$GtYs޸Z V2ufre 2 +2S,Ǫ_'JX%l/j%QBQ>y6gN#7xB+3dU5 5|,W;1E`MyA<ȭ!|_Gb"[1%e׻?qQ%!WOl)r zEU:}H" &5Lg7~yI@MpRG`r{b\@ 4S L-_bs=CKrͳ*]q*xӲ8Ӝ˓o Xh?AXo"Psz>z2{Hxt\Z.=pc߶p2?Ɓo9}.CY2Bkg5n[Cqc857[^e×87S>-#&^RLc hrO⁒{k?$=6@#rj%@i1:_'\gC]n;z.jqF߷_Ql1ǭ^jy +q;)`۰UX?'!6 $6wB~3Nl\Oxj  >wMSI3CjBk-Q=-ǘa"zYi{sK$Tz]A>ʞtSTt3>4yʖ\'WD0.Uf|KuiTݘ_G|wf̒ 8@`3}㦰r"ڤLgLk*5dtù@DgW?^Ä 4=:q»Y^~p+Hr!V7DN *S"=MoP&ՔqL? >~9P'Ӛfl#FH`YWLQ[w؇ky_x{^ϸXiCό. lZbx<;Ἥ3rc)*dNVx>NEJX"3Kq;ltQϕZh1Sޔz3IZ^ʹ=.Xpeqx)".TԟLF:"AxRϔ{-V+V;|qNg!)G>DSrA;/dxAMiXm#A̡/R8# d]oG,G9 {qN +v5b\ޔH@!ѵQf!@,Vg0/ȕ\c w2UcmnB[m[kb鴢 ԑdHkI-!Z1$~Y!< "ìT}DeGN2?W&lbR zS.s JVTtƖ]t1rB;U_Fʏ S/ZG=; +9:CUb Q4ܪX⻑]Uf9:{ön)iHJ =ׁUP\)}%~7<[u]^?5!MOPҺ_,k|;H5S yha&Lu!R(Q a߲ל_)@K'c92ýAYɘf4'yK|IanxW)8`j^IN„/r6!ĝl=/gG,hSX$Qd5*8CU<Py\!rJVo r5YE0ђ'vru݂ۊYdv]*w6 7H͐.0yǀw2:eϢ>#]B'{~=j5 憊y2`#Byts%P`q-!/E u|v: 1ϸ47j7@6]YE{`ܩ)'r Q署F֍<HdVy%ZsBvXA!xpm`:!n_`+u㔱 ~qKXaP6]7.)0+ZWLRԩPF0˙~5zf`ĵ:Jk/z@YxE[b<ذJ @ F1/viE BݹuYiyh:]vB{s~ʒq]ǶDXiOs5/JmG!f Ƽ{01B0ig /:yd B8֙X|I9NָEL<A Ul@G>ū,Wi/0%ݏ=w0_rkdj̔*[ unR~/s$IdoD7MZ9V3F#!|{!XtXC0[=E FvTPmh?;eL[ AÛ(%[YSs sQFOC%`Lv _c ',fq;>l֓"?&" w<@8BS؏x"o9Sp4I$33g30sہ^h y`:/qunK'@xSEw) 7 0:T8B(.5d}|܌to\"uJsTȒ<'q$KTO[ha%I2"S8Ozq{M9Vcmn7ICu-%֒NxT:_Ѥ(9}6[*gR*x)YI<{ Rſ뱷(Q{B,Uv,"ቘF",w>OB7'@j ɶkCo mEكi;r[L&\V&EfHyׯ"" 2DywI]{S A/2~]H(7~bIjYXvD'02,)!Ox,|3U>e,R:*Td]4ǽP8b 8Aݪ˳v?kR}z) %MN)D<_HL.:s+_ͮWl2X:ŶM\i8vUq;vДU:4+{CFُ }e;I؜_yx{h@]̃1.(cqyrr l v۠?*0瓑 @)į"p;@l4"PKcm CAr{;wP^>`j?ZZ#w8aؕYд`!u~h׏]I MNc*xHcǁO63昤<.GOX&_xtu%Fy9AQ} NBQƩy!ڢPqåS ^z^} (a0-mnyE=V}Z7;b\^|y=F(X)\EkE%3KJDhF  P_d9Nԕ+XC5ZиCI^fQZ*⢙[4E`(}VH2Mu|޾GrɋDekP^HO@A}eSrK]F .kNF?FN^yQ`׋E|r.nS~+Q#0!ޑbCj+zF~yU(Bm}ҕp#ܻ- /TQm"׼Qz.|X4O _* S-6|R&|pdPeO ei HVq4Wy3T"Wo¿Y?vwv*\n(&W ņ84xѬD C_K+j+HM{|27ֽY.G 'd|K6pVK̾'P6r,]%B$WV:P`wmӚ`B9`?}Z~$ TZX"YuHYxZSϦfdjqErT[Q0=ޒ9EyBtFXY%IbMGN]eEFykR+&T& Ë[z5+Ny$WaJU{r-U"^\җN+mpWt(}&IJ #6Cwj2:'$єmssފgdL R|ߠ38FCzWIK2f%Pmhުw m돵Xix-i_ey$aY8>tP@(b{@'hEQ!\y<5MiQWs+YT̑U)_@_M!Mf-85nCj6!b,:-ڍ){m t/ܞ1\1,vc0M9cו2TkMuBaxeӡc~|΢c' t h~9ؓ>K'!s aYz @-Y*^u8 S=dqo8u8itK^B2C z3+NpusFt@Y(v LeUBƲNP#J*èS‚xҭ%^a`3J`xnoH^g W5ҌD5(:ͪ@TgcB2hndQgw3v溒8:P(??xU<ُ>ߢb"rJyΔm>ñf2Yk**I `jͣ%p7"D}y‡:{1-$ndpc1[~Ҟ?җ:ͺ{ʧ,؋׼xzc%/ ;a]<|J,;) Vgր $ԽHI:4'VE2u)-[D)6ޤ,:Pe8GDWF(e }?)hֆ}Us8-dI Qa+% )y*@W&L8刖'd4T xBRϙM+ݢ_3)+[r77ft Bd+ɢiS͸O R m>Sn:l#paH(Ew6 K+4ZԖzm)gh  kOIY;Zb!j5^|P#;䃂!FګzCX핐x>w}q_m Y7L"SYB+٬B#oE  RV)ȔKz!L[HyzTyЀ)Kg%捩6bz=dNo\YkUƺ9dsJ/ժ#!1>ڐ`ZE`>7rB7|kP+rʔ:P>FQ'L `>/ ӘôtwAE4=ܿ;@p % dgs jp qG3aȷV; $;t- i:>NB)9# U+l9Te&ƓyBHx+F Wz\YV̟A pFZUQA}EwO2)9߷72BmT2.CD#ueͷTN$B'?s1,;£@@`^UoLyA: u^ h/mwك5i đ%̱nκyI(9[ؾ lE%߇H8vZEڿJg3xɀH_1!>KOgtNx HO~'jË`4!׀\Rbqbv9’vDeILkOW|[ <:kk:_9.qpeR:̦)<#Z=1,݋* ?*b;wE+C%W'/3JrgȇS4S_w gB:Ƒ0<J^;y5(9ל|SqU]:ATCX¯e"dT(7gU!|qpӤHK2Q\FB'j5~!d!׺wRΈfm\ΊtղbAI6@E-2Ȩ0o^Fۋva?nnCE`yi9Ǩ"Fj4-tJd.)u( +NIVB'.Q$Pt72wPծ&N3vQcL|n>p>Cv XѾ̈́9 γFyJbr52bJzC7 ?0I+WRiexkH۽ 5&-:=ŦiGZתXdK@ !fW QokuE&-V| nǷH y?qp`BZو-4W =6@ձ: t$ҼvХ6@١h]{y樛@%C ɒQ'nMpߖ}FXZ&YJu&mDDmsN74ݮm\j (Ɍwj4sq&x[hVrsQvVtOUJˌ0#&,43CYd墻SW4oQ;|]'%kU؄i "_z,!lo(TBKBm2Y[gć˾g.#Bp0 q[P{_b)|ɐ(W#2Bi$anO85`$ge9{D/6/#$<aAړY.w!Ǐb[3Srb%~@LAE;$3èfupۋ'hKnYɩd^D&S+lߎKz`j1$+R)bSA :gc32Γ1hOEIMgֹӺXEz@*Ju._Ҏ!v<\4ix֪߳ƽXi ̘@Qc><خil+ߛRJ# [:AL~ʹ{`H/Z)loTG)N .b r.:ZF%#SKdcPhk{ ^ta]1ԁ/ ZZ8u¯G{(WZ\s<CVdpOzLm2FnwI&`4Di9B@V7vq8T(Q#<߷C$>0/4n"/HzWVWc ~'O7b㣾ٔ $jIܘzgFe&:_R =sRCf\JrqnjH!n/\~ ` XѲ$G<MlC}**+U#}S[ڭiyFvNɿJC:Hc/߈# n/S݅S@"p)?F`yAoU?Uej>2sNHk ;O(x p;ɴ+=^ݢ2S6B̨% It0#?5+HD(0ܰ߹LfPuF%kMXvHePOʟGae`+ &:ˆW1KM ," $_@C{&f@D=H GQhִkFnGy[JUCߘ7qA?iٸo3Qnf#y2xmd5HXJlc[qL0C9yi&wEH%U@<ͱ@uKd \b:]~Iq <5Vs{xJrK rn ] 9hz{#xk=<;vLCr!2w~&aGPfC'VFq]I=4Ϧ\;vʾ{Df~eb*~PGoR.SXG@lKtx͊ v~=L;<8C6}#ؖz2wormMD%cu0]?f(@#;_Hl^ϻr 'W T']ӗ Wn̏ 1ss*љgocuKCx'AdYhէhhS ^ѪE\d%ם+ƒ^T΢C*fϺ׬MKnK?vHKYY|i3!D# ÇbOX51l܊&ߕE x ʢƩǠswF Gm:hG鶏qKჶ6e @oOla/=BE9&ni!Me+Ee|x]F?s^  if*F\BlD|8u!^YPrT>ld;j R-P6s&ѷ]gq \q(׻Έ1a}]J[t|=y%v*$|%pċ̡L .B2q x|wJ1A4Z`B5PEg-0cن>]o #Vk(SM_e04epM'nY}uK 3$I",r T tާPĬvDY|tdd^TRܟFo]98KZ$`cgLAH({og/QzsUφwdpuG.Gs*[iC{gվ? >#ԐTj`R+."XQoUU~bw7Γ /;<6QΨ 'QhјmDFWX4 DU%LyOs>RH";? ZmbEdLvBotuMOQ.\DVU7}-p1RZ^S#ͅh-^"}*aF:lQ;5@8CϠ ;^E-q A2V1 K[~E&jrj3Hmn%;t?ST"NhbH#-CA7qh+O՘G]2&1vbs>+ ',푧mO;:ڍd>+PD4GŀFfb<K| )aes u?Lvo4dmf)sphZJ;EhJC[ K,,J+Q/`IXu._yO0 9KqNDc<m"$$燀+`؊ ;SOB " 1p-14Vcq~ 1~ݷEw @슢 zEj @ W=̬貌4n 彯lPD6`>7|{Ot(ˠ4FaD HۭeTT~z D0"GWY$DUf[i ƚi 򊓼,r"0~:m \z=k@Jf<2emYفԵKXA|-C>Ed$HE\d~i)+9FELFT.0oü=߳iD~d 8:4]ع9O̕#l/`ERJysٌy+ .ތ ec` 2 ud" d2LN;g/a#/ Dv2^8Uz7s Ba6qJ9jP(kCž'd8(^7QFRuâe[A¦Ѝsk;:kF0I/"sA[s]TdQ%e;xb` I߯!͎\I2S/G]ڡD 侇ݏrUX;ɤ/P  Tl]#XҮV$QCeI!HW<ڣfZSvX\63#)1󡄺'x`rwDJLe1 3eIsU4!Ψ~#'dK1Y %fep(~85>Y/{PwIЌWҽqC Eb w%nigÆf؂[E 8QA)7iD>I 0`}|oj?i E۪}Y\K(ݳf`2J}Kh"*Wg5<W}JT_Si #g0!W,oau}%5 Q3#>Ts8תMmuo-=/{+gDnD&6 (,2kbThٓz¢; Ndj/HR϶Ջ"m\FlW?[s/k\]響TXgd=4a-O@\%G?lb'D1FFOx_8vJz)yHidwKf̚UW6~v$Pu߉M'g 3,!S|P,# krR_OMl!4?5Z/ X}_7mXxXg:>JpcFJ;`JRLEx)[T2^Ej62QQYKJ[_*Lo[ MPqi)[qK'.DEGv2BOT36AhF.v!0,D8c\7m # "b C-xŶʿJ?(od,Cf2T% g=EAS 6k\|Ǚ 4z/P.|o},ኳ},VU#nWVw> Ap0RӌބZ>'8!n^^}:ta+=̞QjV-`{~X*l\e*$BGHNhR5%I SZR.]^|e,O"O!:g:2d@V*!v3$ݫT˵r1պug1/.]RHI+#ȫ/+^#G!Ry-,L{8ҍΎd9$Z벰$#Z_@J%ݣ\vDɮQ^S,+ZulY_EnM [߭iM14B9/X2ޤi"X2cHk :㳒Me.\?$z~1˘tBVv=S2qѶmh< u*ֱ9bu5`\=+oj M@]je0Pafev8u?KcʙIJh "|?%u,acH,nh&>va/ comN6+I@fA x%Eƴs" [2ҙگI.&ź{F} vbS ["tCkKG! >9OO_L`cS K,t }: TP'nu<ɭ_k;1`ƫO)*hA 3#Mha.-%bPK#nkրo58ZFYk! 9|G$賯!XzJGQlHqۅ6H9,n1VkaܻaRe*h#`.Ɍ|(~dY.@] Hڪ*\%CyF$ CHsm (/ w4`=cHo1f}'T r`NA+-yȈӀhłH"!D2HVpQ9}q;@0&R& "~qXVy,b`exFZVhGYGVv×N{EʻD[Oใ~?1,v68ofy! яX[+ޥ-~s řy\~JX#8yӨ(@ Z0'I>—(;iZҍJB}oP#BnϰBz> QS0xRѻy\s<襹dxEӢ7O׸[})+Y,gl%OWTLDKCiS Yj-V/>$1ؤG>[2)ۆvy@7'aw1bp )'.)UcAx/ҙk^q TʫEvRŇ0٧SI siP{}Mh1& mhd+-I^|ʥt,DtT=h լT`J\=n1),op-!k0G]|4wB;탻12}SV Vb:R74G 7d"*I6O Љ2#P`(6vZg]H !n?t`ǻ=a}'jth ۬'QV1X)qQB8dH g$[Ǥm-l퇵rܮ[iHT8!!]yIys RNg3UQ`^hq/+6 {e]vۚѫLw?HE)XT0Lx[h F|G Tb{-_! Q_sHr橎p-A$f7 tn"Yt>otNա>/ <[^!ǟ(*