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 ooa#TT /]HOL-Library:threads=2elapsed=210.383cpu=391.052gc=21.364factor=1.867zXZִF! a]ŗXf1-q恈͐7ӺV )QɂIrQi7ԄU)qg8 J`v1͎ao SXgy%[6aAju.4?6;3_['550bP92]Eۤ+1Lo6lfV'gjN߄V7i57ܻ5ߏ ,M)n=(;YUII7 z:_w6r\Q |kF8/ P7$Q2xsX0T$2A8zc[ I]ТРO>l^T|äD̍sɸ^mIU+a,bV|4$$gG@6ƬFf]#H0%bbL1$_w75|Y=XgqI1)x"b eijJόyW|0XӹR#vӫs g܊kŹ1X -|h?`rg}Dt36Q 鋘} ܨ ?BEZN_7pN);_K+M^?\rixxe(j2vpa-~v^}?ŴYqR](lM@G2cӍOWGLCZ!2b8Ur εAq^設*9_ZF/ߩʼnme($3\ڗ*D:Ą?>rIg{V| \MQYm1|ӧҴN+Ọ2 ,1[t - 1siji"'oД,. baHeP / cu!iYȀ諨 *u~([ga'a\F#J<>Qh |{Nɱ@dGl|{wh܍{?ei )ꑹQߧJ.FOK~%5L& xKX'MLV ^iEZWe'2sêHX׃8s ؝ĚNH 0_ܣ*KYB b>q|dW ")KM޵!} #_0o@-n@eiL皚?'O8 :8f_b}W. 5yַ!g__?X=~104\BB|ov6{޿&"+ // p_ȡP2q_\KyR=$|f [o~HM1# ~^fG"6qtv2~1H5;3|TW3bLQOeB­4Mt Ǡ~ '?LqgVf@xI ('vwL͵bvθ:[4qHk.Rk[b䃠=©n0M@[Ph6RK6]l#i*hت}p'KqpkgyDIwǾ)+ۋ R5@H(Y'JGB%\+!r KЁ4gw'/Ӊ@-]tݸB{}cE4XgSIu*7pSm+Ɣj-*dy:"2UUԘӢc*lqO ioyd*%â‹Կ V[qþZnɀjo@o# kT$ü~\p9Y!jq=0Ġ>4:q # HOL-Libraryppe$wF@KDV`%1V7wWTt.TH)"f;=Vqแ{]*$C0ON- zv7+1y @(·z!Xq0=y09@.= }I&I"W\OLlF]Z-~GMh~'c:!f'Fs 锦#gHdnP8%pZ i8xXAg9:ex&@HU/?N{PP 1kYtK.[[C^(F^@J;$ʒ~sthY0$8:i{0ʜͬˀ/Rn5!-iEÝe#Y:Bc`7 ~goCdh@NQIo0DO`:)W<^P}a![v4}.T{Mݖ z4"_5 /͌da#:G<ޡ2yu0i[t\^|}5cV/?4&Ϡ nI벨1PyDUg]kAvM\u|s0q'$A=x̫7b/R̈́i\ۈGP(f2H ʟ.TڝSX. 2m41)A')JɸfPKL/U.v.'fṰ\@GU=; " q:"y#>PZhUQ*aܻյp{;J\2 =o0<~ja ͬ֝qI)NMAsֲ;+UvAfJIKEdK˜/j哥/&v}OH&19%BO}cCWy+CbX%J w(jy:znШ_QءG(jL$: P bNB3PoF FROF;eϖ V!`F+yzVI˗ O=Iu͆gbhB=)8x6H6Go7es/P鯃-x|cobr,S߇%E;%tMj(u.™@q l'[YG I']E@D )BTD${Zr  n,9ۊQpX.Qs y`Fig KUI]]F] g^#ftۢ yZg}*q7F0HEՓR_NTi!qHUsQԫJ.̰ o>ʯT\NV\'cA:IUЙPV~,p"s|ۭ:&&nCC}C+cCK ϸyIs-.ߧҺf;d'̻f* R=dщwЎ, ї/ ?ڪ,ِ`(ӟ_fՏZn$.v;: p[EuZzGWFnAϓBgԖGT%>FD0*&YwN&q†ٲr]'ž ۗlz&bll9,U=]vI{Y}1,U.}_-ʽg0K*ĺR7J:cG]Lܳnt7%"/An M>t!`$ ym< y4mߓmK-wLANja+!8IN{tB%d,c~7ǔ@1;6_8<|j*7/qx%E5l Ww?L6lTb9'I"'yѸAEV[vן]Ot~vܷ/"YNRyL%54x!m~8_a,b&]j&tE/DWÀ``a1x)Ih嫵Ѿu4LR@p\ʹ(0Nsot%LSdK(S߂\ )m!ґΛWqG8| ұk>8?zJYWqh/-٬=?:-*WF7Ʃoy3еjFlǃsz?Z5 vڡv#L s]65Ղ_щ@Ro: cmC[R4[ޑ:<|0c OmEIDm$`falB,[0/Ȫ-G nLG֨EJWw9 Sj@}tRH7yw5T3&'5LUqiF8nx0rN#=6*s/RJ.^:+=h ̂]Wӎ;s* B3-Ra-ʣ67+vO;8GŤCH@i :Vaʏd UǿeT|zc1pҫ3}BnDmGI)?tlޖ:o7zFSjoЄԐ4<먤7-nU6۱ıR޳e9,pMHOKTB2;JB-ܟ-va7 ;;8HV 3 ԫXuMY'.op8:蕭ܭ_^P\V2\yEvG95{tZUf*J"Yd}o-;G0·?ԡ]=KH"9_9u|մlPIpsW?,2/i!5˜{bڰ(X'4ȶ{x|/?ew# ;_CYe6".uH*QǏ$)f|@gtt'wI Jk:ح^%r ޣ٣SuvS޷Ҁ}5" D:JhyZdė'w<{$ǘz~e` h(S!7`X.ltc91.Z^iM6 u'YaixޖWpA+nޅZZ!^sM&#͗SvlLvJԨ-;p3{>vJʻ XIhXV&WϾ{org٠4˽nNiwzFM@B{q@ j_br,Bʹ7*,H]݆Q`΀^i z GhL!Yc{^_^fe:^~^9),y73Gbh>Tʏș ;} )Y9=`C"ȍ8y.\VJPv#yےD=z]txfMŽВJ] G"WmR;\ȯ4X)),̩@6|bH@s(`h4b4sܸ Eo;OCʼn9QkӚ8{Jb'p{+/)"]%niDD>7jAlC,V1HGU͑ՖQȤ̿@LZ}W;~:Z!@jp櫜m Yaj2\ I9hx} Ľa c'1[@`K_Bnǚ5mV,,[XWr+k:5t, ?zrn?> >\sp'<40Ń4\?Dsĝ 60 'ʖ)u(Lf Ӄ㔧K5 ؑL9c}:`s҄A@/WX!]ի\2 Ey.v72]CX̭0/˜Ħ54 >X kOc[m/xc/B EzLU?M9αmTFĠcK irRCە! pKeUHC04Q -+&c[H1M?+spV,O&Hw\N=u]VG4+!3*$Je(CھM8+MT4%SZlC.i>"Jf`.'ϭqO inO9 h׿k1Um^ C:bݑ*;1w.=4C /6˹q~uJyey;BJTK9<r{j ʳFz mXOOA ʼZ\ٚi?W×@o(yP,]d + %r"4=Kl"\XYX'@Jńk.\HX gԭF29l0|s],r|0{Nz=4X rFOzT| J8+K;lZ4N"WHpSHwPUJkZ˖ݫpcn2"_L\ѯ4݂,Ėldh3xR0|J851Q  _U+:r Zyʇtmp>Rsr?]rE M7y{ ?OTAof#ZOQIa6C4GϏWء](7]fٮܥ8ǧ$&74gtJEQRI>NidYDAH]K@I(,kSkW,ĸ߼Pt¿XO;(13qľ+Ѝh9xA>OgIއZV$"KdJnF +!- 5gXyfQp3rea:$LJ-tvW n݉iY`G$|6yt3mQGHU0ni5HY&N%*O? D8~o8apTڈ_Hl~?P$mֱ*].,G4\P}MNnE_P9R}qzIP ]XECM`Q3&/=`XZN֫N''*+Пvdj(GW|nuF9T91:GNQo@i!,_}P-̅_㘻pW,YEq'AIH$jLxk}Ho+FEݤYB乄tz@ w=/եO^~Un^P,BpthTJ.jxk7װxR^/~!O?d3sVbXۇv9$pa8 -^+"jcp@|[w C!ZW+FܰH f?H+.eeAqt0r]5A}!l՝|BI,B2kyG$z00/rIb9}dNWXz64BBB ݏ3$Ngq.[5&d hiqt$.fk5Qn'[}7;؂]7h;ۜ}P/]K$_̀|Uʶ 䖰1~؏ Ш!mqL3> )12 ^7k 7.Fӛrk(It#U 烐<  TT@xg}ԑSb. 32-_ә&|AW+j`QuXkzQlF|8`y.{z9?MҽϲPz3vb_(ٖXt~YA>~u?O64'$:#ާ%ߩ-w):>+*6 re0խ(QHSACV~idP`T3 fq3^FmE8 < nsFGܦzKㆿ޽G'u/z~͘Nul?UmqPgg`1 .w 3}wǠ!v[i~ :Lˌa3X}f,wLM "qON<Ԏ_IC'] 2p R mJ q a 1$}q<473 y/`vgiv@Uu{JdbӕM>bHhi` 孟6I'F^O Qp`H`;IHƧ&+dn;^{-~@/~N 晉gy[SQnlfV/@EL iM9?كk-[^\B54y;R#_iIi!/D7=ϓr1I\<|l䯇Jޓu4kk{h|Dֹ;?V1BJ8Mƿ?>RNVrHTx۾Ф֟'Ȯ&O/pݒVȎQӊ^r`[*qqiN,TϨB*hCx1ިQ#@&wZ_K8*11lbjRxc=DV}h'ݱJYP2YύY@oQ/E~0bbo ZiY.dOǘ`ʵnF?%'ru5N1)Yg_ oz)93fAx{:"|\q b (kβr_cKHs2kc B.Cw>ct\ȑ" ;zQ\af1ͣ ǏkcuN8Rh\b.6-C>iR *9ghlD0B8WeO7-G3q3K.M_'ec!k,s%ㄴO.;dqEک%-ИRFlrCrHlfEբ7c-3%^.IE0rz+2gG^)Dᶒ*Qw t b{=5_c}?۫4i:ﮎ,ޛT=C$}EFq]m! e;pW]eFoW ΖgH}~9a#N/%GBRxaEZk]I %B`:n*ҝ }6ы aRc)ݩc"N=e皆8iIrncw 2]CS r;n@$=y@†.0zFqVSlZ m;LiSn"8b?dŎ]kR;xe)-Јק0m(ƨ0E=dDjVHX%Wݑ!ʣ`HZi0N&NkSٲc"N&Ѵ5EsÑ1GrqP0n7l6 uG>W8e3x+xҀwGPϯF0˧\F?&p7nzT݇8hrdt|1LюB&V2@O犃gis#FzEX s ͙ly=IH[v֚~N/l=CZ1_Mqsq:%8d2E4&͸F\IS,4?+F@H.', 4.cvIi9 U{c[p+dU3Pc.7) . ӳB-/vb0 hIUeH׷bNi%fD.$% 㿜%a@t* F܇0={Cklu|"@OT,PBp^, vH 74RշM ܹ%2vF9L>\r:>??/WbJ򢷕=Vu@l\IBV(l h$p_/UaHGKS8_ |hs_YSE5yS{?-xyt!$mfD3Fy:cw,#J^PŏP_r:qakbR 4`@qs˻\*HIZah1z <%ؘ|qHVGR(]8EC 1RYH1)(99!lQ;Vwr.u3怉Ea݀~ZrD` W+,NEM/bguђ2o)fA@!'⁼vS3:U֞\j.eLӼJ*^N"ڧ)~ >5lCIqXEY ]+biyޘP~3lߘ@E;?Vi텞 -}!3(n}4q\X b)cCLsl+y8Mp5*'~@  ?(ʓQtOvrHS٧|[$ n\GuTQ`B; _dY"0>VJwT2ĵ ARdjӊڢX{7A:o)p{P>iJKw_cGf±U5j~eKEYزf " ddo?>)M[r<:MNux4ödVk(ho>8@ɠ gQxe6;6DcnUÌ`ZY} v+X_U(^vYT".uu|hGkMEս˺Cԕ7*#1\ֿxZ0d}cE`h+D]0/8CM:Y#8bpV_bn:B<_jZQΧBr4zL{r/g3픪A3lv7K8[^cן}A{'P4G]R<,"*Ž+-@ R+YK߫ݏMb%nWr)ʁC)mPUJ#CqwTHd-}AZ^D|/~p3V k|sb@KFhZ6OÍ tGXnS)VZ5lX&h%3r}5?,9բ-2Фk(LKBd)Gj?'I >ɑ\i Sf6J(=$Jg`pUZF*3_K3;|NisjP 8:Y@GEW2 >^۹b&ٰE" H-7˿d+OgĦ8J4@7-eVsC1ym Ae/9̸j6 G P S8ȪԀCRC!2qw~-XpO+$+\Գx}ANRi:)n>)ԔpliV },$h)8wkт[*)K ")BD\%()=P9, Z/Ș ZjbKE\Z[ _~eHqN _;}@t %x2̹؍Kl}lZ{gmezV'L6Z7`]TlZKK!#GT2k\Br˜)'K` p",5b7HDX[nBǗ(*[$i)z_u (쯉99 _8$ց/<2xZC N 5~&ԿVӤY]Nۼ?)V45'O>mkyu^nc (.0?8_kT"Tva10n0rU`ogEƀGHeaJ['8,47´s&n!A<6 A~T,!(O[ѽ{lz3)T$P nP'߿gc-z+8yr%\NtLHY\*u!CDg7җMPŃ:r 0(J&uY{O0?FqV/5۫-ԧgܛ.Z_B/hjԜ<6 aƱpa5ϟ* 68ͦq"=2g*_dr3 3=>Ue^gk4Zb{9v`U-"r%١M~1?V<ObXAt㚠o=50 7J=\+#8yom󟤲e ۖFڝm坨=uXJ:v[}u[cQ.نf32KśkDG.t˔E!c&SŁ %WG̞gjb:\3mV L/lAB8PT4f2RWTJlfM5)nnXZ ;34:^ `W.ѹeޑ:o;y ':˚-өQ30oE3…J͸Ndq#F#6؞$&,AUwiՋ4+.$n^q{ z" yV"-l, c%4G*IRR,AABՖ[!ramKVǓBC8jݴkVb/0= q1$B &̔h!e$+됈:W`j[aJKsdu8CI֭.3Qk ;)k6I &"ޥI=? QJ"9\|jN f&O=*EG?a%{"*|Y03>ة[ޟ;XorV΢/کPLHNGL^fMom: 0P6ٟOdz[FKl\,ڍ"&.kаcfΥTe=cϊWzW4)Nc#愱Ɨٱyes~F)]4y]4"Ķ,]X#>P|Iϣ\XD+T _ t 8\$ dK*As㵈s+JߐGQȆ:WuB DYe0ktnb2kt_='-(,BBZqJQK`:Ђ #2[!<5dGbK.z;F .f~vvFgY!2SWڌWEB+7Dy=:N.^k;n*$-PVg^ڢSFPMDޑ`pTuY){JF"o[:w`hI Ag!H\uljV(A=r*i&8?G≘Q2okM uk5.x$)Z Ϯ;S|T nwBd6mk2}l-{o^5”~DTCY٩y  ʛMY!r0hY3$a2%jҵ#Y'C[/mJb?'r#PveJKˁcWTTXUj[*|>"0@96o%iH%+H.Se@ 5G\uNZ+ePGfb7gsq :;M0%Vni%` ,:p%Zq!,oKWȳӦ#IDa pgPçuC/Vr\r"f;͗1MW[Qes7#UFF}5g8W -%B-,U0$4Z6U_;)1x dY/wpVYa/r91+uEx/P<ڎ($4*3pSސޚ[a2E3 b|#V ʕU%shb7x=2 KO6p.vK,xWߺ( nB~4zc>j{d:iAq8)['% m NGH-Iqiη()_ЩA`o<Jl<LNxV (:&<Ϗ{,V ]_ĥ TNK C& :X>벭ŵk4sR dAË˵ _ \PY 6Ipb*N}{V4`YixK03WGo2bs'A(Ss<`d6dP?2CƬv1w0 ƴ0 i7zݲ~ɟ"za -qO^eZH r7AiC`:} 7E^ i ɸM>S LJGoތSD@P=k/> )-h =xT--',~a}ؤDg>3Z_DhK|Ƚ('`e1J#1bj]ŔyV[^iE(Kosg^E)XUH$|S,mFQR 7+?C( tŽGu0Vٴ8)]=j1?+kF/Np%|2JɋH,=],e}J>јļ#FL_uw0\J&Xn- w?z)%eTx}^C ǁGATKOhQ%74\?"jX/DYs(y.OTİ=QslSUϮqE[`tѩF0VJW>/[]7ke6vMWp| ɂ/)|t& 69Ĥ<-Хc&t,WTM= @SήMKު/9X]* LT2ZO ʞY}wm){-<A绔功ҶHRDDd6S<)^һE<alKoe :pQBB^m<<]{!&b8+5w8Fޮ)!<3^=D}c`Pd5 mHٯw嵁/n렷 nצ@( !VT|FK4LacxKpd7RGnoy~/K -AKF(h{PY)fSZ,m#H ]j+A)p|e4 +> `5|>[I{Qgɛ՛2AMf(iQ=#nTS%!ȕShOVgO,/W$t:EhDG*_}L6ǪK@ M "C9R{7|c.V'Y&'s$B03.Wi&D 'NROIj$c: K [,kOM'WjzLе3^lF:eEˇ .za?(%R3j?VU2+ xU޴P;8rU&bPOtk(%UVcf1*ͪY F3.f(w3SW_w2'x߆9䰹txMC}ז'YVW0+q,핔#US*W&4<:-Nk3H+;QLB'W6ZMRh"FJR-]蹥C|ؐGFI >'H2q7ǔg3a[ cNN"EDڨl: ڈ. u5*?d,ʕ wuF" h#3dVd5_w)E }Zӷh9mm06)1TMmQ-K*< 'Iff.2iH͢E!h~s݈[r^m8졔 %&KFrIb4.(􅙧@4J2s^n4}gSNYJ * zPfEpzrYF ĨTrPBI ֲm5]bkU*ѕ볾xlGQz Im+F`)3:PEtb)Kp ^&|N6sBrWeqkfk rm2R{SP?k6 zڮAra]2|a#ѻf ]"G7POܴ>Cuׅ,ZBXR?ɢ-EKjm`59^S=li5v}VV.L=e6djߥ|gi!hNΎM\PV`0L&G=ڔt.i6h77}o݊=U hϖLVg.1v`tM۴ybS&dBQvT]kq pxou0H=IgD2:\mqa`a3͆y .nt uȫY#QG"\]t D<)7mo >0R18C@G$=bXI#%-ckTes=c@  9KD^KYZ0b'7M9ԃ)RmT|TR[4DoNl3ӘTr"_'R,һY@DX%]~RD1h$B>cō1L6&@) pŸ,&/US(Ĩ8xR <,f9S3cѭN"̰In*XaLogr#lֈ8bL)UXO]^< ᝵9QAbƖAJέ23G&WI!&tq:M^VZM ]iˬM-bFNoG6P{O*Dz502՚If9_cu?FۓT'|/f.*H / 2ή@mcApͧY\=WX MK1,k:qA?ua{UrkA%ET5Ap "e@I1E_Ёr+.$kɴ6N H@#yK?!~Ycﷴ}rhvjk+ȤsQ+b빐Q̄W-1u_Ffp }~6 .u?=h]'ϱoMkjJ STusD&7C5h(nd22_ 6e ;GN&[u+S.>֪~øEJtbK`A%Cl>' a`PM횺I@Ps {^[ˀ;ϥ`>%+S4ң* z3:qhaBFaXG/6SgYZ7zXZִF! ,]ŗXi%qԋЈ^^ ~ `桡5):n9:duq2a`x$yj>Q?/s=,v{٢=;?-3Ӗě9/%si1%=f ϋ6aG{OoZSz8HHI(|F͉_Xj:G#efÚhRSl9n/XQ}H#'}l'EaA#`Or.q*x(c&*:/ά !/E'fJ_W~#XթKk總#Ht,xNfaRD tX3Os`3e853zCc"^wI0,ZW3vv$ (>XLW׌[ig`?Dywͳ }aK6 ]+~|ӥ2u˙ܖďmhTKtӊ%[TbhA4G&=D9j 73hS)ŧ2b+ь/Gr) v߁fur xNܢ|Z֗6ˉ:* 4KUyC(D ZD^cqz}8a ?^'* op2_pY2BI-_̬&h8/X eٸ:\<jۺd)0 KH*4~01qI"]S2Q=7dzDR t 'P!]4\dʎJ9ԜpUv05<+hZ/NˏP>82O8[jÆnMqhy[*.e׎SpNVncXl\Us-2}k Z~$j:V- \qJmA'nneo$&mR`8/̧5E)3N {7s}CVˏPH"הr`fQ0 INtvNd6 $pcYo;W05W:LfH,5J}># p`O, ϒ_fP "熔J ĽU(\JΘ/f\ %n{qIq|ggGkGI̧H2 [Љ 41v \>[ Xa=Ssnk^:C?3%W=0<1Ṽ~3FMnRuqccn]ģSv_c*.^Bv, O !=#[l6ǔj9Ym/+.Rn͒w{{)z%Ĝ]N5Ҷ$w;Ȕl?F7n"a) C.ynwi.]: j<E֮@e6X }{B[@2!F&4ht$O2C9DP ND~jH C+eS@r'0<5TVD %H ,;OK #+[s'˝j^+`k7c6y* _Pr h;yW6CG\gDOy o*9TxQRq]m;[9'5g X\ g1tNEԉ,Q|lZJ"H::/#S@ct^`-8;N!&t4ydՕx t,^->{$:mm5Ա}$ /T+> ȧ)*-2yOD4˗eXdžF-70BV5^U{) 3FCoZ>:PtH\{o 3<&yf *~$V+;Mw*jj˩c`in!Rv*n\<5%!%w'H-6^P]`:e9/Bj.[C)Vu(zobC:m5$Y=uC=ʼ1\o#)A)+M]1R\m# V]J0 S2S;tgҝm ۽.FjOgn8!,.*OW ݏumJ RdF\5} Eϼ'7۱džDjRUR_*}X2nVyd/ ,b>TX""fxC(>Htmw; _Mfυh^&gU_4i+)r,=Y|gk@(la+W=p !fjXT LLtԅ!WDEn{CKc?ώtw׷u}KQDLG醻}L%Xu:m,?kлf5> x24X<B+cg>Rtv a7~IMZ@~;wb_''G\S-VVmKVbpyg{0l IZ|}K(D ’囏%abK$ʪ7 Ndn9cW%MT '5+N~k/L$Ề8義UݵTԹjl/PJ~SPמ¸0-|Mw˰F6e7yQHi-bAa-*'$$<01-vf#pq͂HA֟b푄A+h3^.ݑQh_Yi}!{{ۼK`wc6b?;x%UXr;' .!>5S0-oݗ e,ܥSYnLv,f˕vbbȒ5c4VSKHY/C%X_ZWC ^/أeͣiQO[fd M9D^TGMW+v'`4`Jm9"tl@M"mi׌;Qpݤ]Z{*Fg=4L%in;z%sBmDvtuƏ6f˸^A A>ܲL4 Yz !<n(Y*?RQ`#FhœV𭛲~_6+uH+zU *"$5 P1d3J`ض/s©b?ݳ0,+|9/I Z>t"8xih)ZnqPYg ^#bÇp='},>`Xp:R|oh a^F{D=1^\LUC]2:Cu V()_/ fTObDPoݜӥB}!Eorp즲=>ݮv< HO?m4 Npr pﵺ=K']Ps9")XiY. ?!;L n-"5d6oOSrNEVj QSHΒ@d`pډ BG!%wU4`%̱P_9[KL͟-o)lzP.'о= c49H+]x$oIz=aWT^M|g`u3;ީJGeSzGNej,"6 *u@mPvTH'7br Fސz.8p#ӽ[kYk3h vF>yoO"QB/(KIBrrV֗R؄+:n*gb@)lD斱ylw\չ{ذ*gf +"CՏ\z W1y[vWDS"\Y+,ET'qT T!#[ T5H#{֬o^fa5RzywZTIgӻjtv1zS+9;ƴJe'1V8^(I{=: /^tZ C{e .:PN!mod(-&U ʢZ8k'TF^q-BoAqbNH,/~vaMcŚvM="Wa .aC0M-z|wu]mH4\iG̑V5X,t`;m^[k*U• fM y AzLRYx5e {M!+D Rt!60䡾8Ij@w;u񿣶8eOB++{.RѨ#;vE2-_b^jĕ7Q@70Hnz7Ne~AlwTꟐg rפhNd,p̮Gvwjn'Qmٔ%sERofTFvhiBT͕ e}c`#*l˪6XZ28œm Yt=U Q| M 5 \B &G#_[3[ɼ CTX Fpsn[ſ##ݤj~ N(0r-x7u N$PUS"eBȒJ'`#3vPR4jpsDvCL lZ &79z/ C3ҫLt5E(!lܗַ(r3E 8fL%/P{s~;iܹkQ bN=l;57"\6x{쫱faj5k4Jb\x_\BWWR< ǸLݱhKwCKTLc%2p럧W1቟ph)rYa7Yhe;8¤blK^NN 2c!|Lp"퐩7B|Si6\Cv.]bZ(|jo_pYB@RE>u>{R5:JK0J vȈn~DO֧Sk"I$C)qP>@U!bLg"{= =8lnhu<xp\c6Cǘ}ywHpIzPn'gLtȃ'" ~ 9YXA-)yhý4y3R< Lb.z/~'Y8utjmhж{! 4϶h7v;Jl2|k[/즂aVykJMY>ZOxmB﫥_Я{l$chLd;/c "ż~"6<dD8g a+@=1 ?CXk86ïb `'ȑQtG]ߋ5ϕ:*aSkFT 7Kr[fU0Y.' OԽ Z\] 譜!WN]2 TdwbYm](NEp=[)LF #_+B-1XS:oݽa+) 7ʟB5P2 rF2΢4㱞x1[ 9 =gtޅshs}~!EH3o<VBoTYZ nh(kW-Jz]ɵ_Z ^ef='!f{H;Os>2S fn`MWR9B%`fײO#\55鮠0tꀞ,0^}N#rbpI$ r  &fjդ.Q9 Vs尮:Cuq mEӊ}EPGG~e[ @\h~SE):ʇmlB4Pke}K¯-yG!bYz_5G"Dg!Nm{G8ƃ{7'n@H%TAESt5J1mz.U v F! tНe]\*:w?w>ѥXJ=s{m/ey&~cCYP5u{)wJU[,AH!;3K_X Nu$qL} B h7!x;_gFwf&]t\ f&|Elj8CMvW^oǓlD!W'COٷUŜd|F\$![E :pn4X*ާm uwIN?^_`F7T `o-3"'YO$>G dTaQMZ~q4ManYF7elt$/J/ď ¢շ|DyHy9jEΝ[ҮZ7'F ZH9t0]vԑR)78\_iʜnb6 ,E.H;R;"g]=0N2B@s8;ʾHk5tV:ϫ"^KKZ\4EMpv9?Kהݴh/>/̾Ti{&NpDH)$pRKAQ.q* &5;))Fy-b\ءKQU0EGoaNJA*cM7IQ(BToWE7. z<$k/?uҠ!a^x|@#&gz[›26$nPZ-̶d6*| `.C z爽}rR7j#6پB*ò+tJח:]r{8Fs(cE`$;f :v TsfC;b5,ynVHܾ~) j٥ Q4 $bTA{KR# "wX qu$iw>g {`v: 13{)é'ڧL3W'PtNZDZՓv &Ѕ=" ~eKү${['i.yΨC5rY%mV) X_P Md{ YD|{peѝҵ.VнI:75^$0!)~Tih:<ΣBUe\xpu`됪?6@9R;lzuQpFݛ