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 O1|\4 ]% HOL-Decision_Procs:threads=6elapsed=208.905cpu=976.120gc=83.720factor=4.677zXZִF! I]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1FmXߝr{zD(ɻ@eĸA>.y&)HlykIx\MBx>_5/'c(V i\mt\b߁L&0/{Dt8DxxTÂ0d5tԯV^*צDmRnɄN6t&y x(s*0 ۅ j&47onm+_/e,f܌|b^ŋF38I&)H̷ 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 V&Mc=%_x=B݆ʔ Ht^}L@ _g3FiIԲ^V~ x ǠIIr'2Sya1ԿnޞYqbEI^ IQ[h  F!t*wzv*:H4CqBg؍mSeads ULusCێOW.ݙ,t hZeBJ3XSGS0/'{RZ۬#ҟ3rhLʾ`Ib >) LL8VOd%|<ǫUhrwd>ޫ/Jć' ]w!SkMܝ|AKNGl.Q_JdXxMṶ)oJW͙rR!2%%$5+˒ڲgM{|SEflIƯ=FC-bFKLK:Җ0˖bnc7Pd ɮOvAT` gIbBę xȵ1o,ER8![wܴܱ8u|bؗܓS7yHT\䀇>ˬyN00Մ7GeD$/,+kx`wNCWo>`%si¼ O}d;vB,,fj.s=\оG; >ytbG7VP 30NIb5P[0˘Eq (kBcxyd@? Mob+bk'NzeO$lV"F)"7$L,sHua_ƛ?X-Pt*'=L_h.]XRgtG> XËJ#וLavnᗚ-r|Lb=_BJ<~7^X@'9&uT}t6 3/ @\G|@7Dr{_(}sg?4QwK5W_ou9G=YcPEРN]9G:g }1Z7.gsz X)]^)s1EO*N # ^g &_fN)(L >Rލ'> ΛUkAVuאE8ꢿ m@"NҚh-cWGjN应DQJD&g02gHc8Ae||<2ŕј6giyN64Y,G|$iZWwpbC=g_pL۸QZpňС$Q.2EUFs5Wػt 4&V}d՞~'(b SKlba!jںDRogA@zPB#;ae~N5f)ϵeNkݩ.IR߯TXfMR9G^CISk_S뱻‡_î,+c5ѽ$*zuD_ %`Ȕ -F6-e -U9l{ ?pBmG0~n-L.jR4$$% *}6.Wƙ^5ٹF" gτFS;3כjúøu( Y FswA,J lhfܒ6eAqO {|E;f_i9Bw?b REDΒȭTG0ᅡTd1$aBzԹZTexsGy9MӨ⁰QRN#w8!M\հVHkXnAB BT,l0}(Cpb\|<;Ѯ?}Y"tnĖM ,3K+qKo۪#e?sޙTW$'8k)jP<%>sR(Iew*/`+ 15*5nvWtyo ?cQ@ LOɦ#[N69x:W_RI~ɹ$ض˳W _1.%'"LY@t-%߾*`$O{DA+]ݦ)'|<KS|య̿pPdzf&ÙV2f k:~!^JO*16(J8IͶ}+7;%V])l*<#*$^S<.x"6ra~ο*5_ Sj͊\1̓/iٷReH[UCFr*8n ŕyrsb#TH沩RPJoe\GyZHWu ѱJ1oG9md W5q+΅y;݆K"DWvҟO ~d|Oխd$l3{0^hɭ&v&0 stxI*\p8.wyJnd=ټ~y'-~r.Z[G=' NŵHɽ+ܵZtOnżY^1o+8?Y8KT m|$x(D-CuOrEq乎HhA?Z/Gyډ]}^ca[ZNIQׇ>td$SK%ٰte=Ɇ@ j""ХO$+qȐ֧H9fw@PCDm&}R ֎ճK_+ iQ['4 Y]8lЕfٲaqI}m䕬u bŬ GO cmd]@}*٩ErZkU䙙HOA!kнp9V.&צFt=R[;bi2w׃[9Y4]@:[p`eCDA2R(5յ8yp|s)KZ'_7 ( &'~*e.|7d@j3<`lp(` Ee 9,tyE*] H,%"" Gބ" 3f o9j /3TTS-B/r.Y KjUfZ_ul(O" +"agYZ7zXZִF! Z(]ŗXiɟ17L? KxlWP8SաM~>fٺdO^T*5'bNjͺinRש+VPe_N\z)kCၡ []U܄A35M/A5!E0WZe5Q& %{{qoo9dͦibXB?ĸj (cGپ"Ky\sEktVQ{")cad4dDJ4`rU .(~5o׮4=ߑgd0QȹZl^BSl!Et#,jSLrS-\^RA,Yt]$X,l bm֚&TS(:@ 5;2]oGLLN G$hIN0IڽTw~)6JTm ߾̖Ur`} 4`&ɏo6S{| "UP-k8bS^#Hz><<3nr%XѪ|ѵ-=gGgYZ7zXZִF! @G]ŗXi%$gΪqA-xI+KfrᥠxQ Dt+.>׍p%O,^2&U8Z_}1v K. a̍ /8RJH}Ē|`߻A3,1YL lK%8YlN?HԮ]{N iWoXa!sN5<"(_[V<&I}dϔf襴҅x$2.bna9sĢBZMH| #PCW byFSz'_pk5\ctnF٧>j>}mUCڸ cE |)܆B%[8g %byGS럅xov.%z Sp[3dC L*. pmI>\ , <pKXu8BkǜYx|QpCtS7zl"N#A+VĂÖ Ÿml P MdU|l<_(N; /52:Js)bAu#aبF1fhIr2bvHChahg0[UrvCocV!龔5s :K;lXK[SGkQ4s[Iäj p.=jLAɷz5Xn4m -ڑ?;ൡ. b6*~X"џ8gjތYzYlCNG%')`RА ? 9CͳcfoT box!)gTW,lTRbC鑶IO1f_ew6[}5gOpSUEmpDHDBZ#7:pS_piy#CSlۉ&^Bzcw13T<`Lfp /Kp槇N:2ӐuT \>Qڶ$ TQž~FMyx==NÒ.Ff<B Nl{a~GB=N; ̓J< kd3<sIe3r@m.A⛃>EQ넄*epwa³%!$"",y ;2 T6_l)m.01Uf*52Wrt$ˣ`vbh]}нoo/_E'Y4;#T.ib_1PcڷNl/4e#}_.Z|޲iάx=h/h~M~1>~+e G=)Iw]";(]AB38v6.^wuf#mvU^븒=)nSF`KF(_6>4NJ]kM֟EvzNNׇ:qSb5iCȟpMha0:saEX'4 ^٩88$ݧˡŜI>Bny : 㫁R< @ -+³JᲬǣ 1{Պ[{';jvH|%#A d9`Ģh(E4A\* YGJkWIer }vGY:}nQVnTk6=Dyġ^t@]nw0?IU&D4>ovEja4i}3s | F% H‰XdoA zWuaQtcZKy%-F ,qa\#="uX*?U^̼>a ^rhy|^gpRƾLmt'G!c)xVC9Y5[̇։'>Pwf2QUh -ԫq+Ha:F#a$+GZ \eFOy対f`OHYb )a n7+ FZNLpiz=+80>@ ȶ@2Hb㯼Gc)OZAF01V`[g95} )zH5_|I4;8\+죰#xM4})i/O,G͖ R|$WzRׂXAأ~7*&Ǽe۷seRcxr'ReȾURө_6!#JG@K,uHVk5NfG B\ ְ0pY Qa@K> n^6<)QwE̬Яa(39ig <'!'Eæ^.bE7i7H[ƌiV?7$ctwk*kDocԍ1I@ĸs qwB"8ȃNң׻My?CBjz %^܄cYU5,If] ]IF[ÄصGsuY;^hjRK 1bX)g'oQ5p-7vi1e+v̟7˩=dDp1C# ,F5.Ҭmߜ*i_ɯeMx{@&JD yЮ66+Ҏ(/L֯iQ.ٔ|B8寵T3Y-:Z}C K-Qf"jPZ] yŏ= <~C} 
lK2+^# ws!«צui D|E.㜶2gM9݈O:8h"ٮ@PWX'(BmP_4?trq]%+WӪ*`}M*U&'RHteRS\wϻ؛<'eJQTNiOEX Cr7~#מkY: $O[' )U8J"[m(̮sHFo: D# ʳ گh]6G/D_(@5M9|jIVʆ{ g YQ][7֯fpW?mi4ju? N *bdnAȦ>ߝl'{C=*~F'UyvBYŚ<h]Y̹NF|`W4;9"M"2 Jc{*5ΰzK Ȃet)$ˠ"⚲jWbSYd'$챎j1|iuwZ}\s[Q<%B겓XTjrMRYYkꛥianfJLc 0H4hTtw^|:!WNp@dR_#~ =_QL绻wgڹ$qGFnV$wIuo8~o4,8ԟ_Qdĭpv ^7>!tELJp6 $醜Tb&=^M!i͓ج~8ˀ<`dX8Q.ʯ|Qk9ѭ" {}QIkVm ] !ᜓj0^Rrڣ"zum4&qΎkYGD:!x+9CZ++F8qb"^엳s:$Y{@+{@+"Bsze#ܡh?goKJ?n~ " *.aY$pn=6ҥlm \O@ ҅4sa&/z(YvZzTa n=p,o=c~^@1ʴnH`V뚻eLKd]I,i 9ν,΄mlݜ_mR.ܼ"⃓*,T3$[_T\Y:nWEnAf 1,TKU,7hqB!8+k76اg7MafQT%QswcdpK=R@ۖ9,]2| V[vZ5}UP]M98^e8<X<0Nk 3T  .z011Ti c(vAb%qdF?i@b^會-$U/1Utg5PjiLDK]XAfz^~@6H.JI+kp lHm5Ԛ|/4@$")ƴoeb%Mi<=*,NB-|hE!JY#c, 6iFOVj& ŧ-n6 kHEy/e^4:$q[ υ(0rVݨ%G0Ax=@R] FM ġaw_%GXSbOҿ&,ފ+7xgsGlK,o&~nMF_/LG8 ym3ӻsHHe8gf{QYc9) V?'X'C&@M02qvϽ8r׏U 4/Y5^&Gm ZGz1" Q_W/TC:"v*FޘR{aJfNcR QA-M?_HUu1< ǷƢg*Rpa'(#({jx˚(2qK$_ې+7cĊRw+1SʕM?26C C'oRkD6fézኛ(`$ln   7j,s] GOs(Hk#'L uQp<O TB7YF`6ONQ3Ml9|8*fO1o3k5Q̰lV&='A,vrG1_Y=v d*A͙zCA\ë4̟&Dr棽:$9#[?S>T?W?um)(r iK9oav8}!*mx8Hy|+ ,Soy U)Eœߟ V[Ng/+N*wL6o$EVRx3 6@t.KF)EӗSzQeWmj f$ur6Nqc7,jÄX\zD[? ڧRʟi gE3G `1,;5;=knsYlD&!,F[5|3q:W9NƆ`xm^Zxd!5 ~ LD:둥rҬVIׯJ95 WC*3vC/+ ){qÂfIҙN沚-D}{y zwmPSɢO;5ԜCʚZ@%KDEV{U>y~\~|e LjM#T{Q+>n}t\k2W؀|O{Zq#OHF4T\BV]^<[y9svj59kypmB8 ;b //qZyl Xq~BWwOK;KG 9!g5Zg 1k9Tѕ6 Lwv 7UӒoese@ukqbPrsNrI϶ٍT:g8 R^9͕V 42[KMM$:%c,) Hal)fCDOwzaiɨ&Ipw>r YkKۀX0\BrJ!LSR13R\ (^fy$9fX( S[ys5=VTVZ_ǑPشOMu2mFucļ9doOKҚ -j~8lf_O  s?It:bL*Q8~"x;${h?@˨l18aKDsR-Nj<`H72HgU'DW܃TB 874] MIhG<ޣS}1fϮzZ(RIuCgyeWAL,&pTn7\JIDd0|bxC"}_B̢R5-0^jȇ&@^R푒:' p #PhFt^/08e.'y,gw8>EDC3HaJk7CS(h2XcXdՈJJ/Mg? \8\Y}VStPtu;{y!4RW)r&!lۆzo(J)b#B4ϾFQ_rQM/̮cDڲ uQ~\7.? _#<8C˥KY.~b2IkoHҟ8W͈P|P?IN(&=E%pME t4P̗ ]I3Zė95}_}Kۯwdl0.=?% ހ&=.Ɔx+ҋ .M^Kioׅ N8y5~oاvi7zJϠAcvxczXmp|Ӊ '-vp&bD=cN줻/ yͿKގQvJx,@V!Jb>[Ӆ$3q KSy5YЧ2.WLUpppt]3Z,mw.AW!eFu AE_ ǘCH, VG Y >MZ;9 qIݤ§q&s-8ZUJʸ n.P:*&,Qj`Mӗw": v^CoB)tE<6.:c^2l;yCLS[32B9AK)Tض<.[p!wgfCQޜ9XI.pQ[_])h2XhҜz|Lfb,5NP/*h,@mPձji ycZIpY TL y `.ә$iz#!x%{% oƠ2tGw'uALoZTl$ IcT:2p٬De(, M~|nGSY,.z5SKh6[r.|b<$*.}g-N|ljdlr:wyi Mt1v/5,OǟgkBWIFV4ÃcV/tW( ^mvZɵX-H\mo6?0[V).jPDkQ#6c麳3܍jt܊5$ाsxEE:vYNF5NO;D1XO5<ko sw fYlzº]rP$Kt7kYAΐK~[Οp NTdV{19ZijC|08k 7)5lا2yak0BqHQimz`Wx7A0>OsphTVh@wQ|fX/2g@_} ZpFG#|(&CqAȕ'gG J&L) "=G d,ZAH[:tGdA+n}Cͣ|2j JFhZoћwiS+L~7Vcy13"3gbx|qؒ@#t@|S@J-"mR;.D0{Č7C)2E@DvJ:ol:o,kWPqqa֛Os`jөXm1`~ a!b2>&ޔHei+B=qULΉ {a>{s4aTMAϯt͏=]xoҩ W{6a@T & T'kN-ss;Pl:$4$ES*+Zk|awf 2øSJxHΌ]q୸] ]AT φph6_ m9-,c E}koyMu-l+DLz^}=g8rNzLn9D~}%yMs[nd-P8ChFe[!@ޤR E/^=iQ_mķlQ.|C#-9g,81Qfh6[tBm)]q*.ܼ$ۤD:Lj}uamjpT]],wk@+- a2Sgwn)Wڟ##ܶg`QCaF O2_R.S u/>hv^w$L!a$y]QLW"8.mky(0LceNmcnjU,G_XU)U)/Om r?$uQFxuvnҏfxQEJ1x XINu0]tr<.Σ[;%Ӛ|$5gAP mvQJ!?3sl"i2df{E!.ө`Bmکt-gC~0fɹQ|Ul&ܮ3cտ^1"ˤ8UEٍxfgavIXJ+hZ5.g?2Qt1&:$rk|Pw@r;l@f_\a95ݢՊFr k[ F)b3I2E H8= |*\ j80g gm;CMv7Tm4t.ӴFLJu-tΰ2ew KQʉ ZP1P6X0cdJ} YJݹIM+Et. 4gY!OG g5jh 'V9cF͖!39(1{q;TO` .:+| ݯmCNU2];hXX1߯ݩn^ɕ?,hg: ]:&y>19:m`G{99Vt,s! 1obiˏ ]/}ThO /$y~UK\vp/5zB|وx"qEYt8P_@B\ PW*4bj*)BSHc:j/yGH>>6}%v䮠 hw9h]1e up? 2Ĵq9z5-_ i8>6~ۭ\BRW[qun ȗ]7nlJW7$턾rm=ub̜ ӯur]<Ŗ!SФJ>w&I!4CؕyA{6tS<8UW˸uШ,9#Ry-g_M;5\~l;X. E8 M*!U3c6ØM<~m9~gYKNJgc.}vc:b1r0R]ǩOP<޷3YcHBeg9at/q Uwtϱ$ '"y3t%>@ o cU rvmd"E_rW Oc>ݑb nW0K"{b@AӴ2J=h,c{1S+uM5,?Df8 P6әr_qaFc%t C,Ǻ}Un-8os{sK;yZΊ2߾ h~NgjPw2m,8|c{5(,ޜW^I-p5zbN,g:2z([:HC#YV >AsVUl*F?Ca*5ȸK#EΘOܾ{gO>:̡/pdiTd~җ(x3:iG:pcڸ>lCG 8Ap<$؁f讛kYݮ S;4:oGQhs#qUX ~΀c4h0 A9a1O Zf-K>ʥqKL TIRo+~[&j@*I-TyS/=u[nUY)ͻ/r{8/F9X+%D%fh_nW o B|%'\=N#\8HWƈ'zTK1m'ҐVC_b7T7Ċn?P~=uVApRwQ`Jۉd"χ[ք-0_J gPT*氠YLQD?63U>Xxv^%4qL)Q}7<\*%ioU:TEkeRVFfR /aS&YUg,*}UΘlەHP%%ԹTX8AZl.مU˪:Z{?x.,pndf7#]o=ʕŃzoWS6d vst겷0grQ*곙ȏU \VA <(?~^v"HTw̃Â4ܾ1Fb;ضZ P gǤP]WA Vņ{g@YQ  HӊddY?=KI)nvVj~$O10k`(V4S{8jz UeN 6RKMɛ^yrbyC1Ghdf#J9Zvf&QZ"Xke>לy9óvם7a}8Q.*^az A "D禂TEXoOxzrx/7 )ly$ \SdjL1 荩lQXP^ny35_eܴM'vR ?d5)n\C zi^4pJFjݭM5&cN2>bE+H?er5C'l^$Ҏ9-hCV”@:DQ>eŲdN372\o,d2Ϧ9*b47tc]xbX]̙-+4> ]VW ҍ[Z9tηghVb pgǁ$$Cj,P7zv&1ݫ$GT"Wϻin5&qn jݻ&$s*qKgC)=dCCXfdFжIA˼/*Y JnY=o".PyE#(1:{ZJb8ѩS>_`Ц!Cp:OmvE_QkaI`ѫYJ"V+Pkuz՘2ƛA;7C)~\k0Ցфastoh0Pwب2"Ay6fI @m!'qw_$fpfXB\Vkhf1{`VP.o؁Z\2R}a˲OϔmJz#q&WCZ#S)i mJ2 KpOa ͨ`hM8j3Y9/.Y*T׆'>'ēE:̦E+;=+6n\fBxG<4Y͂;FH,Vx'cO+R X@v a](šZNZ ofZgˁ('f%Tv]Q?+#8';k׎1h 0lt! ThvV@_% UrpcE[| dv+]? ;.4)SEqW8gYZf1b93a12f2a6fc6d743b5ee7014317d97484b3a9202f6f92237c25fe02f241fe1e163c0a4bca399a 63f007d29bfc488e0cf2bd9362b622634a9cd39d 809a914e409100418d2c13df98768aaad39c3c52 6fe55a48d15d1c2b8106bfd96a01346d616dc219 08ebb8de2605ba5bbfd292d90646aee8d3d5913b