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  = =#1dL ]% HOL-Decision_Procs:threads=6elapsed=216.952cpu=992.608gc=89.240factor=4.587zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1799?]7v5~pLpAA zw5 XMoi/ۤIتW ; %:@ټڮyT8NWFn$_t "G&0}8&L߱PN[]q]rbm垛ly<9@5 0$MKKJN_f~Y#sxЫ;6HPn>i wsܱ;&i :(c}ڿ(so~z;e5|NU]Bӕd) #l6A֔tn^NZ7/eP#amq3TNXKl b?B8=F" 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 D"L"$ŗLl" b XS2`;W]m4o쌽*@Pi(A;wo9^i;zkzB_FP0ه׻}R;C55FtIu†pCOw, GBε6Md^ТSͽU7Ղ) LrˣH3 $\dŌ v){0C pĤ3=p(Jܷ=m~r λfGځTc aq֑ykF8u\OTև$^XtxeJ @3dvpbEw=tDTPi)mF}Ww#{ta(8$bP p[i@$(/)B9r)4Ed[5"qz Қ7{bJ)"a Ϝx A#k ]חVO!;Il6w Y 9Oѩ &]~$2R-X=6xmǍgLћEg5AT ԈbN_YZȄףuLU;z%nm΃YZIݠ GjI-=ˣZD0h =e]ֽV{v]b[pO^ـ8<.,>RZU;4Wv=ioQ12G:}m (Nun682$gDjE:-C-[ 5AfGTFHf/|8(sف+`hjWP<* Dy9Aw-N"5zi=ۿ{moV{FYE&7n,[9{ԍ,sΨ"}q3 QkE Spt̋6B*)#Lx=`+ QLUTY2  ュXvȟE.U\+HnN{#LXٺθnj:i){f wKt:;t(r3o$_r9*m`O,~iH$Eem6巾ZUTlWfDصB|_]a=fRB@srG(yKe|+,BPS` d`= V{c+3K+9]K*ka- ~-T65}^bRʑ~wxI!rds#H0 #?@ɽ~)Qhn"8kKrYAA lU3z*ʉ LWkVÄ6(P|gb!@奙_ _g3$!Kw٨$ [Il&*U$B\h12՞-i=i_H@U|ݜ: -=hKIUZ=N#@mA2A!4yj-v @[>cxߢBi4IUqdq՛ɆE 6Pэ8&lC #B*# ۊ2 T# Ch$h [t}%eL#OanO,b鹅u$"P*7R=Ŝ3~)R&4>\-,.Ve ]pUxvt`[CA lr @chۙ cT >wۓGv\u%Zhx/J7#Rhjgw>>㯽o~0"/O,a)qն-!.ed#xeD,5!:v ?)=0, 5``'2yU Lxُ ^^!kuwj;fm2h_Rk8hBZ؆PSd](d~N/ZScm^M!xz.ZΑҢHeȞ݁+1ՊH ܵn袢x*e&*͂m6TU(?4Fӟoc _Vo p(x@HgzPBFNMoֆ|snVRʥ+K(+mchy/Ft^3o+ÃR:Ttބmlzg&D@4DOU𾙏D(俉>Q6$$INt>ȖA0"}D :>"GN)] ODjsÞ[#$][`B-A 3[wޭzzUGw6371F"gQR^ʄ O^,U.>E]tOG]ty2r a۫ӇsQ*)L#]H|=*XK4ԇfF#y^wGbc|2:9HSg:V;ʖ%e%8AQs Xq쿦7xNI^ָۊ NhZ}:jz. JwR + tHf؆!'/M<'dl#|.cIZHLB= ,/+#[_&J *peA-8$,/Usۣd ۧͥ ~ӺةBα<Iy%w)B~NadM{p`^$) =WO/pry ֻd0eGKFCl^Cڈ2z޸G&.C"R. mJ7=wtɎQ4; >S5}"I/GQJT%E٪M|ZZX:fEĤo0ckm)d:-wфR&'?G4Q'gǰn@[_:+&/3Oc4c} xfJSDM6R6#ÀsǠ_2W =vKnm6j]0Fr|[go&$7^>ȋguVpqA9-F!ҥPaVH "@h Cē##UxjL/_ m@j;|:N<9%ÈjykBt)X/NJX+<2DЋ(4QdVzWkx>l¢&% c וCWBcִFv]>qK8/~ߛ$zTH-}Icg y7DP&uW*fƓJqh{C\D+;)96̏:5Pͱ pG.󮛨E^yΦťnqDXSe|X"]T.<~nXX "Ef~0Ak)[o!;*<ւuQX/$uo N oT@?@)a301+DLg+_&;;P7uz|])2ґ-_6^d+ބMaUkjd"v< D/g*U0x/̟ZI>.UZ?9ҮzQ;'δW7~.iU,4:ȆENX?ƣYET.ΤI KLB0t$+/8z^32OՎRHF1b C@X4M/5(ѣ&SvAzʏv P#nX_%vIRZ(jO(4J䉦 yҎJlİ6 vkl&wɢrVfUGŬS4LLH∂ǔ͵2b_AO /e/1c "z0Wp"7 i;Q ^節} X lS9v4ucU@(-<6: es")HGrV_<u$i5iK"m0!P&j%{Y%jLZ^g]H4k_qbb1[>dJ˹Sh$8yê:[_MTHP ,~D%"F۩Ed"sR]Y"g} hӓNSD)DEmHȖ@Έv#+ S&3+agYZ7zXZִF! \,]ŗXiɟ17L? KxlWP8SաM~>fٺdO`ٖr@8@rcuP@vcm& U˘_ȉ!0^EBA.^@C?Fh֧ؤ/ 1 Q}+\թqX=>pSGFuێvMnJUN\cU [x'$N1M")͐#7L=Z,-LaD/>-Q$L_0Wdc"gF?$J>oiwGT/vƮنrݤÞ\.s`&϶Ju)36YPugd].F̭-' $=Ĉ)-|SYNNשq(W5}hnJh6C!A>(xnG}D_Ildϗp:,\8Gi)N6I\7Vw9=b,Cށr` BC%CɑtY)E+ ᔯ],,݈,v+2ӄzm#qTcw/y]Ô.}m鸭(ӥRuqRgpƓ!,h:ݜINQU+D x9sJ/f0]xGNXY;:˞3o[j]rL3M >kftEr,{߮a:^NH$0rɬr8#WƔy|SCgZJ0@Is>X]  z_G#djuIxX Y ;н￈iPqrJ{ʅ$ț}y1NXd'aQ߳qp;zcHp#}LgkFy7א7*˅m }Ѧ\(Mj2骘W2Ku}qciVn3Idt )qCd0+X kukޢB\q!]i!Q+REZe\ | fID5=|4o m C?(؏I].I-ۜ/`D,4hS;5)DCi\tM^AO{zBaZ$o ܽuڭӊ@mp(.g[nS  Z\UÌn@( /gfê~ϭ*M ڬʹ;*%܏掶Md6P)u^(7> q9Sd|ĦJUT&@wcjz: +S^P\r7n}IK% Lf*7"{ '9ZC 5ɑiCZw2 N$gb{,;l5WOT@Eyuղ+"k)Fdzw{f2(!mu1~H B?.1Oiua+4iHVax%%q_Ct -~z06;`i)@NGڜ+$gx.+LzRx뜁Tq*rh :ZMƾh@yWKϲ\~a@ǧtf}%p) 4NPiZ{ $#e*^be(pA}p(8mx;!J Z, 4jNߵs2:9sAcT`-աWmEJqD5nsnuZMb C Ia,L\1RzteI wp)*s(')\}0c?N{Tg_!hpO525a`ouEF ?"d!9O$˻k/\؞?}{-0$s0X9~.: {FV΍>(0-Xġ?_G}|o3L?AG'qĂS*]\5Q`&4;׹˫kF2p3 Ug1oi;:lH 9ER3sڈm9h[ h& |ݬ7 Lel7zL֦l="Y"_54҇2vz -KqlvS{?)o D5הr~Dӯ]`Y Ί?D0>PÇziԱE`A4 _Sϱ䡜~Z6PHa4)Xo^c?IN2"iZxсEEb7مFъr( io_uP=  k Ca9?;o\IC x7t%uK\MSe@}c~ AXrg"z> YsmhSnFCyG.,_ߔ9QN_Q/)m*9Ę6.}zg6ZEGmZKc$ gsvȤd b( +a"(l `496f-Gqwg\қ뫤f ocNO:+/wL׆" O/hHp:445hr͟G8 ˆ1lq\Ud+r],>!mP/NA+3b6G }CRz{28w4H7omHe(1GE Y|,ȑ7?Д6?T"`B@"h gt;IE֏3A#V4P['v 1־go`T+XXK{OZǯK4,Ȭd`2T5T ()_&\k|?J#B˃ZIۋ_`} OZvu'> N6Sd<-$z 36+z/k_˜ !>6M#1͈v5^NXU#;D^(@&[ n<~;7'l1烏7X+ I0-4E05MueF=dJK~c@6C2Nf,q%K,4O6xBBJ 9">7^M@b7Tƪy\}uwpKL@#9.EW?ab ͛?%$o6bgPʻ'b 7O3-,qM u&jDG6<̷_j wpz ^|b0-}-A@oCĮZKI,f`dat/LNū}3ݐ0#eeorX﬚kAped}@BNuOyBpaRu-MсM1E2n@?2׭O_.p~s)$&* D$|* A"I@6{bx˫:]os=$ sd +D=DsدQ"8m$,ir|Oc9 /?^B([DуHjqgAXIǦQwtݰ>j`%هe@G< guzϠtc$_Ⱦ&//j6ShwSNZ$rۘl^~TC{DWw/9}z%MW*\6s7> ,Z21y '}fct,<&LMD)K|Nf#襵 "Q.}G*O]>on͐@֎ J ik!}`wQ3~U=} i6d*?Z,TwP\^~".`M`Zm@.jzi;5gQΗh%iVpl-лaog O?mT> 8;:落YSP"nL=ORTwڸ]μ9[ S.;V(6:%~/eEh3Un C,2dTxNw,xAPAηL؀d@y~ >G[ϳ &e}az\6k*PNW>&̍j, jP۞cn9- 65x}m%Z[1JcBZlPv+ JoӼ"!~L\s-yZ)72bE U"d he& U+7KzNeSszZ' LJe n:'y!Q3jôk=٫ѐ=ʌ}܀ZmE2$k!A[ICc xsbTGݠg7C xy)/PjBKڒ@DYpLf$m킐S:+vJaUS#mG b4%R ?fZ7pnUQ7יQE8 W Frf)F^eXY@!1=0|/SO "/BO6Nͯ-Sc_버Ǜ>s9!FwLZ ≳yΛ#/h|)} PIYnEݍAy" 8T`Bp Qo>GiyΠɰ4yQB's%S^kvuh.`*PkOZu,2x ikKQU:E;;8BųDԺm8祵;+˵+\a\@[*W=go"x)-)FJIC`FH^8 _x0o&-DhfVyDaeStAcW&WE `.RQ!ewM]wE);n"=;q7E,iBrwkxؾN1KмqEΗWOd_EDH 8)7U"h5 |5plye$=pRFŋ,MUcZ$v$ixbΫ1l+{TpLύDU%Ϸ ZuN,C!&"dwE#cXW"^̨ 쌉uAQNcOk_yOuD' .<.(%Q,'mVkYH8sQ]%p,&Et&?x-=R"}6è|8vivl+?)LU<+,/>O"U@TNuM,C_RD׺^a|b::H2bq-&-%<͇Ss/j{2!ofMp_ jY?HJJ :>0AMcqpQϼZMӺ޾܂ۼk\h m,3"kIhQ qg~P8"'|_ta1s3ʪʒr(ł@3eA6 tռx-&F4!5DQ[U6j1%Lq> ƈJb5O Lĕh _d-ޥ)bhS~?7{?Òko9rW,+ҿPiր>#庥pas=;]1P+|YϘNi/N8_Vf0RG%XdYw}dہ١Ϣ՝eFiKІ>mfiu7H'5X [}{̿oǾ !%f@ qqoe+WC"AuCp7>\A_@ńͨso;Z_.0eJ|(k wH;<&s78QHTEjj) :ITi*n;}#!jx !2v2]FzrvJ+>  5.HU* S 9*丰Ff\ _߹X~bAeCq%pxd/e(ߤwLJ'm-r# TѨe 8p`V !RO]n|&\ڃNB]h 0'ƍ?|%VU\*` WF`JhyaKA_M; c}|["1E0zvs\0Ϳ!R#iۧ6옡vp-<8o(3־՘F>oE_4n: [_Uy݈C_w4 8Q 8&kYJ_1hzS!!x=C6 'sfS藂4/P T t?1>qk.SpEy`MqsTn,VsFjkw?ny\`5hO[eωatmnw!y>(k17T /i牾pu'p8$V^T"3-GތL iQJ̧RseJAe`6h6bvQ%|߲rOnItp΢i3;~}Bjqϟ˥N0+4>q"ҲX:ہgԚt7lsXWi8nV2<1Gh *YBPcnX>>!>z`P@3p"MrM̖q=隬(pFB՞Fe(!37a&->~,ż^+ZF%zxRpSt6=blghiã۬<դې'2(+_V:/j8\M/Ao~BfYke{ J,c3 |XW='Q~tiߋmpf LinBf&]w|ϔYhww=fEmiŧБ(gg ]jl}NAc:ո7y>|ՀR}^) ^D0\}hM˽gP \wքIYǿ3vt4WT|;_LAИ5o Y*PHJ[C_hʐ=dz 䦋?!tK]ޚe5I*iX./4SgVZbIa]ƪ@me8u2G<Ry ;JkH+{ih5U{?h{M"#DGntjhaMx<3h}uZ:8<=3^Ƚ(#|8ЁsٟsYqIۯq_HA *rB/kTZʅ9*UYG@dG'zD"^]0#u ]֝bxٯk=h{I9Xг|>#:W҂ԓUdɊ vh"k{H_L,K<= YJ73b??_L,J"vry'~iBy%l~7XScaE^Ə l4ʺQ0fu{nL7BI  fsxHTzag$}CqԓaO+>@YZ G!Z~xZ+K/xSv6=0s6ڿ3ܻLl٨0[,˖XKR8o1oh/32R ЋVI x`)Yp2ljXg[)KHo3[t=P̬`Q,/@{|sh-ekGCAzı5ΧˋZ⫉?r0FyCo2R"0XkfbyMc[ؗdLTdObeȂ yœ KĬy cؐ?xYqWe}Jt@as(*`.P9w78;&|ןZE.Wgˑ/a&TQdceh Լly8ͦ9gT꥔<`D\^ry'?%Ko]/cD"bam rH-7Dk_@(yj/pPUu|}Qz~dni+ٙ8~T4<3.ހWiRB֘^)qviZOz@pzƣFpci)ԕgʌ6J̖O L';|Bvݵ!qo%v̢T;\b ! KukR ^Eca4j (2ZtRr/K K09`t|t#BVq;ƅ:%+xa3 ]SLXTm:D/Qi RoVαF3xÄE~GHGxzwb XI$<X(z5A9N/0ZSJ޲ᜌ^Wq0YW ՜Vi\}(Z`BGh@̺l\RB.WЧ?o;{qF>GxICq|5Ms=3tMxʹs)2V9|'YQ:~Pݼ]'+{UCSlav3 }܊zsWLZ5"4AלqsK/B({_6#8] )!@Ki7?5“dLcGœ2*iIpFNpe~ 8"y龜G3`3Αo4gP'7(,9\' I#78;撞}:n'%=1:U\XpD%z,i_ D{f#O:/% >^@a P 6t"W<_(>)p39|1J!4'vM#wE` ]Tw 0' apfT~t*8*GC3SZMn&A{J;C!NlGKI`.Qm&**l2Jӧ4D D:*BZ\ r-!E?bv7[f¿|5'Kkwn]5ق͵hp!sNK;=eJpMN_lrOBO`2%iÝ6QM~ڢ- 1<;d#ƭ zl; ,ջ7Ijr/[R9ĺ.6[% RsoOڿ=K Zadq _F՜+K"v݀ ʌxd:mzWR2@37}\t<"Bθ䀄݈*`zM2WFƺhƈzD+1R0mw:4|QV)*[!Oe" EEo7ÿvX=䲪b` mLi>Y'cbѮȞJٽEQ{o v0ܘ9Fx0Kk_6AHr Κ`m 0ߛҗվp?LbgQ̦Qа'{Jj<0Ig #˲}J̷dZgLqsåֆ=-et29IM1n.B\U˴Y?ܷ!g!c )krc^%"!|Zƽ~SIVY'B1o˶_^D7 X^%:λ]*vUİ`v '0Z~Ey?SP wv>f]HXղ;ܮҿ^8?,Y R!+qzT@û^sj3e)TD{<`i\`'R9ٚBy_ iG/*Fm96-AGlB" m^̣fټ')4(0Kx&~ݦ^x$򬭘AK4}B!))}~x|nkB ԽyKQ1ʚ2_:O f6 V[\K]kQs+j{Q \J_x+|5gb鯪7 P1r1pc3ܱD,}Ƙ D *v\%]\ *Cc$B];4P*v+x\P3`?n@\Ù#%b}a)Z&wĊ,/QWc J9JO)C$@Cl5l`}JoDIxoWܙ2_b-oL֢֠ £,뎍|G0?߼iKޕ! }LE$6~ db.#6pO#Lw*CkJbNȷb?xj& ewf"WK09uEN`,idˏ'2|(_kh.:I@C9A߻V]""G ̐4t0p[!]uQ~f5r.N) Q EXWvx/OQ'@4Ib TuJH(PL$RyOvhdb yuhp^T[@)+c>q![ *RL,X4D&i[ɤݍsVN?K@o껓sΛCC#j3OS/f qNR.8)X1/ Ҭ4[,?ؖ%6&S|Y< LGErLҟv"|>'kKbs"A>i#6串T[{9Rݞi~VN.$9SlɦZ/D>x"|H1bā m)a2R$ݒoi JFn=Mֳ2Mc=얒8}z:o_ sLpJ Fiۉ6Ւ%OĄ\Ͼb0ؖf/iRCą>{jxt}X|.Њej%>l2KN.U%[Fgܧ=eAW=|D+-/֗uYg~D"=gk]elɌ= J#:NlY ̜e}ɰ*ҥ"4I7uJ9!FsSbY2=y?jrǿZZ h8q~rLGd-nhV3 {g83eOJDN?Vνpc1~}42q%TGGJq@{%\X0J(fWE:tAD[g&D|eUaVGŌx,?ɶowH$[-PʹG.`JN!ߣ 2ɕ6QVxVѳj°RY¹!'JfV 4y 4;Ψ_NSXѫ )F~*IwJMyA@b/6P a%f#C&]@WJ|Yhj^ j#`v7_+'`gi8~Gnl,(6|JM~a} ) 8ڧf Fτ~p$kAduQ^ȩKUD{vY:;v;rڬtrb#ou5 =CV@B9aN>p,^2[j-rRU{bXaMBиCAP[/xI0MA@_LuŏFv4~ZFBV%DQWm Hvnr!]LTo}TvxJe{6KqIX"ᯩr2@buwxUOs'`!WPh"xUbZp P:mb/t/0jxQu[Sjf+B |Mtl JZD9Fё 1l.*{1BZ X~>U䖓#of:ٟ aQY 0u]f}\IZ,Yﭟ6Bap܂T;cY@5Y$9e NG%c,ȧqLg}s@Œs}X8eG8Kh)hݠG8\/UwaƩS@̻VZ=WEMTʺ֤AhRZ ~Ŋ215ZhLny13Mv,\6C%K wUJOE5Mq(|GM 1-0PMS2@tS:ںp[Kv Ѷ_a!˾6FqQ\ia7`,}Gr8Һ(xKŨ|IYl&(9-C˯9[3\{(On]E EL[y^M;pr7KYs@|R޽czEQ%r_C e踷qh.Ilu)YI h]?K{Tގdt"ьl~fFIfFO\gF ]=0^c$^<&Hp拶AĆV4cTLOK=?\h5-wԊq"{VNLaʟ|Ig~n+ewW퇴^zI찔C螇Ltfa逝+o:,jFP[N\9'2Პ/wYܝ@V~H?.i66zp(em$Ys|'yXO%0)<2/29mLLpdTtM zI(& ֶ@KHnj%%>n#1*ܫ^=_SgNa$k4'=PȻ;jKQLI24^Ta;g&P[Vσ]Ji'"2-d>%^P R@1+M`Cš derpK8I[]>s ވ5oZkGĊ8LaGv >T`mkO7K Iܦ·(:qk_ܒ%(&.@@g7$eG2({\{\ˮd?6.%ET**{'һ޵zo+&/ K4zzU.{)+bNVYHʅ疾V' Ja^pYsKK΃&YokXV1#0<9nJj~T=WΩ?k!J'A < jL?A#ZIAAҜQ2k^fm?(v! d7T!3\lױgYZ5e110dc2a12f0bdc165737ef34fc847b61ba26ea99ecf617d9791e97e2694500834b58fe8bc0930e fb68b0842b63fdebe460681283f3a90a587f7212 f82c788cc91c200dde26fa1d14e388cb48b88d4a 9bdf2b77ce63bcb84477867ac753cbf7e7e41199 fb293c4b2320e27ca788248995a41b2139f5738c