SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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-Library:threads=2elapsed=207.398cpu=383.940gc=21.504factor=1.857zXZִF! ؓ_(]ŗXf1-q恈͐7ӺV )QɂIrQi7ԄU)qg8 J`ݫ=z1M_[JzPgï7"_j왫:Wy;snpD}vTgmJ$y`6SQH&;luhۏ+ͬ3!.Nos'eNqGmH>^/m)cWGm^ q0==0n^ʩsEFt"3̞~B|E^Rڿc&cóņ1r勵ܔtG>X,Βx:.kQjA# M鎣ǹ]|SնY [.Ž+, @Y@5<)8Q st2 t\Fc[p>剂ȚJ&B BM*2Τr@U@6)}d0Ҍ-Dhõ=<^Lt5(cSN8T '#kGz/3*Vջi SY=HnШ,\ sw]`eLK_؎܂Ŝ!VX5l*:-)ܼxDsmME~h|_#0>\'bhHi$Tçn|;u [jJDkW*>T|k"DbK#.J"Oґmo<^/"ޛt@іs;`O=1 \?^%lV!K ,Gwµā-4s5md>$]fv+9UM/X@tn @%E7V>D[eqCkߌtir>Yj dw!H/UdB^0hvv)طe7.vac6EF?nAV踷&T2V>.(zA ̋#|cb+tZ2"-Gq0fԷ~&'t>&*dSjHjyj߼H ʋmİaq^?6ppڈ.A0(s:ې9 h?)K8 UUt> (2Ǔ]ϚqOՙ6 bY_(T|"*Kތ= F6rjMeTI휑%X1,|xF T Np|,1^}IyU;<$O,Hkʓ۶P8yIXgޠKyj$PL(~:+U_(4 A.- cex;VەPUtۢ0ZCf[_Ȃ^ƫQ*rwAfB\Vhv{FEP>I,.f)N;lJ=!D ]S!gnCiG;fݐaǛ$ ={9֑FAIgdc9H8fFF=)wcRc^[ |3&>Zn|>[4ZJpl "v\Ɗ"_jWWF\12G2)'r;)o[KE.j `YnVgG$L4Q)+8]9E+o@Oр%Kz/e~zq96cdv=0F=N12 ,2خ=OI/Ȭ(#)MOw'H!zI -D2_H\ ^f~Nx9'աg`)NWXMpDi'zP{Oq꒷*u0Ia3I65zsިl%KY:3:Amjq޾,|IV!ojB R?$cX8otUscvA2bk5eڸ'Cz7uHrݼKczC_rT ۮ-i !l [C?/TQccAG0JZ{`AFmDڝ2Tί;! N 3uo p_@٫Pe1Y'Q|`$."﻽> h7'"kw -F٥RΆC`$e&?vY#KC\}h{J?5ԯF@t)+}}a6>bVͅRiG&t0-2;Dq[*>d4A jUA7p)DOXFT12-$9祂k2F<ǙOF!$OTYlZ4}g<29$ġ e M{=FV=]Hblяwf+PS24r:TT1¶"È$4R߾IkRE TԜ4F\RL jkjnqпKSn0K>hO2v3oW4_;ĝS &}fR tAK );R,NrP ]=^yJ݈'HZ_ 1=.h*q:̋d[Mg0u:a5v=ŽAӰwX 0EǦ]x)=PxɠJO.uF5@Ee`56)iâV iR0n>dzr !8Mm1{8Zp 5903VXV[P9$c QVmI2 &6`~WĚuDFV 4wU(6-v&<$H3_ S=JE-0 j7, r v%ZV~d 0iaSR/] 7NBY3K]TY&.gZG,}OkCFoX #ڪRmQ lB#HHwA<GtHG>llkXD[dk>7TcJ-J34iRGdx-,Pdn$ǶKRW.nIJ{_Pw a?+sOT  SK8Bp,ş", VZ 99|lLP4D/ ?c F2,~!إM7\[ 1/^!8 Eds8~o=`kHT/vXVa2}9L]k\ ~۲bihQ"|9 gƘcw8,`tѺ=g7zII, d= T#nՔ%d^dE̻Bµ]٪mPH(:!/4'imןƻj:& 2IVj =U%"yt3Bb g] @?Q΢"cGt[\sTD}IiV/ou[! 4]DYvPH_aH/HX\Fg`>\%j/lTH[-=8|:W]E?s"D&$L G5UfSS@bq[PW%ebnl$5GR 'ZDF\6YPc"k%/ k,,^;*,~)xgwNt ;D~="xyE nP5j{0XSN$b_յ̗B6"m/F46w$KW'wHlTBt%(uȬnI&y Mړo0,`=rϰy $zC|zh;E8pf׋$zv!ְo,:]lߵd#?SCn$ӵJƝ V+.+tw{Ƽ+Js^.$|O?}+GeW$B)𷤻@ ?$?MB瑷>̹)M$Ū#kXj Ǩŭ/\1(,)[ '69gb=u$n1nTEvC~Zrq+3.W6ɔ, o0Ü4pةtO~ n;XPi z,ej KWƮm;\9^Q6N\ d/14v},l*&9SU7't#y2qc.nt[*4_FJI4v8QIoX4麭wq=g~˞95x Ҏ>L[$j1'G ]d'G*" %{tefB`hA𓝛=ţ|9ӎ QR #wY6-@E?+l82IoU`chˎGi\@Ąbaڶ,%W'6ށv$GO1)F)5]ĂXdZNY `fhNzWȽ `%.<7▤TtK*K%:l>yCzRq D&vd$Q-oyxx)>:n(-E! z:'RbvAJ SA)Ⱦ{.XTҢש~jkGaX>;S`ws 'RZ}T)rN`<\,Zf&&$VstG:ږ ,+Äa0<9=L SAI[&uڟ AU;{CZ,ȣd:;e?4y`?׾ tKښܛBR̎*9'pğ6Oh^b)-\`^ʚ&l|u+Gk,Xd"hVFV보xziV@u7*9:)pTzE0R7+?bC# eZi&\z &P׳W*sxS.]r$e,hq? "M% ;^嬥w@iޘ#֕4sfTJEVC'蕘 8OḮ{ dwy!vf)%w&ҕA|\A] Fa =AF/LvPc&LtAE5Tv;oy&SEG8QO^ qIG5 S|si-Lm'u1Y.&(h0PM's\;KZO}Mƅ[A(Y$Ijض~UpWI$J2?Ӥ`Ttz|7\?bw^<+=vx#DLje*舉+,*C8#Q$\SlE[4ЅRg|I/(f18j<Yd#ۛi/&n^=8v0+5&gpaQcV}X&c:? ^^zlBZ5J(rIUZ:eb\'<$T PA!l(ڀ;z)\}+%|:خ*5w ԍ$Q\ =p͢[5b:8qW?TMTtY*c'HeI|5ވ;=nwX08iѝpp頾E$LlXi(}hI,H cy 1t]TD'aYs 5XRWebTBڤA=y fJ Y(9HP D)'4PH=e@||~6"vTA瑦/us_G N qil?N"2HDh>{}:i&ѥIDt5+3.` k EE63>/e9.u^1`a!2V!Ǻ5<Ш-a~8Yw[i@giD_65Qr@Wb/WdkFUֈ vp;W4ʣ"u ܉EֿG9!P.U} >fz_֬<ޑ}h鷷4@^@;ybPZ(x?4u@]깎 QLs㔱_2ǒ5\%ƈ}xɠjxF`0AݡXMwf|2/5ӲA좙dD*kc f%ё6T2S׌NXfyL8#qcȝr*tژp޿ amّ]_KtRP2܉LG&ϤsJU)ʄə$mٍƋe.D|bf\jYva% zEyI * b!a"7xb#_ ۓbf p-W[އYj9VR_wq7PN^MC ˫|1ai #0n9<M0PDR JR[[ १g?tLвL/EG$m}1AF.!n.҃J|Uܲ]9u/piPG4X L:lS*9b-r)-=*om6&I^n@(n[/a;dskTTzӱiz1XVo~t4go|'fg‏esIPM}PFnJdnI)S27d'k`IE0Pl{o$L|eeZ ʚY|xFAӳB`z;ShM~%Fu}jI틖2[e ]&I>Tq ĆZ'T㫂 {>9C*/"&-N;Ui,"ME)<+ fS]s.pjAG8pxrmXR7G(xu_+ ˙\m٪S:[0$Fu4?M5!O.9ɣgι{%DQt GKh8ɶz57Ǎuir x[VU8`. '>T7ܻ+Qu@["oꐡM,ҡ"JV } LK0D)pEbuWQF O-L1uU);=_KPz;. 3#QѪ嬔@/|3Xt0˼Wo%]2*BbDz4W_8Dat縦z$aРHmj%Z߮[M!.f N3[ sp,&.'j.k'˱[Ԕ7Hj|/wP|?w>Љ@W=? UF )txe,R5ɰSbܢdW67Z/# ~a^AHpYԇT5/qK=7P)isz] }s@,<y$;B|0zfy1XB}O\qEy DGsV7m=BbX={mT5V٤s[h4N }3 tmbV1UkoЋ-So 㮋8/[{÷vtl8P 1. ڲu2:>\E5r_Ԭ+c7 6{ SBځqY`z.ucg2|/e R<,#?.Ę?sK4X.2\Fp'X% J*LMt7ɔPX/lTbӹGy#Qm&K|͋- 1X[d)U%& fޮusRJ{m]\gY߼] :VfF &sױ^ afPЪ\kH, u&ع}vQv{'so0epWHO{fsyn&O6VAi?FT:R[M!<ڈQ~N%E|yTEB1Ob9٢ۈ_wtJf]TD/tQܬA޺fPepc=Mo7YaU O.Y@Ti-@C^73&EvŸPuRѤ#6⢙ny(7Sn|Vⓡ>t"î.tց+*9D+S!|_\qi Ab㰦?p{MJ_I NYor _/ tL s8.~QO=[cJSb8u!c~IOV,/yǺ5SoBYϜf[рEnֱ:#4&ل4@^;Iŋ.N~d '=}sgws~ֳLuڻKҊ{ :OD ߽m; /tǒv'vB½4]ܸPi E}S1"R䄽:b.{ƋTAQQ'ɴDh}EPnzO{)H:cYf+ʪV*:d#zTfs$thxM'H)8hm)|}8?reݘ螲`Oyڈ`HbWhԝEk مT8t8oW„٤4=(MAw`] \r% dk#u$)m j s1vZe)q 8bjAnQF"nP_-sFDPu׺W_H?gkp"<,"ףOX*=z"&g1?ܝ25^A(D(줞 ~nKnV.{VS̒ON v]X,:[|~3c~Lu A[BmRO`jKG-q}y޵}+GlKpQ,6kZ41)nBX.i:z,W!eW29&HaH{͖?%{,%*ؓc]xOQkNy*qVipokyͩNvJeLOL)o(E} w'A}YziPi6 j ؝ 8([<_bQf!p5:?Ԏ̒n+{I~sޝZ)6!x躽.}|#01Ŝ+uo]e{h4ieu|Jq951y5*ǂ%{VPu7'ɘqe3 HF!f$ꑠZmuI~xWfit9b[#`Xʾk3n0VEoན0I7.a6s,8 "7SX閷<&=*}uuFh1ѤtlI`c ;l~H^\YCmŹ즊+nۼ ov!KoytZ#\)S(q&f7/2'" ~[88ȉ i4|.zND|th(op ɈEddQnAH,c2N5+ 89_~/Qy {鋭v(.*-Y)A\fDt@=(;0%Ԧ=fJVJBT g[.3@0gr¯j-><DJ6/@[dWN  _m?om6H-5dN{;|He ZyYW&D r,Bc;?* cutkGi[@#a 08 Q[%|䎅VvXG҇N)1CJWϧc>dkNu;(i@Ti;.1`3,>Ǟ St<~-m|yo!,%\kn({ il*jēBAygjp[ ᰜ2r}gʵґ-v$/:=f_j/V̑Y[NXGAv޸ vz:Q̶Ɣ.lj`(42/ Ee)&(wHn 9^c'oy#ͪ?~SBՊ_|M/]W&*l8W!1*IEՉ&?K99"$5iLYtH8Us22~'{iOkJi;^=a Fu`N;ӝgoNWf!N2+%;)wяZ$B_+ RDV ߈YLECu9ty.pY̮)gԋ(s[q5\ɩʪcUȜz͍S{'(8ߺ.N!FuϚ#ѣOc<19댃 =%tDXQ@`֧!dkD"yI;DRdRln] w ȑK/ΰdHcWb`da۪麜zAAI|5]v<(M2"uIy o篵ug|ÔS шsW۔OY(f?O=h՗ga&W\|ř1dzFZ!CCi7NȦG+$!Ƿy,?+Ohc?1&Da 965:pMxZD0˽7|2zr}J)bȞQn$(STTP_pEY{MԔBAKkx'UVdN=[6Np vtfgʟQ\'LqWYni8 @1 D.>~.HYd}Ny5SmFCO+2*xJ)/P)8E2҇~BI|/ M0O2f|gjJ~UQ[Vyk,E-HdV[^4AKVK2utf#!TPW"[n߾C$M.qRuaY[MVڅ$(Yaz-G+,$/Kvdfo-$~AA@["۸~y̅D}7a%BAo"EϋEwc6WsyU:x3Qȋ< CQ')݈SK<=l:0[m)B~qxyj -ZǡiwinCGZYyLUr[BGPbAv5*`\=6rO akwLЎ"U -xM޷  e PMexV_o0FUa&4$پ\iz5(F:'d,/CqYafO,BƇ%kqa:]$.C zrz)-‡ me *F\%Xt%erQ6d׼#E+\(0 >] I'S͑qjGүZbLFL-{^OgЯ_o1 E+Sru׃0YL_Xh<~tnv%Kܶ;BuK|׳,-r2d CC%F<0[0"݃.d&f<)ӘA~̲oJm4#X;3nEmb5"s)Sf֌,cjx\R޿g 62Vz|)$accꞚGԷoQ?"ȭY!jD^ (PA%}#N}J Yt6_AGL=X!7ChekߖH҇@RxgHx}΁[f. j {Ï3L {@ʭg&n(baK& #F0ORMwAY2 sEc],RH^LX4.I L'%- OMgg= B)N2~V`.ʿ}Q\q?Md1ϚCq{ * ьXQ_w9%% 75G|vaiuoNO峾O{CWyhebq$q77hRaҁDhecFR &OuX$w\}J:$v+Nv$XW4 da';[IF>NAi4>UΣߍ}lǮzFݵ}wll$&SʢrzRL-*:ǀR %sWxd?q\I T螂œG Wl/{> %LJ$/sj)c-#yVSQJVq/cv[9g8A[[59̸4VFA"ڀrCw^e>?$*ўi#?A\Z+|xB SLYf5mceM-C4懯ֻ^ x'oߥT3$U'1|V>b]gMڜloA9u s]b*۳0r'7.V+Bf!~p3T`eGjCYy}+!Cjѵq5x`TLiy6z `,ʭN\vE`e[<jb'_{ۼb,/'KBVҮ$YlQ`8>^.:([<5TTR0dk{zf -:E4B >ajֵoH3PEȑ|\IoVr@Fͥ^Ri y!2k_,5wb _|{x(dƞ]-jqO 䙮J-H*FIhK6W\[9fr/DzA)r[>pdj'~4"0 ՗)7œ/wHt/5 Vbsp?? +ع%7H謏uYuAX nW{> h yU r'5UV48mI%50Qس3dČAQ6jJIN[4@K|y=}d[dt7Ԉ3 &â QEo"#պ;60鯊C*ld+nrteR U u;a7%EDݿ$ Ȼ#v- _ZZ2qg Il޶5VE]#Nx (65ǩmOʫdQ 5eDNVbr|~atPs?)o JaSc6=d}0VUt6aB"8Ql9M"iNa]L lFUDh{3N> 踌\|gw4~Sœw^^`q=C.|v¼O+ծ=*K,lOC5#(S&uF`8b eӸg8f\z(:$d, Ϭ91EiZũ-kA.Z!L~6hLH|DW?CH6{{t?]7+,ƺ^[(fze&- CڲS> H{ 5;aW6U9 ݞID oP,:ʗ_>qkI)W~͈*4ZUrKVr6(v?r V {:*u.?Gۣ-?tlmnb#m2Ͼ7UWh"}`cm_Y<s_5HW #4uboeS2x>f&}nӐ&vde#} !g{>: .\7^׿tިSAF5fH),;"0< lI5։&s;j؂[B [[RK%Iѵ6iz}W̴z?'8^;ߟaY~؆3@80= Ԛ,5?di!# т&\F,v*KiVW 7.9XWÎ`6dЭ6&JiI*_dMt>/ʿ#Ԯ`}rq{EI q:[L CJ"w'|Iաf  Ê~;(Hn8Nk.)gN8oaˇrpй͟b[.%Q!#TaS tjX8Dݑi?^%ƤnuB̰T?`+SY9 p{ZrX̓3gHKrKbi{fZ|b6'MӌI {٭Y}B-BŮ<;6z4k#6Hg[4$hx;1w )?_i P1ǖPڝ-]9IJvhe㻆;bCeUh @1{Ukf)&5>L+ LSX']~Suct"xN?ª6g)aモo@WLr1b+Ɛ\좾JXk?x^0A _z *l-p7#_dhCt1zW' ȜL#ińP&FU+8@6ϻ$xt.~IAI-;}ʇLQ@؜3~adJZZN/6j8ABO`%*$6;~oc5 u~[yN%ߪ$0Lq: XPx%0$E[e ]:mX|eC=6)$ coÅ61Eݖ_3&VR!"38/c⇜5 q>xk'ԅF iAɩ=11*RAJG]yv1WfQKLccr+R:{_&1 x{t,m %UJkv{+$h}ػ}&ѪZ_Gڇ7ozUJ/\4<ՌC'ЅYnK P#S dPqo^ٚ!|x7;wV2$jw\U?(?zKXwW UʓӘ貼K0)VTT dS"85= rn0Kͪ稝n\:&^Ki8-m)ЭT 6~z@JC8k?˳ N>%{]Gai +$IbU]D]"bp7Ũ!(1fd52wtc,fN@o'䧾 Y ʮ>\b"nyeo6Ư)VJfAP)ViFD/#:Z k#JTasƼf)`.nVñp&kf04nF%=-OBQOSI᫴4kAT/xbn"/=>Ϣ/{qͫUEXXyb\ X?{R~U?[)6c֪t2HUL,xU=WµDJ*X e h&9EjeVx0ϣǧ"7XTQ@?bTYq92^8z8\|VR::ɲ]j1ihwr?shTSSU*y|rRM|1ɚ =z:\bB:0O bV~,E9yZ(c?@~Z83KOүbASU!7hԌƶ]MiwIEyބF4*Z!Uz6̃4򝪮8O4اjGK~ꤣ+?N!t))}CtubJ>}>H)lQ/]D>dk gLBB}<\ ˑգC\\~jeilT,%nɎ|;] dQ?>lp@nlu1~A7?6P38-FO6+2R?: NyDϒ$sA nQC(+gҽZvnϭܷh<>Hv+UHzN!M%Gm @M#]U 3VJ+PH֭}ہ|vL0oHbxg,%-ݠ>ux?JbIٚ#}:&a[M%RL _ëcJ73OoGo<rLSJ9+;KX/ d1`TaK1@j.8^f9u&]qrxp:ӹ)R % j *eexٌRעfCILpqk,@+Ҏs+{9GHCIk4hompzcj7ђeJJѮ|E|&cdyQ5O P>tZI |u!{ˌk]—bm+v2I_.8$h]J CNX́JcHۂsg!Dt9~yK/;~sWc0Y\ ZrdU N*l1m)UkՙpI=u73G1vnUp' 'a`~ipRE;N=Q.˭[<4$y&cQ7EJ(Ԅr|u<ѭ\-CLI͍OOQ.8NYΏ.R;cjDufA[^hfV] r'j =Xd xDݵB¤oAŗ.Ƭ>*u\-H),!6k2QhFﮗ}ŗTE8 GRY,\I4X b#VIGnWsM=/7R6qT.20k] 1qq#"3o,YCu˗U|yfߗlJ|m ewySlE9 E1DJgNRHC11Q*,ݧ5ȓP(`h0j{_~xگ׽:S0"X=dx\mSbTNcLk$f~n6d~Ws*i Γ zD&Evf?T(n҆ ;*@ Cs,QM߀ F6_]8j6!)ț52Ha^ a5a>o0%<2/[LEľdݱgYZ7zXZִF! t, ]ŗXi%rA74 ě"žjcRt ny3 N<Qc?@62jIliw|8PhnqNWwITKG3q߁" okkvP\V+ɕ)VoZ]6[*BbzSЃ .}iUExkQ TW[18J}7&^F1mQ6MJr$3!JȀ&Ç!IН71/`jƨtK|QR_11G󈏥U _KLmT\&) qi%('aMـV2vdm[U=LP8 %m#uk+E`|h=sp/L)I'9#- _bQ( KI,C*ܴF"z"Q4>a:qkejMPM()1m yEbVEw2ib72WjClI"בy* qI 09.NRz& H`QZŠt4U/BKoxʠ߹5c榻|e[ (?7,NMK;x.LKq36‡."lI_=&O,eF5ZcDgG|Jhw?czLk%QS%^hN$Qw>\9p#jPʀX)-nm4j:8XzAy ./lv*s] )2aW+U*LyiHJcDr۔IvQ>zW~#_+Up|K惑RA $)ᔅI(U%ȄLV(Aٖj:ZDKZ_ӄ¤ pi_AT;.l}8;7{ᩧ([EksD8/-8#h O?Z#Ta@.yE(ЎO n]n'LM0Mٜ+,ЀLMQyƨڸќgѾ/"ǎI$U |tktF(cBc!C>!lrw2#zMfU8m lߊw[B[ƷTs)21P@A8v1GW^U=ζ;ncϺ`fTp^ͫv4}TOIW+not%023qtσek? J2xOWtwqϗCIehkׁHBphmO`/wn3s00EIFj؀x)o~'1S"?~V0T @qG޵nKA̲=G_1L2rQBā -9s].:)s#fk%c\GX9ѮH*Iyk 5T/CUZ z+5u, H %c"*xU'l\i(c>ȭ9d~e{X+c[W%rn$cUĭ : 系4X6p6:abS=rrt*{xgc kՓe⣋k}opp7-Y+a#[G09E.CH+( E~4sآr'9+tW*RQ"жρYKsX4Aۄ5ɐ9/l6ZBD-OgӺj{4\QEqEvfUB.( {UhUR) 2ڱ7ԚQdCtq=O E~/=fpy앟.~8jA\E콼]fsQ.4慬9$c}\@aM~϶5۳SEƂMQ%t^Q%Tr8bϼl#K8N׌3 uRy&iOȰ.:iG W2myS <t (/8 `NO\ {tH%73 F%ʙFr|j ģ,1]K ȅGԴ pO$[ 2KGss5ɠzd\ؐM WNԆZ Mf_Mr@DR\ 0yKf͜&p¨:c K)H84kg*xRZ>SWh7F42Oiܩ \tS?\. qWx *rLq=9icu~+l4 87^JbL(1o7Y >eRW8.ia?) ޸GP&jbl!cc~>`뙌4.mU^~/ub5/[|%:&n-RgS;UIGlޓ]%dCJdG/-Y8fU_('asnYܒ|k ND+Av~]^[bju)ݟue#GrW(e!uR/Ĺ`:bIJ}i\axk|4,r[6RaP,oTd7#S{ c 0B .aL%̩6e B !`zr`>N贪ȑ_?%<'g/׎MoSO]M1>D(F-bgٝ&d'NSsXtЫfoAH͌ufo(MXs)],ukn%\YNu4! B/FUv^|3gK͛F@pW1bο_ 2*MUW%8YLDr?댽r.C#Qy}]er VtDsޱK :ཅ!ygෆo?^J(ىmDLoڄE*}wıO&AIx%R& %4a8NM(B @ySÜj-(5[a;֯2Qa T}N1{?\fP#2Ohi? >$1ڤp fS"CaTH8j>vƞE*Ri|ͼD%ׄf`&ŗw:!b.G?\@²]_og*Da{j۵!T j070>h]wlenBlƘ-:G d)S-ZNVv'3xt'ݤ80ַgQ.R0@ Ӫubc2@J_]Lsti!"% $/A%=WBgF13 piIU㖼 Pشe(x"a뚨`egKmY%فB:֩ず4f_X8iP9,]մl0oetxm;bjH=Г7S|<,1_DW?LU:b!N€]{P#~rjBwCa?A uyuqk@_T΄W9;ƞ٦$ W?a5`fuEhe5JE#Fo"Azc롄YzSBaʚ2HI3jQvG 0^M^X\Y!)jfרkj#).֩rE7v~>u?^yC|73"a1)g \)W4+jFw[*R-zPfqp/Ȩ0 -9(1:z*Vܢ2XTNpLct2_ǏD,;E~+1-n`g*%h&qvCi+Ajgw%gNu74ww Wr2^>e̓,gNYkWJu3tQZHqA#eZm_ʥY̨6{!F,Xoo1MDgF2Ya-? jºJKf7:_bl-Lmx>eΩKXlUMN7n[K警Rz@v:5FX&YME#to}b+756翕N5y\b 3Y!GBp-,A=4COcl`nO' o)~̹VLWX955Nxh3lDHQ ԩtL'5A%etEQiX^ P&qD3eg' $W\0nY¿4QN[W{?b"UTf'n" }+ԶL ZR跟1ṑ .0cpU(#8X"MK^O,`*ePS;.ڥ3 E\$H:iDfMoCL$*lj [d IeB- QoH\+9;A]eU璫=$я %^LXSb +2guYWDvRB۞'O04NG~Ru?I~hyeK)]G:V se(*P?I"|m}KhLzz[t,ldmU #Hzi?"NB M=0n׀0քK(ъ}Dߺ-~(8bɑz,:^qDRiM\^+kEC-D\|MdWY嬧2ysoͶԾbp P5KlQV<a.7O&^t]NM= y'R8C0eKm4Djg͋efnInpCq4J5\,{{aF> sNWtԍ$&淋č ?-Qx̺7x)--&szpt7!ӱDZE$=MJu&' /s2<#V-X@\`K>B[S>z%f{*JHHVW0yלe~ģ(+KD#19~+qH$A٥@Sm=(Wp9<ݜ lq}U {g=Hg [noFs{%\\74cȝ^#2STy\Ph>?M k4R(mf Faeka)v)S9FvRz#e1ۆ(QWAh$Id GqP@oJzٶ :_G|2;x#@v D[0;)ká"On\u%>+,Z h,'lb,ENpɤ=keFQތ.ժ ,.fCb9q.j c?GV ([ii? qNtmL!;P%Í[/kPd1`8|/}{"..Z/v;uFpc8+ ~A)f-LpnKڿOf HځXح.e[ 屵uxfJsk6+L,ěozqFۅÁ/ՖMW;OA2O)ʆAXA`xeH*|Dªne/ၩv_W{:foI&J/wL~3s}'ηUR|pYGhDQSmQMO\: ߓ/Fdomsx1ܠqbI ~'PJ@7| V%I'-`e#cz=_a RoEj[$I-VG8`}pd(NmTFRHB5 "B.&}:z fvޏ p6KÃ~ 6] MI4LҬGmi\k/TQy0$ot2,LZf/54 5$Fq^U׼}UCGǾ5{}j{މH<4X!)+j0% Orq;plCWHT< Ý>Jٓԧ=:@Uq}qɝ }w.1~#fK1?3`v#)x &|䑊b?\=c+岾tF ,9*\jP Oq;%9W `d.ŕaJ+ݲ. GiE`UEafpMSc S_HZT_@14('X7w e&H!_OtZ 09Xzrz;'$C-1*hƓ48y`nS tP^W .]9+!vP%4{r_ ̟ Jwo' g/6g ̂mMuaē,rO-VW}f`S4