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 t%D, ]/]HOL-Analysis:threads=6elapsed=277.763cpu=1224.064gc=97.812factor=4.417zXZִF! <]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!33/$q Gq/}=TbB ,5H39фs<*GwfƮ--0GEf?bN|M0y;jqMAwcC5 톳[Mdc> ĜYm yɫ/ƣN@b< MŜ&ⶭ 2ӶL$)olˁqf-lt]UrwvyI`“eF/-Bz~V0PH+ (ӝx&kQ#Lgscn}/; ,@xU;]{FW e'LV^t%Ģ /X8C|Mj(ws䥶W|1d 6vHo# +m7qSbY Q!#cSpUGt޿Фpăwn$\@S;\nNo LmC(Tϰ93WtNo _cE-{r63R|V3iLnLkŻ-Uޠ+7y[ r8 4=k337]en0|8*;^b dYgoiu;e ywZlfBT"1:yZ&VPOW|Bҧo rm~`DǾJ?`@뜠I;RX"7s耀)= ;BSQh>]*Hv y϶i./7?+rB!#Z7;M,3%:"fL;y`TAA<8;j h0*O1d"gK3eSQŲj`fxPF OZ$q'wGʗZϡBXɎr+G 1Y KT_<}K7 R@e~mtL( U:PUcA8 \C/A 4V횝ƶoҧj һgi459-blx?&FQ7NB;ZfY]q \Ht)V#Oy+qwê͸68?++{v{֤:z^݇2+Lkv iGj>cibB.JB HyHntE  akڹB%߷cj囏'ÁO?> 鏐mF]Z#Wx1-QâG2-Ǒ2Zr&&vΟ>W}9:CePPΦԓXAG+N:J+G-{T@Ksq\\vinjI)Iv9ɊT$YW*G1heL Ojkқ3^@kqLE X΍8 A$ R."묺-(F}yq~{՞ Q={DSQA,ĶE̅W:u|=,kW*b>hP7惗xP*-E,m6c|CFMGMq՝ѷYi T[G6dg=dc䀖mC*OƼxϨ`XZݧAC"21?ݨC]!E.$!G8'g%zڀ+6 % HOL-Analysis,ݩzVN61*rH,Cz׊NWfAJ7.>kt+EEg2" ͦP42C9 ,,(=JO6o D!oqd0Q j3jn^874o>>n1D~K7 qPbE'[UjSOTekϒ"^ v#9v;s[it#Ü(/@OK\I{ՠmcd {[Υ\H!Y6W" wG2ւJ͡l\Qzr76rN~C?QQߖsO:Ѩ7& D f@(I䮟u֎N>( (C(fGX }flޠFirR@_UҌBɿTXF|1UD%z/$5"YnPRK`p ԣqvR=ȗQ4\k~C ^UlB•SaZ$ ML80+R 9[a5վUR] [$3Jhi,p AB&H2 {-u(lOJfy4Hh@Nbx+_wJ*c:,qhn2쓉О7f4Z0' SQzAVX(t5Z mJfn qULx`Xzwģ=17j8!.inևe:Dq@A^|oY׌(r f  ©ABZ"9W ^lw*;í_pڗ 79[3q=U'XPĺ,W~"'J%KDs{۬*/Hf"m{D,'`W/ ˀ/^IAn=ocZs.Næa顆an4/j04¨jvx*.R_z nS}?/, -/5i1?:xH+E3V˗ J;16227MiDYeE8T,Ey22)T{Z|  9-YRVpYBK1 w{%ȹxr?:[ SE.O+Y<Q/ڌGQڊn @)3Sg]WtSziiʚD(?DL ǵ#wPSL5Zl {g=sF৵m", `0/3w=}\}5Ubޣ0C}תݯ6 dGM˭vr -_q*眴#WOR~&g)h_{yn[QhDkUڭVTطA%2a4X[VH;'Y&Ȝ43Tzl] $x8v\?d+=MO!gJN)W c(JfzQx(?_4=3Ɂ\lUVǷGmT UY7·xj䲔) B$B4oiB0*`B蚫oˈc|WZzfjӕr3X6%2JX#]IKf4L=Fa`s+_Bt%- rmU '϶fz{3eևدJ&0Dڣc&opkOaOjN y314BW|d/w.a9`II<4??Vxs"L,,_eHudT ˩>Q3ē(G FFД;r\|3<)9T].OmlH~OLK/ x_]s6i`R#CCЃ[SfEg 5.YZˈ,kml ft8էpH9bɔZip֠?Zߺpwg uXRhr48v56zy(4g@Ǫ=ʶm "hMG ]ɪDۺ,v¥ M'͉He)QY9KД@ZY >AO%#7;::U)[_T&u`VIF(:;YkZA ֮Ԭk \ȇg*BH6hJ{u nv Jgu զRj5! !EΒ#w-%+Flǵ=yn=a(G [7I,_bۃ}#L@zd൸#YH*eH`ñ".?+AYsq( _Q"2g^6͚`ٰC lE uѨ0&7fĻr"%jO/zU@:wݐH+p5B %9ȊȼPotz$fPrps.m}jF qƝ4tm/%9枬KS/8EN[elC;}~6~OKSyMB4r2LHօ(I 7[Hg.'Gah)A38i q62gn|nhŊoVdmBa`/QI #l8sԯo9:c@jep`ϊ)mѪ=%h'<jf AjTBIa-2Di_ 3ϠKbk&%ܼ[E8-<2pd v;fm47laPYa6砐Aѧ/%,:WsaRJg?}Ī6Q_{ [, wO+2sl4th52C.zn1sTc|ukޣcd/m~Z8XO'[_mjhyjȖxˇUXq'e{6ɭ7i[`'27WCgMJotrGA^r6m< 0,yg܇ASpy< uTiWl3<.B$^/H+{ 1[2Q*ia٘:pI)!-W_65EF(" jqȷtE!ٗ gUy[Anx/멭4A6zTm;}Zz#I]D-DeyXƠ^8¨kϷ*UҀM#" Ng{{ ;3I=? U  wz _>q\@AECjv"M| F1'"Q'Q D#`G?e[,S2\i 7QOYßX1J~a<:e/ BSqqWB>+̡9AR:TҎd<"y7M2kb2c.Svv 1Xd?z\HO+ |'٬Qf,[GKXc5Evs4u<80 ǻvG)슨2 WaLX[FlpN]Q7o71fVEʧ3EWxtX$f߶2VESHҀd#a `)e{:w^ ҍƪȚa]0+uaSOPM/~GWclaCa/q3KPqO*6-ledD"x$>rчl|d(n|o6uekWdg|Qu< WnI{[W*!O@)g V[!TvJfn0IR}%|Bdl^8p؂aS nG򯜀˩NvX]B`=(RUE GMdZϓM3ewfX)}gƪ]{J"_ :'JP5I5h5\Z$zA33bi e-+Sj;))g\On5$艵jc9tLwØBn|ȼRrb- `f->Zq1BlRLkBTtԴ-#"ԣ}]+ާ~X0 Ίm5> vw~mפ(=s7evͰTL+ms_+AzݫIpQ`dmBNd.hPn£J$l]7#tA7W> ؁v:51~תdVl%Z |)5HyL"Hl S\w,.PEƚ% w\%|^4$ Β"6XMuؘq$.D=796NFPJ"\*< \!ɝUBo >\> Z @=] X|1eB\DÍ<+w%8=ED'm!Bh:)^q[)&} ߢ:BI ʾfRv*V N0O{dOvh*ZmvYyϽ"\L:&j57a큏Lxs^| R7%I ec<ߕUD|&kٜ\ [wf1t$V}czhiEoTlr£}/] B-F=4GzF&F%/ì =?I LFt;?F^x(6gMߪWc)(ۛ/z21$ʺZQ.ycDaAZ׳`U> 5,Dc j=/"r/V:!r2}Kҧ,%ߥ]LRJ<>/0T|yQKCfROYIImkg%J(uU9̧ =]"lǙFg,xfPjMBҕFd7,mon_F&} w6/D1Z7:2s o Fn3jb?UBeE ݿ'=j-K'P ᰶeUNS UoEoz-m1[6M1+$3)V(+![zs*+G^Oբ _],&G5\,{awSQA/)4ԛԳ{`\rg;=k&$ [@>N8zUh[JWfI2^} gAʱW1JQWH5DܪVLGU ߕ\$m^bmHyKI.bG̶ZDBAsߵmay62=+j).J j^s[k"ivakxG։S{cK-t  O>@ΊЫ+z5hzN*B 7N@\ 2ޘ!Ks7ukU&MJ3lE(A:s,Sk?/)Q-ZC>Kg7Xܙf} ]5gE Y~ieKbk,jٴŚc&>`.<3ʝH{pEW%?׳9{*xRꦕB-E6w .*#g R+\|y֣%+X ޢvGǃ2'XJTK'O3VՍ4,kֹ ly1ţmBEyJP!t㡷m )aSW!ןhgF-$\('͌aŠƚ9KXpȧ)mҶ*3k}eM$:8bƯ!~(kzY)AB5_:NKM>iL^QBau^2Fm) J)]@ oۯz6y#LprB2iAk \ޕT;o:R4 U2.cࡉ45N;H 0$r/]gN@!ufZc\4ק,3wD7_O ( r<%iES~4 lBz?.& MY0/nh1f >DaL-QW9Řw,hڶ8?n1~{eFbPqk>9:rY6=n6@kۯ+n=8L1rSOA_ڀDq֧ ɧAYOMHV?!\a|{)Z /W T"4T$2J^_zO ;.ó|[JnLޠdl4T´=!/^jV&PTvx jzL8b TԈ䆜kwwCѱ>dа+}1M{AW.:)ct޼ޱCsQ 3(S.[TҒvqCVSaV"6Ì =D]JQyzheb8?nb5Q3f̰u@~J? z1Lz3^7= P̲Kwrw P ȿEl(rQ%Dž\PBn=]RcaLSsT^&V{"ʨƬȜi0BG2^faiw8<ì!7稱KRpGP*'| #pgKF8 j")ܣeύfR0ZvDw^oqkPJ/~YT;Q&:4fTɂSOby}ҭ>\V4>5eTGm-`^SBRp)C*ar#Y%[%[}q,!Пp=fڛ}ĈM\y.Ռ,%=Bҷd8w/Ψ+xl?3),u!=>"RaM6`mlv}pHc3L[#Lġw~,yfR\+tiӜnɵЇqOKhmwUS[~$asAUX%fO 锍=L>*FD(eQ&c[[ˁkBp;deξ%PIxA]Vkifh;cP+T ]p %=DPt)-q9?0c6S@kV!.sEXz?Ocޯck8Enoj<I_K+%ܢlò~Vgƥ)#7R_X$GbM5D?M 0ۈ@F7NS y V#>yV@aDCyvԫH?-3< jA?|=WV@ W̷-hf^LsE'} V{QMަd3r{|BkҰHB}/~D8^d^L,:F]כC:j {fPe8J2kOZދwn1I9 ]!Vr(fc7Z<>~[1t6J@ IRu 8NUx؆͸ 3Jn;xs%6nqּJ` D5erTB1oE0J$TDv@_o͒wXBE 'J E*m@=gJ;% ];:8>"AzYu/_e-ISѤ0m.q@B>^E܌|j=Ȏ8s9A2qF8 t+'?iCUF$|/}CKB 84"YbIgKfk#Lkw  n[0 `o$rp{̓Pg * {E![z[Zד6r5Lms58<؛nrJ0]A{j^BO;V"~x*]]BsVMG%LjV_t#N( ZWhG^]/-ż;57h4) |QfZr[#-(3X|#Q {m)D l;Nu(x̓vA b5%U7l\Dh/Ӊ5D{)KOR3'oj/=UX[nM5bѨxgac<`N|Q%G ?/}j==>錪1Ɠ$כ*. L gN /N@|bgu{Nl33%Ō;US5R{~]H BOZ %.R"L~}d/HN7a7LX3{5^ 8ȠV8xS,jߌ  FRJwY7r"0Nx“R\,V&/t@d2>cez+D|$~ѽY ?WC!xoe/va|WbS|Z^hE9qH"[ҽ:QV'Ai=יX-a *~.jr'\90~H'oW7p]UΰUJ%?%߄)9!:EDU[W|u\y>KTd7Z[I7HsTl-qb?2\=K*jdž ETtIZuv^ 5? Fٓruw 뛘Nz [BN Y^n79<ճy dQ!Ó9G6>U orAcdevWXsU : "@Nhpz5v~>1{@^B+Yls<(f!|Pqiռ8zsq/u]y\=ZOh?wLBй;d rf>], g3*M";*hZ`WrD,S@?29'38ƿV9F2KuDg)$v_(bpz.Ln SIZ`%pRhvkFdj eD`\~U,ރD^ui9^k2)T/:kl~:=X"ξ*aE?D _3u%M5jKq3ra7ɮtwn~d_na#w:2AD!PZ6axqַ@W_:1IÙ)B@p&Qn[(w}'UT։;L]q3Md "cgVB\P7cUfikv6"^ 3;Q4V2S]F`oARٞ+$9cĵ@P1,N4t&-F|n=[O"ժv$M#M >=+7 *güf -<[:ˁ&łXZ;h!3E6ϭ.joԱ_zDK)TOfZRqV 2A1#>P$@'vYk'44ͭ@1MVEqt<ʔ M@McH%۪ML)m"}I-(HO[S`Xu8LԲL}5:'rE3k-JF3 + zy>;%@%Uͅkom]#{Ju:UDdfe{z/\&şjܚ5&4]ʸ)ࢠN+6kj+zq|P9Uw !ː~5X,s֭38e&y{TnT#YB}Sf!u+6H)HsA?Qc>TG@50GcNBvRcß Y`j5듬`:ʺna5[3 LԨ8LQ},v)4l@ U<*Wbru̮Sp,6w3B ..r<%-Ac!BeT;dvy8 \B"}w#GiPS{ =gQf%ه@nN3J~%"j`H5[͘߇;Ў8UH+ށŕQ(HүQSAgD#?C4Dgd{r|ܲYwTݣSAz:uYFFI_`&B3 qj )7ɋâ>9k+wb&"p{Bl6_Ķ^d/P 'l p0)$T[6łY}J _<އAYY;7Wѿ4^ţ푷^{K8G (sI9=x ɛұgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4>Og9CԬ eRgئv!#EPsf$.~2N#7Ж TAp})i b)E4[Q̀PW]6  mQ\˱f,ff-7y!eāRlP2!2-FZT&,?|@pWVxa̋ldH{&D"!`[LW*V:O DfنJ+ĺz0 A7x%|RaAf/-}HeNV: Bpv5AM쁲?Yj$$gp&Ws4TB)b( {BVƓ{{ENcs6*ՠ6,LvslZī۲m6`7ƈv>\D0?{ֱ>u  (#W`# cm<V^(zDBS學^`u'V}SS<W~z; 2Attw\.@_ّ0ϱ_a߉u;de}]z}kxtEZ7io$gVgPa4+nXt׸ I"m؀gEuN"!7K1_AT\ϳP !fᡀ o!(K98%IqD^d "BF=5'AEX S,k%Zx=Ы@>oI(]Rw#G$7t5vpq]X_5-`M.Q: 88YrµюF@U]Yĉ LQ4qiZ(|ȾTYEpKur yMz ;IE\"fcY4v2Vd/ųIXKi74GBF .I +4_AOA/\PB2IxVV0d֙p5 !6GǷoPE72~,^' A5M'y5\ 2^,# y/3T^bF 4 ~C>6u:xkQepx ˫K@5GhffYaU˻ 2?GUybL=<>ö fF~f̒dbU|=Diqv,NV ٕ ,BhLk \5(}H 1WG]X6[YU_\# @3$gox^'=!ҍ'p9FN:Ztr>RvbpuUA"v+KiҠ,kBJ]wwwy04yXM4%g"mU{~Lj 7wIC/`os4PkTaՏ?V/N̸ϟ,ꅛAVHy1)J'K@#9B?P$VZ%6..@OjpT&RMI7%~Nj-.liwPBȂë) իɑ{?t)Г) q9]Y%Jђ-G&GI*w8 ۯC lh6V#UۦSŧUo2%?:lz0 N6smsJ*7ZWF/d W](QKi|0U$P>ftWtH+@OMr(b)sY&*umdȳQ6~uZ1FsJ_J9wۜh)(uǠfbR.[eG;X[uDe3jrԪ~XesHR]LWL|a~5jX G/K>8a-I5HX:-g5cWA zO!)9 -񙐀V%q)fA=mbEE{2|/AoTiU~e kHsH]u$\5>tAŠ_?m]o]w_Nro`͟?@ ᚒ WKh?ocDOb[T)1_=#9x ׳lG"W=x *`h[xq!pNml{z~,N1Jj0kpDU- }0I Mgb^{~1z5I@ZqN?KA S l@oN<NI9!WL¤7zNf dƟ8lkH*Qn/ TNd[/3t*!ִ(?&mhUn:PƲ6 vDPRa7 +kKr`=c~iw5O, j3uA?TbL!P_ @[Ưx` sq`QYR"a}aILܲf+~yp՞K栅rKadt@+yIz8;+RYZ [*R,l')bW [_ո[ZqJ"^) pqYp$.m>SlgՍF4,ihaQO,LqyELmo)p@;8J[)@ӲLmi ÇplUn),nd[r0h1h0.Mt\O *:;ϻɏBt$fn` jy]@@Z|}шL}?FŽFCÙwH9=Ozڥqb XyinStN6o͗Szr gԔDQS4EO_u<,&_TxmJέnp,"/3:Qv&G> O mqXod[.钇!@ު }]su:9.qCT) Ĥ,"dK5rd=FOЊ݁dyMdβlS.c"^I4)w"Af@_B6h&_0~\ku1Rx3Ug7j#} kE$H .ڕXY!zѨbti{[Zb̊7u Y hT3eݤ( FBG)AJucaԆؐfm_RA9[Ӿ+F^N_PJgȭEtKowT(zRa頳G(TOk)yɞ'2Y-y;7r1Xv"QO[9٘_{Z5ntZZ;~)# Vh'$7PͦҰa ]N?)YVg:>T_ۨ&HߓoÝ'7Fi7PgK03 ltִR)9Ԡǹlvߺe%sԤ'Vxͮ[lvM~vSeZ }EQ[+FiE~o9*|66kFhS,{Ťoa [^BqN_ea7:p*-ClB3s <5=˒7FIIfy点x!'U'Ehp&%n۴'h2n{圹+ ;mZ!Nq[p6[p@eb̞v>ɤ-w{;*|7[3TI?Em3zVGuPc=Ή+C/j\(Dyz<熠t'i^2m@ׄ4 8ye 阩NTbyML}f $`_qy#Y fs*^ d@зɩ}GMMň.#sxLJalo.q&5K`&PQ)8;Rd}%2%].bbt"wR]A,{5jZn"O2GJe][K7gK.;P7$v5?ҳeח}E%JTw#uh14a')H1<QR0i8Ӕ:BtiC߹u,V)h"1ޖG8L7 }{0\a3!~CƜ~T =/Mz+WSMl1 6o~dY*_õvϿ2ˇS"#n)s>vt!RZng}Ɉ?dzFHX0Zک#]'4ևι3MkTv3IyI؜ ט+ duQNHr}ToכfH(&Ȼ$U/8W ]6D,Ee O {~kanQU 56aՏN..k1k>~>J 䳗mz,Z6-X`äZ o2ֻQ٣wsQ\D\w]k!q\SEk6CDJ{mwr}9D~@]Q}@>ZJ>j,m[U)h;j?M:QGߵѭ(ӆ}nLx?dX{A4DTGW7qTN.q0}:Rxxdm~L' ;"T{.$q\PVL;vѪ~ڤƐ/KD oP>cRJV_3>Oњ+'daNWƠy_OP;S;tKApOB[;_t4%f>4[y"8Ș ]?T,0=LdhN! B0UYUc4l|g{NLXI$U*m >6i;C6nUHo^[q̖!3*NP7lz"9ZFA}3ZA ͺ2=na_b¢%lT(铗 \8q8ZAL3~Qojdv2umKAEUxUUyBP7'6 4BW+~0Cn5#Ũ=To[@dW͑yn5`\j0֛(@|ܽY* T$>u{%빚_,BbR&1tV BhyC~c ~[ӌ ?d>,-|w :MEK9?s2\qaOX$+sXÙ)m6 ӄ r]⋁LyOGAk#7|ߴ=z. ! z 冓N=^hnWSN覷ɧI~ո.. ysv,i~;5FAWA2sFrNaèx٧ u{azH!6(UT)AY 6]ҡ@9zp"K&f@A#G=ܺVke=-()vpP%',(?@\JW~/gt6 B7'Ę ϻ;r=n3)ls u!Q4 yS/ERBR_ Ղ+b?ʧ # (5pS hѵ..[ jŏ]g$ƫ[Ԝˇ#N[i7tUI;\)Hp@x  c6Ր{{m8=\.[)?4{^^u6׍]I* Ζ2l5ǛzA _ w0Y$·bhG_bP9QhL,QnM#X&xmӑy<`Cf7 LU@:aB}-%TZ\M 吏)Evb h2jOYe ' /S@:@H'S]qJXUA_x܃Jn2O!VQ( >^Y|ߍ0hq{&W!L=!@bb4 ak ޘ'\(Om n]Wekk ]0xͳ HO^2._srIa3L2,4SFCོ4S0AGՆ'⦅ä|t2(:3S0(~qx)f{ + [v zR+ oRBM\d ].z.} d&ۆ@rU* =KܝqEU7׈JI@hu,C6 ɀ*-*zM<|$q) oљmϝpHhr&.i9wN|L&gSH 9>~/4XPnR[<&|gPAe3h&viKĄM?V\%d9Wk.x—Ma*/ֵjtAAyG.r<4/VC}iF$abvν mh-T^39[ϝdc6>PI4§p)╁j" 89d LT\N"M;L̃;$xPm̊D€"Y{<$_Ǧ 6)pH:cxA-ˏ - oZ}-rjӶ"KW>3vm-5ڥ9@gxpM/t$+[A ʥ 8]|/Gts;R~છjq\xDtE0~ v^Rz("xt" ]CYC$bIsss:x 饓s kIRZ-`?h\_4pe? |qTvrF͌X68.f6e yeY%ošM6,f54_\CT'S#im!ވ4 7HTK(IzvR(rK[ag'F;w3-f }*8Qw+zW--U18MƔ2$Cw.J h4< 7wW%F˷W=&BSMvCL]~wBp{Tɂ`B@3(=HN+M NMkÊË\U2@ &sP{"7vbl/ظS 9Sfl<55۝z@('>ݸ >:NI6ʡ,M=;0;gYldv_%'Z`ӪGbD5P'"\Qa6&ʞDB\bA|ˍICj]e'Y>␠7//fKȪ,ޯLڙ]Vbsr\w4|' ЛE(@'iY*`*h=| Cv~ 0O?Bb|UMOy]H=xxWoDvw3[u3`SMT''8_`܂`#D}yZ6ȓ_ڇҋ)sS,K\τ-NFH\T#FgU"'\2kj|tOea8 i0(7jybL4$@>w*jR5fBʼnAf8eAT#kRFlY0$ɔpnIܳɚb~9sS٣}G[Zèπzנo{@#25,TU +4SU]ڐ0qt|aS E߂$F:2Agdns72Lq_-$ Gy{$7xYrEti1F;^uwRǒUx̺z;>5gpH =:q+aKpOikR '8gE?@]k!c !H3c:Ru3?1R KOikCbI/ɱoMK)x !r]ट 1p%5E ؆/}&hW_R۔iڮ?'f_ggcO'RP(t2Ty.޼U=Տo.Gx/\w,n0=>qV?g< uGOxlbٓsC.h~@H;;j̽\_80DPγShx]j āRppXP IO֒a YۛpX?#c|7DZs^i5rU:df#_xۖcϴ(lve{f#n[[~Cg IphXA{5P|~'x;`Ӂ8I f$ܑ0Tcw`m8t #}KnfO]N#P]4$|QH>vBӬSCW`}wl$.("GErAE+`P&1Xu+`! q YcK@Nx\èsop  땠0и9b]}i0I}9JAZ1".Io+( @'=1TYX#oU/rԦp7~ !rZE=Wu+z)L3OA`.ˊ(xP\n2GwH}&*i`kYA'\6*#`ڐw֍g.o(iQym > 49`:]'iG.TE*xs2H40)/^ [a ֹY0G̖f⵮!L?Y̡u@f:mÊA)c,3)R4?{` -$Ƭj1>,aoES͒wJ9I%/3C3g*R4P6KF (hw_B.BC$FrR5;8.W@mdolcGNOc5^O[|) LB] c0sq_pN) 8o`q|ƦRm%jE:< 1[U@vr /{oDʕ>T0p4KCZstx$WXgxy3(ChkM6ً$w%S~@R8w" ,w˰ Wz -K\HPD3:>Q/|#Րw:9l,.9UmV|X-/}. Z4/.~6g|z1qPWGi׳ p|+bYۄ~6Kc#6AIoMra-mwCӝv*+*b\k.sc.q EY @ O؂YB R&"("P}ʝ#!9*c|PW[! ZW_zs@\.me^%SD/J\Xhj[Jh2tv,_8Z JSsG Il=eW%dȓ8J A^/AQBKXpԗ/J}ak很L2HZ?ȾTЖ/=gmvѫ~Ol_ycqY4wc>V hk r"g z z@-JgNZ>8 ab>'õU1tO? ȷ+\#a[J@ UGVF wZED L[0kZUCی; 7g}rT;[oD,e* >\SW8n5XZOkj̊[Ŕz⋛,,xc^` |w` G,9 jK긤JD;#wn%5 Co,e)7AFe~xHi ?=\6>9WH{iH^!s %yo=T32fL]o[7][2 q饫/ux م'MHCimǛ^By .IYfv.߅T B6hXYO'\QDIf$:W!@+˟4Sʌ,:<98"0#Ы[\seQVYC0 vaNFD1H9oc_QF 1o/ mTc%/GkbrXd/Z0Q%VGĖ`<%[1RqSӊXb+^F?DN.{\g@dVN$Py|fe0u̼_补p] W%Q/UPoXlNnMɟ!̽їͳ:G/ " $q["8Q/y;:/5>;}i/I9lR50# [X!XvyX᳝H{k=%)g<(udȯZ֠B4݁w^"3"OL5]h h(E.WZ3QgZt;,I,%{ղkDIJmhftjڣ.k0`SO]McOLx5WwuS K-u5<+M 58b%,6'S?= #o(.#_}_a)cB!T@6]9 78a<$}hʳxnCxx)Đy:BDpuЍ 3LM@# cGF`PF"͸5\pec(tކ*5?ӳ\UIkI S ?FQ:H(I{f^l4fQii9"ײܼ "Q.&>"#M + 1c}jˎ\e2Q%BQT1BLk7,FwPaꥵ&V XE4X|)\vxk*X◾ B~s`u6il[n0 PP`ދ ?qWpջ)#o'D5s9ԑ Zn {q|D 7age8()h 9g\g[W8Ŝo!Ϊ;q:/wx'_p#E~YuFOF k"| &bpw2{-f0OЪ.^=(#J BZ\%m/C4OF@#zl-Yx t4sr&gO'Г:y5Zh!JX"X=*sх3b^m.wfнT1cXTB8T yg=85$/F"0k"|8(~4))cc͍v Ol)o Ғ?Zy~RxMqty:I]|Љ%۸qo3 ( \/֬xq`GR/VCjY_ S5d2EwD!cq'$ȶfz^ڴ |) Խ; sڣ_q+6ndK.#F+qFL)}4f* d!vn8$OEd UR;UlŤet7xY2vt Ce"`k(\(ڼjg(GaPT+X?YiD8&C$Q?9{< PcH/ˎ"Pǂ ;Ib . 9qyc՝,a-ұ,5}sڝ>5&t?pE廨=[6]p wx!M!~m-pMKv[9bcqsL@b }mi3B%5 ]ђqa9q՝Ȱmc1%;O*wdzi@P+<[#UzCܮJİ"wKK펛,1ZmwDji*j婘BY:床op ' fi#yRAtk8$5 ?M drC4T` -{IQ]b݆b5sTrYFq'[{#rt p/ aӌ7DPR+^R읉 lis}gp,.|UnoC˗oyS Vuσ9|)Dq+iIOJX,"h j2gtW&Trdu.}4Fӧ'MkYӰ׭lEΤLFه6qb7G%є3^> Z7h bN|3v''H0e>̈́B:d`7Jj\&rq:Y⢂5?еL$bF{x?+dUeKcG'F(E9؟h_[or؆aEs% aXs>Vx;maGy/t>-D)%gwEB!'^h$pK.;8s&Ep >itDAcOQulnGt=5I|d 2Η.7 Lpߨ.;קԆQ }gqso.;jw|‚'7 GzkLjW~fx[HitDY$qukj.Փc0j h{o^A~m 'wk@u$uh^8h㐚ً#dle*?n|E߀\##7Y]zi{H䋋V>Ku;˛r&v{f8RJ,'HsQSlh  }o?2U݄W1@Pֆ-m%smٶϋ OV玢.dIB'!Kl>.HSc˼KN4gco8 5%ߏ% b3M'} BNN""(:ja\wAAR6Q|j}BE+a yM`4Uʈ,Kn_4V5kQ Pf[I8'Td>Yi*x/lnWS52XyJXGXF {%?S;b둺2ܢĄi3 u.vxۏ4YU\WZ;դ$:v. }Ḥ]m3Bx')QB4j r{k-,/|T$Ηս[:w=@[P@CH/η1>(:%I5$;#*9{ Hr|n>B7D/,-qfRR6-iF/ FhuEjӅ}lr)n娏7q3LVZ#|c'6JAS~vfzo[l^4OuintzaVKt2Pz}|8_g筵 :Ah4.:_'n M䊢RPhĔL̿rЃinr40C'営1 ثٲϱ-F?[IG us EFftڔ_4wjRftx͚}4QlOZ}fhÈKަm~ܢ̓ *>EzsoE끙h<|4i(e+i\`%GHꃪLڱ=x߮͑hC'V^!#'DZ,|nR၂ͳѼ 0)~S2Q@UةM-jV|Tqseuۜ7{k\VZ >l^\"d dM" 2}tܬ̚wJpBXQ>̓49u s}*JmoI]w{э9-Fa٦=wX3,K_T_ BSh*St?8e؀6{-#JZcl$p ~P*%w-DVtN_$KU4Ԩ+5`3dU梙|0W8DܶdXxU`v0Z]rd1a7cl14oGdj lT[XS{H#@[Y4SmG>+"VӖ `2BMPXW-h%*5J12)T3[: p35vh#rp8]Ñנ*V{?W=jeTz+3N댞KۡFj;?o@a,R敦0C^W>)@Nß8DHꑲO7t+ٹx!0_8ޭ;iN5n%0bAϐU3(__*4`Ori <ˬzGp<|hsB- x.WAnAt"5h\lղٺu#JjG0|2ݶ 7&9{~ꄬ \a $= 28i5қw::3>ʿ5˘8Scv}9Df;)2W Q_ yc|08/24T|H0;#Uّ$Q#w<6h=< )Fb4{~:rKdl=3q+t \0:ES"~üf.dWY~\|8N2KoN(DꖥgV]+sstT6]]5Qhr%U~C'*S~JFj%fU+4hޖB7,*/'SU|b5QR:0ZA:!靼;R.~"pǻw$H;B.HoG+X_ # lc8YT;?߷4_8uaW ']Jŗ5[X}H#$m[L2ZlU B|AӐorDI)\͠E{MsRJv,j^p[ڃE!Y5i$2/rhxJOt;+eRGC= t~jʥ0n156lwv`b:8{1!NpCi93˹I?)ŷ{l']A9c.= #<6Sh]%jQ=ϭqA% kYH}rgZp ;QCww]DxDP 䑋udnky‰:]%bf7#Za -,,` cgCH;Zv!u"Z>a7yIb"l/S#J.>cوk-+D ʬ\Oˏ9$ ' Za T8dԆ%.GLʪKsmZӈpU^VĶ~`lF{+_n5JɑTGֺ |fdcjCxti6 9U+,DwJ :؞ e ~|vVȫ|QkQkbF!}^ ϞuX4ڹ{$#XDFr+d6AYB^k>Gí>b 7<2+'V3mB닥UfdVσa]Bo֪N R[vǁWJv?`mj> (kJn5{НYIGdnCE2s_/oX X ~ 8Q"֨sL&(w(|ZEx8boRkpQ3~[A%O~+޻@E-AfELyWyŐh4@>g%+q-Do`uiA]<ޛa\IvBj>˗I\g_mP~'[,>snuT<ԇUii1$}0Ir؀vYپ"Wo BQo. K,SE5ِhejj1۾q=̆ u;W~I:bG;)јfw#N&X:\<LH]T#O`N!BמJ[&&T[ҠҌ!$yhp/VB!tͪK樽[x`([GeMH'oM^Y"cO{6;x8*AOd[ML Q"n9B:gBp4`XdV0kwE"Dev}#zW})5QsX&̐ (9@ Ko/{zdOys0@/~Pp%Oi3gG9r'NUeۻu.eGR!UH9PM`ڋ7ݼz'^.VYz RuIUo]Z|MZy3]U#[7z;]'P.Y<*4"%= -9wk/k$Jbx#ȗ5ؘp#YtZxkl;۷ v/<ʗŵcK zU䧓Đ#n{*D4:c1⦿@_f/e CU`2 a(0IOJՄ_0&=h^`?bKw?)hsUmj&:J*EiEP8$eyS{u>Do#6ɢT\+dB#jF 8B^ӂ.Ճ'g.])wg-r 4wDXPE.=gotl݀.Оi⏶q}q1nEyLݤtgYZf00c535a46a7415424f281b5ae636c22a4777cfec68b30ad566b49580fe13839f7a432f3076bf46c c261812e8cc579b00fa6c102259eafdf6ed9acf2db0106c57bbfed51794d263782065c1249e1a8db