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 cce%Ld4 ]/]HOL-Analysis:threads=6elapsed=317.670cpu=1664.240gc=117.496factor=5.247zXZִF! S]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״X",AT᾵>M^ɳ'Oi<~UQFimBщdi-ɳzBV%/ T6h%PKЦ)&޶p7@%Ւ(FI/t)>É=k=ːbel#tCg1bkBf'oY}D9E0NXgrrNw]g.X$ )`{HN*\O΀NYoyx^VY[DiӰ%oy`osxaq ETbg-Ikak ?tΛ[e=/ ;|7["w^]HO^KnSib@6=-2ZiE#USV7'tgm|_pioZ',(}xiAգq14<ՑKqy=L:PbXxƐqNeb\zlmCWV,!D-?J#ςC/N {Q`Upc- +oL޾! §j;ihp`0}=ضnzEXL[P!k?;$%\hc@A2|&J|ZW:=d=j&̴K>ܔfeҝ,?S LlrM(/ *G @h1w% 0 迊RBfԩ414fiDoʓNc΁β$~Q'F̕wQa-@>@i_Gȅ4/{^qC9S=iqK?YefQ!gx@յ!!pcb}O q?!RN TcI%ĝiDŽ(wsV$=噺>gw5B4oiWy cQtw/ Q|(TFp}Ib86صDpԓ#8Jj 3KrO\2-f Oi1s8ѴEN5L%J*}Ї#ƌp@2\MîjL bޖYuAz9:ژۚ쭓!+-W p9w9.a0wJ\ShvHq-(`y\nO G]CqSڟz4hY3uw" }"D%ԴK=n{QCn&{bEWޜQjY!@&4 Ej6q97W(&@d4A'H% ʤv?^Cs5 冴~MO|a][`4K~DxRv^lV *j<ԭ_,|ڒZHge%YASCLZWͣH3cbnkI=a55z~5+NT Fmha%&x0_]K;؟vv X :8T";]@4PÐdA,)`)c{[KY xs:JPw&!#8 ~6bًG\Rr]Wj'! JYAk*ObOo_ӑ˾ 5xЊ{aR! 6y[_Ro)L+ ˡ;d싎wTAZ=y"o^'6oWόb&tT0挏3OR5d-s@¡nH+r ߢE"HKMn `Iq !tAa\b ?yCR{+\Mڜk餎J,E7%5OB<Z POE(e`M aBN%]pݳۢ%$ 8@Sy _}&29R4oxZ{"À4=ttt1xaMM&,ܛm1%kQnK^gCǠ(>pCi8ן?^fBξN ,B[F#Sn$! r\':0ݖ@إu Z+Ժ\U lėscp[Xl3'9TUej2?N" BX!Ia1k[a|ohgR(9hj(_NqˆvGh/vOc8xLl`9kDae*$¶ ďCQEˬ mTl @m/"E2|SaMдֽ5 -u U,oZ)˷D(oWoUjrK3wϡ(cQϿ=W@})GtKږY+_?nciZ/dfGFwQ\3?Hג㗭el{aFK_L&z3m&et=\G8卤r.(?~ F#ΡiI*51rtnRߵSwy7^ڻڄJ07-OpY . Ek(2ze:X,/;Bxy!#$($Z]L :UT5/?՞/65hs`$.7 :ϓv'"#[B^B(rbZ j=s_q5Da`!ri sڬ$?Ֆ [;J&`NOܹz6.7KAAP!ʨ: '  !|.@ҳM𤪑u6o@p.^T+CNm!5we,}7NtO__ % HOL-Analysis  HSRp@Pҿ@"7*G 89p A兆VqL >g?hqFvK{M7IBUr2ZӒ`H/ S"u㘭ȃQ㌱ϻW|8\9%h^!۳YvIX2@vEp~籸V/iقP 怋9<=9R$\N%鿧O{çJ+\dPﻍmƩeAO@ň2~Qg.R,3m"y»UBko$K~Т5l^ FnDP>1}뤎z e8L O[%za#O|gFxE+Yw@?uQ~#gwjl@)XWN߻ rD[]Zf>3 Zl P`h) R27g'0ó_Hֺ3P'Fu{>sᡎΈ0JʁO^ yhǨ?FPX@?/ jpȊYPę6:ze0ςqwwRU#3G5~JV+Lھ2C-x?>W[0$P96 Xo!$R}fg%r{~`a.+fE~˩Je2I5{0PƗC@_5'I+#?_2<ސMnBy Eܟ^Dz'SZaD\(0 XqHĹyqc 7~vjA>hyt?2r˛N oKT-Jly#Nn)T3y`쩝bbei5$eDq9̂6dj<@² h\'zh; Y9$ v k8񧊅3!ϝ_ۏu}vyk7JɍTzX1fE8% ';]a,w 95=D5ƼՋɜ-oYȺAw:it0UeH 6tM[{U# :Ve;/Qc((TތGOjqϜjvUFPjk X^O"O׎wZe;:V֮UXȱsFywOy/]v ȇrt(~JԯUgHIՐD5詻>,-Lx9Ck&3*6"R6!+`҅~EEkے)5v/1\44Ƽ U}(э XeRk$dFGH-$)0|'}} PqhK "?/dy't'0Qqa{b]hT + #YN1zb/wQO񒆈/z aotڹRK$+m5M)V@p#ҘD1&%:-eukÖOȔk:! :(uC$K~HZgmI^V.2/]Vz{;&vӤU %Kcý}r&GA'GA=Gn8$3jX%{YT l*'4 ^ꗎY򐠞mCI݃A 7\@@Ժ(nAI\y" iuPYj/w^%F؉lb@uS&(?ݭL-kP\`(F*RgxRmPVC$ikGj#YK@$jbJ]~Vj]c/%_=6O7!'3bPj!GVAw7Wb)u*~G\d(1uRV|1%QpSi9Z*!ywO4а{Y. HV/W)_> N VݞM,9mm>2˖]X5A 9 )cᵎ~>e&Q_h@s5| ]Ŭ` ٶs LvFL$p ̈M!VyׄH#^Mkz؃lcϑ`Oe~^t5tF7| b qf,9Σ{e'Kn4sԴ"EK=Lwѱ)GGL^:l?RǺͣ Ճ7vBוzkt/+Z|0% c?p$B$xdNdƍdV'!ȥ(g|8$yF Bhr w%UuM-0iuV;duk~uo[Zt+>焧ma ,iO+;-@I;kDOTM}jYdQP%<&,JZdZ؁ֺ;{IоjݠO j6ٷeH ()gUN U y8WhB; ZpٚPxztauEPi /qTjCY0^3r.#nHf"(= In0g/*JS0N3$A4Wf;@mGBţ2=݁X~W q*&}g3r` <6.R|7HC)qӠ{`,W؄y{7R}xx=!)bɖ=*Sh/K{21{QDzASn׮V1A`[#! C~;]6gt6FP4OS oan w2}!ۇ0tΎV4-/&6rJ M_}2O@4aW ST/jwdȇ]H)pIŘ?>0,n,4Js=ª=}YhmcsOԷ}.}jL 0`;/l(0uuLYE'7ۄF@(`urF?U;)80 &o:  zwAl@Dy;94rX䌞U\))6T;"F7ba(L,0jœi=n?>*Efn@Y}1i땆:[z̉8PRX}*AL"}v *I_z8r+CԃFnY%9N$@h0ي㠽OMuccؔ7O|@ة*2a[V? =n%Xnk KH Cj3 ^r1Q0H߱bokv-=1ꝳ&|Qsym5OϢa$ в<ɄItqjΓQйԢ ;ibj2Vhd5ߊJ*oGȰMdIA =D\-P$޵Bo!̜M=+>MІ>P0Gqupxc)|z0Uq{t @F20?ONBn!1-,;P6ZYhi~IX@44"h{vWt2Narz jZ^+v! ȱ@oR&m!h wN$OksNjbqM^OxL7w.ã=Ū-G"=()jmh,|oY^K:pl#9:jpfR{@/ƅ(X ֤(3-;JTF5uS>V~*:X\M Vj7%slj)lp_"OɖhaRъBUb G~#M}2OP*>u`zn;G(h1G;>Yk/0nň_9 TCx0;Y:v ǵq "t)G^m@M|PJk:M6k# J` Ƨ;!FTb*ŦQDa@3oЭ$zſNK,->^`;@|NÎڍM]:&E^rG8FO%&UxQLOwϏ2eOe$}x1s~7 "B4ַZw,&ѭX|G<#شq_Ll+XAgan,p͏\q $&mB5Ͱ+Ie( J_%G:EH 9gX %1\ql2F,j(Q8p2tJ4ɯ6.va2<,ܾL w/{9Rpkٽi 4ԦlpZ," tA lӝP~^;vc*H?k&:͇wHrEAޢ]G]L~or)>)D0.F c9=Wu>bT ߜ9. '@E3&z$}{)!5~k`Yf4A^VC0zx%rgKxe~QA#=%+y#Ċ@1Vi!|r aWR<65R- *cPƄ!:Li}l@z:&`dW)9C*SݟB1X@{ x1m=xJR li%iPL2[4O<V t+Z I7 iB:+R]h0kz ^=̡~cgo`)j,cmpTCJ].`jZX l=z $߉壂19"«@Ί.lNe. Nsk9ԤjSUh%.1JW^Pҥ8 ڜ0˧h@_A-0'Nd`1uܒPi' ]M >ձ:!wZDH9 r okfm>>Cݤ<']^DsE3Y LBr7V"./H?;Ec> qbE]Y# ̬/qmVsWa, ^VL"qjz<@bg |n0;jiQ_^M{Ídi>2fDK@r#|v3 aՊBA\ooW=/~*߄*iiJ|]Pպm`z% gwumN_j"uaX5M% Ҁྙ 5{*U(}VN7NyCCeJȹ3y;s8p4 scaf@VDS_Q<3WAzJ7k!|pT>sH@%xkk&1ܰ8X(#'Ur¯ɊHFWgM2Dƹ*֎-P'أ'\n#is{yO6ډ<^B"`T Hz۴>ҕ#ΐ!Chy{k@0D5*t/ZQ1ZjXS4􀼂6Y|kfݺ-\oV3| jC07p:փ!퟿RO[΄r,.Ta5ieBeFbNBDF+ԈDaF0pq̻>1|ukP1P+O ТssÛZ$n)5b~J7/j𖽳EI( jZ%Y]g_*R;`GM+/Љ\Ǔc48Bf_ʓf\)w֛RB/Y>qwܭ^ D&%+:@sX=hNa@wENÞy@NLKچ\SE7 ^y#h"0'PI*{OA͔nBMH*bcCrI]̢{o}ԙ7AEʿjkH&U;QVP21 -nKzF?PE[PSc&ņ3qkwy-[s<횈84X(5!u`zP.lq/d|ְ Ĥ;$ AM8%/ts"0kPFBK}b,Mʿ =iTk]N( Cw)j5g/6n4`3uS9G&mێ@]DCU3LF6iP ydDރV7qXhzHc{BLX;fu eBO~#r?]<36_|,O;CP{WߡQ6د!rW4Y6;EQ]¼¬D-h1* "F[t6W 훱NuXiL뜶 xQ ?naIzkr:J&g楎Mż3 tAl)9/yoU]X7hhC3kb%܍P/rځzt.e:0u4>)0&n&50v/j` L*>c% '‚6K%kז7"t~}#e7#H7J, dxP+Xy{-4nzͶM\Rł D#ϯ^F4ً4.9M(zmmk #ͱwv>!2PO˳XߘӀs(G@͸5VzJ!5jeL!&aiWj4Z۞\n}{t 2\ƱWW{&LozQ,j̚<3 qD5'ENak4~6NR-AIg 8sr2KȪ>iWvA<:7^ae?N7Zcǧ2}n@,TQuϪcƕz OEQL~_RIvƂQUY;o{8M?wl>}\s>[1{&(gv}ּѵhnC{@Os+SrGwTˆ@ӃUivbKTbY_,ŀ8{Ux5*'^+ü6_lL4Ԇm\mbƱxW+S>o=2^9z|MBV!, ac5΍ ]j&og=bbuCb#m@KNo_J$m!,)ԋ޾HH7ÜnBaׁ,#;UI@֊\c]FQo)k/FXj!TOVCnuO_}o*r&s}im_DLt*s.Z&n-ЄNp c kv]ͿTg ο` a<uJj2+ 8@}<*<[2Lc?&ULӡsV\h>. 0*H-Tċ +[g:jpSqpCGf0Bgl0O!R{ vad$,r.MR4x<Pڪ^u- | \~N,s@"U`M=  ԗ䀨U#{&(oY3S>oěX?.qK35WdyH-~|11or`ɇ=>A"LZ4+'e?bҠ|،%,ױc0HDl5 6}5eg/Y4l11ɳMqg~*#Nf-uof׮b5p6+M k .JH Ig7ъFpOux| 6Trkaj7ln՟ a]+ ^pQXQH;z,p9r-9&қ,ҔMy3)$_ +>KV yw Kl Ss CYTW gi]#Vvۡ RF2O:kX8TsbDWnn]ce c7PET:GQzdoɁ9)|2D cKGu\L jMNdJk:8{87q$B)N:l/hgۻՖx(k~j,B&J%G$&I1g]*n&B i$hg7WrL^m8 5eStUV2w] mOŞ-8㔐SnIO|h׍7UjN<:ԝYۖӲ{"W ߮윾0+'4hkjMyӀ}X['Vꭐꏁ~. ex1K_O r  &ylOiFX#|EĎN~6zeGJ'SBL/~(ޕUD( 2`8 Rm=P5ꖆϑhyJ#\'|!*gױVhBܛ f5wS$6䞊1Y֙W#uOjLS "G*Lʃ D^iMYrUꗯxIdH$ sk)HFv\*?AØT.n҇Ƿ= -f卫cpoxG>2.f9+؎78ԜZD뤌-dӅۈ EUrGn]p/r-Pd]+Tn!mؼJCK,Y@zM|(l7vbMe0HZu!v wHl,^@d!dR`AJڲ0'k@17sXW$:\Ѻ,νh$_8R>OLJxNGN_Eޮ7hwE`;W|()}OF2@CJ鳖.DcS0rěFL _rvNJѐ~;Mtin̶QipO"n=ˬvGDlcCy/< u8n&"4L-0"NkMv#Qr4f)Em;Wt) ؽviW๹\n8ƶ|/n?8*b,Ys9@(;XN]NQܟޕMrg36c;'!er[ ה2bZL&j7ӣ)Ԋr B\Q3]7]6/1тZ$'KS "F'O]ȵ&Q"X蕯AXę%kVӷ E!OpyBj- j/`SRq1-{x;F7Y*&ֽuD7M)G-s׈Ыb`y Ul6E@u%c3U qc 5'=ۇDe*[+ vЎ>BKsή{=PUNgX^eID=4i.rGܲjZii#-?9|k^q8t E9u醐8 ܐ})%@076_IgV:%KKPH_j*ha"{(vIqćUu$x޴*MsW낉@mp.FGq,LSwӀ +  ,$pa>@F .:Gf3<[Y J%p9U8!CR&#l4wW㚴8NAmkyfI~ބ$Z_!n+. QJ8H_OvOQJdCZG&ɳp_o4$P2-r˺QgԭA%=3VBv|/Gqm(ЁS4\)Yy^1͠[ͪBy>#r$v*`zeb|0`X\" _A,@tVW۷!blMsp`hf\ךSO17"[:|F6`F9g=g(a &[ qn2aqa/q+a} Wek;՛nVfKC5Rq<<#?Bx~m 5|s>Ǎ]3Za]xشC8A1q8/?P,Շ&o*gB"< 0ΖΆM?Y߯ H3 <;)<>^bM5^=:䔍hxM5wRf /FU&X{>b2)YБ+.1tm&ͻ#jQ 3YRV2De4fUC=I;3jdY/k|TKbaZ!ŚwL9&ؗ8-j6({ܯ쯱$2z}6`jھ_Tl>[B;66)WlS]!r!itn]?LTK !ȫs~cJ"uVR3Fd2<ԕ :nZJ`ߒnu5'N׹ G_rKdG46cH-[c}EzWU@ˢ V Jr8ɷޱId|-Ll<Y| ϳA0$lث6lH!|s {?UNϽN;~|Hz\K\mIoh DP}Il?-I*Qƭe|<3$#wC- 5PjP;>qgK]iSןP4MfIgJլLQ*֘m[aE9{{AˈG =rj$\LmъJ((ъ&>4# xkڸmllCz'HuPT qH ]ȠGBSڡ듇+/)>8sG;Iq]y8 VoRр^~@FCFsOBYx%zS͉Z;cW%?)L*%[52+|| ^Wm*v?<jp_.ܷ'/H+ 1"[\ qYl U|\P𰐜WHb9KшW[mDYYO7lt|맿] ; g'ޡ6b\D+(DU;lfj}MNz x2x\6K̍QܢlF4Sgjc7Cx f7S6P~sn@x3w:O߹? ]*xsX:ui# UxQِl?)q i't*rJ|=ɛa c04}tЗ6y*"~dxc7Ht'S-]x?aJBFPz;֝ֆOؤMl5}TP__ۮhcw9v(tB[#.b#)`G5" O'xvȜ .zN@[/IfD'DBcRÐEnb[,A s+HH=tF+$DRHO8`z9dn<=C(;qTS!c.˲x"|dF[_$(,z5ʳ,'] Ȧ-: F쳉yGH!7"0Hٕ,<^<B&c|m7ۻ뺔RP zYHWNC9ykd';aJ\߃e@)[U2l+SСkJg]An޼fc&ax::EcQNgthFgFa2!:/xרE \3+)e"cRN.m-^YQH'"CgAت|'w'vhA:SY&!i?051󑨱JjYԖ^T+z1-{2ҎycV{=b%=-G) J~ G1.Xa-9尘@ ou>] "GWZÇU&]g&#nY@ sOܓ'DϭpC|~&cUW`nƒtEP)E2Z"9~bV8z oBOI i}01TVe9rKS*eLI_&wW.lwӜl- VgN3$VMݟ"K[ ɫ8 p6mU n~&pU1[+$߿hJɟ3\VK{ǴP56\3 rY ;\?oLjst*i'\!fkl$78蹍[ru퐱w'YKm eK;(ybzppz 4Z6\NvgclJЗ5 +En`*2>3榭obj}$NJtV:+WS ぬW>ɛ\|a_?Q9UR['p bTv 0qs̚8sQ(XVH ÖU"JuIfx”ŌDvkmt$ByHmպTȤÍM#wͿ!xϤ\ a}&[XP̌/+FA;`1ojX^-* 搈r@"\ٞG$/8 $]͕y"|<h崭 HޛClύJU`Kf;z"$(8*0¢,@>M4dR(6^5k|н #0j1s`$>E.I‹jk˞ʔsĚ:"H`.1:*d.g㵊LGRc> ?1WLܿkL4ړ$F#;v+1 0t*P'vrh[zdz4V$T+SoύŦj_^;fѺV(80q8~,ќcІo{]>رb"Y`)%rY+@G-D0gzTK9P%$sĢ P7IU}n?iс25kAdop4Sa"aJ|.BpYi2uQ $!G ,$/6E˅ |EÖuj="t%>tXG:[gK~%i,3ö0aWJSwI#7!u9 J^D<.,bחSTwcC Y&>*؃9}GQo,!e0C-B5*}uS95͡h*oJtZ0?Il 0`B,ξ=)jlvԩ.B5a.{]u:4/'bOՉE0&. +26B?'Ty@&!J$39,y_U,()oyU:) 8OL,@zg7LfN דMQ}ks=6 _܅-NO$_~Z42VAh]x?RMTh(&Y݌'0W̿hٹnC SvZإ:{^,l;X|k>#),NE|z;Rԁ?¹/'" ]:=ѤcQ$"&uV͝z k5pNTH+˩; ^{ϣzi@V6\F`:\3^xAYAQPzxNUT?EjG4B;ے^PՎA=F4uOfu4Xdx>1UIV|iZ=WYAfOgy:JdͼtJ%G]=1HYCyTd1C#Fq:#mF_⾴SvqHj@DE_f _7G&v,[kP䵊$^Rɖ#M I/'rȴfV먩s Uy:SJcV'tTGKS@ 4( @IdzKU_-I=;nXc>8/K@?b|x#`D_| ܸh9 dxZnb6QɥmzPz? OsTY'}]PXqu}zR8?ptQC_g6V;HŽP?#wmPύ Vipw-ZHꚭQQ:vy:.wl\׈C4HʫgLgX)}KFUU%ilƊ{~?>@Tk^؝+V'9'\pƏN^Q Bԉ ^tiHXfLT&Nrf+ OvWy?i;)y Gd(Zj-w4rI'Y^];ЋTʂk"­l"E0ie=@P) 3>bny scG^N2'gYZ7zXZִF! ( ,]ŗXiɟ1˦r!cHkMeBd4>-BS"r}K"]DPdΐ\KZ+:^Il4f8\˵"8Ι,~[WVF,_(!]:'Y4)+ cEgtOQla( ?tmԢ[_!&G+P`;E\5,}fFl#2=L>лDv(ot}O~wE8z:r67,Sd2B`!ȵ}\gFCtdE#^xdϾp[cܼ7;-r9Ca[1>x_N&r SEJOkNRɳ?֞¤%݄D'5MʁGƥĨƪe^郿}+=BE„!(<`t^Y//WQOɊQO%E3.ا:16_x&pbշ[?IևY%)%eq#WBr}KH3EDD!/yTGp?΄D& TVށx^BόŸZ4n\XF-]Հ pQ IWe{ef $T3jLWֹ逐1P\)k'B(?-B( _HdDiQP˶y'6ӊt{ьKk|c E;JZ' [o''P[# 3h\ԛt]Ee8ZNBL:;grC0l }sIn LC I X(N՛5V XAs"/̄|q*R/xJD~ T&D.jkcwa@> |9`ȇJCJ0j{s=x+}il ͺMA$ p =ḧL=mACweTo8ʟ(ɷ~ @}r`$PrQakwb(=^_85tA~\4+a©PF^0p١|D:JgF-7~:?L/xnWQ3{_!k9R>XO>@,v%?cΏf狃MM[c">Gbd&(lw,y6IcA\`RmeWd4fbW~E+ ؛U URE~5- U2+ڿ1"PCX0?/)Ul;Or`݌AO3| EnEDXlV'Hpq Ϻ5}e줲Yh C`rbcǡuOwGizO4 e~r9v>I"ݘ񌾟wq:p%?NN-*ק=p0m;ip2pa9đARcYJ1蠝l@^;'=`9t񊟳c%tx?Tzm1jNO.~]$At,sQeEΰPl8Y0QIAjr~q+2L*f]Z k5*r4TXs) Yʅ*>H\ L.im.*5+ůqϡ2Pڻ?k÷q}ܢ߮VXcԇɆ/_ʿL{5t;RqX,SLPy\G޸!EoM(6S¦Dy$3ܶ@DDYXq`UbId~c9+*ޫ K5%T_>}B# ; ;n%gI4ÛCB z ԫLQC?): [WE ,EM̕&RtB?sNĘ_N<0aD|'p0Xn 3d8Y;Ff|8IJwB(#aGu"Ci"SM.. py(H*5UBqZrO&" K>Mv K֋#g uD4Ov = Xø>K4R㊃'% T̊o"PPzgYZ7zXZִF! m]ŗXi%LVpbƿY3$<(I[/FJ쟷'mu߀ 78XjQ.3VXz|{lq*EΒO}G(0mqõb2g.9\͛f951!4<ɺRxk>>&sتe&"N)x.iu7h*;RK_64MmLieVj=jص&oM7%N\?xSQr}g9(1 %.|R~PV6 .7 d `< ҅(ts(C(tBKU '}Q=Rlט\LK"dU*1qh }& 1^ H7hBxDh+pīH+#!=6ιw6pJ)n~u_b^K>^ѝ!iFAPm/GR8m5M\ }A90$" d\`8#I")gZr C6yˤU4!KSpnMǷ(cdW9A;u4klO̎_K;z%zv4|Q|96`@s Z8"%oW\ŠpHV+e yA{=a&㎿ 6N`}Nlh=i ZSZ0>4A6e|c!wBclpμJD[3ۉ޾y@d彽lXUڛ4Wp&O^ܾ*곘SJ굇wꚐ99n7x}h!^6cJ@|Pff"4|[\vTsJ51f5e.Dx LcP-mDR+ebb f,y׭;&=DۻK$VLؖ)/q(2F>vIkvCF?>\GSpol?Ti!2[sI4d9-J>b7hD>%~ֹ{ }ÃԤ#!F;WMhXQ$gn#@ϪV7n; &٤N7=Нq B8 Խ}J _\r ulBfs%d{:L$g)C͹:Gy;jp==GtRЧ\m!غYF~zI=v#3zX[m7DL&LR o*L:DJ~aE:bzo'rYU yD Z,lON>e2|QkGZ : \k03wғf=)y:K?O<$Ɲ?,+ 9 !&o4"2wA#l< 4&m5c8S*6$8HzD~OAsLS9F ·D\ % )w}'Oѩx-ՕN3o|-@`P͎8kI¼x&Kgj%q^9eP)d$Y0ŀlR?2[8VzΑ`_Q,ڂ1 8GcsHY+-66n#~Qrt"2+Ua@~f& rK( -X,|Z}oG(|R)B))¶?盖F~;oAI[¬k&QO;ɩe%w=a&/5:@jrZ"Pe#OI8Go L|RxBW :Ad"StǼ=\[pQã2Gd(obѫa zL>HHfS`S7NsW6i({@G'˥ KH'`_U 7$m, T3pvmJl#QUvoZ:ZMYʹ.3S:La]6p$,\%P!{`wc$gFD2š/]doMd@K:}4vu|' !**WbMHI4ŏZYӉu6Qq1 :{xAվ<[F#@52wlQd 6\:Iq&`R2/ *6͆20HN 9'+d g8oHcϒhjjWwZD&tr:][bWV*~!OMBDG7>E؄vt0I! ھuuрI3cMSUG }ng)l Ws?Wj/W֭al"cݻD6S9=dԭ[5jMD &2l_0\:[n"gmւ {^7F;vt64!R`;wR4nBxv{<,O3 d6_aeI,# s\{S&Q/*q> h?Ž>(,`bbz&{ne-z37}X8LeR.B@!uc`a]'0+;[I"%v#rwPH7,x.#) ø4Qc:K73G/!q̟7Ż _S˝j ZF!'iQ3Ox]? kq`Rq[w7κ8nz,!ExG);Q|="as\.EgOdY9'dpk~ NkG7LR=Yj/xJЊLRo @2YU+i ۩撥'd ]Rp렇8ۇP,BT1?-c=豍32̆a+_!W/E`RgvlrO 88g, d\+b]\ȶQx?x6(?g~lMqi{rCsʑO8@T&OĄAwyJw"?xUȠPu\ٶ"S/-a'1TDʊa_ZU1O02@HU\R8ھ㔛 BP-G_D!gdNe:46qHjֲ?eh^ \wqz* .f܋浺`,}֨P #[SNq˝(AOb*0u~CJxJuw$Y"`,Ԇ)U[%Prm= !hMp6;FOc8D*緙6"?ЖJ~Iځuo#/SG'ϳB 6afٖa9؆";EϨlTmߪ3yXצsB 1Fgh0lUu8plr` ~Xvi}ez>Zs0 neo ]wV>mНknV7$LR0"Z^4z4N(堅8%D~#F{Vi"Vkdo%W̘TX9 Ns(]={flo<2eC.ed%$}@8mYh,!VI~m7%뒠Q  a4S/hv!UOX]U| &j;p$O5*fgc9`{Ax{j:\N%zv&9L*˦V 3ȕ0 kcLF4 "9Qj0D跗1D?,9E?A 琢D{|.04=rt("RC n @ %F>&6jai.Q:|I`W2O- 8Ab$wj?ڢuO]}v-`c'J?s\eCc%g.D> J|qV'gg.Xg<u8()&. UENڢVέ?%OT#i$lHf7/Fe7򳊳CH|TH2ne+QRj4?'䦱h>[?7] RXlk!Rn]AH+AhTպ 0*ʌ 4m`W*/iaNQkʹnT"BC!9) g5fcaЊJ!2CŌ]nùR?\W^Ƌ{0F8F3z8I㑯[JhS;Rkko3|BB߷$qӇ1Kp\1|O5Y>UPaj(m3ºp<? CD^r !tOzh2,A֜m5ZM1m'}i|FY1SW*WI}Y(>w/a~ؽ kuyɉ={8Áf]}\ޢ7,_ԇjZ7&t{26 :,8_5B[:BnqZnԪ@ ô;jb"fuWqFv_(5\b UZ}F&n[Fz8=ГT+zsn.pxB\Rk93oduX*r񿙻)Jum /DLE2HBaS$s8ͧP->9P3tmPo<̬izȠgW%zCT;.m׍P_Rt [,C5r 䄊ͱuqL8u3\Dt?5vwtSk3͵A8ޅ:*E%HM *z/u_YEA0|ԼT]?П*콗O9P lX\iH). a2lDVKrr>%?u]A0]?u_M->0-?:n^{3h&Z *R)~#2{6_ "!M9[7D&wpL "R @iIr7Cf4>s#Ks=9*T|S0 ]7sO3$]v`6ݚK٫~6|\&@99@7Q]P +;:-`U. J0 :JW󎃔u-HMH6S:oCq z,`@V٥&`k|/+kȁAObG\w*[/1&9xu5bnej(c )h*SftU˗KM(w6ET}Gy϶ sQ:3Tlh6l:0(b.òJw8=nV3*94o* 9x@RPJpi] lb6 rp}yAg'D\cQW3f݌@W&mh t?Q\70 m5oU`%_v+@A^i;8FZrOkf?ӯi7\SNoI_wA,D릔h0gi.PYmH=K0GA}#?y3=}4MNI]ѭ͡lghry[[(4ƶ|_.g]VlW O!U6HV1ȶ?)I9MTm՞ )N1 ߳du蒔 =^ː?I'F{+&fT=;^`Aǔ9`y*RD%߅`eh+\WXC=G!FЛ,Bx#Z][%9:Mw3@49R,c`\¥(و AR,ab>z SxH6{UaU :҅b C- lNY4_>‘_DW_ q@v< kn2dȽ }ŤM{E}DLqzdL#8 \ȡ) 9ي[!cbw0|K<]*qZpԒh6DMg:s,8m|gK(|'kO{&M/i26 UIF ܢe@uz}92و8Fy{R2b}!ӎ PIB >ǗYY+́~@ػ܅ Or4yi/f۝2١goy=]% DOFܮ4Ȱz |5܅f wWn9mԙOӃLKs+4H^ϭ.*64^\3UtHvCTAF?@ I$ܴ >eU=)*%>MIj"Z jZR=!UKj29VU$5'hͩD-KFanXJp],Exg|ďA) _C}m.k.mIF9,?tRĻz|*m\ra=Cm#V.L2]=" w5;F]S[xdǭr$*<S1]+b)ŢŖdyr:n,d! yZ%^sР2FNʛŻkFN# fEDިHgZѪmgV;HnRBGG[ߝA7>fd تf]wyuߘO<EaK 7LN 1'=}"\f®c?Z>eJS頕7j+auno rU7^8sS%ɩ8e5ǻmW|=pMEguXw+*4b+CN/E8.d~Ϳu?`&@mڼxo\Ø\gYBU G2օ翦e`NV7eJ\OC|y:Ix'rvQ}ts`A%K~7M}nz75oVgdg͊\~w+xR\D*⛢gYBpFHL pVQKi6=̂dΓSs @xqs%.rFS2ƩKIĻ>i=GgkN=t*nCH+e%*=Jc|!0 \ubh\ m* -SGp|5uT)1m܅u@peU5Clfi(+kVN|k+l1.ۤi4/SXC[s%XېIoeGz+17T~db QAa.;ksdЉ8J_XW@]gkVSQ]nj!/)Pߨ=%`qtnD>ČIjBfJ} 6'NJ%9 "+"@r^4S`n; Y>"R0c$*GV):uBSDE]l)6͢xw)!" ySǔT7ڃoW:U'. 8%Î1I,]]G!4'/Sku#DS!h1oǐ x. Iޚ"y МP; CY{-K֦|=~@:OO@GA\51iGOSrH]V˚*N]p Ä{A"  37ZҕA ǓRȂaZNbw񤫗& hc>IbwԿwM#a A4qwW$nБnt( j9܇fιln%Ma޳NȊy,6l0W5!v"W']E4VgpƖ+ƸY @LIϋFXyE1*Ȓ|aw«M 7/ZS \̔jy}TkЬ\XXQh4,Va礼әDXE(f2rcM{K3 Nnhb H1X]UPCPbbEyq?).crZ#›mx@G a4C?0ظމXjmy:S,'ie^5xģu{43#eLKCPzcus@G'~ 4p]&p.jftx|ES99)Jk.96^kH`:2Ƃ>\]쯭Ɉ3즅P[! ' #Q\ 5Ẽ;¦"W >\6 :}H'Xa5V 3i#ƹH U%5B2+ %6,0uyug%ׁ6ܔzgvfka&VGPmnտP > h@SrQćSQ VWi[A[`"zᎅ7 *8sr (Bs3]//Xsf/P9FRڄ$it=gou_??M݂A,X>3P^F;SDB I\gfU~Mak _( `mgya8C^V5_Cȕ$I-NZH8].UvZYjmG] W]  ID녬JΆJ̀V~+QVV7^eogǁVt_O28dr٥0Zɻڹ;2cupY!QbxSX- ^ X޿W bqP\H CրX$ǗOm%CuY,dI PN*mܔߚT,W ɖB;ƈpN,]X*Iz:!|PGF K>DfEۓ:Irn^SRᅰG6%qt\8v F  X䎶EYn@LWN@a>*(C-<`uJ#JնM<,n9mI/V 'ct[ȲT%g JyǙN6\Upi0Hy'㧎&pXwgL%s D9H>ܘ~KOm{D3H/z: VIN\Ʉ̦iF.>^bPl&v USn_eu%}W6- GIŪ$2˕+t@5 =(Or-ُ5X=A_SWxĹ@5މy1&g*R8n"ww)=q_E4U'ȞcX7vDɲ(YjixxIȃgQnHH@ ;N B% n#oT3Įjv44Z#aL:އ?HֆoR^;5$xΒ[1b0FqY5Nb\xX4R FCB-?cDžݨA,8r r(~ ձ2-@@IM3 |3>5ag12%ї9_lȩ7W+RnҖC*`ӎ .#/QniIYNf}\.Ҽ!~r_ _e9">=$L1HS#Qē{$HKM>L< .aϣʩmTSc; 5jhyb71hdK&1GFMEdX<_e+h,fe?  b u{Bp6ey/ UMT9cQ$B]cv;<ΰ/hŦ f6;2@L <&Eo8wՀeQJ"| c,q"w!N(w)}.2cPp2{/@l{Gp1&X !r۵. Jקݽ}>R"gD-ɛTI k6)l|?ۣic\؜56@@hR/uAۛ7i8ilfB˦p&ӏ&NJqxAW ~(ޞByUkFԢJI|z dۭ o@k5x?&tujwxpR1<*4ɸ:I7`pAb ޒ uP} 0EaR }CRsk,orπh6 d/Se)+1wļܡ#4Z8zF]'ۚ{[t^"!(U̸Y Pv.P.:ϡd;2^ӆ }cH}aE2rYq5)Ӈc#[.Gd3g<2M JZ%m{I<]3S1 D 4Π woow̚"`Œę;E{7zUntVé̮2k"ׄ f3#":LhV ]qQ]sy8;O]H/]#QJ @ $r4j^ EiKf@#9t4K+,}lsu;+u2 Pa /Bl5 塄Nܞa[lv-[b3 }/6v!M&~^^7ѦӹQ BLMi1o%%R.xzL3My>[E"#8oh?;gOsgnƕܶ!~sJ&[/TpH*Yo E ?tD]:o٦^^R|H YE +sG y9Ȱkߖy P$:G ;}!|f :?Ew6fWSPΎadSqPϯ$ֿe ͗ `.{ A,msҬㅞM؂jWAq2J}|-TuOAпhK5.zA@ `jͨ+de,ܬ9[dBQ*iMhW?&$#h{,rs51*i]gZ-=94ɔ席տ\ǒ'<回Z8XG?R >So᎔8ާ`Sabv89` rh!9[=yu'Ǘ;=yvW=`P`1S^oL}=^blη f6-l̀C (]m(5Յ:t$NKe LM5BcB%n`Ԭ"[w`fHHu+q՚MZ赂ߒu)Q>.XFyj_xuI= ,XqTxIk^&SP/]IcY;8Xozl/dY y>}y&Zk}ӗHy4C$g—ؓA>'se`69IGZMT*˄ <=V]D+ AD49rIYWFóhc}{/ WX6$A#:=/pv7zT!;B-ig/*[ِD%!% 9;V.$$ɒߥ5Ь0$i $v>vw3yě:<7g!ڌhʁBkt !oiJl7n47Y+c ]RHw-3g^aa2]H Npv o((]3fsZkS;)L[h>: nBp&O(6C]&%H2* ǴwQ h=~bK)i,qҊ(Ob] pe η6=Uӷri+IĘĹ#۱n@+_:T_̈&71k$gOƗBQQ6e[\'`Zr63t7Cj[R(b0 )QnjLcL(O/V Ecۃهb1%Mj073gaGE!ك8OMl&jזFd|G3ʱX50_`$d ElեTҥ[j6.מW:@fDLd꜃Ғߥ{Υ}BU^G"vvSQS0wi`8MJ"Zbb:  N2~o9Da-6YbKxj; , H{A]KT'-O-#dHMe ١`KU,TÂ*X)XdM<#)-=)~=4n7Nh!hHmwۡf6QW|!cuMJាM.zE&U(^zʄДB[dL +T VV[+ Y$9C?aC˕B{y9 b.uP-ػmm bQJI j={^tׅOp0$qޝ#iۙw~&bU}4i`^KSG5wӖguVS6^}&C(=i} J^uxL EӘlCψ`"2ϴݪ3_gU SĂIz>WQJrrtlgsF#˟.J/^Щ?{u7@8m$)c!/}!ZKLvN{_u| 9C'bp; ]lism>|vCtg[E*sdzB|̪iX?֭_w0nxD-?3˵-|*@&'f{t_c_y1.Ϳ] ZcH.:_֝ٞ%A34zI7ih.<Q  n!]߲='MܑLjmGEyٛf >(s $9isUČ%wV.C#]]mZ፝c^@Wأ i~*`$z`\_l$r F5Q ѯn~e .Y(b,"$@1`%p&b4e7k]zwv,[_Bz b O慕")lӛ]i ܱþ) 2eݕC| :Ё\]b7Yh}uPA&DYg!x(Kazw;CUfm ;qg,ry4?<MBU~B D K} g Ea{jѻb^BW`H1}Jbგ$³^o&z6wM6M< ت܄yP mXċ'}Az45<)4-OZ?xH;aw֡nGSd)X?`r-`nMABmf^T T &@ߧ~#Ϫ\$'u|IA(fZ>[>%{C

J~q.ifP{UzO8% VU~X//4^"C&) fZ MB@QLuo' lv]Q{34[36*RejݶyݝjOtu@4T0j* !Th0ȥ1/dT'Y=3Ɓ1-u#5-kSP@F*l ot_y ؚo.Ksnv+(p]C(7)k=Fh}ˤ|"1\0rh?q[eiZ"D *Jʂ%6hFd tj>}k)CID {R[32%<3> t"eЪC{GNȥC_N`;&> .HXhGI+ %a/nyhDS&M[ DpVa}u) ےkP#&#w -wd*i:A:qg['0Y#p < SwtBdXf*,B:RVjRvٌaBbݦ'[vT8d5ï XnҌmXC  6^haI5(brHuښ7Wù0#v N'9~gghxcD?; `|T# Ix]C \._p3!M+nWʲ@ uF,>QjŊ kcjwl˫|/GYڰ\D9v*!1!؄~P H`iͫ=L%ߖ.)8|O|iH#`RY ʚT z}2$2^sdLpVԣ''zqSE5dJ;wnk?gnOA,Fh6V)i%>LuRARgOm %GpF6\xU_~JZ^gNZC #zFol˳|I$gHd$|@w1QWW'1yFv`+}5I8QP@qeHJٮh-uu?HTƂ1lf`nQ a`'loPaxEx0kGf&̙"e(Qy|Qcn66W!.YH[6S3o,.\r&F/!n6q 8֮?i@W&:FfOV0I 2ӥgh: p=9cA S7x@W%*)=n}\B.cnѸ9s8b3ɚZ_3w륭M-އdp F:oq|lr-#lVClaSWb!ӲJ3Y>)A{K"(Z5e uv- chD>CWk(Y9C#嗫*N$d>Ĭ(هb &5BˈOWSnLp %J!oC/FK򂭃%i͡o._ xHzh T5mRQ׍a{M2ΌDDuBh_X، $7[)7?Yxo3INDw,,)Sk'LH ^ {#2qWSh F]v&;AhvqΞ\5|ɆF{דfcTEHR ;EF.7ܛ <tN9`|/.mM| ]]Ħ=Ku 8Y.`6*eKA09w%MjO4 S:|$y&ZYܺd5E[E(tͳ50Zkr3wO)h]D`֦%]PHj;ϻ/z@;V}xb5|"oJzDT Nϯ[7BB&OCD(1j* R^ȯ|V-4I`؄k܇~'.`be{zMA>!fQa,%Ľ nPFfy |rxmg$! k'Nųm4Xnd>f7`eV 䩏ߏ#N6Mm,ABwY`bb88J8[%0.3AA#Y'MMB2 MjwD0Y75\vV OEFK㫄ZC-rϧm׌Mfwa5=J9# уQ26w~!m7j#ԽQyaMհH^İ#K(@ b VG7.I.4 .k}Jwrc g78[b1Xi[mVI</:W x<֙QZ0/-nCʇ^f\FS!5J Cn ov}0Kʊid:VXf_MK=,ʰTU`iewڻ`iOh`_olBJyp2'w|?踑H  t|ϟͿ٬}EimGx(m& RYzw|;L Suh7*J8wb*Xe&Vhus hS6F8]HpK6<) ˟DE`w^~6T&H_އq m8aՍ3]@:nܷ>fק:G3t^F-SUVxCwC"^$m݆#ȜA4cA`M,.sV7 Q qZ)G^:RC MoSf vq۵X=fUh[J3|d7)`;ۉ&X#u_ vP5#/H?_@?}aS2F&쀠WjxOiF86^,XMGB3gX\a:!ɬ $%P/yWsyfL|e}tbT9ʧE{ʍo0 qP np-gK nzQ^8.#GCKgHrܖd/y +*3>EoVLp~J"^w&lb@\&߱E!2y=a&^To_/٦<)}IQ3ϫk>S|˗/u#]HJ:EM } 4cGNfMSk<ǐGq#yFKfXˉ݈xvSƖJ&i03&UٰN('ذ\ԃi큭8 ۅ.0$rz39>_EQ)-UOܽEb +ne{QPǑܸ4삆7$V56gd G}cKcӷݫ~&q|!:XP8Z PvhiK)t(͔3< ļ[*la3K_\8f+,2cK ɍ(:=R.l|,/5;K <:lfVn1}/mB1oQyvA&z7!}R_p&عN `é2js&ɚ?d-8gjʓfHm1N_|(/QQ!Tg-.K\f"aQWf54<.)I ">Z8Kϋ|-2^b/ K:"T\ zhS4-3D"Hl\כh+K`G|0uÝ p$F5WC#8{hRQ RؾqA\/3vnbK*ѭ?ȥ6 uFkuu׋Kri|W? kuR侢#Uhhܜcxz\#D#6XAypgɱJ_&x$/S!43rnsmlMF/Eªp{q}w~bTe7y3yN}\MAa"oԽSP[rH|Ԉ7$~aG+&m[/W_mb&g%+E׭jh% P&7nd vᆖLޠ G}{In__aQPpOm3܍h6xν}czX»2^xH^N]~^uv>G [sGLk*媒S!QVl4CoQ耇l8Ù2d *fr< xn$Mt>5zʑΝXZֽF WψW%ofjeZT3u9#ZwP_ {Bb#fRX.7yUu O ۙ+'XXn%Xk[˕Oe9?Wh1˥sQX!wk^tWT~Z$ݢS/&DLѧL7^8>ٲhLјOΣR&IR"HD#ĊI8 Iб>"fP3#D-GD<>Z`6﹆;7!Nߛly+ 9ҼQ;pheaq WWIn*4ӴE8짫}g;;t\؊Fr+wϡ"`O~EwnadK7v-?/ʉs`\j'*Qi]p]zrgh+!17̸sE膺OB\2 YC<ѳbd,7j~<ӿ?+.H좊*|Nا:--aadn0N/+&. 8 dt:b,Fe"k1ĴLnI9<2B$Vڸً}Z.|~d68oi&ɶV,'4 xr&'f%+O )), N%? Q.㤪⤊MYb_#ҠMJVѩO>:eDfӲ_ 1D~X(GNϲ!Q >jıR/fѧBq<3ag #VLd\_!zM O\lHsx#$vԢԲ TuHx_ ϞkORh6ʭ5k 捤p i GZIR#kp`_!'9o xuYs }LN0 L5{@XyVpy o;߄ךSG%cM!“8*Ydo''^ޠn ҘoAY`_ ix'`80-}GmvkڋWEN0_Zn盜C i/v/WDEyF6-a.`%,5#[$l9 ,WfɻHZ.5X3=vRQEMkp D:Wc[ɗ3fsŮujN_렵}4nTptIZ0?enYT'R_/gi$uF/N)EԐř.j;$'Nnƒj\:uqE6Rl3@=pM+nG/~R.2.wZ_.햗j-JmX](PK^JF[7/aR;yQ%%.hDl_1Q`I\J{CnEѼ{g敖(n'Ш$S!z% \M،?yD/ֵdkh>+- S}> nz[plsuCgkN2^:ɸ@wYMͻA52LHǥn<az򣍳nU˵լRǥ/%SwW.\g+C[z]Ƈ)fy=:5@e 5-x?6_Mzi  Z-er6bu$dtaOd&]N9;㰏8Z᪲kɶ`;(J 5;JJkP  8_ }FP~8ԞonK&{wIf/?ѩ!r@Ҋ@up#6b *aC="HW`h= ~$HE~ z"BVMq Jq|"Lf]԰G:gBJȺܴ^xy^?fˆUF[+pw`<FۦUW| @.ɘ0FC}(. 1W:ZbWnr!㟛R7)Qq52ɛTM&k8c-ܡdf90c9c@6J {nxSswxoڌ3w