SQLite format 3@  . BBh77otableisabelle_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 07td ]/]MSO_Regex_Equivalence:threads=2elapsed=780.683cpu=1010.920gc=42.292factor=1.297zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'"TZ%ˏ/U.yק8R^29 A@IGG0 &RgWz,KF}H44X!ʚYn_(xAP6Rٶ= ㉔Suzsg^Qȅme2i` ˒ + PBh?˜QaZy+{,xÝUqʎ ͫd1?J:́.v&[rLgČ9Co&* 7 MSO_Regex_EquivalencexFOZ0 ʢh{ö4!+H,<+4Q.kp 4I {12k=oa$p:NN@ Jcس4vKw,W4lIbjKcn7nCJ.R6$(P T~̿p&8dʈOVL+d7D'dH 3Uބ n(ɪ/7h11LUߥp| y<+ILkO~ wٍ|efȇ0^5wh3F2|$`.Թ}"7 3[I$vl}`:.t8A` 46)%v>5T )Rcy<(70ֱ!1-0Mso3`V'tΈ_[j;6ň)y3U"@/f18S*Pc:~!GX}M{هs- n(*x8cp_U@7z2lD夓c1!|]m}OyW lE25]:\{x'Y't7fSLR:ևJ_Ȋ o7@_\Zu UT$|﨟2fnᛤ4a!~Ie9.2rlY'gPҠG0d8 :h{)bNRt` ~d\,ՆBSEq`=.KSvLk.gn(y PVBD 2"C'14,gŠelqL5E-bw=m%gƞ3%B)B.KIu<@/=3sëR[Iۍ B,PO1d")ΝwVDB,zhZ}fk8zvxH|1\Ę ,F/8ǡu酆%L jϾ#ŝ'~ƧR?maPXVT2I}߸8Tլ_c}PfCQҪ9XyšXmF "-Z%%2Ԟx Κy+N׿OVY)QFAnw{ ,,_NCӤӷ;n[b&&M1YxNP*Ӫ*JսfuG5޳Y5DEv 7(ErS~db7xrvRHRPXMөevU ~A?)HӉ-Rx?],x` @}H@ODZ~ ry5WϊkDއ0B!aɗ,-|w)L'x <X F_F ,)oӱs#f%?M Amt6'*o1R |,9N\&NG} O5m':h^غ^B3Aڬ ZK ~G˔Cԛb8qrZ~ Ekv-9KJU |K~_pp!a} V\$όOj2J=';r#0 6>Xv Ѝ9U[N]w/.H' ³-ǓHq\ y]Et}%a0ޚ>-}Ƌ8L+.NJeC҇xjV"`; qA7]?P enQ9/r"Gh B-ߊ@seϖ|jϵP;^$D '3:h27ϏChҹM}800.j:ö7NmAթ~zp?mi*BտBF33k1,tΥS@&2!\|騹[}\NddXFp<<7Zr/Hq3P"tH;b2%gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵JVm˖>if1DϏOty$ɯv7ó2$Jk_lV+_2Pz*k<2r)"g *Kbʄ/>.3'$޾0(jhgLzHya @h,ȨczfD :`㋍4HM;tQ/gCƘMraw]:RaB7- هu~t]\e- ғaӴS ijZrmtֱ(s돣.F!- mY?$1/ Vрؼ4p0DHE٨#wʲC5؈5]Ho侖֛fۧwOrD\{o՝n/D2K٠JNy?VZ2Bかs:Oj5;V ׸n9ܯ d_|iMdoA,4"4}j@X*74pn=@`P3dJ|O"XJɤ& "$D'.6x#3obA?||gmGxO-nAS.D 0wzOMOWGHԑ{!Ck MX UOAq`oǑ'CCƨ-H؁{i/]P2eЎ cbrr#v`X#gI&|@ڄ-M_= ZYCNwpP\7vTaBs:!49!0edj7.=`Z֐=qmzosڐ<5JbYp*+R&Phv໧}q#D.'ݒ~s:_2?5 xOXu9= vGj@(Vإ#"؃,h@=3s2+t9 uWi~1~4\?ﶍR)X(Mm3]AqΎR'fOPvLRpݩN!nMx ۏ45WԹaHOA6U/- q:q~?aU3U1 ^h~a[f=@m]rḥWYЩy'raqJ|k[Ȗ2kv] \~m@\=Ry\o˓jԡEDȌ@C&ko=ըϻPz8fDߖ"rZ:Ը7!h>4]n Qɨg߷ˈw߭(F؇w@=C"o[R[c-D7uOL#I4k˸ | ܹz[7zͰNyͻ1ĕ6M\9>ѿX.7,՛}F[AҏF$P´RMmӡV9jx_Orldlz<#4%OeiBK9cbOPW6 M}P[+oф#}'m]viZ zVSe>sZNo9dҋlsa?s{|΃8~{ ;ɩ B v`7<8du| >)^+揄W隵vpCiO3NQNi|xH4s蛢1/nOبLN؁) 6A>O2HŇ o] A}Vʽ,^8+ǎv X`f6?N^ZhA!Ϝ.{"mt MM"3IFmI8$I?v{+w.1. B%ktj-8~k!`ZeCq?!.46XۮRqUu\*/U=8u"Ϫqx23 5|fיJ_?`jq%۩ -e^a*dl9pJ6Y]Y74cxaB}UF*l)>:~2`M&:+8;$ Tϲ!B܉2/BJtTY)t=y8D6RBSi@gj#'fRa&g&>\qLiZAUP[9*\\.U`uXz$ra=شҲ~@<[9'0l %fD@v#]s9Ez $b,Ku?SǙxcU@:5@΅=Bh >"lǍx%gC b)n|4FZ?8ov q~d$_U(T]Nc]Ɲ NPwaaX}uF= }.P𫗗nULtChʆ-ۅֿ@/_oVSا0_LHzwDzu* %!sy,[E* ,2%FcD4־Br #[ h慬8}@&QP|B.mi>Aosń?-Wyȳ;p/=RlhwGtuwJ%oszy~&Z [& 3 yD !X$gw[x\߬w>@: 1qњKk=8}]'$SVB( ^b K #=̴h\ Z&PW&%EI gRQƠ%Y9 k R *%"'(3x73IG<ĤmT: uGF7<PP?K77PP穟 _ /:&[~1gW~^<Ί^4p!:$# za?8ߴPy*=f[f[)r_As 8XU_vw ,TU}a*>DzO6F+cEq$ s4ٚ{}#u3g{H0HWRw,9?AԐߩW֑ PJ@ضMe(N ?7L{P7E.MS>DTĬg{=egd1t̃aq3rjJn) zOS$N1,Ch|\ԝ+?c{#pUZ - ܕ%&MvF^7\˹UZO[Fg\X9 ^'(g>I]x[Dz,Dm sn$SeT'FjSQ^pÙoӚd0tگk/;uQK>XƮj!MwD^$rF3i] l4K;Y ʃޮx:ѳ |jR]iEs?eݶn[HN/.O>mK,Z".QvNϗ<6| :U kZ U?RvwcQ=*.vcz\ks@M5 .-i|6x2闗 7=UDHL& CtOl l%]+Nx3ΓX  ˓SAU܏g7n7ef=QbБ"gS]x飝h/)d%꾘X߀0> ~%jQJ!K,E ;>;͂ S+k_+=IQpNU瘖KcE7obA)ei441j !Yϭlck'3l4Dh:wXy;Ч-47'>S j=`_%7~OJĎ\e6I+7bM6pEB0V"ک%rT0IQ<E)J;}O$~e?Mk%R#S[&x(skrNeϝ%w]Iwd=&dKpJu0a!3LɎC\Y^d>Q Xgn-W )HBJ>t5׹$.OI"쇐de"7\/V 6׾1 E+ 9݊+NBOQEHƂ-bLbOQ٬[d~(/Ɵ!8u[Qx< X1oۑ9מIdn(:=-˖aL^G&F/A vKQ3^K ]ת=?EDe`w499с|ߖ1Sl-^;V(vu1ד.;XHe yq]>Y1XZ%|)`SbOH~mrMVS9jl,Z/||zg쮖rg0+7҂-&Ofa>k~y^lIe&Pld3.Y58졔CH?KI(a@H^,iELt"PߩDžHP' ݱt )SnUfsib3"L6\al09;k塏S6$͋=+kJ2P ztR5#q:R&D-k!5UdZZ ([߄V׵ɠ$< 2TM[Jg=a1τHZA{!ʱ#ʁ3}K`롊cM;WkOArr*) q2, ISZ?ҮjkPT:@~ h'\77W@VeR3 q (J 6(N{#W^c`RxE,2"uxTDHNx{7|j/.5컓($%}YV01L/K@Pv)͟ݧO>[h=mԥ؟Ii$jĒԕy-NRZ[XM}SJ`#+2zP PTfY!'i6a췹:"6Jy W&NC $d|'Ţ|AE!iq".TBqQXM!ȊXCM:z(ԅsG7MUxL3Q3A:ˤ|.>tk 1 Ҁd@ Ib}Nݢ.yfe{&hLO P$,І%WI Dʽ|zM=\Ǜ{e݃7,C:\-;#0)RHmYu$~}e>wծ,ˡ?LÜtEİ=T5]ߏbQAV7,Pbx_G-h!5Rj.wNۗlƊk(mB)!di<ի$men i~1nEZ=+DSɸCC;uJ# ()ۘƎݍ  0SIh);h!BWpi31z؆ A>ΌafiHH;re7;# +8(VhEɤRP?abG~Y>}2!1l͞*@%(u-m1$r㗻*B rPO^7SҚ!#X]Iq&0K *NLQ-}: 13?%d[YKJA 7K>yC Pqe_J%fjFۡc2vt#^[ ^Pm4WZ VSa#9ϯ5GnƷҁU ʗ#j!-^9JSg*2هv!?Z<|$QH$ xDL^8~o=' 2ItDEjV>O%6]K0pS4<hqTXbIki-}s?!T'a\?BE=4?ya e-X&X84K@tHӥOtL:qPL[Σp. ʗ(,}kFpZg Qq@`ڛ)={-4ogvIR~=Zn;Go'>%J %@?aB/"nu&Q }\UU /_B?|f.!Sv绝"|pd|@n63E+i{ =k>̑ xHXZaZ~7&H -ֶnuiq-*UdLlwU(:T+ M}/Q.xs8I)A|v>RcN5|ur|޷Iys#?m 6R5z-]lXJoet͚KJ f}W}gUd02I^ >1d];gߝL[-\U}|0'#NM=C3효pK_G0Cv|\BA*y[M׺D"/FQ9Rq#3wex4 ŐA^ /xTW}+r_,'* 毷%GM-#Ekv5gƼ"S? DC]סP:e`? =f s.@yq*<.jT. ordW>1YOfxBO#ortm.W Z y a WIĖۚ(%V/4c^ߎ/)][iGR_^U"\& w[FvsXz,7-T~cGR4yzi?Dݚ\b9̑s"u9_n 7CZVH5먖,gC`EE;ńQ#S%'I~ TFyQ tiCTυh#OqAHYcsQ x)+$+dˎ?/dlk0t(+bqPKen1`ٟ&?|aD&L kO66鸃8` i'To?-or{`gXdcKj/#xptUS#oRֽ>PsHR]oz}ЉD5l"8RͼHX`=n7j?Nmo`"s T"WJ*\R7SA#JW̴v1I LAEsfBaʨp Gz9 nj(G Oe!?p85EנFsO>HNNT  W= 3nQʨ + !i6e墽ٳ[&mM'Pe=D$>1~~ /;,"{!FI]@zPӮEs]8x|(MF Z&\ NG"'5>~XS5LWSݟPs J^;oFMC-@ nN`JAT)ݏ7*oҍ6Fe<}'CSk(Įfg`GWgyܞ$4R.B$V@?ȉ=A)S^\駒Cw3CW6fۅt&@ ǍA9QWFajIͭp;o)lGO8A+~Tظ/d!}n) 7rs(kw4-<|5c*6CptB |e㒇Bg5r۩֕"uڶ}xԟ61mC[p`&NnC f#OhJ&4[=fCME|9mXctR;wRIgx l'EAҬ;8($U`:%ݺH.$V\7T|ՁYX|R,q^UݾsD7UQmnNBD_X]2ko)ߣ{˥o#Fyv6:1M|9$'o 6I3 z7n|(5R L3Y$Mő~:&ȧcjugv`<E-,͆8:|عj_二.e Wck`|6 9Y6'sY1E[)9SёFL'(yJq+>^0 G״o-:x!4V`-Os )u=;0ɖflo' BFu7\%:09$$T_Klɿ|ߔnL9ĂiF#Lx x"i0s g|l0>g(؁bJ4~dbMS'd" ];a:V^HR0.Ia8X{{gDU@d2i0cRK촡:4ΑEIzX9%U$GuFmIђޓTDMe".rϕX⅑n=eC U-С+@ ]#pY iJ)W2ܽv=ƅ#[Hlb%߁oCZc_m~m0֠D8ZK+%hSh݃ޭkeSSu]ӌC>QU@wUC,Cwkb5w"E}j#@׸+qr޹6T\C8?iWF,>)crk-*M|h_3|[)~9T&gYbAUmb7(:Pk2KfHuh.ÊG:1cD!У'ᰗqg,z phãܰB`x&dft!t;N>!tHS5 oslWi{@I$c@22I%fOU=0&d u@Y_=Ҁ.kC0.E  jxn>̳ǚh^Uҽ>PFKR0=Iw %|HmC88Ģ\y<KX.cQ73)+M_WcrU͑xXf|]dc8M{y"`ID~D/ǓaBFg)㒳xϤ0x{ha!"Kw t%9Hu%P\ʕ##CƜxc`3X{Zi %9N|^ԧrw4&X3'}kh.! " 1ptdr|ɸdK}ԞwQS&޵OO'XK&}M-}O~k$(a~` _u>|p3x_$r~[ё|3Xs UlQυ`ۥK\s|nA98<10/In)*sX1s`FXK0OmR_8mbTн^2X/c ]SW23iʍDU~1 k¾vq~ ]*hOu\[=wFc֌tq% /A[l*87?}OghH(2SNLyq#~Dv;1R ̙E9$ qx9?xigܥϻZY"S۵BEJg9/H,D NW:ZtT.ǭSAU~)?`ktBGǰK-E=WrRUXUAŇz[ĩjd}F7&.~w{hSv85c=Έ|ܗ־8 kMj=,F 19nSi\S2ޱ҆_ˏPK>$k-ӞĨ-dv,"z92DszSXMvϽM}pxED,Qױ}U97] >:& $w7 夲jz1&x%?,S+&H xh/Wǐ 6jwVm ^sxE$.ɪq甞sƒp6?hc-2I_5F3b94ܛ&2E$E'%z>tvU5rƬg,1ݖE:ks%z ʩ=@azV$ty@.{0'Yd[5uW'Җ,!R5;o0\ܚWx4 cy M LFi22)G|]Lu&f)9+5"ޠ]%p8`DBu8eE{w+ ?3EjO'0MzKFm4N)G@ #̵v~@+^>zGع9V$~Gi)3mgc}?QW/~7t$!@c~3Ri{ln81/4Ƿ2XNzaڀ9ыaiׂ}\"4WQh-ͬt6W~HoZthڴRW_N3W.c`tBP'$'TmaEMvޤke)9 "3V&W ;1GÓOg/" + a1~xI$JZ95gi2T`,FQ Ӹf|ݻrknCu604qI"ψPVX`hLfL,V zZHu,ɻE,Gp =&P_Fը\BZ2peuRsaUV RIA(4 /Cld#t; ]mS^d2ö-mk LCT"$ w?>=Oߌ@q,_WnLLaCjtfPtX1I@ IL$B ulOUG&$3`lRW?!ExR{oQEeQDt7؟Le2"ZP8Jlo W &@|=%6Eob~(=~{-@P]??GokOH\y0إL:jS“DO<}" U;NHƏ¡k}|0Te Se ><Ɠel-1|P8kRփV-;؛$g}Ahr%(?Q?w`/eQ03v=䦯z5<L(!Y"2;D$]``"^d?Q>$ʂ'RnPJAc {^wrcW "7l(Q-/ ٣Tk:]=d@IUx%TTHXbe~k~d&SX,>╬ZWQyiÓ­Sd{9VލU%gX)AMuԫx&;'|'/XShI`DjfG@Ŷopyp3g/tumFCy=5;GopWBD#  ݔ{矏FXM 'z؂ J,s2=FP¤9=q#5jr\!&˲pmϡkϰLfF xExJ|^ͤ ^|C3I/7xLTHJ\ZT7{{4*Tk ڿjĜ4D~I^`#u?ىo, 2zXA/]V(}$tG!Zu=ϱGUکaǏ/,zV&SШ*7֘\< o{7Α,Iy"'ԋ$3PtO_d! `*neR|v5;a##7[Gt$f gFsO;6 %u OmŒ c(,8]Q;uRS 9 $ ̱i (B_[L7[IJ-E{WS̝.r®Ǻixe)+᛻U(Bvř+V2;-D<;btaTVK}UY>WnZ/@05̖c~BO 02OV8rN׼uϫ\UʦZ3ڐO({3L7O-ĈME 19ݮ`d~J r3OD}6"CzB3vi7t۳_:%*D;BT48"T.ݲe/h`_g7P ׈ajj,Eq.M-ϻXݧ(V  tY(7o+cG 2*];Yb%73; ȸyBH`,F/m K<,4+ .$1aC[c#?͓+G* Ǎq7Q=ިDhA+xȉ Dciz[Nˍϳhh>7ckw+; t CsR|D|rx=DLS_)H /PY=[; ɢ "VTxVnbw&v>DE~c*p90X/NDAZS>y)~UP2~NGl@zXğLQ :8aØNL nۮ;=Ϋ D93͇`eW7|lDvQۡ>ct՚_Aѻ3bkSwSϰ͉%E6?ȻQ1o7޷Avy(WCs"7kT2&S&m2߱emeHEp; `ZuNgC@aEa*X8nv `gl(f-D]7}g@>be,_ޢK#|'KNm3mS>aU+AG~[gY ²Y=z1&)X}oRZ|F)sٚ),<<>g~]P7RJG mAm .]E3zv 㠼j u2H뷪H ~E 'F-PwEk?:-6{)t-W`${+;.Lk. ͣ;./]mXKU;a{N-ԣ cڏCvR,fINYxL+dץborR+P`~nB 9뭢w0#Yܻ@|e C6;NypEgQ^>7sg2*ǖ790f1C1aWojU֓;~'&y2${A$E+?XOڥXIs`a,5&ccPM0Aȸ΍I^9 Rn)fN]_]*.=c4[{TE*jX,s`v_x|4 TX'|(AX"d~X ->vn1=RϸpPOYyT 7.rI]1oe?ﴝ3+-ZWe,V{Ƴ~3WCP8C瑱9!NaEHVPnڻngndS!w|RwqD8]>=uZGo'm\?A)D%s`];xְ=tIܛnõhw2^UXUQ'!%^Q`¯ _`#DwV 8 a47)"m65}<:"Z$ɚ]">K,z˺JLm`"^kbGk?'o(o`t`&mh|Kab[03tRRz4֌'BR`y"K{$RT;fl0wvi,LaԤlG)I gi`3wL`i  +zE}x:kGre{wEc|[Mi-+GXp>xYipҕ:z^LY:WW/jl )m_9Ɯ,F7@ 2ZuWz32_mЍmUCA.tVGCYo6W DMbCCf8DT/eH|ăQˁ1Vs;(RƣG'#qYROy0pB 9.Oo o$w1S`Ir\|m#}%Ai<6ҽ_ +0x$9n:ts&ʛd}8 BF(LFJC&\f,'28E;1aM;Rfg\E nTxRo=ݜQ3Pu-A4 q!?v+8;'op=[&[$\!w۹ețRv $C_1lYopdJ@22Ԁ|Q1wH霷L,%cn ]qd?/y' xYP>]^Ԝ>NZ/:=6yLpKO.c>%嶜 ul~,;ƭJCuFeADZ$J8EͤhY]>r*愭A3#a1w;CۡGkZ+ymtddYl=恵3NRhdD4M7)R )ϙ"u?dGjQk`J IЦqxd\ojzGJKn*˹U!"'aORVX*ktpj+tl 6fxVGFw?CPQ؁G4j ΘP5Q6 ߓB6@ rX#Dzb V}$ PmgߦqyqFT/yB6YgY8sL#ޕ I!eI/=,prܗQ\UqcJZ&Ò31:GC.=kЋDB[Ftۘ0T 6Q16Q FZ-3!W&Ӹ"=XKzs@B({ 5h J37NXŊ홾1R%зFM;5v & Sibe.|:n7@:#՞[2v(P H% >D &޿w}{A/ILBHɮ 34χ}U 鳜)gzi*`lC+@\ѫ`wYDu.hw$h:C?3>Nt0y ;oLu5/pj, b*&Oghڬ)ׁ&oK-Ad.KqJsx$߾ڇp$`Λ?42 &oou|uAhiC:?,Y \x,2JaVe3yjDL wkmhHZw獃`!*IɑrP@<4Zvՠ%dr@~Xf8|6#>`ăV!⌐OOVhW5_=TxU 7Eȡw Kj{(춓nbR{ђVS|p ?Phuh0_8pmɾ=\JMZWֻO+|(9} ziIwF4jfu]V恵{Q0BI6fYt_ y,ߘ1.EbI^&qR ]g$Ƴ`*5Ip}yiG{H3i }]uLeO&ۋįwqs5k(icd.N@Slww\k@/{3NzdZ^"Dm[bzF %.{K%_nށ8G;,SS 1XxADf.2ڑLr{ /TX_r?,곉_@+{l$L}z#`xZ4'gG^nN9)\ɲ&p%QXmjQmGgPɺr}c9]p-T"MNzbjXң'RV g"lˢ׀R+ T'r>!9]먊٢ 9\IYw<:vr^Dm8- JkWLk7x>cP-O'x$VKSfO~.)}RӃ@mr2 ĎƗcmXe`e,! 9HՒ4N'_D3Q#Da]Cp,&(Ѝ ᄪK:$4ը} E9lS솗6K߲Q5ehuUDi{k˗`_z.1>kH[N>oiJWo fϠS|e9(쯡@1R~, \y@LZ̾:6#3.g .Ή fT4/UI`,pe;Sa&LAr Dވ7&p JDuFKw6"+}6~~!?4:Tr + $D%)",Ysʨ(e/g}wi® g-$y3glNB|['Bhp wk 54$R~IԠ@_&MvDnId1!R$ЄFmqz9wT?JWֹL3#_R6+]f1n(kgzWq+S:JFe_[Y{gCU[S_Rd)M ;>B."CMA?ϟpٯ \dUn ̠|N|4>y^NQD2AEBCו@ҝ 4gxqYw-mF{u;chW]j@+h_չ57]@_3)e `*6zABvre֡wZ`0##9-Gf TsT-O8"h\Ձ4蘬F +m-n@,NbO@!5N'N֘Z嶘3{3֙CNǎ헆kc`>O.+H8kjbuJrK4?zsA2.:| %>գ<5@<@R8bQ^]^80)*4򁡄OBR:! =2 nFL|̞>JM{ѭ'~Ê^}'kCf_m⍰MMvT Lp wa\+gĝ6;xߝͥw1.\C}W穷{<:WVYynm8ַT3gvS_F`1lA/<}+ :ViWz%$1d7-rZӢ"#@ =HB~1*pg*y0c)72A~km6{)@ {9T4u dBp"+4e3 P5 C;d~%A>KRHçPX!*s8Z3;yPߓG5h=<7̾nӆbfy]U[wHE+.9Z&iٽlef, {CƝZbߗwсYY=@Frf\;;_xOw_LF3/P+w6fa P/%7$!L>ccQefB,=ĸݮE~/.q--ʪR4VC 2Ym>ץ`AX?i\eT8L *P3A]P>1S ;*)[>WzO4bbò7TG/v);b33M;-+]!4gF؁[p Jpe s9a8z6y{FEs*p>۱*SJ}fǯ6e"uѰryP+q$/wIޜⅵ+qe1=E@Z C8q!B« ļ "26[.#&-%.yo~#ƹmh Izo%[EP3S$zj@Rg4nQb< ⊐WO ,"ξkI>L 8Ƥi 0 w姜*l F؈:ǯKX&֨9 Poj+m@@ebzFC\o41$@@64 ȶࢢ0MyR omZΧ6@܈jtKJʟF&;9g­)&/g&,sqeD&bd5ۢb'm}!Ž˦\OYǯ||Q.{"7=y[ )}`OrqQWvZ ^-p?SUܔ_]0ӻ^:>*¤xjESe]iJ+0V'ak%hv,<uKY2\y-moh# *bwbP O;$"kY[κvɟokGm|Vw9A-E]UE΄VHӁ*54 Lr Q%[~p#ewYIr !LR%nܜ06wEƼ["kxdFPwX A2|Tx8Ŧڽy7j-ރ+o|fۍ}m=ѢA8 !8ұ\?VP/24 dꥠ-vϪU:=A$h43FڗpNg ӎjDx.?rR2*I7 2㸙vR. hx.,߻cрy^iсi)ybV_Yq)c Z[1eĚb+rfL|GS(!aclU&SG8h|UwLGF5lJaBրY5Q<2=to55G,=Or2nJ` 8Mm:ekm]E7!xb$Maz%6Sc)P BiM}bz[(qgi ?nG;ڭ $]hxLp:^]"'`fQ͗XN W>Vhтī `K6$1"ziC|IB|28{nZWRؐ>Ro&KކOPr(!EzާWy sG?#A- >W$%E~x+ +ZUѧs:Zs Zl]CbvhIt,8LBibwFϝzge+A +ub ҲٰrfIS xvY|ȍc_{/㜸8K^چXeap #Eةvg98⠆\BQ#>dtۋ#}:$js8\H<#\XE^XvhWhI .v_j<ȁxVƛytJkXZ}a#O5;mXWM%; eC#Vc|dOʎg(@< Eq(va"kMbYu7:ݬUĢѓrs ;jdv swjM ǚ]<%lH]^˂*[*^[Jx9 @6 )x9.mbLz\zq&Z k{I;d ў/h1YUՁke6CSRDڄg}F*+s(<{dRa/rjs{,:%Ϟ$n6& gI_' ;uQ7a,\])0l 褁ٚ{;ĨW|zlkFǯzl[˘/a]S[ t3q*0, ߍ R0hTŴAmHCumٮ\)?\`@h_F3? $J,Zj a!Fs8;J:eW+9&'2[x5^/&gCD8ZOz)V9s wVʚXGup'O^ڏ⬬Z#󑠪JS2)}U`F(ۖ6{&AO!$i>j۰kjKzM e*$ND _?(-E $GL?zlKB'DvA*NPa-o -c4'1} + Nx2Ve13M8{S3:ZjDh?߆6|FcK840FxP/X roQtҁvfI"gorG?&\ѠFO,51R00V@F+w򙀫Es% ,384܋!ZI1OY ܠCubh4Aշ" ߙg̮>y`dIq5$E]C9݄$'rb_],u2q/vyŻfQH9qþ>XR5.9/asZ*`5ƶL&Y~?^WO!n@~ OORxN)qUk`7lWSLDV,6.}T>Q'Vb+ܮR^Vٶ@:Wr iHIՎ )6qb/1XMs 6?M` NJ9}\s<㨞Y谓1>E*jh,w-J~.S\ӝm( |x>gRY3jzn{UbɘK["#L:ЛфT]$vgꡲ]뾽B> Ώ mnUI\ 55J+Ik y "u8VuJg7XR$Bֳ-g2eӞR .'Hw4X$/ N[ԓroN)JeAG%LE\ldj0r-`z{@Z'=P)NkJpo,a3F*ER0Z Y<_h=撅Biҳpr3_#l?bژg}7$Pȴ鎬d&%2W]is֮M*I-͒wj澵LBaJЋmԬys2ėvs,{gxt.Y]9%=fmh!=f3u @J*ĸƬ0"*G q0ѡr#jzC̽K&"vuS)/A6'IFD%kra]}HҨRwpw$7ZVCCEj&nMz,gC¯]/qm8q -8 '^61M+c'3x/a .RFtʩATglWȃ'\mR%Eqyu‡?qyNd@3)p# h?F)g 3K [;zb pʰeb(8Ǥ jR&d^~j8E+pU_ >r^?/n;qFK|b&5}oiKrLân<ٮ,C,:M!Cj'ۺb;|\5^I'= @N5lLY'CEx#ȲԲ?T#{![%B_@<B׀A@z>rwGhɠT{Sz]ݏڭɂ2:)gʨs_OÚe^-86)ʉb@KscAeu"sJ}r{Xメ b,}lL,v/b9  L27O9^vIf7I73!$g.)3xBYa{&[v[,PW)qtрc@@wDfr`aMֱ]ibK}~jS$QkY'ɇ|9 ;V @ЛG>c>#z!"p c53nAryI[t.؝B$i+W18F)kk@v0y+Zt` _f2ֱ K{G!ܬ=\>N])oX)i!lz?~ޭ={,m#O²H{h,`HNC$]ҨYKIj&\.9^˽KTkbba*ѝrdwgp.*ll̟9|P.tmB6 V)\ycȃh%d'td\aEGui])fV 6aM.5(&nR*8&Ы I4ߩԙb/N=]bbX NaTr;16ǹb}nɸpGND|qvhh+s^•aZ ʑ53Cz9ܱ`˖~`& =_Kb KQ#6IYCcxz,:U@$VN^2Ed?ȸ࣒C2i<θ[m8X0[QbCAq}6 JY%.)<?@FQZ:Й+j3 .(DonqdQyjҌj-J]Hc>Y^fx!ϼz1sk!n(]È M\̗b4$9@騔5lr Eደ] (PL] PUŰϟ?lj 2hЏo82ő7]?ODKɼVuY )˸N%i>ƛ/E 5ǡzbQ*JMwN՝Һu(kr1"w" *ھXc-W]gB0Uhi{jw9 }G(a0pލ@_ӡrF{ ܕ4F8cz9+7}_)yUdqz_o^l\hxzbésqZzp9F"A\L_WJe3=&dbSr^ 5I]>~D>$ʣ@$Aن/r j[vU+ _漉 ?TjZlOK ,,|ep/No՝M|%-S&@%k Ҳn4Jwdz~I߳Lm?XeOy9Hl~t=cq !>p[{S5Cj89N^_P0,;W\)wſ]Z|ABKרD%CQ ΢ڜpEbiѹ:ߺYn"fo,w5of~Ȍt~0һEw+\v gx,W@>_n(OSxE#qFacK"93٠'q><bmX(QyՒzȴiboY1J6{]kL!FFeTŹ34euX>F)M m&r4},n,QuH*uTrnRg9%2ϧ@@ 1+2US|~蝥|;x2Xr"UX[`KlAxdT?E̞p} w+HK폍 >/A4[YL*OŰ\TY2w>,'/iX0q!rr 8e2kE1sF ^SܲSm F-FjQVH߄mNC v高|Z)S(ү 1<+$DvK-NCb*m/*,MvǪo߷paOMzhH"iBIɍ" npZ_)3Tj1i>|K/Jm>m0%,KA} ގ Qv52Y65V pR4_V* Yx/=Jxt+T;c! 1[t8ou3pZZ*sԺb-GS.iljI0bL K9J?;\X}Ɠ>nk\`<=а%yk