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 I1DlL ]% HOL-Decision_Procs:threads=6elapsed=248.053cpu=1140.480gc=147.516factor=4.607zXZִF! ']ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$$Vkm9~ɸH,TÙ9L~g:79!nG>e'/FpNe]+LBom vA gg~wpn*P+P!U@^&K[;HqOrO H>\./Z8ZwJz"K7IR72"$D3țY#ЍKs}\Rb_Qn%x U{eTdJa gʅnH'da*Mf|eT$Na vc2e.} .A~;0:Mȧq /Hj2\G"&H $/;~)H.[ccrI٤=܀֙YS0j.LhXr Lkt _]Vg&U=~Y:vQ*b=WE˳ŰYƠ2zA iKi;MϏh6f]8Ƕʑl:G?L;:u7\W ǚ7>c/!& $9ju:r}gQq҇΢}3t$TKɇy yO c,"蔃 'JX;xSgh) eK܄!Z.RFӘZ>ep6)Cx!Ad5e^4\#>1ҦeYV0jai }]e={Co;Pˢ2L0zv,'x=W2cf]4xd>'y75@,mWd.r?ښcO(֤娯O52쓀?nq7cS3|7}z18G^G9[^? c,%~(1+h`Ej.y)yNGZC 1ֱUX~K鬽sn}60%m7$q…1F {{X/l\?rW&|Wm7#@nY%zyexz2bMB<2|n% ?v4ݘЋcRt-X]MZ6Tgέ7䯭2T*UDV|4w*C {?22Þ\`^0`"$Jnfo,}c A qwbNA3޾xM+^=Wyȶjb~ ˱ E6#]) 0x d 3YҙiA ׏^N23O}vM5B8Ё1σv|f|V{|ƫGF>!|w&A&* Ptio,D'6Qxݑv)4sfKK[ TqkW0Q@U%M9@Gm숥`*r0IcfDipWDw;-^]n=?@/U U[m?rRzHSHtY%4Sϓ/2i@G i}(9Xӝi0&i—kYigx;U{3'0mK0UE۹ݳ/GL9?֦H^SoM]эJ3eegƸݖVK\i 1 7@p/e~bV[{ӈS>nNȊ4'A{pl2.oy X{:T 7V^|2Ʉ'^,t=(]> f>q,>f c`x̽epȈ^D0,CJiԳis O$T\衤ɘ#;rEWR7Pw;rEiCb7@YOX/;sh| XzJæTakκ=Y0oQ9 0 J?տT΂y^1zn*zR˾Oi @bL sFрϋ{On(Q`{:ԅ@Ʌ&.ɖTbca&}V/a".IZ90piQ%VU;-?c h۰l #ؒ%t h`t j֟\IZSEedoY̱旜2菩Ҝ7- (]DZ*igKokWWm?jXpIzeڎLˁ%7}ڱAkAe4٘X!YMry JUDD"Zom""Wʹ=o'D`M"_BD?](ȚX7 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;^jʷIߍbqtx{'XG /(-ԯF:>u 1r 02朾$ xnʩ&'M&zeW4)|if=pkϓ @r]W]sZ: K!&>icW {Foi04G~+uDXi Td;XY?ՔX0 sЂv^^";YODfcIxh&84ю~K1TWޘ aBڦm-N,ћ@bjc{X-ޖaR:"w&0T/N aW[L61hY^3 @|qxFûݴC gÄDˊPk9ňX>Q1WaJL[F{z<DYP @Xž{t,-',{6}ҥP5?iM}s7vqKj>Y#uQ:.R\>]A7p5hvd `d9+4}ɒvgKףFӴv8P;0_Nټd˺iHyr9ixn~L!Q)$9ǔF~U/-RWD!ȈX${"psȶktsy+n%I|e&D؂ ]}€<Y| X ZY3& .@\ԤY+ DF ;/kO$Y!YOo{K?];^jSPYgS-6 %yGwDS5%aFizp $c<_X!8Fg"®'۝?%Q5N5,>Wv|wy}ҁר_dspN:٫4Mo i-ly]:|^t][wh3x[x\ٚ)"ᳬ-C$DDHxOU7O:VBZ<JL<Cu}̄FW9˂.+ضJ(Ln"QL_xNvXU$W/!z8]zޞ[7xTaFZZ i1dӉ0h5=s'^ ;&A0Ԗ ?Y K{b% m3| x6jl|N˒R L*eoh?Vp]H~ٔ S) Tk(g,e J.'kv-p'y1nEݝtFýG߬kb'yn'N'dE ,(q)ZD44DiiÛ,2x*(%s26o.&xbeHP]tG. 8+/USFY܅`SWy.DEJ)`31^82_(gYZ7zXZִF! ]/]ŗXiɟ17L? KxlWP8SաM~>fٺdJF ߘ'\nV,tŴ?X}d\X3m5c;U^ޗLߣwZ?4: JZ1،2t2V2"p%tW:/̏줼>28I+MG鸧f B'xKx͹MZ5Ҟ姣^BѪu팊F],( Ʋwˢ4)ҫz#@bgZBcS -?sC ÞXxI"f |px PݣBi%Dr+)Y0Xl7D)Ѣ#@seF 2EقJ чA=F\æ/ڄom_@匇ex-"yrw9vWw|Ԭ)7sp]l tL:u gfSXlէ~60X߈Y!W\Kd#+D|+C )/Go-|y-/ #[-oaRn4 A U5YBN9-xx]PBoL3O Ng /35 ?4MGnF(*vzijPF2ǑfϔC3w5δ5δssAZl F>A=&:7tEt"N54i$`)hQ'&\g^Qj 9U/vm!1p`.o-ZJ>a A۲ <^f)wsӅp4dnuɳujXc ecQt,}cLk)F;+9jOU@M]z DQME[uB m~J2"h|N,|Ϯ%YPiqu7τ7*R_ )m燓=u Mb)]wcTw'1P& +?A=<zWrRt }+"'7C&wA2.S#*g /Ĭz* {qjT@5hg10ms&և*(^ȮK;N O>]kC1 ^<`΄qU/Ckhu໢>gfrQ8iG{::G#־z Z 3huUr/*wA]c*,:\Nl揠 +̗ H%[}5x&@r Ad|ߧ.C`%~ h[k1'$: ZXupKSn'֠ XdERpyrOwڔ&B]( 7ILdA9fpL3XϪldt0YEg̣Ҡ.`+Tf[Q2#0Q7{lيaH:Ky2cOu2դ V\ebɪxuRQ˟d,JQV#u1f{.r|5&GUHh5QCCy-St jhQ=_[--|sThFAz$c& T!%jzHtMZ?suZ*3T}Gϝwzf˸qB u?>6ar&o|<̹$N%Y>yモji@CȈnZ'sΔ$5% )=f6$C*~B={jF?* H[z ]g4qޞ~UUr+4F:њ~$Gu|- ,hRĂ3eD7=o,&_r Nt4ݼU{eԜ=dz+q-3m ־$[N)~|ڒYcmǗ+֤&AUJ#u^^Ώlr޻lkb|5 a18H0AvqڭT[jI ,*]0Aw͌ Gt@",k-:keLФmԻh{Go5v-$-}KuK}ѮB @JR5bt,&p3>MS"chʡ#.}g >(^.-Vak6:D\fh>RVYS&r#!_-N@ Qyt!X0MXtk%KJ0o롹–]u5$6-h˹>yw%,b5 ](:pR$lˁpƩe/a }qެg;.]x Vkp 9d"O-pҴqH4:&W2|u]N.Ʊ δ_?<8z^/F&iU,UbT'Y-huE*ŢTfzӣq+ تKDC[$E Zՙp9k7U#Qgo7><ȷ/[}wY ^F'u5^r &< %[٢Tv}u)4ڪy&y˿8r"!!pd(Eff'w)(1R::8.E43ѲB@\Ywy^=o yۨ 1TQ\5=Ȓ$ ^be> cP峉V8+xO0w_]49/U V>| -h>\0s#d [e졣u-A\ҊZ6 V Z^*G 5?ϚȐA~_\64g:yC~}~u>?!J my++"+,&![R {W <gߕ> '}]杠8U"륤XElKJɢN< p]Fs?0 1dK7?é=*Cwiqw #poMެ]ՖL 'ae6Gl $s~nD{2WkH).*Myl{רcpWm>{čES=`d\)q_H<"9s#am /SCO.)?5V'MGaH*.\[y5Im2E V{Q\͞!=s|Kðٿ1ij)nK@LLzdeV(2P檽EWZ{[U Aa偅sw%oQcP, dI+'6]ecK){ۭ3&ܓaryq\hph#kЀ:6;z22]ZG$f$RS9ތ\U,)7gÜoZ Bҽx7yvj0L^vbdEy#q+gk+'Z,5]~dzmW‡&cqIkf~տ!pmQUg$yrIjts< َ1alE m32IY`rf@6ޭgVUW^c<=$ ۿl 3 Jnt}FnnPF^1]oz A w{NO)UC`Ldarؑ\ar MiJJ/Ǽ :S*UYO8bkq'P K)eÐZ&hTJ^MA+ ܅~NVJ9Q5?]?f>ϙb;ؖTWf gVE2Τ&G@BCz@VeЧ#&r!уfڕEL6 {d0,- <$AAnFJleEި[p/)d]vw5a7sQHʊE\y-< B-鬯ɳ"v0+?HV5g=xjX[v/U.mbpCS-pO7RqeJ+/3rͅaj|yH~l]yOPc4TV,p٭I'6V>%H,PJsU%i *sbfg[ŖT![ވؾvMRmE ([LZH1ZP*ŦDf k*7rfmKO2t[%\{xҥ\ SD ޓ\%S󽊑<: LöW}KbNpَ5nmH3LǣڕgΘ'bl'!sbl[BF)SF"e$4†?E.8 ]@{]aK^9=@dc'G!0UӘB`̭ n&dm̽t<=k3KXaFrc!Ia=m}-'d8=xc@&UBtt–jq #"fVE?Bw33PW\1e,yHȨ]rԄV>RDݎy[3hpt;5VWs3;r*>'v7a-qY|hgY8>J)F߸/T|Th4!F;a5l>_B{{HsIKSr8oc]jt)ݪlY%3}VQSWSS@z8GAP;C~.444IjV! J; ]Q>YFa ;  =ET6H1BŃͱ+Рs׸8\H;[:$Q:3Z_ӲT,dx obO][u8OY0\Z54j) ,X*>ۏBQ:T:{ Dl@?SMt@ IaLI0̦\zbaW8Ub*{]M?<uةޜN΁K"\V>  ܥ-;K]&GE3A66,L3-hŕs]ok|#DL ~|sѺe\vR>ƌwBޱ~+ X6):QfeC ۞! 4\mS aHR3=%sj14(Ʉ€0Tˍ0\6gNDurYi|t9nY|S%*dU3*gڗ X"h^å ͲStiٗp^V <,;AF?isig P-鉂"ΰ @!yָ1mx%V8 ]Rfv/DҰ9_{;_OddfB7p?-ZƑ;PgeO5[ g .7j3i/V^;ZFd5`˻(DտAAHc&_m4RC|6 JztyKo_ҬC¼,FJv+}޻-.9? z+OB_(HzESYsLB59=9h{|T$p|"_③DSC㋴q3;݃dO)G:{I#~'~e[>'X4Apk +q$U"V,:72 M&#n|.$T;xr91&(n{m pABM`V L *x3w$ Ƴyc,}܀* <ЅgUN{$dGc饨E^2escs%5&G Xd{T6uz,XL 'eHk(u2jWvc>xpITeNJm⧉i9!dm+.z=v3b*$I:E3kZe G62B}zK&ɽLef?Q(94w2k]LVD`no>d[(W ׃<'4Y2Uҋp;lJJBj7*㰁={^?t㙕eSg(ڿ=wܰAi-DX0M*LgyjވP&D7Z@:@ζd=-|oBkM-X&ْ` l%!Xƻ=gyr1#>Ip!+M_a]>J@F=#XcՏUa%%,wv6)eG6 Jv.T8'g %npZv7yx?5E@ ,G >q{Pe 9`'\(l$`P<&t5,_q$@p4cL6Xt+Q('>M%,svejC]L3;ɀl I"z3[qxHO>zBsDfzK/w =ad7ֳ ǘ jO*dSEM\Pa{$2q`[*O׋bP] U1Bh6劻V;rc}T 'ϪD'9άF᠇m+aA+pH|ϱͥ֕4a2]PtxO~엋%rM >{O4,l]{*f#"rIl,ġģឳ^CmIv[%C'R}:.;U$Wމx}w*[r|pu Ts\%f;D ]٤[ԛ5ݍ^N&'fj=NY@AKEʯZzEb)#2/ }qso *Uṧ:hQ܄Ң؇ZZHc OΓĻG!igݣR`[lS\CDO(|93v)뎶a}=_Jrdbe, $Eߘo4n$d k B3{mu;'k005V9y7ImVrU,}bSD0Ͱl4B"2`^6NuO_^=̒ILSZTCOZT W@cLk6',}lNhQxKУÿNz ǚ9p֥;Un(t;,m$R#;`){QNl{b8|vP-!PYA7*HWu__DDZJ&`HǾP=TA_/Ͱ.5+/dyc'T;T:mE{5Z*} rl-:+h{WYYEaW3\҄z uL50a?}hQAnemkkEf6ߒu4Ps&MkG~n>hcVTZ96TԽ#hq6"/7;=Ba*aXr9Cd޵"?|A-oXtzmVFd@ˎ.`u%ɞ8jAY^f~b̉\HR Bz/3;ѶǠpKN<]fQ1箍:apR4Nm mϫSvNq lo4\~q k_#Q J@L|6u5Q nC i{łv* p8%Ib~=,ɴ(7"ƿ[?sJcV8^fg]̲Qt m83}wwB0),x޹zF~x{.*ήʭ [|iWmwN'v-]F*Ab q-MK̳k;c'VK(!zx]qtb+]D;Wcג0T}H2A,+6?ȱ]Չ'@ܕod; O㙖O{-CA)9w{+z` (b uh&V,p5[zinkzMd|ھ?lӝ)EiaJ 8Ա1\jRX*7wyrGA*ˆT k0c=g08ϭr5dfZ +M_i$mؘ3٭n$8EGHn1!FQEuiQ .mAp(r=,0%RUrD_ٷ~ٌ#R}4f0X+D]9 61^dT?N61MiEB3;=-9-OATY ~BcװzZ#^yy2ơz5pUeIsΑ| aЇ߳> 1 ?Ǝ>۝2T p۹ObdJdc1*;-.7B\D*yX\G"!4[%o43rT/F?8` N `n)*(yQ:+ʡK7{޹(!Q, t3݅ > 霹Z" nWrԤ {^S*-j}DHFsHbt#VM2P4(%$j9|4/ySusch\RA1h!hĨB:F̮!{VK;/.e6Ef{ljfN">Nuݱu) 7Kщg /~v߫>_ObH>3!qJ_ԈGbin-tyRڛi2{.[q?|Hm<$ [ʴPK?%1Fi_>._FK۞'qh4ã_ft/ uΌ2ji?{oe}8eAE 6bO{PeYreZ( sRt2Hv\"NĥG@kebL [I3*kq F|+Ƶ@+*6ys35lW-`ۆ7_Q  nx zK܄C$1{^BoFJV,T:V'Y:5<#35[?&[]xrgv<ԃD p.+IZI\w#5Fш8Ӱ"x<09u %6f7$l7R#K7?P0/G8E?iJ# 98K:GA w|Q{_)qd_\n M?hޚ[~64Μw@+!6wkIA5s),K4@}&V2l-fn_Ԋ1|wPϒ80%jwY(*",Ѳk(FqW[qY#,陲0*ME1wp l@)1:Ê, gr]Mn'={Bɬ`Ɓ>' / ZW6՞:hAj?:HA]mll*^g f+urT8/oTE t))``ie*Z11-RZ";b仇=O>;=0$ Kbq=b[ywcKsV핶}taRA]foH)*XQ{͓0&.ʑ3xdmNTT緀~1N@9,8 2g ؂Ə>Dn/8v/Fe=\b==yI9Ֆ,#IgaWZW c;6j839{*skG P 6DZ{C (zѤGgl qLW(gph]bBTC5̈́9./ M}rAbnoPH7>fKJ&Uxcfic_/NH G}wo8bӨkOhWR̹eڬ&@tOt5zKh1OvZH-#hER?L^dk;YN`JPQV/P8dS f7K_`Dɨz5?Fb"<<}hSQ߮v]lx3`~:aSrTpg(;ɱ42z!@+z!}[!"8%pxJwv2ōti:nKhIPBgw0exDEHtN\r4; ^y M 0%*4 w5 D8k4PɻS~r~ބZ@w?AQƆu3hˋ9j)u=NM`ҲHkBt:~LwK'Pow' ɏ_1&f6ȗKf ~+p#VzXB7 96xamlο%uigHk勢a GwK55 {W 4}4PfFFV@ 4Ӵ YJKEoh b5e Ԑ1{9TmiNs: TߪG9"TKהoG #,1يtNJ|3sY_ w ' X5G7}1x+0[/-.k`n(v\ Ϙ}Uْc| ?qsYeoeUIl7@M,!bL﭅R3|OQ,ް$m {],.Wd{,vuraG%ZCUɋ.:kЍVB; PUb$QİUb+0 #zW' ̺#֘(,q[9VLaφO*ȋ[,a9gFwnkӸCcAVKKЈz"T6& z$&1RfQ=̿ [8g]@a̶'ecHTyc-ՙ eD[`uj=>F4$۰Coy=[M~ȋ>n6cհ9-Onj׈DPO&k?iy0Ce&Bݓ ۼ ^_RƋ_V#`]%Z=A0C))=BD%~XqrNEJ"BAH8ا4=+YV|I~ zT * oesLIE{NTgY.PוԠT c=c]&9m"6(K*DaEy̙YK< |ZKtpoiƪ"- _1ensل>>m`SaXٿB{sDu!}jQ5 {NBpʈlːBInh1禓;3rG޷0ى̰vJ=^%bha=ma֡eh5&)GZq}wO/6޶p%۾뙬:8p|9|Y/WM%Х]Fm>VD{ܽ-q;PQpYA8UZdLhN('Ce F}e4i r [_V}R'ž GQ`PuC|8X~=ϩ7yQ9 ۲uGw: WߝPk5q>\mNtB=6M,ښS{Sʻx n81]=,ϒb~8ɂ]㍾!#qyԖ7bB8X_Q |BC'84*e!>S$y&H>ԥϮ _ԭiv0402@mX;x5 =r-Ǿۡ!}Eq޵GHMQUŗxä̔0+>g^CKF`kQn?ZW))0-+KG"4(l8+v@t?FiW]#''ԻOmQ=Qg(l W[>t[lYCq="M[MZsn1A͟M,%TVvS!2l#R(ݳj!v5-D2h+`-K6#I^/ vuV%:ⵀnJ04 ưU0a\z!S?17xYuùX {+sA%xMH.قB4۽'ۅ`dF/B;yC_̹ dȢh&/4lYI R̀/V\ 4ˆPlBH)E nd쥋9ʃɟ)7Qk8 d+} ڕoɣ<]RcO;)ϑg)z90w'UY9Mz (W%G5kere}kŸ;{BHGe eˉǮV5jc9^Eפewjg+EWF*(I( ?X`o B_Y[dUM(>-ӑXD[4]~ fJLK/7R#:loSP$̅09C*qL'`p{7F:HA}.Rp3k|uh*k(NX[+K} d:=, 4v <Ԋum)EhYv;gkGERKaǖtWh p2HC, umO'z63Lne7/vB1K0ǢT7ge"O|hʀ&IlRKGLt6&-WhՕR%Yl1LA;*@*|V=[>v*J:"Dڌ.7tˈB6Q{)^G!p"l *2ʑ $$֠,\?[nFIB!Rb5'9x* Ԥ؁-O~^CS[(PEJLU՘ߏ/@1"Tqi존Ƒ1zrCq̈-M h5WɒK1nB9C9~M"b1/woIh,G'׋%:z5+%wZP{񃶰ՙQ<@;-zDw&6p|jRs R7ݕH\>3u^*;ʶ7e1 Ofך\@~LYau8-8]N>bkAmn27,bMH½oF \l9YoP1%^֍D~kPPRtΰGP:漁b)s˄H;$6E1?QDnLcјbϥGv!uԓ9xF;OߨwzX6-5Je'ƾ@{Pphz1~,21;,|+P#X5_ 0%8M0U85;OUBeihh4esa3x˙h}6U.¥p}acqmˡ*/OxQlu,Y^ɯ68lL7zaQqvK>%N;c"+/^ L_˞nV׈;)78ƫ!Pzo.cD} + *)DLKF)Ⱦ=TJ 4S0|: kg?' 1pꌳ9͞x87=J{f7~פ03c渤h%Kɺtܑ}-nڤxX\H9-=/3aUyώ '0gc˒A,ͬQ<-(`L/ ԟCvY>s(GhO6w Pi蚳E^TjFOhK$rwHJ|X{.o#5@Z@A`~W!S4u?up|)5@\E|w:""2;6ӿEJ6ɋ]ɡG`zK׭wMg+QwE'ᗷ4V"omָP#Z>; ʒdVJH # U:U/`7LJf3lLLWNWo5,o.a/恭}5nbe1P˼W~՛ M*{NoojFv*cnʺm5 w5 S7tsW{4fc^~m"# :]),b!Yy8w} mt$F| ̗3%ir F0_OpRȪ5QKhg*#9j7j#d`qQ˒kAqOv [ x9 {F=m4R"@yuBeWt*CheFSrIs`O;ȃ,}]X m3NM3jDхUjivŘsI761V9 PA4B`];N#辏~@K"qmUAՒh,PǍV#9Hؤu >,_Ϫ/'])_P6gåo=IoAٯF^HHkFZ= %8 eRx}7Nߑvv -ͪΖzx#լ=z˜M.g5R91ᷛ5UDS;p# %) hsyOh-1U㾻Gme1 Y$TC+$eF"i`m*y˅Quk=%BV60ўRCzLUp[kSyxjt+σ0UMajמNO_njw#l_(-u6pz~k.ɺGQ}WYZz9U N6}82$ Yͪn_~x6K7%YLtq7׷E Z5yϢl'qnqotKE6!@*\6aP8w鶳" Y>jhlO fî- !n:tAyQGqϏ3>h-CGK:tz"p_%b7hFt0"[2(&|T>bZTbm6N+,Qxp3<{( pcmRވUgYZ229924236c1b45ba64c3256e6bd4e4b3ab96cfb8ee652d79da3dfe2226e7998ba8d9b6c5b4062632 574a78dd5fb2862f217d3eedf94378929b3d0576 d9d27f4a9884658ce4105eaee8721cbfd59385f2 a759d7b0ec4898d86ae0f794eccfd035aba06516 46ab5ec6256fd0023c59b1ab1b66b3f7ce699b61