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 ?t i SPARCv8:threads=2elapsed=281.740cpu=529.672gc=14.532factor=1.887zXZִF   SPARCv8! 9]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k9QHgpR4Dգ4ƴ(ۨ3;~0- Mٿ_mL b ԠxJ>|'k`(*ʩuLA4Q4lT 5?vt4;*fy9LOJdʼnZ$j+)hSƑOF|:`GΜ]!kQ6M}z2q̬)onjLi\pANWD"^ZnGr9Fݽ~JRYxsm4v )WfB]Wr!|JWqfE[迚mֵՖ⦂N]pwн\]?xNa$ws.՞Gw 5F0ַ&z K88nAbt<|^ 8`[>`ƌk侪Sf\aMה:QN{ 6fqnzRbIK?S9 킨=fca.$&ܤxwĔL ce%+6pÕSp$摌 bLKUܶDX J=fsf'oٍ~9£u #T7[Qnw @D^P\++/tv@dnܟ2?ʟb| ?eрƴ̣f޿*jঔu_` 0o$a#ܺVt%L-כsڋx>hO]'dd6p^2`U?dXjZ+icm><-󺿤Y*.t:0Q:669&yA(91"WxLZFٔmǝ52kr9Wݾ61B}Kݰtw 3ЂrS@}'s\t?Z;d$? dhؠQuysBr_aIECZ`R>1Rۅ䧘:5nb $V;+8gt7OXB8$Д킓hQ%!8;+fetOA60q'2,5=lEr$}i5 Ѳ1 Or JLC('X N`P{yid]%Q؇'t6*&۝'F'vBѯ!$,VdV4DIb f6X/eo]w$djY(W<\<~2~ow{: Sx )4t9r(/8v1LF~*ZNflaH؉*VaӸfDA6`nBqynVrPwwٟzNLf ԠWr~iJT$IdgǏ@?9Đ!Q P8w ?c~0!VˈJA`?`0=imzwci>pa红_4`05R6|'=.<;ChMsFB `*^҅cEBa6av/1v-guwzzXvܴ45 |gB<4e,»bX܋m_W )M6}|ͨ0dӊ=̟pp[MK!Xey O^oPOor 6vj jXiGL-+>hLwȷv `n[%`PsPOe\03R]azw*wt ^S.E٭|\77y}ۀM5zS7D@v7ҷabFւM &--^S!:i(dcc$=Ԩ֪Ѣ6GaϽֲ6MO]{Q GI:qpw9% "1ȳ'HiztEOdN͕QFl?+@.7`DdTloh͝]_]US z6f1"%;A/p0Q / o9I@'uz"kU'=%f$P#jLgN_ ؖ|m\ 7>~l>+GC_.7aqR J08TM@;m}8d+gMy!-twV;Vכ5K"tUJ}qm# ;2 ŮyiYv9˚(*>nOl8)@*_I__a8 a|*Re7r$ڕd|j0eXPǟG;!|7̖q؅-TOlV/yɝ Yso9cxE_b:[Ȗ?3[lmR#&La DiUjv Hrab>1$r!yL-RYy|}IyT^{`Z?u^^Ryؑ2/]jli}X(ƓL>Z8 $6Zl7{CTW,hJ6./VD3%dՐ?WgH#7!|D JYE$ B)m Ǧ!#t#7Jb i&!KЏ_T*H n]2r !GKwjٞ-$83^XοrH$@Y5hüd*zX;E/#+&f2XRiAiidCޤza|%85 c6C/mU,n9ALl5Ȏ7$^\u b2Ɏ%'k$^ym.vvvHHǤ-wBq.n 3֡ ;~)wN6dx-ub[=D+5 )߀ou$w'&)A̴T0orj,'y<3,&B43Qw_B |yLhq+-@wBVY6g02UW> lȁfI40owMPd#iմGa]f~=_lh5~&1#[J P7 ]<_N?v 0qMx/;Ua|pY8\5'd:Oed 'U7&r$u״zrj\s:*4 C)#E#i3}գ>kVo%Kpsr%z7)vJ7\6uX|9'ş B-Jl ؈c7lk4rL!=dAKmUM~H) \L0ր6qЃz& ԆXެfF z OR6ENոˣhf)pkw©Mr9 {m"-צI0#,X!O<ld3V y;;`]wtE99\u,!&-mW@YA9G-ʿe-20G+&*@C*vCqV[*fUė8AXuE) qMnT׳ϗP2#޴_ܮUk==3yKiYN:~㥅Cn =~E({Y!NĴ`GҞ9~d͆+0|mlG2 -1$< y2ӲNMA'պ/ܥY©TuJZޤ"^ 9*[P@`)T%ws򋅝3yë~Mqzyv/u3=|gCy'V4YU3`6|7c/uȨQzwė狌iiΦ\\AqRƃoR]*O~jα5@糒5Z-_(S0Bg|XE[<(2Eɫ8CanZ0P5J ^jh(qGę83E(D1l @.פ=Juv de]uX KӠ[yM $/ pKKAō]CU (Q:Y!Q!+\uCpU3>_»$;I!1vqYY"OP#0"A뭆 #ѓ?CQ! hR7:PeLlfEc C='Udss~(30R#ZL(Ҿk$#veZ$cڄcAӘ?Kp<=X[ɱu0** m|X!5Maw4i P~ɿAn @3)@UwsuPk2#Zl[2̴w\sJ sFbczYsrf겜J$]*m?ڏhȌNpSm' $.̈́Nz/>7(-H9~8KQYhjf2i5y2 : Zn0OJ$q* @QqMu1m䨭#/%p' Ud?KI}*3q|:dSq~U s YպT \zY쟈hk-'#0[f+ZȟQUJ -*'fxO]O!8˂4Kua&3rFU K }]K Ɔ]xzlzQKl'ȖCk)Ӊ4&rCwc[`~`^`$&v asDI vR?-XϚłj?`ϒ`kH<,X =. pߘ#$O#lșʌƙtE`LHmyܟl*D?Tct3N3zbq0>5]cUO?Q @nωA@h_orJ( ?1Ԁ6bLaL6\X;2SlpKL94/Y{Ne9rKLK4 P.tIĨ/ta9 E%3#,'\J_Q6h E)C`=pLW5;oɸg:|V>GrgʨϬe]LܻM({TJz2̢&xHOPgGe. ϵ.63r]ЋA[O5:V M@m.<,%o/ hw|:.>aٻ4סhd2NG3bn:H$\73 卐^LRJQZ?RV]4ԕʬ`SlѮD`utY㥢AjJw6reΌyRLf#EUpU8 FTk?Cߨm57; 3H ;?zb·ظc{SDuUtp6,HA\m (3Ncp!KFbUbD],=Ym=s"H:S^˩(xI ta6'R?o-pfqV?Tִv )C Ck CZvڢ`y)q}!hAEPeFjKw%sҬD$]i %qGJq@c5:^ꊬ+{Cn:[4Hɣ9/H&}bˏse8tЈX"m#b0t^.`_ I% p*6c2 ݊Q\rq)\A:&5a~naAsux[5G}e.K܏ή=|⑮̓B<$9fN=P Y,>a3G ={) 7tOrE|M1N P0Ya5$g՟za < ~e`a? B6~%3hCnɟx f~) )'}'dn 4%pSLʥv$fHrǼ-Pq|V<<9j$ve C)Ի%FeqZ]~ӱ"όTZueS&WƲ >Y U"(ew'I֍@U^JMhƀ2)N684C? >n1\(08VsqhLݚҒJK$$Y_I'J?M0=Թ7wI>'1,r}~ɟ3`o"VP0g1եdr>$cYh%5F3LnyBUex,o ]͟nf)zxqwj?y&=SZ*-)^q<bB^'@HMW%t 88I_E`)@os7frH뛎6׵Jl*= O"T+IՅ% ѢAN]^^hz ? :G #,?" l 꺳sɂiM ֣WdpɈ^UYp5";$G`ݽm‘Z`ۡF[COwt.)o>{eK,,qxpo/cc'u@ FCvk|}%]k.,5܏k.l!ìzF_u8gCz.6C t!agW3m:4xA@o}M&وg 3a Bad6˭ cm¡u^Pɻ(@E3E~w[ÿ_f-ym..6(k'2P\\d$dMD-`V( μ >ii(SR{Bz}qVMWgY L{m+_6f=g`!?k"޳-wr: ǟqM4Eu5k iMɥ-9|9W+NRZq/& \~3ȇ\A"Z$&t5R uf@ V#;Iu<˽Aۆm yE߷JCE~t\&B`^}M$Z_MTԁA+ڈ5:g. ի0X0J( %H 3sg+Bj`tq 1V]#)\uӗBM!À Hs1YE1!B]"a[`§QKMI.Nܗi)1Z~$uhSّXN#=v6f.>wSqp0]̍i{M[ErΘ94BaR'ksKT'67ANayצ\a1#,֮jsiusr.BF089=tE(5\n]g`^u}S -@f}DF t>,GBp_v}y3g4*/~?4Vt6Gt=&{̨Pf]H\_Þx@y%4u:7T|TSNtkeocW< !;wD7{&q1 lY9`5V緊,w2S*:w\;Gf݇J%CGLk6‹-{W/ "}WXm~H$7kNURThˁsw,{<0| d)@cN/9d XHt߁Q҄%'RN"&{iP;}9v, M_啈S_Oof8o)5vYQ憯rqbAGYo =$|R<έ5l~8xe^-Ô$9"7n}|cd?r*-`[kxNP|=^]hO ]O6'LE:WIrַ^ѳCT|*,LU۷MWdK:1 곩uۭeTS /( R n椓K~*(K!3`Ai/߮XQhKs{ ,ӼRm`WftW Jc$vaD}ӄ_ȨT ̠Z`T 6fo^L,X 4!S\NU\=7wmp).u(`Qjg؀+Si 9_@Gh3 tacue}\SvvQE Aqq|~X a^b(QT#乷r#$UOxZ^-ҭM¿T'^΃5@-Ew/-,R.; t;RW'\?h4`(~؃o.&JKWrZP^ڴ+aw[E1X=Ͻў%韍Ix3Awo`ܳ\L '< 9g!Hv3pS stP 3q':$oh)!Odޕ| Nǝ$.+QnE+"߳(c|38_IPz\M@OHRR>hAZ9=洑%9OlЬS$޶?eGuhWx2JT2B0Dy,w.!BJj 1*+,< T6iDԲKڃD2iQ2Wr);n⡫{G ދ? ֠3ъ(DJy9LsӴ0:d".;z_&Go5pzO˦PnR]m~+0o(b0VǢs#.;l7Q4 m\LrY,K;O9e!G ,$Ƅu19o^u6) hu8 ?Ѿd/cZzf(KbR "3!T`U$.B '7'l8oϥJYX&޺ީzGxV'& *zWS"* 8M+w0tdJz׼|2w$OxO\VRh[0W˰9aC ]iyg5."/f:_&+>;{`Fcín^)e(ű;*~)8UD8CE}V '_b0Jjn VrA]hPG}7.# OЎ~DG>,p643c/Ce{7Nj~ W)aemǘQ3y e{xAYdAL.?Ŏ&nI7.g6&cꃎyI=CÏX AbUv`]WveAgV1=[6~_tz5ABR6ݐAfy|W0D dn+:7#4WjGY*SF>:}u9 zv5Ų>:Z#]L?)Uֹa5K] 2BblpeO'ĚD7H~O9DfP[لU-+=&cE6`w{%~A +b6 ok֠`4lmj $+#24uDGo`|2tZJFgqADa gk#ݺ^/BꮖR"Bl XHкI3H)ƈ_ܺB9ӏx`#^RTɥ֔r k=3~lf _L@<ݧ"PIVL@q?!y:ʗNWI[aS1\Zk ¬\ BϱnVНko)ha46QP~2X$-T2#m|auZ9\gϫ_4s1h;*B T~͇p!7={켌$e]E4tcwP)͇1ҥŎXa[PbG) "-4_(Qhg|PN{]_F䲻G6 lժ+\W=2`ԡԄ*iXq>/MqME$N^f G*~˖D^|- )F75.K.zJ9F33.rѥ)#J؂'g==R]`IKY8W^q4GKyri lP&C?ZLf9Q;׽WOv/bn{#!a`ha%$6FqTM8~Xr7Ҥ %3T {5"g#>T]̸X Y!۔TLa괈HHиSd7$`l` 0]C%N;xVrQ>( U%5SYWg8 qھDmlYv,2K鋎\^Of'MÅCӽjc]4y(2\&-@`DFj+*jtNbP#7-YѐrfWKMmGzd^CA+AF5wSt;* v#Z|m5 /x{H0)pv֦C/nOF8 ֢Jyz\."B+\ fs-꜡t<ͬԛ J-)jp*؞ j]ϭTVL^"ӻb*ŨT`Ugj"ߒxhf":[5)/3Nghgrk26.T[z&x4!ɽSG6"UqkDlzlAim7^?ߨMJlz*4XK4iЁDٮKhD68 j┟?؉Eb\<*_QH8١͇HaД<8 qEQ(t4B +9%?fu{ؙ8]#YM3=5!?'`؄uNʨ >1sj㾨 D_s)XP[ceu;i"cW<;e|[uIBy҆R P &Vy o#0{zl&̽^umfec OWP|2܂un H0ڪRuok$ނwEƞ J+f\tx$ {tBgg]+{E?1p-Ha=r .>SkV-%𕡪-f6K#E*LLdB-Dv"rk͗pZrQ%BՖ -f|'KFʔ}~'Xs2iDMf#RqU@&Bw=bJ=̴u$:4Z.Q%>s]O >!vc^D/FV,mP&oܓ2jܹk\^Xп&ݒ/\=%;I9J"d \dxC7[Z3OL!*DtN_pD8~UE^>~U9M'T2eg ?XPhQ**TҘIrzMe,d{84ۃi!?u(}޿J_L/Wcd[i]*דX@8YSh56^%>08CswJ'\s< fX;sF#Zz }TFg T"LjZ$'(v}w *siRpgӠ];[1Ek"wuJ+K˪$D,Y&Mi I *rbN43cp\tL; 8\5 ^f3juDa4gHl(&g!3{(y /C!ޒ]J=MA>h0{WPK  'p̫tLʢ;Yc[§Zȕ*-5$ܶeD`@p= ;v#DQcU`i6ϕ^څ!+y`CM@mtuV9b "ʴ{V>2kҥ谠9mU8%¨o?0QyPbk]l\(8';[V&<8qٷڤ)` `7cojwLxWycI=!/LT6KD %j5eeL}.Lv#a|ʅ>h%S: l`f(6שB= Rq,wAm |^#xmW#ɕToȣlDfߘ_Һx1E@u`TZm/䡞rz(E=;NBlI1.ѱpz'oJLJ^#n_6jnnb۬6+.?sz"I!{ 17 Z%z'^IVB^y\]V0;5?6p0x7m'#Rg¹ucsg}Bw|X2m@WY슃}_ lg|%b]~[dM'-hi‡()btDjnܢ|w?֡n$E5EC̰ &q7vQ4E݇lҚTGaƇٶff")%&i  ծɓxߠ.*+ $ p'JKQ Dљ\cn)*LTvxh>O_(K0> Gڬd]q"C\Z6QᤶIH0 ~kYGhU[H bPnzF2յ71+nlY:}M!kt1쀧6BYZ3T&$ nLJѵ I+ 4!*d𭯅v}Mg3ɑx;AHV~gIqtk b T^ \(w܇+✚GB0|P{M #m?)֏;eFʕT۽Ϋp]> v^69pC1 ز#Or 3㆔5G#]C]J8ܬ[:z¥?er1,Ts͡Ο3smeO$MtA+Y3N鐿re-nw}"d-k3/}6Ndkf'9*P.7 ~|eS{M W*l[,94Fa0YvK{0bYmg2yQDX UNMsF1K.>}up aQ,`wƕs)9栈ŬYWTd塽5DqH}yܱA*GwS|͟#rEW\ʡ(!$Rc$ qE;OX}:!rYSH?N7YW,ӘN^|>`ݠ{(oTj-шyښ٦+ !GNHie3{iqoc)fk:H6fBJ͸1u7VNd^uaDWe+T]d49٠L1{G.[B {%cqu.R]j ]-K&XXgB}۞!"]o&Czʐ0m{M,k[U'Мn(4E۩5W? *  D &8BƄ6B&浻=,|'NRmrԂ0eX6Vo<rC*7&L=>`W|fk]7k62DIL ً'mZ-QNjkѪ=]&F`by} F}F۬Ń;[i$ƶ@)6#C,׻vgrt ѫ\{4[&*zԺm :Dc>J,6̀h<םJ Vhcx*eCt *lEQ dd}yՁ$VӬ^~eye%##$[J;R31kpG%o1 'i$ϒűvdIqH'%:p` lxbI81AW]*Xd X?mvlAvGiF>aIB,$b,W&ZsA?PI56jD'Uh`UGnjDj+1*{U!=1c]uBISs?h1«]k-Zw8 "XE*o4]n}@wT*U^N,)(-$rq{J$?l~q"vF:iDž@ݴT0RPk֔Ɩ?ʁLUhw)8傒Σʐ G5=;P waeE(QAJ:-IP5Fyh ;c Oa4g#yJM8w;x|d ?P߃,ꑶ\-H9I&e'*0ځ w@) -O$ $2[/KYx ⭑j>47;My0i6-wf瓟 }pH'ϚT$z~A"a;NUGrFYVJӯ^¥wiærx,54EH%ԸAn4/W6?âdipԋ~Uk"ҒU`ػg3b /4W.r' T!%0]_HAa*JUkH]/@_YSmA]밌WLYڇ2BI/WEken#c@B6r;EZ? [57HFXAsSxGLq!k\}^t>hOK_w8N,XM3v9ld;Dxn>Xhh>+t r@uWf=Tr7Tҏ$Wh dܭi*3NL0\B'!9h`D\gڀ^Pdw ?e7פZҋ$/emz:fcTʭQU{\%%ekiKYvoxgjɯX$x>YCJ2{+umϼ@}?>d$-pm<Өp  |nǻdʇA`+&&VGC4#pyeʑ@}n;) ZԵPF}"r^G ,ǥ|=3/fE0Cb~?j 'n#D@({ܷۻӂ tMEYAM@%x (OlF'(t~,R2'1~uAcv^s †F Y5SNX~o+I>4%8;6ܟvg[|.G=Mȁ\rﲶ69SH4[(CR}NxAh Bj|,=sɚnWF/iiVmH:l4@}=ek[嚋Er4P ?%qjc5\bapuB ?(RٜꂇB}5Զz E< jQ~@h>856ʛ'=~ 3(9[<+qހ-a|4Mɹ3U֟;"^<{~Qۓ bmٺ,@Ip_a8= (z(a<ي)ȺzU#s36`Z'JBTAw5jnnF/ygtgw^/P3?~1; ~}玖)6 /zPdsZڋ*u,vwmĄ}f^D!oqS w^iKJ^jxX/q}Y^ib R5F0wdDZhCw<ΕDz*xJ#at+/ n q/5wpC˖h,ŵL4PsXNM+'inf ÜuhSH_r ܴ*#زMSjlhaRJQGw.8l2 a(P''s+Sw:+vxvK qQbx=F5=">߃uys`x DR'eVrb4Bu}$=>2=+9b\FA]PBd>Q֣Q\`xuay*p;(9<HoW2Z(H|ujqop%9v6 r1VfkeE&6e/nY$OʶO<ڗQ0eO QИT8N-B "3)'ga7$&3kK4V]ZdHx^jԌA?~zK43;ؠɁĘ+&FоT&\I Ҳ/>_p' rkGbB>˖'`u4D3vlVUDfc4$KibJ#jT22-y0*-ssqfm+'/#8hiTW{%`X#l⼵ҎUٛ&#jH |P/H(NȐY O d}PD4whq7馕8%q~b%Ԑ,`ׄ~!B$eQ:7%(I6#8wV}y @h"jzG79&#ezB8RըϬMs0S/7br%rVz<1qfYp&"|ʉ+5s GxJ1t*LsN^V:%b`_}l̜*tkB9{sH܄L-rgU)5W?lTcycԱLӣ6 $""awcvoXglJO絹fJl5Ii*R&pmpƦɻ*9CW?ZֺR1{ 0HR g>Gfi %x Ŏ8GCƚ |x#%FHVo] X\bQ="Rf[O4VO@: FK+d1+5dR$'`;ЅG1tz#jՆuGz[qP\`̉0Htz`%:{/ὃu{۶lKLjdl6A(ҟتo$ИĚC>`"6?#zǩj qW:P^7(_W&Bӽ]QyU!opݦA!Ajdlp$! A-!M>಼n%.nMm1S.q3<ćC[#:2c7>kGоXR@e#sy09jIԾy}tPDaϒ@>U4L:V,85av&.n}9t󏘰v |㮞,*3=%kTxcO5rd7?T6OzhG lH4L.ֲ LE[7My-&# s>B=!7ddUyk VqsaFͣEYސ6%8/ $Љ+/'.獚skReA"ƾF뫛eH4?Ka?6tjbA/mxҀ\pgc?&+Go ֺYY ֝5NtWPPgwEvޠ9pHN.@@ Ā1Ե(5I^\4l}\a c±$;m,۱7kz'5FwUܘLy綋:n}4ߔb!3*U !]2=πfRr60J;qePX<0omcԻ!iK{*hVYnZQQ5@ TL_RYsl 4Ud3^$34A:U>$$ EWѤPȮ,v@5w?_ n8*D1Pͮ*SN%Jl(]L_( gWnӕyꇯeW, 5eiFOlʣEhNQ wIMK vuR+SPn6q&5aRusӛA[#TA5ljiе+6@}H"bwΎ5!UMwK!X@M0 #wS3L\Pr`U/,J{9{Ut w&tSPc(=$̶^Dz?ձsȀWBTEP[섥w,#+D0o@)5=QQCBJ$P&0gUA7czPD-d>5DzzM){z[81qw*%A6A2.f*3U#eQ Ug;`gv=7P0Ȑ72Tefq[[M1A , aζ끸q-'GEli8l)$0P(?2a&c.k@*J`OīzR Rj/oӇ^yyم/WQ_d%l[ "?Y$X^-r}lǜpSkP|Vsxg%*| q J0YHRkڜ5 *DnQ8 A} J$ jJX?4ֈ9qb :G>Y r@w*}@ <֫\58dxS ^V+滦SH{,GbLt9[[~ZM' ꆪ}(:7/LX#`nך-/V*3R.]i!l ynᯢn4RJ7hnEQf^ԊT锻-y4k ~ oKry<.@%s2ĝC>|TJjwmRjdP:k-> 's\+;ۿ+{t8cQmt1wFL٢x;~4= HQ=n4-TDU*H'8 rEΠr[;eN+9O{%ʥ\TUlY T߂ zk(o>PQb0EӘarGt9>u|BAyEk:ϩxZ 'uF\?V&2!=u`,=݀1AFK!Chx ѴeTL.d2<4P"ou1g.&̈#p~-5M9ϜV;Q1l'llR#1{eEB v5}Be?2y$'P-e׹OCsȡWRx/GmQSV!ՃfVd Y4'zDk'̻%D1 K~⥏1JT,7 "R!SUm<E4܀^fV877-f}*9wʆ;rn_;2>zn)ħ@fFܶAmgsjR<ţ+^9O^Tu-}- I'QR`xdSL/T0F [(}GJწ߄!?4?;ιɢɗҳA1C:0:gú9IT,>XNm۸;?h";x"`h!rIeCe=)5z6heD#v,c J5j1l8|=証 akTfQ*)GG,P1iSdCdI +&IcmiW#[RK4!gekU'MHthȨ5]VpHޡ$>7Tɿ+G^WcEF+OV֋l';)nxI% ĕLe 0rfl70V6 @wc ?G8*+') DzrǙ PuwQ=՞$8(fr`k׾a#5*Vɸ{b@PTk%.aiGme:Wүsv!ROO/lBY Gk"@y_%)vC!64L['."ꝇd \W(;zH;彣>F"=ۨrfḵGmtJ5-4M믑Fyܣ2N-AShʿ2)HՅiŴ3Y;p@*Z=ґJMv2:_VKZz$ф"Yͱ2pдGpm~QU} xe2&T%^y``}ܘ|mtmJ~AqZ1qvk~D:ۿV) }޶2qW6%% G !z{#N s:ћS3G,/tXF'E!4Y#n:ڍ{[Q4t7@f{]ArqxSJq a&2ҋi_~lP@YaT&;pWב1#?QUtʲ^P 5n"թ[UjD8}m|_ HS>FW2pl\MO2 S \` E _7tg_r^<:fՅJg?BɡN5К4Ħ/FZPx.AXQQ[_t~T0f),D-5޲4w*;yW“+/PmTz?~J Ex:L?><*%ċ >ߒSw+yWGd#̷-: x\39s+2(_FnHQ>}R0eEkjBKcѶi&PpCW*cn S-% K`,* .}ݶl 9hkP?bF5&nT$Քr)6vb X9hE5a'GwOO{pT"܎"q;"(@&3vcG :낋kC"2,{Yp$()x7V?ԭCďMp|m%LHLԝUn?{AjvK2DͮL: (, -%d_DndDN20ᮩk<{B/IK7qmC3sl);+ lr Y EǞvץЀ&5 j#yPw1'b2<"}9wR*9 Xi=%D*v.Xg7o9AahZItGueث !5V镏?mzI8[agdžli(le#]]f[_5~XJK"@_qĿҞK9#pkoֳ0*ś7!!gWRO5-}Ϧ. +d@ctA'={=fpa+Ѣ Q akFS@*lƦXjnφ=\Sk] ( me,qIa.\+;E[Xs6UA2>8LJ}VЙCxMRWCL|\_ eNătKJ!9+/e+) ~]/I a=v~/)Ky=):ltD#ȀdRo LEmX`>`d\ԥFT> yIF*lFb`.