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  E1D\T ]% HOL-Decision_Procs:threads=6elapsed=230.742cpu=1091.456gc=137.384factor=4.737zXZִF! Z]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bC-qX:F`,weV^Qi6zIj?:XŘ}t}c U&QBDڟ:dSx6ա-qA@ؿ 䫣a"NJ3 c0Ȫ"[V^oJSICSTLVi@,&DgK+!aDW]ec[K\VEm5vqN[ 4S I߽ĥIF9< DI菺hq/rϥ*:)l%WSy(1J9i'Yv_d4Z@y2_:V yoep׎J9pĨ 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 9ۥFPyʟh a ʟ&wG[> hA-{yf|.I.タхO:M/ l !ֱ(|yCޚK憵ݑ5IUk!גW;ȹwzWI,C#5|]⾿g%'LWVWJϑB9.,l;QaTu/9Fs2W:nGv=*ZMQtl+9L`pLT\4=8?]|_khҚ4qartJWEgr5};Oe3闏ڰu$Ӎo@pC9YEt\Y8,F<.wR.=²@B??töIr2p_\@Sp>HoKnD }iy3JkYxe݈%aV@(2ĥڦDRT:ˊ=A9=@8 8C@bSiBz}QO~,T.4xi-[\~M=Aau_:&,8`2Kގ,ZIa׋cܜ<)m2]RLi@bpǍp{x |(x [WBH}%^8$8X A}vRvPzmP;/) QO&,po#J>JveܡqF DjK kYvk`ٹh ES[|yXy#Bd8ч/C}Ih"q`*Y4 bD]:0_u;v?y8򲝻!x8I6Ț-#V$J& 0WDN26dod"Qq)[7E~-%1.9r0Jnæl}R:?{,rpvSd?J[J\V4{Qv™#>Qca}kt@˔.(_/%疀[sRK'3eXd. oE'_2"#1n -hГpMy C&j{ڼ~"i7ah9 :VI"""vv`Q&"]0j? c#TYO՘$lDmfp5WQm2-9! I_7_xZfޠٮ$M*Y ͒oShsf#spڜNZ`cE#Zi(1 Jߢe i{=Y=S]Ic-ϸN !q7Ţ0K$==N,gs[bG-Q%vPJ <4,,u dN4pTX 5`S'Gd78 fkTWr[Yӆo[.|C;c1OCt]d`JɣfMp; 5O8uFu>4}R<'@.xٟS?)nydqqBa+RcbƩ/c2[5 wJz 0ǎT(FS=rlevM?F:}s~+\撈ֲb,.X2\]lw)cp*dˆCc5-݆rύ Rd;c#~)6,̤Y,vllZ{CҒRQ@x0| z /%awoqCk9pJ^R # Wb[mɇ(F~U5eo#:t d.?y0Ⱦ4S(m+_B"`gcgܭBHFG|ZwҶSc>DzM++Uk"Ԇ_{vUKwn4ySW'$^l->SٌoLFs7t498YȃAȠ! ;IO+/oP:UG!B~mר$yvIE?%46F=T61XC<4nYN)fm6Bcp:X̴>o@, Ei4lHAp@8^Q"]?!qE!=\d"s{Vb2x6ͬy!MzJ#c"d<x"+:Nu2uHI>%9k!?Hv#4\]'45b lH O^Jh\d&縐@RBa2_-jyHt䘍3"=Gw*AM ߋN֊U@d֨ "KѣX4]KU;Ś+iu(\g{7J[qM[Fp(C[c2H~0w= (!BjLXO=LNO sمM- +7{|,"hZ*paԚ7G/]GZ/ ?fYLۀp(ЮGc n3aOتiNV|z/H\S'FU_ZKZ],z 7״~l}q;tHc~ E@Tܛ]4?H.-(Kۏj>6eKIW.Ϻ\n5adB|e8'zzLRꫂ.MH2ӳ"Ef*?r!bqSMUy|$-R_5;E%дvP0ՕC%VAÅer4ƻldžBxm-=yJst7@EsJdXMr`J1OVFs8ߚ?9H Fb$@$Ml`j܁tB%lÛjGsv|: bqq\]U)B qVmO*Wcg@Ht ppUXLȺ~Xő-~$:9ZHn4R'&.y߉TYSv2x JLT?q-zKSGh)xbN?dwcDG#)(u*XUY@Q!(YhnP 4 ZY˱p ,-t>_> >H|fٺdPP}wݻu j=:=^pY[YZ\2=q û<ՉYNBz}0 Rt e2mJt9]˔B8H/W6"4KRFA9$𡏓,8n0@iP;!$(|rߔSd 83H810 cZAҺa:*O i2ydkH%A&.k%8t ƌnG /'/3i`ht5}pYvGv/e{-5þCǸ7c?٣)Ev'3na0R-wz_ kr5: %%-<r)8bZPq{Bd£[(9|!k:7ԓCtĜ-U!rȵ;Q:\Q-櫺?P7 K^Gsxj)b bgYZ7zXZִF! }F]ŗXi%I345d# -k&# (c_J<7s7@#-^zL񺁡Į+>lIB͸58-}8qBDz&n~\81秣&IKڰAuSx"_iVIvڍٗ 7 @0 [BL4~e44{bv5l$,Q~\L%Q?N0}GD%M9v*NCv|EJ`T%bT ;n啟-TYJyiPO d'}7oғ}5!h/F0߿\|[!`| ?33L7R;Vuw++:h]"jhEq"}d$%";b“+YT%R*RfL+ ^;2Aa!"DB>0at}}͈Җ ~dfm CŽ/} 0i| fb'/? 'cGZQ9J4{ip/U,Y̓wlM굫J@k$@_OG1CBPw.7 *vA@s^T _MQ44= m\ o Jo*_F,i=Zmƀ+9 ˳?Ǔ;RO8 swYW.w^6E?\,&օvӍ OlJxj+th]owŇ" 2&~uY` &>=@g*L"IY@^]h L$O/mm"^XSX?! {l| ݕ2D<8Ŀ/:'g#2%O=9>; pPD@2ѵRL(ъ^ti0[c&LVuY<2@%5 фEai:_AX~=;Ӧd}Z#B2kd`UAz`.^(hMbo=n@D+W^ OŔn 96~{pukTp`s|[dC%J暾 ʤ% "-$vcw Iack{'n>,&6HIx'?JuHSxrt75)#E'$"?bA+J >}yD6+P|7a\ֻaX197]ނ3Hlb(Ͳ!ID]Nپ{+2DF }jj Y87±5IP`CXs Z8jZ'CXV)yVK8LA F|^e#eQ7#R7qrGy(|MFxʖ,Ɓ-M[j(9 ز{T@}j;Dj1$¤P'L!$.#OuxgwwM&ɸ8#~ 4Mݴ8)=sgZ"9=J:V_.c$Wѥ7C*CeW:A>*8W71DN0HQd8>D)R,`cAf0V*lξnGAKĕxh>%#ݪ# $"sǖROf6lb5wl@Xc[]ËiED3-%*!%Œ6egLPf",% (3GgDym5LdVhǿ78wLo0F[jJ.<IQAi*E \JS Grvv0>o"'&uȩn"ԨEEP5e M19kL3;Iװ)vKٶM(or]wpjFJ C"mܾ0݈Mچh A=e;hsV "[ &9]CtLʬ,sIԐ BCѦ;Rc]e 0'otN5},헇1|}y9պ>JJ͖ؒ_l~rc{(ȝ 2-fWa_^̥ltz73fAe]IՌB{RQ. *@_cȺ 5{%:uw7aR^N>j M__Y$Ҝ Nt#//yC:<td3%qӯh@@X2wo?S =1 -, D? 9U[QFsՕyk 8k̘˻]up̀d9:X'kf5t&J7fbd l͂DJhg]%2ZMI#|jR;?դZ"Պ$Tߛd-U11BcBmFѪ\UEm,IY4Q5U!XWc1Xyr֖^ڃ^A OrE;:huM8~p~]2z6cHyԧ-IF[=҅jE$_`[]R/͏e75F/S3{$0q]1%u5@T+@)'y?ȕ|, O$"Jre$n4f2m V|A TRY4LN#VCwQw iĽ>Щ-M rIpJH)L3>N(s1޷Ƃk o e`Bj=\0铫9C>]Əob9?K"\l&S;kb*KF7i`q߲jvqgx :/:E$YE:H'e( [Ĕ؟[m80S鮄T[?x j;N@W%CQ o i?v^.nyҶ~*a(O!BmOײ_v{M&FQrM)4)%"@sE|eCHz}[j:dvSz},tu\^G 942=)K ~t4HV(3/՜a6Sbb'օ=2c /0jP^X#bYIrff<~m[Y{Dr 6Ad3-l»>|3ڽF棅!M d=Qb~5SeR|L$t]L%Ȕ/ rL Vdm1.=u´_|dJ/SD^懶4j`sp4i3tlGرZ8t0x5n)X|JD:mlI@jES4 L]-Fլdo'{Y*.VI󶽂읱beu9 HMl$=.shܧ $ ?ȏwLG5>HPRn`oT-n.\>N΅ŷ@o64]V-ٻfgmBVf ~E4/X %JE%[pY0CEIbHѠ1~iw+;}ţS0.%M\9g%쫷"WHrPx5VXn$99Ea'p]55%%6dpZU^R_GM]jC-3M~a̱U- E3heBW0l^&?vA[,2gk14.S?l:CVc"yFea}FuT:D\*uI"r8O̥Z[Rnw#00QSh;tw\f͟`Ws!Ȳz( T /]O7FfЂg6Gf8NUFi`^~bDu&2\Ζt}(yٛ,r2Z)6&-EY4̲2Dh5"/VkA'Q{*76B 5 ;qBʩ R;Ī5gB<lCg 0In u6d8J[j ٘/e.wTax3 Dz%a>:i3Y{D-fx7@B=!PeS>lqs2Bt7vsWt;!F늕=: *iUr"zswP}[6#o]4}01ۓ^o8)@@f?U x"Ӌb O1El5THEj㯰rȁ&w4\~3$+;^EǙ W *hI|YDyuJ枭9~/jkuX &8F3jվYcQ#_ ٵATʡt@՝ D_7`EKp^j4<)}91]]+eg#iѼTpcO: QWqaX4r֧U~<ˡƝS hȔzeb 62vF=emPQ&U_+Tx_у=]6c`@J/ <88;zSK?S#KCog} ?k8-/O%'{'1QZG >_?z43Z^-7#ӵMzNuVJp&g XT 2#̄4pR 7(j;;Cw~`"ؙ=od6yu9"rTD7TϴofѴVB뫃X\[3wracN9X,AՌ*ÐnL7p:CF;}xuwWS6|Ap~I 8A.PT}l@p,riD릚$+t> x.Μpi"vW/=>1oW *FlYg^`WbY\!V* 2 #?:O͛o/*8S>9FNkj4ڸH u [ش7\.F;`C|c~O hAPgІsHq /]C?X=d=-=(X~0v|+vޅ1>/ѧޙf5 C.9imis keXR9XVF^ѷ÷W2&*qesk'^q၂D/҇,eZBw̟jl?,^92Zb7ȒRP 9~R[Wx?+FL[ hN_pw^FPbgXf4HFO:f)P& h\&2rRr2Fy)3 pL׳o'e .$mt1:!i"R4=9n=z3t?2rm7Rx]kYZ: 8]7V*/歺F6,# Lї9XK܃XR/A2 ՌIqCXLܣ6WV4/_NVOڪpHӹ>渵@W//=KZrPWұ񧜃'f! @䠢ќy &_5 Q5lUeF%3kӘ)`9J4WuO_ە¢G;R̬\BPbVfc?jB{ mBV@ZWMEYׅ;ܚsh/gn%v]~*ݎpDǯKÈfnHiMO@ ήf| auwWq3V:fY0KzBSffp%k;\3bAnrvPXk[Ѡ`*pGXVZ3 4cy+Ov/,P;ӾeE8Դ NQbg7~f5y@ҙwiO xmPJBDKPLbb@\;ܾeo}Ϲjba?7)- h:UӀn SFjX6w1Z'#r6AD#:-9Pg~u-P:+3ϣ=*뚵 3Ht̲vQ/8QػNorNkexZi6'7u_zy$|ކІ_O"=͹Y4lyC TIĽJrLϋ$oHk9qK$(>O(!,Ŋv~ɸ[->W .oU(^.?l#(W}u<Nkޅ/Gg` P}`Ho7/ 3-=uÏ:by|p|og )8SsqrzF -f~ʜNrbéTC:Жr9!mFG'`[)[b6;14565ײg\}؀Xbpn@0mS+y!l!' 7jn+\Rl0žeM>kq ,~h#c_;ϟ 85?t+%2.WU{v2K\iCi)iu+ڙ/4`LC j F*Zv:>wb)]:e\ hX@2]6nI\-]E;ͩnD 1d|~~}#5hlbNtV\FBBhi{EHRmܣWg6? ,pFEd̬m0򊘩1NyeʋDڸ1[?"R˲#'<_4O. =u!zV b #:6G2>"c *yZTYJؿVpyu(r6 ۬W+wq^$liϣ6 B"'рMk+2؞0 ]^mY8Spkvvd +dvl+eF$HJ[G_:VqmG]8+6(I֮,1~A>Mӑi86:+^1l[B v f1ODh| h̒԰޾jx.nT_إ{(uZͣx#ƌpIE.]Fa^uz1>;81h)Ek2D\>g*rixÅ][PT[nɫ#S<ϟ1\"+njx zFbXUtE"~v#l'ף.p m͏`O5_D.kJ460&2@Vژe U\i]>"ʒXj%:!ҹGGf1^uUmmf1E6xrIG4~["I㇍3,"m`CRI2x^6Lpʩ]G]mHiT|2C%,]РqNiLM#(O%&%ON"c_> z҂Ufnʚ-ύozeX{]VO1w> 72L+4 n \++(Ů /t+pQp"WW U9 e-Mn}q͸8&YVfj.1Mp <؇qA(+EϚ~(jBXBz׼#F)fss}fgM(d`:f)YE.6U ͯBOflBG;LH^ 2*SDԩp9Khffc-~px}ğbI\ ׹uKVۅ5QrIjT[;img`${\Y0-ije*,ꊗ`w\ SdBiWL10}N/ʼʳ)X9j.M1Eَ34IjjKc6ٴ|X;F[gH͔G?aVrityxrlqr!_Z&ڴE3L @c1uS'`q+oh":|Tl2½Qxyi^=ǺAaCr Hɯft;K\ >~ȡL8\$+$ ~/#"w8"^RlzGJi4"~6**±rE `횻E/@zI!A\. C=hh;tWhµ 4֋`;QV%u,a?tL;ŀ\mŜ+hVr:Q?trc,a!./J9es!zɒټt]fhAxE9Y0ze$/e{P-kB(W)v +\-^ v!:u`+ƙHDvNW4P;BDOQRs ^%߼QPX(V<!Z@|Z![_\a YjPO0FMET ywKRO[.SIiIJgBtmge+"׾wn,ܬ\$5+DZ7 ,[Ӑ ,k+hR_10wDQ*DU[;UQgbuk$ "*tDx{tV!mr__ #JF8DL9g(; XGTپR6c /fLROʙx "Mazz_{ L {S#~vmⳙC՜w&?nnb26J,*?>^]+O,"WuK' wYT !#Ž|Q>\ѕ,P0Ocғoŵ ޫ_%`~fb +nr  Xg! *@2$q2McF!PbހN釵bDRJ X2.4;[5ֆ܋tCt8`G]# Ņ 3i^W=$B&' g $/)S;%\![OYm$PZ;Y 5IciF85R/ p]'B^MSS$?g 8λ`%2βP'75Df&UDsp9^sz9BF-vp2e?,z/o *y>4l(9\ bgɄIx3rhQuI U3Ʃ oF֖&A.f% U ^Mz;ٺ@`5ԭ7m \qp:fSu>i6fb|y,K8da-^rQ٧ϑ ~%u Ա2!QJD6phԊ{RZB+ɨukG~d?7/3(5&o'O+J)4VE0H.{贤 naAYDy_y'HV._5]~J(ƽRΨ@A ȤCwpTOƖH} O|UuyW=~C|?;:8 F@?+fiZ w$O8t(MςjY=" {һuطMq0elKŠ@ЌkT'<ݿ5kKʴdjSwsUAs//qlBpZzINH]C=[e ;sp4Z++2"\|YJ&Ee8Gq1{߿eT2'>L imz;PEA[/Cu3b՜wtGk‚S&*s]}Cg:jmM(n ~>V7y|)4nXgg9Vr$mVv-ڗ3"h*଒ ;P% f_B.}P(ZW d#^պ'l0~dwc{*v 0QVWu/,HC/aOy@a*,Xv݀4XjMPs}-8VH}50kEA/޵E3,S,stbl7wРAf;e//JqKC~veeC ?Y֙81r5Oe$/M!ny!OVSt̆瀭JzgϏ#!'ĸʆF"~:gȰ {@y ӿKk l GŠ44Iwle ï=MK\JN~lՁ!l\JX"06g(9rPM4ZPanq&%H^3;Ǔ+4G)YǖR$3rbjwV`_A=ShD&eڔVS\3O/Q+|1}נCbc܈sja.3oe]=h-Ֆ˦˝d&T۶fg ;-ͥCu攥e3o[;]TXxU[OPOWiDĖܑTv~heKgX) zt:T[(XLŮPf `.Tt@͂.>_8hLF%F3/%Tԅ4ÛZtJb`eȠ/6>;TAϊwcVs" ᣫZFB_3$ʌj]!g`'haHoEl:t@kK+Yf#}޸_3snNˡ5+Iʹr0Rp[,__sUpJk*y(1 IGd֟1GD*Z2q|Iԁuݍ?R15:~T JXʛ1V|5C*΋ՎieʯiG4̕@)^ C_q?&?$z}AWɡ7,`iE8 f~\3:7H4%wãFNj »n8ե$_|3InV 쪣mY:Nu]PjQ)9-@>xPP <5ds2 teP+9xtSQ0 ?ϜlxbLT`)M6.qoy+[ Uyz?u!n)G~xOՙhA%nI=7,c6K[D,ҹ tJ(zu`*Rz2$@(.,ϫݽeA$jz[>2D[o<\L2> % ?a^eͣޖ}!+Jӆ=Y A\N4e j3QRJXc_TVI_\o .n9 _>sR\r1Bw±s85Xj4Xśl:{ֹ ҙ!@3)_ TVxs0痳+AKp疶?^w]偄u؊Z_VAs|ߘ]7x!jӆ~>uy s!8i::,Yްs,3(E <]m$r5ÙQOz/8\Etud)r.d੨.2#Faݍx?g,-ZVq?Q d[=4LÄ eL̫`! MX`Mc+ެ|aXCTF\eDќ*3cT#"Y~a魜y5_Nn3xӢI16]?vqx ZqFoY$!_nQ?geAMQ KlM%.lWp?IdUc`U"1j)+v3ɇ41I53>7ǷUfz dtB 4δxɿ5V R *T{@-@yZI_ߌsFUkƶ7юe_lי3Vʃ?*bn94afB'(ɼ@:}[꠆N1k5]'oY0Zr {V;%\,[`'VYtd(~h W&Ц8ąG@ <@˱j+Vr;1X0a#XRTc֐h]|wL՝(ڑh6]w+kln=9 2d@Qj`/-6EܜƿV{?wg4.mEL['>BBOd:x^:NuC9;w?Dsۜ9}PF۽#[YaQwT&Z7@Ex+,4!r@ef#T!q~CSA(hף*&}#@z 귢<9vA#9am%mhq6m8~$*Di׮1`hIfrPQ=9쌑H:A~M?i%Ea]{\T}V:/& Y(u. (L+s**G (@uTfYjk4hq O ~KhL45a:w{/MpK&4]/x1v ߤoO!wX>qv]~öfl6BH=4[CCo A{PqE2'Zlm Z8/`ΓXrfH)8<@8uݪ)U=X{t(ųlni!{*q8DF9a?)6m`}چ,rsQfqJst#aNgh ra^1H%tl.>pRACP@a]jۢNRvU}\{<ܣ˖! HH]xlGɦSx^qHt:V.-L˽ gE9f;]9k bhV:E A3E2 0xlW!dvc:Dnnj0~HZO\k>QRj Yb;Z6tN:y?,C :?Mq x& 0b<9CI}5xҒQnR!!Q"Yx5lc'k\܄GmcS7%὚%\'*+1Ay KU1 G+jGMm"OɆ4 u] rBD[jXWE~GBȶiϓ\? 0c$d{4mB wz]5-q*.{ jGEc03@hNܫRG68+s9 5"H~H"Yz3&f(cF7* [nT o7 ˣEdIK\OLkJgvڄ߹%z/uPҐL!4QdRFZC IB8C]i>)KRO>B~$]wSJ"–XB ƭ9dh ς:ԭ #mHK}b4H#{{;"Եv 1'HN v^\2A uMP |d=Y UFT|Lbr7%Z'u\z6ۖT1<-v->DζiP - N1BcIWi 56&9Gcʛϟ w)es]zG9E8J$mNNc&. _n0-Ð0Ǥ$P Ӈ>i#oeMX͂ij,] {$7Lhtqr I7wj;y-dAЬUhDPGiLiOp{RSFX)