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 4$Tt ]% HOL-ex:threads=4elapsed=445.796cpu=1606.304gc=68.988factor=3.607zXZִF! ?K]ŗXf1-q恉<]d %S TzA=0 e"OcFĂ f=,_!1S vV#F0"4^ ^oBeHa02P&]c(ܟKm<mccXS%x]xL+(1ԔxL5*!^< zזR=hh_•`(eG80oY 8H+\$җ¥xF&vMw%Q)ճt<JTn}'lkӦ--5XR?ė -#71 ]0TPD]6TVn$~A3r9JRQ0E4-ڧe:L_sw!AFoCoJa/l?*|":Zl<%hI܉!ݯL k:m=n۔RČ4F9c wK9S4u?K|}&{oӃ&F#CpUt"'s&S|׉ 31Yia,:Զ :R)uNCN~f@ۘj x5RM0̂hȕ)wJ2.>_acC#j'䀦 |?ERc@v 8ı̂ʬfwA`p;YV;ÎFlsZ'RHs9[\$ػt;K'QJ܂ `9|]n(_6_sյ;N7`T Dš٬DA(Se!RG4Hrh9UF6ZǓ͒-Վ զA?~h;['>|}"~>#&k+NܔD5-Otv& Ր9[JEH9+.PMEpʐc e6d"uz_)ۅ_`kC̽t*ڞY#P0l5 Z@SV[-3;#q&3(p~Iq]^Mڃdq@,#6prc:lҼ:<mm1שj@q8QYwwC~`/@3nܬ +u ѲHkVH _jk=qEt!+Z`Hg.jJ4͓2 頒Sη>f(PҧT<"uڠdygˏg%32=m\vΐR9Yq]GVpIIGiWaWJoFFDz㠢-H,k=*5ornqxT,;"2p PF: {EIAl CBL#)B#Iu.+wF8:Ŝ9|wmh͢PL"YhoʾIpzA |kjfD_U( ^Jީ:G` )7 m%?RW-uرxXXW)mg5!CgOZΠ Na>n*./ 5M ~ & !p,)|)]nX,fhVT- ?K˳U1CN ò)@7+&f>ZcCyj~ Y*qP1ku,SD93K)-yKQ(4ėO,D   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.ML9.^XvMֵ51 x1Ę4Q7J%v~e3˶IZn/ ג)$MM!%"[.X U=+Wί-+H͙¨:߅Va/`sg. V9Z30!sx1|[o; Ԟ,εˁB2f׈XRDC e}R(K|U1T$܀0^b^WZJg|O;4uff43RF;i~ s4H$W)dZhRK bФaMƌb47$i{KƲ` v"12++FB_<-LQ %S_{>6Dqr=U.q[Ϯbe~d͞"/u^U1Y0='i0;퇂iAӏAԉy=v!L-K 0 7ä9+4%ΤS݄.$*vP)s_Qգ(S^YnjY6g&=«ɍKhqoBf|91bNDHS;k2`Q+g~ln\P@5V5 ByU6%q[Mb8ptu~$(#ZE,H bIX-[oշwX"_ W=pIw/\<9~ O)g"k&3j+Y_T^iDfcB$,u &d~b^ lʗCn m~܃i Ch:kq0h\rqZOʁ(coj6B1 c'}:iO1Vr̢9jWJ+}@G9Oهu1Ic<4 َǁ5ј-vkV>a,s$17P/^92dv!{>%X_r9xp)ʴ7jy#!pE@Wqu֠ Bγ-54^CGcm P-־rL xFԵm,Հ Icb5EURdt|Kqaݨ~.u)f)+] DfB75 VVl)8dvSo{Y!TM=oM|H,b];4dYpZ{i_ɨu VR}jU.Og0m\aelM ijfW.ECoաe_ Q Vl5 zEߘlj/^^c,("嫝 c.159gZ  1Aزl%aL, 9$JdfۯY?(pEǖBk N;; /P$M@7@2፵' <*{@jZj%hoM oUbg9t2W15l@怱W m'j.% Y,He_0v_'D ^&` B\pe Iω3.T&qƚZq9?˱=j !GfiڎᆭV40C"y&J |líN"X`h McySfb/_,P|I tǛCԀKM>ڛt{@lR"Xp.udsf:EV{T,πhsM@Ox3]|d@Acw=̇Bq '.YMmژ?Yi`^cB삿"i1p{AWI=l|*h:GLtMJ'CTeZxvpId*C &<< qj =瀍Ixq5}P0연lyDQgb7JC{Z|x]%˽ >fȑO?{RS?sg~F47 )&'>]rAn־Ƣq2 b'K]S+4:D a_~ݍ["I6O P2+IScQ+?brTzN\3CR_0G+&"a}s&_0a+Y QfT.5!<brWMtUL[hU;)Va1XyNu_m$6%ԢY/)AlB8iˢ-׎5P5Q;_h1BI^{?8J%\Z_EgI+c~!NS|H\qLp.D5u|F%ԺjCkOKY>@Fg$1OĞMISK] p+sjzm^ZDMPHذ^c^.Deg1 D0KiKHL\x<0Þa!S2`3T4@;H?aVlQاZ2*;l<ґN(os!!e4{n;}}Cav8emŴ[ؠCг1{y+قd*f;6Q 4,ՋJ r;;fQ-HG;c)Fpb LKMVT@ľ1֥A3038%|LAY.fKe g}YHUPܽ~~e|=tG] 8G~'tA'FFgˀ)ͅ"nk\ySyMBq=k}Xj;_%i^\61caΖ^vx('?ﳔ)UNh|E @w.i>⁆ҹ%M@aW=ckV"¡"j,d!MF|rƏ- |jq~~ۺiFgDZX?Yjlu<K¸3X ˖+*S1Vj˦W8>>m^@Eɔ $ 4<`SAVX'^Kw$f}On0'*REG1x6#ytn@w 9Tz),IQD(خU bU:~N ~<`'LJGXRK4ɂdmHǡbE >"4߭-R%Ӝ-z\aF EO)WL61RےͻPSh866] gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afi o-SԽR1BҴ 1Ў=UCLFIvI7mCusrQ ^IVWf*0Sj\\% sY|>Ds=dDu[lb {$ݭmڍd5`;bqaxn-1ŗI_t89{I}9r-\@RVZ]lbE_\l08D6|W0 ]vo B4SMjױɒVj=4aC,k+FYHzBvpN}ONNLQ-GhiWiM'f̈́f5ax;&rO|꿕c]85v7J; 4&?ƍ3ݠp݁t17Mabi-Y-ܗ,E{$>1Ul uJz[3a&{WK-W.T gq2TZy ÂiG6{ʵ1n9>QmefOqi7Q*ϋ;pm~^5Ӄf*thϭ?ʏ Xu֘K KMt-gD۱N]~Gb&`KԲɌ ٴ]n]US jZ41^HץjqB_4TcR6|ҋÈU 3|rV> H `'AW Y#SPUlQ/ׇm, pCěO"3Ͳax*q 'y*XCc=f/{2(k7謆` :CFͿSn\U$"E-Y"TK~ξ 3h.z18ZF٣cFKy}gࡢ,Z>yv`\\P9r#ѱGVhzOm ,lJUhH;Ot1jw <4D^|]G1>|*W;JS3 \flv[S؇t0`! }:}Ϥ|2~$wb0}yK42bG{ó{r{J(u+ 5c)! vGpr]G~_QG$h}㘛'^(\4> X+OtcY*V=sXئqJ"ĀtE{0WI(-fS;dM S2UQaALJ]+kϤ 5/*fgYZ7zXZִF! w3]ŗXi%Gf pvm|p!&{bE(/>ڼȱ MΛUk0OPB#Od|1hS(Y%X]3 vp{qՒJv_7FS@ELԔ&VuVmf&x't@@ռ ̟Ev#_KM_]ް U4WA@P?HmXb/=-Rf6R;@b^̼d@,#h{=+Y _Xs24;|ΕEkhwSg(&<tifֲN_?^Gk:MŶEq-Gf}GW6vf (#gcވ ƣaD>db9Ynl'&d3AZPj*4Dk/7ރdW]=0[g_EƋ>=+Uh_Xӡ-:$E-d=ėLH"=6uY1zdeҿ!{mL KE>UjebMm;^n#QB+6%߷h&긆 zﰎ6'enb؍ 1Hʗ: nK<cJ /S@Jr˸(r? XOT52 =Ѩ3U 9xi}" mȋ;4 Q2p E7DID1-@d SI`@$뼀!@O.n1ct\d*өdZ mytR'7Nkպrݴ^Or9q`4[ ae`qvT=3 ^o ՚fOŤ70ؕGG+dDYֳ<~/(㗓0~d=Y@"3czs>mWaf1,.]j1D yC;SG_\wiF2i"RD1&%~ wH@֤Tߺ9ط`-)e9lye#QjD*\JEY$1P.-YDDC]YZ&$^+UGu6OXIGHEk"$xL4n=EErJ-sXM+$:G{**54ܿ7ؒ1ZeB2!Ǣa#T,&X{ˏdh'@.GI?wKX GL9莓"n^nCSxobH3"VYRm#xd ^ qjG}g@QQ6X0e D>ta%H5nw1}4iQT@w.PMYI{&ث-Ũ!8ROwj!qC0IZFr|,7h<7r{2=ra#$vq2 N/g<_ ]0&A\y3k!%40m)ɲ,6 Dp2CI_4p9$|w +.KH!bw<)M)P!IY7^)V!7dWbda4.ʍ Y !8~+q$cHp}ZKEw{4kq ̽)DJ)ѹΩ,X~uI%g)FGoeRߠspx難o$pY26Ť&'I{-r},Ec,(r ﺈ}ŖzI983 @۸Y=ƻ |'DIP$ *\ut$l77&4pEX3.dpqȈV:W&ubSiryw4Z$X$A5rKnn,/qw$EO;ݏ[^МyN3_ve$N(hI|<;KGqC5'\=3F[*,ӳ/A[6o9Q2ddpD'7&v2TH rSl(c?FsCn)Rcލ|I:%h{mpf`%ةR^j N8]̊#@C!L W/J1Atpc≭wy؜GsE1:sPZG~c?D+6,J/䷆%ʇ>%i־|v;UROӡ&odQl8W`I%5cn*\T@Wk aٔ6ú_fNVop0詇>W>ͼE?SKX2YkN2z6Laߵ&rD&X(H pPϬ8Ł,gF!\3xA3`un(mh֓Z֓4)L˜țdaX3@7^tX78T1f_t"OqqAb,(T:MpvIx!S[4D5T1&c6v\oV.ɝ go\(,!߇Z'3_mB%vaz{iGkj?t]}H* Xhz"@ĊYw#C0V0H9^ U/ C̨?5Q| [!12oyi2oz@Y^' _o'}1|z,t8? 8p$UfqY&: W(tzxoj쵷njဢP4$NajNiF"q8p?m0*{/EcoRF ^W_3D:/Ql֥%`BBtd79GPW3tGM󥰳iY{Y:/g ׉À8p:0n h- 3Z꥙6[]5Vw>CjJ{\噰k\{w >X{_kJ'?-M tzE>T }MlɆ/QFU⸹'zoO%@! EEGvuDvQ)TVy5]psh*@vL 8?%!ɱúX`c#A5f+cgȱ#T!$̂z͒#Odߓ0?\.T)U`uud3UpgGr~tz`SЧ׻^&Q ]5Xsy"d"h6qwI2u0:'ߩuicBV \Hg8|ms\B+5}cjNtzFjN76)6dN`diXy/ecLˉVT3/2 =FuB?vև2RǁI&2Bf3%Ǣht U^D CCq혽7R0ԔQ ( /`}-Wt%9 LMPV'&O4>4Eu^>ʦGF>e@i -[LM|άS8 PwUJ(oDbu ̔!Q r!K Zraz O] nܟnq:,zM.w~ul7H=l_](Nnnir6^::hosa;Ǚq=-۲Śj7c`K`oK7D>˵eΟcQ*)T{AM9}JΞU0vC`=njI30GdK3J^ЅCVmO*4BE-l1Kb ?ߋYG"C .a Lf %0̵>A* ~"S.Vu/. 1+gM<:K*pwNN+ h!ODjq: ؿuGdі!,g3.7tXOϮiDk^ kSn޿;>q>n'>-p]t`ܖ\Rxo4oM6U宭s/%kcY|0^Zf$gdKJ% XR#q@$: kC=fnX>@MIq(33YD|YL9yACD_ߖJ݊zD_8S6waV9 ۫$1o;B%7UR5Jmء"( 8:5b׊; f}J"Rf6:,"gvxz s%A ~qI()HRrɱSz<(sti*qCЛ у OmI)h{\M6|k:zMAܭG5cv_oyJ&|*t7ٻNGf^-q\"OM.;RZh^X5GK_@)T[/q:ڤ\eZtI(;# P/3KBLϨ: `[Vҋ8/ ƒUhh[%%ިFd"ZyҍMq*@ѼL+F tMl&2^D,Qf-g#wtؼYE-B߷e[6CYgA%\EM":nDZe{"FDeN>1Ogw"TV!qjȹyJNCx7pN>&PL=;|E@η2KrTM/< )sCrrt똮ɲ.IA' +l{,&16 WO[Jf7cvl(&U?YD$MLGD0a=nObqB#[[3VcmTiߞl|2b^;/U w| fPCYnH9bu{4] fuJNE ix1k=v1[s–ϮƟ߀@Q6[~ewfM6L6˼9 k+ qQ*|"Q(GO3ۥ.]6kh[MifJQAh_OL8QyѮ\YJNwgb]_a(=u.F<ܒ~%̫gwvGDٱѐYs4kjxGձ XPp'mGSqBmlGVk8Y%4o,XAm,=ZznMnrK:ok*pt9]֓)؉/3 \5+5v0{UoEeU~UoS024a8$wz@K Tg(\i#r]C8kqlRJp]^:Pۨ-)M>G^ZvBzo[lMX)tžbF/v T wZ!}&U ǐP Tн7}q|a"4tC!ː ͷ7[ODdӅe!g.F6LVo\׊3+ByF+Kj{~J l2!ԝg2L{grB6kΫ`$ZO{yOrK)zk tSgŋO2j@ՙ 39J'6 $|==4á_)TqTr!ozǕ#|}Kbȭ6pyTjR#I\)$HPkLHm6gMa)>EX{hl0h *)Zk#- ҐPn}p7Ta Yy tQ濂e*kEՀJe.J^& A>CYqFѴ9kx&@>:"oE' %3OʘGIiCZ{6q!l ϩiw?yX2A2זKOV6MIjv}h?42uwl^ط\AOE]j?t%-A|{VRKƕ|=L]Tam2P&$A"=e ; 8IN: AsdՁyjACK1UtD' CA~េ "}''߸Nΰ$o*BFz߱z܀SbXCЪIe6~fi0W"*z](0IEmBD"LD4qL_5p~* >wLo htyFW,x=WcM{ɲSI78)GʽsJE'$>*LVSU-׿BT;ᐥq hDPs}m?1aS1LdM2G:N\9{0᭲TsaCT!0A 7Ft? T^TS1 Q/#ټ,@zK!jM <S?(r7>grhF9{#FyE=&žڝhCn_<` ߩO tg D#47 EїwM#Fsls]oۡ*[xö5~IT몜q7+@ ^@ටjGxRN8„Jɯ>i$TʫG N S@cUKAos5rZw$& WC3PqiܩFV$ة=`Z0-gr w͗yRܞ ry_LukY:rHQvUTU:H*K~8M@UVnfWvd,>P x]ҥ5+u Q_TqYK(4C~tzSXo`r"OQg_}t6oxJRZp Rzb9!`zTɋv&èyw;+hq:[W+c(&KxZ&\8Z#+!&(:HV+\z@6h~Zwƈ#}(ziđtF-u~} jD eGI\e.NӖ0E mT"wbrl^C`ِ>-xtwX9J\;R=qyGySz@q$22 YA  cX5^U'9~.#GEf?.ErK.!i=׭:7AE-etc&$uOz7 pRh=[=ڦ/ƗZARy)JxQSlHҖ=z 86"%7_lFWB2jMir%tTde$5bv]`RE6f@] pJ=-aM0x͂pNgu\nQ0@ZQąiA:_-#8% &i< Ctnry `gk-ouc#AHF$w,og,Ss;,Tmr0z+┪uU/2,@H1t`*qln(r׋ c}o Ãv[/#/ɐ)qLMlxu84+  q*x}9[ԏT ĺᾩ7Ռ+{!I!.%aF *]N@9@ɕNƙH1L^X!˳Rٵt-EAgFﻹm%4վ&%߇о cPI*sI b[QǪl-0 LYx 1U-0 )oiIE຿kq2F-jQIpS߀ٵZ& (x1p!>&XQKNٺ;|=(۳ֵ!(Cá@tyCށi֙%Ӻ9=2w5aDwf hУ,d5TC̒eQGSҭ:hus/r[0$ 12tm Mw}V.Q(DPНH?s5W?1G؁kEasC*VXӨ0h *juB`YA6Q4e0+!vyzCZ|@BIQhvV~?9O bgS+A~;AUQY͓DAӆl驃1\^긽v|`O}&ԟ ώs\U8󬣯;&m LU@eq]U @7=*qi`h&Iь\㪫ۛjЏn}}Brzk9ʾ':ָm+BPkh+\%:_7T:x,yѝӯEλ̆⢬ZXC},i*m;9,1䝺PƕߌW)k)dvZn`'P6fðSUa!ϓCƈ'hգ+As]5 7w SA&:-% 9% ,w KL` ۳[ r9%f4}j0TkVͮyRQ\쟾{m13vW'N j4q ru4=3xW6x硟4@EQj&g2|=^!3Tk(`6~ d]B '*@)~̜ɜ;P@C+KfT*?EZSǪrωBo{KL@ߢ֊NSRdOYߡzk[tgh̸! \;q.lے A}_aN3ӬV3 "W1'`òjK?]6 &.# S_ҳQ3/DW%w8X5X>4m@V7}F3[< p^VDx"*d JBch Y^s=i[I wFCD2C*;wɮP U(826ِ5`ezLbٲsN3˿,l}4 $n~s H*C{mT`-$2j5~􅝌b$Tq 8cWJ(PĨ,ĥ`"{K 7r.sd ;gYSbVCX/hg!A$(tX>H l= 0-dF@펕_e3KAjBi7VY\uQ͐eG!G S lCyKyUٚOb#k%L}qS!J}Y* LNaN0 KŠ/AM[ $C "WLN dPlښYȓÑPjA?uhAVXY?gARq8jHf^6Cu","g$ aPq 6?;Ā ( KrT@9m2ҁB~ݟhX6y&"{bd7 @&=fTHSșFӑOT mGpBL[zO 񽒴C#T g81BڋF!^2{@6T߱n /6|z'y0|P-ȐaMrS 1d;E^ 3K/5$I3.X?w~q 1N[I&* {nx,Fu@HR@-aNB(]?J5qHHx14m&h\BF 3qU$U EC7/!=j]@5k'Yt9+oi۲V*i4֥N"=߿S-V܃`9dHg:4Q\!iL5Tw*ØwxEJt 7TUdʙITp;xDO\^t.J%q΁:#4@+Wu7T՗heӼڇDGГ'ʘ]t^i %@=Px9zlen] MiI9~K v:!Oe}WhQgkm-}Zu-_٢(={WjqO^JaU8 \L(;%%cM Si\ xmRy@3}Ӡ7 4-Upz^/ϲhKtl,{;+FFiE./dEi2pm*>|ac)SC !1K"8%,/[ӧl Ǔa|> 'R1\yz潠rޱ/Pk/DVC-\P`W[HӐ^-5Kе'{¥]D{0;*/ #^LPJ3~{dJ4}l41F>ئa=|d/Eǽ=lYn0IPto; Y{[{lbQo%GS~鿲h4Ҍ#|-$U.װnmPӘ,q`mcyjǍ!Qv2bbۣ@AH-Zd!_-*p,9}?l}i/b3mˎtN)X$5V#KHlVwYt/فkܐI!,']Ե FU|YYfжF"cfɊu yԩ !Ey$(呠u|/!pp_?aݢBȱ=^Uoo\vPa^bQi ^ͥCX7?XV=]KEGx 'h?z9/|ţQ nI.unxTaU} .L6&־;MHi@*Äk tj*2(z68nL: =;i6ٚ[iEbq6@j2ƀvs?FqQ\ rxc=Ռ1fj$×( t7N\*v$g^s!@ ъ,60'c㽨3e8O|zp|4f r| "T0 &vVYLmHަdai;wԿ &W)n !`휋V&(b*i<ʽ- I)Jk@vҟA8V bz4$NlNnk< Td¹l7h /`%(Ș[pATu I?.G]Fʣ'D(eGB7HQ{;cjL,U3q0w`PD^-IHf|CTSң"]:@هs.HMn){1LFF44 R]am!H:`e6o -̓K䐃EDR)*܋% (AbPbYJ51&W6űi\'~|fx}88uU(tg-)ڎyGȢȥǟ?m գsT>R|h\\j uDcbAUR|nc_'8dthLk z->u&O02 N+ƻhQu}w%SPY{'q6x+Nӟ`YMk]eiTE+($Oԡ%@6qF ]Nֶ^C#4x''x}D:FvIN'ܗ5^1MgEmt&>F0]"\f_t9jr0ĤO`-ğ(rrU9/Jaw(6QGD>J8j'lBS<'%MPpA\hu}7,}OÃIE5=.NIovX.)1c[祴,ᤍϼy:w\+~$H_CJxg'Lgs]^]5#Җ!~]BNBlyK' GUvQ$ԥ4%WToک!uC\q>x;=cZ)e3"s91#UI:{\C>$UCw!u}ư`BkiJSj5yoh4_<.ӧ$ݧ60-n E5 J,_0Q)m@9( 2Ĵ&RC:Z(#N3gt|52Z̘ANv@9 R7CGLn l;"ҽ>VOшIéٔ4&'B}D >U\= uNx$AOry,و 36 ig3[\2nPIJƨm.-acN(C'4o|;Ry$_0&3jWvYwCRNZJ+`z;MKn ? `ͤWy{&Z@psF:O4bfi ъRZࣻJښ3ꋳSut774].޴%kutK;Ñ[/Nb^415:V㍥ocT7˜qĦ2f;XaٱQYX (%[#!a$I/7R}4(k [:ek,$>F7[ֳ'N-cɚQMѿUdp1cРm5 suC4UʁOqC$wmM(B˪:`;[5#>, >>7EQXҭ* W7>*.8Ua /-u,hCF%avmoC^NWKP;g+&ȥ-`oJC*OJsFÓئМ'k_|_'"^ ZKmPV~d(Ъ|]7 S1QT(kwﱼQU{s(i7 n[A^zQ_SKih38&6jhYz7sx~aok?b&RmQ~ǖ^_.T}ho>lrAW-tؾ\-_Y@+ /G}U(9W@_B`}i7핻 ruwa e?YjܬqhϷDHH5UtW/pދ?KZHz"F Dhrq%6.uf憇q{}VY >>h)t~G[f7cz ,(hl6ۺlYe|ja~fɳ0{SQ0d=#T2ėӂCQs&t2n&蔷˵[Q͜Ȭi6B+"f Ur#MԲZ.͔u&SVjy77S:M3e<[N7M9!E"ܫ32c *eןVEsZm+({C%ae!*Z1n*v\VF0**`]W(Kaу^Ȋ+ThJ";_8\2埰_,8Y%l֏:VoreBFN@ςҜ6Pf.oCLå@}$؍Go#B^Dv`KӒ!z1~+ SД%[O ɕŮ?p.ezFJT1LՕh+ n=4Et1->1X ,ЈcN612|.ݓYAPlzA1W,< m9Ea#͒e ; Oȱ?<<޵]zHƵ(9F ޑBq*))wAs\c;ݳꯋ+2pnŠޛQew>XxeW}x3"v@Bz[&_vR":XO/ْu/IHxG Zs7$KeQE,uL|C6-?~v%4 DFЍy?QO;¼5btݭݞb$uy%FvFx3+9f̭lٓf-M2ܶJ  FI!K=}fo=SH9,\5,Y|,kk p;";p`(S%kz-{Щ) ERoY9,>4J6ĻVh,2)T |҉Yf40;_qtv nY.֠9KIGTP'Մ2:u'Th吼}*$OyH}X&Ǣ:0!1R]QvOqXU:Z-z\- /^Z2{&9)ƈؒ"Zx3C%j6%|Nz}8uGs'pv!lKίsE,AL!NFz.aWG,*nQiEBL$nXDF+#پrK!rV̤n]('2V4գ bc6)cZ(љhN<"Z: J).D w$zQՠA 9W_,}rI+'xg. #Я\KHuw+!VhHӺ,ٲ;,( $#^SkrrE8pe}X|;5m'r9aJ}&L$F 뎱-Jt{QڐRz.h"$eqXYTh#~6y nJ<*!ݴ]T_d=}Əh6+;dM,I#v3nR$(ƮMHop $= 6̱ TJoda2ޅ,8^5\9Y2|۠}v?p [nfa /IQa{nDZxz0214d w#W-]KI+EH\Tv81sɿU?kHX=Wth̍C@>\'E "RD9& Z|pHxYΜ|`'|_0c-^&z^ XRDZgW{J)LN)aUYN, oYv3F索j#-@fnY.#7كKn=?' A_4dҷ }-ud+@0 Wγd<.愇'x AcfT˽:p0;Q@w䅸LE {D5mC("ӡəS0AQzްt-nVi _ z_>(F]Z+_Um&1tC'N;ArFDutMA%{GYHȅi)>gt3M M]`^1p/g2cpծOyz`\|~$giƕ)u@vw #qU<#)1I0k4:jzCi>z{ZغZ|GF)_F2*.j;h.m4)LKVw{ae0-=鎻5FIȋlXBVh-"F%!Cm^A:|K<JP:yuO4Ee;u\uMmn+9˷f+B%?y__2&?c̝:3Ze4Ov/u뱈e窪д띬J&Kxi&)[Ecb'`+rۙ:v+K o%ΠZu{jqN "mӵ1T>zu{.>  ߡh)@O9R|?S;tT+R;T|<"^RguH<M.4$_ Oѡk|zRщ/O$s_) %(N Hs ɯ1[zԀPhKb7bZ]8]tj0g'sbAu/dze3l{@Z8uFX\I}F^h52(B Pu?`["mV8R?p@#Wck@bnM_DeĪJ!?)'}VJ$ #K>]I.@xf[L%mV|lt\v[!>^´ w˰ss*{gmp6 n l MkTKSN+Q362]kX W aE;^Edf{(ċe60#{4no׊MH%Ot"d 86bt& YBÅ8i~d>8Y6ujU[?Hyڽ}[Ez1GEp{=EElrlYs\!"ioX`(p-M6ON^$(@țCť(D=/.-2=>%Φi₸p< mNuxgRob*Wy)<-7 dp|2RSg\BW _ýEgRiP3˱Y( VΜ:놭ARGQ7gG5~G>Fd7Ow k6*9׭ u&blPtQ!(eiv^{{킽5y~(BXiDLPn|,\]*n16hvu.*"V DJl !%|!?B8x@4gTo{\x/*aӉXҷ!t]p N9HJROQ_/blBB?%oFl;l'lqc4[y \.@c1]ظfG!EŦ3[\2HdB4ñ qR X dK  <4x[1*K/SHL -5h`ZOiG!2-ĺdY=I$T߰'; 1jҒ4XiI1>ʙ KF/ݫ)bL9O?9<bsK+sg.6™FzD񿚝d7p,p{˱ʒvB3.f1eN(w7EږT#1ϔp є5o8|ݤ9B%O‘ϢpOEX }ZC7U^):4K~9@v4kN1{Dw#N\0L(>(Q.A;w^Ӊ+#TkÁ `ӰKÝB'+0 ޔ$-~`4Tɸ؍o,G[gx²v&*Î&]dFUTxTfQѵ kOQXEͱu٥@ -RӺ|fv3`qkI lrwr]2&NLiw&e~V%1O9,ņ`n"v#N7Id~Dֈ;eߚ !(@W7r)+m?M<D''!΢-XS~w&frTfcl tH-KQjXgFG_IFx-XV!w`q&$Q?$냝Y&kyP^`t,vyvfij5|BQDB3JrvRTa=oħa`fSX@ vK&і)'JBWpoIbXhP¤\ ej&Q}qBE}ā.@ }jWlݥ#l[E;/-?ᵟ1-~d)m?PВd IZH)Sj2DJ>T|[V%DY<ҵ(", *'z0. ݾj1$>O){>z Z{ltW?=u#¤曐VjY -l(+#~'?ig̉ ;նD@CżA`F Z& ;!dXA,͏iX-2X)-1+pvD_egnO?KvwsReiJZs%6fbP$ԉ4QG+) :Q7IlĐd8̩- bEj w<úM. `AEU;(c/c!(iE $Z ,Y%ix዁! KׇWT ۮ]%mT Z?_Cb?-9O5Vny=>jzs|m!j}#^&Жh%OV"B_g`'_ /ϒ/%4,*4>]Z.\>Lq HH/ۢr`.[\V;MnJ璬"@®CP'Ô1. 1ʜéc%ǰrX|( uQOџAʗ%M'z*)Y4 eYŇȗ+`զ0e3-r61XoSK.A 7 ªukiqUĤL- R<$ &G ģfYc.| @2ڋ!ŧ"O_)ّZs[kjS#c%sr^(bV? OmxJ9IȎjyMV/y0e-OϦ9f4{?ZmBi5o 7z#5]OA~v)p[Rry "QT.}OXI 3RVr9WAEP9Y[ڃ҂YwU Ntl`U$Pn;e &t.H,ecl^sNM/#߾:jft+x˳9+&Jo+8(=&mRBP˛-[O^=ޝW}0"u/xens)[O&0ND'wM`cI_pژp:TWRЃq \ȾJc+G{9x ?AMضUV8̾%\J$CuVn0ćV0?`Dj!ڪ+?~uwHUȌ,]8敭m-@x!!frV.{ p;=Z8>تx$b[ւPcx eio_xbր=؃"TOMZ(|C"flbwTjh{|8=>ňgD7N1ۿ 3z/ڤ":2=KOtpWf=a]D8f$;FI3\(Bな(N }W1w!q~Gʬ?4wO)kIe@ir22B-UA*k9˙wZxGGCsm0nr5>20}/JFN6`OX&/{r't4 T*X6DmroB׹tE:o${`*-|P-J@{! ]C߸ChV,f,k#1'`}CN7_*6#'8tMN ruq YG(For ("}q,Á $w"c$Hɥ#2Cy'Y:ޓn8t' _}gՃq8P"" THS4L(&1DgYZ0295be00b9aa1ce4c904df315eb00bd799ff7e361795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c 18c751f0e0179d4f4f270b14d72427afb997824a