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 ((4$, ]% HOL-ex:threads=4elapsed=335.969cpu=1222.988gc=47.452factor=3.647zXZִF! ۮ]ŗXf1-q恉<Td.ͭJǎFƱw[sܦ,}Е٨0š ^B;>oL#)k|z~ѫ4*q2GR]"S6Nrri. wnqLLWtFd*oMȴ-kaN(Ĝ252L߼`6fbgִG;818;ChUU$0@GrFo&hLk,e.D4gB <#{+ VOU*-(J~gF;4`an+fY~Vt8P@&FX^2%|aSf_h ZBՍJҽuHfaqe(>1"DV>/ZT4C"5!m)k)[Eblb5dS&s~ :Œ;Uמ[|h%UR|G~ā8 :LITuؗ :7D[j#Px|/N;he.sGݤ=Bj{c"=lxϦx7==@U*PƟɓ#ؙv$.:Mm¬nbL7Iطdr1){jc1zL¯7_A**6CK1/_b L c&7[ʁEW1ߙrm9g 6SN<}!Z'uVtw]4]B[ RʢrKsd#P(t2Ld##EW]δx,:7 ' bQ!W!iRg%y~֙ 0oث9v,J'cNS{ 5$O4#ԃnvyHFQ6݇jUU3ѭ 9sJxWɣaE;"48hD[i1W re*AnΡ",`r BivϵvipI@hY= ps4q31X=90.t9p}@yr!l/U;(2@M ,殨!7k*_3ï'! qWƁޞWរ`8``Xݩ5'ǵzj@=ZQMJoi a0w@p#em_Z5ӡ#$h ؉ڞ赗XAmrT-`ɢZ%))c$d./Yb뎼1w?}R|g]] AG*@+j8WuAoF~! 0Czn C#X[@vIY#R>>hD%aA@ш$ֻp5Kq{*62m¾ 9N{  l^ Øivj s/ȥ%ݸDvnz5K?!A[1x]Q+"ʤ02Bg?y{) ̯HkA+Ќy?YDWF[;,Qyk-uJJ>_}`Sr' 7 qZ,Zk&5XޤS997,zY)O6ؒ<v0*jcb]xj9>'Ӵ4'C+`d7`gg2 mוx ۣAQud3՟[S0BZVgRDAEbݛU( Sq~U_+2Afߡ nPlfBe4 Y:f4(Wd/ OUNB&woZ;bO^2TlFT Щcff!˴C7-!#%jWm~ $u/+ |6dty{s\BK t9}sK@9˽?^|㹺Ѡe2w BTB̫̆1yQJKL73MQOG"(ضI3*%nx])(6GT.TLGmQ_=n'Ĝ?QO_7담vcTYVc<3WQ~eR^ږ Qrk*i-QjzPڹq3{ƥUg,@JoƵ%>mK!˰]5*<<*ߜ.!T{]C{2Ĉ fzӱƳ،=ug=NPsE4^_eKb(' ;'4pr bU*9Ü{F~ՈNmYJ@VStA   HOL-ex  87/ HOL-exHOL-ex.Code_Lazy_DemoGenerated_Code.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 17/ HOL-exHOL-ex.Code_Lazy_DemoGenerated_Code.MLl X-R^8$-{sڦ}!@&F%SEIɖٖUtʙ{5J,[ubYÁ.o_93\SgrhhȜHt4 '6ʓ{GX!M1zD[̎RNjLL;";wo+dlzQ=|-d1^G?"e]B@It. ŸqC5IAV!_4dlٗKW+)nuQ[:+6 7ȶ ;jlq?ךR1'BpaYmGy *O_xj/? {wڂhY(gCuV};V<1+b't(|kZ܏?X`:[-S2f] ] Nɛk/X^r0?E$NlKL ri\̋Xz$ AbLc&_0G@kfk9F4CoWAc#FHA:M47<.ОSX({RFWa3C~FS=oKJ {; `;_J;4n_X+vYR\GܚKz,oiFV:?KI-9S0"$+V$:4{&OIw-$ h*lۧutPq*RH볝%+\]4Ϻq`I/ȸOs&t˞rU]~KN'@P˟:A %Q8KoI;IېH31t jr(`<>G6!->3SRK]noǺ(poeUV @]&dރ4c xfKBM{But%C}႑ fj' ud*UXzeX6ټraruG! Ņasc5rl3d??F . fUE $6ErQ"N$eye>0JtHq *j Fvw1;u5f-nYMV@?Y7+$('\#iIC]JnKxdǔ.I$US!sr#=A#psf[WoN&#J j.茉p[!oٰzi_yLJC2}!q1a,Rْ:ED7=KXYIKWJ\C;?O)o1J't&Y>uA*4srGwcqLJغՍ罗ֽHVhVSHǷ.MNKן?d2 ~rgEj;xJ"(5NW[s;Y= oL1aHcIzkE&@ 27bT [w97iZ|sIw*Mh;EII-%L`so`4Ӂrɴ;O87*tRUWAfo ܤ1V6"孳z`y \3'.ܱgYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afiu$@P%lpj}ۣ8>}p%U ז8d7=-QI#jE/aY So3h@jv& $D"ruů3Щ &OYNWN8#e0 DwV푎x̯v:P$ }^yŗ!|#ޞ4.kT<;|kbdJ;,6 QYV^P} VClbfg'%-tJ&%2YylEe'd)kLd}y]4y29VԲ41CnӣQ$\'&ƿeN{ۆD6ɂN&ai1ЏdČ{Yn>YoQC: UN uy,j`mRprהI R<N 9 J}A|1}rp"Î$_\ظc?SnYAR3v:<y|dy'^7ڣZg0t>ICmHhE)XRH AK;)̫7PQ+F0x;k,qP܍Q9DzA4O}( orƃӎ9C APnM>aTQ5)qbJat)zN]#i$\jm@VS_UhbGiyCOŭoQhRUDk=|=`YutRPf4h:i ^r ˉ -]/2˼&@ZٵZuyQq 7?sd|3ؖбh<~ܪ$뱱S5n-4^rOԻkЉ"vU90.ҹJ(C:@tE_[Ɗ aVBlBB2+Rk`gśa: - 9/.J*{֘-lLG!N(c(֮cLv$]V#PgqWg-qˌ uFt`!maG6oeOf{xnwPYU; '(ܢ~ߗo#[ZajYpNFD%_{GC1~;'@F8?$@ڼUfëƚC^.Y%7 ke^2Ҵf1AN*ZC|vEr6d`C3Yw zez%-%4]mޚN,Uexs[L<4esd9 /-Μs!v,̭jⓕI vSEѤBE= 㱤2e;m׊l  ^ Mu^21&dO I;y99d]t/#C1gw$Zk/WN@0! BzEpZ hx.mMմiI2/zKO#EL51^r31%N\ 4m gYZ7zXZִF! 8 `]ŗXi%B}wҮr`2Ѧi>97ј?3(Dă~zpE3 ӄ.BJ`$P1!.[NJYa~_??/T-a0/ t_E[uOr9JQAIִ ( = /R;Vrf|RrdN&Ltn@WkmKY}sPɑ|% /D$3 쒭y3zpYd`2)пJc_%`A/k>e ,6FkBwfNg\v{G*%>k3Ooim]%kD;SEUU)08!:@϶]]gnk)@z?%qSh*(7ellv\0~ONsh~oC,V }Unkz3= ?lcrs 9VDCk]#K7 SzFB^0ɐ,\ZvrYH&hF'SkHl&#pLJ{U-"_J}68Z2:◶S?s՚Y̰lu31SaLŻU fݒ!M 1&(YbD3u⢣e"e%< 0taZ_)CVD_oe.G_~\-Аp 7&yⴣ2hk_hC }/-\Z3hupny{oԩJ<`Ŀ>  3'f搼J>s%Disσ} \z`=~A7w2Zi1Såu۹l8QœV1#> ^y -QZ)A<+HôW}Z~mv3S7oݤ#\ϥ.R#)7yȹ+wN%8&\z5}#k bVpQS(S+r 6ݘP?S\27YMN+5CJ-U$# oӤw~m1# ??2H]cAm9C֤L"1:YϜƧ兝'ZIgC[O=`ש2b#N>y$ y!3~e]kٳHʙPrdljڞBSPÜ"w[Y&NןOgltqbc+b|j*XXTq>baVS:9T"3>}w$/L'g}*~5gs:䜉>%\p<)b=wHz&j7Sf h(1ݒa̟^rW]ת',ꌗ兙9c S Z t$Áͨr&b!΋7*eSCl>^U /b,&4F)hLTKc4dj-9RYdL_,H u(c^"1˳^P3|XVtB) .syNr6xoW2<.k L;Yih~ vلwbtYWcQYl @): +_#4儴HYyí yWWTһ~c.|2@ISMI2xyjقj {>a4ezOą5ӱO~k\T3z|J}[+.$Qi?*o,5rN=@iOtAEFӵ?b00ksUͺ+qUdћ~ϋ,˵2?;GW=C|"2e(I*($gOGI } 4EKZUN^/ \ƍj-E^\j}͘.(p]ݛCL:$UDwUtffWCݤmɽJx} a3BNn\O4y`1z4[qMoA#"y?`3Rcab%`mw?@r*迶C*\v\?)>iswh6G ~&ٹZpok(w$~p3r_-VY BF.>UORx&E7=cϤRL1`ƈ1STY]42[,<W49/>a破.2>_40HW =|5C8@HRr Čᥦ(_p(Gb7 }s/^Ue]z}^ec%H,gd&vxTDWyڱ+o=Z)I"l24L4[޸{ɺ8BJ _x@im#0*"ӣ]a][Е;˶ BeԌR7Rm*b׎9 ׌m9;B|RT(qZi 'g-?n^Z\z=@&}*^鶮l5H3(yJBOW J bgA ƴ{o̺ΗΤॵdk p _h;`ĒuB&O,pn[QI Q_13-&7yid3GrfJ.4vP0>{=g(>_J[r$HFh1< vKqY7+qC<_FͶAk2Y$ZYGAo5R'F.iCeK es,N0ɨWvQt}exS,g屺_Gs{!G,X.iq1%Oq&bO7 Sס4KECdꥮCm&/9%K|ݺPHQzhjG k&PXVVO" Ƹz$?:?s:&wt6+ouoH~Ln-oD޸,BV܆ !y lF|Z/!0s0I vڑDlF3PEdܪ2(ٸ{?Eg5 ~u0Ln%S3a9 Tf  i9w/3)ӫVf#=(| LV- H@zqWfDfv,^#@և m+ [h@u! >Mnz\h!`t qe}wف;Dzykv({ЅC bbSYr,t%YymuhEt4|oൃH/+I. #DSe;0tM=Kѷ}/VM5v(7ZhYMDy3pvN$3~?p^OƘiɣ~z>='l QNdpْnx8 d+x=E%.yNqE,~(p80wc)jR櫂3 ?$ *ҾSV5\C@Kk#dw˘CSӨWS! 4vgfCB2Zgr|ljbǼixslUO%oz&~6IjWExc.l$ěoRTzV %Kf=H8h,C~>Q9KB[ո4tZU^dy.P4m>'Ȳwq&x!sX@\ekt񰁉as)< soyJ.+; o!S]`gCCfr&+Y!#<+S3"L5VdNg@"6>|$^=uWg6(FG71Cn  `s<,q$zg{=5[КAeuyL dO_MyKɹ RyCNKjk2mE5g0Ӈ~vPtOa;3U/r6DlDȭ-lxyx3">x6 ǪޙV5!9rˁ=Ag[BD:917&N/C0=U2v03,FS}BoߌOcBk3PB@{w,΋raD;`QkR#1,"k-Pm}itLT8-|dާeg҅'pN/d0Fm<)Ŷ@6KYbd)K.A ]С,_s81_46 cu'[.% Q刺U Y%I Z_Ky$Xm]5KnHL9# 6!=Y;!Z3ͳ5"5.u:]3v*M8rFW=L捪eQus:B"apc^tëިE@@iJd}d|j&3ҐN] F8$Y90= @@yHcQy|lV\Dc7B1\p)!AˠR#GsLm&ˮ'YtI1e` I(9xe1 ' n%:b:IA;[r.1H''׉,pepz:I C`ۉc%a# dg}5l3N_;jG ehei6gI\cku@?ƲZÇm=zE8av9OS}tG~NoN' G{8M!}En=I h7N $@Qq8_[&G[ׄ[>x>b,f \H`10B.ZF6H#6δYvwj+*?*87L <0elw{^)&z',d\ĩq5I*`z1)JDxa~ Y&FϬA&yBHAUxyKQ5VMa:BA`^MBZDn /iH R`?{Jd$?P u=U`uɺ%km{jԖ s $qєKd nLݓh:U]ŵK2XV6F׷=N|-n\K-;&o0{L*Rmtt$;m_S2L׼!*S%ȋuHtH43I3h ^{J;m# 5P565OXN=78wPJ|5#,k?-+WLOvoA `'Z@mg vU#^_UI?Ȧ  q2LEwH7v{ƻ]8Y *#Lƨ)6Iiu0/UTZdF䦒8%{V̖y9dy'BL[٤P$m]Az~/'74 %j*\):)a0rPξ[8jpI:Q\8iͨnq r鸥{nJD?CTZm*eQ<9țg"4;oVyh7%cf:v?9F<+6P%(4/c"o40dE \c8dL;vW^q|q+Rj6p,Uh$m?'>*)G}kNC6t ڒYm8ˠ3tLƓ[ź[GHy‡f@3$y58- Ua+cU?w?K? LɂbaQhܖP5K[5`9N~q (܄~.PϨڂĸzög- q9wƔ]]D[V+HzRw [gK|T̊VWj@5mWf~[PTy ]\Ow)9J2yem[je_g83G1voR@9 .WgMH%6QUk2reqT#_5+fRp=3Ooe2"^DaDV9je$6;'8E7g"J,gV̭'c%2p :YғZt^ aK)1Ⱥ\ƒ>Ͼ[+}=_M K&gc; " 2P5U >;v _GJe8G HSsjNex X™dƅMckLw-N3ßAt÷hj92י2K 4!1(FX:1@#jJ)*ːY Yv3HZx7Y\xtΌ޶-wگI c34ha4(ڱ3~y'[6+RXY3k^ۈ$PVauBn=M_St\bET9[ݻsVWeee[)֝_{J_iéb^<:WMr(j ^ڶki yX޻R"6֗_%d&/3f#[^YZ_^0σo#4Vo#g>P4oo[kmTuh*bʾyfz%Iso~[\(è 18>gpXsS*,\LSo_l颩]x#U}<06 *rUf`nwYȃK{< c=A4X?;a _tk;tv7Q2z^fvfF љt ϐ/Q>sL@ҶY>_yo Q ֛I̮Jclm+綆 Iە)=\Եr$Z>f`> DM@ϵ7kLhD{卋KPA_9B PVR/jc~x` })팅[kPVe%1aߞ,<#_P/$->koZKّ~L}]RP)f*>/`ˆ$caj`,Vw%jRc(}z`hPӪPxzvNZpWSC{hucT%?,&9 1T_4%94V7&p,FMHe+| ѧZNHcGo2ե+UlF/;jִsp,Lݮ HB6!L~<_xdrȌ=vy8 ?Ldp,Xg߽cnOzsSbVN(A5$вjUP]NCPڮKlq0ͩwZYc+c@X,BR0zKOYh q虜<B1Rs(_[%r ٛYtŮby@N&M֯GR-B=\t6 VMw~ĐYH\gdB3N6χPHRmxwݏU_+ls?(Qzʗ@5hQ#z2m3(lv#W oөӨ,U`hۂrc$%sT)i>ܡop.G5c{}+!blp$Y\lAaNWlM~=P/~ܬ̈́(I"A}|$)fyb6FV`UOe[)F-#:i.Ύ^JkN`8y=8 G[X P\M$8H+r:9ыc$ :LS+]ߊԉ_wKP ==6Ϝl@+ &w"2yTa'be#dŸwHq[&`rحI-ǡY"P0UyL(цc /"ciC@uNesmHĉ8Fq!Q9>E>Vjڪ03i,j s쟙I 9ԉ/\i#N0E tMkzuI2T ^ԎQ\=w;&6oK#C^q< Bf8GpI <$̮([&`-p)( LS{f{I%kWu ! J#?PeO=PWH+h<.ZPMbL…utwwF?x ڋx8.%@a:8[>?HP^415ȏֿ~ T ࢌf ޤ|΋!s,&q!λFՃ ,TT6.ׁ2Yr??jJѸk1[ul^m}Rϳ k~M<#.@>]{â'c/7%YэI3&g~ K/js .lC1CNFM6DQ'Pv'R26t/6{ iO>Wk_+qOnҔKodq{}fʫ NDm1P'8MLۅ9kɐ#g:tHy>|j.swTk:ŷ .{'/c zIҐdț[QL~Z}CD-Bڦ;|e*oM׎pri%>\N 8Y͛!T[(!-V'eij֧M9rzRAf9?`h6C;›*v Dˠ-?tMMc@Yf=>KtfrkpTǶ>4A>d 3by/ v0 $51|(Wg.*b;L0wַӕ~edlQa:X G2 nޔ_^!Yۖ4;3ItB<pyWEv1&2 O'M5-$ *}Qֶ] ,:36"D\gU4][Q|~$jDRy?ȹ^$((L]'0檧X7r! "IJ|ILD)ܜ&*11]#'9$z_eo@^ՅMΖ{!9nAc΍\˛3R 57ѣ.YSfۇiAW{^pn`g 󌏡ĎRa.,.*{hA%Noy Q+n1< ¿UO>÷/%gPJPq~܇ұ$sNWaRKw7=XEhKKi19$CƑo#F?¬`F48QK#ZtƍF/Ԡ~hw>tr*KRR=5C "Js61kqk6F=݀A'^.4ְD(^5{-Apkn~bL]%n.b AS,;9_ h5fFG@t'S(H|q'}0k&!tZ 5 1"aY ]9˙'BڏzHA\Uk\4`+(g&b^f쎹Y~eG1a' *&b)OXP vgva&'4p=Hh%O(wRKtHd}詙g>;*2*rw8ac+m1Rg7֢ DF;+JW- vAkNqJI{)0Har |*,}-D/ϕ 6!3r^7p12dCN!d鵸ADZ =b7h)f 3VL3q} p}ηKۊ(Rsֻ~ eŘCo)>Zex0?'BO7SS;GZ#,?"6M\:bd* %v0[Ų=,C6TְE\.b"_ 7/tIm.ߊl0cKH@{Ogwi=o[֐{-VE?|QSw;·o\4;MY1i6aJ ͩHY '}MU39Ю;1s8vMAy|m:Gݴ1LϰFy)>[tr'ka1/: CS+A&)LӸ վ #o%(/喓t2:Oc|5YQ V)v/{7$i {"C&'KWLᭅ1{}x<4@KPDcEp['BC "b6k$7_8L?1T^E-]Ft9ޑm iHV6Tq ҁPcF {\V=#9TKͶO px<֔9#R:NlY鰞SgюӬHM>o34$cծ)W]T)}0W_ 8[!"@^pR|u (Q WᰴbSѣL}$;Ҭ4/14y &>tvЭC*f64TUH8% YtH+CMѓ⺅%"尵EE"^8o|0&tS Q!>`w"]&)WdX fx[rs37D8hXq;0pH+NB Br |j@WN4 @ZZe@TmcUcȃX$dT*;+ $ h갗IK<4mscl*=]M~ڳ{H[˿9YXpUypYΜp"{#!}3iq"ݱdn-w  s)8{N^@vi:Kҟhy$iZL _[6=dt䙃~ 0uJj Kޜ3Ct 97]-W~ah&dFӼq `Ql>Ι)k"F^H眃6E[-)鰜xJoEP@ &~K./Z={tmejxBg+-liZG;sUo$=g3[hãVU+yexq/'!ZkK I $ڋwퟎ%(?}fvYԜ&uBV:ie6M wպhVpzeLE]<")xEb`ed FoAA?|,h&\0/2̀PAsAҁH+~Xi =bdaNfJ%w峑l#"J;aX8{,NGMY# l3  s`Vz(2#UwR: +ZئQ":NK˓)[Kw_3Z%k7J iu^"_7&m{p-y%vl\$y_,PY@"g Жjn}[ZqLu-N1{LN!qٻ&3i tNifU=)d1#56p0{:3BxF/ >3|hp@Ɓ@n{mcy#@3={!\<_B,_ "/,Ů[%xJY,ncA/0ܑY/RFBd B*g+m-8Yn: }|.b+(#8m6Zn">/yt!)#|7!=   T3uAͮF>zAc,uqP3,fPӌXSsn:-NrkaYD fDw"/oևPr ڛ]Ohc2Ac{868NJFF GƂ46ꯌ$;Q>G%5³qQ}iH6{FTҿ;~1rdgjr̮ID8?@ZbӖ\X-E/϶AiW/ƣ,CHٶ lVah+/.(0P2RXύK!\]D-1"eiXL_WJ*ΊkpCӈi53T[PI?2QQ՜Y+aeKdi4ۥpw+\%eD0q~R޹+f;1gaBpKȩ[l| IV.It(l#rke Xu2ls\{":xT 4$BOެt m;oa'7[X(=gkj3"Rȧ2EQD(<(Ecblϑ UНN*]U\ܗG#M*~x|jȲKψӝfIUuq,J/GJm F)9ߔ`uzU2(K&#zI#bKɑ[ea-AL3YiqDw35S!%i ` 1B:yd@xʀ{+mH" ihZ.s[\ZUHmT}'(:"ya5/5|B0uNg:Z9H?=6!DXÖ|:nE+Zb  r;Y\50su 86vXX}YW@]3Lr< h{X {총_ڳz%Jȴ#>@Z]>*űJSR5l۹.W[z|xqzdLDǹBzn_ ihV8 F,vb aL{aݷ-au!4N8(JFBMϨ94?b*u bw v` Ed]2!%wA7i7sx+eUe!۸JČ+;v<بF݌ h+udB.پe=[ՄjAEJJ[S?k,zt ,%iJRy>1Ko{+>37Yɼ*%)OG? Z Se*J>ĕŖ9pu+WpŕNA\X<Ҧxbe0'f67?NM+Ji]V[X1;gI ѽ ǍB"˳}Q{0ey OߐЛ2]C#ԙ¢Č1#G+6F&>+8N@5PY1;2ćv:z`I SP>ap1 }HڼH]fxeQJ|bL2jҥs~6IaCNojT\ "삮 #" TQmzthчc>\6$%mr5 ;}%um8U{t jk'  b9P%$`$E%/yuC?Ew/wf^CC3mU4SK}+ߢh&f\$> 2N{'2c7b ՒERyͣ0-L Of,fl 0sz)+d;d-fúpVw*#lVeVYNH o䴃 4MW`8Nc~pX ue nÚϲ MuJj$el}U h X)*5g)e)heB x0яhR]'\Pn,:  ts*E:ş]4;\1HZW#> Qȯ`".W 69zR%eXltG +'NYe[+_PC[Z&FxWY3S:z'v8cp(NfkK4awbBIf [e m㸙&:IёV60n$YAȢTGZ,bLjSp/w@e4 "xSB*K#*6o݀գQs׿F7ތ<tDga ^ q@'i]D_f.q7_e<`u/ ~,tH@O"Ֆ%̰M@L6y`Fw_$*JS \Njq%* dRſ$p@s@lɻH%l^;o*5x^RR7x2QQ)`*!SmA8@هU=\I+e2Dl[~ "KdV򒗴Bw3/[L&/{@.Sx}nEI3]D*e9DNk4ȕi21@ 6[С2NV/-w<=oN^c\H+=KDs՝+:'P($qjdnV1ILO{vUN !k+MF/(sېk!8H[mgW67!|Du1 FT2[!`i'2wl}-7;02QPA\GMBSx`3'BUHG ZIZS_ NͶh`_ebXʨJݫB#sd0&[Shڿ!O1]~Y,c7^Ѻc`5K}l"0@R &D~'BXistZR޴UzVh*֫9ś"wc#!$ƓmLaGSY ~ZŠd B$;9R$``mM`|Sm@O3^{gr"Eəu.t49QPT  pWeIh~g٨tI*&yP:͛;ׅ3$?@񨄔d4pTʨjw_ :w{Sܾ(J3ZdEbHƫUcYpwC:+&G/!1„u6WSN;ӞX :=uzG(Fx;tF(Yc/I| u ΄wCQ4xPuI `#H1%VbMh!G= Фr.,uRJ|7@)6^USC/[O< r|hGJF}(V]weBF6ipe{hݔ dm&'n1# #id= ǐA8GaNTZHE--ٷFw*ь”;mōA2%{{K,RIZ‰.b" bc)/#Q( ?GQ%7B v+i>\D_\6᧞n.Q ӣipcM#aJ%==Կ[ `?Ҏ]Ɍ@'.WbKGAq4+_,'Ƙ>h 9N?/HgDMYPn,&O68S,x&H3A:=yFw1wHȴ N|vzj8$[&)H gcg5 E aؒ4憤yŇCֆaPXTP^2ScpKxpg <ֳ~7u=L{@ *I51?~Vn:{?/Y-,\V_liζ6kfsR )*Hl/n~yZ4] cfJ{R.4h;Hp%\t#oyW`lB'buaGm3VXAb϶HtIk^_%lvOq*PV[V< UكK1>kYѷsio`ʃt~c.[?m7n ˿U:RE+l \ `X2]PΔ̗Y{cEW >R&#6Ezuw7F) +kbws0.KE;/#IȀ~mzƬk2'\M0cCD7.jQR-X0'\9fz1ZX^tP41)Ud[QټŘ{z^.퉯 ݗc&6JokZJf.ڇ?l cx_uL@"SC A괥W}e>;CgA(Mjv$7S.^_SvB8hݟ@uw *G> ?/5NΉPU{5 &M֥|nqw3WSQ@:pԘG`=-A!r~Nv'-siBb=4bƭDJ!4hWJNnep@=XP'GIYj 9'^V[5+u}WFqF] kuQgުG-G2KcJ\'5^unb:Ȁ Նp-D쩝u*К1k 'z @J}I%JA ,8Bb50U#oC4a\^ɬ16R%7)`q\V\a5nIBʕ< C, {RIB"\#ы!>E #wqƾPwDP]=)T( j ;Nί[ ֕#n5P4)QJ,V2kfag;k30Z*\V;*DCq՛% V3=E37A\v t#5t:nR:7nH%|U`?7LTQO9vZ?-y4$[;F a!3]03,9y•̀s9i˻i$ U?> {^?avb#PHee]3ڢ\OZ^!;>ī>|m[ uPڒnL>/H/|&H$=hwz>Io$W2 yew aPyY[- ^%KLeܨAM!|vgؾ6|.A.XF?ckE{tvk¨$x똉n"L37Ruq1 _:hAZ0mw>J/Js _jHE׻ߙ!,q\qcݷ~ F8@<}/qsѦA Io yUUL" 1̖`[ǎ$NEliu@>ެq|`py"z1Z$]UZ%·Tѳq8.dh"\_T+XQ GI?eYHp32ӭc<<dznm+EEdS4xZE*R}O ``ɗ^i 5~Ų6-6P4B͕Ӫ:Ck 3@G)xgB(7uoc(uA } )`MyhD,1ao$55蘲T]SfpD/B;ԣBq<X7Ao̭e]La+PJn~ngwdT $~ "ٲedMsXBw,U> cߑPi kI cd wR;hWhۂ|c-Ma]2}{ŷAhw&iyJkgmwWeS>sz8c8r>02uhU݀6$px$_7"l_Yܢ X4̄N|y .c3A2x:UzثS!̾z ,}_D*yI:y.+6l?{bLJjLJm[;.?+ݐ( U @k8Hb`B~LD]DT /¹O~\QXկλ24Z>壼ĩޓL9MlZ)A&"J|kˈSf#o9+l؏CqMi;~ 0󏹼.Ydļ'䶍-%>L )ua \ڥuA$jet[늚O?$tWLЏn:)0;JjY:틃Fu 9֋3ge_dBvM [WEy*g,{/>^.xLhHRTG^+Slψ[IfE_x/LjNx>B`RU%#qu&R>߀ZR u/~J|!,g_u9_;8٪ {o0Ll 9CeQv+cBl9GE 㷔mywiԈ,a`SrlQm?5‡ZTF<;z?ۡʞ6Fil4RH9nCVQ!@͑!5'c6-zJ48H uzscH{fFP,V2|hgg\栚H;QIB_UŔL(](-1+o3:#ǚy pʤwz3;q4ΰtC~֮Z&+-@nЩ?R MPqK.({ >p!iԻOYº&%}Ôn fNqtwyfVO&屴dz|8RD)V"=}w ׺ $.> .Cp$8|VȎʇ/`j&v5}qUU{ء(j~F\kd8oU{MFW&pͨO  .F[YG*>|Bo ԊP/LԇcX@{iYksBlnXDrJb8RΘ/ D)"!HPݘS)U2#6Jk pR'r*tnƲBt}W?@$N!68,5/eaut.ྥ4'0>&&dcDS,XnfKHI$R:mțd6m/|vgfQ+Y ŞGFupZ|¯|@@qK&30 Ϡ1eT=bPdfvwX/)RW5(10&pkJ }mI^un#PEr[pޞeY;y-yz!p&{hEP 2~XpySUc*mPi7A@t{$