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 1=E!GgE:3낱U c_:-?0jx}óȌݧf}i"W#0Pݟ+o<O&pWDpS&! "<+u ;)ML\V:rو(nǬ(עbx ꏌ{w9(:N6aeRSqvp7cwE 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 ӝ~g(ߴ,`1EadNTd\0_W]`*10̓D-K–D,i{3T 8$3hqKs9A?Gӄ.p4g%u:vjcӀRckurWoQ3;qam%mY2#ó);Xb" 3"jc$Udۺ~Yn h 4KB~~F !IiR1B~jVr|Y]%!'3+'~%Nw~C 3!6^p}!xo#1$kG a\ KhX^:gH Wde^D׈KmQ:"j9'7ZSNG;MEj^t9'F#Bt$bg4h}#k\IԉpWw[ jtN4gMa"O-DG`S$gUԼ'r7Kwx$<}޺,(+ ^ YGdUVtlAJy;ޗ@8ggOJύK-QDH@a1y 1ƽ`OJ;iťdT%?Shs.a3=xC+ E9 R!!Q48-w4S?VdЇ˚Oх!`o.(0AR@Zr[k޺ɥ`v8i~|>KEJ3PԶ<%/4[N[fB:\|&ԑl/țH7{9domRgR`$,>|R*9}ϋ7dH]bB/봦_,Pk6fS`!(E޿cȊHra`d")Qy } m-/IT!֯oޙ9.'_ 3%d;99[w+7q󝨴}F/psZzIN̓ug2dV&O=ȆJbY l4aa c5[Bɢ;>`Q?GGH>;WV06R8]w['}˪C*H]tc9Äoa~\r׾FK֎5+iu e}վD/%9r=Y).F)0K )8mst{&91KL{rD0B8&2 /`I *N*u(QL4QC'U#7dRӒ ok! xFM<,_0(ڱ]XۨP)̬< O<0*\hJuʍ~ϥ++4{:` [k X@;%VQmbK(;rA7{H'uQ]vU!d| .30)kBS۪Wܿq5j}g\NC|/HXo8 u"2g<"/?$O RceGX: ƃg 'i*=4''7O,M t:4?9Ovך6;'/ESFM.G'{MVF  pGOZV <8 Riܖ{uݞC? B=N2gH3r2~Tm/Mn1MU.RtΉ`<|@ˎYB~M6! dk ^ 0N$d%͢U)ǁ[I2ф% +@ 8TdöwTA]M,ۆCq8?J%r J~gƃg7|=(SP҉ N?5dSoP>0bYQ u2ƈ9WuÏbaQ qgx`+ [p (gWX^^W~F*a{1%58C]j*\So@:-e_{r3|y ~ }M@>fd씬9K%x ߠƶEA߱Dn#j jPХ]>Fvr IbPK1Y#4f2}zBC> \B&搀g oq%@0XpIS◝ +ڂ5y:_':YE,}JBga3m5˚ds'.uiY˚HI&79'QV&3E(^p7J5J_ۊt }-+,_u\l{0A(LSYo,/8w9?,|*%h__QtNӛ_  XI(.4#AR4S #JPkpл8Uj/rDgwqEц%:!LNUby[d`E{}9GZm$.4R N«s^ȨbpZ,rp".ӳ8(ءxȺ2p4`C~hYe@fv*يڮPKmxդCp3qy,,#dH6\uo TO 6&x:]gĹzat1Ac+Nܧ<ܐ8y,RRR&?w+=MrfV}f 9VspF<-:-ZaSn&= &}i0UqJ֫~+} Vu JqPYarNJ\nUϯW3G2@m8Hr~dF9θ>ƪFj9obb7/ȃhm וRjʡ"aOw4weH抐wE@\pP:5wLc;=A`f[v%P!cjMKmʥDtf|X&uVb.h'ô0Q:Y4=!-oDw}=iI%iՒ_mtB  2kY /Bw}$*}gUnI]c:a>pfٺdOcy08MIgM63t8иCWB-;`96$"щbJ|g E=V}kS;32VUI<XrUOk1 Ӗ[Ļ~SN u{B<9˪w) J0 Lfن[X%bw;Rw :cF^?-q3j7ħ}m>fVLۚ~@ypLUe4_Mh+*_VT.2.ICv}m"D*|+"G 'E_Hz) TBt [mS-yvjS-[XH{[?/0\gYZ7zXZִF! R]ŗXi%GŴgEFOD̲e!le4dPiJ?r6bc[RϖKN9Tt>2^hpkUoe;vM?P!ħW3?̰ZpϚ:A}$ Y36x0 qP_8Y(\J"*9alM|,9$83۬=\SAžeLCt8l\~VL2ԿSF&QJ{{/B Eߥ'y*odؠ׶"a 9DcIϚsAփRG熦]څ-Z9;b .`{ԍjt_}H?"KG-;2^PxT|,lupvEVD֤ Q)k uzLs*D?ofF 'y 5Z7oٽ+PA~R9/ $xxt %Z[/2㎌|#!w߅ ~6kӄD #;MjZJ>R| t ǀi[(}Wq:a4F@bx,>Z_?.+v_!k Th6e Ū"%ItmjԝXgkd/rvJAά.݂= JK{8nfomrL>!'W0-f'LcofB Լ.H@#s?-ĭ-D5ތ5Jr].!d*4{ʾ`2j;6ŏk;1 `gQ;KhuС7a|1R )W;ҤW oy/ț!>[~&XLad>< *6!_bOSoBuqqP6T<73*g^l':.2Y6G +ڪ6 pU"D&Rn6Z@-ئe_Nt*X2HI9Eu'No0ho3*Ђ(ѵ(+g! _armִ|?R@hi3G%/<[3 L=yuNٽ_*Xl=m7tgL_ZO@jex:6Ktՙ: wƅ׎Rb +]J%cBֽ/!Zm#8y :s73ǜqoEpK(fzw] !ϭW[6d3HCk3С󝝗u})?H5mzr͑5^[-;; `FI){z1 Lk\ّ!jrha7oV-4٭wt32D6aZ=DswR 5};|$FRs҄GqpN `q!؁.m8rE{."1܉ {VD4R6 r W1 Z0ۓ΀qcq JuL mmkq]'U:%7βN+((H!0~1)C>+ۚxRECfD0N=Q8Z`ly8t"0U]N8ar]oy0344\2w<$[a\f zҌ(hHz/2m8ceKz WEW3Qs? X_n/"i֡i\H$G__ ଧ5\C1 5-qwN;]Z!Ma F5GseVX83'6_3Db7qįyY+C }ubk@IʎtǏxa/dJiWtcwlUY;4zd`ʆ'c- *z)(\ZJdqL 8M)TA1d!Us-l{]8DA3? osf64'Üfɧ+i =JwC PgΞ!]@F`yy9`\VY[FL)ͨDh3?s|::%au-uy-kS& @lz&pMWYJ{p¿R`ё'> 䋇ET`${DkÊ+R~?,>Qנ,+Yv "NCg$wE;[8\ PֽɨheWh=ڰɱȱ+~j %\Ymqա%pN#>c$"=.NowBf#B-9J_JCava\tΜп#1"pLeb=T/CNjq _觜&/b(HtQE'R۲ o*5Pc.;JOT&( "F%\h*}nҕ Q{3YHbp}Z*eyQwoO|?*MV[=]roRf8Iѻ^nįoxw'q8aMuiUyI#Rc+d_zt߭DAXt%+ҧi~ "[jsHA;o=>\ٴ!~Z&\&b ?M3q%TBS}y/OPqmEY1E?rQ/؁RNT-&k= h-vdi+mءZ6+fF=${_4;$?.if0I:HyRS 0ٰdtHte> Y<( ZrwF,AOWP ;I;ASҧʞHnfB?+i6e$p\'z[.< 3@z婪vc6Ä&A2z,$MXZ]}߄Q#6_ު\@ R;:Z7QzsUD;0N:O5X:t8)h޴ G6q"K)Xb:$XZ=*X[5n;Z}p+uWp(pIRvp&Fя}$Ʊ27lRFv(4\ym^nNrjlJ1dGYTMST^DS=LT)6OyKqI1q27E/.+ H:l= .WG%+!<1"Q)=b;Fb99:-/lc- 9,L *'Mxr:4M&j!*_s5ɡ܃&'X!\nCQpD-0ÚЎI\zcZ'o^(uK'\oT V0no @QqM2d4*G Ɔ/n;mq7~h.ʆˆOoXPaDaΠSg+vGv<(;Վ\!gW'wzVRa 4NsY3U+Ekp$TI"& &%-™D!O}(/4qg qlU`+T9y.gzd;m6~S/Y6m<b@j½N!P7߄ [47=ۈ^d E ՜>I ӗ]CׇI~*qSwK6X42\2ۺJ?CJfuv<;U BrXdl=Q]ínJۈㇼw QSڌ&]5 Ai*^ӔUI]LMVzbR c=Š(]cO-*s^Fꇫɍl@ PMp!-NN=˭Y%9^s5F@λt?]@.9K aa5U7oRR?>R g@NsK 97l !isF~yQ0}jbf T£;^@ Js#~CJҳufgG/V+) Nd.G[F P=YD?D1;Xfs˵x:(ldEÌ= t9Lr>C4s%_6#.!Iсq:=?%*mF)ϲA&aUSr)Elָtޘ6,zX*`jo- I zS0K)< H6hWS~i+#i4WK|'ӊ4~n_aYI/ O^+P±**SY /ǏȦ9W iH7h a8Ck5pMaOm떬ġ ī5֜96}(Tƀ2=7BȔ*2ڽ ɨktnkV4cد̡g50Ȍ"_ j06XﰜqM^swp\Z1ng__A=Jp-1u㍆6Hl*τqM0eVBDhyF9L?`"H/iDKqet/:_2h^`2˓WZ~&}E[:{ "[!"o|䍤C {A dYQs'َ yy|g|25g⬫z T|;Hc$ђp(Ig&ۘɶ%T}?-Ž&҅?? #So"g'e+s%Ql3zh!;T{mw619gvWxdh'D ku,%_B Xx$*]0o3|۞w@=ʺ8.1$/w;[Hz yK#D)p?UdњM!#ܼkaKv]z g )o,G@ 8n9uIuCذPAR"Y `w֣ 6{Ez|qWrA$O+0z`EpRo içZ>g9LC4j\U̚ėDr/GSz@aa_tq-/gGw4;V aei +tϝu`ϥ:@fVU!eLF)ZŮmRdŭo*f@u׸FzGعHcs((k(Qٯ$껫3wsI\8FrBҮg+.0FEKt|Rcw|LOLQ:I8ocgǝ=CGwuo"a:k*zS;ub1CINxĥo.3餎?EIHL·G%PokFTB,ֿS|~H|>^$BY:L[>a}z!,er-..+\9W/6- YՠzOG2K-Rx+qܽy>%J 2ỾK,7wwK-iU ==7cgMZ:hx˙|jdzKeXO_\ao| ꧽrl L*R(K.)v:cKQZ̕2EHC_yo~wA̿gdOв>*U>z0LS?Ut8Pک:) T+1n9 Uߢʃu1%t^CIdT‘tJ:v+M .t\s8a 뺄H# E8)QtKH 5"@\ϥPxů2)K);?WDvfC8^6˹,zPïCXHL)&6<@T-ô8#g~cX~U jny4i*#^A J#nMv^ }a`Lbile(>?@7jz* Kk5[Slto ep4V&S7`wһRGt`ЄϞ`V+LMPo1]k'5N_s3(8֞xp o ƪҰϪ}|$1wS i-fj`ѿ ؆! &d 4U<N7Gi~GbaeMm׈kMXϬyn8E]J欉լRIU *E.H%WYF~gtK{X`Du-Suw3F4Q:]~ ׭8wA ]?婧=Fej夗*t ]T\2Qu-ARt2ZU/JDw82:cj zP^V\&3PR\"ӳB! 1 ^#nQ.TݦRgAPFws+K1º"P !2} $.AS!s*JR+J,r4xh#"_FO#%~_RyO¹m8n?qҎU"1m(0QCPW{C 0QM@"!]]<ͿT4Ё6iaDΥRHn{l pJYͭ## `*уrwxQ99K;W(/>*<J;Gj5 *~u1iհbW,̵$ޝ(υPc ;Vz*x jご?pC۞5*xN}،8W +y7R) Q*lc%9 [eWŠe|0wv?tеmo[.FXkW0h6Ό 0ѹ) arT{memGG X{1;SF' 0\ѢMw]\D%Z:JHC\TbY{BDFIՅYf6ܪj⮰Jh@_k :s]s=K":?&8r|)P̹۾Q{WOF{~2CNg 1") U 6Iue&8nZӟѩ>lm.X*ǿY؂H󓁫xNwe.!Jt lV)Pz̗V.[XN{J֤Xj3$㽛-wcae'fq;PFA;LP"6ĽVaXu (%Q +>-e򓦱z : :~Tz%5rN٩-wjmS"Zs7 <w0[Y%jv>2K789ݽqO/cۊв:8LG| kګ50P06V2(mォHbd4ՎUFJ@d:,.yQ/\)5Zh1 ݋@YA6i#r fBڅd\2 [^.+prB1r)5,=PzHrƁxR:ajԦ(݂M+#]MܕhwYa _j_ufXf*^jnV4fЮ^ .Y$ ãʤȼ~Q7qvnUB-Xh\ ZڜwZ~6)Ek;1f#H$uT7Ey B}m0Ș\u#y12 x1. ]B"#ۯJ˯ފ;d57*d7 @X|A]aYx& w%7D~W5Pj3!E wen/V$*D|8vcHptҥy-2л`5h bWvzI!o9/gC|r)Ou+.b)Z3.F߮0\9LҨQD{⟩Ny=Ho YxdZ-{sYND\ARhO( ¸,\%عL,PÿS kWQ?GU1n7Ѩ=? 6`ܩl{S!R4dg0|kz^!Yng(fI[ކ" )SO\b `м;Wt:Sg-f}ZWŴ:{'o:l =ʥ7NX 4ٙ )jfcny C=TUSFk5.xSA3Z 1y9r԰6Cؾ5fhZ+vx Ʒ`լFι} Tg{\xzCŅPof)O2fYtkZ .x%h4bD7cyqOKdfUpَW[t`{#՗ATd\\('?' vie<9/w\K.4,*K!]ox 5M(9+xEUkE-hX G_(9աkbA&$)xXIze X.Y.0Q= kW zL IoH6 @a ]itFL )%EZ_ :$JF'.ଝK&j00h@f{p < >;JͲCԜA lF#%R{z@CvH;=+/AtKu.zx47e7#sY=VT? [>%?'vѰb*qRQ\aQh_$:߄P@"V!C\Gt#!BPsKFGމ.63Ɗ +kZX|jAfL+B59|q76Xd& ָk)"7 $oIdP'FgxraϺ\|5[ŒÔP FԩWC=L%0+ _5EBw.}TBv=˶uW5W > !tOv{q{(Z)k_*1$H=f/ʡ*7C<>c8T2s>Nz'a?.$ĎTa 뭤j [N <OsBIJ;fL=MLIO!{"S%n; c#=(# sVE3REin"{!ZG/JA=.fȴ| tI鎡F<O6! ͖v`ִ}#t˰sr!.asŔQgN*tCE\>Wjg٧+(-BA3b`OR׹򅵞VOf}Z`4RHJn?7Gq ] Fǣ #jhe@BQ>Lq sy{FpW3KG,xP·{]:^aQ lx#>eR6΢CSIkOPVEhS H.d^Uk]R*zL3*lYw*tg"ۅ9%@34>˘5x &wmuE-[97QM&7" `yrm.+X1 oLh{.I틡yioRTa9 :E™k*_?=/V:"+"*4h\ 1My8-[ =Q#׮֠: pNJY~JWJVJ r(C:Lb]y6I 5P!Mr9Uˎ0˨(d5r:D?1*q<:DŽw}x Cy';$h (!;߰NkF}mD/i3,$]fV=ׅ(E -)=LsYj vӧ>d~i:H:yCg1]w "` ;Bx4̭ <]-Jh=_CgfEfA=A$279reԋBi}羆ٽR02k4k hLO?b*I߽ 4/voj S8֤jX϶:vYRC2B\Y{W-Atn` t; ( O8ɂ @9Y]4yA z!it9)QӽdTŒY-;%t`5]atxIM.mS bmE>z5@^ޣ2j>1jİY"Wb\V`'vlV}v)R_L-,Ⱦ6s &-Hrehmָ7A=]:ꔗI-϶)ejeP66A^}^d`cVx-VtV%£eOl yu~UzgF'mLOo/ .DD2&sf-;!&8wļD##(])D13֠;D:"d~2yFg퉦0g5wiK!"dQ?XĖOmyl Gm85`5nH."'ZQׇZ͆6˗5#bS/I$!rVT8S8Y9 Dܬ $G Eэն.,wW}w*F<2]v38PQٌ!GYk` zC8S%>Hnxsa҆m,>L[G81lQ?S#ԮŲ%n2:0)KVZC ʒETV6N,TpbF~:n#RS%׋-}ypɹ6%}~RSfkշƫ_yLَsM! ~ѽEA/E: p\@Pջb"\|zuni->6 Kr`^PԄT*ҭfI4vj/QJ.k<0lP0Y; Ҍ!Y@G:a59~]5 gV`gH{2#rHė=2!4|&B7Kg;>[mʻhق(IJ=B;Gw Yނg߲# TUO9݂˖D*ܲ"=qC7u ~~3)=M؅y%u⤔n;6Q›5kZ[K6nMۓ,T>=Xfm*YaI?'TRfD0cOA|vi97;NWdA($=VJok;V x3'!0K.4<&l%"Ԑ7cy 9Ve٧ԣ},L{#ݴt%9,c%V5: '{vo3+P9 ȝJH P)!&#oJ <@GQg>+eI|lӾfˍЁsO/=20 ؎)/=] /T:C whH !p:|ew4\2ii}9koNǬ!Q(%-j^H`{/Nx&Z$A 8Vш1Q +M_S-D~9/έV V=AJjTEr. !| w^d.J$~ah,-:aѝ 3*_'+Q,}Sb$`I[IxG{EdLcBǎVd6Q=YDtm>()PrUqn MCWL4;CSqxLQ6-> q%ӱ`ڽuo@\Rj;ҽTdlPv -l%G Yb~"bfk (ƿIci2Цnp_q ! `Sbe6yTVRvV틐Nص mb^\խ6.%^(F)_L@Wu1!Whl'.sH*me'ƻ`ZitQKy '5J+*gZfT%F0κ?scdQŝwdJx ݙwb7YCxh ] Bku7 ւqFZUmG<UϿVTWՠ3I)k޼l<$3P2/( RX\c+f.mg! Z/'b^6K $@ _x7R#˭O,GV𹛂EV8OaQ{IU[&+b;.E{g$)w*a җ gehP a+z[_wjPD/! Ns%F~͂g=R\E@ÁLegX|M2*WqZ[M +y1gj'E55Y`遱{{[d{)GXkǵzƑ"ٳL N{Ē{;OxxMma`4†wA=_WȘ8& sc5LeDK%L65E `=Vy< -%zN l'm[%.жe%P4h#S@]!N$-V B8Ɏ}*K]cP${; 2!\t%ljH*M {>>완$4Ec$2CdnQ?*yf2YE nU-גJV r-o*EHia?WjI}[2CAas|⒫#HxwMhD=*5O<I#̈́b^ڰb0h>IR—bW s8W0Zt*+:@& D RѬgpa bsodz u .#7{ff^M!gYJNń@'+L2>[qN6fa޼yG0aF$/>{ ܺ`TMTccl\TنO~=nyje6R Z&迦ڲ.nI4Β`ݢsI!kynDwT i;4#YQVDcd8#ܡ}3NS{CձBUyfK*ۮtiv@Z=;qe5 6+esPX]9' HE , cԄɫKJ]O3 "Uزu4$PžPv zBfU1paG/ 2BK`.1T󞷥yUƒlcNbu7[RoE(:`JGI<{:+̱ F?ݳ~Ĭ{ɝ/偳w+1v3@ԡsA)s9Yf O t{Bm)П`堭HI)} rxiL/<! @ ^$|P$똨Lct Bq֪{̆{d096`z qw@{]Fi%}y0*Ts_8T?H8:9>CR}"39lc0*]SX4=$ >nПx_T,.S(X1pibe`ݥ)s̱gYZca680d984dabae2a1b8d8b14f864636423b6fedd00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e 2794e690bc7c789dbf80ec81181bde6bcca20a2b 9f37ba80bcf60cd3b5c3ff0ac6c01167d1be24e5 7dce6e2436a4025c446c4da1580ec1899a305c46 3199958a99fcd77d74d324df7e9c0a4758219842