SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  I1ll y% HOL-Decision_Procs:threads=6elapsed=210.062cpu=816.780gc=79.972factor=3.897zXZִF! 䚯Q]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)^_[6ۃPobk[{k0@7Gaɝq{BUB=a:!NOXր,Σl9UD]HVRA؁Em!W?kDiB!;p8j yJ$D˻O,δ0&jڢMKx VԐuÁ'mҔްԘyd &`룇@?_0SEM8 ~TaI(%h2R,HWʛ5&gnyEc*H3 K-@?4l"ŏҧ@,hڻHT 2)w2El8CJw(TC$TQb>Vb0nM-jp~mdxշe9^i^6ck 1 HOL-Decision_Procs1錻Ѐر]ws遛w;=€ 9ZjXOP e^yF#_2`PƋ+EWU +wEk/}4Q%Y4QWL"a+QX;oB<|/r[5yw8Ұe+q§ҺesPm=$"Ǘ#7& j&OFVj+I\XJB7"[@i}ddv1kۃ/+zu~OnAPwsmfzm@ڹ%a4ȹH#z|j_daL%?z'*| [<\(yXd~i?z&Ol6bmR$ *VZӖb C {l *ΙS!dSG~T[`4JhUb6TB[[rzh".Kmeq@`!4YrHn2؀Mx?QiJrѠ<{2r zEȀz6R>Gi 5M4+7hFR7$ʲ%@hBJmC\v`^v 0]-~x:B[kܢS0f ڤ; uƶ~M3AD^2=ڠ5\J-1g9WqP/reUJ2]о|*~6ZJ.4'Q7J!d(ir})Sr]lT_TXL͠@ٛ[F^ॵDŊ~~\3:i!\ lH]ZJv#<ׁVJ YwvyD3p[og k=ܠMVwLAϷ[<Û(_V}'+*7քq274֓TXfcz((.>-p0 LBC\l[p._=e}u27 7{,=R>P6 11;x,hC͊'z`"T -t9u"k3 iՊ;ʺOo=D3}Lr?z zq шR`s7lU$6݂n?`O"p:UvxݰM! ntlM)!1$r[>j?%D',/\Wd0]5<0 9U>gp ͕bp`o05/Ǒ+: x6xXl~jVHzU{#|T7 %͈ ̪)ESA܀Qj,G& 2_pz;[m❬eO"B5l}B-oW_ԬC2 `$ZDsX+2| RkrY%` R:)~<(Z1 ˪1а+%]wq򨄔)AS0*xcIQh'vN*X\ܪ!CiuZ zz7sd*:䚷(a^=aOΥqcRpiSK١*XqV/6e/ʖd8V| '5'v?jwHY'ZkkeC(YǨhla:sylm zzሬui ExGCA9 R.?tq0ufx܎Qr3AnN6;1q,'w:ǫw6.ˬO= Ϟ|^ EH*)AOۍư_g Pdm7=ǣ)MU`}LI{21t_K *V A}K+P443­JR2wޡGV=~+ipс1}hRa`C|t-qS 2p%kZe/ ?'WhJ IWb ldMJ_:?k=Iox.АA5v;<}%]Iq'lߖd>e! uG0~frS՜62Xn#$m3[6p J.L$<*'lOBم(ڬsGtF%0A]zȅzDIF (UV3-/4OEcx-pvf5}f>Xń^gGJe\(/#sObW<,=>cx7`-$%7,~Ԧy/ɕbY_<[c[k^oF\9|(M`>,4xEu/9Yk不IHhz|c6̯xpr13v8M"H]RڐKeZZo^v~W68=NPR!^ou5ȳ+rM#ֆUZqفمnM)"ʎ`Mrt | S*Wz٦v0F_CuB'0T.TZ_nJ3rB9~װY`CW_i~hP̟f!1a05ڃA9G{W9SE4"&Ue.YHk#Z62'uETBӈUH=1豤*Y\PsUkHcO ~qet7w[ĄzWiikTZ]ocop` > Susl5 c.m5 l` ߂_gwYa:V|eb05}o ØnCfC,WvA(ݡLtRu1XY1s$˱%h&@цvN%)>9[) #6hpsw{-@Fzki]biK)Q,hᔤSdfZE2Ac6*.l6g~{:n4lO-ƪ6eDc%1Y}Yk '{AUS+q,=A=D"HU-9% (|XKݐ|fyfDc0A=?ʣޮ͟fdЋ?xr87a"D4Q?hݸb>G *R-- 3G*RbXbE}DWP\)@sD!9f;WKz8*ڄ5nћ9tQ%R=: 8:}FO$&;ScFH/vSrHwyħO\>&qek_Xp p:]4o`#Qǭ4\3  tnɪELt+[c5[T֔*lKp)~5ANw0A+#n9ʁID[xv,["'-SՄ=nؤp>r\ΫsS$ ݽ'X§㽮7y'!/M!/9ձ4 58ӞN]=|5O<$Z-MjiFJv(hZ]Fp%B\zy@v}|:) 9UA.\k2K2(_ -b%ar[~v ÀOW ?ilU6Oh>,bL@E氵wxU Dz0ywSm5pR݁=5eQ[F 0@GȒV7`?좛d*OʄxqK ŗԤ g3NJ?]>g 0{2"NF6'e aC~k0^ @6 gkɣAG#,8/H9xbxYWIO܅]'1C~UAϗ\\DQ 'PS70F107Ȝ:mc'KcTά_qw9JBփMq=?ukE:W\^9{\SOj~uΌV^>w}O-(f!ޢCHڍdiB] +)E@ͧdUkM}a/h\f< g*|۟ ˜SS\Jw/o>np ݸLχ#heU,Qh% 2CԩFX@ AZKZ 972lYSyŠ95%o ,, ^Rr' jB<Jclfj*'fTNq)R2ش[-~5l,n0A)Nol]~l STSFnJ,/ [7 v2ϼ1?RvĠ*NI,] M,\#b 2}/iΚa,_.JӓO pb1tY'#0DF`k:hn2'JcCۿMLѿ|ɽ/T=gh#U#Х+ĥfo(3Ҙp^5ێ|<@麎y5QJ*cea,~~^J& SUhUʒ춷<ʫf*]J4 M$-gGYC2BWNl(V־h[,u;) 7p~=; ˰p)"YꋴV7rvݻP,> ׇ}xocz,*Z/:2TYetz[,OŻ8#|dDB79KάB* ʄқ /Ǭ;tjۍl/Qw@A);&^Xހ‘U}JH~eiek/9G=i5ʹCQsXv xafR[ZF@};mmcEq1Sͧ wBm@?g_ldlO0fLЎWU?z#:/JFj֖ ڸH}1k9)?1(_yp58ߢzNB7%O$ {&cZMKG!C&po97ɛkSfGx6/ D09H͐=eCTJ[nzG:' UGNZo7"4\ȋB(I~".aE]*R]hp]Z޷c=7w'Kl?U[DSׄ]܂s̓2NVXdM$^fK|ܴK֜ZJ#yp_zRРnO\ä<6_|AC7HඉAp4K36v2@ NN!G}:|[Yݭj F`BJT0ff'ELMѬi_RʯtNlMS/d8$0_M|A({T/_ln񮰴I)}QFw_{7lDe|ǔtnNPRaD$)'dPȊ|= x'F~DuM,<V !]k]X:9Nv]^\uW_rRzGROɔZB- xQ Aw[}Znatt=??QQv-nFlՔA Hnm}Fn$Uc,&,VɩȠŰA)*6.bb:ɣ԰|c:ϥP{!\j믮mB 0M #E,kjWwXw%U`،w@^1^J#GSRe IH}9X-ϙvI@0&?. hV,81OS@GӃ ɼL! P %OW'K 0?ulxNO??f(GEă޳QX.]L&Zr}AI9+_ Z߁ayI76Dy s[hIdfWpE!E}<&zO ɻ; C #hUSIߖ,Ճozt!Rw<ͺru=폷.TcBMf0O+Ruy`H {Fcmv7_"oV'Ok62?k>fHrm؝1gvȵ:Y2 NP*x;\!}_LF["5f{|Tp aLjVk$`5 .XubrIP;W__ӑGw3t6,) $ox/[4~4&c2_Ey߱_Gˋ`,Xq5Sv#iRGVhnEL=gqCKOo؊P>+\wqU հ^]VbLs_L8Z)J|Ėo2`!myMp^}b3Cd rV[&CR'8a )njK]nƧkV임X9GI70ջc*gɯ0KbW[;okNu1~ؑSQJz HbAJiKLˬ ܊ܥ}3v줯vi~>[3EQ:'PMջx2$6:lL"7a\: c6eҤBG8ʷj9{Kg#, U6R&jc+>"ӊ:h[G%7!B62#wrȡ1S1<]̘1])8JoEּRہ8FlE'lj>a1>Ca層@Jpиy":\!?B }ybX5zd 7T*\"epς ܢg?.H RʢYVgyoe/ tbyg^ewơrP.=pi^v&t) ʾu 7k͍X|DT SZ[/a;g!A90%fX\PGvA\woܩIW) `S>愂Of;__CG'bi¶mqf=lD)V3b ->>XƐO')4| v#{-Ub ь(ηtQ J;-N)LI_bMQU5|z?qFR.| \m*t̓P1ٵiRKf6~Ƅn oLIW';F^BtIOC7h(6纬9eXӹCq^3L. ,fnHLP q̻BdDvH`b8Qݝ\Aʧ*$B"`yKh޲f8eaTeKP\Kmiܩ-|{xZ;-OaH7p "'nݢ%1m| qCWAAcDK{NQ2Y~N8W<>>9)=yiH 3j|:-zNRɆNQ˼`{۳`HJȉvփ3pn5! *2,zs j-‘/E i;NӴNw 4LcΦh^](e 4J5򻷇D9񩹫j"nJs/0@6%d2jNk2iTGs f #01B8͙[@'KyËee䓥O {2U!x*ሳg FĻmj]ֲ#|o+SjwǾE)j/9ggϟcyveW۫Q02n\SHON}(!a_YT7A2ld;,nbk-@OrrlIvP9,ʻf~NQo%aFx;%$,ٴG( LXJo^wgj#bڞϒ!SGwku[vE^ZfPp- [IRm;iXw}MƸ}Z:MH.5Y$X`A^c[NX[o+'6PV7qCjӚXk.^[MMH?7jK"R10DpW&ń[sIQZt% Qv'J 1\{<;B먓 WOc鷣E;ʍLv0+eTt{e%R10^nd 5Egw? WV:'Q.|Wz bg@k0;p[m|֕Xb+? oU_VJEUʑ)3vG1|t* S&ut)+lؠ#tzBz0b2hqqwIb̟8(e]‡|Vס^rV+ڻQMn($BDY RztK߆jte?'rY:ʹ;p;2#]UMT.8-m?,ee?׆_pԧ5ޏvȓ t*1gIФ5cQ6kJ2%at,gPՑE4f̋Ny>c>XI\;Kvyп9HnsȑQ69izi8ۘIݟ7@7gZ?6@Աe1fEf ]ëӵ{7&Otj&S u.??]:bFV뎗#^%&5R4&@׹owcXTZFЏ"߈O&뢂ki؅uiϋX35)LcxfQ}\JMs$'5c ;S@m\zچsF̈nQLr 6EKCo) ~& 2HݰRcW4ygkLxS|:K>2C΃@F[I]rZoZ2noDA'RKB0C!ma/ߤg)mBnO]D@|z⾲COMVPM1.9޻!oQk\-U \$Ciq5: )hh]X9/ỳN{q9fqjbTi#!EL-O,kؤQm/Ic pf<"ة!/U09^Fn42|\ɊWҰ}`M6%M cI-4V¥@82(6-5i&<իw8gaiiqZ+N/ AP!cL?7 f%@gpcL&{O;`MyCv\tL{[^kGM>4&f(^1 xw\B_qsKŊ(goflu}nz%V噘{KOa;}of'dVԦMP&^5T|q.;YuuQn=]s{r;ߚ*X"e\|+ɺb?L!~j ?7xyֶK&:V pq0O)_C\0D[w_Ŀ0ކaG+̪TY6?6V_UgiIyER_;*fPhjLnLTpkpICk'uŔzaED۟1K#;qPr-t<P uSMEZ݊/7`wuxWNNNAn1,AG) 5͐N_]vŏ}LPdcgf@Ǎ}_r/ PqlZ3ϖPDKDtW6yJju1 *{-kY=02nl6qWl N^ĝ$q_/C|e (j2hhIMlžZ%#Ï5qOG]Kp d; , V#(a[&BK;dr::b;WI\ mdOs0$Rl &}a,j4\Nń-6\zKRَJI AVVb,QZ^cxHYƑ"h?xЉKh.I k_07$CrJ*-n%p 7;J/MVv҉`Hց؟}N&(FM}0fqsBTf>'[3R/+|~L!ICCJj X}n_3-8~3+6hʈhC~=Syڙ< 7V>Ûl!pȔ$v&xF;Eg)3QBӓZƉQ";$5 \In y xZ:R5EcNS>k&;%8fbܘsXKv0ɔwb~%8hE޻a֎K4Ć&<mCVlʕZ}^/**PP7`|Q-NXO܆Sulb==+G!b6}7A/,߃,@Aʣ^~gUqD5c/ 'N :1`KQ98Sl^yXFS ݨ\odi"H jxɳj|a%%9KV)͓&l } "!@Oe]GCՄ0]65-;GymOt͏+"_1qP#Z:淁!T6|"ڋb;֩E).Yt:O_.k"mL;4mL`ՆGxEIc9 Н9$e."4,HI5Veۀrc!p}HDz7{0lȮiH*(j꺦[c9>.@'")c#S{LPm:T ˶@b^QM[ʗkoLB)Ȟ#-fI>,DTx]ZezB3緤5~?7YIa- >P?CXPqgQ$؃\ӴK8:''v]ݮk@l}; thzQIT7›58vb\[X+onҐ,OJ!gy(Ē1GbxjW/v=hwǖzJLG0~kf9:4mXL KEw3[#iVT!ش7gZkrU|4A|emoPnoT$*D=E,ϯnn\CNH*#!,͖D:owj,?d' EPFNcG9Jǧ3n}]!a8CMAmJI8ʆbynGF8a}pEW?`gm=0i!]t2n42:!v-veHf*-3\ ,A&U3 b7ؔQ>K߱e]h ;i0/; qdì:߯fohqp±[pnڇE^W3z\(=cR lNx4|a=p3n07/00\mxa,X7!1P@ﰻ=jGơ(7e?EycrRz!Y K6;F9P6HeV\0'Q2C RQU3E}BɏXBd Z>" WݠB}XR;KK5" Juq*^pׁr@$UB 2_@1/Y~1 ~9:l.MUPf"`~P-`Kz>$'0󪎳~xIU')/^J !IhÙ2ED @4،{Q}y> !k"*}/6JHHN5m!ј`:I/Wcm) >\mPe,8֤FW?Vc\{LM-/Wy6K%Y_2"jț&y˛6(޽l칷vH݌Y K\VVҲxam¸ Y7/QU0og [("!]gZЋRh8#whn+J ٠h͇J:Z =߳xiXJjRtpb9wiO4MF)?ޗ?:AxaYd{J0VsrV){P\ I9=&wbwsaʍQ2P -}1|d,}n=Iothݱ^&}9P`qS0'e{H"f.F%#Jcb;r4⡚SԷvJMu^$r> F.cR=Z9~{PR/ǷTnwWWS"Fc=cو֖P 7caĖٹfM"CbeDv zUQ>4?/)9>[=gV[]3bIC{.I cS doFBVP\%TՆH!868 5WWk}u0uJ"у+i\&z'ptGH^)husMءbYyT*ą JYa_`uKc=VU]N .k.ppy"My%M0%bV5w;i?k:f ޳F~4,BgFޢ#@9k?Qp n2[l!hES%ñ^Ǵdla +wbAYq=7Q.zZdH[Eis+@|A2m99tJ 3K,#|Xn# qN4iN]aZ=(}t%< ? LPCdEE5f-9tLLM+d^vWDQsuwξbMjfALc $}KslD]BUUSH-J! '˕U+syqa@Vq>zM{nXӒSO?F0yoeb\w+Όʊn^X=a5g%eGQ_Row41 '[IÂx]worln$>3EHiA$ō $dO9vmQ-hjV|ϙ/i;@+EK,O LrFQ1wn Kyc7|%FpOm kL;_H`UuĄ\.VNLdҸxr,;dД`oqt+-N ye1+.QMnTقul'X.̆^@.wj- Iue틅 2&WYG,:Vx-Be Fhfo5Pi*b q|5g!w0i ! 1U.ef4taTu: 0ZsqDAƭ<ϾRLЦ.b=7X-rי)r9zeڤ(qq,X-9tw1[|4n6m j>!9.J[3?G,\HqaԚ, *Vz\vkǼZ@9tG$/9[uo#ULbΕmݗr ("rHeSzQLtkR CK}ӿR?)6:p#(prTX2KTk)h ;^88G֝i̜!Jc=6Eݞ=o "&DK0lPxwP7o~bR& Tւ sq< 4h~tRБl0j4Pc>'Zz:][iV cX%ס2*Q7xD2Gm Wf`fɛI)>168 T>ɮipYQ|zIVstȼ{NGĿj$߇ qHzV.A bIs>q{||w@w%_r&@FIqDDb7YEH3q@gT:ڐ)jkd:áVJ;=ךԙ`dQ$ 1If[v3Y2^(υ6w$|' P(XZ쨶Ub3Z@F^[66d~;" l2&jްNh5`3( O] fH1Wxcݴ @Wuvˤ($7<~IRwZ8P4Q2@)Y d3Pf^R{s)MYڢ3iiҎ#'TﳋOjŞ]H'ttoNx9W4(x *7<&tEXZ u^6;tbB벚4Dₓ _}@F }=i4bRt<*M :4Nr o?(c &u:BPlMPw#qDW: ;?0eoEM䀎UbZyM˕;7hI@%e@'z=ش +ңDzDrҰÈ4| .@xNE:M@v]3Y:a]p4=/( דdAj*#r~#y U!qP`VV ӊ,݉=2xْD>ď6#dUmO%o⃦)1C ZMص {5:݄cxz5t*޷bf*~`S4jmdB_;a(hRhlx9"yi\T I*Z^튔9L b|Ȼ|3xMHMCᑥMk:S+ М : !9>=$V2>X=DZ]Р&M`FdP\\b6V-C\2jGXc-[{gH7QxX=p?^] `*m#9#.Lc)ML|/^+= yp$xUI[*+iW#B{+ ?z8>3KUX6=nGGB58 ^jM43 0sK,d\:en|7!0͒6.M";2t虰^J½ i?Y,!n8{=G:47)h#L=-\?vs.nx#7>‚: b3mU=bvl;W7+/9-Ŗ#K˙JRs"zO?ҩF_)j^>,K [QNzgJ/PGk1/oʛֆW"&vz`NMpmop]r c8&>O6b{Iaq<$&f}3Qo1sssU>| 8Q~:~At)sЉgK2.OP!ݸpቚ !35Zoro3fu ߮e[Nd5|O{, )XI0yG3R&ż ׄF0?? J4|tOĪ$,c:} 2QgT<'Xaۄ Oxpf3WS?YԞdXt.}–dW| -:ѨgXɫ^깢D|w/~;B?l omۤJe6.rk#MG # 1B Ufd;D2vhpn*0q7qtIav n*zfo7Ujpa!Kt-f3/`Z]0j֨yV5|*:ړcÔu,$ (ɪWt%(g^zB`r=׊zrz>TwZb*k/j*Vhg'd$̙~WآRa[ #NyZTG!#D B'BFӥl957t,Rgtw!wqUǠZ^]kp-k 1+}Plq"Ӱ~h&QK㥗'!-_6>\Y&ˁކe5pVKh`K:ua$K`_ t%f/aZ)ɯ?ePəajzDAӱ/] KxĚsG9걼#V"g8WA[a3|֩ޢxOa'>7Ҡ=U>-H@~Zŀz }d$$4`7e5OMvFq=Xn'a;hl*I]+ӖT'sD;p@QnJoSnG> yQ'- ^bRT(ڢepkh|KJsظ9R_|*NRyZ'Wސ{,G?L/\v6^|.׈5 (ztl<2DB|Lu2 Вa,IuHB2yޑ!IdGho>F!9$폝T녅Zq>1e&6S;+)f/%w<$CqN{a>-ʬBg$xz ;yuU \v >AswщsM F-}^9T2CA9w% ٹ"]_A NQBi>s ݫVMuGV{  ܏5Q]Ry޺y G>5-q6+#6zL[}ǐ3n+}wi_[]^-]"4;.[EzhĬͿf,A 2!RJPKVx,"(!m$BEۄ@IkWUSk54zïɛD̢pCßNiV5Fo,b/jn/ZђzY pŢb.(e?)[Z-521Y G KrUL/X (b*8kYҬhlkt#܈vf{Ųe2Þ>z [+r@/˪l/W;#Da3hzLݡjvN2emK0t?mލ4 b `0儵,ю}[bPjti_J0z'Zfxѽ&#{Q`O|0HĴ! ƀ (UX޸f]8mWk(N0dq sl_wQZP<7ٯ$NG"wSX!:~%,GczΗS @5cˁu) q|р*C$ivp}FEzKt?&|/y:*m*=i9k|?dr嶊H=bq֪Y<}]blG3zRs_mo: QHC6yWr|'{览85(j3M{x c"i?zO)p"5XVgZn+![e빫*'z rcClnXUt.s+P8"ue>#5ulJm4ỏe; ǛeCܞM]tD {);;lҟ! (<(sTv__V&Em%:*7HM zt!hm9.YiJ5 vuSV[Y2l4Τ FgHB^?!?~qmPko)5MݣdX{:pk(meR&"'&)}EtH2hHN)̔b$S؇sq{}hzFmu:ԣ֋FPaD-۠^aWQr2r kD$Q(v7_]5`j0*M4> +Y}8@pot_KN@CBO!FŠ4`B3C:FnhGU]z)ra^\hUue/Mڒ !#QrTr] CݦpN{i;1Xbu>^$*//)R?EA y`4WB!a91>? A2G˅lPkF?ORatC:PCe>;ԝA*لACHr5ۼ k"rU$t,RU`1 7_/pP>14h@02CO5gEƴ4!k~ 4ou RMy:7nԛ UrB!`ܟKl0#-q.F+'Wm 1(7,X=ᆟ:OG<&3EnVHI]lLgư"A3@cһ2-Ԯ>N/8@:4r5O\̭$дOˆ_e:$\ ץGR(h?`ЀH!F Zff4?8F%/@gRGlj5~ [&4ŶF'm9uk"i&1_nE`@h`V.xXIhuj-{&F+a8a a{`ޫqOLȮ zZ8-ƶӺbC^}^gk;L}z Q:FnjcTw{2 8Q.2N50xL{W+!_m lxӶm4bz!h)uBf?V^nǜ)jN+lTmdTQPK., "o 'b3Ma Z!gx3]r_pKŪ\܃S &t#I@LD)&eݵ<9mk&U/IS}{Jy T(P̱U:ruEQwsP pkJɳՠ+Zt O倊SUېC4%]%EԥzW,|dȵ􌚑^aT1S3uh$4'K˃| P/3U^ǮY 4pRu^s'vMtL$}nVt+}^.:;~+XC @ ~S ]$*_~gy@DbR}G~I|E.hzY\tI(Q0iH>L#C MރPjӍ^Aaҩ܇%Ik]KV!"<6&q7(|w(T,?֔!1XSh4j̕c{ Rwz:tc;:]ߋ<>|::c{r-0!r-oCg|Cpw؋Q)2ȩl>VDvP8'''zI;#2  Vb]Bh7C/|=`2 2nuU,XfUH[_JNC\wil-j/2Hh?yߕĵ'$om/XP924zla‘Q؞(YJDʢKsU{5v6#]pBɴnC R2 N, -!Ln8B@"]4f!(AЊO!u~U+B?d{ΏN6&(ڸ,SSXMJr{&`bd̗ͣ60ITps;b̖|MOihU@eo&dF\1Ce I맛آr֚v= 7:ÌwJBbo;u d6Y'V^ʼnTP.D?^7b,wF5!{G6ԕ:-qmX0yzSj:t x|~JF'"{C@tDpEr[J"$}(EӡM]Z[l޺B\gX}{)ܷZbL=ls5u)uZP̕3ʷ"mo'{n6Oq\ew`X;tׁT9rIzFև"ط+^XoُX$hOŒr\m, o{J-K771 *;:(o!Q'DfV{XO,ԩl度 :#_ MꞮqYF¸dI5i:_}71җڇX}SÂ:[9L.oR0T2_got INDtAXGrX<Կ%4^ZY6U7*X pНP`.Ft;Ծ'3X6>~kdr멻uGd`LpԪj2y1X=.zӍTB;l/`\ O K(+E.f x4 ׆&fD XD1OC,L~ީkfC)8-lFzҧD丈=3cu.LJڅ\ha<"g-C@s=B:_+ 7Msu‚v [:LhXr 2t)H˜ЋTȪ~4ZŞh 2:VиD0ULF%³fPؚv[{ __hF!rcH MoR|1PݨApyv'G{kzyV _#=%D\ܣ䵼E]/ ae)":hx\&~RHwh]]:l ž7YRoLÿ<΋_,yOC-I\o$̭uQY)pu<ē.G&mCnkrgI.BL(/uus5ִh۪7+ӥϷ,Q&3urNm {`B[צf+Pw'NF,"}}àO}cە]*oM,YM۠(,ŗHnY}1m 4H'xyYbH*(hdLdGu YHyU^x;ٙK6و색˂=Ҝh>oo[s~q ׋!9mO|Vce>or"rD)GBR3%ڋeqh٢vGJ^-p5X:j*mts ~oU:SzA>Ph=͝ĀhӕHE{CQOI)0}kF",LFUC_ r?=)7b%g.݉|2WSVOxEO)^U T}&&*;f՟ҙf w+Ү"t!Ac75b_̥ٿ9}x|1o{%jse%E c>{~>5b aj0%_٤6xqFtaLqiV_"lC<@LGy'E 9r$k: ^Hp n%!U"UHO4"~|Ӊk^x2?']*>3}pwt ϶qZ4k Xؖ@Z8C#+}օ2Wut;_#(~I0jȥ&5Ry@n1 ek):BZNIEcg7-PjaR\M RGktZͥzb:E.On %Ũ*IɹW֗~ eOə-#}Bw'gݲR(yYIӑwhU=qNR!&>i$wC:=eԴnmr ۉh)C4uE}^q^,2й 0EKY([ $$JҍZh"˘ a$Qy4'݋~a9U%ԕh{kz@