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  #1TL ]% HOL-Decision_Procs:threads=6elapsed=214.435cpu=992.172gc=85.696factor=4.637zXZִF! #]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU10<5GиB<ß5+ 2'yi\7EXZyI[6}$3!#b)?TfxYlz".fJ2ɣ(tQ0Mj^#zAs#3q(_i9&R ֱfqN٢aSϛfWً!5OS'r=ptHmf [2/^i~6 `>TMYbdeqqDHnpNAA{=Ѵ'/?}p?eg8E@1vQ*^ [Fj!ö-oX3T3Fh0wF,C@=TȹSmKKV|GF 2b|l¸z2X&J^?8J[ΩFY SgON1a$4{1$fI;ӹx!MۊjU7ٙ9TSu pVހ2pz .EɧG&3/%kZ/>ΥwD*Gid f{o$x?.-:Ip2z- 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 *r404 rkr(J)hӕ~RjɵF1 ov8ǣ-9sl&ؓswO;ou['WIRݗ_fHf,)uyUџv$N=M%nTwgq< xExG_A{y>+/ .(BߟT8၉[Q|q/J zՒ.B:haWWx1-OES>?;OHohlKyvErm=ybK&?"wH޻*E|ԟ;2hku8B!{R=qRcZ`~(:x:Ags>95P`ܘ&bcCVhȅ֓ʾp(FV= u^9ͅpP̄&Ⱦt̲w#^7~ b1&ҍm圥Ix#au j>"|tfe0VR飡 M^9PY'@`~.@/d'q=4NH] BqzW~۬u`I4YI+@s$'eQ<-T^uUH68Su8#89/cOFr2zO&s⦔=>aL\1xbwSAAvK4M٘(:<Kuzӧ|ɰڤyXdG LĆvq$ ĒG<,۽2YpNȏq>F+ ~0 xTZY8\ Ca&1M2{D- lB {`YH1/I=D%|oPR3ȘghW_z4H= Umrԅ)RrH]VTw10q1Xd#WةJ̀ #BDOkCd|*קּc,fZobD3Q7xZb2<9ҿF24'@Cbr9 J HWP&sjVkXk4[ݗ~})JPpYg"\̤Y1ҙƱuyZÈq`ꊱK;*Z bܻ}CUnDteY_=O`FlWSavX{^Oh7t"9W6p!p;)ն&Ž(>?qegz hA)cr(W,~zo4AJISLrA*aն NfbQR$IxV6kR-:YIIsUJTc5Um(8UҢT+Eg%vO % lV`0=H%`2IgMT  n {i5~ѡEH6U}_#\Ù v_'Xs'r[vd 7#0 lު$vPiNu3 Ulf(}ww'gWt4$DvڤRKG{GJn)#}?+kvlTk]1tpEExU:/)z[D-% "bz~?e_K;Ě9kJOy63NKRQQ&2a7Lh>0N7(vHޫc]*9CQqȺRn5Ǔ:[蒁it(=G$l,Dk_btEPkn\Rl PF!4^jasif&ɠ'9CaEHb#$FܮuűaPee+,S c#7gRSXmYL„ #'J(Q܃ٶ MfpQ釰Rwd<"K^Zar@L;a: iYCAl*O]gu53p݋hQʦID4FU b" dq7<]~ 0TFho\;~hU>nˈ SF޸ Afx4ea CLw #_[z$9vq7N$%zGbTQjϤNHTdB8N6SlDm^&̉?~NzKc\ȹxQ(q|aQnc}ůQb!;-? g/º8x珱و{.!H'&]<^j' BAk Dc<$4;oLQ7Z dg XÛѤw8æ sE9ۘJ24l,}Yb4K!Kd%T(ğ}eE ttr{6e~מr0(TCHF n_9\Khkf!u2۽#s?[yYW@쎁<  ç]G8Q;2!fnx#R]Q|VƩ4cĺ U>|3W#hT6Q3o B`غCrfYncM ~mǼlSL'ti(?\Z$=iHo[7xęj%>o![MT"!J8 u/4+_ybXn0!{ٿLR#Sɹ1KC3ih5cd_6hrS'c^Je:3 h_šb<[PU&n 5 ?} ![*h"nwϦ vГo,d`*z,2+NHTi)> EE;TkLP%.HjL8 3rIE D; Ў Q%\n,̧l4l {_ZRN^[] W3*,#t9,xq1yhnӛ1l4D=@z@vL!%/i+|d\q9#Smq3:s7+:Spb*LLs CC<'qYܽ~T762> |pXyхW(ծ$dߏcQHA[S۹ Z- DedqI(YW{xA^{~e=kyZzvNlM~!Z&sS/9Ð" b Vl6߸v׼VWui+װ 帝߻ڭNHe͊/Cn~;"2GCQ;r w"癳?ߕLtU*,ʰ|4$$/ݢw*WnO`"y)yFy''Q;㧡,seЖyd nG}6>Q]ue!2T'\sfٺd: e5|l`T/Ԃd 巡mY+Ҕ+1}33ѶϰŸ!yF1%jn܅Lpòc×RoԑGUqȊP7)] v|x GRFlC: 'TCwq5$hBɝ 7Ӿ}zNpa<$dٲgBۊydy cޡuFLXu/UqĒ`Zt͈ vHc?Kpi"3X=7B* }VwoَS5TcPrs ؚ^iƛ6;21:č8 Q@LQ?q@#:h"z6eP eëzLVEsCI4_ $<5FkbqhK aSB$:տd"OPP4JJN &ag®׶*8D0۝z&S1tagI(O1zK?ZgoKŷXCJ@.}mzD_mn.C?0_H=B$y~΢>JMG pb(% JI1/)2V2}&Ӂ>=?8xSD}]@G>0Udc <͙Bs/+̲Vi˿e\@Gl5yO)1jZ7euoLcwv==0h&D;gzOؼ7V&˄6k[x䘢J}^7/<sƷ4=;Q2Sk[d7Tptb.SItn zYȇe%Yms1fW׉ DNJZYxS;Cą`R|^l" dz&eeƪIȮ- C]5,}4F6xSqC]=!a۰<0Z*p`Zp&eZB 8R~Dߛsɵd>.xD*c*'g4BOZS9,\xe{x/4UѢlt\ZsYk/@, 4AհD kM/Vf;@Pٽ/~>ņ9ޣ\Rytf~`Vy#~;ymc҆YVo3D{9+ž-_?vq9T U =l'|("cP¬ K 5 tV9m.>ǤrTАvBpTШ(ٗKghLwqG̉C|*g"lDWbn>MmLSLzr#.%yVezzB}4Z5z;ԅN /S5՞"Ҭ[pQdW([ƔĜ|c ۍ>U/햝M= `aNJc.y`x]鲅~n"ru^VxtjqϋdvQNEK}U5a._($) Gnuh{Y.mA7PK,bað-N_U BZ<:lfMZ!ᏱhO$Vh3,|80>Q%rݑ“rBޙ0EB d6k.B@NYHÙVc/aŧ'tȩf3rnQ9K-"|?)td) o!hڍfzCo#]@b[PtjE/|{,Y[byc&5ōʛ?}gT9;Ayw^ז;ؾ9!yS'WcnhJ{*p  `puˁ R9x':LyQ<ft}@$'J!A^mhj8MG; /i+7'i(#ʻ[ Qs1a?aVk  keNy24&3jVjKر:(ؙ}@P9iGz5l"~܃UYB}`ls%Z֣=eslf.x;b pLMC"+=s#jY_Y{"jpu-I' iHLNWLf@@:̏ m#0x.WCb!S{vuj=FT ۛ'x/Yf+G 4m[5:3qkp⏛bv H%㝧I?j!ؖ% o SYa}i[ھr+{o^50UҮ:'E3RfPm_,3ʂa%^yKPƑ񟅫YzIxrCšrK?%΢u{XKěɴJɦs6i 5ωu-> jb*ɥ%h0M?w": ˬв/ڔJ݆om hkn)} XZ"R%vs+x($^ /kz6mn;{)88;f5(M頻vL姨}MzJ588їiɠK({,^awK\;.ZNk.4;Gt YZ۵ ?V5:Y'?ֱ cDtuӨoR ;[~ZMgM+{'Iz2|PH; 9~)}-b<ٯ߄:1&Rq{ׇd(J4B0$mSc/8{a)>wJDHnu#]STF} s(:;Vԁ1- >n.bDo>M_`VY\NmҘ%w5WD:?K_嶋Q k}X0lk/LMl=;{5@ty\Ї&Q:\?>ٚ,u͜3+Ͳy&ҋUD[O@~e'{]}4n;[tl Pӿ1CyYלv&qAEiUo;L"Zg(u0jHhX!! JRJy7 O9rbue7&>_ۦQGpW(G O-:R (uM~mc"wYB߭m \vpκ6^YK l2лxI<& ?/}|4F YM֥WIkY X!=I64PvKA8=Wb-?N!.1DʧPbCj42Q8L$>c>0姸2='Co$O%.Z-Q~[Yqn4?IGk4QN2/7(T{PF*N)W ~D1,^}㇛L,{;IEU) b`g۾ 'D~,}]]z DyZoًrrWEP'k{a_S_Ào(K?+:^s'G8=1_HM_)ս#7V(:tj8?r*_qCn3lJL$iOlE{R'H7qO`ݹQu{Cl W)bT/pU4\F14 E¿ ϟYժ%u*3K =i$Hlcf`68c;;z"7pL+4w_ĥ⊿_wuriCa,o~_n-7' $R sx<`Z7C8O1vG F!^KWwGJwƍ5 O%<ĕ7"` 9oR7ϠmCt@jo1whhA c1&ښ<#~tjmz2nIRˢ nVo MnS%F~)R}A]ϳsZi?[sI㟚cYr/W>y4 DҰu;k:rkbT[߷OsG4Qk%ԋ6O|R`,[RZs|H3 ;ѣxY$E6S{a9c/sKAsl|h/D1]4 hy;} P<'_ |l:mIj+Ey6[FK0 AH,.M+`ecʁ%`a*HAXS3rdO@'mIQ4U/C$#;Åm[ fn$f mj&5 Մyn<܉놇_m#Tlԁbmټݡ T_+s"m@>r7a}8z:-^ῲm-zE;mb̚Ԉ=&&KV(T(hs໰q;BG9W݄ܥu8s9ya4a4$pȉM0mC1s|IVx:+Uœ,IƂ) #J#&X`VJZar6ޚ<rJ)QbW,+)#^6S!&<댤Htظw7[ߏ~vr=EN;do${˾閸UrװK1'.%1Иq#ӱ8G9DUnν;8 ܍k@AB #9 QcX=z s.hعc#\3M+yxOAٕ4<݁xreTw^KTqPښp4٭0뜃m<(z-dy) %E\(v Wjj:J7lns! "<to'4d9\ԋA f+[x·#r=0w*#S?iHmta3BYD]>_T7r_^NbI~hoH s8Lua!oDy AѲS|$гC!޺zh5н3zlmw'֯kk0a%=ިC+#更&!4 6z]>Ad`]K] ܳ䓄k&skr?`P !RhcR5S!\>3Ms{)OT0CQ9M)\o_-TxHJ6|9#2r1"yy%MEBz>=,Q.g2dި<3"tܢ3[@ mEA~6+X]>ΝaxD7i] /#dparȪdLJ@nvXKAc8ͦzF '˸b1\4Ƿ^F$: 32xi%-"ղ{@~Ay!!^6l 1YSr9/0)+[w{{<8rNXz: F oJ }ciHO=nz%ɹHo\K^ a<FㄙѼdeSUw VK$lyH9*U҈o;vr8^L}&=쑞6wx, 4ᱍ6"_jiO2f<'w[$쪩#oڕ'!S+ugCQs v=;3%:Qzz\\OJ;c.ʈuiܰP,E0IM-X!m{HgV'1컃 j}GˮĶ-=fUTAÄ~Jزx/AByt֜O vB9>a>M-v@­u1Vվ|{R DOehhRVQ햎 cn@SwK+׫xe|>h\D`6eJ9&2+xȡmgʛc#4auT7gF9GsI_d+bUjQti-t7`* '-'KOe韶QA]O<\x!œqi`(?Zu50KkH? )[IJ-4E1' tk[Sn_{wL>c̝/kl($Re[fawg~&Uln!mܢL$9q|Y0)JU u0BQzwՁw]:~tZwY:b+ Zl*3rHbSZ˯\H Z&D\ku5^#/ :ì8ȏ)>&9m5'2|6QY\4KWJ| n&uw{M0.i@K)D ^8g'VJY^󫵏.ɰ^!YuŦf% P c-1r_8䧖iÞ0ȰirOXPR=5] Aˉ #cMR nhe x~Ll5R¸kl.,Hny7BӌmWH)G|^[^װhd$TCgJ$l@r]rJd;NO1S:HE{ԥO|J`1 ^#;KhfPEn}# #.:ߠi$p~~"y \D;dg/3wyI¦N vKFP}9k (>VT{]6^$y[wu1 Lk2ӄU.fIYZ"4c[y ww[&^{ 2>ݡ{Ht[]! sSze.X%>XU!*aX Q2+|肩b7zB 9N d&B_M#]bb(%_vm8/vPI{=#Q@ 6'ȃ)Uf7` ?LCWAKb0{ N>nً,V3XԦ%!G !\_rӅ6ubn}\eGJnn}ܹe"Ne13 jzmQSDH܈ײWZF Sa\x|$(#L0Ʀػ[e` U}Mџ?`ެHmG rAtc5Y%T8i ZPqp5G|vK쉝Nof9U-`]$k'cbnٳ3%}t$ҵ.}d9CVν\Ly'P(0C}t XA jc$|Ph!冂&!kVCZǜտaTGXE 9QY[Nؕl*=!vmP=[x i'Ґ\EH.18Is=S SAˬ\C{Z5ht ]'#͓;x0[!Ȍ4U\˺Z'- <2 ycy0e1@:U^IjHD88;[} = E7%܎ CQ zkol,byvR>s-|6;0Ck,A\:Zљwv/a߯JHz5D(w( =wɲiB|k- @UI♉nNk{a`PT4Sa|4$uZ9X3MY e7S%7hMI4UR}sVa^S35]ڤ`q6B' ?VyoY\B{:L +ou+1CvemI +o) _6!6zԄ򪮑ESq6Ҭ:y˼k:N& DG%F)l0ƾ4 ^ϻuv'*@|KaXq܉cљ6wSRWvJɲB:Vr%RG %M\xzVvZmsxko^y8T-J9"e5F*qkl;%D,:0RWhߚ7/i2N6h.aZJZOȯo)CXJ%l䛁,N*vNj)u5̢-WHKN$,"H h9<1 7.tkE Bi%گP LꝠ;&͓CkRP쾜*! .!'D'))1q.$IL,Va#RW|ȕG 9H 4Mq`U66qaI 4G;8K3 a"+g\L7lG.mޠ#V+r)hrdZ2/:koٜ= ŅLX7@J@QYjΊX,cM2iZբ6t,`("bf!~jQ1#CZFQHo@DHsQ2 zТ;WKPay'K%ZqLI%mw>rdpA"%Mn S#|~Qsc˄'-t 1*` xSۜ{ƃvD60<.XZx^@2>[V'%:W ۍm߫S9PH],nOjZuNNZ%5nȡqu.@[ckE&!re<ȅCy٨Ӫ7"wOȦy"V;iÎ_Qը䠁?K-_>]W сSk]Q ̥=I"u'nIi emFz5di]W 24PMUTCbX52aeqnfHWַrlj]A[gB/PCp f$u rmAc^ϒH>JZŽj)xL(I7&]$uJY_K#D7d)fKXau3U]!xi!;(;PV$D\<{tpFT"g&C/T>~*;!jr&VU}CFsFnhZC#%cr^PfJ"W.", 1B!<.C`UѠ>]tQy7RufTMo[r}cP*eh/)\+Y\f"`UYl&`vz&XQSN?8ڔ&-vAo3qK: }99 }}RHyYft )Nh~)K3DىF$pI̹I_R*ch)e>Լxՠ!m1/yUCieQI2:z_&" PJ*7Svֺ L!/'UmBS>Kܥo>e n54G]]ii@f)OS`e_Q-( N&sjhT2L:whY={n$+nZB&y^j|2bBBFq53C PltL黪,e(J~tid% ovtVmZ0.#oCbRI'T_ cd)VAr*J9S"d0S)P}\ioBpGU<90r c&+I^;;R2mX;-$}uqW"i""2TyRb4 Vj~ xk Cxn<ϛQ:22lv{b)#q~k\#}MͅHšV(V0v]9Tث6vG[2{c#t1|V" "0jȲt&fSb&f2ҮAc2pƢPB״oY*/kW(MH(Zrf1ѯЗ0oMWEd<+. xe կQ2%jRr`q3ch=C,ʃHZ|]v@#)eM]icampȞ$Nqku/lyp L.w Q:jKp3c9GG5'9{r8nMmuI Ӯ. N `k#1P!N? ډZJ S.5.C K NOOI%XR-J[pOh*VJg@яG;% 9WaViIxİ/ R%7- !Eq1<~O%{"&VX$|4q{+'WP2v&>vL%Z~ fV؏˅ Qc߫O쇓H^DhXc BgKA%)X|dbbX) y?̣cf($kup{{-*u U & d zҍ6ݮ >~\lFNtt6n0 PbQQ>CHkdC6upjDC?ܟZ`6Y0%*5'%4'&gR_ ŸH7T ?{YዴP:qDi{I);{. tDs_H^;?H; cذr-MY8 %Q}-*X?ʚV>kF޸ڞrKa>ڌ.B:/~ 8Yuk uDhYojk\D'2*Q3$RFVw5]F+5ocpw*M7,4%Gwh:Ay1P4Z/Uj3ES )KQ>ϊ}]4D#de0ŮW4fxCyRDV>jq2c-`s jSֲ[tz[iHA֖>,Dg e| y,|J%՛ȧx?-aZX䚬eW;7H`Apy Ie=.Md1;XӠvE/, lN);3+TV(@~7D gRs%fy|}u:wNb=CN۫AᆰNj=VL_[7U85 +}V+h$2ypeup@P7Dg|y@֭0iY!!{*;1<:e(,zO-b݊1mO*j78]doiվ]dl\بL<>4KxrGRmwS2 oyy0\~ʠv@}Llg׻4(X;eE#<(,l=Fӡ `48)}8=ͤyUKwI o 涓ﶻV}0 Y͊w5`0Rt#2ⴱ畡!ACm13Y8t-nsQph̭M4nM4~#-7Gvm:ƍ䍌 k6oߜ/3O_$Hqw9bx BG%"d ?-hln;v!N8:W׎B+`;l ? Jʥe3j/1D3TGUUf"0N`)1-׮c5]DQ9sv?_j>HW",X,(G{m [4,un #BqX2 1Y2y6)7BnxN/1/0F›3S8F&cM>U.{'OjqynߕKM<ʆ  1 $KD׺?a J.\IrI^"=՘@5cq>`})XDj?g>G5Ujt`"dݮɽ 3smki`D:_!t[*]b)!gD,b2£2WVɴڀI8lOk)M۽Ǿ֜'A&FL)yvk\5tzJhe~2M]Y^+=˗˗fw2q&tB9Kt9S+1Ņ%ڝ'1^X[W3[ NQX}ϸy d$IْͻJ  !Bߋ߅=f5?Z!ň 1i}ߣAhUݕ7wB};A b)! bÓ~pIOaJ_hI0y}3 ͱWW+E y7ȇqh8SotPZ@ Ȟ=zgPXԺl9tBl;lB#AA@ym+t=;y~[l Ɏ;c.MKtm⠏]+?{ȈJ;< 7(+="M<6| 6 ͪ99"~ j#T*D8߽jM:jfN /Hr~T8ϒ5t,}ĥ7ϝNs߆oui-ѵ؞]S[m?p& (d&S.)NxS!ubUdeA9gS65'[x:'P3HT{ ܳۍƕNǮʌۢebȊydށ#A?T1[~ ^ AѦc_}!gsF@a(/;myH7 wKNlz;8ѱ&kVow;‰=VK :e}.,48kMch2_ ӿ'&3<֐ b/w?_=1J'=eOPFqAZ^|wO\ &#ȄԍT^M8/S~{H#Ѝϥ!/{5^30h$/ֵl`0Z&/Ր# HsX=Ew h:X%f}e-Lf^#!׼؎DՌfzv3$;֊G+!%9})uVk_J@) I\$УXIdpxIJ'_BFM:`^o=`j>4loӞh7A($Q7bbQ;(t]]^/WCuEsR 4,)3*$^<kaw3[ӓXa b89ǜ*QP^l%<|,/\JD27O|5w\${$wC"A$3nE]$}> [I,*jLÔsouqx (ĖHNiO,/b