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  1LlL ]% HOL-Decision_Procs:threads=6elapsed=254.237cpu=1156.808gc=158.864factor=4.557zXZִF! .]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$$sU=ժmQ4ޯdS6v{Et?ZpI:k#]#,n Hn9Rx=3vԛ׻|Tm7pMΪ1Gs8VD3X Gftd{Y cY^Ϲڂ\9.֔T@{v0([Q6ݻzI1m8ϣ h޳W 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 4 }Q,r)_<rlJ'),Iו>XDXRZB۴hqm_d; =GPb*$sܬҤ+y*Y+YmŔÏc8T'q. Jd hw$AbE "Aj( b 6M{rU< 뺫cZŎ}8t2zz[4_.u`)E.hmVP!)\/Z!w|U`iKݜW6;mSA8|G% O\A bWN-F28u7nۅR0zx]Y3j7URģfT{Zl, Ah'T9 +}3Ӳg>4@\LK&+x;7SsewYO MU꼇PA8~`Pt K~p\&dK2kq G?lڱG`|/؞ZkE.U,E=ۚ$|ym^ l:r65uQ(¥!E﷦4w7:!cpTRq=(;Gc{sNU9Idj<ػe8';Pm-sdppM] b5\XoVyb<\F%ɩ"x8T$µ rly;&5$,V%-T9Cd UZ:h$k}iJMxR&4&;V mBiR:&}m&<ڮ#*wl>_f݊U۟&)k[ { P{wrQjl0nbFh4D_X XÒN*"Pp?p D1i  ʡ'> iYl!w,~?bǗ8ިlڷɬŖ;NUF/so'+}1q `fT(gaf9t_CiDH*VkxZTg],S,r9\OUb+>!b?5'7CuհUt_IΓ{WBQԎB^kR+n08 |z$9BYzl92&D[o}1O!68wMq5tH;SAA>])j5yE}yy&>I-y0R lψݛ2'mߪ<l@eP"VI!5֬7q!冒NeH%2 >T™ LdȺYТfqrRxd4 ͅPl{Q!dBG3PG 鈹9hGR=_pB`'$SL"&}B/U> |vW砒HB#`;#/Sϼ<}%Y={t-1ET E2qz)O0O }n'Ys'%"r(vY=GDIzL1qLq$ݠ!5(BeUW~vT\~?dZW~nr 28=ٴ8Sg ݜh1٫p{V3:C)^#J-"fM@w|)-4~d6# O&i=&Xka諥]g[vMf p5;|7@Dm D~7x?)!B8eĎ9 ~[A_W2T3{9n=Y, te<>@9C|,UcF~\HET\vZY0FeDDX-4*E]"o5:GgS4Ͳ2E}_ @0?<9'OC鯴p%K5ZROQ l=~l,vjnP )_Ӓ.>H`:ҰnFqQ mrMX:ܩMte:t|f/8ahntEcz!D95"9z]ە@X/Bot;dXl!vƇv >bMV]'y ߬'ç3}xXש]|E9.sKf.,'x[֦4.m)?+$5K."wqgpZom~Tj"ʭm)1I%P' Oq%^Ndש'XȘMWa=DbѵahjϝwF'0t L$ØB>_`k&&tsxFD^DXn"B+vЋ{~JuAO]4|-{ɋ&֓k-|7a^t/G2JǭbP Ks_IP]+K4" NPi3~a1:,?G0ϪOԂ.hһ>\nM@JE#„L0 KmT!\|j1 Jٓ6wFk>(} OL_vdG@rۓHv%veFs)xm7y:}CÛ/]TI(Bʿў~ܵM!^ ? o]ޟN=bN\WFf,ױhY}/DuO"5 g=R b;n:~wC穊[@rV_WGrrQ@@ϙ!pY.~`*~waQ J=!h* M4δBQnj: !$@Ӏx|>7Šj4Cg4)ڝ0W/wƷ[Qp o_|_޴e!ha3?cg`{NekؖGᕄFgez .tP NƍZK=u;FX,#xąڬz[ Iӓ]R)1 ƲN-y@A_]AԯTFk/3CNG~ u"y}9֐ T=+Luv*@IYXnϫ :9KJWqf3TdbxqB=2xs`[JѵnVq N#lf4/W$0g8 x @퐃fuj1kh`^j40̙gh_ixA:*!?GL:ѻյ@7}kg=*[4vT:9iWE'Ea܄HsҨBaıwC[2}8X "M++mh ܜ2CjjN Rm5$8Mjȷ&]Ca"w(gE[d%ka ?9kck傠a_KUGSZC"Б`맻*\׶ZC%|^i:;9 UOϑid66Qr!imORްk]@C<EPD'@+.X@ et\rػQL>RDJGpJ\m'LA^ cnc7W[mz) Id"{; TwPϦEiiLW#nµܳ3^HHeM9)iպk@S6Q޽}_[8EQ(&VTbX"͖e.6O#50`807$-x]wNq8ޟb䞩F-VI1n6@ԒGL]x&xi!<n=ʛ\mOL k)KnA=5B>iC 7-kJVj ˲5!,&]EtfTj8#WR0(&:#n}:sYMS5=:7ʮwYf#mdhޒ~9Ȥ^řhD[]䴻4J}ĵ"1S3mkY **[[;Ճf`G,3{GVьtӿ⩰9g{/Ӗ}XiaX)~p-Z#HI &j,ł zjfwN23xy~n36ApqU 4W쇪gk:k`pi3Wnt!TxD%h%b 6M5Ǹ>A"Cj>IΊV*၅+\akYkxEU*>*^rMxJ3HfmyRUnա+% AԮ2"yHD|OVٴ;w40ri(  N{QaWlyHQy0:KmDijAp.ڗ1{|{" 7l(/k6٤~)"*&Սo\!{S(6aoJ"Rd9aLD{(s(R.U/&=Pi7vv/"a@=ھ@2W 4!!{85E>v~$)fGTJW^݌^(VԲ(qb-aD4@+(BS` 8&=3zڰgYZ7zXZִF! ]/]ŗXiɟ17L? KxlWP8SաM~>fٺdJF S˨- C5 {Klp lI?8uErd%9:ۮk jg8H~W`Y0Gh+ -(@7>I&Ӱhgv[3/εDrVxY'F\o 3- dI@Q(r!O&:-y8q{hH!8v+9ێC'Pw 05_=` SƭEZCs$ҭpb /ݖ7"(¶ #"PRIǘ#sD hKި[U 0]sez7`% WUsmE7NeyR(\AERoUua {7"n)KIiKSj*ͳ?ޒf܅}Z:_(_гcR`5g~͗DDegYZ7zXZִF! R]ŗXi%G {,1OJ8&~5v-O#)/dq.GHU}Y˾4HAhr@^hA9˔PB vLznr_HLi9E6t 1˭Ƙ 'A)L( fe-Էiz\]@)7xFeFJ<:%fe%(h i0OP~3a]N٩ 8u'}LregI"V]6o#~z-VghĤ-xM'غ9jW ߘܔ &0llO*R^J}F0fdu\} n~vR^D_l΂̰j ZX/%҃*p{%'0UFOhsܒ"o 3S@N7璜x';r!I~&0&fN{joՋJԏ_S?N{o./1!߈:)'TˎX꜖ml丸@HvW)B9ٔy Id?%Yx 2-$"х`*֘Ya_hgs 2rj-LLMas^ZF~ wE4E*PĪ үRo@;\PԜ am QYwDS)"*ّZQ.yHO@=%Цu"d7ݣGS݃GtϽ%,2`VmoK:\.#B zQhWCg*f/Ҁ\Bhx$4zsJ!s/Pp4ꤒ45i{@@ٕxUS$D:0#rF6޴|^%)a vORTޕza錩'~Bk,+6 aPxFL])* 77гn ( dsc8?3jDr~}_h$Vj%cqIaO? mM ~e.K ׁjڡ_ΘTB5y)%_t[$g7vjLrgT"Af pv&ШSJ6t=Utaw=]8'^HOxc 4-^f/{YSYYrg*K_9b./_fs_4T⻄΁-̲r}bߘy);#"  !{ ۣ"o{k]IGX?{mnڈGZ!).bJ w-[46-86<m>S-Ί5φk]DGHƚ$|YJ?ۚQ tiyMH5ZQþ G 5V'L%|%1nF6(Ki<?<[}$r8 9!B#FAtP4" gtubm&@Mc1vT?!+[JM+ET8%կ;4%U>t9pw( *I6DXa(kHqDZG_h!^1-Z(ߘ䶳AIA8^݃rbaD|> GMowy<G  9lBGa r,Qzؕ3{|CPLEz hTk35eh.HkBCs}?n[$$ qy8"l_+~B@ioI=eB~=˷>^bhMirP[=tv?لRuH- Z(R9Id/ ۏ|:$7hM85Y֖.Š5ƨolsP70w֫\EU*mOj ]lrH5JEcȸm~Mõ>D2nƎ* t,R=SL̜)[;7j: X<6[drt\WaD1r!Nq}@ j98~XDVֶךYσqD$aׄGU'䴸8@x rK' JQ-XKJU&[ϋ7'C+!:t4Hy9Z:k$X< eATJxet[ݖv~7)N(H4R o, щ&U}5p`e ȝ -gO NTC، %d)p|w_bCQ+9E *A|LR2: Ork2.Xc ޜk%+A 9| Rd/&!oL[?ԭsQGU+kxIY׽%`Y": )m v^Szu_RE3/{Fq޻_ݹó-,-Ėyw%I}mԼ{;ӪCoi`l Z%61e1\O2!NDU/Bg ;H%b`ښ;N,Z9>Ƿz{tnNAZ~O Șĉ!vlHT 7qBt%ҩsMW4bT4 ہ)V̦D߽՛Ԡ-4~S Pœ+ ZsϤ,;_5/%\EpeX !i.ȭm&]Mc"'4j57`hxZH\c*D\rpּ+/:-cJ^ʊE/Z._u`RS>Cnc;_Ghw7XPOpE4IN%N}?%SmI/I栔.Huc{JI`@@ʬC(x3~!cxo_⃥q΀њK3MZ X/Spab:X]Oc57l{dx;Aޠ U3"GJ%=<0wr'qC HJ/6zde}`z7 ë Թ?}iuwt28PjĂX iLT[Lo<[:tGzЙl.ı6Q^PL-h&!`Reb%pIbr%gvFSkb!iW鷥A2MWc02hG֪KXUdH a lRwfD`j'AFgt14I&17Z8EU j y "1[x4=Dj7I?Gފ93xY`~-Ըᗘ BRz{`j[FB`h`ih`B(poIcKEFLCN }mҡ2f$"|〓x/QB98wȢ&u'9%-Lc世}tcL4^'3 W{SnXEE2'T"QSxf)n6pz.㱭3 Z @L_\v?I.qv-,phrl".Uơ|nX{f4]$R!d_o&L "yQ sizy7ףcF+b.z9Gm Ks1z4nV*@E(QeՄ0Q!- : .O+*hHpr|T6Xh.j~(&FBP#Eizf\(.u'HM0.r;cVU?{J'z?˷.vyk' $[f\p ubZߍ>5Uo {H3{14%_[H_qxSVxsZ OЖ|!zpG~LR'\c%,ԗљ (:?4΍d2Y˾t!4jXªE~;hc0 aHi~Y }=ܴO:\]ako:糂k;7BGz|iZj0b1/bU8qA>;( ؿO&V P!vR&gu $b:|M?6rPLG¬))ZcdO:8ՁŒj6Ug{=rABƟM֠E,eySō}2 ʘY.ؼaAEQESEZ|? Iw(XӌS,w8f]ecEղR1x$t]iU6a<UQ=Y[8__*$;"& \~V_qŠ%C. NJMZ ՇA;3U=.*m0uxK ~6C -_": (+p0Q*vLlj_,ЈW06beQ8Yi'S$ZGzSLSr`)%6WUK SH}?T6j /gB~ )GzT["' D<{Y_ jo 5ȝO&N<bS[16 ZVzª .'ƍB>8Mo^UˏÇfK.|3N3 9`,:]ro NkD-wMxƺ,JHل!7mD=4Ez5_!kٲ8*9ѮH.$ňE J\,4_!R`l%3Ir ;.FkOTRJCAt NQ /jAi~L?t']% k2ϼnI`7[bgؐd7kGC`E=̻$0[8wc]؈>#9r#\X`!Qz[Lɳ2_MD+1悙"jdٳ6-JDEfa(RO',Y7K*^nB%өBeR#%a # q&h|NpVHO'fA7?\LA< V8$ 9{\mNm4J%lYM{saBv /bA4Y`F, +^bqPՈa5"W!N1Tffzwgy^r0Ik .p&ip|O!YB8ˠzUIoj #) |iµgI T3ʖxu ~pK*9!7f_}S+;ڣ3,6v.%8-8oIj MH-2GY3:b2Ra۩g5d6p}\z$eD OтRު|y4:dupiJΡoՃu)Q^6^R'<7Y30Md[NeMV}P7E)`)})Y;LfAIl@\#t%3xQDDO`epoem  _;xL G]"^Xt e©&Dd6䰄A]3fkS֭MG P||tY5ߧfvYwu"$퀟D6dT8Ck&e?}u`ԙtI;p_2 P4RY}Ыx}@7IUGBK+B9y Ire ggAx"t-cD8[^x_Аo} M9N'AUƃH29ߏ94;$ȩlbExq xa)^Lf0/ m%5Xz73=k^u@"EY"qoeTyЮ5bX`HU*7/yN@kǧň4+u<5ݪ`S17&VWMit FVv`er`};- 1]žNSX1R-jC-`_k-ڒVSb<RU&p]BN->=K'D+b KM*gY?WiCYA!˾,t6U^5H5`XODN(3ጠ|"d[oj}tzZi'oto@IyT 6'1 decU z Mb)ɠrh+KXh3otuzp?wܺNT|W+KvO!&V 쩘< IWl*BW CNeXGZY4%ZbJh(1.7 ɷkaMRgdUVY +[+h` nxr {{ҳ_|BJL q  G~mG5NR+ ǿ[R?-v?E B4a#L.kԷR]<70Jm?J+ ū;%$LQk&tNunb^;s)hhΗ hvg3Ж%CCxjo9W|a \ JufyAUێ'5u.Ya?Lr૮ZyY>55 !#Wt9ĊkRLb\)SX}΁A3miqฯ)Ӧ OH~@b$O+2˪ɲ 03S}V?]SOH(S8pkym̯{t * C_9*0ױPLiխ8SVLJ,le#ߩxuwWnR8  f7 LP_XlIOq@`"AQgv.arXLZ4јW|92l#Z%'DT!;0F干 xӢeh?i@TfIQ2jzhc!]c}]ndvi0~Prx1&zAz+o6 F}-}ʲ !8g?o`k6$+SXvLν*|މqTL+l:NDD݉U~FS@8I}%(yĚI$ *e/ mJ~ddn"!8r ;Ȃ;*kΆI)Xp u  ls2(?#S!nwM758HTO'o.UV/>3N# /GSVxTH{:4{~X B n\h#ԐeޮiRmJA>P<غlƎٽgjINȕv>/jU~Q*I`#8^="lކ\]3Zq ҭUr4k%S X[VqFNc $AYP6dx3dM 蔈'+YRSiݤK\čJܡ&J^G}qTGۧ_& JtS\ Ѿ4۰.h RcX_~m>ml\ܹZN"+:ƴe+#wA8$Y~gw\)<$l2H'kBOgs?]K5'&qg5豱ֿ^7Si)1\d N.iGStD4o l;WLئZA'Y gRH@{noP8.UTm=<C)PjۮLJx)L bM2g-E|?:}%@RCHQ/ ˾Dp!P]h(~ RV+rPΌzZ"c%xr|.!)ǣܴ~FFf_M ͳhCVMmoJh hn\~%X$1H@4qkԚQ>A-\ԩGoP,:Q#pT RQf)7POi%dJ.|~5ܽ 2(*Q(IVDܞMDX]Cp\mC S<ɭ\Y<L!ivYB|fOO8F%&O8"dF0q♸P!C(P nOpNa}9~-;^-JT͓⒯k&3xS5RRNZ7jCiWηZ`pS9E,D⽚ O=Q.OuQPwszjyc 5l H<DAA&|mV 2l_vQ SʧYN0dMe(Xv )SUD^ eO>V @uu {.ϻ]*F!Ba'xU R#P1~h0ՈN3{ԹήC=Jڈ6hf=lYX%5o{t\ði E~;FkRUW*104H X[ɂ.؜E0 _-uh,-EZ̀1$ⷌ(dJBƎ`LŠKdvAAN&`5K8!ܫkMO /mai CkEZ#SДuwH;7B$?-SV>ƲE0vW\zȏ0 $0?BN f k`gBZ8E_B3h?T1lsD1k amwPx` ^vB1ɡ(EȃR'l~}~0*l!'@erA5j5cS11Kճ e7V !XP<]bmdK{a8ǸA-PYxOW-OnivesC"epG< uOzWosaiK'nL.myEN{4}F6`g%UmDK%fvgU> _GE& JCRtk뺒S>D2]{Z?X0p P{MdtŔP34o'MU-b xi>Qq*~: ^׆3W1;~8A9<06Ɲ߶^Sā'0ncdѬ;K+0 ӽ:9]Z/4sӀlQ Afr6mZ-vإ#Q?ٙX? .b)P; x l=B-KPƝBsNs8sB W/OOtGuWs#wHJ-|S%ПFb|v`(B!,^V#p$ .fK0Ɏ{hɚ-#i֠3n:[xId4,L s) /xY5x3?IȮDZY )6O@Č:O{ޫqٰAJ!IDr=1kʄ#0mruY(AskUP)QA?MWӛa{ h6k*!$CAjZ=Y-ե:6ZX\8y_z|FݼV<#(ARz`b5I ̄q1p5͛L0Xd&l[eAR&`#G,0p.Q*R~NJMb/aٰč**]ט,0Q) Pw~xؒG?W"wyMM]3^|Bi[XvHLh5t8d1 .D(Ǫ&5}{x.1`2A.+S:X;RO)+E_߫0Jx~dve[Xa\lwC+Mnhv[©H0ir<ʫoWk^6XôfR w\7L[36;]Z\F܌rSyEP!s']ԫHca- uCTa/XJڠg~Y/801^F0$~=Ug}:K{uON3%/]Bs"=qSn5ENdtTKN 8RBYuK@N6"4@LANP9?b: jO+.c&5DDl<^!("qKz^t*`mƐ]HCWg3)9*1lqya< dƒ.bp*q[WTC<%b821ԋ 77: cnjȷ1kP֮xV6iw" /U [;QqrT-$uv* a)ג1l wmǖas IRG'g4]rr[pekAux_ُ"J0q]rZ ';HCrD4+F/44 teU_'$m-)dy o^Y&@XUZeVbA廅}Z~`HD},BqȩcZbb̝'O0bh=RJZ"gׇ3 *lB!I0pY.xoL «^^]DPMEպUA|ڥIa%d"Ug`aº)dds?8EwpP#Qc`d 6Rh^m@)*.cIv+@xKJ0aa(YnTSPM"|R2nwHlH\.а^>oUBM DbCn}w28_[U[P:n긱7PtS27yU/Z bfh2aRXi+T)HH/ D:zD\ SY6D "?";טmOJ&`6 q`x _]f0u^pIcjhl{A,<|3rvAx5iOJjݤ۳_ =tB'x8<1[Tк&W%1)u,.\}q:;hR&V9%h%!ؽ&ҊN+1-jqYBWUnѢ.EؚD>7uFqA2qP<6&5/耙6A$f˪ 7ώ{1H'3),FL_ztB{bZl/vRߺKf֙FUǃcȠT\1_r1cWcgؙ{b)(?Uq@xwXxPHmw&"(Ħ%@ gP~٢DLB$זځ\ BaУo胬{sVdAj$@ZF[}&Yv>OK(ʫ*#TvAL2Ҭ.L`oh~#,mIL  wor%xV6s)Ki1AK0.axn!綣tRPzk`pD_5phl*ŭ.j%709Qq5oɈ>hv Ճ]">e l,XIϧ3`>m0gI(Fx憴EׄNAxn% )(aMR+-L#`K4:u~ˆA5yͧ M9vM2C=@f?t׼իA޹b_8A!D}`y:(ChAXfN o֍4JM+\#z \r$KJb@giK?‡܆9xa:EֆU nPQUuՑp?[i9mC~c %uMg57-5){%Ϳ&>Vop88;^`z(8VvSh`l^7Rxi;4UcPdWTQN,VbVd_񔳯-b+odfw!_(F]τJ7^ebVӆQ!= ojlC>NM 5c yyDf ņkZ2_V2R :1I~#`7pgBD?A?AgmA8ϞnKII}̱qXԓd:yʢs9cw̥ keE'8qCHg?A^nfK5 zj?XʰD%ڢ$1#B-@*)u hR4sgg3H'Jd\nz/΄S5=Y}AY bN?_N]gh (}F-\~bUgg"\e:Mn;l 4Y/_>ejL@l߅32BK?SA6T#^ kJ}ZU7DK`Po^TVO/,--1pԯ.UFt=5>Pޠ;ƊA9Q٨Zvҽ#:m)ݖ> 4`(4ܲBx* >U9\|S;P7MŭXڜA# VIsXAblt%۸#gNdԍE>a< ^F&a?2'zcWm:_>eqTyLd⸭koYP l5\-m4*Da٢%Ov5I%Ϝdt