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 \~T$\ ]% HOL-ex:threads=6elapsed=427.572cpu=1436.444gc=101.8847zXZִF! *"]ŗXiɟ fftb:u t=rpRNM"Q_X_Yz~XF7FR.hhupdhR[4{S |UW{q 4pYs"6YZc Q2W'gqStoOv'ckud4eBxdfǃ-&%&IU(^Z߲-K)RH{mSPǸҙo7uVęWղ@9wE]ehq7̓z`ĮB{1'*ki\=C>om-hP9׵B5zt/sŎ po%To(F~1Z #]sn;@"hupoh{&֗:SbOCk+Dm^%z&\T;JOɫ4*쀅x`, csyHz{ 8qoE~CP~L}"UVʏ {"fSMr ґı|)Yφ>3T,Nh NmlJH,>8i$<| KcH8>EPlYו+"qGrXc 8z@,ؖ_ _Da] <޴CZ sRf~fYâ2ұIQfYTmŒФ 8Yߩߛ@O~[ % m7"[O~1zh)!%]'GP:\w'sU [{D0|*-^I#RɗՏ"UQr>(K% GtQ3 MńljKrڰup#G1]9Cɚ4l5;b$-aSX͏av ]ahcc1+4iD'Q9U4o:H^=0dnLWK?XpCreab<!)C>Hx] TBQЊowt ]fpctWڸ1*f*EBw-%VܣqE1">#5?w㙣Z g3YJC>SEQfq&͎Ȝ`ݎGPln rR&E)L4Ɲ=yyCrc&KB`礼ޞZVͬs[c#G8Q*뭓v٣%tLwexhM8 ҙ˴e-i˖y}c' 7A4l Ezy)Y *̖ṭxJ 0LYH<VG|Ylc(];ZD!H%bzn\r|oq؎SƢ jXZQyȐ!p#]sur 6a>!WܖTg'hGn<=kP.#Syou4F})qDpÚA]oo pE w*iLdVII۲}%yvb48)׈@Q`AX̲`#Gܪ|Bҿ,AKfQ;rF?:=TˌSx@ +R:Is!+7Q=_,Wq1)Lјuy, B[δH?OA LTWqn`6Yln"䛘_*\<?$-XgM2`0(dZ{rӽd"ȷnUT-Wnk^W@H*DT&sE$ƂcY.ݐ%Vmg ԣ8~%yl7p;/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.ML@F+ˉ$"YykƧ-QAHssoQRS]Oly1'ص!nIHr5CpH)α>/x>X겴 $"\ E2п, g-:sWo4̃c1Ez$Zuӓ% `jcaDHLRFHa AMY"(.'ʊ1Mg >߲ p\85P2)~/7p^cQA *:TinCXTvz0-yC2Yj2a'zwQ}W7 -*D<~DZb",Vjٝ;?\BYʴ~- 8~_ᙗ A>j޷ga ކ\iXQ)lpe[Mсy=mB|+-&Y;*}(rTVLnq9T0۞O57bL[|J9`́_e",W"4k|IJ97ɩ=#4©GDXC}j-puO5uV\ڠ d<ۭ{ܬRxe>_s!0S[ :G펯F, b7˔·\^e d:x\#RCP>ӂC]X\KfYY6L #qI$ PIBR q;T8lݳ2Q=4, +. jr~\9$X[[Mј{ܝeAF('('x!,;9z#JGG dLq%FXP71!uU'dIA8|9Ĺw3:<^/t0',Q3ZmYCe6#_wߓt ey8x;XvX&,P@އ; ؓ_-o(- >ˎEM\XE%RЈ"@VX^mh,d;\?I g^iw,U5T"7 _7o| eC/EZXe0=L+WWfz[S_j m<4ypV`'{a{LzM!NjǠ٪rP{"KBE!SY'e%<КQ\ Fr3s`r\{Σ_%]?Sy íQs$g;W̖V|+CiҎI<%]Rv VS4U!W)Tί^E |DDw'k3]$nS̔Fh@!:iiZs7_芨5WF7CrʹK@=ܸqAe idt$6k>Q|˂ _` }PV%JʱUȬNFtǞ9r-I8 :W BO2 c ^B#aM0g !QtfӯNϢoؒ|GJfh2L9M7n„Q~{B'6bx#K2R80jI'87wm gm2%,YwE tXMcDPYzk)->rn_Dc[h,>6ps(T1e-7uzXB>%ͺ5"Cnzc:Cd#'@*2?jx*)L.?0iJDPJz5ߑ I&Xnv;?9,KY"$9eLzcƢ"YZ\ f!J1Q7_ C/AiI95E>"d^eV `@G"/<))8`M)I}a5HD0 G4iAi!8x1e@fi{|%"c7_度?Ze$wtmJ:-}R8ݠi&FxoR6;|\rgmd{Mv&fn0ǹ<'Loshb 'FQ 0=MxjJt+Q{i[OE!VԫFuDOxzQ~ w ?V]7_)Puk2Zi/?ɶJKE#W5콸 ֲLAV-WeN<!Kw6YLd]`r-r*مU#-o{#9xa4ɲJV֝͡8a(^yV~)7^ʺ⨚i \$:I0] J{4J[Z{7]-hX%!Ny߫\;GK|ȴ&OQ*.Pܾ6+N;Q%:$[2? BHyxew:>0k ݴG?9v1;d* K[_p6<eRrɨ=dSTtQy/UL:ti hܰ>twI1ۨhCk gDE7‰bjWEuTUTKlƱwEV/^ӕm܇;1&׹JWú0lТ≯wKyŨ/[(y+E |e,qVdy#J\•pv>'?ȨL*?TQ)0ڰm_oAZ}}bBt/Pg}a$uB2  %Rp1R' "EF?=g wx^Ɛ T<t㏩>*/Q|W[)lǚZ' I BFe O 3A>6tKŅA\NQN9MNESw K!Gvf >|9i<-~'KT g)DEقHIk>v4`=V0E\bgYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#AfiSIFOX({,ZNu#@w*o"˵)P83pQ$/ە_(*d>Hv+\Bkqq-+?R(!h8$jQ]DpM;0CΉkFAst΂rϧadms>Wu ԛC<Xf`Vu*ު ,>HPq?Z$C$^a86|]kpl)Ч zA h4!r\101`A9Ht6: 6کZ'_JroZ?[4d6#p$cU5vnU^BtӸMAYn+|[F$^mPdy$/k^4,VpLSe rq.jaqYI #,amޕKbQpPd85n36wlȿaRCj7M#Ha3B_eY?\@'ɗx3\1kWt3n;h3q+ѻumNTyo'Q"m"cdcϮ;β*r3$l&ؠ F>l(pK؏SՂŪoۭ`-nG"f\w 9CZ%ib9eܿGus$g8l)39ʱt0# t]N)wYe4\ ׸݉Ϭ8$6 uv@2T@>X_DlYVW_8]nY(̩݋," j$qkYGdlIR}rjfKnm4"1e^?!?[eUHW_coXX r,ޜ>gdSEHTJ< %ݐnle^6g#BXdVV 3sgYZ7zXZִF! 3x%]ŗXi%L*  Pb1v`FwJ]ڱWoɃB1A {'IqhS"2 COW(SH() r%„@|Ы YeRcLre]/4eU]fZQ;`9 ' jcC\+@#I 8XF}!?\O:|Yؖf"v,(t0 _Y}X|P|;RS ։ss"mN4ZI׹U{ފhS6uJD?vlj[aaDѫB5Х<(@c\]єgz#'fwYo|kt70FD\t{RZr]P0u`~fX(_gX-!-X=ۄM1~Ϙ*I$@zx&p,`!>ET-@Y}F*l jX& HIܷd`KTޜQH R9٭K4Vn -bNXt%vejhzGݭl.6^T:Ǒ'XWy5 gYB_>=qSĆKܴ%m.poTjH@n0Lta[^08|=\Z |g lѰMh/?LFأ1M3bmu96. p߹ Ԍk+yA%x6;K논W,:3 V1<ɻd,lh`[ U"] p#@|3k9uO٤5)m$mg UbaX_!K=W0Z|fxk"vmptIlQV_ :Z6 H􌓨Uf훱`neȑ2'RX7vxk|Rg趲LhDeш٨ <Ӿj7!K)%gxayan`{/?w9$`'ld@]`A atTvU?*>Tb KVM'v20[Ӣ,Oo7GpX$,iwDOP%8&hȧJj]ɀVvrK/XF,qXzcHҀk&NtPtJ*R槁MJN}gC=%a5ZYAԈWqJ;⤽IBQ Z:L6$eHgxBw_k܍ңBY>%QY1Q|էO恡AfvuQQݽFv9!U\-1˹yԇ v[S?&A/DgnkH 4f̗*ڋ/ _7p-Y"jO(3Dy#UA#{ih6;P($nXU#\"Z8Z\51ο)gpRdc\ Ll4gɽ,)E~NœB I3Sj!uVG`9bB`";MEE)AN+c ڞXr4Ǫue;#U̙o yɽ)e3KFexwr-ڞ9O=N:{嚀Uv*::0ڥc!\ߚ"? ;jrbuOT +[e5+ȥʱzKP!)Kt]2̒%6{B$ő2fo Fw[QL(x_rbv.R6JtY@+s}~ڭM". 1 F:}R=hvw:%;2Tt}X+ǧভu|>#vC@3BVA -!FFwhh$CE[AU YHl43{c\sAopPnm\@0Z+'0B^iWHtlx#Ⅵ`_sဎ.?#Y~~}?IBC?8`Bk~&.q("evb*.GOpD员u,P s OZ %b#YRG;3n8}^tO4~ϗ066ܷrlO³¢Ub=n&^ʤcfg3c̨i <~qn2LB onqtـ뛨Qٺ*A^ mXr}CXDO _/ygjyp*-㸓O}E)"Qdf%.\ a~IrxMF͂V>759[IvF9T6$d_I[UTΦU{1La5Dn(B_C&@=6v 1Jihm h8(([ U\lp2}n%X*Agj)y7$^#šcU77騱ŶnP Uۜ-U Y ear!UTŭv}~*` D浒$ӡ*āXQL,4HVA&B7;dSZ13r?un# >u`0Ŧ98 ٤"9n)/EBTjIxm]bc~' !sf<޴fҒgl2Io(ף" ݡcdK*XqH Ur=;AՕˆQJ3^rHd^zR Bt&lmI 3>xLppx_,׽(g>!<5!͗޶xT2D6ɝS]I xr13-TRUU>u[sˮ2[u<0+4QiT)1TD6ƭt*/0$#; X &&8M (@t"?,>%;جWe_8ͻ75(Ѯz `6*GبXOI \lN_ hD+iIc, N\ϖaZcrlngmZND ̯zߴXҥwwUY \~#ʍьZ,U4mAQ^ 1fCo*&БSq*G}D&'qboc}S\Ɔ]NB`BQeD7iEim_b񂽐pO M7^J̲JMEMQRv-#:lKоګ4({zc1/NpxbIHj:? J@%RJ_u/a'/-tL|aC8ndgys0N˧+>e&<{6  4}$AV6ӮϑZ{Ɠsv3޵p;T )#F,R7b6 yXY^r*R~ucqp-,X>R)H^}t S2vu LSSFC,*Rjwgm%xMiCu[0>dW*Xc dtEf{>^sYʑ~;c 4h٘-XzƄ>~_P'y'0O&O+>R{pQx"LbtRCܚ \ =Ƴ? H?zyJlBXjԄ CaT=Q=KMCFCW<D:tԸ-nt"e,Q|ZUG^뒶¿e jyhgy[ZCuwdm(2nYsJ8YҮ ^q\Wb{o2}l:IIЭh 1ߋLNqX@l;crGK9(? @qdraaaȢ?VyRt"^3^ a^WJ}X{fU~3=ktÞSzw}Ym;R1gE+#6ȕh'#&ueD Η YeZopaq"☙u=op]a C!ہX]C?wr Š:Ctb<(!@<*n=o{dsUyv ~U#B^#5|E)-y{lq`]Ɣj{)NOphm=QU SK!n'lc*S} \WҴd<)d'lE\SP'YXp!x(BcJvC?=B.4HR^O7:(H g/Ap>g/4z|9<جr4vԠzCqEn4(Yw}/řݾr8eKDAt!~sH"wO_w]CּT熀ȳr$Z{,׭a,&]4iN40aa„M5oM d0Eg+jZt6|Je7}O[v\Wty!bY _L ="SwmmE PxP˙!IEz3#TS;CT$* xHh(]g q7SD0ò#'$aC7.9z.9!\sI`2+ǰ3A84WH#T*zz_P_ ,݆ŋI)ZߕA O]M4H@A~D\ 5 v.;ҟ&WêYTO!uE&xNʊ glM$ SQ ޾0 ֊gSBԼf"@G#fZv:rZ-zeͶ:{t(-x7<櫢FJg"&♺yAܰAo3G d5G?HXC^xؾoӌ(~`Ƅ2WoNGhKYEWNlP%ju!r]+h:+ôpO kLݧ䊈@ڧC 2~ZS}EMǕl6>nH; #70'yV:IM^-0_O7dC.k%Hldra~ ՘$tXh}ULS"ɝј \b@IX#E} R3p 2z0 bhnA)| >׾# GX9S`_:T֕{Ius$p CD;^|uR}_tR?/fjBPlPe H 9ӫ&]˗EQ>~dmnS0|N[&|/&~5Җ]6tVXyC*= A kȅqTwF×L^N~Oݏ\Lr\Ac /,fp3u.?U:p^_ )/X>|; nv g]\{y!@N8l_.nOK3qgȵVb>Aewdjy/" no&ɯ(+qv'IWr˔Ct[mSRDߘbQՆ㨢/iVw^^㳫,t)L+Y&ݍ-wop3b^ P< zԩѬ.[/xyM]xS_'$DB8*' :A3 aKpQ1z[1\'}ǥCQXϮ@gai:2PQۍ&.7h0(YLrp@m08HE(dªCG\G ;܉-^wtm0b* sV1w>fan#Tc%AHVΚsǯ >2ƔXܛTk[A@>Th 诗ᚧ[hW{}±{y dt*e4~oic}!#ܔWLQ?_p~M-Ϩn˺} F|<҉f?)wM@6[p/ݘW~b'8=n٨EM[$ ڞ,,*Cvb?\goK 9峗Ya3˳/jg˃tU/?8| v5|*@i;w݅?J X?m͒e 'dφ o9C=6! U@Db=Zۭ 6;R0(66 )(~tDrUO{7PZD" `JP# ZZ^`#=2~;N='+0qΙm308>RddN'cIt${'ti@^"gxJCn&d}py[ =N\J8:Oed(eHCsM}]Xb:B}q(..ӱZzjg* J&,rE9+{Yu5PܞjW p>_#MeZ<>~qKi픈x$/$2ɢj'.{}a'VN~T,ղ5_vJXy}^ҌT5 #łNLN*mӣKVV9]BL'wy f0o%'Ӟ{>r.5^A.,O\;}'xn{X 0b !:`T'!c n&Ρ͢S!q%[mw y n<5JQJMyCۘ05+*˛p%nkS%RՏ" ^{P 0uaS!s<ʹA{ea6p]25-NM'w.awߔ?^2b6S|hHMI? '4iJf77+8nGW?N_{C-QmDIraevzdtim(JYт muTlߍ%J:2A!0&DҮSY >=wnWwlst-ȡְժ)M|E8w:3#, w(`>帓i^/LBBQ*T,S_d&@E3~͖.X8q#rdݹ`pkCB<:ۚ+Bb|Di ?31­j]h %24U{h0~H-&&<_E塆).T`J7BS]^L/np22!)2q<x-|g HׄQpA`OEV$t';> d \җ]I1Z"&Pr\\7:d rna\-gׅ'^45OF:{5&4tv:vO?", X*r!q=-)\k (.J &/jai:)49k`R-l).w/elT*'@;RCec!!Y)v(-dr_6']Z/)ϧjc L>ՌVrĕ6%1x{G՛OaGLeh5`ǙJD ͒iz[s(o~)Z F8 ѫ=;<]_3v(R[K *T'K銘Dc.z|[eDmNz)X: Qw~uNL7ca˴s&`qs,"gbe,o) Cm~9R)z2}4*D-̰EW<*FOfx,YmX'KLHuluwW0A/h2#!A'lNVi0Gn>wo]xft8c06 5Έ$gOq$)A^ox_՞.ē]Uc|6}Bm >~(f,:".B$'4C9yHSZ~9ImOvC_8*60GiF8 6=.fFeM?$(,ÅBWbq X&G~r*hkptOz. wY2+1Pf2M{;̷MV'3*e&b %zG9Sf?#Z"K΀|j=M1hA:uޘ=u g7HK=ܰ] h'xajf,8](5O%V e,qi?hR6I'b-A*|C؆"62i-DFh'lb:g!1;˄bO9vrXK2|-%O׃u 27G+mZ{:xZhҁ޷Jǟ nSROaT=[$^3[of%̤*M\e ϠWg`KO ڻS~,ƖJ9(n1 o<0=yL.HyŘ0ZWJnqph"n%Jd2[bJmv` ??sߒt%X>fPȋwsvVBvUްHQ };UӽEW\m"4{wҗrP˜Ji~Nv엤ODJȢI WVw-2yOZxcP`cW5 F7fWo=/aϲ6=NCI>} 3n=1˞̯&6"~:훬t?W“o,VRNoh鷃@ MyeD&dj?d;SFY?*z=crɨ5*+u}awlDalg,d2xd)͡fN#mODKŭ-̈́K }ױhJ vi߳\09_œɁk)%5!1B^' ЍR(fuS^(^ӴgK6CJ'si]j {}&UOd6Hc$gRI~zJ2TH$"i-oBtKώ|EXۂ=ߔ! aTIɨ+TKsq':mgjOٳ[I u,c,M.Joz/y]Slu Qp< h:V 3zh~ ~"TMޔs#iR w?ri1Re11,E sυ ijG4$UB-! `PF /PP021? ;mIc.PźM&j%G:DUySA;peÑ`ܜt[!akOl61ȐH_y{%ivaU]!s%J/v5: Ѽx"`=4P:HH !TٗlS֭hś ڌ{"tm* W8,`hQX/dd R j-h'sPn?SHsJnx>sKy\-;Fo^k%dܓ48tz4\2[_v9S#:؊=3 97)^c{]NE#3dM_vX >J5MS5 :^}$CH>},<*h$ӥ*sፉxp\Irx+%)%EJ0E?h$q[# ]s]ߤ:4 ^:U`(I dE"ଦz8ȑ+Q7|}/|٢ssY V5?ǖ#eIZ͸ssW?9?[_e"8.'}9Y!'] tWkr$g p8C ,zg8k逝o燞EOA;20j{Z"H`F]DW$PJã$qe-@ө?i^ YFFW9KGbG@來%兤9T.CK/ Δtc _T 'R1l0 &weLs ,t7klEy-IPd,=\ɰӷH@?3=P!D1zhoo+9<!oMa,dp41H 7sQEZݺ%1obR[ V* # 84qjTU_rJws THwP;;gNFa4"W=(շOLKىLެhIǓ"KWb!LqV.s罻X3/0SyǢe9!&XsYf n$FL-̛|7њ bM*uǼ ;3'}2TS1 )ɻ~OEėcKTȅfrHBQ⬦ +5K+io6e /Ox0&Ym |~mJX* v`4uqoZ& B&]{Vm˝)סs x`mPtw82i`0ҁvS UM]67"e!8뫸r 4úECgPniaYO$$h亮$q?L.2,[s.g8d ~ZXsӜf2Q(pdFҷ ߄JI9GHI2N$1cDlc>PkF*l6Rsi5[%܃_X3+aN$ե \-h]e{H2Kk"Iګ[lzǺ=hO'}<&-!=jb۟yPG~2yzoU\D" ރdN&{Y{E*<d_nQS<ȂcyٗL2 ur&#KFwt"NECXj'7/Dt~c&w:om%wNC$E;z.R ЁLy<9 '2M#!;J fChCfۘ lq;-n|jq~?fSK9FoTi9~V4ૅ" @c"(AX`(o!)*RL_b;8ͱBy9T+ʷ84Rs<.d ZE*qH&];W/DQGꁒu>LDqfɹ2·`Lsp~Q'nS!PF xZ`K¶>^AwkmN hT[޼"K!}ؔEpR;Jř|Fmxi"~k>8sr $@A LaGL(!RM+U0GH"#m׊ΉhVU W$NJXu'15Ʊ0 rKX^­{{> vA2fȋB iXݝ`;,,@͌Ò g[p8We-l`-J:zmoWmsH,\]qi>Q_tfzջP:X YQGl0R }Tpg=~w.:DRSt'Qn!:k .#9.s!c 'kZN6~1B\I1-K;3$O(3Y9K4u NvH5031\4$T W _:ȐI#ȱ5HPת^7_0aY'6-fcFv xv_m(dkXYJƁsypp_ !}ikwvK(4Y ف.Tg/* ~yZȉ#nqUɮǕiw6F L$P2mh[dh˭o++y1_jj`jSKgۂ*H/lugfקNrPmO_Xi wQ_ٿisRU70ܾTk9 qz,gRf-$ŭ[wYS5>N);}.&Lv0?h}AityzN(6q2h9iS]<*x\R=B{0 j+u^ξ |#ș)EW3 Z9!ŗ<@ mv)ݣd d-1 #̞`e-zA.mHUcЛKe)ۉYR)Y+3=!AOVs Q}*/]˶!6 Y65.Q4j!X!u&d6_nM5= ғ}~AmRM8}X4ǚ&\uX1U66hV*i[UY@6EKؔW=t@Ɣ*jMU!;=>jjMє.YCn#x ] jE>BmѮb)ginMPyq҅ Nl޳  [ q>w ?MKApKɔ+kzL={}0 ibOۈÑTE<܋`@dmcwq7Ăz08XO(_"$=; `tGupPK^;bd2+mDMoPk'MB^rcK- jރ}ځ8gMή}D~BbV]i J=)z/@ԌB}>H]/2^#PNd3%9&iPXg u[3#A#rZQ b/rGjn+~ ٲk1"HD pt ..rY {uX=o+Xz0>G[HT>@u2eRڶK .$[Q 3û~Rz%󚣉HMO Л|"%ݤ ;.HxNn)AAG(YK7„&"g>Eё]]1&ȑfvZYzHO\@J 9%[?H=X\p` Xe ;P[LnCY?GG' 1Ȝҡ-Yl dO[3[&@WS_Z 2#i aXqJ7, esu2NKطmw+nd"$n `8϶OGڏ5T Ba5ĵ6CP8Ni3ckI"tkkyѿF~"F j N U7QO'`cp! f;Wu8uzy6W#`s>bDU+nwȇp_^ G*FRd8# xu6~ ?J,) I/Y?z9wnݒ,ͻǏk/&:,"'>CA;:u+ A`:w\O%X.Si˕ ,@q>Iن\qNha;O=M}BR/%5{~$Pd+2WJWTc*j<喃Rre;+5[P~kK.z% aWR 711)y_ceU%2O-%0,aG#f,rAG\yS$1̙%AɚLCAR761ymYc8Kíg]/)OVژW%Hgj1a> ^,]Y&K/OL(3^_fŌY6nrՍŽX.VGVA4 x۹<FduΓH|}I8+4" Up[)VƓ l1r9NVԲКj, kaw@#P.w]d؎ @:lϨh! AK>"̌p״z4QK!IGB;V;5is]0u^: nKDzP|L{!A/<7 <޺{ Ɋ@-#)m1-u3h8 lEXB&HHQ ۥC+fb$!Ǣ:~Pv?*=Bf̷X"=GJ:HgTYXS.KOSGqe]|U`bYO8FNk6=NW}^CZ^fCTҭBE1uZm 0M2~#*jw#>@ }Y}\װ-dҶ,AMY\Z4$HE,g^=:S/m\z!vMc/\zA{ax|_?`u]/Ь&z\Lm,7B&1*ճys(„ܨL稨ak]{R)vp,ϖY^y~* >AGjdQU$pFt5뗾.,_h0m'С\R2|M6?nKYC}qZNxz4oOw vp W}[xbJ K-uT RnC#TJ6H]T-T;\GcZL5#9^y>}3+# =aWؕK/.e :HLb{}n }'hs+Ns^0!} t\s+<j,&:3KH]Sfk3n'!jfW~1q$3Z&=ad)mWDʷʋs\@PUjpR*ois0|_#Ptck3? plp':z^pTS)< Dt2HO?X^r<'>(A=S QͤOmU!٫BO}T#ZYaAg"[‘N{Я$\Ac5'GC e ȥo>O9LR&ؗTwwV4kg:_3).zh9"'@3 Xɻx.DTtRE=o~ hĄpnHcRđg~6Lh^e(;ͼ\Ykq}mQ>3E l0l 2T+@w{!?\ 8RȶZ tb䯸-.RT*[1w+\(.-Zo/HF}JЫSlV5'z0Qo"95-DO6 >q]z45oۥs!`BРVVF6[]򐸣wjޫRUp-se&QsuōNEcfL,iYm7>=8 IΌy?!ޘп"̡Nt7L0Xk,4L0bdhGq-SC}ޒ5{ӳ!/؂^Ju5čo:771Ȝ.`2MLv߄q^ Y|ˑPD' \3h2 }: |"a*QS"EBaUBT׉# p:5׌u5Juρi{ZՁ!-$E/ĕOhA5?M3sINъ"/BTo@dieӖbsoNv=7?yAb~i䗤kuPQbar <ٛfTf8Q{ͫ`s<=Ԇư)5U&'zy'}Z|| ^"gWfRj|iMڅ,Pt=c%jfv)z0KFskՠ[asӮ޾炽0 $sϦvEtIH&Z,vIĠ&7CMm]oF=x{Vindạ)Gd '{f6SO;_ѱҫD|C{K7Os{'|| 3]jvwgIBUY|KzՔ[d6Rv \z,SWJmU4v".x3};A(2#F֧0h#MكqaXgVS0(O9HJpDhpTTY=F{gK0@Ҽyv lbV`Abnk|:YdC_}wPr~d ovl= ,Ѐ뀩SɃDB8IYYwY .9|/ 2͓[[ni+ U=b0L"+^Qh&Km=_mt f"|V]*8UѳK?}\u\?m<<:v%ڑkTAR?Z ~/ڔb/ޫ%;@ jƨisoZ $6X"ZO"O|{q.#P0M #f4o?YA /L_M-p,_}9'- m]{9N$R݇=S EeJ9.n $kb cLΫ2rG#Ru0K?=*:\vZAЊ1)˸vܟzF)Z=礲>LaFrY1`,f4<_ Ihs jo6Rsad}gʧRQ3)5G`.YFor]Ҏc-"zFODLt[Hgx5ܸP(d|Vy9``qX\m}f-Cxܔzf*AQE1(T&4!)Z>U/z_v iG9`V˗` _(/ x/kj''1|joYX&cZ\6Ҧ;V&%刖W2ҎκCڊM$(dc:JbNB搼v<`__jD;{ C烨ItQp!VidYb&\Hָ4"X8Nӟe'3b mO.Ɇ +H5 X^x[͠>u+񾕑N VH]i,.L&>_q/|ٟ*0Vx *7\};:=8| ]F'AE:ӛLz$wtg}1=/OCiQG[8d~)#[m6(+r/U.V1t XYO-C3˽7eCI!mBV9z-MT.g4 gTc6OC9EKUb "@Ϭ$NV[ =xtlX'NȖǠjDA/V4m0h{];,¤!Hdp1^|Dɘa;B5[%`Ey04vXzh)>N g^6-t3UES #NA}nМƒAjkWDOk]G.RX>O[/~U䤾1t+C4uar ܫ?/:m5Ɲl]Av0G G 95-@Gxk05/O#̝]k\ϫ06C~q jhTbϡJJXhĉ;n+4bQ\կW5)'(_Ѝ^]„iAs.꬟hv Ay srOwөq.VDxr7S϶xk&`Fxch٣SU JgNЙ9SL1 HI--n@rcs,B^GWTIG`wgPKtJW% LG@d*Fk_hCÐl"k%5㙓:nPΰylE{j *c(O)Z8rm=E|d&Hs`{!]Cx*vO#L1M`3Q8I3?otbs"w-*>~rPa3):~~W 4%{~;rem0 i jʣ1Uf Q$ WMBBp^lr= *Ax' ;p5_;F.s) ٖIoǐ.p-&2-fGjb](Fa4J$v@ڱRtt"}raҟ:WzY7L-R 񠍙&ήbb`Œ"W9$ڍhrW됹}G7z f,&*rhF#7HgLM+{gsXZװ6µTBs] YiB =A\u U>>롑`L r-ɷBeC/G: AzϬ/:H,^BSr6(>E50NdʌS"xf.g7fѩj$a ?4{c9BcP0^ o cS֙⍿{4 LWL3SlK,6an@>[k'd =]3VK"w1WiW9gZ&4<+NCX~hĆm4O8= 0gO!o6'A@E7HAqj1kU=T!@(17 y$R7堪|@- Qp] td = ߰Ija*!Ly=U%hM|&}|B®gXL`>M#jk (~8n~oITP*u֎5*!$>&(h(UGx&TrOW8dJU0A.`ӸXn7hN{*dm]!F^EWS2ɛ% {'jz/a%طlAǨȲh2!/ ގnԿ.QUb:8żU~F ѫcGof^|RiHr}1^M j5|@N֐%YErz>έfajX4|7,(w=~8T3۾njz|,B#vKM0A֟"iۨF,b5UbB^ޡ V^1Xi-)x]A$<##DUȟ͚ cJ.hդcO\89 r_WZx5|ŶI-٠〾[NWt1l. &O^D0yMSTiehB5 (JbPVc=ܪ  P4w;0,rLj6Rπn;p[)^ktaQKjl\ 4_~@ZTFI? aO\B&Ho f'p yǎUt+~<C$N6Z6MW1DҩX爄:` 3KͣE7"p~ݺ|BCí'FV1~) MW ]pvZWEOd`tJ[0NG]}B2Weu|o\|m9:jB`L(HȂk`r Lfbur'k5$`;0a|,YG9_tK=Pe!'_ lfs&:@Ԙ aL7וW`5-h#t*$e_Qf~Nd+ad~T(}B/q^  ? + {!5k2W׆=f3G3 d W,l'a7Xn?;NhcGw΋:ln~H & Kz`+6%1wkUaJهbq] 67l14((Ec wZ&ύ:`js6 bm\B5U4g=TG(P˪A!HGM؂;]R!*H{v7P, b3S.^15?iY'3!ͫל]ŧX5&xϲ(s|q+*Sh1 T>(eAK}YK UR v@&[m/\޷.'l;ߣ,YWJΛpIXgzs!>Fv{wĔ p$e7#酺x?)^S]C>5e{. \TV qWuO@æJ{E<Ԡ_ RfQFҴr5s7V5si0i`{ەa5M`=j \zI E 0@.}5D+U`vX快ȫ3T*"ɕsզ;R|}@/j6W8h`u_ɱ-h…jPYzv#?&L9T) 4]5>U\mHct5H']k VeԄ# ?} h6](`oM_}ʘ = _{,j@ףѢI.ݘ^R,gnw;#OYS9|R #4ѻ3-gd0wtdžV4ʔZ VH&Pnw8VDBun%;]貢c!ó\)wl] J+>U0埘D.әZ_+y@W4ZBۃVmݻ-oz{YВr<$ V4XϷS5!3Zkp <2V(X-.鹤1A'pm Hjך ۞$ׇN$,0EZg Rgn *ˇ"=i1vWYMo0MU iΜtzhzsvՎsz{| Y1t>BL]i|`a>+?Pa2Vc7*16ֳ{ޔk Tna}TBiʬT'RB~] bB?Hdmɸ#g$[R}-A&6 nK`$jsBypn].Ch26'PM% ,x P5_ʍH n"}Ar}/[9PVZH*'L]^i[bԹ.EOjW]̱P!U+;[tVAf9Ýګ'FMn8X1Sb: -WvACU e%Ҧ4;k; +Vn6m-8_pkۙq){A=dj\r0 ڷ>!`c&K.Uw ?x85 fXF`^(|'0%Bxo n, ekI2A;i t5 I|O2=ݯ^޴D !]GZ<??hp ir%`_)[7,m8 ՜1[׋A&1M3qu_QRq>.SqcpUb?ٲv>EyQU]M\ZJ՗WXZs5II8fȐFFkI["QZM[=F57lo/cn D1A̧ (+tr ,y#6_UepkV`R)[; }(y9x Lb1OA8'U~KQ;1lXzc3i;[|><:E*+os*8 ġDw@g8,A:$kH1X7[z|\|&sնmg#ۉbDt-&#lE!泸igIDoZT|Ti|.ONžO"/~)dAU޷3of.{]5$=`8*ODT1C=TME5x:]+Sh; P;z2 McBQ$LgE{a,b6 <: 6bu;i)M $IEDOSO ? :ɛm:Ӕ3F5֓7bRO5h'/[a^"fGKcQyI§%Еx&jܰ̑#MyM)L3+,iMCok%zd ^л2 H3P3랂k{1WyΝ^ `"1k^@qVrb2\,׎X?i},ay:?n#Ĺ.ɨ䴝a:Kϓ{ͣ/(Ry9L zݳ&.mT|THyC f幥Ɨ1^h8&;]¢G朮'͓̊t +qɆC,:hJRf,i^˵`U(vP\.ѕ$e|l~҄   Ԕ6UӣS) YĉluwcudmӔ-ԬTٲ1M2eƖw`/N_Ye;Z&AI!k>X44P)4Z9;M;<\[;au[Щ$ TJ.!-j htOۆKTB0&-F,߁VDhhe"`!eCA7U(#\CD# Dr:IfDP\9/Łq˿9"Ryqfq!Ac$l;(@ 쟿qNrlz;fC8=Eu7wy VM|"o)Ƃxcݞ!Fi`yZaB ʉcf0*ВdkAed~4nڈL$y6u۟pbu?ũp|5O M sX>ϡ ^l{Ҝe<Ɏ_R[<!m:]lɕ}?XXDW"Ϳu:溦 '5G٫˄Z ^mwuzkY 3#ێ8Q-53:0?c}3gїyճ[Є@qx}!R;M:up%CwI&632j6ȔZ(Z{ F{kh$<7(~$<$.iCOi/ 0CMU@"xYL +b䵃@ \!%:K"]Ld6{߲4oí$;X/_ti.p7[Vh]`牜 7`.`?[@bDԎ]/Hh['!XO358+u 'xUk5mRgr#I*䈉 e.̔ E K@Y츉bgS7C^~(~Iޕ^cPeA4X0^aDna8 @ 5=%`"Yn m7_^-\V<*ó&)MgYZe5db20a33169c6f3b6ecfa5a717c5564422c69f552d50d10ccdc465a02bf994ffa404cd98f184ab5 894864dd28b977490995f7378a440f9a7de17a67 20c038704f4f82b1d8063d9a1ac8bbdfd4a8639b 1e627b2a97e2456045b570182bfb6f24b4b9dd1e 36d4fd29316d572dbb79a28c0bc1e3ac67f5300c