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 1 4d4 ] HOL-Metis_Examples:threads=6elapsed=15.455cpu=66.800gc=7.888factor=4.327zXZִF! `]ŗXiɟd)&]hS.J}+%$WǩQj GWs^7UxZ\|F4FyιmԹsM7Ϩ8kړb|+Odq22}]Fj,߈FԹzC?y7=)n+Kt{N9k ax~F[NQRe$ 5Y j0L_rmk_g+!]s{n|͇I(y@=Vi,ꌆ}MVѯڛ= [L~#:{n/D'C<רG0|އw, X_2z)YGIjccX=i#U٩e*xvɘa D6|ƣY8>ei&ֆcb Wٲ aژtY{N {_tud4-Ӯ9%K֡ jd4 ~76]b(xLu_dlLM7vTNH>j`/ 0xy "0c.Gۊ\k97αl!׳F BhySB%^G-E|oBK>в%#Y|cŷȧzb0N .SIbR-/ *ﹿᾔU{us4`A>1r`ݕ)By~45DC[fdbχWNu.w,Z|m͘Yd7}2Z^d o[$OA)o밐7\۟"2bR/ !Z߱4ĊH"bԭTVͨW֌mwؗhXbk~Rm\5Gce֑ˏ MGu e&,ϖb8xezӓjaE\'z"ie5 $!t2 U)ݘC@풣6<|=osc@oT$;F918Dױ=zTĂo&mca{Ʀ^~_&0F ok%fQX.{I;w6¬g\Ũ))UzF5h Z n; Fƻ۷ڪd>>eU.<lBf36:Zp0..+U{@e.@4~g rƍ5;?YEE?A(23f+2׽~>x]X5^{S+2Eo4'Mm辱ⷐiˋpzmd?usTL5kFF;gjfʒSVNH#nbr7nhAB 0*/+D ,P9ūۤ~݀#}9m5<̚wC@`|pJ޲r`)%;>$M@tl⫣JɆ'G-.k\_o!ӲW?z¸Zet ybP$˨"̸d7jާ ة` bWq.6r`5M(Dntԇػ?=mqc9:nEݟr= qdzh㾧,e6Ag"lnmb4by@۞  cgx{ p/! j۷NJ]=Jf@ّfEyjm~ A!H[5ex)MPc!HE;[/[9JMk`H*ZŢ,iM+ona䡎7m{s-g2B"#O55G^ 8r[eKw md-0\t`o57^$ۯeTO]]o6?^Y N(@8զz90#]לl Ѻ`#Ŧ0g E޻E2.X$W1%PLa8NL2-`Hc'$MK@ .1} '[dyX!56zognsk/fb $hHIs)DD:ttM9* Wƫt~X6RC|4. Ș4׳y 6|hƽtWAP56:)2v⏓.${Z5eNMoZ``xt)qvۄU&_XKwX/O1dU!b㖍 8KRЂFJOXAؙ3K4 G޿زɗ J^o= CZJD^C3˜(cRV 0^nz|:Jy97"=W%О4g5(f ĸ*GeqjBACMv͘?ԞcZr>!W4p%(suʑ oO.8f.K)zŔw'Aw< ϶:`;1ΎU&unXrR˖ҴkIE~,ĂЅ f1> F~Ӕd+8uҝF%wXv_a,^2I$|eP)Խ7Dr&yo3vag\Te[{^F9*bj]8nyv,D0EAxfmfot->ۑ?)WjgXQF䠉|7 b(lђ fSvߪ+\3tfry˓^bL+WvKyGz+_Fm(H\tC%BI*UFMQO)Ko9kSUu(|\x3KDctM}WV;JZôb JDK^صn3~  ^eJN[ֹ"%X& ,z'vqȓ' =˭[)y8g w ;|GdB'] 5wG >)?N#(d" vy'a2#2rJ ktm: Rr95O<7<0Mp:qLXLG?`vt":'1z+ؘ:KQY珸ղqO;[)s^^fGt כ37,>H.4 4 W@k8M焵?a^#1r>00-E_)ѯ3d0\؏6N㫉0M|25 VZU+-qT  %H~9N"C<ґ_6lrw*vO%(َ)cQKeÌȄ\L#S&؉.H+=5wzߞ˚Hh_)5 (-@ݭ-s+Za=E,_'lǾO!"ᅴa|UGK6_!%ؓW8T[K|'p0F:V-D|yӡT K<68*X8iЈ+;*>I j^QE13ΣuVЯjۊm <ֳ@ЇHRbC*$mu/>xB[EkQ+vf^)ڣwŝ&:MޙW7+}#Xq67L,Hx${AT=wdQZ<'ml@ Хqu49b]- ]t_"]*LI/r Jݴ޴Pw0 vfvD}~(׹-v$3 \MpJ B6zWfvc8_=}'&\zf)syTwSvu%]+ź3 [G.q%-*S;t0QԷD+#X_x_hb8- >{eM8 }?'n ?AZjU!QAzQYÈc`|kUTAu3IOf}n;5'Zj=u"M: l+8P~ .v sD5tag8$]L,_(&}߯(ӫŠ7OK{(KOp n=29 3E=s# ]Ru^tya.iG.&eE#Q`I ׳\{ϪΆQ > ex D t$[~*jLsD IZGd۸qd W6(#'9yԦ1Xk,~ c͌/ix-FCˍԪ%':і:ԩEOsf\=>G:YQԗB$ !^%|CIS7x<̰H.u̷bVIձhP;RbY6^lE\sŅzN.7joH:Kͬ,KF;|ȱT`>8>}/x ´ka)"_)9%)]Zs|Ogh@-mji%I~'\~`N-`1jMws45pUw:O$q\P^9(Y{(3"6cmo _5zp-}5GQ&IB BцmȊ$j]xRdew_i&:$$qFIA )K1r/Ee@BI/;JA8ٺ=M[4c㹕jn:t"aZ.xŒdi InY(֞KCq6R4!i>O K]1&VdC0c4eqH{„L%xyYΟ䪯3>Āj/c%"pه٢)Zf23̕gp8M†X Jl @(v8h~ =8{/є%ސZsw%|@('! †~OE#HɁY7fARMXU,8 kܲe' F_91 Y-SPߤA4 QEϭP#8xxH|Dm̓e>b ΕݭoMP :wg8N.RŵOjMzC1 "5݁%,(\gu|)D3O (qBӏA.Ddw,c7[v?gY4+OKg*o }=rXC1Ho?AI~PݑMwnGf =%gB}b>%/5W:-E> uN%&cifv :(_XRq?<1Ή*PRmjY#VC@J<=wv'-r8fR M褥4R)hJR!ݣ%E՛bT5de"H=)(a`.$ Wj22$ Wh9IF) ;>оbV1:SlDHWx>>3UEܡν ;Fזy%[q)篍I5oS9S~@9iQ=הSs( "9/gy1ֽT-{@92K(ń=y>g CAwxiƋ3D6ˢl)c}/pl$/phjyz+=B)/,$צFD ov },KRaa.mMLɦ*]|YIAeسnhPl&yrW.,$P&#,}$o9pz *epjUc̏+3i|h gl_rzS!C~q1 w>7:I3_,h|Wߙ 48UG҃vGż`CWwɥ,NU뇰Gy),~-*!9Y_vv|l,+]r IpT' N'ttO3Gd6r4`jzS<[ZE]rۤNB~#AT%(f}I -)*:@ystc+yml5A5k* 袩#)0|77 n$gf%iGF@w4&MzU n@ {T[Wm,FcxcNJ[VLQ9 Q(ܫLPfE^.ڏO1i5Ch;htMR lf,31Da@3*.g1Qŕ`5g(sQ7pe)аQκY+وO2;yWQmOR"1"}%Nc0{]pr ukB-=ݦKWrMC/f0)Aga& ]vyMwЪ12]j5#NyODڝTLJ7/4IXЮ<%jC5\JR)}SiF4w:ZerasQݬMÛXgn|LOnGA|NZSe`ЈmOxFwd ,lb7آ^~vNpN߸&I.xWgTJfK3v*LqG j?W'es}Zo 7aC< bԽlށ˰|$SN9%vhWQi9*EToߴ'5g˃8w;쑈U faCkT,dq)յdKu}*CSJӋH#l\=緱gS}O[߯PZTgl #?ʜ۵׮px$V8,Yu!5NondER Z-'Էa*;{79c 0z}P ³'ZMn rHjI H􇽝 !/6F/\bu){a$~ 6"Q8j)V Nؗpz6c(筅Fl/ę*$_1M95am55LJG5[H +'2³ŻS4ތb9`P ~cWF(Z9$o 7RMM$cPss$ir7#em[%,8k4 |ZlI&VEEؽ kZ 4Yh'+cYWQ#EbKdCႳa%"H>ic~#{ ˽E˜fk=zpRU[j;axgZ$8.d?ʯ,&86zBUZBe&Hzȿ3'T[zf?1o3ixv+qŒɼUtc^.2';/fFt3]m=U7d:%BIgZY* ]Is<JZ_1Kt,X"hB"NU.~׋(V- =8|x l>ydMA_CkFM:_1fPVޢ[6 gA􋽿Mĸ89jy0u, ƥ;mV8CN(ljŪ5"&q5Z%#o sVLTÉ KOfߊFalF63;jtMƇ:Amxz_c|UQ O2J;8E[-UӉz?rgAIf40Q)x;Bg$1}3e4E=բ @\F"{t"e̍ihs6 DL4p^&١'xo!MA\(RQoL5XţK:%R1^D :K'{$0E)|"Pޣ$rise }Bi)u@'Vd]NbWH!oJa\;VG`ջ˳R+CZ6PDڒ,:.Ls)Lʔgõ=Oq:fF }?!acm.o ߙ5llJ/]e4x@xP 8?Ӂ5wD_0. R[MӋiYwuB 0c]5MH2j/r3Y@Θ\WIt'@鍠\|ٱGEO\XSUZ[681 KѾ,MEVMi̪"B-7Rw-gO#5]x;hL{imG,%KD5rܵŞvM!~^@+[KAX ~@utZ_DE܋OC >0 67`n1E݂rPwe6OM0#?Ю-[ MC빠RH "Ql7ӾIwVYasɐ> óñd 8bE+YTMCz!⟓x<6-͙a3LCKU47ho[C?* bDջ9ogqRe^rJ+ҠmPcDlM! ֘oh.ǚ5oM ,N;r_eZXP%/ H| 6rŨ]:y࠳D+Y졔0&QA=6lJwRl&y d_fݲA1fK|KQchUYh=%s ,Ԃ~f5/_w"YeIqZV 6CLI]{B2I8"BrJ=)|;˺8ZjK;A&ye,`U||~vRlDjKZ8$kjو~vWNj`4>HJ5Ue&h0w yӘiJGb+lQkv!@3޿3BrM'iNdviMQGkaɸ4c$Dik?.{'3#&dzDFtrrr=ĂIIkӪBbCi#b![6/BѤ9Z'm > XS$L( 'u=&qpyQ˅rai`3TځZ8Ǘ;5̟nfZR'ʳ<}@ٯ/QH|+OYjtul98CzJ,YJ:a *A'L |/{zUgS-}Q;3*Gfi,Y2/E*0/|L`#ImN҅F*;);CLP ~g= nqNca Ƌl1jq^21<|8>8¢ŀ%0~_t)ZqZAʌSUѩ`v~5-bOmfy \Qn>UD2<PL/ ͊HY r<Ӫ#1IV@YdG{Uk6tced70ݖmPs84I^+Oo^-VϞ|uXeC(EZM;hvkʪoWmLY;B͑8K8ۗKjH`e;`%P$ f7#Юd& W[)7ֿ2~x\W| Y^bTqgTcXۼ.Ƿǚ5%6x8-RK&)ٛ&,A&o6E! Y<;AB~ݴhHpSx4/Ϸ 3p ~4q5ح]Dkn>voㅣ, 2]`|6#pM3+aލK0]ީa-lK,ܫ/fM(/u01dl+ wDJ6w=+~N ]ׇ.*jkcp::)[6vqid2'=Dzwe5kޔ('ִw&nC !&[pNd2P\"k~l\'С\˵|!3PTeU'ڿBh+ &*͡(~}OY넑F7.(H |[X[ S!2WW9E$[E dP&Κ\oьk4~߆OeA**hrM6xN\:ݘ,7g`ތ+x*$l^`{ﲊq~!z=).?Z# i@5۰ fJG0!UZR NF n85ďX.56^~&+2}F0&W,#=<OĊ,)\hR4LC9AG (&|ѹcLUkOȇA KB*6JKC(ɿ]~п&Aqk燲gC^Gߗz5> _Tv/AwW})ˎ4lq]K˖ߪ.ڲ`_W0` "#^\SDѿF.l]I-`+hV:υ#ųGNGe;fh喝)Pt1}{2Q_7.}W-N{h#ii2ЩBR!M1ůUF0̭}6$x*913_/fzH%.NwYL/vOG8! kgיvtP a6:Rڵ&٘"nDS86A)RU+ >$Ϣ8HoO6Wa`=10rN!.'ǩgC*&'K@eQZ90?)! 7Yr403&PCBg#xQZչbM 0)࡟8~LuGktqٺJs/>*?hDEP!dX|iEF TC}^H=(?b@Z~}B(LSHςbKBA$nݑT"(P*V `KWp'fRnwn zNzR8 n`(:lu{yP9*{@ / ձ͒9(tM]UmuVZsm OSREZy+Q4;.vK`=5CaY ӿU>KJ%*=R}ΎA}zu+vIlױKH.G9"ôrJHj}>HxD|SE8U7&:rNSR~m!Fҵ*t b_o[?<_՝tG"iW#@LCUMPlǝ탣 9Ŧ<1 nٸrc3Aw*:eXy <‡Q?EbSI Ľqr>ݳ#< DYs_2Va-'{Q]OA"0>p(~rzڎ@#icV+@ DME+1Ord?&rP%)/ mRCdQـeJ/Y$Pvc r6eΕ#H *YL*6}9DB]1ݻe?NNJV_n7nMFhz`*~ J//Z;v֖Xe!9vәw]^frZ2X+/H0`yj旹i_j/LzACnR,Dn/n4̟;Tu BZJ쮔><Y`,5_cZ먴X,$A+NV=li!o^TCW?4dPs/&+찻wb%o WRf[ $C-cN]]}B&1VE&pOy 1DrهǛ HĐ=Hprwƭ -nP5E)`3 !mrjG=D5'# <>h?jRkWn_Kտ&9zeSo?C $|KwwF`sXX?%vNmnqLb',9&hk[8w&bfPX"BE)1^C+ f t];-p6#+HA0!]tIT 0^:0^~N( ^l;^OFIΛSG4?ծ8# ;E-W~=mU࢕tC3[A(ҢQ w+B{}?c:ׄf+WUUlCй=¿x=lHvxm;L/:PQ#9ɔTiݻkr*~AwX27BšWz&S`Bd),UUVCGJ4s |ZnkW@C"w{j/\B7^G1mܑ$y[cR9ɫW 쓨b7W1^9P+Mz!Rr䘡-q4(âL};>T0: A_⎓Ⱥ 2'IRN;CaU^QH7J`I|hQ8L^ <ID[o4kȆ'1xv;oYUՠh5KrOKMA6M,M +)BO$"}3jr %ׁwi0pB$43OP\8PS vV~'"|O\ =-q‡GJMYwͲ4X-ۜNݿI`T"p\o$BӠ/]vܠknWKD//ͭQƿeN çh%RI}FkW\ṿѼS ި mMfI%&uֳK/`o4 ˞d}{2F=54?6F7"%S5RHU>(߱E\]X҄jA4ߢ!]H|P̲GǓDEx*,n#C(~Ks;Qb> ra% 0ՑL3V&>F@V?YB\͠Z<q_WnI^灑>@ V'Zx\:=MRgǪ{M]joq%&e^M=gD`յh SiI HyՈIsԚb CZbd'p+9k2({MJ> JPN߷2<#jvM9:KzZz6 wp *G}:Iaj{>:+p*paY"pAev%(ޟQVل^UZ.geNv$4VWUZ%T7q$)Y/#WMeqe>[Ŀ\ܫp5 zU84Գ($ lBDE%c9XT-0M~|-RYJ=TQN*|zkC8Ȉ7TW(L1޷ &9>/Ilf FvI,z K+hޑ MhP= zp]sgN9.LȌxF%i@#!gt-E);rSMk@L {+YyxM)ذX@;ύn@x5^{M YWԍC Pn6rYVQ̎0w=g_'ep%Oh鞱Ɠ7#@Xo17D>]٥gq:&/jBcN{oYRg@k $ؐɞW :ք,l &cd01$1jwQ"Ӻƽڏx=:lFojZuسFѬ( z'kʜPЈ2;y& QRt&whkbȞ?4g-w.B /Xn"*DgԠj`IjC쌻k>=nY(*-p;^դ 2 jBz ,Q09)4+^Dw~͎4@捾8c6dEՁx8 ɕ}֡pGiA"m9~ 4(O LWohiJf7pZԍ`ipHKẁC<]v ;/%X>h(ʲȤ wCCz|i 1bL{/Pb9a>RڪjWXˍ@5n4ٍ6ѝDa`gt,U:IiLstq_;ףYr'Fk0N {"֖fsgӶD48 l70N/F.ލ;C:7.1Xe5:|83w}uYb&Zln9J`E;;[Lwn'ko:.qC4LFgrҼm,1(0.a1Q(!Į YuKAv*QG )s *T-SVtx#KNWlV=ѲNgԻhjsӑ`U^tn0(lx\Iδ& a^!bN^!\D哥EQʡ@OɄgW{d"F=6|5ԩi񯜨mm3\lQm(>&.R)FV/3i)-gdP AO~6/ĈrZmGl:TDYݏٯ l5]N.h^Qy W9"ގlNkMOQ % KxۢrlĚeH丒,Z vUꍚ:ls\ CۻqLDΩ[]MM݂dR-_i(Kzi M~Oہќx,"A&1yYTyuMNUMIn;ZpL*E=`TW#mәڊY D[/w.9aOO=UiaJl{κWZ寮[B &v 葁jzфc@VJ;Pb '$o!l9q BXYjeݍF{( ݤ;eΆ^i9vbXWe${YIc# <6y3SGX5󛻞\/bgZbʎ~F8נv8&aEyށk9m1'n-So@q9u \t 6;"u۸}eAݕ?>ߡ p+΅%n2ݖ8<5;z8v| )?=pZ3?*:`F۴sYWh S,sj-ǜǎ‚e+ordzKU6E_c%2 #Y'irix(y LE>P5GƸ33ΠVD-$1C/BE_ vm"~/ѣ:.|aLa@|HHl@Q0O pp LP NMDJj:7h7<*U}ݱkā?(xW;]$,$ƒ~XFXji "&&J=rB,DW1(#:UY(cw`6j1ByqWl1^PV@3B2E$rOD.rG)~V JJUsyF]G>j%Ӂ@ѳW$o- Y6'fxsW: <Ǜ!tkB"T@% L=M9cJ1j`/)8Hl82pFQT|؉qlANm>4cVt agQ~.Y7tg`qAd0CDzڹؤbKʞXJ9|+GNgwdϳ?[6ӽO;%h!:E oGΙl{"QO0wn;63<]H4pbw\RAak\գbc<-=*L5BZ@>k:8);ʊ#5r.0.9BgJat(5S"ofIzOC_V1.N9ڡC5Ed[xU-E,%? ׈yjr Vqf~Y2$\e\/b̥NnQMr{׏ډ"A飴bvux[tY|N9TG7c|l?fYq:lzΥqv/* '(ɻx"8^U ?E]BZ㗭QN_P60[Q lم9Q+DAէhvۂiTRe!ɘ ^ T؇K+n!YY.HcCyХDu]/kXHePfZh6\iJ[ƕ#)r|]:4XKϔ||zٱFTSb`Q5= _xc  ,G[Q(&cT`ښ:;H:>m}63i$ǰRRK-K9#}c9>|,c턕98l<@p,5Ert=T`L!p,jd`P|5I||>ϪQ8,&&/V]S23}w-BcTObJ"8xsg( b0@ _H@v1frmfD5g꟢sp2pf.=ȥajTY˙67K D#DbK%q 8p݋)0 M忉n:eksJTxݪ7 gC:jH"HZd;{^˴ UIfU*%G=aP`R=~fZ2Kb$h!/vjxoJc.gѱfWGRcRk&<Ԗ#$(}?ZGF165#)3Q솑ZOCcqcoתcw"$`Eb>!PտP F\fle}U,YZP0֭oE=bYAK7~Ɨz㾯96_1kT1:2% F՜M_p5u֝N.cfi'^ӉJ' M丅oZ ڍ{L^X?*ʃ+$&C*,pĐ,bgeߜйL_P5rvTw>viL7U/nDG gVpKɃڬW۝„E5)mC,̪GOvTᬱ>K2;BȄ)П)4uuRq7TDudrL$M؀JXƮOuڊMH Lr,.O˂Uc*NdY :[5ȱuѷ\DԭXxW ~x0V/eUݙj1Ε¤ oCMa49ZHl$a54mI>Av 'B🤯!VfOL{yjϽ ED/`pH`Y-$ \r齤|#M8 3uI•4rffn}7-}\'map:)_e||yub#e8qc+\#hS)A@CG=J| P6 WLU!9b0ѢC{IL Gf#ܗI=?aJ"aǟK\?M/yPziT@bF+B*Ay Of,h2r6Tz6`W *| #} /@RBͻu *uMT{7!x&}A :4{#D3\ j.L` .m㌘wy?# 8ȌBKLeGKHje Ak|e&я4]{YBbثxW`cwbkA-ױ*/$7"]fa^.SCF}^472ma6*]d' 0L:xT7;q3DLЄ3&8 VqL޹kv 4dxaW).`y$I&r$pf+x4vinlj;Sg)D*`EF@V ꋄ-]B=pt,w,2D]d'N'a@:6M}@*8zz/o4^^.32F$JT͍A+_LQMfO~phq>l!`/_CDGnȰQТ0p>xU1n{C h Lzw;í)3%C*-HlWlJhOLL(0udi BrldSɧMOe 8f. 9oZLz|ۡR~7Ό9lݳڠJŎ')-Kⶾ*|iL]NWlP9*:l%Q?G|@lP@_3V\޻_,>eoﶼLְrڑt٬ېS<Ga.ik9vכϩ=W;^o>"ܒg l=&K\iOa-/H<ɑ~шx2:R,V8yl]D-M6UI1e ܢ`=[HBG^ch,Ox[ҕ~@.KE`i8,+E\;JYx>HM di G["8tyn0p/ΔLn].@zjF|"dւ4SwJv9u]}wYG`!-vNgtmM8;4=Dß6]{Ш56EQxפQLݷLø_6v0qPHMkF 9N?Hl۱/[0v}q g^p$<-dQ?,31Q\X4Cq1%+N9W'6qZpY,M$ӝ>M{}gU9/0͘q!@8<_6<&ZlU !pDL BoFOފ9z;)zm\|~ݜ0ob|$)T;^7?OG1ע)2)@$}' -@hf3˧_FEl&FAf$i>ءfkIf5ERv#0pT'iu,|%ʿO%c`ҍ]P}+W/ Z=;ל@52Z\:fkL=*Sp>kF$c?pV["ҁpHAK<%6H#'Y%X..%"$ȣ-37Op?ro0Qj=@YH %pYTXlFqud XF3{3hl.ijYZ9;s9r/س/@ :$VO$( _XyH,`*#|zBc\3plOLcw6^_RΫ}aU .M KvД 4*,9TF[K#Tкe=}\̠魴\]BӞyW{eɨۛJ*_wl6hҏ!|?Nd8qȗ#ꎞIbAC60Չ0B&iPKi-{B<:3tO9X|<~xf$;q}#8WrY+`Yr'}A%&`@Mz>;DU|au>{/"|l$t}l;o@kЈ|ʤ!q{~ 'b-&G'ט6[_7lX.#` û- H'D:xAʔ2;u |ꍷ6'W7C1{VO),/{,1AZzxBwb]y:r?A^V6c7)!KsV /`O -L7~O+ [M'9$Q5.xCz 7BQ6'75a @\mׁsA+ɭʬ}չW(P.WދCp~cud1L f5HӚ贕,]*V{)QzA.vN\t>z9ËdϏ}G`Gr5'+,ChcߝdJ-G ~2 0#qW6pCa-u !v3M` 聝Jqڙ`{,~jilœ)0 E]q`3aڐJ~Hqf5̇x*s+Z<fHI*j`n8`RP<KKA5rhmpK#Icɢ3AгO$/,kQQѵJMmO511uU1ўjLbgrRb;ny(l??:bf, zڙ:Ś\ CɺT(ug6_mbhمOzR*dKh|&-tؠ:1Vtm?iy[/ +QI ǫ[!8F-hk$A6ǁv:I IS&*v>aMbʑ$4=jLpt}dG ~~.LǞpSmcV|[ RF#\1q>nj‰mwl!ߍl]IY\p"h # ׻哛-`,(v 2"Tɻ6K6!08|\Y9$W#$%9cL5@+90W X#ҕ'G\L&Ut X!I홐MGn@:i̎mdm?uB{.0| r{R9:?z0*^_@ju<҆8Ӹ\[v( KP+6ߗv--s"0;`o1hp/Mefu~! " Di?]m󅤈hpr5*.. OƆ5rvwFG FaTv|_HuY!|/b8]9jsjiK=o _^vt#pk9ITLPTIU׻Y{j1D7o63c9.QtyqlX 4 l+z򬆡FFg̅ kQR<:MtMV \0Vi7=HSOaBQ?HyvxȠ_( s8Vp}k=Al^:5/3%VOb0a @z,cpha.+sѫWKtZz3S;}Yrr  ܚѯ9"f`WgYM]GW_1lyC|q|ƴʈ{WJҭ%'76e]f_vqv1xNV(5"(bEOg ESFZ ]k#1RكɣU#K_Z{nQn߯"1kg/Cg`#g hToE--EL*4JeJ '3u9I%unyf`ew1Y8?(Y8o(gf MXyQ+j$Fv6G,emV?QS-nE4Ro1u 6m`]'5_cεΊ?/; z뛰8/7*`GH/ 6> A[l猁 + KhSU5jvchczhP(9B >~ ln; }¼d(j"QĀА~((ϧ]C2-C{i OƥSl:_wPt"YEWnSU=G3.ڣ4/?6Ɐ'槎xʉ\5sA\U j;Cr!0-D믺~{Zp@1WrxhJ^9Kos&5Ks󿠕4#8#_iO /J-[ʭ|v`ӈ將@vkP+#W#[Ƒs#:kRaΙLj~Ts o*]n:ɸGH acHnM'}e Mב!0_:#dW b)*S+};?`8TӍbeD=>΀0\>:>syT~g tx{IArc|tF5bB&ao|2X^64)pZv(LEs8G$ HYAqpC' R ICʞy܍+/CbkHPlFYN 4Iϱgi`:, |; \b[~z,[J<j)x1 2\9|ފҧ,10@RK@oZe@3hcS˗2_(ɑca?=Wq+NtJU@$F,0v9dcG&w~!: 97ֽ'uNZ?piN5.tCX*4&)2 :'Y'4vh%t'ʪi0,jOs\:ϠM1Vw#oEWsm|JG <)(OCg,qUµo R~Ecl;ytU}a4e\&^q`1ܖQ]ue΄a?)❍y> g"0H%ap˙)65o Mɋ[Qsj<`r>,*2Gc>d kD.p[q Kō}nV;au"kXCpe^AWm 7b>pnO=3tfBUk3p:iWy͔Zgnmrf|B/ܮ`-:d>Q/^5\כM3e% 8ht3R|4MitӾrr(+*4n(ϕB潤W(4O e,I|m9}3Ӣ@hqCÐQ~Pv@SlM5\c]oOLfR1hnQNv v魂Kԙ uxg lK 4yd,_lpT9}9T3cT5ΨWWHL>?l!r^eW-k>jGMk9uMİ>IE\AId=jq lYnR:zR;[HU̷Y)9Ap7u(3A}gÇRNNKF#jF-6qZD$FӴ@ųDf܄?ߔDTV%!XQqi C-1$h# M*'"l FCG$eZ",\`/zȬ U:vQ-e#]N@J FQ;urI+'0i4IѨma9}ϗYgAer=a•vw}J klà]5\Vߊ򞫪Tit/cSpųhI@B\,ehras6lpw/H ||\S}k^jSuOc;զ@4\ ŏ ou^+5pXu΄bd-$Ęcf6u{U)607c.;/Wnj+'X„ .E ڼُ)g+)J+ܦ!k\q_r!0_81S_̮5f$}X-t۔'LuQ~\/+%bɟRE!qskXﺿQ2*V 6[1ds*ؠ&d|hN*-rsX5]ZcT 5}  _8_j5|wL//IV2󠂳9~EEjQvC YO`I.Qbi8K6 drK!8;47zS#&%pTi~q!2 /8dBEnZS=^xBzvߞҽ4fdVyvנHR~mړ.BM駈l13`zI;<5,"~:.ޙ 7 "6t=쁴jse#m!oU1kN.ٔ|N9!W!bfX>c3tocIztN1pJ-l`_)7&;Q7. K,W~N_0 z} W !4,M\λ[4@Ԓ >] :LDTdLC`m}wb}B=#ݲpH?zT{)O՗|fXwgYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMw V(LzƑ# GJy`ǴANK_Ν1%.x+Sػm+J_c|RG1.ع c Ln}n1=>ե#Wd;!+ˠhҭ[^ǎȍt H|9RxykܷJk/.f=#43k̟Q-yb@V|9SpZ%y)OۋmQwb _q(T)X!ژgYZ7zXZִF! O_R]ŗXi%L!!f8Pu*B@dXglTMhJP%dn˂Y x{My6gIԎqK.U}{1~r8X­{sw1؜e8nvfҠBRx=tb ]I?UIW S1&ek{j3od~k]B ζ #ë)K?Yu!W6eOrF e#g-JXk "Z;p$Yd!l).y߰P;\DjV8YGHЪmGlLDMDSw=Ɯyx$hfDR!S*2l5R@U:7 Arw+ P#<&&n Z.R/,k/ ƣٔӎPjym$x\3G`|G 3kg8p+ղyF@Dw 0&6_ Soa!a4 KXAPΌ d-t/ɪb s-M2iK?VuAU "'J Im:ᅣaac wM:M. W0H O)`ㅨH2EGsRBXGm H#X [SB@-4=j;R$݌;)r4Ѵc7NՐr?Uj샟I0yŢ?:Y~@hƙ 8`kP&ةNJi*YcK]@~Bv4om8[gOOreGhG`"*hͪA ?$jQu @/nFjCoh8n^e[=TM2Y/5:b)rQ'y3.V @ du``|AMɭ9 \*Oˤth;3g9sVƹLE5e30lDPf;VŽx G%&0&~!Iml|>;/iarZJPϥ <_' %!Limeo^wM#BrfZE\WGq3N{iJҟz“r+ḵm.ԁE~8//h LJw:=x;n˷"zw jZFr_*x*?軉ÔC`ֶ;9nï Yq|$od-}Sw;dFP)uBgG ҋRn~~,AVy9Ӳ<]p?fM0nbr %g"^C3/a%ETD}lw,&5N4H^xF)ED057Q;7kJ,5Gz0CR%!SUR2,}` aOdFv }<{ |2۠2g{bK( U]YmiMVa}7D.t="^VA1߮a+*UTY;DN<ݝt.|b˟lzKbvE Nsf|Z^Z>1r-lvWl( lanXĐw*wn}&[-ht퍳t:c% nԾSHIZf Limᢀ\lԎ $T!F/Gqc,)8(B܏ & GOck|.tT ARk[x?.EhgYZf9590790269aa07f0da92faead99b3293eeba6b6ad95178f9cc8aa8a55e83db54baad3cdb12343fd 1699cd031ea33bc672c8b13b97dd8c83db33689f 6f1a5e54ec9cebb88fe3f32017a0814fbca3ab55