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  @%,D ]S]HOL-Analysis:threads=6elapsed=279.478cpu=1198.436gc=77.572factor=4.297zXZִF! w?]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍDJ!o2_N;'{` )1} >o]9ƌ_?ns "%M|@A12YGdph!#T^ELz"9mvЀ ԗk) Ht߻Z` 2\3ݻ<I%&A.dx6Fs*\kԈ1dd$w kWw7+GjSx{Q\xC &2-D:YI@eۉitI(`)Q}Hb{}$h.: 4?ұiNG`Mju,|,0cdt֚qA 7r)1b/ j i>&Ҁqޗ![l4isVI8wB䮛CL; )j̗S[]K*0HC}>铂 ~i5`59;g LÄG:-@,>H2$aVCC oVNcU[Pk@-"d,vrKOOiJET^!Vu$v ZXGJ*ԋ&9>rrd:u,+_m G 7WksfNNXА9B?0"xhO@!Ԋ$Nqdv=T]<"wW/},k[c4)-&|v`PZ76 b/ltn=7RV8bX {"<ù0Mƒ(.A 4rA 7́Ko~%\!$PU+M2O #WUT܅wt\%"kp.._n^$3?N+[.\=M*xlw%KIv%Joﲉ}ij)T-Hw+O m.hO̮M~ryȂg'A ^i=&c6\*wc,,i:֛NH|o )|$ԯ$.;+@;K+'x-JtOSz:#p~:5 ub< yֱ8,Ue?h`ҧvX?7uf®KQyHLL$lx\{^l+Fђto褩{E?%iM8A85*!/z5 i8٣I]0w7a^8>Lf+Ast?|C4qe"(ՅBTp'&fdΈP82=X瀇O0O!#jk5P( rsܢepܺb( |'[ U ^U&z#LsC؄y$bP~&$(=Uj@0+:h &v9o$/{䣧~Fˮ,b]L(Vel~7)F+ Tf(U W- y2|_ץ sHi  *c2kҝO-?k|y:k#S8Nc: fy)țΒd-DW/%YBzN SR,BB_CXVɌqW šF@7MM}N} j˻v仈%ztvĐ7>U,& W~!ǿk8θ#9<;2&Gc\{R52?0U6m_E#3"lXZSu wz(EhNEC;&? o<2Uh+^SfnEFNU|1ɏ".\$'s6RH9Ii?.͙/&8ўH3jN0戝f-V= 0QH+v8qqM ܥ?ߠ73eCbHХ"]S`4_:@q= P3U F!# RK^Rg ]8v@|cң}o{"e(C8 WYVn<j5޻8D*+ip7RH6~uE%9fD;(8PK`P^4W",1h(1Q]"+Ká`?ʹ?4"&3;Mq n%g]F^2N#2kRܻBkO}YU;YfHtq>' 5cA3fi)HTLb\an݄ d66/)}`YY*!0ܵ/H fң׊&o#ŋfѡA PUYGz3AaV/>" *E+S: h JZW8׬|y9'콂W$Zv\[澛j[(>jߵsI嵈_Urq$e|aY W!fZD K[`WYBG1j$*U^dYn/2a8._?M t˒Bbfs^YC6]wj2a[=ØO'OWte'KdO_V2!̓w=1G ` 4:w ,ߡ lOu9_A9Rٯ} B.v:^4WS*+s2.TDJ0)~^ChJ&0Sspv}`9^a UGD z -3Ίo0.0 T)й z$&**elDp!n&zaiI2đ%67=J๻O++>ܩnJy7rM⢷F*a}_6E._r{P\魵җ*o|f^vs5ct &*?:WkO2ԟE]EkZ(:{E6|uf]jH-yݿtuĐ : *855qzZW%B+scݩn>U,G#!vkeH_ӶD'{Pf%RT\qmЧ'I;ET*v  o=U3r 0C F?_}Z$$rg.J $7z4Pa97!!PGHc$ydBܱ-ґbABBX1kYm-ͥO{S2xP|zjZS7)YL6,+\h{3;X㎌nb2vM6嗩&Uc/ 憉|X%Roި. i%lh.EՔu0xZkf3pAgԊ0T5J4q-adfFF91 <$bAϔ *Vڅ;Q*h N78Zڑy}R=?'<;Es)jN~q=p]#oT-.,_xSe_&5Ґ{Xo#Djw\xV֚9__~-68"نlV5Z1):T,T0,i5=|Z^'GF6 Fi"$gDrOWT*矬Wdif(Bw0Sf 4xT'Pv}85gztWC*3_4#B W ,xʦ$ ~&цOڽ6Yv(4kǍW/7d0/M$O|@Oqefnv̎MRb ׯ MX9)*i!6å$Fͪ({XT K)דzk 1U*w ed ÀӸ5{ŅxT.Ƈ1Eo[0owbZ/Zx3!vOQzw4+R>3/gUSƃ)m5(6A>pDk;K("f}-NtnlGBemzwiB֨'^WiI[0nxXqfe JG,PK9L$>טEvLp *5$iJyWo7'gϕeu{v.[ [SX&#"/TSf ?BSd7H ̞;XtӞqra!CwQ}Rk{Y%4n 0)_4^f@aKD6ېz^ɤ"DXCέ`B$8,eDpDݯ7Ҿ{`5`2oJօ<>I46ҵY\T?cDh!RUPΉd%)![&P `>Zkm1LRtmtAK"nlz> *Ѭ VecF`8lv}뷟vCڡ՛ѹs\̢,2Hn~HЇ Ovϕu_ vbqIBⅳqϩٚn 7"zt8p J!;9v%"653+bfKʱRZUgMI=d{%pH@H[KqÞ&0cZ9vbӊB}9d0lܭHK,. (TU`KExc, 6ug?@i^\6ߊkz{3_t5 ĝy~c)mAffI&(tC9n'=*.St*XXσp/5tuErƦp*]sWHBb %#8\<e(#j^;3Bn~/.PqNnJF49h( :dx<4mo=@h4z3{ ToDNUܞ]`2>v)GV!#!sXrrYUVw~)qzM_Λ]rJDJp,7+Ă?>J+ t9 r-Y]e O9"r9+}>yů)#FJ b\)SЉNqß-F% tVx2 ݿuhL幮zӽG/\L[IK;Y陆bFR#!1M컥g~VNYx^k*Q7 44/㮜Nj287u\t!ؿOct\$n 3r*K^)kߟUؙWc1I]?0O( ,Y VRLOLfz=nƖanwC:Ѕl o S[-ɸ{iju Y$ I JJYb6Ԝ1-e+NAɒJ~KV#ڽ,6* & nи6Tn兯J(Ǘq5%9Zj'%{Ժ %Pqt.!FkmU@?y +s U%_cPǒM-us $=crn̬9x`E?9~-cɩ*$lX'+:Q0IkX +"s6z wOM4!%}|w2-ځAX ȡg3ZJ1溮&'!&L9=ʼnhŨ_FI LbOix^%=RHBk8[ py@m1IJgv/ܝުt\<3K?1 K)][Vn,GFUx;8tYo=n.uZL>.n 9(V(w!' (K6@0'[ʲ(Io 4g\p.!;sJ2~T:ftYqQ"L$ŸK}yNLdD2QVԙtD~Ѵ?9?V?1?7`4M-ZǤ 3 w^JΩ L`۽ƊA5 @0ߊ\quM#>O%7jC!1gQ57ϮU}f'5'v?,uc$]LK,p$OH)@-:``5صjɈ}c]xpɝcB7N03YD"3ӰR'!hc!$epž!X r\П,ѷlNW᧴Hrc@#)馆6Sqà1$`>#mX*S[&6槲(D+В_(yuwߧO(8*d"("zgIi;TW;sng:2~9ױjz*[帎t⑲_(y^zKO[*U\uhg2",_W wYXJpɯpj4r4BBoz f9r.5Shb:O^B*6[F6AG@q,}#; 8)^ϋ҉68`Qs8cӕ<W[WJTiYQYE'v q drp\_ɃR%OoU8VU?Vg_ XSڮPGX])iwfE^Q>|Q?PM)QCuYNJUh1qC>LA>钧vA&Vvaޫ<53.b _cfCz>r=fqH4n敖 VsQ,kd;46A-y[hBGv;]n"<MmY9b,zqUUz| q k^b(bX'0 1|{F@V65lxl*kys sޕOCZ'毸!$8A=ywZ\'\c=c0v_:{ bRvM$>dϤ6O+QV$=@6?V.z}3ZuD3 (ep{i$Y\ؚu"BE|\IoԐ5X$*ݩA'( j3R: Bt*ܓt"{ ^^f9M'¶?D2`] S9 F(D_?([XG)(bg9֑ñn ~f",OdiDۻor+n'Z1sglǬnķ*<7Yh.1>Vg.3{] WCm'ØP~Q0$c pLgͫ$NM;7uFV^#8d<|6[zb(pzúo-O휳d2׷𾂾#.$n$-Ν ݬ P\X$- maC1_&Z"+msB^[v` AC=Ire_XQS9aR\h=뱨A﷙8h3^o ޜx5  {8kG"s۝9 I{\#Z\.)&pxvYkyi$ ~_ pt} \%6IYZi-Fu0'|i6}Wg~YA$ʡS&}.lٹ.KӡgwͩyڌS LTZbǃ5B^L)7w9"hPӼQ8@^bMC%w\W_|;܌?[ 1=`yͮfP(FB3em=yY|ZE?-Z9sYǜ2+]<lJ͈Y0.N2B G`_*ww6vԀt>PU.){8Hp4ǛX4,>Q=~q7Y̓ZY*!hRz[ oY E{lЭIg0eCr>P~+)_ eC$|j\x0+gzg_BR?}șfU^3T<'PKj,YؽE];&ݢ蛯o҃rW\cݸ칾*܂SZlbܹ8zض;Trc` %S#(Vϭ}F%xp])\>It 6 pXzU;'@6URsdОzU;XUs%#!ǐW{=ٛJ~T ;I/GNv46q6RJGX@l|-=7j?5 nҞ4Gz0IpO& R͉Baiu=uG6&6sEStu%5g#SnhYee­RtФG#IpO@ x}/Nk<-{6bƃˆYm?ReUY01b"ZWR^oB+nOi3$O8gh|ӷ\oQd?@aڄچ/kD{%Sam!߁@,&Rb&aŁ⭦yџPNwJfT,d;6P9]paa /槑lTq k6IFiEa&ߧx@ٸ7Q&zG B̰ HAC/|"nVh>M$8i|K[< +ڭN@VDRIp /Tpt*SJaFr.5Z7 )^.CG`{r2BvN/j4a4:@Zr/:ρd杬a\J۫_%^;B9ndeJ\Sr-pFb;PZZ#7޸+G)\͏2c5r_&0aR鉧1ċf'j\&0XG"瀮O-rqh톰쾝iU,Zq]v(_{DC)Lu盏j))[Ե/ -CߚB䇈[|n5í]P$-Lrii@|?8/{Na}0'MlG~<{HYLG89_H;$mD1#@#3rqY#ޑG\wU8 Q|=hms=DvX9Gv; I'-\l{BhWpӀl=Rr+$/g&#D%x9X {ݿ_S},n sW0h(:̇J` \wr/>øoGg'#2LN|83F{_-gb++P&u x9ube5rSϻGec3rPk3voOxj4 ==`f ѡl(_Rq|?}y; HYgFsKA\/|?<2;88F_)B".EP+ga[sN&-+"i/AbZx܀ wӰbB_F/6;CopH1]KgTޗR4k(*# J5Z zk ڭH  0gYZ7zXZִF! T]ŗXi%6KU{hzb W$xKsWR6dJ}lbd餝VW0=Z;/qъ\ :D ?}`R05]MR\mp1h[-q7eS7zT!:$n_/ EpDQi!VG?A EP.[F1·ycݸz wzD(Lg}'Bzpk&ź`Uc)cZŴzyJ\fjBe%N@lo ժ, 7K@Y$N`#'tP^&l.)puU{J Ohڒ(8p5trW.3l)2}׎!/ BCMג&TW!? : TХVO+3Ѻк줋Oo48rtgkzOo@ArUuo_[E18VԱgocGi\ْ}r^i/< }e *_mE*J-"o -?t!, ,[/B-;edBx4ızi(.ƾJe}xD>6\!x$G3(,6SX%[2l\`Od=Ҡ?d=as_^wJ&"ΧlE+=!)9GbF`mRʩՠ. 8$LuH65Nݓx7#ATWC`*H! 7SY.hUYgz'w";{K <]DƮOd1DB9eE7p>4SVO{RYGQqy_Z Y\ 6G (G$rZ[Q㳓3&YōO=rcm|n^qy.PA[&]Q>Z^ܖ9bu53s6p{p9.* HZIcuAb͍f|䟝ܮB.%hQH6DV(2PI8)g4$𘙿<& g*Z֑@fB_ji%g]vI xgscCìfY0>]wa4aIfFyM(p[K~Ime'hӜUh?ga4,+1џ!@ sm*NlV dhkwG3FɳZP8 -ظsf' VжVUUD|ĝ_-{5=LwZ޳*i!xWp]AF`]]9IC]0EY3*.+w&UqoCiN/Nd# wOߓvu9a+ \pyoTNFRHrY*%DUF$/PDG.et,m<&v;܂%\~(wu&ULr Eu)KV2͒{&sAwkɦ<Gel>/O`OP5q)ñhEWX(X9|]6K$,*O٤?oC|j$.'$=ae#ʟ}BuSKΎ*bsg }[T= 5,d2d.肙5"Ϛ R%u3G*ʪRWl9¯̿ED} `{ UNobw̜(s{YK:(D7ۑSC=Dr,D eWJ>TwTS66g;4ҋw=7I'|l`%˖E F䴝9HqmKfNa_ 0 ]< 2ߐbhcghVv4bf0.hPe?‘4X 4cXw'ՃL/+#13jZĕPZ_Z4ѝ<<ȥKhtj2z:!"`Fl==Sq}<1D h-~Gre~p6->g?SvByV6P;0|b[M|{Ak­J iM" oj'Yi8s+1UB˔<*B\Qz%4nAZ1䒛Õ9Q0Eu<C+_=P ^UpM4S0 iV Xp)u]!ӯv@) AU&6*[j,Z,ƁGc3u{םs6}Sr=*g>`,_B1R}6ˆ}ij렛:a_Զ^,͛0q0IcfXtÙg/gIٺIֈB`! R:V7Ak|ɸ+`^̌%/.l.}Dx1a(fk!`)ة-aaqj7'u{LRh\"jezm#BoM2X!b!ą3ɛ\,Q&B1dMGT*[HS6~CE!)(*3퍀^K#G?.Ou ǔy"YŸuњ> t'40ltfkVu;D/YK\؞z08ج=$˓VN7YtGubOʲ] t)m2艬~G!dO&aQʹݧʴ}2p9۲Nd%1}SvB* )8Hf@*0Ynh#v8jÕo?O\ӥ͆plа=Y"59{azZp%-YYG^WYJ( X48Mr1\%4KiqLvKXp/L"">a 7@TH.RV鵍A%D jS#b蔽ʴs:rUH=^k z͠,t:au>m_T=z!Lƃ-=Mϡemi"@MlӖ2{ ࠊ}@;=?h=(̿].&Ԍ (]zON>f`S* }'EDs$_ NAL1?'?up d뱔2@ܿz4o(4 ͏yhl0)6{H\x7<xsځ=om'>==&ǥ}!Z[|+`bbm|_5,ÿ́ /9#īOʪ^l[(&A=P3%,J&~%ay:`rQ$'G(Ll6يf5Y@mea@ϙ9Y)%Exz;n?< Zi:z몬 Nn%2G9S|R{Z)aPf%Uw_kv(џ tg=b]cb1aPE[lUj_̱xŢi $yrv9c"1PߞŴr]KVA RtH%߮QfSuԃuL2io!d)/WmZ:=tN;QEICbZ$F~(?L)-ր`1?PeqOecⶋ|H?3>wEVe ђ_seVɲڊQ"m,%3m&'kF"4 ũZ9]#fq] 6ŪRƪ2h+I^&8Àn3c<=tcXܘ}Spdsh<6|,ŸƒhuRr)CZKdyH[-sj6tDP\Vj*'o&:yn2NC4Aqp(8?kStR&6sVZ/lB1D)JrQ)EAZu^+ ȳݽB/h֝r 4kHhGk5G#Xd_%,gAcyԋNv\XW>^ 3ܚ94مoN qKÔ̋'¥6@\S09Hs4b@wѹD1y*uH y[hUZ7DiUZG|A`wlLh43*(Pz~݋z.FOʐkFǎUbRiɮ`*(oƘtRTK}!ygL/Z'EJnB,9pmo}V(sF!5hG^-b{$w4pN!TO?iX:6kJpRi睍 :A8&1~3oP-V=v@bNs<߉MS|~xrKV-LJ'BwJ ˌ{MW$W݋'݀uRUٸԹ8:+r``j< fV(*46mP؊^rlz'xyMkցTr& -&_L cvy9$O0p&uc~&EݽLIMYr4EBlSIUG2*lw\^7B+P+VGR Nd1 21o5-ZQńZ*iq9tsVX ɥ ʞlYZrR Z|<0{=B;Hwu-5ۢ?xշt! u0\UfEeX,_ny(0dg 08I}̰VС,9 U[FǮPA}0-j,V82106Akj0x@eC"e Pi:HĞK2i0pRv8Ds9C7umMFX*awK'5 .+Eͱxy̅pa%r#TP0q^LRJOTAT0tp|>͇g6PJ=&Jΰ)e[gН|lyU1A#]OsC'u4@NKlr M(,XIRgU3dClg_,X}58lvPXa=$_6BK۪K!)f%/mB w/l&M\@W9HkN!\Ehz̉PZ.a"Ik"48+QIYȹ`hV+thFKT~ w %WE3%=ď9T{?F{Q3aA hWie~nO!)7oY+ ȑ< ^I)JvԳWgj9NIJ %#+§f0Yda", X N_̌lQb F)mEB'ֽ5-&-W%^|S)gfuYF-.fՄ<7J\I-b}1@9RD ` I|?OxMJUWu[h:ipbcY5c'BPba27[{sg-𰼁' aCD? MjMwY(qf -`tDd_Q ry o&`OaM'}sNs65ajy2讂j* =j3& H=xf'Y+e;2;Qn;!_!p8 = E|3K`#򞟺i8H>\# x B<?~uځ^/39e3|F?g瞠#e1߃7.][C^Hƕ2D.a;rc<_`V\ jYO 8CsGk911i[Nm i:XO"2_3㑱w>^ɀ<0Q).5T$`A'6_ѓ4!QNmSCaiOqo}5k4sc35,92& TJB?aO;(\ȹivN F[O0$P#^' 8fqɒK>~ךTt|UKFHPt/VOݟiЉ7Q;pE%wBD)P6h^\G';^]Ē{>2)*Dn!,T5=it;β̹NvN9*#8-HۂCO("h|+}CLr<¹?HǒbI\~@د0 05S(@{S4KA儘ek-뀡?Nf $ b7U~t{jl,r?z5j==bi.TqQ(*0 N.ؚxREg#J_I5"k:=\2Y5Mƣ=t4C4W߲iU?j[웛vd×]ֹN].7<^P;˥Hū6̣ER]|l`>1;6eՏ xW)=_u qD2eb.6NY(tCh.! Wa?y(]Odᢿx.%5[K((y"lQ#CB;'XG\*ʸT-pNLL[03NRqx7a^r2뽪JѮ޷ ?Hy TR߱fg*48%A;eW4;<9Q#ȍOAOOd(GB%(9ruMud/-3OP &5l['(JNU.jhP=LޠC}p jA/2HX?O/dn)!|bAHs,2mbf:`L'Gw.!թٔ3J( M BO"k}_{&MJ=}Βejt /MgkOx ",(.3][{5ю-{OSx^I p {?8_6otA*OsKu6Tؾ!BZ8O'$|䦦>D382׋aI3&N-fgLG.  f-A2jWro8gpwWyuֲ^ƶ!UM $MDʼ o\-…x`<~,Wb+Qa& zVb>nyVqMw|m/YdSvw{ho#{F.;r*x @* du\Rd"e}+"Qڤ+t@:K]q~n!LZ(+Xת! 5t3 3} HҌNHחK4)XhrذqdmeV~I:z1sd.naf=.tӼǷpkj-]Nq`"qFSti-<v2;'4QXH^1rdDe=/5dKnxѩi5فS+ w^}5%b4+׹9B-"eqeVDߕBܛ63lR T--l>7QF:iD!-mS[Dү|?o15n}'%1F揑-=GE)J^4pH"^ lQ.4_Ct!?"EJqƔ%*Lra~f}#r,U;C{Oeueg,|l=|M[oPs}~Bvs'Cn5ZRsңޛ5 ̪V謪2q Y dre Ӂ|h]=(%*̓sO{K$ ?S.<^n=ˣN<}q9f-È 9:X+V"cBC SK_p1"GOLmCC㉊ӈB䔈dF8jT?f>9:i+%ޫ . ?9e r_crBD'ZNԂTE)7,o6ȥ1b0}F؈hYWD~k09y7i,{LEVC5SO~"g4({}1KW[. #Ƈwi-l9i̴3ژ0$JEoyt۟3r˨`:?wt-[ }w||yԨ$Ubk9EQtwnbo4Nbmn ^sPa#kBM0!cڗ =<ă!hXs_f>7q0pG &$ȤE00r͈NLw:4.#VȺѶp3%C#ϗ)kf+s8.| *[)}vaSNFDW$"%~xRMyRBW8\&k o:iD LXpǕD]N+ XYG55 | i,`UqBn5fvU&igj5ё PGlGS%L5#̌ɥXYI@`Rnnb,/)1JZ2niԮJq5mSqa&4kQw:yi(|o.%&P uQ,yVհ32Ou> vm/cj$ _n]7\Y'kA1Ԑfm"s*"`c ,yzjwCΊq+{wAvW)[ZuM<$;->'1QuL@ _W(pd6Uͳ}۹t{PV [ MJ(:NJ|*nE,g19k{m*u9Fw0mw!xLR߮;'k[ Q,s 5IC^6Rʡz6<bAY_\4#Em2H9&z<XHm<r-3BUY13+s13NFІP|ԕYe=h2ʾ/Ct$i{q5@[m1ބ]a?߁+N3,4ƻd,!Tt-[v>>ٽ,"FeyFf!~8%Y,[OZ?ۨ-}GD̪w4m@Af Hgu}IRբx\ɼAXcJp$kfƵٲhu#tBtB M},YO#zbT$uA {n󫜯;:LZ( BUA\mRS6QS.2Zf:͎~YtC)دΝtb ( YWS =I.J!{Vx.knt_b-&Tʛ E;SSE0 0Zj&wR5wpہ$mfm.1SYhԙp^=~ 'UHU+/teU%,E^@Fɥ[wuHl"ܭE0sz;Hxi~Ҡ$9#+˰{̟T\4R4 et?2cţi I?kmνlrmϮ< #8oN~|ܟTu#B>0*ݪKmuz&[{!^.Rd)ﴪ ^XJp458 m]Mk&˧)'n.2x/ϱڴQZdREXdkITe[M\宠׻#e9 @sdoӫ.t2IK*޻Xۍ\m˸6 46unGaM#$ $?Q\/> C-%%#Šׯǽ`y2\-Նφ'qw|pJF:as1zH Ne_KzBRNA|73MA*"aRAYG*q)rm,qs ݖW[l?EIfIq"cƲ>EA=Tc5"}5O~ڄ$ѫuRS]EA =Az3aDG=v9 !iRfz.nG|Khc.|Opwn%5^; }V|m* +c|I>=zږb?F Os}Py%Vb`5bԜQD+ըk.RK:TA^)GBvrq>߲. p;ҔͤzYJ(M˰+9㯴Dzea{hZ#z^O Œ"_&YXq5̓ 5,PDWìǘ"Z|cbtY{wR#@bi:]Ju+aHYxY<KQ=yrLg],v?7]bܠ|g~&4,xv+BKN()PQFh|YڜsFv~dKCp][w{`diKe<Ns,`th vf`9"PJC$l%h3+(Ώ7+~% r|vUTUpW O:EKa4!:-щJGp8 HՍʻLte0{v$fvoa7<@!xtx M:dˁ>/B;Ʈj`>I[X1¬}skߖ$f10,~ UX4fx $W2D"3X-J)TG@fE/>Vzfˌ):yB+)N.ix2N#n”6իK J+\#Zޏ}YCUv0ԚV uKi2p|"l,p7-IPs*6p^.kd.`7S]Jjft3>gg`:TWtBh8 n-{Dž|wbpPZT㭮f ] t$IO`/+"I2I}K\@RhpjG{FS^ݻ-Cʄhn(.s%#վ ~jP%TC)]+X#s|saޟƏC@;s]IwViYr=N,yt$-,J5܅Ev!UoT0Cz zBɐ pc*rEGBB%q]8@7y=u0J -vT$V$,"U]}ܽ<P(b%C~`AOubtt|WnpyȿYergƥ23p}fW}?{L(n~W yP ڥtø5 d=.{Vj33p+E]^TZf{2],ۀO:0KlNO*ekFI*{AB^S/WԷ)ruyEfc%Ԑ|TbX"%c8y" q;1Sόf><?O?x`0Dݭ?:QnE/Wphj Mk 4u2AA @u$RlEBD>zף*j 2ᗅXt$5𗮍..' Mh9guP `m|'O[h7n(AM)4@Pく:PI4U% #/2z]#z^E?t0J4i~KNaԶyɽZ]m#fDJ# ZY˷kʁwntZk lqSTj;7\*@V46hmK&uYgX_E;uofMf,_ E3RԠ `8!|;^A„OD `3'" 2rRe0: !@'0#*ƴ'51&/x#o ߏlmH*j[xd5/ Sv+`g?E?1"CF pQ}NpyT"zy~GM?$ShIk