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 1Ddt ]% HOL-Decision_Procs:threads=6elapsed=242.649cpu=1135.284gc=143.440factor=4.687zXZִF! 5&]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU10<5GиB<ß5M܆GUk OѿXW6ߴ =GO@m2R!VySr/,S@W?Cݣ{߂Ab1&k#vs#J:'Q}GJWo=ph΅Eu!ӟxs 2J)̨!~fdڷAM]{oDݢhRQW|SJsLXݢ1b 71[q F>BH( OR:WϾjDrO# $I@6 {s?ޡJϤ>[B<Ѕ$- V4dZNTWY #GQbfH$>)MB D8S2ʩǢ(S $ [*Lቲ@FG:o/-;~cGcW: L7A'uǻHcrʡ`JnP4c̠6_IO\yL$vN A܇IN6iM}mjqng B XUk2SF*0\.x `썬"Hi0 Bj+`d,YE+$xuDN{墆.nF[%H!;@!~_ 8¥]4;!0!#3A85ɩ{tDgS:SDw` JdJܷgV0cCߙ`GKhTY,bR] ?"';} V$pL <[ۏJm,)Uu-ӇҨ:0y ض?:9ed 1LqufcYTtb)}O M>|c`. 'r '%z˯P$TPO3C؈d v~QL$?EWCneNL>n6uYZJg# JlmS97(ZrSd_m{ki~30*Em [ /A%W^u“WKie߱[s}jYQ*W8;O]]ͨޡk_GZަ4L{f2\_bʴFB); Phc@"rhZ2[cDQbk2#gfE2]Xr?{g&j*py%}Š j-5t].CF`IK0mKGΐ&4!2ʚP P{7zuShNʻaZ"PGޒs&c^:a5_>K[yq)=Q]9%4,ӂc6} Tlrs"z2w#h)E4 )LvMSnz4պTLd.7aՇﲋB$=:] ` {C]/}Ǒ_J#{z nk aOM(^LA> U¼Y76Bh]PC(ּD~y3lEM*(V'q-cQj_ҙu&E$@sXRƲ,o]80l$)3!KYN P%BlbOG_)\%v>rKٙ/wi|a̵sW` DF b|6 ET>L{\﬑ ۯÓxK`*DK)zo V,"W :f~˖rObT9&<ڸ*.V uV! czdaDK{kHtuwuJvplrUHM;.|T&Hve NOJJ[18itr"9ӌj`u_ 1Sx**:JJأ˵\Hy~*S}F3%Apo C}$;D6W*wԯoBZdfl`"Am;@8V3KgjS3x sJś,~*1+ Qܧ,@|7!v2/"oNwzKH0YzyW/MP'NeF#O-,aoYBln14B~]1x|rܝ0xJ sE|jC!,  ciꦦgf¼Jl $X/]3CvMk!&w2-lq:JiVhb7t,TpYUHZ˚Ǘ!Bڥ%&7ĕL:f_aTkԱ6Gx(oiIE Wz:#ΪUMB@QH ܼV5M%E&) \@VOj-:o/|M؈V8bdXc4Q^K,O*܏:w,vo6z"_|{C9v=?߹m-h, D:?k+ q+CX' E<$z?H [,T"s`E1 AւLo/`XKG bIu mQYfϥ<ۡg_{a >j+Vb;f🖞\ťm3ռ"h"QGMCP yZKU)t мX2|U]EoOm$}<[/رJ@ubCfF+y M>LP+"v&sN\}iw8ʕ#qdXK XsaD ڈӨNмTi$ڑ)0 H FqA#϶!$uB "!8@x@ 51ǜXc8|if7Hra 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 J?Í#*u6D}6P4/֗bg:QlUs P2]8ef"NJF&;  Lf r\}ÃDL=ܴR^ͮk bY#H@];HAxZ DW=YaHCwѲc5I->5{7m){-㳲 LwȞ`p)gOVM?dHg5pARc㹳~VuS5+h@5lث}kn˘ᾠAk!K6SD&:vEYq3 q>ȁ;-7o\=XxL K L\qeJ{fbw,9~#,T<E/[X /x L 3H)el^`/u@C`Ƶ-lJQ~1,Pᯮ^d;2~r;sB:Hf3m\|M@v\'|;0/w8A]#2!ٍmSfbm_ቃˮe:GC 5[+y`:&*Zmdl‹%V}bMqq fp/VbX/̵g&4`tTN$M'LAǹƉz-77=u9XvghHb=_b?'Y9mZ[bQ%~ЙFۤ"#̵8Bʆ,ʖm)~}֨ hd1KKa(wt;&՝tjvƌ)=\6;n٭*cM!5S(6_cv`,?w2[^o<=2!3 c H_{ bξWL/:7E6%I7&jV[#deY7_/t|_c"%;&G%u*=dTy&=BC`G/:W+0o4BPCLlx,Zo~ 3Z.H 8=\lYHZ><\1\{ϓr*s bV>e1xTdMa`MgP4|6 }B7Կy#O=r鹮sTl4DInjqGULCI!#/*dCZ_lQ'R-op_G:GWw$"f#^VtRXi-Wγ&5Aznū,:ޓLrɱ^;im Ys-s]y_Kts o-@iSEm!uGĨѳ%@RWܠ> n nwSD-Jl #qoy`\?0m@N~'}ttT$t ?D|(S dDkA 9 } kr8fPGgL{S|T·TTchIIJ_`G>a4 ܢcNxIj\j\ɦF$f|ǀn;0p a|enx*Le.l;C}3 '*/MR? b 83h <55Wn:uI! $ەQt > dUνc$Q_^g aHрQu3K`=d9t^9̿4\T,Z&&'@29^eQtA*[JBWWfٺdIćL9&3߇ֱW͸O杞[3:?0x'O '<IvQysT'FK=]5MԁE@)|!XlKzЂQSXQ29Ŋ̛Ed=" c9ֻERt鿪1m49ut|&/[0'R(П5/3KEf[Ɛ:23̶DK [X:Cǿ09szR@WE9.˫d3Vkjv)Ga+ N(L4ԜZ/uf-d/Ts#tC:Kٮ:E{@[BKL rz;&NhW]KF41lf%0O?J/4XbTsSr}i_dMlwѡҎ/IODzlAH򽈅kaz‚p' D}'_ľM{'G*\aGWtODeRy*H>߸a͑AZ{LE6fDqQoU!1as IPrg2g WEs2ʼnigq[iܛys?]~R> R™զRwba[9]ԑUd\al~(|E_ ; 2y&zDŝϱjio!pNՋgooL9S$^4/G%z= B;IDCa,;D*VUu*8<{&@x"'~vh>r)I6T;v5%\HjFeeu^:͸ %E$BzgCȗ Hqzh>MwGB'X1SOmV$Xz) (]T97xQA|X~JN|]tT8rM >^ʌ;F>&Brc9\PK{tޒ_tK!mZ7M v]0AEJ{r葱ːЁ6w(SPK'Fȕ7"۠ xl٭TɺHewqrdک d5 TwZ[J20~iy;D 2/ Y^5F).0}º gjw5vKdV|d s?6ӛH7nl8c_NLRje!pN\"r+Pİ7QK↾..Q5 h`T1ug8^),,p麂(QW* Kl1 e|rCJ~)x5EC|Y+R+\9rT+͋uim, Zy!ű5J>YlP_Bp7[Ek枢!4CK sPzCz|tri]y?#qr-lZ Yˇc[oyL HK?a_RXBNk.z5r+ $[*NA˟5gdj+STse@P&OB t-G~,^%S;+HJm0}SS(Vfn-VRYy0}V^" @xlb^-5o;cNଡ9(ElݧI3L-79maV-^ۉyK207G톴j_nGht9,ҫF!uLn|{tr\ s{ 3",gTCM/" E4sƠ)L2g8ʼn@t5S>Ulۧ&,Y ޕZZ0jb@e8/^m At"Jp3IFQ7svq;iWERuKwGwLp8^qE9K!gC|Uoe݈*].hZshiF}bB=.G ȝ2gbCSB?l@s媐.$q6=<좥jϵef-P(_RaA|cN,ja Eְċ* #NN/Z4֞nEؘu`\u4Mv%jѦ#2=+]a`q`98d"FDG%fwYM>"] ;=y0׮~%_^0RsbD~<´X7OGC8= Nۈ5 һu~Fm.oUY/ل~x~]#:rW .X.1_i~E.WLK=\ 6H2grEw4̶usuhh̙/l~SD[?^[QkxfHH1Q~{JQcs_*wu<dkRBl)-Z!>򭋼WJF1۬9ZX>GH0JtY pב@1K>@aruyQ fKxĆnЇ '|*7byhNcb)k B(@fh P4lBZ@Vg#eۀ[kK&TLt 6$郙y%Lj_4#e1^!\*wTQ:ǥ h  pR1eX}>S^F5O/ԄY-{ӌS\U3~U eGMr妼v/fg-VQB:& uIȦvxo!οQ(1O+^CO!߿rwX^G_&U E~mXrs,woǓ~K@,pc2hl br/JUqHv bJfU0w^=0`ot{r4Hb^];C*S[,k:Kb9l%"q[V[ ;Co)o%Ie24CՐ}7җ7C2 Z?, T)b0ovka9?+_W{H>ja;lM.FɒݬCEnBISdIhCGXsܺΠvkqx6TXJtZTZ.VxNI3{B'd uc/9=Q1z3EbA#Y/'Wd'HR ,,}2ۧ{QmBFm^q"/51nMSN&gL5ao ~}NM0Dm:9h8IWp 7xt'ܨ  A~7}|_Hld)˅0Jq\{!0%̨O( @XW ;*z q7mR?z֢,C'LkVb=0|*}DVWIؔT^%H#X`H蟑]{0 ?y W.Ei^|o ]YMp+rk$V,%#*MZ |$\㳯YBjN6H*1K12 垙Ƶ:pjvQ(mw}@Lv/G(ISoG9;BT>`(iOL5~B dگMaX_ַnq,Ֆp]0Px-BRN9@PJ8κ;LVNNWV g$x? tL!޲D!dz (ܴSf,KE}̺}w3 6=X6z`V{򉼀d Zc ZvX $7WI vx#4$8Eς7o 2awZK<#P[tGT(K:1SB&ۗ+?|ڛ?e>ό7^8a"wf9>g+XT~xP I dǜDx̘o( <0.ylH1Ql!-vPgy'O޵c,s:8j\rGCƄJ8f> X_2[uA5wA9%4pŜp`N 0(_[ {.0,F 5%o?p;l*Ci393L-_Ü>ټ̙?L€*+@QˮԃnL^ABb9F,^Ԕ}|BhisYDnL9ш+%V)R{ _[ߧY MpJC.N|ְgPCzS vSDf캏K@Q)Q 0 *MƠZ\?JǽA`%ǀ~A6-]1X)Zcj H Ch,A f'Lt5\qOןpGYؠjY^ľp]}RC(I`$`1_dz/3)42ҭ){%<kis~DB'+]q^[(>1.fN/8o@%1gQՍ@ J$څylؚ' 6 6V.nj V#jSY`F:|`RplfC怍EjWqk-{d  {쯾;@9._ EWcfdMrt#>fe[X轒qL"xbh Cc #gdc1D{vwW]I;:/IBy9+M~LGT +e3"6T7B002}5"_oH{Ks:Y:Ť_"$Q5)/! 2D f"m9wPl#Zx V'hL49coY7Ap)`{ %YAo,G)+#<3&yèr"ÐP"BDHcz•\z15UB4> N vk0PW<3E9'=~k |B'Trn  c%}rI;^x%{uoNM\([ﺠSp oΧ^~"Ԅr*g$;[Ci6Rt.VMFD+r5ftq^>e1xk҂jq\6s6= ,fNiYR1 F9_Ž1PHs*[7J*Bn$M݆GM7L&ˋ ^oYbQި@BIh_3CIsRxAHՃQ5'X&wz芞 i_}i-`l%wN={*强n:MêޑH/IUm ZJt`b4(Ml$Ď">/9P$G?[#kdݔFO~ZQ r.oTHF^/0~_r] ;0utrUk&褎 !`$D4:u;6 ftH5 [3 X:fSEVV `H=*MT#p=$qYK e{ɘKp89I"2lMN@|~BXDW_ݚa"o%D<\B T.D@gfF"Bpȗ4-7Zm;j/&v8ςPXH5UBf%hV]$aYK3ۧ| mKn 'E~vKfzKOn"iJU/12 D3#S"T"!IzY; 0x$B. ;o0:{I,SaЧu{ ,X>P.Ҿ) ǽ5ڼQ6#I\X'wb× 3$+%6"-g$rQGr9(8Xn+`vaB}3x?F,pt4X%mkeOZeWvXQ X?Dq5.ͳM'CLnUW)qV:280sȽ͏MГl,'Hablg 뉹i'jOц REB¨Rz2P_,Jsګo|yX",WgngdZ;i;qY `(=फt+D;"6Jj %QO$f8^tD.?@#P;l>҄Tlʲ-;ݡ4h֡Oƣi?o%\u6kGx^{!'a.(tu({EEFK[÷>^H-|yU%<ɫG$!-mo^  NĮbƬS1]/XdAXm%6oSe)LkY~}VX EZ^7타SOnV1&EqsG9߹mxΐvjE~3)ozv^9E(Z\!7e@Lԃ˧ax\vAyr{cJ!>ѮݗC8Y<+C@_ASk[[ߧC-"3^Q}Wf!~NG3)h wwfVbu*rk.0aVG% 5mqs,d7-Mv|{yC_“s |<,PI@Dr+а6TD@F !@GK A_ Jf K4 dQ85ϊ.cҗ2V^;lj"hkFj1_(~'=`v=݀۟ CJ\ȉdo`˞-#IBYJcL{Fm2y(N} #r+&(N2͈yj!q, {ݴ5j!(^1)7,H|a>d$sE0b[ϰҭͫV0a)Yj 33\Q->Oz`Syɓ#+a Q@ZG1-H@LZ6rjf?z`O_9aK/%JR!kr44rKL\Bt#OΒ6@HR&p(jQ2U }.7~x Sco#`l'M4xT5;~:^|f|~hReE#-vȣ̿ $8L1G:er=/Ĝ&*j^[9uշ]ܜa+@ \> bPV_gn%97?@}{b>}":Ju4zf+AcA T.̓8t)Ky)^RGzcC0E.#v=.5<6ضs@,h&^rJ\[TTYݠ[xx̦'q(we[uסr \W-Њ*VGF3%t6fX]ƴ2ILGt^܄}0PT&Q'"OJɡBT Y w艽3Tb71o1%@=vj2LUIu(q0ƒ|-)[}v99d3ӰbN| U6JPG]s0~\o+'-w1J\ZR"Řf0XN`U_\E`83b YtwCymt~p&~XoHSPr5~@c% ΔRE'82(P&Ґ/'g߯)LJC2}1菱ƣ ݆xɪi7 'c0P`U2/ywMG #Y~ 7{ /O4懲FG?<[Y|dTUF}Clj< s #0 W`;w0&#oW7K@5] 5+_yr\ѲWmڶA,*Tkٶp:8"@&M:E; F&D~`%7NZ?#LeN8M+X0ce2tofpR"H *_&(B?{lVq^o1R3K;Z?d W>:,0G$ATeBq˗#;WϑBl]=E9E҆@q,"/^X ~&h gk H]ŭ2GA 1Z6!Q*`eY)27h_d Cx`(@v2vryM Â_ 7r?C4qO]WkBF+dZЭQېd+zpU3f8Am+l"΁X>TmA<ԣ40hK(Hf>ĮVP *- $}sI*#0F] Sy2B8("P(H j9Bk\h O.`+|Tm[Шf#Ϙ (UOL3cڟk$9༠ŶBfdӦݱAƒ`.}J$ r^Nt<7*M+N?-[߂XE&Uʘj'Ei'Y9ǭdN4 !%NJ\_* |Q^Mۉ 07ԛ5){# /?z??F`$Eʘ]uysN TA9 FUs B&U>w8R1."uP6{ьdA<ˇKV\f'DWO1Z&~öO/$"e WpoMSphC>,+-m<IzNQ!,yL(ḳ_9 ܖԢ CԅOZZyp}바 T܌ 6VSy7_Ec'RvX]?WIꍩ9P~n"̚u29MBk |Z='lr1^9CYyz?tZ[x4NsQ@ DSNNH jGs'wfn;vdxkVi_(8qV4㱈 ߃5<}|;I:"Su4Z[GeN^j3BT2mK#]K3K۠E\A Z݌h_ws '^5Aԇ犒^ǵh_cY0'8Y]MQ7bcqtaiϲR ^ -u;ZYiS}7\'t1 )SYL_Y{my~RcR/#S,^.R5UhnY%C!_5o{tNK-/BƽnЉѩrAhmh[0 "Vxø{-}AYPUvu2pe-"n//e fgwyW¯,v|c)a5 gz l^薗Ll_ V))i[ɒwKd'Mcޒ*D/k7!48[ᲄ jВ ~3c;Ԯ/gJyS H e\ZqLXDzrFӾJ%o`s+W5EnIŅic,)b)߭ٝ\P]?i!@BI9eA$FW윁-FE7]s\i 27s~5g͖ni˧ߓ 1H(xC0?X>kj0Ŋ &F7GA'('veIc~?*[Ql-Ń θ_;"łbdsʸzod m>E8F»w3]nǧ:,㙒ohjEN|N0XN]\^t lM/kOKi#U5> sj-J^ 2֌kPBKƎ)a3f\z͵&~s }2eĉ_I^qT,נ50q+Ɋ p3(JO{iHu4#E"G|W5~F=~oZvc^sq>M3YXb5RoV ~NRNXɑ;0;< MX4YU^;KRz:DMS̩nC63b?D<K{ ,?uh.[ʔ2)&ۗ|sg5JǬo Qז*5⫏?mP'QXþ 2d.};} fhA ]v@t q, L\)?f:J}ݍ[Xt{k'0j jK@g@9@ Ԋf;&Oz4KuڍMhna`^Ӱo)(Z+ 8V5঒CrYRzڹ\OGgc֎_l`Yi1(T/`dVaiWеf:Rmҽ`%VϜؖ$H42_/~3-V4Ly@&rx6Ct?nBGg -3ѯ^l.DvSBǓk{С5AS_D#LSbXW;86`VL70LQ)I7a!ysm(Ћa4hSK UЀ\p-F{f;r'wԯC'5)X13G,:wi6Vl\&ZOR97oP ʠ󞂜`b_C[>ѸK]x{^_4 ^8H&EO¢/\uG|H|I45s)VQr<`'j x?A{!>Sv)8< ($e*GU(VM.r 9[N9Vq-$jUeߑΒECE=W Wa_'1,c=Q9|dh4^b=n~lξ8g9Y6Xut&̖PmNg%zOj>-Џ0ODA^a8lļG5^DeTl: ~1B]J`A@sgbb¶V~ssuAvoo$ec W!e%IsEuOaqXk~|o.F bOܪzuK$BHLQYX0!ڍ-M M;2`̓'n7^(p!_ +<wvGڌ)>N:!.ʑ53nfEO#vScm^Qmk,QBI8߅?b{M⌓vrw߾7vG \T.MWYC8BsFȚ+cWY~]=9[ BV0K1 H[zDIMY },U+t2 [vq>SCj{6xCz4_ܽ\=3RKG["yl{o%Z n̡<ЫĪdG7vQF.TTF&訬Q08ά61 9DaFH_T-sidЪh/Ļ(ƛ}^"R J+ wH~[O:LŧVLQ0Qp %Խ&-.b?YJ]3eF Z?v٥ 2D;LɎx}[fC6mH_}b&+7vܛA76| %R|QAR|Yn}l"J$#D%Q8E#ؖpBa7-SS0Хlם@ # Q5[b8k_|O>{$'4tɯWDն+k a]a.Ed$t>V~K#.WN^>3B8 -`X 1:p#P7&?Pj~7'[R#Z6,J!J&x)v_[W#6NČhZغu" ݐ{A͸jMIy{ѸQA[}P$ .{>@YhИ3zh\F6k5GN}N^_NSbB zMo+oZp1oˁ6?20'R<9276њ.ye/QM7>o I2+'@$}=/>ۂ+ޏp"w?FʩPQ_{`7Qj ᇷWSkhmO~yyOG?SO^=K/1PPGӖ&p_Fv#@):hew%msP=TgcrT2#i9 cPmV-&3p/W-r\.ůqzOyPq;_"Ǥ!Sw#U']heu.cy¼g# O75뀜9R9]# uo"Ηթ$u-$I'F/ζOl#ȿnL GyFO E0ɮg/=Yzn8_ I Nl]t K!@f;(9 y-rP&zOXv5sX'9nJPA"4Y(`I 5c5zX3Jm;iztH T R1/ 8Ͽ.lCXCmVs˺(1 Xł3u5\5:92w@/t/PN:&_ c J.W\ IGtc=> *qv"\qɧx=N$# eNK\,40(Ilv?7CEآԀD/%P ֒lQzCP .@)@%6Hu90CշDzß 951MxZx-F>KfFGMjIK W6:@> ߳?hvH(* q_d=щ>@ ]uUZp,}N*S5^`L8ZۢF&b?iڻȥ {_:$̸he y;Z =+ل~*l翶Knd sWx2|DnAY;`1Rԩp#GJ)ux5R1m Kwru`&>uN&Vlga##0HyېoHS'I,F#zݣS 4H sd ˟nC4ƭQgKـ*A݉Fwqb>v[%(׳c$:X5iNOMJ5Eηvnl&]j%:%L~K5lgꀭ-G1v;å[i5<n8r*P*Zss)Mt`i-iJ٢=@4}J_]0]_*НO('gYZed9ad147c5cd2b33acf21e7c2a676ceacd41829ff79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4 eb37e5ba364e75f2c586fe34fbb117952048030f b5b9691cdcaffa7d51d03b456bd04c81fd8acf86 dcd3d0ca069f4c7933f430b9a06690b388e176ae 70119e196ae7c84c2cabee9a6e567603a25c3b02