SQLite format 3@ .0:  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 )1LT ]% HOL-Decision_Procs:threads=6elapsed=249.909cpu=1140.824gc=151.668factor=4.567zXZִF! +^]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыk\pH\͝\Ec0ƶudj{KZ8\dgo*'F9U#"$ ۮ჌ak&r/gHބsK OnL~)>[!Ưzf8hIf| *TӺ2:6Q"t^-mAl܄ŗ\bŶhT Cqjs؍$B#6KiCJTO:dz 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ h;c%R*qfEB/z vMQ]D )s') \w ;v 7"AT*?>PJ&\0@j[d,t{ha(%_g~"ߴM(A]<*cQ$•1H@e4D]ʫp?k[lG2!ˁLY3JFhDb[A W =E6gO]-mcb /;j_ dbKݽȺXN'ԃ-NE#K7 o}MPq$u-Zck V1U~`bZrh6F`9~eLq^ѫxU˂쩸W>V4ŬOa>ygp19yNo8Cl%v/oQXR "O˵YsT^^Wp-yk%P/2a'pŃˏ`a=gk-7;txe/qoF4R>(ML "uşWQS<㫔-Q8;ߥy]l !(LVbZCۙJ}Do\g^-'˕oPomp/_<$xyigv9ˎ jzc@6c%>#4H%=aڢ]y I4%$h`ēET=oa+ 0ʴ)eEQ䐮FmIFJ,ͯMn:*; 2:i&Nz댟/GEEwj%q8ZHVT{/C${O6^e6pÅI aE`hgÚ9k{['@]xPDtHOvVK 4lڴ#wz" S\2q&ܲWgF"eE_Z+YJl6ÞT~NBoP L3'יeb1{=ڡYVpf,eX ;PAvkIDaI4WJ7\faֈdkG ieTT"X,QoO['vC j""O$8͗HL(Ï0k7Vg\^ajꥃ-z 1g^eXc/y2&=Z?eB%lG;*fr#%e ;@gꠂ^ ޠ^uUbv xC6Fg;{}ּnW*mxZD_xs9 Ake}ǣrZ} N/RٔVYpbdPS>GO$ 3k]̩ +*L/׃D8 9Iy嬸@jKLƔL [l#dbꕲ+uHJ˹Ca5(d$Ir~1]T^{>0v78JNg dY*URΎFΓMɤ X6407mN _G@~:vlOP)U<3KIH/Yͬ^UVXp^ώ(Ua?G2TlW>ZzsO)+#y‰:fX7LtE2P)J?kyĜ} |w=n[H_ޜᖑk{¤,b+BYP>3;fȚpf$+ATv"K2CbX݇1T0WCuM`XI :̟ڕ{HR l;u<0vHx"ILuOM| #Fp<)i%@q*űtnREro@U1D PY]]1g++)Nۦ i@o*J8idɉ3r Ʒߥ.;9anRpPz|ԁ?{nPzbhi5vsNh9r6KVIċ{X1}ֲR^. @Q/mw`]&D G7$kvM圚OjFML\bSʹrUrܘ>e\a0g)p4"HJJ*7F ױD/S[ yہPO;N 5LIex" B"$2?;b@J W>X֗]J}zxoW{ Y+^PKΫb \!SlD6#OC6i1q^1nY 7Ͷ%_k)jEWhfYK\#^D:4ZdF9]xrCb8߯Ӑ|MYgrkp,hJqZ൑h]i@FwS@*eqܭJ³v28%/]'d_h++^ V57U^|w,VC/_fzTFF-Z}Yo q𼒡O"Y+HPhxq%nnx~֞yհS_:e$!O_2 [H=oN<(e `!%S]T4`o<ڱڹesƍ]̛܏3V (p1+(τF _5ohY+)֟ce$]̪ ݆@ wҨ(cX W'AoqN9[<)RQߛ`1eIָG"Y/\\w҂t6G}#Pê;o:׿fЗRp6b'ۤa+W_7qi P֘|z7yQGn6<AkT<3a%y8#8N&՛s4VygCp\i#ЮDM A?q72p sbf:xß2㾆SGꢐjxQQRL 3L0@HM<=Ũ,xbw-pr[)IRiVmwo(oߌe}Xa݉MD{WDUr}@Nw0-,brT4ɷmőx~ M{sؘAY**lr%j좆.֓Ӹ9j9x"NB 4S5ֺKl >3 ȩc-@ u 6షlj66nPt8경j!Tu2/; Q(37+1>!4]I*<6\}(i`72qCVZ)/cǷ+&3hRDm rʩt h^mQ"cb|,Je33wGk((GIKg4?EDbyg3^TVuMJMf`[Ecw}|ߒMdJ@g u(պJ ahH=۸yrZr.!r[µqqJutRҦei+[kH.Ţ)c"]F=_05CXthڌ8``"x`bPQ3, ^@Ѓ^]m/XV9,L(Q%~wyЇIkU5ᛁ}դP5y򽛟89}}$vĹ#ݷ䪤j2 *:3TbF0{}K n3q80\_R>KOw D9Mak;n{N! x 1JPXƝ\_fP% pW{l3oY1b-B J{(`@p!BE&vfеg^p)N=/* Ƹ~\߀cG3J!_ j"gFP_St;[ڜ3df&wsrN~2-X|a+eW %@}4Hƴ9_HSQXG"v~][X \$b'7^>NA1D&=~%oSʖs4b-!,x^XY,aɠ:a܊iί_hDxJ(fi츮;`!GԨ7*o_=h۵;1Bڪ8֡gܰ @.$_Uϫ5?̂kYK0{^u# "7]sy{"7&. 9jΐc;G.Tb)*QZ #6˳W*aԺ9Do?V'K}):}i앮Cv{D1*jKBE fٺdPP}wݻu j=:=^pYZ&yp'K-zpA8Q'WK>JN"j o()W;G\WdAG=`oF6H24_U,rtSmG@QPuւCG bzT>VTFANWO>@;ᕧsͥ7G}lE!&.>Rz˙ a˛R& J̢tl=Hi}`7P_xAGox <+Yns˥l؄)j{MY;*, y7of᝘<5Bނc,_P('PG!AgYZ7zXZִF! R]ŗXi%E`_)X&6;|$bzRުXls.L:AjjҒŕvF[:pk+̆#vb_E 5d}itHS -icrFM% ŶwnST|8GZrU:JA^*8#?f;Y<יJNCm,00 z o-ZT)U?~?=0ѥ8c=AoMZMxm=JtøMJal5p;qD6`?'rZG3>Ny"FOՌ)yr(6 1>Iٽ+^ tԖXMNѓ(>s<#]Fz4M0~/},眠)Ega sŌ{h0g*G %R"ɹC<ca^JdERGMR8E,*w}r`z[Sh8/bĥq*.D=Ƣ6Kˬyr!v.ۺˬxѤ!{Hcΐ3\ME"D.s: )ZF?ɏӐ_ٝaZZe2 8QCWښ#[uAMLIot@۱niJ@;LؑZ+#(`F>3zS'(1ߐnOoaIL{];۲z_iwR/3̔o2!QD} yն&BZ\]6n5b Cr˅6<Нrs sc?)klUG+$؃O4L5j jzMCo3z~tf-,ZM])D'Gu្ֻWE4l6N[$i[+^9[?YM&I7 N*a0Tiܾ,8~bIձqoԌ(ٸ|4:$O6kra!󎀫\Dn|SFdfo-'5VXcSXֆ~7=!ڊKۂF nĆV!Nye{dj9<TnVq!gѼujH"Ь}Q!RcI0K)k21䏱߲ؔX?Wp2jTKH2Ԇty5Su[7ͦ.>wo9l4u+K2:1^=j9/2! Vԛ԰ fIxș6>D=ׄ/Nٓs]d %uEk &!dX&#}xJ@aHF8ǔe ^ufMꨏQI+kXPswTFGIԉtm.I}>|2iY<4\G6,䷊'yAi~E)h5E s±.fiB0xû~5Ը2>L3bD,pG,($3&>AZ<"ð;CŠPj¡ՇavƥHG.b[ 4d1ϯ.ºe!#4za>'O+OE##*';b(vMHfH‚s.]Pϓ).ASӰҨE^)Ⱥr'qX{I,!V&qk_8FB {-!X\[]3$ HԼZ}ƂAC6qaGi3ƭRB]HR _ bll:#EJ(b1&U]X*`cR^ a l-5W9 O`|s mݱJg7.LF%LxX7wc2@J vW N/rp?FG>WTLK->!7a3觤W8"Ź{c;ݓʧȋV?L&V¸UynӅ'dsZLܯG]˶\8LOYq†sV=&P5Cf;}sq"36Wlk GPO}IS3y_ŤQX em"h1mՊ2( S| ) 5Ąmѭ_:bꭻg)ijO,j3jeJW 2kSV ^8RVweujMpiMm\~TKyK&u(+O۩[1&3N蝱Hٚ=yEFQ%0!at3{F4}֓f\?ى~\V-1!%w0iDY+ jcpBWR+]ˉ6٫~hhٕJkg\kzd36| B,e$:Y#rO۵8}K1/6R\3;r']<ʤC.A]<GƬ~$gv_wSV5bv]Teq3SK蓺4os ^JfS̨w |vO'$=s 4ϯ%$Ϸ ߷۲0Tc K +-$$(IMrH%"tAAWI-GYtW|z/E L K*akHz "`+;X)xn p2NM d0SpsƼ%=) 2' 2bI`O sG%/ttgj4!xIn>vwF7:Q؉z5qQ;9*K"ࡈՇNvuP1*B} W<::R^|)bʖ{8-_ٮ擥T$^$z*hߐC25z$ܚFLJaH ]DC,փeLӼҨp([m)3U[Dp۵;Px_e#.'Kr%uWT՜S]E'1r3+ouғNB?kDP|ūW͋b&%!T$5-QνP4luPn $PF\ubr#lgE0@U7@H7L6$ܥ@%Lk4YZQmL&"r =8njGO#3+x 1{conoT)ERA_e߉J~2J5/X$L52xGOέzso͏(]9FTKM:Mc)YGȃ:t5|P*$'$(0J0qf,+,_.:c\֨B_s1BumBAqP/X,k[%n/+'6N M_,Cu=8}tT0Ā|I8E'p>`#vdVz bؔpu(hWD?!l-tQ4;TG#K_-tN푍rK\âR\Ou/"4/  FPp7CY<2{Vq2.rw[r$ULZӲ%|bl+, =RS[s*+IΠƯd} }izl 4 pOή{jg|;UN{ڳҩ&|#~G7QTܘy`ba[-Lg| m iwv}"il>Λ xP]g ;[{E!Hݐ#Yr 7O9={ɗNS*Y;YIcc^ŇiBN(U2i ,)&oi.歶fLJWr5'[Q DJBQWv_(Utzo>vds潰a)U! fG=6r/LbvrVqn;6]۝!'Xk˼ z?zi{(z (xkTȩGa؛h5"G;/9ń5G Ea 7Aj> 2֌g.?5r4Hz$u)rVEf=֞iLvG1kӈS WGt3w?-Ph=$$qST@8ƂdpBҟr)] &ia( 3G EG\y_?O"ueu,?ߕM@  RzH-#K-'k%G 5>P=UzZV^ eEݔS#]%\ YG8'1th"S(D{Z3g6JKK5URy*( gO"lܪ[J,Z[,Yk=z٨ VG,,ʵ1sn)iأlj26KIqi&I#Gqa^ԅ'= j#/( nOnM3t8+|=0KBw=xY:hY>8&Z֜dJKc:k&>kyIwnѺ88=J+@>opf;% $QJ4Dfz=n@QEبEmi<й={} =[/!9i͎GO,~_& }nHe ܋Z}ƒTl @gٸuQH`XwL5!ӊCsYҧ[{*-=ϲۿŕHJFCbxr)'pYx>Τ e2 =mz /sy] S>T`.Qw&,#1Q;-El3ۯkK Qxd/ƫi+&!{92tȕ4~Ƞ My :&"D:}F-QtϏ [ɭ9g.jp>Gfin.ÓݴBlJ[7I[6nKlC _M#b(`EXi4)T=|$4SjQy)]`@'X1׻)5yzZ6n;: ÁZ -u{~{SqPT"Fsp3Ifk>E]Z_%(F.҄։pV愯?!@,J}^Grb+cQaV*ބK7 YK/JLK0gWLʘDN!S|;c%vy>ܤ "(fg ,bD:.&hä& F4ݽ#cϺ]|{e@ܮB je1pUJ(D{MFz @HAx2Z&G}z%D܏Uʿ,^C@mp MK\wCSK32 7?Z J]Ӄtك0X &-*p,Q&NvI9X9Z~T-;FpF" pG4I Ql11P46O5`*w[hYt$n9s?=I(_ػp#ڌӃt >@77_{ qOU~u'G`3Y\x@ |>m ~2R+$uԲ ´cc ,CcK^ڨM}:upCz+ZJ'E: *rЌ IPl/%R̲׾ r1temGڬ-e hF=+B}_jb.Po+F9ZhHB@N~΋=P:xCGbZ{L9I/ëWěd&~D&v21Ҿ::eM[sei \iƖuW1blWACß*Сfǘʂ)lj^وsner) Tl HML o gIۛaǠ'F*D5vںoW$W\/߭fӄiw=ʻ 2j&py xgzf@7R)ebY 2)iUh?X>o0_s4md0ݯOzzM`"=OoW(5F%I[Gkn#Pi)UǬ0{ B7HP/7DGLϤd|5ȋ:ki'F .@)8vc>:\i^ |y262$.HmVMxSM䰑8yzT"aϙGBG]Go~Ss[!Pl#,%MF qGWס;?I|AtCI+t=N!-, jLM#76Ӳ^O֮x[ul.MQ~5+KێXQ]C耸M&Zj5qE $s%{esIւF"> WЙڦrOebE!es Cdb*`quep/l.N0ǥ<[ӎ c&'-Ft0/t%9=U8K}ۖ'3Pg"-Vߎ˳~hzח5хͽ>*T9lnƒlsI7m6EOo_j 2ŇF.7 r:\ feU6!,Tzl}~W.XY$6VbUUspb7iÄ*v4NrǚM2guhD+ze..ɉh1%yރ%W _#v-I%OevLG~PZ|B7#?ڎe.Bx7K{V>pV⑬{A=X~*a4q=0}A%7Rf$F +pW;uo.6=`_ Vzd. kC\3^GGx]0Rr#Xm<)cahr`->Pw0<ܔF@Cl~gB$UO:'hF8KF-輎0[>\]%U.9P 2YEs6% ^zzpx@Nv_ʦ_ƔG@mC\ TTMDVfH#~jYeT-+% o&yD/Y. )Ƹ.NSYqixTߛPhj"&Qj1˶/# »PG iѾӃmU0%W>ÜvQb'p#ה?MTud,QƇN\$]M3_;]-JX:u,̘elus' w~ D! Hd[Cd-Ve(FXGU%u8rKSJsV0 ' PQ2"REr&X Q*kgp,[+_nIg$^6!QZ yyB$4cgG>{>M5 #d.;ϩu!P몉bP0lG#4DH[LMO{jz1%XVJ]qb3b(GvJj[suf S{9VVZ_0y_VŌSgoqa6i,w>t1,?S-BI|E¨C[p 0#wؾj=fuv$IHy:o:K}?PWoU?abFrz(Ѳɲ!PzrsƘUR]X>mj0e Aw%`!Kp?>Au9'Y52e8175[aZY$!G{eGBFA˶ʸLW/NDvU+G~1cϡ|[d*LɦvqDitQ*f=wzJŏ6oΡIw# okf"G']Q.NmI 6 Lm%ptws];'8}6.(ɮhvO34 z_"D~c5YpS,D:T#?F=!iuE^Bkn^Y4RI]zݶ_yg.ܴTgi​ϒ4c_n`P2T)7&]꧐}k<%a<I3|`nBZp,+DBXE[ΟH#z(L@0A!3u 'F"'0j:O?Hd^enduae1=)Lkі'N/5o8rͨFy~*h:.\m}6.Ղ ׋髎gmƫv&?^PHwy{@k2y^ rnyyުBQ=gAbT[gYg3KےiDzċHzBksC%>2?y%݃A3wE@)p/Ϭ@X߶/OfaINiN#g_Wf\X/,}6>ulG̾./]$*/R' M>.;gpd[Lc0V?I8ir}@OITv珋({d C^ks0B_ս3$y^ SVĉȅyjt8ΦvB׳1@.?[(iE j R>9^gLmn-Y1LYsB!&'a ~nW+YRzof3M uG5 ,1? YB0u9 [c{G tZFc?CXQϜqU\`5k%_Speؔm\9y  * g1ASOgcNy\l{+|w̾Yh,5LL7A䱶Ljϼ28MVכ:7+;zLq`Y`j):,ErDm Pcd =g3|X =ek-l6=TFpݨ.a PKun&mCƙQ*Lq?/5%pN=N>6zᩪ}aorKɺj{zqc^;”RQg[;M|Ž5õ5CsKv5}O0M?i*nfӅ +Ʌ* qkXpdY_`20yO_b~%!dM tE[ w.Afvb2FCǫa68J!ayi Fc *n7w5`k=9VQ~%CZHxDͮE,(Aʓ8]fƢy9\ׁR973xB&Uq#`_=07*!,1ȃjtv,MM9\(g9EEz- >N/NɃop˒iKUGR:AyJa IZȲ^47`B՘%CF"60nx@˻䵐Jp!h[LT`??^912H'kpҿbW`+t;}!Qj->ܕ7D/Aeѹp9j|Hs2R5e* ; vZ C[ݡ?ydX&agAGaX, >$a[6]f Tg{ _ 7|_a)f'lxJ⇿r~q(( 9"9@ٙV>#˲_t'bFdj2#< R ]L J e4d]0s bt0V,SXQK5o;8‘lUxj\#Oqj䲩H{;AhLZ11č|}u" H 8VS%Qt!_,-8 QDKSɯ׊?/iېp&m72a!\\?TumOh]9\Y۞C<|{d pog9tʤ ӰT^/HNN9S)n%_ۈy_N뀡lwܠ, Lnʒ}{N$D+^=C3V2E{ԩl,`mVoD㡹KahEM[6/P*D 2;vGHI ?8P~]$^wQ3 KnEJ*84d#6-Je9wy,ƎZʴSZ~Ae[T(V<`zsFp'm\iY˼ (䯙PrcݴGnYnSɆMc)TMN}ȹaZ.;^-߸!/XWTBghn{"O ԭY-E574PzfF W7Fr0[od%5>1=b|뺁c&XhGRWe']"c(c7=HHx}* 'T`-Y}/BKm"IՌ)G1 ALlUuq[pZ&V|4bntĐXKoҁ--9vpZ B#RF8_/tP/ }bHɭte1ckV|B&S}rN_:O`]&DrPbܖhmfk,=P_w8eڣ7w@8/3kH?U YvRUS>( Ul[= eh#csy T4Gjj2Br![_#žD7,(UN`"`2U #h!dW:y+wʅO9>Յ4]P5NGbBpXpЬIhܜM;m>->7Z߮ *6֌uYLnm\F p>]8Czm=<9RfI gb˓.*8IL EWHGI{@RChB+X]1q7ضLRм,8Zl|#yMir>P^ћq:IZ),?XC̯8sFtQS-*Ge1_A; V0o*: ETه=pwo6U+,zA<dё"eIſ lݞ 4ꇣOnb 6enڔMurX1F>3Q9_\b0|r4l &.]1q+l—<ᥱ]KpFS9lkx*ʞKa=<0蕌`\lS(΍[q_iNh=E_(Z' veJH3R8s[< *gI[B"1KYau4]K9xRDNRkO&=uI.h1. 2R`K(z/GX')<`ť?$tU"QBzSn1<[TY=JD2rJo/z-W'Y]jESF w,dlLy5@̫z=p^bFyrB)^57`0Cu?4bnr?@=HYHe~m{oYmS-HQ5`g 9:e )zA*GB].hgi;^6K|b1.12xNre%xBSG7]dS'g`EhבXdFGV?|ݛDL8{lTB.CtO R,- #nG:}W#Ӧ+263ZTxLj]†YbtP ܩNW_1 -]zYȑ9QbTggKyvV<υnK7%ObT茋VUYZN1 ,Te'Z`%c+i>t{b}1GUrmvl갠#UHOF>(^ o4"W.h{&LZ6'wlan*:JU7=!}Wkٱ(Bt_`efpՆ.vsճ򢙑8XpbI,ґ^MyDÊa[8;q^}I'Qf2PoslWT.Zu ט@|O"ĭ2K¹F-l\hZ0[EǠw*?Wne9Gv{GbN:Wk<~`&zu$)+y&XwV`y]qHK]2pvI38]5nc"ubן(P>&1`]L_7 JigtD)Gǘg5ੲC.?ٴHY=ynL޼2kշtW5BJI'."_LYMݯ( YÛ؟TReΧ6&Hpf u_gj.9qUbP;;G':99Rt w*hvf]}7D x;de@@VS'_Z~RD^ c[4F̘?f;ɒ O-dW&:0c,UMW0u>UJ Q?zU;/~gѳ+nclxQ uwu-dMҶꄙwhct2B#jDH %), k(\X = %e7\{|ds5rJƩKIhcֆy-lD3+^WXC.+1|%NwޡQ2ǛWx̕N(KŒ>/hhyPqZf{`Ϊ=]Xp*jNv{UYadÕőB*O3$Q8Lm }i0Y3&nho@v _w z7T.46«-ݔ뭵=TTwB32dW f+tW""My սr!Y>CƶX,fOt6V[^Y1>q7P-}ᴮAj9[TFV8u#aD% x!'%~o@* ~ol}xw/T* =W¢m-%eQrѻ; J]Bi4Qc_hd'g~;ȕLaaռ>v6۶`H?ԏ͸v " V,8EZ ;2+u䚢 &kShMrDrT2E܆Zu&pVmv΃!=R-)|ڈz>^}?1[T8jq>nֻbo"ĥG,,"dtԅqHz7Şxz>_V*|n/nOױzZtocoq4 ƮA"MG/I:Ѱ&NAI0iqҁyTπd4XaǠ>73mG` 2kV MxT:l˃ Sɸ. Wq7de@?k'^8uSD glͩ"Zi oa9ZC7jqLПQuBvq Jw GAyHOvyQ$Ъ ٳ+{t0*+i0xW7Vak^Ł+{+*Ћp捱gYZ8bb8ab6ddb93daa1ae6770a8e77d959f439229ab610e66d7bbbf591f95ed39af4ee9deb5317eaac4 91da0f421d225cc41f5e7cb69d4a2edf0de1d483 367ed706fe7ae1fc32c43cbb150c9195e1f846cb 803c81abf0cabbfb9987bc7d10a6d98fa085e2a7 5b634a86503c6523876382d8e0985b698ba0de3a