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   _1L\ ]% HOL-Decision_Procs:threads=6elapsed=216.235cpu=986.884gc=91.988factor=4.567zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1799?]7v5~pLM/G X4;ޮu<W d R%ޟwM]}Ak̭ͨB, `s`-雷:iJ\ZT=4st'kM.Ϭ\G8%<Xq꾃m*15ʓ{{ aήF^,a(JkUv=2,S Q6ۭ_5CUKasǘ0y7T?zw$Ԓ#5iͤU٦#ZO)hٻ]{o9|I5NS+ 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 –'(-*2I[EgCѰ6RϓqURRT`~9>K7; HPαhX]Z1LEPIƌ \tG{q͵i0UJEjs-s}1.I^cc?P PҥXz>` وZ % !(X^0# )+ѵ!n;Wl4 U"!f?y?vj \:̃ߜ3uĝ):ׅb۠ fNqڢⒸUOO~<ݕ۲҄T_/^Y.xıթF6f!2~?ڌ^e}%xxX!vv79'E*RxۍBm{Q\߄ ei6؍pL+in+ϝJ.sȗy† 1+,&3e񟼜Hw$Tմ|_3Qk,åEBe:2Ez~ych32Vr컱Y^V7@M<b5\[iFbjo1.?Qr(G6m?\AoN+氄{$Kv-Xij-JZ%fKjhۙ@E_s5emg WM_?d9?%8pXTYB%vs(Fl=˭ #%OR|V.6 WƂۦatB Ջl+y{ =o% dMxv!ׯ$y3G kX'ϐT]Fdtޞasy`/ׇ6}Й_MWM#W^UР6\@33k4\e%o\Wv?6NC`>f__sW50˟-h #v>|]VhCr˽`Cxgysqivk3D,zh^ϿcPfnZ 46$exx v`T̩?; LCP7>iDd Gό$p^ U'jqXָw%#<"#'լM{^ Q{0"w,./pzؼJc׆alM|:W c?DC„w}J%{T?ѱ";3.\aˁ![ I: BZ0낭c5Gϋ4)'(΂]oN>1S t@OلlJdXp 6}Zn1Ҫ]g>_ʺ!,̧Cg߳}"*]شR:)v!J/ n9-&u#@sH@$F`(IeDS9Et(ٿ/t8^ 1YɖD|jqXiO˙;n;yTph5u1J~o%p225i`קZ}kH KHvV<wlQW!ç&ƫ^:dž6sTizŦCam?/0TZg" i*g˥'7N^7RPS3%;1#e)e9turŸ8g-^V,Xs3?ƊjMN~ cyᇊK#p)$K,!Ѡ]EWڱPDo:SlO_"^X0n~:~Ghs2YUL9^4nd =Sؒ=%m~[;e-V >E<| } nT ^/ ʼnq"^d]"]M0vp(ZL^WOнX_jѡFiڶLi`9-M; >'hLvƇZ)@>[&A= T;y;. .𙯡zJWbVSuPC@;1'BlAǞ{ydPQV>},5^߽Qy7Koؖ;ȊHvJd,%- ӿ<}b>33ʢ >;fEa1lt*A}wK>[Ud Pa05dSxaS¶kZҝ 55Ǭ%.WBq_7ݐ?a}8*@;pDG/↧qwi83Nx*^. t R8ThP](};lM k\Uxf6k|1oӵvhl0b.3ϟ@8$> lI݌ե? DމrOC [EL#};bDk}C0Һ>%B_%8dR@4 (͛kzLcvX8j`'5ƒr7iH#} p@7AJZy # 6JQ,ARQ[2E1jҨ M#`E.1=]?j9WevJ1edK=|džreP8g$#ĝ %گxgB<.-ɷ6  !;,|_EbS(L{ 7)Zz`fZ6⽳dfٺd6O qk%Y;2C)ؕϾ#Dp4LR8 %0N}iĈpQIه'2=Pl Pϯkgw:+5ȂpYZ<^[,&C+QB ?bj#ͳ=]Ft}$6̒0U;O1_ ;S@]'@ |Ky]ig7Z[jf Z'dx[sZwjJ*'}gYZ7zXZִF! ZwH]ŗXi%BۻCܣ[p_Vt\`̷ܳ%k3A)}@@ț ఇo1bz3FqڪN$P%(w:>ipVK|16dqiqh$M|8a Cia]I ߎ2DL~Ԡk$2;_!J{Q&snXƍD@ GOtG0y O%:PKڒ! nHf)8ro?<.=i/t,֋D )S! Q s6!QYYL$wez}L_M4CMeڡCe a?)oy==]2pVO~p`_i**``A5`e9,m^M~#ΦFlh]?bT-J2Iǔ?;܃\Px)>w۬iМҪ)f87_EzpߨU_ly<Y5`Wd-_\6VzMAxS^,ԾgB~h hsu𹊈C=o^p<0C(m"xHla)#VeM0A) trS=ٚ{MS͝Ky}ԴNu?$- ;LXE;s|i7{jGc,Z2HR|Sp&<* \’(N d+հFg}K֟q_wpi $~ 1;9'cfA"'L<@hi({%& EnYstӓi\ `h%* < f'&%"XЊJ7Xj_[e d1"L|.{du4`U6R+5dv}fT/0um=7h ڗ OZr8C aLo;6IHZ!uU GV㲁Mݘh hMK\J٧p:"L1"Wf^-Zb)0~my5. dT<̐w仮mT /y%q}h(2(E_N_T'B\e֖Q\QTuPF_ }(KPmKxͬQEi -~(̍lto4b$%$1 Q#*=@깃LD=/dɣ{KfLRLB`v8.s]>V>BK)%1S>Џ2޹aƙBO_~c%T\86TEZ.$I+Q+ٮ5I9Ш;%بuv & K-) ]QakwX3Y<\O2  S}hΙZ1"1(emiޗUr{]MwbWRprߒ.nPݬ&1/}u_fY۞OCHSGb~܏v0Aƣyų]hr:-WpN|e0|6>={sJmn;9e  ܔIS rP9LTm e*1U;fjqO@oX\ uV/=>~Rinzpt)3`_G5 Q/>E>b++N]ќ x%B8_,I 0gMVޖ{N Z13Kl?5Y?` =ƆT]ͥoԮ (xስ+˝ ~\e:ıƖ+#W۰<1yy\Yb0Wm=NFּ)z (͕'j3M"&ߧ35 LSBstݛ˿ O1$PNEA`y捚As'K̫뺦A%MU3ETNFA-qc>CӨ>@=#O/Ou([!V\I BYڂdޅM܆pN7GB~wPIn$1Vzځ'WzQ΀C sG\m-Yv2t"!?SXϸv(NGh  b$ Q@T=8(p fl/Dr0jT\dA:&$dY0qDe%xz}0O " -M0xB~yB:L]/K8E4?+W(WvE3%e;e*\A y V9b;*UW\:c粭׫TJX$׷^YO]Pm%0?]G[>H_D{cRNsN塁CuT{=ٔƒp>N;r6Yfu/QHHϩ0YQ5UqBRkB l(j> 56;d{8yEi$mOہxxsdNrtq?v3űQ54{DӠG| iM=*&N4~ڞuOч-g !|u( lqщҶlǒ?d@`V;#o k}2y#g!d|jZ6A;rrxݹ쪭҃cQJR|EoMnRCeDJo%J#8 dr 7$VZeEJY*FC gY]5Am!օ' Juv. DuXϟO"h\e8M1PERDcv\ h^j1FʸӢ8꽈 9K!M)Ԥ,a~Ģ-u=y)h/@92aU, )Fχ"Lh<QiDCr#OXEcV2Į o|Yu%fQBCw.੘r__&6oX>rd/o];<|yv,amEvJ4J~DtfYcdQ\g}(!Õ$TpV9)ɻ_}asȤɝ/!fuR8 @UQߘI54*1j>Uٷ&2pt'9C듶Zz֧~BDPGPt}IAcFIbLM .z?V^QJtgDݮEY߾㇌ԗf饦]&p>{`u)̺HTDbN"ߩ/XǎdGL[SCxA #˸95Rg' Ȅ܉V{F1:Pt0Tǽgj9Iֻ~gT2zp~KNOs[:slPcin7}H-\{_ο0} &m#+>-pgo?CtI4]Qgi4p$n@lB7ƭ=!Jm~9KO +sv=,)lon*F9`k@a>}а[j2|'5\8.U Hӭ3S38٧]2^#b1BڿAhD]]Ft w,7qM"7&*-nmWn؅A*pllYj V3TTu޸BC"eaD3i9% ǿRpT>"c$mA>uYȖ tN?L>jix0|!iFG0w %Ӎ;?` XSQ%!yzޔMW7mI_:gOi K+7׽{6҄&v, 7|%ʨۦڪ/뎱^k@_-fc(ApJ䨌~斬"R=sCNҹ lYl˹d O :t66NuY0@{p43\JVEEX{6` 3~U*MLQ@ᚐ,o'3/OX3fVwmڲ\ bi#&%oBmt;V9`B#' `B[xFrO;\]:bI-v?#VPkA:3{:aqi]m3PBF&Hr|7" {EX8;}8tW`!rb']#RlxG"pdmu)$qoFS_4 ZĮt zKr:+ĽX w8XJi={=aD9^;IDȱˁ}PRϿ{ƵJ[RmBk kUa"cV$Oe<`fi{y"lZ$2Zl 7TΐPI$?,+=LYueȯW0PS'ff$ؽB lS$c5emghZIy2Bha0rEټC]k=ʖbus<&`/a[F󤧠f-ξl ȶ{*~֌G; *Rs.vt3?뮤杹g8vyGEr5e t'O6Q$mјLDՁ`dO_ a_`Y ^$yGUV~X١bi.)yИP/䳉Ayɟ8nK4edkmcvЉ%+= 7QZXN8vΣ tR|s_A˒B IO)BDž5IT[:K'I4O9&)_*ۅҮe/>-w4g6THa4Y.sS⋷'}GC5|%pY@8E6EyB7%C"E-%.2#TIud,hNrbyZO+*f; :qEtGRm^ loE6rQ/"|4Di'L'osG}}8Cb30I$POΌSg9Vw&(8p߱f Zr<Jj7`O9畑f2Y-~vb勿wZĽaI7Z+7ҕF~&8z'fk@pia!wCdW.l}n4LZ A܄AZl/f||DwA#.kٰ׊ħB^t!]p:уBG8-%OIН'LպnĜ_-kWb@:rQ?<'Ό"Ux?J-PAta=t1C렜{ax$|}1~G6||~4mC1hqEbJrsU"tff.1jtӖvANg81lKE>SJL7惒3暓$jae-~ R[D0/wC]0H\8B7&~r$ZN`@4nql\* %|9{רP7e.&Hokѥ =qǚp# It= rҚ^8hEr~һ0~"o ~g}JN4*sZ89fY<@c `N5OikiWOn@bRJz$9p_M"zGnVuKAISH+c(?j.W?c۬JmOQ&Q`>d^@No퉻z)c @LU5jw1xRNܸ-xjt=?{!GtZdJ"g?7*̨ȓVV!k]pz\ABo` cLC3fk4ןE#(mMV!R>4q;|҈MјcRT>{42*}6Mix(=P.H/PSVTQ(h7| ${_G$ǦVDZ47p؞4Z;>z_<ӗNJx;uI|`FX!gٯMmnqTB6'/b5@v AOPL;Փˍ_߼Irkd<^ &:1 1wA߼* l^GL ] SuJaKi/=/r)T*sFe*6*R:ęXxW3\<3xl\GDR]ߙD@S^J^p~Ƅ,?oI_=Kk wݛAvKMoe1Y`% ̓W7cDڥFIc3_:ɷ1g bQv^r@tD̥ JGȟkuE#pn7J.D.y5O#:9ْ,sWS %_CVP-r}2(&tZY'cx lebak#6w*ayplKsQl"b5yo`&?nGSYPލ "u.TM 2A4@0:z \!* QZ`^$L> nAO|WC#?5*ʔMԞky>a|g VJ5kGK(HFF\^N3Wi)4r\Z}1(HEKˠ2?ݖZ'QQ:I]wPf\~naQ:&Y4oO!MF-p?t^B?B0PxSiɉK;Q<2%>*xw!)אT ┥H?܂c2 u2NҡZH0݊d|ju0J{6"m_U.!gvvvooLR_)kLdßp1Ea+4S[U.,8bX8I;8SNM&c5IѾI˵jD",忙.J+Բw\QZ&BygB(>uf|;$m _'_+YvQs6 a.-ܸ#~ PdK0pTY$6U#,ZiyY*fseRtĆ P!9]Fv6>1U(Ϫ`ʾ4 <J p%پX!RV4qBWdl 7Y XLܜȫ٩l v[.\Ȁr>ȉW-*zyJ^Pr7D/m4E(b)+Ŕ /ZLo2gJD~T@ǣ;X1iߴQko߉jFuGƱ JKiohcԤaL&޻˲咆֧m{w+%tC7 9f` 1^/kDþ͹]x~W8kH4~v.R-Yz Wu +4Kyӷj*Fa\s tkж,4~4Au.) U]xvj}޶/0: Hxz({ijyo8|ynlzfKdsFu/VA.E^M-3GC;C?K_ܣz;v /ȂZ)УNN;ߤ ?TD/*]jw;g&o0̮-ToXAHkYPLY*H1ԧ;B;;e 3x٧qK] trҢ7Qw0ϼ2L69wb8EI02q][El!#SUUѓaSJM}k:aݺ>\Z m=SZE>iGf V{P.JSKoggHpJu}&+` &0򻃧eK+ ?xxZI2{ ~k R%GzSMh˴/WG,v g!f)׿k母a#\#Gz˱]~]CkE"]wsu`ѳpmzW>P܍}* U!mTkP!UF3߫iZ?-T/_#IȠ&J1.n`{zy-W*{n*v+vcdVm4A&Yv^]>zҩ0vU ݋dT0~g9. 0o]! 9`<_qblvihsMҁxgS׍) Ӳݬ/c`[T5ԋhiRVR8ͣG%'j):G^JwRJ]EL)kՖKÁn|3!X !-sxHTo@d+=s&3k;>]3TD,0<01eY?0a m482ktG7%wvQL"7O&T|kkc?EZP{l0 &Zͷ6{ҞZx1ߺ>Տp91bQ31p HHblR?aogDG -]¦ ';\ͭul9ee3xQ]-LظtHEtXbʔ'O>C+ %oqAr|`ҵCS#vRh*A1wɔ@J FIP^U!Щg ٤4x'_ڜ-Fj^ fȯq% 4em3:M[w94x:fOT.d2)5vA7irLY̆ `4z1o1XzM-q YFnaui|"^θv!Q| { d~ك"2ZivOO]zwi/ā3URxDrF6 $ľ!>b<yP(J $7(u}"h 9pWÎwG6EQevKIotB<hҠ@u[r&_!`A*;o%ymdo!3y82#rHV#ThO뻨pdʜΎoclbR]ٟBӷ̍  R&IS?"dh&KrFQMC٧ : a* h)7:wW*^yfGtPό%i9uNZ^N5l!^bGJ,<"~ogmش\2urdc|y: p^ԏȵz S+e3sOuVu1LܝyO_2GJq[5|g"3sFktV#;Mto*Lpk|~?` ڀ .AXQ`i1h5";n|=]Nh sF2~o"œ:V\{+ X4qGjj_O'o1nz8}ClG؈ֳ(WA0jc2 AIʜXY2Ĭ$y[37;mBW:NLV*Q5u 2n SZQP)rK[5 DtHo9f!Z}|@JƑPzW`Yi`II: pq02e\ߐV+ E6f痋0*?Ѩ:N;4ZXT~M^Sb ԽK&}"<@WxFcH fӏ_ }tfqeԼg+78a9E> )q 1腻^oy. }^neKOk3mA?;.EڲvLlz ' @л˶I#[܄GfAe ˮeCO^V '$Oܲo]dm5wh93'7H{reKU$ \.д{&>{3w nb0 *vmd Hޕ怐M;v5 "!*~ƅ(WdDk2߸"sSpt+@xXI \l]86`m\+W{KZ6<%>=C?|!QE?FFMBTڡbU*Ot)x'G e%vbO3K l=}+ŤX!>T.ufnʼ*atp$X#zIقDeP N,.Mb.Bo.їv"W S\;`rfd}X}9XܳDDDQE5]VJ{b OӷA^u}m|W? 5.gu~Cp7}r<]!˒"g]"!C^"MErv(& n{\T<%4"vAIXAK2߲#|99:ꀹ"[wn6 5%&H>V3z[>ɸM8LOČ6 b@.i&Wv+0ZD݄ޑ 5u-yZ1Ҡ XOi/J#& t2afk g$KuyB;H%,B4A,)#@ K`~ %f _eMj%`d\Ʉw+ThVx}hW8ѶKK&= 0n~W [~ E)M .P(3^SWjЋ*h9T$7؞ǽ?<1_ 69ucзy;3X\Ǻ~sl]/WU0n8H~~Q 5+&`z:N}?xF{$2b.У*9D+M,F|*/X*@-~"/g&*7 _].P(!?X)x CQܡ lx?͎e  ,]Ha9ߔѕv*e,^e`7<*[Ic۾$ȵr1$ In5#^!~1s%![Z_ mA:;e} }qt܍?~Z`<:JkdD #=G - U ۨgV<8(]o(wTĆϜnzu+{93!^5n4E@| 2&Dگ&+`VTdJ苬Ch-[R79ƂyFi[nB}h v5:^ƐT|-W5bğCL}~k~dw*^-Pr~Bs%~rO}1?4K}欕9>qw͠.˵!n櫤.:ۜ0_kޤrhjѫ+{Ϛ˘mZ>"'-ڗ$%,E[Q9u xrc kBhw?p,\Xm7=|w{\(HUCl}l2o_R1~=)/\ӚEM{[71^9Qz鞹9W \?8*.=) '.2QqMC myp6] e _RH+0Go)=ɵ&4Yg 6& 4p$uAgU?(1Edb\UݜN[!?8 r9黩[c30.?F?Q RfpI!J՚{0> p˨ _gvZ6$SqckGu𯨨@eܨlXV,:N6,o6NU.BޙlwȳNiF gу6^L]Fd8=LD0&I=1j-1㝿|h1C?>_("P+j_\-;f` :leJ { QXR PghBY VIEMaa=gN)tC{wɭ_#"0@)smu*/N~^D=v=sˌʹؔeѧ9!-,.$3|++/~1 B mO0LvYtPۿh‘QP>: jg+z]fg[ u/H \|3Єnv@9"  Ë*WfP!xrUJó7`#5pZYLmu4r;ҦcLj:T!(_'ڐs%^'ݭ$X%'Y$WثVP:䵓54<0a-J,MTx3 R teaanѐ;A*rv2- 8Kk{A"fL~}=( j1* 6<6(?j)lA2ߨmb[7@~$}٠Pq%Cp0ZKTV* } e£N"iSXc{U, -(3t3iw2 }QppUבKk/:lԁO^93D Wq4/D] WsvBd_=kM؂-;d?;SoxrӒh#P{11CplMΎwi9(M={H x޶)4ӏA"p?/YMl5Ĺ ~z[ƽ\??K!T3$,&bv t%S%Qu?݂ pNhˏRi|#w\D+C"Y$N Ds\+t:ʄ1j}$h9R(kQțxjEB /H/f%\gRMٚ#jnw ,q1Uf]e ^ZrL⨊_VfnWzMv~'pڼk6`zq|{CV%tD֑ +&gYZa4a786a3ebd88b2a845e6a7aa7c1006a4ef9fd9b159773851650ac68d3c2cfe38c048d4c887c247c f1609948a6431f29c3e36d835a829345e7d4b3a1 b04535d2712ce58717caa008c61d08b556175234 a769e91c7f8d76484bfc3d9fa139b28a0706d544 9e28ab0f1166fac783293aa7614c13975e37e01c