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 C|||, ]% HOL-ex:threads=6elapsed=421.133cpu=1405.828gc=76.5527zXZִF! ]ŗXiɟ fftb:u t,L+*?7\v;nh>6蔞⠝Cӷ@CO}|Z&`eZMk',> G Ik\fo<kgi ǨN.L]xhb9!{[m"\oszJYЅ9ފ<3Izai-Jve?BL֗>AQZ x N^)BEZm5(3+Y: V҃yøܥgːietDTOn`38&SO!N]R{81 KD58e"j =9#߄{XP q<î&YzK*IK2UbJ7+Zv&k4)`φ1|ވ sżeS&|{MlR*A' n.{EB>MW{ ;_+],{ H ?*7E\XuX.CG6ƉJ svR"qeF_} _Mqbl?ԯʞ H"\0+9)zL( ~#bVS_ѣiKiOD 43ȚU6WZ?ɨ]|o-DW( շ|~GNJĸmJKz : Q]ME%ܙP-NC ~51K7K4DR66 uK dz6_Lzxx/E_nsYxM|I&SJ@ތ8%]%4^>mz̅Dǂp&]xTMW=,jǿ%^hSaF>[n]RDcg͛<=jr$81"-νѤhO^!k!687w99Ʊ!w f2㜊Z#RKk!rO򹸎CnOS秣;L;}碱0@5i32Nj9';aj\y*:hMݣ&9|PZXg9yHHd;֠sf(mpj510D[eρG_hq̶9 /'oa+rNTၥNMtx҇ &^fq芔-bx #$$DP쨰0{ &ga8"\ okpG0&}LЙI(-TCQ1=Qz.j= "Vsk{"ƦTq¡gI7N baD',y6jߗYbPm(3qe-/z CjPhLk=Etj(CG:c%FD)D\d@.qB|rظds{ewf/D$P&CG 4QnN \r@^MpQ. %18Ky[]O7ui xRuT͋ ,^è}:ZB[멦ֱ*}l+jW1G62"򏬘x7,!>%7x6F ̼⭈--hXB̬G \Jՙ,S[js Jm; @ٺﰜ$,6+7ޮe?4 X"L"wlj CKW 2ek-M>[j6lEBc%#U/(QT.$]ΣbF4)9di*z;{? j4 T 2n /:@#hƏK*7KA{kh3?_^EKAdh JHFӍI*]I9&"4#" $/p M S?"JGZu紙+ah _U%~7I+ICAc&ʹ*[*{(n&JvL̳ߴ:^ěZpsq!یN 1~e 0&u$0]pf} &&خsXZI8~$7dI:|5r5!|A}YXiˆuHCHB8ĬrR*nspwצ,:u&n)'8uKy'*ZvTOДDVHK-[ FG8am#p%~p=E'E!@(gn8 3b=ǁX.%?F6lJLznTwKPDK ߋJIB d;b ví]}=$G_^` e?s9LL.rd/tzf&B]A3@)Ebi!0-}޿CHc0{+xWʐ\oJ@;E({ I낱 WǙ,珴J;DH4\s2JMsW%^Mk;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.MLmC,n'{[I7-Y| 􇢌eNռ%ByBŴpB|*d *7ۿhrܜY]຋pd:&ESi i|nKmn"r}5B TC@ѾP^M[4I^4ݮƬ0"D6P^ꍩ`Sn0m3Ì-||uG s6`E0d⬹lSՉCXc.TsD.r@R1u^KSh(#QΏsl{6^q}HqܐLL;`BDd]?'!WX7tScyFW'YjЏ$8zlvq$fwL_aidR\,C4, JX8K s Q c[0Ÿ\vfgƧf_/Ȁrd!ILG2E@"@aCB0?d:.lUؔj^=Yuc~bʛ_ڲ1t:YւNNI 9Hmf"Fd>nQjZxוPb{|O0<96^Vx@j#W]gLcek!gr$[.D4;oɯ?#;yIcDG'o뢊5G4bՓΊt.YWXYu eϞ?otqVfĕfxy!R>0vVڃ XhvB>i5Qi4+&A87VxnBEn?L!R@(I79HCb6ހg% BEjY|/h` 1h=98ޏɎU $]T &S[gaΈ9tػYhb q7Bq)@Q& qz"mG,ړp׮;1wä}a6jzr?_ڧ:tռ*`)Nj\;8VNsrߕ'5r&M12$$ WMJxjhW* zBǴL!]2TC(Z[wDPׁ3CUֹea#6r~|:5KunzR\ bhN QĴ"׫N3%fs$^?TG)p8 S4͸U}x?5Yq7^:[*GN041ԉ$| oq}msl h{uiIQ5Wі6oᛳjFXpNz Kt7^?nUΥ'{c< 9{49㗓K:w6Td^jHgOo~Ņ'f DP򷾥' ci" #B4hI-5 fO/`#K䠮]@߳c;WGP\ld'_R%{<ˬl=8d&GYYyױMHyDrolVfT$%5^v]!P:쮠uQnc̀V%6zU5A nu<[{*AFT DSJHp$a^[* }d{tfxËUz:,9bor|Xݙ5iN/Cmtt2EuJue(Ϳaƀs,U4t~U|rmK0?`PZ?IvzVU'`I`)=t2O+Z cMs18y ^hom<)zYL.13P1QpHNL]Svxs}-ɲ3tMn"aE]]0j`:tᥞ&7YX1XVcǬʧ|צ4 4Eby3N;28MJ&;=Hw[ܻ" 0HBx5ͺ@|ɬf-@*/)*)*OW}+h"QQ8SOKk.P?*$wG|W7b5Ǜ0c gYZ7zXZִF! w]ŗXiɟ1 Uu-Dٜ4H5пl#Afi2Jۀ|(G/<'ۮ)1|ܵuFf-E"_ Nʘ>b%SP >G߭ש笠<4 ǃҾ,D}ⓢaq άAs~@jU`T/ìFEF?u4//ݽi& y_̢a-D!3|BS9wa>4ToUMb,_НZv\o>>13$@TNh]؁Dv6QjQ噀c!?KrۋSY <5xIUw3Uh5xx6\݀L ERA%QSV F{5dPZ;Rg @_p~t-f􏬈Di@q{>i.GȢ#1_y+ZNĂN:@ ʢX &E}bݯ׏aѮN6w?P9% 7-~nPc犼LEK2 _g%p2VNvTǓap;ixи%((N.c)@ֳ%x>*[}Pt` 71BIth՞|2ꂮ\3DŦ{ YIQnbx4sk鼴]壗ٍ1~S5<"-ۡT̗T!KfXRfcqZ ,6|An(a6CTq@oGML]kJva!2ӳD.FmWԺ dw@p4E](^E}^T/ S_:~3\xpG4F皲6O4JAnkۉ,W`N9?sq"}q[9!pI HX+6+FW7ظ/_5 L˾{r>Z `YN94Igu5Ztۺo҄8kBL"Q`/xChhhOA:]܁|Gn*F2 S\2X03d]92Sݙ|-ēISϗT1LϤ9~u}y.U>1R+x,>0" fKSD0XߛSLgLj\߽Og(A^}\+G )/ =:@KxJbB $+?, ycolvsMF9)#KW\nN=v .>>jӭ#0Bf 7jwgQz ;NɉVX8PWj'/LzdڢFz:6nK+w 3yygYZ7zXZִF! *mM]ŗXi%L&|LKt豫Ȋ^I9$L^1buSx]@LKZc_lJmW"ږU|lDC5,-],CPƈOR4DB<~Fn]m% JҖ[< zN@:RH8ml|<"eW",^`ka=%rUX!*@I}l1;-EHqL "RB& #<qOzwDTT6Vb_Ea:R9 <3vmN21Tj"Vx?ըuWӮyGk81/;ri}"{ < 0קaPCɻ.d LR5 A{u0OVcCiMvBjtGto3#I\Pgj+|-C}uT( %OJkJS)'OnIuQK(]MŎU Bc}KV,̿ʻi '1K48 z Ʌaʶt4)ݨv)0VU1^bT;7 w.0Sup-f(2VXNXS-W8&TI80743_mBQ"~ڤ8o37"ڗ<vK#+U~~8v{5n wWq'&-`$$33<8.''(#: ?w6Imʦx(iTBe!#ڝ aꮲe䡈8b` o(T+?]-˳sخ9DUnQK(F!v M1p!&#SU);24/F̒@}^=Тh֚?AoQX cJҐ_>~}M(QRd9YKgMg/$ٌ0A5=7g᜶+֢Aq]`jDz &:Hx;4hPnK?"R 4& HqЁ[#z:E [%42\}jÒ:PMS)"vq2/6zym]zYfʘ&z(mK@A.IoS0* c!վ|CS8~J2Ŝ|:vfFaFL4g]Z}n, ҄jr," - q:_݈ۼͰYq4}_6Tj63gqf/ i9ZϤP?g.v]kR`2$tY'n6evj> {p#~H^4Vt??t@ɜsujaڪfc}Z=Wj;x`3 S_ 2\z;%ExQCޠ1sR#ȨS% G}s|e8Cbv*k1epxO%Ȓ1]vAMsHf^H$a[s :FW Q͗k~dٷ; EIE4Sؽ=-l8gp= ֓ n̅Z˾o|sExJ=H'Uy{Xr(L NǤgRu pNy>LKe@Цlsuʃtso㢽˛fuppQ>^ Q̥DpeXs{=ˁg}ioϖw=D~;/Gr/'eb-k-De4OSI4@/=,JH?}0i1 !@JiQt/awq%qTvfǁhOgC*-@Jۓc.lfgd>PT00 g8vpTQB>p9a2 <~F̀;)rX8 O9jWsZa[*{8Fnۭ4WEIS#| 73XBfW¾+D;?\6֚ wޗ G3F4kW/#}_'% `3|!ė.=H G(76hRˡ*tFR{ Qee*B e)"1.UOZ%z+y*5b@9uYlG"yH8UŁPFg g<$/ZMR!Ēs٣fgiy䒔/`8X@)\-<^¹l*"m=b=(m0m`ŒppHǥ()kRAyRaBRP9x=u?]{R `MZr\[ &rP [ p@6z/@܆-=$v;~Hxl1FAdP0 Xlj@Ѣ},g55*MJlwUrɥ!,4ۮ_ӽ b,ȇx%RTLʵ0#6H5x2ޞ' Cߕk(OoYEL,k5T1\U^EmA^<7?EΡԑxJ$˞&[+DZЛhiHSfު2(oȂ(ҹ 'H-Q WO'5]hTq-*jӐnC+ϕ??XKBL7}mɰ<}Qx)3Q]JZX3#IkVAKXWV2>]eex'4oi[vKLm.P:pS>VNӨ_poHWWͯ8xy@Yĥ鳏<2=ތ8jC|][yT mRm tn?o2i*.x}ͱJiX9J:SY@` u۸lқWgH{ڵl0;>YQJ5Qt 9OOxZoj2vMk]ߩCxpe$_+V8o ,Kȡ5lhċ"սL&ĒkW y-+KZIኬa9Óy=]^ Ɔ]eRw*JIV; U e:-y,9%m€<t;(CPB"G5x~% )s;>^ϼ"ڟלi;TH]:6" h|AXo!\hGvlG? >iEO8Ctq^^^)-ۢ$g2Os]#P;٣{Zd6])W~0/d}ǕOaJ1srzϑ n;ɠiBtZ*Yl6c-B"AaD d}ets}0M8s=;>< as<_u ^ZgpByƭ.LcǞ]뛺1]YbL3+QH3'=&嬬5L2sj{G2 :wiuN_S2^E6/4qGə: QftBGS@+K5caiٱy`HJl*Og_na᨞`T ̥r`6 n(iIY5ɴ!G֠~uB5ǔLat%Y7zL[4 82Vd焮*ji&n?pf'(ׄ=2qݬ2`ӵ֘PDhKy>9 l`B\B(% 1@k,=D=Mt[claPo1Cf -1>ϲ$Dy#buPn3,CW竞\#PU^T^D`fb& !:NP0yXݷ 75xmX%ϋzrye9epR`cΞǷ$d9fVu,+A2߄vap,Jz]F C^%%h+gjPloM؝)|Am %XXȼ4K3!Tl[^{#Q7 ֫%A$Se(6___W%@h˸4Zun`\Lv+i=79e{.P6tQ+fns=h,ZW"y M6T/{%V2kMmI< Wm%^| ӓȩ&D {F4c|#o(@PLxHsg4ŲۘRͨ>269.TȪ1ϩpܮCI>l*E2ռi%'MAr2zp^u31e^m^@Ot6N܎:yW(S`Qqɗ0l>裏<ǼG?qK5~DT(h7_i69Z.؝NP^'fGv"1,$Z~*! /;\~>ΰ; &4Xho'Hssyʹ6xr H,{P%hiC?ѻQe%oS{lXC?x_ 'cgZF j.U\2}~>a-U3F3b(NP2 Ombg^IEme VLc]by01`!a'`}%:sa@3CZxy'h3NPQ6pɏHf QSB(y3rJtCWEѽTzX0*Sw2'G wz  Mk79àeQVK BŏXe yHu~Q N%o'/8JGEQ5Ēٗ]z s:9;̌0OkxkOn3"Ń(joTn,/]K 1cH1Ic{碝$tLG?גu4&L$3Xl?8)68}jsç!Ab:g53!<zrY/jf'w%[a_rt=QÄlwMoUlNXl'RvG,-\(;͗A[ d- |e:&dM4~w͈'3fa/ S; V=H"V|>K2Twi*Lo1ՙ0õ|-j{g8l<"ZHk5[2xr&.z[Ȝc&s$e^ddK3J|C%ͦk5岍B"'MBc6hR8-5LƒA MeDLPɅUҧݑ m Ȁj- r +FcuW,Hk|{ Vv AZ>j,ʍ=I;[c#-{nŇvA^b QOg~'˝wvFS)r+pK=˩&4H^ A5EC8ltw9U8T܆2@(r"E3>[ө~E|!}_!4wEog6T+ eA^xIT`(yxw{ڭLPP|%'5W?o\*4Rv( ũ,uuZ.3koC7iђ nE9-~2ǹO΅4]xs.>t;:̐CQ3LxjB-VO -LA#zj6"Gשg3 [yЪEΘVHx "Z%pz.:HoDcF[P dVp0ܙv.fIOJ5 e[,j.fozi[\¼Bt7  >ڲo l;MbGu|,JS~b1)'ZQr*ysZ(Dn͉DrgDosGՆK}$k"tg݋%Z=QF"Xl3\/Y9Cw.;l;fH=}&ڗdc(A 4+9 יUd37[1sq\[) z'v z曋,M3?s%IXA궂 `{Q3 w]~;>/cDP2 u"6v.,7b4EY['OH^3'z asX7D?ʢ\5>Y!r񝬻*>1Yń)ъev86D1_EWY~I_ȴL3ѳ]iEmd:hE^b)EbEH;aLaS^2dJуhŽ?Enk Kӻq3mL:|ĭjd7Yt(nXbtTH5 .20 PD r1afQEkهb2O"5.DEJlqϭCٌ6Yi}Zழc1jw9SiL:'y:KY 0?il+LZ9!؁Gd:.w?K^R>P.G|uӡ9a5`HXGrt$L)B՚VzNTėNPw$+t;\$]iȱnZz{psVXfpm*Bv< ݠK7B: ;:'SCc/?6*F|R}s1go l,>* nƸ`7NmM "x=-UM* -8>.zr';bL[U4,m߁))VO5-w lG0^_~uxքH)_ӟObM#u3 -bmE<)tpzqF=#rȱv1r,K}or6ґ4A@jh xjV8j_Ө6\WESG\t 2MܒQ,K~L/8u2Ѝrj DF"a"ȯR!T>-U 4` Uw ƇXtsVEq )'$i }y)B cb\m\x-wra!ä[xˈ~Q0 Żs!losަaޭ_R0.sm3`^$I꛴O ,E5 >Ո2PfVXw@O yVh^/uq7.S⭝9Xh4$AAB1(@='%ൊ"&w]bXtrq9@*ˇ\ɶ>S'AdH2.d̉P}4 nmӯbHi\ZX-*2k" kYk]-L 6@)6n ^Ɯ[$0T2]!R%}Ч Ԟ أm(v{\~Usɷ·˜Ijd^RnzӈmzqX7QM7(@`KGk$U\G ղZ->+<$6Ѩх+cW}K/C>‡l>F(&  LEi -b f:P $Pqd12gv%/Iw.(QWfCHs<=f,N\k P =C;ReQL?O"?8uA)eL+nxd<'F'?&0}\Hb|ʠoflw+b%[3.ȢH([dhI*ŒsFZ^ޚi_Lm\M}bѣ ߡl09`w4N )Wc/Ca@By |2,~`9(BP:q8\?N=ȫqIw6Mto@h)_:و_^@DMTöODGX?&uv@)ڡ0zIqi=y%lMߑo$Ypz>p5,^yc 1dE $7TJJ}pP~k"XBԫVhY."V$ 5.fjK}PA۝: IhN0eTt&\Z%V̼T 0!u>VGROPiL.ΞT[="AF'^E[Z}|s(t&蹔E5 E/*'0塰zٚ= 0jF@?uL| X9A.(wqf%c DpKx ?@̛d KFYFyJ7 0xt!Vilm6†H`%R_"n3څ6bFd+uͧGc@%a*Lzh*36{HRpOC Ýr|u}Dlg+v=ɗmCy7tjjf"l =@<}y+V֤ԀW#Ke+8AT(cU*Fn),Qq 4 ~UE(| z*! #5"B[9{*ٜďcAZi;Q-Av}s|V2%j{-$_zrp<<8ndq UV>(f~cQ!Ʃf3笶`W=]~7R|Ԥl8xaɓ+Hy}#LNQ/aZňAWaH{y|;w/fX6H<,rG^tPE,"xo5°B 6VL̝41w6(]#-8d9F&=09kjy`0MHĩiNo xw]ƇW=7KX8 -+AEM| ْ}xNPb#bmAjeb\ N>ՔRۡ7L~¶ۉ Bj'DU.(^HI߇Jǟ6[OuV9[ nk#<\fAJp,ー /1Jl+E۰ vg Q>$D舳Gl+O9+|cK 4oNNV9ck7(l/%$HqoEsVyW&*+ZXQN82üJG)9B Fpob~s'|GC鑌[Lus݅a_1{w0ˡ&k@>fے}M%|1I/+6Waly%kU%:OboWXpt0ƒ]GmML 6bjxi4uLQ к9?0^!_0Mb%V))n΀@+J7]cq<}zjKƹ)oMQ f%()[gzX1eO3*I]+ʆ&,kQ Կ YW`;q2P1kܩw9bKId 1_C@hŢ$]F5?VyS6S ͽ>ě 1dӑ4TFaxՆuTrÀ} ph{-ғ zW.gRКKʱCPĈg07!'IޢN元bj:$DR7lo6৽+%$!I dЖ֢ٹ4G`Ӝ1')Ȥܭɼ#r5q܃%uu-Ye )[ UGc[&_+IUZmH'1_ާWR lN+M?JBWSFVZ uQfUԥLyap to6eudfPs:D vќjRW,@Ne%k@Rz[-֢]'CQ^Te$ouu@X Xxt},xu+2f$/u&7W1OhG$O=U1[Çߥ֦$P we }5k;hЯfN:?tV8meMFGWBƨ.`e_F4.,׏Bʼq]N+ލvi>Zf1|RN@tZY!\aOV%DMf d@7}D ޅK-O` mT `c(יu9dh|c^ ;4BI0kJ}q,喰7G%|bd~kŽ }0k;:%wˏMT.p 40)|#isCMp<ۨx<pjŠYgP C}cƎ]Jp S%y)i{O$G| 2pFJL13L'f(T8D#ǎȰGK@Ɲ-fWa%} '|S0=7  U:*X9Ij1ZD-y-HEOw圹CEVs\j|WRҋ1]L̉z<@e; ŏ@um>21IC><_h,rÖ3'{:1y7y2]k6[. ymұ  L9qGPԉI2Af,0"M/=NjVt3;z^j枆,N6z ӆ;Js &1#T!|oj6W>OgDz4#eS,>`"l؉_p6p8l%T#KoO:Jf>, RcK#?8HJ3ͳEx2񦧽V/r۪l{%^sZbDQnQ73(L9Gr l8lZ&Y;k)xA9nA%>*"0hx$˧(6s^یJjZSFR'!^j/׸h<2ա^k28CHkPJSP_JcPgHTltI{.;r`0؀Zf4E2]rT7)QFovt%a3i\Ρcidbʞdَ -%rZSa.' Z*:_]l6m`N 6ZFT=n9))fʐ58WY=& ^g;=ƒK<5k%ߛ[ʓ\#Ɣ}K'&th3eILDz; X f a%e¹> ٧!oИ vuR0 @9U/gcHtQ+Ls4MIZS6*װN@y<Ƿ ֐u^ +ɦ#ךc8gyxHz.㠡x=O8=Ӓu]-:Ɯ(𗝐GfI6HtbG۪PX`oGɰ4gWRo :잽m׎$w'T`?rLvPl$@b(*j=*'a7>|gZjZa傯Wc8,PdP&RaǍ0Aɘ#ѫu$[\Me$G24$;͖ę3=5PN ,fRGfV"βہ2$)4Q_GRORY. 20E|0ݳNJe i1Q4dEK¬T<ṘN?*\.)8l] PB_Y,|>ҕQw?1,)iOʴ+Ƞ|fAVɣh`±R->f%hF2+3Ѵu\ڠK5W]+z 2+&@T؋yH#H~ Fq6órVzEH3^lxJBAXˮΌ6i>܋4khj_lb@BOq[;12$ _%#+r^?Ⱥ/gbZ㈀+B)1ԇ玪 &/v~oW[Qj<:ˤΚ#%mS{~u/ KLJ cQ Nwj(_iat{b-z9.5~N>ǗVGow4IoKtWo;j/t,KK~Tub?]:A Xu a ʘWd ȅu&@=KmЗ۩# i["M2Wjb`e6'1`pIR{WCubw!ѻI&`. W~c-v.J̜ze"jR>d D?+ uܯ8ڏĸy3!/&`r`ަq)ӸVU5kHeZq+) ٖKBesu7%Cg㢴,Qbp]eU l4AZwS2@'2K"z2;y'ѪR,Ğ ˱h/O۱pW:qU Dz5pke o`n̐M*Yx~+ oOɛwKJ$k[w佘QsYzNљq QL:gk9ArØ񬢇^HYD 廣28$ U;s_\t^|2=`#B.v!d܌)pL!彲<w .w9BZwCFcaxMo[ g4F^:$>W47C؂%siXjT$rхΨo(5hF+|0?vAUYy;y#mO@4ֹVOVvqd=²ECbCK%9vgJ dbQ<ۼo?(d1r[TZۧ֓'K,*E1n "H  |q6EaSCGW-dƪjƃvʡ7كU/Fm)Hxͩ|G9qq|(6!Ax|i ! PC/E?P=r(/*%/>mRLܢ;}^$J6:e 7##KE=r5cl "CYbo7 BX/eH#nNʚ-a3| UXF+kUǞ`lc@Vڣ3nz:v=6&rӷ>|1NCg]&΀f0ὕd'D]15ИRI T[SJS 26$vJ()03cT4əTN6oze\2t!Nϑu58нWd#.ߧ.9r~yi%&OrDݢ}+aa 0HaRxJ)RpfX{5_ߋRY%5Yh~NPd.f<TFUn_fO&fxoIb`,Z(iNH;Tch!HSi 7[%pJhiO({쫬R*v˗Ly9ÖKfA (Ћ wcD. EǤWP c~'`.ԅuwr%|-w;;]e-1j͞0#@^N\B6/#R-T(e2b?!j?=?]گ_/4Y"'LE̱W /olutgׁKϋ ԍ׺/ZLu\\mGܶ~CVvG.Ih& `8lwwh{3nlC'7Ux!W%({dC^x|.=5t@be@iL* H؋<d,~S<|7Ng&YRp,6\"v<@8og}hsYi׶Kuc複b f.ȐR[XnH`#F!}m 2)M5 ʲ(ӟ=!N㐋V-3`QZ[u'PX3iʝβҁz5GIlqKFJ3kuI^{X9fRY̤ ŝ7][aPRg~f. k ~tVpN- л"xWdR-2P"Kj|WՔ(]2;۹/zbJPk^WQGE_̾v׶]@FP?-Y >5f@H@-DZ=P )1˿Oi`X$WܝL0lBfS7Yh)@ıث=*iDz;_=Q: oA pAýqh)!^fv eYY}K+F[X pfAn ~[A R0s-!/XE ЙJ-/zS3/yƯӹaqH+dBGR~a(%!D$[ѕ5L2=ZUPbF l[3eV\m M/z9}s2ͱ $8bfELŐ?Hw$f %bq5(z#Ñ!fR[Dp#`#߯+o?7̆DxgdiUu7IѡɯAg%X4w|EНHMi{mDC4LɎS+~#wה㸓}y0Z: | .\cSLaL'tRwBy)oKNچ%QI{ _hSˑ@pLWn]S"CaҫbA: nAme-1kLbıPtbv+iӈy2’7Eq0KXڍA"Nlk>~M,lL=7F,Ycga~IƦM)խo 8vY,(̭J!|z?T[3;\0 Uwy}dVJB }ck&(B)הݬV*g Vcp$=eڭ|NŒz9Xix{qd/.9~"]$wsl69_.`a kIDZ5w+~~>a ϋM@,ʖ1h>:{7$?.Fuy/%H^y`=p-Y8@+J Vv9oo Nӝí'kaI)54R2 N ǣ\@6w=>wk,J' c61 e+8B8)Jxn.P]Nj+^!$\%I&Wd:@Z7|sWʜ5,Qhp'/QCd-^-<_z+汬%=GJ<5Aǽ]Vylzeا:~ QZ'քyBQ\l\TIW Jwۖ0UˁTd$~{VuJBo:_,ku {98{̿a@&AVpf$s.qY^ᎎR(u3Z|{jsǻ߃"zHݷ~dVK9"- Aʄ.F9h5P {!IJҸt%ґdr3:HU}v zMc;i|Cl=c&Ϥl$Hjnn[z/9j#wˡ/e.k~9[z]BvFx{W Re\."o賐B ICy^y䩧L*/^c6ٟKgDQRwA7j(@kLxιǶk{;yb}҂ !YfRU7kPPr4H?K2|ztVS䋧dq.O~Ƙ=N4i4(IN」)]+L-܉ʨ$:&=!L8awuɔ6ƈAL¹s $Gk/kgڒ4S^1Hg\QƬ\ؾ6Ji< ,7P XEuL_'ƵcQ_T8b xTqIb,Źøt@v=N23@,%ϑZ\95geQ*s=ĺJ.KX7LsB%>)z8 ;CȨiU4l:?fKHח #.4nC`0#O3Ţ`tى:6Ꮤ&bʌL>7tGN;f_%C춖)> 3c>?Sܛ5p]hWisqsd2A(vpM?H`)n).-M3(HX W [mp'KqM_x,qqj?o0Eކ>?%/X="b%.n nr*pCک{]n?'O= 8kUWR;x4O/P">G+ 0;$yFʮ\(7yr/2ab_M`l^ =r֊?+yk $kID?F*1* 'a4xQnpfj:ΑSRoG,ظO ^ ͔ihwEf_C,'@g6O+T)=B=?u;?T#7:>A#g e_RyUqYxƮkCZ}rç@x7s6c3mt|w~z5Eԯ_I4/v`O70p@M{iJLSVYRCVͧ,mxrC#N vme&~wwT6V`LSfSMA@j(ۛ8n1k3\7edWxB"h҈f޹B%Z Bpc \&R?Я%UE܃\WTƿs뭤nѮM$;|f?f$>V_->U tԧ?šau_')ݟD"efǑ(!ŠLFlF0: z+z2UR"{"{yң!Q=<@f]>Ԓp K6? a( D蠝㎠'`^!%BmtF!6yQrhǼG< 1{ƜA3j)u,&s} OjR2鼹qM* <=E:0S>xqjd,ξ6œ#&LOsd"G(^(oJft#G;@U{ƱgsтEy&pp89ijKfO0. T_T%smWa#]-D<^ǰy8}llLJ?!b|J6 QEE̛u@2iez^p.'4ᏺVfΕ2Zp^Ke.-@E+ Z妑P-]m#^jxb&!ɪJbasNW܅oP8LTSjpVU jV9doʉ?%&U~\PdU$on__FJ:TV[VvP<|#|rTu9QB_&oŭo-ۡ5IHYAVoG%ph1+%I$5?a/q_OQ8/;;E@̏7t%SLR%a{,(}"8WnNJ1>p{ДlTxsrk\ٓ쐘{P^Sk4[1GܶGj:姇 ۽}a.Ze$=Ewb;n=NV;ۓ09ޣ$M|k yꙟ>2: I0]<ɰkM .7%V7`F[t7THgZ[%{yPtu)"`lNAܰ"P3"yUR#*xNKG+%N{lH1* ,fO6FjNZGd)wu~q"Ë@ ΋'7 OV[3oaY)z.ibO 2iSo,dѫ6 C\6fi6CgOT MۘA2Z}նf_cEROopӍqEx H.Qj9 H9|z+G3`۳c% iDt$ev}yty&'E_1Lb\dq6ˣq%<tcܴD" ְ"v? 6f[Kmם<۶ c C IK`j[@iy+q #4 l2Jîj4a22nL5 z8+*g:^(,[уpk_zM zM|AꕎF68cEЌW=XZM7)\^;eli߉I~ CO|