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 .) 4 eS]Incompleteness:threads=2elapsed=682.076cpu=1068.452gc=16.572factor=1.577zXZִF! ]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"R_OV?ɜ4xE2xߪvbpU\W;Vu{ `Fl]y=1hkYS뛎uk?g6K+h% mE9 /~ zO!8{X8'@~m9@h?ؤ-g&Mpoa΁?\ &v[6M)zKT6J q˯,@"2?v z @y, `Lb&NKu{ ʺƪ5By˨䠪YҔRmog < ) lwtU죿eG{9h {FN^}0\Ue} xY|%z n尓aT3O㍘o暆_MU2}bt-vM 55Cgj ЌmabǨW+0J7Gߒ(sy19D8u0>쀰 ib7UM?f`KlXFi"E=}@OR>$f2耛AB=}´I#Ȣč r &sNqQ*dEjSˋqMZ#L̯nux]ˍaf?(s٥`@4')gE 0^x32IZ4 @8RЛqhSټI#scam7{2ZbzaZS,K6*=WRC^l]{1/"m_ ~k&>- ][=A,Oz,9/Ӝ$)Z;uUO#lVp_UR 5)}x]Gr%l(hF&[d;T3tJ񔃶hOs0DŞUYpOo ZU5OT&"cQp!Tk>c_N/b]~84s:B|J`c}e0bi{LEI臿I4/Abr'V:H1O|E Gمh}[vߖt}Vr5 UH$ g)% VjxmB5kI|Mqor9xŘwYUgy~ 0 '%8JG|sU'C ?7Wz>4(z[)kTj˖/HSjZ,3~Lo[M Tj@BɢM649 Z hCcRÖY [ϸd}(W?>ŨڑpX^LB<FRF57Ì/+# p#E#nl"8V%0qP:s#28)>tlѐ^R "ۻun?|ƬD]GMNU| ʯ#CڦkPtʾp9,gn.1<ȹ+K~O ϓΦ=C/+MCQ5hݬw]ʜ˫Iۭ]!M 3r-2;CJ>@K|Ge h&'pg2 7?@HM;E JXU\ 9F ~FPҋZSJJ^rvO5̯t)VU;;Bl cģcT;}a?~ZYiy$e+4) %㧑]d˺.v֯ۧ r3 ;l\(G:{x5*pSLDko? 5 ڒR"x7O4t#6J!M&ߚdPI@%SeŧecYsU(s`xhW|crrN[9Af/g&(7دiIJUU0/aLhle)! }r)[)!p =)(yJrqG?Iӛfq-x"$^*}Y)\lXQܵ^;I9M˻ xc8ցjPYE_$B ;x&!*n׀Um~@7$" pk(E,9wy ݘgk aD̂Y)Du]s6~H<9ӥQ_ς+\'SA؁SeҡdhtO3k=⼐}7^MfrғlĪm2[@Om_њ>˶沟]u/ŦqЭ|Bb*˯3LPj{ .pڜԲʿGNӛi$0WFyC\?;p6 ᗥ:*,~u`h.r') h+:{QNG%ϝGnDyϵ2[:D 36rX?pqnmT84h ) Incompletenessܥ}.h0m8 U-|#=ل?> ?gJ/zm!d%s5 ?`C̦ kԧYu馦xk.B: jQpCY8X4R5V#RϷ9Pe]B k$_'^ ݡSZsL6msmbRQD f}-Z>S~RMK|15p/ ]b^נuD]1'ORixDx.j.5uCR;T=D g-<6D(|PY6c?nT`1FX#$-"~ KOV/\#0~8P)p/ Ghb t'Vt"xUq9:$81uݩk3x^5$/4IVΣK껉Oyo=˴miAA݈54zl:u9ً2-8. r|X<3#$eDĕ-||ƾ Rϰ-5팊jI+Ȋu gj=k;V۸dmx֠  ~;K~ݍ闭9tp&Qz|`{e,$P&_i'MMmRADKc^u||;HAѴ|w1AAqoHx_oQ-#v?=_Կm lEs!tѝ 4iVβi\a K>9)d=C?JVJ,XzLvhzl廟lFʡ2q,4(*Vwk`Mm6RKp9a~/5@2͢!Hθ/8aCB2i[;ht+ɖ^l(90eLYK~*3)5jp]l&f5ӿV5TSdfpV;. m/dmEsSɎyEVJ6p jĖX:OɗIJ* L =ʓJGyz=_ҡ21SG VsczsJ7C)qR!zeq8Ux\z7θD>3X1۹1xzdpPS @uOývj#龬a{hw*-+7:@%5gK?/*HP̻: Ye \*B@nb>6"dGĨn 9WLT%}1WI3" ?Q9f<-h< Lv%8.F2;0 HL US}{ZnL/l#_  $ tg׎habZ'+!qт(6.X@vvLjT%eW'2S@L`pqG36v Vo@QCqQtg3dp`IQ炋7_C4K\,B 7| %QZ쬈rۢ_Y3 j޸8+sPX:e^R`ƇjU?%$t'j?6L<$:pYzI>ۚ5!3VR&FL;ax+*&T}5ڠǎ"^5^' _nΓ못z}zA`;Qx7NX.Y.!851E%,.%oJqyBw;ZQ)Yg4$N1=S^5cV絗F)ۗACq4Y~ӂ3e]sU}&[- Dakv-@VԌ-\tԲ7_؂qU`׀ykr(Bw:|k;(Anvbw39Zm󝒻ӧl"zφF]rw A.% /<ܡ~hYU޴QBn?!OFb9kFOKܫs $>^%v0z55ʸSL4g7OI}LC] U3<1Vɏ[h>DXf mW G>Tt,Rڋɣwj8:lƕǵřOr&uuM1eh 5)j*Y ƟuCttM=/u T 2N0f'Z>-K<~BG^ 8+BB}e[\~< U3vۧtJca8XuŚVg`4"\VŸ˽uԅ{H+:i9SXN,Ʉ7&J}^7Q[i-侮x+$K&KQXijxd\8/>fu1=-^瀌 _C9&-M0F@sz^]XFrK I d>EXQe^G1J'MGA*k3KwY֒jOP'P;G#q(} 73/d5eKT?,(MEɖzڱ'o.a,H"M*7tBS)**kfKMw*s-ґEqu ε^Jt:bzНj!c~Nfnf=N,8XSl )JkC52".%AV_NBk=Mn̓9 =&~Kg7y> -1@4t8d^H61Dk^uԜ49b(&H>z@F655x1e@J`0%jZ݊hu=d1LI4>MߓE-[6~\8ht|2R{Z7l'1M՗<7jx>AkVHKs(Q8ȠNw= c=.yiܵm[šn?E$>^YJuѹ::1`(!"=:&gYZ7zXZִF! z]ŗXi%6wFkfv `on쯞kwhkC1ǔ|3(0UEV ꟅEj4O͕Lҿ.׈FHt 1as?7JXa߀-s `l*N+B΂3} ǮSU'ŕyPW03(KɀWk=+͎Agx,%I&W-[x6#yV,& AOѶ};η~ٕ)X`_98$6l|i撬O}ZLymޚlNEqRb tѱs'.C0ip I*=}pH&Bz + -U]VbK%Dvðd6,;x0aDKIy ԻVRnaI[!4/lm{KXS%5H@nz>ƪ` K^?T! ԠTꬊ(>RRNР?m3hwieP7񼍱8a;"*5p3q: de)g_'pf}M5\ np#Hz 0-(ej) Vn+-!dh"H,o`;yUǞnu,/,"v L}+ɽז3~_ΛZ b (уo:e}ӱPLXugvT^,6fL@V%{ShgD}NxR7D|pqTx8aYT*[Ί$ߚ X nt!_ov~NV/ "v̪~ZDK9S}1i\]/Vn~Yr֎xAX1؋'%(·?v g=S_ ٖ qw 0_ SEK@7l +w_:QoD:4n~t@2k,nT2qJGz H` 'M Hm_f%S/ <,|.-ivAHt` p5ft!MPK[-߽uE!qOrí28S< i?:{Ό3 Z>8Yru*1%~[t&-rhЊprðX~I|MEyKG_7ya X2־O+oW?$XF8U5.K ]KZ)0XEY+g"@~3)lY6UXQGHt#+-Q;?oq@c:xyH1_V0 ݺnp?-޵ ޚqSiq+~ /+? ̼=Xߙ4~m^~e2 bYR01wuIƓe# %׋V9Iqݦ ~eM2 ;g8C5Gca麡a s~c BpKX^o\T Qx-g阴1?BP`ȯo4aD绠lnyII= w.Ku&  P#<§dOB 0O(Amp 9MÊ͐H-L '{q"Ѷ'e)T mAo1-j y/ՍP'ZQ)#A|3&uh+NҪ8h&E߸ZwsG(>E9ip$w_ wv,=rO#9D@l;lLƈ&F?U*,J;8&;AFm(;ٳmՐ&5JaAߦ֏Q#i3 ׏N1H!{D,#xv@&FOFR"Qz@\ (Vɼ siH~%kIvqڙ=IPn_Gt&Cdx3*u׮P.:P7&e&վfHiD[VwԲ Iz,$D']몀uKƙ}*/F<؏Y~#ZBbK]DǺS8vwq JhR# ւE[I5٢<52x~J{9)pҏsg@gK0&R{oI5 {J/zg@ _i]2pו;ra;UyYWpx(=ʒE僁O]v3_9H$o 4G/Y¾zO:J7A1Yk,ݪL՞C^(mylWhP+; ܑTa[E٭kPmHȸ"F)Q7SCG=}8jFHLba| |+1ޟ"8xNh9I^GiImǂ`}^jx1Co}, s)5Fjܟєޙ}U,ܐHk^g;,> @nDy-8LѥM__nʦNLP0z2\n(4+m<9powXcJTSmg!H |ML70`K[F%C~3nOYmH=lpcO/Q~TyJpc74?etok[n,鎿GNAp1d%qR.S}eGsͶ0uP/ LF,{ lj'P<噸JvTaq;ԫ퍏/ 9d9ϗn33tէ ]%DSut'g_8SJS bĞ.jy{jH\yib-@j[{^n N:?S y6ͯgphp'&QJY/7\F jq4=%6X> /T/h_6̤}051 O N65܍N/@D}"4ȆoԧRpmkRLxM嫁woً֫ȭcDl\aE<9iԟ4_WL,1,q֮t_*%Ng{HNcKJ\psr5N]wb,oqymVs^:v4=pxؑ| T2Ş"=Cc'Jv*TKgϠÂ(i\P$sߣ偰Pm=_@2,rqo0f!(j}˿ {}o7G~x5gH+|7)N.uY~v=1aKT`Q'OAHRw܁+ 8..><;Rؽ- `3i[;4ݦ}/+7EbjT~dPate=j",g9%~B^p,GZ3 )$aMI&^7ȩ:\ʙfzs+*0酖8t_;'!,TFV/,IEG%WsGC-r8 &NM@_ F*f|)4Al;)wCv#7<)b S᫆LB$%j6D%'019BJis%|r%  pGc1ayQkQ9Ƞ(dm[1q$ MTHPpg%ȝI:hrHJy >O7KFyV%Ғ踙WQW!+b)9*SGkfFFS/u )FB٫8| ?rVPV p~ o@c}Э659g@aBp.`&V*w-nde}+]̄` :8k`Lߌ;OVk2,azU\{Obv T$VE8`Aa Q2 =&Bkk>{,!xsWuqK?{_H\]ԅDqX4Iebl詞馹"K  Zl yɷN:d _@FwDrj3shOBoc42 n W4 `cid\5XB+d2+~L)c߉WOU:@{x15eMZ6C+'%i=̵<`.?D# Dhe 7(L2|+*RaqP0vH.edPavIPM:.E7m R{9%_@?UŶSp&^}HB{*aj.^ 3D%oePs]G@;,3R7-^aelr3 ^M:Q8+a;$ov"SMGgЩ#]M}hxWz}[$N/wS3ӓ!r$2G $oI[m$}Dhj#$ @"Ӿ_w ">MAU }g1FlX} ci3JG]A(92q ޣʬSGd=(MU"Ȝ^"5y^kU|n`0 MH;gpRl.3T4Յ]>#Յt^QhbSIG|bavM\, RMX:nˋ XIJ$ˀ_ O41ޛ_n=ʹw[N8s13#:jUiT^`,kx&1fNϭ HXGŷ#ۊvϏ}' > Ali~G߸]1~>t473 LN8κ47 "Vk8?~HA:Ȫe%IN$E߬pFi* +na_v`2F4@ST0D 3yJd62}@ZM]ö )b3 iSC wԽS9N4ԋ}cPU)ȺֲkGj p/'<"B@~ׇoNg.jTh\'h0m@rXV.S`G?ZO!~P؃;8-c".` m5! Ј%#8?nh6%5#':?K!*F-}=V\=),WJ]|"W mNRq.F,zt)?WGt)M\OS, Hؑx)Pt;;?MŃڽj="#m"R8{2d5r"=S&$dzO@`fqUmA J%w丈U:!bJj͸6< 9 l$7V,*lef1ֵrfh.nܫtjfʌ ?jyf̮RpZ||p)*+حPIf'zWH+uN:/~E1i6z{ek:!h+ȣt_ -jDe/l_] gfweF+P܆ze*l ݕv\[F`+5Z(YL} 09vpB~B<#F,"(F:̳4Ux|xlJOv, 1 UcQ(O&,t 1]7o(cN6@o"H9wLhg@CP!\H2&~%ziP[E6=5c]/$J0kx7ޮNPlR;YesX @e;ez:܍iϭȭ>l(;3F}ya.Ș(Qw{?_VYBAHR=Hz'%;2 Åaߕ::mnPM-K)in BZV(&˥`|UB?:aPiʪW6cכ[-Q^K! ߈YDRl8k:25o4RZcHVc9\T^o0iYubx+!C'#꽶" ͬ?" =O J6VԼ9r鱃kl'u7Tgj5[W[`ɨ?]_9`9mM {"LX~=YA'|)Ơ lݹи+"Z=l[sm x#^ їAPZIج|y/v#Fbolpl=ka}+Syk,=bߌ4@pJ 5Y핎 bB!o^xt"c:T(@JZ LcŵFǂP~'Y?Vńٴ9b@0ݢe $xjVM+ >҃dx FCw xQ|' ,ŒZJhe7rAS/Ջǎ'P$Ylr2JB#;飀V Lb($hQhw1"= <ݞ/U*Zh^]ܩS؏a-LƥY8 P|K3M,$wୋP}!ȱKoDW&?[IZGb~+oeU TM7n9cDMcXFҘ3I$(~(RYt?=vӮ٬ˇ`OI$ <pHQ'A:xpbyK'2+5HP><98VtXzXq=3@s]Z5岢(= !I 2AVNRꆦ_|(r^_ }Vmǡ7dQ͒~ JrlYurTWLc@kb[<[J[Kd8Af\?[+ig)a@ \(kuL!RDVxͬub2s0b}mǡ0J "Vb A^%Dɦ 22#9 `YS?@!ҿE| C#0{/T.ObPrL<{\TWj+nXv9sH@ݴѲ<FTNU.f+@|7 >st25А6nb7l4pX[I8MU\7x+:yvwi{zq(27̆i Yd Jd3#Ά\*ǥ|=:CIڸf&N~p+o`"=^zD`AW9F~ S8|\WOaE<⓰]+ƥ_>+[W c,nmTkL#-uZQlaf )_ G\&o>Mr\͇ܸldk/yh«Ԍ骥cW0= ( yPdTyEiJ1-0}p"3<ۘm3Ƌ^؅^vn8I7/* ;VTTz/ >Y~~)̆`W]'5q*ĉuW(VLŚjUJm oppA|-'?첉#<%6/Y8 8MEДGHTcî-go)~'^ek~͏-`  *3džlЛ n \T='JN8T9g ֖qq.~jqD/Lbsk `*@Gփ4oI ,ͷ{Dvv8^UmÔvSnK|sM Xy6 :ɖAʃЫz?؎ /-9.i}aA̩jlWmB86iW!10Si`\ jG9{Rm#, L fУk ;zJd>K+,[6ۿxpϼz^h؆S,uNmP';a]}^φ]BuگI _gQȃ.`qKi%j#Dy53n꼱s?ٖ$^Pbv4Pqa6k aL%#7k.29NHz@+f@ c NYd ZhyzcĈʃ4D^sA@wآm%xX4H@'a{e/K=0y '4utQj&[2"ݦ-N2 7C'J5#|&[l>d-5sERVQ OLjW=jy %,0PO9ێ~w4gcW뼖͞Po<ˆ*aph([mUmc s>Ld+J@K fԀ;cHk\t ) K<$fDB'ma@f-Hw^͑8@5l1 g&F89xt4(YJ8mf^s=aC[+`nX}+Q݇}ʡAk1k7(mg Xb&~WsO_{']J.;`Q Aڝ_lVGXiY9xk%O;]$WEz7G$eˑ4>4LK*&f9<26 %䣲f!g/&RUfnQETᇍ2@ۉfU/^0̵W&ܞqr|+R6LLoHUdQ4h4jyΤ|f&\ =W5LGƇ]e~3,mf6B] *[6JgSe@5GDm&}s3hñ5]1@ ţo.O`T1eװMN|q" H jn5X^ Zeos]J7U܄D;NGe!z I~&AA-\3. d-8J| l_+Sg8<6*Pp]P8̒R-!/TQ\h _!3f%Џ?Z_=Qh '@ .Lj\N9.byt.iU~kc uB̭#6`գy'e;Ad"n. Yfe{⏾ŊA̅"9!jLec< Y*@`  kAWO`a4$n$W.{? ݘu'*oS5FJ 1YLMWa*wr{%wNu@:-@rnNNQY6qE*IR;dد+QVc}3n/l}rhy!ױ ud:KsN{z?q]JBƈ\k} [h_{eٱALu/,C ì;Ҹ]7jfWXu*ԗcJ'=Tn9C?4"<THD_9{j\W)?ucBePy_U 7"f .YfqZ~eE1]FDHwɔvR; 41it OȕmNA#Y!8Ok()tەupPPdͤb,X==sEIai=U4e1ԇ/clsf] FVo"d@qܴ|ۗ9spdtDŵr]A%41E2_kqE˪B>`2"o;^!01Lx6 3,^.iu3 _Դx#k,jU}Ju~7$_iiL^T)y% l^a\T߲੄za ǯ37:BeVEr`3]NDv|XLL`jR4@ _ ߬05nOr¥ ձ'Mge.X"pVhhϼ0u'r+H}˲Vhh =*P >>a[Zΰ>܍?$~OGNO˩ u0v"XHnIW#,!qHQ_3R @ly)UcUKu7RvǧUCO DR=詝O!8d7F\˙f|)vb`xdG"ϺՔDa@[oV/s);AN1G ot)Oohi.5؎ú{Fl84rC0>P4yi?Yf3p] jCU@]˴Z5bHeaա|mO/k2g<2s djԤ#gN *+.Rwe1m_ET)'Gw~nuqe&Fni٬y%+;;RSfnW@nM%g ޭwh0(GPGe`f~J{zB`Qm53^ 0Zҁ۰ c|E yZti=6e9[T_vHӀ$o֚T]Ǖ݃,!(($TCל$51]glcDƝ] c"a&OV܂gT:aGa_TH?\G,_s',3Ooϴ$[ |A~ X?ne~54iB?Y^wZ#>Z4(edY{:[׮9~U.I@J#3Iv2yXARBK2[Sk?0Bw7'\Ֆ2Y}-cpyϭ?S^l .3?@" <80D쪣 q+?4fk{-ʮPU :ZrhS>}*$ H܅Kć~!&6zVoC&타e.N\ͩ0:εqH./K}C"<?#e ꑋ1P}5Bd WRPu䴆C{1RЖ!ٓ s̵C@ ͞N6*k=02i5ޠ~2:KTcDw 2v[$e4Յ)jA`j}~'A`\hjl6Btf4E\38ޟi6ᕽ{ܱו~ԟ4wX9z[8x$x>k^NZՉgJq&&׺RX?'R)-p$-迿ɊtJ`Q{+iTbmXiBaj̷(jwɯr#P0U{" -u/R3IJ *S\_?0%^N-ҀAx?6XA/P2wjppiNCt蕥ȁʄK_׊SfRJr/0q̇X{GHqs(e#Ȩ"T^m1ҋJj_vFFˊ~Q7ƿl6QTy%>"}w_gN#rsp\m(,Q)SqOD"䌳UVtqd irszWIh"Q#Q[b.v5^2lEx :Q E&[u# #>;t?NOW;֟,ԟ ~8ù=ĎK§b rт)$˨UyBb8|?D͚}9~pǤW&9/d]/X<d"}.GEX^P@? k6t׭(u {B2rtܣx^,4 |*q.! PQ>p`&@xTOV\BP2֯bĴ<6/N9o9] &;F$\dpE} f0G3B!5ņ? InH\YR]R&SɣDu5MTpA0$5'psgC9cY#wzK>vW<;l /(A4HrYK 9H o8N(2R^q@5C=WD~wdPfX+cMDh26Vo 1ct&u@%ڛø d&7C̃Y7 #8HBN?r^#{h&@꫺ bhj&#"Yi3Y/7nW^~+=Sq8٥> Ý᧕yH~m%K1*dt]PѸ/mJb^C-3ХЮx}|E-a+n)~}]׶`dl6( /rxdK5md-1-ї5}GOl #L V`eMiU1p/7˓0hzW {j 5ly}ExxEη>I>OͬÂ^nG{hnxY&^58-E4&:6Cmȸ:%Ѐ!宑b\!%(P WI^HR`l~um j_+Nklho X!If#=މD42M@ۤ4aIKߤ,f.bW~2Zy5.iT!EU3-1%kpĽΐ~ju:Q~MTG7VyTOy9kj5 ʄ?]Z ,+3+e_:6̯&өyćrMi 56AUrlq+ I뵨4Xq PKđZƛ 8k/>cbã\M঩/M._M*ݴl?W$H/J%syٗh(`T6l`GPnyo(^oN>2e2m)TjbQ=n{/r?KJT;1HP6UkHU,a{ ^CZʡa6t,:R;҇Tͱt_[|6Cň2PޭEgzI}f8,-v֏u!E]Z e]:xgh٥o g 7D$F;ddaZ{5 r_scyp8?B W[cv6_֒2cVYSgG~˙eL,9geӯr׸H[ZK^6F1|jX{="bK?7k~ 'm(A( m臀U/XrL r'\E&6Q.|y000^QEw`lMrmHZ^̷~?Zji: .[qޅNF$#VJ83:@M_ 6%leKZuL}D27.Mu|zs5(V|Q;Zqh4 "aʛ9K7Ēv2͊솫0Ak|C'Ѱ钅ߪs< MVKGL.d;y!mwX{&-v\`D'C7tׅN:jry@1 'V[@!3ԯ;`lK>T?ľ|D *`^w/T U[1iіcM͵.\d,aF/Ns+fBY,.ȯy!4zM /)?WQd>/9wyS~ e&&"k3կYgI~Ȧ7,*3_M adx|<.N1t²>lpU~p"{̝K~mB% ?q70؅Tѭc!qǗyc&-gz7'fLR^SMY+v>Q0qb/|:yݨ1L͹fdeY&^:MEG*N9?'!#? 0gX\=>\)SSbS<@tGWt8WA4ZV&JY(̰&sG4^lh1S2<e#H8˩.Dc*GjL=QBJu?wcBdsmMɱ?u=}&1w5 wp>Z=R״90o ĝxZ\,ۦ4'H7ԦIt) F X?d~QK݁4갽#_׈W6Oc\+Y?vRX-,Gr"kxd}%ZCPށ e@"%Z.Z]2Nī _2i!cm.T ɍR8:Vz]zD/1~c PPaxk.|aݩGؕ=:wq954k?N+ /*;/5uFrE5&ӹN_|Wb4F:%]@ ֭}RdϤQ-Cd.cs_W;7]ܮ|@2mp?ecl DDa;YTҎccWg\k C֞o=?'2BǟCt͂`=]c_o!X8ڽN^!h B>r x^G]zs_$Hŕ]ZNc|q@)e%u4>Q#,zlm/ Rw (JuSC%j=J]e:Q'*Cƙ):z:]-]oVO4UҊQ9NcRoymgHH\.lںj3 m!Vpa,Cēh|4Mw5bQWL1ƴt+ H!#D2qSOW Ye R 6"XZ: V <nP4>S$߶tnTތD`/dx֫ŋ̡YyhK#9{~:0;2>p~%`A{6R1Gr?a$vlE`u  [%xZŻ hIL$zT%`NRK x(H/n*e@UkT{31j^jٔz 'uDq ;־]ShN/,f>Mh'W5> >#{ĭ>z ۘ!Fd3T\F,W7P*q`]ΎFUI$s&|Cٽ` @e?TtPcj)Y &K0qw,/[t X&'=֖Ez'%C H1[DsR]%lZ NqMBHx6޴mHn[R\DC/<'>Ҿ/lx"H#AN*k[9i5N%DO0CZ/H[dDA0Q Ϯ/oeA|p9Kj._E=|Aᙒ! X>^+Z=5l*ec5_&b֦'{Wi"[Gb!~c&ᮼc$jQl7&.%:CXj)Q{iJʼn$g WGs_Y*q,\)ۆev\/x8 Mwo$N[ḱ˶' q;wcz'8ބQīD%>yb:~LSN0I0aŒi-d"4,-]X4h@@=0/= z0Q4We,=[ -|$!+WFԫ}xtn} I|` x8V?(A$G-Lk $La3 AarT;cWWx,خ;Z]ylaRxv+Iĩ! :)Bm yU OLнա{ Eێ3+W nwK{ϲb)8E (YҫNrSE3{GXRF\M~.i"5c^R;7qِ!߱N]bYxU˔tR$%j&O^/j6(7. rA̚vBJvb#0(b2u3>.>WImp 7هNe 5b)ܗ Mr5bV(#LVdW֖xSb9!]#U;?yf섎@̳V6Ymf+5} PメtdHl>Ud&~d~Ez1FƸad`{X2hnu`aFE~xدYMjVUk_4_jގR2~} Hoff387 UdQitRF)AԙrJ;L&jn-XqP?A-! ;_-n nHm@033>d;:ӎ.`"EMl|VZDȐ^.Mh$&k;bҺ0TfhP5ům*a±f JĎǘ;w%Cjr)ӃZ >{ʚl8Y;x6,Hy򆗺|ゴqy7RjAfp%FYzNz33ipxqC#_ 5m>*wvmߪP/It} VzlZBNYm֩$굆~ei "B)E*5(|1#&Q|Uҷ3-=N jJNklYB3f㰤,{H`aF4uٛ)]7e `~E}i?/VCaIN.mBa9iDڑ` <@s⿆c?v{wv=~:Cܯ=syK@Z N]סE_n%ڷ!z^BJohz(f=gs|u$4m _P*@Y[|1u+)[]~|9,UfC#goLP/c3I3OY<%A%{@2h gbUdN%T@@I/rX'?z/GyLE;AN<$coG.ebJ5/3 9(5l]dgn(tEXM<TQ)ē@?fHV6Skӵ_AS6❂H ﳩ'.'fR0N]u# ցXXLx"8DߵN@v0V*ay7Ș6o|"F>zRd-*I#lY_`P)OYr?ZMH6xm|rg;rJPf` ŧgo"!VXWI  h !0(PR,`78oNz#gH1H#yf"yd7@!k ՙj%o+ofNL_D׸K}-OmL>ۗSagI3+)%Av$)kFC0_oB)"5;B܁d`xHS!p6a(*Hj aਤ,ג۟GZ$G0\2=FVQ1p+FsHĘ(T->Qͤ1Nͪrb(![>̎[m4KvkV'G?O0 ).5k"lݼ(2b>ӆB~Nm,RxQ6H(*\Fay1D5-]50: (Hڱ }zZ5? {SgkDEѤ ѝTz+ܼP.@̨SȐFڦU kt0Ёb 8C8eɘ/]Bzl)eWBB,~%fr|W(S>%.X:(f2T殷OBS2@.8hլM%UEI*xMpDSc؉R=nZ\7Sy41?j2)&$2ZwÑ -N˪mCz@M֧A?YwHj h&ڊݨe =\ b/C{up ^,d` uwZ#Q{[ ,}m1IeA/f!o}jǾyg%/6gCe>[ܵ=y)\Ϗ܂#t cme1xwy\]YCq2WS9\bq;6tR}@%;Q't)T1p ɝ$t-CFL5fvdX#Vbx𝜊d1F%V2ũRFCnG^)mwѷmY{;E)*q] W>Pun%7mІG[?qOrDbjU"b Ejll3|45 Fn[ς{FpOIƜtK3 $Z2*]6 `u:aH2ޟL˞o!`4 8;g^#C\$l#ubfOfq||\ߎ5Ø$9<9q.5:j^ؾoO\)qWt0E+y%xb3kj=:c:G1]nmn[!0fbQ6(j뺡(E$NS{n-zK]1i ʧD8j~~A*ɋo71_oapL+M& Ii8t7[?*){8> F+VG䬏A`h (@Jzt߯"g L*.YeS$ҿ? /g;Q ra "fP G~^xUɺ&&K·G姥Xj =*8ÓvDA=/ ` v|K1X|b*"D26((L;^FP)n{?: ?7CWP'X!ăp@#i _UۛSg7@Տ?|;X!9;"6Qz2}}-*?o@oǵۃTXOn7e~4@lhG3O1Eaz&)r ƕ.E6 I+v)wTV `Hh_TR@[i3yݸfP&/x*w,.x:Gr$c(UGϼ) pwhbFBpt|3tm`8E>J"+ՍM3{9UoQ"l[(Z%,nHJC ,Nɔz\ ܼ56kOcS& X *I~V3#(CB>%˞p"Eqy CHDHꌤqOѺZ{jG ~ܩƟ(1.#e]JCg ~PV zVt?RNxm{GUm UJs3R%;rk?(( "n$ :RIGdy8%+Ŭ"@:(`g4KП @CaOΚccRQk˛Rр0EqxTbwQBcSB҂ͣ_9%}xx!^1zrʓmڃ+ ldyISCk>du++dxMjXdA*gWJnߟ2ttxm[]7?[EAX]G{%)ⷳncA [ҵ&' Qne>Q&TL6F=d?TNg]!;0[u G -Er  R]a֐7u@Q"r KWR|̼+mah5׺-?Jv&DyMXZ[*tb5,̭gR d':iLq̛>-s=RqIdц_0XDqR`Ĵ(xMQ`YemUn~nu[D3vAO`п++J- h~5gcWb_njAF-5W/6Q݋z$X֣m2L/mXQ[\̦L;Y3˃Lbm*+>DDw}ov%3#z s3ujA/ eÁ+HFkWRDPT)݇Ǻ+թ, eǘ\  bPA^cJY?הSyd^ l8-qb& *!դm]~ O,|!ֈ+rjW3:C/Y9RY[aO Ga (pV\)1sևrťBLj;tٰka;7g̜M)p}ɛs-z>j寯t:ƹL-=syO6$&͒C0֚GSwide8a {@f, NV '$Vx7 6(ɺZ2{ m%3s6i5aѹq^^'E{%P_R'^v{`d2Air Nj~ѫ"62*568X 9^LgC;B: o+#s $Xd` ngV/U (^@gID72WgYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 59e3f3187d6e1edf94ca88092c59ca9044f40ba3 61d13f390a9a8d1e31ba2f9695654fca769788ec 6aa71802aa95e11ee72860ac813f7635fb95e7e5 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd ec404475baf2e7d72f22669aacf221ea464457c0 fc8203de16c61c092238a1d5eb780b1e7d4d11d3554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a b15d30799cd38078a94aaefde3a020ec2efc82e87b3dcac11bf41cd22819c29d65318e5264ac95d2