SQLite format 3@ 6- 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 i# | S]Collections:threads=2elapsed=398.553cpu=696.344gc=50.176factor=1.757zXZ # CollectionsִF! z]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,oՠ Qϛ a[ʇFzT%fpXi#Yms =^a?NN5cjou0"d&ǫI,ىHz?w80>ƻQa*$2ɽr=`?Rm?b&fn=8lD 7*2jU/ YgK Z Qk9Ң7.:Oط]o\xr8 t龍J;!=<]sI #nߋ+h]B7}Vԕo^E_x=<u>(gr&DZUĶ[nBd0J/KCAīja،ԛ?͗u)_@h+4r:C@aE^ XcwjVZ"/e&N?YbWh4#T}ګ_T$ {Rn\]=qCO,QoAF?D`)bP622]}1)\ƴ 1o~Pzwg9f# *5 !S~]GGx1 b,;5=9FGY%O!? d1?õo[~3q]ރ6,z1:bK-/`5Gk B!FeK0AϫueyVZ䐳GmN^&H_G[`Bv 6kƉOR @j?}pE]bѽ^rL;" )X8=;jS `SM A .LoVE ^N˗l2*qaԑ1Ѩaw~ltcOcןz>)ozoԂ "̣mݡC%N0+A\]Cv{~ÄXƒanMڌET bm9KHޓ,Ù5_bIX%XQF45ƲVp?:`'$L: q:aVW3*ѧnE#>Ho3|Pqb(Ym8Kys zgJG֪__ȺU8;6uSbG> iu̜4tCof n콨JAj84QMHqnFL U^0E ?]0FIh`e{eXB2z?Cv<9IQC^T.TR]ծӹU`q*٣;Z# y%qN IM0ug5TmD$71OXˉd˵oXʳ NdPb'xO^?q$+Tm3Qi1k l؇_fm ,ҖDwؒÉ/]LV:aAUInNZCO=hW0*EKVSe'n)$D/ɇ]?q~>H%p'pUgA=$eTz'Wg}7(b_g=+ J_BZ-a&b?.b݆nl-J)[N#rr{ZӍ*:E2H4a+:}=Y oET|oS:fD .I?j1.HK3)|UJ d#@vArLDYYlYYN+nqXPX$ҭӴwxa|TM]4HKm/dok <2H`qR=AY]by p@JI,T?:Qh n Ks9n6-auv@0r#Tū;^ZNbüX".;&7nYxi U2:v9iɥӚ82vT\ZFyS XT.*6l l1yC]b0B1 meCqL xk:OO_hHZZ-^=aS%[)ev7 e͒W 9;.VALU[NW;N!1kBC6e i( jARm7>V݁9COWaGĨ ox%Ajmυ,dI"Z)41}䙾T(0tE Ggޯ2QMi*q|*~;7Wڽv -ƫMbC[JBZ;hL0XG9:aR ,;*gtVYeu) Ҹ'|gVP bQ/-:Mq)_2̡>Rc u}C;x#slavo kQU>G{% QB5~)$I+v?,f$ ӵ/R(?o3094ÈAu u+ p9wfN%j^yRx3bhnǐo$v׵&gWejg[UyNW@DQ"Vzx8n&&{+pAe5"5ͨ(xZxuR-EUayv,(o)_yXbB85]V1R0v?6 "V! pI#1 5X)fXPƥ]Lekr tX``lՙ>{c_ZerdfCdK7@gA-;53QB4$>jJ.,3{?6D@Ǔh-9m2è)>J?{M&1(lQ[nK7vR'0T9DJ5X8м!RbvDy%{[z[ٗN!(qOK͝,v?|]G?̘ՊiB;}Oi)#gN?ޏ}.; Up(R|1^~3˕_K|)y?iQe9,o~Kg-7.W{URvB^k")y<ٖ.ˌfL? )|oN0AmGa1 +U0b0&@KlV8z : V:=_X]lJ%iKیٞZy02ؿ8駘,69\2//mXRQlxY~#2Hw^1 q]4DU0Bxm@Y%2aR<'xWCu%FF3X/p p2`pd$Gi:(eQU/LKwo{u썥3o6sxRX>BE(2shǑ4]VUq#fowsyy~LdƈA1N/gTG{\M8*Î)mjg퉄ў'PeV(=+^א{V'⌜,>8+OgdR~ۺtHVja 䫼b8q-I)rEdʆ[FI)?[>ax8=Oԛ0D/ j/P׬n]'AUzZR\lT5+znvMBY&tS)Q$}#K3_x0yW!laY*\:FnS{Z`A:Y! EMVb'x0b t 2&#xN/a&-꼨SR2 !$x E-fjr~G*wFpdWH7'/{pϥ+Bo:g\owP KP2|MXgH*lrf:3,peMdݕueyLm} /OkıPΉ] eY*qsnz=0@ou `oЏV"_3%՟֦bN&XO$Z_.:8F @¸9p OǍK>^mo)5I0(tT˫(YR !};}ɧ53.7 ,DՃ(='A3&qr:lpqzt}O6h%,p hPnWPAf<y *-,bFN:sm\9.ӨhM~bR{Ocz6 NZcyiI 9[pM^:ˮB&YgƆS6Մ/*R1!ji.VB 8ȝ*~,FT`0Vh/42Ȟ-FjpwL>COjgduF$| h E g¦LԸ#};\q&^--+:e4j~f| dj`ȍgFʅg &uرqq{_ e7师Lqqԅ)s7)?3 ]5^-Ej(YdM˹HowR5 C[J*ha_ۋj-tߨRՕ9YW+ p먦KJd7qpRA4=?Q*m*S5ҨiuhZrqDXgboENCZ4Gs?g_8K .V6<^;<6΍KUQndnHa3/N^oba1s" )zuBcBƖocaTpֻjOIn[u ioasↅ1d@G{PԀTf&e<-!'g%Vh..W3|Xۀ`Hd4h[yoQe׃_-+y dAZ{/Oaykb뭩&F gX/,r۰ZGl*coWW|8gslG{W h:ϙ<(3TG~i݅,vM0ށhj8(8\䧡a`w 2f)> D:3t?2ʺxDי{ߵ,+K<(gInr&  wpE`PLm(2_긹w~}b__ %3/MNnTuA24UZKI Zp%D%{0K P&2_YNhaɩ1:aN"ӹbS[m{ЙӸn8 ьX܂A8KgiPZFNDCn(*7߫h?ZHl"l So7S ԧkf;!wީZ(Os~WVvԹ$];m]P%B9k.AajBU}3Cg9tJ-8rR ǫ+-1+W[QU̹RkJ*b@ݪ-4K5UefwXmF/^ IЍԵCI',T/IX&Qš|%HLiLvtA;V6Nre&*SF$%rr#iAetJb*Cso0)8auŽF.&뗥dİ2sҪsR7w W~ۨQ ?ձJkkzX<6ד$^ j+RR:( 'sI( Ӌ);%#<=R.]|^Kis;z!t90OMaBs)ӜCAeeIxi69;3TZt (g뇔),M&"X$)elZ^ oYf9 :î){' zdO -L'E6ҟɄD/:gР[\rd-=*hfCH| ]\@[qCbZB5#t`^r!{A5sl@ neEØH4^ߑR)D[ X5>5Xl,ua-V#NA򚮾MM~6t)q.6pO4/US'l5P񠠻= >{ِlAN.;!4c  ?'pV`Cmx,i܀+xXIp3iR5Izĥ;AEJ)X#Cn*e]rw8CXL3Ud3} tp&n&HDh캪8_R/ܺ@)mzDHyNxtWu X@AֹXfさ *NbZ{–wz{j=csbt/LmftGj6=Cs˒.;n2hOջC)0EFu5ϯNT=Gq|}!܁1"ݒ dox\ Jߍ׶Z^sAf%w$8,nBNRL]߀Ðg.-}&@p&6|0br:yߎpOcUNUoMz[8TCtb^$زq5͚ܿ$*^ ijOTh|xkq .  PyĂvCO:oCȴSW'J#URKhaX*y:#Q'0檠ǫIO}ˡl?~/e![`Wnng=YCiKce"Pt޲hoϞ{ؘoa3谘5R[1d8M@ADq\$TBdž4q=~րG C>V4j86Yr}Oӣ({b;}eVlo߯GQU [&ܴc^Vcoi`^6Rq@شYnT6a=7U.T(i-a eW'G쎠 A9f3L $д5Sj>{'UR5>ZO{R ({ X t3C":ыlIN%;!"':hKmm۷5j) TL@-)^œ$)2|Flا4x +ءJGb>jK^c[($\txTlA@4=B %_ #h ج9þiV͓%=9zxJ|ݺ E2ZSO/Q̐v)8+yd#E,f&C e'v!zFX\ɴx19Q2z>3 |hxSᅁӹM#Nt9A Ƨ WVgO'8T4M_GL]nR/H/I`lf{QF!9HSOx!:mgTK(D!1̉),8pf}>"q;:@|r有<2pE\IPTfI]۞[L–#W־f^ZkzgB%ʕd(*щҜ9ٷzҴS_fu9_\7?Cqzh%a/4#ueFpޜ6]ZWyXkLš?_QM5k)1|kvI+`Z"[XRmT]8Z߁],s(I"yD{!/QJ[A:[l㥽Ԁб6XFnaNh/Ao;=S @etUwL NC[HOW׫P3_ސpl&r2G?{'Ul&vEƖ .ӥQ?k,h] }KUr6*i=څ.Խl[$@H@G`&|BpX mM ]i"Jb9"ǂܚa:)!!NksL٦@#i8aő˘Z~29U=,]S̻cxw=xX>%rxPXVDB*Ž<^ Cc VDD8FX&|nExOH%[vsFah9t$Lή^zj<$:M"04RZ2Vab`X{.>L)15J{Z6A' 7vE`xIIE?;n/Xhh3 ]tu9nɦFXZ%Dj/GBf{h6KLA6Iiih2~\?MjZFq)M+4m=[aOl;1no 7\/;x| ^(2![/H 0FOh];=%r1ń-A=IӒm>*C/rpPGM%?+~棉0#5 `w<"t =dQԨҴʹrwQkK^{ Vmע*?p\ݹ6OuPkE7,I 5C:VȂ r-  $dn. dy Km^f؊8=iij;.}s<^uCD'==8;n]M G,~ h|?OOJgֱ#ف6J!h/%,r*9ZЬGm]x` \$2(.^}ޑRom >a+TN[̓i4OmpT«.Li켒Dh.% a%TqBhlY ~TeJ(PV/hh9tcLTkҸH OjVF Júef@|}@) ]f6ڸM!!72W]yHx{HYL1N()`Yq¯]o 2dE7M)Sm8Ywg;=eL/շ\nV, &ᓃ{iE]6>6F&3 = e Ș/`cI(,eEYt5NJ) 3k^Wy]9kI/_&ˠ,mG_ޒ X[d , FvG^040)9ru;-/F֋x" XC{fZ : ?& " 58 ~&ݏˊH; 0Շ$ #2` `D$mxk7e/gNs)SJ2Q+@旯Xx[g,N֛ ?|ѿ!q或́Ea$WcRq0\бL/ԧ%(# Gdߣ.Bfb#DuIanHy}LGu,.^D_)0FS7yij. b.Ro{[; :𻿫+4=g ժC fٵ?lo7wrȢ 0LU80aZ $RyGnM$vY$8bzlޡo%IBe80FQ{ꤊO`f00\hBכ|7er^eIg@?QҸ羠 Lvʑ5Ny 6nHՖ›țVd>zX ~myƒY&x#<\.]uO*6a9oKd&'(ۣ|jwnQ4Ľdfۑ#zsj[|\^}N3sS ^u("^A<&YwǨY1omd10DOuk/gE,oV= Oԅ,$QhT@<iXp1PyA"Mm{iMG)st/f$U+#e !X*@z\gJ?&&<C,5nl̊$<^{'3rp%̑Jn/ YuafB%r?Vq泮h섮wtX>UĤ°`1Ϟ"4C\90+R oj\$60ԽO)aTyI(8-{` 1Xx^܁cyh|aT(Eۻ2v 5ZJ|h] #+ܰR8zTf^fٺŻ,_M HC[/ 994Rs N2Mn0N-GdQ͝}KmEJc@{)+om'&LI|dяK?(\sbit/y&O^&MV$}}y#D(<4?t RmcSVZz eɄp&r<?v7JhVRq2T댓eGАFtF%΄l>H-]`'=֚N/%D_`: PVfMA2>l̈́9<ڛq[w{spqX&ID뫭C /LA%W貳}r؃v`\۪aP@o|Lo @ m: 8LK@ptFLbA\^۟(tBtŴ0g gwy$wm1zV*sPJ&x1:c/Z?aE[}CKE[PͯEkEY*Iyyƴ}[rs1*b0I83` RzX?*z"Xh"%Dh #1Husn2( 8T#?_0(x~߰X&i,gL:Ǻ*#LKrl}>0~9ljl^. K[RWި|yu?!klk1bGy I6B*Dz++$:^GvY{|o_,K&/ 6d,(`fhiz"@s@Qn>s'R LsE)F-?ۼ/qcK2*G!O=q!j^ NqITUb[T#4ti3sx/Bc4?EVɄ{S猐,l f2a=YE=$xآi&s ToGȭ`J|Bzp}ⶁIDN˩hE3~:V ha<0.׬K$!_/UETp4 ͊KdѼ` $=VČ0׈02ZK e0BȜ1?FxQ`a-@6dϔ%- _eKGSVl&lwjw4_Fpóʿ`ոʴ&PAgf֐z/ŷ3v <'{h>psiU&iKknqClp'F]&@gu `=j<F~ơzTx,+/뮰x9QQ`fI& đ|voc )vՅMNy4Q.?]fȩ dЊf|&/#k"}a\҇ JDw]v7X(bgTcz0 vR&W*[v"appfR0AwQR$dן(3۷)/MM ᱐R# Ke];[]?>k6V.t{lT=eoly9ǫ՘Ax?He( mԁ kjG{r˓\CIeL@6.vYkL3YϔDz{hЂF~+A&L)KJ/(a ͤgSnzv~_nW_,ܥף(ۋid:i:K:z)=b>/ x;ZJfߐ=Z`!A?d{"~TOxjkaQaz^|97jF/f +j;ºPGp+.~'̕B/jJ(])㡫r=zX6T;5VC՘ZEl&+fȢ%lF}4e,%4AKX* 2ta^{ NC]~ xSԮ Kx-/qH=,fSl4ŦR׷6A;!;ռ5e)Fы;=n(XǙ[ }/{JJГ₝BT~ם/":ۤdL!.X<6@ W 9>{3/tR YV|N2@x2o8Zpn7V2QMwLW P#e9·{ފpLRq#pa.[z?F&^i8._fXxwڤ sF[qh27j}&7c|W_nO=s7Ƽ(hoN-*QM3V}%_N=0Uy.W&o0H䀐mb@b͟wfMڝX?{ 0xlv*5.q^ݸȇPP@I[-b^K.{zVb= y AlA0UdhNA;}NW?p L,0_SrA^eDXnjeOU7 ՞k篊qtԽBDSCޕmh&c'd98h%* m&O[9]u-ril2J(;JUP`wHx-wc\.=|łQj1FY } ZdQw.lryPE=+{Y\*XdG&P-ymW1U5F|](\\Ng*}ʡz_lŜϜm /?ǫaxQs!Wٵ^UVN5u܃"0Z|͘S Da[Q[ -yZ;X3۹!HŹ ؔ۾>@}mQuoOX.UvEТħ+ЧPKQu$jqI/J\O4C_&$nq`vH`8CAOziG'}7f[ $̽wArz~.Ţ`d.fS@݈f,**ٗ&o| &e;_PǧEX RV-P"|@|kYśal5Xwޘ[b}sca0XIǾW=(Rs#~nׄ|`u Ps8eQ NF*U N^'IclX)px%KgAYvԫglKP#Pc84^º|qLT~Ëw8~˙-i\YT5gd+bA 2lWfQ Uym^Q;k)>2cS`-3xЄ)[_DB P#P+PvHқ 2F#(bÍhYW,H Smq1c6Fb?=0>[ðOZޅZJ@oܛyVP'wG?bVVn:yףe6q]unP862_vƄ1`08?|BU7`0 J1sV" \kha#lQ8ͤ*v3~?8c6q$JWU%;50d^mhw(]7qT'n3ݸJS@QrIz/-ڡ BE f.!#U2EՐ;,|M'#L`+]?`o1QLZS5VD]XG/>ةV}Ŷ:e5k,kMX# |)AE\Gc{j"ǥuxD[`od) PHw\[@-G.z^;s˒^$=M6h2-(_<@Hi@Ùx`3}]Nl zp:0nLChʉڢJ S;Ue1%!<4+vz7ړ|7.&2[T]?zcr}|E"~=5qR)'_1\ ϧ8gD>k(R߄e@7deea)^~L}UU,v^t2!AsV DK͢(}/rg^]L^x!Ch#[ xuw!-2\ӷ$l!<43zg<<it&A>ǔJhP\3o\leuJ|[uH&PPҿ9(qkCUc4" W)Oz Q50^ A M&N*Teώeqcp}(c96_%ݦ8,vF9R,8ﬗ$OT>w im%&% -j`:gRXuD ] ,PI L4PkD+G{nOs:#1ݗNTmXOm=]3 2/F6iRpoـμqW_72 eNMfbc 6*tOZp.b#w#RSᵁG5WfHi _NuS0gAcHK6 ^Û5+1HՈ 'Wtǔ+BF<.'65Yʟ7=ߟxT6wMp[j B9 <`  <+>S:zj.D{&<ݝB(-7XyU|'<@7b ;R(bVem ~< s;oer(@ L{MBQp_n%q;~ɈQ=((.$?墫YaRȾ%+yG@q/ >я/!%Q̢? 8tϔTT GK^AwQK +C"FA+Sjנ~IƐak_wk*QRgA+z"ݾH^w%AVE:+r5 Y4+j6! \$D2"TF9O t$L3<ēu+jM f!m iFY3λ;[>nbڡ4VY2kaxSB@->0gokhz |c?t6i8a^ [q[L{?w .Z-QL7d~F`QC2W]S̥1թț]FG׻A[`jЫF.0 "P?ȱ]\]4hӺ/zZl晥QtK9%ǍuA֟,M#_ [2G0}>[nNlO^frJu Q@t_U/A xG7ovx؉o'}L(ZnhO;%+@oRgQ) 0<6 F;"D(];kbj //h?`ECX x|LgRʒbfh|_ iȆW`#_W 7M.s5)zzD]t:­\R0(wo~]-_7ͤl 3-cj =/ԸֈoVQpvWSX Oߙ}rQHwړž^˘r`cLhx TM~0}}K#y‡\.2419Sϭ44sԨty'ܽ5ӂq0H5(t 0M뤫o%|-9zn]6~n.^~ݰ5O7C8'm5²ZG _tp69ޮrKcSBd"ȟP/<}LN'tDL_ O0[[1ZO5@ }!ɅѰ$HoQ&i?ڕSq[,ue\΢9z `>Cg0AWGv"}jxwϡy-ze|KJ2Ots]>_r(fX x{n:k^,S;nZh4\-iC [Rm= Mz!IE#-o$( ۬cA)F0(;3YMVhrfŴ^o2ݮ_/Y#X~ߠ 3 \6]G%C_TN- #FqdkO\!FړNE4>Q;dKM2S3#IȔ֎\LnL7i?)R)rGvH:yJ0Jov+d> Kz`Y7ΚBw;D "{UK"0^P΂By1fSц+,_F|x,M%FAMɢͥE53qt#b@qz/4WwA7rqG.Uu%i-!jRkP~&cM{ }l\cZ8Ar?<y74-w .< c韪f&q->,KᅼM;4ƼSVЧ/S <~ڡY:Ƕd{/ cB.lyibZ3yxofy'xwkMBٟ҅2 dY{"ė޷ZxD0 U꺩sMVs.5* BO3B׵nU%-3Dye*a 8k}Pz zݮE{jk ǽ|7Jqpv>yT+$6"9hjثڠ H\GXBs"wOž&r8J`+U/lLts+18="/?pRJ*(vcB )@j cAJb,؅)C97kL G[1 w68 y(ނ kc SKt^Y,}=ll j@殊s~F&~X;y@u?#9l<Ԇ@ޡE\Hx (RH=Xa0, d?1s (árcxQ=vb.:+T'0l  ]HA,e N! /Imv^Y}BKMޑ?jK#ZiYkGNUJ#C(Fؠ9!=R sDpG{%M5ٵ9g@Ujsx)]2H^ϧuW0I)[WX;с>kp(eYMmYnE)7Ml-_72x5+(zmv/HŨ?L ɻ~|z;esb(^v=7'pxW7fn1w9`Xׂg%b~V^C%ޝc0f`D5'sb@i'7Pjqt}l}EcOvZDmZ7g@Fs9'^M#yVEQκCwa^plm6`ӓ!4~#{wi%C 9i{m?/ڑ,KWp?x8s?7d"!%Ci"'"5˶_e®H6B)jy6#RvhNNeQ9yuPfSvvRtPNǦeww19 ؐ^8bupj#`vskB}jmq{{đ܀2 fZJ_74( Mer&rC_a'z1P q4W%> =ьG#4Rԡ,{4oV*]!ԃ @-Ɏ'oUU b4A{oO-砆Ĭ-@(,&L~H䉅h`7OIgmX%q7NՕ/7Y( &M2/ȏpn}Yg:,jAmr`K {ÎjX#tA)='x+qYi4.ZmJ'yhh4 r¿V'.KGj(f!}PR$l+ $(T$e6Qb7H5qעrwsnYy@.^FjA;?)OIu^f 8>;v5&_FLL}Q Otweǻ*$X ?t!' rCoу\gm_CX~ FdXq@/5̐l4Hf Q'NNnaO#psӴ,NG!Js-1;jJfޛ$HDsjMOYC@QCO%DYǛH̐&Wc=( o\0Ahs<4轍Y$+mS83ayF*W ?Ca 87@Kjb e}҈ sMuu=9T񞮷'e6D@g~;/(0ߗ2lyE-.#skf.[O-q<(q9ɶ,'c!+:\M԰4D{q{,i%팄q&-Kkcd|Yq jf3n8I qXŠ^M_fd4t: g*V8Pe4#k)S?ġZbAEzRۿi+vZIt+ԹظOkRAiN|?h>~np2v|$&|]D* Q/1Pe!7+@KNsܮJtyx#B@JR#G+GkQBț^RH d"85/a<-9> ]"q2Vjp_d= H:yNgd s?s]ϣ197i[kQI"s{n:Jΰ3|Q^*+a`1!d%2)&s9=4e2U`ԢŒAge E7"u®AV}jlpf Nz㾚 TYQ+n)[S$WV8Iޝ $Jm*O6hTq=J؟#ȜT5 +%vZ>qgk'/A֋NwC7ctʘ'{B8a|CM8D~YAcC%͑X*:f[˚MN?HېTC}H= 47|p̻~hB֠2w1<3$5StV)eXS5 uw(DG:z}d(^`OvebR7E_ dshZCb55/ /Q߲Fio4p 8,,"4U j dHS~v;v;3JќJ潜F/ n١'mJY&(L[!J)nI=䤽ʚ ͹ tLL=tP9kyA k9)jNԄ$'"9TiX5BB!%4~%e5VX{ ?pP٤-X TuN_:$La=(#E)sZ30BE.XP5*J:,u֩`嘐(O" >ɷs~JNb)Lk*Qdc-4>%lu%t7B\ b'haFRr=XIRakoMebqoN7_H1dLɍurA!'uDFCr;&KPZJ^ \M󝴺)$Uٚ|, .۹-ܥS?=k܁5{j![^ˋ꘢s^йp~5U:%$ҘE`O;Ε\ܫ, +@nW}Ymdȝ_>|9 @#@*}9p޶1'5b*pu/>$ÏCؒ?+c? ?œTJ7fe + cD41TdF ڝl)όD[b}-Z8T$bɖwRuA Q&?TfW*D=tpiǪh(Ȋ:eRgDҾWE{Ԭz,i;L l7} J4I[#[iA*q"#:)?S2W'6jj&00ȸ2뮤`@~6\p/SЕ5T G,>B#H&億RK"Bm@#j?9Ew_7ĥ¸XY9XTeǖMi>Sfi"d{DBa :Asb GЙ?3lj8 oLVviáJ͘NV>i{V4D=>6-,s>/C ew-' E Oj")zKz([.S-J"VRDg?7E"@'!MTQArqT2B8U[Ū|EmnO6Aco[MFS= 竾 ٺLy0SU|F* ̥1LQIBS:}v/YxmU ’NV>>|MnPۅ^MҊ&ۃTE%{Rz&3^v:܏]?KRk˟O+9B0B66WGb\6eLHXv!J/?h泞3f+>TW A&dGhKM imZS( HןtƪN~>wKQ!j&A'p|Plr#pJge!Wcٕ*HX>: -dv )0 +DrH*G]C5iiςDږ4"1PHo|@dl%0&j([7ۢr1WX}${/zq1ܰ Ӊ#* |cq>=N.NͳNa9GT1G%ܪA(*(5F [>ʬ Qa#>JQ~Bv+ 4Jl',/jί{W }6ßEu'}-V;|J"gҺ/,[{ I*tSϣD.3a|5Vb~fIFVx=v i,m rmgܺgTFɇ;X;!?4!٭婄^WTѺ+p߆Lǭrs#  KVֹngV0eisw`υǷЛ,Ҫ_{GC.sy~bL:Ŗx,'r>AY3w%O3ÕPPvIC0"?r_6h^?bo}rDqu1jw  xM)~bQ #d~D@0x|5~I?x Qf>9"JK^ 5U6>IsLHϪ{ ~R,~dl I#(=᯹R1H~K7^P?sOTݚ( IidHR\=!29t> Z)gjjk/I{WjGP( [I}&*=`q;8:2Z ^$vX]KR(E,3OmV 8k"o!Gf{TYt|&3KwT"Rn-RLykButӫD5sUΉxc˜ >Vcx;Cd;K'pfylY{SyΆN PjU?ݎ;5WRMQ< XxE;S룺1晅_+7sk+ En>ףR<h 6 LYbf*#9Sp{. i>neC=2ʀA(.'} 88cI%q PLU-T=\Jyjl0utll~1Z1cXdO-:@)%qoKEWL!Zj.SY>+Z#J2JȀ(Da\1)Tfj;5Ld'1L|RP7k*oATDamL}D[U}5q|p&ҏYb]ꉆڨX8"He$P\ت8HY: -`wT&ZG vz~.,~ZpW`{EkcE SYNj7oT~w,H?2Lk,.MD8grh e`>rDG[*:&I֊Q:RK;r)->L'L?4*-xܥģWƄpnГ)WqߡB*yw :|FVzQ|m.@X+j}A9f/N 4E>h"QD 薽#XI_;Tc'2A҅P0a*H$x2_G#j͈)%PT$Ƣ⭛7^M@(}gi{r:BZuy^$rbǷZ̓:զ`$> -HW S eDܫ |!Se+#Pi]N+ lkl$hɢ7an#"-Lc?W݇3o(vqװg Uk ͭQR9s{VJޠV\ԱRiTT Fr@ P^jܤ>)~+'#9Reuw0l7u\w bȱ2Ũ-e8SS(W더jYNJ%EpEOY @%X^dڃToB9L/5jZ2|,:)B_~!1\-SűћMvDrx P`ڜb3x,N޵A2?;V̈́Fl,̳qtVc[zԭW%nXJ/B`YjFF2U@04h7v]ӢѝتqlۂK,=BCel;~™ݚ¤]3ϡ2*N{k,(0xWt 4sV>DCc;u&D8|#ޤ0 (@:wmKzR-B4@R$Sz͇EX{^ô#6\:[-ᨱ)pCvrDTyjӞ'=y*TB]BٌLwNxs5v!k׌0Vǖ0Ok.T:omaEPX #YVud~6*ؑ,$/}Lg!0;JI67E?FgYԟF0aBkNC& h/G9wq6R9V>d e)#VsB m0bY\D#6}zM!ha'±"Ȥ8X}ZtEEU^>4k_*7k-\"B⦭e7&)JʕƦ8բ&x󗦔,TS<%Ϛpj.%,Phr`DF93SHu-$c`W%YAWā,tl7FQzC_ezo)iu8qQ pR:eRXAu,B߆(K2"ܲ\z7Ee ~ޫ(& Z;6.}%8Pkf MK)Є[:fg1Qv7$jZц|B- FK,GSN#_ȈF ?%¾A[aW+wycY]|/4 i~­=E'8%բ#o.HtfrQbyN'N>[¸HM_ $*fr_y6 *iPnRp_i_v-VfbQ&:f2 /W2+[JMힵ:I["i>L]Shb*-|A͑xU&]mtg  l(!d9s#y3:ɛFx^q832U~A.λ;읥)lD_ ؜Z{|1~(uZrn~ u쩙 |WOȚC4bmӲ d[ouҢid f\ NDCwkkjM!Ͽc?jp"&wN$1)N"[ڰnmB^(k)IkK^ƛvJ3 )X0Ͼ+5e\u E\-dhDlK5]+y7IRb$AoQ*+_z_2fA+^,-DSvm8)`}h /zyl C'fFiF‡hue6MlÚS(j:"-.z&ME(zNT:ъ;/f%LH#]*h=ݷp.z:H_%Tj Ae.;}+hI)^ ݼt劈kCy+vnp\ֶ' 'sI.J+5ԿƊ+3-`hfw<mӏMD6 r+*.oM˔s,O´6@vP#'Zl>1 Kp7jfoz_9Ǥ`2Bh@+=eIvHɌ_3l)r p3B ZxԔ|o?eSƩO̹8.ȠX4T]?o$@Y`,Dr:.@mՅ(ȥP2 O+勇g3Πd*|&ШFO R^d1/ 6nyZHU qꞏF"9]>yP4`Ak_:HPq!(OV+R;.c/S@ɅJd^ l!r9lz%'9R=oLj G gƿƱl+Gkc9*ج'sFtd%>'^։(M]Ag@`ͤT2T8ѝCRbw$sm@ߏ)`2 <6lᯀaQLx”>b{B#17:] vҟ B:#65NLtufla' LX74} VKy4WVanX~24zV-9iܢsO(aZ\J}A{{ ԉz^4*J>C3M*˫WBVT:(hF`)8/1H9{V)ZҪ ~c63Jl &blMxδ¢gSZc 0սˡO Mx;$|YL?-{F|R0rвҡ{yެsʿvs栏jek VTG2; ټ/JpjM1f]lps>2(-mNdFg3Q`!5azo^S§DPhV͝j:6aN K2FOJ)mm_ `ыzmό*RT($UHf96sJ Ҽ*$ Cظ(y&j~L3cΛ2IS2=[y([k޷S} 2KgY*,y7-{^uV,nE`R҄3R`FmuVH 4_CV| Y^O5򢔀RQEǥDߝLxgO)'G[ n0B^7W4|*=G$,)+-}Aʏ=6o x\Hoyl\[zUG H/IVP]뷜S@GС~19y?^dG\5/"OMY %3DjeEl'Y[$#g(Ԁ^T`.՟g!edxP,]?XN{RыjjMxqAyPr+G+7r@QfIJ[jqȎ,Iա[=5VL3N|@±/bs=xeG:sܬ$ur5h8zӥ&OaDp+<.q >чe:twNZr* t,К,<,5]wmd|HSS$|0V6:{y\)K'lq3ǨCGsڨ)52ѣuFr/ERWﯩrfΙY2'2G2 x"e{*r惀u:B<tQG|_4(CI{b9/?#o_2VN'S#Nk97nT޶sN5.eH{i]ĎY`Ҍ:v`b W9ʥ?&&zI\N- 6TqfؠKԄtcڛ>JΏ7'8-8v yLe{XGʱefj / F"ƽщd%,%0A/58<=u@E7=!oNB/)dSdcZanYd+70q Xy/h@D"B$GWUp_^?Uľy&Z-"#|c&|v]ṛ5,Ynh&)$+w,W̗\od@XS w09aRJG3wb%-&*/hO.ɑ?*~7ڮk?nT@j)#73:9\>=VEe,C9tYB7 xG/qe$P+%w/E*J3RR!ECJ쳗DY@Q2~I2U70PdoBڸHVY#6(]yz>u|PJ1i1E};_E/ =y+=r1~OoYjcCkhkZAc::P<쒲덦MB)^V% WY}P3!n8 Bw}OEk#bS8Aij{s>5b0(y7ݨ~dkڕ%2N~=ӍpİRU>#-%6ͬ"x'@&]*8E,}@jΰwȰ0vG7nd婵.}2+ڙ!ut@~سww}sOf(WE%Z(Jo`=/s + "(.ɘ犭^OwʌL T ǵ)bv2<C%8z#A?]_%XL#bvt&_P؍I3%ʰIVbӁn;U4<C%^|9@\%:lnkVcJ *~:m4X7ĀBl=k8ĒyѱA_gQ&8(NUh-zZu=Rp'OW ᵉV;?vQI(xO%qb y):oC'I}q!ԻWxBdgz3x]Ծ~m}~ @q 䅉0+m)fA5Ў¡D3 FQ@G{ sk/DL58D=)ñִW)4E…Ia.L]W=Q3YpӼI\o~d{w(N]F:~l&1vb=fׄ]A,EpϽt}knWkk}zF @3_籪m^&.,3٭˙$*aҭOjh4}WBL% ʲ>G`܋Hˉj(% ,/K;Up={4l[q,OB]vEUBA n4u:Iʺl=,1 .sL[?@b*} ME'Ju\!$@#[@y N4&G aNrP_g.0d֞[} $O2:k>%x]gd֋,D)6 =O 6\ZvH󒩯 ݪ។1qϬ}_:G}'-hFX]Z9?,[ % #M*_md9#j3Y"_ڦ6^9"g+w ] ,k #f2Ph}gO C+`^n&nV4gaK{UQyi.{l>jVS剬3 #,f,"),b(ٹ2ud%.{ʃ|c/:,|3T''߶V۳M$_[}Ӥ% |^w"}P?/-&@~@gsS?Ǧİ\dw{I\v 4VF0dsA*^I*%i`uXHfȨ#'2OJ@値ӿ3]Zu N5>WB:EAzښpKf /WVq;@ z)%7L^5/aҭW]FbY۱/*CFdKǎO[Qن®|]R,5)`5KP9f=8<4B1G N%Q~ A[,sǏCbT$D֛QA ~E[s[Vȉ -۰d~BjF)${_~-62҅fiJZޤV 5ORyXFw] n7#*NTMIw `F?/* ʄqɼnf{= ,x/?&iͯD<HsX# 3luTi?I:L=?fk'r ;iG@R1y:K]3zYv!A x]'h)VӅx1L6"ľ_Y&]mPO+-Y]Cog& d—а?AÝ܉ rDl*k^b[%b*~ q(V$m m㗲;z+#"v/@QR 4wNv:0ebw_d!m-;)ENY$>Bs@Tci ? ei.dՊ+-'iz[C, -y>wc0jΒEgQ!Yy4'\/qb[`5X_pHHZRLKayd\bܮȌHRlk.46my6$u z/P5q|M6u8`?"_:a4Z։.=?YJᥠ\poNr~gO*Dɖ) %Ώ*MassL Gɟk5]V T\GL*cF̞7,x=F FDﯪyRkj w86qp= ?B9oOM9WejVۼ K0=]HJc:u5uK:хW[yMsSTQ6yQ i󽄬Yw cf! W,R<7uD4x֖qO2ӇHI΢ǒp$:,h?JjkF-rHl)Nfפ=_R"Ď+{DS nVR\y&aoUGy]xj5,;W=RXP^U2n ș2Hl;Ds/[gm"#|${&t.aBhT-FqD_N%m</"7PMILD[jf+W0̗rzd FA\J[<|vy$(5Eb Gᘜ?:j'qDFsbrl6Au:eSmiGU- .^%Y0:~$ڻ Br`y〇\DNBy jOjV qG"݃oxI5 ˺swaC[$cy c]87 ;巢M3,oxq|SXߕ:S#Bh*?;JC,yoHBnFsyjH{coDGv- /ʵChg_^{bI 劝sWglՁ shc;"yEDP$ 1ȡRYHv|P*mתxk! ʲ(TSiÝwAR@2@**Pj3gl*gw@tYp\zsix;:tqo:*dz6Q##: 0Yx1E|dLUf^ʦ ٬vUkmNPg)FT{n6+f LI9Ǖ{b ] ԏ)f t`s->Op՜AJ]Q/iT[ݵa2Fb {eyԳu|Uͽ 1Uz~>GeS_K -bI#pFGMb~RnC~-M=p*`=~'y >eo'{_A a/<_y@WX)%>\'WTT9iraP*T ?gm]1!.%8tr/M]lLEy9k hcAe@SpWyiR!KPcG޴gHIa<z ܸ60|u035+7ShZW>$YGb8) R.d\_H|Q );+ ǐ-\d@Lxh.&Y:s-/ [aw]uZyQ;trᖲx@izM.$X>'oOez_OXQɳiVMj FWCٕ|̿iFϓ _nFG?'7^Ę &&:!+qؒBɺikNl /xȇo^k^3z%w'Dh_ "5!,=r,gӼ,Bœ w6q :@2ڦz`<4G8tےSz:>PE,NUZƳ`!jtXbR5D_ݡ;)3Jҝ1}̞KpM h!6n*;-'rYbB|~GE6(4wU0WLɸ,p/ĝ|FXLOs9c;/=,.uT׍G#b(1{晊@HGg2eVm1-TrM#3|ӖUtDf_ ]m܁I5|Ǿv~m}%W4oGhoqki$g"pXVn鸮Ш]V8xrwG$N0 IA:i*Μgy*'dY ~>=qI1r.hi?K;g@>d~7 W>}2S&l#QƠ'_֠ϑ2Vi[>5kxl~H D a2`0gRfv+$ܷzut\҈:<>oJ-{O S #FzgZMӞU1kaU3*僯9a$/ &']#?;)?Ŗ#XFȩ%W e!LdmWqVVOE?nԻ*N*i]Wھ,ϖ)Dd;Ţ*03o7}u^