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  A A1$l ]% HOL-Decision_Procs:threads=6elapsed=217.841cpu=998.076gc=87.264factor=4.587zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+pF$>n; Vנ. d"/ǗzFa}Neiݗ'R||}1 )A[ Ǎ4VGqNIwEl8{CeAyl@# 3$wh#姿$/5Eɞ&8P5F;l:AMCI-sg߆{k")px9]i59v NZ' T@lQwJc`Ԁd_?o>!6SNj6;*(>Ts_ԑ$XW+U!va? -3V%OA|P"%2L3TN0iJOIQ7vVTGJ) @orˑ 3<5ƀZࡏt ݧŰlzoN$Ck+ꭿj&W0GWLoۍ ĈDmk|>-??8e>I5Vn5y3 )?$*b3_j ʋXX%=br"-E앖Ǽr5b7pCi!5'ѻt0V jb} TQ E a/ */ٱ姒0#m*ea(q4gwv|U*aQ$;%FhٶQk5yow # 'bΗ ܦw;B,W_D"Eze1z)EzAE` uM\"_&QU~\s@$I?=uhڗ2n2z@5"B&Yq9 Qto:֞=3gkV6 u=Kƺ׋W'ncߝ' ~Fz Znd=xH+4% ?pW?{i j]'8YRw%Hoq/5=ԥ HdqJ_(Z`_$y](jf{\ ,0$~#mZ)@ԇJرZ%(SxMFz~0T3N"E>:nлB_~DHZS̡m?W0aUzdt~:Wۘ㖒NqԙEW 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 D|O@Dc5w bHYG{/+A0 0ԯ &1ޫZW|0(YTQb'|2LA"hD`o5N;>x }] M뀻%*BJ܈ eg_D#/"+r(Ffe Xn@7tkjٴ̐SJLϵK=j5ꨚ?7~> aae&2d*M%xˡ\iن~cYΌu*唙2ǽ_ PXF-XU#9*ؾl2..QS5~k8ptԢ18s3]ݹ3,!G/=/txdb0`k<[o;W3|P’MBX.a,$OSэ&8MG Xu.[|CfTt;@L/FJogcEF(("9*2t? }l}7+gϬIDW}a^SgrΓӓk FJFBn*bqE0J8P'M_֣D tLa;Ķc-Ѽ:RD~UL%!xEA[Iܝ-@=wM;y\؝=v7lg+pC,J|#ڇ8%_J_$x$c@<&d9M R@ğ~,;˶`ig8\Vǚ " $ ?]+HLuBKBdLT^n"ډD4xjrX(,l1r&t<磐ُdf;fcq*@ѣ:ۀ-cv*}9["Bm-\h#g%'LuLdT%@xɇ1toӪ~y!oi8\-j>@O}87➼͕Q'~~9gܾN}XL raFt3z&H|kbxe;UG#(`~v>[|a2wiJPk^;P IR~gٔa] Ђ՘ L#)Rtî!|<gsaX&ֆyw˕ڂ7ngvK ӅNgvx#%ߢ.d-3BPL{0á]؏qM{gYo OPCTATW% ϼ{7ԙ鮍'Eyum3LpR)L50~mjzb#G}9YWn6B쾧]DyzvR1i 809;j4'c5 abzvV]6!@cAMv7!"#=rn{< .|G)ie0t[OwPG-&6 X蜥＀i,تh<|?IR \[X7לVzwM.t8K\g`w "ʼn/s{6OgBcUIkwgvfr^-5AD77Jczܮy'JAn-b;HEgL&8`x0"I^(2P ?d.WG I@lXޅn.hϠ'paF}{tRO-Mv2"l1K$8 =õ9&H=-qBϰGȃG0ī1>h盫>p'>ʲiZ*=s(O>'th/@H0hc?Trg`{beacx*j5܈eC:kwCJˑrP~r*rm 4^'F s`5mV z>ɃT;$ݎ><6}xnIrv3MH[[8J&a2Z&.4 J_1ҋgy;㊖'/0;4Ҿj7Wrul(:fDb".oA{J}@$ӎ?=@A ^#P~\0"F$ZLM`t]`Jڴ}#3"h25v`2ڤJ~FRT}:!L=UJOF#ZũK RFQ c8Ai2D\99WRĭ<ғc"YY]-R8  aU~`8bb׻Lʾ@&)sN$"'vxXv 0F"l_9u_st>XVAf"i,X5㳥c.AQxz$uth2~jF3r!|i9i([PaAL58$\(0eP*?L}P3iABeI"E\Jd:ag:0=ɬe42upώ"Rx˱ &' S U.C멐kݧnCÊz즂<ԼfwL1}Wy=,m[)ZZ55}( YHDK;# J2љXU^NK'UqQnʛojÜYIB DFHE+/::64ʜ3Wܨc hι t*z."鯝zcuւld#Gquo&N/e3kMߺpG%O-Q/@3L>d_BqncK itr$!;@JJ9D)l@h]s$lΑ-ɉr%fl |MSA.P=>gQ;EXշ!o]6u. xȪГ:Nllz~eEÇN$ff7(c_rbixx]ɥ[iz> ,  3o݌&+$c$̏7p#Wx~8@%|8_)]L\ݚ Q#e%sM3TM@Q+]:/TgYZ7zXZִF! Y.]ŗXiɟ17L? KxlWP8SաM~>fٺd6O qk%Y;2C)ؕ33b9@>եL7^ϟkbևln@2^f%{ 14)\ y wU@04tABt ?<UI-߮=|kEA%]*䁤L_d;E.:m:[Ep!/)xjA# GThPq:!=p78;űgYZ7zXZִF! gI]ŗXi%EWjE \d]iN!g _p#FY劮yRz&QRpp` jAǡ R2");jBQ Ͽ >kd*8rKz~6yr8%)]6jխe_:- ,kp$\hn*!vjTX\&~&vF%T0mʥe.%BB sFnh֠}aY-@cT> `̎ ĀL3_v M ]y~y~b<_%jDRy W/uhW/M(\ٌ]7yZ𵄡y?wp1!keň8 8mҢ ŒR TGj^Rgu᧬ZO@e3 !5Գh i0Y:].F^McZ:yH@@;;h(!`'J(o\5_LCla\?{qgDTqL@ W;eQ8YjUz_E'^ӏ5u+܄BeM0Ǭo^2P'}i]+ഡhu]wM{@ &u~X @qkuiP@'hzߞlX/lʖYŚTPVrYHc "(x1{p*ku6(DV4wm@:*A`DMr4+1 +#%B%NUn?S%5$}#mQ)\-V#N5Ϭ #SQu61LEKC42ss0f|=r}]ش:#s Yl=bi}eu Weʛxܸ%HH(e-T*u,-G*% "z6.W$fcw#VT  PBauP? eAXFsVH lMP(d>F/:?-hv/ܹY+0wBk3 ab=aCwkpC#q#ek&ЂS0T )Ȩ"X~2Rxz nD'DzY+W&fLh(\LH8X[Wfp}K8Y :0F@"&DuuGõ5c``٨s@~C-h {hmt0$5iƸ@j, HJ$OiJ#:=k5^A4xuԭj=򥤅Vm@Y[) A|^ Ϯ**π 4h*Ӱ<}={C^wo.0KfG(ɃC-+4 ЁlAW~q2#*UGN:p\8yE!rRc5YùĶb IZzYJpc+ L\玜S "LAl\ĊuA]O(ru%c2g >^vMβu*.t#RI-SRv>JB|zXHo'5u ;6;y\>5yi &񑬃 *`4G@*OO\阽H+(ᡫɷbD>؛G!. MC8|sn;#= -2xrCҦ\xۏj,礋0iIlȰ.CXWԱ.Gx3BKk1*]|;S.&&m@L9az#ɵ'";Uj[F^/GȈy;lYWS(',#Wpr`_e[yLWePp,3Im2k;jZ6v X'Z@F/1#[dG}c,#AvB~Gacnљ2)HMx**Ph$AڻB i~B~ x^`>\+N&l1({U&Yx}k: PxuT\]UkQm-o*v5 ר`vT9uNi l]*'Rc͓i@`u^^a>otʹc yu!jS;4vӼF>dH#hiL)8-k4$S~p- MMu A:wJ+# L+Bp3"w*29XUR!ctalxe{[g!*!vb>$<-tM^)pFqWr37˭Uz,{lEt7)<SG1i2TJKՇD;P / \2yULuφ hіmy#}QOD!/ Q\M$oL1][9"~5 O {1fSꙜqxR(H!5|DL<9/[, ^7t|";$[0_hV,^R{01C6=V@Bj3\2A l \/?ା>Fau^?._NfmkV(5@f >FZ ai]bՕT5_ $]Lvj)ҙXrg"x"2bog/H=ຣrCJh8Fmy>WO.Lػj`1:{hMŲZ,3nnz\x!՛$!|KV,u +)a 'jŎp}XϺΑyb`{=9dF#> S/ lt\:+ G4f`2%$Iw}s,3f3CFkh fV!+(6 >qJ>{LT`e0@06V4X =zdlj3ա Ng,iQ;!Sap4A2X|H[0ėCLu>}\J 9@siRj{z&U9PǨ[MG}w oO|&͘1 d zn p <nE~ u g&gx0:+!¿0cy]H7GH=?_ۭf[CIƐ#"A\0d!F ޞhO4a% >.z:NMМ^uX]([d,.[C[.^R^V˴p8G7Lٮf p>"xn%7dW%=b-2tr̟?@ΣNҨGXOS򻎘@;˼7cazkx4l|ן\[}ވCg2W>(UZ dAz0y1/ŧB]H`< BPP+l[߬M?KSb]V5'j(w=f~i#&Ii Ӡ7gPWщ+M v7rg-5,SUg)$;vo,V5-:VAZUXzeMKf 7P!O{ҍbV8`w >9L@>Ʒ`6Rs3wO38=,m*Ӎ+RT#e&~$<% ]>8MZ!Keov|5+v7l<6eT1$P%g8+"`]"w8X!~Ndg]:>n5:=cF$=i=?CkVO/R(K0Ww;c:ex+3(#]>@l|$l]꥔ј)0g-aUI}'3jd 0|KQhrs__ VUŶc!Jۉd&A/6A藨oCȣe4N^O8B(d[9S1Fǽ):D߯p}3 {w^%DXUxStcRƉ4զo Bd6#ss)TB-tyO~W7äH'ߢ={(W5q5aM@ImHʇh1.a0#rߦ3?DK3 3~`a<>2F%N{# P1hZ!ro$,*'T3 |jʈh|` 职^YPy^]黉u OX"8i ~}Q~uJc'C@ dӋy/鳻 /Mu"ND1neԳOW3}CzSт'/2MbÏBQ _*.Ø>,$,Q Go=kg*s@X)FxJH!mrO^[LV\2Nd])"WKR( Yj`@bD[!@0RPrƺ+*vփ'3v1HxM (\QBЪ_B Wl_/aO΍ed͆m#l*OZ',Ѻ"{I?RҖCqnqS'+b )P M塀Mz8,&+*T*D}BpdՂ.  Qy].Et^ˏ.~cx ffjroY%HV?Zg~ʍ BTdϩ70qʒ4o9#"Q>~7TdzǾov|^omR-7"s v54a>aP)gf"KWn2qD&>D X&.j+)s:IPf+%M]yrR]~ qv t6[h%)^` oRҏs--rEӞW]P]azL9GG01uWªūTuc=fSc;soq)gR0-8uJ:"`VM*}{`$.A޽T.Ub $A]dϠq@%?c  3}\*\[/vA8IM96D[u:1k̷zhXvQQۤ6DA(-I R)1rЛϊc;Qd`5xq`ĞDm|olyb z=Q*D OP/˄,3W<)6pQRxi0gjFPKt;ea1}@{G;YEk8T `#.I⬸ppT']7TLFKm sA:3 cǶ^ r]ôm*VGWE)&O D3W,;J&S$Ƙ*-S ,FڝDZ1U]b,9@qFU) ~fwepoU|*w<~C^4eRTFiטg|/^1M9[ -2XT ad ŗi4Zr2 ?&8qjC !=oaa6U|ϲ!5vA&R_xJ;pKx1Q]xM;/AĞ;jTk}!.a3pyh[Z;8A;~-(,vVB:f؇_!(b2e_^b -K TPBrRMAz$nVȿ 9bs *hi wR$2 16=6YV^P^6h؞(3?}8'[5B-yxzQ ׽2{)FŨY6S+qܤE.Aɭs"؜S/v/?Jޞl$T"ߢdX?B@e,eG*K̈*]GF.blu3Qi֟߰ Ց]e7ٜ)9cЁE`)L{F+֊Ѭ.pm/jF['+\,B U;ǷUeQj uM oO[}˺tKd20.Xۮ؏Cn7ޗU<^2aG͔'ƈy N P5z3z"4vO9AJ3 0#vƠw9'}K.'oZwq$]}+Uպff(, VbO~^-iI'!,RP[2KBC KVTdikJOn6z7Xʙam7}:|}{_O|#nZ7] \QB+9(mB菑L ϵTWKDfqRfE@>G vڐ*5r h 6'lgNXqɈeJQSfqK\Ej%p"Hˉ?v"{Ȇ!KECU=$SHh/;ɜBcΘ(qZX11}ڪJ_R Ɍ)=6]gl/٣4vn 4^m Cז˷X JVOT[u?\%M MYL1%=~Ǚ<| LHX,p~GИ*F[z:g8jTs3ԅ"D%e\'?+8ոg=Eg/3פ=j45 C3;#uvٮ㊄UY_{ sr"xw9rlUu8Hh+M 5^xR ݛ2 q5Ev}!0 I#U_2w>eҜuDg OCr  ѝ\e$1Q:/5ǖEi8K7g`sSsAQmO؊VIh^*+yOu9H_Whq߉y6#ω]{ ŅzF B~P}a֜KLE.T4H:Haﲟt nT(Ц3ڒ\9!DpfxC4)DxEQCQH%γ\[$K_)u~>.&szyͬFq퉓og!V5trZ~שo݄:B1ɺrR+Mzvfnt>I?NYR|2K6U{X$f ?ї:ZOnqrk[L8ZCE1C0Ì.lm, p]J[_&3wt"PPP??@Vedf-pZ_ŞR?N'VM \# Uls Zi5!wߣQI#ܨ4i.)%:3Ÿ:#uH;QbcTU]^6خ(۶n`2p*Ol#I~SPp1HZdb[c$xةFA/v36٣+J- St,m?|Z* V_> *$|x<21󵿙l=|p+J;tX>i1nqfZw)q#ɻ Rx;祪L2+7'4'xmD[p0Ӵ jtt`ezU"׬_VB o:X ʛKh2IaDfBПyi<nh︧ynd&V DZcX0̅7Me=G ={ǻxCy\~N79=4[3zL[w(!T:*m<2:Ӽjyt[d" e&0Im?㍧p,4 ɑhN[?L=h%/KHH g4jfgIQ)J+ԣv&7"!~ӽPm|v J9rFUN]Hi@WnRz["seGPǮte{uaghYyؿ0*x0}żU )1^%cq,]rgLy`xѝ?ឡ";p)O*`{'y |>kwŞ 6a63Hڦ[`/%:7*sek+`ղ.1٪fk oG4plOH] ꞇ)K.;)IQdJ$YTyCA+e\QkF7|?KZƧF91er1Allǹ 2k&?,Y&P:qƐԄ \ӗ%V:-cQ!&?,[6F{\̊nAQkC|P+~~G.8 Ȍ+ ,ً< ṟ=5jP(O  m@8.i,JԳ{8 85sgwVJ24K~Vѣ'e?5K}d2u6LæD?*S5B+ˆYK?swMuWS[#d*`)z4j*_`PHa}=ynΖ O<[*ik_E&RSeY)C ڔOB^[¶7_`|j9T_̤k11#f889 xHfMNGz$7!MQ nv_NBakfоh9(k.:ˎg;ڛV}y N9j2L,I 5#ee_G{هSkP {A5PEh5b<8^<7~(O.6''@08ˣU4On p'i6T;%UD6" n,;.Tf < f!ߡ?]{Hvdevk ..^7Š ԷI =$jض/͠bB \1&WɅ/`!M?0ttgmJ+D8z{Z'dUc bk^ d^C>.oxu`u$s:ڎPx5LpY #D Q?_-_ڳ Ve.zPA( Gr$4`]6 ;,sj:j8/6$;\i)xMu1/LAӃIC Tp>\9` LwvAZ %⛋a.#UIo .G%=6a!s3wK,SB܈NjjۚbXF]'fǂ\l:r}Ghj$FEgyco˝rT^a28pߵK@ ^?;J$xV"3C_\"%eItco2XǵJ=m:,њ,qg]}.T,{I "5*;S/G-,An)gzA=?}uB>t0k< ̋4?4|i ,7 g8AП~ݼaԆ8* PDӘrbjQ@#|iq(sI}>8M, Dx2%pKL@b4wDa | i]HREJ!>e"&03PMa7GȎ`x-4%ȥc,3¸I>_Q^cb ɥeevL.9wd1rz&,]P:!Kx~,;P:SMؔ}P`jz@#n@ur z wXo쨴t^>NMzN9{,H/x ņs)Y-IemS򱽇ۖsxXPje<ѢIA9+?RMW h$*мƂXL YEyUn܁d4t:[…O6<]na|QV {DSi)4bYeU^H echf{RfWj@GmB!@Fm4u"6;/Q*1`^8-+.p"kR C`L1?l`ĕI}Ŧ0PA7e*D g#MfoB9 9l/I6"˾nyJWNSD:񑮂Ȧ[^9Nokݍ N|:k)|NJ ~_UZ~[WģC?ߓ*nGهar!ŀX[.xԸ$^SxpăD \ a^#)K_o!sr%(e`'Q>XQ9 ZY6˥7m\m-.$$l~&Qc*J>GU`w:ϯ!}*O ea6E 3Q"0P䮓[hz<^bP3I ;\_TyiS#EhEvSh.R1aK=/>z]4gxV <Y>%Ry-9)fcP綗m"&P%2=H&QmÀIWTJuL,h>%ōB˿Jd6T G/\dj8ϳ]89;v"lYwDHkWP(f\&l9񋬫vi뷣T,8F!iVscޭx`j^kd'pWK-t0p9IIJPF"BFuj܎<)Gg?@c[$|pn]7of37WìAE|ż:ÖddX,z;zVdx~>A~@ )~T LUaR r6rL: 1'R1N8B<5SQo ÉT4>}~\Z boܞV]6$yMp3M`48{ihwT=h25ؖW`3 Pf`Z&JEVvJ?[QX{w=ژoD  -Wcimm[P&Y픶'x?'A o=+㊀ ?|,F4Ԩ1U\-/@bH] {h^6 c f>(4%Jl q]_x?@50M@tHMBƂGfF&o5mrkrimԖifd*a..8g -)Mׂjp(xmVoR[uTQAt{6Dzhg,#ה;Cᐸ>%n:W~ҶTr]/ ZES2;s88+H5& 1%sTT5UW"0&ciM<֍ǫbW^$,)VE WR9h:̶ꑚ1 .Dcߓ2hۏ ElvcwtQk& y.%%J+mꠞy h;E~/5~ӫ]XPmCP& D e6mP9ޢW}mX]̈'DUĤI#OZy:c5[w<]Glp dz)pԓ/XT֒'Kuz8#)_ w@~GhJUƕ+ aT[ LRcC,gtmXiU;!8">׌NCz]J}P{]ީӯ 3K{缾/:C]lu+ spXSrg#>`hX2?tҴkwWTEKDh$wRog5浹>);t'%aS_3Ra~|f @XxV%J4) 2^fU)(I&otP_jX1o wI) 5Z9':^JN`C։X0,2da^L;S- _[ iֈGF }V 'UC -Ospv?m`L7 0p'(C2ZMzMn#vG2/3ϕ'媜",K̮Dlid,0+nM6{EcFZ3K.m#Ӡ/ t{nXIDc|*B NseWzH]}o{991`OU~<:-m$Hj5W=.%f8tkl  eWijn_9S\yu YľgYZd650341911e22bee8cd4a9e047b1fee85dcb0a3578f8eff916f7453c3062e701b3cb18e4d64202c8 c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350 018b2b0d6bbe5dae4713f7d45e0fe5d80d4da44e 7765121fb1a2be0001ce6752ad884845d9efffc5 5c7026ca199d2b1406a88a08090306d30bbd77e7