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 L,l ]% HOL-ex:threads=4elapsed=374.426cpu=1317.924gc=40.080factor=3.527zXZִF! M]ŗXf1-q恉<Td.ͭJǎFƱw[sܦ,asWR?fiC8=)z0,q'x( */f ᝉ*y2U'QF/ % ǑN[_C~$hW%(~j !\+/Np 7xDp;C04~ kZ:R *;|)qY8B.Ăbv=:~^)Ejo{|!+pD(2kFد\!l##v|hJ0s/Mu mzrS3i   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.MLCJZ7=8}H+ǐDw^މQI?egK 1r#gkAe@HMWg>uTprc3ľ 03{N*GTDȄ -Y (Jd2p|Agj5dйNj47-rJԩbBgy1lB8ʂVZ,0Cy۬`Z!\,S"+HWuI2ay9 ^_d?@??s[_8]7LFMsk\$4SQ=f5ׂ Q6gf5⦮?6^:ze0ޤ\8uVe&m}gЕ} y.QӔ j,MG8*G&5tW5>V>;ϣ_HqvI&(&87Ě]ۘH&ACiEuÕҊTed*V]Cc xlgN6Z]#gPky$O1^ o31mxꑪ[%c9D%T8)}?09'Bb6 hYpL *wb3f=^6pt ]\_Njx5*&e0F MB^oًq88қʰ6=""1,)\ 2MZzgF;Yz|o 'ĊW\<_72OLom j 7[wAY*ovcu_ ZO4a”gpK.G1ՃiM R3/ =x<Zed_C4~ߧS6B~WsĶ`I^;DgzoG68ޚ|nU1,`]ADa3 ppLUvH-; >z5|a&*SZoP\!\2dv(PO6QpAYR6Of=?9f|{G0_׶,&7SLH*zK*z{jmYdK.=,K釳]<_\Rch@AE/t&P_iIxE UKtt+IkovmWK5Ut0qhoCg*Xc`*kդ18tV3بO, 4 )<{tT9/)xyUdW#[tb2L u9epg:CKDWAܭ2~\x&A<ѣ|/w6sshH-)Ƚ=PP=F)-(yF1o>pylv` S$D\)o+(ltz9u e'+ZGk. c4NqIeyn{u˕0h /b&rjt1T/klO6{G Þ qXT ) > Z?>3gL "XGdz||*tI+:mAS?]>2藶GȯY<ǀ UnA_KAHzVBW1* 9Kǝm\*(됉}4͗ nr 苌sC-7/Gf84>5Lȅ[\jr^"j!'6&y瓨]M/nL[*RA-<W{dA^m-3Knz(Np2UFK Gb~K] "MᣟHs9M:Z9#MRU)-m J[@Y W$6oЮ#f_1% 9Eb&j O$a.P8#N/QqwJnUJͧAnᕛaX n L}F.OE'K-_eRK1j߅FyMU`j>;JڲUڥ梹pFG[.7UmbLrryZ\ ome[4*Z~ª>>`U6@|Y2H&<(9G{1Ll:Mӿ`ރyI2e~ibIіw*(ޣmTQҌp[0|qtIo*6>t?MDv#-ȟͩ]>ҥ}݊8 kK6Z:FZzbgGՍ'_jg5l8ъ8Qst_7mNv o]Qt<~4LMKsl3oؒ٘N$LyyS :D'/bZ2Ъ&mj_x#t 'mw3AlUS8ib.I2d/b0;- 5={pq w8pސh oхꌂ(J|  ;C&TȻe.N<$c?.OAo zʟ&5 X(*BorzoO!JaBx^*vk/`NaU V㰏tmu.6Әv44b1{br1eU4ꗊ̉lN(PS̍,UMvqǢr72q6:a),b!'$33DѨQ v7hPz aiv}D~c0bC$%j0(V.1}:+y}6lx7X܅͒8Ņ?Wԇ9XX(^.1M+r|3 Xs*Pݨ ss]H`u!۴X{;/1?Eˠ$s9 \2U.YmIx>nRŒϵ FD6,!s FHw1ܠȆ%xAI]sDA+Le鲃 -qp;۬; TĤ 19u-bږHqK\:虨7 "yOoֽs߄%t_a<'n<_HYG@n*H@ӯ9C@7+n:<n9oJʏf; a~,(m6r{~%[ļYU*aVtHqa(E.#㳄-S~IKn%*&w>U30Jo- IpW3yIK.)S3Ko0kw 2 )ݳF'qxܱ%۝gH`QdgK)8``I@h~Z je٥xZdxt[_m/Z{ zO3(vWFWr[aC\]YFwDҬwĺ[*P8 ĸj@&EݷK,4]a).0A7Yfo R-&wJ9e(!&afy*XJ6.[nq ApCS5hZ 0@ M RA{L :">OM3 c}Ex}NBNn^):o1NSrۃJq}bZ04;P.s`xm|r mZ{n[du.tFMWp?ЊnK{[\? 3yĜf/d`vA* i:t j͒,urgFvv9Q|r { 3}ɡdZ3zhx\Vߑ!= 5|qI'<1 ZvRZ'!bk8΁[灒cv\+sDDߞflAIN6$j2j3&qoE%b^ +=[i_ZӺ+=ʑ9HOSHcZ_Ӑd8FQD}E؋3A=NY7C=f0 8ۈ8e Ƭ(ԋ.{z2[#Z RHp(Iŗ$/VZTq^+I@ ^WNӪ*12~ ]"au9.]B\SPD]kj D1ǴJi%L}p{4x< zb2e7ќN FNS?eb=2<N6E;u3)iN530v掠~?&4$ړ"精֣6d̵bAç9?1ߋHi͖ ~-ګ)R## YŀL8ۜUHo+ TMUχ{I:b  V*NPN"t9*A\yPaXPF l-½7)-clǟTc"d?^,ZF:x S}ɋ%kڨ 2nyNƭL9=NOρUZhZv/ q)FL]&֡x Hd=VZP,F8F.bj+CGX )c-.K}hPWW;9lKe%]4kGo(JZ^ GD1-"PMeBMt>%d;9BرX4fKzN7>M c‰1gJԤMgtӎpLO;^zfqYK$XKpdq.ےEu_1ӟ=rjr*?֞Wk&%'i'zJ|aweeOņ*D4 .AP1gtU^;# u:z)aє&H#Ffs0>b AC^a^`̧:jzH⻑zN([ yh5/LǛ}"v%%J{̃V^K<^4EyGChGQc3]6 r`4_uKdNjYnƸ'ġ9x@䈈ݏ |B@?hL"vn)҄/0SpP %3p[StZQxͿhXG3kdcO^^tGTT1dD[l?6' p#cm!?| Avw5T 2B_,sۚ`2] $7QUaZ{ܓǢb kRٵ/ o]|Cԣ"iQ &>jN7Ԝ؁.[߈ri~2S.XѶKIG GɏUd0pՄM =bT7HlѧV1~3Z2ٓriU?BO$ZTPkb'(?Ǎ ָGń #1]Ajo!о .ƌgf%#oe0o߯ jc>Fa~ 4gYZ7zXZִF! 0pz]ŗXi%Br WMMѕGywiW| ף;daZEP$uq_BHuB8a /la#50aN5,wGȫ1)>L$vY$Q brG.+q\hX963>'͜ e[E<[G:><@鎳Q0}o,K2E )MWA=PJ.UL,qȯũk@''I0%ѓY2]ҶAd ݞ.m ;;jDWK#5'Cߛ8J@?czӭHʵf?7IZ'[ hP9"" Glfx iĵ\Jug}1€u_3} g8ܧh}ښlYY!vtZی'$♯(6Is-:[@Q,w>__pҌVJLY#l&8%^}EEұЉ/(;Ӧ kګcCZ 8aBՑVe| Q|Չv-E>D[K)8sbҰ!\nAsjq]0HO24;;n[F8:u%L45Tn,Ljᚄ: >$ss5l>'Ԑ=ٵ!J}uE'6/`_nerNf= Gƿ4/Y`#ERrR4(aBpb/qų oAioN = ȴwtÇKtgԴhzuGbN;VˤY][*^j r3>xF/ySS[L$P豈;]ٻC*4Tj%ܰQ%!"T43Y/\_e-Hۍ4Bt+VwkgVHG1 ,8ם w7K}O[0J[ο]H46z y^&5J]/aQh?4,1U;eؚ6P7Q*Vb1ګø}H &1Ķg_(^NA峳;Ŧ.(: J*yh9<:Sh|5'}r/{ 5{)Uše$[ruyn'!x#o^|\OHL2T A0"}{lH^F֐ϝn-e9YЂ{mGfhw,xPG,hF&6O5yaﺁ} )D9Iy4O,pz>xk38%ZXB1Vj(ԯvͰ.|Juzn$؝4wΪj!O+E{I?xltS04ĂK[g5fv8$C qg@Qbf:9x)ZJGw((}fD<.#;_د!ޣƲe@5P6>vRaύ]nX찬(j_1q8vqhk_TJXPWK@A8% "Vi^D 璷_7RSZ 1x!31I&}N`gD ipt^lMoi<]"խ;[_gM'Z14QK_<@^fxYzGЁ8+<o7uR nugRݠ BRIa'BL:Uƀ}?s VΚ/&1;FMJ[f/MMzT V6vЫΑ29n_ېD@2#Pju,0{e^d#M} O+`8)/sS?"4/.[^"x0} W ĥ;{).5>UO)?lATO4mXRN^xNNԘ , Űo U!Ћ"}435 :SwF14Ne(`E% d8VՆ`ѳF7Ҫ}/ %*MtʴD-H%NUnY*Hfo(XADay;nh#z Ӈ6aQ-1{̇|8v7"TnMoR`wYqf ϔbibo, ^ #M#gɂ7#c+McSnI?u<|155q}2S3}~Ny~iG[~ غU&[4)ܡ.8E`4;'Ş%L#4kOd-UuzkF6b3GG&G,%4vc'ņkܠv$]'pp<)a)d3kG4!OV +@ 3&pW}ҁ6ɨ`eLp E d0o\t-(J@zi:j]v}^gMq/'KB;~lP٧y?+})E9lS2v`ƹ=09q$JRJm3%ПHiO6 rgE{HܽSFn~0s6~&AW^ᡶU#֙.޾ψ2)'z)ҌT[Iz) 19Üe /XcfbB;Pm PsZD&qJf$1hwY ל e; q5k".#hp ftl(<[j2s.W筄2,M>r/R -E7Ο2aLh:znYqVxmvcؿdxT7b3g9=788!hz PFG%-^ z"lDS5tJ&Mb1!DžIs+ޙ<ް)i ^hNBƛ_P:2.pف_HcRp |nh$Pbg%\ꃉ"` og-m~5XKۍK?AGF!tp#LƐ՚&'|܄3v.XOm4GݗpZoj__#IIɰTdm) 0=UVOzflօ~ثQ}>fDlZZv{P_׀'&VnP-i{(Ob) ;L?*uOW40 LE 5nZvf%4uN c0Zn,3JKkbs} gȳh#Sv' #3C`rym<|wN)zRP%]oI[4bǫS߄XVaE[è<{2ii!X wIs׭^#=MsCXHB0Im<Ӕ>o?}l~L*YG$S?Wo֙@u,Rs]Q5)1|i-)>D6#q}}nMtTaO&PYv}o"I|F| &XRo y8i]f/D)L@~>tNC?W=m^t%vh(raA ÆtlPx쑤޾.pcsjP^pJkWYn9Nl&hc?GeI+I6> T5 o*H|{ /~ėV#TVKD\EY?$tfkTr28N`k?'[vdTM ) EtAd(Т{ˏvZ{=0trƈ@Д4_;v WW1oQjYI߄Aj=}U/ٲ}bQI`#}B?)qI!00?;TeU}jdy=CW-r]oLݝpmZBXR>_kZG7t4F\ dE~m3Íu-F(ee'nL-ۺ\UVqxKL  Em)>w&=ҒrF v`Nm§"Ѿ0{ p1YuKPҌ=yrnFDQł7;H ˡutV'|jLtYFl m/>syăo#i^RAh?i*k׺_H,ډe1/Gڤ>]h6;nJ,; ,XZB&`0!{R8OSCZOq3sp J ԍڂdBcꝈ 枷Qh創Mk|eh fz_ze0j:4PϪ\SN Kylj xDCu EhUUkQkCiLoB)?Q#@ynKYOo'-x.B,z9m_7ܺezܝhGLK(LRvX84&{,Gx[φDcu\SYⰚ"5x w_+G;|+?5,aUgZ2x\c2Y|PiON"r3nqk7W~:uy>D#rHR+1孎>*;azrߣ VMb6FȨ<N}i; ն,ᷪ}FEq^20g\fKj-5MdmNvܳmM~|f|߷2 aIg%$p"NGOlOJH:즱k $\ &;H"1_>̼-4ޠkK>E:q?Ǜq?Kfx83ɺn&Ͼr2e-?][QHO?0e>H׼8r^8)2;ƀcyg+OV[ҵc[;ΟF"up\ٸV?x+SEHL@vG!F"O67`\A!W01 K[J5Sن{ݗ9,qS8C(b+hqJh7Z) U s3c[l3/R~:{½(jctBֳ,B _r#.r2O@f_Gg5YrK[y#3jP[Qz=ZszNTT+\+`WN^ED~:|>MbxO,f~0 ftoA6h `. 966%Y[ Ҋ}sH윺Zidq#n%'|䯔BR([yQ@5I 닔`T%G+v6<Ѭ-7'V[\:w/ 23y9:ihoI[-qIEl\ȝU-e jUi @oxyfH^g6aV+ͺgrǠNq*hAƹaufVO)BΰҾAU08ȹ~5DY|Ʒo M&zY_"PWp'N:|`eF0՛r[)uq=:3~ios,r}AWxj.XA^kRIV6;/g{Uar.|OdhH01_<SC;)P n43L O* 60Q~a: dQkan0Z$/dzy>!(V͘eRڊn p2袤`͏7'u`@dCq|h[ }N& w&~;0UH(ݎԹ)Àn/ 3"aQ#R!eoRZ2k>Mne"'t>z7 ER>` \$dWDrUGm$iaL~ J>; Žz*%%6ST94PXm}gVp1ܑ46}F,yhоKxdK069p$ѦR>~аcO7ӏ>~#oc'G#^tEr?4*CF͡w/&h܊1Dm|յ06}2av7$=[~4M;8!ɷ`mz)MWREfgDp b$kf#s"ϐ1h1atϻ؝wU؆ ?J bB).\S?V9u bbd*bבF00d푵3BTT4./̌ϤS-\ j"8%U3'&1;ڠGk{mpT7{e+>U/8VfrH+V7/)cG _U ͎ =JLj`40 0+Ӝ(,%Y:L覞eH1>AFYީJx o  MLrf |Qvce] 2 5gz:V5}'_gp7O| qc#![(*6` 3Dnl+=w`h/=hM9y!g!b&]Xp!^ [=]+z"Y=FqQC8%9z(nhSD'G"&ҹGpl 5'y| UO.̱+S#fgAfq/o<[wb_rnkϓsaCw9gCбsmӭz̅@!3<[BP  B]; pri-ˮ11i2$ =^?,HDm0B[鋈~9# Z0ΰ,;B)(|O! *\eC\OP9II^%vc{x]Qg5Q}~1yˆJx( w6!#%kghD0xdy$ʚk,Sk$A}ug@\o :8ʸVڲY35AJ':qQ'Ze|xO8rr 8\[U|Dv7!nݿ#-T[lF<ẙ,ug\ٍnFjgf<5^ R%qM5&1sdiƷJVⰮB񀖾xM0zP?銣>Np=LHuk+ a1Hc;c{&?8(m¯yM\>ݎ zԲ}[5$+@9Ɗm:Zx62WZ&teлaXy3854 6Y X~!Mt[!ʸpKohuhľǽ(I"]6abȮ iWrnP Yіuv(׸ ix oQTІqC, m *taӊx1<} YB'Qêui%zS+T'z:oVYy%j{ fgJȄ4V1Oy (OQ* +vG)*Q"kQonٽI7ySV}Ff}:Ga!J?HM՜d|u ي#J-f,D3jW߈ƏH@?_]|joFcP))wϞdjLy.nR/ES~Th@nH[NOo[N5xaXh5z?Ex,v/贪BLFŠvp1U唥Ϋ׹rsiadfeFIX9YNc ^5xmeϱ`ŝҲ]]wxgPg@baZ‡FPOicO}0 $_ó8a!(w4P 5#Vf\2 `~,nη0gtkno>:d7$7Hhl}=ox oRb{p}61n%ظ!w] ժO{#xHRD2Ǟ-uĶke]4nx"!WXszy\URnXfp54!N;)FDuuJ)T-5+++cE\%5mc 3\F3}fJm,g;̊vlH?^lxrQ69 G6GT;IY^k YE.{O{(mb-4R#+?uRu4?e183}+enprC t#Sq̴JPg1PvlV~Vd$>Vw܈a|R<[8齉m7DsXyD$@s:P-?c%]N'ܩxBP,lB̍ؕ‘ƚb{;% sC1&7 6ĝ*4AfI=E+3/[&*t n CUV(݊j: ?Q)Nq ܇bW4cL@T}vx;<胳+I19Mlw/S2@TܑÞW-T}EcCWw fJ9%kwqyPge b:pr8[5ohEsoϾ럖i-eA5|=븣@h,Z?LD5~})GP3l,JShoi>0M<@zL^uoԒ#ׅ".Ydog DOlBlYGW9fYagcwtСe-HwμJ,r$>)R:PnMy#Hp\mKi2~x#C)R=َN`J=2|h)ujy0$"8<g~PբSY ?0,%EԱVooK#u.@S[EI$^Ln&D.eSlEJq*"On/03jZsX;aaZ(TnF>3|8WoUwNukxHo#uRi%ߌ#ܴ,&zD[P'3 [} #c Hd%\RqxǤL<6?-r2ɞN6(d # Ŭ$Bw:zsCO0 ۅ"!m$Sg&=gi RL>{ |X?''p0o׋ЧkbUe9]`Hr$ ˃3SM]ҝA9YFTa t4<A[QWc:6{Ʌ ]긌ɡ^CRnHD6PdJ-."{ +<23qx']~lPV;'fwu}5 "(U ;)El;Ö]2sl~ fJ%7A'bCi'E>|IFQ!oYF#σo~'q`rЈ 6B:2Oi ܚn&{+_"Վ?s8{?D:'ev~}vmնci]A,PVѪ_ӄdށ*BFyюmg>"sIn,#Eh@dzԮЈy/uB64YKpɧFrMd9PCSJ+dߍп[]r1R 3[gń '/5tVcWy;l:GNf.2hYdz7k;l~4fj Gvಜ;sh2.7/ͿxsǞ&Z7FB5J`q/=G~MR.:l iv/*eNXz_T =o"$QzCjૃ3$2Gc钷 -):- dQ%ׂΕP +9 4 SS=/ V ǮSJRJ])K ;^Z:.GyLxM?8ݿ-a[2!@&YҜrS lIB9rHVGzFA_SZr[q|67ZΩ5#Rlml+1(:5UsOR&(?Rmq m&aRLq" u-ǾsF -̒>aN[x ˭Y.K*Y^ǦMPtaD'{Y/>4G&_ 0/F7XU ] q+CDG(86q9 @#B" $X_FsvZNvF#1"3]g)p)0ln]j6TeL rz̖  >! Ќ~0Ä́itN[u ñJ1sנwhRrĪa}xx;}.4kp#XYaGJ /esZWb.xO`E:`/G1'xn,t {e8Д7q56cBnٴ!֩ek}XpQ;m[n·Dn)1__ݛM#ÖH"m4V%α2Ivlt dVЏ呮[J'Vm S';?=ʎYLE}.gnrE IR`(Kv>'>+C6US̵, 6)w (Si1Ag.ʝ+f*G:)DbfwAzVbӒDYm^Yj.*Lb(&P#ҀO4p#T?!J6;^XT_!+%pG[}Us,fBVQ0I:w7D%ȣ\M׸2O۷y57ᣌ3} $%:ʴrI@BZZ;Ocv]0J ob/aIWew7h42xbTklyd1MH5Azdo ]5z~nxKV=UՕ2F7HiNIzS%{,Kv݅Y|}O.;ñǮ Pgp;Cy( ti;_RY/ 1'eѼ'.D:" \/zG\>!C{@4 V<(_*]WQxw7#K0(Y]-21OݨMnr[N5'Tt XHjܰJ,èCXE\2*"!TAX mXYՎeGfƳXkTtB>V/?1>OnlAREG4B7ésA*Gk δ*(ќzv q…v 411 4dOG;,l &WIݱ4"R'/.c:gr:TJD ^wiYB.6B;oP?=AɎQпM+ӳw9_g`p@-s:!H[0KuVk\:ql.񇦮if=Hڍ $J74:ލ[$GDFݠ 3zh }*ayIUaThlr؃FKθV*lxm3BĢYC1G(FK$P+WNIbQO[~~:bͨF3*5XQ-dlȓ#*po#mqK~?Pj=S$2B`{/Þpz2lk 7_R6A~Edɀ&⧋7V&t?)k5=N(GϊI7|}Ql3F_$2*7L$]u g3=QI+꺴A6kA@%a_Ϛ+''_]<#7J}5C֚!2 @-j cݜLsf G A.fpHBeolDp<"- T1])£dDz+8TZقPE"LWnh3n]G^d)v_v,[ '^0H&(%Nߋ1-w45ztE 1T8AݩΈ>%C׷TfsB兖th\XdՖh1{GM"ču3652Z,7Bl9ƃeho?(Z8~I${D\]B|л;&@N.-c3 -j@U!rm$ ºWaY Š CSХ6"AmYy6d?1<(ܘR6]Ynd1={(g~̉k_^>#~Ȋ V9+7͇?̡R~A_Jku.Hzlb:WERu@fBE\]Wў75e #彧9f4?{u:JHigu刞:GI{NoU4GSu+ -J&W<Q?~JEsjSg_߳uwYPaҬ8xr'-?XpSۙx:&U)Wdk)&Ms ;Zt3"g %X72 GʨT"`>?OjUUxkO_/KɌ5K\`i"%;6&k,T]Rg?R,)N ;qOY@J~ip8Mfج_h@%ȟ@tz пn7 _b{p"*^14rL=lks. R j)`5.#r/UX|Hq$.\)ӪDNkN缑B/^).ocZvRCN=3賔:KއoRҭv6r$,Nا{^ Y͒/b.6 X߯µ1Ÿl ׽ek"7?EgNC튏4IC:Bo/lαt*Bhɒn@;1=%N<A7{Bڤ;{ ĿBZY1v;c%<Y-5}3X-mRdn++zʥ[tɣB VZ<, lct\1 #E2& lm?er:lM!rS^͛ g&2CV"\U؈\ܝXӘѩ yeLwn)"RmZt* C.k/ WhhJ~uw7Չ`JhV3h,I̬t#rK"7I9Q.h/ xK,n_E@JN ״S/'[ "3N 'OE}/F%#i aҿRR8R|#xbL"S.$+=z YT{?BC3/ 3׮Ćў +_B|V=Ce}zى<PzXAhLޏBMסb [' jG6,xIizgSt4yV3녶@r-CacyTѐ>$\K}-+n:N'k[y08GRg6ӌfSB<\Y+ß06\hL3&!Cr:pN2+Wc4%ױ?CLٳ7vk.D&)9rd -R ܱ{4D_/ l6QOh闐_ooBdy/rg$kkx4<9 c7Auljm$~!?m+T%Jy[I/,>dkY kիI`wq!>S/bO8jrJ^<%7*$O~3z>02SV'6 ;^IhG?(]PGTc!Bur: ⫏l+$:[u\OgAe3 XRYΚtD\&L07Փ6VuxiF8ES6&zT;=X8H VH BLm4&|]|J}*b`L0ˑ]t};+ޟw?QO3͊Tpԍ(yGOO"իQgG@ 8@e'5B;. @z4x*᧳d) ˈ[.3\mHHȥ{"Hd쩄Y{%Y'"DL?S%·ˈdE#]HXz33僸|Hp!P%. EmEz#q)(%̀Yr ~~+Zm刱2ۂx̱Hً9Xg쑔*NL0ef `5)[ V B& }qH`6 m:- m=5 U\G6T'PµI6vFaE~K^c ‡Ix"Z6dn=i3ԅ'w 2K?"uy"SM'o[f.瑑6т\_ʅ]KM_Un~;m'11c,lL9kґޱ8y4]kMyAϜm,LbEk-ZMqIO`r5S3*|TzM"7|g/٧ÅVx ೾.\?}۵)\9z~`&+R 5b5Ld%ٿ8,js~_!`?G$ SxKt_jF q g.~Lb? Lu_"/D8`-'6MONSK RWv M~泶!E \mL&l|F˝S@Rg-1frV;3 /A?%ol1gM0=ɀ3(-Ǔ[X1hS4f NB>[ZU|x:d_dcd94s|1'K|{^'CdZX${4^(D檃Os,i8~`+87R-Jzċՙebj`G8bn^U<;bu 6D?{0ÂQ1 ?<|ؒ2]6'g(؆QsϨ4؉6ZIs}Ia|Gx 88T9ߟEZk-E]6PyR> fi1>]v#WS[>Vͺ/:$qn7F jtը D4{1NqZmGW݃w&v+˩mUAh78QC^8U;roS+VfHןTF Jm} PG6wk0YPU݈O:q]\\n>}oRlfD$;TaYK,hǬšeXTX6\֖PH|̪RsF:p}OI7!k9+.S.2[[w?71_ZK6֣>ϡc]L7마]^a,g9t'6'IxGW'b~ bSg<) 㯜W>VzGF5?Iռa.W?oRdg9ۅ\ųpy vpKMT~=m3g,tWW-ޝIͅ5>1,iՔDD-zȮr_o1FD F".Ȧti齍W\cFKv#]r>}O}5f뢑P W k %/Vf?jQj ,D4M-B`WRq͜Su C}'N7h)ʄ1R/(9T๓FR֛FkBE]30HªJLFb??b? Rü,D[d/FhAF6IHc@0iWyYvTQ{/~Wwv;HQob(pv 2+J1/ Jq&9ZZ  /M*g>"ǥ.Щ' xŞ S8#16-%+xͽ!{,g`у0=Ɏ5d?RaX29CBR[bQ;<] Fj7͉D9tWYkA|]Ҙ`gܨK<&VZDcOlW8e:5G\!LZC[Sx*wqȆШZ |.O"gc"@.͆2I,C7xG.8ĐUzS7j1 kux>rUBY3G9J 5J(V<7z%Q젔fyHeR Ɠj߇LpYG6Uݬ~ UgZ.*'ZX~yd`l(e7GASdA̷r(#iC~=v]9π0}](L7{y$=RM5J oƷɲÚ6ShE".q,k@6cM|"6X:m򫮓hd1`I4~\V7̡(=IMk:&(?#7-NA9~t80ҭKbk ^%\ܬHn" N|enBoՑ <?ąS#!?mt(+dvXv_H P@ 0Y,9t4Ry?CQ=2t#dZ![)d9 Kx7EQVV/Q) IkON|64Ḻך}&v{+ۤ;/l1Hs3p?tͣ`woGȪ6ڰ-5,h5\)1B~J(91ocLΙ[ѯ()e?.&Tv|vX?=KbʼۖS.aIJa+Q*eZogSq{kQ)S`ѓBmH`-ͦ\9$9U8~xjtpUs[P8W=SI Rj^]2>{TPHvN]m)р& *EMWc 2^ iL ~pg8;L`/,xCH7>XkbVs\UxF/n{9U A ȓ |&eUE} daiC-,%S1b8PcfF[FHU_Upn=UV 8jԘvৠNSH>{5HV E [pr+Q:/}qK (hGL o":&(bv3\6⨋j"3m0OzQ՝+u5M:)N,)hM|O䦋jpW\FQdRʠ kbKB z܂; *-|̈́)[ ?8`@[5u{J۹1@@"ͩr{.y0;PU% ^/SD UxpOI+ /hh5GvqWfV12u4ʓtK*[&Z qoM}ǁ\SI֨d+~,// iPhL`49,桥.VY\OCotq8Յ M= kYU,A`ć¥sA4J Zd06p!,mP2p )ޡ" .ND]@Ѵ-LZB12f ;܋cr۴F'UU"879< SR_#[JdPt#'!Sķ}ɊISă!LY}i4?:_}NT)o*[kbF[s1tɗx5Y$/\$eu's~y?GȇEcꎠ3UXB#F/> TgRafJS`sv%Vg ^:ۄLq]"u xn[Sgh^>a3b[.5%c{uC2eYu̩gN8l _7 r؄%r^ r|gA{Bŏtz@*C_ϖ=Xهd~o9P'D0djD@cbD ]v7b5N؄r/:lW߷,=! @܂ڞP!Q Ŋz8Ok ,vZk dƉĒ1܆vu?!]: ڵ0ݍ+әmKԢSy " 9b@&T>QCL`IN, FZ>K\Ef)K;~5~K7$&tUlxnwt7O4(&O=ExMJ?f6ȶ*aXBhV/ ,CH7[v44,1Ъs[f*ӿE'iK6|pST"L|JMOXPCCrzNW\Dڈ t~$}(ϻ/EH_v19(0Q% w=Vӏib!SWŻ6P%;</߃abG#y%NTPυ煕7xUcd1R$3?1 B ѽ՚2(nexr gNЅ gYZ638ae23edd84ce6708f2f873af4390abbac044b6ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b b5eec2d1f31757fd4f5ed01fead2933471ae1539