SQLite format 3@ -- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1|t 3%]HOL-ODE-Refinement:threads=2elapsed=235.951cpu=407.232gc=26.184factor=1.737zXZִF! c]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kKV/ƞwtz~/Բ1߃+n:T\v\(^f-p'BrL4w)\L#I[_OG5NHK7rҢ5w;ga;wQ탭](t.xR{ƒk[0;u8ILq[EQ,"]Nmi4D Y-;E8J: 6F{w*=ëT_=?-* _ьBz-M$ph8;ptQ,mG?X&=pp*\*F݂ߥZMP[m?Y!,*ox[k焅?={{Jc{П*cPl!\)WE o' k6.yclQdq]=RHJm~},"?,d]b~/qòYYJ'LTZf j"6yh7!ndXt.I^$) ^/1Xd iMx~RvfS₀eBS&*`2tvfJ vaN{LξlF7J=o`#?/Biwy|-Ҩ^^]3AW%3OP0Bv@EHs@G1d|x){]Ѓ9a<9e('yQ(3O-߹kbX!Vt*jI/hL^n"+˸{Ԯ弻JӔw܊vMcA]a1jPks( b-:m)^yPl_@agO$ $ t|=`;i?pDGlk,-yMFBV!\_NQ(cn'd&e1Q`7</4eP/{zIjq)̟m?-?R;R/_eD-ReGdqiN!R+Z_m^s_V5b5"'SBܾD룖ZUZc'ʅدeQc}r"*kQy% G0Ã*Sɧgg@kD?=;?vo[0_10e0c³eQ+ J\wlE[ %f]",K=.lM}_ _b;1 m0m5cՙ=X 6DFx|?a19¦I#{ó?(ye Ǐݢmvn{gQ|cٻ%[=8Y +x -°'W^2a\>XAƞ;%vOlQSjʶ= 8ؙ/|]Nk(=3BmE3ECL(Z f iMqnqo$e46-Ac$vv`L#s|3+HIfo<uY9BLfBPFjkcrWi~$N-suL'  /JVL~"3Xl2_T|]%Z|fxt?r LM=|·675_&sȯ^9]¸ߊ%I,Ї6^ Ys-a<0Ť9-$`~$V(1}ц ڪ'+>& e +V;1]T@l;dO_\vU@l` +C 33w| Ty ?3ܶ9bn)s_W +(9B@\=ˌV3g*)JZwAj*5oq?<s9P!q'T!)p eGSj"mK'ԢOqM,y_K4_#P1#q8K3MDfǑ9Aje$ I9Drn{gD4R׹ %o6qF \  Safe0BD݀[w=%y)w{&p" <6@r 4i QB7y$zjzt~f)į$;E}ri1W-e6^Tҕ/b2XGצ,*=)2ݨG*U8 Q=o6R`7!z19}X6$]Ek53ݷ,l^|*皪pn3X# X9a.*JO>n> V]\,!1ep|k)Q= l(@;=)E6Yc._af0v>/QZ<-7KףXTݖ Nm xz #'-\TF8YgxQ"<_BP4JAEFu9ƫ 9}j6I ?03YzoѰ!CrSDCj6eԎ-6NAwlzffr Hk}-y=jR+{yLZ,i!7fe+lLқ؋m.cH(Th;`0!X'5T2K)E x7)  3_`~L¹gD)P6;HH[tSOA/07Ԇ&g~4E1t I6[%_?.J:"(}~>|) |5VKL\pR3Ƣ 59gO<A$< Ӿ2WI<}^U XFHORL 8gzBEHr碓:|2zsDYu,y lS-NWAWdmZ+=xe{-$"Rᶵ0Ֆn*;P4u<'qCTi~`ƼDhMj1%Uoit||G.(*к^n0"+ V84処b Z|aP!;\z˗r?*h+K5w2LxQSN](p }Pqx]"\# q<[Qdܹ*#4`_BOchH+(tE Z- p[ׂ?}O=!ڃ>Nj^-(8VT$jE|+e ,7I{O;#0?s(4K{&NH@lj@:@YR~u #YQv =F ^@M$UKhVꞃ턮g\/w @餬C# y9G2Jc74 w}j?^[g9[YuJ>Nl!eYtl,%=-`p) S5Z"p<#xq`b)/'oj<@Z'agX4\rqN]B ΰi\]K%k|L:FIdS{ViAЩc@=!g>h,T}@؈$)L!L7tc+⻄p$bw,$~IF' ',.osRItpjV_c, T (&`;۔ 7;؜%u"ouw F$XfwnyCtf4ފ}M"8Pf}b*zeϚyYk)ƽF 4/9D{ 9U:.o}{u2J5Z3k"gTl']I@@XL #-xZu^V;q \*VD .W[kF9P-إ%bh`FH!%Qe'Qf"O]x&\ׂ9esnC2AAŒodV0H {C?iRIKK_O0|;xx}osձNFnݣ5%R}áТP%}4".ʃ.H@ڔxWpcYl̓[p?\͔WF?$wM P)>oC (Ӿʳbƌ"\ޣgU1NVKc_Ƅ\Nh.F-1(F5(KLmA|^Zeh@WĬ#WrݹJ*nYl{nm|%ߒrGPvRA#_lB>5GdX?{:`p8Bclgc4+; 9_.{h} UևNt{a ?SCZ t} --tJxI:!FpwJy\v;#YT)ϭ$Rtm> Qtp @9G|O(6Wnqr$T Or ,O]v-+4I% XU@Yktq"x'l.2 Ya t>߮\ zˣm 𶊳޵Uq.Jd.vco# e eX`w2v1H^#%|'lLDA!8֝ Ě+[XɕwE$DSy)ZKmd\bi=i`eM) b`@YO3ڬ IUʎ)h(2萇 1}=O$ccԺCe. ;Eņ 7)\3Z!Ҿq8>2(<[mmo;d2g̿V{4aiH^&g/*,H*.{Ǣ Bח؉Mxr0Qd^{@_H :V1{IvM^+r* VVU|_E)U !eڵ!m267O""=rܫi].L׵rBm疈x(%v݇WQ]siT@ϻֺX*i7ʸgCa*e/6IlWP7!/ CY[    w6Y5TOj{)*p=bfmF2!!h0ךiPs{{PM %bdEkG(yh %qJ-C>aDL~ex5tOXu6ڇQR) XtD7[.g1@. < 1da/)%/D7eh:vOPP^J)! N#W!W T^ STN }S1+9\pLPZ|LMc6ѵmzT\1=(+U obg #"mÀs怔yHdp@-*zi-P!4^ki [vGz s-%46L84S:7.cd]I>Pq"쬸kdQ8CZ3%G=-}{nrDËۋ$@\b Œk=Xd[*}Ls*b7}75)"@Ip6ٚgOGR?ZF]!z$;N0/> 귥P_Y ]c$7<[.)+cINT{C-Mb"JGR:8,`d]45I>(eJd8 $\Ku-93J2@r{qΩ6#+fB#KW8˃z'( 8nUTy('Xtg )k54ec8+=};o4VTF@t֜,N뇅6udb+? ܭ|c?HYI2B=*R_>$@>|7\JqRiXZ6Z%p36{gyG 5e_catBJ]m%Lu֧@ާ_ۯ6<kpÓidUq4D y[ o5i7fze`lAn6K@y2<[Q:>"o;6jKgڅ/{ڤZHV%N6BQs3X=Ŕ[9%N47 < D&kQ^%|Y~! Fm|S-2Iඳ<(%[w,jژg+6kqW O :"@?L1 @9./^a0j5Z@5;ƖvaNu\+s0V?_C{RٺZ !*: 0NJGZşrx[x}CʾEPBOO$XFDJ=Yx0)$E;G.rv9W{s6b5<7"IRD$5Y*tMy7ua4oqZ8~혿?W\3T{{.4TIS0;g(qs|G X/oYؕ\ē'LS1jakQёM͒.|8=㻅] #GL&e17;cbg4ks˗1ߒ[szvM^D[n}1G\.dLqtpvvI!aq%B~ ]5KXQfנI3G~yj y8dbT+v! zt7G c~C0k4Ch_gdyP10O=ֹDV"gjKq!riq Ew 26*%q?ñ8*trCf0.O W-LURCu` /jJA4d/A:gGԖ f R9]H|lWfc4Z;wnZ ѬcD[PmÃ1%_P&*:?ymɳ)YIL4&fـ}^yYfKx]{ﺡkx ;@eѠifd[b.3uri*}8t d(e<|](:24ƕRұG^F"؀| jcJ_ws{{cPTʕz-f[!u$p>RRQќ5sJ xC7]'!7PZrZogi vNUD"$xO++PYX*B޿t S$}2]G2QOP]z>bFۡRy-tne6kuq-YTgL7E.yWq$+0nbio9qЏg-)+HA=l4=SR[3vR9EdT@Y𭘩l=-C_0"=qޗ#m&Ґ4cX *}H3?匆uЕ,\e F'k7:s Dž(l(C UT>! soqTf3 \PeVQy=8Kw=bQƕ?ƠգPq  ,k& 8oR5f!LmM4Y=Ufn>" ^vhrDGԂ |5 vMx ,p$RUBj;$.c%*zn.<_#qݨV=e[L9pDѺ !G&$!Ծ>mNEq3r?<|*=*8@Eq-ukR\]PC[-(|-C" %9Ku>"+裡k. A@sϢL dj%>lQvbjfSv(!~sY0k[l_5*UyXz,b49&Ov{DGԴ"|KUs>ݵQGXHq[cx hBnί/"1q!^KB=O'*ȹYBR3/xY8`SgFVti\t-j>r) 5d(ph42d\r2oZb:zhڑ5q>8ѹ (;W~ u@)dƒd9xKGNʯJL8 ;qJ;2K1 v4;<mbtwSҥ][I'~DzLaI,lfrз>Hj9Y$Tէ)Vodi}Mcm#zHY[QX:o*X5&Z{ }QU*_:Z39n5ʳkqؘ͈pGNȌ?!2#Ty# ֳ/5m }uϯbS)P}]ЁQhˉ w*m>.% D+"5 88q-uHݭ봘 ~|`MuH5uI8کw<GYt $.U"NjH)mKS:]Ԩ(VsӦ 覞,1V |F~cuC98$"Bu ';YHpbr"O 'qyKnSh4ӿ8FkyrS:Йџ12ʶv3]gHk tvgL]Cv(ċ32ɒl=AUJĺe34j؍lg)یqFºs0^{i) ,ĺ<)"UO2#觐6nCF >01ȏE*z4g"rئ3gpTS8){ 0B FHp} 4b?.XG5v(*| 1v޹K3*G ~pZzJd{Ys||1@Vߣ ,$s̓.-q-a?Kʁf7M:Uj˕\c*ꃫ=۶RfBk/-ȩŏּg$^?("pVHBB.m!vM^>9N$ɻk(H+Fcl:0krmum7Z!vca&tA©rnEg)a6.O O-Ht#5H$L )/w%M㴵xK\ڭ`H >J`QA#cPOI $x!$~sM$ݡ$'O``HCw)ЎnY/-HVGE W2EE&eōՈk ӧ }jޛ̔I{C`u^Kd~ݛ }I\s0޾?v"xD#Moqx4gNx}Ul(:m"%fjrz uB%aq=W;490s8L[w'Z=i?O1J,<&:uMD%.HE|Wiadј>n\bZ h0cX q-pKׂʓ*j^QUXmF=n"q8cݣ:1<+Q*6.ʻz~ Q^ eo)Zlzδ~'"cڴA]Y| Q FMx~)jM%|1ɐl(Ŧ*6@1ǑW:̈`PQp/"21?`)ӈ$(!XɵObp0?VGÎަ˧IҀgҾh(vO1,cqI,= pR/}O*gBڎ &ZA{vaKKso-ɼb<(1 IƋ3Jb~ 0L,٪rJjݝlzJ, Z20fi8:0$id'HŽ\}D(ވs7o}6[oywv#Jq 2B/%B4/))94m~w R˚p2GAȊŷi[KWqO ?!}v1{]%*P|ٹxSb$®2(lVl.bװ_z"z%P~⬍^!ŏXޤ;癆8A-V|1v&Xqmi`-2|N^h m$o_2{/:ȉDUٳC6,h"٥#c=[MbIiK$e Zo\'0Vl9Yx)IT?)ߐ˻627_ߗ6Ia%=+?I)iCGVDUa~l p!gL`!%; d6biDkJ!aMKt=I=v@p-PL❾eqrr݁U[}+DV!lnq8[vЇ<~GiA1֟Sb먬po˶ؾ-kNHz&Ps.%9skU1rjfii&Q%"Yg F3„EN /ʧM{JG@7?JSF,vc2Վ\`Ab+{HM7E{6?o(̓M4Vm뙁E:Sb"&A7G&gy8R#wLmxU}⡉nAǠеkGu2ԅر?$D8{*\݈bw@VMSJ @-*8[X<|j"wۓ Rp)QqQ֖+qUY: DhfU-|(/2KRDʂ>Et;AW2Vu'l@hfg#LR) O@dBW$h[1uwyUίªC$X# }Б«'hŀ$N'>~TW|f:#g~ƃlMWOg$0QAݚ ۃSvUX&c\/Y% ݲ dHdyu 'f$H ~/o?հaחD ymLFK6Mw{Hu;rx,z쪚DUbl}I%(j&lHN/%TlL{S>n&(K~BE۰gXy q7]D*³h VuZǼ71DjIXɎ݂888PzE/&5 pH[Cl&vfkxE}9RzM38F5obuƙ¯85) )`k=5v-|227ѱye(·moY$.P.>bndx>  +CZvlYNΠsn!Iw] QyT@9%k-3QNV F7g6/1kbH}C$8 C(zo$m.&x_9w (a.Yˬl a{эJ:ӰKe}V4 <]/}C3@,AYTRzveҐe[?Y]$qT< flR#0lv3,5 huBP{%"Ot"#XO͕UM]q#^B2ih1DGꓕܰM4o)Pvoݲx'2v!r~qj5{Jtyk-p}0nW@5<;m:D (,S7kr ^ʼnG' B|tܡP+w`x(!IAլ({7@1Ւ=Hc95w )#']GzLBqxg_ZZ.`23L(gЍ~dU0`G >:|;} D څ[","eSG,HʀZ'U"*_3T!DŽƋAQ73z{c~!qX! {S l=8uz'4r1xƝ &no2=T.T09nuM,@?H>/dGz~IE?Z[U̷7jgѴ̜{Fy9d^U$g%DR*1y^2' L_I= vG:2{+QM\ F}&8 I VxfIM#ƞas.OU?FFuFfG~!b>雎>Eg r5o;Z/#,'vW'?T桂<BXÔ$NFv6@#ʬhgpiXiȕuˏcÁR̮,9PkłH:[V _.U]|Q3M(oå x(b6C{G( PǑVb﮳uؚX0\^W)d(̣ܽ8ty uJR6yTAϝJ֑*Y=@ې}):ݭ?$!v~` 7mմ)a<5|bt6zxYT! ֢bӼ"+O#d柼VJ2Oh?40p}c~MBtH@mt4 b;jPQUث_fm+vqU2CwG$*[0.qo!}V,M"֙ =[ۤ9*ͳ^<_KhdU,~/ $ aW ̂ڼW;?&7ُ0mmg:\_/DjrZ|X֪ά?"4 CU]a?np9&!}݊En/kvnpZƜ% F2.L}FjГI9lX[r5Qge+k_ wqV}8Y}Ӆm^- ls; S)!3^^SFFH8 ן$GVA | dA`'J4aǏp]*jSjpm4Xe` c*BxR٪+{puN/"م&l/XJt_u ;cR?l:51 i\'ϞaIbr ] W*%D<;(=# Ȅ8 _>j37f Y(Ou?vq%/n3ڂo7^[#OI#,hi~yդzf6RN>yoT~%3#2muc9At.LR1e%TRSo}rJ{E(j6;LxOf 뎆M@Ֆ;l~Sc5 HU ^l t$;~V7|lI qwԩ5_( k>}Cj|rsfstvf9hHmO$D2-~& YI$aeE4cZOm*}J&LKd OdwtO2i -qeeOϠS)02b:̾BߝA'^Fv *sB\E#CbuLnGpQr"5[&SHeTe^ 1l?oGw3/D@ϑ(]|~+cE3}.k07aoK !FPV(k>+15sݥž5_T6} OTZBt\KsEEo={d9d@K#C!-{:T`S\o!G<m |xc7:CK~_1WYlyC?V µo6Մ \NGk%hrcG 3 'v]}&σusYN [tP[KK\Đs:-Kᅫhd]-DTWXc+Rw7Vvѓx`QK1xYh9GU%YːOz\#z[LqMS'C{PSR7Pbxں4̉mx(g fSH3&n|9S`*j翗nohDsĦv3(T[Ryy,n@<+z5IS戮mG5 6@ҌT\0q&hΩ,PnG}yIaٻhgXsC^ߴvRC7O6%!x.R-rI# S$}6#xpʶre$T"z2z{y0z'`yq!9js%}.H >«ߑgtU+ 2HEGf`۶H hr[;'ki+%Z{=bmߔ6RC.0%vm}@"&;i-YScCwiiԤj)8Cj#u\ևLc) ¡@aR-44TY>JdqWWػX#w +"xG|z_S8da;u: H 't+e${4x;͘!qpݍX[L^*?F}gٚUNQqЭ9qVLrx uZ6tw mC<!^f怏c]s{fTļG>@NyѭȅRvATÒԈ\G:fZs*s81Б۞!Y|kٹN*; 5  "E򲾖GUv1K2X BMxFj\}k5pwl]5z,b8_<u:l]*x=Tczm D =p~]fUilFA"zBuE3[SKԂX\b&ֆ)cûVjHzgK3+cpc#yOi(lqrf: I O^I$~E:ssXSflM- y5ș܀wDnf?B͐,w EbhJ~ a#6@HT2&ױ3#5a9(5P⡿/gw Ԅ_s/s銫 l|@c㒋ePw$8Tdh P ^&BӣHM@>Ϸr9zzLڛ*So9U¸CuMkgv NUeֳڙ=; VJHNꨬޕQ){3R︖*T}*W[Qwtދ>A`q M3H_+JgQ1S[k8o3/P [k{QY ҢKM/pbg ~$DcWKXU,"!UDJxD;v$ uHڧ*`Q*&HOQV&0kD=Y#мƛh^o? y4|hEmCf-|qH"|%x7sumLfM˄閖|؟q;Em~|d[Uq46Tد3*rI‘ƬDӊxixxGZn,т#MAysy3J}U{ ż]\ {mt !O{s|xi QDzט|CBoz PX~D 4ubc7 %)ux$H =7;`ScryHpL1ZYޜ&j?f0Eҍ&enzM\șey0C0TγhucbXM*7-|cO C"5\Ŭ'8'^fsZd~s gNoVJ^ZR_5D!S"VocXj~PZH[o9g?4.I3x|F46?v Iz,,'K:mlΊ8y  WT#8/D&OeoZgbB LfJ&^ pVuA;Z+.N"{("g Wb3}{e>}xgc5,x9sNpzfχ=Wj6p-hffFDq8_{;.QcH2h=cbO*Ms̿X.^O8I"=>sP4VAaME|I7%'Yͪ-WXbc2D?ARvhPzebc羛;),q8=j#`_i%ݐ Sڙ.T _ŖdbC-I_6Ov3djqL6؈:W+ RY75@TS.76v[ǓbRuRhvSxrNK$cwa#0IQfě`LA*aVF{g?03")f[ /a˙$JY@q;MQfbC[yo3+Ff$w p^G1=NS + V<^m;[ fr?'G𕐣2mz+9!{^ ׊ ztGE #`roط!2-^JOՈ$6Ƣ7Vʟ['ůt@W^NvpǍ5:͡f UaP(_qw8ܗ2aB}2ZɭV~Z4_y: DXzN,~_ ?t8MX~z&GPYD,,z$!L-0"ZխhlϊMU.{F{a6"~*$)<7 'uK$zɈf f_ގmb,' bms`z;ۡt6.jx0չQZ~¢[{G6z,\ ʦC 86\n,EoEV{O C ]d%)> ! .7jl+(uGT]7C1&r3Gu V4dbR~$R?ZתC eMUd*ɑ\+!by7"JH bħ3u6߉=ʆ6~$ys>dj2~:Xio3=k"ܿeki6z6Ӕe5}y’-Ɍdx%`pߵ9}1BLódf*{2 }mWE:XO M1CBIO+$jF{[]2l=(6R+Mpyj!#rJ?AgQRef'_2 vՅ@d 5G%! ۓL~YŒX}$ 7hVy%(/;^4L! aAP=ٔIA2虰Z{Ǡ:*ѐLyELE2OBܥ̔kyܸCd.ֈV=" :M/kb`$~m#89&"# SL7^I~dq+ %r*3Dn6#C'mO2 5a}y/ǨJޱF!ΖPn' 3Z43}ȓ(R53D8h8JXHt@&HE}sY\4@~>p&JνU 14./'_!]oh=00 b>e`Erɓ{@&V~m%@pSȵ6UZ#Yxv\(y/^Yuoq 50W|3K=*} [!^Y׀<9_P|@7N p6ܢ:$w3㎔h׃CwjosP˾T`1U.wK!s&\7&LU5[I pmT@4r ]ڵޖVI9-&@$:XyL3kah`U9PǦpZ=+ܿ*A:.tyw<9gFAE8N9d*0 Nf׈^aj5IpwDڮukʉt@K^\\.V}&Ybh%=Vǵgl0Awg nw4%]1 \:`E~LM.m Fr/ʥ-35-d8+Ybg~YK^‘f$cR!mLOOL<Ga؊Hs78Y1Z 8/_4ы;6!6kP5m/p^dth'S>{8 \Sѹ:Z%pB7ш%]/C|>FL Nj/FYH2D{cS,h%=n j<$_w;L1*#VZ 47/Ҫ9ǝB&1#s򷭾}]U[oߵ|#78GP$WkQ>sҘ9➦ G3]Uk1S#iG;o]{.R7v!nE`^9O%Smv 2σ#YZhHՀ'>~j5ئ\, id?DzѰ~p]W.'ڵJ3+=W$ï1c:lRhqo0cM։J7>WEn#V ql#hKH2 JG,b5zD,&z V7 j>1ג5K&JO },~D5H/hpKQ/xzrPl$`Ts':@4pD pN?wO =\@81f 2ryѩ ^0ڹ⹼Ĝ]`D9ڎh*D228(pl;# } bWA e\ H!ʱhS,6)ܼ>ZbSw$zpe mSiبPaD>K"je$P]$)ndMyb \ e`Y:TZ,#;jkd'*?Q*}[zh[J֦Drx`{IA8S_ܠo´{7ptolnY v'ݟo5ItC [63T%Q֥y ]')u%N3{Ď9aۦڧo["Ly.x+T]*!jaDQ=SvD<鱳20m`(3rMD8}>lMzӹ$2-."=etZa*,E&LVT^EZtӻm*CA8%hoah]Y zVhA#O|+( NЎ*t<-4ZiMbWu4=rV4),d4拒&[n SQV ql'c '/<(j0DpK_QMĵcY 0xLkX/p@ko*U l[L5difdCJ`;.5zS'o Ww׀T8EoJwO?-9Ft<>i,0zN/R[d.<~hh@3{@ВP=MVKey1J7HɦsCg:h_ ~Bca F+D0H2[:$#vDA)ְBH*o]e6VjV G`>51Sa r @U~,ڕ7F&Ai~㉊gP;|jFehjc XTf2~œ2 A)NU}R&GRiug &w-AXN,YXN}]& SG]C]|G+Rn]s:X`9):_:y_2|c&we0;{nx1G-Z/NKk9i1:<tX F0k4i"ȡf_K-A'V|o%V :"CoD*u6TIG%:Cԭ+|Co3zek୨@A <`7SʳET%NZ=q'PVyO0o/&8ӜxtHXkJx~uIE:ɺ,9Lܮy\HO̍rL@ W@[G$O2ٞxlYՙ% Q܁N\< ER/k={6 t+wH16? u.syvOtzANb!:0xKg Y6/JoܥفP2g^gLJȽX <<6)'~%!el ]#{FaK\GɚmyR5lBցCQ25{P6Z3Mw].0~gv:i, uh16vܠ̈vZ%D[Xvm J"Pt]>2jpK&=R 7jh\W_^$sxJ!CY>pŽ}$.lh\›Oڀ! `55_^#ް%&qHPʫLĩE-ZHE>=$!|kwV9Aq#k{ۿ0yZRp((6j&$b*/cʀ > ?]TI\ cWx407lZ\ kذI ˗{ GD,.r+MsZBbq.=2Z;<ن4u!GBi69L[x67Ymj e=%3F~ ޠu?[ ^_ %=1늣KQݿ/"$DU# yY'kQg5U&d5q \ /; X _/ o_pܡ" nJ7 pɡ8? (|TWUYp;ITO7A*_H73mjh5 㦙_f*#j+_d2#29ATgaY Kw(PKxD,+ONp1\Yʭ0,EN|:Xc/0lv(+)i弎`J>$A%f]LM؂2/t&HjG/^*%C&f`9Q$?O4/&XcE(;Lh{Kߛ=SB:z `|I.7j/҂[)u >"^WiK7Aq{?26M{cw;ą`T|bsM 2Gcr@ATX jDV-%VT,Af̤ #y'sw=F % (}?⬉,#b eU_B7-$G)SokCQ,3Ѷ5USA6}>8FؾCiW KCCK`;ǂwd{ki <0?0"YM<W9sqcV[6Y79ЂFXP0 +"%`napH%Y9eoё-0/f"pjo|8-~joQ܏P@Y_ M`MVlHR r&I~W-z(=\y&Mb˿͠o~8e 7/\WIj6ӽ?lvVϢF>l"[N(8{Gw99Bx%Zz:RcIHxqW3yxB~  _!2rxLGh%*rb|.DzSTQ4Jq=LD50!GcF֎x?-'_˷X H\|W{SmxB3\΢lX>-r qeP9erg혰%#RT\( a14/T[) CWݭz&<"zπ}H$̾Hceu:weZu]zb<-W ]SMR'HM=탤hu>|ܢV&VڒCN]I9\:=N5\NƲmspљ(Դn㦃3iz^%m`=ě%ۙ.e`?_UBѶ yv_9{L&k]V{3WXsbQ/ \ ;v$dpKn$cqT]߰< ?ip%d J4S!n 2?\pMqE'.iC91Iu@8xF  u/DӓmrԎχ0RZeq~gV},`~-pEeD yl*^dø-d0t*vz~N,,6a:|j'J0$%f*J6"dD; %%'W~&IQyJ=Y!'fKFY4k!-a$#@Xj7;VoM" C4Khy@Gڟ=O9R& t&:ΔDqpuY-' ހ" w=F);Bfz] F;}WMTK#DG]nhmPM6% *} Ď x~x3t3|k 3?O[$73Hp`z=D][]NY1G/c錃a9kbC>p׀7A;t p'="UD8>]5 K\_HnDJ!s4rʆE>ӹ0FnQl\̞Sxnq 9rRG Vu j+/#wN%%̬ZgmTga,7ԝ;VPEOB1w0THdDzkܴNq5"Yr "'0A!OWʕb~rMġ96ltVF3řKz,W=`,Xޜ3dA IڹRPڻS] A^Fձ?C56KJÛu%3 U V]M {ˆ 6|_ڳ{r!ǂN"~{8զ~cӅ2/ikʰ+& $^d}M]CU\g`C*6@{x[_5j4^4E5u8YWeƈԌKP]pqXXYwvfs@D-l>?k-.Ȉ(⭇x~V.5)Pd3̫9;r5O٣i{+`hn!2r@m](-oEu.HBOhp]™+#KqWd o*Ϫ2kG:Z%k EO2('|UuLM 奐 G} ;%(ѷdBP>F^Dw Аߴr'k4jπ "X"}DЄec=}m 3r28O+o2=ԤbFvmOSpg_aHRI4X,nG1=4a|'U3%y0 @`Ʃb 0]*&T|>M:[U꡺v)E+EYRZ( dOʯz'V]4\ ƒ@@bO١v/Nm"Hn1+p]i#,ENs";uy}1BҜm:L,QƯͧsܑ֢~PeGzLr(keUKgͲg"}߼5q0v)8jweywy@$H>9Y? V[[Oym(?qHW Yśq$:ɷi @*otUJMSa'<(E2e`Ƭ# B~ڂ?x-AcbIe+̷=V6\Q5cf=̋Ñ{b hSܟ[i ZˈuTrQ0ǴP8dzPtjcvKpT{0,FaiS,姑blv fX#89$0ݲK)93 >F} =mAGɒ1؛3~k?贡ŜLگHȄN3tR‚a?=I@Y[<&:iz8YqNqavumWKzX诃@6WE6IBP^gqg}=Q{P.S{ݸ/}B(cG=pX^j@Φbƀ̤f-!WiڑO:N>4[rkK-;к6bR(L[A*aiQa,CKHԢߡ(U'tj81ZFͧU*,GO"д\`Ȯ){B7_fd<2oas?>6&ώG.'v 9J%6d^AϤ6W[{KeoГN3?E0 )Y_M6뫲[Ta"ױ 젒+Wl!%zlҤdKb(m32=a`Y~[_(2:|ؐ{r%s &ZQ,_(~ z4Lmm1ʷţ[1,=Dn? ܨ:) R@+>JvսfMX+fD])2P|jm6QkRrO-aO-8=rT)wauʨWӁ2`\+ƫ标PػDaMWC|j~㇂d*ͺhK6F:JZˠ HF#Gas`hT~ c?J~hN~} 2]0,qy Qs\]>PEi雏Tp i̼ĤqZhB+juX)AE+X9Bzn씂8Ԥ<&aZ l)`k?$% :0mbw?=~tD(wͼ~%PWųƖbPFG#:@IJu >@V8l_r"~1RU͙M=YL6\82ҟf"!%}}W:\!Zm>v[;QCC>Zf rb}[BCc3g)GE3% wǛ=1+:3#F8#Xb9QMw*>{x1r1  "i趩祧5 cK