SQLite format 3@ ,- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info RR%,t ]Echelon_Form:threads=2elapsed=455.160cpu=798.352gc=50.612factor=1.757zXZִF! G]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α; (8~9FDxLTM(&oM{%Y+=Vvƶoxb2/8O c؂2mG{nF5| J7]]eOH QKHk=1(*dXyBvy(e3Zʮ =]`B$uXy(xogsbU2UO͢-! DGvfpڲe.&S9a/|h2r%ߐ1#50dȩq #Hd{r}4Wp7A@O*՞B'pXݱUNͼM0'7:Mzhu~FHKaxzy6C.ntx}莺IS<pҔwŔk&4 XYdd# S#񒚋#i,ЃTpTGQj5{ % Echelon_Form:H&%'qr&D"ֵYݣ=5^V?OvD&x,ia,pDUe =ii)@![sLJkCkkq-<@^cn($6l&|~M(dM7QUy6@ )`o$1,ϑFRq)Ƃym^K㘃l%AYM$AUpͶ};UGSTR̂ȯ:u,t^ `%2#%᩹ue[(w7q=o7aXM kWfz5C^DlF"3+I Pԙ!η:ڠeY,eFゎ~J#0c~u/PsGbq|%[r|#4,g3t/VnnA,܉- ؍V΅?IXې^2GrvCL='@:hFOWiAL=2b9rTD 9@xV;yW˺ﳮ{oOϦJ%*i\ѫQ l7,f}1k&pjI&.O(^@3(,YH VpT UcOXn xB m1Y1&=^<,z_w=r6Xatb'c-;{atG ?? oZkXEVҸBI hEpX;BX)e2DDTоf2F< _Nƅr24;^"8|&,Q<+r- WEZNr9$I䶕䍕|':\MibE|vOW&hkɟE,X*(~eYJ[XӰfAk\<-ٍwt, SAG0(' $! li 1d"0Y)%-$4-/ÂoӂGIFN;][ }Hr,e'1* |*׊ya}"NN؋E &-RdM]g*)WKT 0Uݑ# [OjBȧ7fޝU Մ3fgvm&Ŏ*H |le_" 8G'Dž\w(\Be3s(A+˫µgFY.Y}[|8cz_2p R>P<'u ̈́)fHM~qV_RAU¹f6IK9i8}1a]z0.Fg ڭڔXK@8 r jLǝҐR6["վjzL M_P|9,E:ʛ*p>bH F[a TZ bbO^3C) Ś½?n:=.HhS4)Է Md^E;^K!ݐ}oItՅiFUPfQ*Jxr*ޢW$r+,bυI$؛n.?=6Eބ0ۏoBQYLЇe•\[e)ڴ"`xӶB ŸIDdw$5PK>kC /D{A%k:`Z񔔠(@kO0)iޠ]0?;n+bPc 1"]e#, sE3C_-e^{ Tv=>u䳊؝g?+SxލJ5—.C }i:Mr!+O5&dQ[K?tr8QԬ||.S/3*[7t&6%?1觷7~$\H3Ȭ:upgO:YA ZRH;B-sgإ^|pw?dQuMt[dw[zaaܫ=Mqg,Z}n~xM+ [<!ˉ5k89MHlT~l)OZ8P恠[3)s'Rbf!=ʐU,(۞Z,v/m@|d:}3`O7n V<>^w+B/\w=P oc?hk)''n5בה!̕,% "Ԅ:)Dzy6D@ԇuf,nɉ8Hݔ8n!2\¦k8b?/~ 6oGE"_~ZȜBCjS~y _1>&2Kr&'941'>,jf9ZCЖGS-{``v 6mݘb E?YOmUfo!S C0!Ț"˜oӲ%SƣOP@E=쬪v6{t-1K b"R̴Q_Ah\Wx7?vP\]NɄ3PTԾn|iR# ?h!+gB&Uzr-0`ǴjdwsY` *1h:CtJO\73͹W=| m=9i*zY&yW)A|M{I#xdȔ.4x< oz*_N7ݬ@5R5;V~+kʄ[S5:`GhE`@:WZ$W5J7>-es2\k=.Կ2jf['{f/~lDs~7 ct43::^`^h0j0rokĮ0}^lsMF>,@[oaI Pșd[QJx&CF,mg Q/{y{g1 jYɍ)xEB劲xcpfO>NJ+O<#^1k__7 :ķ/W̬d$ƃ5KaӋ8&21GG8aɭۮ0 @0<` BPhXRWxtAsMA~ZW]\Gl1[v{ -˨U*S7t1pZăQR5X!H?R0ҡt&J7rk26/Dr~Y%%[CichieЄiV?;t+JHz{̄= eiVPebCiKneahz uK;;{i5/?>f, %L20*򌼗STғv/)X]  FNn&~gׂz[b$̍א͵-\3g[UAҞ6,}{uala? g%ck%3Rq׊*_Aτ/š.%lzt ySe7O:h)խgYO"> i`?blh^nY v-zV)挺tKLRQ=o~0q=.pRPzɆƟ(l% ꝫD\ҭk:HUv"lRmlMel*7,D0J[j`}M&@IH:"A hXhBWp |u&Q9vePzSYU=YOr1RW>0!!2:cL9N7I@f&ewqs(6[rI(S R1GE6 u"$v/}ExN]c16;W5aSq D">ϲ <'BQKM"y&4ۘ3Ut@+}}'Dښjȡ~#";}9o5K(|'Šk$BfJe׺kG*eT | 6T年`RO`^ mwo_ C5 $ 2f֩y{&M@q,FxgdwvR÷ m2My@1 c8# ]b󋪶JY*"\; ^tЋ.,01?ʆ{@w_iSN;l\vM^(6H7(y\]CtwDqYBإ'a V ard`6'{ R>zE*JpTWp{\bjpXÝ!^]3ȽftX>C* l4;W$5y+|f3V:.N@jǑNŊ,ÌPh֏B/V|qZ bC+Mۇ4tlyEB;8SG&R=lLMwqKNfA m1lw޹YSBɇP"/>HU=BNJ22b؆zv`lv|_zTuvi":!Gֲ뷓)c7xͰ (P)Bc ;wJS~6Z4$)*]B<EtS=yDOlwMUӰtcsa1{yY7= $@IoX4&U$1TU*5H7J5cN Yd*h.Ѧ*nU;zh*Y")ar76a::'"USLo4_jMHho޲=v4 lD v|fܡje2VRwoe&KҾ HbElO-z]'Z=PʱL{xFr`8<|S~Κz- [v2hJ JMSpCՓҤ:SQJ7׶19j\O,ʠxG$XpOKDN# "ngyȩZ7 bIodCx?͖jeq="aC 1/P"mCk`ˠ9'۷a6lG,A|n@>_Y_,""3½+-s}J:>2.,:&g5 6LB X2>L q fhKj|_Xd;Z힐P}^#r]]! DƑ)!îJf-WUwYǢN^ t:ϯƹ>v^ 0o\  :"#_l߷ ^۔ج1,fµBBBQRMzgǜ:=)U\1PAIvZA'uHm6Ks+IgOH18CV:oV購=2L$[\L\K;ydQd>f',1̗K{ۏ;}Z&ڳq,斅hz{ՈS6|鉺ܒ8MZ#E{l. u?+Ll'\ppHMd35+'-j!C(0%?#п oT5ZIRpN҉']H51G"F&O[ AEl۟97PIw̑ޕ ະ?7̧'n5 3mw:kr#K~P{U܃unm;t|&K^an,qffxJDv[kxR5'liY]ǟ8w5ÐtblR._sNzF7C~?K׺?ŊK X6 s1Z'؛Lx!%ml]ܓd=/@+-'۽ij|qyըZ*~hG&N6:En *CQ?UciKۂ8}1NOB^)eU+.I۔/y#+?P ݬ}!H NyWQYSeh~H}*5B+ט4 ,$= ፫Nyr[=&Y[&4PYyWܣK߇// Zgx`r@FVcz_3;,*N#S\\lگj3X8k&9>uRWM ,[gj.[Js {>7X԰3r7 e)ZTQkRe(*w㣚!/ dk#%}~='/`DIUit݉Usj惜3_R5{|rI=(pCRt}С;_Od}ePXsum=4FS-(5/c}G4H]h[@C5\w[6VvS7jX@,%];WFT!:3#B{;ֻ.21km&~Ld^O$ʼvΜF t/tZ;WTnMdAKܜ1yuNXtVE,ɀH@FpN]SZ:vGo =jVt-zKG'kuT٥|dًgϙHpaݧ5A="`pUƇ+*qQSCZoS0nYȊvt*gqM+ X1$amTuٲn2)uasxŴ[tT%m;:JVjg1hd4mι.Y|a< +tLtgC0W@Ao}9tXfoZ5>|]b׹Ga@X]ÑsoU-%g¼Xa +T;*."1 6l @Y/M?ǓT>.:x-]` $ׂ AaRq揷 7vi^1pװ|ڬj>ߐWm&Lnk1РlTJgkzp(HSս쀁2We8q 3o܁j#peWl4/fg}r\%#]"<Hde*H%l;whdهlO_oAy6}sR~mgVc #!'OݏOtXCi<6oy6YFiN2 "Sz”TXm؉N:ք@o59I>]SEج-۳Q9 +5G~mXN_y[PCBl}:gVޫH'(HJe`-cPtw|?UNǎX2fI++ϯp@R!!eB$(obE֮ن0>̼˾DžqtUz.髐եVR@8A㔗<.=eT{`pfoB="]x8uK[1ؕ8n|~wֵV峀$7BePչaW`TINT)EF2{KqM;PӖ2O w.B!svJ'_m0 ]&,1Cg\P mKәk_VXF ^0)80CԐ-qr,:.>c`Vwwґ)/bG43T:7Uv{/ _ٜjAfA!%'RX{tpuFU)ʤSnٵW7-#\ -՝VnqG~B'?IzMkjFCjg)["KxɪϰjZ"oX?l=DHZWֶc]o\8sr%}2eVE{6QOnW{̛MTwt&z3_G˯lݜ}Fb[F _8v @4_-%f{8bl7SFP.2g~|~膝kp_[Vl~KžkkWT#/c c>ܧ;$%oqjY8# 0'wg*Fb<{1G"9gG6iVoWR5xmHMiHaΥ^F͝^S>@u$нW]jWJ) l5𿅲8ҁ{ nZ^2q8jWb9.>7pf;,!?Dz Gzw AUUgguMɨ2kD<5d? F ,4A32{AKf!y촀 ,S_oK[sX{'$W| `૮[K~ָP~,nΉ P3ܨ 5cGÆrySi|evxf{vvt uxl?H _ x[ՔzN4ҩ Q= څˠ2q}Tc/Zډl?~l6l@X8Em=zߤD90S=HvgJM#Nm s kTػT iod͘K @h~~U8]]MlիRNu(z eJ`]p+_Op𒎾gL ɓpIZ;9ԴT1LX9#mqUНnU3 ZOv ʷFn^3W7ރ2ON^$/@˼{AY!ҠL;2-!63 Tkl~YYܮ1%8|P//Hl?ܬ}\C{~j~_ "tیAf*Afc"S뢓ޘmT?DK-\,>:%h7&5*s`g_=|!}V̠ˡc |'`.$EOF\2QE-+$x[`2XקOaɏӓhEV ]GDa/PCCxt G "R+Dp;=- ^H1|V-?i+Fw}eȪ8A$.[V,FV/ҫ7 IYۜԅd!f~ՎI^VyHqr@Vz77JguvZV9.)"^sh~B(\r5WsoQb%Vo-r6UKRoX"'zm)biEkiIv8nVI*ZqaEZ[EL, +}Y"v7cL}p2bUit '.b*c8?zJ +s:Er8Ġ6m,[MoO5޵cԪ{J&d۩i\ӛ@:uqt$,SxwgB}/xF:\@ nh³|=KHY:'H[{rq\cU,51t d|qh{cLW96 T+RxK19b~,r.Ϊ p(oI}Y[W9>1TWnǒo\3ewyƴ s4n)K\=BB0"-%]WfVƔxH >l-A1x!Wȟ\޽.g-LɜQ9 t!N=@@>*%ϲbg/mGϪ|ze({X8VG.?uU 1%~"1SݯW yay06%$ӌoFX W {-Ȇ͕4%ѯ^j%GU>getZj3.AcM~GG!ѣhHؘFiU9 lVH|P/ kb-D5sK!M93 \rɭ\_b;"N#B tCC"Ms88_xZP$jІh#^ZʋA~j(SͰRG8 "(qS4PhEw3:َUWxBYZ%Z*ٕO ݯ0$OvCT0X1G t+@>3vGK̈6>D".vrf$BگkՂ)2?^"AJL:B|ʊg_W„-z rqRˋsȮWYk=#(;vnqWd"RR&pt.](K9<绎3'ɖ9h$4{iT{Ws"Bnk?oK.amUm#8i};.NS82s\l:ʇ۴u3;cT7d̋rOÜk ݩC^E9P4)6;(rԛh.(4cP6wnH -GF&Az#" qXWg$C!a-]0ޒlQ9$v%1o\\_)FC7xsI?ֶ5gaP*4|wyOEֵP TS]qy؏K)Ux~2T L~tP~O aA._,clka̸p+tLf@}C{00V#j!gA̅_,Zs[a[IDbV<<1Bĸ/e!EM9$2|H8 Nyjk T_U,<)W n :j*YΜA}&V `Տ>@$*KU&&#KTDQ2})qӳ ^q/ḒQy(QhϊqpjrȰ8)%^FkԚ'ّ`j̊֬:NA&WPJ!ޱ+kAv}@ 9○mie lfRj@; ;| t},rU\OhmdR1lsUYCխVǜw*`{LvՐ=+؝[sZZoqGTF3lʟPH="?d5EYckbڶ3x2gQe3ȓ# j5{+Qs&n2Y%O2m+ιkmbPY:΁~S7"Wxǐa$Z@r_qo2ݵkP"?#<+eVj6fh& @ik|1)SOYaD*9e&dߓ{*l*CvsKW?($$Rcsl|VZMi޲avT1Q^/Vo ^2(>:FU_!&!HĤt%I[ȟ$,OԖ_ nI&2֝srY*.ϑiX^u=i.S{s 1Dl|̚7 .97a#m- Fo2;&ʫB@Wo)gWczץzp*EU.b(k+j8?1Jn9eE85/Hmt2~].$/d\#[ o@q0ebmXE!\d%pcÂ2 #EiuG)RFt]{y0r*No XA8Tʊ¯_u:bq7tމJ0_p긿1_Q=@\!̎OKI Zo/~LdXmxp|V[^[E(t|8w! jrJjݭjn^>N2 %\Y5J71Sd]@f#k5"W ĐsǦS{ IPNfZズwcaJ PǢ6@ۨuz<o`2)!X`uhLyFpg]ύ( @F ׽gIڭv2c~~zkߨG1/m >og)QNDH3)'.dU' ^ؖTJW!c0RhW3g{_x@f3<;=uZפ/wO90m^JDѯSB/D71\<ךq(^ϧy 9uٞ;p.Fz jg/6Id3ėۀ8%mSf)߅QH }u6%4蘧U~+23P|XW^6Z) ?2??\{I0IJ~<^sAB,92g;ɽ7Cv]w$v@5KWgG|6T7&U쇃 6pz畭%@eqlΐ\+[@[1M(+ E<:uJۯ ޛwg"kx tY-#XLphjhfPigYZ7zXZִF! T]ŗXi%SWoN:Z5ຬ-U1ؕRK])T+?;)gFo,#zύzzʖÌ$ɱ [Y@uo+)U/Blb]w;8BˊhsF(;"l(HʯXe[CA8J.6nݓd \R:"NΝq8k,> Wy\J̥e vcJZ";R=86:c"CEze*"a;K78`e0B]bܕtE=%8S938 '/:ptf{[ܡwz0GhV"l(jfWɐAXoGFt23D rjDcw!!{RJy5sG> ^4TNS̠ݱvɅ#<u9y%(z7N]$˭^ b- bȇ뱭BlZicX!LbJ<]+ F{AGy_K$Z^w:ygIJ ŐgeJܨqBcD|Jَ4ͭ@˾ 2ź&$ |H:_niBiV6}]t+[`T_bI )UhMPu\~B;Vaǯ6Gt qLV>ɾ> {([7n%8MNyS'w`2"K ˤUb@v|䑘ުNAU`HSP|7~2vHe &IF dAkf \~WKqe2 QVy:T#}cઝ0Rۼޏ!>@Ji8Z)>>+.es~[rSiQQ=x6i?.1{ՎZZ7v{ @ W A AaGKg6x(@b <;"æ]"чͦ^9 r~u3I̸OٮJ{8ffkVYZzFtݛ0n$ipxq t4= s+Jt Pikgh脆oĪ,[ {V$hj zo@?<)`.en]N8_ht.clճCǐH@μN7P'DNABUd@_qhMv 00# %'Tiґl*B홢<.ɑ tM` Qki)yunRQzc7%D:H?.X^iqwmy_#qSOriC*&8pY-gBeD(ղ.N [+=>pt2sNAUtR$g? ]Mt,-VsXxz. my7!.́sf@ 2T>(7_fi2I,Bv4* W y->L]b '(r˴-h/yZV q4|]Uv%WEaRf^bKfl?ucgy, çu+,jb/hn!w٭Osdy~ ҽOj2 _ՉI`!N[ĺKTW:o묪o/LwތC xJƀcq!((A&,+B>_m'[;-G;ndn2 a!:Kޛm1?FnTCZ$ŢCI2̴LdQ^ wۄLwwSr㖈)"F &T1j|>(h uDBo~J/8]3(;Oy s*|Y+QrݔY@wdRQ-}rуQYIG8D=}ӯe۪6 RnKMamIܞaP_pE}_[+ea.d*6IDNې."ܴ '>']8@os"'KUN߯Ԣ'&l,_jLi }?`%vri]0-D闥s۝W1'8dʰU룚 ƻ'뷦UdY~mYdIpt[ D5lU/OX2 W wwK'}96/`_,KJO7<׎޲}"c;Ñ,0Aa@N!lVI#\\F N~m{`AiO#3I$l? W\LP/)hg:IfUe4l(Zl+0L$L\R%boc>u;#&D(䓮$K攢oQ'%;4=[|+OD̰<]I*QSpw LE7\UQ1Eɢᬗd$m=_`H}; 5(*Ak@㑇T&#3< RQZK"tv?Ouؑ7鄚 m?; K-0 R "9ʵk=eiMë#C1ERMB3 ܊d>Qd]4 ܥVS1V` ɕYU*MGJQ!.BziXkv˦DI8iU}sn}<&<}c 4k BWu^!?l][bk~Lԣ% \ZjH3=AS,a/UW֎+TCYf )n9#en t9y4TTwvivקP^c{=@-G,=DJ,+A6OqX~{Ͼ'q P`m3*8nDkw@NA4m~~4d@6zIFE}sqEB&/iߘPZҀ" }?ċmL :Zvt7;nƕsڨg00NS"X\%m+b[aj%[S7,{F<3}E^gC,vJNdhL>dHp;zݜ]YJdb^f/hD SPa8D{¢l0Bnt.ng$^ͧ^Y( 6@}vW+;0*]#&Mc̀tL"9]=Q+`8)q}~Ok+[:=Ȇ|6Pnמ@vԳ,^)+̮I*sӐ:B|2eo1zz)kp>Lya;g}gLgCڻ.u] 9%Ҁ}\<Azet E֐.M/xCwV+FxTi2 ;NR Q-/U93q}F^_&ym=<w'Q6ZB>LGo8<KS`*vDvsjw^@b.jjrC,6r3!NhY'%3Fk&=`SȤ/[pAE%ߌ0bI̜0h69b W2-L6n:B\c)0uӷb7Q.s9_[ֿ6"y\s8I8V'+%IHZM6؂h[E_\kVw)8t d.}[<^/azw`գsCMu>9.E}!Fkj1K MBq3t4kgm(qq)콊zVhʵ+[Zppr[R393{{ ~3͸X!=i+2F!ᛞW_l!; {Ƭwv2-5`@48`k:'-'HA_ψ4hpA>؎Bj>a^#eJxC1!IY\:À6><}%| xAQҫoEE9#o+ 8NE!e,dOw>kn kU vS$P*{y@qٴE/EZg&M{@C/U,jyF)Qg%^ԯpf&XSS\Pn@KdtWft&De`qAaXK&sn +'=_*@g';!&>@e9}ߨ-rR~-)?)4J\%^z9>.Zh/H V"CG0Be!BjAc&f;jV:%@Od"JcKqT!ՏڽdtY0{ʒnhFUoCwޤ´D$֣} !%RsکAKw#nCo(AWdaㅮ @PNf:my;GEkL={#X7 IS(lɛ(R0xyF x> $?Q"j;Yxy KSAMTr'msZq8$#Lobm]Z$(Yhl9j !yFؚ᧗0[U{Y pթ1 3Izg0cʪ F7FDS4oP4JiKEGF@.Qa,mn9Q`E "`FN4 $RLV'afCm*0}5JT_qj/=g2@R?"9YIi7m#1*>Q.8zkC1՗+%jZ^lf_/щ6< To'H)'E-S!@Ʀ?eakgMa>K̓6=峇)*>O$%#0h?J'v ?sL8G.6 բ\,72̎R&F 8R9PW ?^|yH\1.qH%--0v_Wk>xːl+ZɷFx5i \ϱ<8=fgg靥]U;b] $@o8ͣ1:d|Ce )Ef+Vj"NYO?n $ZÎ1*zZ68"ѡ ! 7<r<NlQnF{%Pᶩ5>=gmxkog:A N˽h;=w\<0t55]6 7>zp Z]Riw~i_#NʓnN AֽnIe!J|>9|_90Ui/ʒ `.r+R~8{ Ss_|sTJeZK İi niphorbO[դOD5Kv7X94` ,\ Hg[1%D+{T]iYjH*ZAWiF\Z0n̶L|$ R 4ZL1,&HPLD.@'ATG#HZ6v?}um06/_uq>#6|N@E}G3Gd/zB8/TDڌ%Y.'Cgv3sQ 05,C! q w뮀i[p(&ڢ ,^=uggX>~?wc[ghC{?8nwh0Pm' qA@ ƁHAI_n%s, eBes}lxts7xnT5&l8FR=-X=Qz -{ 2/QV6y04r$_ԕuF뭾h/Mg0N ZOejq;d[#2S.w~ާ@02A}:R ;(^+\ r`'wNjp!+{y+a H&9lJO8T"SHٮ7Iùzw+"pim(y+k;JƟ'ۂz%|S:G moTv]wU/wP~”ct ~?Z8Иg~x) ȯCpcgvXiJIj;O{F5BG:ie"8v N.f''^q6:Mޫ}|nz#Z|cZ'';:/`,.M'P^"1_p};C6hg-ן cmTeP*)eo/'q+hI=2AAl[_x,2tɏ/֨傎pz{)RBiNX @4,~B)О?`fJsA(Vbv&]$-6q!KL7Q:!oZ_j L1eWMzp9<a9jUUOʎ:^QfRJ$t.vDre"qe#f. )?<SUEq^`+.`%21hUά4ɔF5mpOoF!.:M$>|EߏYc1CtX7xu~ۤ]ͣ}4] f+"@0m'EOI3$TZ7 Caܼ~Zߍ6RC "›tTrWCd3Pc>>Q6Bus [tNKCaͫ!!)١CQdLD~ \o9Wx&0(s/{T%?w6.)^>&S@9P>S.&/9;U0kQ!y VL%@3@ C ӒςdчL^EZ%qxIp8'ԡqí<;m iSa>@7< 6NtFKק<[׆(qT|s/^B`-6ǚZ|t=|;,|so׾ ۮ2  Wĥ\+IwTfwܚ%XŴ580y CS{y:/+XD1:XBwyWCBɩ?zTRo#a$, SZ@yR2WT$$&|ҔHZ>oo6?|Ba +w9{٣NBf:#a!?=-Yrݿ5Oņ=kun΢vЁ ؋dc%P7(!J W \ [Mփ0ad"ݖhmogݓPs?M@zsG F!]U! V L^j׮ [&'ì ^)`zyz8| u誀G?>(d6ۋѨ_&mA./ƿzU&Yϴ~:M@ uiArWMnpvD…Վw_wX=H1t_ B e<ԙ(!:;y6Qu. #"7AN;pG80g=]~D9Ly~Fbz뽵cl՟xL}3Z?CJ>0X(x"ሓR׃%o[ 1nk gU<_|az1L}#BDEmv}qye<{.G]Εu6g2\߶CcPvDakQHrLԒj8_ 8 < K- y!Xh ȈV@2pM`;OeFv=`rYirlX.2'T: 5, q@B["hr֋pG9Q WZ:0]$ʖk '6.2^%X ֿ;ǁT Ѝn lvQ*@KԎbITQ&H+! &B縓O˔3M2wHRa<`qqV2XZk+K*IAlXrQ Ƹ4n>Ǒ!6stpaS}+$DxS̨a yh3T]5C ۃn+ɲ?c;QB+1pt֍\u&8Ց,[9w9uDd: ^wR l»Fi)P0NJhyT3l]j][ijYP?A䦏P2*}^?1v*YAx59SoOom Sa+dj-QJNtШ&P~YUխMK+HnݤLB>FW?XQ R͉v s`0E"";'wPN:kG;9Avf]3\=\6"q$so?2\Atrrj80ʲq~ج/WrP=9ZfA/# O@1<!7KgRPe1ӟVw!㨵**|'Q &cZՅf 814TB)syAIсCrt0*; EZ`_t" pb~ LHq4.DŽDUܷ~kU&iaOdvq3X,' )'4*_kM% }}ئMc;l X"[ mivҼ'%!31*ʬZ_a7g/5<;‚P+_5^ڰ׹tKfƂ]]ǔ?shffH;QB?\ժGKdq Lo3 EYFRyXX :Y_A1;K |GЪsUԅD;lY@ tѣTRMaSf!vSdZow!C +-2% ^}&JB7ucV9'W~I:njND ^gB9RmQ1˛-~IQnϙ#2܄}B ,N j<ꖽZk ѿ t{gQwK:]Bq_\;L/L}B/q6$d wLLv) #WLjm0 VkC]|{:PFZR&=7U X,r]cs0?KbfZ' TBcfs@RV~`Q0i7N̕4aHщQA[ }^ek8cT~&Y1vL|BaM;ENfC&VZ`W#t#lR_?UskHlI(* P vB6lO<B>uꃾɪ\!m_,h \C"Th[~&k(Bþ54n`3TGc@MXJDǔ\!W'qFh,냎1WA& ?5#r0NǎlnyA`?'_ZL.#\i hMp,1܎BOnWB9?4";CڍEG=i ذfsYS$̸-eDLL<["hw892$~?ۃ~%3$o Dʄ*U/3qق.)< Ir1U=v_|\YAQ[R%3q)a mӁ =$SovN hv_̯߆qG6J՘ lBm#Mܚx؂dQqIu9z.^pC<gqTy#\VێdM+\u&jbXN(Ӏ8z/vQFgbs5a1 +>dkN}7ӥw \ұ}a>A%Lw|Bn )yMduC2"_qTm몜@=rVlp*4W&{3Ni8&@ur_xtt#z{< vU-zٱ:|"[&ڳ'cG{nz Kj$Pq˧NaG갏C?Go3T̮ߥ^O&h? ۵,?ASVB%?;b<'_=EV;p;` 썄A'g {Z%oii۹+A[ŢlfV΀=ɀHɤ ;r ̗owcWbn=#J(o=>q+J܁Q>L"s1a>|fx?Gl!ʑa4 #G=elZՙ0ϺDq[7Nmy FQJiGh::6,ɗSbˀB6xGrՒ )|k8 shT@Q[T%,e'tē;X;1J |2VH\/Bo:1`SW'hM1yXLlqlN({d"}bc$k6hIRO9-yh5zuGF=ǖ3ц!{ ǍʁőJ =0튕lxf2G'> tA-&,!5hwa8wd^( x>˚{'/ˠ1DEEa o_iؒ #Rx2*:s&;& ^ȆBsl{ʡ1h܊9"ڏ%xeǽ'&X3F-AM=Ih!=.D5vQxa?k^Rq9eob1ȟ8#/L.շQ},zIjw<)#.<`iyypKSr l'&4$>ZW%e,QɗX5+*Qn N2YԤBlLI +էV!ߑA}M1s(L=_"8 #.F+6*Kk`:-2_I4󠘆'Q]j5U: 3uR'%)ddzU:Dunntʬ Fl&j\#,^G !  z&sRj E~6@u#uuxV"I)9|;%ש,ٰvr$!@yqeY%0B ]q( lLVS&毹[9\Y! _lXB;#$ ebձGg.2ؔ/##"fuRW$<7ZT>_=0ήNp@,-2M 7Q,[z h,7w$"sv -rX5 F6=uS'x:mSkAz!V]F;Iv$力l)Ha7цM񾮹zUiU91b6 Ggr‹_|_'X}hR*:tbG'ۗJS[=MZc-h-4'>N(YӔShu*}QDbw*Z>ؑD0mexg[Ɖn{%h?ƿ,Oaz7\nņH<̻(m~_8>uyNN>7f;F2;P*e'SP:"ljq L$Ŧg &!SgK Ch4X)MWhI aYlJ<V56%ʗ"d'TrUJ .VˣlSHPx=Ro\v!%3,V'v.{4X+]ѝu@z%K)nZb>?EBd=KJADzݪ -/|P,d|aI? d{q#K"%g^ ba9]=v%I$;:Z, j_nwE'vU,&,ow/+Spړ.,e3K@{-H5cK8A 6v'en|aWE5Ycb%If5UqOlx*egh1nrY?J}}ݭK͓^ kpC8bSߡÞIDЦ'䀆0=naTK3mSW8Pp gSdjds~D#Y x{٢b]r/[,BrWE݇K-?WRC-BAfj^~IW;qgA}PDKO=+yM44gt^B\dސU].SظӫC\S_Hp.;u,ux7XzX0,T~POvҞ"=Jum8K6،homT+XZ5sX~/MƗ(/a.Du,)gv%*:HWjblΰťf}S~H֪}?ep>6AMlA\xV"v2P>ϧMda|Hj&sy wD*nUc~& )4-fVɍq8CIt?qTy=^4mQp6&(}l26-_ ~y6I\d-4^, 0iR~]>h|$xP634=l{6n<4cNYzo@NEȺ RBs?qE<푯8=8u`:ǁpH#e߉To޽4j37WArQ[#~eZ,3TyIFA\V'꯵.E5N*^nY@-}E$] ( Y'˴myۡ=BRH`o>].x$ À4:{; s ܼкC zف_o=Mճάp֌:ē8bקC{?|nPf$ͣje/H,BGe$|x~B>7T"K' l.[v{1vgXn5c= *պi "hYTPqI)}r߽v3;Q|P).:qNF7 )Lr/U6K1{4~6`QK7h˅VU%3.Ԋb63^x ]\Ϙ\e+7_0ƽ>.'ZBFU<'.?C.&'%CY/\N؎>t*z/fܞR[CG ŖZCJNKq*$#,8v P`4:1񄕧o/b闂zэʹ7m@ Z`p*]נlMƤGũ$T*4Q"b{qkh%'},*6XMB啶 /r z euP jEx;٧F>Cj\N/nYUIlxV^ۣ#&̴/X 5.PpZGAN+dD֜kD4Jq^jݰ'9&.̎ jI@i!vGh;JHnAv~#<8Vu&ӱbh/tVW :-.Oő\BPėmcURzֹݙ(8a)siz)sM`]sz-JC]8dȽr@gvEjC}ɫ™ԭ3 j+.D8K- + U+&D_S)Uk+j?DjXnQYx9WD+2w?(1hHF ^UH9>w.R  _blXϖal&ם/$ûL`s3),ݸj)o=[ѹ%Bwh+`boD+auIdm2Bjx U-u}ןaK HD`0 Q]|KXj[G /Xo(vJTh$2?n r4!\ ̀szW,i0cB;bӳe{;Ws E!>~83H9P߿[m_C>JhAl_|{ݭYfnY%3RWN3v\t81o@x{1A9l.2 vu M^۷1Ϟ3i<ȁv+>I/7T܉Ƽ|7NgZ`1w JG"e:qOT_aE,wJy(\,a'LCH_b>M֡_ao&F=g"]=ޕhD8TX͡ z:8(:L)tf+jr$&(B hd1kIբS=*[&h0ŒK_ubNrhJMBwB-j-~Yi`qN]Q7#wv.UHpgI~QphxD W$) 'kI b ohk6ǖ]܅6RV*:ㄛ~Q7jR^.(Td}s)M0"- z ~@6 Iޥ1B| UHQ*8P-5d p=ߊ*gkgGx,g.'b# ,&It?$H GюN3)KME,= a?k! l;!٬47c8)ԙ\2xgfN0Ph"{WSsX:O,PЅ4HꞍ=.m`td/z ɯ lKgYZ011919cbc39e9c108408c02358f225980d75ab8e 03db9191788ca871f87545107c977ae65775a377 053ce3a014ad6bd07bc0f71b11c11a0d9c6c5147 08f0891cff2f74fd97fe4f8d9775b4b780015337 0d5125aa9bf59ed986fa2447e2d3aee33bde4acb 13b5f149a84a5ea9824248c6b9583897afbadddb 15531358592c0a474aeea342865321f657fd9571 163c6da,12913489b3caeffbe6bb659044e356dd1 19995d8ea92c07865e6088ade6f9fb5cf5aaa70c 218171e56330376c51dbfeef1a7a4a46a15b7af7 288d92b95fc5592e992976134734031bd29f3188 32a81fa25a5a0689ac405b4a2ed331305365fefe 358204b158ed33c88ae4c36c3a987ec80fc61c50 368a9fd2f818045cb6ca3fa116d3a9c45b918087 373f78a2aa5816afab1e3ee565c42470fec26c45 4028b5a92ba314841f49943f7400ea672a8df6bd 40809a8c999f88422b06fef7ece2cfb900f8b8b0 441fab4bc7c9e0d12209063e73e87935cd705669 44baec093d30bec4af6ab8a6da185f226cfd552e 4a59048ec11d8e64cac2f4a320357d16378fc5f8 59d01a45f4e9d9c561d2d5daa8da103e8bd4ebf1 5af8cccf18e71274cfc6cdb4b0cae797ed19df02 5efbd0ad50d06040cd115e75bf7b2ad5a13499f6 644b5a9e6dd21b4e441c2e6097e5058dd40f8d54 6729128b9e947d81422cd5943086e33f8a29a7fb 70e33af90bc8cad54cfda6c5fab6010b0966bbdf 78fdfa1d3510f6708f28649e4043efa157ccbec2 7c8676d952f39d885f79b6e02122320813d5dda2 861e8af102547c97eaa0e759587f9f2471fb2e2c 86245ac57b6d468386d0f0e69b7381a50ca293c1 8c986ebe53c90f052b917140819839a9fd6e7dfa 8ebd2a5a70614ce4e9229427fb522b89f8c795be 8fd5b31b098b2daf6ba09bfae1a3bba845c8a1d3 99a313f1db1e1572443b88b26b1db53bf14520a4 9cca4ba902943d5ee31ff8b22ccd0c5cf5a65d33 9f66bbde6856128a0ad0db51298a2d1b332c4c9a a2e4e2ebf2203564b4ba5ab5e3d931f9d4c1089b ac8ccd536631687ce38da8c45ec385acd553d99e b98e35939ec48053f876c38ec41cbe7c1e7082b6 b9ebb21b8692701a9655cf53505fee30286835a1 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bf481c6909f478273d1a3cc66509c660dad781e2 c6595eb84f7f5b6ff8cf51591a134ede1855866a c781a5f4788893bc9c14b49b5202d4f9d56d9aa6 cdbe8d750395cc30524b32744f4499aeb11c4fd3 cf423324593902c0b3d8f095ead8fd59c8a1d3f2 db1d490093e07a191496186dd38b0531eda178dc f1c487823cb15d159b96f5d7dd3ae68e553d21b9 f999f751647445020771bef2d8c4340ad0579d6c fbd7e90b167b5838523c263af55b11e7284b28fa fe121be47f872aaa5c07fa25d7f90fd2ce53986e fe25fd80dfeb17557b0cdade9b6f5e961c49f210 fed27f8711ba755d19fbcf708a889bc36560d3f1878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 bc6f62a8bf3983e1ad01777897fdc0de1c61c1fa5a8c48ffab33956c7722756a0567a14170fe7ce2