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 @1, y% HOL-Decision_Procs:threads=6elapsed=213.707cpu=829.856gc=80.496factor=3.88 1 HOL-Decision_Procs7zXZִF! R]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)^_[6ۃPobk[{k..(Q#B2nWUXRw T TǾ5C-wF&ga/r`XÝ2%ߛTvᏄ>Ή fQ Jaf/#NĔa!,]glvG?F9r۬>2%YlUaV z?#ӏMg>nFe7xf(%DQ[XPjp/f 8˻ >g;U/VbF`[ ”>O3EI/뇩 %?4lE)YX%X#|OtQ`ȸV4$B΀m'g)0LtA~^6 u=2%~Vs)un.;vygr;̍I\*t7 }+*`-$=S wqA'@d4PM'/< RoG c8ɎW汽8.6O3û@TBkMEg̛he<™BP/GG"Ӥ hb̨i|[C0[ɩ3g?JRz67ʄs[<ӓ۶+~͢8~.|PMHàHl*2E]( :/z׮h9v5)E}x-Xv@NRa+2T:D$VF,QOo:_{E ijT5 U6W~lZtOoa}6ȚmTBݢ 7z~jkO?&nY!Egyښb]>m5$n/gslۂ_b,USʲW#S"ʼpnJQ35&Dk)Eu wj桁 S˖uscA`ޕ3vuagAt[[< )xmYWrt?!vIN;%9O[Qœ盇&2DH"dM ߫u|SI;Ջ򋒰Ž!A>R2F$KJrUS]F*^}>0J-4%Ϙpva)hh&1c dYr&؄ :4%0 '">C (Un"ζ>9J`fXГ&KAz3YH9&f8mOo plÜ>8+ۚw{ \='#s 3΋p4p-v_#JǬM1M:?>=`*beuߝ$GLo_Ge\ր|n k{rvѢw6/;#ϷeJ1ׅe]$4N(KF8`@XN0Om]I*g9QaF=<.(ʁ޹O?% UlfJhj[<>sl2~Gs5Ϊ`0 lD಍UH1Wʒ?OocBH-Gyf4{9ͳg9,!ّtB@aGu  I8Ga׫or;ґI؛l92Hw!" ְAIHr@ U_Z8f]H}~U|UƔB>>5.-BᲳXĕeaYU%"1{ykܧAu3cuVCv)Qt.6۵n2Lκx[ CmS7od&dN#fΑt V*ܓFG~iM>4hs3Dy>Ӕ-~<j磏8M SKA yBqJK:g7#?7n(x'V6% yfꚰ{ OCw[1Nު|t6Z@^Dz'YyZt.{)KkV~BS|_ o\<R`K\iV0mDRRtȀuR EFL==@?b5}&A ?kXrDnu)ιA۠ˌƂ ͈'(8GTnoUJ*}sn HD|"A^t77p\ hQuf+]:fK͵E ",Qf-ܓZ#5d?j_gM*e{UNjgO#3M5j9Ϗ#ySaX J*0 Hş*U0<@0N*,:=tX+oN5cemդd2q-Ӏ%8춦<~U 7Uzݾ nxiY@j}5Gm-?`{e8⼬HfJ +HކZX| &I[ x,^ H yEK Lg6\8@L6&Y?ǛF*o*{J} Zٌa 7ø[F|堦ٶ"uIՉBYeDx?Ipj(p>~* }cL>wDyCwa IL#+ڋgphl:PxZt1iс~dصC؅H8D`ESfxBĞE $X@`[zfʐZy71,Jg^wJ(ԏ?.6Hᶆ# р2`g?c+y2tAە 0e_g <Ĉ W ݳ챁FfI'XPJ8bM/P̫K`(YNREw퍙.ǣ1餧jX!N>fuE @_3$t1&ABn(ΚqLн Yft nJ aG\V)?Td⽗sr $7#DԋD46?X^XVSR:F wX'X/ڿ$ }c3"C/RNU7Lq4 ՁV}``G7×X9nk"G]j6<"ʽg'9W |4UNh+4q8klC/>b3Jk皳u V)5bJEէ-Sσt+Tcvmzݏ|jiI`\r]b1J{*-e.e,9E`7hR!BY,kXЈ+ zy f_#T6M^fKEit@ۑZ_U)߃&baF/\+;2B ?; 9֧K˫~﷛fR(E/K`̥KnHTObݸ뻾Ǝ>Nۤڛ-{" \'CgQeIO*o5X 86!,43PE>* nѦe_>!8ގ;a޶],*d h2L2m __bja|rC) ^/mT# c:%RYCt l mJKG`֊uhX<э[cQ'Bi(O},L΀Rx Tm>t4VxCq+u-|Ιq2e'm٦,8d H«Km>]퐷[8ϖT-Τ>Y'尾_VJǾ[="هZ&8@pefAVuV4b5yšxd:?BP%"4!|2946I޹ ,ۅ77O~RJ=A8u6H|$ ) LY;o(j rP^}Ɛt'+*HU@:dP6=K?gΨBI/ v&)_uaZ2˄-f]U5Pt[9k͠>s}U(;Ԙĵ{ M2gy"/ҬqoB"{V?&I  ܌h(ҭy7pb6XgNםHK7,v0BȈFKuAjpE/- "Yw1+p!\~+bq=KС؝x37/2߳v9JC^ALoQjat 0$o&A].aa/G &h)Sc{d6ŚR onA '=8'D"F'nZ\ &Y:mn81;.\6xT j*/& |o cd.@Cq{[1DL/%Lnei?r f`Nc`JtczFq2\nXLS̺&y8@gMw8aDD_&q|<_ՖZ4B^";F|MKlоhR1XO~iXO@@k`kVKJYJ6,~YXI5,;u$w͐mh^=p" 陓* F'<`dm'BXg2q#/-_<&DH:P(\t|`6˼D=غ5*CćY'q/C)ny;ej.awn+,zb(D_۱FAG&8ܱ0-U6RR97f88F {QyY^u8뚩oἽvjĻ^N ]qj!e#v2Ȉ Cd;fWa.Ǿ#WmtY+7]"&2&;-PqnÀ P.-eu$|^SX ׍0صȁ ۅ:OŀΕ`d z~)6oWPڞ56 GgsXrg&1! =XZ |} o)pH`;$̢v:;kq}/?ma%3b`Jw beFɭ: tLu,~:q:>4] kaRNό RKmx2lu`{E &B΢m7T˱X%.d|:U]U#/女16g'Đ a5L (E2~ pv";Xai~`BGȣp;r*hmh-8shMȺs3?)@Q;uL߷Xjl8SQF&1S{tF}p5I#& xUSZu#9O7^ {~FQdN%QrRUU?2;z|,epR4Txv9w\h$4nSA,1,e!mY S۫LQkYy'NMe\E%@da"8~٦)9"{]N$Dž,aI.Z=ޓ.,]oXk/^Ҍ:saGZ,i:{5jq~YmKgv7w]N5ZaR5A'~}X x ;{+ Vn<(BEJ3maw{+=gmClHY2uÚXOD>ɭG|[m1)k_4^o^v-NUnt6%%-OIȰ`hVցۡΆL;b;i;~qB9Sk?[RcV1O͝8"HAy0*z, ܪci*i1I2ƷJ͞a\7H:ފA=E7&bsm/ꙍ' u#{jLvuf I{vGIlݭX-Z٪a>5B-㷽Vj ^Ӝ52Z<*0Ҷ*7s*1. #јK,)F9ey&_s%ƌ3iXÓ/FI?0T)W8.z$>0ݱ!Kj ]L)^ʪAgeWϣ%5BsPv)WVsS=BQf-%ɨ` XB rgA!BmIj2FEu=DRr`>4Mj.#=NLxhAW J`GjO/<sڵ̓*]SpRp+Yk;cokY<Ȩg)biVN~T`ߋ4u*Uo<:{!}V \LͫS/٘siLUuK.'[^Zxś\V*;2C.x"̰ȦuKฌtUP.#>e dTm%/Nnt#L'، ˵`rv:RptǃO,T(> XH.bTM$EstغWT /|p['c쪮Wߒ[-y[5Ɩ(aN=r8Su*,#õyBsfT!'6bCw^KUQcf"g_]*BNdɀVo54X&f:)6ʐq(Y}p (34n9!+)SAfw;|̓ \2'AJX/AT+x|6KB^x b[+X "ft`,2HwbyŎ478%yǮ{.ܾtLّi1f0ƨ'Q7߶*ݨxo9%֏IwŇN苄VNaa! 9~0a l\x  4NTW(dнkhS9TK¾lQlR/4~8V9T3Vv  "+'n+M%8RK](VW|6Gs Oj3Wk7]8pR+"q$4+e0+n~!1!2_v@+`XǽźqCK:M63jxΔ9cWK+Yk:#|̭Ks,9Ro.+]+ 2<3Fj7A+kT*/$yb%݃?!JBN9ܜ/X O) 5x$s'Sa[cu~qp h8OGJ kb]4X'͜NK_g=g5!,m6xNO#\ô/FհKJN yc13׫s`j&CmBʼn V>wjkjSHT,%"782:~_PZ=WZoCu^PTbO U>'@P&+039>l읛D>`=ϗlg|a-w>Qϲ ItQ}2dΰ(?<4q`|Y7igJGo^3r"QBU  LxLg.iy?ݖRgMiz'C -JbU,%{ mg'qbg'\:}'v7zxS`HC$oKA|7br36,&IÅIT5]`iY_3qV|XS_d;GE8:w6J΋H\]OnJJ6sb, Pbk/:Tl |UAf8ܐC1> ah]W(8}׺H5<^w^wmRzeF%Ʊ=c} afMQ&Ax3d&6@@9='0*%Iß֚Q  SSo[,C/U{hHg9dOaG@a>:Eoee1GåGhdqR6T3 ;M7|hGv,G'|hzW;U?ڂC 2 8t8 DGǁM$Aq ȭd^ц k!, `n.Ԃ~7#I 6\gan,JW`Ȣp<C.w Td`!.Ns[|JO(UlL1j;I{8%3cAI4a"*vkJyV:v++2/ݗU{TatCz{w@XƤ{rV5;M0%nANǚr#~NXOpk(QUN$_YO_I"YsVT1;̨R' /0\&̼Xz{ 7IU9s3G0h7\2Փj὇  6۴C\d֮A[|H~"R_bǨE.jի۵Ԍ}oz֭ȧpFZu^rT0 aֹetݵbh8apBܽd.#M+9՟یcS] TkgTKq_=(:]5ڠKq [N +Ui!w ذ}^E|zBR󱠘sQTL?Y=cen:cYr(JE 9V~7!a7'`2ڝPo%iĜjj6 g_b8y0gz}FʆP"{*Wdw{ƭHG֒Q%EyuR_L8O3^%xgp]-sަp֎Z]\\y>S?ImT gd ZQ4_ot ^sI[)V!G;oY$CzLld!]*  (XfJi2PEq)w0<67ݴ$'ACg|Md|yI/#mB~P4}OA;9HqLv&e]hU]!I;¶vST-(g:TkI.Ϭ&Fg>?FFށUL-94/Rp{8@\tڷWo{X׎8<= 6ɛR8ӱ.5F8?@#@WéNB*B7y_  ܯ8J:+h~3BRDgvS9g+6T#[׍@;М`DRbQș&ztlI }%h{*ƨZbSIJxlES\wk?VqЫS=Y;FZƄ^LY ՘ǂϏ*AvHҺݿ [GhA؊-j0>F X7-F%y PBd4ਛDt['quƸbZ31m;0ntR>d ȩaȪ®p/OgS`MjpI'~65\m{e4K*U3-(r\$PG#:1Dgc#f9Bk$; eo רɤ-Ks%lż9aHU%g~}k/|Pd|AAfO./>pΙ1e?[h=PV3ތ61A',$WRPsqq+,Oo%y6  L UV 8-|֢ZF^Up &cQK XD`61Q!$jBrN99e=1h逼}r{*ޕ{̻`2:6-r.>ǯ3dQɷ"C֧ؠQQNBnɍP .y eR> Q}¹T~43ŐYS5[RoB6^\l1/(< 2BDU9xmF,g6hNɶI"! Eqfż\;Ui)V^K4 1dvttu&RgM:?,iZ Y|Pvûsm@ };:;,Jdπ{ \sx9o-*]SG\u=. ]½J :uʐBZ]%"SҘzEQkc hȜ \"ꥑ!BH:U[<{[͗0 8MED*e ~g/> bM{}a_N `i8ltZ yO'LL_69KPr*Ʊ`g&蕖|:Sڀz3(<<==aSk'Y EvЦs/UdJE''zèP)ow翃ڔɴ_2FV(U&ea( VF9c;7]saVV} 94sVnӰXD8. =*$Pi?F ycpa MZK_O/Z)߉,ԀGqEۓF~ٓFt{ZUKJ綉7~36-XE7ލ/ oD. [G|#^{ɪ&8JfM1sC?c]9\xb3~,I<}1&5ONozGMpA Lg0>iL|^q`-!B  S qj.uC2wԩHNk_f9(B#Lc\-F;~3~y3.5`fr0ߌ$v̾"96Zs+/c6DlЯ*@8?, ULbc]*A?<=xyY6 `Yx#Yͷ3P/|58 WAe9bCevXĺ*OVF1fC`Bw0=8ۺJ}ivsY ?~V!> I*6슽9}mA>rE. +?g J[[!֐NBOR\ϸ4Q64cxقn=IKX}nbx`+'Ӿl:Yu - e~5xHWҦbꯙui] cd#.H$˛U{2Qw: R(i!rǮe ĮZJFTVuʊ[;Gb 3KdF>Y34ƇC<.˶AtPU,6Ҍབܞl -%4SߐR;ku8.vOO~h3rI{Bs&D*Xmg*Ѐ*9L2EL4kB^ 9r4A] aX^0LjrSȭyr)09sMh" ES@ت' 5"r-V wK>G^[e|m5Gٝ_yh ]-V;Iti"dX\Pڕ|nG8F2+ټ{Ax\ӧyط3X8b`!x4Dr@Bu;1`X^bkJ,`FcL`GRUG;y`CjIW}hwA>jIU p(ʣ`ky9lxXzrƃ8xhH\% jܟ=Ɂϙ|yBw m3$(@("XTˆ;? *#hk2,ֆE ֠NHőKAa;k~`b,u<5%p ,% F'}/rHWCMf rHB}f vJ?(=aCD *MJyPMx򉢦nWٺm5St; ֆ뉛ďP}$aFljwEb>?beHzXɴ^t20T1?0Zv*Ub3ïQG| A2e d!{28Ÿibe#cnP>SJϔk~O7 $wW $|r/^>&u}fjaCǙ`){/LN2Ӭk׋pTYѤ"sC7o뺋#F=cVWUk(`×FU>F7t$v g7m[ȗF+Tz9mQL]Y!, HcIؖt3eMPL|w;uj l/kN ܱ-$r Fɑ!Of66Fg}}wI<8Hw B+KLsh {J>rP _,BdCNGo%o;}ґ,3h(@ $r:o 2+S2xy y*USVif Rtʢ_g鍪\Ha-:Ψ3$B#VZ1SDGAYmNZ'7wccN)49e4yGjt52rvo2;wLyFqfL…]l*yʡU(IPΏ@=45R:&q>5CJQ[f:iU-ASx8jG[}pqgw68ja 3o+Ur|#g/=<2+lGɿ*$e][b'=y{?[|m*;|$09fsoʹ4]vƲi~c){Î4|c3wz̃8c+yʐKs0^=~3S5PZ+̻/2$)]sƕo+AiZ6Bm7Ap)mGֿ Aovh}%Eqq98{ +xAPvlCjC{d蔷~PHaTdmNnto(zt@搑Á*3BU/5${pr_'* ȞF qGa>]$8=v^;W"݇/燎Θ\u!BIFjR+̶n]qpndD [Jzs]`YNf3i$ac͙4*w^*eVH3#zWn \9Κ(.[4G?wks$^p>^A2V':45}T/JzN1m]Pa2 9;aÏ#f'13CDc|w\KöfBo#2ww7b ϭkk0ёqoʗP?CDy&#B>B4 WP Z}r<2D|8acm)ږmvyo hmL[?k.5e $/<b2khs1'_"N5._BJ_rb(0SJ! c3ڜ'gjnݪ~$Xm?9Mk!+ShDPMv\z9E:5" c_ 4c^F9 |볫S@Ll:K g!F&., -hf 2\/o@7-AY%셝oDZd\S~XV 4"yv.GB]\{TҦi،I:+%,4[y\x'I~bn_f9ύ'Y҈->d{B檕FE2g@HI)uv R~I\^9OrzC{mE$yE,PSrdI=B Y/^(ymoNHU Ŋ{ VGAwG%8dWU[v=*(뇲Zւ*Q.i*]PSԫo#ϓMCk bqqIrdܢlkpO@╛ IJLؐ Yи~mg㯿`Mr+]n=rDbVAGzAQr"QQsj> zcI3U_֛\9=ÌP( 7ȳ'!|bNZy)S@l37|q+|#0 !{s[b2ˆdg4FM5_+&uf74.gP8g%y;0N:5ߐO(U4cSf=`oU5U@BІ #埿>f?`ij4E:R[;4/+D4Ce) 70u$.G9Xǽ1t TMqBmO#wi̘;Y,V. IR֚,Fw*M]*\Ϛ#="ޖ$'@׋X9tESرW,LBX{Fרּbq 2vB?0_ rVEa*pobM&JWC1]JPV 㒂 Fu|-st#R9=k{mJE*Qj?+L`E)tڒӾZ{G&_B)Uͭu@GЂiC_CxWA΢J|ԧ{!̟0pk=2]>o`&]'_]XwOi3S j>"h2vfc{)CxHl\wvNsAY?fC$}-EzjW 1DCo'uuz|:L}:R5>Ҝ4Y0d&v7/+ i~H`,P\%C-Mi_]+"?xm;͒۰b'H)Ck$7ǔ_ΫRN⌂N 1~[|liK~RXuRڇ/LMn6cuJA_|k3%( CĻ3 ޶;]J$(vQ6}ߖ BY{z0Z!g8eH,="DB_n&GZzG V܀7&aei%e8+]Ǜ|M)b"3rs۠G5[/˞(ԇ[CVQ"ܑ) 2 d Fp EՒ] ym6 MM:@{8[I7l@Y>uIrcxJ<9CmB{^j'xfzbSQ6yrer#o wRfMI>T^ήӅa$\i϶y,!ãv !kͱ:i;6k| Ƀ,^b><}fEKgW-o"JտqBjҐh*o΃2oؓbxFbFIJtqPY6x[~*qz,{i-B:oZ=Ռ2Cj4Rh=epπ::R`,r^{M74$mZVʡc\BJ)d0-[?LoM@2ӌ-'YY.gIhjTK晾FN9)%:? Do뛁VmML\HIѭc1dA@gu܍kAd _7ybEMi5ڷ6P]8u,zǒnLN|-k,d`QJ¾ PĂ ÈK/Hu'zΟ`aV]Iv3A~ePŠEYoSq6Ab~:HA`$ԋ}P+6C!eIn>l 3_ zL$[{~mr \D_ "$sǝlCxo[3Zȫ9zIn kê]Th W(?TKג+\}_-PEe(5`{iۿ{ @b-?-&zq,(X[ Xmdڍy_t/2tJ|;cz_0HP&}FDj|jMoRbg2o X0AޔuyЭʼ 60ì~-YNK(- ؼ}*BMNOv~6S"F :ӿs_%&3x[s|J=~߰=9—/JB9~ՀGd}QDEpy34ön9c{3B6fP0};ry;*v9@pԛ"?]0~Q\L}: f+^?VɽgQ]"&%>tA]aٖE_2CM؛V.EՕhB5.Ə+ᵱaPd&s•sJe5+Կ{>vE{A'}E_ny}X/I6wC-QQҌ'Khm#z1ϪX utD"G ;&Y[[W7Q=Y|@ش 52!j:lk0Nr_)35}7m둯*@,J)JF3Ro l-C2xUu#q+.˱CcT>}d>>‹?蕟j[L;抿RNiv& ,:^g1\Sr}zfDls eǴuj9_5c[4Ը18nqL._}gYZ7zXZִF! :G]ŗXi%(jK+8D:c D)1׭*+v}Y]+~ X\neNӷ*tө5yA/ucHBhPM~<Ӈ1N&rB0cf?ݦu>r 幉(TkT?f==e{Q㵞Fh22iڨk߽ϋ܆#Q!n\BPRFӴbM;#PUj}c/N'cf/`ҭh2N >)ŰH@FpSϲ:_ɢZJOMնҮfK R"kqe,]J ls xu9\}Η;hIw;Bf ob3χi{ :7U*Sq s$a`-u]oks pd1ﯼlvB$!.uH:Dw8E6 M촩ȍ'D$ms /xat"懆c5/̚tx-O/ŦS8*V gGEf1z6&Mv1. OUF!//\՚Y2[٦sZ"G&1Ma~ e܅ KM`y&rPL;%m}xcx}{n$ UYD,1&K\no'y?Plԯx=Lvv҆EwicSw2(b "FRV; KG.KnPnyJpҨ-6d\}" \' ͭ:kumȎ9*{Pr\2胯-H*L&R "=o&ٜ ָF[o"^'㱎=;@\<*E|:e. ؽVom:`Yǿİp<2M%I*DNׇd픓`[1zh>f; 2ةp^v(sxu ԉŕ`JKAH2$$|[*zVYC}Ls:;'. |F][^$+!v!/3V&tUD~_݋X0+Hrl^@Vnvf߷lh8J\)8^9 +nB, )l92-ŋeXXYӾ0 `_ntAep*S`lÉM-7QUQDܜoY$o_QSpvv ,w7m2`]O &:sGE)ˮ'kbt{̓{%:|Rgn 1FExI\Ƒow!%-ҷf2BXے*qhS&JP9s˱bX-`Ґ%Ҽ,x@vj2/2yЃ^Um?!6\QRp0 DThn>RK..Pha@Md VTiyM\ /W[c+vl".s\\(@BI=U\Gq^-gbG Mp%FBuTh!ܯonݿ%]|J-$ط'<17쇧g ؄'^tQa97b*rHέyx] G'߹LP];f(7|vyt˫2e)m_yoO<}Gi4c+ #9\Yxbvg  CLWnbz1 n|`x;UgfUÍvqnB%rH (3}N̘O#ViUF$c\F j7kLQI{N=!{-ko C^ =G[ EP^?He~/}zΜniOI4qlHLeH FP_Q:>B̋2WǬ^aol[נ=D($b\Bw=B[BAOFb ?ĉSo,B#s2ҽGVLUHF Ĵֿߟ@<>~Q>k0B+-(Ni~RF}7.ONk?{ j 8$ +(S(+*:h E=:H.ֹM@5abNqM8-:FB2n(9Xbts/փ(Q9!(@ Qj@L|lr'Fc]C'Rt_' , ~.=g9+.)}ͤ˰D/q'6mHt 1LPE%U}|XPE0r|"55KU|D+/C.yQC[e-mҠ7ptxh#ÄE*a"Qc&B+*QL9ML8Y ;s` HnLIR}HĨ>ՙtD^t"9cAV~h0lhN=u'^dq.'LBa-Pdz}0H=+>%|Zi5-C.0CE[jQ 2/O '$׫(zlڷ}JL/,=ΜTTd-$mp[._~G5? 2%nn{"pSofkMBhPVL~VW064lQ]ox˱kKhZ*TvC'hq#Zܯ_YW7˄ uQ*$vi_'2&;Y,n @7/FAD$wbdžl#E~16`޹zLEP>5sb*m2Q9TP| ؄ϡ/b@Լw+xW<6VN<`s(uݏ+c9@y62t7XUc{BkQh0Y&+M/./>cd#] d# ᔭ;.TQYAXW[F>PUҹ`qPfl҃(ܖ̌jʭH酞]ֹօL0u䣑Ҹx=Ai&D 50h׬ҵ(Y`z`REmfiU@'i xdT'ҙ\3WǴЇ"pdS&n;{L[ ܧ!_k ^@I7Lh/,30f9Մu=):UzUkk֖,jfupʆHhJ#?wh=|ӮvJi2?g=w!OB{{%ކ_t` ͕ܖfi+"0&ې{ ^HsvҚߜ1%/f5;6aa^nY i);UN^L=z]n2 c7)sR$+Z?x1i޵6uV>Wdvw_!lPkHl]?%np+r]{ Ž.ʅ"[^NQ}ׇD3-FAtk Zv?IH5WV7ቜ6,/.ᯛ(@ }N?m7ofώG0#`@u'$k%̞xɧ2%cg!Fy88[ ZÅfh Ecy'7 Hwd(5ڇ2$_@ZS^:|NR,Gµqa^W5, Uw Lj5H~&p ׯ|'^EjldJyVNB0%* מ"}YN,9~ ~űV n0{ta`y5lg@Iא)Gnqi0?t5|-9UՍPGBdRI9<sݤP>aXS¿L@ ^,|bdX}߁)bϻˢ{k@?zvYQo3"C>cRT3k/lލZ#`z8Oɾ=n7z9Ʀpbt jdз^ }`tt°Afcid 2#ʱcS z^V^Y @ 21p H;N7AQW}D澥CkЌN—abj@\K%D w?TzsGs_WTAVmY,ykŖNVM]sxq]g.E\2vkm8'EFA8awVy15Mp"l`@?^@ޫd=)%He],Է AY3Xahȝ6x5Aۋ;-RgkvM`{+ cOښz 9f9k*uu8eZ1 +Nty"p21$ÃFֶJvZP\<6AZ8QD;&ŘЀMF!zŚVV >|&/KMǑ2$8QEZb{\7hS(k=1@s Eo9:XYM7Śκ\di%VRt!-9`B=Ax uPB7piӓ=z^vA=zy&nNT T?*f8{mn UaEl\t-HDU(u&!<C~t:h.=zzfP¿N.(JF4D:{ȝ֏zSgcs2Sk)4 *6BOyٯn8}%?T66ͧ޽KvH,`Ul9ΌD,n'k}8Ŀ͆S0q0'BZO 7,'%%J*Ǿ@=ؐf̗n_J% 9n ]ɱ .A|kHi_fDфB/@ L65çKHc5* 9Ա++/ԘzToy:B+?k4y! *$򝅱`mx ULD_Αޣ'D"z io*Bkv:aʑiג;|=*>4T{U< 1;*EDܺeK[C&#g<ӛY pe6eLoj}CFCu\:G9(cAgX%txQl!ڀo#WU'd[z&nRc}s^+lbڭBnzYf*ۨn6HvwRn΢nET[Y3T0~l*ZN?{3|qc|˃NwN PS]ʣZ3V+? {gR!m=іK |P!iWЈ=ol_Y6>ÿ<"SEy'tue"" 0Z w :9'(֯!I@@%s~hS^Z"ȉԝ@z 2ܱCy_PmΩXxU{MYKDoS~,Lu<<56~erH h&&P#tڃ$QX oӅ$<ҭ]R9 i[%VkqcaDŽ[b\y2&{Wi!$zefkyST*Hi8, qwDE_zh.L(UzP,?ѡw*9?G$9ZNu 2S,[Dnu\ǯQ@|J $z{ˎg$ֲMEqgy: yZFQt_J!i:[=mc+]lϧd#u^o*T}GMu88p8ML( ^ti*{J;iA"ӯ瘖% &`UDJMag|̘ AY9eO7 p㊱j5dyhՒ0Qm|Mz(H5)q( 鋛GB[{~7'"&֚O_`ˑZpA>pgl-Ʀa~`NW|+(AZ[T)V%!Dg}%At7AK͜sg0`Dg4J tf|M]![} 96yiGLge :ri/5lӂ|+)4aWGHd4gΫ( ͥjM^ 蛘N`k:w#y)߲j8Lcù?r Eh6y^~t(snQ8,j<7T ukԂmemӢv^31zyDȓY@_=r+N=Q݊M 38CMtfBV1D^,U޲b\k\ oj{pNjAVS;~ iAcnF5.hBM'FfnHty@J%Lt`i4-<)<`E51π=j6=૆=uPjj|l=p,>ǘsX#{1Zi)}jG#+ Ao6~yUEpKI1zRqBD: F!O: n[` %نtzpq\۶S V$/݁9 )&Qa^Ql WSH~Y)nѻ& !m#Z!G,))P?'O9LO-U 蟈<Af}Ka23C `_G~VkI^ǮG )38N3; }hk2_a r-ٵ($Tk[٫Aw-q2vǒ֥G'cJd(b yG!z#?Eb=Y#y|0s*1KEGT6j<9uYH /X //ʙhoxHmgjPC$Cquut嫰6(7-k$Q8ˆe=DhrbL!~XG%E,%lLPա]fXn4xc/ :1 gwz%;+I$9^9)gFB%mDJީP)($3erKTSi1NX\a2x_-mphc}Ýr65~WOF1{ȇ$FuU4furƼ'%6. r&ܵHeːrY3ׂLPkDUTDP<J"mwv*m[;K=QAHFY^ݵ}\R(YٵJ C/艙 bPdi͘IWrW@02qwH 3  fn4Trks^Y8 % R/־C)d!C;B,צUt\P7s6S*6 )R}[ɢaњPK~17Z(KSۃ,f%\F f%ҷ]/ED$?]BI3> `/7̮!zu@iP>m&h yݟ&Khbaǂe漥:u`F{,]yda/nNxeW0D6=鯙=tRQZT`c6O36Jpճֈ/'mB6%PQ0àd<8Ԙ-K*qXʬ ɿ/?vD=:AdiiMi '5z\1w+ 傋kX܄.@Nuˇ VSw3IZ&׃ٓ(ӾH"/Xc`>| } !6՜=S1:?uB&d ei '`<wk{p;CkN7%7Yy>N؞v7as){2K &c^2 X'W$y'G1ٕ6&vy"aNOJ]ZW'?t*md>,vi'MqFL*Fôz0ƁҤXkd=.e8evW5¬ݲy˛*WG }Mb-Q ׯH$ 4~4R`P7|6 D̷kn‡';{3S\Q_ҢŢV$c}-=lR.}z-i T/+T>GJ3EnsEu䊡K@@ єޙLdȬ;b+YS14 c-Nޕ'L|àOǘ޺7ݧYx~ʋmkA98ba;ሰ4c#poC\vmmR?=}<;?o>TG5F(YRL2! ^@4S2/,!Ѧdቇ꣟Odq: zșҢ(Ὁb߀s)KVQP#MQ,ażچg*KP)u]"al}zDx2I:,$4T=&&VnRWbA#DL[ǿFSE4MCOpHT׃OfVa0o &`DMOdaJrs(QO_Ѱand\ ;,Lyk,] A-_u3P*~J#֬P"GhWJ3 AHUl ,ȝb{D[5p8on{֗(>ь 9JJA "f;&>\r\7|̮sAMFi# hjVݻũ,#1`i癩D*6 Al԰UrmJyګHP}{x}X~2pZ ;򏪣D [R8?1JOkvPO|, lNVu2]t}% mfݸA#ՄZѓIy 6thvƻzjɝۥV/JvsGb68ٜShZ$7/hAvMtY]< ꐅA;:rz5֌%B~̘;O&=9^9*QQ$?ppieHD!;Ggc Khԙ%` FH2ח п(ޛ]'b^=.s}:(-yˈ5D*hdkj?edKxlyC[m)aȋz?|;EBTq$1/o67.c}7͉Suui>SK B|}dV&V {繜34O8'ȞƋ62,DVY$K}I. .iȩ{qYJ=ɎƧr+Nb nk ЇqF +S3Y2~H(Rp#(B]5݅ȏ㍎XZ_))1p+9?vj/wPMwאAc:"tېXlR-9n*zp*?SXLjnSE`=-ڹIgwq#]80JD\㾗U$;;Ѭ|gDCӥ=Xsѹgu/Hr?h(2pwW{%tggYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 7c3de80c3a16af05902b9763188afac0814d65ce 830f1aedf1e7dfb3c3de17b04d9d3d48c6d80f3b 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 cda994d4ebb6399010f48d9e94586c64fbc24514 d25f3d256bae918966574511fca2002460d90524 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab14e15f9d1f57ff65395530877896e5591cf430df f2d7a3105e54348bfa2b8b877e952da9878a209f 46150c4121ce3e8fe7548f022e91914953c7b496 778d0d8283988e8629a15324395f05d95865c9d8 714c25f1b77e4ce068aa7d53b63e43d041a2d897