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 v1Td k/ HOL-Decision_Procs:threads=6elapsed=221.594cpu=901.076gc=78.356factor=4.077zXZִF! Fl#]ŗXf1-q恈͐7ӺV l7L!hGfӗd38WO<;x-bGuoٕ:3C(6a_~w PI:` d'{G^ (lJ}7eٙg1\ KU]8{Z+js,uT%vtE^#_7GV"s9g.5pՖ]DI0zWFn7򓲼_ј }3 a9o $gIтbrJ޵,~J&9{IxoQ*_uA֢`I;}Fm\h?9F8Gh[3e;ln%_Z Jיg$.,1KJw}ׇ_$;goû?ClP#e2>I $Lө. 1ܳz-Xpp)a  L=5YW~Q4jј9? 5/+>v-[yޝ;ݎaxNPJu_Sxֻt!B$IZS:@RM|pݱMxR3%fݎ͓ʶ]y٥ ]e<>T=ڇf8^&6*Pt׶zl7na &  -_R˰!& dzb:ݯYpȔ7Su91R@ *,^1oAM TV{0HS҉ƂMÙ~o6.t7+LEѸU^8s1F@.Wyz_ƟQ;(ȸXFc%BrsH2mloɌ}4dT1Di30 iAjF5-0uN#e=[ 1Uo`T&/l_c8OR3e!IȅWm>$V:}9AhA(x2fb<\NkNl г{nb~X-W%}0T_=o#E=O8A=`!$c7^/o-/A(1Qj(\fEXv6ԬTaiVoY E*EL I ̬&k{/魗{B@)0FaފHKG&. JF"@! z8+%EŧK mB5'pgnANV@¸^U[n2INL {3ޛ~ßmN|fB6¶mkKI*AVMqxWE^4}ӃqMap*;h˃7L1\=Nt+X&CwGIj[m_h֠f.ꆛ,Grrwm> (t!覌w;X+rȠv'b3t8=#? ĦQX^d}j"m|ۖWd Rr,dXf'/-wk;U9PˊR4>{NZ};ـv{J#q1XgG A5y.6\ 2^,i?HKVei>Uaáo3-1 bu i>Qklp6J5oPqubZiTIZXM3Rb~FL&=e&ѬBe?ub|7D^oA;j~_oɥ SQT'EwD:V !ReDuCɾA>fmW)& ?&v71=PM|LwЕU3k +Yf!W>/6 <#_Yb9wEC= ֡d-=gZh^$£V';b[Qv2 [Zx!n?bdPuZρ/c:JUd?Bw._3jƙF"^rvAMCg9Aے F9IJ]_${9;U2Pر;HuDNؖ|)h{uQ*{YCj:=in|) x?IۀaĢv,-"ЈKTSRKAg6jCW„^RKIz E/a]\{~XnjdҧZ#r6qc`3PI٦-"rݧ˫}uzF`&=| 񓨵a 8lQIjYGvk'ϑ"!VD靺X#]9CLF\U_HtQxw$7zI`u꼧/hN|aB<@a1Am?,`'ŵM.QrGO6$0H {A0C[!GE eʰVk(T\łUu-P[ż|{44{pUU>1u3.pͅ *-zO]ޢ(yNLN8&0_h>+wI+ Nz%!:pb!H^U;1_8kVXz)cUȵ![([d |b=#ۢo^I+߶\ȻwDTl?u6H8xp BoY'#eD ׾pmB$@M@8j}0Ǚ6sO_{<;]K: ڥ}T6k fuco?UZ'edKsbj/1$5l&(bΔa׽ig@lBwşK+*|3J֥H s bڶLD}HNG)m5M0]clCЍzfr̕-E@ZDED+!!֎n嗜φo[}.T$M}N@ݜALL_1 ʁz)VO|i RvU|>P*LNP<^MLu1ǒF`p ?o&8u`Czč[3`c ΂vl=0c }b,O=a; =wvJ Z ' l!=U.}U;^o\m^EOS2Y ,$3_tL@P%LiҠd.$̒n_q?}\B`iM ƕ J@{;\|wQV4(݁[ 3tWLNN?7녢ANiᚄYJhm2w:Tj aۗW>7 Q s3m["(^'PV+ʸRGduvQCRVKMxdMw Q P>auX̾l]/L@{D!߬;mT#uf9:{˯ ֳ |?NG{˵(}729$ll]̣bzadgfssa#8.h ؎¡b*3/D3"\V,}LG}!6oYQꜗw\s.H5Mbm8"?~ܰd昘LDI5qW\`"ҝj'Hp&y^C%Fua(q?=K$yOXVx\`S;$'Y4e(1|~E+ìˤ+]Y+0Aw;6ن3,=}O/7lD9+!8J_Q7*~\:n1`~UƟmfeCugth"5l@wlA//ec ױMג[Y 8ۋ= ̵/ 1>G#h닑WSˆ SG=ń1hC`ҮG:v|dɆV匔_/u9o&E,]>1rV@[`UXrpU:f^̟[GBƂ2g{z@lJWC3lF3L39%.(hiv5CC$E-7Uv `?CL6W ʄ> ?Vp%+'4USi8k!i_Tu5:VjQ6Xdq2,c) J ay°?(gLS׉PΪ6U`n%ׯpw*Ni_HHX"S,:Xl ?e6c܄qV$@:d ~1 Н{M]ڷ.% R1."ַZ B@I^w3O8.>PxrjeLRN[ZS jUrO+, Y {_Dx9bx_!`Ęl5Qٻ(L?G <$`b=b VHO 4ʶi]YaGy|T}$CVK8p@l)6֩eNZLz%ˇv|{?)^(q 49e~tSUu|n#cK/Ѿn927V0>'BTPX3vlW8xM샗Uu0&$hJZUjM_X4b F$.[|$X7bPyW`zNM;(#ǚ{1F]_i'ʚCt Ǡەp >a ܋+p ,9cd6Ӫ \h _˖e*@0Iqz]˂Vm]9_CC-i7 eN\g@RKv}]p )w<7lRl[\rToс{fwx3-@w!yPfI`345섒7ȼlS_C0 3BhnG9 a/>Vԃd'gڢ f{v3t*S_^=49)X#o9 '|zC6^'03w*9}Jp^h=K׭aN5mi`ڙ Fֆl'rE}f T|l2|Vـ r9^xޓn薍z+1BRj*JtY~U$-]Y7%dY]l7S"-2H7[VZ&Re ňƺv(ܛvrvN10:Gte/%`:k8D}KU'j'W==%/Cd$Z)phm,g;]n<*d ‡ш$TyTjwr]tr-Q/!zSEѝ V\wd@>03iRX))/3vJ=g&  s>3/Z"}U;9HoHui~Jj.Kf6دtGW?Boܞi.{&l1=Qp Tf\!EAcP590(3\NZր;gj.U:RAeͷw*t V\3uP-xv5w TQlR#" 5L ~q:X)z"9!~%*58λASAzs90TV  ʵ:7f K~ 8l1gBl<`x˧5ym8kMȤW$j.~=)$1U9'Zo"@8*93,/it>Oٯ1Zh(2N1uGEX> yxmpaJ)ƒli䒊n,qlplaŝKK⅍\G6@1"p0̽eOK,f\`=oc|cE10NFP6^Aj(sU*{Ȯa qöP/Yh A/j^Zy2S+[Wz*K3N_ ީk^6U>ܷA <9TǗ+?8_Sls@ OF^h4bHbc*Ü} uFR?\{h/(r^ Z[c23}( [#"wYhb00Ql@g&cS]ki$5 xK\.]YV5q3*Vf?NXm@ɽ\L=; g"H?1)#ĈHY՚} 9g&VO5NsblzA0|$d\}%ؐ@D}ZTjNb.wjЛZ׀^h[QNdtv *Д3į13 |kGxFM|ړ㠓xU^q m׎xs[y?Mp0AqFtGHH?6C#Mc |p#C$Ps"aA/ӥ YD _k`0z$!ԙ*6 [(b'q0Ȥ~c Nbn;-m7X6 -EfݍJI#U.h Y,$ɐX5Fgk/חgck8QVOǣr*ƴ;o,x4reć+].mmm)W>& mFs [hmK:{^j6IzROl@~/Pf`J`s/+j*!B .xHKDQ-,<[; ?Ei⦚\!OHLRϒoa.NYVOmIsR|i!+Җ: H||ܖ<1xnn6 !=&WgVj}5"kH<\|#_WZ.0TtV=$!YC944>5@"a>;)9OϾc+%*W FqN@!{ &y%$\*9#|ͼڈ8& u0bR}NU l,J +(`RQLg7*;6!>>(ؘ, ݺ$w铺7 fé}DC^ H^'O5OuQ*fڪz$*\ETAC|s祾ig鞷aua{E@~kQT*nL=U& F*u Z^}]L):*YU_v7yZ^XaT B #'xJ@rh ۓ!.iIϩPGB1ң7"$ID_*fwV[Ov{d3uΪYVRU9Q/оB G7).h>}LܣzH$ХibsLLT' ŴfEb]`vx~Ѹ ]!j6ZWSP(O@J2՝(1hjoU("]YK|"HȈ#Y`Xi7rM(.wW⏄4\0'U={ b~p4TVk^vq&k ѵk $κ&bfqҪJ(woFcond;il6ƻ]~f'hz ||>ٖ5=5XÈf BTǭq5˦h_^6#[rxG}SXe`Gbt\eHtT.K´k7L#n weq5m9%v*FFlLo[\?R6M]aw[\D@QD\Y[ Unswa~,lԭ ZL>N~W%H*BEyRfϸ+8yN2 JનkLDZ!ȶ DMɇ>Εӫ`z޸"ٹyn؞tGb*BԏuWW/EkE ɮmNCvB#?ә3%n6!k#kjSŰ,X@>i.WG\D\@CO['M~n ޕ! 0_!Ocxbہti aF{ʫ5ʉPv ~>5,rɚVGŷ|]lվ3z;)aZg[mMԋQtTeܯRd"ա3 L$JFv9qr$զc4cz޻?pKӇ]i+)l%ݩyzy96'װV[S5WgRrz`%1b1U,g]NCV]< }VҥxT%k8z&Q:0~G7R.;[Mڜe@ѻ"ư'഑s~W6H\RjxZW=p%K q *zTb1j2 U|)y#d[P}311>pWɾ,>w{лyǼ$L.eV 'C@k٠Fs9|Fa`x}@SH`%il:5R5Siߥi[T>uB*)|*nucvX3~ VI( }C\5:7L (iRH.ҪS!:?vnrB@sS\u%osvT|m=܏sI>IZM(x~z,H*T^M.\NqMv#ܣf<~,/ƱJ Z YdDkaon񽺬aQ ޿7 N5^zc/[_i5V#`t;N"LglW8hd%X:W{=㨌 MLpQ5I #ri D+l1Zߊ"&`xy"%p,[Q%B]t+Cv|l|d<銑,k>4.ծIN#Vވ4~rU؝ÍZ9H}uATrM)c4̀p H1DLⵎ7Mϫ$K))-ɵmG6ڼAtk5`9j6!*xNЇR{ |Wrn;l!1MH-DZ KrBPjWdv]>thUEGF=Rbph3Ҍ$/.!@qGwXC3~>蕽ik:a.DTXC]̜89Ϋc1upAdIu& W&x(.PCd2B_9 h-׳2|oش]q3l'@ոb4"0؎OU UƓVm]MO)aföٯtE1*z) 9%n"BoU pD +j>*FQ{w:hMv%UMCG,Lo+e/́(2:El"YFHPf哚Da~Cfsg6Voa;oea!)|4:  YO(Ū3::ĔPr~dă>MJJ^ca4wᅤVIu3,O7zA[c_Wj|mG}r/[߰M0ivFدDE ]@Q Vn{<1kkɘym0pv}uiWțcLڅj|Ϛ73QNZ.M{`4TPW*cKl0GƐwc7y+l3d ]ɾ`!(W_w=DqSd8fG0%%:DS a G ĖD6 Ja.j ~Wr8>jn J)A6؂z3w!)=uh^R2­6,gnix 6a􍙍k&#Őyt KPov5$2-̓t>HI;&y<}D_4¯&倒^\n5u~jcc7aΏ ɉ8kYM5eǜ}"_|¦4ۄ^9g Vn)ܣD)HNurWl /pƤuj{tǒ: wIJ&_&eF * Gf+>܈_Y(ԦKOjǙۤөl F߸C]qГ%= |U r ,zRش Quj5L쌍>cCT̟9wrt['"΋6hyADWDEY8o0y!|bϼ-,(NvfAԴrܛRDϯb:ƷT, f2fQB`A mHogjP90+P,~ z=ShwŌxGRb<{\gM.D:XyV?wL L1_yvR' & 2lsU,Z]o΍Dmu(90;V>l!{TzDLBtr]7A{O#foP?XMh a-  O:yt*wjh٭7_^Abh`nddE$R6 of2%r2)M=8FS#~T^ lcr*JR/T &}(u$#2Ke+P3$@Ļ:hՂLH">E:؀0|D 1& %@u(\1<|J9Nk}dQtjLd#wd|N|丨8=Ck);>$A E 9ji Syi@Cu/>l Ai Mp-VwYC;W)J2q^+p@^_ λQh$"b ӓb8 $A;cI׾ 0N,Wj/o\7$}PWrn=/ѨMko J}wrEKž@+^zR',zAF~bxĂ~lk_Ҝ)f}s {pQ՚3 :<1N:5n l 2^Wyn$Wiqx !_;*Q5[JhÇM+u B \6!dOO of쏱_0߅[bc:qluT"C|1Mc$<)ᒱ6hjeӍ%'ZZ"vs)2Ȣ+k''0{.ԚuB,O+1kJUu?1^_s2'scINHQ;j.D1A'p:iH!Yo1 X|3CӅ?풽XolBh[YFf,S7]:9!{8~218P/4w@aB 4N7Vi4XȾ\lPy?- ކ}ا޽mr=)?|ȏ֠Wpgqk&;Jg're $ ѐ$׷ #@USO.-Fk?18Z&d{{sgˤ'd 3.[nhHcs8?wBJbr;4VWDYK'T`d#BJV RADmmFSݏݦFoW[2[Vf] h0&dZ$Y{zA k<<#L^KJpa9\Q'%!y F!yjI `HSb|։+!a|rkOBm4?I((?M3)ے>vt>m0Yr'Y-< 8zxrnb#!+9! 7d%"Es2YMyzOtƆ%6ɘ}1pL!ӵS[ʘ&~8~+gTpm6Eޜ9Qu, a/GuNj2蜮O-\@{(`j -`-r3Y;Q %N5m&9/YsiDb }I= Ky/f0 x@c@$E/-JJ?fKtECQhn1-ؠ@@{߮Agp oZqԈ9ڷ‡x0CT@<%g3:듑| k$j;!ΖDŷ)Kk6a.LnrWrO`grPЏ7,(oQZ@Ug/5!0b{Mr[EU2sW-&YVe;Gqs'8>R`o obW”ioc`2UmtjPr~T]$:ܿ rOD'%Tr9w>"@pJ;"Xs{ )HiEq΋:x &wu)#5=FQ@׵Ԣ#=79KŔiCCۀll_W0m=W*.L]le#Hf; jǩ-\K# ֑)M_ra7 e͂:}шHIs4 Cީ&,+ X]%حჵ7g/+ÿpElԇ8;,Rz&`.'Zʝw7B}y^U3)2mfÚN{xJ $`9Q7`#q\I u0~/BĽQdw{Di$( {wIԿw'; }JdJz*χݠW~+DT^L%l]? Q6f1;x[BDc rN(oN9y?biCXj`_< W.ШOQYESI"M&>*p^k%`jo>yf&r69v)gv &O;ַF"nOR:4Q"a5D%}}vqDbm,28)^/ģ̬epz;$;J՝[G9 H10 I, m/Q LfMUI__mTHc*bT^`hl_CjL}N*v2j?$?W40z>b$76#O L e0::Kۓ A㊀e8@Խ458&6&ձߙ")H?*djZOO躥RJ'52]Oq 9ֶ:,S8lv]cf'?Ig[;9^ҷl"@ilO*c^\ۿ]WUz  oK.vnH.ͦ81 ^{qd<=?Aȫ`)@8 .@dBIc:4]<{gG]#- 77T%U颔 50!뛉,\z6y˩ו:~AhTVQJ?-<5rt/#lv 9(WۄV8sԋt؇0v  ,Pm]6i*Ou^RxBEN~0~ Eʜ4UiPhبpq@d]+~D %Hw}ה.M^/ @W{N)-PkLp?Jcf$dyM`3^XviN:q|O"L7ۤzr@s7bԲJ"%uۉ褺׺.u:O>AhgD S*$:l6ѱ;t86 iрȈE]8%|j.QBb3!' tŬYƓa{^|T'įH 5Yp4 @ \6k {i%Yo4dƊ"t C5L2 ɓSG6{LC#чuɉܕm\˫',[W^×~>A[KzR>um$:odD<5>U4Mk%|@jhrk(m6:n_r;OEK?ޝLATuuL{s{DDҊdkǓq+ڽ|WeN 4}A<z۱O"}7+1xW]D+TM=x\7`q믮15;475r9ۉ Ӹ£4t0"s4AJIKGḹP:xpO|+J%AOCo1^tI<U\rI^Y; u<{QFў}fv@4^9܏3hoW 5pț[PxL-;dUZ=CῙEvf ]#RHX/8ތtm<)}:{'AoxvEV.12IÈطQAdᕃf@ⶊL{0OXX6]xZB~[᥎3.p!Q`{^6U3ˍI$Cc|wl^]X;2 r-'sI>-y_fsVue.l%>ItۙYؑ#XV2Z\ܛ,'7UKumCs0e@KTY){ *׾[4q<m5F44?03(IGxŢDCD fG#35;PR$Av G£z:]9ӈ2*qbc5P>m4Ȓ;'g-bYAлӹw15GidI8o@zw;8с1i-6)ٲ l b ӽ:*>9jEiZ^Ww˞k _|'$^p?T)bsS[Q7Hϭ1BO< O; mfgr4jX&fdlj1A*4ȩH{*=`/4}T}PWb#n >2#Rv~aet8ܮ fxwD`᯺[Dw8%)2Mr1oo3kx/t£1b덋ܧgPo)ƒ>iN?pEӔ'i6 KH2y\%Fc8Zvpb{rG ,D;qX7"W_ܢOdL`#OFȳ^ZxF{eiꙘk$4y5&)*(D5r*uWV ͩvM1i&XfޡFdIJTUNmr%θ =eAfƶ]6YCv{cs9 rgqMԛwQgUr1vwݠz%FڼRYJ} UB/p!);! .z0LzwE*&8#uDMԉYڢdz)~k9A>_`CtpXOG|674\,,,rdq']g3GoasVº3 O4$iTחΨlh3(?bMbm6t@il#y aA)ު?[B,eꧢza_[[O\x1^$S_g:!ɗ/Q7aW}FJm Z4=yr]_Gf swsMٚei 2`U vtjj@.~ZOnN_Hm6C/T5bCx",gҺrY^٪r[NNJ0U6vߺCS.1p>&./[od34-OIdG~*~:I$U+ek#34&}?&ozepa`&ZM2Ơ mpx)͓dF)*`qTRCt AÃ/mD~%̍#:&'A {(n @Ip9#hU`9ɂc RZ F',<}+zĔ܏Xk38,LbSK?>HjwPuED%v/٦?bۉ5 0~A hkJ=85q65/ b"G~l*ڄwΈr}><+cw6}: x=vG\:tBa(?#.a _ٷr5<Ӏ:/m@jFSV](i&zFTϷחE7c Py]+r$91&=LHMPIk\Wcݚ =˱>ot>CwYF; >ߩ`ϑl˶;D@֒?w͊jKH|@"Twf˦A=6rza M,.ޅ~I!7s4d # n|nlk@ \MWV.=O8 6!n̾]5d,ۜ?M`{kGwkY5G 3v_4{Fuݵ݋JZ'LDDB:v^1{R!tƳELn GjFdTE,'2Xh"/kToJ[tjB7|{!𝮏Yy"8 ! _l"r@ 2<{"a1'';NX#LĮn5Tz*=+ Et}G#^Q(!-1>?}:!(BqlFÀnq#Y϶AcxIZq〗kTP<1 .g~y]lwp_?vvg;JJtyS=w&^;sn}iV LBjʦH:_8V<`}^,VY^=Bz*ech 3UJtT.[@JvJD0YhdP7wF 5A?.UF';bGfQ߸W+qq/QD/jqaFM|y㮫(P/6*Q?3*x̷#?rlֵIl=@VۆeZ؀voǶ*\gYZ7zXZִF! zA Id t@UtG1WCpl4h{sDwbժP,_~g/(;[h/@?*+=%SoY6 AaȧGdW [1TS'7\AWk[\o$@{\]|S"t-gr.''{"@/g^g/rv9L5jEZ<d0h{z,3L_-U>ݥ%Fbj#avN |Çv{2h-Bftg:#OaLI=>mV{#S9A_LV_+I,W;Ch[@S>ʣ^}ߺLEkMO@S/AY(3ٰ2Ղ\gf@GVOj?7$> r-~b@>'v"li %)kf& R xD_*`ɲ0}C6kjEhĆ]qqX*\f'Ud-8P&*PC5j&C y#m"oczRW5.*wveyyI vPϤ DR7^dI{Bp,6vȴ@xBaN2;$X"@T?cr3,aRi(`j4FL4>?q5-@LXP)wId"h3C9XFz:Wb14y;HibPevuSW-L{XKJw,~`йk9|:e6@9t:Zav cH$ v:tY~pNV 2o.~`>vB]Lƅf8j.OL!)FhV^Co,m x Qqxuȗ8=͔Xƥ lpžˎ1u*D7iWm9QD1_Ȝ/(F h>Jv;JB (۟&*pibi4)6g[LI:1s>w&5_%U"ʙ+v^ F\y"d ɦpJb3zk C] Iw?vDZ;g{ٹSBӦ#0 vēK_nF,%B3hRf/1 z ]F(UÁz Mrb.γUt9@ d4xݔU&lX1aF[6i{~ym&qg>C6Azl#i?4ug<.o!c83sjS H{?f İP{A̰<4bkL^V#UP^rB[yv}c*wپDs6Ч*ǧNfj S% 9*$54P@.ړ(gzI"()S=0f7rߤM稡A2]h,\jӳnn}ȳr2* ϕXY>}JU"_0>2VkenuM*hH9j>cTW^ %r5:Y X!IAO+  ff]7kwJ6p'5H֓s#m'c nA3ݥvW4C8=eNWvWcOhVo,97~cr%uv̜3ٖb/]4@j}1vSV_L.BPaSž61NINV^B[u4#ίq|@ *EE8ŕWC, I[ -i^mPshT sֺ19ĿIץoK@GjwC~[A/jRD棑Y& ps-ݢOkfy=, &dT6\3}S`G,C}cdS IVe!,nOɮ=VZ_|Cn(I}9m g>z`5:w%u(v 4-maGAhym~NO\ʺ,]Np`+ۦi.*<:n돼[u!'D1kP-!8w#>:C۫#^Ϝ2ÉkE.$UXEXT涉w 2|,=̝"IE2 "^!}h.TKK|Q0B^X*z8 YMfEBa^ >hwdC(n( UC̼e-c hdUt'ug};bO֑Q]QC?6H`j^JȓԚA&Ul~V !^Pm\\"2'P`?ɍc ̓) WWCK3ϚKMEP1/^]ޚ^$dI_EEXH<2J;O9KSYɚ}`*IM:i!k{]<|J5 ~_[]Մ] "i]sǦjDW<4GgV)]bFSkخ} djh&D߀oI/^ꡤQy>ähC,&rG+NV};f0 ccJI<홤eQmPWҮvgdI ?[&MQ7oI}B0le^RUAO_H8@FE]s eLaӖ)6w`*I Y(r`%SB.1"쫑z7$ MXbEla_i M#ofs@7YUB,aZiA{{fY$ ?E.S-di 3E&תиZ>)-H啓^cE}d|֬kUl!h)\s`~FVV%-%G6n+2qFKsi)E0ٝ5;D55R}yeCk&x b lsnzx_d$H2肞hih!KdXu% !oǓh+,?fwwH-(2?.seqG 3"L_Q[.x!5?4>u7b&Mm-KdyŤgIAqGE}{= o2pg'fOڋtܰR.5crDhn,eiVۊrc6ĝCeRI8y]+bIUk7 ~mZYS&$8T9fcgXq]>[ KωW f9ݎXJ$I)mmDL?,3}|SQ[ڄbLsZ|m{F7GlhsVwy{]|;N8ctE2nYow^&ϧ,هOu^mW3+VgUkh̷cvϊuJraGH0&Yl-S$k z֟{W+ǰ!AR[֋ĝaT)ؠ7:o|2fY)oF]d'%l]CmK9'`F>yY(v^2 Ɯ.,e#s4AUd6O F5Փ`p݁"*1]ng63ho1#'Qf>ϛpB>܈9*\>kuVg@sƻ%`'KP mx{MYɉh['1*69>2>qxi؉P?\PZГ,TEZ)l1G~S$FױZ %oe6^7I{+VU/=EdR7^)H" vIV->}6+!_3qkd`tϛ棻7B(a-䴯U2{yemھkJ]d(Th};])FxɼY?ro[܅jןp|4pCkxw.5H!TdK\|1ܗ2xc,P%].lj[T@|/Kl,?lR3v!#}~e|<]fY5\ºi{#so"?Y_ѯ-?)8v)}DjMMAݨD8:pCŸ)k]8P8%lmbWͩ氨3M0Zʪ|\r7/HϏ! zjE! {q Qӯ 'Sp~%o*Q/NH}Q mh6UOD>P&%qSv~uQh9Q⢜|+xs*1D (ל N7 U0 BEk~/RSꎳc36 IWiIbtjp1)gxcGm1JqnC$ag<<_ ZiFe)mZ<5 qDA pKZ[Y$ uxPڽqkIt\˶m$rԾ"J&m?Gb~ @K4ǹa}hv.%2.T{Va _Nԑ˯m.73ܥΛֶ៑ զ(S6߆~Ȩ7S^-UiƔ+| qSnjH,"/O:ꯘ Zҕ՛Z#`I3w (Pr\Un.J%0M`5cD.{'ege (t)IWY N"]L.CSiss!uYw;|g11iֹ"(}Wzj f=YgZZq#%_i r ZgMyrB(׋7C/~5'VAQTٕ*y%KEQhR}[]} ist|g -B8֛nAU\ '8y`0DzW؂h]C,&!$6d9f!ɴ6x HáBc;sf hb=ކZZ  DmOBQK5c5|z@/x)nŃM.baOZI3նe0ٜ Xq wh|p6LJ?/8xx6}>>4,u4/x$Ja:frNq#H(yXpvjCESC%K"k6RCJADբ BR=a涣.HP;Ԛ46>7vAU(a0 oR +F/[k|C"xj"B +Fpyi7uH=[…jw}| u hP[LP|TC,HۇK[70+$F!}=Ca|J h矇B%h8eņ&ř1)kDX{Vtƻg_6gWxV@T4Я/W,^?T=Z4Kl:=> (Wx(IG"d*hK hG)&$|aS] l v'h#x itUT3ɥSZǭxdەd'8a[ֿtRaϴ6 )y<4C0hC8,"Z&+-[4+yO.ȥڕNB$^8WId7UBvW{VxlHu.S@#PO]a`=YzEu( =C&xFCJPi*ƍm^w(;&ōf9<^(XdyT"u.ň7p>\kz;AΖh{E4 XA ~,HUxAB'X̆; \N:P4fvi7c}F9NA^S"c:VbljXXxCPR36CK0  GZlLvM]0̪,T}}~.w "7 +~ُUAWfɞFe`s*Wb DV ĐՁ4oJQ#k.*%C.ѷk?v^棫>[!۾(Exև)!U, Oaz&P hO@Vs e{ 61x@2@"Q.22ZQ<2۔`:ҕa}Z[a)#Y-m[glRj"eUZc5%juH#D?]~Ju?0I*v!"E )I:_joȁ;*\7C83~z:a3]XʁiIġl26p_x_oRK}{ D|VKuxsC)t=m]4.H֏8SI7>Giq2m-vckcd5o0bs]ۿ2X)I[9n\AԸXOVAr佴1JS&#JP&+!Eg:˄ dk#Q+Y=2n؂-Cil1 \2X'cjK3Ԏ`ȬI~.gPO _4G8z% `.:F$b#mmEz8yS9M&>k9ya]8צy)*`p)|9? \QeaWqg8#7ҔvYU(b>#!~ 7ZfJ݂؄v{0[p^%]>]Zmc]!Y>A^bBSgF9i\z,&1T XXj<O('m&u>W Op%H&e2FW`w7|RO W:x^D@Qޅ|*36s fdf͕~|߹̑aT@u-zkKUqD4d!hGW Ngz+vU`!"@q$ȉJ\-ZAf9"}i;2,#=5FM-N'ѭS0Ua%ϐPAx\qAuk^--k' 0# іҦݗ0~VY>R! N@F8OP<633*{މqfC FlMW* cUIG#OVûW6/ @L+o<-1)DGEbxF[*1e|Rl4?AƔjz?Yxrnй`+yRYU͘܀fx5sYVk E%a)ߞR6.;}6|麡 O7iȺp%XU!`UFgf?s|jRJ:\|^e@ٺ~SV :VD/-UMQ<׼Yo|Ѷri)jH,XDa?pTb]Ģ&˶*X5;,T)b·x> SRJJ<ŋHj@sH #( e&v!Бd 4cWd-?-G[d=ȘJ1 h1uiX3E,(P(=`.OB*_;sECx*S"p{&>UmJU00Jڤ0*Pu͑4䍌aһ׻ivw 4mjo)e7߮ćUz/<ɐtI@EF(p#gckɴ~ K:sF$yn1<(IjBd>֎Oƞqd{L]>9܀>9[U8O.ԂCAzh`Ԅys%QeRFʐ>y9ӂFPEe'Vr ͢C&?v; P!_mna,co<Ǭfu.prJ!lTyE摕8%z(:tu0ĄgѲKcѢШ9h5=OGu!Wqתx# $sV3HP '464]uh*DQ>ruO2ׁkUj%mr &sz\'ꑨ/{~Kq*p=`_5OiJ>3\^ȹ*zh[) r7ז(6!wQ/lz$tB;&tg'ōiUKs+I9 \F7nP>5ImwϜ̱jKgvfݓ_aaqZY M;մ̓@ǽ>?*(M31~%oE*oNDesր&u2D1[2Jݑ8b,jOKܧSZnb2;{Hb);Q E[>_z|(x뭆]P?tņl%L!o\;4& xQkZb5xU7,Dͭ?A=- }[ !-,n1 Յ 1lGy(&,s- 06R(u.,gķDSf_yu=Z{Ѹ2&L|-5|teZ[ D 1v=:ssf7Hۜ:m {H}>`1*&Fh@D98\HoY3W'^q,'Ƣ<޼$=G7`5hQQ[4TgjTX:|NLDTu7 [)vS@%n{>`鞃kjv蠦ݍ~lmYԊw.خL"!Sj$<+ygfCZlϵaM[H^ޯNKHù'­r)lŝZ{- W12M?w;M֙TTv.&eDs Vź/ bbw&*H7wKTI!U߮jX)$E0qi%usʠ(Shho]u'129`xè)C! ɕݱG F~cHw3 ;^{ߺAڢ٬Z҃؈N84H6|AH6S*pH,y> (kaV-7sINO[@ g,%0YUk [?'1LJu&c~j9Z(䏉nfn>g]g3ófzyygYZ03110661/92f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 08f0891cff2f74fd97fe4f8d9775b4b780015337 0b95eae8146aa5cd55163797808ccd421050d201 0c02ceead20f10236d7275425ef59dfbc5021710 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 30afac17f29e367c46142872751722118953e506 3245cfeac2613b419ff643cf72db5edf625cf117 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 3b46b32b9d550242d2832984f85b4c97512c51c9 3da82dd2b91db0fffec29024fc6338a500de7ac5 3edb2c04d06c806131a75b0bcddef8670430050f 4021eca21a285f24f9ff4ba2d840994e4f65c303 44baec093d30bec4af6ab8a6da185f226cfd552e 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 6a1b07b082500f00f6c3b1326fbbeedb536bae44 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8aefc9b67109956542535e583bb6b75d0af7dac3 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ea487692239b63c714b16edc44acedef890cd258 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab ffc84c1be563c401109cd08cba36147d94a4a62c0dedac0383d94a00648a08d548aafc831c691b35 4985c043290ac6408aeb9e93b2d670861751f4f2