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 1L, k/ HOL-Decision_Procs:threads=6elapsed=221.406cpu=898.176gc=79.516factor=4.067zXZִF! l]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rK:,m켥 ~iWi@uP9tN l}@5gff@*goF1ve^)t]q^ӯģ}Z3Mݫ}xW!la2GSAיӌ%= B'@)s%adgy"& _bVl4b^?Y5gƶ& :a͠!:z~Tˢդ&97$wЭ ,gjlwڄBf ^+ibVc}m nzG,_XK8aoW%hH(С_Ʃ6q<+`h%,AI#aه 1 HOL-Decision_Procs <P<,oy='Z )z[^d \#$2j\p_ٕQ.E6M" <Pф%/A~>~p>g=q& cĺ~H%˸Ҟ7E3Bq\?:*7j&_LsHrޟ)>A+CrH*#?߯@<*1pg&YtMi OԨS'4Ȝ $f2˺קϿWc٦?֘#c30 B2טӬqN88w>[/p_wQ@T:f7[A|Xz=jJ-^+c~ոߨiȈl1qb>,#-B Kĩ8R0:z|D۞)tQpۗlǷl+Wg&\4QLuCu|`t (/qyj͸HK\vũG{%1[Ӛ] ptެvkU:Q7uDdܥɱWِaCdzz1D"$ttݐl'$X]qp80$|2+ɵ(4@Ci+דQf ah^*g5#2H^fe:YM̛%3Znc $I`OoL֫ ^%5}84Գ2?(T}D7} _yE 㤡 H7}|?:qո,$ذ6-|8Ԩ&zTi\=JA-R$ui32RxEtxÓ]Wp{Y֬ ZjtH5+5CȦ`=X5 DZ;iBD,K4O!A TGWBHR^nTcV ]IBJ1/:'sgP!WD4!مy*rk?Gwƅ}Ea0`:!E^Vi J붂Q(iT!ˊ1)Ч cnxCŜ7*:bQkM/ >g:gF>d bWZA*љNE ҋE%Fީtͨ2[~ވGpuZ ay5q/GUM`ݏ &z3['0TRNHcEYaJpNAgq52#;&9ЋOi_lͱNJǵ' EyI%Y!hQ7)Wϐ3Id4`L:_[茄I7=eF'f5Ikl 23m|v~ˡk2е`//&V|SÇM)V*S6b!"=Xzw/p Gw{'Cyvd(|^Mm B79B(hmvC-Λ gA *bai5a?|YuEKOڇ|p \'sSҚvu"G¥ \,L ˦rpm&nXY'Yt N9z0LX4@Lp& jP& drDd_ft>;JV_'[r%ؼf\^%@,:tg]xc[,.a&<(dIcvI x\V#ו{;iJԍ܍K=`Y"f)C~~\o%xVܼ,[z !%斮j2mG'2_6pd]]TW Fl䁉AP`2BlҐ Qd~NU;JNC?f,i!Buvst\n+nzEx$5M,ߦ=x yL\S:G 0s?EbvGLJq۾6pZqY%:%99ʘtCVzx`g<K=x*N%B+jencvᙚ }]rB!+IS یBc[̏Yyi"E2|1Jg:D#ݺJSЯ]A8Jݡ^&u!ugyD4ҜPY "]H|ߚڣar46Ąs^_UAKzW5oznS$VavD7uЯBꝦ 0XzjJ}v2ޕvgQ\N 8TyQw1e Q|fk )DDR j+(bd6w-)gP=[;qxB݅Z.kŦQ1~Qs(f_i_9(#qzs|P]I-# A&Wx," 'ѮEo€XȂN1s=Hk.NqQe/.bed2PՓFbbi? zFS]CKE|vUU%^|/.;E WjuowFx5mmyyxn+By]V*?zi ڗV$;+Ob,5Cn2 Un ER.PEpِ ˦/"h9N#DzqvYe>ԫnKQE\冬hwnozsKBh- U0aNmA 6Sdw/{["A-FiP_ubv0NM/ 9|R&CӖPrّ T# Գ4~}Uޅe|4-KR eK% q\*x.C]lp੗ZN(x6.iy7sJ6 ^(cz]sḣP-jp~|٪ʨ^q%*>K窝5&8161XU<|ŎOkPs OWq|STD9DYWs<-ilȹWpdzB KprW%\CM"  +DU9,,޽EK)T*fYq#-uӠ*¥9Ԛ<mWM|"R lCNI3BdDA؃9L ŅnLIEl$*fsԍWxF\,,Ԛ%F%XU-6R)k^87iAyٺ5#TQoPS&7&@)rIJ r7=vCŴ$sK|]}P*m?[/]ciӁ|oe L# 26Ɂc+7] _ݷzp #@>Xx Ok pCP.iɸJT!(QtEElQe&v͐[ja ^w_bso]֩?귺D`ױVobcײ `$jjҏp۬*7 ~G(4z8٧wd3ZMٕ‘f9z QfgHb;U}XF9sɚYM}"vzKK'kQ) F< ?NF 3=:E?fѮ6FkyIJ CE#חsyf함cޯ}#RE2{S W+S)ۋtjr`Qĩ߫Qڅ *Q::'!ܗT< 0xK`aL]œݮs뭖+KppnۮzajTptp%ҏo?Q6 qCi^$=.ʭр^ {b|mhשBo"=̇_\W`'>o>Xp Y?ds9hRLxTKKJ+ĺg!] )B$)ݧH5p9gIa"<}ʈ$j?KOs&"Qf<^yk؃SY 9vej{Di#[߃!# 76[![l/р8g dÈ:-cf*n&7ptma6/։Ҵd@LXKCk`{xW9ģ^XYgר?ŲsYܞEgNc{3L;dp,YI[pd{1o״(fr釾't3Nlb–g'I;,]>FJŪyx2N񖐼s;0̏XqĐ`^!u┵y%/*sDpchӱ x SnsqX?C be`R#}V4QSaP{Seʂ1Zg4!V}Կ^'V[.Dz{^;X|cj#LTӟx]6Nrc>?!nrdkgk.$0Pnw 2qNNc7OAvqTG. F9Z9`ESpb;h51]H\ C/5-2v#{eFp<=CBR2SKrzبJԄi'lBrhF!ڧmA+IPZr2զB"ZB%ML)~ }!02.&6!6jzt%DZFiYk#Cc"d1굨&stbgqFl.n˅ԟcRAO|GCė*6e.`~X9vY 0TLL#DUu{sgl o,nܬSp Z{b$"0L0042GnCp26;M0*rS3V4V5vh{ H׃.,p>U=~Kw0'&7[IM0%&Xm}ajBqD ۄKr42eZ'wY_l}\HW`_ =J7X>w{ICwSт2p+M䜢;ݨp"WF׬*..lhգkp4v&Qp7>24EHp#D$)vśeM7fU[M@d=E/: IG#>`QȬoVh-;C.Z7-;xQke廋ٯPҵv.-8d.f{r/p+\5v DBAғ ^m6R1Zr+-J G==ڤNv*f_[r5 1Mt[ͷt˚ETa҆[XK|IS}v@k',̏)^oL"S8+EkQ 򸷆 CJh͕ɘ'a ;%>Φd;{ra㿱d~m:bIqS+LQ"_AQ3F$^۷(=P/X9Y}.Feyq]NP60Ф"rZR}|Xdh q >+ڒ ,oo71a(2Gg[]4]@07 (>Vc3eR3,}ewU8'T{o\oJO-_E>"SMHk|ߜa;@ =ک;NZTE˙@-RnVb(/t]`fLᙧV!l")`ldQaocYnI4oQ43:qnxzw8ƢV&G,ImUТgo;jM1 bxkŚ|myW+iqXl ]]e%!${gA^+ /ghρUGIaӪm_PjoSrZ)x%S+Y,OT n)-`"q;dmxXs.U`.HQJ9yDZ79-&>$TwJ4{8((+:$@`x9 >9ʣMFFNҧܶ˂;d1 l:j.-:ZYp¡ };+n 6j‹$3оH*n8#ڬ00,7%xp\: K!{Xgd|$Mm޻86(r)Zo"}=bBaVaSgaMm*Mʸ{>-Ө>o']a$~,GŇozr{ lr!MW C4#++i$Ra^FWV$ݸq[sOma6든NX`nwhVڵԣoˁǤ% dDJޠV =As!V~?;LB2GME*Uݏ7+{{(IDEݳXKV)],̈́]Vp+6qi{u;mc$j [)pLwG$p]l.^ b55 v7޾%8><;kqD:* 30cZ;_r?du:?rΟ_gXjܽv)Mcʏ-1Ex}P\@=q;5..nBwstQ;f_[g/02 ӑw29UZ]0-)stvma73(]Վr2(OX@Bz ն&nTA@HUTųj(ƅqYFᱶ_0 #.aqe !>#+L(IGCп:S"khI4S]W"qu46E1,=mm(E4'JX] ol|zӮ?k *GThzr1zCpi5ʓW|];~X^͆F>;Mbk pD}<<ֿ+ .Խ֎Uq/{rgQ-k@k/Ы]9HkDTg? glH]q⣑\;J}qk‘]w8kve4G v.BY}\}Jذk C5U}>94c )iܾSC:GZDk^,Y~rgeѶ:ITõiM=o`0ZSx@j䇊+oפ3by!AQ=iv[|cQ vBnQJ]B#Z e[$JLA#t:.c\zOXX|WoT暪% )U?$+' 2EY:cAC&0Z=F3 ` g0%Tsn-ߚB(_ICȦgUHG;9谒P倏j&y o;(rlT>A_ڵv&B^F%4z!.a$FH#F_Pmq6޲ĕ۶ XӋ77)b\fMVHdEo-F z?g/`IL 0RR2ւvLqՑ27ޟ?I+0sէ|1EȽr>4mP+cSmRXrnKԾ^׶f>d6Sdž.dϣ?@w*Yyr=\x@_iv+8!(b]|J4I5b4[B4f*BxJO&[ѽvHUzJhͤȍ7xG/ d7!n]UL?Mv\?/>8nOnؽ3.9`-qS'qTY4 n GIQi>|6[d$/#|wM JQ!&(~ٮ?M7v-'Qw0WH]c_3xwc&M`T!9HA^1 "tIy~=Aχ⨍Ϩn2 gwIxZ9E s?.V?58Ya}>Qy!>N xrTm ~ im8x-A%7ei($VZ]ٕ5tҢܽ(\P_`mK <1!Q: {$eZ>_BNWa).̰.FhczdއOhk1øMucpg9VAay>roEwOZk?L@e],~Z%GM&pH@x[J+[KVUF("3OŴ 7uoSJZ</@Do-%P7ķjvvbwJrcܟKoFXw!YQ4dȒ+4Rg-If+`K4>@&fW?-0 XO)eȬE09nv"۲ʪxcaAq&"_n pLK{ wHnR햷odoU(sҗs},NWƵo!.A-04lJm}&dÆo0- 0#%z zMO*}-Q9R'?EfT<4()"Gu>,Fpȵشi{AbΙ$ AJmN\, m ~CA6kO2 j)96w< h-?&F, <3bݣy`x`)F/2FZmtPgQ.'Xm%)\fMVhJG Дȍc :Io²cZ"}@L׾EEٺ 춮#b-aP,vkwZo14EC0;[ _( *qq0aO xgq zQR:4л4(َ|`eIuǗ`In*a4N}ŝ^ɳh8zjs0jT FȷW~1 _;qo; ^m{D_䤬aQՈhzpzn#gg|4`6]?X{ܙ](''pa96 "Ki- 9z;,c"@y ˔3"N^8`ɀueh)c1Wuj &4馬DMvp@4.7##_#Ҽp[&qr50뎨XS],b".vQ Q6I化XԒSb`cUZ_YO )eK9+)$FiJ%Ydٙro|9HdJ|WoVQvxF)Ǵӥ P<MxH'hf%c`\+x_y3ˁNGǍ7&QF<-WG,c.,NBm-8i$0NFF >iCW(Dg+P>viCEgZ KO44_h̛ 3-޴vd꓈LC֭g-él *MPGfeQ;M^m"LP8_s7 ~O@NvǣP4_aV/^*p&Da)V1I\ÅYEQC_fCI/t$5HA64=V2iָMl=6 DW~F`A`o:V_9Lxj`wcr׆w>}ez*4,6YG\D-v~AZefEpqa>+j}x\3)L8DDKo;_ +=b¯sPR JU"&,؂ *JVxq<`eC, )*Vޡ_sA"dD.'hOqh#{qק#h G"b1q'4eP2gmr*(w%w9*;PEH[`7D?H fFֱlD:K`@)-~ TԤ V3n %gԄOD#H}$oC]fKe@f*=}'JNdR0lf|OTMT7>n}r͎`^z٫J&^7<2<n-bvT`9cp+Ev8d߸)QMHC)-Jj\t4y#)AzUK)sEA8<"CJrqV'0#m{) 6j.tMݔ({S׉YLiGg]ݖ{e=:Oyp>Ϥu,r&RI},\? {J[HEzw&~MxO#Ci`[V ,Ln BS0zYh :\5;u٘)L.BahLFȔ|~$6/TC EY;"%`('@6Aj1%$V쐨6Ɋ/src-Y# DƋ'_G .AB!?F)Pu3<0n*z#P }"9olBNډ>D(V$(,ZM0 t|D~I/?Twy]X':Y-ԩA5\PY$UU1 h_%^M3~0[a@;.(j2OvubayCc E2 :>u#fKOCx]![”dOM=L柵oPVٖ1 Ȇ]a*f'ikkm*(datJQ=of]>@Pɧ#<~]Tn/ѽPZt7[ ұG|O]EPPe#O,l:WFo"dBNDB?8& ~'~ dѩI qšmƓw׋%# F*@6Ct^ך [%$9'lC:k%M6m.<~7ʓں2&T4KbHMS4[3x ?hX8 Yl7j6Q哭MOЋ|?Pf^/ed^/El T(] d`%ePrEd}%;kjB=߱;hT6fsߌG̣wGo5z>/*d$3ķ3+w/.§q]}Im‰X(v g҈9QE\o@ӂ(/ڇx>;#KY*\?6.a!J* dZh_VKe o$ńN9:Y?`! 8UL NrLTA;?GO/qJ`w* |4ڰ:{&뼜#)B,{J*K̜w;Iݯ3kwRu_f'pf[.:tH؄C \r; S D8Y\0՗%MuWRxGׁddrF,j80 Mށlxl\36S!:J)o4$$Ze%Jx(PF/Xن ԶC"9ˆO ʵ& 󓧻V LSgis{ 6oJ+}ۍe@{9/bH|aX ZVe7h[w<\7AOp:M]<'TbS7R uWU(7z5}䴻%jz&.Vl%>e\ڻۇA^ "sU`m84kΧ~KJOj59'[|9f uglyi,S_IPl]4bKb]"].zծ3?jo,efUxP\%V̓`AI a0:i筩XE)Rzk{^'D nǸQYsp6 [q" &׈v24.繙DX&.NhL a9ːS4iSBC *)"oЯTD2/ߢ"jK4E5s:U%^Y1q"8oH"{dOO)`eTϢ=9lSxJxaȀRG6Ln %]os_,5E)p!;ȦՑ3 *\vNEH7"R Ġ$6M&oίe U4!-_R[9Y4">(Ht&;֘R@PKYJjvIrم(MmkK` Ϳ¶Ko<)UH5 #vp[%ṁyXm[2#i}GEBbcVY7>96ݼy(NG-GoJn(nj1^mSk2:$&a7 j~d\s,7ʔ1*+f̠kp@7tٱ^x-VVaZ>qj-4&pXtz|k،>#!Y"ÿ㾦*=qN1QG-*{ĦbsR{S<\ƅ~=W @D 7uIQ-,W8U0ش%tA ^ N;>@2øod/uίWxm3k>apYi2B?#tSCD7 N\ޭܭ!769Af2=+qyH{]UOUxzA}oltq >&JȞv qiA1a]Фg ٶGgmV/WÛF 'ј}"+JJ[)Q-Tfsu#l9}oC87B%!HC%H9Vc ,QKW̎U$ckIhMi >mܱ짩 Q2GVL4QP"]o2XE&GpK2rHqWG$qD|bnɺ |ŽaH":T 7+ UH,AE;xl7xcwbU֔s.GA88ZChUbb-?y)7 )pKgaIGdbzQiwxrʹ?eo6Ʈ cl7W`$%xzfp] M_ȳt@|qbPUZ-e &0,H/ /^V}']Q7nXne'apgGUSl-ˆ8 <>Vla1SaujgzI5PHNt Uk*H8~ <)ێtݚ:񞰄hoit  3 moPОkj8z]跍wD@(w.O~ %|L hɣI3ރԠvSxD ɷtõ5ی9Ɔ"NmL 7FP6@p`kr⯃?hXZL Σk1@ЪڍU<&GYћ"u?փce+GAZd\[KE>[59/ͮTUQ٤i?U}!`&x.(0Y ?(86Dz$)2]:!&߃t?٩r0><VaI4>1nY ƇɆvm`Z`>h\ ]ՙ.*.OGC](kfʵ4q{o[EP0go](}RdLR=m`zd?Gfm`кt:\k 3]bƈt!F5ԔnW__&$Ih=8!UWE,7FFYgmJyjc¤oE$5zՆn[) VaqF#d.yXPxLsjH_il:_QCf X8"+vi~6OoR F]O*y^,pOb3@UM ͉pnb7hyV鑻dJ&-_}(>SdciGϽU?wA&Oo_܄,* $@EMF7qK\9x$@d՟ym_Q޿#+vsƦ:t.qhbAW[Who/" 3 Ζ!ƲZ yH ҽb4ӰMM>v8-̩6/A,H1IdIg JiR(DXDQEnD3 HT99S^aQaO3iƀx Āuxk}|wK<#t^o7r>ҭ_KIRJBH-)Բ-`>V3T׭iF'2N0{kJ#mN tBj#Pu-)?M38@Z E:HR@pȽ#Aw.V_ə(NS='va.<@y"F@[JB#?o2#%Ȍ~Udi&E/ H+`WsbHZ2z0}u7d$0C#pؼb墈ȿ;!Z")Y/}3)'ǏșO8raձ&Lem6,nu!l=i jT#5%Qk~@Jn̞fDid (b^a_\aottPu7}[.3wIң̽_du%9&'r ljc`1KqvP;vj R樷%OH|.ဂmٓLLVP俋 &'NDx rZJwbW@BY v}}=K)Z nY1o r-gҊ t3#H"os i[V ?=a]q.dmoU}XܑͅqH,٨ ʦ"jJEg/?%`Q^2^M̌I'z.^¯+ ;r@`yk%킫.OZnk;Ɇ\_MDO .p5ΰXnU[B(pXsdoQ30ޗ゚e&RO0b ֗8}/X"lUv|p1F^/iז@fTLqBA˰W7w) ,0w\^ʋIS[r$g92kxU_Yq@![$iV*C"̀3DZݟG9Z;0&=`aK cIn??JaO Ѱɓ}j$їSx!*9CN0ގ+^\DrzV`FOrR\Pk΅ָ͚DJz7ҁNwg2/Uhb̺69-R!*|z![vv!-i uX@]Ra.-2pͪPk;1ap`Nf"$UYh(#+J5ǺpBdAJgZh/S^Wv$&A)'9OX!'}yusD=-qIf{:WbBΚHت}tSl7kzg.{hƔGxFQ-~8d&[gm mh4_ [ `h "۠ԟglihDb_WsTB) &%O cw` F=/[́HQa|IyN!9Bж 5dQ?fYlkҨ[ft?ȽM$'iߦ\PwuNd9p+Fc8o1sP?7 ^3+4A dskQqݎfL8 J˕akZMtYwV9 叨ꊔ$7:_kق b12tQw?> ZdE_h@;E=nx)!3<ϝf򇤸`ĵT"(~U,\'Xy$Ӣ毦?g_t0>ξk&$|rcq9%[TQ$<<$2A8fPtB~];v0+@̞Kl[B2$9u^^MhogRzE8Ra._Ha8 uLi(8nPWՀM0J'qozR/#4L2; '?{ f:F28u|%$hjL5 d^ h1O2fEN+~}ꯕVaj';N[Q'O )k[U,BJO) gb/+ 8tcyI(ə>`rfpPp_^ (H`翄UFյ+6Z2޾"0*Ll,~~{U6K 0&1Gpd_5=\u.2N%sOH6 0 3,+ucT PpZ>~f|&N 7a!*Ts[h]$_PCEѮp0W-W4Wӆu{'o<9[T;' zx'{QhHlX(,@\`z.h/q0kqD7VK.&LKd@Sv&!^**,5.(XT̚@M56Oz^4מ-##xi Z| eSaq-Sb2;_ccOa 6G4Fz{n U*x͚SJ wlji뷽t 45 e*RlX)Hg J.bT!v_mfFe}UPC 5}<ĚLjTδRh &g\oN%%6'¦!G}j%A?*f,Ȉ{ ^ g@}aZ~3o(dږNXqXv>I/"2,˿Z\!g҈ıwR[K\g /JË}r!(~{S"EbCsL͝9*"P_;֮; %($T%,~g/(Cr`8X7||mj!f%jhJ`| f@]`6c\7Hicuf鿺D]z~H(2A@żm(t6\${ N92) Ÿ@޽T넉r!2v]"q8ё|u:*ӐҖ=Frgi wt``#Bxy1BkN5-5Zؒk2u\Hv1O1} vbc,|\.Q4[ RM<[!^7{z V*1=GIЗWIO#Ow>`jDIX.i"\Jn_x /ND=/BLʃf8qN y L{`@J{lFM4Ȕ6*"IpsACLiT kF7KD׮ߒ;kY b` 6K\'ZmdܺIRlxfꎃ*M"TIuwdnlZ85ǰ3\׮?Vh/kHX^?"禀ۢ0ò [ew1+a.x5ŞӀ:}"T}AaLt]K% Xmv9%gkvP2^XU%3e BGxw%̈KhČdy] =s0VFQ=v78<'j[̂@'k' :坚5aAd2&7{^*O56irs{G %~J8IlFr~ ἥ|S l!_ G$ nR5}v2٣OGA:nx UsZm\lqĸ_npA@(G*Uc #ud?O=02*&_Nyr7e,s@"hoY5>bݢ ٍo|VkZËg Gz9kӆ$o|va cM]6VHcCqzOYv@n%0)H~k#c)ھAỊ e:u9Zd,ܤV>e)ZD/o4_vw>#ߚK69p(Gf0sQQx=91eaXLG^(˵z}r[UKS̱sɬ6qaohrj9qnfktP`dnٕ^}#O7qjPuDG7i"cî2)yKNUeddX S&_=KzƎJ됳,{f ZA`WKb$=N\g!X|]5 .Ԧ}y0LSfIv uL'aPSy !7gZOGF>'-Pӗ,B-s0I6.JM8AIC gDEGv̀VP'M\^>N?eVN `dU`I~? |^CNS5SX FY؋Mu\W )\fՠ "t(OlH4Gq:/qT85! 6ln@aHA8ڄ5"~K45Dz:RoYhXWQuk#. c7{-+7;YZ%KAиESd+T@H 4yMGiGڢ#Y]cr/5KM)SF۞^ܪFT6ru{~7)ғeI|kهM,!~ByRycI."x؜oă:+lL?r뺫9Dﱄ`7 N@l^@Wc\s8- i+!P+O~Iu_೔툋y\*}M J5zHkmAJqgYZ7zXZִF! ;]ŗXi%o "g -!Se-Й!AbVb?N3pg IUL:!B9?]]8? /?.;{cl5ynRV#fJERa\`uSQ)z\D3<fu IC&3Z+'+S"eCښ.xڤӭC"բH,d2ի'0ٛ"gȂ].] )81& eN&.( *ng8jc(CGoj2p+U&,Elޛ{EVVc9OZ(Vo*=jȩ,y|7b%*D"P H)HLъ\5ȖG@t4LѬ yY,v5b_-7E&cinIb هd8n4Wet%J3hK9"ѳcٍ[*ES-zួOJy8<"ѕoܲw:v=}Ak ɅL\A zׂvVs8WnYHuClYf!+i^в*"$TJō_HqUPc. *'Y[F4kkR6,MQѹ~EXP!ݣߨ Y,[ފ{x34cw6wvM-wGΓ /_Lɐ2##T5DP&ס%3Q9n' u(c䴖[/„f(2IA =Cs"fuN&_wbC9AADwDMVd:KP>.y hAaֵXK hZfb%Ky"LKo0^uȬsIp6N2[åFrReqopx%3$t/35o~fBcZۨB~ b Y.5EٷS@ȹ>&9e9!<"<2_ئ ,#ISBtXFX:w-f-~p`{PmN[%EK w4XrFY"yӬ"\ ZmEB%|X H"wc\r+ Dt8;Zo\氮tù<Р֎'S^G4ׄ_QIpx$)8a9<L S(n!KNICd-z~=#-ܚ 3#S~±Z2$ 8"^1j. 6ĞAutIb<S6?fFY1̯Bcw6p db[' iv6 ʹK.[x +)Nu y= KPOӎF{Y䭘 喡VpنJx;c=<6Mҭc@O 5ys-{v1!bbP$T<ݣj醌r #b'q"WV?^a(b]ǖw_ZA%,ky"d͉SIC8!%KwȔ) elrh=~DZuWD~4\kuQMj2ZO\}\%IAr y鷫w1?^)HGoQ.4*{2ZPX#J[#cQ|RhQgݷ̚q$})>J´5V\ZBˈhL>3(:D?6â;;~f̑eOO+83o%kfJo/S(M$MlJy g0#DT;+'X%4Bv>@'?+G [$v7{ mR}_ONWf4CrleTWN2 .C46mFUS}fJV A@Dq n-}X&-B"83b:exǞhh[ݲ?,(~Y)G2(#askw(TyF$`R+@`2iѱ'1kwYߧ8w*i&Ytv+N1uI|x\a@qhUwi4H4۹%KmF-=ݽm`}W7ѱSl}U3qMNnp.;_AE)OYm߼0iI2G{FlOk026s'}Y|HI"*}4el,CenN I\ ټY2=28)Ǡnl,=Q-Fz/fCܼIl-f)GYHuȓZ[vB"j !dWNZ~SZ*g?Q)uʣ`gbj#E|ia :5O,ThKJ_HJhuؕ?*x7 )]8xS?/pj-"\W@ݰ)J8&+7S=m]暺A(:6'dH@ Rx^YD%2r&[/mXOxj DŽQf2Zi+ʜK C9guO~ЄalG2;7@- v&GWm_`E8ɱq'_BbqzQv]@gB . a53qE5.qIG hH=m:#k9t%5X;? ?ڡhقCln>aQK=Mz nD$ngzRJm'5bmNY!k^d;RybK=ާ^sďN,0t̞d{>̍g\1|xUn8LVk~Rj R0Z WK2&bcag!SF@:Δ"e4kVg +#**\e?"oF|C\BOf(lDB(LY˚,TBA1TѾ7]3,u).^ .!HL-2Ene\Q 4A!#Lo3enkHKՊq_呄Lv(Tr4>?j11vTӤs~u73-驅hy'Bw"5xYtY> )uZܰK3P1ԗ(FvӤ(G;޶+Bߒ7H!>锆W koFx}JX@Bf*Rj'8n+'ǼEɎBKbȞ|[ ue(W״XkT?-%[|PQYõKCD qdts ItB]2[ܔ<];FTrҐy@ι~Ee-->慯8JP fhVqCQO (5Ixym >G+nOaJERi O7ҋ'^!#^czYyɔrzPܞݰ/:pEXѡȪuQDBs?ɶڻ`%H~7[X?޺{5~I?yY?GԞdwrGm DĢ-QEvٺH=(eWi0O;U%*k^JR\~My G]2SgxȧzپT[4!e`XZWEնyc/tce,`uHG v# k?Ȭ~ˠY¢0!k ` (3%dV Icfn x<&*໋~94? 0ɽU\j8{jf7} 98MqU_G>clKk 6x{B$Oo* vrYP;.w;^/<ڔu9BБu5o :>dLOr,6Vy;aw^fABe۪W{Kr\?;Zazsw ZT\ټAR낺1BTNZK]= g rH9#g!p,!] q'k|DȊhd)$%O>] +6V\U}S-dCSD/,c]p]z2QQVEn AQ/23B =di.>3nu%bKSeT㛤ddM/OmKq0&$45V Ux؉8Y"p^<)}ȨvWJ gl?i ,l cK3WLJ[(Aa! Y6Q_,X W(fD=Pw\KfS(=7PNw\%d'mՠH! 1D62 LIխ:ykX q)_Q3h^N*~@I4a su閩͏(G-*()w6 &%*xdŷ\0S_ۚd^/T 79V$M&!;^ٛ ,ܮD{"%` U]CЉFSgJ4ș&gH"EJtadGUx,L͙FtL;+>f.X#S[v-]З$ %䍳` 0{QBNЅ*+hcS&TۀlSMAuz:yK@Xtd(n/\H@w*,l˖i)d[W>ED;E eӅ-3AͼONTGg)V) }1DZy U{.WEvy)s9/cFb b-o5o(+G7OPӴ(0y #zf"ήDCC X`u%utJ&Dl/;1^(v5בFu&475Ǒ5DJ ϶YuC|3WT6o CP/AU5 ZUUFBY̫Ƒ4>K44S}#H$vvc|hh-V+EKRJep>QOXEV?\3(&e PJPVo<òuKݲ+bwӯOKA Tw.f9 &v93'$ O~身iRYSNYʄ3m. Nbڳ( ]h BBg\ T+ 1V KG{q{vU6ֶ J_B 5ȑVhW(_:PPs6lX #SL`yCl,cJAүPM˴_+j7yf~S9)vRAH(2(t4]z-_kka@A5 3or1Z_bf-N!^bPKg7ΕEl NKKMVЈIoYLeLKV ,Әc$$@qT."De*,5lԔB-8d2C20'i _d!%:B޶l3O7JBt[%HfV}ﵷTk*'~n;!>,s`:@T2oH8;f]Ft(`\LghY&ܪx[ S7>ғ'pj" j0f wq}K#n'8>ji/)+ V/y5f-l f$\'p(/ pฝcs;4ٌ,eۅcQT'wqF;qL!H,LЯ̱ 7bnVUOvY%s)Me&+vۯZ,حxG&~٘!%tmj  ͬ,DS ȮJu =gSNA;Cǩ? MNi>wxӺڒ8+ioㇲE.e`tvƠ)} 唼hpRRٿ߃WoHǨxCA.<& w8$Ǫs'{]/x6Hb$ǴT}Qj%܏JtVXKEsyoÅ%V%:>PXo0 /#KG=H J~dAGrF+Y?})[^Q:x]riĔ{+o5v?Z_QV4QRc j'Ʀ2%66WɶKkLGgId+M[b^רxG~JMdDj(peDlFcOP^;73B$H gg T]KdWe#M$TPvhXyvu}ݚ ϱRzɣڈ]3eN)QST"Paj]&MjOT~$:<DMX L9GZj?FJ>\1*v$>b$<6ëAq\hwb-D%Z}2>;0$^|(a5Dw/H21%RPK"XtC-=` eۂmr@ $E,5.+cY>7we$c;$=w!Kjs z+}usEx:l05R`r+1]5Sʡ Sy V3d]0rtO=TT΀Sb:wYI8^377ryWAu5Б5jZڶVw]#^NVJW͞e_]@ Jf Gm*v&%PDVΡZ#]}ޮ" !?SkQsǢ@k(dyWL;1 h8Tݛ e$cEWUW|=4%x^d~K}ӀֻrhS| د6/7QxP { C^~”Ѷy$..=M:ĿJE6;j䀹P^r42 % /rn-o1##\8,hy8^c$OY,e8+αd+(~km14L.wy^'+L.̪?7@,A. Jzg6 Y*4$nx5 rcu( >~9k͹Ub{iW讱7l Z.w=*d|]~~-ǻaxDf1̞6}@g"$)+d qg*:N$#ށJxAV /bnq3*|9"VhsjܾO* ~(ǏϴEp~bJ^oNVBN'{"-rvϪU1V6/M1PܹUaT,2 q1R*eg +U -A@WАDdΑzfC)2CB% wGL'kRk O3!&7gKgZ]+R_n=o= ټW?BMD.Ưu_֤~ݞ'0? sa >ZA6ޭ ҋ T /`|g滮mRaЏL9ٵ1'J6[n,獃=6:0x5}p R [jb퀓)njed9*a(W Xznt 6Ъ|؞>ɵH9vW%sO;'>:0BwO#z3^ V!>%b$Y׆P1*mzNCՃ{fHEd8[[mH8?H65=]x_8 ^KH_ͨBؤaM--{ZLP9'.9Y2Lk!9c']3^EQYo!rahj c |K,6ExfA_ӗ뀇SErc \SNIwغ$q^6{Zt!fWM`H߇B;Dzej &j$?Wd\A}%Jk(BqxeV-b.Bp+[x)Spkq.yC[?+7W][EȽr<7}|W <}bu282RA̩+^:C~uu W8Ԋܡ"޿ypqWѡg5nbt; (W)Tt1 s7&^"u$DX31ԯhĥ8bxt`.OixBȺO Wߙ(;79Ɇ0[Uj4Q $|Z(/d#fpZ}q^-0NϺ' l'G2kr%\qeD!EN"V=[=3"p`nR5*RLٶ| JcJy2ܽ!B ~=if ]z "v7YTxC9BX`/zgZTap{%ծiU4t]J>-.SLX7bJzSsTMye#5_z[Zkڎ;+ᤣex|BR1|n Fܡ^sIXR+l5f&%6&AMSTA~0YraF"#V hi([9JҐFk9x0*:{(jfT/@;8ܑj k\mQ{V8jMDG )qF3m]Qe>S*&8hj!!3@| Y{x $E-(PL?ğrW^LJX0 ZsDl};LСK?/{u2JޛJ =WW&q壦dX\7a@L:QQ o:qKwT>:ɤJڅA3%x>2c2 Lщ9O3zuE0 4C6${:K[ތz7^9F_iv]#XwNr6Cep_pmF)<8]z>FGM#>?\:nh! i`/&6 Y{fK9Fʞ]zCϧ+%X |FZXXy,Iryc~tVg$`S{I1f n;c{@2Ph}Op" 7E|xfՔ/d8O4,Vdj94lk.@2w~h"K7е>CHxw0- ]r&/=7ܼI^ıVwIz&wߔgYR܈{x?|MN>5RA 7Em\"bTMRs3~HwDU"&4ع<-sGN tdw< =!^Q@Vt~6/[!I-H(m'$kM:cIhmy_ r#2?NNhЧD mqu+5];j}&X֗"#s|B/|KiQ3r:bV[.]C 6F ð3^%Mxڏ3 qw3y cIс^:{zCr/2lx!%0:ɸTυkb~A5a4.Oxv^zʑ uΟqj5!BAX/^ZyT]s/{4XWYG'8M)f7=XVqRгD0k}ޫ6Vȇ7,i&WN;|@Yy!DMPm ؉ -ݣKw|4t⟂ Cl|~'krHG7&ڒt{ܬ4JK6oϵH1LR:l ܙ,! :Y)Up@gwNՙ~"'=W#~Èͱ~H4lsbih&-K' ں.@%~zGN`40-+"0¿? 'O9UKCf~ӼmiIn;7&9DK;Pn?*ᥣѵff毸b hǣCda/t0vC`{h\ͱoމM ~ڛ>_r"Zo$?7קA9 bi$c4sG9PX?o\3Jɲs޶]?ɯ$':dQQ}pӍ8mq "mПrE/ÍƧsi;48, +>D@l;8 uOX[ eh9R;')KBٰF/2Bn"E0>5=!h)aͼ+l9fwsw!PLB*bTbYbnaRsz9bdΡyV$.8o*%G IPf\M+Pik?Ǭo0*dEXPaLI-~ *]_7)0jÁKd5ߵY[Z[]mE;%d:'c0K.OV`)΀4197?/kp0Tȡ؍q, B8uyϻ~Rw gYZ03110661/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 ffc84c1be563c401109cd08cba36147d94a4a62ccb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820