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 H!T ]]]HOL-Proofs:threads=6elapsed=574.831cpu=1392.684gc=185.980factor=2.427zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZWӗ0Bdh{>Ug~ON JZSޘA`YEV&];5[u}ە⽄mSfPYnxO3}*۲Z_f'3ޑ:|Uh=%RCb8$o0i{:#BmX,(/:M6Ҟ t՛0kYG=`~mAs[V2m.ula)Y[̾k'il 6U0dO"ג\nXz$  ! HOL-Proofs7ufm+qI1[zlAiي ~R&:2 3}7 ^ЯwBPv{[kA"A&6q֒pv.b>Um%`ŵ1z@f*U%b*֟6 2Yn@M&FA?ys|XY/%4`GTg;Ϣ+qf2m!@5ω?C.*eUA U(VJbX T*BXWwM fۣ8F L iʪw;C΂-XVM%'SEX`)pi.Ԕ"3M5}_ aʃ׸Vr,"B&/QʥNIixEL+^Ɯ¾9?ƈٛ3ұ9 t5(bf=F -MK ڙX-Q>- KT*P-o4g\D %h;, > w(udu}3`f}CLP!7,}`3!`@PH9h84_o9Ъwд7jyԨ8f4FHߩ K- 0]s4vC)gDŽЭ-M5nmtV,W,D3QLXC* :(wҤ/n?o14# Ѹc(ju!,'{$l \r&Er˫x6g{.J'J2 .^b +jP=/8Xζ+]E7"<"@Ż{ # /R3D w1Xhf˪%vt雩q`67+whĪNj& J$q.?gNKG0#+8oq" 8:.mf|YLPʆ z IiG.t`\q^r>VdIeg\@8aC]ЍC 3"6k]%(tkM_+>>ÔBE2E| 7C>^*,CjY'MW&[ cbX_9\*V2YI'_^>;hCH>cߢ8x<&;売ix\."*\ZTm#۹&|)ƒAx†3uXPcg2NYt̑<3<o«V#y-\I^GZZը|~lOzgn CQ+7 SsX},ӟC>dvAQյKŮ9^Q[{4I;/i<\\vW^ߏئF9fE,9OVր]kQu߻%0pW'iVZ4 t{z)q(Ӽs ~l~l'Fߢ(v4ҘV}7?m%p[B^"YՇg[ln̓EȚYeX1Yw+.꿸Y.꽵K sT[;Sh l,kv֮o?$5t$n[Ls!ǓS)^tcv8-`:c0ؖ/à]Wp| <>mȥe\>~kMړ86Աi%y%HX+nd'Q)N"}*"Q1,ਔ*\`QBz`JnZp)DZ0#7ͽ3Y$9Γ1-$Ь*~PӺZ^۸'F4I)w !`|Za] =0M'~\-"\rɢ /e9-]92,upXu]DG"vA7'_=iYrEg7jNQ$dSR6*Нl:hs?{C] /;> Ƈq!pYKhb^mw?p%lC qlQt=bэoEbJm^^AВtv#@P]|\X zS&.0hO%N$1rbF]p~Pch>#C74؎ikqv?$ 5f-ZB` c fk77,e2cCZ^Zy{B*ЉC5U%_TWyM^&>I]%oK?EҊ$zk$۶%KoDT)Qr. qq% d5+!΋Z $P.ݓn˷]2:#.%>7՛$ۧqzO!*e$Shߚ9a3ƻ x^'T zF/U=vDMqVP`bg{JCV2.e"ɟ=ʸ'/jReIx=1hdcO}o6`ĩ^S"Oq勹4s379^mo0A4U:,Z.4a6 cX6H;ILblLtMr6YC}QSYpm4]5鷧XX guɹ-3uSbAFgǁ;I+g_o-orhUް+mFlu nҕ-;FbCF? bb_~uA\([%*+@21>j:iRYb.2Ms bn=Uy >P,-Ez=̃đ:$,uPĸ Vb_**(^|pM3c~[U')œ@ow=T dXӭqR+SѕcH~EϒB,,YgcHK\"TUvjZ 8MS+9-[JTyIvǯ$,@TP+Qe!oPItwH67 Tn}hrlsZib>ۖLi)2l]k O>y/T5YWuYasSsgvˋwfsxIQֳC^x7fXN!SsCWSپYlBą?ﮮV% <h7V5|b?GPO-lȈ+ ȟijH:j_ݏ $$iD4?Źb*.A7iهy%2jn C4_ɜÚZ!O953gϖ?{o(37]GC~bܬ m4XvK$kh1. TլEEpJ zZ[#R d3*[a}B &CñYlL&ȿRJ1Йr>#Pf$ _Gīe6ܺF|N cS=] C*"]W}Jgˈ ЭɣxzUyeNLFl! U0 K1ǿ_%_uYoo57g#EZWQ1gEџ%0=p!7`|NJ]'`~ݮ\Ϣb?37wSHRKє&%^QtA4*"]N /kVڣ8 - _Ԣg|DnC1[Gh;3v<ݜ(xo@97uck.e~Up\(z,q z3QCT+J=:I>3K YgEEv=/@v?EVB Id ".OB}i1X }adiRU:UM@NG2< t!5kluɹDշ <+ Ő}^{aEn2uHKozⅈU*Li}[ c3_4@l{MuzW3 qř&W$b׷;I睐 e^!(;}υyY};w=jU\R_+3yq]x-yM9t-(74] g󸮼ft '+0|Uμ+߈43KѰ]b2wtzx9-OmZRaYdV7#I 7V5oz,j#172< b$ ˛,r\N+Ȫh$#u^^~K0Lj{@$/(iLƺhZXDXG}zxc۹k5<{&  z?|~rVI 0- ֺЧ%u,hӺ-o9#c|}P/5_t/19x2szڴgaQlwt=ˠ@-%P۴Ϸ_b̈́`o(VC#-K ϽW M)Y"Qr9z<,8scM%$ d-/Nɼ@Jffx6G2\LQE vQ?%۸HKлdaI_UJ*ˇ NyhJ:sDvG~gRo9UiGq~!Wi;lwT/4OgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!B/:!Y$ MxPB!!vSu/5U{r_ s1gᮜPb fudK"ˑaiX9&|'72%̂Wi*T!4wEvܐ[=V m۷#|/q&yɇZ3+.0ߋ?a$ۨ%~&_4nԦ𚷙iBRh!.ޫ) #m7Al;PK8#4tMv"_>ڱz,;+|B&9Anj0 :mZUg%8F8OԴ}K#.xM_n8Af o!=$@״.}:kąb'I (rbiݯB(/l98HT"ECEl~|o=bqCi_NV䓞5BA}tDٸ+5F*-@.: a+fF{ڇħ 4B.k d/ܐ+iqCiGbc3Wa6B_w#_Z:̩x40 &6t<[i?}f~k?&Sc T+,Ձ:%OFn>u|j1 0A_F+c_̀~26]bj\% KNN}c.jI7PUN^VB5͔]i2*r: n͂QlS[7"IiI>wH >@ѭDdI}^)_4 ('Л/|Gdn;4vC:^.9(0I(L(lf{1;H/e$Gډ )sͤr9+a 3F|hjF|\ӗ=EdK!1JQ L2EtX1znn5h9U9ZK(KEā)GF:ŋd[&2ִK9ܹj\ftaKG_#8gؒd`7l_D!Htq}/ %/±4i;E^_KXaöH.m#yr`9ժ+sTjlG[sFBOwtKU Ԣ9HYYKe?(/h:AllJ=.>Ukww=h6gQ`JcKu#E&]E:)Uvu)6J%1pv+X~dgBہ ڌֲlwg(ힳB#%ozQ& e IlȱRu#Dq:!n2S??Mo[ ~Bn,?Sn8qlgAg  -&*87f=w%UUךQ ]DCh0!׳}RAdl}eפެp2"(ʰsrU 2FgYZ7zXZִF! Аo]ŗXi%94:]oSI)ߖ8_&/#p}r*Toɧ3kLL(apZ&čJ-7M4*JQZׂfCxDO6BPjo"i~zJA&md/j@}+ ul+KF?!3sȘݴp"0C}X$%۽efBT/HX@%.Zw7/X#Sx;LF/k` gwr=h1y֓2M$I뵡>>1(x0 ?Yy3'Ko6juq6X_ɎZ,OzOI, f\F?%Axϥ ^@ԋS#)$L8lrw Cƶ4P+ (.mm>Xv{qEQò>IPJe@GtiT2h[Fx?#AwDoWtb Bw,8`sG岴xTl*αj`%2ϣ{[Q,]|uvGDvQ/xVU`Ku1.E!2E]ÝA4c!HV'壵qlmpm `@>k5XN3eed ̹omMB b8D{ЂN\sefi3tiGh )#fW 3JY( Lo'*]"y9f"i2h0Ky@:_?i2QAJ6ƣGgʂ!2w{ :Hpk h=oHe(ᇏ4B*'D"@>4* *eIrPX/B6 >Y,$TrqXb]<ܾ⮎c?]0M1vw@-MHo4 1o~c''Q3G}p0|t\ek {/ CW1L|kY3CT%T"BQ]WΉ|Z~CpU sx9-x!-y[A0pn:7Jb553ʥ/i;(v=1w<(GEELo<@ynhlٟͧua8YWYzT_!HЩBpF&Cp]Np s9YbFuEIy5mY*Em;SиlObf5…*П1LXT2!7HsGPtdž¯#9VYgO8P }LPAݒ\+pV=P:.!fj믕lW8baZZK CO@*1.qW{⥓}WBFpHqufK O~ujO ͥ엘h(trj~N|(y B=dޥS8ƚ}jV:*~2ӝ$H\ae(wvңi$ce/j/kR3 þ͵U5}(ž1Qˢ[mqGVJ4>58ވ^w-3#pq` z2.tWCg86ꅨH L Էm0peFzβf'5hx39/ 7L[>yHٍiZ]1E? Q7…{u[Yy(qcx@iyVcʽMSȠ!Y]"q1ngu.)(RA'{.p{k~\mfĉOg7'/ _xҒ-1n͙ tLj8:La'\o&XNҗ{FTljic4,jb!ceZ9W돂IzLwcxJ]d,av [`.}`*Q8y$ӧ"7=j361D+a[^d M*S/0 fY]E=sہsڤF VlSV-XxB{Uwdߺ4L=E>O7lWG,@O3ՎP'eVȐ7iA>ϛ勫`g>t$!P _d䥓l/0uqx>?[q=Gʑ=.A~Y<Ǎ㰛rCe=n\v9TCOv(yNCoQw. p?F% ~r+9YՉim7"5iG?cA'yKrP9o(hJ2&xĬegb4:Y/4w򗏣I_q/^[v^ʵb$b'2VK?KC=uإ\&KBb/uO7Da=c cviuoB qϕFgfS6ڠ؉jXdTr,22@,*Jgn{CK2~%Ƒ _KcH@l ԐpY$N3TdU؉d~9; YHFC,T\R`T꜈{(a/OF"۸RHS 6U𢻶Xu_Q|߿@̕dQQQVIL$"fƧyt4xr .7_ƠyLzc̔?R,5}QŚd[pn+8P ZgN]J݈u)81h'?;k'`CƮb!xcJȳ{|1/1oǼUF<2mVMh{?'Fs c []`FyퟓvuBt`,fha} g"-[R0uF1"Ž׏鋒i 3%TJCaB;>DA?T\3B|?^;ڤAa<:6c2<:ULOeBfufDEWudysy?-Ƴ?"wFT4W 6aa-n;ˁGU>Dc[rO7ڄI jٔ tA-+L4έ VTX[9w~JPWS>>(C÷'B0>\ye ̍V#usmdI=xҷ=MQ!? 7{h`-cb)V% LYQ!5 >HU0Y2K#MҴūsqi"ާw~a>7wŢwԤg d4'D25 t _cMfQ]ZRTTPA:w{-^251h-Ͷdz&ϯ\V2%xk!;N7_N\o q"PRaxp8ʡ{@nUh* Q#Nkn@I? UL>wΦqt0WV?qDN e31pNsbxqRh DUB)m[N)+=+UK8]2| 1-AA͓$V-7 z,sud řRzیr7n=,+c:!ڊڦBdƳp4ҔyZwWޥHooMMg?量rTP6jъ.p6a#{sۺs_C6?1L / l۫'w:`7h)n@:&.m~]z?Az}K΁\s B{tZg未n iВ`|Tf NxP7^^S1D G> S=aX9武T Tk8LA[j,]^]JJʮB' *kiG?3}wf0gX(fP^7ȇ6_;(Xd{g2Ia#} M|GĬwOt$:DmxA~' 5D9j0M.a+۲C/" 1k)8N+5{oˤM,Y/ ƺaC%qgTu` δ۠= ŎmދV{OC)0.m$W P|vd< 9+9(2>e{)bHtŎ_Z s8#oa lz|uly/tb~xã3vSVX5ˠXZ 9PiDt,U\ 6eDoôNL25GU>_xg"ZIJ+;\Uz+RBN7b](?Td.[,;E8OȞ=Ar3qKo~SSLz%o텥J`|S,蛼e܏C[rWDS C Vc~6yi*&k1?.K_} Ă]juCA `k;Zpʏۡn3G`!*7{%猯\goUu YS[DP܁Sj&^h Y雦̜spSiv4e vE] ġs'HgV}{e" ̃Uxp/-"C{vG KtPn7A#IYeQWJJɍoI>!A@'bR-cxOUEAu$q(sS]Y&anXH*JӘp 2X(b*]= =VPv[amñlN7nGc+[x<dBe!BV>YPlqH[~k2rx,+uPx+]0y:D+R1 K<)hf CrX+y|{;,n~ $t<~J>$bxV4wLseeCut{ګ^'bĜ,@3w~y̒LZZVqLbT@誑ph g@T fd-eoIM+[V -ƃۣoNj]E9K|Ղ=wW 4seYp#f:PUh_UH\Q+;ԀLt5|">ү;'?]2l=lM1Xw` X-AK=ͧi0sw6h5$Nu~tj@_6!*{ppH(]lSt o঄# D'_u<'Euɍ+Bh`M`JAugk} w.wSSP:E) gQƵeO{F!(b*~InnZjR XFcf8DP8],:<(:9мϒz42eثr(x!^}r]K,V)p U$lWmN$Gj[?o>Ãp ;h+DKdFEu{@ cu_TX_)p\xH&$Έu&N`5''&T*_="v|î"p&iDA4v؞PutLkH{zk|<>t^c]t1|L!6O{ Pgf3Z~p"ʥOW디{A12U"yU1شųI9-TM z{\]o$Ow!.;R#4[5 tgKy,神7P5F ,+\ByFB;GW߁BidQ":d=x ? +]7KòmϙB|[3.v1e#x+ &wVi **%"Ζ"g`sՄNEAIZ3<+ȿgoZrTe=dj/,m#\~ޭ3Ah8Di)(K_Ba1ELJK.N8hߔR3%Bk7H3g )B,,w.[1Qtŗn65_)/K^'\ Ϗ&.R fϻfWq"ncv(A*a΍"p ؘZ6!$ًp˴%xq>x䳌sǁI1e-`9JkQ 1}=ai9Ub 36DA{dcS ,BW¨)qPTie(OB1!kꀑݑ[LcaU:dC/]~5zO!rZ~!ܔ/ lTb$ w:nO+W(.Qi?%=(E,HhE Lvc?]Ǎ;d[Ɲ8,z zH ̄j}apg|6Ig[ &=q3h %zt+ȍ_Dͭݟ9kXW֣C7j`Vo gBI-p@Nh9;7+!L0B4ymePiz@~ˉ58G`e;{67}.>M7ՖowDZ7ƌ`8kf~غIf. 8$u vH'C払#Ԃ9bŻ$Q,zlKN jcj v_-UBq )ܱ˘}g=*jQOj5R_l~jrQ:٥O`M8hz~{.]\׭g6IgꎋOjPY ؕ}6#4t[څzLNP@ t`X2,zY=YP.=/믖['dDDo+.ٜ c[{ϖZBt-HạO=F++؏և5*֜6,H Ipfpo^80|Eh*ǹ/H[?0p}~cRWwQ޺xb'"EFgܯB:5j֔x!"g^ 2Q~iq!*%sԸ! M| 33$;*(ZK He. 3@!*lg> w;f|ڟgCrLH™vI`(ѭK6ʃd/@뎔1 5gUp1ឫXŇr qsNKTdv uJT%W/_0{PP1`rpD4fpd69~N#FS)IpTy'̀]"WN^*t>NhoIEAiR`x{$>oF0]tqjSv \?Q."nB}Vr|QKUKǑ!rోȎLs$:_m.Fn~#%:YL#{}i 6Y 2=B4IT8-KO0S5!iثhÖ(N6b:jBu!,=Ұ'd{Oׯ0 cDW t#AkfR D"0) MD4Sя=/3FAeYaSFOCT)H H@;OWXPOc+?P9 ~SIgPtp:Z X=ߡ㮺Pʑ8(E5X7Pe>[{1O;Nfi~#NA+r\H$8g *P%ܢrup$Gp[i=cSsy$u0U%r# ЧN-ZyY |XG,#Ŗ*OYm(cWBf[b0fcc9 ޅF;K$ȑ`}i{H`Nյv/#\cSM}h&gz{u,j+"Y*fe|)/}2,Y0,,[jucr v|&R3|C%6Dz(L=LeI$"z倁A =61ʨe颵頝e=A@ LcGt:?x' DcfF 1.Ժ3 DQ[خzuɱfUߙLk(vyD6 )/M3rڻ̬Ku-RJ5vUT3RB)A%Q}%jЩY Ue^&;`Rm ع!7GmὁPk,0lp?eLKF,:B6pm)4W7^Uv1ME` *zŤZM/C',"mqQvb@?? 5?cG`JGMy%[Q=ž\{*aR vU>~ԩ6f sZC"""<>>f]ыw_)J; BY<::`V#$j *WBE&+?`KYse|Y(Kim`N$\Q0* vU84_?5#"Uܝj]dɞJ`-wTN;J&f>?N,Ma꼮iㄨT{}LSL2cM}r쵴* ,$#vd(Yޙ0y(ǽK%#]Dw)I#K2k ?k{ 35m3F=/J9ap<ل':uk=Nrf-o&,y^cgZ4> GQ4Ô&46G<#c2j? q8eTNyuђ՜ɏF.ةs> }1Q*3z1\Qږ2No9AM'gґt?eF A+H )!~9=# #&Py:2_@| QKq#)Xh\kwn+Kn{JET>afc&͓MXtk c̬N5tĐ;+ȶ{oV|=QU{a<7rd#w فOK {$q:&r6)ڣ/D`Lt;oylF0Y6%]wVPQom?qVZkgiYO \N;! Z` ~Ge,W%L^7S}G9z61 gls?C3EO^HC$V<r=8x1>e4<^|t9Wq=Z z,}n ٢_8M0WB8ٵ牨a{`Z]|,I⫍'3Z1'0S(oJ4w*wm&}Œ*~G˧ʸ!'3 w(~8zV6_̳JE6WbstD#)aٵE!&M@Ly_=`;ff^~/F\u*,:/CJכYHBRRsOX)qK@}?Sę(̛;t>`8(Jx(l-ǦxqiKh \\KN+ !B^P -ؓzh7N 68e{XfB'y IU$Z%qkz9(U7Gh6Q2i>"/:m OZe67g/ PҒv>6݊G.ޔgVy1| ƹ\ J\z^9c\e ґc\$ѐz†c = <s}̇W5MEl/FV,2]v4^8o[[5\}ZX١䥖BR a߶'p!łSR+__~ڋHp˘a۝ ^k\;Zy=CMD'9"N~B5P Tp 8"kob^vX`ގszeZa+V})L(Lc}m d ]sMQ\q*`m+H4mE7bQ`5IJR'(T투3 s4yHAbQ"mjn9+Q3dq^u RjA5Ɛiq)̹hvbz=LwhЋiC\mE= Ӣ{9+| lk+I[Y7گ>k2k1|v-ڤ{nԇ^~n&IWD(ΤD$jtOJjPWS? XiVpűoe"D8;-dq|Yd- +VeY>kst]O9| vظ\"9U\#ښM:ù})[ZT 9<)GQGE&f/ӊř!xD!f|AG«:v" '^P鍖iUDiQ8}!BG$=PUF 6Hw9ZM!z/Q̛rT.4ei Gjc,lSb˺aR=̟+ Taų̤d6$#H qJc n<-U];*75%?T5W 5oxI2yM_Jx3xi$J8un}[Z68BuLS?Y{ ՚^@$ OX.wEݫvÛm9%{9MLGABj=NwhTbLxw>Ðr!rꢣB&:ڍM?UdWW˦ΈeF̚S] QQIM'ڮa!,|v1Ie+FB[k53`-G[L*cEjjad6]h=6d@]+D7^;i/&{5 IF+II*Jdo׵Qff#Jǿn:(.Tontÿ˩]lN<_+p%`&l.桚>}]X_>EY; +GLHbaL?1IKjrO'wezZ^>[H?g+E"~Y ΒWP )8gG[w6<<(ysPG*pɈ;!BQ`֌osj[=59T*@A5sO4̎(+V rX?PTI7N.eِ+ޅtyGu:L'P=naCJ%ۣ,q;_"&DF.% 'mN4FO/ BY~Z_uL-f$! E*ohQi`Ǖ[b=(Q+4"1v-r"\mx)iy1݋계ƱQXjpd(C5]צK,`/4X\otsW'ZG-qwɎSC?"8sMRMT;jSo{H{b`{5VqTtнFRT+mB 9Ny{ I$Ű腤N@9 y ώ< nnUuIKUT5:#UxJo @uֱSr:vhSvIJHu\75TC;l(Q-W䘿mFuZ|"45 aYQW^#Q)NZe(ǩ6vsSɤ4; hkj糇4G9oo5խΈbJi*1z$T׉cn` 30[gŬf.襅%ЕS.VrJ׎,V_嚢4[C;In7-Z' /d~,ao!E-~^ .[ (nV@jl4XxO<8H bGzud|/Lpn.V>y =Eu~xHtx}ԛUƉr{>MHf\5DM7=&Lol7n{(ڵ\u[;պC.yDrW#{zExRGʜQEEO29hܤrAe?;ӐPT FOPऔuYnp!CmpжgAZA"qiI[wD;Dlw}ļFm+ٺEo^\|b1'ز֫^ 'J5z>oO&b޷/-}1fq}f[c3(rWZ>r<]Ҍ2~IT֓K$]bLJK=Sp:v^zjdP ;Av)Y~w"hV R/t$cikt"hQܩ1 BS+!`=TT9 3&ePc\Α G٬iMme]Ԛ~4ۮo@f$߁4h O8ݾV" S Q߆ZuvN㻵:{v[̰dw\;ͽOK/_Or* #F׀}^ob5**$ 'ѽ[PPvxi'o6/@=!QϞSE]lwiwQWt|?GgddK)i| dos4g|8g]ʯI!KH@qiLI۝YQa+"U:8Lc)V A&vK*ؽeT^.tMq|K {;&PNr}7tv3[#Xho;fV߿O[5v6a23%(Ap.̛ua>{z dJ ],ŹV,ZfA(*QL/,"*DqP Ipy]x[<W*!P{ ~ H%nK;őaWoHNT{#EDeJ_4~W݊R:gN. (+<73VDfE߇@\*E!^Xa1 LCP\fqi>Z*^4p9W'֞hӦQ']xi ljұל/X8KRSy |Y!7/엊 ItZ;f LJX.zhl؂-12߄JpNU뽉@ifv/GTʿwQWH7vԴ>Q.GfưQJ)4{wG4O{kyPS)HhFcPh^Ŀ7Iu %_a%UIxlC ,ls\5Cu~M>Qڇm 7ڟI@}tPҢ\'JӖzG>`'L Lv-[Nᄚ (l<GhðRU֑? @gA'5J")}by5v ē=zw"Bn$=Ɍb㸶A9a}ϘQ1Ӆn烋Sf :8jbcs|7J7N핪غ2mAR'I::+׬ nm33 Gʂ}g/vp;m e2j/SeWziG Fr[G R!},V%FܯGX^7< r PduxqhB+x_d_Б/*S _cXw_%Aѭ7CH kzD@OUw3\28r>hˮ#`A({lhRTe枥IS T̂%y tSћ~̙K_&VɎH|@H7ϹS^pjX\+j4ܞ/ik!ijM{_=>IՏjFᐝAKRkVK! e;% ՈXj+:fccܯ{=s/Up9^}BU۷cҳ$ɬVvf9K< 8i->o< !*Vei01pL~knL]WR3J'ҍ@ D枞9U-r %UC$7blg S2ŽQ,mPCJiÉ_QOtf.;9  eI!}ETJi W͡RP !\w0,5 vdڵ)l͌Z{ -6)yW'E KP\@wn8(^(s|Ѹcےn8jP"n)DտjP{ܸڑޞ|ޑO5 `8= D$1$U@8{1v->2܌ ~"&%i{o[}$uo2T?ѩD,}S?lh]roGK ;u;ɼ w@w<'Gcth5G$i}34K7Qkjll W|'K=%ml'G[ݎ"˭CXBvir,Ag'&yŽRѿ6kr ñ|4Q %rCDfx@>z+[Ŋ[w5dNL 2$y@Y%m=-c86U/J@60Bk+e#~gt5IGy,n{";gG_LX׊>Iq˕(k} ٟbiӊrM!./s9l4lUak¾zn3VԔ!,&xOdY;ʮ0,[t`qiFŇi i6<S lawzIUW? 'ma1| &Cpߒ*d?/~*1ryw%nB'wN|7'zo6,x5`\ZD0H)tǷ >4Gx6zF_HrA_/ DV/`!V7wdӓls-'DCC0V+&r ʰpĒ1b}*'f,H*ΆXywBj -XI q%Ź'n))z?#l^?AIh՝!1ɠnZ#@}B /MPhؔrL#,>(gR( \ǣWKRk6)K>dЄGO M elIԏeV_/ӆsC -/'|+qRFLTdGPJJz!pG1=b 42[}xxˁ9}N)e%E0$$S/ ÛP0#{蒄tGT5BF I4]DM ێ : B-!qYly猼(+;!EVӽY$ XqDm='UL(`[5fao=X@}d1Wj&fG@}Я+G:I;aC_?+ ֐299FpGOa'}q)Pvex| μ;cqZDiqw8nW  k1'J&}t*%䥣R"އo$yؒ"e)J_`®1ƈѽAW[%w7n7׆>NI4JW*Uw6yǧA޲`~HtA+HN $JX֑-iGmH9El߫ #wb z'3 jeM2{@ ~i"Lb x/@5*KB~H ڦ{#e Z M䛍Їz>mcJL hYW൩@Wq99^ukJc@sT!'Z9ɧ!.a) ALp}3 NtXKc .k0 ?&.hT.Ғzּ7e&zwe-b JcpWDlД-6 [JA'{pzpcE:CNYHjD#7H'>詏=]7<`pݾ0ofL"Z~O;9jDnW6M(9(˖(hE$Tj|}Rߖ"^;IAVq:DE1{ݺ$LY(*! &PH9A70f|aܬ֠_=ꉅ|FR! jNv# PNJ-Fޒ Ը{kpiʪOlH)ˤk^W(t@y+CshOuA5A4=y?'U봻lqȓK~d){;9բ ,^~=QUлR2a2iK ת:ӑpy/zh%5d\5Jj}% Jto,uI~i \jCM0- KЊ4Å]AbY}QWZL<5Q3(#5).~I9*{= X#o`9.DD= Y& C13'ψgYZ4e643c820105429dd42f47ab3c322b40baca0771f854ea4eb03a9c8a56164c4c9f9900e0cc800a63888a6d22c19dac4177c4609a6b1999e0a021ea35