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 p! L| ]]]HOL-Proofs:threads=6elapsed=541.429cpu=1226.484gc=174.252factor=2.277zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~&⯚{K8:[ NՏ+xQ\݋5 +Ր!~GqEI ;lB*CopU Ee`J 1^͝OLt2̀o Tt̊ZitjUus[|ѡoD0:WޞUS̥~9?7|h}acmy0漐<[:]zΏu/F$!Xך!l`XAݘB,ξQd).!cA"@foz튅09ODžd*Ju(ͦ.ߊ]e3VqlMby<:N3MtRW 1o]tZs m3Zu$Vџ궨V{;sǧG~/mLɍJ g>υ/ ʑRmAN/+.ꙺ%r?,M^I?i QXwc"JE_!@)6~fG7?-LtjZ `%xyϓYrK\4 DB*\Z.&b %C ԏn[-Lhm ܡʓPTEWĕΛ':\ 8VɀY;5B+u&o{UGoA-sэ{g''AgA]AD37e(]FKoP -d -MPGWH!88zU!3g_r#IVl.c83ߵQTƑ0K)_*yM$KuFkǮ+1<= ƿwnE=):z{=U7f>tnW,w"T 1{ ej67)w@yяJl)yxer=sf!]*nܠMk?E}ޯ"7.Q6v)q<x`JM3ϧb=MgB(8aΓBF #k[2ҳw:`ҏJB' d6V.FDs;D4(lغnV\nPS/oew:6B)R9M0j0I> #iZX"3 U_2Uѫ2мV_zQ|;m oRʱ<;kdEHMS߆mS wҺ#3)Yø!%] ?q=4=PpKdnTeˡ4 ~4Q#KUHn W76-FJ[GialH/sl@g[s_8ɓ!8Dl{t1Zyzk3<`u3!𢏬 Ĝ'O %C>4C0n2 2YiV.u8C%:>$N(cu\Ӈ\yAٰ5 56t$NC'VbԢ jzN]"@ui|EUZbx1Dнy#jmhLPGPAE%N2  ! HOL-ProofsA{FCĦ-WMn-d3s4ޒv"r:<͇$<; 1rȗ~{ &oHf; =U`sU!ӥ"F<yϦ[hY١iVہ\@~A07^$|r-g9(IJ8(KNWLn-jo_hRŅctPij{Hf VƚOB^8?ltUt37o;|8[$2IJPu CEytM=y`z*$CGg&:ʲP@iq!Kdf6K>,$Ur_Aaz)׌rwreiѝp,Y^fXY#u.Hw`ˊeɇN~߱ aI%)`3pg 53 <7{㭙Q/,MeoUd)j_.Z!|TN˯Ƒm/\2кo8=jO{/ l./.r"[>?%8L"dXVJ. E(5tws!D,N r:RhjdTxa+Z$@#+D0DQ.wɇ&1OH47+#g-f9h<D(qUn Av˕@9vom\ϟ gz pܕlڅ: L%䄗ou;ER _hS0oٚ+J8K~ %ݸ ¥9s8࿋8l2Cl`T8ڽbz@Z"M Vn,]'?ɋ k ($L36ƼvpS9~-`כ {W-8+se_ANB灵)] 8XdvuCf=Ƌ.)=FLC|Z XK{Dy. ǃ3G~s`v&(]TIx|Mi͔Lx"k:rIY1:ExV! .PqkJԒLxj}(=u1->GUwyz=2Ab.]QbG}̿}GXJ+Lj;9gڋ v2y N '68v?N)8u'N;x2YIpid E.6FFq-3!t`[j/?y|>4$U^έ mJ|ǯD + .v>r{ c0Cf8x,0?ʜ\v!g.tI?AMmD7KC7~ 0B(_4tHU":1CgOG-;|"qX"#J0LK|+qh:WPX`ݹFc8 )Ǖfs+wOK3;xS!?lF gV-Wӽ,5wfqBݱ7ktXAw)Cd*b[Mhqp#FV3@07G Mr6|8`ɲ4b+ui' ϝ@tpCQ1LmOH:w?8NMfj<4_ݳWpm(Y!ЯO\Ze?{K~U-zо 9fΒg6qe4Pqnz¡M&z'`pX&nKᏮ#!Nb3XJt*/ 93iap!Ke넛SJ nA9^rZj[k8Ti2+bpΑ8jPL,R}3&;`jFQ{]} lB?)lz?HluK{8Bf>)P,g:RG }5"NJ@mSrGƻtT䖷Z*~<M;d(qBzeUDQ///?cgo f,Fe"PԞ3YʱP,nR>: 2Ro4 b+ d)?Z~%Ƨ/Nй /?za{Qd:K˝m(H(x+)iK( T G|DHνls`))Z[;d#ru`͸m/@F#Υs}|g1(TNAܯ$hcUM7,1T׭zfQn 4fX H b+턳Xџ ,C'U o},C1N͍La;<!:yx7VvJdR=GaYt+D Ss[y֖:f 12ǽo iˍ`{y+|[hܟF6 D voͲ^^ lS'uLK6 j8 5ik'ۄG 9|c vmoF,+} 1lK4f )/Զ7wΜrgh.}O BvR| >N.K,^N^9x(F ]#18& ",(|GحWW1ܻ> xAY5'hN r v<6gzԏMbZEf!¼~jK׾cHa)YڃT2EW|Dt2j9EM!!B0c3JB\%`^ )66q,%}gw ԣ7N(ma ܴjE,J׋~ꡞwdH(be_Y ZvD=7k?G낂`-z!2NU@M ]Pc\1Xg֏?!4LrV9?(<z;<Y,e2dˆًo<[F!/;}v&ی\sip(ji{h>⥱bG$[trX0a&_{!O <Q9Wj{g'7OUXAiNzTަ#bWGdvڞT Gѿ?޶ɸ.y]e6`di:]$U1mL"@$Kb&V c?:^Tp#w'g {hyp$?5nmTcvs. ^sk]nXe8 ɋ 5ܗHEjr }x ˕ FYk}>ČO|Y-WX!{Pye"({TU'UtCF/uƸB*I\I)5wn$քU< \ipҹ /=dW,ї4? J G:0MskUҙϭ5$oK=}u邧ֳ7LףQ[eLjyL٤AĀpF6W{-cW9x4}K$@vn xU1Nmy6 _a -v$Ӳx2+#f%QQ-&1w݂Zjf3P8YȪS`^[sv8բDSD(Fҧ&RpU"Ps."}I0`) )'\EdReaۏ];$bH,ײRKUp| Ī }FG}ơj=xRn86Sn 2wݱgYZ7zXZִF! Vkh]ŗXi%;3Z-YiԮ ikG(i,+B)Z}o6p䀱'Ӡݕ͜,ƒr G_, -؊\pJ7 ]{ Dj62v{讓 =!pL'Í㾬[y*w.7a1~8;eΝrn CӺҬc1X"_;#P @s$idFZefԞ֌s4sJN}>FM4j&hX tgMִFHkZc}i2ݏՑZj¥x)U혛Q9 /br f7NUIla,ѿGȂIŏu/ɊزvTDzPP3]с.S9VEə;ss7Mz:_jk3y2XYm 9vʑ(QMz۪}Uz7L UX~R*2  (441(3Z}̐ɽN bH-~.iؓ_'M >I ǕIX;}yV$i ۆ(&0^ ]V`]DA-[$ hMԞ!nzC)IWI e1Vժ}]ꐱ4;5 0oD0~: P m$b4mR_Og{xIdՆ9v;'dF 7RN'?&꾿J)zsR"u:CIt=59Ԭ兄oaY"))1ߊZP6us!^Bji hnY]I_9²K' T .1Y:%֘ZtвE5cҠ+n5MOeN Z/ d.?4pγK`t>`פj ,;ѷq3 Hgˬl{%t/aLbp],#~J궰usmy~nx ZVxy,]JDjjk L6NK;44acXHjجJ| Q@^Ӎ/J=c W6w$C\BRM\M7@ٓ@>=Âߧ`tC݅/ B 7h8 $$#}҈ 9Am)88JrivՔYC{TXD( 'J#@_V3OuRVKM9G?ڣ[Q[rќ`NDs}OC|x<vE_ Lwu f}@fJVTܫ K!Ͱuj?T@[F͸ǡC˯@{ 0({D\3zj5EmR$TE rb>vt LmXʎGkw|Z`?eSMT[ڮ wf/ndI@b$+oJ3-#s͵L™Xg"N = F=f1]ozBPK &PDIG\S3Td@mfE9x,F^A< fYCݦ~ @Vˬa{y9kNMY@t#s^cIid!4&!7+fT!,l$ ii!")ddLkh YsPM+ M219f @KauMb)te.0AzH_rٓ EtUO}Bͨ *Ԯ{vHTՄKf B#\Vu?w$#|7<2+"x>o5R ,o?WC1x;-p&etY2 PIma"$&qku.DJgTYTEp^n0'i7U%tX RDZ4-^}qi^j|8Ds.w34b+42!R)ŠBm ]e"jhqJ^Ro`z~&39]r_O$ۛmZ&4q $Y;w @;_VWaqaV~U5ճ !QʪGK%R,=Y&5/Fu Py8}K򔽡z"z 芻szoNp;q3RV?TnTU9];̩^- r뛵Y>MMa`MǥwbnY_/ HTm p!2w5Q)iHcwS[Aj6N~C$jИmt;Gc. c<!dX2w|{de(AT寘)j QE٧fޑtoOm>6~22%6@~LΟ1(O"kqAg z(P ~&D:.iEZ'[٫lDP*'禝noi5#YU78χ-޸{-+NA:{ GH'skWyhqRK]exCjYc8r<2@Fw`yR{Ƿ>}^2]1CB&|sHSuL93Bs3e7;Dfmi EUpd M]zwrrUl$wĊQmF aqsJ0 $h~YӝShxz<Jxf7ݹ ǀnXȮL-%_X`?YgJx韙3^Ň9,{ι:=G%ޯf~@I}0@HN4) . ė1oenaqKT1F$f&nb;P݌kҮ^PN'1o\c1j6G$grz0$/+WQd is,#a*F:WwNb4b>EH7>]"r&|PS?G=B)W:T]JQxeu?LsƐ;^@gB3P[0Ȑ9D' fH%Sc4؊~ ,vȂq?4:%qԬϋ>s٦_ބx74_יژ5+,.~7s~d<15~zkOa}O<$݅CI赅`nF6$&q =vkf(pc4:`(K(^ >4N7s>"̞f4kĤH/uo(P #PƺϱF|5d4|dv!Zٚ!7FFDTe"8r W*T"fZA 4-/G8m1V,U`sO >\ fpƀc4{kkՌMt@W.̗&<7?j!'evy ¯mܰ`Ǝ+X).'r*/Uo ֑\$/a׈2\WauG>uꄆMj=DZs**޶W*tj,lyLILM+u07N@. 1Ԃ_̀\fOIVk-t0Aw,aPh| G1St)T{Z-/CZǑėת,򧻊aswԙ wCx/gN"MeJ4) rU#m,m:Y拢)|fR%@ʝĚAfh5{*h!g!<;Z-xTcZ{"}`+//ҵΠt%ơjvX;,R-Z PX7p3{Z2 ?[ 瑀fSyۗnGD3{1bX ^ /LuLN /K1t 4ˢE(Җ(hW|^ރ [>g/+Wr&0Ԯ;*rdÝKNL@KR{A=Wbx:aԯ(Rzk:Y@rW#%/PRC*:T~ԡJH{e.Bfrb)8 La*(jUBB"Tl4_y5n5 : Yc*]̬'-78'){O+(i~x~w$GBX?T>Y >^RqocaM&qGn n>MjVmm&)־ Qmtgx _!|5N/_A4 D4is&C.!)[4+*]hcO%fLǮgTD+C#5)='(3Ha${z pm&_o?dB'_ ^p34U&LwQ@TgO'~R+5@Y?^Z$ǚ;nw0pwX#ex M  [h_D0)m0B& '_:9ŝScă=o$FZ`yOK et5i?#Q2q[RS#bV/(p =۟ Vy)~r/Igί$p g]뺏Y-yԲ+x4A3 "$f2c1hcd`v~{ N1 xjsOVv3%fП.̾2UZ.<߃0,a [v v>xa+G"wuVWKk!A.pۜ'ZKh%}2LX;浈Fd\i=䇏=@K*a#F]@}y{KFgnp3q&FQdьIQtG%2[ ͦR#bBH%]vWOUSl@'f\)P6SڞAEcӑ.ab1<%4bᐈ/WDDiтQBr3S*gq(牐뻿RZ]QyHqQGJfx/+n̮A*"eJq59#se.ݴ X-Cey*oNP![P.޾7~?J;ڌuP\dol:DNPE!mY#-u2F?-;=ʑ&&E=$dM1q[B63lXuVa$ ;j0X5X S!X?Q)a-=wijBvHZQe [J16G( ̡M.Ɉ8)+ݦ]2t,)5g.[='s-:Խ>\Olff `ljB4}ϡF-si|ƚ#-g]pS5Ղ gt>Af.XId>,Z1Ϝ,MDs0M7V`4fdS Kđ% >Od,5;J 721Wz̪C_UZ8+\jdAY]lNxN{gfgvYns?-WP[){ϰkdWg+UQjhBϊswQR&ԜFFR5JW`Wc{CR/CrAr&ߖ=_ JiYI* fQqP4/*Y{:ӱo qjm+Tt6%]*~:>œ<sDs5 һFi0:b.Yu>bV'H6,$l'CdɛnscJACkh$_7dqr~)Cs?)x KW 3$/yoa #B1{?nAcJ85?0#$FRQֺent[#Z/0^0}'aJ:O-04gօzq@p9yӔ! |Bvai_RV@ }%іKy'(FVYah<좨R ʱf3qI߱3P}>4o9&bPWAV.ti"̛۟y$<&.I@b9Hܱ暋w@Ж-&rKŕ& \IBMn5hӧM~g}Nn\jNڒtG@VD*՛fnҌ綒*@VI1-mBNVWKZ71Q(Gk!= e~gdP+̅>&F=>6pfthKNRFng쪃?ނ-y*Zqi~"u}ysdͻ tF;)b\D()3 o2֓.^Ju?;'j'9|w/ˇS}t[uƢ9dJk#a]a6&!DJл]$f~YiB-{aW8 #kԹK.ZƔ2$LWϣz$k+P,bMyB[dNsѰ @OW.+Zҷ !`| ;>KLY0s;nV޳v3CS5ho0IBj^0&ZT?PwoM By0mC 7J9ek|ϫL7rYss.J'ܘCPzgHv[aE-_k6u;u, 3.+U漧rmA%}z5L=hyN\@p{G\WKuRt}oZ4*PH\W9*s81޾{H[Ɍ}.U|U() \۾ Ea'7sjr]}RCai] >؋"t2S?<棌NI`xt yQ{e ?m]#}t}$򆭳}bkw7m#x<zܛ+! lIgJ[b.+>T |(vȊx؇F6 l.:t)Tt")%cTqYEOEŅ ȹ߲BdC;|渼bµ*;&3`!)iPp祸wƟ{0 3b5}{pQD- {:NɑF 5`{{-fOmH(s^v/va7*f97 pqyeCb9$(N┗-9>y__E̋gs)I߸SfRļ` /JDnt^&vTDY-8%Qab2Q*A>ꝒfŊ Yq L5X`hQHfۤ| uF]`M ~d<4Fʄ;r@ .ھ"tߧ\єv@$'V\9fbXgwTW\quFzC:g>_9S4W<  |_{ɾ'r3ۑ<ƽl jѢKhW-e2: ٮ2_Ñ).9|\h2 hΖ-A> 6?AR1_7?OיWao!DLe_ȟ=0N&~SKC8n'/޸bp+Kd_u|u6JjR[mhj/;KRz{Jj$5 {AM#qy2[1:%ŌRMcDKy ī\Bvր Mcm/0;HEKeS lc(rZ⚥hB#vMʏiL+)Y+VŸa@.Zxk{],|wz;-@h"|N*,)J~+Ԓ0Q*ݜ#y+lJF|t w"pd%*4*A]讘sE$=!bUkgTnvGR}Uw'h"}@Lz>fϡ*qhɲߧ%_HRMqEOd͂ [;/[EoT4X9G0=>|/94&v,$<\?B#ɂmH3 ]o[v \>R1͙nt("Uj $͝1`6}/i@i,29œz|k&>³w.)|CPA߮2d$O.:ޓ6O${žP6vϴf*$yiېeB.lIë>co.-!mXphI0YQ8.OdG .:;W Tڙejgd.-=撚*3SX_q}"FTˆiP ~?ܪ3VQ%:7H , ]RiEۺ`Ȅc}n a9jW4A8H즜KS, ?D^j!FZJPE~}~53آ]>վyΓS~$ 6q+r¯{0P?H~["@񄁖+ 4M|,,Gp~s[`~d<1vՈVFUHHWHu@}`!_ŌUt'oiLnrM:[HE؎@zW[GPth- Ӕ*h3%PTBO N2p>` I3gHLv(2Sa47tG1tgpUFѳzie.kK̍gF6 UHesMLӡğ=Y6q-d2 +R|\]>E_ <٭lz} DtNWV$9>xzy|/HPTG* J[;QyWW?G>nPɕI3xXHKh;(@E>K0 O[!6Md,kqV /!㮄4JS7~r跐 1e ȡ?2h }ۿPݝ#P?V>+y 3iˎB_gRKҼCT.܉F]:A"_a7vzb:IKwtoff? %mLOMfk(X3}hjrfÂ*y)|0)A`_= 棧.CGxf8'Ukos.k#,>b b\ jw{ݯcBIqpxK2bpU*y o7F˶q|^PI,ݨmox#y. O 1HszRJmԧ'6 NX`-%Y i!`oڎ| f0mw f(?Nsvdr#~Q(.40&\ c&S؋8"#L( 𲥩fݔ֫Ѻ6Y(N tiX3O/iJ䋋)EQ!C׈C`2?ۗp#. K?U!Pюp1UY,MwƼs<zƹ^S٫$t7HZnMkBafoCƓNջk9/]h)Y*0A.Q 稙c:;&>^H/Ό+=~R[@?P橖Z]=] Qx q [~fU%ZصLښ zLAy.~}/`PPZ 8ɤ03Ȥ$)~ar= k-1,X yv._d/X:'E uZMIh]4`0 [mC#A]CONA†By}ПK"dh@<wi3V;(npzs00ek=]B")|g+S>_aI  {*;MP {{ Vh|DEW*bTW *A>*jĕ'V0kY}8:hLʍ*W:JɒҨWCp)A,սsߖ*YA݈_ @BdA08e8~3S0a9,)vs]_4 4"%A$Lz134ҖjٔKY @ti&X["4>۔yJu<3V(%J R@_srsO l4`ko*;!bP_rK`ϼvq#%Zod_WrzU;Sl!vj]DE; ,mԞy<4` Svk1L,:7^6ԕfh{4XU߲M^&Gf=KUznZ&O`Yh *?b[4бZ;ݫ_,{AtG"r1򑢇3@Q 7LktW W VQ{ڹOWxW'gBH$#>AaLoOJpfvpWVb}ր}ٻ2P*ڝF1!lxVr Cm -$? ߘ7cɾ1S6W# ?p#|ɤTR:٤f^hFO(w \~I[`[FJ-WgcPz]9(18Q*0 PmP>NqKv πG'L\[o(v_tD$Qp6BuG,!޾73X>"*`ҙ{~+o-O w1]ݑeMˑ_$*~{7 E|fE%VLZYU5C܆ČЂb뮂 Ne;QUw:@ X𡙋tr=(wkEx;S뀆 +;Cz89ul&TBDbPlVQ߮.Bw"Z u+~A{A8 !;^;:EU"z|l 7HM8VSdRrk;a著2"Kx/̄ +]Đo倊> XqX:zY(wN2(F Yك0vO]?=G ){C= mFz&wy)ˇc|I@rEpUտNV E|]I^O>1)}7(F`~b1bJ=SdǮ&5QepghcpTf:NIp @a~eAXi v:9ѧbWH3쑦2 ua Lc(hsZi&+WH- ZNSߙ(;t_lV3i8ZFExIUCS.[Mݝ3/PBSUkGc3]llVDX.!W>! "Ybrc0CZsIڬ8i؎|V ubAɱ@|LwԂNAܖoZ? HP/4_SGYrO:n*y)tYAf9a9'C Ƥ+mZw(eL[U6ŷ @y l;0D}-+3hJqN>(GhtpF>$l~X4SH zmMGO59!->$w@Z9MYp e/G,'Y"f;;y-O_JRڀX[P3 _Q]%ò]ڏn깆#k=)e S hl`Q2 =CV-tTK؂zϙk<<4)a2նm"ɍJ H&JMKp O>Q]Å :^Fu`rؠ#`*:/4Q6 ׃ H$l"F%Ҍ֑m}}NL- 4,1%'4O1f|@4.3#W3cvJ0 ܲ)]SnȎ#JEf1zjk@>']CHϡA1w. 1a `cC S)*FaTǁ_}o KhחsN)D(񫿔ăR…' v%.U9g h`"B[,a[%+g⇸# XQRp~S1~g)iw[NWGa$EviS 2scȁRzYY0|RػߢF5Fo ((xkQV8610}')?ޙ/amtŽ2A[jT ίv9bW'[q`L+f#*™T6>ҝNZURL8ۤ:bZ^A/]DDx^YC\;J&aȄUaZCisu5R>Ϥ,Du5h2ɒpG$w+m k!pAF=p,-J!Y:mcZ=_UI{; ӭ@(pvR%ZۧI#dTJ@%]s*d\3\mi?c HFNBc@?e$7Q' IiMv$*"2t` 74&ǜ(onCٜA+Ulp`oW̱l!|=콏X)XǴ̹ "l'Y^֧?_@_9u&'Y9kĕݏ5A\7`E !u|&uI9BKc Ⱦ v'EW^+;d*x wK>XDf;a+T5 `s5u jmI^ 0NޘLVmmE @Z[;`ǹW? GpďP*/4HWGLv R?d2No`5.C @3]DpxP Wgh%Cg.SMM_q_ K)(<(0!%<i+F<[RWG{!dcV]4R% '0b 9@_/Ӈ>&(/fHş/_^$Oɑ;8> ]\NjйK_<,wKhc>½d.s%.Npklg<9|P*lQ۬hH0ΧDRٌTM:Qk'j˃?g* $8qŃٛExdUű|-JXdtIƯ FY*[#ڲsF0#{y]*=Ǫ\/$phy: f ?} {KxOJ%~ *Dv>Iǝxc$M )wαο kw,΂fcd|iITrMu>?Eq" _].;*k2 xDVi]Z~CHIj8{APplY{5sּMVK$RqG7Kd=Stß%QHd<>!(n`| xeZy>* u]SE@[LOܥȋfd#^?S7ŕhzjaH5{L:5Er&1z(0ٱ1Lx{npvj؛/t0Ug~ֆi\I!h2)h]y滮 APN: uRX x7 2Co69{әO3:bg AEfj&H_H8 .:[ԑ5O|@Y, Fߥ* Q(i:bBDEntA~t!+,D~6ɢwH{ԌPu[&A!Ft&zWa٬EOZߤvAz"q \LĶj֔sN"Bv@*ڲ:BB̑b^WF/}1$-;[D ,(y P/،~l3f/&t@S21蛜@'0cحEMзy}3VsJ)"͈oQ1I;42\QHghXA~0[& T{&=peC()r [4ê~SwQw]u޹g=Ea gj^٣: &мQUXH/^O7׀STߏyaD.\{ѽkG{*-7AuT4YgbO;iߥ s.iRV9'h3+qz\6c%sbIc[39 r3硨[yƵKGkUb7qyS'egMҿ0e0M^.>s!_@U'd`u}Enu6@(ݦy>mDsw?%fKYy d)-L sENETAr ,`ŠpB`ү1.Rْ$%ߍ _7N~,d'l(tN֬^cz{TीO8}# iRօ-L$Nn1[xg~~8gn_zt$T%W 67E7Vp}сU9o>"ȋE]U@B}SfH`jRNO (Ipdˇd%Fѱ*/ #ADIQ!9/9p<` #biڵNJOU -]^Y|yFN[FNsǁo".-ݩq}̢p[&+IQEVk[25->:ӣ8+T X7I%^ƥL²Iq&kپU)~XEn N<,K9)5.yxa6 }W:dcLKZrb[tDKWZRf;v` Om^|%sǒDyW6]ӎ75صcv.n%re;DŽ#|_Q2 ȗs`AiaGBeZcmYاۖ9:CW 6>"xpT1`11@ri y2i\@6X-7xʮiN7U391:yX|;^`\y-K鬲 c h4wf˘?2|/],-#C_uXǏR_5?Mc+Q<7>Vm[oB>Tl2`Γ] }m:NcF:ĺ_!ne?<t_6;^Tz b*F^H u70Q7mgu@4 onp{&>_+[f[ ުKR/;i7.bsLBu tr,{z♆BGXeb4e&$BغNpBeՇ ЪKK:R/o~uaISc`I|m̭/Z(ȡjpo7;$|2Mkp"1N>!IԎ걫|"yV`i.cyJ*-+1!ͧapzE ;+aK^^u%X-AG9ߜV~uia ΚWkeIWap|PMgH<6^aj\x {uKJ('Jb"u'Ѵ]3u=j`~6f^RQ(qSf̈)eN-Wsf~7Λ //DR IU{*4^-;/LnW"+mW\euL9xXev^X8~:zBo;"d`۬Dx]Dt[#:20`Ǘ]TGK+ h(AHvB%CFrޑecWjhRgS;cHcpwj6&9f"xR{vx]΢А-8޲SBsC5)nSf-G#eg72s|xZ ]rTgT'+sfJv|ie,?;R,魯dxM妦0b zKhlR_L  d*Ä)%ph|@ H)N;=V+`8 VI}YE-o\jU4?FGL Lu=}$L#k3?'7¤jN3!a:1CRPR4 wyU韞.̸{l`ސ-D.$I<ծ^Ps;i̴э15} zx09X5슑 # 0GmVھ/0d)pp5] %#Œv*&;nO'MP*DU$NZN>mmtT67/{mL`֫ 5p+.{xC[;U{?UWd5u, Pʋh' Hk #ڝOiKr/Z2/ܲnqA ]8 A}3nUCw7[@=C G.|pA&iẢL9qxWD؉ݿխGqmGUװjQwnY<'A//*~Y?F@(?FV"t̒/s\-!-<ރ z'L( *1UwFi9#3ܜLNa2`|piͼײmn /Hc@ZE-57.7m *q"rκLZρ @^M06xhpLDU6Ҥ-݈zL~ ǥ˜`{^1>Fxbi,;NӨbGEZ0M"ͷIb ܌qFS% Ȗp%4[Zu-'ʑNS]Wx.jp>ۢݪJug,9c!"3[2t@A.9S6|2a:1Q0Æwjd)n/jlx46}D7.;i`oGTmh1|EQc IAMs$-i}""*MۗKZ mECe[\KkoE?gj<.1@ܼ\W dבTFvω9P3ѮkٝO@7Ń`I0g&gQ~[c-Ѫ`Q"?\,qkazߦulNElcZ ÒQuGl ahOSPY"6~(rlEn *W#ɱ< G)Ǜ5XYZl?^~z댿gPi\^3ۊ  $JSaTv̢]BzY0~=ORANCA"&tKC>tEgOw٤8XĈ~7TF7J6\[\<Dp8'k ܳ>@1wL1/c%ԹR5ڠ-_{{;