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   81DDT ]% HOL-Decision_Procs:threads=2elapsed=566.662cpu=1085.156gc=97.876factor=1.917zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓U|ؿP"F&Mm1tX͜\iF*45= L+e7f٨ӑ|\2YW<1nhVs#V$?ֹ+s%0!O v$}XD, $/+)鑀ӗLt3y=9Z'vg9ks[㐝gثD֭D8KUͩₐyڊCnl -M $撡^g_] FWzˆÜ[nqկc99C\[B7,/0Do}B _sL^@)T X$ `s,JɎF&Υ5*7U֟z#-}= A}}^SHB nN6%HWM$f~}Pox,h֗V;di=zfHn k-ılE "y x0s߱Pr e8m 蘿h.[pO;&\6Xt   accxWi@nߌZSD"مbF;ecIL4MA߀/(3빻gm߿7V-^ 1ivW"um*yE'|'a9^S,g|:'\%b\ExX|/X HGHCBӜ"SW&5ܜz._/⠍Uξs\ E3٢H{Ƅ_U;űT/l-BhMi βK*WiYM&5/w-0 t9_k|eiz'b1DIB'"p4:0)pwq{Sj IG)Ah>+5qȱNJ<`!7%:E.{gts?o}n0tS_B7<^"q$L*Kh(%K;'Ȫ%z2Ez #U)1<!,;Sx[31c`Q`}g $L[ϱNy^Jd ˍ*U GjHlڬ.,>.DJڡߒ|?}R4yԫԍv&\oT-f|WK??-Ed3NW_=ј/Lzb/9(< (ED1vZ2nb3@Fi_hq#_#~o <6MB$O|s qK''GPh!(2蠆kQ#wM5Ѡy*\)Ǟi^i*􈰉Vfd7pr¿&ȝK;U /̎Y 1 HOL-Decision_Procs+wAF[wC 4f*IݮwoP_1S9a7ZALI};%񢻿C\3S:_8oQ`E+"bAqIq@;2oNvby`k &f,%*9z擎\A2zHpg$#uL8'0mF7%߂ M>| ޺4b| I$yd˗ sXUkAOsZ C4ԇXqZ x7M+OQo EH? ʐ蚗+<ik5%T~,.ehRO.K-Ԋ3;}k%mVr[oL,#|6ـ9K105ca[kNeQ'/10ļ;Da(2l]p]E[Buy@06agr˽ QXG"tb U^`Є-BV8p ȉՋާ$cL8AFќ"Ϣ0Ah@jgҾONCiuH,7.QA53>C?~Nl<`ޞU [;<#_s2a j4vk${&3U>= ӱB""Z!/B8E_@j@?u]2dCB7?̧eS'N <nһFQ)7OrB v Bǂ3:jA(t6\&-`4= .:% @蟱!+B|2 fOA- a:!XyHÂs *I3D$.;2Bx6Wzf6̌hSvk9a/& Y~шaNhzk+Iݤ|ӌ9C]R0Q5O YP$3״QSTWt!{2qZz^z#)G{9ϩrv xfCOtg}v)"w%L{lOMppEnm:D&jyv@7n-q6Daq$\(ƍfz'֡$ޥ=1:-ȂTL2Ÿiv| ğ',tIwPj?OB6-@ bw`&Tx2+W\Q|z+/?.چDL蟢 8wvg }o!^Tq5ponPѤ?E bƣ)mM$uJiPLmM`Ll>0\$D~5H`cbӄ/*/?2DpA':5Bm|v؂5qJ\.H$5DߣYhDUD!ՏAV%>HBWbK4R' j- b.!~=qFx#z35ojW?0Y dh~)zR,iuBn$}[ cm4p/X !eD2;320*O٪$&V QK;\S) MVpZі | ikOFr tx\Ԭڑ 3Z"nƆme4 r,%N+ nD䬢)6ᷭuG.I챜K=4݃` O> Պxib&6oD!ʇU'A2 .xUY+]V͗Le8z_Cߨ%_Yp:} f`{g#tK^tm;ރ0 j8_w@9: \)i0).kfgYZ7zXZִF! S]ŗXiɟ17L? KxlWP8SաM~>fٺdd$$+Em:8aQH-DzGq$cHeugC}P=["C50f^e :Z@ 4or)$ Fղ]t9Z7ۭH \XM}oNť=L>ŝx~۾'6܅[uU\ȱ1Z77ga@{ ^- a\EډUĄQ,cgL)&8]A~zwoՑO7p3&Ꚛ?rZ*1~MCzuxZ>; qa4܍ M.p ڃML%Ǐei\ "  f{yd9fhp3Å?ArjF׬ǵzт#9]<jn!]PŧFlmI^p<?ǙU"P9vɠO{#6?C2P%,=xI]LP!Mbkw c&%6/^1 :B!؏s1ĪpB_+: 9l ñ;I@:#_O>p76۳Mm3XwS e?j?8 __@ כMc̰Fcåoę4|+{_qN刵\ |\y˻ٴRQ#!)¶S ,@d/@W"yF,G> fNs~G_eb_u/6J*`?N%¥i44BIu~0jz/ =fSG>l,JϩR홝6"ʩoE&$[6IB(]l_ZW1&t-* _Se' F1p4‰?ğc @>9<}k?/Ah_8K&[e-4,KRfz7XU+ɋ\LV;fy fY8N;|1qCUnUE: IX[}'yƦ{Y9 yJ(M8njןcRd5ySa+es?yʒp0XG?O݃:wyՎ*nߑT8v'5Ϻg1t浻B*]3(:(FOR4iĄ@2󻬙c)!V\LRxBeo'P-/KVO5qV2]:Ip?ew&gIJqKW@bx% 1Mtdb)_\,B/XS/",%`s>VHpnO!^}GUm;<Yk#T܏sg]R݉\L];يw64%HI:Yc^?s؎l$ `Pko ؔnlAIdq(zVtTIjHQWc9[E1KcF| S>ykVxR,(2hjGIvd mniϦ.sa/1]l2IfwUI^Ձ>,pwʞMn9 y>(iIԄyn<+#?А?X3`h\QR iV_M ffD&c+%Ґ.{[S   @NȊq-ccNeWsx0ѻ * ˽^:+ByO)^LFQBڮjTgL|zzC[0q4zѣ4-[Cx7DG]Z!R5v#ie1&S6ep!38${ p4`4_(#.2ݒvs NB飘'^ㄷ7t/>쫫>x1%xxN7k$#'1P§H=DZ߳):2cyKB9v9 )'p"Lt|*jzc ZI9M2X7v f_SPέF/'͘a->S>EwiE{*,iKI@,*:G&+w ޑY.SY `*/ܦ&hK*v,b``ad$-DIQכ&R"Qd2ր}l;{l KZP ƀ at 2yUd4Α{rvS_wX\yTAaҀv T -Dm ī6۰`fKpٟ"]屴$|>_Vy#17 }i01TU!HP h<%fՐGZ]=vGmc%bY]vb%gooIm{\5d0_3Eq/ϑr6c7?rB"$r{ԭU;O?8WfUPDl>je B_؇W]"8Tv&%.fe lO%-I9+H1}p =Bh$7#D8 r*~D~n4'v[wH"%&E\Qq~ |kd|漃7m$UFw.r " oɑ$# yH鯻UZjHX 3Yn.#8aadGf5 öSw!xMg7oh1Ećn&Q(RzطOZ=SKǕ&[a2ВoIWBO,7]#8%̎HC|wv;ׯTWs!MycD-d т\jzw d-HAȨC(bhMjN+v?qvK{'$Շۢn>;Ky0&yK +Iwg<$dA\%Z.{ uFO¹1e@^8a̫ZJQj PEh~+):ׁp"eߋW<6V7 Z%8M1K=G,Bޓ uJkڏC[3Lj0,.l[Y(߀Bdmad"O:,(; z#PHA pމk 3=J֨!&Í]81.NPXڝdz0Aȍq_7)0Q 58Dy;߫65Vť2***#Šl4HÒڼ@hԒqF foƹqΪMܶTkF\|/m}[J'C F +|ZSDW'iTò`7v>Jj(u( cLyC m kw4 lPmUֽ4t< l'JLGƕe zn2?Va^t37-4S.đ]rς$09 OHnC=|zixCRt Dww Wfea(ped|{pa,ǰ繧eJ/^:UG ūgU X:c~HIg3' njm %-Ȗ?>]9о惪0tedJOYǿ?"o-.*VV7W+m"#w!Li2 Ild-O"4E/=Qh-K[Z8ƶl^{t*iEUIPvi+ȇȂ\0h';W Bm!$SkZ^ӫ7j: nP\GUB9Sqo<<>ÜaqČhԹ`a},ܱNM3ĭ.ɗ3b1D7'v.\{JOyBy k;NW|r\o\}N$btlv2qnzd&? D BRW"9~ip;RBN:Wu |[-b'rPb˽1NJM? i\gqd;!ؔgQh[09x~lg4W)>c@jN!4z=7iUƶp5U?F\W$KH4ϷnOŤQr^%3KFYSrE'OAŠaEW(?Olf`Ǣ(q m_<7P{dm>a,mQXp$;ٞ H߲ky+#۬nl |8 ~+䱹_s98&1<5WYV#ZA? rwt ɐܰJ)!„a޴N`| 2 S%#$`H?~6ֳrG_byOe}}蜆yBQ*e1}"EѰj,ilƿTC̋faV&w+WĴ^?uf1{+2?;7AA\I:TC9\ CxYU߯@iU-J!L6ev]E0|aZސP mXifD]duufTOz"d1 Nj+#KssTEmY̡BaZM!j;P# g-70krŠȸ .>\{5>2oڱ y&U 9m]]6ʫ{"ֺE=|YHҟ_"xHb>Π΍!+8;Β/20Bg* "~UPWL<(>RcS<7 \Eւdes"ϑ Q'V8q_`k_0>: ;Cx/Huv7ս4_XrA9rԇ6oj5P/-6aqET K)'l079 7BwzbH%R#Zc(]i$8dA'),w6uzHx-|\vnP k]ܖ< &v#;OB..sZ3M( BһxXދА?)J8ҍbd:G7[wU"O[+oK WTΦ(+߄>?4b[bqcU"4Rr[Al.O* O<% RaO:E 5ė{-5SѾ}7걎Yy&Dr!j]&D0)TR}`3:-k'M/.CGpbw΁АΞ17+YLZB~S&}u>C-lUVz~>l%FKDU򊫮AH 1e*W6觬򵳊*Mh҃1dt(%P }'ha%I><,xmXaƈOAf\n* _ZTHc} kS\KJ!>W~eyWnꠝ/$9jܼ_&)㢚pG ;P'06x:#aE?)ҁ9-3g/C때^`P ~1 Fߟgr\~1+(x6MֆY U,omO)afsvԔ*N&  6yt{3x[Xy:5YHuctcFMB#ӮLZ"̫#P* 8Lur0Um[L0 v&ދ?YZV朌2?BΘ =XCWHkߏl­@Oo-oZVHZ9 okJx#=oCF:kq.r.Ez6T},!pͮ@gLgZ})O N^<ʣĉD\]4:W ^3q׿)HP@K@3rgxnUx8p$F͔Į BĠbZ pKS%LtЧ LWpݵn\Sn^8`~ECXz{UClirwhAIsdT଀U(q_/5QeuQysm\Z(Ly͵B>Q:+ofZ,S3],.8)B4L8Pp4l%Ea -Nˏc@KjAeZk?:)5S$G q~f},x:D?P4GVEA%WìX%pLGwGQ8 vD4Tb7Q̶`~ȏ8KTf+nlk[,I5 z[R[R܀$"#/aTt%^` -I:k٩-D3h%MIA ۴aUQ{_8RnNHyn06я0<%kv:4D[憅.4 cYET;Q ^NHh6Mq?BÂ˩1d| =}U4 wË 7H<]-.F%ŎJ "ixNځ%OV׆6{6B? &yHjWKv;vX6pjvK<@#SEEٗQMԈ|-tVFFl>ΘhK .evia)uOj_+Tehs͚:(b'ʮ:WtoJlgco U'RqލCrH:uCލNRxXZl#[t/;;d?2a͛ZY&'/fH*uipqȦ}}KjG?SBP/|@#6~eYztf6=-Cb6OwSktt8wL*8X?rJkB)Ք"^㿕͙S8<w)^jwu@TLY+;uG&U΃iI2FnaxL@®|@df?c+/ANisWBx ]-v+$ cN-K0(' @@̶~īhyZ>VFUN8o5z]v؟?%0Ug]0<2A<='JOCǘ`4u5sd2%anPqĕx- F|k72qg=w!D~Nܒق d`8~w2iDuꨢ5xg0BzYwp[䉁i5a.MˋW"c`bY_,ُ-E/Lrcn7 7A⪝ر j7﴾TVi#eDӇ(#\U2.6+=Cl\ʩQ2ۜt^_ ><3:KaQ!7@4\ꌴK_\hP$dG5C^ILwq5wN,:Fe eUSy;⩎Z#%]x><JmDnsyd ÷ݘCVMϑL/fwH 7zpL:g~p Q&<ܸ{গA3 Nmr\t{؁,=ٹ B+ݜlwbsutr ܬhrC{wr;;5aϦ2r) Ή1 Ա,QvS~9c [(|XPJzrX9VQ.9lQBֿh1Did__Ѐ\IJl{%cn!ɋDEm~?i^AL]=^efwնː>)'^n[E(I] EVtf W!5B~T *¾}7XL #EhtJfXEWK7β)K5΅y! F۹#`wutKГ1y,nkc';o Fd93{T goĪ*B ɝQ{bnJVŞ3Ҙ*VFO>}./HIDI$e%㜡HBz^ySX }EW٭&dpK7+ n s NMfC&!C=r.C).P9w[ey1vPPBa NV" Hqkٚ;ge2Ow[O kޕ~{Y:Q̱Z2#PfBk/:vzvXT 9X /9ԦtR; yr/wSSzL [%Ѻf~&Va>Pfiqp^~)y چTz17K?#0 Ѥ{n蓟yNqm "O*#J;9J6ybElq+0A#pYoR F0;v04RV;-$:7\@Ly7Gx/">+]}9m$_ޮTGY-.tcgD%2r #EThzEJnrMipwKIm0$!f`+Bu10cߟ#qJbxN%mn^YX!':K M(9tǭ/1#͔ D),#qgAqOq)SZï۫sN{v ># gQ:r)z `Wm.]3UdlK+ dz\/#=פH.S^n'}%3\iL/PwQVRQq0ԟڕ.j}N,铡Ϩr iaiq/tuT0`G+Z2aSݳbRݼsQf-!̖kOxK:'%5 rƉ BsXA ; B<&6қH-? J7+Uq> j[#!*ۗ \) dwsI3*N8Oc#2r3:د ߝidd0IkOssNjZkDJ0{Xm4"Re4{P MLI;(Q _eEk* Lg[66Tny%tXD`C&rɏ<;X* KaW[ZYMya7buniҳ1lf<Dat~,(T1;=6 c!%ϿWN VϽ REw` Ve+ηJݐ :'b ̏޽SŪ1gڍNXٺZip1!Q |m1D-l@ 8yv(]'Z:)<cn8 D(M~4JvYm'N#F:O:짽~c. `GDLXh+鶮]@bo=Z=]Dl_2BlV.]oU4˾$yVE6dk>ν?>D8dprIdAݏ Nv1cb$ZgLYN[,)Vȴ(lrop^AMք\%f۳ױFяorH =~8yPɓ#0`.&v.  }#nLlbppmzQ%S?{aJtGDt= ͓[l(8xqWmBi߃&@dFn]=<;pCӇvnAc (8&tH)vljG;[oH)wvYB  gsK #a2~_NWilCiA#}t0BE7^8`mPc!8^ᠶu4pXX(ddfY5j?_U-1[// z+NnW.1bQcjV+ݷ]a .d.ºrj,Pn"noSNIV0Z#ax9H輵i5a,KY% Kge>."e1soLT@C;H9pD5)jW1ʵoSc#G 76:~?R,0)EDnFI3:G ue|Yq}PW4c%W6&R9h gQf/4:Ze{-u>FJ)|ADv/Nٺ~! UJQF05ǽd?}/,l."|ۊSW *Gx^&(ll~xPeuM+L"ۺaOA2h=Q#ncp@CAU6AGv6l4w/s16Ox] !Wy7wmN sy Y`-/t#޷"aǍY۶ )a!u6 >óӃ6j6"2t3r@t(sa)t9! %ls,SU˿]*.:?DI6>jMcDat޺R?t{NYb eҵgr-/3 Md,`[ @k)iaTƉ 9&zt=SN#ww #_E),?ʝh7I% Av[c.,A _쥥`kuY@a KG}s:bs>tI]ix(ekrxUJ>Lsa^#M Y'I#N*ЀJ̞ r[۩30D/rV6rIA ~$ٞiᐄJ`IH:N竤\ee 5F=̍{W#  #8mŅSDJ{Pj8#=EDDϸp?"@',_]"j0A4W@'Cܖ)LT,2Hm>ȚNw_̹ڱȂa_\Cf/+̘6*rg%j|7W][ swY_?q %*m՗'j<#<vˮ|0AZm@/K[VH./ _yqUrOlf3 ]cWH2 =Ddl/Lϡ~dC{ &CҔtL ~,7m<84WLVhB8W_\àz\`AMHSVA 7Pp!jE8i>f#ETiTtf~]0 CMxW[( Fq&qSKo%*jηĥP ;-u1gtBUokIch AQ'E؏J큑.,OrU97gM}#B5_u^{$8 ܲZjF2ac-aY+-2_ɐوɝ3~5rD~1TgݮU|jJ#F;iGn"*Ս*Ka*v!cJ$IIW"S}zmo[(/E;W5/ghk7P?184%kFvs@dх9w OdC1*X`>fC%Qm3Ȋh*oF'83K[-A'X 91=Et(RQpc 5 Oblu TescwdoM`H0'ĕBDK5_ PCA'%-n8΃,1CViMW4p\.h2r3uP'}eޘI| Z[ &򐕣H]y4f/2|v%"_ 6A)eKM~A+{Ih(Dl2@F6&~C+W۪bTu &SrO8P؟렺Vvl m!PU]C{ߵuP)H.|=`{1-6㜨;̭MU<Կ87Bh웵MPHuRaX$p㘾Be4gm! `%RkPQWAT I[G;P.?SJ=r MWrm |xĆTˆm]ҪVʠA Wb8 axTZtǪD&+ Y=vq]~3r>ic^EPIhnymd{`4xڍFDc"ȥTgR?~N'л}ǶhlҢz73xEU{ rkdA*΂@S~bI:6OpAÄ魹h)YPKUЎb^0"4Mjs :IhR xeeR<9r#x}1as&W|UAڦ"ZWMjĭVy,HL4Yz[%*-c 7|i ѶiN,b(P61gCjbЊHXjίʷ;L򓲱ceA\SZ9fn?0.»T)~yUAn.hٱflϜt<O@iف]aA ' zEoWvä3 )}˦] q~5[]vzl_*k5Q= 1wi1csD=ϱ 'h~wyߡ^\)#Wpj7zz<'1? o+ޥ&{Xp7+B)>&Oqۏ8f_Ez'e"2wr#|Xj52xk#?ze,;'W&j5˛)=(B1",ˇ1F  2uVd7V]RL(Gfݝ' cܘȏJ\ z9ye 3T*?:dAm8&MT 8,h{ dqOXb&#{V!0ֶy3jU%iJ;wvM)^cd; K1NXT>-i`/Eٍ eR1JMM!=|oO\ BK3I)x!&I3@N$0k#o OBW+Z I"x@k6k+0j.}#r-%ߣ ;+Fх~::`iڴ.Ow[ 8CA\w<*9)j7-2PA_-Pm&" Iډo$#߂(.\5'IjD}EK3VHPd.=NQ׃l폚,̙2_V$)oYP_fdJ;?>e1ыk(Bit:DzKuȨް'z<Ү{8c-͑]R%Z^a*&7}t [1A7yxshY3 ѷ&BOÌl+>^AB-RtߌaVY&SAQ\.x+|хvpkQvl塨\4+`$Bruԁ9dxzkkKU6*h>XdK+H8 t=(_H1MV#vr[ҟF@;z:e:pC7 [3VHn6,3`Vxk;*88%NU+:COIv[NF52o&qpq$ĩ]tn.rnWQS}jݚNp~/WW.nN=߸, N)ʖɥMK~V9&GDUBZ*> -s(Du^NO𲿻_GC5b5j{~g+5u:M} Kd~玙 Q!E)c~+B+L,JJy"Lq+fOv,O4'PL2q #kn/4~ŕv"W=:1VCe]P_ÝC,tШ%~[r"U}q4U_v'LUWx0jW2%ԓIx)$UZB0i8jԒ]*4@MCx'xPo#9ր-Z-1TO9(S{3{I}yHv#(hmЊ5]ؿ:'ұ ۻxKO{@}QJm6#׊s2m$6R`(goQ0a)V#oJZUpym[q?0yRuqN 5x2v] mKF,`fĈtjw|6L35w+-;Fy}PToNrzCOCJg~%biweŮe]ĭidƑ p1,N\ nA@R IO:J+$@B,P>>eõI~Cg/iZUrRbÿP5 mn{s"wR'9m!*z W5 RMn4?9w\ԘC _deQq3W*8ϖ\<}27`a0pV+5ֲ*mDzLlUf#ZnJy@̿u * J F J wT{CM2PX f86s6&Y2ϜEa(z3H4plt;ٮF* hXm{ggb2ciOjm@f0bB!3,j&ށrⱠ'Pm>ro1KhWYNM҉[گ7שK#) Ouc$g|5ǒa'e(u^{ < c*t =]Cd@<3Ls6t]nuR!.| @i|v_vIRwKyK` .iȖ Y5WaZ4+0 F!NYn|lGaur #~9S2\A}fdhl"Fʻ`_ y9yn"? lP +u9-,m_5 ~ȗK f׉&1Ȓ6n"J5ĥ|`&J|HD_#쎷͢1Byj6q_*\gvu{9%l܏qw!&Ձq(2E4i']$`QDHG=?`GrdzŎyʠoy(wyՀ y-譌 nV0.-Ls-*Fy?\wB u;cڨ^%n) ;;Yt;(o!:a3.?re > \$/1^4FZn~O *JZ82D->5q|`ר˃Nh^@] rd0#sG^l e0w_,]R`IQsAp847_|7swOܮQ kFO{_AՔѳ\avx)[2.E0pe@d9LT~m3-|>6@<=yu>gXI"<vt{gUݕB|JGPb11 H 7G 7J[Fע&5&6&3ڶ~ 91r n^vTv'bor_1 *Zu_Fim[,&+AME U%˾ BV7XkC2'^vJh /Zҡ%v"8K(/K__Q{5)?)'/ni241҆8e݁0rRMs""Wx53_"qi_Y_d;?tI="i}AO"C#bTP ({,jNW \#F?ǕG#*d*b=ݘfGeYцsr: 륇^- # ްi^Gso5WI&:E 5z407L68$q|J=WU4.jIDa/Ytٝ촫d5>ץ8`2ĭ6Ko Fg1B>v: p d Gص೴ߙEVDlJ{?SDx spzlȗx B-V:q!;),@JaL}] ƒp=v?Jgfume@N#8PB w/9ot^FF289M K!-$@T`)#U=]6`*:i :S[⓲RB;o։ mН)zgMK ڜ!ܒ~a |P\y BB&u[et* Jf8!~h ¥`thBiH-F1 T /"hFKxMS,δ,ŝm"ɉb`ˍAŹ¥~+E {_f:n2bv7 62@I{@!@>}5)mdXn&1ϒKZ>gemXG|@m ͜f${=\^(60cA+?MGmcNJ,LnD imIDA PEƭt94=x@v8i3, IR'7^l^-d! g/]L{}/I$Nȍq69kE l:1P/=Bƣ$u1Q4kDb}xŒQsFˠ/5H4't3NoGx f##675ey ^Kͨ]o&ϚÒP f ;^C\qn,-Z&ˠ{!|^X-M]xhـ8F'\nKb|/3L!䓋_U )%m)Nʴ/:NH~pΛx/⭃(ZZ Xo5ku>L xMvaG5*ʼnf uUZ#f7e0+NcqR:hv%,o5:V嬷*M7Z(rwadnͭ m0+[qVhra! ZjFѩkh@jэPeS-5^Bɦ*-0nh k*YguVN{4bhUZ,$YsYwt l' AScA2^ô/m`,iqNTQ(WCd}[7Ɠ69ٰ|Ԃ&FGFdF9ݷio,B}}"ᅈ@He}iq^fRu i^hLIm^! .#/GE^ _;J߶K@V؝w[\Ssp69C௅}.`GΒHJt*"`= .mV_T˿!V&"\&[qx D!±PA.W'tizi jQ pP|̋}i4dq/AF/jr> :6[6Ȼ>Ќ TH_~\&t=eV'w p^7G%-v)rޔfMCXR_4€/$WLm5V7@t_ >TOISE.yvR ~85/Y[cqn CT{T'A>8 R݋F8L#$yn;kk^L-JK @",;Gwc`rd };qae@]>|C^e#QV2?_;Klׁt֌PF-ymǣedW|mL}< Rf[]uۖ%-i9Q&`Z},P G/eԐlhk\ x "֘85Wim^d/lN's~_hz07pYo4l?Jnp{S,/:uvWarǢ$2 lU|L?yEjr_9v!Qu$~ :_qp__PdIa˨{~Fk9j y*4kcD.cfcQH%?F)FN( bjndkXâY?)_? Ǎˆ,6O\Pf;f:Xi4)jQe_B֓vaucFT/aZS"!Ilrb9=љ7KrH.j'Deg'.mbI:6( dji6P3K|G>Qqe+lpl!ʯDi+wx"5bbtπ:}#wLD@ӛ-, Q{*x AB,-/T9/銑%)nR[kԏIkN@}XjV Ok]U}7Kuh'JγAqYN,j՞;l~\d:CC{x̀⊃;eD+n On6w޽_w=ݸ_ :ê]:fcvUg+LUY$qalX"-w`PE)AmFzN^}l~hn^;^﴿@4 WS~ >2ly.'WHw' _PAY:>he:>!cbhgOI*zaz! -؇x~ߕ a[%h$` YBBO_LȇJɋ)S19+Hd ßR"I5UuAG|6Ul[AhS(|hAš\+sO DᙅЯ3?1*aknZiQvt1aZ;BH\ Vc Ά9GmL&Do+08vO/o'r;"Խ8q- &lUYv܈BFdbg HVM_ s&vQgYZ1b9352a469c800bfeee27eb7cebefa12ff45be4f71091afed7a8a197c38e4fd92b1ce9b0f5e17eea e548908dbfe907487adcfaa9280f64113ab5bbbf e309b151f883e560703ae0dee61d5fde8b66cfb0 a05023136bc45ce9fe81dd6c3494f14e86f534f3 c79f4386ad7f1867fb59e297ad4706e6d1a083da