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, ]/]HOL-Analysis:threads=2elapsed=807.162cpu=1412.904gc=41.600factor=1.757zXZִF! AH]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jplSR`bֺpW䫬_[XRRQٝhCP65J2w}ql2׸HC zLRee_s]4(J8[u/H|u$vpmC~~~cxe&h!shw9'YShTmtSVzSX"4f$Sɒa[n,svGae;]BsCC(b`TT7VNWc"PU3XRL+@= d/^ALB9/|5#SӍls{g;-l|I 1N b/ CՕ#1']7Z4Ǜ/|7rl)W?`{eGP,NLYayVwu:(~ N/'.9{a>* ".|i<!@UhKuPtYlD;S7;. 0̻(RkCKKFLĈʙYN~"S }UÉqTvӬ tj5x2gOH Lqz ]\)O͞Teo/'(gYiOL7iZFC4*Y՗Kd".plՙA9$rh@w@ӿD=庺.vdMt^30z{ܷv@{ᛃ$ϩՂ ɍ䊡WZl&1WGE*EZ, hv[FdԌ6cV_bu.S֣# Pw"{@ *xBiOV]n)*oq '@JqEOAX9Ho}l"{WMJ4N wf"0$r+PNKgge;p`) &3-S(7 ]^) 'q3Lڜ;;5V`%vw3gƯFyi U@4BOXw*0@ѦM+9F [Q?y> S?xZyw*Uv|?=SErX`ET}CA L*!1Τ7l ׫ FNtTG1N]|-vlɽ2pT[IڅfNPg#4|m'n;[E%t}-+iM=/i52ŦBTD`O,N#'lJ~,lO3 E{oȄ7-m y怖? xq$32PPh(Cz؉ʜYyhߥ HRfM9-cQ\&*E%(( ]g0֣*¿Y Ta"мpԼ]842AC7uͽ~+fr㉙7Kr"pL]K8v)ķ<_r!1$i@ 5J!Uw`"^e*ˢ0YƷPC=x^UjֹdMQW,nV.E zN+  ˋFpU] C$VE~' 8)u| ?,]<Ιٸ5V4m(BweϳN}E;ř<}团|))iYS= !x^;3$}ęn `%8:M+%Mu% + bըyTܕR,7^\ZqI\;¬uћqR<0oIcƞ%BO 64y % HOL-Analysisk1Р/r""M6N:MuweNLk_MHp" K@%(!3%\7d-M{uɖո+bG+y b׼b9XU/-ꪽȿR$T)>GE62y0}t b+ьl%vSov/ 035?5Y1'8G9o@ӃPU"6@/gJ1$[ٕ2/Osuhq}zD,M hV}Z7vZ&>:\qUۤG9 #NKjhݭI ![ѴpVC6eQb7/78ԆbA"*N<T]W&EGM3I$123N7H\D%ԈV|+m`ZXZ6rn*ak^ñ۪7eGrhQZ= {|"Y}lu"WOHhpZ[RBkPYLq^H{awq1͑h1L0=ypu^W +Hm5/ 彵&1u/G\ wx{D;Nş(v(Kjq<8D6)񒲲>#ᯏ\۞'Hb4!m ';,]rȭKǮ0-mmqQxڗNd$#`$ք${4*}|ߝ@P,cQ&8l(mۣ (;O{vԋआ\-D$ʆS] +Uud7ձ(HeGá^*Tzh/{l!?+Ɔ N08S}_7g9Cj(v;FzkeciN߀0PKP0i@'ákfE"L(okU w Z[oc[M>v>q/}9$LtϠ)/5[=-~4ชk@\&$ᘗ.fĪf%#uֿV\g΄e%w!f*IM3y:->IY;4y.UtV3./><7eڳBJ DAh 4W{Wk :2%F(c>qC՞aARpw8Cf[[u$R>9H|gT\ꈿ-Fw&{H 4my.I`pc5 2k7Z .LzsKlUU6Z)e[l@ 0 $pިjlƱFQbgpE\֔fCZ5-s"+#ljKw33-s(EG\=O[/ pW J7ֵj}hfKԝ,K~n|sb_nuZxRAb+G"Q8#ޗRW̞4-q(wI僟2[@]zTwIVsWKRbX)~+hXFcX"A#7`>Ú~Bs tS#_` 4$gy ttPͶ Zƫ Lfy֨5IM7N>I0^2M7-K4@]{wyN4+m ]"Z7x@*'NYwתNވ,YB@GRܴl(v %b3@6\_y>_ Z^Ql˖uӨlDީ7Ol=&7~M@=P`.|t̰t%` sH_¿"`3g#U 4CWk-*h\ O.hjl,!dYEX]@fiɏ;H:o/v0(V=ȰZ/cˠg1P:rU7^M% ԴԯCD \L֜a7 <~'[eTZtt2뱽l}~) eA< n5҅NJXsPN,5DDp` gyp8| AKUj>-JMgt~/Y$*W+hg^7a'F?JꎾRu0pܾ.ʖ*`w¾/ 98Id!9e{&_qJzCϨk}},HOփah9Ӈ]Cy#(ivOAJ40,/*GAw;/cg]ypS)Y(I _ KLݡxWDtxOXje [vYӀ" ]hEcR/\TLv6QzJ?ZK$KFذh.\4ԗҸ2Yh6QJblG6!D8L .A+=&%6Ob6Ylw9Q7C%0gj%oh]2+f6ܻc*f!G$ Ś3s,'Yfbd#}w'ڲI/gѶQ{v9b Ziԉxf[_.R!ex!}Iz1յJ^i#]"N_, jH;,z8*ف;5pyXڳPOz3'm<z"jsZ0 E@G MG Vmqas# 4h*Txx`hD%x(WK,ߚ$_}cLwG~] 9o϶<#;zւdR Ԡ" Sh[ ,%íyF*'l!w}%RhҶ wKkC>hS 8t5m vY*#);3=pJxx4u4ڵɕ0[)s.SW6.In?H0*L8{SiOh5%iA8~ 1C3x[-#_ #`{(M1'xku%]:"o섺p(o+E=6v kB%3CmM?YAOa\JAM-:z)B"遍)0[>9U"1lؖ?u|!ҿYTP։[ᄅEX]Ս[7g3bE34dWu! 'Y } ͵ݔL˝1Pj˭2zF$jN5Blqi9Ĵ;HdwF 2!_bέ")j sr,{rXؽivVs덝Ɔ~%rMJ*vja3y.z=oMTM+;+Guo7Uy#RfFwirП))s[g% %ȺO 8S7u[m&ƻmǧX={6x&_b:0PNDeJ(EO 6o"3hgw$FSX~Z +AqL>S!A%'ץ^5;( ='6_f`Y-A*u;3 aQ6uQ`xq y|2 k1$F16B3]m>A9 OR#3 _2Re%^ZYvx`!D T2Ҡ /^̓nrN|x\\P’.iWW3BVL6Lj_2LivG :ݗ=\.FӲYXN#⧙ u9nLěR6Aywo([TZ0sRxWhSx| eB Yம-rKG L=rOS9SotZʧ 0?dMQbsRo/wG4*0{؉л_P2aXށ>hm7 /,KάجSbLZwCwG^+HUevͼ*)tg?UKCcȻRIoKڃ"B7>0L.-S%D.haԿO!=vgVY-VUP^=zykl$%Q=Ê.*nԷnFKktgЎݵxfp3XaD!Jc\ Q 7ӪH^ .kP9 ;i,Xz_)cʦ_8"1\h!4.S:m{RI$b#L!h.k}DjH$ Gty,r KVṁ-$RJ* y)I}0gz,+\-Ps)kbQ7EjPVu`|}d0&3Y I䛀.v~D:\o |X'!Ցmh#_:|MyZV}66RihQ=)#֙A9GmO);f۳a|kPe|ԑ}X{Y}\PVEw}r_trȌ o"BQ#u);C,Y.ysKGWǼ+5eKj`ۯg|"s<^?yLӥ@}3iWbC2/1 mOC>iKQ(ly3br&`Lr|e[\owm=q")B٢g@ʒλOryq7%c~$Y0mрo4Æ"Np`AAj8UGwՅ%*G*&201xw .ӡ;u#h[dzsWLDw>f)Pz+K2ݰo iUHj'5=nѧB$MLo_!qb9ANEDSw zFO[0W'\_!}e^uZ>_,,X?oe * EomW^KwtуZU_yX]ʻ<^ <9{н'IhNz:6e ;p3b~ޭ7̊Jwd{(l&\,['%*k^ +BmgOЙ q;CB&~Xf;hZg[~ [En>S} X9.#p6|}9ӏVMTU_~?%@s+",9'j8 c[;`g8 Yqޙih¤錐vCl3y$Ey}K}Wd7,tĊBSw c0XuQn|H_C|^P:D[7$A2Dx*ف\+}ޑ1EN) Q˞"Ht#4A4!Y8JIo²rKvr0Y}ֻdk[*|kkM -;Nw1ŬiBŤ2(1Ok$RAdj vGh;2x`g]'Xo:.6<Z9^$u=?CKLH&Vx/Kȥ쾜@~fdkُNRSմaоD\9*z%Y:8:xT_ŢI-;,dHُP%;j4=%۵X5 F)iHlRo1I~Bp^ōSs;IrנSy1l\ _tx4)[(5,mV& (eD7P JG2q.3CSjhA([{Zd1G}L"lE{4 u۪1t0f^KnȝS{c+K"Sk5k`㐥nķ:7}"/#W(yAb~6*ٿ >V}n_'v31Wmزʘ4.3LF4cK$ I5#`;4)Rme<5|?i.ZYZwͱ¢5]|I 8H1AȯOIt> g;!DS"h HS9Rh3E#:5gXJcHA׽gRц>G3Sv@)fLMP;Rkg/NM"k`\"FMa4O>4BJ7B9&W<BN[8T;qXSb7>JDl_J(=Fs_}Ua[u55JqO({U`!{枑~_/`;I 75-%Yș10T?^ʽ%{J"{jԴR%afd+)HQi}bVg,Mfbو1͕Qa8MbI.5E!y( WX:c 5XW߷0S jJn-I0I#]SW<*R|vONפ :C5Vh6xv6ѐ>H4K({S+n6pnMxbNdY=#yG^_az[F l ʳGZdPOy?=xR!fPnQɌAŝ_MVCaRųs"J9"ZQ=z\O?Rox$zۓZ'*eZ =ۖ'dB!e|9D uo:0{fg L0f\'T",9_PR)BnNJBK$gf 9g94'e A /<,38txqȤBi exxZ/!c1OUo`STGαH )ݣcA`1D,:(Mz"=C= +d~(X>K*h q7~v)8c|̼AX!yDimz頷 '.P3p>hO3q]%ƊD;G3`Jr 5uittyhmUR xJC,;8O^ʰhUd-`s"7g)E=e&tx-wmE9:w̉=c(يg$JROA̸VD jwFͮ'ѡQי໨X v`ƿ0,9\ ڔAjV6a6ףk0 nZ/B55+=p q;Dǝg;ً2%ڝ"2xHZ/Խe螨*{쪲f+T Q~d3;~O:Jʙ)Wə.s+ YC3B׭wf̀Wa buYťYSE*+Nl%65r+-3N_2e:+t> F݄Vsgl\E(GyvaS}_${v@9h{bjIȇY4o'^U'yˁIG{quHL9]zd)ьKWlJ]x9nY1ri@w|Ahuޞu-_ ?W!MNZ*DTw(nv;<B&w>)k̟]Yu")InȰ0W+M7fssǜdbP0Ɛ,uCUpۚ+ugɹ”-.to4X2cN@SP>[eIrcyiX|$% Q ]LRW֫q&.}s⳥q-Vq·Q"tc;t{~bPl"O:zO4cu3LU?6OuH'Lֻ$\u}; $SLz`\׻ px,h(T5 "#CcY_qLBG5 v;}}Nx7}F0P@6zҊB'ni) -mr7x3GVxʺ`jb?з{U1 ,*dKEHɦY:C |z0uW(MXmߊ2h^PX^EwkZHzE{Ā O#aop_>[@7.a<ŽF4bZ4~KX:?ܥE16T\K:1^tCЃ3tjɂK9v{w$IQilż\ M@L5ƙP5(hEjP"Sm!y;&p}vD@ S ҿ)罟[De=52g"!Q;ZOo[G ON̻u9V(Đ܉O=籈KUJdCJ>IڭVۙ#؇Z]8k1GjO(A^{K8H EI&7$TEN3+%**ɢ"PUI )0Kk:kf0հh/pAdO3Ui,X"& Ή& ȍ,O:D)@6u5Q5 #1lnPwEԕ4gbU埩a)|ԾnE[@^(L`-;ދΰDHl[O4Us67 /}k賹Jz܃:hڒ` +duLX!)HS0ճR|!_B$n$gvF;[*P}PO95ahp}AqH{?^(1/쏳!dvFE [ ɌarqֶaX힎ڒG|7]=ȳR@:< lZDÞuAGz\ w^sBf T8wi4ȮpңJ l7nS<}/ |[a[/B 6NcK@m@jqJ& ҰSX:C}(0۽)r3`I-Ix4;uӐE\oSɶVzfxhgƬNcXmH9^y j&6Cׄe=c+򚢴K<wpbٴK.(U ˤ@4$ .-\ރ6 *[9,/YR4oB[u<9=ݥ~C3-@>aʫXX ̄{woK^,\źOíe[,#r12`ŞȠ`Z~G]wlB29)$wTe j#bPL𱰎ɶ! Y*Qw-㱕Ue6XIpk* ]Lʳ0r_\oۗ h@ncoxsݷӠ[|qk;2ߘgQG} > a`66 Ńk?:Tume<+33u䒥v^"n; {+RPdMj IrHIstkћ҉by1IOb>0`F!s%\>87U2Rfry2/uLN?Z 2vCzW}{JG/@nk)&aIp]I;~ :|xH`ouIyքV@wۈ T7֌9A\\ =sP?T򌫕hy?ReLznMZ[p[;,*8k;PW0zRP)#4D}")z1s; iWL-tVe5V~ɿ$_!w^ō0<{;Q.LK4KyIS  4  :sutŽĖ(Ln,=dp^t, =a켈zg36Dפ;:qoeU>8+72OkH|_D<3p5qK1 lreRJC\'wTsXw(=)[% 4 \Ԉa8Gfa+ncS|*j-[_//w.(E X E+x=?ؿVۻ@)\OrZE| <[Mh]S%<3H^WTRَKoU(3& Uf ك-BR [zΆM5~ElIsP7quM pU4~+)Z+gk}m* LJ$:>+d'A{& WYiއ60?@`4j32h_$} ,{( }́HpOw;kt6CKحw5C4;@}vm3w2FemH*E`{^ؙ ,wzlz+dxGI?;łz>lA (RB7M4SV6bp&gi{T$4?H=6"K⯰h?bZ-$F9Ndz,Ĵ:XF쵨\Ƌܵ ]$s!>T4YrΕpgi;n#Jw:z GyxR9 ZHe"k2 v]A:nVivdQ&`l;' .fl.ݨ`tm~پߌH^qk0A6F_lșy0XybsS*'hp T(vUq| f#XaT ڼ"ݓB;y-eD= SﯙyZ )0*0amwL ԰teWU3Hӻn>͔Ф$-9β&C[]VS!/”@IAgYZ7zXZִF! ɟ]ŗXi%9(Pς}釻/n~c/N&p§C1/3-5ǒ;<Iex,ɬ{dmI~eƲmt 1,VlLD5ZlA&D,\:Y/B6G8< MGhunTsjW B yowvsgPw}Q.X +DJgZ"0Bxv{k|jh~`T>^Ne0B0>hz.Ax{O0#-|x'_Hod}V|ZRNW+x E+)5dGr{ctNڠ;!vJ +Z&mԝ,uu;y-pĩzYy߫ub$ B^"f^4R͵aQov**b(13=Wk @s hkD^&T`GZ;rƂRF\ۮvhc@eؤuBNwO}mRI(DRsvsͻƄi΃9ʌ_#z83nY! Dng؝Sfs* :!Qh8:2:-p%2krc:6F ҄S[X_6:bI/iPHv+˶紥iCj&J4g@qh@o i:$<6cTV y ;*pRאl﫬_FUĄE:Ӟ&#d6K\I(:{+όZEmPh/ ٜy4þjd yU΄2`~As?b[%H1u2. Nhvcs=pŏygl0Ճ7R WЫk9t4/’maY=5\(xF즿e 3Fxpf1%472! E=>+7AlՆp l9mܭXX..jT5:b,*Qگv g>4-Ȝ*^Q R!~a*'aMwO9GFK3tRnuf)k𫂣}vU:r)t %YmvS"ĕ$YfAS-{`@ԕn @S 4f )yek1fuc)ϤABФ݁ F|E1 A >/ߡ-vYL.GwBMgb,w򎺘]0\S>C][JSюE m D5V ă`̈́H77^h%g2X nC|2rB]tor][7 tz^"0IF|.cũBW Zy46_~OĿѦWBhq260өUV*ޱe@+Dw H=畃mDcJr{;5)bfQS2\]sMq!Qem9c qq8u~z9a止hX|#hgx8'aܔtf'Jf( )IVtwf#yy d"Zw3v`ǸN1.C8}0Pt{N$3t}IG Hp^ŒS ͚PsR"U^FAVZp.L_OцQuRdĥΈz[{̂Hˤpbٸ6H0d0&$H;Hogn͓Gm}k>6eFzݬbubYV翽Szǫ"6Ǐq*[ձM]Yؚ^rroU,?3'Ö%5I Y*x~. 2^v+/\]gq_Z|,vyqH.yK,m8w߷rʍdW&$90R6[iwɝy<GvAPySbeG(7!Rn9(pb2zwfO!ż>»1 %(GgUdb+\X_|?(o>]WZNd]zT0JS{n].ENDIx]I $"LP&veSE $XG*6 9"?ȰLˈ8XTJiY7pouSȳB!bͥ$E) 88Vt&k D(4ikbާ+3ͤS#\PS|/ D` 놮}bNN.|Wo@. +h\/z:d#5.g|T-n 0XŽ|cRغEp*K3cih+% (ԸgT/lĶЏv;'E{6NM6O"w,)vt7U)/5H )r"Tϯ {oI;?tQ$ ^D9K &F_Eek&\zQ.b=q²̀]9r^T iVT.~E0lS_Rt w(.Q77 SxrmӆGb#$0ݖ gԊK  F^q<`| үp1|uҹάN\1ِ=mRs%3 9feO#A|yrITJu'#5ѩ'Ld&\.*sI#<$7蜬zcg^&ӵI;68 o[ז_ ‘ h|i"9ˆˣZK!ę(w2 nf勥m6'yF͔lrH_ w_|~ѭa9^lفh3o Mg9B!E>l& enwbyДC"QٙQ|a,tLZ]$Ol ǹ0Z"S\lu.̃: vIfdA)QC5;xF]|"}:ɏ5_ <3 (2DbR"| 1aZs "m/*TnphIbeu|:}t2SEZ:Y$k79OS>˓c,vZ((@"OZFR^O_eZ*skt!&R7j1F8rzAjwX+!{"&ld`D'(qZLxe$2tȂ}5ic`~V() եsW$y;V gy9(:'6CMŸ_7t9ϕ0,\!(6Fskf#ϕ+Xe.m:lFwU4NH];Z, ĦR(9; P)ur܄_ILit5 TU}f{$?ƙ)XJyAk`0E|Xy] .Ц.Z<JvN|Rהl8rTz.rO5<65nVX!̔y1՗\<< \;j6=L+5Ai]CIuo1'Y4NP7(,׻HuhI\t2`{V@UՓ&sW{^PY?Ilu" Y5~G^@."nbt;)ۢaPQ IRw, 5wz7N؋x-4xya4XUJ#e vn w]^^p #=Nb#>j.\('Z yoEKO 2QN"1|1`u Jͽ{cT-@EM;M$>Z)[O }W`/[03 ӐORiN}(0Wa巋T\VYk `ԑzwIE lȯh{ɤ|LkBΖk_a(pz/f5vW%T2C/Scnf`꾿^u F d}rPt&̝XyΣ;[QMƒ6yP,[&>GLǥT,4gT| co$ЕAfbfvAIŃP=ȉ[hH2t`O:.X@zصz*\\1:0TO*;GLJpn [68<˥خ;2y1|ccdWR Y=s,#4{OqwR7p )|CU\91mVs^SLz7˜Njas\e^Ny,enG[4Ǝ?'CoӒKSRv]p}S=,7-}@Q-X+VAB,Fn69ۭy8$(鉶H_зId w_*Ps 4ͺHA5|K2܎b@.@lySe\@-%u`Ӎv`+ K}'풕Uw|loܑH^s)>@rS MR|٩gy3} 10$&[;%TW!& =ěs_$3TۆuDY&eD8`) x>ӉL[zF-eSgp),hrRdE xS --U4b9iy%}uK.?/^U&j4-a7z)d@XY`,5띇d(=s9J)$ҽ'u-*6P&F(Xk|7dqVd'ߒWI@:䔓;n;#)cd8:^ Re3[_NXúm8IcEB rRmd%TE}w4OiXn Y>C3=ڀQīOd%]4\ >SG<>'\6%DSbo27C\b%rI /NwrmA1dMKo{L5$S,䝀(ѨP_uA\Ht TM,n Q&IeEr}pwWl k!L>m7xfx5]eܦ T]2vkZ*.`lf ;ōwQH+j@%u#楊Vmȸ.m |DLtxG9rl  Yc3V-L*#rr8T4-R"2'e}U%1 g'I6?pFՇڄ4lj@f:%UqN*#k֑SG\y^O*+=VY2Y]jR0/m]$ô6P%8ঝPڻ.yagJD5#AwP J^8?$mdJQkl^N4Οq"K<[p7 "'AE#ET'65ξV:8ywSq< ̕Nȴ l~i2iOLQAM6f{}0] 1pp)#AcUlm=˜7.&cJ]Ol/ᤥig@㑺_&nzvaNyH$̏a2X8DT-L»3Y<3$ӛ'nK4^RVaL -[3E]pn#i*Gx <#6^Qn%vp R"d nЃBrۑ3^HѡU#]V]$wm%+_hvYȯFǼ!ʹ966ӛ/F18 #`fSAK*a>NH5F_k$=O-t܄4Y%~Vw 5f80(kM0F_q2,t"GNV{W0d<<+ ,='ÉaΧh;1_,]yYy¡'_P*Ҙz^է8rxsC(b>AdXGqKQ.9"k>Dڀ6㣂|. Z}yߘԈ+Sv` f::[Iamza+F wHRJޛ|%7ۓxiVS:'"> S $7BC+4Ӭ~pbeTD#0ƦdTI>(ڲet豤=s~@}(^;Q:E4"n8-|^̄yEN?2CI?X_9FVRj3}ó͉$ ccjʘ?Veg,Cᡍ ?UORΖfd3Qf+Q|t k1 z*̂Im ?VҜ6p,V#רR@ECU:?G^暮a<)q͎-v+hb~ iG?4e+Z6 Nы^T\R- * u8@|g}ħr+w=KCz{ jzNS ĽO~qW/21xom[[>#U Q<;?yoY 譞[/f^Yck74sh-K^}HM|v,xRxuWX;=UXi2ҝ[,l sdz{˓`m$h3&\V't1l,"]:-+[ 懓s‹Ҳ_jGF-jv NdHFdXK]09ϲF:_#Bo4?iBTC[*Va΢%3-U) tîoϲؘoZG9j jΣ*7?mwwm .F6ֶ˻+hCue $m|V"RSLw ,ㄹjśzDXQ`,@jJVp`e=}]C`xmaM0Aȇ6%8>{q#ЛSL6[}Bӭtܓg-3*KK:كCr%5;sF7mKF(bHLj=_Ⱥ@WrFAСvU)ʜe!c{7d՚L 7GSBpTQL*&fHp=Zga\h姑`ԽU %; eo>Xkaq$z9 x-xO5ߧKT)V͵ުݣ)r&D'gctW4a}R!%}dKn`QaTjGů))ts6C번@!v$Ʃ[nrhr6 maǜ"DR!Z^F 7ۜFFd6-da B-+B16$a*TӱyJ=+TMzMra<* !@R;#= H?5\QoT)?*@H[Ћ7`2m0[>sۢZ+sᰀN A`d*lZur(\|8PMm,?]q3u;Orz@ZI.Jd ~P8([sE00L鎨AK'2a)Nz+A- Y%4camOdM'EfoHƝcCR+1z= v6$'p>,@Eh n(DC%}cY]rX%qwN(3zN1AT8Zod??Ű)sN)֘::H3߮l޷N\ ʊi} Xf(?En2Sg ZWal9Ҿ'\WLϱ!}VwJ+2eKQHptqsA#w!WpRHj˒cf~[{B7,E3 ɉ̨_y`xVJ}!D. bԘI<&,zY. +e< @&jP[ei%ϯtN_ P p&v#:3~膭\P?Givf}fGbR ? ߌ=\.ǔgȌՕKGe~E+ Sis:TN90(m`[^i?@9S^ \l]G# C"ͱ)IWD*'Ah88GHXߣIYK.=lZʮۮZJ'YǶ`hՓL5gdOzGם0?z'>JpW׫7QL&ckZ"mM4ڣvM^ufo&LFW 0IʸCwުX09bң™A<[zCbڐ;yOP%0=A*>Csv}xr"e4ؔtQւ D+Tλb*%5-J y o[:m'QWwL!Z%_vac.s<z労|]5cQ>@>*#LN-NeqV[ CJiEVm.*ZĴKKo hP T-aР^NfJ+BVGmnxX[#7R BKš<\ı[,siqР'8>& >!X1UyO[!D&yH8島1 2؂gǑ-z꒴"xվ5m{7!hY&VL﷓y6P4m7;3^W^@n8ҵIF1.{SAB[[Z4@yB޶M3N_Zdzv rɍs"zYΗI- P6 ԊոzHKSJ64 -r/bߛ/&bJQxO 6+3hVv Cip<LZf#TM(fK͵ɍOka z!yn۲ɺN|A+x'+E Ѭqs%!Rƽe]vvpMy 6#qYůd[ h\d6![ImUQ4c&ns-Pu,Rt`׊AlIݼdy8a$|QCwx iCQ2œ8s}Iћ% g8|{@7t2~#6?E.{ V> 5uTO(#bn~VF,BaIE ti! ;BN]7HJ+ Tkz _Fq'loN:NCSKa9Uy+4-FhPs5n CyG5 J_y3[Aϖ0֔[(]9=dVsbe_d4w2~5#"9z%wFj̎\)@\P1>u1*5zreDԃ_T .Mτ_27S`4ـh˱F[bk7ӳ#C~e+.@ OcBtw֌PjZ D])5"No甁&3_X?=&P^%sl+YAvZz[aBWZ$א)/KlG ӥ$&lCWS'hS3<Efv}{jBx%8ZةwtlQ+39zWF NZ UscWeah_3n|YݯrhՆ( 9a9c'ښwM3_eɫ?~/Z3]/Yӿ9ѽ+uo[7YN4AMv/b 4U9a𘜩3>지uf Y@fTL9^.թwyGt+++!ǃJ3^kum9 F[W_~MClaqeA<{e%Lu]vH0$Ҙ5bvV3C#Z6Z2QAıGԶ^-'D mCWoN 1&5 &ǞL/IhK*(iK,f3$\p,!Ods1{3Ce tJKpc T>:;[c-DٰFGDIk&bB5)5FIxWMT1uOk <:D'QYҏ#" }cc+,.^XhW\1NdaК2@Dyf'r]‘H{O-^ea=ŞwE^n[H17iz_[b=W2|'}¤1]F;- |\%E\>/FLR>]VC j~Ӯf6QC ֬ ׫$g(F| nˤMщ#u_"6QH,Vf_azخ(d} MlDnL6H2r׎$ 5v[5 ˕NƏ3&㝧mQM$)~:~'F[ &5m.-5?bT`$Gʼi.ܑA%lgՐqVb#0ȴed{ BBYa.)N6pӔ ypT- P-'jӕ(ط+> _C;T( vژcG=; '5)Hȧм$O{։2N/Q+q,ukKO1i7cLU]L, VPf+7[<舿.q=>)ܫ7NAeh,ӘIrް\cR/׮fQAQ.Ye;{0|2/}6$UW 7{{} IfO˰3N߅fS9Up.{.gQ%'ɒsZsQH`;8H7La2'c[7tbN0U'aV,5[#eTY봄A% /Zq ]iR<kLs-}SZ4GKitm#D;^YS .V)PIk`z(?B'2iyzeO :Zo5'2vs?a3,3ZHv~~(߸mZ$f:>"V|[–Й?02n9ȭw2Gu1$_!˳ƐyɎwI?6y)fiQSmD$at$%kƏ3EjX 8,*a? %o5v!,c9YM1lj雠f.aLTHG[Xgw}hG >Q{/!a^0v)gzCkvqp؉^~kOp=X+͟bV!#:\G`P7I6a; +U;"'Xޖ@r۰1Bx688sΚӲ6ϟ6ڐ8AȾCҧbGp6;i$Q5} u9S-)+XcOoRyЬSY^6}P@"E/T1C2TY.E ҴO.&Hp@ Hl[Vefm)^j!lL| IoO[z93;3B3%V=c'1?Mj}! 7,:?kW4@3>>y0v튚`Gy2F7,vճnFA5 pH Q (7Kwc_#n8)jjSj٥WI85YEo<乮\糬@!ȤZkjr_Mu#05XD]RRc 1Ƃp̧`O<י8DGVP_TSz;ȤkJ $lqa>NEw.XOڥ@I{4ْ+Q!B $"o h=[GKw*:&."EuNmr@HߖH: CJ4_̻qUq=QrOWLp!Ie 'Z*ѽ3w)7 .U.ҕyk ~z R!E`R)_ {H8rw8f&^G vdt\ $ WA5cpy-BͩRsJÈE͡JR9VNg^W8b>^"aZ 1w\jaCMS1#뭹 dl4Hpti}yPj&.6F.!`Sqc*YNND9WNA_elkB(+sz%|l8WqO[B}YϪҝ Gw\荏m.53/ wcys^ sg.F5' )s~jbdjG*5)Ratѧ62e{ޅb'<#-V/d%sP@;szL@4Ma]"~3sakWx~IMzz 6 ؉z~Y qWk@{d74(K{x*"#XnrsF' KHm9!uZͽ#'y╘\!{Zm@klO%cܡc"2h1OM{bϲx"A]dIzR s/ck@JRFXsP&ԶiW3ۡyYr߆JJK.dӼ~KO[*R[ @`i hǯc3l2z+/ZE hOiΑ !M7K 9hC@fz&&ʖ^=Ce4B}>ʕSFgsI"lE.Qqۂ~ ǵfw+!6^MQmeV0x⏉ 1}f=eαgDl3Â{˄ h{1& $ A.AQ]$*B-BĢi^qCz]gH| 1㟱Kh^DR|d3s2Hj\C),?gs|eX+x8n [Uj"GɶUMFE˄XKiQ#ԥ*(vY#zLkeA/hjo DSf*+^@~b:bWp~]Nfv" 2=7\KfKeN_oS鳭 ˓Jn4(Wsy5us> %n4>4~jsm'<L(*ua/88^> ?q+V5\dT^ۧ^hf9>a~8J7?Tˍ^A 7iw,b}ϧBĽ8{V+G `m44Ԯ`Ep7BݎOЃ?(J V:2цש\D79<eJN-[2&ePVښuw0 *eJ7qfFݟ@Hܴ"XoeaE|UK!vzCTĻv[03c{Xryq 5s!&D5mS L!`ک<`ᘛh]9贘O( gkБw8w/D5+3p_4-Cd+6=l:.H?Av :G]wtSFMuѤ hd m>y^cU>'5Dn;a/oc {J3 {G 8v1OR3Xrl(1ɪML䍯t=^tzfbh_+$QkҤh7!FD ,6Ò%N ]< \N}сū)[ZAP"'jDWPwէc=\l܅^{v$9<dW&RXN{[w]zAIgy,"ŒP' !$ \KS60lFw(XR$~Xͭ"2F( ai*)zV=vL;)vMsNj_)x`&l޷z7% ^k1 }mmt@ KY'ѠAО8a6h3'Yēy8eTv\Ր g+gUN<ȹ+Ƞm_g/f.X|{^(_M;fcUf}rIҸ{L* ӅmzL9턠`CqskLZP\ܬT1P'8 Z(֦3=g] % ^'fq9a7@cq;238f;> :yǶY׊ȨFFW6%~ Y3LJB$wL]Rc@zʅ߹uNoD>W% }7nk[ЗP> KXƣ*D-t]9ҋ,z|| S2\&|`3p\] S&HƷnsx-=jnnҴeb>)-/ߴ ԳWcGS~j#%ChaZ s?T"LUۤ|$ 4͆BZA{gCf#L x?x 6lBGkjJM$ȐhQp'HCIOpc#[N#sOf7+'JsVCf?i(3>WbmsNiIQO%W#YnQ6_6Dc'̿[mq8KCmmӢ.x/7騒O%7|6/ގA#^,:1F'Jx(YI~C:{~4g﮼'R7{Y(#V\p64%MFNBcet `q#6zM\87,aȴ7>@Oƌ`1# bf/ Y}|6) qW&͙ypxxzAw]7@:GkzsdE%fo]y>neLȀ9nU%Z΢TG6iC_GQ1zdܟ\LIh'%NEC666|g~^!F۹fMaXxA,r$1ctQU]E{ft ?kgJ+53L"M5bPAn4(%uy~)v-~mb=O( /@&BJkf+VײL\3JbAR dGI: NlBj2H[b\ܤdBHZf^\Mrd7GN t.`oIn3Fzv26um;+f˳g+S]V?hMEԿK0Ѓj%gLhNqU \6Xg!+Wp6:aG'1' m;?>a#."# 2@S:¿Ԫ-TnS)#@ Ʊ%hC(>Vvq6)nz쬗;[ƴ٩* Z%?F1!5U| yL4i)|m43z5[ԝ&S5bt=9Gl&$טQ }kA7 {io /.Iݼc%ӎmZCe˄]>հ`dYbwk'9t$׹fy:f>uĂ E9Tc(!L}Rp Wa㯹rW䵋m>%dk nMr6;}`^\w+*|n%v8Nʼnd|ɤ@ӡu}bȁ٦27NQje-׺51.Ic\38 Ac*MP%ˉ^e9UaGq}+}03A4ytD3j(ob}x;w'+/蓄x2`8&ʱZ+6 m>Ns*$ eE3:~Ҋբ$?aIFWTbeêD[|nל["=Zu( 10mMyAcߋ)~ϴ"`dz@NuA O^ԑ7pi$]>~l{cO u?x35;<Uݼ~d2HkgYgj仡Ad\̘xqDYvهƙ1g=o|}nsvx C#l.=4#x!u6--֚]UD#a+j%k#2֏ćL7 r)EZQ$ s8.np~Q b='\)K "~TB?׹EP+}Px}[sp9B2s3kz $ XsD -UTXAdNɎ'NcY+}yV߇*Kp/-ȁRKzjUҁ )2FΦ **>&2D,;5̶CeӠٖ Url3A9t]Y5fO:4F. oy"qleDS߬JcN)~ewl48v&Zѫ{{v!'eMs(|C}%3+4yhpT^iG[xX0|wA9Mi2&pǏ L|.9򪮓bs:A:7 ^ nRV>4Р5.2JŽZ•ކ5n{˾p3U٬O~:ל"1M}Ö)XZJCW}@fgdR+F90BE2rdq,wv}yк ! xO 2\u\J8S}ӊ+0 kk%=o}_An~AE@ VlGcQz<3ۗ}]`?W,?[0sn(諁GA%?#7+i>\L49KV k=U|\\-!MY$nz%LƛnUsW^LD2Њw.6( G H >]t X\^d#&$Qn.U@*zhHr = T tĻC~)hnYMWg&) SSn 6U*~w740eeI+SַS7XBm.|#2LS<#VuFoxl|rR%Ͼ/F8B ;Eu D͠+.+vZgSHmFĝ?QXr_QUI/Nnst@{UK]1(l0e$?2ƲpSp;\”xvԁΏ%?v7D4NM&%9'..u(c%pKj0n:%٧2tTtTLBTeHP/}0xEv(k!FCLN!R>O||ܠ.OAb"wSE[Sr4bfҞrO} HG ʊgy/wIh#|bh{_?  v?$ʟR2xauVAI-׾iASB US%> TPtm٪jK]?("NdFTw݅ Gn+vזT liΈ+z(R)f;ڄ'sɳ;ܹXk/xg`<+,Yaj;CȔI q|qIL~wkm[\/"|sAhUʣma族a3D&('~FU ˏC,:Mٗxhrτ 5 ID,~ 'GZoR>=۸e53&qhZ%0pT#Zn*FDTWņFh~ G,|Nriy<_\m]e"f}M:$[ .`ƻšRc Tfb!C6%C+#řE*$8Wc`Kjmn>ոхZ/K+K.|hT(D7Fh Π Zü~0؅.-7fq"J6=g!{u]u<#L3NE"\ECl7_DfY5't8dFGsㄇm:o=?/ķcBV`4ik Cz;)ycE+_RdpvGNbZRU$1i} ],'H.rx3`VlA䆆E[_w8йde`Pֱ_2L{g~s%WuGƠO7,pV?-ÈOY~- a1z1!=Bnu P hU+@6#a]"mܕY_|>U +WUH~KUNeY^O0sG8u4#G\HE1iQOGm%(w9ݳMEl= V:hxKSHtbA 46F;7)<~Iݒ! nJfAB #/44s,,C%МkilkuzQ^5\JwDdgD3|: [\c)eY<\=(a/3bW/#ֹ<Z2 <8ѩټ =Ѵ).OR2bSiH[wWV \ 䴲ysi,KN8%DQ㨚̵;5@sWO &}ݶI5H@pk|5ߘOŸ O֓ /;`k".&LNnVMyGt#>[dB,`Sk=^]ωπEʕ`WjbG-q+ xIZGހ!ikQD92& UYZXb*I'$˄</~KAiz5tBW, P#h",𴗉%䶧pHEG&;_&"T։lAsd ~pb-E#t Cf/-묌ΜT;U{w;]AY>*͋mG/B>AeN#p a'UM RY2xfzx@mT,Ix9C}smNa ֦IO *(N*Ka~T)A .KJֈp(-^&"`HǓesKb[ѣ/0@q a~ܳ(6\W HPlA?E^o#*T򠘴 AYAKKu/Z-kxL3zjڎG*߰,|^e' V%,'E6~lׯ4?^gP7uևJ>:Gi`) Ёڜ3& v.6"'w ߣoMJ)Ykrh:h?4e)sx; ֝Y>cNyL8}w;ްP=V̀E}?ruhf-{u)`N##c>R# :ʼnt V&_$,k&m_L7B5W_Q|7cK5c.>֒C,T5]I^ B粿Z)j>Ճ~4.9U4)v1h)k ۉ&0 G9^Wɘ'Ria`=lA~G 1 L`C⦙"GWf\F[-,}7 (AB@NTS?&SmO(K w,U^5U8ի@Ӝ9Dk>TAQ0jz4n3e@0Ѕd Dv ^IFlہl"Kѭ,sw6k\;EOs ("f 0\{ꓛ%a:@58v\'"n+=X [M5 u((Aln*#u5l~mJ; -"$έ +1?:)&CDGPܮF0ˑ*'o~nE}a I12UM]F@&hH7Q&U\= WР'!pBK`~~x}h߂`抸k~<'dGwo>`l`JHOXa帷{'RzΦ_Q:fÂه?DEF{+.:,l^xv5+ "lQQT #emb @AMd\C?_jN;=԰nEE,4%9Cg W|Jů(p$,/Eנ5Imd[cf1g{iY_ܞu;~ ~ъkN-aN:X3EQ&f㱟G .|(WhK3ia@T'\`C4$JhFkr` $ak<M u KړIe!M:[` BZIz_X v"AVE,9zm _!b uQ?>NM͂6K٥N(VN}a E(reyeg^gvL;v&TFtNjD ~j U|&J4 V C'N D;1%p.ёT FHܟ.h ELFa]ydM9Iccy<Y$Ӝbcc 9amO#,$97y1Q*ej^3tn8? F7;P[[[7B#%I NA:B$3ˡڪvVЩx~^%[]O ^ºwܴF#|[Wmޏ)z-Z/gG P]ʖ}!L_\Z c@o|YB5>_ imA- K#<5}5՛c#h1u $rbD\h=v&Xi*d]W%)rpS;zChjʾ,jswI<[7%mY]e`1)̵ǁM?\9Eh<#t`HX!H&8{3fUG!MezZ|V5V H5?HpFʾ,{{ tz c9A65veiƃ,rg:1&^1nɫH\TVn$pRH(mC9XRq2zn]qB6A6udͫxق>M4/?tlĝ_vEbV&P^m)Ġ.*'fs| ; BC"q|Wc泚OtNg3ɃzW7hF;`L_A6i_{gVnpe9ᖃV >2B Y˖a7 }S֬]e@1oy8siL(4֞keVlN> &p7`G˂_{|EARmQgzgYO'2V:]hm{p>bΉ7#DTzfkvVq|} ,#,٫?qzIcxDY陏A~B*\>I HhCrjmcb5S!@s-\_ƶu 7䁪kLK#Y|[XP ^Tng۳VӧbTNڷ1: ?J9Hw)pd6{ k"9VXhmg4֏t?+=F 0B1`;;# 6FOpm2~z)SمڙzX8ֵ;n}rFHR.xa?,eq瓍WOv~ַC49uF&0$X}l=}06ٻ. 93ldžWm fuB'*'ݺB_+V~,=&/5j}5֜wFzL9>߅J逖ay{OXͿoYXELdV.ߌqx!:GpP^J!sT&eY+ڸp X8q7H J.$cR($*;%n- ]Q'mONZ3)_ 7Xqdg 7SQ J4 AJ{ޔ=WN^ NN9D"1ƹzGɛdXp B6+&tAS;ܳ>}̋= &}xń!Ki#rY7+dpP\m(aڌ =YXjOmUEVr7tw)[qMt(5&08Wg9FaG)Bbs:-͔RK2JdP)1u"<ؙm>i <> A6(Fs*h8QڳHV{Oڈ>P[YITNh*kED)h< P&py֍a=Ьxm|7z嗉d{K m=A<])xmlબs&I;cT}ɔ2p0]6Hj;,bp)6HdIW9v88Kqlh /)1OmJZa u#W~<3ϋl.QRkpfEfB jW[hBٌpvr', LI>ھ=_& HSN5nSA5C >MO~Di붌]j|e8}AqvQ6e麯j>4*w#BDנǍg7!9-6\>Nxղ8pB2}/Z Li}w]L恁C Ol5NeYdamՎI"$\rك>P*IۏQMWOu wNgL9$ԏuc`}rw\L\_J =Ks|t\Jn4 b5h\e׹ nWLkLkqR^*]bjLtֱ1H kgTX?RQ*,}^jdh?\uȎBh1) [Ld߂6o6Vk2HQ!NV( 슺DvH*?DE)$V FoS_rDrwÅC( F*'sn)/8T8^jg kk%k2]em< qA}sm@-v`  dFUt!IRahbuhD.>Q.#Z=fpׂVhQ~fu}-_֟יE4:gʅ:ߒalE@,!ї{25!"=XKW@W둡("kɻ}9%} ] _ |.*0nM\9rU_jcϟQs+/k2 <>NH GK|^0$Lr"n~G;fE@<0N+.%U-;kyzKx[s썽776gv%xn^5;G"&|\;r Ta/s+kMo<|bK$]w_ ej& Jmkc:" E]ʋ}ZVh9a 16iQ T<]:{ȲعÍ swjoؖ"5e1 e(hB +q\{qwY&{j?CQҘGdvbsrϦK5EŰs/|UၚzR >qЋ ucG_%`[Z_vgBG?:zY{j|\`tSBY)E5P d`4;ɾƛ9.;I $T #jǦ]= c7c_@%)WٳaJ:RP>ba$sQ T-:8d]$n!aAV%fs},`I /s3a2BA;gJ*hY^ݿlxuQ!Uki;2qyjnU#ST;dHcRI#0!wlV|e, "q٢&_)ZvVv VrFc9ZQRĶx'Py}+FxbaQa^r - ?IX.3xn~{ 3όQ^ @.r83~ce%ClISʶ6wW R1+dfn󿠾2C /vj [cF2$38Oy` *BK oq'će}7o {#!o=L45kb=d0;gǛ ~MF ɩW!8 l\&$W44̽}Kџ[J~Q˴yrs skXwZYΝ./E2Fls M800yU"g|\^JW9қ. ֲ H>*2?1 6g`2]ɇj5@X]Er2 E8i??o {V.g )kA0X8H38o \U@'9ab7c9h51Z~) mN&".`Xu܋v#لNێw)(/gmZ6 W&2AԕpW8x5JSwBUj&!*}1z^_֮QoeV|D9x2AX|'k θ e"«GC'$ͪz`_*t':>1 ԡwz .ԕp˙Wk2[}Y3W36ԊNE!E  D_OK Q`wW|k*šum &ޒd^'W3O,sJB_$>zdV&Yͧ),[t>zK9q&~YOHSko )k}gA}ٻ Bk#Xk7ηzoyF? ?WSUcF-gM:Ӣ8gtcLu3fc>xH%OM" g'7.LpjVrNx զ~!HD[6bEv?pPYMg(!hpE."VK~宻E/03%>TEV}ݜQ/<{FC*~Wg Tȵb%3v%UC*ZE d ^$;V5`M ƪM4wY4oINVZsByˠ& ab7mqUIPVqh$PT¨vSBnɴ`EB*x,7CE]y|r~hGHʈ9JwnFkW?vH\Y־{~!>ef<εJξyԅ?B0DaГ7vCK>*(ky-"I9_dB6Y&ZT/Mpn3" &H}O%kTzm&)1ʙlw WOxyxVʻZgBh|HGi"}LT[_/1X}ׇ߻dJq]R:JPUdc;]㗇ImttJo97@C3s(ډ$(}:7 pk@#:+7uVt 10J7UbcRfK*yvފ%@yf]Ѥ'lGI=M ií%@w>4 |HzBlCx.Td~,JN4a˿nq=Y!(׷v6"A"ZjB؞W5rVvJ^r pERݍ/:s]MopBƸ9kj$yȭt;-26CEDi؉]j xu7wnɊD + YB!/sh]h)UՑ!A-SG6Jh" LC.Ps=L/s,cP§yS#n,2у:즴׀[h.q?f0, v7]or( 3/ {Sdf#{=!=9jUf&~m:PkW"@OHEzRPz y#FNCi@Aful^mezG(Vû-pvf GiC ѥǣ$YKG?Գ*ʙK%ߒ&j$ )RN= džjL]lqR)NlKi)ZGlb)[OR`PPx~ߓ P?gYZ0938a4e9c94ac81a057bc131a0bfbaf9c79dcb0e6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de19f3d8e234d73f60106c4906d2b22db241058cfc0