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 lll|D ]% HOL-ex:threads=4elapsed=359.944cpu=1292.828gc=40.028factor=3.597zXZִF! ]ŗXf1-q恉<]d %S TzA=0 e")$>L?f({HqXAJ$lՙ˿"Ui0N9}S @B!_Bџ(t FJEN7M0'ɐs׼qcwm );]J!򱂀L3mx[:z/|⯁>o4N:jk0J=zuLihId mmN VEPuxo**}%m*ڎv7Q}?FǗu q2Hx:ǒW{%t3Ϡbd?ƕ +llx@Yu^':m,! ),N4Zi ۭvؗs? X n!v^6~*9 +D[ 2%Lܬ^U*Vĕ9;udjQ6^O/lU\eBkFp,ۣ~μxvtnr /Y %sc"P؏d`D;Ѹcy3RGrrGIo I!+ Zo4/9E/ۈ@[3?/VZN/ 5,L;j#yUQ neg,D4GW{@}u5Fxxm_5US äW^XP &!jFFXX+>.63BngJ,MJBf@0뒢BoaSͶ}uYI_ei0-W\/_1 XQwIל(?fi Tkծv0_JNOd.hAs] JJ R!ҬM`Fy1^˓/8A/ԷWxvr:{ NEEV?Δ%Y\.w v*k@.Ġ蓇9g|ӏ.^ .Te_Bѯ|#mه HEYZֺ3G! 77=TQX? *]z8e2#G^Pߗ%cIo l0]ĐO))r@\Rm2l`H>=W)<}΄4d]M+YUWn B HM#M2 ERc ]@Hќ/''7 .OGZ> v%[/tt~)_zŔүm.o`ZA+`RQb R(N!Mn|>I,^&7֭$7 [UQ\7W]t_=V P=R(G;WA(d;K+L¼lCq7j{6k4n5R%j3OSE~~mC 9B^.9gcp!b}S,3h;dH.n[Pפ{ (3t ?" o0%oEcTP(4[aauh/"=Lw [,3lt?$9sAZQ@Oc.?QsauMD4z/i:Y   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.MLhߠ}$@iwiϋ˟r|(B;^Z 'dN2_I5 r-ğt;c=i곾Cb.6aCڰid@ANܛAI-|Iz'[+WLP_ÑxT^Aڛ Bu̐Ĩb:`r>G {ҷrD<)8E/P HfQ),5x`׍,IϪt`sZɞijC yĽ^b1/;ko]rW4.+ŷ!&B*RѰ.s循{ 4RUr4I֩ =$4$EK}POV%[Qh+Y%:ß/RBOghܩNWpW8$o50#t OTe|@ܸXUѶwU}r ʔ)䱆Z*%90 TPe{!,Y~4lSi-pf[NOd5!?T; 1y)n̢LՇ7UDXk>KU`[nohuñ Aٻ\eaψP9jʠ=A* oM&vۈZbG \c@i6L'VʣHIS$9W=؝ C 9եޠh8}Nq좶WxI;Y }9dADU&ٷҤXowMOQJ<#j֝+!cJʊGBBc#`pg-U^O δ[8#(t]hԮexUx§2sQ*=j ΔuKiD=M:  oد8ʉN 58`I5V\8˜($!%՟QUtC^?"qcA6=g\I2)2bdȺPcsH> P2~Onm+ze2Š0ge# ΀Ȟ'cyI¸Ԋqw.|z1##f韟HA!ǵyhwZ53'?)/hvGF6B8 W.wGb$]8 ɣa:$$vW|%s9$)*S)f] `K =gV*;ݾTNp/GZɩ caTt+D-R8u?`(rx%WYFLwӸM3A1"E7r\Ttjosz$3)F|kX"5R,bq5 *>$h#+ ~ 3OÍe]Ƚ#/@"Y)Vw{Z;;j}T0!嫀G ̌WRuk5ٛ" \v[-%!p%܉⌒4#{JrǬȶkGEBvrGN ^1CHkGV-wшAj|e1 )GiTw;WS,GI]xʟ ilQjfBSgɑ2D4BqQKQD hdo?􄅅W^=ph^I1;ߨo5,6 S'q\&mw0A]%|oWgrD ɴ*>\ рdZ5.!nx3P߽ bL_2.+Cƾ!s5(c`v䍇 TZ6S\C{Hf] _l(1U2W  oyXC. ?DJH0FÁ;45g24\LO}R9 %=$T1_(WFދu?Y+RQ ({DC]*AwW)s,ms4^np?Z3ݼQ`BbGwbGLaGyo{,U146wJ{*R$,'4h#I_[|G)5<+xl$3 ds$V>]3EYe/ge+s5NVUe3 _2_:$MȦNlKS l4q^OϰR*#.Uc<qY~ C-,WwӔYXP&)pi/O>4P:0NPJ" ohO ͬs9 O(p*y)=SAP0). Q O)`BκxDfCVv#_}T$tU UHьY<=:?{F"u!5W'JaJ>s{^ Q\%e~*Up"?M!27IuHK4bئKV;{U['(?|CoF$yi7+N9zrQsjU¶4 0 U—6?sn{p40z*waG62[ *(paoC6MLË5;Yd6o@GmB 8o(OJKA?/{Y)2lmuX)`GDj‹,RsD} Xoۖ٬D\C磌 /& ̿VaV\I\ Vn ^bJ/Lcq o~.9 >TpmN.,,>lSk<@B1.֢GEjZXD^vRFz4eaPcDsYWL,r|`] 4ggYZ7zXZִF! ;m\]ŗXi%Buʁ1vi'. V0-j>.:s!5#+L?KzٿQencɜoB(xl_8ܯb[ fU5_k3:ف%22#?W0Wo$R pt2(l Y p((V 1Q fMD6M>$ZD5KY^&м# hj&ey:w-d"ojH4+ =UL<)ap[P!k'yWM^>%Iw7!sMn H|P":\_f>_F]*BWv#3ϘN.g`%|YSe gLrXfm}'n ԧ9jUh9slE#x7]./W?⼹x7pE$ S@ V#W$M$qc%N؏F㻹{Kv7'zؖ]$ z0wܻїefX*0}q5-[-OAp ({d!}mYm˔s~*"@BD#`_ Vi;&Q.0|\LmbB,xH߄dF}@|~z2ƚ>,+8O>DfŖW\?ݭ}.wM[z}ؑQ<3uBӗ/.ZP7M ><9?tM#NaCrp9-c" ^n"M?~.:zHs7bn84d :+HB j^q& &"ˌO L@&F$Yn^W*'5M]\`!Dmһ]V;xeA)E zKsZ*r2l01!c=ڬ&Hr(8HBm.ޥ\ .N-D4 Nŕ9Q4 E6uZ 4aͫsgtRrVfbD?8~勿ڥ~u7X41E=2=Gߑ-+M_HL Z1a~;i+Ytm!`__CQv ;5r c2 ;ZFcZ  MEsc "TJ6i2Wbm˛fl1#rpY<әWiFPº؃`1 wsj.pxF$!v ]J7 C%GDS@GPiLb3{`S5ec& agz͖(.y8T/ w8!JyAُAků>9¢7q.scN( 70Рv~iurGߡkNs]glz,! .ysLIQDB^RK Vpڀn/hnb;ٟ8Ra;ϑqG{I@gv, PȽعE'>NgUow>׈!Ml7jVXPZB-J'Vl>ߝ2Q[hHF ̨"W1I. ,K.ݮU Nq+୬1 +~C:УWOP+V pQt|(a|"JEO&S/+0ɮD`%ȺRxAq_Kxw+Rw8ׅXz^OĸvQ6 خ%"enĀO%l}fsd#GmgâL @yje1DG:(ajaKA%cXoVܖ*k {6 (WANc ڈC=>a[75){e4Q9\,+z/V0Ԓtbo|V : +CgWS&ַEM`e(PmQz/ XE<>u8vxܗ [QfvhDwI5i2|/{GmYcF`!dQҡ[@6. zxES &r0 TY:s/ LbVNjOF-Q_\L?(9vo;bu šFj5?xC EƮގ;jʄ ΎQpͭKbd58du0߮B%'_J)p?hp f0 uk J G!)ӗ;OS2Y2!/^ËbHs,./L#%$EB]! [kU&-|ZzUZwcڅK3K!\!Wv-'ꙖR8{Iln(Ojv=+>D!$*N-X,((MOoYRl@')"4!| ֶg|2F³e3ۙո{GGŒ`\'"Sgc%s12`sOjm d|#{JR.ybNArߣE޲LU^"[r+#V)2 7Z:ŦG& |60ps(lN#s4!ұ-Fq(,e՚8_۸}]ФMKG:w0wRHLyL?s:;:|[-|K?k)y-Qy;ia;-~!?P\*xʺa("%`D'W!vv vQDr>LtOXr*⭱tTWYD\ȇt], UT}(Com2xSS2W~[WEv 3@ ,䛔=U4.Qo<(^{[{=c dHVUWcRNfʞ!9KN1=gϊP".tM~ݸUf@۹B>21W:'(gѸ;9ƾ\@Ms:Ԑ^?{彶)=cȏmA[ ^w#($a;=XF[D}d8o?&iGqU۔Qe5uP~817x_{ H"&3E_j\Ɏ႖-lbu 7Tv&3 c{\NmDϔIw8\qQEʞ8U9lM|3wvx[ J3t]ѽPe aInDUΠ ?ٯH׷M?/8Jk^W=2 d+#CC ~܎pp , IbnahklVo|7ˤpwHD-L#qQ ªfX#)vM;328rJ#sTy͏cp{k 8Gt?W~@r=4I/ vF4j^=/Tǎ=BgWۖtF )R<*‚RWl'^Q[WwF.f> ץ&SaXg^KJT`bM$|bZqUQnsW?xްPCB8tXhmMiof 3O)7aIsߺzPD*Gqjl:P6h;fsm4d6P?p2Wߔ>¤\%%LaM6Ԁo w -ּvB= RW ca7cۅiE(5lٚjuM4r`NzlG 9m:h~Ƶ3VL5 *q|.#!5[D˟r%I\n˃&U1tj)H"& u֚!#L CyalS _L=T]etQCK DO~8!"flZ&I!̼.[5 '.k$:7ֶ=biu* 5c\)we "lbP)y@lblvCA!D@[jx2;m*:I%VK`"=gJc)7-//r ܴƇV,_Ffay./*/9FۛfȴDtڃ"qgO'H)nII<׫FQRlIh9цFqtL i PtAYWexmuZMAܠ 9шF* wh7 vA jN7̻4*qx ZHI 6J?VtrD*Z?BgJt/$kLnO{mJS̍;B|/w`}ԸQ1 gtO~u'kG kP>0!pCA#ғ i=_楅P񠈌7Ks<&k7;u!44|Y+ !P#oXKYg $IV}+x6Rocŭ (!^:c<.:鶜c )۫6k(D6"̉BϻyDJwO!SZSq ;j=I~ Nuʶ!M5Kb0cs#EV4]g!W([yx^% תȵסF2W<ߘp y%C߸@qDܰƶq5`P{C"YFL~2o=Wްgqřl00ekF[\"2bސz,*6ʢ 7C})j_7) L'̫0{quM,쮡kG,!!e$=o6uή/>>t|^iVIN}+ eՐaC: gC+;qp ̶оܕq{m(6<,oqlHo1 M`';A6L}w 7766O8Fa)wVQ'}? hlem+뢺~;e疒< RB4Ku{:Bx7>D*;ʉVU'Op^LM6@j>xd0 NAHWUwœ;RWkEPswk`VM-9,'$p}Qfk '0 Hʘ'Wp6N*=cH[Ӊ> 耈}U,^wk8`/!`dnU ?v>฿y@Wܭ|U:jjx_ 4 KP~DտͦI61LPduHفt")r}zbH@?ҫ⫧K akB@^g?,*n2yB1/0,er l\J{/].'ܦ=$;aD+ۏvQI'駪sM݄ ;*Gk!,W0Ы* M Th5r'dCu;jU\RPGeܬeUtSSY.= QrO]WyYjxZIC`iOa6@?A10 1mW j,hcs3=b2BJ,/;-DG1# Wu4jQצ0"·xs,9R-}Rx5Kvt i:Q=>|H6"NF ΪCQ4߬8`p}f`#r{7fm>t05D3<կXc(7/s˶GuEӕbZ1sG8hW)UIaw`76pNQ zO++4`|$(*9\E~uuV Bn-ѐ3HUTS $?Fu*'6inNExyvF;]:5jF?U3ܰ"0)dTWfVr=੊(\ujVuӔY† aZ]䰳m=ܻ͍ ?靳aZ$LU:oᓼn̵w.lMU;+VnUa/b o?qbjZ ^5EпFlxr:g Bj&|I,vNxv ŶrL=3G*y:p梑 1N J$&{Yi{M0 .\mC=eB~ZGeb,sI, 27wx N&Bc6`ԩi'fjX=Z-eۯƹ@ܼCj|5J# s2X 8n2K|Q3YǥCh?c܁4fo-۔&9n}K⼥rOZE!]eȎ.'Qձ7ec(&r#6߲$SYXg+5L[QtJ%@23G̚ƒ- (2-iuhvwL^') JVkQ]󣃙7xGB[#*}88%o£M;βsPxKhXH*H2RqjZ11ڄTk98ղ GE ӌMoYܔ?={NmOSmudu P[ڟa,P:$ b,rQ4zmf祀~ts}#Oލ񜬪uRu8kx+ңh#ҏQ#fR:ۡ6[3'Eԏ< wﱈaG-DhԎ=Cgy un7Hк2t>۩o%EjCȾv˩z)1Eq[sE8c2Ykrw)AhqT{U.DAr`:obX%)+ ~. 2ːkjc-Q1_Rs}pGms)okjpxrhO sMƑU9i"@˶Fm ?#]6u+A1jDTc@F07fuLn'%c`07'$%ǣ9dq-~~3Ԏ\@‚6U?Ԭ eaJQmS3v`nMw)mSz<^tM,"B,@88zHa(!܊ŭ ֤W>L4%\gE%JV*"#)Cm,k* mIggvF.wp$]BwCt>:.ni Yl0Ϸꅵ@g6P<[h()#U+Pԍ%C)s#e<-W"ŻG$ռ8E!FTae;~~gUQV#ήNx!]7BM )`nA!fZ<@@gy<7ϭ@Gw-ϙȟպm<ר fESJQćY:0_KL$Yhtjͯbͤk8j ڕ ܂lB! 8܎jdΥ~Z̗->ڠ9Ưc\ Xr{=g4>50T ,E >W{5ִ\PL [ڡ|nt?yg_1Ќycd:ˁ R◚T+~˳P|>'[Eq>ֹć+#gדDx+j ppqYC. =`Dm~z$2=Y6Dysx8 UOd&jFs-ú,6mpWX c>y?y $dLҌYM5P$i AՁLFB{$a4ԗU(:e8>= u(W&sfƗs-r;7!jŽίUP[V# y%ԾbX+Jiʞպ95+E(peF}bͺ&5;`/cnй`|r6kR#?I@JK? dƒGF g^R@\, I>IaR{Q?]!)o Wu[e'M2W z9k(*,U"}(?&̓ʄCo|'r '? ۷g׍W\SF+v8'zp)I!a\%/ &[s^SaR(Ca{ߨ8 ]ضk湿xB-jޡo$^ga4"&(_v jwt%(^*݊Fgy=W?DB{9c\,HߝKTi!Zf/b%U\靁W8l`jq*I1&:6r}DQ2BmM"UQ!HyҷFXڈ#@Fvvz68;K+d)wO&Z˘eF|RT ~L6` ¶OWqe8Fo'k,uT٥\˷ҬS| L>oW<+_j z~+(S !A[;ĉ%.s~^'ꏽUa5JF_R'wv)Mcu}YZV84+ X {e;;ot_u$@'1,ޱ+a{BΔ*hvv:"OSnx{5rF:7t} %7$FI_Yty-h \RQ(vY[ _WDi_^:j 6go]ffF윕^c@3+ WZ9n\(::Q, VWw."ʹoh;qhЫcZͼ W%Vw2'dWZRe eΎQ{Mɷ=Up\}Y2BC @=-CL4;hK վs$ /RTx9vӓ6vTَjhN*8*ْtѹK*96k d4SKT13=ho< vOʒ?~X+Qd_d PGmdntbGqsLD>,{  =Ӽ$]>cθCl9#Ơ:~mv'XqR~ƾfQ<+y $nxnV1bq5TBo,N0tR9P|&\nL`dcSMlyz Tavinq#`zLRG߼ 2>I,dbFKDZ:_ܷ=uHz>$Q ѳ }9hl^׃Ǚ ueb&#<|}l]r q$F˹Of,e9,3tj \=rƆW ӸFX lVNf]#I/S+VM[nr^g 4)@0jB}[ RŘ8T DmQCkC͌w ~( JJn&9$)'$nҚnQFx=w}44dɕ℆ Kv͋"+r7mK/iH{PK!#yh-k"Y|T_ߞ~L|wq&sQaՒ?FcrK]Qzf8a8&#ᓆ]=U}Z8fe/9%9"'~.Oěn3{Nvz.tE@I=\U4.GcK^|:e] \-@mɂ;, /c I*mWacN8+i;ǝ2%H3pԞ~5@eOJX/2hfJ@!^6֟הnF:I1J6~d: i ]TYrHnt70YE l-Ss!l>]ܽ,rF]k@sM=Ud%}"qo(I(Z}>Jlmۍۮ] aǡPS$G&-EKI{ WAP!}oM>9JkhqBT>RŬ$¶Df^קsq¨rE.xwoeO xlMi+1jG-ظzO &bo$Ya U(B 1A[ v;.Vjcªr>@5$fYξOy+O;âjaT (5O<|ev;h_{O6(1~CfI_c#V(A"HNzZ̥(2C؊݃6 d p0A|ṫYWUj i:)Ak"",? r'2ٞH2 U(|޶}lp,vE gM%%Bdyy61<<%s]7BڊhxpKCo鍛uV͆z +'74@ V#G,9q>-=zkooҾr75fLߑ(Q'T{ "f`&l#7sf&M'E /i4_GEĤ Y+D!#5!d81DgDzq-귙I2zzlO0E}rb>㭐 PZpQy]vRYֆETRj MI΍Y𒭹[ y j*p\w 7HkR~]X&Uhtzf`ͯ[(g!i-gr{݃u-y,|T$X ¹nVgƞo?v$Adq4{:ϼxSbl)$CEol !R [71DT1ݲn5%hQFѺHe)``:W 6Wu~r~F !7_  nq$tl^kE-"+TrʪY}Κ0_r -rS֥$ǀʧ+K5}Hw(ͶeNM CX aZ](/J,CV*UbRͯ<{c~jκ*NJ|f 1SH};v a{|Gs|v7";* .7ȭ [|J>[Eם֟FWsI`?;k^R Yj^˂U)&BR>A0 =+\4\CMq/Ⱦm}R.i| 3@)$/Ҩ|n+~b( b12V2G\Jz#4[ȲW; 7Kpͱ`xbȼI*Rb[AXެړؖ%{vr^tpt# )#&!-HqG5 G݉em$wNgbN"T5gHR,v'VI~[>73[D@E|3,/#'g+D8>a\@)).`" 3 # FS\jꐁGN[sh!q4etZR4ᒃ"jOrH $A,oHqUlM8 '+lTkNO |orVߖDҔV,2-%/.s%d8B_!l{sZg4ӻ *2bUob{eIFdbH<<0dC^BXR 3 c] m7MgͿYUŢhȈQ5;c.ņbu`=w\{0G% eT+7C ,0B{uځۇ3S YN$>CE;{Բ8j8KUCCJ%'.zh5vP|1d; 'ƖKfU=8tYkNg6U FCmC*~TpP2\pJo̔y0o!})_TB.s 9HJOuuUU2V1+3 2M/ NxPqkKҷԋ b+Pԯuf᮫p7s@Iy6h'SXhf+xk-N雉5r}Еjx0U.KI'#`ǬŜo@Ij5Jw<6"KUNOhzi4 \m9ғ(SY܍C07\=.iQ^b#K-SdfȴnbTgtC`Qw 7a|16&KhצMq3}tXzѳY[*HlgfO{RV|K 9(yO/Y)E 5\zӈDj7Bu&LX)8Eˡ+3^_$m1$e(ϱL;ݴH<η8`9d6x%@E-5pBж(&_4:JܳxdKIzD}k|]nPH4 㝧Ij /&+Wꘓ6J@e3u7a˵gy6#wF𥳐Hu뭒B 8AEf&'zX'MdsxM "]~^8Mb7 Lέ^r>yD4DlqEkLH7줐 E-x˼/W^jە|sjZ%4EzX 0Fu^g" NY+L]< Y^éq D#jd_\ޫEZoe%V|3e8^6& %tɽIF1I5W,ܭkKc5a Ԇܰˡ%bo{j@!g7AA0TPQ(RԺ{rN{c bbWѴY'ˤs\Pl/_;W7#{.=qe]žlo)8xLTk"4n;YB_4>{=ݭ.iڼiNL>F/#Va6g;ҲyMeZGv< _( 4JT(fTf[O],n 4HDSbsJ$-8]E 3h6Nw𾙍Թx"%y .qHo@>pb *w_BfiD<܏&ٔWpr`pyɱ25\Hm/"zb7RI"+ǎX’/6֢}U:1R\Tj ONj~ohDv.`x#rk]a\Ii@$d~5ؙץ)\Y٬8aV%(XZ:ۡ`@0k"~?USY,digRjD K`k4?KtE Zz~Ymj6w9BoDw@w0H悧ߋ:\ G-P z ?8^[A151~/%20DP6,Ktォ\ܱI.G+8)$]wpNemF# ӣ>R*ˢm#?JS 79V^("yYgǵ] (nsdxCm:679}GƋfԍ K]o,+z^A+Nli1 doHחAPooq\4s_>h2o4951:8ەفH;5VOT\#DwǖTdE㸷*0lH7$W!̢1K E*y%\ȸ@g'dWIǟ!^ދҒa-&oś}TZީTL-thq?j%ZD5X>]vBYz:1qŐ0e5Ion$<5oHWC%k[ zXp9S6>m;sh/ :d^zBZn/cG$R%Ph-$;1YEul>ߩ!3YUs(ϜVjM|mz$}R7+_.im}kͨهqalȟIW>ZM6Kln4AXt4he)5qc) ?xɓ9UjG4mdԦ4L6qGt: ^1^|F&]H/*Bz';j!0U3\wX%deɅi"6/n/B}Gcxc|Rvhq*KK!gdXlqS~or˄q&vj(R~K$6\V3RM]+ -@AhFiI!2golP Qn3`CH螄5ӹ"M"/yq:=zb=VD%R$\{Ĺ5:ߑ Y [noߐ8GNGkg2|VBABT2~nKP Io]_FlDO <"Oժ뽬BvygܒԆ[E0 ^CӘjR%/\vwBD4!q*EYh42q`(.%dPgsV/KT*'|dW2~Xꯣ{eEӬkSJ5{6{pUKϩ 4C`ѬNϛ@1xl3ѷXmurcN(c3mƇ!U٤ .8 ,&]XVOUO {٪Pdx~O0,;7YYe5F6^h̯ibԢHyChV骦&)`ƂLר2y nb^iLպC+ avI Q0:D9Db*xu\uZ"j,zp!9XKz -z.d5"o.\![LPϷmR4BS)'MϷ귅T_Fm J҆DvpQJ'+xXdaCYrBW>dKX؂5߹k)sۖ~5 ׇ nT*cTy"Xakt>/8`$yN, ȗ*~X ?5dJ={VO$䏊B|xu#vt ɩr0z0ebU-쀁'R۴>z[f|gx.x$ J΄SJΝK踶xF#׼ 1'czkV̞a(!H^/&v!!&N0z  Z{Gk;!Npk$Q7G9`;4/J dTus^I4.y(V+tI#SS;W]eUamyk4mx$_A0+_f Ja 'V ZI $Ga&|Z*8_*"qZ#жisP 3f3tdBnߞ|MhvmYH*Y}㛦ht&>9 $r,}xQt5R#:€=!2q~;;Zu7% ]:tȬǑ0@?#I:ZV ~0EA)g˴uVֹyU[C̬UsazN;8H'$KmC~zvHtIU&Va6Bt{Def=Auqjd/Md+ԁ,ܣ- l`fQt;3(bI,|m7d#Ȯ=vS^"D}4AnE]Rt 0=}=ܬR 1kz qB"#v&}%фm dv+Q$M>A&| BD8vՠ6B{֨g3J(I=B뿉J{JKBx"SbVG{1ZVG3zh2Vgćaze nS2r$QX6H%]Ǔk aN:1%U+}^bvɋ`ND]m-V"" Z (txe6\3:4o{A.12ce)LJrgXc&M ʼng'{dE-ePS0齍) Oe?+K/"I)O΄'M=y_'%I'@$;wus9QS߰`ݜ G0T1Tq,WfDͮݶ:&,A84.>m^ylT 試1Dzh{\z'Wx"ߘyy]LT)*+k4gSO2} 13;箬~MB:c#Y2%OFl~*L[zqfŒcpD :/N*30cpt_j"Am #o4ΞA]6*"&9Pd=~w[R_I,>ڋ Lr0d'$p(N*? iG^ UuovՋp&(KR) fRï 5,H=q2j|FZO W;^1hH@KKFuD%FjTKty3gMcFcTE\* zT]Nhi[U_,[jzP*IE ssyVf7penvRv3aZ.U/QD7 E3֚+ tV9d ^?8" k<+tk7mBE5@E瑅3>y>Cq#I'+v[PvNRycNJҫ]v!/*Q0{9AwsEEC0˰&q$V5wN1ksESb\oy]Yn/ga6i$|\}f^6ݧk}L"Lϐl d~FUO1&2σG`|Uֻ64plF g`D8 @p W)~153[Nv9BE+pz1kc\6k5Y#n)bܘErȒ֤3B]L25 }%Iw;4P9_y3[ỚX V! lWm1nt,SA.&caz +~'K̓âTn>%v\'Qttv^}Nn;_1Kg곖orOJcod,~$$MS2͝]oHѫ驍>Rqjр{( "ɿ2p.@NP/?2lY^=N579cC8m-t9_R*K}3fK9\ %MA A#SY* =2Y6TES;;VOAvaU(=7B;[./[ Gg0̬pPf?#So Gޤp[-LKĶ}XϫwROjGzyvP%ٸ{|".iry{8mm{innk~O1 x#c&"dUcF9dFf9=C)z/~pWĂ*KSDFеTfi+Zv }jej\zvCPJzͺH.Hif׆ [$EN_q6z(Jgo%;N߭{<(yVs-YWn #- -=&ɴ23ZNEQO1&pʪZ B}}+d\ NA; =([ ._=3+ QL r*6X Ysx?븷*ZNn"D6P)s$f[KRgAquPB* `-)1Å0@3er+*;-h*<څ+ޖvf38fr97SlV:BwĂ^&dM$1?VR* tfʭ"@Ӵ&77m%ZeOn>4\*QM͎ib0 Os!F`52˅ngq#R_X ?̼ݟI&ׇ/ p0&<ȟcG̞ t>WݟoJUcR`5}4_%S;a =ya>_%bM$tY Y5JNH 4ow1BO(^mZ`5D-3O^}Dk/f%ulPJkMd|T)7w Zcy־[9eqQHjbPPW_i]50U RȆ'+Cu-bt(.B%[ vⲦZ,"\iqI g8{~r߸;? OKs'=Q# lLUޭZ=+rq W>h&S|f[pC2spyؘn=ļ?hMsPD̯+աh2*袷} *N,x(g#H,#* "~i C.^yQNd$w*dO(T6"sc@̃e>&f묀I(=@3>ϕr?.D/eW%r`}ض'i$x8*5"TS#.pe+x;j5z:IPT{_*9Pt` )p 1dU}tP.AGpj~Z0]_e;~y]vMj]ڔz9e`VnEW`lo;d~^b7( Tb{]DNpe5b1e'Bys~Lyٞamg(ٟ %PdH 5§:WS87[zbOmX#stOKRf9i +RI293ܔ'Ke\rGrxc~tƴ=Sךf6^)/9e/1}_/5}Q\a5 I|hOo+† ObқsiG^ ‰UVeЏ3;8@ٽã/d8t3x9εQHgYZ3df5e7e08d485b03897dc569f7258309a17e4872ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf c573c00962a579529f16327612e10f41a050a870