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   B#4 S]Collections:threads=2elapsed=384.672cpu=669.120gc=46.216factor=1.747zXZִF! t]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,z\X#Km, iAw ܬt%7VpHa-Ojzv5e yER 0V/~8q@;.*;=}ll!#?!IzDmrcی=b% cB " ҾMlX&uަZ8B>.gw`* A_ؗNaR*%uRu ;6ǵ}44)}b"ܟu_.:#y-4W ܐ_I)^b.|feFta_x0X0<&+"Bc&DM .I, Wwp(jݤ}0οD^XMcCpi  U-)Etz$I ']ʐ j/lt!%e ^m.)~哤eިsr[ ,l c>R"a^V;IQqRf'1JHd,\ҽduiP24%^B<*]t2݋Үh _Ps,s>sf}xݥQ'ʃ9-ԀF>HFi`Qk`mdzǓ*޸nT)}aпL ,%&q t_>=.r$BFA~r{9ùБX}rNq/M|l1T޽x~DDO`0 WnՅسZ4@ # CollectionsHQ]\= cIީYc~Qfqt :v=QMwlVHC֗ uy w9p/B*=6zl:f$ulzQc/<6fqٴ$  !» _x.B /윛9pjp$`{. CtBNX6bAARlq 0 nwdGeҞ LsZ@0ruJ AgIgrFOBfFr9[ M!q-<AMߘq^G`S~oJ FJ} _p^6]wbkfpٺcH^ ̈́[ BL+-aD#mMInvk߄bdEި?'ֽ7Nj{ 1MIأ{KW| U0__>kyTE|"!#&ӑI6N)fx1VwBjZSvA*<F|0P He\N|qy(Lbɸ14סAMc­vGJMk F9Ani9JFW-G4$TS/:8[̹U?qX~s^VTUhc.Ӟqb{x-E5y>4؊G7W(^SMrd=#Jy P#P^[&~ΘB'.ć4*ՕeތRr$}ЩrB"M(Ć3ɻvAQ !(vV\\ BR&C߳fms>B~܇`ud!ck-y<~kgDaʫnzzA;HAOv j 'NJN>ɣ +]]ᖞ<$SjB}[V :2 ΚvK=a03|jQmC,>T8n+ ;'~u(2 \.4-hԏ6O@!h2B~آ*xyc~]_ Ioݯ$m^Td<S_"dd?Յ^V`򓍼|Р@0iKw$ K?ieV .U( mk*aՅ SX@.)CW|lSk4!OlfI36dRgA6Xjɜg'.wxl,$ 7g=?J{ XW13 ?0oA&/>p@恏ZKߞu,,քoÀSIOpG([b(OC!' ] kXg 2~ĈHJr"G:S晋u9N_Qtuz>>S?x" %\=O)6gYf\qYYMˀzvl6'c)@ ܔ`9Dp3Y PEa9j3\z0 +ܖWˠedE#vNmٲDTuhucBc$)%Yŗ|0OʎLVc]EMUe0Wɑ}> JtkX{%s$]YL@%톽o)Yj ŋEhB305aDʽp$kk@I^*Հ♹d64%V ,=$َӚ%@I7((4\fJUo'5wf rh >u6ki{<UÂg^ك/99wRn$QNx-IJJ=pԛ2~BA'sgֵ0JyV{h<`HY'ݐ{NQĐx{l$@Jtuz45,pnaAͅ^"EX!T%?j6F}7'<COO.vQJ4P*fc:u\!5**39pKZS4321F4>>k@6*Ƕ3RK. >Qyc.݊Mq{:o0:O|жW}Ji}n"\`YZtC}8x a_j,հK $`~i0̴ؒ/ђHkNl5<+z_%<]zp8S7G['*V3xsZg$zNt Z 1r]ҾP-DBFpؕVߚt0k^p̲/rKDOyDHɊ%N4+z~ΥYf,G(\[ɉD佦EʈCik~h ƽj YKx[#|d!B{mcE*{H4 Iw\Qfh"yPwue]x^:%FMm/xC(t8.( =͉xo.AoK1vϟfZ|Rp!6wgs <@^ 2gK$řt>]-TaRXv6wҳoofc ;gStKq p}D= t DrKRDP>"Uqv]yN` Tjl3ܶ7HM] U;󒉗@7@E_,LjTe$ڙMUu/N%/o[JȟZre>~AGEQ6jH_Cmrعl5_dizY[C<]|,x3H|_zt/|{6We,CM2i @-zY)}wOea.Ჷ>_̉9<_X0}1^J] [i8֡4%8W3Mq~s)3b v7“NyO8f7"sM6YFS*LC˻X__ME@4Ekȼ\[%E$YW`ɅvS㺧àeS.J#sz kҺT_9YpT'Z'}[gGJq۸qڧ8qO– k`00F.,BJsadYyZT֊,_-292 w8GbrR/)kxGF?XT b[u̗;=QŚ };E8QM`ϧT}* ƶ[&nUzCirPcIDL;Qd=Mz̀gP>̰ᬅ5#'Tw6\#&|U+̤oc(kQ@,ixc1 I92EPvI5wU!{Ŧ}@tI^nHONbB C͡I%0S_0?oi`{wT2y`En-/{gRI\HMd[IDIfjV5xE%Ք#x?=@ !&$HvPC4i],-dqN|bƾw2Z$ ϰƂ;[;V B>Vv/~' xfl KM^}AE^MMRՄn-xd\fC.Љ>rd@GO o'XpPEj]r2~"T5>!ϢגHլ qäB)pV mdu!^wPMTI>xjIG6ohsWhg-5N[ cK~Mا#$e| ˇ>@Kѧ_4#}l/2do $Jn *M)*O=vy1߉ӎXp@lɑBO*k];n#UM}T /s7[{w-c:2ȞA&ŵjۄМh&$ @ɋ6_7'xOcAISUgX{閑idm!dwaWeU){)5Vr 0ؽ|maWIu[\ItVH”x!H?sq_QuvhǁH=8TU,o=Oӈzq4M-"u o|"nNEvREEJ9f$!* q#!oT_'0AV'N%:wczxz6blsmE-V8qfJ{ gP3c)C"f@}!]^8qӲn Q/&~G&`HEi G$\, 5IK\֟i!7Λto3DAXKYFO ;!hWzK08w"{&\VZhG)H<X?OF4NueNRG??VyÜ&/kC7q2t׺&?]E^eBCs "?bƞ HyF}Z')E&r Rgx_7ao߭ t׏ &ja*neU=h)cn{B[ĸ-A]:Tp[ Daaz&wIq 5OgPHSQxr*s-ӳ5rBk@mgN(8uIe.ytX4 $nD,]Lm%8=~)?(nqӲ4M;U{Ín6'V0nΰ'OrE2 :3h@4AN%wӰP C&ufYM! {S9n;m?U2E+e(/L{^VJ<,]7Ͱe zq ۢ圳>+S5?Hǜ鈩;; j#,mpthHMC$p4Yvzm*n7c:u"*80B+'lHD "ŦP{葁xgT/~_: 46ϑ_Wu'w ~rL3]SKOm%r/]p؜aVR/b;!YHҷ%RN/U◃xnb'.{^H—n-m~3xS`"!Cm[<bMNa|Gfԇ&@T&򜺀xeP|o(ٰ#d&]hɔ+O7"[ }v~ܳAE2ъZvhH[+S0i *х".`Zay/v!J;/j i -0:BQ^GtoY[%@A)=*pu:[/+ nbPPWCQT?FiYw:"pҬP`~DAVN[λJ6G+oJ/ pqs%rnw3ɃoOnkt AL`0v6e{il9^bAvO ť(s~z,+F:\Et\m/C\%F09݌Y,J3  /mdVod'yO2R U;R6abͳyS0zWJK4 okC{tIb^'p~(3=hwȘ% h庖ɨgNNBXWmP1C}/QSG8y}Lǐf2Dlhe-8>YFwL( N i{KE4?4OzUVƟW(իR8mcƈ4RrJ {غƢ+ʖ73̰Wl2d?W E^X߸ _t#a<`2+xQk+J~a  CMΪJAගPz`/]+:8}Y+})C6H5 ΏZ䉭,P(7c6`1n;WN.*έb'xBsP<VEpqkِJlBJ&?X1qn~Z%0mrtb8hݣJ\!oj(A5|%뿗?:$GP]@ʁ _*B|!82`dr:c׿Vۭ"'Xv&N4ϋ/۝[U,HԙJ܃oäj eO&xX[҅)Cگ̊h" ΂~򩵾 QΞ#}bt?6s|h\)Hvy8T y/nv'u@|U\+MHW|^;uOw'1D1DoN9I`tUT { lF9tyKP-cP'G=߶DJ_=D~ÿM`/ղtJm(>zG]f 0+6D>a7sB2b'P3ZzALgahs6̧ư <)O dQS}uk-!.?9y$)웄bXx'Ku`]C˼ZWX+}_\I0B綖|vV l C3!W@PqW$Kƶasa4+ec]]RR"^cR%ء.U,\v'֎},gYHO ;ijP\uܸL >#ˤ!U>1/x]shRlXauXQ'7"1tA'4j* au>÷TD|-zhUP?As &|߯{/|bd [ݻ\qrW^]vrCKfԐ`$l Tdo!ҬEq]&.~ln /O\c<`m<\@z$QtCL^"QL؝D[N#/*YGЀSZ薃rH$R]h=%B_43\hT ȧo)Юeɸ1cS<,vȚ#IO߸6yxUI8[Y )'Y1xw<Z#E'gL( MPMwSa53L ƣ)"3Qԇrzb/7tG!L@%Jֲl.f.o._ b?86#K` #B5Eot?։gHjmYFmK۰ QI E%Lh*i; g>_Kzz2!g澪ét῁'Lhj_;1)ch Vt"*SL}<|z?m$kʣݤg=^Ɉ_! yL%TZר5لȃk֏Ӛ6lbTm)H/1eWq=k&1RFE5PU3H/5S! p*0 ۖ0s)FģdEC8Jʲ1$PK\3!Y8!v)7"[\>rqĈsFO|¡DʽPU/p[!G=hUnl* 0:3{}J?Nh9l/YuoW&"~qYƒktzMՎ"?&S"le*MFڗXCz?F6i]ik؏_< X#nE{u}ܓ\g͏"X%Nu3ӬGtLCBb?o]/\Ri?w&>8onMeVg l SlTK,&O*,ie3 N^D^PFvF:T6N,M!"W< kg:i5Qre# l䮻ҍ榲U}iCP']v@{v 8۩YƲX}۵ yK+>uLY` 4MhM&6wEM`'"Omo+赮~/mitqfT$zFUs2>Y*):xأ sE# % G s]&Ck=}N/g~{ÕrU4Hx{:%Z?2hgxw967(3A#;+qb7U{"h "xeTRIcCi5:|R4jL5ńDfŖPb@rln2`#b$˂*UkWt`o@痎E6a&|o@;9"K $Y!үώIkS]j/F^"S*1l=$"(KoKH" 7P}#oitܜs3I@T. `8j&@oƿӑi #~uFqHu l^_BwOnt~7~gEASK[}>"L)dNbH2Uqiݞ3j7 f8yk a% hD89ӨZ]{n. R9X"gThW&x#:tEQE!ma/'`_PJWBa@wAmn_J/Oኹ!{+6bP"+"f=1S?,QV@gsU[i`9jψ+1N;A0YXOH|/vOH_uv T^+4T^>Uw_ m;u:0&O1QIS0ȄZZXiJ yL&w/gUo" 5Nk.h|GCrߙ6<^v LKJ4*0 ʁۉz+t-7tj8 Q(1 yKX_垹g(uv jF:8Ӹ#LWLqE89mqZ E7ѐ~&tg4ixgT^btZ 7 m0dpCWȺK]@ƊHBʁ#W/C P5D˄˟+h<7Ȣ~j7r=xr*<ꓳ@/$OsQ_a1;!+XY945[sxdF 9@K'ž)oލӨѶ JcW{U.%:pMxcijiX`êz{260uh"q lUAl:zwB# +}d"oM s ׋r2|eqώ ?=wXz,Xki]fh.E",I[a>Xiѓcwtxe XQd,m}XٸFO-8+tQ'!,lJܔ G\/EFV7G=MآV \D 3.7䌚 gXB5ozV9Ж}ha::sQw'AXI@x*2 P忝3^@T_=~R&}kp+DyeaP דI EVYck {T^TKy>aIIë'M!:l7s(+G&/ ;~+e* Z1F}BkYf8U'W1ebֆDBSt(O-)'TU/60'U*1eݣ“35#KIfhk"揁"gf?&$پ"8DUB PYHh䷭TE@!m3=UhL٪o\7$Ӫ[C AlGtxMXF etݖ1JO)7PpO-'Y龘.s?eI (z|j[BđdW*x3p]W'@*_Mvjm):뷈 p1l:VN,b<4Phlw];|UyN/S WEGnU0s4-{Wٞ=YTE ]C.-)F(A*bbRuO޶MwK!P!lx eȯYǘ<(HYڣuGaRo:&ر_N]GO9gi$| v V@#Qh_SցȳP|yj䕏?W?Ud=uٝ_F- +_*au,_NAvtVĖG 5[Dn\yf(碵1M [UGoWLXV2w`1`-HJOR|*ЭDl~U+{6o<Ϩ vrj<6 B(])'^;yuQ&:%1fSR3G꫑"%ԯ:C!nr9ʎ  6ܾCɶ* UXy;FXc 8 m'͕CäH,lsH)l@2/_d_ɖFd䨎,rn7Q K׻1u@\Y*sߵKΗb.d!"j҉X;X&v<`E'Q4#a} d< H-xy%yZ6|zHi<.m4~aSٽ.'_@-\.-,Pi%`q[AZPl~k<@>C~ ;was4kRlbl ;&[{o687B'q_yo> :$3ª*J\'j ʪ~ީ}CvpVR>Q3w)ueC-=ÄӉ&qF3; Qawj*XTi82 yi,PvϹkaq{ _9=6 0"u;*k ENȎ2Q(UtGb։6l ZCI@c1BGWm7R-[fӠHOX߅ZRZxc͗텍2Wl GWB) tJ}Yr2CaǺfs&^Ȑ"7Ya(m $lZ%ϾJVjSjܐ.S}-dFexc. &QGs[̄"W,?G:t~ݘqVjRNm;+mIkf<9(jipu|=Xr*(àq Uңg3 &Fr=o6Ŋĕu^=Rːl3vE}|V6)hz)_ )j<5zgAa1Nܰ&$$Dpӫh#Q,2kuK| (I=9:fáM V{ѵi(Ґg9$H7K(g$ TL]Äg!8$=al[ݜPu$%޶/|D_ʬzb H|{T'a2OTzQqW󬝬lh[w@yÆPrupw(im8>qy`b DA2V`pts219;͊t}Ⱥ5BI94)ORJ \@9@oBqX0<%[YC1qGq <4BCO{_N [F& Ü8ϛl4fv#GC%TӲ|+AI:b5 jU`)eDzz8`imo3g1f>JR9ݺ+z6Gr~[ahƦF!B}/)N|c]XPs< ĺzw-1M 2߲#Cժ[f$s(pH.R9߅P59M*KV;fE 0E4MFѿ:t*֢ sz> HT 43i& m ,IV|v%v'}2r*'m+t @OnTjU"fO{KYbFcn/x!)i:,{x :¥~ܚT"R2ņ5E!} ! v#-(>7ᠬNˊb8vѝ8 zS:jb3XQ cH]K݀N{N-/mK ͈+P~ M2'²iJRS=OƕOjHŀJVͭtnOVߢ(Jby=jHm޼j^By*8J#C4kY&T|xG6ܗM=e_#A?WD-l ͊偬m $`8ԛy`/>ZK*]-a8@{`=߹DHa4Dy W8 w~m+lڝ;RCOej#_,ZJ)&WQ:grfvY9h F { K*T(H[N^, â:7OO|:Eͩ‚d%*hoKܤHQ)_qg `Iޚw${9(Ux~*]-e>_~"N7z~X-7;f"'` IqoM>rL/gÐ $nPTÿW> e?TnJ T IX9p=YUO@I;L>c)PFyhgYW9 P^VSDbƋjCZ86~}phlށCV e#l0h)Iu7k( S\ȃ͜2S,8)Ց.@~spiw7x8*޸4g9=bp2NOlmȐ*s{y1>8 +g]Z~ubX;jE2(#&e+\_{3!K/ "I׮ԿzRS=jE K =;9rGcqT5$SM@Ŧu>Ս CzkQOnv L8a `+!MW Ց[q`i`dl iH'y .e˹%jN(!/I=J=λ꾜eԆ ށ)KE"#<@РsiǮr:ޞy^ z+;Juop 1ᬦ0nI߫eF#^ycuR]epkԽ/UOEtHߦJhň 5Y\O+dKvXmEgo0G>"1ꎻc G1h+G'i1*l 1{G<&܇w`~I(Nk37>Itp<'?}60.dkTxc]Y鵱ɪ~,uX=zX X\ںr'qSP;BO+, z,uFk>n6E;m|H؊u]yE#!q mTkev_o H'k"b>MbhVRA3[6M%(9JO?{S 6 :ojv!1ʇCcj)KAۑni y<kW< ɷr!#&e0``,:.*~ 2Uday^9Re=p2_ݎ;拶L `u)WWN q%{w3>lo8{&(WDo-hD&aMYpdx`KPlșI|ϐS;LnT]VH5Y91TT`AbMh%I_]٭ *W6zk~6ku|GNwe!駯>sRA9ȍ@u|3!3 V5J=dM_lޜR/S^򮾒/?bi:y4 $l7|ݱQP-~K'bt8֝T :UYWD!װa@DuXXq{ңU'[`TS`ʹ+<ܜtQ/m)hB{AKcBUi Ly~!;<domP& &/>x@t,Ttjmɸ\筀gx蔒* Ṭ 6i&̪noUӰzS` 2Na?0O~WTqËa];H -sק-xZ?BB0Ur<SF5FE!;`'e '6|@k+6$Q:7*n<݉n$d/(ADV3j#fẀ7J@;4šڂ0t ]5C@, 4?HL[xbXß_B[e}ϡ{cJ'A1c_?fZ4%_3Tz&.aZ f7{Յ!+}UC}mp*T&uHoLMBdW_)sWW=U>b2y]ইi+83HIUx}LoJhtDdH'o5RT!9OC#AbU,50E!YvW1ͣˁ~k6 i$43tX+Ů.5*nO':PC9 so_v?q^ŷpQܯL[Dȴ 4z;60=mdHPw'~XE@*phedbޟ?ŽN4IQlH!\/=qc9"Ϯhe4}h֊r*y s]YQ^*Y!+yk'餄h?b̔#Wayҏ# p5Q+e 6;UG] cPݣ <i+_YM(汍R%S.PxZq$9)X߲*e%H勖q}8>tSg2RJka2Y$&;*2GUN9;}p_Z^77-nct0.UTe9Eks =80π#q拾'!Z#:N#[`!x@S kv}WN\tbTS243gMq՛I jPʑCPgwT3h)wZ\ w_>\ d!H.JPؔP{oN C| Jڑ'R/y`Z7YxS EF|6;l4NݰFX *?Pʃs(A z iks;mI-sxDϧJKa,5=;V#g@\CrC/cƿX+u .}Zd^gfӑG#\pW(_I'}r@ZBh3UoWXbo:K,T;z~ 7P`0c Xh 咺Zȭ"+bM@4k!BHFT:yHh&l5^*-So:Բ;ظ=ujgjR*x@ -OlODG pwP`@JC3q3Oe@R#t:a`B\b#~+n]rL:I&P6ZI<Ӛ}!neBa}'tx% WdsޏLD9l"Ð~Ne.rtLoY?׭M61lCзPzitz'ۆ oE<ս\ 뜁<+}jPMPXp4Bz`.p/O,b 8Lx."&H 'ez|RJ 6) 5!Ll8/@pŌO߇}nu+TBm; tO}ſ6( kVj߰*QVKTtqzAQ[!f8rҞ<~o@Ɣ-9emҐo!=*0l;ABa {a*y0, `hb@%3yP_BV椖g#3DB*ܴu\AMz|ؕNGRJTUL(m)Sb9n" F3N +v >ͱ(i.4EdPۘi~W,S<]LΦKp ]-}dTՊ$rKܴOHb=Q#jpHI+ٽUSQOxR7 R~$eHtҬGwDzJPsnqxGVx`mO^=1b(h|ƒݺꟇ.b~<[KƩlBA)7Q_v a(rk~@i?KC vf炿F:0T ?2u)X*@9ѱa@@1x) EhMo~bANx7<_ݝƢ :Շ4p N<6n-V%Y QO&/u['n Pb~ݡ6% gM]ra/N3!SSNQqkjLpw y^Fާ'=x~Т bsx3c>E9`Rq tPb1tra*p|&Es)SʧӴ;51qjoVnov64 bIzA[$i9)HA 椝NGc.H N҂rٍ^RܻlJʟ\Tn*xC,`B3}5{aZ|x*hS R#Re@cx낰"NS(n|ʊckA(o:P+++b#T6)\w| 0&toT]W!Z3rL%<0,ZۢJS^d]Q|b=UnAMxAB4NtuE 瞽ז6<*:=s ^ sbn0<ūRFZ$82n,ZJ4gHmɱnT mU;ջvވZ$@"͈Siآ/C$Hݐء>!t~)㫊*Q\M,0f%{ u`+T=#IU#VJܽX;Mb2ىww#GwƝh*D hU>LC9YLѯN EShctӀٹ'8.q|nښ!Sp٠5hT6I㩄K: C85<g9Ό.H(RpzXf3YnH7$Α31'|77\YԍWz$y;H.5%V}ZZwQӰ{]#̍R^:W80 D+Hr&m5~YEҜԗ`*(R!P2HiRޖNGKT.űgYZ7zXZִF! )7|]ŗXi%qwPP%)alaE5Жc1NJ3nF֭&xBki;@mj8;~ށƀ Ak[~+|=_1QW~;ظXk"XN=<"ddeȨ_мٚ]>PTt(1Pi"56܌+$XLz}e[zuWU^u|}e2x,mT/'~E't1$$|yX}dt ;Ϭrhګ$~r*ࣟq.R, , @NxSPb/dEO ­`+!ֱً !8a nNK^?E&_KvX-?` }dd7.b$Md>Pl%3`8ND_1+U&60% @*~[8Q)wZtс3j=%ubRZQp.wz܅[ 3"˼B6Aֱf 0곹Du1[5Cq?" fkTE0mڦ f09 ;$L v+oR8 S T58,b4Zn`8{M25GJ$MWZQ8# i ; ›fqEה3v(Kz 7Fr&OOic %[|i1K",rAALt* Q w,F[<^_9XiSc ܊ψ@ծڭfFհU%5ɽH//oЫ¬ oJv\>7XW/ӹnr:} P/JC؜e# hyYa?? ZՆrM%qy[62ͺ)ߩ5I>6ӘMtDP⦲,7%'UU2YscY3dJK= C84C0 TwJoQeN+js`*д"F h\ñeᛯ:-SWSږV"(ˆv}nQIGiw:پmN~SA&"2lTgw=GZfeԠh7-j] 1'2twV`&1Mw*1`˴.p^7O{ֻ6u'_RԏBbzb4%nO4 #9mI jh&0GlE`":ٝޕc@dp թ-~f\] },V$ۇh8T!q`5~WB1?cN"فHUV>B]c[UQV f(?w#n|՟O(7'@1im(]S%~"+p9cK{ߞh1pBNEmG榥5MK7@:5lR=Ҽ~OH6^(G<*x.?|Mpw|A 9[JϚWdN;ea#3 6Th X^<ֈ 2ǖ G9(_'|ƙS~qzӮwtH|12#<-i}niDUv\M_N1|G_ӕHCы`-KX2cB]kc^**#@> !p'Or x̌{"E>~M . F|f@pYBY\d71Xc|@#i|!4 LJ5hǩac3;Qu%5];BY%9u#yG<\ʃ0N[91b"/$/h`)`Cg;ͻGFw(:n{z 嚂($MYڜ*֑^:/#\l ] F.v<UTl!hԸiqr0Ep}d0`чՖ7ZYs=&9ZܚydF2O) *p@^Id!B?68'[m46g+h;DIR@upv( PkWZ)1Z(;`F[07}/ m2 "Ea.~\hjL$n%!^ *R;8׏΃fUZ^82#** O"qf_Ef3=]G Nޔa-/բG;y`A%IT\."+?|E92X:~6%~3/ P/MrD 6t9ٿيom]a[O55Hj|rg%dX$*s]f@𥡿S)~ʀ*}Mn}vha)In"F9fҁYHERUkH~Da*;0c/̘ xxǜPC}ў*2I[St΅g9&N>{CK9B؆؍NSZ_Zqm{Sv&b;_8\R07k`>MMWBu 5&epof~m>BgEV_nVr!;8Ggo13gI؏.'+m %:\CKͭԸfgJlm J>`\[NBv!Y4|zP4 x: j&޲0)_**,^LGiZg p}(؊O~/]T M/t= ';'R(`BtقV \?q/ډpvM0z\GO4hs{j3;#2 _l j^>2Ӂ1.C婋k4x:0`"ozk N:/(iZ/M7h̊VV2Du3ܢJB>󂦳_Jbhn<+Ama%1])8Zm`ڊWD2ikc|86GxMx/}D#%^`OŢ3XtkJ}4?Cb]u5O5-9cK".qro8ZBXM}#quŬGqx" ##iB?XNvRO8g'$ǁD>XD8~4=WPz] xS^i34+ j~!i`䊾ʪ8y 2nxn> \;Lн}lL/rI|!-5Q+K[> ċ@Eh 6)ܦ)t;Tr솱}V#uE /{dDM`6&1S4&lub*̠@,7UI%UqHL 0FtJ+\ylJRVN*bqq˶n/w*O>+4D<_HkP3 K忡$'5%AoVijosB |/2؝YnO_ (s&w9Cgvl8[KnI]kRpkZP7 '(1".!5G%(X6cmز۱}[xl r TL[ 4nȈ{]#IB,L6Dj#/5F?fvXΦ٬%kܕtV:-q,&&nuM7$28)~:E?L8 aIKLX\J娘 ,C Q EՃpGa`ŵȟv n e6,W&GYö®TWU-֪cu,ĢMq2Qo!лu(.(@;ݟͩ$8Y4OB43n\@xScn$:z5 \v>*c M ;kJ535+v$1sbEzRnż$Bgj-KsI?n5;ߔ=o)A^=[:3|lÒ6ddp-U겏HIGƄ2Wef!O6~qJjᔗցqp3bA^*yT Z7 ƗU*\_cׅ^kJ_n?#R{A1춚&5TqZ1Ƈj䓂P]JJi-k\iʴP¤Tm 2GcҊ$#R']d~df3p%Yy޽׾2ddar\J4/!խx/HjuN b2g ;.5 ׋y8z|@@m6D|&D%f>,Bњ>̹ ~~%(@?o ; ,$N2Z׆ԓF 9_]1X,yby[dh qتU>~pX-/C;i.Bep 6:LG7PnPW#! X3$l.˗ " -X=<9hN2B:֕IrAJVK I`ܔ V@*`ap*t={E*yNJA&Ƅ:}CHLLi2YPug,!]W#x8*xi 鶾^帱}ZWPB_XګR9F # A6z2=CX '#A4xۗ!ߺhX\2C [܀&үځCۭ7;[:,:i%eε`68LYHQ*F/Ebsӈ Bo8Qw3Ovjz'<;"Ws7 ",V~q)v]zbGRa4(9&)>,cVi(5:BWM496], +Z;A{W{yWɅхztNЪ@ܣ!uk@zZ~1p)[}sJb(A"+[>wy 5T9 B.pCVy>zVp;R3=9 wTQ%N񂶱 i3X(\rN:j\qNbjL5 jLcrL(Kٖ:RI],~|G 1YV'V)kOG!-DL S6RZl B+BstxIއݿcTKuiJ^dG)_BfC ȋkB-f S?g+  a2Kb2E^46"8(Lզ7aװpM`:<~r?f9@4jdE;/;ɡ>^kVǂp ,r4[aA'1Cw),n-]%6o`-n_o;R}yV#ddKz U[QI[)G9H8(IA[c1E3`H!QՕcϏ2XV~'X+鹗&\Gϒ.p3!.Fopc3- AzP~Lb4N{Qɹ [<&̫.,0qf7QX->8u$o;5v C,%s;'% ̬2Ce3̳?X#-Ur% 5h`^q%UO/Ht'QB㹶&Wl=mZz0΂ xUJ} iuu?Kݝݍuy=3a'l?٘T$D8sXy7 8JmM1ʀ6gw:/2X':K¡$KO?i3l+OWoh- U Ju+*"`NOBo {t-u-VVPu(L樲 ?>%+<s J •O6Kkt~Jh?0 ,vT;0-TSsU#ǿ.քО Br>_ˊʮ;CjR-clB6K[5M  {*VF:[P#RQ7 |~"}Z7Z;n|ڀ,S}k9i~3[ן8Ps)7ұ4M]vA-o\^YC;XM+B#4i ns͇.wc^e%6ukB{7ErX;"j>= pkc3 ep` ukG`n@k  O^eR&A1b&=F@p";V>VVW@!$3Es:knx`)!Zg^mEaPH5&K+O Ͻ@ w|ê?#;o}_8.Ubj:@ѥAQ+Z==2B?ዌ#4 uz)1h?.P {\EEtQ!0=aR|D#T,ZDi< aT+Uk~!3-Z' 28' >9aw㎶geCܩeY a#ؤ0@fϒ2TBm%)oX-Jl|{ӶWwk)C`2Qnd 2}OMz!?pf`-xҒrfƈzi$],  Jm<&Vgu$7Bl R5EBSetk']0VI\-(9M]R'k-ow 10hU=[StNrTø0JshXF~n,-D DΌP7ˉk[+zo $h4'H+i˟k's2#7Tw["6)p,a;Yy/#ݖ &H(Vi-MKhnz IكUZu  )lH 1#ݲaRir 1Y@Sͬ9j$=KqtfhhMթrF$5s8qї5$ J-vm0[KPJHQk7p@ypEgE-:mWqXn~sDu<.aUI/̨@gP6h{-Taԫ:.y !㡉2͚nά'8U:]67zk43y8b ^Z Wd61MS]X; A+ocި@lttMӮv+P9!BP=/d=Mcf#i_ Ģju>LN)"-̾@uv>D-3O9ZЎ-f47!׿Y+pw/ǹJ7f) 4ƩNR1zKgLS#UE>JmT.CƃaYQ{708o%HUs5uq#Z2a00ϟaL&Ta`J5KmkT[%aM . '>in .3ٚd5k+. b Xva^OٻФ3o{ OO{@<=D`BX m--C)dԂԃ^}'`F5KI ħM_HZ/ͤD8iOH:me'`>b6 6æ }Ԥ ]RLCekP8 PJ4-#_[S~NRo%9*I)l!& 8</0ݏR: z>@ͣ!. p8o+;CEM=ة*F5Zf 4Xg:[HOӱIQúGfi\巤2Y+8)XV~RAN ͂6 \A޾!:qcM!VԚus:iJ h;Srn,Qړv7qd`7̌p1ىs)EܑV:$m3<:t}NJs jPxe.xlIi9N P]a4&Vmr;IZݠp`BKU(W"|ʀP6V6X"KB=adX6=a%?ʽ~rUoJ56/}\-V@BcwuXdK*+%h8mUzf, HL:)L)%.R[&rN@}i0)ܑCķ2;!ui}>φS`ĶnP ^Ig 3"=ic~>Z 9BJ"A򜣽 3S[ . U(!zsV.]k ~k7D}C&a3cJ|ߘ[- EqiN,3VdV4k֪meAZ/DM:+WQ○_Vc;j=}_j CCsDzxtIx֜XQaŘrmą%3n5L?>4QDكٜ(ȳ){hxa f\/ɪ!xE^rt Hz[gs))% odqE{"z`FIpR(Mo?Koժr/U[R¡]'U,-Ҋ*_t7 b[ Ƭ|FTdy8`áC72YxfY3E/." l'Z\ 5ce=]jCo[GWgE>DAzpk0=m**"AǞm߾1yHn f-ooԗK%HB6`OTj:&܌Ro6MCրϕhj A7AEp (8wj%Bq+Ԍf׳)xJ|2eɡPZ X"$ff:jdֆP`UE5MlT0L6`pxg^\ޙ*\ŁPOV2j[(mda'3pvX[h+wH%VWXAn#f5Mj"6)^U˄, 58W,[8oj J6GWKI-F񇀍OJ%- ضTTKhz=} W/£Mb9ٜ ̂-$n:I݈ :Sf NT8ٜ+23+:~R &cTZeu} Ozs