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 ~l, ]% HOL-ex:threads=6elapsed=437.177cpu=1486.412gc=146.1727zXZִF! ]ŗXiɟ fftb:u tZt>~y.<9*F"*x[IHEcpf& 8mPj; Kh?y tSK{vn&Op&9u%W0 BmP 5%(%K҆S:PViyT`u+w<ɪo@ҕ7K_S~ˀφ\iXkp")Qȅ@?u>!gVK KȠzs\C5!"n9XRmuLi\55F ~aͣq"/@efF/j){lM;*76Cu>&lUH|z989tg]0B໫1an+qUQ93bs^ y9m0:B&TcyO BĜ|u% {%SJ_+ >bҎ Ϩ5c Zl"G2tɄg%~дS6Cl)X%? -CMB:i )Y#$@/so^QF-.du<@(ғ6S(˖E.'%76y#]TD.Wbd16cb13}S ߈z 6D(Yj;GذIW|bq5URNəOx!E-wf/ԪƹÌ}S4A"7{0k]W偙ʓRmŀ nь 2+ o6 ~&!oȐwGM l8w+ƥO`6z(ur OJ1X˭?ߏݹ'¬bU;ώ(V^"[<"\η&X{l3.4A.8gP ;7;&Dž%کC ,a#s&I\94ԆAa0am8%xJrk \MNHET;oΑ) 6Ks:+NdIj|Нz(!#Y1|񇨙Fn_jԙNp8wj]1f@#_+JbѲOP7tZ4hTu'<~q3qZ\S> .g+ :8n>n{E]~P&v^ fc\}UazQ'BZ-G/39opPco"i~rj~Az1$ge530$ 0Lf#!ͬ t!<B:z8Hh<DoSR rZrt Xh7(cd*bh|$Hgeo+0Dd)`ȯ+ʇ6{;cU!sz턇Wp0;Gq' v%swē5HRN \{(@d h-Cu7QކݻniœhJ|HwCwbA~%:(UUA%e"W{gKobYOǸ/VƘ6lnxD1KVg6VI5;q>epY6z"ᆁI,"jJ+k/[h/&H޲+gnF $C3E>:{oS꽆{   HOL-ex  67+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML7zXZִF! ]9IP3mE?,J.鬿X=gm9ZAm{&>;/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.MLՀ5vu6A2Y֖ޭdTZe| Go=7;ҫ^jo6Di 1.K!HSGX*ƣ9-)0nK%gQ$q' ؟{zrVw j[yc{G9yy~.2U͔gتK4R?æ}y5L-ֲ'|ACu W=k d0BodlÚuhV!'*ः)2٫2iZiXv4V@v7-c!e˃ju`R~o,:7#YDy7.>'xYskX>g[,)m 41Kp 9eYjQ{Ib$bah2O^L5y$ijt9i`sc'JOMc\ @&Hֱ˧]\AxKp[yVΎۑM {/U)Via|:6,"*;co18~FCUJO',_}{6d1 sq)<7^.Nj>xyךY 2;tv (|N{b32tys~5-5}]qqA9x>Q|| @HQdO*l_w-cvN}'(y' ]ȑ&Ww卬0>pQ;rDe2iI[N}I@%DYHjtzĀɵVs חAc埩? ӝZfiM\s(ƻ eNyPۮF_ꂴ@\#DvhЃ1suæ5kn gSjHƅ{)mpTr9\TأV kC fBo{\,ގ.Lş9ߌ|+-V."ՑZiGdž?U3LHE˿<<2Ty*±oN9z$q>C1O]G|uN\a/_yU Gy49qGlr)N Ms71 Jk˞Rʴ{xy>;Q-w uZ Zqd 9ld7pO7^Q,+ D9;Z=/qJ `H8PJ(_2%˷Gks5Ll 51guy}#9Opf.^rG}!' D0ul8_%CTɿ88G@yC_ůwfw~e),RIfMnOhێ#K$v`~YVH.q~ iq^մX8P"uf[Jv,3/hOe=πӦBUDXetN|R*& ]jgqe|>ZSYiz#vnt fw;9zN<\?+G2l9 _8IC.mtY(càP:umUS!~0"ƱfFkDz.! 6QpsX*Lz:2ZI}g<U<=E~`[lLj:. _CCF0 0#l}R&~n4n.K˚7.MʃWXaC˻eC+Y!zd0pdv6$7Ѩ7j-HVY;&,O.9*"%pʈ{ny *ȕ@ěp4r# 5l H+S_BݤQHo]C$M@6ciiv*-3Hk9Iq'}GME@<(ׁow\gչ%#2! qxjdWg7YIC%5Hu{Q~=2f|Tf8~NQSEm $P*!O4 |S*bE?JUDF^_Ow CGuSݜ50l^'S=QuU2DݩGx`+0nl.X__PhOO1vyҐy͏$3cKΙ|v u3ao}y(eπ9q8`AG 2*9-N޸k Z~ ! QoCdj1lcXeAJ{`*QEE:BwƋqQњ#/)&qj%zw&\F&ft0찳C\;B5 'e9陦8᪴Rhٓc2Ds+sYEIdQƑYhXZ(˼v./܂اsQ̺% 7PjV'H$%5Zj&er_~Cm^Ӆ(@m>v%0>fPT421m رgYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afiip׃+xnAwB3mP/_vj:>\ۛ'#GδD#9͗ӵav$s9C&Cr:s\v眳R{͖ɽ #"x䵫m_נ- }y9k^QB}U_|󶣺1]_|uɲBO0MbI,-᥾\Jh .xfCAbޓdr/h,tdpmq5{1s4 M+[}Ǜۈ>9S^6!:+ژt5ڜ]|~-`v]PUohyyT33&R޻ 2(k<B?7n0HTsQ;G]xJHw/uuzK@QA u-)u[Qr/UFx9O`t;qdgֲfnzFzm|>>_:o2+4o섵 ,'w *{D8ꀵG~y1dD{Z(?9緀w'f"q3L`x!UI OYj|i}x2 hOh!F?L~cu?Up*>y3Fy8 #^QQbquD6 ' |h d8x07\ՍᛈKlQXmc{} 'za8~~(wiEdEs0%螏+\~RDN }M1&J18evJZ/YMoUKۓY9Z)Uh(yiZ F8~NwgaUl .,EE709ИM]r{}7%ugQ~P[KYD,g"17xKgʗ.yq^Gg:,+l se*?xyhŧ.Pm ph![8X CmSkp267mMQJ\6kh6$0!_A@'os`lu>Dx|>G3!!;),b J~ǨhMrݎ薔;H^e'!^YXx*+a#y$*U7:r^#i@ѯM|*gsՋs092}i5{(ЙqElYkYvΝDú<uR/Tn/8\xbo߽R3K1Ī}c=OU>c{dm w!+JuooO^3oiӚ"H:*@.-DB4t.Gq{ 5R~ki9o[Fd)fxwuZ㵡}E&G})T}i+6,l],%ZY*ъ2 >=щTOO$ D hO#<%=:?V%cEXxWv|ybS '\ϊJr;bS:/1EM5Ƨij?pPf8qǖȼTS|]ӫpؘ<ߗUH rCäeb&ק J'Unn(nF+b#*T }³~^]2 f0_?y_1$u=0xg4ZhI/rX,vWE_u1 ۇYtj}V,F8uӛ.l ꔛ%`I,Pgd~'fz568plhYƸC9ߚgr'VLr_XLx&eSkVS<`nͿ]ĈEiEB]j7C4 \*i #2YTݙ@ 4$oA jjJr"/em4wp p'n]iEa&tF dtbZmz"V$_ύ-s ź5m VXPG hWqfmjja{']~-*Zur("WXY5}od94AǍP^s9:@ݓ Ñ_zr.Sql#"_/M/1XW\& _)񝏅?hx'$(uAl ^^NAޤ4y?p wokbGX4^Yۢ աzX f_ӹ||P24pΫ꫁s'tqAdʋdB( I lm*i|>x1_it~o ;r#.~(q} Tz #:8/AT}BTXAydY/qE ebw*Şr.F͋,L]N$K{.lPtJ4R`qԔ7>%dcٚ@"٠něN:p5 7Ow]Ź'#0KY)M1mQ:ĽnMWƆ]J Gʌx>2OCF v2 7蛅ô/4o5JMؚ(85_49] W)brwZ^|h,ֆBS9O`P_tދ&b"b֘ZCfDU}MRI]#o/Ϋ9N0+.SP_(D=Hh(z uܨW+[&H! W ĝ PkGSi83dg2De nrPfhuA{Ex˭X-{ ?y>,u3ڪO p>ĭ;I/;Td!SQhQh:ծq.'Jfd,m\aohZժ4$R|t~'VJ#0B S}ꢲšg!,| m3+W jA'&e<k U+9,IR(u< 3t( lVhkd\Co˘堠(J[|[8%lj٧EXJDpKWͩSvʵ\$ ^SEY~yTuDힷuOgd$9f.PQ~Cjvmf/ĉ25{3P&gò}kf48i n.BS/tRr[+eѥYY[|KZϟD}.d/G$hs}+Ћf&/Ny7RaDz\0>V.v'C.Z 43N6jCG MCb50px.§}F&?!s(29<̏)ejC :OQٚ5քq4zsAj};8}aܨ!bs:.޵^XlHŸHu׀E◪} "#u.^.f /DM],3̘gF4&alsrCLe#ܠe<ѳ7=XQyy7|>$OpAԱҬrsnnDt6 %Š4>&p/)ZڲյL1GˡۘkFu?t"}ܨJkY7^vQ!JRsǀc?F >0n";>+uyA' 8bE\u _L>Ƚ6qtHWnK{=gzLC@ۘ(;9ȰHz3V=r_5$+$VR3,x2afq=6z!DD0%Qjm-ܣWhTqJIg%76,Uuj9K;kVÁ@|W\jk 9TQbeqvKrZx6XZ!:9ZNZy [ߦ~ynR \\S=P-u+N H֝q.!>鲔oΕX[_ϝ:րۇK%oXF#'Afh~zUht8]ZW]dY::OY((M$ ^8ehMt7#oyѻ'=u< gW)9 W/s;ӴzP*Γh 1`8Hw :K:Q m[=jlʽ'p'W‰3scP4qr m:36:s)ehm&P)T ^0H_7 #2]ޭXXbR-G0N/BӰCRR@`$` r[PQm!*Nbg9xA.tH]EgsE[竰@˅AbW02jS_'܎ٌglaU?Xoo_x[:M![[5$ݤJHp0qiCOFL 2xOeYtیѼd|%}w";:iCS~?#e;Dz*jY)J!55PE$6BP 'q`aZO=h:$vz7+K wyqkBZ!-5dCB Nx6P[N_"{?fj-u5pLnvSb YpAߊR57|*U7qSv 9rB~ʉ*39ʍ=韅U+I=?B٣JxbsIxv ]*c<SIVjQf!5X>ҚJաyVNFԴ:kN%PүpMj`%hGhZCRbkIox'\,,_nU4 |>^k:xv?P}Q[RӠu~R3vS4KXC`T_nBzڱ<LP͒m Ex~5k^VڝؖrQ.Yߒ*èo.~~h5=F"8M~  fkDe ݤPmzuL\+[F_e| apeb)ґ\s3IW>5MډuW/P2S&x?U'rdŰ#8b$<BhV+wrwPj;FMR\2demNK@ .HMpWJY@mߴ{q?3+ϸ\YWVjJp< ><j|aw&1E}w7S,4} QnRQe.SP5ػ%r$)Žfa5/&ͦqk߽o5Dl,I%g-%}2ԝ iP[xr2$ʛ _ _z H##q@g;`dkxWX2R6Tv0j,V:4Cs$ip$xoE˭&W+¯NERZ6e,asTՔ@쎬VbQ߀lYa7Fr|./tHF' Uzeˬ\0,h}Z40YQ?XX!9@}Dme~\1 siIxD!u$CbN՝ko5v/>II&<1 Pys}bz ;zRDigFӪ1C^|ZX-?seZp6{/Yˎ#; yYK]`HBa7ok^&YoMT$bRZx0)7UELN2+NtoV7@:>Rs nYOdbE7S"K==ǀ2:Q)2Fz)[~1-bi:<}^& R[. i2oUa/h*60^ekbW3/@$&7z;t WT`2\G!֒X -щ>.Ba#N+vt%Qtsfq Th6#*Wvd-7{f)SNEe8WӤ ąUC#]SA\/5h*%I| ͗C$NZ -T+?v{o4ڌO]TG9"pb%4#2poܠղeD(jfwCC#c8#CԤTo 9AiTc6?͗b ? BvVhmmG nj~uq~c Ok?꣺}a CxHP"FIG'6-T)$Ar0HV|wc̅.#V`nPb6S}G]݋9kr 8eAհOx0Jm|~Mh@?4Yl\G"ռ6;_*ϼKl*0:5MN 8_ miV`,HxF[zAGG'`V%dA-":IPD@ڑ~ M+gDzMa!KU܈4LCm1Ӫe~wXZv8uaJiK~"GOYwcfJVռ_wdf>Cw/YY ˋ9Jݷ13RhI 4RI-rE.E r9Z$ Ճii&+rdsҮwQ4Wu:+-rᯗoX7xi Ǔ:>?N$ LGH] sw*dPΆɢ$Et |d!byBm˘˨RqGo!`dl_W+J†1BbJ/#@e;YaJ jCk0>Є'$4|jΙM\o2z=JWGdKXGܞnH (oaNZ-Vr^G Ad Uj] J9 :iӡ~Y_=~d!I_32>y<Ė QFK LdD#B~,< x+llm2$|t6 /U%GTuc/nK6s@2?=`.f)C<Yo [nv.<̔M9 j3;z.άÀ}Y 1i]jF]Hz#̣543P*漱R,l6? s ۝]l Q{<]+\("]̐}'ڊ!;*teO!a[Avm1-ohrYt ~$#s=u=d:ҥ/$;"w 1|=%DGo?99V e`k]/! ;f;A:ܲ>qC˻-(eO- %8\ 5f'䣔{/Ϻ O{$mgԶ@ .͜E7=g@ ]b0^>.q>7 MAch-łUE*+EܑZn<ʡicE2g-֬KD,e y9d9:,V~[DZ!Dh!3oH]a)鬿cŅ8pֹelABn\YXߚ{^FLˠSZ OkwWErLp3ci71lU0ǪK )35WM"CDzuIF&PCFB';K!B"QӮ 8Q:TM%'BߔvBa Uk)E%7>$-NB$_YS$gǷN%uxRL1 ?DA%$7;` O~53=ie({1|/JRr(G@ 季3\^l `y-x"ȟ r>iqykK+gEԲd&xwѸZ^![nA k?Iuڠq NmIjˁ#;1>w)wa'ۨV7wѴqu4H[{jҬZ'D&5` LJ8drXst#,+=unO{}6`1qߠ8I@:JJq5#Ns*Z'tm)ګ3n Lj&AH"/y,Q}MQǘ~Q?2ZS| Z;w[3lIJE`7R4tEE5 F<gBè!6BVިԵHy%X^vx"c㏺-_/(v5]3!%B:kj/m$(M$+?1[\ 0KqY{ςe ך7  G^]HKi]$RŇ>xއ8MHLʺceYW !m' :MPJ!G7/|]$43"Xă8U3)nV Rl5u<Ợ⪃20XUZ=9~{R`:%:( c4v=6&gá}dEP^N> O+o@[]M"E6̾...&k&wGGM=v8oK 5u@ ~nMԒ" aP: N3UPg}b,9bg=er Y V/ uKA  cc3/m5e(FXybVx"H>*7vi$$c4K!Bs0c ,_'V8xԍ$ -|m.BjLϹ#DOn*\Q $н2Z=3? X`t)NViq]- .,ܺa8A]KS&̓$Smr͒Ft:^,BhH7ظ${Z 7"ʈ!%h&@]L]upR { 0^?+ٌs :r=AmKV>h,6sX][p@ͮMHt_V[=~{p?EEr6cڅ*OR]lO#* ,e(j=2ot# czͫlU*J$TqBf Q6oV<_mi j$.x,b,M&9ַN<'*W8Y{z4P۔`M-+k'PC/TG] 3Z.K#KlÝ$)zy`FQ˒1ݯV,Q%ݡ!Id*_-4hrJq /y" AO&=Lj+ssΝ'z8qȿ׈P43F9ϛ$u76#Pq*qǓz˶ςtg|H-KLZ+wHjt 9sgdyt/y cJġjD=O(1"/dMR ; hg`^&?;l[w`@E{cLwN80l50yY5;.s1I>{9TUn8렓a@댨Lt&!#47h;ԴU!cj2y LFD0&XR'1ibo΋ YВIA Iګ>lc[|%PٮǼjIr\Q S36gu_lY\9Xa i=cFKE;-1_X?YH',L7ҭ$m.86dRP!Z;kO/+ux,ej~#djrVx]}vNa76ȫb]] yL+||[ # ލk.lruHN9C 2J~*׌ D&u<)PJ[Zk Q @B=;rvZ*179)`?xi'B#OxtM0o'3ͧ W+^LA2>HޘL Vά3pr93tɿ^*툑 %ӫ憠Ze7Q2;/b_P2D-!h5lPz%jE tHqN!Pt$#hadŒLj@->!k~OI̪K%C٘)0&F)ljgu*g'QJ8l Yy۠s'vY­| bܦ.i$j7{(4pTZL}!~ͶZYa6^6 xrFe`?wfC&) jl6|N'J8k9[~R\i9c3ju;2net1 !m[ņfKy\e& Äy;dbX6$Q T(7ҩJ6f[FQr)ߊ)Q?6{=jT}떰ɌC.<KC5#u^ .aE,mr'3\,x~Ճ%JgLi [2z?..'H.@9X/;bFv<hC~%S'dk/d^48(wbsGct6n^"Tfs?S ؂R4_.zKZ8BdE2! |h% n{ $,f{dV(h*3U,?yizxkRnA{}`Bh pܑӻI;Q]bY\,^4@xgRթlgICS?М:k95*S<9S_ح ^*ÿI$(Q9m&29ܷr7^@~Q"_et/^ϊ%@j&t%\`tZqxĔ tA!M5hk-^#t2!93aKq,ζr@wkNԼ}/WX2g'"8,L!15N,Mg]6r65`Mk5h̼ }"jϐ]Hn5(_8!*UhqrJ^SQr_ ;ŕڽ/!)P ~ g'ɦP4??n឵bZ7L] @nаV*9/5/k[Wkqk2~AF!ʭ3F-2%8teHº,zH_`o5$v}(65 l\V`a݃vE2;̻eQ~ ,?||zjD-CXOQ/o@&k sp#x=< F87A袢݆R@U˃@/xeK#)\vovnJFo6A7fβk](;YETDs<^Vpk<>(E/5*0:YR~ ywA(IQ2 >i 3,#UTbP7$P:͸擤x_ ֊616iUJ&n$cwr>ƉBh{~<w!IۛN8uBd[jh䋈ݿG\OT*o5 ߗe=Ӳr 3R)%^Hm$p<~Q !Y{+2O]v kGm2i0wv@GE!㊕.dbƦۃD j~1U s[JAbO&1+w]%伆KY5*`]/(a7 o{B`J>9N gLoQ{ 볷ݘOtBJ"I6$8.}1zz\w+߹7N[S;C6TTClZOY\?Z=N{ƠE6a]sV&o/1Ir~Y]Ʒ[bls.#;=@ XL %_icWZʹN `t7w9H6K{oKbZxen شP)Yo9*#5Z-_$#&r<4 |"(j^V& Xt1a<:C>{pIE6ͬfmwqBW1K䫚W cTyed,[{p7Q!nrPS#i2  񻉶WoU'FSaw!;8g}َ( IBB|i/v9~1b~;ٚ@9]oc6awdɣgsY~'i>^χaүtW;;yn{*gSrRLSL&UvQ[_{|MqL01 W"pL<{Z]Ad޸Ź ,8? a6q2` lX0r< SaƖKc(iV߳Cl.FnTudxTTA5I鋱pt(\(wnJb RG ?88t1|.<(,8Y8{v`hQ  vYL8c]kº֠IhH:jw̟v` lux^J`(Q{ B83aoM.|jdY>o=%ۃ:ZPk>/Zx}v`dlQKʜ=}H@1ҙ>XbfڪcFV]e#%0($N*N}Qq79LEW itpڡկQ{`\⥋;0tG=`td>DWB*~Yt+H(X&>rr 5lmdJAQ𳨊%|69vT!}{qХt@2dH=Ou;fЕ1f%5gf;zJ n{l&< DGFR݈+cn ɝ˹H~^xp}u_qj yný *ADgk.S9yE";){W@,˞§M 9;~\wiS *FS1bu-awpTЉ^CCʹQΞNo Rkrqn[WK0/wnB9`O6pU.i,Nv(L/9 ;p36Nrٟ5*fmD08""a1|mgK׈Ku+0aDMzyɥpQ ~jS%vggevۊ0iQ\'@s˂{~E ~-ć|P^Ք: LcMW;Ok$v} p\ߣҊOZFѝ++|Ki;P8PƬ|^)|o(@`/AJ|S Wv5pk}u e%pxOfwjj h4Q;Г^l=-7l|hqrxH7o]j4OItҨqJ"`ŷ$ aEuYROUz\g0zFF˄'T'd O8!JEt0zRnBì@ b흏뾹K F J]dTԫL#ĊW8$f3RLHCb@bV;g%EA\- 4d^@u?U3aa˄#=A#apTd݃J>!+KDbx{`dAΡʵL*< A' njq~ZЬcj S{I9ԥ; 8\ɘ xGEdSiюMtV)̖,+FƤ(fL/ꔔ/H)7\s|nZrzKi#<IH1uƽtr?!nkw0{dɘώ[i'ޯ{h!;ؤ3 P d XlEnT# מW|5Ens]OZ7ʮ$tksaj& g#Sco"1BeObV2RW% |}x\Wx`GMv2)g&t%|HVst'4QPC%! 24oޯȁO2MN㲙H<<X t/m:&bE@q~l鏰2oUu+V.A4F$SkPhY`)?Z*.ǝG^#M/e - tQ>B0sk!yA #z=֐=XSu*C `t9-!gNwD/vIN~QWE㕫 -d*c]xN4KRQᤓ?jO`<ڰoɺ6M e!C{ dIΎ}wGuw<d}G} zұ?dFY'oh 6P њYWBbɄ\hik$@͘5I5t 3;& H@wy?)6v0$ .1ۙJ:U Ʒ|ɦ ĈyqS޼d/-&,rR",FCG4{BQmR |m>X=*1ɋi3ޤBҕzqgx @<~a^LQO&KJ l 3ggmfWڙ}j p%ۛ.#lolxK>pXK#KO=T< N5{KC N~,mDa3 0ڏsFe ro|N:vP|{R=/1!΂G4ԯc?V(h'on/e%J R>ۨʈsWSa9i%i{&e2nhYYC&H{ۊH&zk5\O qؼ1&@J{ oHX=Ij}|Qݠ#݄a#TaLAqDU|_` 7A3X@+?r˺ >;QYCFvBo6c"hm%'|5tXPzЌ Dn .m&H3}A-fEKbT wN';TjP:X4`}kbJr;=q$t*ѣhC)yP >܆/A[m2%ٴGy~{,w[LH[\Mf0=cOTy{Z.Mr{rBM &/#v³*b.A%6ܬ*hb MҢ['b#R@jmE継COm"`JY1,n#,ҏXŸ̷P7`z#1!jY/uPv{D#_/sl#y禬KP=9N֔,+l'w9ш_2&ΡhMufm; ^D (KmU p7y\7%T|iY5Cagm]>*XޭDIwf]N gQz"1ϰ9vtj2C@]nWe W}rbh ?~Clr魄Mf״`4TeEC I:4˔m+ J#!`1 m mpYsiGX{*B-E Ƨymͤ\~s7Wo=^bvSFN'ēG ,3X]A"6QZBO{c ilz \O93' )苇I|@>x%"<9Sf1h.y@h>"~Ɨ}8qa/SRaLc.d{ [6&葻tPJh)k̀y{< m8;#Y0; X`/:3x( <Ԝ=&T~ AfM(0f#=q^ ^rGi'q]y;oPmԦCVo_7N(X,QdRbUUQEN/eifVMzJ<G-Ur&Ɛ<{A<[b6 ҎkS=`IA:9}¾E̍) 3F!Y+HΨlT:tFy g:|0}CCzr\¦Yܺ;yN^3aT qz\b^+W%tӄ~L3Ov7fJnY0ől;?cEc dt\l=opL ـbSokP)d!JCЀǹVHP*Vg] JqG`L}TlpI YM Zw0MkAA8c!Ok:D1Bpp'ןW|Pb(zb^#"HU|"*h;d , l,fQF=G=f~ Yg$?p(VB%,]P`<[EQ?KʻW4gHy=k&sVJ*rgBaO<kp~.T(Ԏk< Zզ&9js3mF*qZD5 uD/"5҇a)1!uL3N39?*0 w m r 3c ' 3Qb]=w4XcY=W36T>MkP*7:&*=idó趚&F-q_!R7zDv4Gd{SR?_${0$fʣPq׉4L7l<[< &JcMXJFkdw$_@m7%D* ~* N2ͱ/o6F'A/E-8 ɓzna^E҂Q_jQxv7=\,z`| 3X}y1)ݍ&'ls{̸[^dp $"A1]-m;س)L'*l2rv8Pw/ӗ6%4R57/TYm-/HRg9Uu8wmiv %ѶE 50IOG%\k5 vLXLH'TM=i=IA(xn3`jttW+IyS"Tn YWpE1!Gr˝z5䎴KH.*$u$oAZ S9/OG~:{g%Wj߱ m6U? nJB>y/♟>D@sjD/ -xj h3~.\R_sUꯜk/Oa(?ofzTDi8R ⹊vi=lȲ^|&7kB @uR lql BFS6iJ0%<(\eͷŴxvHjߒEҡĸ^PC{733ꨳ¿ s||$-Y.GTpI kM'.n&%ZFF>O4& p9W' X]I9:<@ǘ-3 a6С$iO,kI7faqIwTV둏 RLz:By!ꦮK'ԦoL[ڳ =;heDݵkHb%7nKi!ϯ2cglCL—ݹFFOLefwї -SOu!{<]S*bg6[L 2DƲr+6Ak!?U>~uy{QjabyllKoE`Kb@2癢*G~%aK}7 *{WCX M 7*~jV¿.+"FYIŦn;34a z|mԩbfW9? NMԧ s mcvR(ݬRrAC_.(|ѿw8ukݝeuIf4GFdŌԈjYL#v3!_c!p.g/՜fSD]xzd^qI$<pSfxzډtYEJS( 1inrz?V tk|‹ i*Hd+&9긊*QB(/>2XўyC+$.t- ?[={toKXfEb6/åA&}M_9qX2OAC>iyTu oFX^ 'Os8[@?wcTϷKljZDkpy8@ BX m.xzx}D'سM7? 1vKo7TQ2 6ߚ!&^$fK ztP<#K|<G`#.5Ow}|k1>n3280tJ6Ɂ䳡G*wCWd"1d9o_ ,#CWAY\]%{١̬c#:>,#`kd=^|'I8"Ǹ BđhSbQ03 9Q;e8^pVJ_JdU ;v<ٮA-:Ppčx3EѢw%>ʺ?DP~wSy+3$FpDǕvv)+ڃ+ed=mb:; !;P)˴"]~B .kjXAX$wϬ^  @UJ֍@ ٽUK`!e%WW;'-_OܻoS$Ͼ 햅Ml,#]Yv.s[$>2] L#_9,PM{>B5 Ͼ nS؄X 5Eޑu>n y9H7N/{ q q=)PSgL `8Rp(L1D0Y P*{* з֏'@6f$io~;#%V_nLRgv x:ٴ>CRA*=:һWS[((gM9R 5tY)Fejr#ɺ@ix9r,4v*'̑ \{$G Qtǯ:+ RD7|/cHux7v.A * ˡNH3'9TD,;jw88 (UX:]|a^1iQȌown!RuyG~I&!:E#lb R M%YRq"^@N-<$',{H)}ELX8Fʍ5OkNbg"CRI[Az!\F&'~RpIۋ~՞=wC6cqCE[хHhn&* tkTAzg]93ɏj\:fO..5a gJ+kŗ^ ԰CwmaWhIp/f1zv\a\l&}IDVā`|E@B8GƀD,擦?*J[AI)epHBRňnnh`6o䰿YU ( "n 0$}x5|؜/ \eZ->R9tm?{?H[|}ZM8ֿ(? |JnY8R;/:?.`oi(YTY~³=$uCRI.-*Lo'`b(֦gIZLM'\tD&;;[F:tc IF}|q59uULMvls>}JԆ2? 5Iҍ֗!&Igx*bP>USL*L Er,6@Ua8By>h<{]2M9LpϥX`[ f_֋D0Tp 0Z:謆V jqTX>"/ZE#c@4Җ\5u cɬ,oZbb+$(u)MyN~Ol/}ͫx*cΙ r9)?9?=v(p'|V12;Ǵ#_aG*.٦AlX՞oכ4RaE_v 2WLcYMyYQ>, *Yna[hƜT(,ry:3k[:I^u;\Ѧn׷EHYV ~#C!aiCk 0o2MYm=(HMfŏg+Hz)԰ÜPOB`Qp{VIYH Q#P- qEU tueR@UֳJru-4L3bC ǻ.%dϞa6=ǝNX'OG*a+P#ܚ({"Q~A2Ƣ̅k?mWVסYx':VCi%^ې;xZ)jY')+HϣҢǨhϤE_BjloGR>)nonJ&#FJLH^ƌl!2Dy.+_L%{YzfɆVoU[p|OyGC<(xDUEE 8} R_=c^b.UWv^ó!s(/ a+q6ή)NQ!q8ˎ]Pɔx]eذ1"iDqj,HА03}E.F)AIipעT $e#~/'5Q:a0>@9a\Wh0f;5.g]˳47t !.nFziS)˫k j8<874bL]QEC3쩟8B*@j~|dT;[/MZ*1KA7:hYa4mB}Q?0V2_zSeoޥgW|@(e~xR/w}%/(~ y0'+B;A9HYKN)0{󷴞^Oձ Zg磄 KA@Ĥ5]HC.H4 @lҺMKhZz|j#CT|v5 wE'`LDBIGI.1_n嚌|C kz]kKaV! K^]X`<8|O3zGR5È:j+h²6CvtcDހM6[W5oLlxNɎ*N ۧn{ϾנyRPؑ9q8o }TDhfiy>YxZC9) F&pؖ!L|Zc̭@hwȹ2u=L AP rdn5@{m5d8!T,i[Tegv*?*VvQrNs*,FPQ_e$qj$HT=)"y$ KlRUhY `f/ gu#yiU8_.|clk&~@<{̾4l]#k+ښI |+Ի3Ri ?߻+CEWQ2c997@#c!cIuGfFlJd-$J^W}dsvqv#@|Y!R~Qb0ErYy&e>BÈR8,+Y"]'`3ׄ=Oj@cO@7͢ʮbPeh[Af"%@GME;/wm2?SEmYL}{Qr FWK>(zzq3΍ihHffv ~ϳ8­ Q3xZݑwrrh7PJRb@Z>9\:P Ds\fKꕿ0p5 ;1nbzl|kޠ;Y . f6–qI Ѣ `-v HZL9lMfdp*K}$>=Z`nQ7OB*Hr隻>ag K&8uJX(}&c ՠDUeW BH8(/k?EGMe9&YI# g Ry^>v9M?!̦< !&HznHN T(;8^PmݮDp *ײdE|FF՜Ē+IiY .Jg+ K.{ ypصsVk/?xԢjFiQzw$d5 \<=ex<95|aNq_9†%VVjB ʺ,.w~њ.^CU}/uN)OsS#-L > miAU=/8#C4VoqTۼ伉^8 φ]`ӻq/qאs-N)0 38pM)֛p__-aeƊ,c͞3uՏ|H `s4|MBB$n+gd8w.9:u6 # E_'ZT@3(IEVbCfd;]U~Y).M^qw T 7‘mN^I# )7KYϽ *ssfqj+ՍG0ͦؼєxdv.F2ˋ[uy>ϜYmvèǍ<:G2e`}8%9"W<|A!2s_^xf̺hRJp*v.1UU^hUie4KaFai9a8i0c.}CqK-":Pb~;1/8֐#f +TqW.!p_) Uz,|K2 2Y,u ]Jv WXej7IO0ēp&IAci!6xӴmJ6[tgE26 Os'-w0kNpWåN;gTHf6hjhQL^: @ F*rQ%U.s22q0X Nn3IGkR ufkeehL1ַ"E)JhN9 d;%ڳ+Lٝyƿyr0hT Wtސ9=9͢7qɝGFNbJqқWsو?ЋiPl vo^Z>8){iBJGw/S(w^HÓu `N{syRg)viJf8nv6 enjYQ[- R M3`Qe 3$kϥ5Xz!@1AWp̩ uY*rg}=*e؆2#ӎJ1PUZMa3צJ\kGөЋ;[̈;z2]H|v!_ts.Y:Ɋϲ1xUnǘ~\*e1@0p ̽q\&+VZS9M$]&&28ӥRv)~~te :+El+i=h &] gS!WFv k/27LYEAQzW f%zH0IY4ؔAh5@ْs j]^+ /Upj Ae[$ՙ)zn?N5!N$A7&cszubjo "}2Io4#9*ѐJӖעKa-\XI%tO{v>D1)<(?q$آOS~2^2c{o4gH48ݹx k.6lJF |6@tLhʁǛ )PHTA_ETV9q #D{BL3[Iȣ)z%/ʫoU`, uwC *jxQH-33\fy.ϛPK%]BCcҴ~l o\ RD{@Cmk^Ʈ"q m8+,iźq,@#ԯ,m ̇K?8TA|v5pQ@ԖQAfGh>CT,Ax}w{gM.}Cl& BW >}z냓maRbF%ѽҵV]~iXsKmYoㄐ\;#2D*a>޻'΂b#DK3]Xƌt*&bN=rz\9d69NDFK#I;.(tD^8Ji˿z4.KͬArFMed h F9/(gz(~=AHf#wqogP0d"sK%j1OmXeu417ەG7rR;jf\l;Bέ-Gj8gG{L lEn(vٝR ^T)LSuV?(h?KKM(FE**B $qnaWk8|Qp-!y\/G4% U^V,V$"ƿ {߶_,}/叻-F8ʙQ0UK!m\Z0?s5Ki-L )N;!q,hn/iOވՒt2!'wcԕpm7 1 7W8I\!_m4 ySഗ~aL2m-Y B:d@o vȼ*s;_¾MjRLٓ'3SgYZf0501da9f9c5390d74bec3e8b1151c1b1c03c8fa56dff493c54cd66b7db0c38a40d271b408a414ea 15c9718b35bbebd57dd2cb739566c2d7a0f9df58 aaab6863977e87f4aee85cc38e4efed4f4dd9790 bbab9dae68f924aa4767790f6d9661facb21fd0d de8a061531e5d58e06ef9b64c016f3cb518a476b