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   A1,Tl ]% HOL-Decision_Procs:threads=6elapsed=259.516cpu=1160.136gc=164.672factor=4.477zXZִF! %]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$#X P\u5[}Rc>RzR7UU g v?tKp,?xsf mRDkUL:]>Bn#RHI@r RCoCXmQvLxceEYkMaZ@Iξ:"mOҳ<i9|h%´.6 ]:i+b2 jJ;tZ~;93-$4{h})F 0+b'MTM@y#H c?f ri,o(א^=*7h0@nꈒ 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 ,uHJگYö~ь,VN*`h0>*oZ:,gDИn=tN?2D͟ 9JVQ3aƺ=\ss06ʏi{7=B %vX@J̐kbvE2'Hx;)QX[!5b`KIf Y$ڃQX p| u7/;P _2Vv#f2*&|YeN֟ۥ.ǗD4?=H&tF3zY"{lI"Ֆ6EDƞ5Yڵ0zQ5;є36$U~rxķp9MP] /wttթHͶWq:kz@AJ|2J p=T(:Yhl_Sl^fRi6-K"NbÈWܚQ"XzBl^֨t4{pv#SkPR8- t?[lEȂ*C//YЋs"ΐNh 5ߪˣ7;d?t"nB 5<0Zꥇdd&aocn'rIMfikV)`$#qOVdd#j{]{YNRF3 |kJ(X,8!\9=[Őzŏqi|M+Յh`D@{3,S>J͜S TT1JPܱ4%v0 ^_ ퟎ=[ϝ#oD@p(d|CIz>,T0aNqG21LP}~D:6[P-BU_9ZcTg1ƍAÙg"xZ*wH&0A-ٴNގ?.^YnO.}G%_*9drOUd*q2K o5R`[ɬ>`,ƐШDZe hl8hZmFꤟ*ddI69|0u_[֏f*KO/*8hgfP]C. 0y @Pzah1K7aሴhY]vXFEY BǣwBf'rfS˂&~LRG8߰~NY+gؑ,ydZ\D>/K0c ̤Q< sʷ;>\vdSe"ԭ ];4y9PmuprH:ی>\>nB y/,OH#ޟܺ;Zk&!Hj j[V&1ي8- .lie@d͢oG;9ʼ BmO)pc)PηٮB2jr5:Be157>u+40im^zu28bc1Zpq5S{5?; ҧ F -%`=c(@{Kn*8շj1x9c_xk^&k!I1>kӡA֢{~ L,tD|48)y':Le'(Ŝ1KY; ^ (_?xe*5w  6jHz@A[ QhW, &Q$];K=uAtj&[3#ϸQ.G2ΰ3;^#)Um؎ BG;Gob-'lcq_滬x`Pl|,;`gZ Y]4]U;pnHńaժ<2;GO>WݱRR3>SZ}!.8:F,?՚"R+TW5F LN]3WcE|Q=mB o# 7 [YneBpF NZpѶAKOB.YSmk7fr&"^)MݑX@kt=٣2e Ju+ x4ˬ|SK>LȰ}^!kxh?7768/d& \Y.#i]aeń@Ns^} #At߾ok1CNK@=wN9EY?:{. ׋jvRK.ϲE#֫:b!2Czh/-񐊵_7O)_4,o›1烃~ھ 6rƆ~"|ahfYprӰ)Crq1iߋеB2Zg Yfe}?+Id#C F %qdW*ͪ{ɘ V5\@U2;JG`q9$QSq8T̻~K֤5IMQ_ []]0@jtQb)A@J]uCC?{Ӈ RMea@g} `4l;f`<ϱx}R_猉кn{~SY^;7aj+U)UM8Ci]RZE'*/JS/EI:{fݏI _DA]#G/;2dA۝eAqm~'FH@/U{^`mẬ)Peyn2|+ff 6S>vZ$cMA2x}1~b O߫P0I`;UOu+ˆ @ O`c_ M/(M:'c6F B![!)[MHr$*[] Q%R(kOyV$#\+Fa_h }mhP!qb%H᣿b6- 0_ F Pmlq+pBM:1ɚl!Ev ,r]rGRR ش +% ?:r8퍸as_UHڕB1.S{xR,xޟ1]O HcXJ㛌s5cW{K}}>]q~x V=7=4d|$jy$Hn%-K`kнH?zJz.lL&'ܲ¬,aqg >6|UKQpeLj{#ɑ$^L`N<( 8Txl0)ӊ&7 ][?5V Zojˠd  IǞIEq}6mRom J9ƯssOC;WeTpEv]m4Ed[&P-95t[VR([bjmRFk4`90%1:\xXbvy+OnFA# 5~jw?E3Ϝ#J@-( QM+ 6n ,]@bh>4Yۀ< iP!PlH蔙ru h쬥E^kor-)ގ){tA{yᶨCx[ZWBWkG*`owiJ$1ȗ~Ծ$J[]/7D%hDY)tT=-!8m/ůJ[?d0RRʘK+sށ/1)~׺RoO 2]UdPo{%` M8ܻ>4ByI+C=tX2gCi eo#v$qwu'QGƀ,Mj*fd)9;o%453)}{LQPB⬂7V3oUoD@04d{Ld3w8^ҬP/-0>F#d*pS!VKO q@4Х/^I="^tb,ߟ#A:8 d /;Ǭ?@ŽcBozVӏ_x zR2>d?k/X R }S8\*`]$t?aaU7O3R\-Nie!9׶!Tn ^*6ɢ@hs{Uh~Mw0Xfr%^ m?$9w9z6qfl9KK`Gbj溩 ;Qi7P 7藊紡X9QRiF{]{\CR]#S $cEaswŃNC}||Q>YԵܵ(w׌2b\s|Z+vzbiB ^l^ 2AL]+M%bzYV,?Żs敛dRT pgV8pvZ>fiQcF4ʡ,("V"a5g'x s-ad\K!" 0bGwpoTQor-/{|~tj$fv`Il{ b8}j5͛7 rX2p#TgYZ7zXZִF! ]$]ŗXiɟ17L? KxlWP8SաM~>fٺdO[a/4Bf63f"X(R?A1ɜ|{&;j,&. 2@PNyk/Rԃc|7Z5qH.çIA jV?2t|(;ه =KGڧ] 2CPH_,a޴dZ dF$@I4G~k+@1?w&:vX*m(T_g?T9!xwTfեDe_PmkFO-sT6EζGwH{H"㧿 9?,Ϧ`?B?:NSk$J+B v1`? g"_3 j52\2ĠK8Y$V5:e}}t?{;oΘq9E#:ÿ(dU?n#YG ɒJ扩s >cinDh~q5vSx%G|ͣ'Ii6F7JbŁf6KmC}{Uʔx2O60#:N}35{d! b@ 7DFIe :Ų)#ҸE{5Z@/xF;`"To2NyJeԻ*wSʘ _WU9z=^hR>BrJ:+4-Z !>*R{)igf%:멑.\rk1/]R\ +C2 "x\\Q(i4b掇:!r<^V@9ory޵;sDX c%MRgS2$&?vTF=u1 xQ.$CM)ӼMF 'J$||G0*?>DR(JiX{f2 %6_12߸TDY5fydr"3[05Pwn3zt6V.Ё \l,3G\E[e -YbdfgP@28\c9NqHw7}D̴uR۪v`x;fSlrO#Q \Us 1gRc!no%)ֺƼ9fc&X1pZ9R[[0nG_)R!H'\T0BF apFN]o_`?v hWQT]:$*D<`ٌw83QWnmI~>OPKCm!^[pzx*y#YmC*f/rpёʙ\;)8`{Qޠ@=Z0CS@,@mqbTNYo8{(ɨLr(o_0J5di/0 wYs6Yu*"q;Tܲ?5 1n] XVhlG;s0Mt!O;Bk{M$ݺ"Zk!%R ytF^5 ?=t8 f98yvs 7l%Me?珼!dbO) [f ѷuOUBe1ŀ݊}Вcj  D'S.4m4$~ Ս~B D7T3hd "XS#@k*筍Bޛ 5t5':ZN&{xT Ml^cSf1⸙!PkP!:GL)CZdU/X0+u g{ 5Јh?^-zλhl$Jyڸa>'&<n}8 Cj+>_L  㰷w,!sm(DU$SAZkzjOxD/w'fBGAjg)e}+:`3 A:xcU9K)B9O~j'+۠E.$p Uݳ%4wG9ĺ9)*Q{v8>=`<(k<1jam❰h@ԊdX&ھn~O׻`Dhd_ׇ+$=1`(Rs8^fw>g2'36W[y i5z"%: 13 \67@Qa%G>A|Vspg$ڇ3hU_ł1)Q T}@$~NTӂ] "Ǻ#=-k!C%b"ҳ*>$ć4<|( $/ɲɔ%=ۭ(PrQLb7rnKBpӭC'!Ojz8Ȭ}.bJiU N&A蠉`(l "UA%࡮x¯7|<5>E;K!_'äK~=smi+vl\EP}Ag>>V䢑*Ff{ :YfjP\Bq,1 ީ)#,n3)C0Yf6øn;nտs y%8:t.>r2dV 7wRO&ꦼc۸cdZ\,de3]-0a54{[M۰-dyp{>sMA 6ݔXyQ,0Q?4%?-bXք[~1flh80R~o·j0!b^vC(E E;Α Dt^lC9W-~ɻ3u> 6_u 6@ [: I+OUh5jx+mp:~ mQ\VZ_% a6C-{@YB)ŷkce/l4?}iA8w9lwdQhU/C^6,iRwS5BU6PeZR MvYG#}G1"Lܳ)7SgZXk#uڂrC̫C V,g2~6l3i`0 QJ.KغP(酓CrkBYQH䤸+bm׵e7@yq.4e)!˪r]ua֭;A62Ni˦3E;_b2R{֗gmd|LO4;WGL #QDF%u|VDn]>dg5P9mz&? D^1Th* Ƈty عmqZ {$iqI}o8K$6c}-aՖPJ^Ψr A[,obS|s@PЕ\_-<6zokVB+"|bR'xyvfq,)QGHORD>=dlrRq TO%-LL"9nIrJi`*$;zr޼U2}͈.Q ;dϠ}[? HRwcoaՉ+-J) äF3`äclGw GOL ePۆ;~gS:LHJ![{u9ȳz@M%m$zU&.Wܤy]'z])H<_e&5K$uSs*ͺzY<*)Rܭ7k̟=&5W#^zŌł*Ҕ-k@ZdWl?'ƌV za8d/p5[ #uG"rMpCg׽FNؔ9 ,cI߭6 Fx^з-цy^3ՆYa'vB{*Zkm,n̈{rP$)<&}$cxy^(c"R4'ݵZC\5bjlgݪݿRtyXmB`(v4eGBKW6&f= Kqhvܓ&#ǤEy<"m.1=ٟ|]{]Rx) l$ p*hs:?bij."yFýdHn3ǔR9k5Q~`( l{_w*\cnDs&ɦE*Vl`|V`M=ʻb2\ 1rX'D+X]ftdU9E>GPh.$25~M>xS*U[ %/ڡT9g<2&v | RgiAW5ix<,#.t+s^A:I9ϮvPvjr;7P̬1խ4=YG)v-]AvL5t]Z$F>u(z "a@k;0]^͕5!iaLdHV[pPNm6M4%]8$Vt~o>/ña @a/K_0yQ!=]k-Uaf=\G.Y}?~Ja0،Ը:&[Z2 8\xjbp NOW}'B([P?@ ݑ=C9N1-\UH@aLq ɜ1i8:*ڞq:n8 gxsX b,SQ0tXW2鍔kۻR (!-S wlCR$<`{>㩝6[[5|"?/߯ %fJqcO|ZWsL7ZҾE5dN=cٲ`6Cf E*5`[5yFCz B >β.+AYWj-|ânm!^J&S فt`<~s{,53 cL8)=-1ha@[hא4z3QﱄRF<%6lf8l \kzsjmqh>SGX49iqJ;m`O);v"Y皍N''|#UcJza椬ޫh RݸP{FS_; \(sgN YdXCJ8N/=#0iK@x8{3sY0C5 $Y$)Y>2)1-'Zc11?lW%&xP\ČJ %UA6Oܟ@z:'op M M>lWZ;$/$7`1<85C(D༹FGU"Z/56t[_N!\|Z|GzlZ@UN[QXfTvXz~~+ߋ]ӐOfTSrMq6֣B OE/ :q|q;vWJjUfafs"Y}ӊe2 .\*gtzh8W39<|{Nj nn-oSNi;,Ce1ޅ:(kw-SjF*kO%P}ȕ$[Wyے㯸 OZ=kOjBe2cT}>V@N]@ہ~AdS/z=2(sw9}{LXA/^Ƣë–ay+G?̬P ઴o >a񥷁&;~`s#\ֹUW Q ÓJ&OFa44䧊q}Z}eCfJo#Y9*#Nmٓ¦ތVi *OaOV,p(WQluy3]Læ<JE*hA] peKp_) Vw 9 Jbt/6Jhs޽dٿ&O A5X{ K.?_QBXVFMiUyz#,_7|okn5 *Glŕz$3`9>%r\&˝եr/G]HbZ(ҟ'=۱)! q_51RRҒ6rZQ CV˔AK+BK(j(ؼ\﹈prq' IK2* 9k=6Nm+Z=u1_@B7-Ji>=FF'vϪxbף'{>q|@i4E!$q^ tiA*C4x!`2' K,6p)^#}tp>݋w 9BHbYP *-F^!cJڢ%ieP2TO#ԅfA*EpS8=,R${̫hMeZmln_qt?ԡJU]2p@.n\w8: #$ C;i\x35IHLNT\"S%Q:,{5W1.昇Z~qlWa Tb18hT4Q:\pS`~46u/%aZ٤y&A0W-əUJ\Rؚ޴{Zlu @ ǭ?Kn^Y!\Kr( ȝ7\J O |\`Lɚ]]cTPg+ \V`K "&qΰi|@o|[+YG‘M٦Q?l98.+m.&pN\{lq<^Hap QJ,ahsпݾs6zIs!\wgr$STJc*Eϊ$:TyS9{d"th0h)'~6-mo+1 *eѮ/@e!-*qL?"I $b#PJ@n?VsQT^s=$x&lxO&hVio:#lz-. OLJoQ6+\ O$OKVQ`=یn*P) d/dGI D2㔍zOVqR7逾Lqnoh&{UՏ@ίąpyK`j7^ еzŭ~&ɾk8uት LBRJ-F+ɋ٪x'ip>H- մJR%*#?*^SRMNRmO_mHu1gj#[NnA,y;8AUM<#,[6>aly;L+tzji=)*hHSe~$b^`918={Y@b\$w=7?lkV>;tWs\)oȇjRKSC+zk(lÎ݆w }`%`k zI]:Ȯ`?FVc<^L /%u ;0[HSLEޖ>Eʏr|uvAX1#*DYG@ <*jrpv ?' 3׬= `lJX ;ʒ.rŭYG#7&[9a4 C 2`y.CsUsFԃa&AQ\ٮ&]NJ* 4 *p_AG+:UrKl.Z= 1%: yVrY\@ofU`/NԋDi!N >ᑰ [sW{~(M[hi+uU y-lӔvo-}a"G-eMVs&mD[I"jġn>|(w(J ;N~h.}CƴvŏN&4jכ[T7>%,Czb k@U!@³x04bY,WGB  .&WTKU5;>QEr,'y%8V ۏC+F M,(/ByX;=B2 3OG/v*BmGʿϿ.ڴoE!C/x֤'ؖ<*ᨘJ-jsѐrض `nSMSkSAzI3C#U ]}m\HtLլfB'GܕG}h%:b|' G[jqU@r G!2OWOYcTqHi>:Aij.=tJX֔bK b6 8w!Ćw "6vO:=|*d`!)4[0 iV9^097Xi9֐}h5l ~E!j8{dZŮnITd1iRy8ãc#vjpH\9 !ҢonI7_}%}z4cjIcly,0bL¢U9R=#n \#`j%j PۭzGH.h1T*V`I0i5m8X#-0 ?#H5CT$^rX#駚<|m"ku3):R#$a6gHuM&& ʐBUoscyJ1~-!w6K'x/ VlMef^dES/^LUftKH3 sՍeVl ='ժTִwv ˯H j Q8`(uýxSQw#ؙa7qMęs[hBJ̮h6D YR#!]o0k0 bvj8ER J-bdsk_0^); ZkmQr}3DZw>Xlq{~nswR&Fۋꫦ w0"~D 6i"#W.,Uq D9N~1la,:JePYC@wգ/ꎇiu;&0u-3)W:ؤ_ӵyM?+boy.!#@¶m΅;|#1:p7otHz@어K+ ̆b>itO$~Yz"59Ɉ%;,ZAIKw(S]oMbUu巟b" `:@*ZL,OY)qzA^S"$ >s(A[ 8WgzO &}c=Mz>Ș3n[w.౬R!kWTLwZO\;%pT;(_w/z!3͠Y*,K 'ILcDO8kAB2 )hvO U"\܉DՀFY 歕@345cM!Bljs!Rs;㫰/IKl~5InRK(tr ܌JUN>~L4QciՏ8jcpLޝaRTvB^߾huFc}+R֞~N5?YwBU'i5$m3/ z0lQG,?z{ ;W~Լ2T? P#`D|?BbwMK݇^nqxƃy|Uȓ{5ngxvVsGsOO0X#P祫B //ޖ0@So?Cd5E4גTϑR~W35U|wqB~$E͙"&TԀR<$e+fS92!I.eZ A9zXl0b}0.j.W c˭]#_6sޯ,Ɗ!;o;Dt}zآDJ˧J8qDVP.IHFnQ]zkt8^zj@%-+b$yYVغyB\vs1!RUhmE i a%qOIe8QBCus [8mK.B[Cj9&/ӥ\UG:`q[Jme| \ ZhTERG _R*͂#_ç !𞥟$XO;R dw_9QRL&KA)b>3):߹ǣ8vW:i U6! ^.9ZkkȼLi2Zl4EXÏ{&(X'k)dPv~s)bur؎uD~#I# ej9H$\=F \Yz2gD'k+~usؔQta5#IN;S(ODZTH ,OV<[XؐaFW*7h 'a"c~{ov0q\_c)/b`BOu'm9]l0/ҫfkeK>2O8k7Df@n>g|NZ6{;[9u-$HN_Ż&mX=hU~cD0 %Ug܅N1m &)rcG %qkp֨~5Gu˷T\SL\4 j=JPWLB|<3(,$@y5 PmJ^4EhڡqP)[ʦl0DD *2css!*Wnt[~W}ςWw%}4ɉ[>$I sgau`OqQ,'j}O$dӗ$15/ 4ꀺJmXP՗q Y׋ƺQL_Lт{_JWd&38!0sfKxl%m4}M9#F(;BpOcYCe$EPdR`A4ux@bodڶֈ i1<#X)?.;jd5jDo`z6P+?/f^^/f@Wݤn8܏ _T?ۗ ho[@Ɉ xbIҔ荇@KIgN41dvhʷZH)p&h*[$w_t3675o6J9 ET7e;D]M$ǚT M 9oSci@J &3b&}'X^Z#+NN.WV8)[1Pua,x+%AS>E %Q\Gy5Tx(.zHKE×b{[kNyԘiTSLn,2*=7 R[[Ɛ"ׄW>cA3iO"CVj.bρ*'8$f#Zu-s ld7, 2l0f XWڤklm[vʍk)?% B!PDwZO(/vw0xlZ?HY/Ǻy ; }0?1]̂WI-L%VY@ Qx_2.sXS@"ԫHE\(r,U"t/'oZsTvM2ޅM YmF&CH椆`OF$y>#f\͐ձ+K3mق=R}(H O;f v**˚l|; eMz_%u B#Sj1HntoQsdoĜ!TφX"D"}Opxbv筥,) XN}*q^;_fkbh||vUp-qPd8Ug7F%jeETb)wEoYhb ʹX9|C.2u@-8&@OUZV-bYBhi=6lܥF²Am3^+&ē DMS6Q($" 8^<8 {YgIi;Ie*x]wc\~36J0uΎ,(Y:b,0ڲW+lYܟ?,Ægvt(TYn7\T- $hD}z*kA;ng+2 ENS3;'8T:vOҘI6Xkw#)wE(7yorÕ񪞓Al(7tp+PUHq-ۂ? uf[ dcI.B04 5qJme赌\j!%Y883^2!yCgpK{8$Vt i+{IU=Dp4}v=}̢TC.󜬠v1eW^^e~U*&d,E>z!<@vd/!91#zrC{jA 0)z# ȳ vf([-8 'j;C] Do LëBf@ʂW Of+$I%J6'͹*A[uc9Ա-,2894Z6 ۀ8,F]Rem̏cݩ뿝}PƦ Kp-jvSrMql|%GJla}X?jI}6,;N.J7C>q7 *I` +&BOpc[60pfr YG5 ¯9H!+i \p\&=VgK}rRFm]Pq!wdLMh~p89ބ&U2Wz3l,8kh;jr_=o6U-Ko^ (}b5{f\[#B&b4r‡o5nj+~_ۚE r8RK)$-0P2+O-=̟6 $ϤhOu5/ޛ`(?Rh-@Gs0 oiIzQŸsx܃\G8EԱ\B5;sczb[ӑc65wYr/ܪTP@_ԡxI<>ˋcUtaQj]|OFNN9XQC귵Y|:Ym,27~v&  J+PjCdCNhL"q#WÙ=_b\^Ag?`.bYp4[kMˡ3 X|%pGVwQϳkXRj )Pes|U|c+xq=?̖ttaH%L>.0U_J wfnR @.`lv3 [ׄ&S cʈK8@1R}W^S*q3\la*6tL˖bbH'*YQ(oW% khB㏅m2G2mBc-z$A5pDUS;6Z6!.-9:a>sL#"[# qݤL#vez#OyܯwjVEx #_n rk$Ȃi>o7kVESb[5YiwT'FֆnМ$+'!ϗj/ .tjQ\?p6iNӳzGlY[9"T#V2ovdz1*yK\W\> E؜(|'b<.&͌mI ՛LܥQ,ќ0Dp9x-Z' %îEwfz:$XyJ;\Y Q\:T[\#!N3IEŊB%N+^ vD@ *(.uP֙'M D  5軝vꇧ#)HY6s3 \, ! *U 3L]F}%) zP, '+[e&=wIKCukd*Okg=Od,PC-B`@BH;me@>8QU.#pI6.4K549mbV$%LTg<H-Dp>'jn-}(Dgҫ*c4>$˜j=[1C,vkBkS< >_s:'iþ(_[iH-Si`i!ZNbWk$V6Es4-M:P6Mk32?p99mM~= ap~!x% #ib {L)õizK-?¸>U n'd ;17dvncJD93*esk#v_5<_@S s:w ЈF2&(beSTM\AV0jKΫw8@\qH*:Ar ]qkFdW8I|a淁9Η &vmP]DiEaĖ(ASt!>'|]!;둝vqcKZ!9L&+ʒȅSpwx-BmDN_M [99y%L 835 na#ԮL57\ՆmݔVNt=pC.LNx4mq ֎9?0K ^0'dqO &+)3aФ&ي'tŨsamCU%>f ֮Da.CԪLWc Óa|̄"h.mU|\mc3MmdrW]ۊ&j!x4!@oȩc\_:&H FfAKW1Hp׬m|XygYZ587550a0b03fa762827a678eef54c02e96adcf11ae1b5b2dbbc392659df742a008f6c67116d9ebfd 3e2f53debea7c11b89b654421975bbc5018e38b4 7b8a9d88a852a6e3eeffa6fb042f28f43b58fce0 959f700b248337fb28022d47113e5b6070bed10e 05bb1f6d9acfb7a0f557bdf02c454c1ef9964583