SQLite format 3@  . BBh77otableisabelle_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 HH!d4| ]]]HOL-Proofs:threads=6elapsed=553.740cpu=1238.532gc=177.532factor=2.247zXZִF! /+]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧emS&\ETo(O$WIy@vL6iu5B,&d9`q~a|l`=&4N%!9k4jig+R3[U1Rˠ&dMhv|L.tљI>4SSR4^Y(@N¦f9 hV+!̤{&vRľX>ΌzBVU+涒 7a`A+8"!N1PR~0-`}Pn}sgG<7./z&deÚKhuh^ ਔaU" +;w-D`/Ý2s}D8q3,AO . 7Pt#+㑈AQQue>A$g)碛%B٩5p8O z9R?wws9TǠ08iA_YP=* UaT$tw6ݼ;Ҍ;BڶnK) glHH0aD(l)Jss~hX9 6:rҴGkڹïRk,J_zŊ;FsM`. wZtlAH)@I橌t9Zsu@}OD4Jc]0^Ry@%1tq ZTH$l-$"{ωeFiFu)o.St?_c]|6Ts܌VwiDW_픠M˄{t&O|pȝƗRqusU_!plb:Ͷojey&QvvW2uycO"0ڂlp)7w5<[T4N-B@%::ZDSZ 7*5@XHlE+[cBӸNjM!褗04M/UDA}'e;Й61cC`c'qi zGj_Th}2 .WMak` tlChS:'a(Ǻz  DŽ];42 V( f x5U399>+'$WƷ&\XHum^60?[q!IƘ|o29z,͖T$ m?sc8_yZ')W9 ]c$ .~ş.͚'l^&_o 2S+u"*{}}=*W{ u<HY6یK[EO'ȫX]-^;9 2A LgX,4T[=9L"?z" 1⋜\odEx_OtfЁ$ M*⫝TxӞΝCSiՀq>^JnBddOp&hx>A\ITQj Yq̂}6}\'KPrx>W>zմ}פ. 8Q(Np Y,֐{0\}HtyV6'28`T,<֘ӜC.mI.3sÚD;M 9*MSr qӠZNv]A`5ONlћX_- }(u;س.gZCsҗb*n)B.epz4S<#U+ @ p]fOmt ǛG{i.6^SAر:npӺ@+Y-G濨eA<eБA<:,ujBMLS^@ϊ&* ԝm.GDx݋RhYSr|G-c_7{W*.S a#q{-yZmb1v7MllynmO.m&q|/vXZbf|kq[aulj}NO7ZX9|3 *csJ,IHu !,6j{lcԳ  ! HOL-ProofsY;N JUT -m#:Vm1+~~Ilqi3`jkQ5Z'XI/_,X.c#>cd Q.z5"*E|4iѺBA0 wkNh2-ɂ&s9X2jgBY,}[͎ (|JDӄH\PJFz Y TCsD+,5))eC7DէC2#J2C.*YaR'NY0Vu\zy:S3/+_soEcT&_ 22XĀ:0ᦰ#u慫+Aʚ1J2 I-/H&ۡ8·IYߚqDN(R8Bݳv=C pڢ CUȂ'gc4<ӺN*Z-1nfWX).:aJ<}0,&l(1 R|mѫU3<2>T2j}tXO4g[0Wr8N9'6"U z{sG.=`Ra{>RA~#:YrjzɂS&KNdS+Q#K_EQ a!XF2qSe#c ϯ/AQK%F;?M 9h-abZҹl>wKn,?` Ijc0aY.Om,ӷnlHc-ȳgL]=?;i$iV(T+dh]/=>ɗ%߾w~n_vL=J~r4/Ɖ;ؓwwp0W|3% 4,\I[ M<,;iAtoVD`A>?ƶCD5 isl~Ez=\ršiس̳MS ixc,畿 y-JRqNaE /o pXM@A`;yɴ?{m#^]հFTwbqG}ĎXkp@'RÖa n)wfX:"RPJSx}]M;"ꡄgq:7FNi*zrer[bfN2OP-Myi6eR? _Xc[/-CRS%0":T|$$3D{[=WF,ԁ= /lP m$9![+ั+z/5ШǯIVWm\~%tz|%FGpX@'-#acA]gG3@?Ne9YZQ{'5y-DY+3b-~#U0oZ ATߎ-H)$?~t'ƚ.Wr-qke6h.'.^] =<@ˮQP"y9 vꚋ"?NeOz#<j:MOc|Gp[Uy>P-}@;|Xvq|!&º4GOZ;FK qQnӤC+[/=+h S]:`>B_”-TYa:Ֆ*Y "OilvrCNII_2z RiXfAR!l#9 a}*R^Ba J#BQVe=#4&Nuә\7 `)~`'H˻p>T}~]LJ,`-}6щ tmKQWŠ_^l!}Ӫx[?M=B}DfnA] |{8-V9Z-dm1"(#V.;jl<CcYƢ%M<>ǖl :K lDݹoKT5M.UY SK%7kpF1Y xhXªgd|t1^_A'7Aǹ0"R9[jb{c`9Lq[OB[7~83!Z|+&Trtj![d8O=Iۚ%s5:6NgERGOt kI2>WR 7 fyGr&qe-\/[Ԁ(FzvhF4||n* ~c*nl9 ?÷zp"$;>Eתѐm/M當E7Vaf]wm,nHE jH!ȔvȋKWʍnM7mx*s^LiMlx:i.lƻAotc}XmӇj X1)Z4ׅ&nsJm.QgYgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B0L݇Z\:2] M8l `^ gX+0m/(י!2K@w(rkfHH4Caע ?8~&FZPa<}Z9G1eN(k|$}h~"qIr[ٱ >#+|I #oёT} y=j`5a``O2?p^E?֎-+] O@kb%n m!*aƫf#,A Q5gBqL$~ dmїanǵ*2u&nK|6i]3 &wi*P$p2hhZ+&Ѷaj=5s 9i9KN K::x7}hI2~ZyOԸ%N&i~@Vݦ X,9aO "#1:!:HIE0g ZYd55~D=o<}~Oۓk#J6ȣq~ ʹHeu84QPɶ%LÜ؞ަVb5ݹ)іJ7Kw+Lڹ#fc@,; x}To)bRVÏKY}Id҂j=Z&.nd~29`xXH:=;)C4^ڕ4^;bLeN7:j$M>])&e.m_"l* Id+aƞ<UZiVm' ѿY ovz^B뗦_xpn۪X}NT 1}#ޛ x-e&!e/?yF j^]02JR0af>%0Yc&4#2zwb0c¯M.wJߓyp݋P-MV{-V`jKFuBD4[0jz˭{W\X: /]mwwK.=1.i<$ SjRJm2h>+%@}sQJkC܈,F_8BWQv?KKɪVBJK0;+{?< <!p[e/GPJ{)GgդG|lUJ”'L*;հrд˹jqH)z!VW6#%Kz/8+X#V dMvAEPi_@6WR)Ov(k {@N}_MJd50e;H G\(GdelmcƧSTB //!+Bll#w]Hifk]R '"oJ9V3})'ns;`T*pQqPchfW eN1:b~U ӂ(l\>~]ީU|vK|;}c[#}$ZOXX?^Ra௾5]<@S \:S`#DVJkk_"},O^բ2*%wo8~6SK}W 2gYZ7zXZִF! i]ŗXi%;Wh=. 5DMD4dW]V| , 6Vjv)$k[c(H-vgwJ?a),cMz᎒}۶J[ hM$:JԼW(tZ}nYRK`{:m?&3vIQJ\sB' 8cCr`hpH"$b =BNÑ*Wz(k5cVt IhHZ&466 H.xԍԏ9P),,'1Zy`_σ7R;$ ^ (.X ;<.$kAy\pZJ2GXpjiN)7)x-I|ɇz +Q k3Td4i'|Tk Ew.ug$/~);@5$e_ R+N=Nv{ L& L˵# vNZyKLR`K{D|sE?Tc Id3f#"8 JޖDwo. <+k 6bR>,Qq]DZp8n\~C T*RB6zKk1>X̂ LdfƤVvƇoV/{p+R§hu6M·R0r%gf#,pK mw36(ЬRh%1"_!`%r5ߝtV W@ӴSJ'*eF\ - | ɗ2 XJ+5zʲ8mRƿ{ I9l7W:6u_.YРSP7l^ky)rPܘ&6r|2k&S&/(M;slwi{lG؛m{Щ ;dRUp{0t7SgͥN?axA&ݱv3h# 9˴*fxP{43'}+~ғNfKDU$Fv<iy٠lNy8brfZO⃵q@K?DUPRf^6KUw`$`҄SH䷌N}sd_\g-E2BQ77Tz./4 fYlK~Vom:.pD]؁<&$_=wIayFP"bȃJ֎f-x@]\_s#۝8@puK'lv ^'4ֿD͡4LITm__!!Fr"^!\Lç>@iNn$_GK )1zLYe69ESlIUWRvz,y`= N!?r8 m&|^M?f}b d^_yPBҲf8y^Ǹi5xqGA0AXЯG$y#5-GRRWꋬ!w*= GdqKNTyJ(@كzYmO 6'tSvKqt9V3.?,=NjզQm" _V] ye3[9)4~cCDU5o<)JRc)q!|#bQ-^~c3p&\z hs{Pnp͞wFq_DE& lC4>Փ #h( MȦ޵l>*דVgK[⸠: oFl>DtՄ`5X'Kl>ã,o?~r\mzPFkrkAiyK" DqXLA$>08U}R~l)ܧtܜia$`9Fːׯm]#,̰";`@ `o&OwyF0RrΠ|uL^)N|o[,[!7oܳsa10 `< r32k!UC;%uǥsiV5g)T)F/RN{>b(:-5`,ȻRj5 ~J꺦j%7Mf~y+HOMCn&1^Ooh-MXtT HCWU%bM݅ub*hlqa`v% G@ʹG} . ;pQPWh·O)Fi(C6`2>i f͋\ȸҍ={@t528O*~.S.Kpn#vida qh/CfPf2Kko2dž4W В*o+,ػ}^}m$ymTރԂkGrD I8S^ q%B5FaI_Hqv-r UZ뾨ڀl9v!L߅%ڞ߯ GE譣!!}Dy{=-zb )N(4)͜.AB 6:6g8Dr/ԊnURe@wk]fhN4g͑9F\(Mg)X'qz-X w'.5߶sU.aνQ.YMFg$gBNAf8E0kYOU8G}]a !iH$67ƌW6-b(b@K(4!(!gf̜>raӈ^};V'pR WEԹO ~RtVA.+z6Uivc%qg؝Nʽu 7)Kx? V~-i 5WU0|T tVFBxcDqZ_ߏ[$ !;ܣ $rV.) iW'ܮ ˛]PlodJƠ{t=V瑚!9%D vKm㐍QF2 1xQHzί[/@cF1'۴->g5a9,Gib'C@x2ʹlsGohJ OΙgu#BGT(Y[n(IIfϞ} "^GIdOεRZ j/-W`CEŃ矲cd7\XN<6O D_]%9!XNJ]Y`f:}dLGf4toeNJ 40 +} L3/ǹ3x@ ba=%%-#%̻xEWqjK9 g8+r958s-'_0iۼ S"GC6V_DK\Y45cqeeޛE2`5Pɒ;-H0U7[& Gu_XLҹyΝ n``@\:h3!@,L^{Hk@72#YJt𽟠< ylڊt;kct &fC7%AW__de V r-߀ 0sFh7nI#Z(pMGJSM92zgE' PA˧;. Ah  m%I^fb̕;M\޺k7fy{淲QaƩw ð%ԫStG5l:6`*?N<5^d`Ц:'<26flY:aӵ'ᢑ WsMZ 8qj'HvqFrٞ<2 Dc=V;C}=\0SD \[L5uFWv:c =";^fJ`Wt,GQ;9}䀹#)\q=!i#$7<q ۙu aΜo_,k 8˞}4Zs'20$9v̨͛f{3EyBDj0 n,˔q;cX9)YħQR3v)\ /L8u%xe9ƈm&ڙ`?wLŰ9fu8]AdSܶu‡*sq/3klw'˒d{JZ,%~3Fi $[_uz/ 3D|7M5X".9pVsA '%=pGoøP*WL&M\>'|b sk.ۤaulgwE7#\-Xֵ9%s;UGB< ycTƌ9\4rs僜p/Tpip9H9yQ,^yHM=]V%W%"MvfuĬ= e8 L-v6=n$[LH yUD |E%,EwA;AUU1>tVp:,XG}<"c1o1S#&+ܗ"YTj*}7Y2`G>bOZ̚uXs,7 ?w!d7$/atOTOYQhIɟ'qc՛-q{NJyׁ .dLM[ En}1~l/',/ }iۦH~1H=HiV~9 !*)6H ]G} " ,YK.0{jOFP~5S6woZ*=2A"w޲UKTEn5*`n8U힓ӄ&P.=w%Q0l԰gp"p DCfoɖeUD=QZI>< 7Ǿ:A)msc)^wv %pzk28M ju^}(L9j4/&=hwY CVJ mEJZ6cL>VTp9Iݗ^v-~qTxxt^mN~8|[%(q% ngT ee.f5,p9xX[h=\%B6Z+9Qf-/d>ԥA-HJgmaw1."u­Ty ց,B5T]&81>mk<%#| Xqz'BF))ɛ3k:Ӊs8KTK?hio+` )0xш,lNq}s5/]D=~-T*zj!=5(c"غlYMq˜=-W"Ǎ49}ӆ8y}&yGibxIu;^VW?Ub惆# SF6WeC`դ\ڑχPwB kp9X !! $ uqcAr-ukť COĽl 8.a`L2>wLKwfzl ii lӅnMx°]pi^e8oÄ[({(6E; X24Gy?Iw2;HMӉWDT1{'5BA&f͏nJF u:1u1Zx {Rsm8;Mohʲ2@:/PkMng6ey"S@D2ẍ́< .L-!vJ3!j c|*žZh\DS:\ٰ ^)|bofIW@9N-@- 28iG1Sl_~2=#ݍ4ͩ,1gsi2Bg yY57A#"A21Pbh&Be\&b< -Sf"o4ZgjsT2mx׵m8kt?SbT8)(#n'3MU/dXs'-"jk|2UM2$x?|ւ7;.P{UWK=jrSYStBF,RTXYEaߦL;* ;@vΙ}35 XP$ZA~!0(/%b`A}[jVry߱0Se IS[ _Jk۟9r5e&:+ XtN>yUH؞%XM#@6 _!(?A#ŭSneϺ^5ve !o GL*NJAq<+d,GKʵ\K ¬Hhges.`5}^FJ;W6}|{ iy) Ƕ_ץR8y|j^LMD(7UG4hg.hctv }r ]-u5gy35PˍK.(";ت [M9 m-NoIrQ`l(Ѐ@:諀+?I@cɴ3TG#rXI?^HDk')oB).W7DFt{`bw8U@P<Ǥ69Orr^ḅ_o򡖒iRoe.X ~2>+7*0/S|'F<42#W2 UiœkL\7x?Vt\p0FZHA¼gtYbWMz4">yMaSaH ؿ𷊔l{I-dU4 =WqKe:֔ʗ'ME ;i'rtԭ*HrSU2M)1nMffoZ| VCeG7Y7oM/;yJ2)>狴>ϡMNˏq!!ʆ4`~1ىO_7V&IbN-y,v T*L5`&+Oe d>hv_=JXcO $ܵ9)Y-9zN$6ZYuGC{wF,L,"W'RX-TQ-:UMmM I5S>uX$MIE&Ac²'Ebdh)}Aw+bN[o^R}ԧy8o<%giȉlF'PqJ?#qPZD}] /,Rx7 C{n%yZkLFmd\2dN`qkdv_&95M^~ϟ:\(h7 AG1dgM- etSJVXw&.ֺf9daJ7>ET"&fMcp~x\cuwSЩi׮}NV*EC6e%IeFȳP6 \:K@*T+_8G*~K0G#hȾ^Or>0R}AS)i5[D+TlpR(p ՘;qtedCȍLX$zc5*,hg,BNTI2.6HfLIxR4kWlTLlL-_2 ·&$ng *^,Qd}GIMg9*@@5}wm}?k5PQ b )K`^QvՉކҲw3{U*ri7@b^k Z(aT'E}ȓ'S^rLo^ sLTGY/K6bYwXU >ǵELe1n< $$w L{0|OL"h[u0QT%EW Z ~,5JDoDPUn\"-͂M&{h<[Ik/DNxMs,7@i^9OVPŒx Qa PD=$ P@j2m Cڍ¯_4E~llg/οKm alj~ şJ/XلVӯꚛ.l~p!]١W D , iXKra"1߯uyMͿ`hzIV:gG|$ʯK&|^j{OE7R-BGpNa lHd EI9mHk[ɾ!Mg/?hv]P:ށc WUX ?IGo2*H aPh@/8ҮgSnG|q6- kʓt,#):.acJ/؍{?c_25L"r/M"49EN.=LHj#`1Svt !oMuhd\F !`Q_>K䉇& +j_is='Q+#z'ΧKwZ}A@~m0 Ų:mǽrËl5 ײ$  ȐY"pg"o( 2Ѓ. opEdRo8%ǯ܏و2wO"#ߓ~ HEo>Eӭ3B{J*ג9Y:+KjUte! ~@zw`4\j"U9&լnhzFq-bz#1`ޠ@(ͿW;:J{O]gY}‰i2lccF(Ӵ?AqXe`5KGP.fdPUYe*).\Wbc4bޖdIϟ`~7 ~OОJ&cZ;JT.}GB4F Z'5RShiz2 B洴![VL/ 86ȯanIlJ_ɺ5uA; MVN?6BCL$d4VaV/)ǫeAu|@kb"aDᔯFEC R1(r––ĹhN ^ЃQ^ԇ MtUkӄ=Yme-c?̣i_{tQ}Dh hɈ6@] ngSuCsۻᑜDy@UnOkf;iV7zL3E~PϦ\ӣu8bj"yyÙ&)a  8uϡn|EqI4 En^D,]ms}*5vqECy2vha&ApL'v2\L_4noNTZk\7 hPJ)fRVEm_P3r NP3D1cni-oh/jrvXRAxOvJ(72|UJ%Ihn-GR5JyQiڭ}Fs+i-^Dy1V-y$r>H 5D6d7<^켍JΠ9C8aU/WJW)jNC}[jIvCdm p(m]R+I(| & әY%xׂÈjL81t;w%CU,\cKEOulM`#9$}"rw*E"PHk q$(352V^I2J\fvPX Wҿ~ Р뙼ȼ1WS(e<40b?׽m4 UQ!\b1d,'Zx3TSҸq.Në98 'sp4+8@l2F՜?J%Ý(oFYfi-Sb  ',-5N ;MiZ9aq "09ZK6?#'zl$Qa'&!2,[r Cf',zR1Nd chۂ[] ,b'à K@ DQVW[t>p d[9?Ŷ%y <$Ġʔd pxD0)j|iz6hhWRxdcl|Uܸ!1".Urn` s_^y,$Z d\hPفb xy캰G@3js2 /ǾPydcO,:me .CS >.$Ӱ]qqv-e'KpUH*?&TרO=FXu: gaWL DHwsFTOֆl캉Y}bhE&SF{I%weDob=ݪfS෽R^=ӚFbP-YKw$_6#ј ~8uy{KqSu0\XކBN+R~ۍ^ %F 4&r|u1Qq1P: sӳJ_mŠ|Υ3)w}J]a#Pr]G.;.1h͙bjvD<9S-1|(R(!qPoi.[oaFK" ~]u~{4ekyJ8_ߨrO@:/cy} kF=J}6M<;R.6Xgpgټn:Z SC ]n^]* +iHcSWYhzݑy"E <]D1B l[Q\IJ#@/i3Oҭ"P].k[Uq^iʄI'ٗ(G w9cUPZ#=܂jcA]ߣO&zu #KPJrйpd:2IRO( 'tG0Jɂ~_ :M9v~Cŷ*+L]xm0ȕ]%75Qf|M'lİ܀AtBLȢl-m `l sB X-`G8_T-v0ruhp$kjN@rCE]^WD{%ʾ_s2d˱ 汚\8;%h6q-sc7\jꉽPݝWQ򐾞>,H&qC_I,%᧜|?v8 {0HFEۚ[1"VI7@wPxFirCl3KFc[k#}tV* ,ژ45WoT ze tlirGo}I|>5?c^H 5Z)o\)їA;.\vΘ0T>(nEQA$(]z͸'#]wXPSz53º8rC(E< It(q)3s.'n[w+睹+Ky$ϛ2R7bz]@Exyo x+ 2>TׇS{k>0 2Y]zר-h']V3q'm1֫1뵳@ʷ}aJؓȏLK;7jPT!JY^+ʦj/0ZTs~_p'WwKI%^Xq4w f˶Y %A!mt%mcgF=9%Y\ㄾ!4EDXRJ̾XBWKrm3(9 4EA*n" OKH{I84e <^r]Y122R"R'P!F ADF1g\:#:jLQfr/Ʀ ݭ'5tUdI柌jWQ0i,|c&x{>MǣkG˜l]k_,R ̝#x|B3'7pL< 9F-g)Q>6PQY?y^j^&m? #,XPndȂ?s\rG^,Q ߠ@ Sb9R}~奡yR!U_ Ȣr Ω: ՌpsM_~XOe[}k; ֣C0wD* 6 %s={."$ >@GCrƚu8b2\^6t@zj)dpyr6)`"P3j1+b]3|CeYB^GhG㛗HzRICvHk-ֳeɖ`<5F}(j1짹Z@ 0ajk}[ 1b?iZ+32`9Dpg L#%SBϛ^]}5^3ѥP(!7 a&38(:i$*ΧW'Aa'ִTHH=8W^Q>enS]d}l 1_0{rW:M5tL7plŲ9} dM=Y&FCB=UN4;~u['8FoeqTx@&''U [6F{|zyk,06Q7"*kv#u)&,&{Ռņ^iUp clox%bۤbQ*>>7i#|Mvt%7=mob w03hvG .b='0]kmi cJq8nys`t$wmђ|pߐ0-p H 2v_xZ+أgG4ٲTO_V$>6^09;~a3(FhLv0ch!a2k1׆jXT3 JmɌ3Z"ύXlM:(Q;1 nam*}- :h5,HIJV^a} UN4?BAB"^M{̒xjA"*Jπ KQ-}[^Ҁo%vKsCm+ImД>WGy%dn C]& m5%X",6ќo ;_'Iw%JM3lc(ZD/so@Un-cbO=Jco\1+W%!V8F81ƿ2F,U QGOO[M+iRSHrTlT9F!]oR=Gb摒,r v|=aR1ݳPr;|Wcmeʧ2mոsv%FQa@O4gGr~~dz]Nbʲ?-AA_xnc0WheU8Mo&fTPW~ =ku4N% <%V=#ZZvP"Y GrI@pARP-t•m5>^cqY禝yM ғfSAڑpw[alFM=3NQ9f2 J Pl: QA˿, gW٘^km岍}sj$|'&hm*L*,ME {QB!=GWuk/Tb;dB:6k n;y ȨM16tA{aK)K@?LKnkŀ ??Lw [HԸBt<Qk>T5Q _- tJM:'o v:x/7V-{7|TO n'򖏎Ae'vNc " -nG` F펭;' oW@];n ($d`WRᨼ°+M2~|x!mF{TK .vʠL _\ dA8RJO: ݈7n仼l%1V"jNԈwkhp{j'9ɬO` k~*8mJÇg*8S,!(@6٧u(f'!ѮS&Ѷ8+Eg3}"͙cQԤw r ]@ ,9$q]qyhL]+Џ_O|<ϡeTi Ot[ ^nfzT_s\6)| ϖ [ucDnQ@k|:<ݱt]tYN(aaT03#z4uU12&YPKwgS@ E(7U͋OQ 0`;ג_G֚2C;JW9+0CA)K)zfB n㛩ޯ_Yws;#:װȻ5mkGd%7}r"qt.r8Iv3z)nrR<ݴhUI1>=8u?UlchoI-) &#reJor9-pe m¸&+K|8q&\;!p"ɊX=c= 2؛2ZRte _zN)dq Bz%c{ˆoT&Z[Η7kh"{⥤rEګ2gStY 43OײDzowDC%y4ecj,+8*v6gM,7WYYMld5k^ĖWo'ogѤWߐëNPQ .-Tv.Gs> &m. o%2$t@HUlUW`F2kIcW x>j鬧YH5E4z 梋KZgQ]fjM* Yp'k| 5pۇ Nd:a*++,̒zk87Cw/z 8<DvJZwWܢ@&06OwYi"O5"!e%R߀ [6@Q=~ r**(<,{K1KD=g]+G"|R2=}\Jyk<PY5E`zuIմgp ѓxVS 1_jy8tR(\nhoM+x[@Fo KciK˨>Ly(Lj s $9;l. >W Ɉi6z &NI ~:ډb)Z9i0,\_u \vkdl Lk#'5Ѣ)  IΔXzMr`QZulI7ցWvm"&-F.;(;|W*HC 鑠; d5&/mSjJܫi'0 -Cn(OL 3AHXF4 6bV+:yݫү>]A !;rlқ']iO*=RS԰y%rΊ2u>] UP[);Tn{UaJ|ڬ?cĥ:sFҒ /wy鳊G cF. 4ۊ܇VA:<qI2mc.c'!! UNY*#I%+4 f]XUQS{Ju#-]B4˼}0bKhw2"v GⓈ]o//O!gwsިQc&?&v[*/L1ojBݭ]RM)J5FKM,=m(FV:iV>3mIM֚gD4vQV oTWN6q,fqn@P[k!]7T^ɢR'4M^ Yih'}%{ Ƨrԫ%nR| WQ%>C#o<#1~~ibn])uа+iNJ YMұ[4]Xwam3Q~n~6[II.pl{]-ّY^e|އ`ue-̏l.mw`dԂ E O)~@ {rC.wja -P;[0ה!uzci[`MEZ}/e$ꊢјPDK8&Tqw|s*R^''`1o>{. uVovtjJnŲ%e)5{:ِ{CbB6 ԯU0*@'&[;O[1\tP6q'܏T P>,w<޿f܏EDGE%ʰ ?,G ꁒ6`""ۧWO^SR:0GDUpF>3ݷEI@_I*/Ղic?pX PK>ԤCϛ;.#bgb?dR[`Sj0N^hW)oRtgƑr |&0 XU1l)[O^L}02V\2cw6G96\:O FǾ0pge @̌Ae ^=znAj1I})ﺋu"i;t),j|ї~5R9㾊Fƽ JZ#1)@?0罧q%pB#H~xy04 H~H|#b ۃvT 0hGT7T`kf/Ϸ(wI ]2Ph!3A*| 1?x-T3 ,!XTfo˚:a&qi)5ܖoOf%h:Rb*bM^A92İ_4NWݾ7gEWJVh?^03/X67-QTns،PJP@Y[vr0%ˈL0O|ܑV%Y`β(p{xU,:"<#×׍6 MЯzV>Y5d @ԡqMhe09:MX&s]A4U5v~{IvG7F?oDW +nM<@A>H_fIR{!вNxݍAYzϰ4 °yq/O)p.6s8,.Q]144#&an02ON!>@QdЇ,q4…*c+GTOxr~'cu;q&?E,GHq&֯(7*ZpAߥ%aԔ_ ]g",~.&0eeN{E#MT3H) XYh?57x!!#s%E.!(B16ؖ\>d5Taq47$a[֧ܨq v6RŘשpv?E|\HPg}Vp8S2m-{^:{)~}ț;i $?~הxO(ctlBw|$[tf07ܝ/zRbNbx: Hu#5EOtG!x !0?f+y{qߦ\oyli^UX5zQ4"(h6>ḄVs.lW00 3 m:PP{ý\0A~=]CCqVi {<ɦD3d taf^>zN=Ye\*O,ϥx6HC>|.SPôL;'s>L?DwaL.c!{!, zeBFɘG~'E Θ+_\=K44U̬3ff K0A8b7%+ւX8G-"Ǵ}7˩;} %{zrvY9,]M Ě2KBhX7DZa="#/e ԸkC;t:BDX/%\jʦŔAf#7WL v$f{('zq0[ӘdڦjT[0Q,/ZܨYVx`02?E%ɣ*# ;V t0McSd%bS=O _*ol5/#OJz_0T7xN޼y4L\' M[!\<xYF5UEN֣.] L|(*7t,cQ6<5Yh!|;u|ūuF {s(ȬQu﫵/[~nsQ@7y9evwE9ɸ%sw\Ws5$b}zHU lj#=|[TݤB;L׶6_FዚpL[*cћl$]ygUi<5Ɛ¢Ҡ)7@6HN8eeZ{KXbl.FS,VkrNٵGr#%d ; gU(i] iZĔGF_0D_^pTD63&lPe4y07A@re2ʋĎp.n[@s]=j)@Ut#w^2>GEf ֯gq䫏v}Ppycd] Gkh>.y!bM0BN\ %.*F-|.( #o0sm{y lƪgVY Op@</5-%yJBEbr&(vSx{CU͠# p'IexB-]I\#fl\Ώu({q;_gr2wk2~xڥHy hMf JjnTԬYwf0mO$hQSv}nl