SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 >9t4 ]S Decreasing-Diagrams-II:threads=4elapsed=14.084cpu=52.508gc=1.7887zXZִF! ]]ŗXiɟH!n?珫mKuyMNyϕ\Cx[dHRhv0s=]zذʘ y(3VHR p6iI C+H׭ƶ9 <7w` _O 7u KDQ?8}^4s,Ivլ2L?F;H#T! jdp7j;J>YDfjl{FR,իJ-Ԫ`ԽC9Yr-q_be&W&i3/o 2UOoZpT Gg,r_<%9Hf^++73S ЧTs/)j)ɂb(sՅ="0H*sjѤ*bCkaKWMz R @ãM*k%vJpJJjt8cQ|9h@!io0/DjgH+K{|K1[_Fՙn>Xh S`_cحE\.`ɠ!7k0Jeyο7MaEĭ[cxIs|D08 &#FlB# YπO3qh!hcCr*#e*N[hv3RrjK ˩C )ay:_eE=9[ܸΓ4s_TBmҡ`8Q$׸WpKU.[SR"gY`1DJ. 6`Y|z= ;5ߦH?eeiG^8kPQy|UpFK; t12m(f%+L1mzANR7|g\c"LZAҮ;za+w}L tꨃsGrv3ifd|-[t;jBRAX[IkW5`?a&pOjl ,n8wY~UA17rsOUdv"BX [w piN}&Wv=+{1ilsޢ\osmV{ RvM ]uE|OE1HڼrۤNۍeOߒQ^j[=ؐrg)aõwTE;z9BDXBnVqA/Q"yTVbBT}kYq?^_@r1JF )擈p୧<cx6w 95\*fs!{`s?Ůu֚( X1׹z7[bzV&5XgYUh~ږ;  Yf ͈pvQQgqDF|" ʋ?J!^P ׯ=Ꭵ~N{NR -]SdyޓmL#m0лa#I4ѫ68Oa g5 aF+5 hw;)y~>3a74bĮp1<\O@݀8KٹY&C=^IRA"f$ ꫢewiݢc~n.Fϴl;wV?-\%Sn{;۔>c3}Qjx8[{ Y?c<1YүhN8H^| "עW},9}!ʌzI%lxL ]­>xfϏxeSQ:f9Ui/S10jG];0-Gd: WQϧhy&+h-C6~iђg$!/[Ƃ85()Ae;ƊX?)dRoxs[z8 v^Y~(Ӊ42\lb1Ὣ ү΋R֬ӹH]'VM+(`/(nՙ+wSa}i9R |4ib}mO]hB,a>Ϊ ɟqSҐz}Nјr'?MKICB6@&k e%Qmn;].` x*!(|j"pY{;Y%{Qb88Gn=ޜj :EtaP|q[§-H;73o  lՀipOpcDwp$ =dWCII׫o<{$Yv.V]NG d %Npx hqvP6G^NvhrkTAі5ҷRͬS?2.dvrzQ#SO H*ˇb*"d\{'ONqBe5чJ;mlZRx2oOw8T_CىRw;.`*}V@tXps%cv &~P]PjSX? (c\nIȑCg жCK##&2qc@oMCɈ8/ {I-K跜&J5 9 Decreasing-Diagrams-II  wKSP'(ăr0'6n`ɢ2xsq ~)7d :3|tëeLv20u3"uoǻatqc`LkU=eD4,gf Gz:`Aߛ%V=oF<"OtI~+ L9I361RQrl. ē:Lc>C8-gpiyyODcx^,gޖ;9<%XxSE=io$^]PS,".=ѫz3v f> UFR%X `Muq4g݉'nS3ب~,w~N M[ڀ,ufKQSh+S=p>#΃heS9Ld_E]_4?oLXԄjOe=@_+:k0iL utZ6УyF>QI9>:ft2b,A!iBULjk`Ma`$Eۤ-)Gsl]%R՜=Q*RYTޭKsO9_&NE$M4KB ~](#ycSi M=ϖ%JъQ݀*&"j7-߷ؘ-/!VUÎ fH p; j0fX|*6tQe\n=Kd{BnGRQ\;\on}/wXZ+"w f¹q!>~!;"薜{1T`kQ EphhF &vgvf/8MYn?zNvW=4)HKY&Y,5>M=b0oUO_0c+;n M:f b9J/Uizsi-0nt=t2x3y YaRBs$h\m&y$ NBg:lUM\%cKCQ/VjLZc4pK!*¨$xu"5-OyF,KӚm?K.D<"nz59 qT>`N|̹y2Rpp-PS_&99M,XK"‘E)Can HpfQꩤ;5k?5ϝ? =p[Y>.,كD.FRVb 6J3&}{Kσb^^1VovnO9~aUgE<3(tO[V]@Ä.e؀-#6Вe&O~[O3\ >JyH8/bnis]V) Tz\nTw;~u' 2uv}L W̝lJ(U>vs;x#u6d0*3Fi/yЊnNӮ)N6l>Kbhz/bt9 zBeJ in rj +:qzOHRJ RaɑD)'i#P'AwT=o f$5 0PhgGγ.jPNc0atT{ޛ^NP?[W hϠZ!z6sdu&Ɣhȁ:"I~_yKw 4"*/0!;b߳vS+.m!3"ED= HA WX"i1pThې^*RyWut6;vLoUzpLE82ŭ;ainYㆱHw״Gk"Ǹ4$j4Eph7;MǛVC.Ś!;(;8된-hׁ:sQK+UY7KrN!YD'il*JJ1ĆpDmy@3XJㄉyK@[`^p{*0)r^J< \%y3%|cht^?dZ Zf[U TU-|j:2U$|:^qαb0pO A;B^~Z^[vbַh1:P㼴ܕ,Ρ|>_ZΨ-j5"A:;y.J=d2" *lLeJlckz4d19H>BOAj1b9JV(*l8'.KBfN G[dֲqU6F8zfǗ@6޴Hk 8 3%1½!ɑ{*z qZy0J.Yo۬5?vj@ZzAѺϬϳkA(㖉ݿ#=W^i1gRAo'r^6Ҧߊ*pI-F1cJ86kN7{+{Nr)պ,&O܍M.Xۤˤ-fS=c̖,B1dPpO3=\HA.>5>^OduFhj..ToVW`#lY1}2jPv|8x<_Pf_bkћIrG35nE"B@!~ɷqնN`=^7TE&K6)aޒn߮-/w*mY)%vhxd2 PO{WM{5(SX--RP4)wXf@lbʻ[\Sd5F?a<.g&wXssݍS1pN Kk:-2!j+*WPG.iE1 'dI3>zʫhq0TX6[8p`YoeAGԛ$9w;2x2pLTĮ-lgށ3 0ŚV['(✹CA K^O!*_AAj {.\V3oS=?̼ ~sqLUDg^E.;.%Dė'^鄀9#_Y2ꡲ9NfGCJZ»Rv#r*/֤ HF׾lgD5@ĵVU3S л6TUmzP;vvW}}f^ɬj8&1 #r޶N>װq2ON5耚qu i8M;|Ȣ;fS"_po&FooG >a5N^&tA<k2em5߮w@NFe#\:룠!Bzde}pce0D~tr?%ї0Fo.SN:z;5 S {T!W,v<֗\~.\׷n}BH2o-t[{Xtq X7C=tfl[1i` nаl^h]Qb'vNz7QV@>g8L6LA&gO̱'IŞF/&j࿅tH}t\fM˅H FLxZӴ_SJ3;WzmqG ziO6DY)MaX9ucSqx9hd݀"^ubtU3u28eHVӯ/Ag|.92K4W ׌&RMVqf۷DcGl ]h26ڰiytX6O QW `כl?_kgW0?_ ˱*Z"wPD=x@ _U7A0*~CpC$[1igc^RCmr/YR 1D5WEMTcH{ndTJIk3Ԓ 94a;a]H1>;Eq[GGb69jB$0w/ދA g>w^sz"9֭LA`OOV,jKl>B>`uVn2Ȕ{=ʾyJ#A J䀪~WOz2_*W;cז[N?L+tqs9{^dדe1vFj$6)jW1jG\]v[(9AZmL_Fz T vKF/|T]T'$Va97_hjN#w qsw1ZpC{K3b"Y3¾XzMh*ʵ~5s$U̪{NW ioϏ0NdTo 7!攣z1A+ֱs}Tz^Jf``… oЛH+`.9)d>|sX8`aτ7M ԵM ǛDˆࡪ wL=>:?>s$9u})=84]msTj,,Hl zE*T6|&S [jU}_ ,E][q zSF8m \hB 1nQw>.ccMNfS_,ɋ;4H@D<=CZ u`GWF߈#6 գY}br_OGg0Su/;c㪃JLk÷;ogDU.؛iʂ:;;ZoZz?,UL".؜yV(m;L0=Dlyݶ=΀rP@$*JYt%)hvfVgm6\ƀъ'"^XLw^]7o& ے؅C2dr"ƾ qSJglXڲcndZ"|#Yӎf=\.h h%")Kwg|/7MTjȕ=! yƍ5%aR8Z|8v>tx&-75`o+p9CLV,!'mDov,U͏fwYifbrߟI]3;D}@|,vyЬlT 4o~\u.wFi{B+sa_Q.gj`6h.CWȯ1F+m@Yrfڝ$p ;CpYh>&|ӶB^,19@xCtI11@RL(ŖY!=gA;<Y 5!!'`G+4&WCzr>#WIc {6^5ګ!BwƶvX=|t(7sɲ"W>sZs|=I㼔2itg!Si2iZ>PN>_l'(t]TZV<%HQK„̐󇈶.|W3pLi;) 0Vʠ3_@6diP$< L9 o!WQ92^^*-nl0 (j"*L`r' JksJhWvXztTVFbNTI&aOkAx:É8V#9-r~Cρ@1P#@e~ hB~TN;-H6ZNW6Q)O.M *-C߰T1n/>G.0#!%&:Wj0y%,1mUO$oykAT$0Fäv`z;}}Kc1[ɚPT5ݾ?gĴ5oFG\DϑL"VxD}%CeEao+. .SsngGyBu q=,WչkW4 \5sq$B p uiR"1N ӌ- h 7)D L蔧m*3o {= V|cV4c|i|Z{>C]cX/lr79(kӖ@YnfS3k~[2݈Irm'Qɪ74ΫͭR Kj7\0MxĜ[RMz$b&鲘oh_D3*5A;pZ{|}JRL=iPtO.z% 6O]t20If-P.2Q 6GypB g=(jL *1rHC& mL8d!^}nORLCqf`$_@j#Չ)Vi 5|-I uSfHr XE,Z骑ceD4Z7 )ߛIXJI|i{t{^ЛƿOAːbs`FJLJI#pUGT@F8] l+& .xhA_Z"T8jBn"5s8!ʮJ%$1.@(LH(2L~( Wcµ[oߩXנK590-#&z sK2 #{J`#$Ewi_aQy$)B J9#[yy{ ioyS#b60e2LƸmZ:#M[v>?\o2bBuhCxˡԴg&fiF>$fh95@tB_ Bn\s'>J"'&RW(} LWB;M`/yn>y)+a/ ;OSs˜.c 9!*vCYK{j2qV Ak5;#5#6 w1%3G5GژLG؆+])ؒsNF|W[`ƃ|J hԿWvL{/FJ_0qYԳ[2A,ۏ!Y/qCI3|zCY[)154 ߋg9Xld=<#̂Zrj[I&1eq;-(dk@EeFUh~yh0~ 4_4_k^XOODKyLX+aI3g*^F$`d${f&cixx3)h-hl%s׳ &Ic,Ќl]n =d!"lTQ-iI CW`<^zxpBW}zTzA;aT⦙0dal㾾6c _[z$8STl̆ [@捛l6]_|ҟaUKU[zI!(б%b4UlՐeqɁ˔/Y_ #q$nD6Ae4r|Z&g)!:&L2|֍fѸ $MM5 ᔫ_fmZﵠ|݂Q|\:u#\/!$[Cy(O g҈ᦣGOwhB.S[" S"(xTm9'*ZMa*eM D8]JS_Z6,~izq2` gەE9c5u3l_gC#(6PݖoeC) Blf`K̍ax lmB-$e )ǁ( \anecN~z _MT1 49kGǍO`x_iʐ)7<>oO3gT5RBU;m4d``Wnk/f0f췁5TsXq`kN^EIe% QksB0^go‰Ƕl|v Ƙci"?TԜdTq~QB n܊gVRS8e1A 155‘Xkn/c]D@/bͶFEY^ zSS;@?"&]_YR*niᄛ$L\ނvninpMy>)CnmdZJ[6&g"||;4HtP-\/ouQ~cTUxE>^c4rI4,e)xɿf=SX}x2$SMTh.%q!::ȷ^rEONmԙlOj tjNm8=a` Q۾nX`C9 zV\b"6%>Z[[>Dk}p {][w/NUu3 HUJrk/.)G56U}jSdıitKѭKQ>GfIi%y+$s m "y 8ϒ/eR'h?p9B.reL4FXPwBbx5+rMicԳiLwq8h{З͌P7V`>@|ie[#S\cW%+wIy=#|10MռnhwpR9[Fqh!< %,dE=@vp`e/_8D]]nj7'Jӄ.UGȨ(3W ʬiajP I W?;˴Q NSHc|@6p|ne{NOUOrZģMd 3b%g᧶K?/,g.f(7*(3Rx@#~N>^r#S}0|'Qgi;3I;Dކ۪^rN:֡Z:.T[y&e\#~ٽ@Q3RbK$O=,cbxnߦU+-u;(f))%m,pů7ǖ 8 }_ rvb7JwA&u7b^Py}N)IvL?{ Oәeq7flyă?akaFk9 ku>555@\A?af^Q(Pw]j+?|Aeg7}%}AAd!|7qqh:]k(2k_.c]4prc.8n^{,#+̕eKe! UBן43^2'm[s\_-bŌ}VF~->(eFi/E(6h޵̬.lSa' l|!*9)@t+Yͺ"n'|q0&0Dviɽ&i )τc2,uWb2P!hdVw§ʚxQtUx)i<\61@?[Zpg]XR֘n*x2uPp le=qߩϗR-%fMٍ$" Ǡ~m(0F}]JLK祮Hvmu zfQ[aX}Yϔ7nn75ι]=pg eɡ/*a7EEdI$.` s`^=dOniG# EϽ"+Wr-g'Z+7}S$sz`QtѢ\`R<-@ZN%_'o!uN](lJs~H6rui?@`fOr<8sI&,ݯRLm֖>ޝ]rtWQd~Je m&֬#Gr<;2yR$gQ> `І"jE-U.()ҊSbrR4L#,=jQ}ϯF5Dc֡'!z1$mlT ?{Di9\P tSueMWɰ -A7Żo -6.RuM&1AM}łVWM_0UIF$9+ hƪ>ҦR2pKhYm|ݏqrDw YZ"w} C uLt"6IY7-gN @= LBP%aٵ|-mUe&k-)DgYJ0_v٧Kj$Xh+Hd8O%*q9vdP]n {mhWB{L@HY`\D_M{1΋z~ Ez> WƂe+e&-<nZ2cR*;P/-&9VVk Ba C٫$..O)'DW<@duh" g׉iVŶ>>!̣Y+jv=Еl|_-P(?zp .w(F&\DM壑x%db;TG?oْ5 K\cl` kՒh=JQ|:US/#i/K'l'X.\ol MGX#ZL=) u4E{)UO̼WA @}^ˌ$˰:`|өYO~eUeʗ,`I}%eXA7d} nQ[9ؾq2o7IBY->)N| *h^#>2X],X$x&M8cl39k% J Ly+PGK+&eO|G G6۲Q)xQ?GT}u6m:p+90FؖmȅӷJ3JqoZսh &O%R6VyiM+&V䫶??1j͋<"h$҃@|A4G.JZUC2!h5{ dRxȽ SB@q 2-WdDIO}""M'p))]{Ѫnb³,~Ȇ2MECF0TVM?ȶx1 `Y{hd,HEqBNO4 >HzNIIEԛ=vD\H3{͈Ht =a9] R5D*dI"@v}pFܥ^JE̅&F%A?d=KEμd42&XP(L- C>rWY S$O5~NP3j_Nɍ/BzZۜ}f-oM+ɞOzR7AX6? udnJ$.2ǁjBfL dyg&>SKyy;xh͒ ',*) ]}x?Y K7D`p6/clL^ck "5ā[UjT~W|%7iQ|;$: USP&cZ@sskQIt' i ӭ]W`r/X8Mqw&?lS 2'9O=oE^uof[G{ L16_OnqװڂpO5<&WyƄTF9JT~+POm}n"ҏ'tN[qxV4[30.E&"1ny'~c%7{02C@q+V%ZfEJPxypjd,C?1E9d^mFg9Lb 5N0H< #uiS&G G^Rw&w]/v5< ѷ$"t] ̧ rHh55OCM` alۤ͡CkInJm_F&;pȤ.:}nK f#©wHIk$ c=͙DJtnQ 6܌O٤=RvʑxG`.d$i/FЄBh$d)>Ee0D|h;?B,Ȑ4!/lHKQIkem0RwsszRE0#EnM\϶jFj1O/a a~yTop &1l 砪YYzH'K+8,n]1@nC ꔖ5٣f"}.S39cC؄ټTKNj~Zh 腪Ms 0 Iwwۚ郞r\ӢEM^:} <81AstfQ~G'ȂX 3!ހaQh#z?:E /#~XNRr>'L_y:]6:?kPmE NĨCbFg !s`Fy {l5쑖4xXמd:'Ϻ!x&̖$¬q FcDTwdH73^> O^w\WLZ3 ǍQ{ +_\AX1Grey+btD&ݕ@[:i?&{uJyu-}6 Og"% lt搱 F/ɔXKj҉r.yُq'pUc3JXPJ'5MR fXcA,ʿе ߇Ϧ㺯yS0JAqe8=壽8SĐ2Ixv+L%ՇMUnP Z`#IW*ҵPJ\fpu-MALuq귶hݖ}}2+]D#qW.Լ>!L?ڽ;](N#ۛ&m%z {c~Ym4뒹ϜCMt27_5 ᢴ!@wB5)Y-u(ҕ9Ыdy㼎]J|ݽ nGyȾ~p pyghVu4 J SkTE0ބ{ܻ]Єeci"X.LC!SELijUͱ6*όb(2PA$p*Fw blSDVP{;P=*wtEzxߪD .^e{[zKN+ږt"_FA`(~k~qX |Cygr? Q%,H0{`mq%YX~`GH ?Rc(<6[㡍ٓG+& dP~ mFɖB?/1|UqVHgzOGǀl {!*^'3Χt|$B򯣖x=$/)+d$tdO1%M?GTbFT$3UUk-oknՌ~Bh tIE<),C0\Kpg46_r@X7‘/ p8Bk(_U98 ]Ev'&۽b!H\%np*BA@.ctng,{4ɻ7hwJLwB[=c%5LЊSɋRpvڒBPOuᶦ@b͂HQt"\1Ms]EgNu&;stHN7pJpG1^̯[L|ziQW@sœh@̿zakV}gZ%ca<ȁVA`nO~I/m'#ʱ@ŅA$#e308TFހ2լ+V9;#g'+?񻗎ӺMR8$cIeK3k28u{ Ditѣ"i#/9_3Q:hz_Ԇ =h]a.dC 35U䥞(2Ajق{':2k(=-x'yhj6@6|P%7oXЌC{&Ay>]jj BB"X?JcC]5Xo76?na=e9q&1mv'Xs F{1H;>y" g ØzS/SV6Ż߁ؚ.扝CQ&N q VIB )sΕfsQ&֍HOz;#)Nx*_~cʐP H|SNu@|Gm\T)8=@ J3 ,92|Կg#2jJܐr4 Ch܍X{s^x AJuGrnU\DbRplEqH!uoxep;"?AW:>);,b!6f& 1+qY''9;m uŗ|c0hT.K gJ du?ޣQhBUce&N+}@v OJ=yFxR> 4k'`zZrQFVz֞tNu>jj ֤k?׆hõJDkk]85&+x&F<:p;QgdX;d8F|I=u6 sJjw Q~:J$)AAyAu\я1ݍ^xT;ȎmQ<tɖ0[OK3^7j$*1 D*ڷ[;JvQO0)BzVMq' -%>l;?wGح2=PXxN O<֙lǕczMbO#gÕ)|.qaPO!1leӦ.rmPi6B"NXeD7se!Jpք?QUPa8o'T'c$ɹP16}ֽ+4GY4m;$ 8ߪ  %pE&$P&".:D,|Xr^%#*6z{>AS+0Q7%\Ӕ{wn("!﫳AW9:Nϛ~V :PÈCO dFX+٬ޠTHt7rKr:O݁ ݸXQWxPD V'}[e=k,ĺ|TXͦ EDeٹq7.35nD"2;Ev:bƓeNFuV40c\wQ<Q 6PD4;%J ֆy]sb’ڐA[㦏h;:E,33"5?F2g >*G$XE|B?rnsXj<M]\/V%*=5hR߅DfPB>vul~C &Kɠg*Źd^I~yab--X}-X/'^ 'ڍjUguyg2}׽]/N* ޤ!\W#aڡvYDhқ;Wޚ7b 1]8u5NZS0bf0Ũ\ܕa_锎AF.$1Z =yaXV~ !⢄pXᄞ@m"'kI8h{<ӈg*YCvЧdBkW S֞XG4GY~*Ti{DEMhA;%L^q0rͲgE\ۃp}".dG!;,W.͡XSexsjZ=St8N#<綇;C T)1>j`s]ˇ] ͐s眣_,\\xmOTޜ-Pl,3].0qʪRΫ쾫h>F"%zOWE%TN/'sgH78igGjڢ1 c2Pwd!܁#ނo3`UjY/r|rƧ>cGğ^<P@ܴ{iSjoi/;QP?J?Mt.zPIHu$EX" F&a*D7 ]uέnRف͡a{[_s iwb,y3<c/n@i}!sa۬ Eǰ>CŖMȨG퓴2Vgh5 g` ~Pmq+$\5q=& #QDh&v{lkLǮ)C}MwNA9dzsC1fކxk7āTbjp G˩{YðKN>E, XXhDDo+^sx?3e)ohQ~J>֠]I=2X GN3+?ؘ>Lq+&Ss| v_WZ_ w0|ʊ|b1>uWՑB"FNmIHTP$'WllZqjeIi!d9,Gw 3]i{_/ X&!O; IO C_>5+)۲ q"v Ӷݍ҉Jϟ?sYSLc65Of7&‹Llt`1Uܟeh,x)Gc1*J!dأ ggIܔh ^cq'kwO諾߮a;j6鲭<I@5%RKŚ{bu6H pYb{-anɇ ;\,+dǃ"`L``F|-)M TQw 1o wM'DqHqbfykJg'IKH[-Wȧ7o*˸F!wfR׳rOg=% +sɪɑǠY|iYʞNI>R8)#njx|ᆯMG$ɅakӒGfNbkom r2??Qʾ=[6\8QRxueC|[ sNXK:ᕌd#v$E 3 A-o%8^v&O (p_3{5KPb?5}y1yVUOvȭ0襎}Td]}N{\SlmB7WyM$ceJ&O,24/wusM& Ng-TG* {RMHc(;&3qBObFBg6č0%ڟE]z*stR'SK< =TU%uN-hRI%Mۡ@YrrVOC)-qX$VHkoN0eb f`Onz9_x^PKП?jAչ{?\j3)~wscQL؀-痁WBKޝƌN.n.X \m%K'xyl|ݛ9tbO(j'Zウ%C>̩ApZufg O$ȱ Cd&q+87}JUc^!þGLVZqpa4Km=jH3L "E;f E>9)ۻ=09o? \4aD!c')Y{~JuFP={fuO9 e]N%lкT\j ڥI65dj'#HZ%䯉EЙmF0Se)cW #EC{I,1}ԡ{A "JyKQ+`j yDx"H%2ȓ"Y[e|Ąi8^Qe#v\L k\ 9%ioRGL3E^P5"xr95g+O5zo ozO0|/{ CE~қDbh<C;lW^ (h9u%S23KhyR_{j?1ˣ&y~YA# wkIY]ʖz}<ZL0g~#}!T-̆Yxgn&g\9d7tdڃc}ݎv(:w rpl>y\Dٙ@BQ. .ۨ<^m07ঔ0{jҡn֕mkbu} ꍎ-)'pKy%۶&!# =|3 ލ5U@Y\ДRsOјbmGZl,θ]es`e?iYg_||F$Hf)U5ի^RzszT/-H-K fC"c޵aѱ){.tI# l&edV"]*ad}D/>u*/76oaw#s'!-ylۜnT̏*UsIn}依Et7Z=FڅMJJ oBapN##xD*0Q&Ol&Z7%oEN%Zy.4fQJj=;@`k`=g$A\Eܲ!}Bh5N5\̏B@G-y𖱳c)Vㄻ1 H.h)gqY% >wA>k ' 'eKyBgmgbY͆7Xs/uoifbHv=霭( ij qژBLmHOJl 6YioN_5DZP{ߨm.[3IQmKxX=M#HlEp9+؄-)(Gi|zf( (ĽQ\܉)krҌ4f ԣO?݁l Q$9n\p.'aSQB-k}/|lj*z~9lTibuWS(AҨ3 4k q&mN ͰdbZ:Z&g/Au >DVRioWx<3!tZF+] 68Dl!_~4'd3d'Xꌡ1-j{b9*^Dˤ~d2o EyJef"O>*?4.KMyL2RwYWJT#*RRԯ-Po p E4s#D1ʚ`?`3&N-}5" +2Idj}MEZ̒ڂ"<xukɵ8=o5:-C!thDɿBJխheKMI.]'rTqoS;\h[N/8'cYð%^Q< cH3$W1 ?oY[}g^ytx/D^wjeLh}XPb?CrnA\ C2F2#8 㸁m0@ٍ҆m8e0!Yp'wf"(B!?[0\,p|&!m\s P+X=m:Jt[яė#tL-[&Nl>k4#?w(LoB%?H̕ˡjÎ$C04`yK[LŊῘ^ 4ʵDg%&h%/GYNm98PN*qjEx<>ڠ_h a 0ǟ;&߸}V?V2fvny D84nOcM|H8R|3w UӺ'*G8teUu1+oQk/!a(  dΰ*" Z8~āVXlk3KS z!V汘S0\_ͩHmo8(LUT9hA"=W}*XAY/r0ޯ1!$ځ]uCohb,[3=HU#uuʞ^[q_ͅuҬӃ2]gX FYgD7k*h%e;*1MFƳ*ph -3,%m 0;'1xD7I$oqi {c.4Ӷ ڷΔ;8[@]ȥjsC?F-Y `h_X3-|QK\Pe<#qQ-(#2xS-F>F~؆3/'=0U~ ػwyd(ex* W7ұ!p^ Nqu89m<9]_WPlB%%\$@,\ǬGB[ lfX.J]2rK.e׫+k O#ٮD2̏Zҥ#ݫoDԣScͲ_ih;guwB!&A~aef![ebuɕdaȝU>`Ds ;}{X4O^J-PZܦjlysR-ml~si᪩cY 8T&]r{Ŝh>tˁo\OޢJ~w~ٿ9@ Dš\m+Vd,a}zGHo$乸mU4 G# )RZL~ej2zR4;F=s2~qQfD%m/WuT/inȱ9.ςCoʳ|) w:\yb]M0ud>H+PS`^f \Km*-%j{PfrK FP*e([2i:5!;CH@[u~ CWs0m?l馮arL,R'Inq{lfBqR's8U ˧%<8NIpɾRK)ɆE&NYP磝=i>_E-j﹂0.-X{gYR{i;Xة0=9a(Rwdž H bb^ٳqfY=tЋ@') _| 2̚É,FY|Ta=gU/u.Ϣ,m+$9 _e5aȝ*"[/`F&SsM_RU&z(]؃qbe k&۹A5O7_>5e?zTYa | y+<ah kB@E%(;AR>`"?y,tq]sٞBY!~ĥȾ&wl4u:sJ{ IJ=ua5 f1B$q-/j}Ş$ȿ_ُ5lz(<+ X:=&櫭\c:M{*Q6Rh YgW8* e@8S}/^L˜b SHss6_pH[ .^2d:hM{SyR0`3 i M<>)zFe\P*B-ڜJy*I(W[_WlzZ3GdJ s .pF3'^K:k#^=FT$ŭ\$kv2VJtp^82~s#ʦyBIW62Ћd ƈ⾉gTO.55B/7kN7uNuOB mkA (MdGFH~@Qo6avc;flTKf5 JǸS`0ȖJ&%HNRxg ]3ru/]qh֨3.&YFſ}|dIArpfӼABز[䎱Ϟ|v k.rp_bfFn遨"q `x'́?b(2gO;Yцɲ݋❑ eKmQܚ-Y>~ڬ'g_"xgRk}lt"Ep0WY%NE& | ]F6D ˓#yaUsPniY}Y:mI.Us:bد=~Psbjnר.g*-4BH~Q t>>6: \W/l?z2`QQlBIq) E.-`ťٛFl.ŻJeʯLm"^?9Zf/$\ b&M -{<0舶L^˂hmϦ bܝ:W𒪷:~zv hkV;:M/@)Gs*Cil^+Tu}p^w['}16я?8A${YJ^J/%#w|}9}ʙ:*o !pJ7^}Ѵ0GzY֑< g@Sa1iX]CӒ ) G+!J`8Vg|\;Xd5iPt8`HS-XjnsD{{<{h{$,#7=O&&SIH ѧ1:ձ>5H F7J;23pcDiR80AeKTVipDC+]6pfIXpXVAMGO7.6JSXi;iEexqNxa/sC_ -1R9;I/*|!^H5 k/*7 =۩FMAIj1BǣZMAv'#N=bgd^M]x?;W.xQ}QC?qX¥)fS/Ҙx LQ6 s.+|]%$u(SG4?k3B,7JSeo5EtxO`N3Mj Nwoc 0\&`k:D=/z};v"㡟eAįcV׫TN3 ܥg9Cm:ࡉ )qKLxJчF74c3_-"\|&9H.<4}+E:`cT2j zH)PEa*!R{^0{. JWDLQ o5ILJ6  ʵ!٢}&{‹'KU-X"G]u6Ap JSes0)lUMy_YbRhN*fMYd"@- `> v*pX 9I۱Hj#Oo Ȕc; >5p? NMxc[c] ~&ۑHmw s>MbwH?N?ߡy<_ ]ÆjURUlCo*^>p*x;jEVcG4 #b9ƊbRz5ٿ0IFmk׿8.zs@f Bf]gA.Oʛ*ߏ~879@4aOoq IREA UT" 5]}[s 1&Ju)yKPIY?'p3\2JacEo||^(h0M oU&?1)5]!N%' [&ӉmCt 2m.8FmHܻzqђ*C՘e`'efG-#2O4D 7aH6w-f_5Tx$tt^zȲSEnr5IMؐ2 djO3!߂gr=6恇ܺX~ fǮnQ?贉2#B]P7%RdnIN&-`i eHrlW_\fbí2`?l}zW$_G`P L61,Zb]%jơ9zVkrFZ6>4_AlIͧMwC7ءt 3G" [hV(Ll=Nt jH: (9>?45 +f乩Ƕ_[mubPurI~&P2S'-Xߢ!AIs֨կ#3-;za|$LVg#o-h{ ⠤Mڱ4(8W=߆(}=gb=nKs%&?/[rpu"Jȑw |w|)6‹)+T{Q8-eu0>DPlH=@M-;U< dY Zll 6V^ik~~oҶAkQ&;GNF{+Dgt{PH>N/5FNIp&zD j`r%<2PUxz=y;(V&j`^^i:p ?$? jt@67nkmJ@% 0QۯյjhVcmz˘JϴO1 $L]g'rh+WtFx+l{!?SBN>{ ~dLtj+mn*m<'@kZ#ڻ >o3)ˍYi?AQZAE?Hm˜$sw܉1h>~=čWQ@LP}%=9f2>t8NNE$4kPSm>*_.neSPFVZ,OKTǽhDDS}p'iEurkp;eFA'q U8 Q޸9(&<iKZfAGLS9jE#d?7;c)nKޟUwNxea+\=.dᕓ6(xl<8@RT<֤iͿ1J 7> *FZq8h{Lpcuؿ}5 oRfuz-d˞0eSGC}WFD\-`G!Qg.BɹmmUcʐu4)m'AeZ'z 2kף~ 3A'dK+~JVq(0"ބpǛi~{,x ʳMrޙՄlH&C +ɂA0ma:su[ I3ŽU"$EMd9KVfo R,p5دᳺt׀4ZCݏ^@qqp{Aڢ0eKL.J/cU$vZ4;1>"!nγ1nVub|A؜BTkLwZ6}$k#Ij˶S)`su< ba.l/*FbN},)Jò{fSdžo3;e3M $eUE<^l0εGFqh_}|>Q&` 䒪cn'r5Ŗ{VuR:tYAϴ_]-7<^]W-iyC&7[QcuxJeYcrkcDV+ɣKpm@;v$f}7. sCu~3;֍~䤣_v-9 ?@GbQbP?BNjr6F+-B'INV.3Jkrfk)鍊5dL2v\`/njCn͍_ Yet7 N~[L؇anlE'(ezwye.%^;Vpg,oZu¯\nOI E.od?_0]ЫBrL}NٮvkX2d|@kd(%n5"U:';ʱY]@?r,0 L0ŮCFa#͸$q>NxRH4MOmmaFP\GXA ZE4} KX9yלh-(ňjX=URܲw=y9 V # @ُd3{gZQqD)c!)8|Bӆo~U-䚣N4 78⒅+A} ez?j$yIU$˂kdu=ޖoTƣͦV/%S~'ճ?E]ʘ&UgLw7+otXEATZ-;*Km/ϙyЂК*:-?l / q @o PODB\ Y@i8n^Qrn݇iN In.=_>)\ZLfrҹfLy<esf7xOwٚPb\ ZCE򊭠Uml%ߊ!ZT* mO]$R?amr&GFy~P7ʎ?;LJw$nLTC)zF% jS|0kT #_Ȕ;%Yz\ =Ӈ(@(Ģ.=b虁5 ?§g0Z8]MNcۖEcrXC$nkR &0{%wT.JytKfEb1LۼԞ>ϩL-bKMdb+ftHyї騻)ga;3sxG!ğND!c= }ov" Y!tAmdIԴeҨ8p )o#'xm}WV6%/ Z: VZn$y6Jz9qY eZIw;BVm*׫M@(".%IJ̈Qrf#i p~_YGFm \IEoS,]b  Z%d ճ^ŇT$:*Ndf#a QhkРjcIRcq{76 q[f?ēd'N26ŏB Y2"cqxoնz#'ECOi֓撾 (p )[gB?JLN݋"@,~: @i>M?{-ٝE^ic­19M)C)8vb_] ;TRdg, =#LpVL &74X@![A+"$9H2 2 vevM-㖞y-il𶩁: QY6P8h:T+8ŵ,Bk&BV姃5Yg9q' ^,͎LF32.},yy9v*bZo2$=87CQT^hG7O0^MZhXvz" ]`SPKr;z@ѩVH˗{֎ ~b%gj/}3a Td$kb)D o[?մFm9"_nݚӢo:CA*! TX$VÛ]{h/zZZ# \"M=O/ 8ELa[ Ha&Y\4>uR3_ k hzN2`P;JɃEODztnV},O>'Ehy{t+=ʶB\zgR¢?Q&r BpY.zoMOm\P(L{m;ZeYXQr7W6JMi!C5B<Չ7P~So?gSy\<$]WN҉Z(%([|`c| Nm2n[ֹځo\fkťR)i*$@sLIo8 aLu;ISLY%_Bm;Ggr'hUo IʗYz/qI5@b}A;ON|!dN3zuwEuO-)w@vդD6w)H81` )jE anOm_KzPS[T9\!"j1 O(ѰatM8[zϫ 0FcPi\_f .~cEmycagKʗ}KLkavu^&kzDq`_*$g!%RuBe30 )/id:@pٳ @kmRtqbnakDs\ܬ̐d͜.h_LPRַ_3tF zV!@s+5p$`#8i;{8% Y8>oWA8餲l%3QܔUUn =4;G| Zi~•FJr^ޘ$B- gYZ7zXZִF! z]ŗXiɟ㶵fL4i=J|92ms;ә_t6%= yZʂKWJfw}&oCZ Hy@)..rcnm-eut5q7?.arŶ4$+9gyYq;s=gYw󿱥Ou%Td:dz!S$MDu-@+/wt)^xȄۢ$`u|9RNGv]^ HLZNAMϻ &.4&Ŵiӹcݻҟ3K -"{_}?uzZ#c o_ mP-]((jeb2m/vb*~%SkxT,Tl' #7&U]6,-L1U獥kwU8y$SVg:uF;ÁI|Y_Okk#} "EBޥ }B sK.Ѽ4F7- 8J:7( y;bVD`t28%<92!գUbgp5 "T6v4@~h&OK;s`2$đh#KkJQph3V8%pT E;r^$R'.B>;>uط<VIP1H