SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 xxT) t ]S]Incompleteness:threads=4elapsed=602.121cpu=1323.616gc=15.236factor=2.207zXZִF! ]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0ad[IH;uBA=KPׇ61x *>p=io%^K]RJiV\3ťwmeJ'IùL;" [lWKb[t%~#O'n:uoTCx+<1  ɆqNx$۠uŭ8#!~) a#C-j|8BÀOl08OE3. A2*{2 ORo - fTAnxr [.5U8W5_ۓ&!G?"pm,&-#x!)ݜCD;6}%f,`lGU,@ʼ¤TkВ`Nr#5Ph^d!bXbc:'kzG?Y+ VsG;%[}=xw<>_ D<^3Μ0;U|ӕ[^իZs~HH/_ygU| IjgF ]w 7I6͛GlNC(U!`P/-LgZ9$w`\F"2>KR}Zn+5DYSNF+H5tz@6BҒ8$ِ-$ aY:LIj{8b{j|/.5&Xx988Iwyyd0ɑj،3ٷVKIv͐um٦xo& O7uiEah1(حD7Y/%X:d? zGJ1VS:˚leJ t4rر08@RB BʀhƒZl 1#MDSiJ'UfsYḚ+to0P{CYӝŸBA\Hv~gg^aݣL]y9_⒗Zȗω|O{>8-` czkE( Ԥ6s8=,S|hˏ{B/CƆ:$0/H-Lj"/9l#&0sOͼmaZf-A&IaǦ|;+KLnZ=GL*@)Pє+j)Wgoz5'^dx,Ҝ?K#Hg5P:k p)<ūF GӢ1+k|iTRFYH*g,3o+1Z-0q05JjF1)[+XoL)N) Ur2RTޑ4?w*F9LZv?c<⊅nLA ĝlzRb @A8^38"d$4#tաe?I~zߋBT}519 Ku9-!"|l_k*POqdZw0X#9 0K! ;jH;RK|T5$XaA'F\^ KtEd5 yN/Sus~!iOٳѣ yݿ{"*b0oq'Iyiχu%3.ꪹ̴ 6@^+) `D8XObEfGJJ0ȑ+xF)$ m cWRB&=@ :Za^iSg5*R u{-HJDe,/?=g Ph2f0Q ) Incompleteness  8tJ<\\i*s{޲ӎ!|ᲴT!=ݟlePDAH%3;cI{հu 瀍҈wGok"˼,E{w֣[d˴}t*;=HJpDᦞ(H/ſ&"'h?hջ ?H+z m >h;(\ bмmPkY١ _|Y&kÈk)mBw̒\۹W@]&M0dǨN&<  o&bL)6˄v ? hF$!Pl+{n3.w:W^]o>8:P+fib.p ;*ٺ&=/]b)r>I<[S*q1fgҵT6Y(!pL&="7t2 pSc: V:qĐ:_s/[E(X@ 0j T.=\x2pg0@qGcoǮ 6ZDreVN^|ܱY>¹+rObW*wQ7f@ +%])pv[3s7tn697e/g92]{ڲ򖛗5& EwȂi+K3$0-ǥ A;]P$O:$4Qj';eUP^v`(R3yB#~WwWl  iVGwl=!"Ikf+rxr^ ĔWXN&BņZAD0BsSNFjImkVhS>z%y"@;o+CE -4zEQcaNeLnVtC5 45( .Ȼʖ;}@&F w~ &yñuDUDIoW%VoɛtJ_JHH OEFu,IsGǺ7fgs5͡Y,tMx4]q#f6Iz mߐ:?9\G眡 ʔmK@чKNa$ކY m|+j6y7uxMIS}#yq] :3 DNL\ȿ[0c:hFe=׵˵jTš4 Z#{][jMݦVƦG4u =;$ 0/LC1>[rkOޛ홁~I9lt%iyAs+`ҢeQ'{3/G(.xc) µ1=fw-ةGlgǁ]q;w̩ #ghwDNS'vC0K%'ʍ+KTW]vn /F`zħC' 3?Z.?ȧu ի۱MLb[@R;~hv"NR# N% O_2J^.D&A*{]JPuM %K>,U(🳦C=P{`8?^G)~}%{ ZP^ZB>3M<`'Q^jq=䁩u8g[J6EeEgU6kc $Gtygj uIl푠)6fK.k׭ƯùXnT-[ &s(r &7_nק3[č/4kΩmP W&:ڨUVcwɈhҪN2Q[ngjaɕ9R!X .]޲#u]\zgr 1Mw$/{=zU+]G Y;aOٚgBtq9W[]^RsZM$2n?EW#j# S.*/N[ۓwFKR# 88̞g3sQX^-3ժGPNEb e>=HS_i295{ dk@EL O$YgoRẗ́նlMRˤaW|S٩z̼!ʭTfIL-[R (1Hri{Fse}1]iy\=ȎΒ @;.4ɮсB =qyjJδW RH{a<aÅP%u8X^Ve K.v FRD"Z"%$T..T@:vO [ϓUgE5>4=[P#N.]] ySiQ=RU&@Q$$quyY0`6m,G:W-8 6H㈠$%ig<+JO${$̬;ш<((`B)-sd/B|䕃LZ2h%VYov_ռ3J͹谏x]{3[ѻ!y͕QfoUGzR(i]fSmg 褅>WEhZS)( 4;SU'TQ0$ӺV.6V[DАг/<)$F52F[UuvX˖a@EVQA Q XɆ\Œ@aSu%%?!5Wdx[ F zd]B̀g3O0}uMTi쨹UF̀I>jDP|ЃDTI锯/.|ygk;\DO8 P8{^c&^ɱ<~n V̾^dN,-P;4#-*E<8'p+TZЎ'_&kMDhF@銾[V 1~ d%A(j͢n"Nf3l65O*3u˼<9O;d$-̼[ި3Dc& M˔;_4<%XN?bzFM H_Qw(sܩ`UFGv ],Aw *DyTB[9󐄧e ,2Byغ-izg=KYPpl8ӟ>&Vpc$ \Mx(Hc sI}q\\oks2̓oaW W./xxOr.d=hbUlf$-߻޹aoutҳo^ _"I3heJ^=%c0Q_8&ꙹO.9$y'5%,ao7Wuuqz Ro2;aDdt\J7`ޙ5IT֐tHs\Q--[Gc]X%>7lGZ/ZW6XȤtv[W]VpE})E{lp!μ yuܑ3 Q髮_f' rxrdCV^i>E6b >+FIJUkmsr9dIaS>8NubM 06j0gEg\<< f k[ܹ^-!zcViIdQQD>=3`C'H6@ki5*1!f}35Zu1>mM)ǖVTДl.AW@*gYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$:AN >E$\.e8[xyމ3!eF!)\3нO]7a51>JeX> l>c`i|]F{M |:X`4""RF͝6R09x#ax8}&*Z-4iOFw7c_3L(zVfJҐRzNsGFȴnAJ4j|.6žqTBjF?[pAW;$C8F/^M)yV+J!?XL3khMhʉ lo?o,_o)CN=n(֯ AegYZ7zXZִF! U2]ŗXi%L /I6j/~}62,哷 >8zU{ Hgĩ;\6eIـan֒8p0M>*5E0x$g:(i c>Oiz#\M]{W$ e+ xYkOjdVRqqY1NŽ{{1{)HU݁NIi)i<̋,ݑ',} LXXpyæIɕ3d1gO2@?dgϿX9z[$| O&%#Th,mFs9h, ?9ahtLiؾQDp(y~vFg TaGΘ.e:hf|!$ԯ)y)@1`+ *uTp*d 1/@s3>zT$_'*p!\%y: "I[Xf] + uՖ=NS[hA{ V h[RMSlFno_SgdȟլFuȪ%<>Ii,hr\JgCF{cuF8(mv8w ZډkR^FfG'me`? x^{NRO 2Qg#cW$hłoBl _:aI#&L E#~&FKnj.RQj(2OFt.~~ 昀W flG'nj)djZ\9 m|iLwk^GMa':!xv#j! Iz {2*t#[O4p=u?[-Lou1 Rџr0 "O&1(ZA7VY0P}.*qNNG|dStL >R3Ubw6g:+)0틩|.ehSw P_: ; zdA2r: BHf6iظ7O&_sϫ1TUmgx-ӱ-cB:m9ͮS2J=fҝC>ˆy60m]ZH:`5(}QF&!#vxppKnIok0G ŁWf85'Z\utpfpN"N0=>yK/Ve?.?$>Ɔ%nqUV7>q .-:Z }ُ[J$I9p|ߩɧSYޱoMS%O"÷q SNtLŶq=љX!wy,(o%u>I9N.d21Q~uJ$l&s(r>OuUW(nBߍz o")AU 8=#uyC"¾5BFw#O"`kmbuH*&qfA q$!qx&oHmJt2MgZtD-+TB H`~]ߕ^] )]X[QT%C)s2*p[˓G 0bϵD<|np[6rpk51۸ GG3 4M;-X#\AL"j&mB_g YSPnȈ) Us?#mU<$b'!^X[䬡%Rh.Tɧ i ,Nzj0ʰL1~lxOcIoDesGڛ jpa/5AhW =i=>5>p |< iO)<Q.DZleՇY N6Eh閹2ph1ܾ3H?"iQvpS H_ȍgї#@͠Xm6Ĕjcu=aȁ}U) $M|3+EZEj@}Ns?|Q{81qU12HZ8)]×GMa'5ʡw1IiU7!P#Ǝ]8)q@jQ'jBnJ} A:@ݡ|Vw}wX ,e*cqȹ 1b~e?N(67LWiEcc:QgoVH s֥Lx5ӯ/w@&E,xHj]Xc;MRIw #go?vaTڨ2`AOC/\bݩ#/|Zәs`sv`wyai9mk-2|\ppG>D=bߢ=v*n[z}Bрg#9Ev)t"g IjJ/EeD-ܕ訋=gbօ+$:),抈sdK$F֖t(0Xo'OVfO1ޥDPb[ҝi^sLu"lrʐbGKJ8siulrڢGJJzCTqj'DD4xiI/?zO xQ¶sNω~X7ΔڄC!~<F/Xz>+b|L&*r4AE74?v&%]=YWOuRZE c 2[ĆIINm7sB&躚೷̉3fcglѫAq(bþ.~oAqy0g'E@{AѲ1'&j&| o\NCh=9O[#הP v-L*S^Ѡ%|:={<ۡ2*%,BmmL?EǬ Gx^3fQfw0M*GT(Ŋ̼I oCxf"i{vcp2\a}B$lzt3 ƄO!vmIq\@V w툩qÀgLmM٨ o򁆢>-b/z @( VΐFJYTBPyؿ+ {}j 㩢=Wcp~sE !̧dWcu ӣej)TQۑbçIvECJsRn?  ^rjqCXr՘I(^0il*+X J0 Hn'PCb vB4*Z+7 qh\/H!͢s ZLLgѤzE>?R*o`I oeV]oЂY< n\ 夥`$ Ux {PK$i=A_,`2|@ob A:,+ CH)f~~B%p^B}z2WBkM/f hXCCߵ֞hw'U~_ڣaSɇD<=Uf:,]eLv;$?hӐ [Yr3^W=Wz:H%p0i ѝI&rEM#ՅaLC:k<݉u/w]G-t: H i ˖K'$J>j+மEO(>BFK:ّ6L''߫>Q'eV*weܑzx⎁2|V7>Xy(j &_̈QDאSf?}K| |oW˛OtvwѸuL)r%/-EHRudnN9zÁdР!:ޗ4O&O0vZ=s 4kS|]Ykν'r"?D!.=?nH[z=%\Xr7% ) -o o1xda1Ei0H8,ā1T (d4j:$ܤ = Ys[Mt2B4>d_ kumi[¾w 0V:A"m͍SV#/G`M>Ԗ͗5llasY*EzTb)S9nWaiziMaǁN=eLY[P*栤KAō労nL<\,8L)-R卭ťTPrbWwu<͊otk:]A=ZnBݐo79D}釰Y3 F25f84Z̕3Ԓv5p3 /[ 5Q&vx'z,.L~0@P‘K|szp[pvh6"Kk!Ɯ ,MASj<*ib)Opz&v{GY$ɕN+']">!D^469eGY:5jˎE$Qxd < g3ޓEY l~`\8ldaL93KgrRݢ/ ڱ)Xc:}ܫU{ް@Nut a_Z}-Ԛ#GFK']a%#ƵOQ/t(^R0Q0ԚL(f6 6ad/,,({US%.ۊHȖLIv ;ZښsHȚCRj|PƣVՑuB0w|T9*~܊ݿESZu.{Cq&/H?ȪԚYHtu-9D⼂U+p#?6FD[I1Ö]~/B[ *Em#Тm#hFث1p4j?bm!_p8`jJ3*x5XqA?K-bb;)ͻZLIϬb0|6,\7=B= %CYOl({<[a܅,A?ap;Z-P|q*L!X[̥F}R]lI NzW͡Ŗ荠A!&t&4(J}G6!ޞ5fOK|>盛\sgREol$D(9Je|H F| Ÿ >dWen'b̹)z6QeS8\2l).ڢˠޯXU* |w xƲ֞;gz\LkgҬeqA! Mndvgi(ϲ͆ċGtP|_JJtqG//ƿxG *R\@TNJO ;IxAtyc#Du@72UK GZ޴OhS?7PQyc4|D9wBm? cH, M@o$f9yx s9ggOtbxF{l6 ɖ=:"GAIy.Í~v ) ~_=>r?%w/Yգ*8t&>9zxlҫӠrkP_A;Zr1}t+iN`T(+zKѹ-v Y&,P2aSsŖE?9DVk"x-eT.l7U aQsl߹h\CosGk=Kh Rz34,..03|l箱( a@ "lUWZjʬ>SIC} Йl0ߎ,xL5#ttETx3~,-:w_`Z7 }Lh;ht2Pl"n$ x>]܋7>4Sib=FLF CfUQtM㴟B%HdžgtLWb[z N]C]Y{qn)\+3ROt^](x-x$]zL it+8=}v, _^R]zbn,5u1%:IUxc|&e1LBzxXmfDg\4Lt}zv٧ÝnmE)ȓSC}(B._Q#-Z.,^R40ĭ΅AAR !7l,j4){99J 9&|?Gk;uݘ]vy- JO_i,|·H݃֋0|Rof|-ޞ5KZ-8|O*+QݝU4ӛRל |DhD9Xc&x/_vK$ (5W"(!Ipb UUPDmZ&/AIr2%6t,Q Altf3(P+}Bқ629K01ix={EN! sy_3aN14m'>٠>Sܓ0*7 tXƤHt 9N(E6Gu~IH [ 0U ~2zvV5^7`sò\$9m?MJ? x)@!lNR3bq& /_mr"+[8lz=k#%VŇ*~nLU$@"/k@l^#]w7zgų]aZL}_\ze_-.iV[y^JFNڗ`X'ȹhxEM<{>6Z5Y1~R "? LAge (&4/c 3.VJnɞP];%'O/i}+$,lq"QOޒ&3[m˯qBydVo5޹qM<%bm)0 mZC@7ٜF Q -&ݙcXdZq1R_&G 3&m52f.HPosiFac: q"(fc-khs9oPuYk||'+fW6BőTv4.p( f+r"t\25$s/}|ߧo:d<& 6CȚV+TdK+?|H^ve,|1zf#aJ%ERMaȧvFLӲ9X K ^z,h>dX(oӼԴ*, \~[xz$r"&VTh'u)g_Fi6,E=' Y`0_W]L5p?E͚,}egE[`O?\FW(Ϊe ju&aRԖo]`'@!@I-f >_Ϝ|#\ao+hg?Ht,0ig:Q;oh/ݵ 9A|{K7hLn8GI) vR.M'YY9|̻'Zr/V0ohcJX&WJlkʟ&M3ӍH<qZ4`$THvBȕ`yEOJ[mQc$#dM[gbҠ^ajs^E; {j~NoP ҡ[(;jAf1(LFğ ;EJ(.OC;\oh\&B!.:C0T?4̗҃QD7aLyG@zX}nyft~X,,Ġ k0I<#֣ˆ{)bIJ(Lcط]' NW rYs{J8H-24uz _`-a&|ˊj:&Yvkun\o7zϾ]o?SNЗA"!l)WQy+Spj8X Ymi 6`mutn Fjv Q׎_p+3< |0@ySſt*[΋M7J~1znMDž#(uQn2=2I8*?գ̪@:@ۗpCޣ}^+C,z;ɮz-FI}DdEDQ[ǑtvE"_VLw=HrOcGo@ϭ  27f(< ϟjb D@6U2+ t2Ej!>%'ɖoVwoRq =Q=bA;XٳWHnN{7Ky3a(㻏c kPii89v e'qzډE Z7A۪IRV./KR~Lks2sRG{yWu͑2ǸkF$ w3Z[΋̹ᴫ9@RhT\&wM ʌt?c=uAҔZlߍ]5S@ bbleE3m*`:P$H%9MMۥiYbZoMub, K)t,^N!dJ&-m4Z!!vAqj ]PKtpϣϲN3B59Vv|!R$o'5 Uw:vQuM2W$ǎ x6y7whζ# U|&T HiNdQ3D.p*%4ta.5KZ,"13UK_7(=X ҈Se~s9/Մ9yR>KtS V#^(rY%q=(e"D,B#۟!ȝyÿ`33s3𐣡?kp|qɉUw5:6:qV\톺''Cqll_eFÉmLVDm~4 @l nbYV/Hkkt `J痗]g֊N2lx&j~>3H\AC /?R-)$ma((˃λVKċPNÚQw[[_eC2* N[IMiq1#cڤ۫YnkdJSyf\IgxWLIWk**5KHh 33 hM)TT+Nm9"t1fO!*dŅ_8tP( )#OHM9] =4{s'T+h#ŭHBFoZÐ?tiqhfL'}Ұ Ux/Gp_Һ\**y23ugC~E䀢WkzMN{Dp0 y43yN2xHW{ʱϡV{tfXl˟m?uXx߼OCq>+ oRٿL9fg&XxH y99YG=P)[c֦7K؟yGv֐rlZ10l07 k ryCԸT^'*yNբ"O QܻR(H`9ՠKltdc\cr"P-okyG)H>9nG䧡ѮګtߥN3R_Udd+!n>u8dϔSbMso@-j 3НV\Q9ŭ_h#ư5-p=-r(m ާ7-5^܋9==e_oˉi2ϳ/7 !7q]]!7BP~Yb;|9߆6}S*(T?ǻmb{ $n= /1[׾(wC}EQSًIxfLpKˎnG7A{|E#knVolhҋ,C˯M:1k| y@6Q 2##Jd4h(\Ҷh0 aV’Cpר`dmu]".o^~z5r mjoR_}H([ kkPdޕ_PXZGA`|&B0JH1²sz #Acw5sNo;rCP/O=s+o;`pqF#) ׻nD+(jb/cxΣYm޾i4sN (Sn[x(w\ [> M>7u{`Hܻ3rq=0FBpz`~34@MI/ahbLIp”NNMdw{^I291Ñ@TL8gCTxBZ/4DYXPdUmuO#1 o eɴ#{&j)u5j*~'w%o"Cti+ȪtfhFYri;dZ܏p(~nQ$:.SzګV&Vx:dkJʪ'Y-} VS$~WBc!9yb$TVk ݥ3ȷ~&;+<_!Ìyu]V{ISe \lVgBm![,\a~YS2l*@UN ,6$x; 'm! ıCģ5In^Qiҡ{9']EL me7r!ZG0L 25p@{rLeqhV\\pi43‘ qY<neET;'?{:};4Uـ`E=J !O@U|k;EJT߃ƳOF%ZRQhnc eH5EאTCߥ:AI'Oa_zcxr.!2HXRJ`q-'gxԧA[tѾyoBL{( CQB\$6MZrfYZՃ cj>tKR2.05͕1S .+ܝ&Ss<b5:FP?XHhՊL^F5f-xtx֞!|;ʞ0nbt*`F <թ_.+?;hVb%xrAֹ'4Y ryWm2lzRԩ0CFdch:|5CQgU1 WGAR5( <-el=NA"`íq54zt՚Ҝ P&`L˴V7[tFTjCwpZ#9OxbRD^4Qb=:̽'A-Fq;V|N*5y pM\W=E' hu*ry,#{s]kW,!eM][+1jXa<2qiN\k)6kRk}9?m1ӵC@e0 NM24EVكAl"a. =W|+[n%/r"x4)WjJv '՜"*4w_ͅ =*ixW Oȅ蒻R|6&χ"+GOVdA~و_M \Y6N۷;ρlx: dvN@?p U+ J#idџU8}o !Xtz>1UiwJʴ}yy %Y 4@}A(Br &I7-T αzX g|#`Ыvao1Bɻ3Ѧ)?r ?dE'-N(,eV}*%"iw6" hBɇ&ǻ0יo{ TmÃnZq@?Q+.z|78 s?ESHT1a*)yπS-g$vv:\!Q,lJ߸F66Y6"tS_:CNc{c\?ϦܘŽ?Sm{_]=z[A oJ_Ծ-9 CCIwmny]n VyS:KGpR.\˟u@ѿÇ!>.78SBn؜7<FРʹ$%; Lg,4|Æǭ&EIc8v`ɞ,QzVw`.uӍF5ɬ:G 1\)U;!DX_@A@)1l,'\ kXNQ'M8l:EYn<9bo'6[KCVadjFywy|0;E)ZHT\ǒB16g:.C76(R6N=WL鎝H \SvψH|&p ~ ;%304^˵,zI2n)4I6ߟFytb`7VjA^5mԁdm}6Ii:5+ 0]ݗi `E:+Z)c--7:QZꁳ\(Qr n_p R=T7'C+4B2` mQɫܑx^Fy|S_ȎE:.c=;w,ȦԳL5~ּUާg]`iL ܩXY} "`mts퐫o̙M<:DY㊱|T!xrS807.qXXFp4](F@h Oh im mXM,6@Ɖ"W}#4?r%,Uap/~`?rGnÝo9#fH6S~#gxbb[dݝĪx/,4;\v!] Sz۶y x5hGP7%9 [/!c+EcYԊh}Y=8TAo'xp 1?J0#=1[ -Jrqm}|N4;e ^vzb kw(S U@$E US){t/ m4nQ8%H٦$ AU΋1$d/$z?ӄ_w:Ua-lS$ m_ n L ~i5 䓄*jsѳZC5J]Y==NZZz33`nrz&'oW{cXz_q9-3^#U6M֓a1zy ԇO 1@ s3lNc'ދkޒf0/ lEzdI&[VٮEn M ]Uetb1Q5S4\`w='Q8Mc|/;*2s $.@O{>c;]typ_t:@:T' %]W5 RCtN@Hڙ"Mvh \ӱ9m,73LP@B~ri{b^=YFm2*z.ce =?B.o lQ1j G9uGx9񨌔A~:%S _ьT\H|'HJYFJTΤOB*1zs8Z*1~hMu;f=+ΕVM l8zM5zFcsQ fy m4m(\B/?sJ><\4.nD ƻ@wܔ΂tJsL}4څN mic>>ܯ u8zl+";XݜYߚ70@bhx~$*2hƪd;T.[XZ,AtjۯZ8RN>Q)| Mbɮ*A+z"H$Z* XopϱO.\=&w|HQ6_{07uZC̗WXvc.!6e1|#y%2= \ݛoϣ\R5\pޫ܅VHgMfNnW,y;ӻY 鐷vرbLk Y'oEj_26$$Y U6|jsyn[*_j3\V F O29lA~^u0ɌQƲ xt[_Jl#R.J9`g^6PyI Ġ'^I,Cd-q9-Ҟ xg*)$plke*It(eNW arK% -n%hsس Gi8TKs-#5AA,k∴VNQ=>K"7iފ, 22q('[l1 t:f7-2{l^, ڳŢoK chUJaPAp﮵+LlD,Ԩw3ϋw5(nDg4;ؚW+lH%%83j7xKBw(RC!n+8ƃ xֶu1=B}F2Q[0ްs.D%PW] >Z.1{?v:e-[)\0 "[ʓRsO~r.*ȓA]J-Mi'=Lx%؀ $5쭇NRweu}ރp8>U)F_Icp*1k[0YneL&|T(ZkXXOv_ [&g:)sz  󣖥6(|/}4i -pat< Ge%ƲOiKHhm V$)t.N}- 7ʽ0o@6v6 ЙRpPH>oI4gt":cJe^%7ׄ.y*̈HtHhM\&xY|B(sAtV$Ǻ&"G{ *BO*Ann/`8:`i)MAH272\ ݒC7ĺy\{rnge"`WѺ 'G /[$]kiy.\f$&hGsЦ% S}ґrl2袣MCEgc(KPs8Y*@e.zMp`(28b=ZQ+dW}T["UC:0yVWჹe[ j&39^MptRvX~?:dbl HNmbh#VUVW~ј4?0܆؀Ҿ6cFXh:1Ec<[Pd"σ& ?s asƞs >dCXl鄮~g5"E$%-8ffdS< *&N_!`LEE~usˑpn(2!m"@n_iBح(8͈K\m%eјxhof(MDג Vz/$R.~MZ_ CB#Z#ar@QhP dP=nF~aN,CKC#HGXdL7W^lָxHH?b9)Eh3ĵ*# ̜{URƗwC62Y٬?jxNN ‚cɾ2iw1 m@6S= ۺHaVL[)R FBb;S+r~)~TVf6 s d-&km<='4#KّZ̲:+|O P9Mec#C ] qL^A9#Zb;c޻ X(5bË#b[0yDҾ"aGOB5V?Nم6 jƾ` g,܀DGW9ɠ g8ilͽ~\ գ!9k|hNY )٘\d[q>!  Ce &9TzC0W"jp:)oW`e20jO/[AUegV)-7VVzL(.Eluy;?`Ổ(=:$ w&ke# q-~oftW miQp'ƫ7,RԹy)M3utecط4JĪV.1{*dH<ѐtzo_~('tt^>ZȬyCZWh}h,J?o/_7$JtZ'al,υKV'v-bٟl<\ז>svg! tQhޒ+*ʠ/# TA6;/IM"cVFf9KzJ< /@=a/ Q|' NwGp|Tu!4b4sMj5yKe :Pz+Dc ÐRI&o+@Ծ%&6c8vX^aЦf?H!dKa'7+4bC|bA:$ş<}f }_rd9"NdN ALzi$ WQ-ɋ8J"eS0'qz5n Y_ɱIX~283g~_>>?8^ ғdxHjsC#cYB,ҡGX$%RL8},s^=3WTNŴ}c՗3D5T(-Z:]mJS1R$7x=n VO.xCQ, <>LnA 0ܬQo} ɳPq2x'Te-y^yUFI4;RJ ̟WnБ-b!&zn6#; o auŢϪ?̊Bl s$Pn'l9Z<޺7tp5g`D\0gy.}uעiȃLd x@cyt^iZ}:G =@HIHfWr)ț~xm\%NY:5(c#0wcĸt[ͅ)_Eg3i-T/䃕q%|f);G[?WB tI& ie"?}wg%jB[lX!d9ڎc W3tsQic܁ L,8hLQ\,+SYۏgT `( ȉH]-#H",qiY,kBPnb 7U2iQ1@tdS bq'kbK niXƆgi8-QF.^썃6(qϷT69*Uk߀:clYi^2,ʱ CJxj->%>ȫSՍhw., Zo稡OΎ&?yהm%jjJ"wFHpz* SQǁ tdMߟPC]McN8~]{$2>->_K. { r,. G?aAޡ+^)숟6*3LJu^]gQҵœeg vlb2]ŗt zÀZ+$H|T uj'~v!ר ;(bliA5)0J6- C.*2g"X$(SIQê]Ҏ"5P)BXŐ.8M~Cx-i֫2ImXכ*>4:t!T@B CGŌ:FQ\iQTyZ|1R5 _1{@-/䦗0d7[}kH#Dh4 N߄?$^ۈRmkvQo=UxOZ]%?ۄ^qz:c `1,]Fc3M+ܽhWn~bwv`$ IGXS :ͳc?2#P$9bx;i_7mʲ%xZF&p+2mmKT_Y'/4i`w ׼obwXؿתvG)j-Ƈ_J"6 i61%KI*͓]җۧ]L>Iٯ]0 @T DHxP8NN T{;(ߚf D9?ZH. |mJVB69:>)<M\Sm;L%ˠ{'BIO$:N0Ŏ [} r[>=5[ ٘:Ĕr_&~v 4K崝I~\=kE)VR9pvlϳ/rZ^7'`an6x]4稣kAd4qQ uᇹ_zK<>J['yDN;G2w p#N81dgDuk)+Y. <ߞF5xP:\Xt0Kb?q.,* A ba9(Nxsҥ|b/Cyjծ2*rС _[p%eRW+Hê=wU8ٜtʗcE~FinLhtX Ao>PVvZG4, _ƚhZ 0+r[r통9eKk=D 3XD̏@?%=Ρ[A^ηmz`8n;9ԯ֐h$:X5Jt#*6JQ80UY駻WP00>end߉e%t;7uhC.;'b^U;kiܘhyw# Ik51W& <`5H;ÆSkz_(kϺ3bK2χ>5_G4C8=͖#ľ?ͳSQ{Za;?=wf"Tvh@n\$dnSdY63РѾ^OhNԛ&cG穖vexQFy=B!O M* YcO\򮊧Nuv1  >/~5.9UMZ{:>>cRNFxOcS=$کuRoS6I/*G\k8|dGLYpl7U "iHC ""PT"e$e|]_NvXh4!RBAh끕7% ap#JxWQ7&X~͹вX֏Q="!B= JSm9(Yh͵1OM03.[Amp[iHּV0@kzaOBT8>g+ebv lPw NFNdK;/y\WaG]k;lg$K ur ۡ9yaGn|r2`fM?0𑨽wT/> QԵlWJ;"O Ay4Ҋ~:[i5zzb~@/gPyRk^S#*Ea$htכ~FB#AkL:$1[: PER) pYbGqeyxfJl,P+^-*C]?|JG<IfG:mb&UEVuCW]aġWwp]@R΍u5,7-6U[,.ƨҊwce쉻|{] l8BP!.KyBI>؃~ |Šޝ.W(HPvZ+A4:&ė4˵l; ݒۄ{".Ҡ8KhE?<ܗ'= 8 #z:tFgQ ,fV}省kP]D7eq zTFQDfuE9ռN՞XapQzlaRT[]t)9ő2TA֔t {=6e+]5Uռ:.:Ok oO{PlCRN[dΦfd8Y]0q\sz%)cD dH( :Ct/X-lL}UqH:!>"{m)jL۴[ ڨ?܎VsB'J 0I2UlbL`5~s}uQ'3vґAk>NH+mҜK Pur 볐pЈ*{GLTF1 7Z7,'> c";iA~YBd캙^HIWihjuΙS761) [13OM gL_@HePtM)& seQ}~/s|~:”=hD/yK77Z!e sZL-Ş#fh10ȯgjL'UFV1-m"[Ə8AUdJzm=~C:TGdL֠¡ ‘י_b&nO}WU2LJ {2V*#Z+rHqHd kS Ĝ*ga6{fj QR.P9\ B8t1#"44>jO˅z?CTԃٖ;TL+ ۶Ǩ1c}L&f*zNJ$m<'a5E#-zqJ!XG;>z|?#KY%5"'5!3iM0Aq#Nv;. 6۪{z>/^j娲 6k"A7?vm:FB@h7`;Mp#][<%/#_=ަKYκ̧Ys6#uAC荴)uDܧxV` }m^TH>AҪ)GZk ~ .Ō/MJ< zKw<{y1-ஏ#XH5 Edo&Lrǀޫw$)7TWҦzqɘ_1/ZP= k'q#+ nm>V8+ /FѠvYA%k:J\<]|Bhj\˓-ǫO檱DKe҃( k^7ߊWHX2bg,y7|P9(M&a|8hw8v w,{N$\A ]-:xRb=e `C5S]M "_;uc:VnD!R:1=<#U7]?1誾c[zYS?50}|!ڔMP@/*usp܀omuޤ( 1Ǝq t/,?-K@ _UN  uH2d91m=A Go[t$rzvr :OťrObY _bSY"eIt=|tR+P-dL̼/ Si;FhGW~'9!ՏV.DNJV0%JjVXlIk}GՑ0SjHwͽ3%_<#р]*6$9!\nUbv\A.:0>ƲT }Fa^&guᥙB CŊ}X:k-YIc$NE3͖?}jۀ2Oo.Hh|Y#Qq跲4(bXRXlA +MI<͟+5'4RE+ǎrǻ~2^Ѵei颍,^K1&OR hfK= ҷ㎣˳xׅ Olna6C] g=2b:,=" ́KRAo Dqxtd v>eIF .+IugsUUp[a ^~k࣪ 1!o~k(|6QFؖYKV%6h#!ۨN- gK "vǘdcK i?OÏИzn/4Ll['wJ~W*h:^Z~T=NkraZɦ'ocq!l%J0],({(BywdboH P E'R\Vi=׈˫ ᔈz[vqݡœiو3Ur՞{ hȡjlT$ ~}?bg0vN/tKb8,8$b'3EF&o۸_hV$T_K=CoKqϮJٵʱ{N6~ɓaJNXf&cx~3’n Ymd)~L6륁|jɓq1)sN67|_+qM,mi勎njϾX9Uz]z#-vɕ6Q{#6}=w$?pn-N!Hl9ob 8T}#̇BJ $E~s%$ hn1 7B.k`5 :EiMؓ(9QJk67Ԇ~@FzQ}P/,qFxײAZU*)U KB)(募}@mV<'\wv6ִ7ZF9T-hى*TY-ـPb sI TN#~>EFz&UhpW51zk?f6H\',au3Q|.ᅧ73}/^_Nm9]"r3G,B~7=䏋nMVY$ 3nw67 ]~W1g+?Gǫ&/h Q##_CHV.fFj:R#h_l`4+DM/IA 8̬v05>v1>`3z!(b'a 3o.@>kCggSG3VSX{ײ#:f"|qʻ.8,keb~dSTNjpQ*=+f?q~U_rkr}\,;]$k H6Vr.d`Vˬڪ63EZlꆬӄRx*PY V m\;ɥH^s]QEkF/S;؃}NB2 ,;صwA sQ3b5}؊dHWd;9p W@@ -׹V#ؾqe̺%?tnY3F Fj۩ػPVS;vx4ryg.sc<<kH&MKm30aq׭ couq'>$}Kѭ)ش,c8x䪲t3y)(#*=ƅD^|O2İWhDo0I Y97HPD#Ze7QyHP7gAQprNjui*|ϔ$Կ 3)ˆlmg u<̜jY žA5(3Qs#˵T"(Y/Ľ|v hcH o;\ͥAE}aOeiQ%yӒW,_< 8|ϙDNB[_${Փ얉H[o4'[p aPCu;PFKR,P>CVЅ`Sl2Ҁ1*hT풴xBM%벬Y'KupMjLcyqdx7\TgzTtM6} c)6o\&:?ڐ%Ǯ'1 ,[z+zw u\j*\dZb K"|uPFk/mҜWD5`W9s6o>%]}L?G۷';s_JպxSD[IplTōZɺ^5YD- 1> g:wB@V y-2wӱpd3Jr&kZ%mg }#rq5NѠ?l՝tLH˼c9Ȥ? { Wp5͕k![fCl+~|oҍ[j 5*֝Kjhe;e% +/La9wo ?]O@/.h!s7 Z_JhJs+aTt(2Y}uslcw!|_dETL?Ҥ $|CõDwdE`] eOrZoS.m(9̐yaXܒ+m{(k!Nl/  5Mt9_A{µ'j淤{1XoۀܺƐZfD#n]@ky-d͸-#`KQ?ovlc;ѫZLso-d?[U"ሶz|O,HN ,ď1&cV_E_aenƂT)p? K^OPBXe_P8=|[h3"tQIDg;!Qvmy@mhC7I( xP-U=<bIQF~\8gs_[g嗚uv~-g\V/=* ']gddyd9)jYY163Feq{C @[ִOYm9C4cD~Cue&J|1eIHr7-*gr =^DU^ MKQZ'B&StU#ܱj}Г%Q5 Jw+W ~%p[a sﴊߔŰB؞"0OtgH1u2\<'!`5—8>n-FDS!t<ש7}(ӌ3\\>ހS<҆n>6mGp繼ZST!KQ{E LOC7iw!{보SIɊJeuy騟q`N 92=3ɒ|m%^W" ie27)>-t)'e}MWz&Vcl)$#Z2JcP*mOR KKbɞA{qڟ-|~@llTq\Λ 0hK,c?;E=%d /'Bp%q5`F+#F`+u4}^Cfr-h0ܱQ00 //4"+6>]J|o^Ts F`9Qu2cCvGL1wiK+&jQ>p)&16 -)'՗ =B> " ktnF5 Wb  aQFŽګSW4= ~Ę2&R77`@!DmIlٜz$m_%>i `'%!vͻ?38>淇U?z1+x9>bg[_y5MˉnTr7euV^>+/)߁a]tw(ꍝ0"ogD,2f9D V]]烫N6);SFq× A3C}Udl>aZ]ʚ9]πR)nFsL#J>3_dʚeUq`(ʁRnd=Cf~1j *aKMQl5"HH*z? t.B^,|4w<P&'ϧYa:S9R)MrqiL2T-k^*Ir"e+C^q\9{WZc cSBcˢz iM[A~!] p`60 V̨ c; a{}Jjr鑔h'mPc,ћsb,cw/Qִw`gD_И %:h X)T(nFO.DFq#Jc]&S7imo6kGܦ+W@Owlϗs><7J ]$::EvTfNyiP5Bl{[Mؘ0nvyO=+*K+ނN6GC4xwX* ./yFHj <7co3ߏNp|bLKiI m@D!3CL/Mw3`cqGV^3(Et-Yt|œΑZ''3_zʢ7G lqx,xue21OA ')[̮rN;" HY;S2aG ]Qo.'6覣()aFPq/.zix_8FkW<1J≍FZCXAJ0c u} `[sq^wĺ b#А2aϜfUX߀-7Uwh `dgZ?à;;Z [F"Mq#k1[)O287 ~_ݷ*нs2wjl{&l7j@3 ^H˧zsz+~>%5fj0slB r@ MJrW"az! X<~74 N AG>_OmʣR8 CA|+ 'C@⬊xD<2}<*D>EWEc5jl}kFVc1sf~Dip?8e̳PГKQc9y.]јӡnon M a?]'tNӘkdjss'#zc/(ᘟk9: bCHm 5M>Z}%rfi-^ M;Ƚ2qFɪa|Ul򫈩މn  &bUDg)%I19813qTFkQ86`4Ttm.M6sVi}8zh,X8uʧ)<'wR4zm>>w"1 m.F-VuJ[U0C'r<\ I$ /pKIe;5*5!X2äRhjѪh ׿!g7 U