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  x xh1 dL ]% HOL-Decision_Procs:threads=6elapsed=220.060cpu=1005.672gc=93.112factor=4.577zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1  DN(aE(JˠWgti+s,L )͐8#rrrX{/W0o* }@mO : ` !l-,Nǜ,~On<8낃Ճ \\[_!SY G qIG]Þ0c<%,T_Z+[7&'s;s]a/*'3}_XAW "8E YXǂkB5L\Gnnp)7 pd_m*h."Me Xwb{${= [cr-ʯ {~yZw֟/[j=͜*nu~˨3a actcP5t',LNѤd@jhN((c\-d4kGBÙ;=*ZV ՗F~ bA @^ R[*Hw[4/;G:b:~vSH*̩;?'Za3^ql?Aזw4=Ƭ$s˨<$@z $_m6GS͆E:qcLϨY> `b뀅CY(v~jSv(J&lYtZ^kk俶щqݓ` $yZ>krnJbG]O>%Zu&_6/,$$[(2zxVHXQDzykwjMXO;XUJx .a]ko|>YHld+X(+^VqLf^VP UfR3g7&>?cvKÖT|iWpN[ؽAWYOF;fd[cDTߛT1tp?HrgF*pW0z%w5%v#Ck-bt:bxuч#=_]+)Y:R[\2r|*\ װ\Ǩ͹0.P`(cU/l-!&yb'n;~G܁m`W̖-Qv08[ojHNBRf9vWȼ0U۟{G]GT;Pj7L 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 zw&'U3y"i/L3~[R#;>dA-&,-_0n^ĸiTb a.UȝzP^3S˪f[n½dxWDi\r0$ڦbcMo/8lYs#L+J ХoZ>N5}'m`{Bz7s`  uRJ݆u@jLvr];úHxcQD>y: adRڥ],"3;`R eWܝQ[ӷa=aW}nCkyHI11&_2Y;IZIRNi&Ѽ ГjavmPc#w 黅K|XZ' 7wܝGo{?P=s1CuLj[;;`Jg; Q_sf9[ .rë~l9SQ)zC OC<ȹ8̥ ћ.El30f\d! 4(LNL?!{+M&3π˭;dAY v4i=v5=^R'ӦB|va~,-ͼ:) xMRYȼ;ܮttf 6൝UU Pȳ/Uf.c~&)S=]Pf(Yl~'>^2'ѭ+R8cQ}@`%~,:+ 0,e]sP~s~ O7pqíeD&,wըLsF##~HPwNv CR><#t4_m)<<]gC nѷM&uDN9WJ1$j[i"/҃D^0 j`]䡦r:Cߋcp/#Ɵ1i+7)(e>>` , uoSBv{kS6M@[ެFa2jYX%ySl iXh/(a Ph-WLq+Kjߠ{.e]> nKqۿFUn/# OQ5wЯ?M|B[wd?12=t{ `5)Z\!w>Yo6^1W90hRs.B9]PI 8w;Hp Uqagys5o1=g!F(wf\XX{N}A_7h>KzxHsESB] AY`ҵR.%գ\oyDU ]"E,eWw`r&ӯXVu~{H]ݖ هe3f~4%6r,q־tmyTĩwpJe\28t58ˋ%̐(c*r; ڰmAXL8" 8b7m"6t@UYxJ@@.L. h{FmN*;EʭߠŷrS22f-͸F"ykk`skԐZe 9/QzVn!ud@K K1JB0K=@ybQ)Zt ZE+O Ο?Y*|X%}[E\g9T^ăGތitjɟMKE{"Sd;5ud?--fU`w“Gyb:!~m%d 띾-,0J8ѡɽŐ)!- $bx"vЩ (V5},4%q_v!y8r~~Y; yMI ^K\H *;j*ÀO9P AcUH!CaPvd}!_@9mfUʴ&wQ?m2&w[r=luрY+ͫA L̠҃ZЙ'Mظ3J'-K]WG=p 9{X}- )eRƺi61BJ [y+.}@O?NL=XIfP:Ɲw`x`E:#=رlN`h BpiehXA&\5&ǥaYQ<}L1Jv'0|6ΦD2 Pw`aa\18{;|}:;U>޹;S?Lvg#y'IkkVo] 8wȺ}W>$/19Oa B?zlEEɪF RLc0޺auuC<&fuv}oCKWcx}?y) Vu?x`xr- ;0rtW-B`.?P]D:fzElbW2YX 6Lx5EFz }>ȸGEM]35ctPjPA]`21 zA!V$Jcb/0Cn,_i[S)C< [ofuMbCis7Iim jd'6f~ݏ. 3i@%W--a>l$ [(=qM+"-SZiԎzaꂬD!ͬ:[>L]ǬH[ w'C1Ap{#>O{E3&@F4}eQq5jrZjq~Ex"~T֥o0[v6Zw D@pC |`A CLQ `_AW9M~􀍷zGtVО=xMf=MZ3KQ_/tнcLrg_ Ru^F=I?0z+8PgwhS+(,t668`4p;Vē3Xu;f8{mu#b.ȑ*gYZ7zXZִF! Y,]ŗXiɟ17L? KxlWP8SաM~>fٺd6O A8FH:2L\$GȀF{ӔD`٩OSlbȬ@{{P՜"h,>?v7FK9+( :渍ÌM}&.YAc LW38 .L mh/ƺwKhw?zWN>e>2%FJ߲,l8i{ *TH/>pF7U"K)9QGASp>VՑJDS/v֟eK1쥸}S'pE,8q\n'W{MPi#ȭau{,_3oiR\>11;tԶ$f]U<8+vfm{XS:~H&Ώ\h`)PHbie-d!/1dDzxLT/R;*ˊ4sI!3%1.H3gYZ7zXZִF! mXJ]ŗXi%EWmx%5(!y-m ڤ=UHgs I(bT`.@HB"])uuhBm]z͢țA<<6@e֑-~JZsRMJbKWp@0>B->GSD1&>GT#k$E =^sܫ/Y܇ݺ$rz !3,6BI[ےt>n͊(cUzIxBcEE|=\Yo-`%·>ލPZy?H s]L#8Ev?a_wḋ%` Ӿ,Pk N [ʷV:A`29炬;_=Ӵ4U.݉\a` |֢zhA]qb}[ŝ;OJAL%WtMw*a=M,3 |u iM錪h~޹§w$mzi~V<ÃR{G@ xTY*3` "h0 Tc ^2ⶓBtk`݆p>߬3;?ǟ .*ˢsy t(+:j*s;D)qm 0|u_DHJ30d p,-JIq9mЬMyI+U\X=8lG2 _}oX}cndob ?D܄5RqE`ǿ`C>?Jh$\ [!aTҐN2! :s 4N+&Q2­|窝Z޸3R}$v>$U0ҫYh͉݄FIIJ=## m?}[9n?L4 =s?/(7I;AF|ަOW;ߌ'>q18ln۹y:).-RwɞM^^@tF<,Tv0פ X*_™30QY^>9 'V4(Xl/+g(TD)By5-'GC}1@՚IQlUP6l GwL#G5X0kj@eOB|Rsq`P_R˙AB<$ W: ai`+,$0$Nawts\ 1P7O)C!dڏ'a`N- i8>0nB#_{@$O!<7-NY"8{v2P ڠ+P r?eqn4S;fr`G4#&^i\ ~tp`srDoSh.mYJ"FX(ƾ I6oI 'm͛vM/0'w!e@wW jL @ S]$#þLwE*?r3ܚKv ܌LbX2ȫFBs@ioZ~TZ *"x )Y hu=XF`U(%<"'I 9Ι%yvY`itv-,Ӯz*('Ri["h5}Вm&#@Jg&/JŽ9}+v1u GD,+ceԏ%dt0N C1'I,LgqAE]` ՃB*d&4y Hנ@TMţ/[ 9lVd9^$cQ}Xe˺"|y\?UU2VV2 =4hNS%#UNLkOj j,K5g^&(T4zaA{ (6R3Ԩ5g+jmt^ 7c&^&ŖyΞڈv^?Ƒ$Vw2V/S"iog9ވK*YwևO8-ϗ͂7wĺ{l)8R^} P"YC[st'4lF^kEq plu=V*8=\ x:h`K)!x| e x11/ƇN{VFu)0?ا66&>3[$ ςAu׾yRHZ2v~o:b|N:m%>|x1VͮFgZ(bBtҥ[7bb&bIk(d7 1b@͓,Lҽi{iI?Q;?R&7\0aDS Eri}'6P!r%i n͏ȎEXJHh_:A ebkU OIG s'XgޖiTv"f뤃e'^;H PP^O)l~cPᗖü,֩ e  g\DP;bHlؙǧ.u 8}{S &ew1r@ 8dpӂs=YFPrћw ֱ,Kܣ4R7ZU`ȬRڞ})XϤt/dXpn&Fpf0{;B FQ^O n"5] +LsYFi˘@wTt4?]GMP12>ϏFI_z"d cU􍜠 1# iU)jݪ=ܐYgݘvz`G)Prs+831*+*kGyp|L; 4ӀMKޙ,gP~Ŧ@"瀙B FS&~R"ˑ5uduu6R c?2gC{ߟ^lX|}ͣ`QZGlF;a홭r㳜)AkA (XUr wWXY:|GEx$J"CE ]9B||,Ed\^9c'(+,T+kʫ>yײ`V%1W[k7iJL79I[v57019ozoWcLm.{Ԟ6D2Z; ){c׍N+K1ӝZbUb.sCrBa%-YƐ}=Su]#KNHti^*\vr-}t yD"a',o D~LE:FLFܜG:L:."&W2BD s_U b==Myۀ6soLlP2#tgo}K3:du)\2>P}5πAZ@vjt|[O{?t% 'CY`RqlULqs?DgM @hy=wl M2zݤ;cj [<^ 2H_t:0ci.&vu9RŻTDP'$U*EMFAwfSA7.N׏_+ /ۀk2Yݻ Vy,ό~臣dUDrǤ5pE*t"{80 @fu,L%)c6C\-dK0=VTe:zOdS}}tGaXG&Kr|5Ht :/S'ʖ^}(@'{D$ejN}; DmJhQ/L77۴~b<84P.[6Wi攍 G>p}-CW,/'O |C,nmXG|0cqVfƒ!TD^V#%@$9"(@NVO2S [:ZtB+& o|= e3\2'ՔyuVϩ8` 5ki-y<)iz"f9iu^}5Tކvu38EA ?7!ӟ6MA"KilWԚ~?{+L3IL_ 䯏&8錊!܌q'q@KM{gnב`οXǴMwn]EW?trE ݄L$»1(^=3>bGQи+4n4Qy;K+[nquANձнZ[c؏= zj $|wº+KnRKaxʽ0 dYlC,=rW{In?e&2$|C{Ea~=_13FN#"@2#FZ<9Ӫ4r:l' 6~頶*\в/,v_h͕xUF5IɊEa!܄7˒V1o^B0J[?`kC!0Exa}2j,ʭ4i^Ț[e5!'`j;K+M5fW%}YlN&V9jb%9O9˥ 4l>}8D :?4A|F+F`HN%1~{ag!fmbbHm[6v6CH=&m/CثtΥ aOH-n=rTұ5t7/ afsXץ ~'{rlZ_:}açu3Fs$=n,&@^|^]SA1ؑl68b0+\zΠ5>ރpij;O/'n{衈bxJVʫk.Z 65L4KU42Wj-ٷSi#;F7DV+*t`WSP=qk& iB8[#0z.EIgV*r-u J!Véf"BE g־{Yx:@cr f>C(&h6], na?י,cz~u*);{r$v}[;ޕvϴpl< obXm9u0TA (F{S͊:U۫_t¡Wq}AɮDPvA`nŤ:=^Ӻ8~j3*ј\}*;u{~]mM'NF#ER*WXZЁ旹)Pif5Fdكznkh x"pR c3u*wbɯsXsTW  %r=KOA‘KɉTUf~!feȒݼl3\6pV!(OcFO>f$#NFEPw8y: לbIoP1"OD{:SPwmo MQZY=v JNif vjb)9D>ϽӁJJ OjGѝqErp-Lj$ՓS8{ %d}&=%NJt LG`{0򂸇E~,KFƼB'PNJ:d_Ry7r#\O1ijCQQj3S^.9hd-'J%nū<8K8=Ȫ'&BmMU4hy*JPގ^Ŏ4 D) ij,p㝉t'Ȍ,#HSCH#YfϢԻ<=MC`:|Y֩\)"ju.,ʒ`sDz]a%ܑl:gpp{|ׂfYBcY);;):Uuҭ_'k!)c'sS/4>[*XA쯂~5W:iH9y\2#ֿT M΃.1\rE 61QDWU\b<*qޑ W!Jq98!Rr D' yz6q<dx&h;ai.mnvI$+?g&Wf֋4!:5R=UNfTΥ&,"mw| Xc/hԾtfƑ{ɏF^iuQguS׹f\Vn~.#K~L>ŢlۊU0[!%r &zu hg'7y`:}`kh1ɨvq]l_J|b퀮8y1k۪G87dxdsl۫MN='mv OMfx(`ʲŬb@hQ2uV_5bZڵpW҆ \˲/A%x3A3X]6cڇ;q[C G׳z%M3waѱX"!Fb4l6(B #ћm#n1kָUk>\0" 9Td/R {9W/]@P% @A+k)P ɣxZ1O̻RޯO eȘ1+N5 kq\R05r4#cJ5] =H!Km|f4Q+: )v[/".j¢£ikZdbڗZNy]4-__{i^0z<,UX3^7' D䭠Ѵ:CW=ωoɤ,[Tߥgt[dor ⧙i[/´ YQ垣y@D_lciI56P䓯*|tߊAc;x݆m$ϡ6o ~[@- K7-gMx1 ,'0#|/SԃxR${ t"Aws'Ԯ꩒x lG@by6+wXǚŞcH`F1@ Zg"0ؾu.Ѽ(#DH\uӢe=f1JG &^T',jQ9S&=.+`NF}wcc4ax΋?J:闸 ijV$ 25bm:z C^4 ~T#&#D E+Mp#*Kq"!Cn,[F= 1Ϛ rYT 7+u0vI“kGR(Ew_v(,nH%yﶌ~'$2$VxkRT ;A:4K4pJl3o^؂+8ǁANbGxEdy;&b ƫ*dcz+Dg_$({!jthO>k~zA\P^̷s  [e+hyBB(S3v"C7i b(|3ѕ^R!ߏH?09<>'mjnh o.EUfs4co6.RgYY}á10 ! ׭o(G73[TO̫; / _+Kܫiϑrϭ18+,> 'OK?\CF^mJ],:Lo6Gx%9ԏI˾~!@LC0.E|,!6Y' x.?t0-xBsA3<^G9e;͍O0ɧ7!P B҄~XU8IgRsc3U͋*(qHѯ3%@b@8hDw<$Ao`P[=ߡM [|ؓ>x= ZNNV wpa@|jK iG>4L}g) .'eAUSH"\B=J( \/1HĜ(OC{D߯W>$3J=ݬU}gkUrz|vZ0*d'GK^JM(Cu&gub miF "{_sxΣRV; ɓzg'd>gخ{L֮701r`E[,pK6Hg#l{ qO$v) |釨K >Yp߁r~%0p>!Aٲϓv}e<:B E%jZ*p9כV;{ֳɄcZ\ q>C> pxś< ^ҦLTE$7Ot~$vV+E*X` -Iz1sFq̲:>:﫭ZVy%v *HɳI96%4@3y֑$3b}zD^&9CH"Sn|x:t+[ Ҥő?|C_7ϑAŋS܈I[%ЋV _z׃Ԏ 7 Xl\,P'F[EJ'گPH Cto .N#q3=atK=)SX vɁ/(gxmJ\#1iV?MmHZ d)*mEH"q@I!־<}fbXΥߪ|\]Ӓhib%FMNq+ċ{kCmsm oZрK! m3O? rs0`jjv ]6rX=а 6|'WaX?VZ*)v5_MXB# _g$u'5,8 #DQqȫ:ߎlSu̧t͢1뚉"yZGH^ CILA'T38Epٰwj.긏vTV|m/Kt#8xu?vALpvZLG&U:#_te"$"ۓK܉]v ªׁ9A u,+>gtf:I$u8Y<\GioDj/!3HA\^R8Koݺ<AAS2*uDz Vs1K1綵vWzİa8 vt1i(N܆y Q&$cLQ":W)Ĩޞݦ^|a ~ibeuU(R cZH+@Ew^>Z! sA|3\< fjӯɹ1">ĭe2 pxP]=XB 6_}?)Y`P+ME /"&ṏTI8:ƈ{dT>TzLXZ1u %HCa8!H_d.A]C=7~a޶"z [nQ:0Ȧ0מRXˆ&2?DPC[TfIK3%8*]B${g@.Pkp>uq%0(-*Ax۶i0Ŀm ; T霳nvQ.U>|Zaan0^*Ko]dWa酅cS'U =^)s[+7}YJD< hx@a͓.#•6\>Г-I }^{L!_ol;.^a<|j[!*LboI[UaY>]= +iz/Kuwa1IJpt|;ݿuut'. V5EH\!j ~(~Y'20ze@qͽru,qL(eHAnٔ8D<+ųEЦjU r=W{wn~xÞbȶWgk,E"OEU~\_(aRNMX-St-o#9V{/e{b&;KnT ]%MtNfX;f6gO>,SƗϽ&OC# "5/*v)DBsv0lBjJت<ӍV 5\dSq1pqtojɐ!߬H"sA>E! KvJ35MX_"H-R(7 EI fJ#B*E3Y,}+u(7gH#Q|r ?A1Ng$2%a EN<36>v< _ Y%wGh_Pi l RF/D% LC`t[rsv zgC"1\5TYD ) (Úq!kC~>$FES{|mf2!mkzₙnCe+<-QAd5} U_M5Gb*wҜ,l FOD#HʉV/ %|+f,H\nfSnƭ@!_:A61+GV\|$n dr !sV48`A#-Ǡ!OBM}%=%y$) z-cC/*)ʬRgVâ~i|o2 fX~'W^JB|xT&"Iai|w kEP'@q5 9mUI$#&{ הLwS!tL4{"99>aGOdCU:3=h+pkcX6>kD]&(  9&۲J=63EJ)RQ}Oˉt 6^q2 Ao*G_DZWƆh!:IiR:R/CDuES #6~Y;~ L`G@7~Xb TýID"fbJ֞ؽJv `:Ϧ0>8s8\#jʻR-Blf&Q{ye#D3q:C`^¨2T!kPŖGrSd{j[ b%v]l@Hb`,8q3k8~FabQRQ#+,Sۢ0ņPjV~(0e?ʙ6B2\5I9>66]jQQx.흓SU\Kl+vߺB2QDS”ݽ~X8 %E.:^H] .~w<-JXlYjh'u +!H"ߐJ`Y.w03?"d *&f&oe-Aiy#B&dM/ZN(Ȼ=%CzfW L ي-/KcBr$Iw#t2! 216.qfTԎe,B <'`_`)LG_9f.XC=UWn,dH"K:-'[P>>]fDxY%ovr^U^3X>]rnJ`Ȱ`ZGP`( 'Έn Um^7US[%ʙ[*Q 䊄^B 6WeeK09f{Wb;F-z#,{LMq V[xHP{p3&=1!XˤlϾQKB7@,)wb? Džb)NKu) M߇䝌{Rw܆-Fea"Z:ߺc{uvh}!,1| q`ӾlЬǗVXE֡;dӂ|v V:-eQg}ʰZh#nK̞CL=U 5;+xE&pB`~y35 xuFB-]P_$q_@isGT4Mr@sAp_>bJ`lGjⲼF?^bkOEwZW\imJ#]kǎ}̓1-moɞq$qQ}DfV@6eyſʍA\ #Ly/K JbZ# )ulAb"g Tix3FjDJh8zv$rXl7섳 Ri5k`;2PH顕Ge R!7]WR |[PLWNo>K[(fa$"- Mx3v![\OHr]`Jx@ou*1ȄLe__z‡ " ^q zfjwc:lj`3aY71Y:tES =Wbجr(xe[&iFBXݝtCV+9̼DFQs[Xv"XtPVs߹ڝL_?Ww!74,~z[uRCr F#_ fjCe-FqѧN+m@*8rKv*c.Ieՙ9Qj^ÄD4K 왿#-0.l"0Qu@0 X$ T̮T;Sx.XDl2w˖]E *7Wn%Q8B7߯8Ү`~O)kL輄)s wN2P[#Wbr=XЁsIۃJ[g.Rܱ@K%Zs>Dg;:B)z*3]Vw֕|vEɡ6w6z=]yqًHni ,{9Lc!FCG/(lntъp@$x; jP扊ʱ}W%NUA[=$#viMOmt 8èq͙/ek|pd!%ʆĢ YCX01[{l Q0l~ #r" W@FTHboVLϥbI8 @ADsdL=M uAA3U;,W%WT$~qcU ?7nۉ`!{Xiκ-(}&P˼?>S܄&as-#w`yVfTP+?az^X>;mcJjTR` `Ha?]cz}l1%sXj( FtCI%jY PqdAlhmc&[]gd*Ns,`|:$]ޱLߡ mT%\Uͺzmgw%.{/(aӎƂg4]2YiHFyf[ >m/dha85I7pGnNkMeg@Fr\CydyclGF Z"K4GM< QKqz)z-g :@N=(+IԐNAjV*.Pr*RJa۾Q(szznJwffZ K\h5x9"}2zXU9? =t(As ]B"u ӬSV7gt#S?b6ـM4F sX~'WV>q~0*n7'nr0I-xN3Z$G _Pn_qaӕNHZ>*E84O`[bM)=o_gxcQYbfc瓼s+9lckPR"1&3([7SNQEֱ÷/W<^\T\,l$l/ $\:AV>BtYfsj(-(.y+$KWk\Ag@}Ⱦ^$-bB$;{/R09_:i~_L /U)3!/jVUzi)%l4_k5ģoo\:40a]h9.ܽm!Y{K]b~/okwL!EAiLysMd|I|V$@M9>`wgYZ5edbcf4ce6df947a87c8826297c132864e47f9bbe718bc473d45ba4a009a43bcde2945e08948280b be7f62f52b4dd690b858e54668dc2f0f3869e2f3 e793ab6d3162284d1c94253f6fb1d5f42bdfa472 d738d0430c330bbc9268786e9bd752b52cdcce6d fc0b00a13531d30156dbd89ddee93ce79a859c3c