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  ? ?!1tdT ]% HOL-Decision_Procs:threads=6elapsed=225.125cpu=1074.276gc=133.620factor=4.777zXZִF! A2]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ѥYbukr^Pc,)02ݫ=JTQV3W^ .JyGO p=ݬ'O*5wFG=C6cm'`0ˌ[5q~|Rx$D/hB LJf{ԯ7nxvuXa;dәHpY݈;bC&OPJsՂ.~%G#^4vԒì8NT-%ɃX@%KAd3W,7 c CT@tSn)L7hm U3KŔ"<{o&~ ߽V?M:IR&:]{08"3 SwԊґ|;TM@`ڥXZ/,TIl<w's491XJ4yT}̃+x 4KʼnA=Dkq΅99RJVfrRa}"u9e)KG?x:e5ݵ7G;@͜Et0ew`kM Ë6%g@DGW.7C^#c/ C/ZfW(hNq-ʰj>qW%O",l} u  @Ƃ#r2PVy>OAYDr<xs+쵼pbgCb!/-2Lҷ/P07k>U_:4&$EÊ+ @C~RƪR`엠tPƇ3B<7& 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 .$ȍmvZlvY(ܨO&9ގC=eKLچPq6uz|5 WъbCʟը ί] \^W]FBIO"2B!r9z4lGF9kD|| k,f(O"#,n3uQl) 6Zu]{zhy7jLT3a :3lr9Y~Aʆo6aN""J[A?J\zN4f75_L.!a1`;$OZ~U&Y}^(%7Aat I=5>_0CD:} Fbl|O 'Nq K2GCx&=}~\{"wcBPV ͘h9Vؚ)bB(y{Ԋ+.y|$B+='~R$+~bTli=2/A咴ctJ=uw^YZR2Q,rňX/gHXgv 9B<8/R&B*ώ{<@$ |sY'ЫV7D 9i%UW&@ *5?"H݋ hJS( ]˰."M4s >vخׇ<ˠ+Ha3;323/.\bR=)Ĕ" eFĶ[~K.0e*yM?<:ݪu?~,(b  gZxt8k ^HJ <܂1?A=p\tS6Vm1,ZkW r747xyui]:ɼ.9q#1W}xa%\6iո2A#G.dVVk# i8ߘ4;KdUDڕ^'I"\ul > M ]cQ/z.l;A7=PymrQN?QJ7HY/nt[h#֣i߭Vy*SAl}X)_!3x?-s~O'2Ir4xL;) &x(#DI0NO_11=D0 w!̴)w4>Ay50HVe ՓJtIۤy$4& ¹E0Y(2eQߧ7qI02WA (/˷K"aEcЌRaOH܁^ZaT|"=彨OaIJK[g3WE]ś蛴f$v/0)^_iJHp:x[()$\sm)gR'x|>ZpOEl]s1ا۸0ih-ΗpT]xkXvG6^  ܩPJ}wɭ>ѭy?AN)EAȮӘJ ]q K[*Ulf*|v7ϰ):aW$}nFeqVcL>v4a ];M~T}ŏ a<T:**Kub҄ts7 YY% Dd 6xpn8(* !14_$p `?[$8]Mn"j,)T r:$qDD<x R2'b4A;/t:Fo#%y5hχuΘ&l彬Q~gJԵ/?pR!!tSOX Yf҅|bZAU3s{py? 5b np] !z&fnTٕzq薥hA,R Gw`\2)vDbeqͦOX(3)JÊ11Qy!jJrM?F{uP,? 0oԛlͯv)i8e9Z,2a q.e 9i'X{"׺fRe9pjץ?\Xuu۱d<j SV\vޚ''1D>U8 I,7%rg/cLj*Pi&g܃ɈU[&XB+KMrϓ*^ o@35cPSE>?XҴkR#&K{/ꗙ\f,u|9^:[ xfس¼+Xz%ϧLE=E:pq1gڇLj/1H.ύyN97fx|lf4Ed c6nD n,H]-f"%fs'4l"l5<,$gA\8 cw(u@{N18YGB1G@0NmNƀط͋ k~Iޗ/W y9;ˆp /AG/ ~zokK~,z)u"bAٻaV aŮ86+s2tOK]zEI(hMXYRgz)f;RRn?sORT*:?nl[hxmV~7t8W^q|bҥSPX1qVdcrBA>; y۽L I#Go ʼnq͔fQ44O6rCȈ5 f7n`}q]E%'* ԘQiilYn#bQw6CfC#F-)4Y OsA,t#$x&[b.69_YV)]Q꾝+VҧY`Q F -X+>h[å c6@?U!;WS!lՓNda"*s1~%躘Y_QҘڝXBXxlo 8gct4CoLqV7/50 }1fFJ6׷aln0TǠN 0OqZM*k`9e&d}`d:D*Y9 *ak5Ktd;a^c lr={NSk |)aKSֶɼe؟ex+vm(kKOuE:OLޛ6֔/-5 .WzsVdDzSܛ| c!/O60KkIMMzYu{ɁG:\9ALz|ϭ#p#7$,Ē (e1|_QQ  y|{[RP_HInhyJR-0w@ 0¶rm0gYZ7zXZִF! \*]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-pfmW>LwJwkm1q@ZelkNCF߀L6RMt={M` 4惡tj({; _Y 3Qx82QRq]pO1IkYr@&FxԢ9fFG!ҟ":i^ }n|fO(&dp8;ĠdCx9pA:^8%vaE#mj8r!oauSdn Oq,Rb!^R|/W4@\\xD+ $95ɲ܁|!w1ƶ;*g~sz֑ʫ°`A8"*o9<1cL+o׫(эX}s-Vty@@m)Ûy쳭bz2{]FFWt6uTTR(jyO q3Fz [jCz=!vŜyxx!]q}ayދ$/gYZ7zXZִF! XAH!]ŗXi%JzɤFk侓EpbF!ƷgL􀕣t2b25ޔbp!i$ IcvG~ e!՝>v(+h0ɑinɾ'v. &f=A?Rźp3JE{FkND;/H3@Ø 'WPuPOݪ#s/`@.Rӝ/˟]e[9a]V@fHLbZIN*j-GԘ 1!*,]jEiq6=_r{zFCbV5CJ^VÁɅMj!f41"t-G6"[M-;['}~o^F'&1[DoUC~lK$0)EuX9 ׿bB0Yd^oKkaTz̺տMVQ;2}A+?fk|g0rxV5@y 1MT="P iଞQ˃q*G+IˆM))8֨P.IWDc̶Ԥ$XI狙4~`](g{ f/=gѽ 4)7&^m?֢f퐱f(Oy -3C 6 ҃ x8+.*@? 놗9׽o*DdO>XCROj^ifZTLax6yvT ( OK@Wu5Հ4 -'S>Flf97Pv6>#P<$sY~'BӲeha{e'"%ZVy.e iBDVB S ͠@{^[;6ڡv&6xA(q2;Tz uaK,y}A[4 fڹB`=r#0ڻ;ʽkrkUL2᜴XfV t$SyV0y*t'Jnք@svbbwۜ ]1 pKB] $?hpaR` & ?# [p6JRuwUQ ; ۷^1d><׵(..(Kue~(/{[WylX_@*Ø W*ܨ e!L ߟ4;km8Mb MeUF{p#Vj h=}Q;>2S|ƫ2fi<)yy~1L/j]ev,:I}Js,C>mĺ2K,TρKDmBE86'>1J'b,FR+=ٴ*Sj3%hdmT3/Iw}T0- NLЄ=8 1{p7|bə #[ёtYI6ٖ+MYq.)1?E;cRw*ެ!\ {2j=37 $w^@o 6><%b#Rs~3\":"viG-@`Ѐ2W0`$,ka&6I`wӊqj 3[ IU< "(,H9> K{ se> SLH|$-r8S^0C61BMna>GvE AՓ)x :m}J~BoiRׅ)`4{Jq-fiKN/ 5O$]qB.,n6QQx9Aѡe=, 'hy|=)B\%#8M!G$ bQwPZ554BRld"ҏޠtHS̯j/c\{9sB2S%0pH-85֋qtZB>׸UֺW~)5503B}&eӗaZzɃ64*zF3YONi ɘ3|N%j'R`0OWO%, ~Jݹ0w,`Vw 2E{x. ;/{Yj0 K| 4d?6-mk|Q_Nm .VHr,Tぼl`L -'vW1j$`io)DVr!E)OƜfL6' ۭ!J,ٓ/ymyF%e.0(V!%V4UC5n& Go9Jbd'SsJF5}Xlz. ~!gQR}^BF.~B~ۗC ϻ5JYY&LMVRON=hթZc34 k|rqU2Ҿ %(~$o+5zXK`Ę̀Ō^:'^sFMeu.*٩HDvؼ_*BNzw Ea`Yve-؄u!r@]e, ;SVh-ͣc=˦x qo_7($8-|Do巐n5I)=g3SP-]f9ֲx%7tX49!xɒH ,H$ yU').vCuG <Æ=ꁓF Eqclp9B>4{*]3AsFDضR#vJK(Lj62;[@hk~O|h`92_gSQy1ERp`-gz  g!EyP3,G]ИuLz\^F:ӄ͓ZT㹙$]nЬ ذQG= J :j7 ?2ZI; -ty.au3>#k~T?MRe9-dBDv(jC*Vk9ŝ _/5^ 'j$~lR<> wBڏVY9.Ø@Y8LD5⃁P93_8f+~s5csViA~ܥA?vǓ)J:Qs7 _՞xڣQ}هys5ɾQ6?k>_w^{~40pq-DkL7:(EZ!d=bv Dh~Zhƶq V*_]y[{|o@yթN-~1lbul|(ݢH-p!e]z2dFuɺǺ+i$&i!bvTԺtL ?S:sH#ѶkԲlVO}xLxfR@| _t2N׻;S*Uá 5a߾_ZiǴgXXVU(yFMUuĆ1g:lYPҦsoAުІr j*,~wQ(Z$\ǺJWdh RZp40$6t%+ k@6+ i[ΊlWJ jR,8Q{6x蠡]"1˔qiȬ\'2l^ +dbNۗ?E: A Qrl#gsfqt~n3vtqrUSZ5*nTQ3cZ/.vr])WFӝfOǝ_ABegvmϽ0}Tu8-rRe #05_x8@ ϱXs/K Z9+W?%GP,*,I5/;苍#߫;gKr}`2(g,;e0l,AcцL}< <ƙ ApVhl %$T0>zfzש | U2P[U&56 -,g`gyt"լpjՕ{+jUZ{Hj"l.2:U#h~1oijS1|tk_ YOpGHɬNyE]XF w7hR B?ĞXV9UDn GE3-a&@( =a~x}yoXyXT"]?zY(R-m՚f~zoS "%o| v.v0IL\' 0y-Sc[$d6̎BZcFFA }T&c۾U9jW ZKf}ʿ[%zvwjQ U]՞Hu3s|߳]J%OCxk0Aơcwm3ѕ!TZ0em0Du\-hO`̣*r۰ }xb6圝+h٤NQ֜ ,k\D3/h$7 si~DcTrqd1o_}(X%d_n_7@.9s8!9;3,e @8*i ] "}nڨ~b摅R-"tJX ;qxce_!֩k,|e+#j1iG濇Tm>AEy>vإ(Pz6j'*z l-. sNԨLhd7/>q蜘AGL=FzݖOrueRuTՐ߭} x3M+j:~Oxb2(u Ro-[#%ڞto2=I}BB`6ZR Mi;]n&R.Cj6Ky)9[ǏbIvJ#j 6%|ZMDcpw ,tg ^bfFv-nC:ws"F~NS9Cm#b3[qA7u˶åQ'k^lu.bxΫ*_&ђT8s\Zo#sRH~PZ9e=] >,?Ǥ: *:rhTXmL9BzqFTI#jλbd!пKf>x^%,6g|ա6 Bߨݖ]YEG♸l'W`pȑcvR4;d !R1mĹ:4 sZu*X鴒OZg\R;kV4niOFcdȸĊ{fxau5u~}(.Pzr[6Y)!S3sg"0f%V$eo'TȺ4XگV{7mF8N` oUL3~Lf<c\teH3QTs u|y}[Iķ*]ѸA6uXM#瓵tcPC v\+П'_z,w1[z{qCF¥(|-r]0ǟ *Iۀ!B'yؑdWRfTiX2οÔ%o%Y=Ϻzr~HDIr25 tjcYQ ET!sU( rPnk)B&~,{D6\ٕ&;`@bɚc@eH⨝?TYl9JQC3I鮫Դ?4|Z Et $Y W;vlNR(R1YR%32L+];٭|q1Jxre%jCyEg+igWsyՙY\Bmxn q񭏋 9[Yl2WrOj,Y©PK$Ai8K%{E&'P$v;קp ߜx=>w2~p@-f{])]C|$=-Y\f8豟rjF;%v7;/EE  8[#H6bEL¿Ií0GDVkcaA놙sV#Qɚe;"Ϭ4=]JܬXM-!zMJRPJ*U\Vp5ӃBE-hl6`]Gg~ŮqPQ'KY TGv A|_StG8qDO.S} ? 6I ]`RgSEk Q 4h;sd6o^P):#kVYªN8_W*N:U24 ﵄]t' '@M]uO5r$zrY&xM$v*~Gqͳctn;k_~<0x/@Vpj૎Uuxe6 &&hv~.gMq *fq^^ Odbqx .tCvvjy%3 u1ä}PǗsӚ g)X2*d5+.芝s}qa.vo:.S~y,-Y"6Jlgpb8aRz{ޜ&4F.9~Qzsퟴ.E,k\G̓@Lfb g::ΉΌ#P9|Hv% J7D L,G~f+M/53?ƫՄ@;t; I@XYuہ upԣ! ^|%tZ$Cs*{zfpX:N798d*Cd_-ǼA /ggpɇM}G ֯\3\9oMRϬ3çTH C7nfz'01}|+5,b@T,_ ClEz 9%F&g[y]pν8 FxhyYf5(҆QPmy̻Y3Jvcg4cQ-]ZMzII@p]'TѸxyǪ,GZ]TT^8tj^("4Gv5 _D7Kد#2W;ξXw3:! ƱE5@ Vz_~u!˺<>œh2$M~`D QKlF3+mQr!_^ VbaU&x L#rZl VH^"1A)]V9è9C7`}SE <"3y, '̇ĖPFrUƜvLĔӉj$A˙e9!;oa}w | 0!8 lEN#[|^HIKg0_N,ԎKVB*%*0ʶ"Ω=`NSe"wts}a֤ˍ2- ג< p-yV.{[~Q:G0k=ؔ:| .蚴PDwgE !C;3\I39@ERzU4>w[_7XJgvA:;͚]kǭu 3aeu=Jiju# ezqG*=-l%xL ~q dq z΅GA]a?r)ݦ+Z%)NwVH^<{Yvg``d R$[}t~*0"ԧR ]$ ܲ$E)[ތȒɆNFS4~U{r/] d'qAݥ{Oe=~PENswkkzbl}1{k` uM0;{ňR"Dpfie[<@sbwd8@} E-D~oiZ#NwQc,WSRL4!ab .t ha,a*݀|U3عՑ)Dtf r'ngڼ)06CkFBE*Y'i:/DtFxۛ!:pK^|ܥ;j*bU&xcC:DǷJ]9V]?Ջ 81ҒM͂rI1^JK[,)TV?.(6-[6{-f5g%7:CۺI*z?1jj?r(Ձo?`q5K-0NE3'ExUjC"Kз|gc%I6&ol̄T*P}RֆpKI+-0j4/G1\ v_JB}( gM%dϪϨ8+8% o#@ku]Yj; 0y+Bd"ge 4?NT[d9/2p u5pC}0i7OSLPdKՓ ~`叱D7gHȅqEFwk+2Ra |"~ʮv bpA{ނSȢ^bJ6l֊=@i AAVm '*4s~IϫMgQ)H],c`jB\:V$<:٤!&5%I1=T8.Ik |YF+P^`/a*OiK{DQɏفE&.~M214䮂oWOtʈynN7:]@=,0~mZs< VېNc( L x^CWQ-9[(,Wݏނ':馫[EޝacKY'e;Ӗp ;$HnJYyrkz_aԷlgMS\Ӧ@av L,o}r7HZzOo}Jf3⪪8-Xgi?^叹DFs#!HDZ[x~j`Z{VqZ_^`|r8G.GfI/9 8/ Aq0~OFF_Ub25FPƓyLJ}/ ez"!^GxHIkcX] M!lN&9rA\]g̴YiĦ4P!v0[b[zOς>862G2.ή%UJa4,K-`H&I@gvGSb/ӵx'8 兪NNG, Z68W?قUV-l%ȖC'iiVkKJѲ^ZM$4q= 00l5A1fZX^39y$7LL [`R &UaYKzUcxQ[kO-㟈@{hV$qpܝI ziyUCّC `Lki 3, ٔp6~ܨcu'2;vfOr?R@}Gu .+ _W&hbL ZdwӃ2C)N{)L=x0(>yg^($|,-r,_ AVųs|'M~f\# UY{@ ʧ?p68ku=Y\?^=FT?ƛJOqP$zO23k7?YHY4*&6tYyh0M6'BL"IvܧY舣Y/琤]wi>f ǩTղ7R&}]LŠMay%6~V_o[1r}J]bݻ qU!4o(wbi-JpzS,X)XurkT~ާKaȴ~RFY–6YZm0Y`$Nn J7"ZeRN kJҪ:ѯ47@2ҖWz@AZå2#sj 6h4Ϟ{r_r5'e`Xow@OH>Eb'K뗁Ж 8I1mRӀs9hԘifmYivOi]ȱ[>:êlhVΤ7@'spx.orFD#\<{=mHǾzӞkޙDo>n_bt;/,+Bv+IV:(lh6$J}hZ:iuQ} ~ȋ{hUJC)iS@ue7V=İw ?q "u>K`ITOBêϱ95uT7x3Rl_PNKud,LM}g˅Ӻ 5!4%gq bo]ϽtN=MQ:źDy|2hqO-庍H CK[_ ƣ#_k;:VZ۠lH іͳ&)}+'Ւ+зd_C\:T+6+e񿆿tȒAɑgSd<*6bb/{2?K66(8wB`>칥oRxe"& *Ql V(@ 忟|3=2)[E f>Gm<ֻp>~<@WDuBt K?k'TY٧&߱eXC+3ւpUbgZ7( \LˈF?</>ش L ݲb왩j$U1 pzjmDjh<=ρy9&Oi5Q ?|T6Z5v7!D/8mөy{ObB\eLkO+50YgP88Qn-rZ2N߶ "WPpTP[Iw1.cxZ% ~E)6(rAWͲ2eP#fBLa" ]4d\z]|a>+ |Rn DK~bHQ>,s;Y Ӷ\8ڠ[jށئvߘCٲ.o18YG&$"bpO/Ua-#p%o./QpV°gXgYZ5cfe3ce405e5078bb8728cb3273840ca8f6e29df1b9d791c9837b33e4a03e5886fe2246de351b574 478d747829b3e0420f00bb750e519db44f764c62 640afc322e9bdef9d742a1f88c32302153377004 b6a7c971a471083f033cde7fdd77d2ea4b888364 7a03880811f35c0718d1ec7a2ba3d7caeb636826