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 y1,dL ]% HOL-Decision_Procs:threads=6elapsed=225.160cpu=1062.388gc=122.544factor=4.727zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvE͏[=!mafDk @/rܐȒ(O;!^}|q\Q91;R4D,L`>?. @'Y%4HBf\$Jd(M;:y#G Fpm./)9ְ&GVh94.%ln$Fsd[{{1TB=40U Ean14X;znJH}j Q 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 '̢&:eHPTsD^C 8gCG{QMȉQ=:ۯ*epxz㶚<9E(S /joUFQSTہ(> |wy!r#$aM` *;lyK|f O_퀛:Ac@]bMsFX'_(Rr0Jƍm3@ Lq4U d#^J+ma@Q}p{Ǚq2zU_Miy+BAH D(t( &Sfw7&JFLH6&KrV, IuзrGz?=p>#6OmV9|}6 …c8IR+qm%[d]?ZD3|o "LX᎒Zo oސ;~%gh6t9<)Zh3;ZgM9w@|iѝa=\}\r$#”;>۬iRF* FyެSߟuO?${ip`,Kp9š qjFXø60y~O:P$Wהph .Ca'ӭw)ypWiU[Тꖩtz{J׍ {$ߔUZqVDQG0*|tu-Ňm ~-IExQTl.b# cY<,=OwR%+Zb]HG$gtP1&Tn 1I޾`Gp !@{q,OpZ1)+g;5?9кC2g0׿$Sq)2Bv|Hly!(rg)beL#EMAΌ 6ay_'W_rDJ/r~_dޡx~|N>.+fO&\ۊ\J gi;0·ͅBa?Lu^rOpoQ9 mX҉]>Ӗ\I;LjN)e&&J²'@|ű<"=0YG +&,^5 ; M@`" NwWMgzW=QG==VjIp&-alD"Q"۪R w;?n(v>ȟߏߕKWoN^W눽IP>ƢGhPK'fM_V.3IJA &3qK^QV9dS-V\$ޟrZ@nsٱ jC 2}vk VT*1Rwljfv|P`?2BRFmMX1jAH*P:I1(x#:е>mײ (WKF{>fqppcMbC|PFkݖwgjw E7,7nyB$Chm0ÓjCGY6Oy<Ji|ϣ_ˈ@kKB6 6}F$F=,4_*:%~1@P?xDܛDKh)s)sx|O:ᚽRB@?owDZk16OUI_%iR%ݣ&g 5jcA{vY0\/I`!A Z*V<ƨI> H75,P^j+C*ߺjd?G k=cv hǡ ;(\N5ah#-;\_rBM5}joV wv[+ȋ9b;~,ɝ4TR=2fJw-]''#z]4IF>P[Fa8iOXSPQR'rHB}Ѓ\2ң˶KVg>,{ ;2i<]T^L/}<%'Tvn?wuTϗ@k/r\@qL}. dGT?K8ᆨۿ!ZaF]@,C4JѳtPx.>,ML=W7cB#һeOhTzHjc*njzTSsRQVתy/ޭ ,]*ߏq)juL& Z߉CK TWͰdE B;T}(9Gq8z-¹~N .~N.])hI2c dAnuF'șva3m˼VW6mjYd @U?/_wovM|CY DoDM{m5P658P +[e.(wVat܃ `kdN[{^7QD_59op@c+qM __V׍ΫQ}g[L` .Z<)C\tiebP x$tI6%q/HR3B[0zjp+UL$?jD rwƲu1HfԈr#XBu`Ƕ-ϧzP渊,[Glƈz-Ay߶Vq}"/Y:|?P^!RzQ'y$jmY ot[#C 8 JLɇ?U s+RBUB]g1=P2OhE.=Lr>{dNEyS-"K8"(YesnF"i^A= %^I[׍䮻SI;qAD^S+M[p8ҢxNyzAMA*!c5"x}!QaBɗyc*2Bt3kW[Azqk `:2;zցEz!VqBeg&O?2~N~gd+!#Kȕ-OPS ˈ8hSnZKi{_EnO%\ClAxG\;1vCS('7B-y|5t3UK&'' EG'tH*k,3F{WI1tS]/'zL9je?هȔv0tEZ:#R5g޺dGŐ:*NVi??,#_|m}$-.t7g"8ztף%^5h;Pѯh 6;0NJ7#ߋ~&a+qe2 p܋5n U&RRz2nzxJM-}jփlk#,XiLm;ۇs7<ᨥO_oX6zlaSv?.v"], 1v O"InD|4FrG5nt;کmLY`3 LL+ ջp{GzYCoCsSnEi2s(|čW7J`]3cFfFV}}XkuV* w7{SrM2VQ.5kn"'Eg5䠚[$6$*S%x6ցh2Vf*nD%>>|KTsk>zqg5xꪏU.a 06r'jGN&K! W-#֢'н[A۹llawPlCѪBP32ha91Y~.E\}VK97Q52vOp|l,"T5ʔ} i<2Bgo0bL9 ]07[ u E"Fg&qeIJv灬5$_b(Ӕ,xTپr<]ԕ)Yq=L}WVc?.u<^;`0w 9(ύݨHdWZ=st:lE"*| ~nK*%UZj:_r@Oao2/X; TǴTNT4GҦUV" 6Zy!nyf L拓"_I0Ugq5\pad4̵HՏZQ^o ^Ygs|dIymf.~n4ǎfS _>T,rk(B%g {C7e= 9K/Re:Ҍ#޷E\2/Br㜿&R9/ 5DFj3A,O/-r5A'Q08XLd&qIXa7Ҋ0 |j#7I}>u|.i&l},6tHM IU]WDJ^.P.ݐKj߽߀g#QS8ٵ\8rpBYljXeG LXۤxXHUkuL,rK&)Tք֕A{OTv; UUC w 詸t&̦g2%c@$5 hxF)F _awzgcXs`ha=525C)5Ea$sHVL\-k7EHX4s=ot3+ߜчKQ8rfٺdˡ _ݷVn敲8c)o :6 ? $/4\C[.IJ,+ħRC^MU_Iܸ۟|m33YR){K̀"";ofS&"2~TS}djxEnn-zڞ@0?vbE6[`AB@n}#p'LFo[U4d27WHR Oȗ %/3z o)rk㻰Vò6Ɋ1œa 1#T ;Hna)"33:IS= (ߴʉB읷, \x&g 'cWcd+4Vg;Su |LS 4M;Q^G~ 51Y^1UI5 Tb #1͚P\ߗ Obr|ڏ:m澘b~h):n`_u cAhpTlѬ, Sr+3H@T`2 FNqyayDLyuʭ1!'onꞞ8L>l/V'(NM)Ege .]{I/W/嗨*UvA47fa͙eTI~(S0W{>{n_6/AY:6D< ûYW̋Az^I5iT!a:'y4^qmsh!2/GXS=Q~CNV%EA(qh)s5M:555#nݯUN5ĥu^<Qk?ag-8!Q}nb]v '>ӯœhj~ZY^よ #Y5Ö,Cd6#Yj:+Tnb"8R?knUA104pX][zhXi+ۢJ ZHjm&'}~FvyҊL ԹBx8R`}Oegl5*&8Sr0]i? }G.bׅ~W,IbSF:;rf/COQ֥|Ѭwa"Eqw&~nxbʳ3z-8 Ab ߠ_4dK_ cz;}xz;|E7ܞa\qQTZh{yq#G Att7\u>Jr-ܭ A$~vA*]mGqPJs=Jk1RVyri{SXIlCU{b3v]1˹ZTo_l 8({F#S9$楿tO)F85_ݑ5jmD+I/4NYLyl=׏q#r &/7aJr ƇF*Z (©3<_j?&dMSP:Gs%ٔ{k &f&Hp~?ZEt]Cc*wWxZ9@p[p#RP#ߙ^Y^1"1 :o DNW#zM_ پ6 ` E f`/0R O['8UmA) wpg+#O"\/xIu>J2.:C|^|"ouRBsxvM,]USz@,!B#xq?ёTbdܪ* U=~{Sȁk+AwzD+EKpcb@ +a7Ϻ,/a+2"bs3`NAJ,RBA c!  ԘUϜ5'"el3ߡKv㿚ĠͥCCkKC55,T0qJ:ҘV _I*Ebj`20kCOAt>=V0ޡzDi 50cQiWzBCu=a?9 |A{ps8ލT۳柌4\_-ʳggӴ]u~ڏǬA=Fa'KB ls}LIǼuC$B!'U<ީ{Om#\BHB4agE}\j{],CmmD]ylaTNQ9,xyZ*́fbA5R÷d~uQpICK'T K7U7ט b>[ٛקw~4W(&઺/'\Dud'D1ڟ%R|g)مC.EA]2ʬT_ɶdbĪu($<r6?sl8f&&Sg8a" _tl+q6K3.Ǡ aL5aii:*sa(Bk«US .Z9Q ove-8C4L9wWI[ҡ$n&*D:/Ǒ.!)t!C&-7ݶ25O- @ uV{LT7FCg'!4zi>).C$+z޳0 ቖ8`7)dIK zaz w!IH ]n`tDז@#L('6 {qUrj8sY3)P7jENP/K'ӣ+HqUDX,㱏,+ˁ8#tS[3:2_F A2I ϩ*]W+m@,׽u Kdq!&C\rE7 ("~+G.> DGh%ƻ)Rr:KҨl;Y0 DxY,;^w?&ߞL?J-Plfpx߉Qtt'?XvMa<_HΑj\sBYQ6e+FIUTf m;Ef-ӨDG.{x @6'0$4܆~!9y ~[9gr^ 08.:6z%Q0^^^!QF01ŵr6`$i^dgaj. r>κ]` 91P-i ' _V˄9r s.OTpbEpۦ` Jݐݷ5ם2χ;V6 &`I},hc?I`p49}AP|?uD?# ;a:=?ee𣃕M%a\0=/pS>lqNC~q:Rj墱.2MBc}>[U=ISu~( 3TJx4/3_(1yyYSנ:F>wه5pvFZ#Fu d(}xqǡ,:f3#F:/kvA2P].ZyhR"ml ̯[9ugAhKw0eFBm^DZT RA0DOAF8PCc?RIZ3p8H_.oHu2]d^O.0C=kuWP@۵{\!4K晢Itr+7I‡ra# %sGBFd^2|z_Q{R/ d #Fg}&So. 2ˉƬ2w oP`BP$JM8i?o٢;jo['ؕ]wREj8_gsT昸_QcJQ[U'n|QdXJG! j#d-a2# c4]N$޲07 IՂl_xMr[xu/Mҟhqa8D Εq"<13$J2n5~a>8'yLe(>;k_g=DKtz8*IRߴS+ڔ^dj@ЇyNJEfLVIqeR;QlEeM6Uz͏kYqt @TYA_#Fx_^>Ar\Oj$b f- 2Z`Λ]{K廖 j} {_ T^5Ģ `X>ԗ_}3W6LXs~DO0) 1`wb7#ؿk_EgvJ7s~zu}YxplT^bDUGkŋ) V:.ÞG3S?7Skvŏzz[=5]_+!bǘӆnξQ҃G=Fsw=uT6PA!SDv&osQcGA%aPB [[F2=ә|E;5 *QH `:?D7TSNC7GDZ&A4u#T[o!svjh;rr.XfeRjNr> 5@RBoW}] r;,?Qg#%x8wLtm!H6{,ػh^T"XE:3 s VU[N$Ѫ60qQude1b&[ŬQF G~(.vk b5^d紆7ympv:8rUXSJO\B)W LAV Xmk7CnC&(?vah,{ ?h鳆+ulOwg=h.,7ӻs9~| ܮYm 瘟l$jmBfL4*e/vjVA ax4%s{x{`PbkN;gY@+ay;S@`^Y;m\O&Wk>սuNfCp6͍!"LWTcnbs3e#$6J!Xw^4{s9%#jc#%jEbWB \6?// gGm>;}2ܱn<[󠉺%]xҁoZ:ϓ]POwF!gE/k 2fݾY V/tIYZ ʈI -^¦?1 ZM]2F `loca @b5]:yxGRK0F8&DYY)AfU(N}BGڧ~K{RAr$]s_c.On向:jVİBCкr2 I*2Xֆu4@>kayP?c4Q1% Ŕ+^5b+ IFQ!}w5߻ D?Fbc^8xb7GĊ/Xp Z)c Vue}h1"е,a'nXptU_ <9.k/dG, &oHܯh~!Ca`jGM^,[y°hHuM"V%d9Zݝhp%ŻLs!ķc1:dyR'B| &LMQ nFCߙ(ZSQPQdr炻3kݼL2hbP!C CXF7:01#23|`W@U&!3UIrK[zB2R{f91~hLC(N6{"R`4.a:'O'|v.{H$#U p8JRGH}['Sf{xѰrs5WR <+S\a^ASZ1@ɽIe< ض5/d# sdKo  4`v#_yb83LH]Teai5MQ\ugVTPW6bQ0B9^5&fL"mP^RJpcĬ B0ܘ,Et3kCF|fLCU d(sNwʟ>0 }t,[=bz}IfT ugZXlv/] Ȗݜ(>d9FR{a[0nQ]Q S2{Ӡny4/} oy۠7 ۔ ퟏ=aAo'\ xhJ&jO'P~HЯ)al7*g\Z! RTCy^?\Hڽ&Lm#:*skyd] AG|ޱ!raoO^e4"ݹ>M g<%EbPry50ʽgMCUXoZn&;{dyB;zvOM=|?fȿLz="&dsa9iRIKYTJE e6-718:P0aߏ7EORcR4>ԙp_H`<?,Ko,;ًFש&ˢ2s,;/q TԜ"=ݔG(wZaƯkB/qu>WT@ 3ts/+CGDڏ։N [<0BN5(8Berg;2[Ac|2 s%,Ч73:F!ym(s'D%~Cfj+s͗K9:GP`__CQ >drEs#x9!M^cw[15-}uzk]fÆV x"J xAVD!¼8sXcR] (jvsASh+{IyV\ΏY3.U+cUp,(>Ӌ@;,"XMoMFck ufAP,/Q2\#F2L~4x Xqa>&De92%"czI1AnJror:4HI bz'9aW89bhyy޵s-p0c{o8Z͓j_v] [l/^ܾhI(d@F6:k h?l0hRI\[Nk=TXi_37ln!V)l:bWZ AG=>a $%L~!>ТDm+` 6QvJ>G%f^؉-`E tíĩ@=|P'{@hkyv ? 7뀠er<[#>KoE&&oegHSG jȾYPz\]{Ed•;}"&&$W'FeSD1ith[1;}^vr/( 8̇Z9Dg(&y͝5{ryC/mO of/+$|ƚga/"ݱ?R&MJ?leZ m!S62=xn\d\Tv8旌Wm)tzM}WQ7tq]e7qp9AqCqU:)hm?ͻJ X Jp9L無pD0xD%5jP2(?iWC Ɵ# Z5i-%vfl$]b;fڀ7bO[rDi=P@kDŽ,ع {h8Q&3҄pigأ(n?p`[h>R+_DY Kw^Tie9@(AS潖#&d" MVLq+l'|#.&1gy;ŒꟉA# =X>ht?b^3z1$,@Ql*1>R[%~kW^!;t5FmIN܎zۜ &,@K^’ _ O;dΊ</rftF^m}J7S4B`WsG$V('ӡhzTK#">&+J 4w`F ܪGg^2J5.,FVdoZU? _>qw`i٥{ beg1:N=cW="Bmh&x|: HB/˺^_Fݨ&stEO'X"1idX| &Imn_s&(XnUm+I!Ĺ}4|W䖨rIn/kϟ$#X+Cq)e|,}R&yX6\4d)4 UMup~P87sd"B.x;+.wUg $5 Ғ%l12L˱A9تYSXb+d:(8˘ND ltM# .x=e?9j3}z o+3&QefCp̲oJ<3MZnτUNꏖAljmq+eYQ#͈ SvJ2K˟Lz/T:ZK-捃 Ӿgv.籏sY7=ˆc>w^:ړ9޽c&FM1|L!yg%9))+LLz׶!\^(u#%0Mjߓm (_ۻAlLV:V`#|xᯡֺv?Bi$2^m9ߒ<*Ngh_P+K$Q.>5Z<s=\Qߧ+Xt؂X,#@Dh * y7rZ6 m4xW(?uXeI~cf[;TH\W"M_ ]QGooS7#utT!\G;wvĿhҝ(럷QZ8?څ4('źQ(Ď]e=KP@J1JģRR簓KEb(Y-}B9G?/u|'\yEWPAUH 偆. +V,vCrC/{AGJw #!y4="cIVL r4XH. FHV}&A@ >|zEjg5a|ITQ 0O$^S>({ q.j6,ј8K :*4 ك]Qf2 YVENK'*ۏŮ(83y{xPȯ7A1!X\~ 9orFcdsA핿ŵ"3k0d 7Q Xo#,2w^Gs?=lAY|9\^nINnƐvtCP|YBtIɬkZPYjR1D[surm ) M6A ?N;a+]~%vh:;/_|4oUZ?kaq_݊GOdhiSk3S"w2[C<aG&\&ԫuw}E]ug}D>&tLa / D]TnoUP?; W}^jm|qVsu{jQ 1d~,[xEJ3o ŧ"ٚ+mB tBIP?<:ŢgQ)n5 8穔ԃ&g80ψKqMs fE2>gqt8? I[DMg&~߄*5)?׀S.3mpCnHpYxSd~ш^9`߉N,;I$?T=u|qNFV>Le$!t6őΈTC#R u4e-ܤ)LR7ǭE}u%},ulp#[K`k4!޺2D VF!>}E'[3囎&f=|sƙwdlY MeӸm[3%$#0yf?eICsb4pNmp/^2`"pff+1QYBBh%,0q|q:oqH"}9tri{qpIY!c}J ?m4ZOnT_*&,XI ezFEfsO6i`Y20rGcٞ#aUYh UDXFв~e`ւ6#\"FZLo3,̣N5Vt 0]!TfY5NKgd8tsL :ˮ+' (hPmj xAxZDjH\ʲ [ERC7g>wVD3H>ѼGHˋtm(LïXzGh]G-:ۅj Lي*?R\ Z6*[l7(8qE d6kO;{7J{u"BqGfC&b|oq zQ"ҢQ#(Ѕ`bS l{0cxYBF&ZeLu% ݀Q+Ŧ|Hn""z7 nYcB l8PH}0Ӂפf}(8@jr4z U&L!}g̝&>:h[ǞƌtX{ߋeҪ>i#YԷkv b_ K6,"1%7?i)ş]7#ư+"1uu6_԰u G5÷mj өVfDH|7?EgXYYe,e[1o}tHO"˷)&Ũ4E lq&v>ٜ`g>W2KOihE_DImd+{ z^ÿNU ;OQMn LR^FxҺ "Շ.#\`I*'@gJ)1ZȲx PUDtlT]Ѓ8Q/_&1:jY' MATWJ<e0-F9˄fxXX>,9l(Pʿ:%lI::0ekϘVlr[[⓷p<(Txl~g^M"Izmܚ7bpɑW"a'oMwQ}Psf4:dP}%kLNz*?NߴL41-];`S8jgU9R,SkS~M3e3 p61]б^,zG$UA6Qz޲l;{g.&x7W#&y .Y}_@(f/ѨzI®,H}">Mi)Jog#jcY V76%ĬF5uŋ@8b.豗íbXGwIZ׀L-FO?(џVZ>=HpM'#M,r s0| ^Ot YeR7+/f_]_(~?a =zl]1Ef|YQ^9i\Zf+5Fk<.X^Y.5\CzZq,1rCRS`^x 4 Ŝ._j C{dڜ_*v]4 T3hE8FΈ5~g ,4(3n˱{6qIL^1CyU@%Kwݧj}D[aJz!%#:bL!/PP?~-kuIOdJHJ'IyZ E))F45U al bHKtR-kGMɔU_eUlx UGmNb!Ωj ʪRh#6FKՓ2]5P=" m$S5+$kRPnڕ2βpR̍g='oEcbrQDJmU0P"HVWo%i05.B^)7l๓s% n߆^Lq[/3c1J3UDdyޑh.:9|ú71XTL_kC`y;@]3/ 4K`(ԘqqD~lofN,0~t@vDև,]8lU"a!ls8ng6LxfL܏=,/؂J&QdVyߗT>qfaa-ƍ Z)xUb\];9!wfd|d\$#쇬ϭݼЫÖie++g+JM iPC}s"s~6c$ɺɤWlDLWIC%c+;}$ f%t6QwyͪF9oSi$_!ۤ~Zm |+J!O#TN?j4P{[M"F\l0U|ykύXǜ?xDW2w8v8[|Er x1Ts/zGYGvZǎ%j˳F~M m'GH{Z@zaJ?P:eaY/6mK .^zv4$)/e{~Ŭ¶a \ϱgYZe9698ee6c9ba284c8684d65ffc1c35d4fb960c44d2241105d59f024a1ed91dd402ce7df32b8647fc 03456ed43f3268cce21b507c83b43956efbf99ef 4021ed9297b88c4fa4fe51b46f67ce3b8c027638 b3707a727cb6d510d848e0c7bb7fc3863cb2298b 20b865b7b1bfb24e61024479b9bf6ffbecc7bb2b