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 t-,d$ ]I HOL-ODE-Examples:threads=2elapsed=726.860cpu=1330.316gc=50.888factor=1.837zXZִF! 8WO]ŗXf1-/6vR[$ l0Ie1 ڔ8e N 1(0 ?eZX;7vZEڌCt_m |bBs1Ybscnevc* cQgA,ײҝ wdgfS\Ֆ^c3jpa9Tw_\lIX,@U6dmT+hv˪ AzOuٸ#'ȶXy^5+k!'dY;% ݼY)Dd?kFtm(C UH(sK*3Vƒ}Q!+Ѥ}ljژb;js4T@Ķ~MXCjS ?T[6u;>l9؅ѵnM̠[@̿"K^rm[򳃨$fkt=v+ZM"Y~#7/,|{:Xp]xND{|fiXCU/ 3wv`J`j 7McԣM>dBйVՎkA =;[x]\ԝ%I\n \f.76LxL*΀ |2LyC\kuӫJܣVUFs]}F)lz~|8𣵫,gT:@&GYpjMS!>Xa|PҎŻ`w Cr@t 1'n%t&+` 'Nz4g)3oM1dX(.iZնףC _&]ӕ(IbOg1yɫD:N*]̷lzz)Wg 9GJ8*NܛqSiyhYQ 8FzA#:Pf-cÇZ_q)ԅici+*덏{A,@}"pjuOן,}eº3TIz(t*J e*|_GMQ`$]ðy:48gSȅhȫhYL9*Q72xvH]Y mEfI|ޠLj֜vigWf [Pb. :ղHCºIӬi5z:vS@lRrrwZ3y*Y-&#Ԋ] }wpm1v5̕Vk}ʕ>}<׫eť +x0-{HֳTa];B k'/pfxN'5)ponJ•VfKW Dh9 Z6 -~:ɛjcxɲ=Ȕ}Y6-jpZP\@{~Q'ZҨJ*3ą ^W"?aq*g?:@=V]ͤ o<,mYxƹ mJ?4G#3DVCmV b  w c zCըApq\,ZYi 6Njs_,ijlz8Úo6 O@rz{OO`ڡ*c_x$ B M8W*ѦK_=kSry"C-QJЦzMĂX!DzM@}8Jo]A rkFrzheޝjv hY I#6(tb̡_1Puv+:,N7 L).Ipא~r^ł惘[P־ L @st4ؗ垟{|rR\e<;vq6 P{PwҲoLP27]H/E``_b}T{!N/;R79Ʊ32gU\>!)31Eq.6Dw~mĴTeSwpةfiToM~QLW{ǖXyDv*gh1CC:d1W9 (2 TYJ`}xSKX8x Jpt"ئNψ1:'niTg47#gj݆ÅpO*xIV2 h..P@S]N$1tpPFL"f6 Vk'4Ǟ}ʂ䬄 cNjImg"OOe+>O\ V=%MNCơ|6Р%9a}CcJME5 Ƃߦп^_{7/Jɸ]  ce!1'spCk{(anߑ*ҶnNk$|ʍ5GsM7n fۆ"g;+l>[ V )9oh#R8a6 Oܱdɯ^C!k*yeʺCOtE p 擏u\o ]I2NmYNt$Wk&,Ŕ/DX) C&p3]bِ.`ɣC 8۟tgsPXP8\!dI^&cv+U.yQ|Q–%u JnP v2c;$E\|L[h|!6>n$d`)(bcX Z Ϫ5$kG`QR^@ :6}dEsk(!2p˟y(ډqj/L!vn} hExeVɣkB]$fИ)5`\nBkEth61%269HuGH$vukQMy5_4R O\9n)#?+W1/8mיu#8o3b:v"h9SbXޅ6Zb ;& -WIoʦuַTD gr=Sq{Jӗ)'=LyT6!d@jd@b{9~_2t )2֒`KA u`L_7=Ehjo(cxs]+`Һ#coaHPci[g 122\4`2/EU{_ܕ\'$G"@xyz޷b"s%YbJ>mŵXF} o_H( zO\=V;@yޖ,`̫dH5b[JUEp0aם ,ˤ)>(קU2ʺkd([ptSfҜJ0ڑU.L#70a8tO*?7ӝAK:MXr.7&Cѷ5QCP7x H`CdJPF诳dnP2mDd=IqvEUfz_eߨW$^J5 Y#< `P*(FXԥrf6zb&`pUQ ȌʉՎɴ蠏i4t*?!o'_J{c֬h;8f44͍@ڙ--R#d.L)d&sDՐ/jvm *21b.JĉE5 HHj~ $ܫ͎\ iHq-v &% g8Pn#HȋC+ @;kҨ]$VZzqХF!o sxC̑jM|kPGZ]U&yAOѲ:n #[Jqn Zc~&yʗU=8Nyah_Ɓ.[xc+Os~g gmxrY{aXX9q&v@_?eOgG ㎪yḼM7zq'3,siD07S"h9Һΐv ?@EWnwWuJfrBk tՉU.|%Fm, :5INfcELI8J#kDNr(y8 LLۓՏա3x}"Ο".:rEw2}JN@˒onȞ؅mYhttsȀ-m|^¯(hPs7b[#ñE ^<^O~cxpgWjlimڐj~.0Dc) ӹ*@'wcY/,enu⁏vT︄Yژ8&7iUDtu]xNR2|C+Yq-yR8)rH&V֫{VC-CU/-빔 \ = ?oRs ,OAį#@ӱ?x |*iDgy_ĔǾ7 sOiB=;^t7!uhT 2<[\-itCmd k113r>j Q}ص_l6 F\kN(4=1$PM9Ҟ:Ѵs3 u:&T!n8`@>||h&Q P9~G =|MWEgHjN\`"5.)%kK6S$;7#bsY&D Ea`;P\Q3#Uqj=(R< xoS8 '-!Z`r!y qPoo'm@'016Ƒ+ oh_BG "7>)F}1)ƩY^x(]:E㱖)*,@)1cAˮ UMa3QLGwIkϘRiK0͜X{fZu_"JEuEMN9Pnb̢?k&6U>WOuiv'LV} n<]0 eͼ63`XQ-iRDe1…ڇQ4Y;]ٓKJu5#9/,ŸE x6J&D>k!fmi /R@6L%i?BB8]⻒fD1-ĨndS殧YG`ߘRmڊl,OWP&&l ߍwA\٦ݽݼpփxb>&:l.0 Ʋ2(GiC"ݤ$c^v(^ЧT ꘳>(GkAT ?7g^U~'":[tf;g sSP4:y9/%n1Ţv:Pi.ꃵ{ɕ˴ {;ďoo*Eټ8(ROAWPc.A(XɅD!P  0_] nu]N9!Hkc"s[Bj>oK"UwUv^ J^.qR(}u1_HԷna\U}m*%L>ݔpKN@j$j5{Qeӣp&Itqb]X'5 ,x.䝸|S|Jmmk4S1Oɦ}VY'&둃o CJғ@rxՏxC;9^ -!ln݆9I&LUPCRe3o/Ӣw-S[Б=.'(6æl(5F\ ӎkfb[JBq'dXH7Æb##JHT$"5u5P qkUL\P 噦@_9Pf?'*feZq}-4 $[+!CйQMT*J$8}`*PròsIh܅2#3͕I"B. \rK nTdjO1urqHkNR QtAq%J dqXo(GU1'hzd!beMlbcbu^`]YMݢ+Fd GXSDӻ_'EPZ,t m~M (_Czˇ|aADQTBEuҝk_fV^\>VzuG:%"C52hm5(6qg4٪,{ i~1KIO/F!5TI ɠ AsY>V .TsFLS&fs?D4?,xUOrDsBUqQ5FO%-S_j@e wGI'l7:Ǵzynm'n8RWZ;t74W46ȝ? vsษ OL?+lB c8qh%ڢVGYwh2E );~ /8>i/9Kf%_nZ0pA`cMhn#Cn .`,9f{|0z}81v\d[7RwݡRJ,60vZ\uA7`2A;.%GG5jIտAT&kY}iŽϬ<ugNk)E7 A&>f2xG=1/̗Ge1uwgP?2-. dcFd1 4iQkb߰"$yaj$Z6IOˀv9QB,0?he̛>hT*`Ro۩x`K9faEo85Μqh%\[ј3:wC;j86tTsVf lDH&*zˠYaWJJ_$w&@O^ҝк5Bpb%@d^{ܹ`m"58tx8\p- ogfҠqK^&( so\7),&H0ϴU,HJqu?:Յ_7SALbpъ 4^uBrCv'zw=mZ]X^% ,z3,p!sicB̪IZFG/ˀsQQMbfYRT栍㩹tS*:XgR]"B`J* ޿Pc8O`SHu?L=UqFnu soa= Z}\> 7O}j#oM]yaэ1'~t銒f_(ױvR\?pُ2RƏvks]JL.3=G =:ӷ׊+PNz[lAWYwAE21AֶuރH'%`z>|.+WRRwCֆP=mWu:^*G~U;ĎSq'3uV`h͆`F)З2wDs&sm8 122qsG: RW(K~aksEyMt,;'*e^K5R EvkW“=ɕQfPTSz{%:)N2m5>`|y> u: &$.sE\pZ-Aw ;ƨ}lد< k"uĥ_ml ܶ2PcRLxS<3ur=$2\t Pވ+vd|PͲ-I;A7Ck\\d}?]R~ʁu#G܎n9ᓆocJAƿƙRg5b<2'K+>-C1HRheحFaa8gC&K5Y?ły4M0+nz9yYţbO'Jҁf_3 cۢ9o3<9 A+ȥΧ*~_$ZvV]LY}+P&0}([ƕ"pU%^'Et ͵!  %-1_bǔDy[EM{MA<^dO bQ*So Exe# mY'(v c2ڳ[ar1ˆK}"zcx m׫jg։CaR9Z% bh7!4z6˫fSdwנxDN\΋K[/:ve{A `_M{FkW4Yw1F8 ik_`/CObԖA@:A'"})cnx]tR׬ڂ #.Vlr nd O67D'~ǿ%x_WUQ07~2vnȳjBy`oR2G~m/3 á1.늾+SQFt͡TŶ&@zN"/ThZjX5[(R415j9! }x[2#կ6Rgh7rvboviчR}g/'=7iUد(xs1\O(褎MlQM2$ nY|RקD(uZ!?K#}l[PDJm vdj VJFZ@wO)?HrȮ]ys* ;Zgx.q ‚ <W2^^MO~ =/Q32蛔C:.?Nq FC 'v-t|,yJo[7ur8;1r@S?F2?h6E@hW.vDu;1ccxoq>5˽J9>Lyz쫢{Ϯ| RhEp͜uEފCb`4 7xBlWSPFٿ~AB)e0{s,S-/"z"s,b v `X~ZÌ#H4Tk0'oU^tl`?ǀ;Di ,@·IQ ,2xg YѰ+,~VZZ^I7dk# ݼU4VI( kgDt\ݪ\AL]1z+xPwT YfQ8%&ua癐;^5%E]:)!B%:rgBWĻ=YZ}`E9yj{[u& !xۏ[|KƲ5i P&&]3NGε!E钤닂t|lmGSDٽXoIۦl\ϭ*Fʙ8w!Q(hY/|pM"-"<%=9?F_yC ʥEZmPKFiʚ߁ LAb1"_vɩשOOg]7f^cgS~detw>5z*s Φ5"[,ruq"&EAig.X877נFjwe`h$4tǵqЈѾ{6JsQ @heқHn2Є:>64~~/8L gBY1Ei"DSSoӻ'8YS AB̦Si<|N&[K9'ͻڴMoSy"Sb9any<TҞ0uYHޕ;?ur  ymx'$~ ftw5( }D+; Z+"oZ?k簛:NrKm0 z ER} 'GNiIM!m^:lGnM7 F#*v艻"}U}6{ kH4,r@yRID 8V$TۈٜGSy6mQeqxbge1 D^*U?<=3 b#G_- ;~F_SC hoMm(nQ M.ȥ+r[I?@ +*EHj"m گ@hrU7y ";OH K 0ǼdHD)o%!D {>{0`T|C#+AJqlwM tcrָjySz8r؍/M\9`)a{sj?0m,(R} J u.*RR /+Rt?>G5_]"ՎeމObc,%_8|x,\% 7 FAE̯V/<6{`Ya$]@xw$"  F\waXPZ}2-<P'NcpGڮlZ ̳wg.|~]DdL$㉎Kwr7@W7B0Xtl قkp# 7Xġlcqvg6K"#؋@&AqJ#Lc̰\7M? 7s(8۽Fj o/7E!`P su&⫝X[a:o}O]\oL7Q^'W|S/RXv0ReIEG|~xwTÙ &V(2v0t3_"6H1 W1bap 4![/!Y>iGVe ^Cf\&A41-F.vSEAh!;ie2ڈ,uVMQq9/H//M \GŸX =`" bj2ix^g!{H-┙:6\(|cNM^)>%nu}vi*q |:X~]a^;gU ֥Q(h 5b-^G+Owɱ#Ǭx&QxF5n1Pg(%>qEB5efG@Xt]Ch h|Կ0,<I~N4 '+ϨoTp5[ ޓ(\e.KU{DASD:5 sIj90C@Hf%$JEjnС܏*. 0*& 0[gBF氀Pxm[݅[>o?uq TLdG.sDb[/7H;ALG־/? Uy_Ţ xK{ ̰G[1!T" 9@= pkM'tyCbM>Y|کǧDQA5wEZqC<e]Lg;V#i͗+{R=HN]TdUUViuXf.*\.!Jh-i8BQ _ E軄R!F8K m)CA(5|*9?gy\{P+-0*-Ձ]{A` j=/Rڱ$[L]ÕǴjw\ΦWSpF]} $&pVMLnd= =ˊ r:fEt>N}MHWJf4 ZQ|%atuo \eCj1v }߄Ukbgz۹>ŶwN۫#+m3iێjNMD/{Y}eB{Ay.ył즡2Hnt}yB5>gDG]b }h [!zHenϗ`/FNݸVL6tU=<9G(v$1UP56Gh?gp)xL\R5hFvoC;'NAZ$ǃ!pfgŠLzH)]r9fqo;G_XPs,;}]fSanNSS {9~C8aQB}@f2I#?Q@Bf(K2KĿJTtL)A%\腜_Tw-QY<\<IE >:Fnpӡ-)Q{atw5%oeYgj*&>)?d FUquu3Nb~ohq wCs䞔0^ 9Gr?~ys7[Kw Ci-I\^{a@ۅ_q'%X6~ߌ c$Sz GIIKZ0]L1a+ _sʍ/.Uq(Q۰xO,%é;DY%7. n粉.w\wiURKmf=Ac3&ڰ-vb_t~sU#QT窇`> ":Ͼ0lRݜ?#ZtbrlZ;h n|A^DM6ь$Z!#Zޫ𦻳X!}JW :Jia>3p9'DG=`ٓ\tCti&1 wլ1 k1$`q0ft8 ζ2J"A-mS]} +Ե[w8(J}Lzи@i @(W>HƘ$ L((㗠]O;i39uWQ6&&s2U x6sj%@zTBtp3UeW)3?!-N&EIoA{ )cG§1\U9'W͇0и= +Dߢ/"P {"ea>hT&v'נ` A#+lyt?ÑlP0]ܝ(?-TiC`&~Kt`=:uJPD{` RK@ {?q;ufv*t_Ɔ]{=Χ$iL՛H{+ZRWM~l}HaS^{O'l6 &Fz5GR@ɑfU:ؼUG;gҁ5S#(jPAϟ!d^>厩(@TM-~ w~7jIsTwW}p{S;[t\\JQl3Gmlj/Sﭙ<쌒i/q1LLYdn~90WOnLw1<3e\)NO@!)İy=uP.hIvW ~A " 4p1*H&GW#Uw !Q]iΞ6հcj, YjW㉛ȞQ ʼnL$ S==?D>Y5}Bgҵ:BRSJdiUC{@ J$ _Q^DRy~!י1\Q:wV8qgbbZF;1 jXҀPݹeH͵PnFŋU,_'`%":. iqƦ_w/|IWˈ'? ik ,6"1$H1]+P4Y.\w38~Lti$wj_|[%Ie=SlωOw5Jޔ+!Q`PH<BbHퟹp&:_=I'@OXV=8)ҌKcip:֣4=KJeIoNs"ѧkÆ?Bͤ(;ېB X~y}H>_[Ȗe#j{xLUퟐklrH(NDGdjf5T.1O9ڗL5w0>.Di\ }jׁQYV& 0 ÀNS>=7Hw3%!4mn%}wo6鋕faHGv鶆P\EginfҒVgM h Kl:uqbZA$|.sЩqG4b䪴#z*'Ak=\u6Pvu/PԇUYk̭VZ!+ʯגY},a N"ՉyGnW|DrJh]@;s>*w͚uL"H*xjm+}t?7nOz.'D`>KѳI7B81D͛0`H]/ګ3^斾4niz1֗EQOW'"Y--DE$ND'6 Nb~)`\"32EOzm1< \8K_^4.uE+ݡٖ_Kv\EZs#bhrv;dW/v^L(f"Ҏ&^CHrnhN,p'_1o6b&\i+]M!=R)=]X?ٰIP/ (O^:6 &i]VosE+{`co^0h !)%5T?Q{y_NጀtY`@tse@|Թ#"BO/vnG[wΏL Aʚ&F'<) JQ,[B&ՁiF:"=9[/ɣBIm4MF^{tD-?D?fzM~/ B OU9J%7NS74bc{RX*4P篛ʦ;H.@'!NzR&goAnyRaMyQH7Uw.?a |ۇoQ,q9D0^Gm˷aiѯpb+H^"@\g?`` LZ1m>\V]psc3^t:R 3L< $EXfi >De8e>vR_!#i5VYw+P_YGxs>evl{ SMbvoƸ33k@ ,#p/}&2#K@.S&h[d5P>2/ڜ;n&~)4Ψ !5`,^FΐSicR&`e՜"s`[g^1ftP`)bSokPɴQL# 'n|J_ʰ3JPOM<^;M cZ33O,  uDr=4E|L4~Lؔi%d~I+Ka(QA(tV$܏i[mS@J.nS3YgoكmKPE JmRQ>cM(uCx{F/_h 1^V~JO>n j`SU5vP+, \H }gl-jԉ2|t\BQja? }k >/'SV5":Ctc" HNMܹǁcxAm&7 8&loѡ{o%ZCI\f8 9sw#r{٘8p .b$cڝ?+ ,fUt<ŢH thqN]韟J,a 0ؽOj57cTm`5žkn0/Sn([]p9A=<2OtuV5W6-~+)q=cge6}i%M||0[ r6`>W+ZM*'I>z.v@ڠDKFQ,=eO*YSS+K$Lӭb*)ƒCy zDLۋi)a9M4ޛ ۆo]R,/IR6_ZVu[[7siK G9ͼ\ӆ~y"׷TUXK@J@_`la } |<{sa>Sh3wMl|f=~;B\Z.9$EphJ3|W~fЙ;j5_ojf$CWH !^VeSFHoJThVNcQ>ko̔uFI eŀ+> &ˣ4ьOh?{+zх>A0>nG !'F4ƵE?^sX(-Q =Ë0zڅ:1yk.WcRGQ!٘RE+xOv; M,$"|n{3z.P*n~m Cn.J Oϱ@&EA4TnB|~~)hAÔ@j6%C +oN܇Oⶢ!V| ^ )kND&d<q]0A-I7(-x[ i, '4Z$v rk  |X2,+k'NvM5( nZFXX$y Ԅ73 yuNkG0 Y_w 3oyދ.|?+fwN U5bET+6no:0o#n4 2/Wj6^Z8¡ϛ.l(]19x*be6h Yg}AݸvPGMT3/ۊO2# d PJ PVR؃[ 0uBɷyn;R8 ] x(}6%ߑi)xV_=>SpܧBO>0.rcהoS@O%[ zG_3c Ta3!] YSPzW<|Xb CKyדFLqj<1TE 1&'=w#NdȀDEw;|8}HVM (.1Gڎkt= qaoV㋵Eŋ(fy tdVɂxTJdЪ9$l f")+?P_2KRשV"G̱v Zٜ0,)tscdʖ0ށTPU) W CkL11]).>nSg۔lz0Zwi&q麴pߺ 2~Zo+>8aM9&(t7f MC< dէ} x9WcȠIڥ _|DZ6_XD^s] pqUe~^{nt+,&6 +AckC7oa@@oވfJ5Xj(] ͽiD6U &k ZV)F1iqZ1{S=W! )9C{SdVɄVhKUp.v&ȪT41%׿VFa5]*]HV7zuOI&E,F{V.I!zFKxPr  1}8 gsV}6,=g|)׮қ[˟N&C{C"LUm" •F'(# 2T(u+BO^?̪  "S/2?R3c (y7tn 2̲\BU5A !6%bPTcd[E E }OfZ?¡I, u_k5d)|P67@pnH4aLqwW?2,:y(wҽ@KW{*4kħ x(^)o + NȠ3k^èX8`Z=Dté:h*3C[ ӡs+"P/ITeP[r'U}s, ɧzNlNZ$mηd\ody5aœ;`Hdu|YR,6 6ۋ؇tiiޡhy҈gn u4^9[|Gg+/pr,:f^|SZAPv/*͸].'e7Ǫ60?aE:SMXρ+Q*CN$n2ZovNH̪ņ^>t K&KQ$'yvȋQ`_ bв(S6657h[Վ3p$ CģFn-b4ΙlIov X/QW`iIscy-J49@ 8ުu$p?#NZPM#xkq"! /Zl᳖w $\ |K^T@?l<1"R $2U.MH|Ɣͯȓ3 GQ݉99q 8nWRYK- /\xjNj_V8G%FUƠYR,jvShu&rmK`рmPbל"eJN2"i!;ap{wOk?aOnQtB L'm^A`}vqLӠ}FV!+~A]X2=l/x|5 z_𪲍9jk8~eZuG'^_L{f ~'J N̗" JqPe?"ۡMFIFJu4.J܍#z?-rvANfy'c{E^lC(jjjS/ HԽBs 'IIQ"<8eQrvt {哋4kE+}aXròH/6ę"zI)FՖ82#:S^N3tH\=42'+Y]_wfj$H :|(:)7S#nc Žf)XvGFS?fvꏃN=m{`<(P .!g6#G#pZ~)(J,Bd{ לV-?_3Od K&RL"lϭYE/tԞo` x,W@ǏLhp\|A&>;<yb?x*;rj9XH`P{~6R."n+&=ġۮ&ܦzY=!]?!w&LKHЯxƮv\lZ P ~k)"S/\ng=Ȁ`Ye*f0⾋ǫf_jkEvxuH  !PZ-]^!޺DrMN"pT ABUC'|y_j qjjWafիN&AfHyS> aA8CnUDŽcrJmw6E4A EW ]:/u"yjb., ϯIPDVֆamW}EBD= /fט,  kߖ⅋FQH+K#Q`+ + a_P) $J&4})xS,5\SD :'^xK}nХ\ 1Ŭ Dxa>%"[?42gxozF2O0{cfҭ\&9z 9_fco,@PpŽT~˨{:voтU4mDtv7L]$\!>3~(mOx!Z#uDd{h uܙN k_/.F gU{ #,(.w\X'I$BQ7(]?Փm}*;Gowy_UR-(E Ű 4RW>}ďg@G_L踔9^~dGi_rM^(0ae833AG6Q`âĵҡ5vq\dɂD* "`1vwuяbB?k`oL=|tu VlRAG1vVW[$ʨl_RdUD8q)~@O i3%ŨůLN%k90xru#Gzvθ#hl"Wu"1|%ģ"uB-H/vr~'sւ~$,k8doZDuI3~ckdgM*l-G D&N79ǰ {E@'4j P* iJF|RI9x.g '` YRi:&.GrbK6:"yV6boR* n-ݗ,]A{I&7Y)(بk? 3[Me:GEKԨ"'u+šW5eu@6;^SH)LQ6SᎸ3nAI " F+pD>pBt'pMZ|b]MPt£mn4$, jsz[0 ' G(ʡBF" DZW"PXYE ?TV-4DD╍@'x=`]0(7AmX9g6Ct*"RRH*1oCH-s'XB7_ 5&Ρ|}xolŶg<]ljZ`a 8@!n'b>O4]1ŀ#&.[ -p%k9#*En*s4Z+*T'Xc",ݴ?b}3i2H7d}Ome O +brq~^yqⷂn.`vg[ccЫsU$E$#^=_81:b*6X^ʄ2Toձ(yW7xsMz{o5E/?MVE1\mmVxᖺ*0WzUphŖt΋z"$t9*ʛ9F2O#65\. {_ HޜqPw ')Yg:!Kj  Qo,YUH5Dg̉W\Uqh@YѓyR|j"q#\8msQf+#? ɒ85nNQ@[nKj4[gzs?a/ S]nF0_% Jv(} 9Z8r1.WɡBTGIX_UM %?^4_exY$W ``C) LJʼnɝwIҎDF+RIWC ,óT]~ FwP4; CL{Wc&Q*ˈO2#@a}yg5XD`oͧ:9[4[ed"ԣe"UcݧL,mbO晚!\Q>A g89xFr: q G!-<S\4MT__+'宏lꈮ=l^Zf+8FmEZ>6j[mpJT-  ]XV?UƋYy1 ~Пgpxn8C7aG*&W7"*:F3 %f+㧚m?tkލxfQwi@`iE;Bi:"o$[ cۘq$Bb$7vwknӶA[L)]DɈX$~[BpAĤFv׋?8JG#]-!w;VHe:Q?+rAճN a@#]hc[-b<*OΗ}<-Dt9G?N_ִ7 x2(] XI{~O0>Ki/hVd] GE:#%c[F+x1?CߠޘYKpw"]JrL[9Յ1`t#jȖ^ϭtfvYl5f8-f¸l̏pLBh:lT٦7hʚ9vLDnњB|wÅBKbkº tN:iFDqB/ I;|#45軳;(4/q#f:xb@M7ەY+_'S8t>eic<=D)ͶB~ov^l1:!sֶ'k㌴GFk\aNna_nv2\3B0)>ArB5"%*~mp$~l߷h و^ReB5E,kF$/OX<): kAG𵳮F{uQt#F0u@D*hq,rg^O:yh-~0)N 1t4ut'HH^+nT-!֓BlMe2iʗ9:te<FDyW!}0!3Ⴐbm~du~E(ڳ'@Bd 2#gI6XNY"lU2 HtM)Ÿ1~hH&b=9}$Ȑ)55 Cg $/+O)J3CЖ4Dc.j%v_@cشļ(ocu/נm(=KW!ny _G+~[m$ѤøP&Å1Qc*s[;.h_Ǩ@W1nz8F-"D/YEK?꘽* ^XKܒHu[o#uV%񥅓wfAFireg vݘ2Ls`'(JEи9;HwxiY> N Sډ'2Kbc<^c~Qe@ 2?#Uk?/(.>)ӞS=byBߔUfVqiŭ8Xۆ.j) UCgNNTwJxU~v4Qyx U1/|GG_r)t+)GC(.Y`ν ZIgH] }+_mͨI&M %VV]'>Hiڭ1އҨuft"s̱ggg=.#؄.:gދ;sl#Gs3H«p0y "r SHψ^vkJ/Ly]06XJ_uItjQJ `jPqpن<: tko"Kyv$;[Z1w\^ 2"Ӳ:kV?ZvBvL)Z^0rݳCTÂqxd$11ޯRg+kN!ey4oz6I#bf!F\&X܀$G[FX$e󊺐'w =kv2Pψ/LݒY(PR^4)#^`BG_9lAԬTyߩ9ָ%x=IuG(rɤmk4="-8vMP8-"# s()7:|{bl @#a ?q [$(jtFh{&WCHvqB뷧=(.n0p_PdGrYV 1ٖь_t*a)0WJ1,&k7KgދFɣ+F]O_ecmhR<ڪ+Q@`׶<.YۻMXXlk :G1-Eg/䉴 t f B4o 4eZs+5Ak w߷fQflұF L ֞JQ/HEtܾ ~8$"j*w~QO i"A;N>扃&Ks [/K!_,#7rK7Vsv vCd{0SGzN-cx v[lsm䕻SvB +2ózAYC Nө&NXwkTCTSќ/PD6 Js﹇` Y($0PoNLƆ\QPP9v9ٵA`a&M"C:X4Ǥ=\]Ꙧ>_۰guTTv; eF԰11i*rQ7tiEN}6'i<7~}^[aov9Xa! !b8Y{1D~ gLrzs3:*Ȁ]$ڒ$1R)ԁa֖I. ч&=| |$MJDZ~oo-w5YHp%{\ƈ. LEMR.-os^'TLA抠|[a6KGē-g?kdbɄH]δ< m͟+ R+ CDu|TЙ^-橔V^Y:{ WtS +q>!k-8}?5Ÿ牙WhklN [h[]}܆ak.|"3qWJ(REԭ[%*7UmBHCY^iNu*K6dӾ-X{Oc9Sco_XJJ~JlS1&!Vkw=Ϻ+=hNP d3ҧ,l;qWny gGJ|etăcUTSШ+jŠ 6]_,+~g9zn1*a:Ez 0PH*C; E@y,%~~"u5I)0"D.v'lduZӿw36 4 \Q{ߛ; /`}VRia@S{Y)C1ǪQu`2؅"`6]&F'+phN[4ıgYZ9b508cf1fb042cd2d82af3635416dec5c261a1c4fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5 eb1b20980386806870d490e09e0c0ea9320f6776 a51b0b0a8a6e4b1b3b431ccbefedb3721e47bb6d af70c4cb9d5cd0920a7fdd64b886293b0b27c12c 08de9a66aa221e06595d4e9510bcc34576af0556