SQLite format 3@ .0:  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  \%|ll ]/]HOL-Analysis:threads=6elapsed=318.172cpu=1563.492gc=59.056factor=4.917zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/>+tV18I$"9{+҄HV䆿ɴ/K u%?|,&٩JnScoHm4eD_) q#_!?ObWs07v W]4AF _+P1+)qKRITY3&OJ|ߛr%a+JՊaܖ1agy4:Bfq v:ŋ8ԬvLD$\ESSWdhxrI#b*d^2t >~ZYDqrZ]+N/:D$Η"_y+ kOBߍ0yq,F{{j*..7uE6N`v <9 (c&Pđ=A(/qCSa //SHKphM6|RS*VC _~~1RCs$fVO"J{lF?fF@W  gq"Rبߥ΀Ư'K/*ESijnˤZ6P shIr4mhuves"ǛhB?f[Y韝Ơ)I}KnalY,+$O'bMpp6ܱ;3`blp$t{8LexN"pVbd|͡;3oAAaͫ8rB^JGu^=Q?A$uMWIGRhjioM᳊WV) f(ZSg\zǜgQ B99jxd5 .%QVEykv=nq;Y/^`Y^ *<,gCY@A?_нNS "m3T')>|Mt|_B_"<u*gWU𧥽,ZaHk#aסxظ YbW #a4^ۆR2[jT % HOL-Analysis  q}SRKZ]p3S1B D'5x !Oіygs+P*#;=FhwYQ_ceX\1]mBJZ m9oķ-hKnYo!Cc/P/ 9\9} e2o a$v4]vﶜ&4M%[be/\iI{@ڒI,Sl=X-+<]7ԡpwZ[P\V;w㣵xl5fZ%fxR?n=%5lQ)Ow$@6lwb ~nq679W7u*_ȯ% \E<0E:IYx%i=ul zAtj@&J$<1ESS njDJ2>wQ2Ẳ}!ӹ3KTl=P$`#?J?CbfE4v59uQW4BDKt%Ѡ^Qz<-ڞśM{ϔ93W[pVʦ LEiKx|D{33G›i=u3x"(#8.Xe35@D| c16"F:W+",cck @U,گDx*FB['%} >-nN o޿"U"ԀoBECts#qZ{E5 _Oj\"_\9C-pݱF.Vx~AIuRaP`[rq4{L@!wgn`JmMn L`Dn4W3+rDݢ،iʕXIy³3tQmT6Xx0WH'L.O(7 lnQ PƫhR`9 I$+AsJPdNq!DLVݷGG ^˝V8}41h~O*/E}|?O{jWg?Ny 2{qp_iݛVNno9]R~$~Ξ} yRP(&s">Y, gJ# OkP).=|gǻ8"\$nf 7-j7 /FKn21BR!|/+[T(7u\_Z>uM͢x@.TVja I5"tNv0U=NJ(\ $vjw\+P1tkr h5*cæ`YP8:0MWf& 7+ F1[SśFhxJs*56 gք|,-7>oΙ3JL3Ac[N/\GZ&hmm+&!kѲ=s%d{{+>ӳX4z|fUAϳÛ.#>daiY MHmr<EKē>Gw.nR qAyWOƹns449MSHuB '~qנofJ 4 ;5} ۢ@nkz@#nOiߑR ΙQ &֒T]|~r*U`漗_t+*-Bc E[F|nV"TD|Za)>Q<|6]TuEVV%Pꬼ][KUn9Il/a aҠs6,[ .z`H, ozoX#()Y/fKHcO5T#BJeNIZglk@UA˘I~06!m0랈O] .yhJ`ύeڤM{xaczvŸv9}>LlE O*GC3oRc|>}_eA}!9sI d{4$qR-,3YZ 06J"ȯcC )9@S^ aQLmtcPMG`K?uib6ߝbL߈!hs0.)- o'/cXqK1qua6g/G5"&H_( [G*~g2?܀xBxUYEv (&> ,`0k~nB| ޒ4 s97,TCECmc=MQ8T}/\7TyDd\]m3ٲ[c\ ᣅRֱdԒj񮼖$~֚2vvyរL&#*D"'+ŸKN)6$n+lנmȢ@j:Qv܌ V |E {azwhW)NIUqX$1j;ߢNBN @1)]kR/ҕKɞeDU7sihIha򸃈:jVmovlK ^" Tf7:&8R99Jߘp"2^SʃDTA7䆮><k/@ps?gJ#Dss0qyG`=~."K}f wQ&@8Fz!QY-Q)xO&`v3Iv@-.\ #t9 ۦz) e;MٹZñ\)Y4;ޙIvloqKZ||y,_Qy u \b̫x7\kX+f\f0vyV b=S.C| "[LIW}9g4utkϢ>#e!]{A2Jg[$nATb(: {^VSp?ċi8O yIg).oBf 5/4n"'gzhR YgKt6miȣB,{F1hREBНg)Rfp3WsV0\u>|#p[LL \7I ڢqhVMSo:L'lԩR!⛜vڊAR9YyƇ Y|'n 4u 7W'"*Ŧ I`2F',| x2vޒS*q9ɒy2!rt뉆TkܹAͮ1O`ML/mU˽G&/rєߪ/0覡(*T'qW; `9/ J>jItA2࿘?Kپy @c/BS% j#tJ`/qb"S#{eF*`jAO9qgFbg04uDŒ3Ds ;T AN+[?(I=X6OQ%[SP6'>.&_Fa3&9AjiL,e9jk{^ znAB7EaH%!lц![0vPliV^f eogOOPIMdVσEﺔS8̽̋/ZjO:|=ʃgWfqw-Fmjx([m; [0p֤ֈ^jA}u%>reD[(e䌥$H`qlqGpr#B6k#I&N>&{t[tU8@S۬9OH(uܠOfmpuGH 4; )`4/ꑪ*w2Exj Ժ$m3꛻BhRcƳpE3tފY9U|)2CP x Yɼ1 /['O{hߎ2A{leˈ*$^(@|:$pºϏ(W}Hj3/,cQ|¥ 1w4P5hfwRtl6;D4钢wq `B9MA GG51گ*c\N%(s.Aݨ&]#ݏiSČ=}w9/綾&vpo%<s+p(`o5W\$ѻy7S\J2lEYҬ7 Il#3m8!fR 6jZD紧}€I9s[3nbQSsG(E{P?9 5zyb1Bz_B=DPQ.Zs}s\؈"c,7 ~t69{Nl&Dif+t˱KۊH4:̛}Ib}18 %!1Б9d!*}WP_vhr#ΘP=WRD> {؜| ;Xtsكg Xܻ |t|-eJPOi$,{]U.^>i(#㌷02Lu譃oPodUPthVHJ8ݒ^Κ_uS:r,"ʚ9V>@荘 [PV*C |o"8. שKo X?#%_P8tM/oMdUX OQnK*n! Н KZS\pE&wͺchUI ;-D8o0::x(1r.d=oaP%~oU#,dZBW-)#BT oTcEHfX >?.,ҷ05bv١cj9JXٮ?qV!1 .qxͺ(JqP4jk.Q{0%h2@c6s_]X6TW1:^\rs􏯀FZf=@CqQveby*ROA-R"FaV*>= 7,3Rަk{|mV̡nFSpJ:jguՒL(Ի򫡽oq:k{n/WOckb`%2Ӛ´JvrmfM#ѣ,LNJwC{'4VG41j(8݀(vA*lW}&#=4\s/P*`ꜬX٣6;3/)0xߢ:˒Wp~&M{?^׉*橤pE ^Z0-nR Cu Q't w烨͛r{)y;mj.$,](-#,e_nDDۣyu94- Yh9 3 dn`Z]6v^dPL98TuZ#HD":d,̵"ցS!)楁G(ˬ`j3Ƅ#Lf;LaP+2Rჯ@i@ώYC"n.Ӳ/@gpfLE]뫂bWAG24rE?/PQ2זPQSGGX=?肭n?l\ѴĻ,Mw';k;@A XÐ#het58Tks`wcmI;[FO!tK7&<|Y~ݓ.jw9{aZySx'Qѧ?,-Mx!Ծj?{!O29OԕHä&iL;P+4Fm<$ξgt؇kE7%Zf@v :#h{Z:U~0I4TQ\^z;V^@: ?:kKnB1L.My"Ϟq2{ϡݳ:)|\_LKuFֶF=Td&4?Do}2[{cg X+[TW[\tXCK>yLXpv ~Z2uM=Eh+ J#sK;JπId1D7QFI7kFII4ܶ`('S6U)zo/k 8w?["\Q)ՌBFֻlďZt]Lh4ru!R}H.sE33!YtĘ3 "NX#r렜dQ`\Ƌ֖o .khbU<&Ft[[syTIZSN9m2msR{x+D۽d<"V)ZO^k%AʿġBX $ ICߤMJ;Rql޿4ƺ{+省[mmjiȣKo*dm,s6|PeH6NmZE E@wa}L1_A#zsOOXR]'pAF(̳D E#IZ BƚeD~zZD>]P9#wf LeMNZzVTIJ±F m] h}<lY+ i3\z+P?G+bYY\P W솁]<{溱‡CEż~<&ѽȡTJ|f"9 vηf~eK؊vjI$Q!ݥsr1xέ{VdUG 5;Y6m[U95{xfsl+37\bp.ExK0l&_ T%A:LlQz8 c' gZ8./w`7^A,הpc0Ö%qDV&/|qh0`clG~[iN%_O*r'lγ Uw2C 6$"4*jA4ҩsN7;qzU7ixZŅgFy ̐;}Zz1AW;` pDM$9.IΙ[cU%5ZXdzdGTÌcl~qo2yqk +MQu}=x"R^SFmН3ycx*əş9vxq7H Η(A-'C/*?ߧ"E:oc!)ݛub~6 Y2UtqA8."cn(Xna3NPa[VcTr^+&Ŋ[,9Wn`1YiA]sr}f76KL}T/ |U ĸ;K@k` ?o&n7IՖ풕eٯ) d^wwq0äў2:s[[f<4JzT\ԱslJev61F~`Oyv:}Dͩ%<06*=Es=0#qf=2@ŜDӨYgjdxf -/A_cMF  _~8dJ]?ՄZgy)' uIG< tPU)Gʱ*S+vgCOz$ SELY'&hۮOFI$&JyOuH 5RlqlDgf?#b*\ۥ!s2ʋ _omwJ><;QB\ChYQ=W[xs"q7+;/KT|f7R693-14Gz Ц >x>0}z;hud7AhvNd:XzI {P4( \L>2]UO<9,1b7Uc(ΥHj&aBMѳ%*`<;ञ$]{Cv/bߎIth |Eb=lgŃ EY\١{ Mó>a96&k.n=S̞0̙61~([+ss!H){N+?wJ+7h =*_&n۷[wjΗj'A7+>{9Mk.2MktACo{A{m@{t ~,d.۔Sv2[E@@Ygm,ҔHuj\i›W7*x|y .djrBfP[Ih,O dw%+F',"?ֻW53R7~<]?Ћ%dbҗ)([o b`1N-4|.bVbwo mz_Lwb>8/J(6P /jHi(#q7 s7r7_a%^*d0LePI`fbrX%H5ObЌB8g!Al[ӆWPOWwfeKA\$ffBCʋćw)`q,x.gIȞ돔n3jP{;nA@R$ )Vj)u_m@{l%C+$:6erV~xs%,X<P>:0[4}_rsu+Xx(|̕cOR:RN.> t Uô\(?"◬5~|L,S?@nf#5%O<6]l:ʆ]dVfR Y4]X#wǥ&\.tJA:7u{!Zt|,ح pl}4EΎGbZq,qqK_(Q|ҩ:iXs^ 6)L^_')>Cu`QE{C rՂ\n膐;;;ULk2b#G+Eev) } rp Jϋ-MU.@|i% 95_i&AdybYx`O3iQ409.5'ܺ ђ)#|;yv:kHtSE'l`FG£E S!=L0&cΕ0eFaGx2"ȋowMC4\#RD*5 6F>^ӕًI=m2׆z&Dd HWv\',Ӡb3j˿K$τQ~Xܩ^wӪI(f̴$N}Em,اћMv7J2'\pw g?8Gѐl*Nzkm[;|3wW6d*AH $ZgܿuIy'ǭ$H {L}Mvi=!\ŁnuL>]4t)Z=L| NT[9~uH?A ?R,+V"7]AGP',3 X:L i#pDъV5lisLjҢk_;BbsM/ ovH Z\稘u2 w[E$R8t2x;*vl5);ғ;<8mdR#VTpd3[ak:d_B yCdceL}A > Y]E;gc_؞frT,xIª=Z]dDi_C ZJ}q^ "5_Q:L|oIFS>|O;[ꮡK ^#F}u?) Z"d F*njE?­^]va5-Y(0tǒ~*{l VP$V +˒";(*~rE$ pjFmכ*-XevR,Db€:㫟j$08Re^vSTԑ梧'UۨgfN.81>_?|SBlOIdg1Ow 9 m߀,q{x#~DYvkD[Kz!#vaSɮ |&]EU 3G"t`Ĵ%zPNj9|S>T^5.47WZaZC|9N YK Vf|`%겛>SYRPK ltBHKYwg6h\i굛Ǟ(ZSƥN}r@qۓ{6OEg2"U?BqԊ ;(E`ϚBgZDrRoT]hN9޽ʍSap]&9>ae_ɫ;e/Ep _71qFi ^T+$Ph䣼]\5!ۯ# gKdEr[거dWE hD'ĒWqG{}u^Дg .|PtzA7fAɦ=SIZv3tH7 :zB^Jdl/9=tOþM%UB>t`u 78^sQuT)8], t2%QpJ@g}q副YU-މ>Gk|q0Uor17;q*8bgn!߽ǂˈ&妑FJlk:YwTC(yJWM"bil7n4v/^ǩBSA LaDŽ`MwJ=E[ i+~ ?_$Znt@/iqWϜh?iݲ&q, sK 5A= ,恖ߓ&54A-Vl↰*E5㳉l0 9.DZt"cpa%]9YbgWi"E٩OYzb@ *r,#^R@4]1g.:zG,2; H< e0 J4ʶp⤮hN} Ękj Z3L!ӏcHSy \yVzAdՀ@>:'{42<|1q) [vEqofFcBl ғ] Lgl*Y*<76?d&+@7U}z~]Prb4?v)~WXMmnّS㯢DE$\e1BW(#!}~ 4muGre '*WEBcW(KeHēhcYDwfm{bcd {M6:o:|e^M Ξ6q]Lw%$"!j^mx a2p1/^|(%=%5)ä$hndNwxmQXt𨐌`rqÿo4l*T ?{$aagT12j-kgmTE!xȒ^Zi^=F+΍b|6!P˟/K.o?50x\bh WaW5ςskᡩԍ<{а;I+pmZVpn&Ei#:k[ ՟f=,%C(3^&uk$xduC)WZCؖ Ǝ"GT,'$ѢK/lXuO!raVɱM>>oLQC?5XaCm*Xkn !.X|QT!;5oq!x<͛"(^yJ)0m -:JTvo o6ً]ޘUK/ߔ8xѼF G{w˄Y+,~{ aC9E0]//tX@iK@r(QIZ=K(E]W.YTP蓷jR-({k2&_s@[`陈Xh*8ŭ{hڲ02qV Efk)ni|A5w.~=KBrצڛe⛲$,N̵r*N,Pѳ|ŝLsWeE|dM%7]֏a@i'=|S,\c'D&mEܗyĠJ,sR1HnwnD`ܪwG~:=zvd54s~@`&ݗ6HF]y(ViOs7aYF^3Խ&E_ 8/G^[Cm&E=DL=oўik(ZoA\\OBtaiaUb+=|@3nip=Had\ 8meu7sBq>^3)Ddk1b. 0~pm,' k^ǍӢ`8WIU7jo!.L΂c%S;UfOMR(ێDžT- #tsH$ZG^mȂozе)W-zҽZuMXVkjvM H{ y\۶~{i^vMK7wmĠ } H0'o5HK3^i1Djcb|aex&lxkʛ̿" ~;UR ]J (vjvw!7nZ~S}j4-6}8@Ĥs$gJB@IF.{Bo7}Ν[W*\]͠f&w c3Μ Y_: |X0h|g7Lo;6k<pңGj]ULʴx} c_ϼy$2]P([qpFJI?NOEAp07 -ʮ+ UO;u9\L)_H,*W9!#Spa0:+_wK}=cG0za]%2+ ǷM:WXGLLnN.ztpǣ _ J#ncQTG) @ExCp3& I|9x'OP%GA>  ^#0mG֐1ѩ|d9$F^Y@&e̋UG!4r !g0*lvԉp%oH(NR%("/DcH11w0<=Ol6=nwVl= (:oZ-:0lx]i))zSx:čB&>$ak(_ZƟԱ?Ou0ykh숶 tR['&/]?V- # ,8Rl11")9zu 6_C+7sl ^@IvJ ,j嘦>?vxW;[^Ft%:+qO !Jq˯GӖΕn5NtF@ FЂَK;vD=Q{.L+cJZeCSۛ97E LA`:7~؇[KQZY~cΖ/qc+渖ޫ0=܉1O4%&DOYޘ}H8P6dl!aQ,֌VDbbMgϬnt*RXC0Ȣe@u3|f8g^P]P>SkWw1;i/UH7UI0tz'~ک wKPR3KG `Re/t/3 =Sҹ$s Ԑ= o߃QDа\JY+s0~nr*:aDuo `x'#0GSfT:fwan瘃Y>hozwoC<_:hkuP$,h|愍7 Tg;mY%eb*(qfOȓ^p0Y(|t-1PO5wN3h Ijx9 d#-1gj7} I|&v0PN~HɟsJ,ö/)r,!Phj%fV#6S3 :q7\yy4EMII.gO=^pF,b_4EMd3.ETP]JSG#("өKjC%pvw֙BعW75h/pyN ^?p'qsY?a^Iܰ&c~/H+& W4:6 ɛjt]a?6~Nw{{_ G+V5/s|1=_*ᕾ\=Ȫ 'E٨GnQQX{;E vnCHȍPO׹CK~YI%IMPr.dpk_DO EQxtbĠZW`騲,>iwFB(CDU V[طTlҥ6smҭg7<*S3}NY~~xW)vGe '+)XpΚ;*ar~^b !(3ΖE3\Wlpݓ 2\D"NkdqfIWQ ߑn(g,!- ߱'e'|P?\hف~մ[8bXnF[M\:&'|ABVZ" ҭI9ېaZ2rC@.JP+VГĄ%_Y(>Z﬏,l^%l>c k _OJh`SdzXVڹ]tӝEÞgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4=cYd#"NX,mX5 劼q}4+KR:.ȉڙ"{J9qYy{J*1H+L.ƃw~mm&GR j?@q[0,CLX*HhH^YM)vXrǥQP(uĂU7(h EpV +.)]b $Ţ/ʅ*qa﷊g*FyzeŽ΁&!'3!ύB* 8U/_ RykǕ(9elFDG Vg%3No׳tKIP2#4ZaiFÇcO<3OA2µoX]6ly0լHLj=^m77<m\oX^{^$9pC+>S.B3}t]ғ9V5$R_ df΁D#CXEh2Z;d-O8.!p4"`>ѝ2p}cݩURT~v[x ]35ZB(S°rTƉ۝@ٙo.U00'rf^ N.*%S6Ru: \fXм+]]o2I bL_GEKk~oQdKPz'X{Zɛ> ރWx{pko*bZP `NOVXnFj&XA+֪0_փ2eN6rԪBܡT n9hIͷ= K~?=6L3eWeyOL!C$XnU'|G(X W^\)ַ,^82w>[_֪"2 "WryKVT| h05 $xM((c@~Q ?ڌ>cB|x,jD^L84"_4/ q̡?\m"@ 0@eLzX8dVK&9qqmc#v/Muz8*{ $hU_Sw0RTKByle.iN]'ީiT4P!ǩ=P;a5CӬfwmÇ&bzkg*a2aҾ i\n^i$ TEA3$fi'őZGQGDŽu.m_) H*c:%YqWSt=mG^ZlD32H鶹r=X zl^F=!e{{\vUDkq:\|A))jX=|c+tG EN|P]?hFrUdh/] jbK0I\{&@:[zj^,vMvvcfki e᲏5_& U%FX-SP_Y3s{NJ:=gYZ7zXZִF! qkp]ŗXi%+)@#M )Yzv/Zj ǹ x7mB.Joy8biI@Kj@M}Zz8/oX̳Lsx$ #㳵K63㚖1@jN6VV;evQ} "S<.OJ.),{Z~ƾvym9;H&[>p=n =z+#"y|KΓ qܨZPw@5/r4=m;t\>g5'3F;K "O"GWIJw`Ot1'dGh&?O#zJوwhhr; 3o_S!:V.474K33tiwgj Բ=1,~Px X8u9^O,k`\C* *] \ "\k[M7Ȟ4y6nR|͟ɷB/AF~QD@}Q&zL.\PـR<:iaz/LZ=q3N!^1ux !`wƵ+m,IZ"D ?GemRN'l8ʮc =?qx4: Ѝ3R /LEQ^p/sIV2πet֞+GJD<{JKg͋} F78wKI=6^NPuG/{\Cvy F{7[]{X94CF .x'L1$gYXӚ0|VXex4a> !ۗ PD)<+)pP/ L-4ErKiFņPvOKS`(TD-'t_pqm8(;l9(jz(μzќ30HJf5x`. 7iVO˻x) iN\$l|`ZFHBmIDw'],sK{ 9)XCGxb&}߆]&y=T#.I8/ɉ]lу,tCg!Rɸ̭GND1\[];|-gW d493'0" uØ,ApՑI^)^mW'ڔfF}"%^jPhEQ>{#]V zbew/md|*tV8ݳBk,qX\VO!U$q՚a `ĶM2`re8ߎv%8]E'"P"f6O8 C}bڀ&dk>鍽,]Dwy>Pi4UzoiK31eekLZ WBM.ܴx4@Z7{WNJX?8=ڥ&zSEh@2x{LN?CK]A3WYb_lD!G,yxv^=|AY)|,$Y5`1xrPS?,gndZejBs◔~5cw|MnlnOwd o7!kto>AWǶ5;g1.xcLjHw hV|#N+DފXr-{Px!Yг?@*)_>+ߡ`mာ )D( ߟLԂ+4tA*?A~Ol=D!<֌+\pE4٠U-7:Nj fSK 8k54^ ԶȨDi nc|@ge% e)AC#i(eV+y߹샛(~{C@f\LM}-hhk'TLsyW*LuG!'o{᧣Ȍ't 6;X uHUoi'aNdӿ{$0c?hipj^i-3/_ǔ 2&Ȉ(Zc(BbvCbH/#"A];{A<79ȗEOt+FV`ĸ<KZ;&Fn]TkQĐ&&*!Lv$TA5j_eIEɉVmjho%^B`,!̖ vae֋ۆwwq[^֬Uʮw4K Clp,~򺕫̕cF[o`7<-|f?_vK|nb)7_0aoX|,\>`7{jFxHH6c C!ѴIߎ2Zh喀P}nj|95PG){oE(N:[V,]ԇ78NE2ȶq480?)K>nSSt:S W?n@fq~si Oq ؆9uiC:/o}Yer<Ħ" 9gke"KNW\TUVh~ᖒ0!:ccEx)iCSͯi"hÉkޥ lK={$1M#Iƌk=K8l N@ SZ{JVc\&dh`du呰`/|~X3\seS[r-Yt1oL{YL'*;Ï [ &޻pvt]mh]v>jIM ߪesui_xGC ¢V}p.-H_ 7OȻYp+}?!Ƴy 낖{ab0U$ LNG/P&a?K3`=VU3~635jWوP:@doi0LBܖ;~K=-Q!XKVi׆Y!lܽٹKy#!V.C5x+V_*uԫR]GoчfUS˳₧Ȩ&1 3LVfƿ=0L=IB{xr@Tխv'F L\}ӖPDžŮwM6 Qꛤ+5o;n(yuB 0y1|JUXA΁Gz'ҊÜM ^thCOTJ;%@Y">at?]{nVcrF5;68q96 ]( >IDs"rf$jF_5}։RmG[X+P`BjlGqT:\h0d9 EUYkAbըSm])砆~bQL((3ђ<q7܁\Kz h.YftVԂDb4rE/:6pxU(PlQbMgg,W&mp0X\D=;1[yAu(MO@G{K[Ӑp8&(|"V|E.Ba: ,⫮Xrj% ho}Q*.1/TPws\!ܬ1WWXxϯ,779죔 LՔYR?dYQ!5M[c%Nl2mH-dn ,4%KKlCkh6`.tIme 6šmlmyPO֣k{` d-ش]ÄČqQ%;oKI [u+zUC h&bƠ_ȋj/ܑ>㹫 a0}WLZ⩰ 5 ǹȞ?pyZ]#<As'Ld^Ş @}{+xJ %EvAmY`V+ƯeN¦wf` ʰ mҘp뇠J^Q{C9xarꏣȧ<[ԼԴmRc{!6VsNZWv؇c p_%R/5,B g}c`PMAD~_b3qEGb/;F 0hr9#JPy i/e/7IjWÌ_$߬ c!<7SvQPXLt kED6 4] rD9|N \3f?"?`MeX8:`"v؇|o~o,Vߩ^,%2:$ES0OE\,%00}#6)uОx7u{Rm@P kWBkvGWm'/3ʓ040ʶGӎԵKR{/?u#nx>l[]gL٨BYd89~KR}k_q߂QgPG̩w@2wReY߹tgg$gH&d'BW.˗E)J%78VoY.C:VrC$FYcO:ȟ>\ο:ʐ|]twET0c|ˍ=j3v:}1:[ % |_"+73)=Z8Jϻv9y&2 Y& ~tu_GԮq=3; QےM?ph%r/Zl-;}leJh)iRf(e@1= ZBxo݅*Ԓ-9mo3忇ʇc%_^4%FK؁ )y=h[^srspAV%&T*WyFL:#٬NKDGnlhE. v\2| ҂ncq+! !2- Ą 0cDž<&&\׬ Cu|߲ހ*]P?ELkuMKK կS#|L 2G=x>|fmLcjW_fBy]О$2坍 G ] L'^7;CX[Y+O{ izK"ۀ޲by$惑L ocHzr캹 9>l},#=N9c0Qr^"L6k{hpT ?NwP)zk^ȡɟd ѫ9ߢ#D8~F34IW^N |3Ԓ((.{6"kh$&~(s{ %  Bkb)?/U*ҼҺ զTRŬhx9PyeV.vD$ʉ~zT;D9>stEum:$~CPtoٲ1#NmgRd33fDYʼ?*q9~J `E!sG:Mc <[00՗ۛM9-v^3yc~wt&ёueDžZ̵fZږ̣*F`%~Z[ wig%78wà gc#'`,&V?ns̞х5бwsQRô*:Z" 3baч>◖W'Ȑn; *^7JmyEUUq٠r^"bDdMP{'FYzo.xۤg$f ,a:WVx^R4NBeo{i$Z)fLzcEEr$v=Ob63r,XP2uDc$MZ3qzP"F>0sbuB*=dY ԤA,?`rH + S2cߍ⬊66+jM4)[M'l'c(Meeԇ;:]pp/{;!u쩖\SEг>:%`ZbrLeth#U7^g&"WydRd ' O>h ߶\UR03Fo*\d1\d@3q8,AvI5-f'+Pëjd;SPwy}_lcsxgg[%%d8}Ҕ 6 XP]9X)j&k=|\nƪψF_t?\ 3IK\!{es]_(gqڈdDT3x Uj+z%_])5aL9> Q fD-oΐe-V,Uo卑h"A[A8!쁤 _*8piN0!\H~X/niP{0/ ZSG3 !t# 4~ XK=`c_T%"$i ЬvM`pʕH9"R^ Ll<rW(X,P-=vn A>_N7m'8zNU!f[8(=&iLt͕/ע{ajT8L8XX̅G]HO|ep@Tfsv={P^G7u5VQ|jq%3!Ж{=x r!=m}fbk"sFOso0md/Jfee'9F<$)@Z[Iʃ>lazcxjҋ`a/Z2{AP# 쀁4O-<4Zw9Tp6$>,}n·a&hk*drsN+*a2)n(VQ.o~P`zC)=dLb"ggo~y7qY˙X^Ȏ{˥Wr&9=TG67[wm#>]D5D^& Z&ѽL&=Ɂ >P  -:Эq'Gzd%z4Qa[@MvR?v],C\(J Ҁ:Z[e4z ؘPttMrhrp5.Umt_fy_JB:XuO(УfI9&WyEv&#c a~}y?#㛾 *p|:4P<0 ]MLV]A,&ֆqA]k\ϧa ZO0hNV hB0Bs!SSؓxb: w*@gҩɆ]ZT#-,1+UvdIνQM 2KƉXI·㱑[e1=P]c-MSiqKE5-Q@XV~ކ+6\']͟d}9YbQ ~,7(F쵓u y>`nk:9  ~ ѾĥNˏ F_EA^Yn[ T񅘚 n]?1=s\Nje)/ePa4wU{~o7K`UTZ0+ (pX\ᗼf'!bl/A |\G<0(/ҧzk0~F,= hJ$z]6NrpmAY^x%a73+,wo $h丩(8끃vө{H5ڀRYO;~9Gv4ԃWEVPSZh{lh:s_t\ʙ֘1P⎍@tR톇7᦬o4GF)!+MLG>zTiBܯSb'r4uz0KK&2sԳ:c.9@Qe*XO62eL2$zp5C~^fwF_Kr싗0hER|9~'b,|!4"Ed?g0a*wE"Hj7>&T096BY޷6_ANhM7;]v( U(J&2tCGO6p[ S䋫 t]#_n|Lobk+΁iXJ: d FpSm^EB M {rBincX=>+H͓҉om'b&wɱ*h_^u㞃q{T~l"eaY1 %cetYk:iYPZqǕx3㊹ CSdy5 Gc׈EۣYMd TTHɂ5ŜJ5qUI1fg{ N"m DA7?3F|1.odf&=&UcyF!Y P[`6E>ۺ{h Lp _yBQ.KwHɠ\jsiimDd &E߄T מ,-U%2`s `252*Ti%їJqg_ I!b㣬3o6j>Qۘ\WnҀi@%ʙ3q^请@˜y&~5P#qm 70ƕmDoVZdb=sԃ/>.1x:xsQߖ[)3OZ9M = )zWʑpr.+O$=!Cߥq?k<ϡ]U _mg=CNcAwLWon:/._#gNr꫃ jyA^vߺN.Y9 YSl%U5KVdnR_!m)WѺyvwuUHr=\_h]Aѥu|ؤ^Z؞L>C FP+D]IL P.W#=A#F:FLxPvD7"J~Qui 3vfQx]Θ]a3kSZFr< )YxyJ y|[D DWo(_0^^$Q^:L~nj,^̆EJW2|ќ`C˶`!zlvQdDѿwUM)k=Wε+? rqZ=#cjvZ"2R?&O<%޷rGpK-?94:ڨ1"ssqf!Z}O $Y=lZH vD YI7(01(GipjxmNU\q^P -"%HhRY9bsA99\.1Yn8R$X!Z܋qQ|CY{JO[r=HFhǵ|az/`]*И,ǖӖԺfS-X?ִMLUl3nr֞l-dBV@""sfdD%`g$k"9s]N>bϘ-,l2g=wqh dd>bLO4Ҧ}>6عGF0g3Ky+ŵly?X6L.%$%.ݘa[{Ue\ :HT3cl?+Vs4NXӊ8u]ݨ:]e/'ÿe~`WPh御 ko1'!Ր[-C{& =?M=Y15b!Ӭ[+VpS`7 ǹ_D> +aC=ujhE,F9S*vcqwJ!52Q$cDILċ)HL˱R=%hEF@ڬYe,N2Ufx?H(bAT==E)vx |iZ!)'f)OcyvT ,\88y͗u3o"P#]Brs:\!rr&0!a+9UWGguԯ25CSkWus{:Z{aSB2މ&qYh{I 䙣N41B6O4v#9߉F|Dx<4"iAb&hvğ Raii T([{o3Foۭ mBg8 Gߠ:-O*'H 'LĵlH"0ʿ`!|# '5㫞`$?i]C /dY$PMF [tAHޮkXjJkGH)U ~&qM輥gvCxۺB5.NbS^wSiFP>ü:meأ{iQU\dɢٸz/rrkO."6rMc/fӔ=n k80-Aa xkΕs9X^nhׇ4ؕ ŻB-ǂJ̺sPs7qV٭?' )!6䘀<{ۥERe| nCUhg{WoCcVrKfv* m.؏e7!Zx LNU֍^2 Dz #_#47TOx7͢%"F^%,B~13(+,s1)ZOYL*kBIvͺ~\ #h-X/3ZbJK\.y͐GK[8uMVRC's:X_JȞ󏉃{LHvt$$]tzqL:׬C{  rS(Kz5E8&_#ȈhtNp%dM!fm"xO Y} K:˟Ծf ̢[@/$Q ovO29ƤօSԹ2P:5lBmR2a}|eWIƇ+lqOZ XK }VJg2O0 I< #v%nVG3Iq4z&| rUrfR0ڛ@z<;og\%,ҏy.#dbE=Hs&P7&&j-\so_7M7U1rg$Qa* kEpX??sB{0slxfʕRLw54P;g\"ARɈ Vo$ a miqUi._3&j Px} EӘ7EL*۱̧W5cTGcWPpzϕU˯To a^3Ș Ƅǿ ` ;fkҙVH`JF<=b@E"ԇoWZ+ "CPQI8+&V_q/#n~%;G)îҵ4^w{Fw=sNuXd%7,ÐSްKTmB*⡨ },,% ޠ# @ax旧CU qupLug0c-Ca.IJb|=<"J\>\ ?]3H| &糴SBR;zfײ]JQpC]!#}GFȶO\O<>,/R*r]A[.֗k(ŷǎ9r(XOk?Eho;~W;{UJ65ܷ\o}bH^rI4@vXH@!~[JPg!kpQ٬ <">nxZq&]21tG<\W`N{k&?F%꫶ca#HYB Y!T\8N`DKº %;)!D͠Qq(l I2@^"it*[*bwݓmcM-'&L ހ@Hq w Θr;#Ʊ %z~W<>j߂rUౢH apbFD36N)g|;#gK^lڷ <2=w6uSxflZ58 ܷqpSMƩݬG׷GD1o05ҜQR*F~Y`i N%S5W& ₳OSP+ڳ(q^am&XqTDށO] A`[erL#Rf^$Z!X됑 ȕ` J^z5RnԀRX& IlέfϚMyo3IAFDvUq)Z^Ӓ'٠IVBG9=fc]2rw :SDұ:Ʊ|kyS&""_r'} L>Oȩ>-~L k2byz /PQjkSi׉ 6` ;Q<E5#ѩy@_ ;o%+@+Wޛ ӗgxa>'ľRV1dVVrZNL XAK(>oU 3f-I.cLwܽ1&3[@.WiA19gSʨ4e:*Tn#=$ vU.؛t0BQ@ 41%'YkoboG x ᢉ=AAR( vܳFIAϤ=5d`!w*6i ;ݰ-9.ٙEU—9n^Ǡhrzu8c~%uӟC$VqYG6ڠ_Y߿#WuLyS̖$"ݡ^OYnsYX>drq?IHN}Me–0Bs}%ޠ|Bgf iv\#K6Yt 21U[.,⣴H3G<2XCKˠnڻպ)"6uSYQ7e=Ʒrt*C$ApSD'XO )T"Hqf*_ 0-#shk3 L  S-KU*030mvǣӏ(n]8zs#8OBUЭB6\AI(5nx|##G  E.H"Ha?yjFC)"ˌmNIXqLFOr69z۵muaO;L.Y-mwm V :L#20]&R%H7-~כe hq=G͑6cMTϚNS_{7Ez  ~mB"V)-q?>΢k7kj X?m۰.sFxDn*!WeQm<]ۛ)#CF*02&ŚSxz%3|zlt?S4{sʵSrv_Tէ7 vF^){߸XS&O\Ff P2镶8m&-Op,#<-TFFmD kiCyv 8VG&e60޼S6&íz@D0;w:gH#Stss0 ':CzJjM[-1;V)b;]W`l ߶;[D7:sQ}R-[ZK@XFФ*1zS=kJx;|N 5y}^D%̂~!vj꛷AIտ.G`=I@C7ZD owG0XjeR2="\TO֡mjY Fn5<$#q!AF}{d8M,[Ց@3+ms^)حJKi.ngl l3q˃"q+E<|eד( aFW 4v!۔֞q=7Rj1w,w1N׷JЅ ]76Krh`[ R/84 ,嚇dv&5~"dn)x+񃜝 gKgUxKHz '<+>9|=J|g > Q@~?xpdz!SWiG@Hg-\L0'r=4@*׭ռvTrl 0Ɖ0AAx`zƖyEWH cj518bRCGQWp$gQ">KĖgt+Y`a$a|/0K&-jtt 2΀#/S5 朱)(@+v?P5އ6.T:/ce5yiO;%faꇜAX+G(%-AʇUL`P#2,:g1k[$p7eebL'Jszs4Z],q]k^-Մ8Xccӏ4z@A̧Rx5 :f 8xbkBϋs\ߓ:65Ί}-٠+%+=Qt.#Lox\?AHOu[#õNQY}!NJeMj;h@jx22Ē)Q8̕pfm 6T.ŲBB!kPF;?M9]ِ \rQ( &L(_YauONŜ.-xU㈉!2 Vc@Ćh0sXH1C"hE Zvt.OPTDF\6q2/SrwaYb`Sk?(QOwAs9j]gE1P_aHp D 53Qe^=@(3dT$gs}bH>l5OTt;ѫ^"9'BJLV~igVtN(]"̩m:'B/(ioWȔ,MUa~~x=1V9}2|%{҆k$&R"I/הȁO I}=w Wf[7DkTkՐG,2QIHZ]MP֨M퀟Y0 MOʃq Ɖ P9b Ѳ 3ז}=JVY2!&Wus0ޗ}:}([kH>SٟK 0AH{Z)꩎[Ln=a<}e`U7RKj p̛h"\"* I] 0SE#\!b 5t~9 "LSlݫ?%Jsr0 v5E-Jü8^? mG='xGL'ne!T` %+n X?{0+[g^oS;/^[3܈qA1=|FoD>7 'J4|$@fvua eV=o&G5^eH A`xGrH ~w9i\T)/4X3W`2Ѐ{ .;XqG,o^OQYa!n[Jyl P{TqФ(7ƭ7ʄހ#8&-9ΛoXZ&Ū'7529[oc) Ǹ?2fj`H ̽geI+$ 2Ӽ' 4"dyYMЊ)-vm\Eddk% .zΗ>i֋! GcC{ eEJ/1 N^'h^Fl!XS%sLWy4~\e%oe+y=6Nea͔Rh⻩\q D&ey}Bh%oa7_2"]" p§,ajnTmDF0z\`CxX|2 .y˾-lZQ)*p.HgUf%I҃,1f6%bTQ7ЀQ\!LK\plbðQ)FPQW?DHbHH#InJcRUSBRU/{_ָ?!. ۩/lل\4ٖ>Qgn*v0Cəe#iJoܓ"Jp3X/z8 {]z}K4PUi7img?I狧%ap\t4m/hP W9ȵӺkh&] ^.s7 zD0 ҡNbǰ4Kj|TɊ~"A1WlT~Fv8hieUllk׫5 [ۍ18*cÝZ qD4 _m,uLh_ H\(QTm/0L WkV~#?-5.ʷc򺡶htKPmS83P3O_0~5S)bN/x>n~0Tߊz#}PgL,Gչ;5O7X\ו"PD?}nY xfސO:tWLMestwwKaH>mrMDn B/QVxAXFEmHcwq=y(N@e< iKQ;7 xr_qVC*Ayɘ|.|PmӢ'շŕl`@$dIReXrhXyv:fk%)zr7=M`ӡl3:275*q=y^FЍY"vX" \~m]A&JQqa;b *R%0<djAqDKQfgQ≀I,H~ING$Smޒb!tNKWNZ_Bgg%'ArFK3]cRڼ;(~gXlw2f<(Ѩꬁmh&b^ax#DbCT q+h/L?SdP$su4k(dB@7/܉FP0k3㆑l=uRXm)2dIZgDyaX,'!G)[,w5\hdV ^"x# A9"BZdu+A 8t=h8 "98bEc/lEn[fkS ٬#RWI{"(e-Eh ꕿTAO-xď)/h:[^(U n:\nK3%$w~o_.ݹZMO0y㐚*6Q}seREn9B ]5m3Uu!6PN2KIĩR,TمU+z:x M{?d&ȺPk7M!Me~8KgR^z9 !f%xSޖ/Z.3!Zˣ:彇^uJO7j"ODIحeU25w@L\ls3Z٧,`Hs$s_vue hI߭m,`pCAaNJeBu,W4{+z!!rLdV2th;E9a%s\{pHEnR)9>~˧ x>/pj!f KGf=2 ]A0+OӪtX Z<։z:fo/ ćoYȟ|`jεjd䥗6XzȚþDEN&Dee*'\g(x>~`7ijZ&ߦdز^U! Z1b20K0ڳ+H6\,5d񵚐e $4хȌ߫
    ;:H;+ĻLntCqn@v%n͞ذ`է CFϒN@=}*VC T &ZqzpY;?ُ8!f[JK|/TؔSxw3iv6{)x6Jc(aT s8;iVHZC8Z&'brƔs#\7 _vM_ϋ$,[ecs^BU|h4xQ^؈?^ \AɩAqٯ`b[W2F kw2MZ)ȴp,9y =q_F"ߨZURt˗L®/sGKp)< {_Ny0ElT/AadLvuIrlc% !zݯtǞzlz뙼p)P_u<$3䘞"aQA4E1Þ]dP}wA;=4$Ī/ґ(!O0C F5O2]d7gl~2#@#M@StT 'K*\ךR%U8]gE>Z&4y0q( N}G@PQMIP`M:T