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  =14lD ]% HOL-Decision_Procs:threads=6elapsed=254.773cpu=1160.428gc=157.800factor=4.557zXZִF! )]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ѐ[HT>V[I%ϩD׉Fթ>Fqy_Wձi8Ҹj#@U^tؔ^Dz#1}kƷiLW 4vEɚ3KzvǙ=V-0 LqOKX$³w\a~zy_dlY=YPƼ g;]ITh]x]bzs1$ʢ6%# ɝn\)>ԅFifr)z==Z1k&{֣,hd/E]yVQqV"?wej'ZUbt5V=8/̞&(^|G}M&+= 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 OIŢTԶ(95Rg* YMym$ J_nyً7cj\6SkHgN6GG̀껝+j7G$fDpDw3+@LjȐ`:9>[%pnRX"lA^hX(rnچD !҄{IGW#k{%uD梅K?LC۝ϢAh93#-j#v:<9tLY /Ӑ.&olX5\'ݽ_O qQfQ"`i+|ޜJV_qq쪁,d/7ɩNM @o>(_6y27J 9lcߺ QX6,q;a"a7@vlhA\`wUj#ci`p|9Qm吢l>0qh7^8>ΧK3J6 ~y䅟<.ʻBvgpq_ ,PLh<F%N[9k> vJ 6}K•Ns)]dTpݑ`8@IA^X)ݦGOV 5]s܇}b;߄]r#vWU#VYQέjIp7B2+>&gAqTnTkP# ('%3 |I|F/~h.R'JH|*dN} N3',GTuEt9Nm5Y TmAP"Z5P8z3**+3T8at=@TsM/LkKNF)c2Y2++*%ˋBTmR42n?4T3'Yj=ES9 |[eBY绸C uoV\f@Ť]toQ85]S /􁫀TgKaDePkZ %PIZ np^2d"Ky|h"Q'~;"QYq=Zq?(lΗhL=&+5Y U}r#9[NEȁtNt\g*^ߌ" &"/PPZY`|MM̝sNN7W|́U {a"Еj kkcl>wgt@1Xt3'3_.QCخHTԖhFdp 8A9L #jA}_zޅxt鲔 pu!ǮVe'Di:WfӍF4+Z,pbuDV Xjs^8Is߅q-VԎ~uŢ6ƀH\XGlb!rIܷ"lv *oeIb +GV"=8ݱ<`%X;Ɣwvv)Ì䥁VɜS7@^3UPXU5axi^zc;€KZFVK`[)m}a]Mc֛Nǵh)cƵhz+,;=*1%[K`G*)[ ++}NZq6)Sb&C˯ɭ7O6}2wH cF"rV̘ў-9i6`hՆrK۳:9*Y=+6J%u>:n(Oٍ?{>. p?̏a+֜e2΋}/tL:9Q `y&%8_bQ2v[3qwvj)iZ?((J-Vߞ0G#ISbDY ۑ1j0 z`HQ BL%o=G6E4I<0t ǒQ,,nGHʸ vZ/ =YYiX]1+>w{9}D42e5-*L`_°V9}!-"K,I) 7sW8=wkS,;hK0$7B`ooQWBR{%O_!ZQMݲ&9ë-ú? :6}U)kE *Qs'Zc) ᨉltPޖR:bX3Аgdr!%׵ӲEIzePa5d·sx}UB2N]CyMQ*B*$X:b)\3AK4x$Ojѵ$r Ota=u$M;85S N82(xtAl \X2U6drxF=s,P@?`HrzZUvPjC4+ÞR-cАDV쑡@D٬A0A+/h5l7 {ׄN6@ŋGޒ[7rk#^YsueW{{ǂi; #>>P:qq~l*DT/UQegfW k(+i @KT#Ox1j0LblO=>?HD1=Py%}.E 8xVї Ϡ kp+/43J1*0|{iIaZjr` Vӧ:60Y2E(8i#c k$V22Nu$VI~`\E>I+[<j EI$\F 4B `4栤3 fL]%E%؍e5$x;HOp+9$S`VǴdowm d4*tb=&ȬnA7!)7Z(Z> h'a`5:ykG d^O]$ic$T8n_jw2ೃ->TLb 'XT?`oU􃊣UV`X*LD'??`/IrHYb J,m0hK e6} X !߰0~93򤋯ꥥz#DgO%vTFJ'9'AԔo@Y⨇e\=<ZbN  tޠJǃ$E:N!x_ﬥ[pBkeע5hrGQ^k_}EQGh߱Hv󋓯oS.b>x;~fyRt/\٭Ǫb}ҿa?+`J1%MdfmRl qN|%KK0k͟A O}jVOY+R?t eE #ذz^I2XH+Cs_jXmR`Q.&0.V9T-$/+S=f\X9ĂrnJb˂s1e )F#j>IdHXYgmz[9hJk%)9; v @ղlo@zrU=0]`8E1ٝK2-fxsn TiwʷzUF/:H]Kz?=xB^QX7l7y)xquUѷ\(+G2{rhT.ŅoOk]A2@"7r@c1J0$0ӨXFU[gAH0Or(;0ḿ&N!˜YSеxxFIl=kHS;Pp ? 3p.FE>tT2#%gYZ7zXZִF! ^.]ŗXiɟ17L? KxlWP8SաM~>fٺdJF ߘ'\nV,tŴ?X}d]?XS}mml Ȋum>>ĥ}mhjU<=1vb*Ke.ʼn:{-ϐLᮐ +jy7(3iRS@&`1cMdY~oJ.Չi﵈Dn30E4RkWoH5Xɤ#4lԘZ]Org UKB1L;T .tA| ºd6j}{_la^$kZpje4]2D' `|tbfA}oS3\t# T3upar2:-=dӞu] 8șM@b0hKL G$4hJyT4Uaөn'enbl W ʗmJBRgXȕڅw ǔ,j4Ah_f,si~L+5Da `̾}F9cgtJH[֒ H gYZ7zXZִF! 3T]ŗXi%G*"@?G'^09~uĦXA os;Wtdz\+PM[51Y Lrr@^Dr%'ղm(S\c-agEtUût=`t=2*Nhw /픮 7Sjm02E 6p?[ 2ݺv+h\w+tݭveQV;'ֵe*[]{ƖGDl?yR>z{mCJޡZՁ@(- tA[/+7W'[^<}ҭ{(8ٽ0g7w-r vncAC j|D2Ʀ[, Hi[^2^S`;:WguTƋH}*@ruCOC{K>ԘG(bhi*RMQTFm4{] 2>܈y$_K^}qLR!?QTwB19@866%S2㙑z>ܐ Ǿ[<77yՉoZ/,)&L"֘YM\_^G& VbNJ%4ƾ!% [{k-Of@ӓ}=!Nj'`שBCֆlTɲCl7(#`Qd .2o9 [>5P9/"'4ϔ˄`2/4^Z`>5r*13 mޕ݌1>Mhxex7aq ?k:vE3nv`EV ˠ6P.4G Eo+@ 6'uFfߧf&UA_Ya]hڋLpPTзD Pq+eZiJ_j-q$5mmd 7I:Uy0}DrX5],)n[r=Cc,ݼKbUUf 1ctNnx+d]{3'=&$Xe1 Ɋ,#R fR i3 -"_vn~h3n j+/Pj`kzmE76;F]iX![ 0^ x $GFݴlCC~/\c9|,W^/ݣ1&\`Ŭ TĦ㛏kiZ|gt_[D.FIuAa6hІ7! ZtyKp21VGmڻJ:<1 6 \,~F qG \u7z Cc~Qc}T` |Mng`do2'Nn*7.@WtQ3E#p^fJZTLo@fTܐ2f:.(vʠl [F܊9 dj 8imLoBOҎ36\~8 Y]ROl##nJi^wj/ZRC=EfS ջ BS/[Q @JE[w0b4\A1 q>kN.eɂˊ{q\Ս$$kS]!=MOS5 =H+ly(o k yԚ-eMXF,sq#ҭurmz&'}%ӈ}?DSXp#+ꊋ,C؆n2<IP$dZr}EHôh:n,Pi8E扆pC<K_ W}9<|6^0F]sR90Gc5`\=-зxBN}],iΚ=MZMVvZ=OK2Q9UU|wv\cťu] ;8%|9GMK]z)p*} !PY^{m$zܜL\fwĥ0%^Q5YUu VA9xЋ'o79jbYD`9!Uɡ:^-(a󡬡U\ QEׯcE8̂~邿fckPi :q zzUN3es_AmhڇJX-1{ 4VnJh^WԤ_t`9c$Z [ʏoa3GB?-&j6V}$j!s\Zf\ anzRD6\t)b|`јPa㐜NlֻNB>,XXLlۭ~dIǤB=uЌRmTGU$G>Woκ%Wqq?2 ~Jx9?7c%9u|KG)h' IBa~S*'}K\LCmNH/ANN E$*}ivCQ{Ոo#?tB,Whx\oP 5|a/A>j ߚӘa !I!rN,:7!krW4f&3$jI)RlԳ#ނF :H)5Z:frV3TD,4td ~8H&>Y0 x` LOVGD?4[ S8~bE#±j"@!ƒG;WxRe@L;"OesAN#h:`n[?]vZ|6X\}͠\җTs}/5~ҒmJ 4-B|d*fwG,ro~LW``XYW}9n /(@ۄ U'cI[_5ci%dWMQrc\VYqAXuYELL&dN8Zs{cEw(- [Ad]w[wy/UMh#5n6 [t9  FF Qr'fwy'R[0NjqHWIo)zBrpY2> 䡈5dK='V="BzmʭyUNAf?L{&0}aJ6\Asϡr13rIt ?||$4;Wbʚӭ11*j$ 1(@;Kpi%+v`#LRLE]i\},N}?sx nV03媴N[* P*J&z]Y?G=+?z[٤ "'$(5?>BDka)dzYezc³4ǬzL\GM|ȭYflVŵ%0zpJ@n" gAq:ZHgj;@1]u n*BUŤ,煭zӁGfMrRi 624y=)K~2 *H²dlG7l54OÉrx<8e}%xSt3S@G9Mke,41HX=B/XhgP7OTq|Ϸrh;o\RI)ʷx8 ef6D "&"hE kZB "4؁7_kg6*)9kS]TNpn*~/7i؊UĪ}Zb8rL9yg_8>iAIEF^ u~ج.-ԙl~A~ھ kcS`EcߤOR!*>~S8?f`'ٰ"-vr NgA&e;R55g e̩HT]{Tݹ4~Is0nncfawX`M̆xMP5["4gvv +w9,Ziƌpeh[%UȤX<҅^й7M l^U괮Ą1K ' t;iX5UքRvp~Aͅ1[S 36Cㄍm"Ϥ$' [vIhFo. d˚ւ vRU’PzGQ;ՉFKMpvߑCwZ nS^F8QpgTvy1e+oOHp@xC9\6 {4R$zmL .Bd#<]Õ2}wA+cs3Y [Zts!m5!81Z> A{$UY孈/ɋ y=/X5."4<"ε-D ja?sB9.$CQ p8MW;cE ""' e QA!C1"( ]-FxL@ʛǾyA>z wVNkǙ>>iL6='pm,Ot:9[b~'1K]z -cĴ9AX )56RQ$p~I#bHmL|7TJPbz"x0G4-DlṴG4#b;!"B; BR eH*d؛f2{8r A}o+?a[+¶&YiV3Œ %wgE>0G38(炥KI3#+isóܮY@iGe͔UEvwSxŹ'yvk\B3(UG{+PCeHmD*H:ȹOS vn2JGSڂ`HpC/oǻm1 6`pQ1k 1,!͵*9=HTv0c? gh4 #Q[kVgwWܵݎ+]ܔ;ZE1مw(ob4l]uF 7J h4ɓCppz6Ю#I o^e,6xQ} ?u<">?4oNGZ;/K`^(֖|h nDdgYtL}"ci"Wn f{<נ[QO_d\=au<]tC{ Uʱ,)/qt Q$+֖(DiSM1dCLfn΃ uhX6se&͑Eus.: K,{zkjrjs:N:;a;=؎-n&hJ* {>⃀Z,\DžWkZx4dDz-n8@LdVU'HC_7dzI{x^/Mr)4<_ Qz~pH%;% Qxs,8AdbEql)fT -N (giurPN!)$lSLJ@zК._V2#ܗb(p(  ކ)isώI&H*G{GWnqgrڍ++ oz M-isW[0[V ?LqmnB?ڻW߯dwFvFפּc+5w%Î7ENWR7%0蝹O짉utC젒`kKe.D"|VDj`dƛx=.fx釉a}`ٺCDjM3b&^dps;6:{qyӰn|ߺ%/5#BTt 溏.jad)҆0gr;H02Txxl} !mF:6.Bul.QoBL!oSۀ& 3Mr:aA]bMѣ'ltMO o]ҧ&}¤N:Ͻ#ŏ͗LXFۄ rw{bSyEFzb4 )c iE'GyrC?wGd$cs[W1 Źsx9L*t`e{`"W:Ejd94$ RjJ2I2{-LHpӧ3N~gYh /,_^<2ոcg2?A=+p\MkmVXV:bl}Ϝ}s9-j8 Bll\&3?ɚ%y9]o4BfX`;=賲-bןb0OW'B{E| 0ld]b1py& BQ8X\TF H8vSQ ɔAs*Za;x,RZeZ~+.0THZLLjؤ YPl32ۜĭ,ݸoњ*ΈM0I~:8!D)$p;yR(θy01:kݪwJtz)5ٵCF+Y 8Yc|Q4_ɳ1d_I|1ơ}#ʭ=ikOa5[e"nf yY eѧVN<D*4{`sԸczP^VzXAɔzhD9[h95kv ]%<_<(/ :vGXZT e[1T:jhӭKN5ϡΗ{PBH;4c(`iy&mᬱA $g Go xT#4@g -F8<΢^$µDп*+@/ }F$ĮS@􅅠²@ 1 \T k?q*Am%AzeA}̱7oO?xToN.+ʔ&֖۷RڤvY!Od$'D;q#Y_4ddQ?qؚm*YqW53i(d wu{nV 4mV`VKQ}8o Rd5;V݁X:ne pOVj#pǁUX S4 6-$ w<[ hg?nOVTs a}(AsW>]w(/rhmh"^M u3ȡ .2WێJ^ߕpSbĴ$8OSu /0Uz5ZF-t7Z3暷^woKI0+ϾS@/0^pɀ;_q=^HnF ]?J}Ɯz~TUo0zuQPi=ղO.]-d]! L{f )ϯQ"i˪Q/F:B <4Œȝ3X 邗Dϟ375a̧ 0eG|ӭر%faiTʛh90>CO'5VoUwQү::XTܷ`msި}b4*$+A~PU3X?I]_ܨ - 0VOFze Yl*he Xα[z!n(w߼i7X549kPf g ,z[O12j`sP?6#qәV:J&κ8y+zń:o`~v?exF H)EѺjD`E0j5P0Q)Rfws/N7h]%Aa'p/Hj-DYzF1Od^:^Ƥ-RAb2aB gD!kYꉇG\: 7ŋy:ia Q' F?XQQ5'jm:s^+JS[ݿeMzU5C]4含Rk|bH7) vÜ;}fGpvDE%kKk^~i,*H9wN ^kUٵ6T^ifqmzqu-%VFh([g 2HlMy7Rq:ɸ@A8O =Dʹ(7Z0bG4{\J$A WU;>q1}9}PU3H_pN68Se엺M5((H`Nv#1X؝8!s|ݶBUJM@V׆<g&#w td't`GG0< ;Y?+4?ڢ ~DjP4v^(>k:> {ux7 BZ'\DDc˅iÚHVdKt=. C?=@˘Lulۨ/ _YI0[S'AM;ː~<ܛjqC%eS;wwN=;Kfbl/7^:Fm.p3o݅9{~R؆oY:C)b\!ې(Q !ȁItGЃ8GG:ck&Mdg1 8J/,"B3tcvDh:Im,W:MrV?WDwF͌(pgsZs;?,D{OںYrtNm^BCqRuJ̦4lH>4H -/US`3n6W?L."Apf{ͭS ۶c '}A~gg{8NZ2 Z_u6$"pE`*;NAs5,Tq}Pj8+}_5H] e.\1,+ N&>vCMcq4|Oq!<%,t0<g,[]Nw9ml6{ukwf`QlYpUȇw*˰}(K,R$s9LrwGHp۫YvU$ C AzJ?j$RRto'MzVor$琋OЕO|xr5?G.]y w@V5ϴ˚hKT2Vɯ6 Q Wfo|&Ggd(.Q>lRN\8׸ 'ZVΝ~+x.2Z{pEUW)ŴGϨ/o=9Ywm3^*n;$DݼQ ~ݻJ|hyhR<>:Mh .fuB td ZkG+l)҆wâmE KEYo/zp݆,EBY| gc(['4@ WV_}^ &JaMw0ޭ9r,4{21(j['o^|FJ`104da.}yK4(f6zW^(cWcΜa o-hU( [pjmLe_,]#|n@;Z(`0Ti% GuY!_Ā92v R~d^h*W k،p#e)1+/-~,= `{vYrHt~j\a(==q!䜭p^2] R#=`fǬaaeM3 Ε(1x1=4"S Rk>ϙl_k҉#۴7׷9aLxa4$e`B.f7wkoyf%rGPJTw!ټ ]=زK1ޚ#v?}m`^f} bY.0B/h|{0`²}6n ]o7Á _L>߀熧(pXf~'Eduh)y 6޹,a:OM#?=ױI{ HF06Cz.=_Ov͐t9TFƒLPdmǥn8,ҝ0ܾk`FѠfݷ'M5Piŗdgi- *q99$<;z祡"OdtxugL޵'Ag ?3 " B4švKC&_+g35<#p vZ𰏆2s)[DWJaɷcq4imٖ9}>p4̧5_.Qt̿`@5}uqAPa؞@>kN)W$,7ϋaU\+Pq~ Y;G-%jh0`>E Br"LZ!m JbI{20u 0Gs>Gi։5)<]||8C=;!)t7jY)>Ԝᡋ?ߞD ϥ;zh[xX:enA`1NW_lEoB(|3>DuR^~a(ק&F>X|Jz_\6no* ${ mKWƆ]pPK=Y9!D{IkHv{)cܯk J•x$A5$rt;ct̽aݑ0#sd9Q> O^ AN1S2VڬN!Âo0lN:@k~ώ%ҀɎQ;*Jշopky\*1-.% ԫf.y?7!Օ#㭃i9Fq ic 0O3֋aN)]*d3w|&#E?՜a}ew:qIco؉586"IhzлϯV8 X~ng$%H5hQHGF@JZWh4l'ۻ Fgd<NNJ`t.~ 8hLar)UFW}e&GB]D ^ /ٶ56qݗmvch!@MuEH\rcf[TSeb$e.M 8mzs '8 "t>3::ĿBa% :~ܞtB4~6?z> w궛NDyN]fMWN@Er{P2W eZ8dyh"3B&L4E:0n dρS-@2R԰d(kS{z87P5ƤX&;*T(ZB# V76!VKaI=%q<k;(d9$X$ eILRZgyL VKmoԧ e:')"~|ͦ!Jr{k0Pg\WF[!sd&1PX8_%@v|kIY7U}:1DᲗ:x\ 8.uc$.mpqT36*1qMXSMսJX!+ 6nLaT:m;(+]/7ɡ_1-#- 4`,B,ւqCH TQR"9:tWiON7j-D9{!%ܽ aV̸Ŗ4-VS~MEq>ܤ`RxayScBRlDo zss8s/wMkݽ8f@Uu6V4}9q'Rjzs+Nx9hKUc h\P]݊UQҘ˜7W< QUa@ _[$07F(- ] =,> QLW!qD#p{[r3mk` !zeӲ.Dlccty[0^r1iՐ я :c J6ŏv57L?nB|˙ֆVm#x;}X}"C m`~r&A󌧆)sA0)Ln܎3,]שּׂVv?'i&X1*#QJwf?B.JO7}J\Uwu֧* Pd`u,5wD׺.'VYC 2 #-S7#<;ݫn IaQ2.4p%Yx{lh8CH8Sla{UOƼWÁ"ħ%*#8`E/ڼ:EG ~hVȈ@Qб$deB#~4Gl F2ns'FF=dsc01#(^a?fRM/IQ{c!7;7XpblS+u聅OlqBMӲ Mpɭ'\e v?VzoF$8z1JQQC4YX#e,8򛳭|lQrԞEe:ysbtwYem-vjΤJ6R$ZԴM1a` K+l ?ΡuRb. ׇz.Q1p^ihRxSÃ8JTh|9A 0ePXlh.~-ynFe3MvͲwU̐.fr-VMuWdSR2նIZ?Qk6xϩJ;Rݫ?-gyI3biUN^x ?þXmN!'P$~a^I/-DHώE'EDݺc+^El4nJP|S5OA=>^U`9 󞟶oz ʙv JqޚPnz4;#q&RaRM]UTWbo5Υ ks'!&@|z]V"G .`)J!s*)񝢩g(ݓqeBmWz3<>JPc 0YD0n/Tf*/ɨ3Jj OwkC{*" a}i6È&Ft@AO08ivKͣzw:F7,욨&O'd` f*o?jt~o|ێqu?m.<ؤC waѾ9HLz!p'jwb5`;͓߬*m5`>*(;)?>Py!R^.3 *x}1/Ҭ_]9@Fxg\ B~K[W`"UAu; eDہqLr5#nԬo . ȿ֙PB6:}#Ưvy$D6̅7@5m_ǒ?徧w'_5"8@Mxs[K2o|d]/92>]F.Ըp3oeϖ&is?sfY&e+#h % e!0hxq`:m)eB(OygYZ229924236c1b45ba64c3256e6bd4e4b3ab96cfb8166ea06b876a32a5026b5eda3d8717e2fd0b6b7f e24edf66808fa5f9ae0919ac709ff4821f2d16b5 d2ab5fd0330dc818c8f02429bf60998c0bf57e86 534d2155cebfcde87a1bf8cfc9c01c1accd97e22 070797bb36bf9e8d6bf2a2b6a852be90203fefeb