SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 X% < ]/]HOL-Analysis:threads=6elapsed=299.215cpu=1445.340gc=57.920factor=4.837zXZִF! fG]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D-Z)  ES) E2u=G4: .Q,JF[Ⱦ:M [aC;4ͩSP j^m[SCz,EU}䰅Ph{oӄƒÜlCǢLR)B\W!3qXH@LZ 9 % HOL-Analysis  )BtG,~66뭽XkEyw}Ktgd,EJpE SIw'omU2~ouW LʠXs=REW?ʭI_&l<#hW.5[RH2w9GGJhW hͱPjy#AH5s3vw^IfU,tYΥ(蛌-T|z쪔G?O>\d}$)G*=q<U@&7#լ=2f0B ~vɼUMNZ9BܺAgTo=~ ̊,m0J`A+6*D9M0,hzK&ډ kFY?6,}b2, aqbM@\avm|%1ٱmVBmog:d.6Lc7Z tj%e k gU;s'<;Jfə [şy.5|2'_AsDF\7/Fq}}:Ksۗ\?@.\M\Q7S[-oFG]S2<}>UxU:lqX2ChG\7+r`3*''M7TMFPMjp{>G#?߻1\[fi*]dLg9F-)7T^Ô '"uJ!̽ڪ\ '9ens2oR<#ƽB3bt~t24{LLRP$uef'w8?ڗ\"|zjZ[}Y!!Hx9s|:Ӷ_<]usrދV>=+^#81'd>Ŭ>3oO [6=H3 ;G^4l9UJl "oWߣ,HqK0~>oXqѶ2v^pr{4Z@^y+ dTB1y&vf F d(AVF!>ޮ \erƸc{8AOrc>P7 tӍ"DƹpvF?xje;Xkc#\l{Хc^x0`uDgd\OVzi`ng#kZ+ )Nҕߺ90~-;ςEIV_83OqT.qw43ag%\2 FelO`4 8»A`lFvxa2Tӝ*PY}}@DEz(Β=fE=~?:$oU4 n1?T(xmXMf#r?%:=7^oAwG^Cy{:6x#4G2z$GD%9&ڸpI^Ow?U9oy-SUx' ܢ/ћ M} z%AvQ,i lcq /6e­xN$|4} k_pNң6UkIV᳕"tLR ?|,6:{R:ls$^(=tg/f IG2M` 2Bn'>6(]R}ܼ=|B{Ц?e1 6RC{p+I̴Eت;IZ q-,i65{w伢N\E<+Z'Xxeq TXFa;LñT,7Yu&ЍI옯p_AGB?}˻R!kPʯQJIa|:u2{.^ :ǥQ ~ĉcV "}vyQI^'?ždbu{P ?խ^:)w9Ŏ+ N5QqyFHZ!ܮhEα}k l_".(п88HE0vCXWP7GC&ɵ==V5P#NUoa4r-!ĎNVC/j ԃiҺ0/<1bgyq"t͇olTܤHDDYɸL[% ?gV&xCy]}) ib1MY(w n syb<&^)P(\/1A rH.dfM)gɅW^"LWFDHUN8W/jdko)5 u;E0woƇW}z Yp, @јu6(Ǭߌެvy{Ɨj}KegȺRX's@H'e5ЋJ %5Kl8#k#eJJMH2m2H@>EC8 Zv?6P,#\?#Nî7H=%gft/cU%V#uLxN4szǞ1jMբZ/m{x``̰h_^x&I*` `==~P JL 0vWvӤ|jC*:j27(Fn*aKhW1`\74_+_RQVws4hVv:)Fho\rVKBͼ1JĪ* >R16Y]n/C }_Go(ՙ LV$ 9XUxvkM+Q7߉e\X>ML2_76/Ww{`%"pPSѭlcF]6 ^!1x ZLEn)<غ̡ۍQ:UIP/"\^_KF#eԄe;ϧ,<i#tLN G*k2iz[|M|-rـBν $#2缺YOvmBS3,"fs6:qit QG̖!]߯S^b5 e{r3w黭,ag#|B R2aI}[8cU[-U-QR[4CEN` ^f$!˻ ߻us:=eDƷ_bh/#;pXOlue:6&}L CJ];NEѨF ST7U kd\#vy⒄V#Y6P>_o{4%n+n%1\QP&U"Þ DOjwhƌATr"`l=v09Q/ע_ηҵĮp}7mvU6G=PX߀iK?π^PDc0KI ?]n b"MOǖXͣLuoLk__ȋ82FCbCSV…~q&, ً+[>vNΐl< jhl>B̄Bx*xmCy6},ְ/w-W*;|rSL]ؔm0l|)bш82IYC q.Kxo_VP$HJRvё(Qf4$}րYw}T8U eM{p*7ePJ]7=<@6\ah},~kiX6):A < Bg\I ^MD}Rc f湠<u|n,R<~5 ̶86 evvĆ|[vȚk(p/#`/phӆ 4ԮH=tǺ>geC#n]Gw(˝j;iW?2)%;.)TNK"P縑8|4{ÌÅ:Sz'[wy5 `2GPE:o}%^׺Bplkr#?pݏ  ђY>i*0 l,y}-mK =E,.1Wn¦U8 534m{RO!]P7&a`>MG9M#sGyyF$Zz U̹p>ӆ8Z0Tɗ,#8@ s C|K{_SV ĔSioN.frL> QH`A? 6DNaP 6?+ϠgTMC)fџHutY<5M,7=A:,P)?;9c'  M^? ɞ:_51\ٙ˭s):C3OjJ(C9ErEɊ !cy2"\-bu_W/9j :x7xs4:&2Sat$F5!6xENheՒ39VB#U-y ݅Y]mvy.Io @ p\5+_ky @V>Z\NF]ȬFu[[IXF)fw%ۖ4\RxcTßCíf@^֐k0rF'}ҧu7]]:hItx]`60D|6GԳ8/ ۘ|b[Bȏ28pS[1}<]megM4tԚՆ.'C~,$M12рrdqJg߮yN l,Q<o'b S 8?.L ' ft]NGҚoH6NGv0^7);;?1k:d;ǐ$n1մB{7.;I2PĘ?V2mx9l=yI&2iU!{W at[^4H w9Md*bjMᤥI8|^aDat\L$6vnr_İ`]X 2(w=7/|sGчMa-Du)M o݄E7$vt1J1(E ̌|fZKրb?'0yC@e|\;uq;Oo%Js{&K(_;W^Yҿ؀@[Y[%uh lݠT D{i6O@ֈā7K#Q>I #bT@{Z^ǪW"d2GT=Z( ^Ra 6Z<X ?pM\>E oQӇJnrɚ4\Y'8qaP;EmS[Xus[V7UF_W2€u4s@[$W 4AOKq5ȟKo7jok |yUI$N-'e蝹;K. s;c\CƐ𼥺/,+X*cR]KW[7j4h ^zr^I0 0{ߌ*W͍-\Q3 /%Ydp#!-7ZY UÍrY=\UM1@ 4B:gi:e%R=_aOD|ncn v>3x ۹jgdL ֲw8,c2b,KEZ ?*1t%X 8ۡ_>l, Z`9\r mUoDCV!bnW(mNG7dI>b[%'(da@9bEARTvQPJdon c32j3V>O8]{tNDS9+OR4;[E(D s2A3M2˥W=rj.%=(l{5\XZTqjFZAd2?Pt L!R .\"EV$kbJKF2a'4b!IGU {I Ӈiltcc(%DC\ v$@K)7MbZc@艏[_wrߺ :Ƣ5xɣܮ,=)f"˜SjtܪDiЇ€ԝVyA,'O+?@~8EE Џ^_ep!N&%'Vա00N8\cAANJ"׼Q8t1dAP=><^w5L%tѲ*'"%#r+W 3-tdVzBѰ1AJʹ\nnEw]jnfpEjଋyڗCk@[Sɗt}z+iǠ8@,ۙ ɏ@هp'"fLEAx$nS֗xV3]END'Tw `AhЉܦ =Bd˞* <72Y:2yZOPOP6lts$:ޓ=UJ}烷}z}~Rd >|d^mCFcCiWPQ(/q~)Oe9m*w-ǺT :ܵxE˰!Hu!y;S fdG:IT}_ƫ 7x//[-#rz T'6S+-2'Ca-Xd3~ѿAo-tږm6ߦ.P uwe \]Z̚%+wZJM˼uGwnz5Ex `YP6hei4>`P-ĝ;Ƕ/֣{cp$8xH2##oR`S䵘%/m/oP>a3AZQK>aǼ`0}qTs.k؂i .i]ya]3R?,sS" ǭ9c-]I8ЪR 9[D.c* :h|6j$ Ym;MLjI;mKQ-upr̓&ojs8|3fbfJ滐Wjw> }KwF<=պ 3`'[`^1@ :l K{|{T2LK=/c ek xOk;B@6ƽ!BkC^z,۽F~e8 а,qȞ(^DJHP4ǘ{N{"G'T~),"7]ӢR`5$@\vs<|֍\6pX/"֟ `<=&^ `,nYMl ]0ʩMoId3C~ýAkEml}+O!ȘYpiX(Vpto-LXQї?ķ;ZBQ>Y)OQ\:Hd۔DMbKPio|hsfo~{)?-1uwDY>ygzzT.K`''Y/x!7Y > &2c#䓲u=J h^?&}q_+bGzAGAqe|M̀?4SK_Rp@Hbf)~7a{^jލ@ ŴJYS=\6j4LШOME|6`C*"E&y@,e臾}-"-;Ǩ#֔z5Fh_+FXL U2?4Wy@=l_i} Uk1Sg7KE9gHZm/ ҴNi!s΄Iq8L|l/8]"AhyO,j .hmK 9J̰Af'xLʜa/A1Yd3 % x;š>OXZFKPh]y% ֌k:Ӑ-I9k 6)c*0JYSROn.T|5"<֫\M#{Ψuns*v[t8~ajR nV+ݟ3lw6>t쭼hEIHG(9,&p /o8E;N|ÐF=kJ3^dNrFCikXGEk;@|@l ~^X')2*jۼ5Zϐ?VYR]3~ve~z7!Cy=i6o3+b'b={wxhzhgn7SX&Q A oMФ1"FQ)07Nx atN;O=PνW]9t'#R훷"|C@@Hے5DƠ1$R1B "خQ=j1!4~,C5ژ35%|l=̖nA=8 H&僑MKVjxzj ӌOWf= ׭?Hg^ZJ_W=gbS+ڙTAws8m]JkF@}5]婃L/ǨU]M"%.4w'_/|]b]检L&qՊ4F`Hj׻ȖIθ↺+^GOhw]K̳?HuOdžb.5TJB8ޢ+/B5{o/4*H🼧KC e$+2oִOs"eb) 7rI03a42+M0opfjс PQ0O6vUGoM>5l-)YQxZ^Df:,0V aAΔEYoNJh8y.~9T iMU[5k]IXgD0 \hH%$mc@^kW{SϺ-Jw,A_>S ފ VC\ _| wk v~6DŘ$@ā Ax'K.#O|D$#H8CwبPu7濗\nb1}7̇m[*?{:)74ԍUrY 2zyCiNrBv1G)^| _𧬵~3մB{J hWA6Э,G\H{ A0"8% csN2}mW,^].ojJJć+}aN SpCV/l_M\ڹ f\Y o@MDPS>)0Cͱ+w=!rʘ4 5Hm}xwa28jzЊuU8h3\H\< 3>BnrxmDY\ {JU-Y.}  HV ,͟.E[3(7za>vqQ>NL<}) .o:`_fǑs!L~_X k' 4]a3ש`k4?nQR!'$8Y4B]ӥ<thWLBZ: 2zLWuqQ*1XSkЩ43g vIo\п= /6.lF}5<).d .Q$p9$3#/*,psDIţM\ nJ+Z~49T8_~`E^VY4˃IVL0Tnּ8H"n3 @`ZF~Fۑ6x7Vt\%Ϟ?\ovw6ǑHv6kjרtUj҆&aC'lX o`86{j)j xn*s1[2w(![gki#4 > s1kvy~iJL "^<{Kބ?}/ e{}}E=u”,$%-nQ<)}Mbp>H n0|ꥵ'.I^\zO{`d꾳eIuC^D8ȌyЬ YRDpA`mJ=Ϣ>Xh˭zkLs^2JS0Q?v$_Tmk*sxcyPiCUos#eJf[4YF[$;xDF&l6+d[wj~t-ETU{Z|>0癓>Ý_lĸj 슎I[%/%]jc=}G @=[f T;jQp+oI^Ꙍ盰 AtTc~/;g$Urd ;65CͼbgYFfD `%縜\\{|8DDbKjyf30ٞ+ǞxFfhĹm=oOcq}Jz Js ?KBKẢx:xn2Pc?iɨGh#xZal.=g껁 3|@=e 7xC ]>;PU?`ōe,AXWEw4q"2ݽ I+˷W /_ 1䂝E>P:mL"9 z Z+hxh)Zœ <1vjظutچQFvıI?7s{sIoJX{ Q# ,XUS[7rSGRPNb^_ȅΚ Hqv<ӖfwJ\MآI6F2"IB,9tgG64iIA .Zқx|[zѕ4yzfZF:XPS[T?_"/:t彋fw220D]6D6#^0Os{zQ%6ЕZ)\+l 7wa["qIrY4*+@4O#gs؊+jF 9OJ*7bKْr'uS<_D ~ C4Uc;ى4ڔ3e:WUK `^38%l\c9#!vHm̶LG8w?C~7q"ENٹŒ"m}, {U|ȊŁT cmM1I30 8wmYr2@N&2m$I3~(,~WNz畯G FjtY+K˄@dXZ B4b&Pk5ĠxH;‚Ns$UU/:wG':< l\mTPRFqڒDj}KnzE/Z w )j{&Úx+$ uy$;{ xq׊ܲo S'p{}kr[|l-EUp35.#sI"nc5n~uPScZ˲Ze34] ?7w¼X-j԰_Ic-FpO ()AMH¡9AR 79hBx?!nU"3\dY?VQKaQ+XYv(iEGI2HO ;g%XЂ7BDS (dNqD W@ͩ0@n_nimȩx70խ%d&]t0a~jl$6Q^ I J?RLv-Xz`S0[8Cd djb}Փr1tf0Q-L.viWi\{l*㹀?]$š`HkN0D%jGoּ#/WdFRhx= G;Ӿv5V}67)2\U'Ed#Ar*eq_br2CFXW-#U. S 2%Ux%w?@A0Cz7 tϞI^*g8ȝ3/f8қ{I9[>XIL8@z]3TG ]򀮰E%`@Z 2͒Pv=Ċ]MΩk:p;w?qyڒ?[JQfPbׅRF9:>T#_ XBһJ~gJhr)k/&~m)BtjWyDWăa-WβBꜢ"ȣUvƁvNxM#/wA,;o"^/Zn0O7ND)ɗ&0X9>o{q0{0uzO &s} o Cd6=8g*o3r7%}'nl:5DG+ bh)J%D,i^0/elI%mǣwS9cZs,AfHjMQT}aF3\#W1V(<.bɰ4Kם_p<҂v!I }0 cܳ~Vﺶ4PS},w}[}C8 KXp#_N`3yw=Dz=)xyF:N4UŚiMgSp?YDJ;w !ZIe@])*f c*{Q~60׏ MegYZ7zXZִF! ">]ŗXiɟ1˦r!cHkMeBd4{=;'#Y0^$3\AV^\C!p;4 / ̽߬娹qmdl:܀V桿潛vn= (6#mQ9@@*`إ{@c] 7-)[~ ;rb޾,̑Z,H͆'eP;ΏR{#GTJ&JeH)T}oVbϪJ͜U(i8VJz`gO@97yArTĺu؅u9NFj]%k?p44 4Ǹ.I?sۛq@"92HT^pVC.ƪ'O(Yh~*kS C{-ǻ{.'[M JtR`ѿYYvU~wm@zGNecrGԐԱ~-+LKakbb;0g6J3|1Y@(j@4#tdM =:ҿ u՜mNzׯhގf&Cf_®uL<$Lo>hքokރ1G[OoC4"&Fv*-jFNF/PѯܬLꗬeÞA;XmjA:C5WK\i&宻]VE_i J=6Vs>y߸ On>\FrbFO7G;66Nɉ{gPx@Bj[Ð >DW%b>r)usW gG1 ݷxMtb!|ci`=7oHKPOR <^͔פ EBeA5x L°5iO݈"6T_r [{ǿ&|nݬ倘3 I1<0.jQX`_Nj-ND_~5#iBZJ?XS-qKѸ4Dc@>0l:%Eg5hΌ0XiNUuR` )C}dU%E,.>f(\5Y ]9+%OEK顖$g(3&ٻQ3NxZCWdGϮԢ(t,o0qE/Nu:/tVkR\􅳐=@r oo3}Y0Vy_=Ҽ|د:Gq{p&JH#Yre?G|An<ɺ^[bk5o-qrѿ/_(pbkȘ%\{iP1M,"\)0rd ;- j98K P5˝H`G;ȓGBؽց4N(%ï2^碙R-]OEE4V|fQB0q+@rv_LY~X09:[`̗axHn4:U=|dF1! 頗_:ck3*K[JrU2c-΂_ 4`K1r8V]Faya3S5#Tƾʈv#U5#vV.̽n=NB!a>9<-_OH6yBVK*%¶dv:?ڗCAm#T>MM,rl{'5JN|N62(=1>x4'BH[@ԗ33> =U:ȃyB6u < ";PMUGْ?wdr)Xuvm4QAiWjڑE  '6 ny,q頝`cڝػ&ZɌ_pE.!J_]fD%rDL=>j\˛( y_?`F&;w7kgp$#Iz9aK/eF'䴷L dNΙNۖ,Uj'SSmǎ gm~pˈOrq/l=]-Y Sl4C42 ({\1X4oi*(]@J ]X(H=뢈3벒;~gœ As4e%{Z(&Et,ipIU m?Z͂Hﲠ؋aV<:ynaWH\6'zg+b}i3<ʉBzdLϨns2 9ĝscMlUzTAқˡJRD4g"9_S /GTw s(<6z+0 01>[,=M!2W}zBcy@l6PFC)sDS(A,R Ag-Hkm%V `A5uw{Q":1@qW o ܇ţ"&Y' p%aD xۣnO؃asuɕJ5w Y4gu["ro>mP7 p ;~za.bg ]/ eϘ,OykT3n7$~)W]|d )#M\Zw~:@ 83R{?bD`IyD])3妻r;Cg-e w[#MdCI;.F ($rl#u}o:ԧIw4 BIeƇc?AIOlg[Vz"p.oo]QL/ca1IQ͟ޮXp=? kA)\}( C&ijh8*aNp_Kr"AYtڸfh_ٯ^BqkatE'OR^C"8*r<ڲ2[wD!z26RQ{SwQ]-H3̾B B~nmdޫ]`Lkc%TFup?F󐿲m4*u%_u|*X$Tet{ǒג @!RŤ6 60hA/8!iuڅf*FUR[K#B#<8xK)bQv\.LpӸ"Qզnӆx |B SNf|[4ix2 wUbYW}c1 k"5 Fa oqiYVoZbC{b?e!W`sgOe!n HUyhtT;g`ȰЧ :4:"_ZFaiV=zhmb]CaW@F! X C8á!q%ת)mZkV Gm[>; [cG'BCeN:NPȁ- :Ձ+sv~ՔJE-TnجvC\圚C\ڥ"\45;Klxn)ݛiUQj`_J|=[eɥ6jWG.Yhz4zs(^yyĈ.aZXA'#-2 +$Q`u Q|jߧPmpW.~k |I0FdWy^ B-bKu U#4F$TdSf(W믣s)V-O+p _tbe~`]Youi!-#|Q\[Oa `HJz[+$TH"S=žtFkI ZsFxELfw5+;)rL^&uU x| [d[o̶wJGG+^yS6hqwT`6p/ow#o$Wuu@td ۊИԿ?J](ջkyw]/6]@}e H h#|טMj&!Oa!`` GR0'U< jc\vΈREzyHx ėAЀn@1Em1QK`^`e~Zt` ^nK56Eά7q|fk*B1MUm>%=\\Oӯ)64V9K TJ(! 2]R2һb4^ [dHቦEι}'K$n;E&?zKr~4DaZ2S4?)Bn|K2\!RB>;pV7A2>RcnC2Mwy$ l[E{,.K )D4hyma(/Tq)V:$} NHa0:p"1 b[l,EIlJ"L_(tZT3llb=Aɻ]-.]n8{{ϘhIPV:!V"!9:/i,w)FUd]Di)NV'n6+B|S<2NAeCTJ/ ^!O2e[K) ֫u-IUSd,ӣ#1 Azw]Ƈ&}擙9EƖ7yvM:fa^FV4F1D~[J k3IW_'-*t4#,\xߢ셐8_̋qCQc5:ô&$O&iGGߨ b%)#/Wz'V{ q+GgtEވm^iqɓ(uSUZq _GCx( Lة8$tFqtDǗ%;TE ifcIx4h>] ~4VOI|NVM1΅YxԷ;ԙrT=[ x.[.E7>` w#5DS5^)fD7dQ"]Ց̚ nÄb3| =l)߃ K?"%c;Pw v玲-^u%T8x{1HZ8*9l §Nӵ,H;O2tp9<^rUsӤ4Cs{~UOo˓[RU0qk Z]84; F;1[$m/.%1F/LnC W(uk$)⚁{FҲj-RLqj7O7gN f>LsuDQϜ'YE-2MjZxKԷٌ#^Ea-nD(x)-M-)|w:R4>q9M6)D'‚4Dn~Z#BHJk{ɇ9KAXv剂eP Q*gg6XC`P o ]L#BćOfElў{rHi`ߩ?SWɕ:兰 WH?N!Opa"E VڱUSM&@fc0GImfEA{$1/{֔7;>z}AhMR8&vg6OLwqlX=$lA,9֑hm ji4gp5Su^*i\á`i"\ kO$rH5Ck$ {ova@}I{pgg3Zc'D{-'[i!"0la-/U~JfaBNڠۋFd]I;7IT)MtPx&Z@uu8geϝT;'OF`9UFwSS_%P΂ qǟ ]CYn=#  lBtt8&a?PƈO5t1/RHo#!OxW9DuP>P^>?!M=8wjչa /:c <%k ݗC\g|Icg=qtsT11G칣 C%Tvu^ ScDоXAֽkI檜\tbO>VBit Y?Fj99d*W,<ĕ HIQEZJxT-;ş7i=2<R|#{>cZΖZ"*Lh*ʵPÈŻ|Pﲤ 'B` *h$g4뽙{+L[%XHKx .d~-;gˊXIU;k b ]~(uG OE"phRc 5gGhJdT43٫tb #piO7|ᚫR 3Q?,,kPYl]&8ʩE39he\Ę"Mi4\/' l<,{wSʙ^' 50y>wvOyJ[9>8v{kAc V hw'- B{vA Ιg@6^tP[=^^kww$hLRݿ qhEI_EѬw)Ԭղ);I:f뺡:vjc*־ ϯ>i^N :l. 2.@ΘH]zfO lRHARSDHH0CBr&l͕[GtE).LYai1&#(&bc 2EpSg̘X[KYM\L~CWbzx?i?#\{)~j{pp{e;tVNKco,UD:9 ttܐ m?iZťR&RgQǪ#xP"\ȷtCРTp 7ۼlgc9 *%?rH5q9=*M(CHRz#+x%%/b[]+_BHhw5])yRGJhǽ[.Tl0E@u+Ua:@ V$?RW0j8f8=EfqtaМĜ?p<}+CI hӃ$I/aiYʬ6> 3?[v:0Kɽ%6d$~Mp{L5!X{ $Yc ~o"bQ(UVB!_Ù5Nɞ)$ydcm= x}>,a`6etbb9}(j~pG!vU3 iIqX_%3^!=aKpxf>lG?X J(;.c9V)1as>F7C]ԑYu1h:`߹ufb:\&݀K̢I_X5Q֡3z@yCТScW팈rq%{8# 57HG9aXu_`?U2'<\g Xzf Y4šunS fAAR)rIzA#gп,JM.Iԅu)tlp%E"V:cZU'L(` 6ڀFXUiELh :`< i=yY{qZ!w+{ dsy/z!}R$iT:RxC 3u Պ7:^?v3vgH㬈WIg BC)؂:w5s9&\ wU̅G2%xJ_Y(?o^_~dFA!o5 IDގ'kNߕ۱"^z>!*dRs!cK(bKU^f{p(9EY'%`hTc uX &Wcܪςh{0F>]Hєe㭦JZ}';o>eʾи HtotkЈ?@‹?͘-Tí\ cvUR;ӵYˬ@:-\kf/}:yX圕S'mbG!FHوd.}#Ț]wB}@bōVTCӟjZLI6„M5phmI&vMv!<*A^1oYW"YA-tle$ ;2Rfg:D"?{V=z&DI &")˜ZbnZ)`A$✊1z# ["5\ӨX cL]KbgK. o^T'tU6$i(Y=9`9g`u8}1r3O"諝sgv95ucM ԶɅ ֟QQE74%\Hem0~Pޔ6;* M}*ٟ0TM*gz^;P؞kcX| HB; & #z+\<" !9$EAG)O=`}< 3|V<2tC)#,O3:p{ф0vO -E,Tn7*m=Kz_P@޳XvӨ_ğަ/ՉCIe:0+Poƀei#HYb*Ri `@8(~\Un`$hɳ]Ӱ2D<ԶEڻb|VrγSH$Y&szԟǹ,C8KJp NB8:uw<+3>Zٯ:QXYSyY)Y!C Q[&n꫸*s.bYtTCfHp)ۋ@ ҭ[ m!cTb2[k]f?k晼ۈ`%] "ߩ-(`ɛsГnr% CbD9*A?94(.v? ϥ4+ S 췠G3c/k/˲.??)2_i8}0޹2aVmrܯs)JlODK +LG0!܌bERq3,!OU2TFn05)],}+ ||̇aӓ,8{F\kZS)vRuB#0۫Oj![V)W^Uayա9)qKC~bz; dTސ5#[[fޭBp1HgչJh@𕁒E蔡t^v+bHtf64b@f/U(KyLeցjqZm@ΆdD˃iuIv5{$wN2.jJ4qR'SU=g6l(ZRG}mk6ūU HZș]Ńq _/W#>JB.;Nj %81c(-[;߽$U3$dfe QZ %^Z8KyOŬV4[-0Od)S񖟴.:FnP,=̋b>/9QgaGo{_'MP:a+; Qƺ,Si3im*.vԞ:-],k`')G9eƅ?okmܜy K)}4m\4+3NwlK55X{R`Wh#Cw+,wxǫk3B*FާElIJDa ,lbYgĬo;ykJ_Q*qtNw4U(*ꌐoO"E-'ܓn{X*NN=,v+YBwъex8q3ꬓ.5BȠ=0c4Вv%qh#)@D2,0 [GçMٴOgWeeAJnJ|@Vvj״Ќz9i[XCAPKC+/H &J#o"&&7 pyĀA'4s`w/i&TUbD JBX.:d5S.E<YYZEHi&i-ȳPafGv 9D4dkQVRpX7CP/x lyXئp/K R#j _ޛ0Vvk׌I#=$ՀHVX k'x$YHQv~a7ǝ:tndC3]L,o׼A Av^dtp玏F`ޤ_dGֺF“[E> "(HĜL˙sjzidhM )ۇuwں.$Wr5GԸv!*˾G?"֒*i0O ^"Tyzn6{дY6EяM#a]%a DiH7&TAbCAzc )(X:FoDsO9,՘Nc,ddlAljBB \nxD:"x}M=pI])iG>H+M,$pa5$U'd1o7H9@07XIUbc@o{H3PU0C Y7Pm;B0]l[Y}T~ƖLF`X+"kTxд`ȓE&p4tș";@˵×+/$d(q̐Y-/t2sNSg]*x%l48Tp0j%No7!Ѣ2Og`02VѲU07]NӏUKh]ù<W15Dcsg= ~kf)2Otߜ:F)<ȩOa -L!>HD"i)TpzuT9S2k^Ջ1)gK3o~e/<-Z/f u;Qxy;NwL^,:k݇xhBi48ę$Ko4Y ul?3sH*rM֍QDv`'rPS\bfb:GkU0SɆx=ȏe]a祺a9@[ȡx/Qh'zb I2rwV1^'W]ЧDeWGp00}V3Dz ) *x ^7YP¯^~#]\M*u y!}Ȟ$BkeJ;L?B6Gn:$H/wr1$ B&WwDɖ=Ȅ0vWG|xqrd@iX >9&TXd171c֡NŇ Clj[cSy2y:|Y̳p?T`#ν" Z}C+ DŽC.XkʕBR(ܣyVB8)_nmSh% Ff,~DT^iL!d8wC,5S'22F}ٔ M @Ll RStrW8?B?Ø/ש{X(?B2:c;>[0.#/j$ఎ֍ .Oh&p#?Tg:Mɣmpؠ s&(B: f:?1oWJU!i\(1g"m"2n-KY+31bF?1a#Ur@l:6D򲂄yj$ʼn=T9QB(= z\\n ؇e8R~DAMl>*\hUGlr[= -O.57TH}+CiKK-i_plSN SA rUFRp)Py ,U6ɶʕ=]pE/ۿxjvg&CS@E~@:⿡HM $FNlK{:6? Д #9Xz@q#|o,Gʃ0qF q\<!}$"'M L)1*f y@Gf- .ӻ I,I7N2ހe W=IFXz0| #AuL3zDKQWVoƺ.u_$WIRʎɧ} ̣7?!HSwtQ ζ!+QX''T9&)G1OSCj Wh*M YLB-P'2֍|n0Rѹ% qjiL:xSl<60ozUn*ˣ8kC0Ӷ3Yx AˏNf5@V7ܛҗ] $K?^oA!N6˰^Ԭ F|[;k%>+w`D0 ?`|['TDn@vp8[:UţmOٗ}** '[<-Go0ЩIJ!ֺ~F :Kఙbf čPbPf^'u iFǚ+b` 'Tdc{h{l(s K晣Y gw_(hFZ85]IH1qjQ ՆUK\T8coP$:n#ڂhcL- ޮv-t&; Xj\G@J7DZo1u%1W&U0aqoi1= JJ^)ҮEwԠ#'1#*WîRzbHh<~SQ=/hWhGR+آɟ1ê^1GFnzoEHYź(+nG zpp}.j3k}>M} DԶrƖ̶ dIՀ5jgU D}c%U=NLǖ l )u7)X ͪƣd 2 Jg2aZ9ޒ3*uN $lS!g<_~3>hUڂͬsױ1l?/ kzyKkJC%NUy)~}I  #a aoE?ӗG> [nXd`Q8#\/!+m+J==Zj8n=xEDٻL4ﶸ9 f3ؒ;!6)WJo > f!p (Q={{xQpHh|1Z t*oj`OH Y?`ϳ; dgiX`bie_/}?eT"]қme7l^ڰ.!IP{; l`>tezX8ҋPfH*=bݡØY1/`Kq8I0A/vS,i@.*L}DڮHc9Fs"T6.:ݐ8J5B]+*\[iYTh3)eMjUa&@PXI7!ޫNH6X^DcYa&E1JӋk6 X? dJqTBNNa5c;=hPGl@.de&1d=F@Fr-bi%ׯ?+8\ 'E(?YM0@,U*g*QDEiU|A[=ޑX)XoQ밉DIc=L^E_ݔ`3n+[m3 7bٙ.gU./9_U\e|`litT$z,Xoo-Id  T7O~^z?e51” RՉY%iQ }QHpT2Up{'l_OErewPDvfTIT|ql5C-ߜ'tGf(ɜZj^}x!*:Xp^I%] +l4"K=n c붉%| qէ}߾44,W:3J=n?Ȱa(;;%˫Ys Ցp^` qX ~EZQr:~lGJu+MMa+) cYbjC:YsT#oUyJ]ċƛD&mڽk򊯠nd1^qU*|/ߟ2! ~2HJHa,D?Q-cne?f'e퉀w< :9[H.l6&ggTع.,bYֲWS9|LfLsL9潎P%^1F}npf@(c4BW)?EW)u$n"?2دڒ ~όt|%)u81nӈ X0Q3_RCJ^J%02'i38^%vT# sJ8:=Lgߎw{ixk!{`T/"$_ .U: :*tL_]F|ݔag BUkaGf<7󶨴;.VU3Feq#=d|L$HڗjDY}SUú=W GO1찺] Qy.Kˣb!)Z %vD5woC,'܎^z݇ZrESCW`gQ5+Ub Aa=Y2X"8^H~DS<͵o]ic-_zU`'A=Fp^vb⎹F<;#J+ue~HϹXwDD௭6=&RQ Mցܚ0i4Ǧ1vJ cZC( N Oe1ǃ3?A2FM ǧ&nj?!#dGvlT "AC,YZ:f_-r nIwhlRj:`:e d*W6pWFuAYBOr IU ?veg#sNܘnk~oZetprٝ<ڈ5НmtAnD֕[_7EF$k]2`2^ž:(uYhk?)iPZ:S }ƗFNٱqd4-6qO/a19'޺Tʱ+-|e[VsbNW/`c6jNn cq?8Y9w, `)O/aՏomN--5n.ys%@xER#0?f}̫:m1Y_&-L=;7&'Aj+\w$NΓ;֎tt972C(VBY M//{ாx}/yq*9!;g&loOv+R\rK-0omX2i4n4{"|\qU=ߞe͘@U`Y=7>MYU>HXJ-x7*@1v ~>E+LUey.Ϫ@p FgЅai{0@61kwM5jb7#%!$ưX/ Wۣ,ށwpc!U=xޅ$ $/|)i>(Vq#i&ud0.y6eVdB\bQC/gσ Q,u`1jgcv'C.UBÚ3ڜ9ث2mURXy1j8ZB^JUʱLD"%޾-NH*e~ Fo~~xz' "]v1Y /+١A޶v6 &9įLnGk8N tMO/{}t[䷢]b.}J\.fX{B&}˹1t\*ugv&$ڭaEvMa]2U Ɖm{KndDF@/"GOGu^b޶v-%͚3G{z WYJ^ 1y? ݔb)|xGAz:٠lOm&GGm5gV'<j" c_ mJ}ulX }ngvZqD:NoGD BX)(5Z(쐷Ej4}u?%2pӣfTTEm' !ڶ~$ў ( IPb3zҤ3JA>.^%pUxO?Ҵ #|o] > BcEKe L#.rqȇ$ʛg!M ṛ}nZ%u .:= .ȑ>cwׅ~M$uB$hm!L:sp,s<#߲N@HE@Hub^8^Rt~`j^ ?\S>cX H8gl߼yV}O76e#smUx`B4e>v$9zit7O wjVX2^'}!\Jw sfP,i9!S=b-`G'ʘv0oѮVit.>Ȓ4=?cKte1HM$2`d'1dڨSqBd$=n'H]G z˹)'[QAN/k㈐^+)6~78R5ei[vz[2~3xӘ3`7ZSj c" .U•2ÿ&goBMn!4+uŋ=ZPT[!7pw>VZK7iTYa ww{*Svo@>Z2*J"&I:Zf/O.M_eĴdZ0@CvE ʱ֎#|fQ-6CRwѠ}Ǐ:W& a :0YkĥuqA)k:XHt&@w  7@3;RWw}׮-4 rr[B.Qv:I^Z3ՇޘW͎*q5Yz󃩼ݎ1Hƥ άآUhވ*TU¨`m9~F we7̌gyK=$eRH8,iBB{!4Sc K6`X̯Imu#tc nN?mz%Xz|x]v8Yn5{,U޲gz}2;o:aC3쀛1/3淓 Y1Ǽx@.*&Sx b7~bh 2{0:XkfNͲ( ̒H-UVsOƍn kD3n|Ⱡ$'h㹠 G-D=dK!/)Y*:3ũ 'oW'ҽ+2Bor6UE,H=8tE60[^‘n^ά{D#dXn%< X!]$ )FTWӣ\`d4z>H,,,Ip+~Y.) U_'ժ@$Of JjnM!Ym¼.;ܵ8<4(W}BwBywm sU\c3y;U Ȉ9]r#߈$ f؀a[&R- 蝸;Y+j>]]Ze5Ck<ݐ+u s&NC{;j2pgPD׮? D#E4"WߌZ la\eOQ0ϐg#9#ŠsYtk1VjK`tVD 4޿[LZG "d߈@" 'NF`>mӱgYZbdf73c4b6610ccc41227d8f54d391f5ec8f2b49b71694b1f2d25d2d9aeaca0f1ab390c835916ace2 24112e61b571a2bcd40de8683c354fe7120c1068fbe6f3c50368d338b7a42f9ea6c9bcb4893c47f5