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 @!l ]]]HOL-Proofs:threads=6elapsed=731.082cpu=1737.024gc=213.676factor=2.387zXZִF! y]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbNfqF%\oPo1  ~bXxzLHpb<\,^;,jZ"԰.s׃KQ-||Տ}c4h0~ KzSh?qgn1PzUZ>XŽ2B LGt8k 8?Ť!!]yuFIc[7x]rZt,Se\IH`^³qߔI_T}P@EʧҴ܁mNxُTz î8"Kմ.ڨzJp*BvbVqd]L tXZ[@@2aaoUPHsQW9wTCkFI\/]&妌/GŌ.OES7!X8j%PwՌ#qt:uC2`e1 kxs92 &N- v.]n6T-:V) YH|My*Y:=om{Qψx\-w sR6Xt ¢R25_qpN1zbY ,,#}UdR,SXw3wc ]-g2wbĮ/r})b:pri Bs{*C/̧0Lj Tkݚ ůĝ\[#YXW2X pvԓߴӋOE{r:CWe>`7a3 VZ fb#ZS1ėSʖ}I2?( :$q89F*6vp+f _Uۻ 3_Vs_KAB LA.#7j`9cP8uQb375EW;=)oߞZ!gB:>Νp[k۷ʟvά"G}OIb\b<H& n * HEQwKuCh ɤ ʅMl^"2{v1 Q/{Q`hK6w{#~sX7*.X wBCe*  ! HOL-ProofsŅ",LغA&ېh&dc>ET9qr=p1W>`5{Go9|E_̐`#c)[@vKdrzg|\aIlpݩjaM-֟ mh,/Nn(vʺ,߄[QJ9>XN'H` ЯCAwcLKgCJu%{Y\nϏS 3~vHU=†)粎JHM L7q ȌvS=P:OzVJȾfO,pP^vt~V7<ͩF]}B4M|S5⦄5o^uО;p=[Zj]\Q y(J6$g*~&iztpϵ!7'7 \0I(AL@vn))sNi:iZ458ЕjTF6gx:V]\ҧۋ 78E[2&~bǽh]$P$AɋE9kkTyey0 s&=&ThNz)?ۇ%t#9[p$>Nf&}_(pv3t)V"3Ԃ<sz >~@VCk1y4"1gb E╽sP;`^`)&x)] 34-UoT0Ahr"Rj4l?QBp@gFHt=TlI;]ǖn@&3ؒf }jqau ;:'vrBZffڒ 7t^ P?LIQ pFw Y5EǭwtDsQ2UdbD//u>^'2UlY4 SzbAhsHVYyby vY;CfoV+%\C?طiTP^G l[ X׸\h3WZ/ìrdVݷ#m͗vf#ricMCn>l; w($Jpjm(e1Yhx1oJ hс"]Xwt.(thL%Kaw0׽X*lje @> @$O_)3*_ʒuC@O[ϱp)"迿(c%xΉ*( dE`JQG_oFF)QR4< s^.P[Cߎ&{TdSp0>>ν4}c2 JrLV )̯Vi)%הW lw/Hp{5?EK:)6T1n~i xQ (In樿O]cA$]|ǜgⱽOPXf`vP/UVm/:tLd U.W2пEWj/V} %oŝ%稓*HQU4ֽl鳞`!oɖ2;gFoꯑLSfVwbc#%j) ^vUe:^Cd.\hjiCh/7>Tyf`  \OY5E-ٞ+4+Dvi,/.f$ְJroCh`w7!Yn _JNMHl_g >\r.gwӐݘmnP\_րn߮-'ύܮ?|2bm.{L09"fܑۖ,~(ϷoēUΖՖ9 Z""sZ?w5d88l(g1mss~ -'jӃwF'g f?:n)/`?4xH}\N,VS ;LY\Rˆ YCūT4Q\*#V%W}ttLhph Ps'm{zLJl,C:E!FV6Sd,V]aatqwJmi. @?!v)w^lj~BG#> yd%F!5m+bfJq &QKhݦ~f#}kPvZzż]֩[ꭜcT=:l՘WhZ83N*8 l->-xtY%uKGҲtCrM5p0733 bzMR݅.Tv]VXp<Q2ƟdB5}TG4^x8B@DI{(܏6W^p H9%EP4gOV T>%3WˁpΨZ]׃bhnTۣ<La`xm娜GWAW),E f/e8w~ڥ`~Q֑0Vk"x|0c)?o.xV^XCQ GT+m-IpvHsiqE7gYZ7zXZִF! ]ŗXiɟ29aoʼz[%U>EM!!*X/ȢJ(,~mV#T9V6 SG4ѢOwY s{z vTL4-z"0=칚n\?ns1o9Ā)LSm2aRl\&ت`s2k<"@I#0mPu)~B' Aj2 7#",;c]PNb)ىq=H5 R({5;^OEn0iV 7g.CvGXРoׅ] g_c*'sflsT>%dy?a ̣$Q^ڝ%n_]z>ZDGڷݏ݇`P>Fqn=sQ{"[`0hiA'J㛁>@"^ͦLx! @[GʅXXt$дC^TkgHdIQ17 ѿH&$:18eJڰwzvҬHdk˘9 z.'1x4 w&Ƞ-bIyNLk*yrb+ˊ["z/RoNggpwhy\^Y#v 9旓wIњh2ҷ_ *`[E 9Wb>^ %k\> .Gد<\c܀E4E(71$ aYuϬQ+l;/{9 Uu-U~NtZ!Ri˟ uuI:} ^\#!JOlLU #)bk>o/_D^ANlxi"4{`ln¡l;ᲨQS~Э[; 杋 sVO!H)Fq,ǜgµ抜YPإy+;AO/tu;% bXlQ5 a-$voL$>`ogy}uJqjI>Ijՙj7:ރ!MgZ֝L1Ftd*ins x-cv˭1޹l F})3حl %@#BwkPҁ8u?$mO>bGRU 4azAƽ*-c'!r0xMl9m~ċ#aOqO07{HI> q],-]Q4inY`5iN)W υ홮$+:EZ **MWt,BHfmhkJeR&(W|"ZQ׾"ML0H cK=̠e.A%Pw8E*Hɛ~~ZwuuaYAvaaG.)YB0X#d;P%otHY PZ _gj.*-閣1?ȱ]vc`gD"m C|]V0g,(,fO+Gڞ!aj,JVKnA}e%LKEwq4+dvU W7J '=yu y(z~uMFp3 Elħte |ib`V],= $gOO|ؤG r[ ס8B%r= Qo, љKS`BGk -) |JCŖIgP,ĎMnKьeJL.@!8-Hn mWS%vN"HE6gL,at?4kK_jkK˩Vҳ Ju \-}B<+}Qfq1vB Ih2Rh :p;>l [ءN0I4IՁ h-Ȱӏ"@lC5u*_G~R.*I>ɘNAQn5z=Xa񈥕i5@+G9?Evz$7g囃ע };nFO0k613e*Cի:VU*3|e,Ns B~]~\~^@2z,jt٥vB!(~$ɷ6:"`ɻΐQ[ʛ(/!0`yЬ :yu؞gy2R0QA zX(ik8ȲPL0;pVXd4…__ =FQQ7P+o;}ZmYG+'dn@Kxkork!'#xkH ~ER<  pR;jPȻLQ9KISCT+V͌g`6gx3בP }^$ѫ gY(<yjyq^9G: fT5ab 쮬' oDǸ=q3dm֨1zz5#ձw U>[BA](wijµ^AՃ÷F2 DUHK9FByÐҘBpTOE1T^N#b 430~SZf!%iU醞D.VR=a]t:Lo0ŢjPL)-BOl VN ?Z\C_c$Fe~yp0 ID2~eТ{z Eݭ7KLgg4>WN 6Sfof6z >Set$Seyȳ(~Rlv&1$3 >!NYh&>|Uɔ$5xiY2˦1FPݢf%d_e\+g4HFJ~nEs"U_YkslFdW/HPq8UhKt)Der5$AרK!pZ.~k7OKNNȓWȲ 0֪>R{,qeì0`bQyA>|ܷr, gkjrwb`,_GD 9(u#=Q${0J`RmBB<+zt![|: ۋaWaēQ;69^;>aO(8(-FL[%y,^ F'냠0Y4/"^Pb^.Nw5fqQ)+ڗVD&hGv"9]?s&ǖ mש>5"֋!ZT3g~q\fRIicNH-W7 IaFw uG1 jVy|4'UJe?^.MlʙLΩ__ Ss_|?{I љSԵ7+ht?ٺ* b$LeXkak 1;,Y(%Q֨ۚ5^=6>NεgbeNs\Ϙw46Ls'fYZhB>]ɾG1LK*;?AN ۯϊ!U b(v%IeT6@,31&cWvv(cߩ4dWr'HX㥉>Lz}[yv tO6Tiݢ_Jf(8ɶWzPd:.nZMzDx ' F6e{{u\)^+>'!'jaϯ4Mgx9";byo3-o}@c}zuN-I3F&(,UE!íh߄2HGT7{zX-bwBZs?7 LdWAJu5"f+q J{1Y"PIkhjujCYo쀟߽y14\QiI(Ap S5p׸%.Oѐ>~#;sOdE.$|qaif5G236 Je抌9t۰-$E)%&GQcmc N*I&Ч#m-3y28~ήsTK6ªRۮH$5msU*įÎ xJ Pl1Jo{Z\X)N*[z`)Mhsy9qqu~$#XR;J;Qme5v1se+gE%Nqa*IzvOδfc /Y,J`x6"3:dhܰ&±:m9E:2ˣRǂ1X$|DJLW%Qzm;EGqTwyAQG&jBIT:aY@>J`?9Ӛ]Gec̵\z^ѭnVh6xv:@PY7=;Q] >O ݚ_V!U RlD*ع¥0n'*#)Z&y&^R&#A䢸Mņ2^Ē*",sppaJiOh`ki{a'U2m@W|CLתH_pIkEw^\Ί'FY [RV ^/,DнHe*6 |Ǻ"He<`h5m h^Ҙh͒hLe7ʐ4+EA"zBc->; @["[ZAbP;YO q G)혣Pa=u/\o)T(6kv3'} ʞW[3oI!Lrf$ږ+s~lQnS5{V -Bu=U0hz6)ipطKb C;8Fv i+Scl|j?Z[@ěi\pLWJ38Nca0wl_??OPToҌ!3Q޸~xU@ӣ]>*)"yCͅԺǩR%-]c̩S|]M (HpN,gZۅ5z6IúbWqӋƢ,2?jU'νkFSHf8{ )q1wuIo^WJTm4-&= e״[ Lkh37>Ofom+-B39F"cJ-TȯFŻ.ŃWC)DsY%#jJ+R͠$7՜}'l*_3H.2SuZ,vUˬn IA<Öpsח/jX*{_ N@-ПHiWoD-*(NXE 0# 01g=Zc21(Oӯ3gsR:S1LT e$rց>U;tJ2_ز#&T+O]7$cܯ*wKE-{]ŴcylՕ~[/*r{뉩1nqTD~u_HCq0S}QiVGUى޼7sy,_[a=}##?ƥ<"e%HcvK%ͫ$-^nB[\S-`힐gCHESe(}U`L:CO@="Vyo3ͻN\%ϟĤwHץٶ8^+i+Ŋ)YoC o'l7|4_)w m{?Y;.|.]Qa[t&ɗ#?q%@ > u* 9t;IpuFRP9ūYg?MG5w&7-p #gWM`B,xܫ3SBHmTy'ɓ~w>B6E}7!ZEѤ|˻@D0a']=vybA ``׳(qR:ώS.ʟR\@a,5=:VA* /9TS=2^uߝږ]3*i-HDtiFT^=jYY `1}D`f $BjŗDZ H]\yvt]>5hiEe@O}l QgZW]zÂ3hyOCngf^?_\5 .hYrQN(,#V@)3_(K*M/c4I bLˆMލz 倢t!1M3@;[w2Ougr6b<*vgʰRjB:n+CڑPz$;3M[N 99>M:U*S-J n:Ocf#ٻ.t$s?a@DϞd*Pȿ Ir.ʈ* جsz?k~q UcWʟ("z/Y/鐭s+iɺnBR *I0PxB yۄ2{ lTy& +$w>hk"mդ'=utId03VdX3D>׵?lI:V"A ZjUjm1/s2Հ}G!'yg6=aDzGX-|OSY!h#n@:S%ĸڼN2Ntfy$p*6@y0u)g}P &LMG'||0*sϳlm8m>C>},XИ O=wT /,>7FV,/|QRB/ n]g_⮦ 5cg#:,321EwxXlFVǨ6to:kSgts#|)>7nGO! l|%X((9Y[pI}LfE&baY'e^ȍ4sBa+ù'w*I.xɗ5JV霽bF:SELʵäƈ>zAjYsy AvUȶ B,n@~p7 ZPa\l4ܱo+lx_iXv<*p^KH |eL ُC"CGRt$AQ6i/ A3[}J׬*|7)Kۇ/D?LX}ـ! i9(aTV&edmmW)| `TH0EkZ #N~4ܳ"?i["5:؃]g'N 1L_qaU[&!J4~W*`Y(ȥ)Yv 0ޖ^99va\Mg7/k(C=L<*,y%*f]<i?<]̓ (Mic+,=n]$K:\h"?5'xjc<,n?NVwMZl*AtM\?Ҵ\녅 % tğ.U{>Nj# LCU'WH*28ri377u#Tx*lʈlF{_"12[:S.C֫hK~t2fwpw&&vd` .L,i 2Аpi+Q*P_r#^cB5sBY?q|n UBs?6,v ~ fwWBkb! e+m@Gr`S5feĥJ,g$ĜQYr*b 2%zwq @KGu8Mv;m)ӛ UؽD jO )@NCZcCPox,0yH[p~<bS Da4RnlI#مbK! luDR{s zwruYhW-vҫ|@xl}sg-%\t"Bр0vs%IwE0u{)Ո>ϐ|F ^oQF?'<p}M6Qh{e .YҨP. bI@.Cd*k;JAc]yW#s"28 쟛Ўo]t$eԅ.يZ/Ts2N;Lٷ|-Op ZК}`;sSL\oZ8ۯ Tf>m@e9oViP1Q9bG>䄣 Ҋ[H>._S5 8jWBb[>6}N Zusc@ U{ uwoTd7j@"o*o?> |"jP*Mq:9X6O53d0`A)hSwEڹ Ab%_N"7ْ3#2z\ { VIRb?X:)wORG?Zqek긱a_2TsVux?'H+`-3PlΑR;M|C1*w+cIv 2E:>! ] B~J0-c0"t*LϗޣޢBߢ۔VazjP F q6$ۢytXB|Ǎ|-cݬ i8QJBHdvtOlw!]j 5[trd M7H`wʼA>:8ȧ*GPmW7Kr K]Cƒ.gG}uCM1haokk>6٭QAo9s<9Pby[PzDiKrJZ^Y;+X{zR($nǭ{.[6$A|tR˰M\%ղ ⛢*k<|@_]*ڷk9k#gaˊ(b=(c#I_%R\tl``Juy\pљŘio`q@i"|tQ`xYdƫ7wfUDQ΃t&4<-Y|=qvqY%fI`\)KCOƑ } :9ЗE>j^CUx?=7xE8gXsOѱI:R&/rnJXY:|$VDq=3//+ I/E"d gT LVD AJ@\ŵ==8K+-قXf:\3J c=) jK QU GBK4ht XYGxIlTO\ʹnnHΊn=%I'tڨi(h13[1$ / <`В>ڜM6sެc /&iw$)sNY{nJear+{Lu@# 3G  F?fWE$Cİ~cM_,/ ;-؛ c{e"ւT1: f1P*!B S?59;1sA6xH#^6'fGvC--n1 c,p\.s=BBUcg,x=ilin<5{c[Ľ>l; &yܧbYy1w5st H?+DjkMT!DŽt jr,AЙ&QY:0"`'w_Ҳ.JH14۴c G'J /MƁA=tخF~=@e&(|O`Oc#wV ]oJ^m&[9`zI"_)CCM"huocO" ״40*U36%ҲJ(j78PJQߴ1TRENM\$\ހ0ȆGXensjF4b$c,H@`\o]dnTl"\ee} M1C :x6JB]aq% G V8a@ǧB~;,Xs =*- 2- i G˔J:K('=-"G4WAzNnڏIwyj޸x_/p27ț-W8%4q7xZ~:Vu r[b/Eg IO<ѸaWR)lK 5hIN$&=Ή5I%@!, T r Mk-rRU57}:EgQ§a&MUA25fns MuRAv(J9{D`")+X`k^g?+OOTlj{&4p1;RQܺM.'HrF]#><>k.] (\pr=$g#A(\{lZZ1)] YYkuk)̟ sz}}xK񲥂AQ{.=u݃n`D2 Sb)!pzV6_{?Rds~?\f@` RW]a|-!Ya ~!:[L~ ި~[lI,% zAeEr;Xa*y nZW{č)m L|[fRdnr}Nd4Wf%PHC;׸6xXO2&םQVa\즚yұ#ȥ9Il;=ހh}z^ӜX`5 "ڠFVb'_"::544`Iq1N*֪u3 $#FZ$gAH.C͇Q?WNS*C1z]%~ICHY=t7\8Q_u>d()UiiQ<=^}mѕ.2qdr>&U=!⽖rAӟh %VDACc q٠;Of|ёv[vzbNx.-rFgb]ACTQR>*V-陀!LmeRZRgo @})ăwMH)DB(.e탏@4ﳓĥHw]<|zǾ7(9 nCzAZeX\%dC>΅ZJLHG;Bޢ ґc=1,d}bmO VsJҬ ȣJO+GjXݯf4؆[G 0 dV, ;H{,%4=PP' -&QCw6U.ыpv&0 -raHa89Nz֫~~ExOv;a7nr2ϼ_gToǚNZj0vlp(PH'S0ax"R7L` zN:FAu¤M|+g$(Lf9RWg5?6pxPCC^,UsR&Bپ  *1B\.qS2K jS(ߏ 3UQ9EVX生3m V`xysD/)꧞SǞ'Ukh=>:O*":'{Oŏ+)X^] )%7GiS\LiO-V5װ ]-KHڥ9pBysd-!'ES`w|M0~4mǘ6Zt&[BzLZ8)3D~m8tV_S孫zqC9a @W8͟/ͻ)I\'Ž ȸუ vAm}׋i{Bw#w c#-Vc{XK<AB/ ?Rm*Ud+7-ˮC^aԜsUw#g~سls )F\ ֔zD>SLtP)4&!ӆY3%q\`I@xe8nckԡ[J:XƏxd/v-3́̕uocg C7IU"dl^Pyܻ@ $z՟YXK\9xQ{(LuH RЍ'ߵG_,ggpN 53" 4" 9 QjsPp|z|[; P޿Xh= "޳ˋw JI9DL\SI 9i{S 喗xE/j— Z"r9XӳU F,)A#zqfE%\xv4d%LgVA% K]_<5zY|zObu28Ц3 ={}<}rCe9gx.fL˶]Zh@M,?wõb36myP, Ǿ#"SOeVM/3ƫfr*~o[2V܎R>O h*U[K{]1=F &U Y} 7@&8dA&kP1&locf#|!Qf}ڌ`ٱ ^;5*K@o5j&o!.լMМ}Ȫ4|SNZ=wڠx6/zJhgj%CG';`Pwl`l>׾CUbocgJ@r{ ,-ޭzv*8ȴI]:}5񔨝E:IOD;^滵mS"<0KlxW!~&Њ8 3oG1뒐!/EJꮧ]2)yeDA>'-1 ëDQ\NJ=_.e6q~uq!]?RdX09Zq~xYG-cL~"AYu%laMJ꠼NzU^Y&J>@h5Գ\}J>agHBȩҜ 78֠Gfв B .Zyv d#„E6m7 y#^Y戒pkaLVʍ9@DDtaͨ4}edcjS6h'x ;bF7˂s2`4̶?v7gI/_&?57NL``q'6l54b_cSLQopnQVBiy}}JX“>uܿuy |6,dTضYl[I%nkb fx; _6Fޟl IZd o'f y.0bd4ƶؽa!fQlcl:%E<V,6ԮX]XCUF\"u#(:KÒpmKF~)%Qtʌ<1C.Q7Rb~?m0U\Ky>LM4&ˈ3|e3%)ם3ZJN2z- ꪨMA|ms4Ykێ΁lI$g1ikj(:Љx^Ar_0zl{d^4[ Ez |VICh0~z/z*KZ6w̙d|@-w,,F$;[kםo3;5h*muҬ$qRPa/Moc8 h{o/5@Z%UGw떢2/iH|(Gk uVXUFuaXle'`2@ DL/=_]K#ɓUgAzZrE1&By \n`T.B/os)P*% ZM !{@.Rj:綯F[ˈs+Ex-+$eGb#:yVHU{b/Ǭ~yiwt >BeappՎ$I5U8k%8gW*ho̩yvemIS)BM$0R~;"p@![.BvOXaK*>n62ׂ|&pF'?db rF$AL˭I&O::0Rk@QƄf&g;Ց[XlhC)đPP)\@_:Q^cH9eK[!mNhko𑉤։: X6դR[G>18&ACRSQU/j -eL :14H65g9ypwI c#Y&{>[Ɋd*Yb㷡͵.,v}8\0uM@h+ #1rn^7./󢈠N`hΓx嬥9qz̕Fjv%2"n10?q ]DIpŒW Q&u2>ƕnTA_͊X_ d-5G6)CpMaٶ|Y:L@rkicdhFHPZ~ZpЉH Pa^#=1SBSFjѹV#0IFD9CMTU MWThZJ<)A2ILSVFY{{(Mj)VBQѩ4^zU .:hJ@"2mᵙZq cuetTD^EKߛ:[{._9 [ U`Bwh,Ktb '/X>ž'Jk`@tTK3׋8%"0x?zm $TJIPatHcҾalAދAXyӲ"[4jS~#^`2KsAM^4jE&֟{YgidIv%uSJaR`ZH3Y /Xum$U1>}E^3_l͓Tiaq=!%HnhQuܵg3ᜠǬ0i(DBWEsUftIUPRUZeq'4g[X Erf}"I!Vnti.WM@m.\Z*ʇ꽅 2zv8!Tu:o#~O/5RJg$'=gg&%}w8ٰ:#Nس-T2v4RkA4mkP]AVټu{:9/3g@|PԸ:|D-Cv񭜶0x 1JPsS7czĉFQ18FD 2hz/ TSTԉ#c7ǰ3aMm.WTQ@B<)'U#&(WH^W"PEsrwb2Om=@8D~B;vlR̷50*2&B.BHEM(5=4>GEstyďdltzLii q /udKx.w5o)1 KqGWHmRVNɬGLoIU. PSZf-$I1t~ >6*BV3qb+ ]l:HX5JLaA@EuB5v%A> 7io ^C빭Vz`z;=pՋ)@p7?*CH8(,FaQ>֒7g廎հ`6!MIO)͸kId Ne$J]QlPK6\:ҍL3'=eÔ!o~;=6T0ʯLSQ%E5T(.hMhm c!VHi2w4ѐ qӾ2 s"*'_ Zvus/e 0'_5Apw)LL_fUGkG(w`XyC`2aĿ[|1MJC!K#?rP*g\HxP{I9P{iW(=k!SB4jk%)oer6AWv-513NlS!EdwX$)m]6G}4FlC#MFs!Je?[mr{rB O>t4ĵعr2Aw61yНOc8/`wTE$a.m*2.Z*H}JQwvk?⥲'91CQ! 87c@ӧ uX&D6>Y>G ﶞ͏6t_t9u&P?v_sN7d퉱4z׼\~'wM%rp64xGfL+BXK`5rs#t|%d"dzmL)y~/{?9JRhA-`YXE+3[V^!7ȏr(P}=Xk9`&G g70_QIa `X!%lA7H~,֠WN:Ֆ)^7˝2G^dEکIYf Tu2:J*. 3.OS̹J^?qXߒ>s>5±ovt؈@C-r,ݩh_*%1\oG 3' ^3x]r3 r v/ŤRL9Ɔ(4ʆ( Rԕmqؿݭٶ{FTTsJыzco ql`qvޮguL# v&DmB-jtOZALG%q95$4 &ەk ԇAdkX̂ ^CȬԁ_E \,.K2ףBHV:eɫbVjK ųd 9?TɑاS'gpo joOcbJ:n6n[pikZѴB1N2٢GUI.`5~`v}\J p*j尡hwiL?7-<u 00YɊ6ZlI a jb8kv\#j+ȔdOhP-6 )ͥQܣ5^p!7pl_Qnw$V3xfH"Fb160;nx/0YjjځgӘ]]* >آȋ?dћ,oolqiB$-V=RE4ppgkR; ՅiΈ_0p޽dT1P?$yH]/WE$,kn kD*Jݷ 17cp*Cę\ Wz@l4%ߟպO cљ|+D3} DcKiZ$YsEc}  dC|),W^Jpf Toq+ 2:u=ssS/9NZnp;|xE\gfa8&**~ u}O i*R6.8+GiX@?dmcc)r4Gdڛ#=]$A&p?Vރ[1 ⪿  ZN4oDA‡OhyLZt9E?z@?AkiXBì_eЙy-ܑ;!iTb:GʚsZ {MT06j{kNq`"(E@l@1)F=VpXq[Θw"')+gR[ H\ 2!6-{,c]і0| ctZSo5W[ӷwiEoTvWC yZ1`bnֆAKኊL{VEIvv~v=kο0 U)m 5H"'QtEB7=Vz 1/U^QQ*U<do!+:R5,KAK /XW"eJ-0Rsjoy1Y; "K;SL7n#; ǚ( C:rTsF%z38RW7J'̂jhNu9e–)ho}>캯+[| %9 .08%}<۱`Hz25"1~ia ,Y]n<qNMmU 6 hYnu7(6 림 ɾm4X8 ^4F{R1{;QȭGå$a^Ь4(0[#yRj`j8aX!IW >(Xi8|a/#*y%Lr-Y#Sbۗr{Ow1 ~\# 1DVJpgTL&J*3U{ȗ˭2g? z<50䂸JY|"pH܄&_/01UڧgT6(tj#>7_0Qb0&tWo\eX#Icj({EZ*}F˳5naI].'8rp/z"BE@ڈZxŲFb{0-$2We( QΚyJGb7k^lpcb:[(o70v;b?u Y5򄽨e|--υ:4Z-5`'-kz#~<3MXhWL}5 bwCڔMCaV#+% mZGQeSӪ)Ag+33Ҏ*v}I'D-S~(2xD1=%V-@* 9D]276٤nE \\ٱjRw+a/^;kexZ3Je}!.:1&L_P: /Sh62q{Zl69FB\꾘˷Gߝ4YG@Pzɰj.CWgX4a8jzfMaϾhse”_+>,y?ZDyT^IEi0\OҌDomz3 le`:1kqx9@aW~#`HfEl0:]"V@پK!5 Yy^ek07eC\3BprԳmAd\& 2zJĠ^qX$1I"Cae꒕vOaV=il^7t?­u""aNAj+a5S%~ISCNF:t.P`xe^M[w1Cȹl[~'4x%bo[@1ȱBȴ=&z“~BJfiМl4'C6"&z8=7x>/Hy`S @QF\:滮PKR(Mζ9j&?pʞ ;MCi 5gxT< 6v8n Wֳ?BERt\1pupI7;@-g0%$52$ݥ&!z]fa.c|q"zDݿ'k("6[mc3BcD"e TGvO>իn=r+H둟9@ITYȡ'Aj%@cc T$g&._*a".QYD B/]-)]` |4%W%,N9Me&W4jiK,<)R.H`Q.6gx_2 $/nD"9PX1x.6ڏ]8;|y^D e0+D0再;#I:<Ӓ*3‘,_^Cl'ťA+|9[joA6Z:q)_O0 >IpﳄtŎ8?#dN~ϯ.X1n>U '6fDtk8EEy4dN>O/HG4-D5VƛOա$x VdXNc3зK-ܫb-9 ~0b!y㵔!hRa5m0&wD)BѷLCkzؾ0Ubets $wx-aɑ|¿*$zH02¨elRφ. Gͳr\5U ]B@a.۵\zC{Fm-l`^VuArٓ)pRZHlZzIԮZւ6|);@URKgxyE 1{zk (e§C>S >| cVZqis31,킎Y-EhM{].a%5@-bP2gEh '%@,iZUe~^*FfwdW@oPuǬ'3MJ1*9$;' `=L +"߅;Y2|nOмщ*H03A 7;k@CYB*xO M`exWߕm"MښfE1KLl6`4dCS5j3 Y_5K;Ks07SNWX*0s"6!jD<9`E)yiUwtB1ҒeS4A$y3,A 06iQM[]qG2 &Ymv>[-JajE:NۂTl1\'`t7 oqɥ8<- \fi\QJ[\i -vx.G笖u˾D796;3!9d+ k2<9yIѻ.9[^/dqVQh-\0M[QaNaJ=Z{ C0q26u!`LW+I(ߧpWYY1nϩGj_@[c6χ YM*j`XTL]\߸{;xIk*"=*yq@-E\q_8Yp\31`=@ G:ZNBs بJ٦S. /z!TIB.Hid>Sg/_4%9G`be'+MAH|:A,E:[F5X2Tܗ~7⢑j נtyݔ.ϿD>\˞vnB&A_nY2-\?Myن|~ {?gzVoB;vfv=S}}ZImà+\OL| , Q̈lx C7b"S꬙&t踭' оP ]/*2aK兤EdDű̗jq]~gK)CړQ]BǛ~OO5Zoҳt^$ [ caچ3B')7Xr9 DaoY. UKށp*S~9Y:SRX`>8j#6DMbD8㭡)AJb"* oJ}i YSP83LP8$8Ҕúa!rAZP8ࣃ9̬kha0zE3l3 r4VL2W-VRX!5xD v~j$931gv!2ј_3V:cef!{@67Mfғ̤ji}ec\qKQeH^?=3"T o;|lA?PJ0f4&τ28O|R䓑k*nwx:0?3BnIDиEP|-, ҿukLp]Ir` #4nzk3 l,6n,δtյV61z ~SD']$'Ny<7&qXuhan& pA!lzP0( 0Ds ՘rr8]@p$" `&f[4e;0 LԒcIvO/I{)pi۝ r0^rkٛ Gꍤ.@w_ ĭ)!Hwܤ_>k nHBUkŇ_̾d1-XݎpG y%fg ~s2UV^KH8D}h6⁥(-ݗm2b(yo;Nh̒) J+ "C 8`|P_4J tMנ͂jEq5?{iUljѺ6라%pSD+7rP&XJQϊO?IPSBQDB}L1(N*n%H_g{@Uh3,~N4hFsK㜨p. FVc]Q`E~/LC[k/U< RR|U) |eY$1T()TG8A}up*/m@T fLF\;UZ;= `ϕq p4Pi.I;w>OLsp~p"|Ys bO&OrkF`#N#mb5bh\Q=aaB*(~O I(|p,L1fuzv|D*]mz]}Y27̺pWLmMO `c@qz4{&`:04&hE ;Ƅ:ПjXi(5ʖABoVwjE uZ>mmad1R _LTcմyB~4$qυ'Q2,drA%B08R;,?_~_ p`nf]]SyOAJ%~xT:m\6|`zG+D x;ct Luxμ0$~g*wlZ`IK^~tٯiͭd?9]fۺ v*@ b8ŸӶO/>&"Gg)5keajk1ohKZH=K87H4Ӿvư1DLW*YXSʏ2EرgYZbf07f969285ea3f16c0ab5173c1fa353dfd6307eb3fb05f5e50942c4dcc807a50dcc11409ab39906d923c63d5a46ae30b4d3406faf908c204d4b4cc5