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 W|$ ]% HOL-ex:threads=6elapsed=416.746cpu=1405.244gc=88.7327zXZִF! ]ŗXiɟ fftb:u td[=;+/Noaw<\N\'ƂY؈K֠VvBkN@\!,́WbGm^k:^dCv3ːSVQq,|ENfYjb)*0bY=Es]鐈C'q˪}ksyfh".6*nYzRH&X]ENV 'st)h'SMLm}C/ɫb &#?$'#^?jUi5+(>OcsEx1ǚ 릏 ;}/@TLc|p֭ B/I\4?$[]bWugI8hn?B1B~o%h4GhNXj2#ZV nE2ѐQ c}&<ƀ D9xqp%AHQƆsut "芇g-ttF$  ǧ.4rhb-KE05j3?xKڳ>rؕ MX=Q"IF@F% ?!Ԛʲx%bzT1k =g˻f=i &O1v\ Dx|[:"n&N7:=hBy2Z45Pj61O`A$.~PUakaMi3]WA ;UWLp$ؼX=Ih,w$7idO2%0ڽ! f/N:!DeGL7"Aok sрl1)z5Ȅ7:G8結q∟雘*xazW5Rh1#Se U X=l,Ÿ.alRݝT`KknjgݿkROi7r#|a}Po;{:>is`XfE Wް1'qz+wiz~|[kSU,hk!d<ҡT km\wk@D淜e׊`:oJkݢ&`=D~&n1&yhhkGRy>B0XůD5ނ[ gS= I'F]wX}\r`|yU1jMvAG$E?8IXSlQt>Wu;;U8\KOT7F^Tc fBϔuO`8 :| Q$% 2bBÿ~9H.`1@`rT\^n+ƆU3RfC{pcrgc~9$IvO`N{pf["%5 ,Zî;eYޯo850a8&aj")R:8TL :Lb!Y [( p691qqDiv;_jj&`Q丏_ՃYF,H&%͸S-G+,i5QnzʊGTL(␞yHb\:>0S>f/Or3̈́l7[d`.=`Xt{#sv"&FAV,'K:1\ylB/>xB@mE\ 70c[!]MMGB" WAvj8Y}/ #>ڞ+WEDĸM-CÞ]^%ΞݭB6b y>!Vj<bu&u濨}*eZŋ2-SKˁۛHR%HiW&Hf 9&#ѱfh 7Nz(DVO? "B"aturjP0^_T+Zwyx9ѼXLMb,wU\'sX2Ƙ~PPzV~~0V(+7g+[aHIpq8OᱪX(}:j¶uvq0Ë]0`8NlK2ژd}7   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.MLL!K.\:"PS , 퀤WkF핏wU$a){m AHJE,:ߞ5jP.3U>OuIU^M;nB;@A>$걭^4Ml:0EN~ٲ3SOn![c9oaʪuU4k51ykGO AQCH+UP,͝Au2AnAU~&x:d~"o`E?Mdȼ?9#e0Rܭ j}e;QD Fh(|`*}])D;= 4LNƧ@gei׹^`EX=)*/(4 ʿнJ;۴Y#N4IM[9#s f5pG1`qkđ\Kww,s"xj ZT|@ ZT(ܛe") a^% 3e+Y%"ʏo[>qE $cg _à ݥɣ|lfNg錀&ڵu[o5w[<ލ1O U GrMvۚ0RBfZ"!i)k p*_)MF :4la"hhx4.kh ,q|m2$V[\ Ly'AQ4tWhz1ӀF \ pV$؏勜CM,SU#쪣+QP7go=ao;Ȇ3'?VA1$GvyNZжi{"_NY 8]uN+b$u~"B~7uh0`[Lu٩zbP8 jh7[1 ,>9uVn0 * 8U &pW^O3OpG~T6 p.!'N+5*O;L_мEv)p_/zrreUcVKO,CZNj?rlxI>K "gK ,8Ԅ,E5exWPwig# 'P.5kEs7c> S34 JL1pjѲ H4!]o` =c$L h&X LT 1aޢnwvzV<؃]N hdQ:x`=[\h#BN\c˭R71^\ܸA>A&Ϙ$çx8DAo$Nد׭{p9†Jqp6sTҲ0O 3 bt؏@y2~^ʽ:5̖_SDwxhb :YKO%$O5"*;+Oڬ5k^YF+& d ,;zSQKӭ{#<#,wW1HIa#L%Eu1\xҏ`_ڟ8-#'UߜV=:{`Ϙӈ ʓUQrpi؞̵0`0#j6}뫈 )Ry 'D݀V K4ZhDIBzN~KD h]jt2}AlJZjV$zqFݷa0ь#E|^DW7f/)_s+v^5Mk]U^d0,m"rtUMz2椖oxށS`ڥn̨Ɂ^Y<հALKj&bU剽}g;@bq8$b0e'.(Uid,irYnS=G3;^ 1 ";\KoE8Qg$Nwв@-!dR\7~?Ar/aS)=)!>ʥXqLh}eT$7u2_ 1^( 3vxj\QM )CJ?nbjؔhcN3+.q C!Y!X<],p9Ͼ 3ܱgYZ7zXZִF! ϑlD]ŗXi%L(gxi@):6Œ}PqЂ,8 W)^%l@fycdϕ21Q6P)[_6^q*Kbg]AELm!ͳLsWUnXb'?KVPd캷֑92; 92+lhJϳl{6DK 7vpF^#ę`CLAH vY+aF1CJZ<چr0Z7xj '].X88\+|>|w![O/.?w;r#)! DPp7`f߀{ZYk(yŻ3 @E8A3R5+mVWޖmtn4%ڧW mXϖo 'Y`\I.Siy(۾8?W*,Ot4A73"S!K|D:$^ ,aT}޾0Yew86>*kLIo#H9fY`!FE]9LU$ѝ0gn rъk,'녇4P_JvD9x(m]BAQm#''`w{Tvu<#z?I:.Xpre.0>ឋ.Y9p`슋];':IHJDo_{)gxVm5>,Xl?Țf`R1@lΠ^jFj`x<|\Qo֝H֣4.Pk+?ɵLgVHn~O`{$% P?KI.Im6wdZ"PmSk( GԆNl1I拿~oWXc@]16܈sYӎ졥`dt@G0&rWb \]jbid=}xw}At~{MFS\䚡:P\pY1ez0RCGiZ˅f7m]͌|ӮhL ߃r|ɭ6ၰ+/<.gL`hP)'@p2HOqx e %;kev{n;.`COZ=;gc^¬{g(-sUCܘ#K ,JF6c52(:_ng$R՜YEaK5߃n <.RZ|8"Gp}kLӯ?B];eK%jVV<#@!Ҧ[dX[2Mt-=,S@zd㌉&T.24`K VUxS33EճCt_m#,G;cu0$7YFs-]01 ,gքC>~OXPB}rg휸|deJEei*I`:e]O*A`5t y2.h0C oxdZ:Fze䁢 .)mS+t()m T.^Gq|L ~)nO֔s1 fXs'J=nQѯ/Հ,@AW[ LF 9;{m^LJ~Rcx`F%3x"5ʺfϊUϐAas]fuZ9UE3"+E.s%c쫮дxUe_ܲe2vJ(Hs ,r)#Kcqs\;=Z^J!Ѓ~} ;@5,:BYQz'dnM dQa6!,9HFZy6F*3, ^l)[B:T3mS8"֫plz8~s-e1w(ϥq'CiY`pqK)Z}y/քA!#P_ey}DM2F$d2 d%^M/l\qaBiVT{ޟ"<&L&z>w $xٿHLM-`U 0sU fTfÓe^&N{NR CP fFU\ai%gr`*agp@3$U9Pqo{$#Qݳ hh~jAXdn6: !um>/wж 8=2FMاXeI7f܊yugӭx&T;E&ZoDs 2&%sX|za@&Rjm&<{[ L{7T> `Tտ@CR6[,!4#vܿՑY],* MK3w^1y,A៖NX@]mP>F6 [>( Dq+s&93,-h؉ Dx& `Z<7*8]-S$z[VˡTIEaDEKƭq!2,>q w'n%q5͇ )F N1i|]M r+ed,I3isy_1VS,ХPG?FS/WWZ͙S<9krX˲D&uK?)1Ƈ& NNH[r.t4 |=Ĥ O #=םCS/5M g~j56,Ie:kYEiJ@k ! v j?Ve7Ŗw]L@&v~B||{ 0fG.+mhٝ"uTkd!qBE@J9KϼD\{F]`q^$,y wpmz&&ByJ{} v(1ܬ F]~D{sdBaG!2'JӝsRQBx$xLջ|s_Zk$wENFgǸV(\B+I?sNS,fӂ"T,*߂?$=p•JfXRX6j=`;d$ٞ#Fg˸}gYzlJJ V1ƩeaN -JtJP/g(|82bopY=W{3O#b;uI;¿=V\DĊ*C&磖Mgjس@f쨦\Kڷ7ֺͤ:=0C{%J׻q7Ĵޖ΁[%=ko<"DK/4LWAh)yZ36}vUo_{23CJ޻78]͘_s22Cuw7笩^WFh5Sؤ`p4c.MRڜ( = 7F,?_|+`T6f8;fF2?FAY հc%RuALUrY7ƖF 'Z&.=W[=_[+GFiL>%A( ǶQ!!\G&FIN?8iY|V>l&$@4,7PT=فHH*lFVn-Fų{愖xCvC觵cv+J\M!2MΏcɶ$ov|3` Icc稒 ~=l:ރ搖ObKO6*mlD=AD^٦^< V]T'2mC!iF@M %:s rR m9{- {+rB7,wGbx5]8`S T~%1Uo_jHAt]"ID Rc5J1'Hhv 9 fIo<l-a@Nd!zGiE(Uߡ$jKx|߄(]B1D`v<#Si:V>snN"IͿ+7*9}w_P7<~2A} zﱕX]1d>;%S#ePtmYq {K'!|ӯv0%=u͚i̯&I(ڋGHa&nw$/U챳 Q,./+9Fm5Yb0ob,pfe§EDhHۖ{X&.ьFgI@dP5ǏʻN>Z֥[U(Mvљ\md˽@SijAQ){ H۰cFTRYs'?e7̰iOI/܀y"j%u& ֵA_ ),Tb#AI²LO. :Pb>1ͳEʡ؊"VcI>f8[ܩ&99 [W%P"M#- QO8M^'f:jak4IQDIF~P ޘj*sr59G}nPEOlzef87Dؒҁ'*y \7v3wI&%Dq)E ͒ *J Jߑq $}ߊŗ3|XgKY %xŚPIcgS&w7ٹqXxƵ}b". c'>P׶RL.70v>q`6$| [ #6O0|TH2jYD Sc|Dfڣ,%6%( Q±Ew\uIT9Y(>m=p zp+Pڣ/<`HR\e,ŵi@pr@/n6,CnޫnOPArnXqc7(an}HKHVQ[(1 Wm7;&MM|E,({spv38+'~IL8cQ{u5Ob?Zqݞ[1XiqYB!s5u1{)Bw.7"&ywGEtbedu/SOԈ6^GHGJq: yqQ0,|Ofwl?~'vy&Σh: /,֓gT:X媬)֘(rgF\ܙR(|1 qn%.^(KNɅ2&-O֦AHx Efy>x/'XzD@vxn՞&C,JTNΞnwY>՞h/ B.U*>{Dm \m KF\Я859ܲl2pR Mޘ0HdަϘiҧzM4ܵ {(c#nV[*@b6=I>uK.gs)sk7+GrrroX lۊ\(;$f?/@ M-56H/%P. ^xf"_u9BC)36-Jt9W` Z(7p+>kSk aj'-Pn,Rqwv50œ!!DÚn-Ul' dPUC ПQOiA`z #1aݠHn6?'6V&Jx*3_;΢$ D=o8I7/P9D0D7:B Qg)%JFpFFixqoxY/{fN<+['l}hOeI ~zOVE*a#'bn;|;~yDx7!LJ_),3*YcXݭM>J\U7Z|/תx[@#o_B)Rn BOR~;jXӉ5>^IHs8h@F)2ƲFU+Ң^D[(=DzO{Hj5Ľ@ZgUZ^l*+ Q}N{׀,(m+1ݰ.Nrҙ+c'O£ڌ-H|lCVg}6^iN:xyא,\y*_6Uàw鹷A,sO}Zԛbxq<|$Z 8~d$ L ?xdhGrX*v7DaHe, h3˨6]V`Łe=!x{^b]pb 7[DC!5#Ow`+5h56 )5 uI sP7ZNLay!HX=u;È!7-ÞW8][ы cRX$ l@2<ؘ{2_ z|2bPPWO0u6=£1:BSKAx[^p]CT:8)›84.nSWW_[X$s=QLZ:YxUi%8hrң,,'N`F=۫:. (yʞG? k 8e1uL`hV keКB]B0e< %I<+ɲk; d+pjFc o #蠝V'.В'>lZ54E2=Ø4?Zq7$e>\j7dׅY-kp*BuR+̴HD) ! -̬HX%a]bz^@DQͦҒSߏ+ 9%Ô!hګYdwzPuXuH vW #dىL@vZ6]:#bmB2Z}k6 5ΐw-1-! ck)@tH둩 ,1pcz1A5Qx D6&Rz45lj6l%Ǹ KϯÌ-ȟ׋S&}s zc%p4[R89evRK#;ncq$ gNw>ILG f aiV.r#-džry(FB<(zŬBw|q%9"^ 6567k<揻uNC؛_rLFJ(F"㴶)ą-Qu Ҵc(IӷMaX)tnKP9i{pr&"|`?^L+&).ĀN~0K˕:ix]v1W$:.EEMJj pq]sG1_]Z)BfǕ ] #-։l/\݋1Ip=5'bT5չgջ- d52sr[Cۃ-rgqZB{6sk-ϻQ]Ov=( z.RhQ.VRLmtCĹ!|a@R B߬bA.m,̒Kf=L= ]VG4n#<>":-\gOb==c!E~ Ft䇉~{H2EZL>C-?f:+~lmYUф oInJ>LF gKiE֐ꌭ#gbi0Z+.&hzsk,맬jδ:*ȀfQl݊2+&?EQڮpb8-bge(=S2< $cyANo{4nf[IjDehLBYyt1 po̭*@{S[2 ièz ckHm7#"ˆϘw*3S #S)SC{m/pU?[a 6[ Jrc&du#]Rk{MQ3 S=ɞ:Xqd(&\OrtcLNJWWV-JDz`k@2R|[Ta X!_i}zt{2Ԇnx䓃@_c:t bjII'\Xy8*|V՝e5*9(@2ΰ^-%Xtf~}Eq]U7v_D37+H\F3P>{6|! n׆50FTQ6Y94[$Mje,}8 ɑJh4=cKaQ^G1ǡdg?$ad]bU0׉ښ:j@Im%;zOuJ;0kCS0U0 '/pwǍ܉sypr(nNhʑ|}~g4@»nW493s,kUz`% g2s4Gs NcI={QXnBRjEjCpR@޸q`Z BZNP<*~ӱYL2J?`j\i(пtPJ7ܐ~(ގ_Heú뚏d3L"A&y H1iibWAi/;C+U1^BĺFcٜf j:ɨJ+FGHB4zـ PPgb - ي0O ;!cWI~H%J*\%Lv[nvss;;,0ַNSg4ĕs[{,8Ys? Dcdc@`}fF?͟1 ǁTе0@@Sd0<>|BK̆Hx) 2EFΣ+[oTr"BG*A@0WȣDcFCsʢ 0!El+#ĥ\$~T=*H-T2 Q4hg-$mx)?,C;}54O{LژJ/PjwcRp*V7}t oHG qv>,;JxggŤ*-@ g; ֲd}RN.F*wp3>' uk} ;zº?yd7>[M9 UCf#m/~LJHA ntP fW?u}v64hN}ՈjSՊ][L tk}Vjw>|jaPN-` C1MߦֲsvO8 jd Op=Mt %Ȅ@*e{^erEș3;RmZΎa.0"`LygHPr,%Lv2a 9\| .A?8M93t.g7s2~Fcd5#ssGca7<Ba43;F Smָ(gGy'޼*1=dF#T:&&h82]b 6FƽgP6N}rWڜ8=Vǘ/Y/HYXDTgM4CbUyqKZ]JB:mq]w@gہCUr XP' i~ wG>4ЈoL(,%qSjѡq4ό*e8sjÿ /x; 7ȡ#9c[·rda5ufSzj974#><^Wd|Gy ;z\R*ԗ.(˝8{ڣ*>yZpo_dq~bMd50eٻ #  jKs;4"&-;8_ "OS%Y2OU5oǤRg<ü)` < wΜ}4eZp1JP(=Q2]5J)K8Rj:A3רkeBOlGDHAiG$c>QJ΁;- t{)T&ОH㿆8Fº#Է|'5BKP\R h[BIǖ&>fW<l\Od/;i7䆉5=0^`x9s%OUԞJH ?> ކJN2T@BxBQʎW\$7,t-orFKOP,:Heߜz%deX-d??WCuz7It7+_7im껭oYџ-D+aPJ $b X1>iAARRnO1!d 75dqn %Q9TY S$ETPsD0Be >rB[I8/dL | Zlt_`MmX:n ̚}+d/֙^+( cjfkS@cf [m `{ \ͯM2KbEe|L&Sott;c?O6_yx?nZڳ.p''ݸΊ6B ,V_ h?Wpo'8h*́1_QATyx-]9# ae8Lwt@(!pդx"i;7p g¯(a_mbR`9B&;nkuKtO`^$@OTI 1"]1k-[J"+̪sĖs"Z WdZ6=(cyxi`.`ǥ:H.(fapd~<<LwU,Ws*P($Xձgι0:xXF"Q3Iy4N⩈^a͑UA/͘5g)sV#J5aVa0ӂ ( ٫{Ӑk}Z9݀HMj1B@MK "6lCV 6n3t !-iwvLg8?ԙgp^zYB>6*-Mzfn/Ub f+Kv&i|,6(@bc X9īp9.oc&ھ9{ DyYb[ͶEUj1L #ћ :]wV{LBŕ58yH8_>`.1K(XM:E$,s*d,+5x[~&%%+jZ o6c~D6$ 0u74.JjKG:DOZs*JYv3╺,U* ^%޽$lֈ9\H8fLR-@vm~!T.옪? Zv )oˢI|4R h\0"2_B/w<&VNh]1#Uzl"J" mI\ր }#r{I k"fBK,S"bm5$,)"k~ >?\֞e-P.~cx-\;/fI6n lEb!pZGet5'puIhU|ZA^v:>ذ4p(I00~,n~T;yd~ } Jd/J؈<Ǜtk̕K[,Qc] `biNY>Ke:2MOeاȼbXv|aZlsE}-o'.!rIP,xΜiꆚf& l΁ cM6 zt-[l.k70 x;,}UI0W1NE-!C#N_A^*cz {68Z4W_<,>?Ȏn~w4/6ƒu8''Jn`5r|9~j3u37Q*H/SY<dad A_ X>~^$[ aq? ܛsdOp$J8EdQ6hF(N~f9M]ˍu,j2R|JVTH#f^IL&yrPx&$NEE,Ơ@45℧׿SoӡKo./ڒ24@ᛷj}PKSYQe}_k+C(aQ Wh/ t$hЌ5%a]ukל-Qboh}br:l-Q#l9*T9$ ÐKDJO7`/9%6!Un5˧ڵ,)yZkT+4Ǧxjo&h}˲VƤׂ3# JV[AkH8f( )CmVbv]4pJIl(n@?R|n3GЁC ^: yl5z17}D,ꆉѩ?h~ftw%46t7@{0ǝͩP H,cOeO̷$.3eLI4Cw6ʊ{; xcmQ Z[dQIdP] 2ǥ•=uVt^soTŢѲ% Vp `tX hb?NҏXhT(;KrenlMHp7VҁO]_zk7wȅBV h/V* aBn?ŀ^l&qOzVX`Bk-PEJma+> s7ωb@ 3-ۧ`Z+s3B鉑dryNӖ;|1o& B6Cl(| MfL- ۪kKb0; ե $Xqu `Mr8U`TcE@  PZXoq?ėȟod?SI# 83yz$\` 1|Sŝ,v2I3"յchJՔFօ vLt.Ɔ'9gwO'S_?'3BttyZkz^"Q)c/+-P\u%*ڽX¿qAߥ߮QP(;w)Q<G'i XmbV~E<ۋK͡]k?W\a*]HœM;{ԫJl0F$fwh|L 7d{m hqCy&vo-}\/ᇄ%yHKgi[a(8-bf;6gQ ӂ;bz6)mT3ll6EG_A]spR|e%gֵ/z< BdD&0^ce{UtRKgGu Lg@x|Ý nQ~|E#=U)-c_d#DOI ģDx@p򰡵7s1"d)KtRk5|* dch"|Yf/u_Rlo yHJ&͜q9`Dv\>c3C[Uݨ?-E<-UtClȠ:fE_#7FgT.'?y^[k!1B"nR =Bp~ג8 ߯DİJN5NvEbN麉p&N8OӴ<@ELVv|Y~max~)h$C1~v++Ź%p4΢nm.|5<{$`OR^aWa.}O\t֟ oᎣ9F){]y>I'uB[݊uqI FO.POh0ocvKX#,=[EfVVɕܫC-HD9 -Jc}5: 6ԐPږ6q]YA EӦ[&* J(`{]YB ceҰ*QVh'0=x5!wl`<^- ~ãD~~]PL͞aO ҁtg5Y,*94X_)5=i"d .?@A7վOGkؚSF-ao},lqȘ S&Ձ1yxWc0Rn!~?S>u4LTI&‚+7&8Q$8<pl=*?`R&X c\,7PF!$3{ kI?<u#STݨylE9Hp4O!(EWg_͗?\c(]DAuL]dRtP^EĺЙ)GӕFK*N#. nDhCu9)P|`~VJ17H8N ݜMV0϶ZNâC|HXٯt>yG:%1!X xm$ǰ](wS]!xxxt\YRn\{"KFX3ba51WN)̢"@u'Z:Tҿmw`{p/DC;uetBg ^y*ܗ:tG˷:p+en1[8u.'Qlͪ׽A[( }Ai5 9ef5 p, bS/h">0#:J$eRCGH(OдHb K.=4,T9xFF!Njv uQаGc7TD=0J`''yP\be6ܡUPM&5Y8F STf'Qx4d23v<];`E/0)_Iy%ǔ;~n܎}0e CPXɥ( N*!"Gsϊ\Z =ڦwDbDB!G#PxٱX(9da"MJjKU?mX٭wGh  ^Scv*S-ر n/#6Z)E=R9)a^ %?jam3ֻEchN]#>&Bj jb ۮѮ;U 0t)Bf[U2vOבEv(OwOV7d 4hФ4 ;|>❿vv%p3!*")a!`y֙fxP D>*WNZO˺NɃ3XC\*@5F] E^t_E|!Ѹ3yO{/Ya-^Ŗu"Ǩ?<5l$fI+ ;zYoM6-')쭜cTZlCˮ 3t9G6Nr?K IR9thEAB"LdXƈ%zm. Szf׮NXi+ P}Z?Gق[,(tiJxwKm7KMQN"X`5cԲhLb@qv\禢կ o_1Ln=H^eIHg^ 9|FP}Wx6}V\ *ikłb@Yr.ӗcgrB$NX(Y@8ƻSeZz[YBg\V7f;' X4BL Jaa" %K0<;nؑYheH D ibU ?fEh\" R/\K@qU2!oӻ<>$,5)?a/X" fxPK4d|lV_c)ݥ@yeȾ^ L0-nyۀtxt'GV KJpn$ \u'ԪQ'4%cy˴-JV箐fd+h>6L7cxl04˜kuL gK3R|>D a{,$&k<\fɹr0#`7[)4-kfODMy?../sT^)o 2dOPklj+L,Wcrk )YpG߲J\B*pp'U3D\-{e %Vڹ9~`^ao=>)橌7)/<'`o8{j&rOaxh271P9n8 tH C\|ge_=.b7np*֞kl뿵66V ;ZG߄vo,㏛FATԙ4M$W5oRBg:xk3)LLcb d.ha'$$4L؟®E8濰~$_?ɲ8?>ߝ]1OkdP *MΫ-4PEnVK1A8U3XiNϤ՚)&Az'Hx\c\axq&$ ;w쨜\/2pl ͘җ)* kSw`)Nips?JKN"DKSTwd[ } }Ͼk%ֱt?w 3lUS4e+Y&werMPkZ)hi"&3x _JH%"}TqA,׈Zd}# ^t(9ߠ\s+$/˰:<aj &؅y8 ?gf;[Ee l׶.]ƶpT3u7Ԭ2Mƚߎ\-vA^Nto,Fm$3ɔ)SYEXHJ}rz [Wנ9 ѲUꦺ[3yN紐Գ J::knQgYZ6a9428262352a3ad5c1984c4f7643c34c9038d82cf53733eb6be06340924da21f0a2a30c8408f115 95ec6235f51fb20ff01feb967caaf0950124a8bc 875ec6318de6760161deb7c2869661ec0677f055 c1efbc479f106352809910265407a2a3cda763de 71bf532e8ee807b5df119665c66afefea49db625