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$L ]]]HOL-Proofs:threads=4elapsed=761.948cpu=1672.768gc=118.688factor=2.207zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3#O YeFjkcj-md/ͱqeH<)7j5z:T=5-j#1DxȣI-^.T9=%$5%ݖBLkVXiYI*>lg-!6RV/Oiy^FPWѝ1l~8t:5nu됋oU!da`fڧ,=Y"(fM2~YjAʽ ( 7-@H/%qbX;UӷbG&&CPVhRsӳ֐CzR\~y-ׅ"~^KXД##\;j ?vi)q#V0r]Dُ 9;R` QkOG=bF |C i]#H VSu}SSأz] imgggͫu ` 㒻,^ Kr ODb@FnA+ir|G'fAňV+ĉ6sE (<PTa&q\ Y<a* ur` Q'ucͷCɠ.0A_-/?,IzLmwjóZz^e@utK?,} Cp @*׍ _pJ%|6lyB{{[:9;thlf*@RF$'?; Jxw)Ac ş$ïJl i8/!w%r $-0 @? pr 134T3k/7E8,TӭF'K ) ;ilب'qu$w P;T/S ;Q\_*CJSQn>j^ńWVkL*OOŚH#$~6N-_% .dz5Ur.=kk #D2:5gKYb@jˠ1#˚<Ȇ%4ĶHR] :,C֎oEL3KRKxcDGu#'l{7X^ь။FZ'w>;|qJi3ÀᾱoؗKw,%!:\m1dͬ?GF2< u_%z8x-hFXt/ƨ$ݙ^l5Kݫlx1 9pV[ Y_;s6|r_"cYwJ+`d GnXtov4Tv4W&RzgsMdnw~xhp I0PDB%1QwY1Qgn[$Z͸X!/̄}BW"}\/UŲDiksQzFk׎bH3ռnNd\ e] [aU~/ gK v{7k)Ed0X|Cy$xϪ0(Ł%ғ4ӣ~ eIF` d myzDߛ _V>=yVDh__STzR>FFk̊ԅxz_*mG--=v -=UFWhIqǟ廻3^2HFb=g=[O~l[ M}".D1  ! HOL-Proofs  / ("5[C.?7|~aaiHfCT֒XPr:9'$K-ʮi'QIs"+Exp6ޟ}A:` %h3:Buπ'yQ썒oJ7rOLkS.VoZGo:ib=#|ӆ+뢀46hNŔRY}FO~{)Cy}IJV1j 9pK-ۇx7y(68is@%@b ֺzyb#1T\i(#mg>"5p~O}D{[8^.t61u;iS9\5k G5'zhԅiq0?z/ \3 ^U|瘑 WsE Tź'/[4eIcOX&1D !]KFXYw~j +͞veJ 1QB+T@72T;`xQ3'_1`YfhDG3XYpwF%K,\2!o40e^}f}>UrKtגGoGeD 9n|k; gz bȡgDiahPT^u`97KeN2Nr2mQ"`{t, feSZv#0nz1/Y,"sn>KY}*k}_KSt ?T^ /PmĒ~]4xn+$/(Y<#}{RJlC@{J=/)lAxRIPMYGU T?jؓkAL+C y&W49Z;OB6u+#EoMR-z+-u&ɮL&xGMӂ+oAXZ^UsFp5('Ec5KZ* !W@v]%z7;v0 L:6VFѵBVѶg_ˊt<bQV @,=: hܷQbm ю[&:\P?8VhqqK(j>n/t17sh'.=UZ$ǃSqꗽ5IlV[e2$삄LDTwjg1EyJϮ{DBKrΣ E+;XFB\m"4G2Ǖ9&K!"FM)RD6#d*= :Y6U¸9`r/£Mz}5CpީhAd#v+d32)GlWS#* ovOb_嫋: $1|JrblV&\ ̂%2yy%1V0,\Nz->y-yJiҙ@0`[2ٺ{##lE,'&4t{ .o俐miy ʩdm `e_MxMQF?KWZ{Ajz9F %ЖunXtd%Xju篰i)E"5KJ X!zPŒKwH:ْ*@\Z{*2ʩȭnwToG-/ duRpfzFחMcA0S܎p8שxf?Xh$cF~k.# QP6 Y_$0W-ȇ Fx_%=~U\U3o'\}aOs}> *6zn/Վ03iFo6-*BȜ=d,Ʀ- my]܏c@b1>0GP^cwo^`Fw)*%hr+`|/-|'8bxppp׸zF'B":(Q b$l4!y,3E O:Ek ,ɕy"FR՘-1Sl9t{`]e03i) %(_]U={fR&] M~/ַy:!&~i#;m(5ZJBpo2*J/HanqunNM3y[ޮ`%#CyAjŎe)-;PJӘ2YaǺ=;UY%fU=BRd~ZiˣAz(lfALGY0#P]s-jI_n5bg >0EK`f.@41EM!!*XKZ'ꓑvx;'ß>%!WfE"f-S$ӛSa.tɛ.}_]q^(q( m&ITPKmUGulfMiD>$vv C dʟVgSJbx<+|)7妚%6ڡ`SM 8OqJ8O "Xjɤ+ֺ8j-7ͽVw [o0 ɻƲW;7)i,fq\S)Q35mN05uFpv逛Ħ?]C¶-ZʎHyYX:]#Yӵm#]mh9W(XU=k̐+ݻ*K $S6d-_y|ˀJ VklxZ= I v?YRj׫P@̳R Ifco.ag.p ?]"桀ZdsL\%T D`lcba5 PFKNj%GL{uQu2)a;"WGax%}6wGr2Jo末[#@ hSi2Ca+p$_e-7/_-arFZE{[q)|!\ ?Vh{ >Ν1 BXpZS`פX:-r,W94Y!JX,#Le_ OӎLJa#˟ Pi6%Mª>궻%+eBoڷV!7(5۸$̮md9A /Sb}\A$QɇWg uTl^wR?IAm.0y">$x_k?h;Ѧ_gY66jl>|=llYmq8Z0SlZ8=$\CHI~2["~oMX28[d[Π+3 Lz/<ʰWyL=I=٣y?LnR{>ؙ>QBdNcaBɄ_ݨ` ؓPal[0̀_4\ʣO֜T.?Yn9) ڲwib_S;YV/ӕyn|D5^K>E&Ud r2Qˏ('1'[6!>FG^EGg~#:KV`zXɅ]( .{D`b.)<~oiE}h)97C6wc{*oa^b)D&-6)wBS/Fӷ. c[Fh^YֱQawoC/gRakބV=ZKl>4|"aJ*?MuXdPn7OhhS]L ~Eh54q0ڵAϲ.c9*j7jat=ݯㅅN٫P:ӝ| f3jo+LFpwr2ү 2b*gYZ7zXZִF! @y]ŗXi%B6A!ng#*D+ w3ZJj 9ʊ KsRPv6ƺ˜29@17KKQ9>·F G9b|JdsE&dѺc $f1O1;nu8!h! Bu\=: gVa= $~HE)Q(BG' *I&֯'%:md%plwY kOlS͇lg'+r7kAs} }g54}dE[ce ɑ)#-1Hk ({ٓx^[m4S! .HӖm "_cR7_<ӂ=_~ńa E0_+̮lJEӠ:or`y)6{scݴba:LL7'n1'1kXAhʚ;CZY||3 GgMɬt+#i-sݫҶ0mNk#i91 @M*%c{[d h  , I*n/M+ѽ%l"n9)[8L-Ӄ71QT}>">MgiD؆eSb8ՠSj-ڊ m$w"BqdyZzF%'6 )T$9F5GIQM$0Ǚ>)u3D JFzPz<'^{]-_m#,PeR8緪{gu^XAdAu\]uA[jzGb K|Q|~⎦G!fnu `exsU.O|c+L}?-2GMP~R%|cץ"[ѨO@-2@8:PPȾHTfy&Lʌ5X ÊC`ԽZK"y44Iw`-io>IrL=6ˈM]`< D+ hN`sqn$0N Xou;.{@#W`TS0R؆gd|"l-d;g!5mZYi*'NZ͊&ppS]7&HmWG|Q>Q _j;F<^߳VZҦ]%Q[L|`E$l1X<0Dv6[c(xF 8 ._q7Go+v>B-{;`â@񖳋+u@=`zSg^45M7b <)ǔ\[/a3QítS|krc!nS:yH}rN(}ַL4V\ x`FstvK>D[K[? 9|#e%+e>HG,Nfb{nkOM>Ww~9**,%A箪 !wb#z"?9m;lUڢJdRτt7 e{U+5YXNk~,yjܧ.6/5O n|duw.B5NշӈD Vb"X5A'z_6%F 4 _|!dyed9{FSR)w8,HmVCgG{{n7Z/:5U;$ȫ>aF▆y* cLlK^U9Bq"q_8U Ze F|;*k[N$Tl/9[(V!Se\$ddږnkIu#ҵlJ?y7?l[<,hSjpj%pξs^=lyprc e %JM2' P‘hMn[H- ۑvvԄӬzwYߣY{8 bHiwQѠ}b@ThCUy-Sb3p5+@3z/-F Ix^Qdaf:·f@gGnWl+?F8{q6A2!/D%v R1h\&ySk- \]c _B RzRwWҊ"b5B<9hXRHL9aj`>Ͳ͆Sw5"JSb*8"n?Z`Fh>Je+9xG&c?75Dc:v`e5LjbPm+{ (;F}f.: >; :o,A|9Ǔ|U8 E&E "Ia<E{ t:c;H={jL& *uadV#FƫT) I[?^@-̩Tz},=^ntH P [t($òTLe%o\otL ,&M)4eozϐYv0o"rb%K-8aQҪe~M ~Z:Un D*@ {s{Ѵƚ(_@lZ$roߦa]&J&&HGzU!JvɺR}JF>Br;=,˽h^ ӖX_œ]gv]G|s2XR_C|]eZ d>7K MLh;p段[;{JWuJ_l';us⋸+59h$:%RsR)E'kO$N0hX1D"Xk4&|tu>Y< +vղdED ڠÑ-Rsao֬|Z}]%uil;.]&2uqmcT̲5R-Edd:25cZYRs?gXSIKnv82֊-K QߋZAȸ"(cc}ZӔ`i 5+_@BR>rL< ,7E_lXї}EMIamo7*CM Z@qOJk}ϐp(QgŎ:`*^@z{-3w>Q;/L{< DBr{ ^JDVF-p`t1n9d5<gzPqRPJ9֗;f4{# sDc 2: N2qNTVժ7mOs6FQ׭ fנ4U|?jΦ[^qHSY"n`5vi E1M\B+]Jsv@tt7#ӬwgB[TKSOΚWK17(ȺIxB-ka:s#V,AzC[ih(r2O9*™|%1!c3H.5?ۺ`Mg ͷh\ fxDXƭⓊVT{R7aN>ثbX' 6 Q! cpC.% ֖'$Ф*7ֶc aJL;z֒H-4SRKmeg3QwUW/^9È*}5&=+LJe?lĿJ[? vg\Ӫ]̯C]%ɧ?zp[?߄ Q{AIBnxþ^C&,6>gc1.-Q vÙY~ }qs\G{rPdq!:no`LYa{ӎ}5ޟhDE1BU2A[Y}56` L&$9xxY9 rI..Rŕn4F_v7cet+$¾A}ԻterXd 5Dyg7 go.̮B$,+ % 7*O[9ƇPy!Aoh+]^K&T[,)xE7pE;[y]7̬2! \wEkm=!@bRHe RRLЗ5.=+tFlmuz[oڀIo[~o_5]EJɘBQO#{[N#᲌D~R~]YÖ'/b9x4[C:{ VئŊP:cFH:_%tu+%,CMϷ6^TstW(`t-^$=gRj Z^j@7(#+Lu 5ēd0-G꒝b (KH=Wq3oб @ ؑ6y0Tnbv3!4l89t7 dv07ݾꑡXre|zQ'DD6 '~k== "nZVG`N"7(Mox`B^s`oG2p)ҁ=ٟ.H4}}{J*e/)*NA4܁v<`w}R>eJOq@=ā-~`kM3q:&V(5'8E֊<^|`8~L(J!i% Ÿ ))ױ|j1}Of}LN"f©\p@aO+L{*zG}#Ʃmr RVFy7h;kZsk% ){10q b9?Oivܼa;f0!Q홬%XU=C_k(-ZorXdNK㞓[X&:$AT197ekhClnJ"26(%Jz{@H-x`~#P9u]x')}k#7湚)a0tt%{[ TmٷADp ~Ҍg*`lD|dk2CZ_x 5\uRM=_Iҳļc5d?Q%!6^##@v#x@*0*F8$9u7JUxx‶[#S3^mL a~{a:rc@O0Nj ժ@SsE 9);9Z9nk$qfh^ЩD=8ٷ.O`V )-+I(_]0c؈cMXNy$jJ9Ff܊mbW':wYmdn@jcEW~ ~ eB2Ub0BQTYM63(GAg\d"z81B x8g!Ii tXt"pML:#Y(wGn >lDr /$}0;~?D_j(_4fOHO)G]SwR2+Pȁ]VF: RLys4 G4-hHDԅK]+>Xkkzc>3Z5$ċĸwlڀ³P5) Ʈ͌Lp ,aq2-r-_d594x BZhk"J]x^lbBf8nLO{ KVwlR9eI/ޡαRsj_`q*204WH,x2.&E:#jPPQ Ys%:vR7ќq`P*Wp6 ׍`d %ǥpBrx'+[ *X.2Vs?T7 '^`M: IjSvdخGm},TӸ`HV-qOjl?4[g)9/w BgNP.; "S\DY˷`0~4.̆I;OT~HTakB WA{>??8𞄩҈28[xOvkAih{.kš+gZ(_xsz-ds&\Zd>,YBV]&b]Ͽ`HLaBCAñAa+ܕ^z?H-p.ײT2a2ןr`56pYNzytԖE=9rd ',]r{cTm($Yk~|R13ǯ6ymVY!HjaZwh涳h;SHYz s6߉dM:#sc|5Sswp#c23G <yۥm}Zlkeo&ˊcATڄX|fV9-7[!Hs"T?רxWJ\FZu)G[tu6cjMA:m"guy׃*όUІ@B[ 5Ow,?EBIteǣI>:AN#M C wn%)/IIgLI>uAْ %frQif͵i%2͑})qqttz,¬Zib6#jk^#u#D>2RiZ:Gu]hKt:Rޡ3iH=O(]gh~ЌoM]B>S;;2eJz5zl鲇IZgA׍s}7C*d_ 4kT Uy`U;`$lIJR/uX2g (| ]1_s1zY{N !g@I{{=1b׮֩)HӤħ۲}>n1'\s٭':;!j*?(-kY탣Ox{:\>Tv&'cOxAY*u~W5}))Z%lg,tG:ÁCR͜Z 3Tet/u\Y0?X]0) kQ*6iL|X21ԮȄѨަ¾d':ؔj&QLe*'PuK|赳k_ʘVyPAzfih͢~V^ЭgHSW|7b b`]yxL.N6 j0x?,[^\ [|>; _ːA$$*MDd9e>mXqA *ߝ#-ll#UTe붖-rd1Ȑ36ãͦfڶCYyIXtaBГM\n*X+2p uՄ6$B/b&(`>$[,i= Tw°ghT5h֤C2x JepX>YP;ڶG*`|t] ;`SԚ/[QI`< R&N{ sj+>9iYG^WY"c 7Ǘls H[D}r91?i˝z߁Hl)N4>@´I1 >N~u4Jt{FtwVCYI@IY'^ݜ<VRbIbG2̓Z2;m4BM`f.h۴'!Ŀ'f!/Y"wʠU4s${Mq!4AQ7b2̖=,A1S h#4s^a qw0XRăN!V X8W+Ο^_+7aH {L<D$jLWԐ;W>zi!P(:ٓWǶY_+̒cz nYPO{+na2cHi+"p[*R;T<ѕhhE|t^n?k-ZC ԪUtP#Ȋڹ. WUq{ɰ!>z[>z{٩H"f_L^F^i6@@EsŹ3rv-˽wOդHp~ {aMX1A3d~m(xN+=_q/}0Sި` ?C LF򝌟 l+#.XW2FIfs xS"CR8\=[kV>zYX=r2v MBD:|@#t~8&ιKHͺG3yQI+ O>m?J;͈>^7$mד t󧃊#I~) Ъ,PAg< {}D>% 2K#nViMNXQԬgAgS_3UN;c[g爙1$ֲrٞUr4R 6qG϶=:6D BQ yE1/菟 {u론$е^Λt&X'|-Я=&fPy=BYdu #?թW% 8 H8BD͍ $"1h](^1{L4tT3ƿ*cX`4綳dxUT)E5 {% RknBM7d**qf(+Dܩ-{R;8۷&ܲ鹦zsBu+O!8'S4-]QP 6xy8:z~@CI.(4u{-arrlq7vOr+PY\[XqY#~j=֢Pq)E%D1KSyZ5.^7$3RdHx9ӄ\H^▯ҟWP(-5 ~_i/e|rvϙ3tl zcΔƝ$Se lC+.2 su Xw{Toyцd'C-6 g(iuBJTꝩpD{6N.wCcL*pҶ\ VaL?\/~؞c&_5ܞga:93.uhIjR -;UEsuR|K-^b; p5 }"Y@mQ?VR{TUL݂YżM$v `EI+/\v-ZDW'XnP* ukTȚ䔧K^X4ˍh"|[L4rmªt{8yQkJ ڶ[ \c0(,b*zf.%g:8SŘoF9 _Yh _iX1bߏYTmz 0ʒ@G^T sUc7_xk%*)fxSѨ>:nM$n`auf7N抍=#_@bP^_=x2hrn% o5D<?|ٵǶi^){A-yyP!鮊H{j?6`S 2 V9]!Qixo^;G4g-VJYSkyf󙨉3$| WegKIcB>(b;#ʏĤwDq8ا 2ʱyb/ȐDq4yIkkĆe k~T[{tgWŘJ҆ pR^$A.1 F9,b/ͲNV4ί'"=ن\'C wȭ@CORQ;::ӑ@I;s=_~ jDȿY]zss%-¯HtơP(Sc3t$3dQb5"?Gѿ,a/ri66[Vz.}dPpʃ:Ia"MT怸 )^]m*)I%JMd{UɆ[s6W)x?tn7>J}x#K+a̅!rU8ZTgX'Μ/mIzrQQ<<M7{Ő.Â<H1,?9! R^9̄Pbם@Յd(䪮 CF%oJ}ADu';bJ1D"Z*e~uv _ y@dʀ|6)gs1Na*NvAO@Ç8. p6J(\pnL 0,OG6:5pEi4b>+}WΉBye_̢HLmL uF]Qex}rRy@d)'slNCQĎ}3 7>? wK17QpGpNŗ;v{O1r Ɨen W}υ_8AAywg84_?:phA+i&IH-uuL-YN okbiC0>rC"~] fF{m+cU_Nn` vM v 50\[y])chv/TTT@knRŘ94_č'ZWV4[L@KO|)<E P{dEr_Z)#p27{n1j-EziƸLPv (o[`fj֍6ZEsB3j}O>C`1"{ţ6M9+Tޠ X>H7(j!P:Q6УlR=5¨})1"xz8v6_i &zaځ –!_u}=~αB88K-]ڠX'6-Cp+$&?ҍ_~aTU'1 Oflj.tg_JܘӽךzmSɣy%nī~Иг &rr]zI`O7:QzKnh?8}4|s\ >v9]'/~̛ZYxGg-Yf5=pFJ5?LE[b^}&$*[ƅ;-Cr'e^g{]\8D E7"qlŞ \qϪ5YO51_+!?}. \D9_:w(/Ewmd9L_1W_Þ}Y-V s P<'-t 4WI㪢[KC4kO+^Ҟ-z}Qt0pUaِm<Ŗ,D@hX4OůIoocyY R~C۩[[,=8΅=JO@x`5KO7 \ &)LHnQߚD}̮I }wyV|OQ_!yu]νWC? 7% {]x&lM"IW!(SvU/ߟ\',d :o-lg\|[ycyΦ,<ϖȤAe#D5n@{´CoO3K8A:`#ďqEF'j 3G=3 %ܚ۾)c*#0/hũc9|sR9=E20u6K<[~芍&F|Pb57Scds|Qz~6M;P(R1qXf;Nd1VtBdNPo(R3L좰o5V&+  %3YG:Mb]plZ^+*aƝhDWx3EԪΡjR4Y ?QE6Xbν إ9C#GQ''N, [SNʢi';V5x.Ku1J_Y0@)l-nJ}7,8-;gUfm{#M=+*:fV?T³,Ϳ-zd ppLф'ӿtQkL7SݠKnC0sWE}q5Ϊc.QIC\Q)F$)(Jx)?[kQ\QGsfbNٴyD "޾9)$kw}wY ,FJhV-(QN.&#yqve&jsa=R>`e N$LYq5dUtƼ $AŨ/+nyt6,-Xs0Ǭ/JyoIC =os( Y.kxI ?N:TnHld1n3t]nx.VkVs^Tߒ8}VG;9KT[wZpYCJݨ%QNxȗ[ka6"Z0x"Hoc`L DB-D!1p*]!/^k2 Nq-n=k7TCQJ$CUm#5" /;\~7raJUx ѬʘVaIKw:t<<|U7YM<0\;0lm]N6n{SՊAA}ʌ pЗ'ɹK溹]N N(gLPІXRЌ\y mAa?{qNG ANN:F.;Qt)ʐ۳S QS審7?rm)U~uD׳~7vkvnJ9Dz^/ #N)OIW V#BqV79`-{{!+"ܓ_̞(U`\r2~P:H)+q,.JN8DzV]^o\^+-LT*YsPsIǁ)eMxVTܰjb 2fLi%ܷ\ k\7jxyLh&5*~߭&8.M 雥|^ǃ'{\'<-b5B֘ A|ӝza=¯wEh>2F /ݳ~]<(2MѹD7(!,WGb+͒>AN0Ԃxp0M}>'N^Ťt4j7~f[Z\cȜ /$ѡrVja-+ _(:QmF%˫ޒ[], KUӷ%L|6z/eܒ`RJcb+aփD7yw~*0@ C_򌴆%!~Q~R4[0HRXaT%{GO%8 *9zk$|R$IZg_1ͪ9q7,ĊnYW7_zKBݱe|$U]pA喈ϸÄI C]C~.|kmi@A)uZTjX ĨSl _MvVm] Z4k -LJi|>6v 7v+*.ћCxu%#7mMEۧ!`GsPoVhOj(UE"|l_ufكm1U8i=7P,0O5`'1μe# rGiCKL5%stX_](1h'JF0DG!edWsQvC[jݏĹ_e| lHXYR⚞˙MڅĿ69x$]Sp=O r{ h zB`]m(o!qo+ifɺ63b{vN[CO!J32͝/߽7i"z35ZH2 #J1"jTarw 1q{uWqnà2s+ؗ~1۾rQ˧?OLԽ寕gzfI?B)SK]B}ٱ?Vg\,uR짆I8n-\sB@D|333AoӚ6V)ˋ{ ٩=sXY`-6)oÒ?CeUlϿXq'37Ke@m}n4pC'Hv 3.ٗ$) 7U V3)ηw&E;#ɘ1d\ σ![ &[z(XJ{/G.{$+MOX+$_# 65JQ~DTHSjv= 9g,:6\]rt=H~PXe/!ts؏b3N^3cchk6Om+]o}V Iҁ? {&xF~8к.ȥm`T ;fB\0,>a'|85յ_N*J1 +c'w|$շHh>}!R vIa ꥧErhAܸཫ5Sc=@"J/K٪)S?#+ʶvolXӉ m: -U6 !C(QԆNCLv-2a{mį!bB`i oSyDk0ߞ7 :xcuCt73xqu_"*oWkYu!{yv^(2 bOqF3[zwȷOeꅇh)聧=RD0v{'B߲]\Bx2yUӝh`鳸E~ԤyaFD],95?feZ?v 6Fۓ[5Ǭb(l-Fc`gx)!+Uw#8tSVg #8bCyb`1Ԛ^H2>/mDH/ԡ 3L5&,3Js_|IDZTcmBTȜinZ>)eb&~?xd>60_ T"\W~5]&d5ja0.)jJF <r21Ԝ$<>SCvmQvQk&JP. E\˲U^湓< I'wQc(Nm=Do* ;lޥHϛRh r~+pb߈OgTbQ+$33?uXSoLZr)֟!DTqh:2O.{V<׌XN鷟RJ4}+9=Y@D}GIVq){GB`uw9B*w&u,M`ݑcA%:A^x8WH{B*a«=ZEFQ"[Pt3++ y1GXڰQrC j#EK,L auܽ%<UΕ㕀 rM!l\ qS?Ат5pKH ܺfdn:v53S8D{#onbgQ퟇k7B[iC 3"?!td6TzA,^U[P 2Ew7yV|"i"zO*H/ c[ EܠFޑ KE BtwX˘ W}".D:/ʉygw™*Q4MD)ZJ׍AKUIk~O3!j *.Ņڊxw& F)y۲=ȶv T)2T(Egiv3[|^>' 7fOꜻDtYQGF[-e)J8Ia a=wݵ(;Q 39S{na 2v?i;1kfu|ʋXغ};1xRцsjYNihi&WڧnTv-N)Op=DMX"f?1e=0\LhJT2>.3!=z.͛he 3Twދ@ym_@j?_@mIϰS4zeAŦlsYgqC|6\뚭Md趗̑t}r8bIl+e Y-w˾#`e'} 00A.`]\1 cDp(>W PۅjneLJIC(" {o2B7väiW.80&sd('oy;VoPV ]o!;rJnjK'֡;v\DLܦŵW9'Rs2E@e SE"RUBb_tCE2gH7Z80OvQ7_N>q0Q"t}\'XI1l$3Blj ̸9Xx{;!dvxZ"z \z썛x~͑r29#Z'$15J3a(b5!kS'' /lpۇ<;r fã 2J>%z'V U}cTiACsP'>I{lBG1-goEv?Ҫ>,ڗu˨9_w|m?@SW2򍮚HM/|yrp:AVH)hyߓF'֪vsgY$)O{b ( ~b,8ġɍ؀S&)-Xa5x}%1>lg߈ NOZNC"זFXߩ~]-޻}~U;~r[G"[]ඦhAEND4tjL,h-˯"&3~S1Y@,|J a;$H >p,a,GhkuSfno >1[Uh?1R&mIRZQ\ױX%Q+7f}RU%$b|@nr7bPqvLdXK-<+slU›HaoYpw]QQJdʪ ЖPQABΎ8$Sp㓑'@EmذEet6k1jH DvYpA'+ 㠍-[­yCs/&&?1NDOEjBIgF.vTKzD?9rLkmmGDXNV)ϱk!@TM.{|3oX𱨆c Rx5rbáU]AjݷXIi0lu:aDY*k {Ո]쥠>:B\+=7FT^o`H![f _U(k, o3^k!ƕk8BlaTeXD @^Cq#@e+Y .)'ҽ9F^hSEZz"' b/41xQ_6K^N^ns҃A׊ky}G 1F$Utz6j]qmlF&ʫ8-Iشz c|7\G`8]R"]z*[ýv܆[[|FbPݚ{6<tv;nJ0}ߣMJ!H%Ep21 'cMU<}1H~yx0| Л퉄3 [-YDZ3nj _,7F; į @L LvlA6pJdliMEii2&A r^Jw}q4+jW0'-Pjg&oPə[ ]\khq?030Ӈ˕y?i 4>D=Wy (`ԶFΈ>Xθ2$ߐi{?yH`l3$givl[+fGp8yXMo Ys/1>s^uS_}50>bcdXt)8H|GR %YSjfڹYv=W>.- \%[j(V '.*wp,:]tb.aU 5_geVɓAκO jlB F{:yYy.S%vS'_#-.PJ 8nquamFUkD^lحdm #lS_.Ik[fBXS}>}$C-m3y8wM5.bhLtg1umPuk<{5kBuȻ2ceBP8彐7}ղU*P؆{"+)bTa݆%N #̻Ɍ8i%.#>D(ݐ3/JVd"XNq @דRWm}1Le($K:a2MW+vVu7 79.p.R2t]~wK$ߣ\N 4C7% \.(&y5z*1JJVf_K7и^!L7-AWYOF~-PV"X'RgMB,A];e{ZQ\ЛXvuK lSڶrMт lO{WVܚ%oC 잯 vh 3&JXD a-ID8ɢ|%VaƑ ~Tvz#Q͌ظ7R }cy=F]Xq%hΩ{^1aeL)ZVcc8aGJKEE.s"lWGXȂʮڨw^/PiRY6o0V1VI͇Yqjo$mNvv|ٿ3 Lpt0%Yśj짇8BQyN:F-s @Iȭh*b#2b|z2@( n&n WmyU|Ywj8ѷc:T MhqrһbM䍋oӮf}gFN10v6QwwsS(Kꅦ (Gq 0 MB~#H0s3  ҵֵ-VsfǁoXzJ/4Ķo\*ԙ]Wn̩&<*cOr"]TpPht Ҭ{ Hȑ- ubc%_t #"b0C]}I4]dYQNwn.BAyQSʱ.w2i]*+oSQNYwGW|wW1M,bDf֊af JHp$?yDU9(llaK@Naw' be<ݖ+hX _<(+tК\" 5.k\*)CxD?O!'g i&Z2aX#i70(^+D9 inlt qia`qa=h)62 %E |+5ºa4-6)(FQ2BfQ+|_S`)~~{_O6F g9VpxH|bl<>0XpFTMs@vFXz0=l)Lo!s+",H0y5(Z/MtkA5GF#fB8.7{Grt`a﵍M< Uv8<5MHTBg)c/ڛ*%pHe&3~r(3o_ ʝ ?ŽZCbr%EwӢ*: 3uRx3\C{׳{ټ;:T옎jNڳE3f5ALٕ!ُ= -1.D"F58 4'Y{3D#D9 30aPJ Q &c 0x/E@2g\ ~eKIry/N@(7Do -8C;G&=mU(.(푫(ҜQv0#o+.xX7k-r26z$@.t\2cQ|pBrK%?DuG[| riI[XGSLo9C߱6Fjuqh{,s9U47t 5p:&ܖ9XŞu܁`eڷDFL4DەZhkI[JmvAزpyBVl6& > }|45K)&^R#m$s!%dݖdwt4kPX=P!#v|AGijəa#$j< 3cm Yf0rX/;'oM{ܦFH2Ht,t!*M򬪁b$NxU Ðg|/y[a$RO}"]ũp:N? ~?]Y.cxI5e=U}1JHZ=Uv&mQQr['6Vwm#0Kz,/] и+F 9MHrBq l/?I@ b|dz*oNj< ww9u;o<,؇_E1?e @V#+~E2u:i:&jcx RAݙl%mr#aiE⡞w2~aztQz'qf $03 s6).v \)H:bPx0#J땣4ls* -%GgչR qIpH箱 9l8Qlch#e%Xwϳ1@p'Mi5ˍ Yߡ=Z0GpxҕGJCi[!TSW ~>U[M{Tu1 OW|U$OoUzx*34X.Io_CŊVX$dK&fqfZBw,8#䨎_ni`BT{c:S_sv EEbeo+˴K59]2F&u6FeUt*K[k_rBUlqVt~'Sƿ K%'J(Y(U H8=u=ՅnP8xWSp`iP$}.'yNs:yiaz6C} r'*UՖʻ '<" "i֊S0jbgQǧV;fεNyfiGMDsZcsd1 8=!T%ppF]܆!K*Q7N"qjoW!B@Vӽ+M l3WHmJ"#Q /hy6]6O$T?-kK;`q%iyK ;=Q7:c4/,c 3JT^Vbe'7r.axnMرau-pK!ȢKRDM#0D@f=M -Qz- 刄iJhJDXkK XT"?\@5MܼsH0FVd06HF"ƛ5srj<^j,BZC.ɼ(MǢ^ o|%!µ\!>iLs$g]F[NO{WYعFs_7yg' 48%HC)*`׳~9CA __GW*t~_NJD8T\aM;Es^$p y8kfhvzW!QuFavվA2}R^q->N]>#4y~Nv-Z2!ޒjdcGvIT%lk<]~U]MD:1|&\>WK]U2ˢg <˶ t+*9MUX[pmgu1?zy#7 Xe ߲WpLfkN[Y綤SCZL ,g9zzR?UU:4yiZs4*^$g*J ̂ɋG޺)78)aw.ճ:.Rvua`&OlfQj )lqpcx, ?wo`YNR600+<Jb ѕݝ)FcYIwxsJs_H¨f;8 '(hS~DK0Δ!&kB\R(|,+Lz7:O^#B0,+kŵf1i jS熝LW mψaae"XvQ|h(ԇ;jJ_p;L_S(>iIjBv8J_{)ǹFH-"7ohDT,o0K\\dރ?utjթAGf s*VGɗ/a|Z~%݂[VIɰаUp)p ~ܽ+!*XZVBp-Bcx.tȤ H/3yl>l I "ޗ+ʇcu*rm!, qR/lx4ؤ~ˡS dinF`y#p^x38I6yh+/Ӆ0P&&[زO1ØͰJA`ޜ;ضtI̗ithL`wP4N )ٻ!26e[xٛuj+kD VD28|BZoXum\HFIYA>\`! I_Bك,ِ>ߥVoŎkF'ϞJ j IqF}wHEV2MN/ /g{d{|`lקƦ-Kiئw98 _d<܃ BumUJRՠ 6aY8>!v[Ч*c7 7882+_u *^U{]1K wHSs䥂800@4 !`%y_86%̲r]pi86?ؾ|Iƚcef1r30P^m3O뛙֛|pmM&;U8oYo,Hm'QA704 &PedC2 ' p;p Ы$mH5kWvZZyc0rr3ve< =¤b, 1QJMpO(icRل@4]-i0d@ҝA3WE7"nɂZ2>2LH0rSV}FϢh%I> dzI!û]ZCQ1)7nhlcg"?)_dqEih)¨LfvzfJUW(8:CkvErYum硫ZўjܹAdG k@`>,yy23tfL> .-`M>RD {I'e(Z!@uVy}EAcPW_o-x2W]GQN4R!**GfZ;cDeN7`uDҩe3Hi$ вoܶ?YpڟCJ!TUZy. >C ݂i,`ÚwI{CjI+|(_O/3@4֌z$%DũCNZ3cSW n"ahw} pz`R~0J0(>}|{kc Wn$h y@55F\|CR_"DBkM >jq2Nm\,hᘖ`+^5aI x$-6M1H;LH_1uL-Ћ5˽%ptBIa >ޢOWZ"'C},ts]ʵzX/gLf͈"|MEZ =RP6t"sEWx '5+8=$< @u΀|Gnވ{>cu\ UwB݌2U˅+֥tfs_vTP]"ڢhC3KkfQ+afSS R՛sf\2HQ@1KtT΃ג&޾z[҄KלҁCK2EETһAF0욄򣻓-)2>.((y@( ^6FU|Oy/Q R7Kj;k*y.!|.|Ir8%[`;"nWMƍI 2ߒ ѿ7n @W3&0Om9;~)p">UGU"y_"OOnxHAyh v("ia f R\ aV|P^8bEBYz `U:J:bT@В+oڔloeS3;`AF=@- J w =vhW}.{ܓדgN E@ Ṳg>`KC[3ndNW UpX:)UA)_ڠ/ݹZ&7_Ze?y*\3#g)xbkXMhu8,,6%U%3P yv}0/͞_0sm&MK~'ڌ~Mw 8T%_.G?jH>G1:q%:f8 "NYשI:`Tlz:QnYX+87G(4<&k?# J=1's3a@+/]\/ZW`?2j\bZa9TQ'!t#:!3vɖR%kkxՏhxqua3z! FQ=nO6tO+j<o1UoSᴀYȋQZE@ô,퇜d_7zNGХ!%NC k ⿲;aaޏ#?պIZ:Ċ{G0r`=bSjdF)|+Lbco'ZW^k./͗~/>xMr%bB$IHL;N>V\ʯr^՞i(h#q"A<{5 k8~!zٺ%*4& uf2'x#IzhH:H¯a(_Э]:rLvm^2 Hwq@.̿,4b: MVꛊO۔g_xnU}RɉhG陘[GflW;B~̲ %q=Աgutht5no?廢7 (9qh,N>Z/A"BZ- aN5U;i"Ϗ"{E%6"$k,qZ:y9#㴕^JѪ|P~}5b6]|L!IrݻhKW輯"]u6!a7;iv6ENGu}1~PTO7vFT#<ûDNڌRf7.vXBb5'gF0"9U{?WOIQx5@iNIf|}@X)SoMf6)V t|E1<T7ٳ2$ b#2.$t̸FWV_(#HbBԕ_/1𞏟AQD'#{^#So+Ymx[ !Vv9)Ȕ zVS^1h$ WiyU"bb^8IJەpCƖ's3UaW50U$7rR6vU2zޞ_T3u# *:C'YrM.YZHg6i?&-'82gTm&iTK04ٲ02u *(fۻcjKrm,AY1 4)rmk7N̘w!jA|_UF_ qDUَ$t5" <|NGꌙ5Cj 9;Q+cY)S:Q5~xXꙞu3~v<_ۀ݉ 1'ka8i?{T;|T(Tsdž' ,檑]<,wgUNH%(<+@Cu;qAOW2jl^>Q؊W="P·N{w *I ,+k¹$n0qLe-DD9'l}!Ӻi091ރc4ƟR΋6R~*ez%ܲ1qsu4K7Z z:Гת@dƠ &m)jz>?t;KU A ?t%dƠIzܯ,v+IGRņо/uVTsD-<\g'VdY YJ7H_[%5X7AJa*9J8dOY =Ȗ dOIyU W9,3>6PVEc7Oo\%aBBGP{N^5'{Yb:R7( )7}KlzZ5b0t .w@#=[:J!ʆ,vwstS D0;\`Sܷ :p!rm pfG,mQE14B[7bLL5NВkn3'#}bָqeJE:rDrR0kw1~}HTCZ;KwjmD a?SIY ЄO2xƥ}k\߻ *lifJ,> ڜT5[44 ?SwRa1Vm$5ε'|E":F($!o=l:͉UW㝷$83\6|Ž'?Sse(SbE Ki>t0ZȮ>Tz(%bYIٶ OQ+VMQ^.q.጑-mLڍ#݇CƧ"S kpn$IP;~an"x 'wp,@!.I*b]ET I'3X^ ;LW @vzkFR8}h W5blI6bnNs9TMI y"q21z+227od wIcp$VS$鏓nN*U%L'e`mQaC:F? 3OnzzpxI^nv"Ѻ  sdAD/ҳLD($[كrx BbDLRLy}u@ [ ~eZX`oY0Ph1L .# t񒓝W?R&]p;Nn$MI5Ћ$k ~CS?jPOҮKu$(JQѯ+ / !12AjάB~YBOf}.*"?@4N'P?poBgI4JYc-&|qDӈ$jI B_wK갻Zo{@-F!Ust~ vjad~e|gƅ_`= Tgg  7S~"[5z?ۧnԩ$ >:DƐXY %hj$D;Dq=_C &x<:rx8;;2Agˡ6BPPCrj%tk. ϭVK3`UȌLvG؋q>`뚱u2.mzGV/] Yv[Hn1rN@n9r__bZXCr\LuT$ač>{%Ztඡ{M8yT _zM2C2>cG҈}`Mw—`De8&HƢ`tnXrv}vB/HYoAn ѕ_N/8|7.##G v]XkW!k j{ƪl睰f#fFS#jzj{*kQrzlK(VI( AF1[]F;o7EGK߳ `Gh7ﲛؽ͙j:޼kآ󆦽 *lu29ifY+߆&o"$H"T 5o>b@'NDŽK%p̎ X!al魢/nr3שe@^ɕZ*\c bxU5=YSނ2u0bfpFx./0iW%4C#( $JlO.0ō:5FŲļx ee^2]x=a۵Q 8ruՍW|{o3L@ 7쪛iB#JRC^ <)dXFm%2m)/etN ҡAJM4J1\m>ݫB)f 7@ ح 6d|]% >d8#7&0B4#C‹@16d{$hjWOb\`#yUQ!322Rt|AfC|W G>k>>b: ~ 㖣 #&8NyS$i=N/H@sFȕƷ'w>AFE-RV"g̤e^M69޾\}=VK/jhZܫҍ3LkG7śf2Cʽv9nŶTŔ{$(][|嬑ȪC cѴ* ԅX_}Ě!y$!y2ܵJ}I̲Bvu`אwtݿavX"lN O(mG!^kff`[w7jgj> `*nAKhM>j+d}!sSyOt}{+̛Lbclɰ jm4݂Vޗ]XuU{(6$'mR<\_YǶ+4|%Gb_bAn-aP3PsnV% 3`9xCc&.ЈWϵ FݻANis{ah7S$ jz1qOw4:ֶ(RCLvhwSs*1Hkn:Z҈O<3G,r'ި}(2p25=.P51[bmBjzh1<{qػ*гUdYҽ&c}nCZ:v}dz ts`3R͓.Hi \Og7@h I7=^3e^ԯ:+廐Ҵ[ lA: L c/YN<'( V2j5cqŧPUOw 7.k|Cb1 sqt`7`J+qH8jc+֪- LaO^-B2G5}yo'E4HTͺB\E e^1NY*l[I4N% USՍ m3dd`Slk3}y:50|/df G'ي8B#L0/&GF%E;Q!{tpeJm ШNm:4.2TYAJR%gYZae86c683203e1914945f7dd0eece6f74402f46b0ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc27c569b561528a9e6e503f86ee809c2d523d5cd01