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 `5<$ ; HOL-Nominal-Examples:threads=6elapsed=360.080cpu=1358.148gc=117.992factor=3.777zXZִF! 瑴u]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb E*Dٌiҏf_`AXB7nc',Fft{GPGjgh}9Gǝ߀eE󯭶nJ5f;Xzd9!ɴ FFyR#YgM݇'`VO6w4aewmGu̪%u?U!k 5 HOL-Nominal-Examples{%4+eI)_ {q hr`i8sQy;]sa?SiG]nJcuYB^Q :m[}%A'+6Դ -ܓ#U7U!]a RX鞝/ך n+N Q&aṆ?)4|z5d#iiv[3Cȁl'$⚕]|zt \9]W:}}o8nw:/c{tm x۽ͮW|VqQm6"maHHp8F6nDR|%^`gfۓeFEЌ+t{'u`VV볗7(>+}lo+wA H،M2fe[xX8>4W<8\3x~- n_c~pUm1Z?o]>em@RdRI(bm}0ӜITrDۺ8gwLV76_W%t/Z$Ճ_k*,sZZjǫ]%7*|2^\2":ԢK=|SZnS1 畢 /`]Qc?.3hB.[8G F2slA?F{d2xvq8< &M< h+y3^Wd2xuLuMš'E( vu47o!7bFPI4KЩjXw nh&ߞ}*Tc.FY}y9748P+2),L36ُE_E0ݸfr A Iqöf0LLb #uv={ç'9ۘSupL!|\8V|tq(]!ms6#ceDZK&ĵHÒQ?Pp𹍁5X߲XqӯSCIDLf<$RHکFh{҆F:B]g<PPq30 }3a ~ѕan1A4rdm*BamI苴D'cqw}Dܗ~}t:ӑv횂T*&r TGV>a m{+w5zAݖo;(V\5~G4hf{p+TF7%P׹^Ϝ,7jMmCzӛ#G^"|gj̩8h @8٩}Q?o,wTj|&]S]xwe bav%yy;!Czd>kBtL@./Fn3`y@P1!, G=uqq3 ߑ7l_-rgƟPMOfTCg*r;{&|ums1<{Mh^YyWO}*3h D7Tp.ٔ[9dݮANp(zUk}2Íʐ#uGe+IxӣNdg p Y",>b ӄż%1~Q:Г!cQP5Ճ=2Ns5˩ڟf1FgINi(# h߀)Gh7\Ԭ +[c;\Hm Nԫ|+I#_* 8Sjl, C=#m,L;BXC~ZX"wv 4hLx0j胱W9dB;Z"b,o`nZN%xjꚇ/tbJUɞF(5>\ThxZ½A1Q~Z 9ݞ3Y+j ݒtx5{ն<4(D6t Y7/CQ)YdqsUȌnbebH$\-5),9f̏ԩl%@ؼx;T5#p^ԹPM-S.13JHg zSdfЩEF4cSMh ;'tإo H.>ɀtP$%HZP5Q~[ܵ͸r[bWuTQS'F[vno,`Ɗ$G&C#}C&cMکNg)Pޑ6Vw*UM[,W *{`xC,j1i)'Bd܈|jcP]_ңG漜Mf9J黙NZgVu.tUa\8lUKwP;k֗9>[5h{mOB+z6([d̽Ɍ:W&r2tt,ȗ&IF.S_ 5<~U#YQ5"=Wc_Vϼs>LW"SD7ÖEyHdefN -ʰ9d7Zk55Lg#&p u>Kw!/QkDa#̊bޣIWZn!޼Wⶭ3YoA=knT}O"Qc19͒dNXHFCQ #ȑ]ڟ-H_=M1*ʷAoLT3QظeH> o}ؘ!"/D2U3(|&m>}^P8+^Qe6gSZqȝG Uٞga2x3I̐kqx5Oþs sMVnDҼZ7BT`V8\ JK~3;!Wo^WDq ֣MU%FTkrѣx^,)mL.òsb3Hؖ1zR^/ta#Ĭqg-[/VR6[m{|(?[1)?Mw˜f:4E}:?-d+ =y/I|`gj '?;DNB! P61bT1$A$-^.q ̼sex  ;"&pݣz=-b 'h`<٩J-"ed Y.C!] 4o/卐Tﷷ O~ⵢoNp v^9l_x>p{D1(Z[x? GHOV~2XctXYw=) M/e-hGϴ{#o)GXSjOaZL)˼ l8bD$/ӀG?vllia"Y']A9갧_wp!Tށ U?Ro DZO}{g,;%ABxn'V^5vO`v+FG`Ũ:9>`R1j.uV~/v۵>d̦kJ"k7zMVwW#O#?tC3enuOun| ' ut& 9bEF7ע/IÊ+4:/(ւB4I18qs|2**m[ E4TŃg? ,4بK2+IXK8"*"_]^\"|=ǰ<|0aU!JlP4'&8Vr2\sꚶ/1O@7W{hp' G9gg]A饇@2'm)Okxn. imL brlyzW/'6 mҧK4ea rlH*PV?oU2!%Q4[jHF@!.,։8Ii"݌OJK~0^Eą%Tbh̷=a`W`1Zwci,2:BaQ'HU/ͯRO)$^w|6[7;ޅHeٰżQQpV4-uE0JyI\G+ސz&w8ɸAy>-_ 3erș{ĥiEVVcڝQ:aiB-xoW _m4` [NaeOz6gf2 ʱb& #."`6.ZX3v b$CKc$4l(ԝ֋P<#O+d OMA1%i MdOKOdYN3E> 84p^qQ2^߅c=+I.$|_ Sc:q*)? +x=p8:z'+B;}DwE.f~N{ ]5K!Hzٍ#׼ (ͮ v4N ;,pI;+{zhƋ†Qj5r3/HdoN+'pF50^g||554 oǛf;\:akJ"+ F|xjQL4b K>ׯX9$m`9 ;i *5yoF\ P .;aeor('`Pݨ'.gр~9ewZ+IAddDA y_%yM~ClqŒv뾲]MT^1 ev0:H&dRb¬a3ZGA<.afC}1GK$v ҢkW:u[Xa Ǚol1 N)-tgb\~,MPo-+Y7ĭT;2Nη[US؅'G6=M!UgɨzGhh `AIM2g;kidIL ]aJ3wPnQPK'HdZE|? Ǐ\)ONN :|{'"o?]1 l |6He/BZ^|+̍ӮgIŚSĎƕ͍]8U/}z]|7 5uK3@? 'zOr)ڻ@yK[Ra&"sR&u)ȉzZ3;LԿI :4Z9y$ffKgX6%7T"؛P7mj^ii@ѝ…¬VaH:e%@`s7v-0Vi/(%  O #I^5^!(i]0탽ӝJǩ5*iAs* |at>wyYJĈramHP G)1UzђiTe&ETB04 :U3G${#irה*)xW3cWFlܞ0Zs-{ýs,sxm#Xayc}wS5ɋط H5dVky#ia?#lfU\Bga :M7Z̛7TUZ[+RRmA5O>~WPף.Qsu{t+I/MQ]`m`=*0e\?:!Ƨ&8^rWԿm]}\wbeXلn`{@\c1Ǻ%/wH 8AIes/ }g1$Ԫ(]<֗0*@۬j0S 5zknRV7@`PCKMhPr9R6it ]L@㛒D}Vkȣi [WC6d_IXUM 8X-y(bX`t#IŲP86YJ.aJPRyRn,DsanAE֪\"rRϼM!8-([mpM%MŕN 11vgHSlW(:SN1Gk`\(ͳ@NI߉au".DNLLI nqc)-]cajA|⢚Y?caŚW cia#}%f?w+]ʺb㧣*ӊPB g=p pf8ċAEi=3b[-i9⭪=Fl&JX Y{vi2quP<A~ԭLp.s5X||==glzg: <> -=IcS .'խwP.!@{>ׂK鶆;]{teĩ7&k`81~>ahYqRܬj8BS KocVXnǛ*FׄBfJa܊'7/Z} IE5 &OxG~Ѻ+'Dnay%1ȳeQ&Fz!,a}NfN;kl"-1Ñ ? gO|lNBbfo؂ѽͺ}R826~Z%2C2fdJ\m%p^Ng{BXUWvaje*'ˤnX]$FX@Կ-=JhLjRMfzA{g iozŹW2 Ui`a9Pls{PqnT%hS-)NcŨDBl *ePꩳf*(쏨VG%Y7.hu=rע 0աw}eFvCb=̟m:7khNkrHh%DɆ4" %p -4-׃ƣXt&aP;!R슕),q.0DT vVBusD@kWa& B~ O#=IӋ l{1^6/Bg_؍&nAOC,_`FH jt6!@*xd9NtiZL"FD3dOlS :3po6%R^ 猟O]hHwFo%̶͢C9Ay"eœ f\zrژ%s=b,Xf4qѷ\1E͋mAɮ/co(j+"2 93]lp& |j9h|Xc2#LK.KD.z:, -:9BXOAR2l j63Ya:֖Ŋj'|#>cgL6[0P+&^=>BRD8g㰬0<365 /)0(I W@ZD- 7^gԾg\TL=̳6@a:B ޼CnAE UtϬ\2JEqD̸=x:0ڢ}11 $~3M,^:d_*Xy[^h͹2op=e!9 #=L/? vM!; o]ԪE+nBTXK;x& <'D ԵuBIzA(F Brn }i_>ʮJ7.A}U.oxZSY.=):w=/hrܖ4 *5אb)F@6=;UaRF R;q X(ZНBQ6lw (_AVko7u~nJ{*awKDHEps@̼;\~1{4P hL9Y1SI敋Xf0rwXm?&y~-dO:,).)mqhȠ"|O@H#z!*>`@aB{,_MDŽ]NZydntڶ='|MY.Nݢ|ivg<:]xR@,+k&]%\LX,u_~[﫻=i*dn\$s1y!50"򚭊&EKӠx[2 T{:ࡨQ+AuaQ u;2.\K֜c_IzmhqvLd(!KGpJA{Q(I&ݸ<8X c ;_,P;u I#u+" 9CH| C#OD˗212@ͪlYVS5@kzv ŷB_oX`Sjr[kÞNz:.%CiET9ٺ$O Ԅ{ B `1 J6$%5e~~)`žn z8p{z^{ HUnuD~y;'}uYz`c! hsJߴ̆<!rljEa3ա=##D:yN$c!fVvș"+Q@x薾jZi<ǻ'y sA9?6lFM5F'Ȝ$󼷍ku媯2v)VI1h]O$dnƁFrV tCoj8D[fLQz,y%7Ab߅s^lw`M0Gj*ŗOhb>/ k S󫶗 ?^kO E&DܹYe=, !gMĤu0h!kD}bݾ@7*zFɾщ _nphf[eDѮK:5;8L,I@ػLvj̈8v!,;}L(^މGDFMbloS=-ʘO-40S"jP,.P_2inu1k:L}ߚ[fV8ؼloLQc6{[%ql#X̸je?߭.TC,@$|CrbևMIBp1v aF]ݒT\WB^Urv ]8 Q3fhCZs\?.G Dwu "E*z;g8x@ul޿}z8 ,ߑqaZG2"`sb!fl97!Zvf5IM o;^*͵uB33e8a,pHaKA v\hyH?8_9TƊEIFGfH%Tto^CqcG1I[Q!qnM"Ŏ;s+5+ &@%Qr Dfc2ȱ `]o&.7ް(Wgg0+[ _ϠFPd]z!k W1EZh@(K>XA<(m6W T7 ӥ 1n *CĖn@i ŢDVK jM ->g)ՂEH[;;pg9xÎa _#%dl |u a>m~09r_2o%7ċbܺǸz6Pqv0QqI8|/4O)?*VҦ1鶺~=š:!@Bf3B_JB)]9+LK%R-^uyMBy¼\l8 $: WT$kv|-s83 JfYkP:B2'kX`]\\VD'oETÞA+YetKTGRMGoc]&_#ܯ g [kgKuABtWzkpYٍq̍ S&Na$-4g[6vRwGhNT[O ܫFC =G cc2$"V/~ ᶡc_Ŋ Y:ԪѴQ([$uѢ*uejS:D%G$H6*cx)?\e9ȊfZ.Wk94}pOֈfV)ja $nL#T WqC ! 4Js;^ѓ- EB/}DMD:ҿAyM5Lo>{\Mb|u?J{IFF}1(n_7,\բ;qD +5R0tC|acԒ=e z"%ׂQgtzp| nVs!3B:7rN<4&Xj |%MƓ(aSrhz~g ,̣]mdv.v\y B|.V 6?lӖɦlN$A.X.A݄jeޑm~ g*(׾ϏN! ƄZ\}BRPޙ#]*ܢPZ2pxn^1GMuQђx[|6睡rlR= 5αg@5G(rФL 8*3 G*p\"W KM6^ߺkКޥ^y2eۛR43HnI:|h*؀J$h\Nǵ׭jد}~^2Wy}A`;785C^voq㿡|ќo`:|s-vh馰4S{%O?dBWQ#[j8ft} FXp2gAz9+ ]ƽ ͕ (\`/ *+B={IpהXvXO]+ )*v'9JpNHuؓ s~Sҕ=r *Li3ѓ };mT 퉻Mot<3xR0RXPbI]%9[21Nrvd*\)(R -f=|WW!cݣ ߰ hZy+gSZy8T0b/l,ӆ٫HDÇ^ |+5_{p@))|EZ@3afPSC|(_0q 8^0o}@FFÓI|J/.9`&x<ɢΟYL0R, ܛn`XKYK8ul KᵦqNfpM<`" |[F={6FN7`#*21GB,AN;JNòŞ >SJIO{zr-(ĀSa') H3>ËNCŒA < 7Ɛ%Sm4/lݧ:s<%Ѳ ShLVnEԅ:þC 3hŖ;PwY[UyPHv 3_ƇZA"qRM¶T,Y ,m nX-5 @F5i?^ȐLj!KeKN Ŷ${CG9Z_Yftӡ \!DTӰHgŜF(] >^06,ڣ&x?AtCņ&`71;T- =u{ 7&ӣZ`A~*^:SYNMadN4`TrOy7{yiԿRo.v z7`=c1o!8GTJ =wL74 *`h^ap~܌P\HFaܼs{_Hζ- מ] x^֧RΊAمo "$okl-gH}pKFO!X+(pfCyJF_sh}a{L΃]oUF I ذh 2fpbF%c <2<ׯ#dQ$'VzɟVto:ua>lg: '=/@@m8$RwmCq3ݕdGQ%Qf P,bCϧǼT0*wuR՘wˆ6G2^6jfkp iCE,v S,#tIݽ.:1+'IItaCn9Z$[iCn$)HFc-as^6DFKKб<%Z?1 Cl?&7s;Ow# 5Nu.ƠE:-*0#&^Ϫ & oF2ph`i+|Ϥ2.FB=5efO[PM TMknEzlW>'W/+mŝ>Xniz7*+y/ zyióRj(gӦ-/}܎ɣLI'CLx}}Ԇ nNR"'.aBr j@tiO|ι̫ w#K3^#M.h״H{q2 2A o3\+OgᨸAF:Y+{Xybee?RJLzԴ,͐MU܏n9QM*bd8 Y8L ,8zhZ^k1ydτXD$jHGMHg^o ! 2ܓlV}. >Z;VL_"d|w#d%*@+g1@̭sQ:wl?2#΍&S"$*І{ndr!P#FB} .qh$ip1##ErV7RtZtdlTxb.me;9vC;|w :| 5r6f}q-bfL8²ӱhhm{lPW֢-:/G``Ӡ%× %%>8Gh2\Z[?+E?ln]ӖedNuo8'wyA򚥙Q/;ՒjL3rP/ƙ[sLK~ `UL j|^yIkRlb"by!5(b)38Oz6eM^ak{ ` ƨx&^G-hAzRSB'\JcLhsv`>`AXzM)eT{z,;ek}^+NSZaW1I`?z7f@NhzPݢ? e|h3tC+OHS<Ք:BAjLJ< 361s 2d"yl ҉Eͭe/I=/ͱRh-Y9V'QdN}=a("> Re$6U^%SERQXw-z 난v^'Yə@kiҬmԬ$>YaǏ`FNJS^$W݇[_%y߇"Ճ(wcyn%2-$c`t 11enJȢ1񷘁%HD?zPQ'Rv 1j,9%NIthBw;㿁ȴylP)C0 48_wc%y5MJK/b8pᴚ]E%tĊ=50iJCzÑ vyغ,E ZctV yFxSl*qIHd,`$cB~rץ3!/5X^96عS-#!XF}> 2-T&=l,݊i<OԜ5d Xne R7ow>ˎf(~yOxk"Nf' ܘv>g$=]+64lD68ב'?$]7ݦ>$"iv,鳙8Uct%Wk?$}PSw[] q )|_;O-dRsySrZV8Dzu(j1cWLΈbzޏTiܷ%PwTӂ\5=FLâ5a#%f\ w,]<~lJ>E| b~ 9x< RyTeLͦͰ-B+o@bXbC,K[4Ϛ^mdXx)_^^M]"jimPr7W-A_0y"Qraѣxg ӧ렟船f!pvNF\d*݂oэ,^Rs{ ǠLyYdp^I^Ӣx y|AQ?Qob>mI&\5Zp>韐hunM6/Y]+WGd[ ?RM9nDly=S+:\=Q }%(m$KCq G|ն{B5L0-ÃhH Xb,*ƵdA":>1Un/:sO)/OJ%HD2Xh/0?>5ڰyP?[;ZP 5]yO,aIĂ_rk 9կ]_v̖I3X=*Z.3ߦVn\]EqWڶ(5%WpVF |=딓XTP؊~YcK-ePivS ٓ/I~z{b{rq쭃nW}rK:_(4H`67Gzrf}Akc i$oTb^r*>gҹ-qu_CJyr(s^+>t]$~^mp@B_H57BA'jXQZJuBMM ٻ 䵀 0Q`>"e3SBM2MI*gvê؍ws\PO.!>y9$OEeb^g\sLx_)u+b5{=dtQcE%$1UYk",[%È]?p 6/&cr9@)Wâ[z㓾e$t S`D !)U^J! cՕɂBD /TV=5C]P htD p2aɣ: 3%pe}SUAА0҉w{w}ZڤLܓAjU*2l?BwE Rj-Rt7}[eׁP;QS@q8wγɑ-hzVEyf4JQI1ބ>#H[G Hf m{%5bs&`EPo ^~Jbʑ h] 4k ZdY0@a }81mUɾ@8 ')%xZaGo@*wx7=c!&bdxa%J s(Je+ϑ̜z9+1vP!Z%a#_& lBHk=.Q_@DψW j {Fҿ[²K#- `;~Qug=PNo Ǩx~~F674?o"cOa~'05q;C>hwg6 *)t-&{, UvXmM]Y\mFv$R_1GO ts\xnDDWpڻa >MwٸpuVn83q~GbStoub867m]K֥-WzI__&5ʃ,EtZ2 fBo!_.@|fzMܪ7 (sڞMAE.]XU7JU '} ظ=X$|tr!n edP|l^Dp+ǜO%lX>bo|u#Y]\^'E++xۍqri齨"5/psռ\d9 AP>cory= !<6'%5&^ ;]N38Mof;dpB*O?)r8a说-4K^NtWp HҴ 2IR1+*l 42^qcXi;:fZi~Q[pAWTZ__6\{c 3H|(-mJ(椼MNÒ^I6'xN-Qc)/P2%D&őj,?4 ,b*QIm[;DG4;~^#%n]Y+E% .9gE?2QBB) g !4dtuWKS :V/8KwNt@O+B!^-Hԫ_ElI#zQweݝ$| ?(%_΅Z7ޡP[1k]XQ\\@JZĄij1=z=~J{HsGY!inN#Re2ꦜD䀨<lcIV$=dNEZ]LhCS? ; '\0tYR UPC饯^"D*S~"#6 xpjuنg\LfT0]"<.)̾ ab޾ Ϫ`5Tt,RoHLG,'Qq޲&dFT{b8FIS\u4hAzʀݸ pHUwaM􏥉oDo)`"F_+`C]5~ 9n/3>RC/eW+l M&% I*%M]n@okZC#WFd=Zc{dX]Q QsL(/㿯]mC_iMhR\)\DʞE0LJs/"7vClZ=EM\*vnM߶jT%v p=!4Ep#,z3eiBXrV2њEyim3)O}zZs;V.`s.A`ڦ}gw{S-Q3OvKl7jK£zV_hvh_QmYx)!9?AŌu'`*&/Ǧ<t J~Z/MU>vub|\#bޟ{B^=A;w mXW Gy}[JO/z?'8lBUpu+_항5eZP][P,`kʋP ,t*kˤb6E-_&sYsZ@n[_1H%Ɣjl;DI|TH4%@[ݑ q^;$@\V5[Vcv>LץQRc+}n͵-W *kj"82 F.b[ Jl+p|2߈lj `L uMNrrk1v <|edd=u ڡO63F KuTnzkB39 0@mz)Y kp.8!fr_vNZypr;Cz|p@sjp0혍WkgoϧTͩ6@Fe`OcS[=T8"m7=A)%l[˩,ޯ+Yj$&V~;00[eFL←v,̞_J ڟڻӰ{1YdI@cV؇sB[QXN? U X){5T&%`v {햳П3nbʯ:@VY0 z2i\dDe |96IjSƯ 8.9 Nsuhϓc{&YV| FkiUgC!ETS~24nD /{Ȕ=u tT6I*"' [KFѾe^/ |IISO;E*ʶ)cɑt#9Xs(e*Ί ̤ûq]=u8ί#M 7C=~qAA+^`]^F(Ic(@ -8"rz|ըYu"t"퇄"6k֞`jhO =1L.%sFT7':k#?!Aq6dzLENV1Q/$>]{ igRsT%#Koo&LLqnBJMؒ4ζu3wnfc <=W-_$`YͶcf؝E[kK2JiOo'VAsb{dvM%>$8ZӐDM8k;P p8>csd8Ȍ agSq`$"ڣl C?`ἼU(_-Ì-BouIw83Ej Nz _{ۏl>[E` zE~/Ye߾:N3]G>ہo1(n c?{!VgNJ?طZ,ȶk(膺Ͼ/y upս%+&_!bC>[5?4vOR =!_b)` myn< ؗ\znȜ.Z3,@TBXx4v-EoZ}vɶ h|B׼4!Ē=;"=;c6|Mn=i}_T;R?jA4j$p҇ ;|{ gkZh>uWmR&h_ ,IW>(ț+>ʺ"Z$(FYW5ui6Q*^9cp8A.YLÀeh>ϗǯcQhp9^o&M6tލ 'ҨҢpΖBH?n,sLEH5QQ t0=u\Q@2cQslRa=l(^ * ZcC@dP.6÷[ˮ;-$thD۬p7)- W.}AHXY9},XbXB $Hw+&+1M_Yp1 L2dԗ+Q#5]hUQFXe 2^ #iKM<Ý7hlL&w曌<ݓwDafO^7ڕǘQ8,BaePqA ?~ #b #@bW{Rr֮Io#bP?Ձ` ^q> 5=v]pZx %>;wnw&e\"|'جx(06^9\* @}dE?^(9/vħ9Q  "n~,%&WĜ`4K(gQnqS{vW!jBK%Vjtl hkP·?HaiOqn%~u '}XdvVi\ 'p`OV{H%Yy( \<"y ^.̥k|-<"މ6vdlQO# e i7Eld7Ξ^IV|tOsHyaRʟ/̼jn|Rr.@#]tm;ʧLw3>֝1'HvZoȯ2%ɴ01, M^Ċⱖ.oZWʄ3PQ77"f]y=ʛb"}St(#[e;^Ff3:э-@!Jz ]&ԕx$d%hKi2*ۥt)P\|\Cyb%{RlkzŌ ?(cxCsS_755 V] ȱIE_@?0Z8XA2RWCOfWA_5='FIS QWendMRJAJ9жzq৮TJ"T~CQbfQp?LsOƫ4  h9 +a-C{\Lix"*:%l??l6)[TODEigDEInd1;}EiaN馪+.ozށ$OE&j<%c\-x.\z9C,nmX9kAG<~YOe}h(: #WH^~j6s [n8r̼`WnuU5$ϝnk"[AxBIs+A:~p{bVO< dSp4W橱)@<.t*Č>yӒ_ 5x3=XAЁ-ˁsmX\&LrQUS- 2k3qPk>qr?w7}hKQ~g:JZXrYl]23$b 2?k{JPH)IuMY_m .d9@h/7wn|3w$)Ikb=O1"2e $hP0 x IXCW5޳|0& Yq Է|!Kt#Vwz>sx-ρ(Zf?]ƻ!Ԅ{F9RU|ғ6TMt{D)KMM vZm)G1w܂[r]Ztt-^QIƨh/[(W2.uM$[&0 瞎kP%ٞKNdA?WCHnZY㜿Oݽ/ۡ( 2N=$bf导dMD>*ؾwB7%K I*E. QR.^H:}/M2BIt}HP m7ߩ"]*ٱc! b=(N)xM_4 RWkC%9p,F`K]Ʃ`SiL(1+hgYZ7zXZִF! hXUI]ŗXi%ïsZ{Mm$F-YgJiEŸd`Qd!{wK =6\ߐ&H@^ĭݴT |ϵ| }A K4I F5_s~ބfz@:Fz5D1@E9 RQ_ADL@Xfu*`1Uo!a["9iIẫ_aBf9icq٤. 0I=_^bhvlirvT+@bCC&a|X'j1XHл@@_Hql xvud%9j̗O~Qd~x LcG1$ĺx|>{098ljEN2f'3>jG: LbcuRL/Y*SH |NB hP>% Z(Ehap䫦]{V)H))ԴR^ݮwxPi>3|HG<vݡNbbtC}Yl1#4ɳ 5p`}1TS:!t8F·&= 7^H= x"x)z̚(!gLR< F6Աc덪/@B닃ds٨\ !>Vje;)bYPhP]3`N ebWڰtπ 4$rZJcs/TN2&XKR .ӷ d)Mn[=1ʨ'IB7%Ғ!^LH+Z(\zc"V.AD,<@=^NEv05c&𑈚DK]o&kZ֮:G  X,Tg^+31ۥ+yn?0Ɩӂ1挊[xWl@-)pgOM]8. WՓd՝qFbI-)+d0sqa ͡ڊfU$9 K|QGasu%rn@R6"7#_mCzZ !ƦU&QCT+5g;u^l}Χc`^ps$]qED3z1\oꮂd̚TjoXץ`SW<^r!RdCQ6'7])Ԕ;pU@c$HA{TIG"78t}ifs$ Q}Лu_Z H-"j?!S\.K`H/ M$v#M,Ek~4!eؘP18dt 69,vAi`7fBI`yl !L%h_JuYyy3~QIur|XW;Jh>>Ci3R&#⤣aSFD>^p/K"A&} 蜃v7OP(L6QW2 Um Wd6Yxt?*S6(q|xƔL޾H˺"&11,΋2$i뗜0RNO >X"&Q2L2Pb6]#|b`šNl|T:cR>lZk/@U|m=J% Po-V0l V/G"\x'7˵rCU-J+4L)䇬Kx(?zK"6߃;6r|x^i23Rx( ,!"Λ&U?g89!tăx3fKmQŶb|c{ti+t2!ȡyed] /(p3.p0W?ю)$sHc?G ԑԄu3O#+ng!=@=8wڍF ?v|7U$о;4H{-+E,uv TZM,IO}S>Ґ~!"ˏ D澱dVtDkc "1j(iECW&G*A&&R_9[Y&JUO,03@u!9e>B"Tr55DQh;b* 닖=|bZawy odn~mE btJR{?<2j g <8P^'8z"t}ۯ cھy&stsrYT"3;l\=RA}|wZ_-|>Cj0v[GdbuKzNGRb(cTu51^q߃.a )r݅jgr;\D ڈBdIS;Z/E'fć=Cc-R'IQ2-*v^=m}e`O/*tǿ5M\2EPNWetɳ޳5GW\Smlo[(pw2߭P<Ȗ=jgÞ EABk˰ǐ(ҎdJt1+d匘Fy~г޼ţ Xq[2?QnheԌnM[CÙ{X A3Jk~H.Tx0_ v* kC W{~5Ke/CyQx]0݉]c#C3, N#) ;`;sOe:0a*ЍLmc]4Im-%wʳՏul.zK/[Oo93jH݆@! N,QKXυ lӼ~]jp}dO?ZA [;4Q%ڍg @}%hH`N#qOמl9W,Sy \t[w@Pcڟ"l#'KB>F8u^o񫈩\v^ G QY}ʰ!czGRE_+K-%ׂ1Gp_Y\ul.mS7lLoG˜e= ȷsk|h`K㷐DGOP:DOoPοFҖ WZv13}SvR:,Ij.ݦOj埉Mx_1zd$-nX*-Bu&BSO,d;\ 1[= 1np0M/dFيo1H%/S#=ں+ @jF>ÍCܬ7 摤=|(}+.-YFOU=ȋjhs e-{ƴf'*ɾQtۭdPi㪕!k CШ?>~[UKt`8)^}ےuR+ O 7*0@ӂVt_ZtD+ymJ}FTNLϢh8%@`#6Ng4Fm{8oSvqk5!:: ?#K9],iaV `zҗDTrj<&"G®ŘKXk5Nb?7Y,Aa?\Nlo3}܅mn_Ho?#ʴOL2jOs)1=)i)IO"w{  r1'yTߛFp谖ƫP|o sH9t\AI͝+ehS0 ݏmv3;>^;v2ȗl[nCF$AՑBDɃ].):MNP+$D #6<0~Y̅/šWtR#ugڼ)ۤE2CrOײo3A ^;mVwV"0`E<>1k~BL=iɯ<m3(]B9.50g=k=ׇ=*ڶ*}Ĥ'WANSG/e=*A>vXH'+4:H sm>;k4* mDVfY`œ}R/#O {Me踩5&ѣL<`:qr͝]A,om]%(LhN%C[9T~1(x8?>l1S`57;(c/teطk1MUB\avzJR}v.'h`v4No}>RUf4Lkl#E&TAy|z*kW_FHf|)Oir;s,1Fn2x;]tq+ךJdoϏħul=yK _{lMc ytx$$?*qSL2l{p}NVk.y'֬jb{'s4Q4Kk?ɿwg"HrQJi@߰GUy(؀N7vxOpJGAmZ^mUFǫ^$E v i*skg|Ζ[嗄c9RKԱ3rz{U{ze0 7J4=Ypcm[X|!]bϲs C=q9 [eifԗ:^c[%ds&iˊNq&X +웏i(Nw$ODVCʡ%/zpEUE..'<1vA-޷nCux]=e3p KA.0+{<mw3W̫*ZLJObU*iTG*=!,f i)b^l9hr؁|Hľ/5Ŵhuq8(EGrԘALwRZ^ǖ _#k bKd#9!ߨS^H7*V>_]\,*rOΗzv/Ӟ50#WcL\/-B'mކI-)mFrt3W,v6=3d_Ű;6^ܦo/}.¾hz!nC,®ݾYjSG:R.te}4;~xZ+1&3r;{ş׽iexF&/o0y?z_h,4fW"T1,}Ҫd`0L< TS {tH1up<(ۆ;x1CDn;2Ԝ*Q,VEMI}RT;#۝l5;͑n,ϣ&ssOnXg}V7^D |)6RےpŘ zS|+bJ l #T0֚҆gXs8:kY2G"*M#*nia8RHu?AkQ'| |gǟͩ>D3CI'.仑7 ~֐xw\]*]Y X$)sjOQmC0e#4$,vQB @&YdԐܮ)+A GC/~ʟۈ+RlXvUlCb a>u'"?5#Ӄi\Mz(D co5^Nޟ;x#|f᧱L~hQMͺ"~sVA /+2.W_1PȵVBxpǠبl?jmg6IOgon_"P [^l0 s,2ޝC%NÈG г0xHa?O0l[gM]'5$5Q'LI"U1 lڛ$H&ip§ GŪж[2缂Q=eڝv#p;VR YGEhvH [rxO|tBgl4]r۠keTCIg^"IA>f$dYZTvi\CB ݧr6Lmh®p[]Ʈ#CT: O <9^17뵥ܲVyϊ|zꁩz"TS!sӲa-lknkNC19{&W§!Q㝯[\ޯH($;zCAdBlqcCO'zc^:m[';]S{8NrA51I8ohb>A'YX{#Έ.{$&]7(7t?"ce"p8~BhFQ{IT<&f"XDYBpt?ݪR/ǗySG5PXL3æ2O ?$LbB2Yd+,e@1͸_iH#E|ۛRP{_{WќƼ? Hq̀C^cii->: vV!&WIdemDo$zV*+ I[pw?pNj 93O#wsePfd w*Vb~ޣM~0->N J[,ֶnz]BKuRKyD0dl wd{9bENϽzuǨ&qJQ.h8%@)U?ķGdf+jqQ1;Gpc5`ЧYx[a(n7U '&NKio.RƃxmО,o1WUd'ߚL2g@'# |j)8!JN@@ ߫8H|$(s?&c5,=vk y{YNK|Na;67&~}˔ulnC.ID̼W.g_abgޭ.@ !^s+lI4Z p{ƺ+9 (H"`q;=g+#rp2 צ;7a 9ݩ^~լD3#̰{"V5ཧ_$%/ TaӏK%0dԢ[Z_;}&ꍣz(Gbݼ{ˏ@`[ePa sOhVc<}\±8 e}>q^D2p:Jp.=^X`)i6p('K{чMxY̑8'TYfqɕ. jJY kQ-.Lo8KZa^:w|rƼ׈(E1i1> 1<fzA@Re+h#,+\/F ACdzKVw^1Da`by+&9y@zyrT-T:Pn [ax-%}elBI΋c?=_Xj *VxBR9CT5LL=!/ ;#JeO :]Մ忡Ŭ}`p}m_)(lյLs&1V_ܕ]=E,"ae3y)")!AS%hto-e~8_<:dLA4uHO-aʱ;'0[ `xp'Brkn{+M(8e@gk^9;C3B\L>ѫb(nlcxV'a+ŝL  2,U]s=b (+gCQD NmK9c5kt;*.hϟ'ޗ7v wʛ1x~yQH,pBK9[tdڐOeD %VPTsE Q Ws(5JC%51<\ EivYЛ t\C %Z}*Vב&T}LHp~j-VѲfo!/X_vgǛDF&LmbqsOQ:aȒ*jPJv]RH9렦`me. #>ozܫcjr5}B\tŅ'ŷ\Ҳ sxZW0Ip?!+}Ƶ-C7<4"L ߄8wH@ -R 8_S;uyǙ(^eum;$S)RC`?A R䇒H4f{j{l倛8<"2Gu™fMN1WgC% Aqtk;ӤEqLOS8J ,Y*8`^wx^kTS4sWaQwlkcFŕj.V'ue]7U .5q4ӸV(SDqՆy% Ѳ_ƇTS,Ќݻf)ڞ7"Ni]@Z8I+㌏\i%6 ӓ,wa%kI7dCL뢊rԙrX=@+E9c?ȷR[]X =%|5dԬG_}eQ ̣9';^Ś5#|VlK#% P!s Srtyji zh0ͮ)} ~J6jRyU_C+1D'#X ~9}^l̜ :NcE_=z1f5AB [/WϳyyQu"08:t;P`IP5sDV]F?Ђ ֻйfKԞ\`Xӗtl$TBiel."u6^kp`IAG̷U1nQ)hqAe2$)dmln\~%[+_v{a_a|WԲk,SGri3OfmuœeNFKhRn9bï0MSjQ*VviFvb,lAiiJ aEM!ZL{2X|7(2ߺgIYڒUѴϠmjUؐX.LNjl3_x̺]w &rI+Ne(tN~i73_߁zW*A܌yD<,]ʪD`;~;ays^b~n8w[4"/uJ:ptƃRNQPM8kz-m@=2{T%[m`qpzҁ"#5 =,Xf^NoBO¼H\&̞m-p/-ͮ7`?p5-`bݘZms4AaT 'e{v 4`%0q\bK{pC/w/9>xɌQUuX^g3iѶT|!LP%oXϤj:ᨋ50c^uJ}?8iP3J]bGxȦ"u#4@5Pu!z W&b zZyX 5u3;E֨H< ( `rH,ױ]Rnx0 td#,m5xotle8@2ҧʯg#NiAZWoő62Y(mW\]׾ q%m]u8 i;?,]RCym`i)d59@Уr;2h"%!hZc]͙"E}q};RK"ՌG'k"BPC~-?=98d[+J;@jV|:6]癪 1icOc䐓!ڍ+]zRfCti mRu4p(d>=_yD"km,ߗ [gd37ZEm%/t^Ϊp9 d:Ea~[[ٞ$`wygD ..u b9$(0 -m wvX=&lSj`:＀ ! <_ )X"(ATދu]utj$yP>ƛԡNR |<ѢZ&Dp$.֑࡞R7mBC3_~˟j@±mCkL8m )=|Z*_cO3y\}K1܅乬ʏNw%l028hd61=hWrL_Jźk_yۅYH#}~kS%b\pp3tTq&ìC+~!b>x<Șjr4eu%XnUAwSA #I0Z;L])aR_S9]g.ʽ"b3|@K(ST:96佌dks{[]ȇ)hqy uG} Q7oll­i$wNY~לÛs]&jUZ q眣c[~p:?M+nt<26Bn8dx?%&W lvx>d1IuMJ]%80{} J!3sWd `F>IUzǥo&(L(#UDPK%mh<(I= M̓ ,szlBT6'gpTOKG@Bq 5f{_,x}cWP?q7f'S O7̱P`o+PKd+jK.Cn `/WU.}qycƠ-4E҂yGE!銝ȃhbb+2=-I!gMʂ)bPBS1q2n%hk ^Nq?s~*lcw5І-k"8%[6-bE+T-LSX uzq|6 ga,ZTTX>nfWLQ#A^Y[(`2aAp$KFBD5bc8]HgXǦdt(X6k5)S?ƆToE_3V zɜMPvanAw::w <)HyGl9^5Zgv3:C qO)P/^}ء'$HK1]f'^#Jd_9ن j>[?$ JN9륺~r):)e+jutkūb -.Z5*Z!CLDx[G#11 'ʷTNP a@H˅+h?e'7xh.ğ}[sΡg- L &ǃ>"7ו1IX7k+!~2MK.qZyDti;VRܘ=0IOijV-/;4 4Q[_Z 9%@8=]^6S58 ae7/J?*uoV$_6zM4o7(-%S158`L;0P q^?y4 E}ʘ=媛7><;]tLq[%7L;˙R1u:0TWaP{A|ΘXo'h$ےA` CoO~r5x$>MQ!|t-]WGĽTڞi9t4x+~ywKSA/ Dun @/O2;2a>O);yVdV"ƽK=ҡ&.U=<2`c AS o90C*,,nto}(ˇqD!tM"WtHzVg-#MdS>Xw+V<;z; N0v2Ps-v뺖Xdr˭3mĆٞI6 #4z|Q lTU<&G3l>^j 3r?&,ygàNLܛ`;l$~p2LJyk'7V6u)G9 ꮋdnX9zσA!_XpU.;`5t '3۽wEOC է0@} 5\s8V5Q̹;a E]/!do(^Y+.Cm95ǼgNGmIMs5FQ,K)Mqf/&;W (^l+"`z6Hϱ㲒ZF˰~.9| o0'gQSRj6BC~t+mIu–3go} T/"ҙh`u#u!*@_~]U.av!)(,V,TFI?N^Nϼt\J,Q@@nٟ@\FS/89Qi Glyv$q 9ju$:$7bV ϗ^4&HkX~oRmrU;W>,vz?y5ڞ[胛h4x5vv8O)H}A>FqF/CeSl *!: |g刈;cwoNl|vaZ84_ *dSX{jwѱUipf `2"P̘pXVj.0X,V_n~m8ډ4^jQ|W!O3Րy>|/ .epy]"6 ʽAtm{y^BrDPwz+fRt(̧ULhR[IA0#:$ $}hрČi3L30ޓµ@U虛&eadǯ8hy)g)6ߺء>#Qn]׊M{뱪zH1Л\`y?HY]Rs.0Tкl{R̒۠tq-E}uvEc_bc}Ȱ"F3T#0LuW}/$26]{Lggi҈'S}:a:JYop3nQh:)`LhUO@)$=a:l;p[Jv!(O'5M%aSrȉB̑X)}7, l6~c@! "뀩2!w鈔;ƝR2.$wrF-_a= CBY6r]r.G7۩T4oGtҰ+zc#sG*رCioe>'[b翸ѯ6nnS+vg"VEaAy%[`gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525a56ee4fe6fd72e6d5d73a9cf689ea63e99dd133f b46c7c945570a6e1e52b36230ea76c5031e8a99f 2aacbd76fd3ad70ecc878e9e7e6f242e65e76ca1