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 M1Tt< ]% HOL-Decision_Procs:threads=4elapsed=475.503cpu=1557.588gc=153.916factor=3.287zXZִF! Q]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bEQ\MnR #ƛZݦ7dkOFd6X]i_\QLXK?6+fI/~:_/Ǐ/; ѻ[g 9eSP:a>!9qt]Ŵ. \V˼ az[1}@Xp,j- =6!G 7NK'9ظ1l5q"Lꝰ2_e:qzl2-'ނl t&mU׺ TF-W6W d bS}cT9~~a~Lhԯ]nrf8 U=D:!U~g'j> \ Ț08jTkG|pewRn4O" Oh%FO'`QE>xkۊl|UTP8ͺG4+U$ m49;r /5R*IBMSʪHYZ.qlw䌵ߊ/q65]-ٺ=4jv)h#x{F +l2KGjOCzH߭ݖ*+$Is^  zô ^ 닏oqnm6o˒[(fF_e}gen&h?kiij1]܊pye`G惆yd4,TH2 O1OpC;ݧ^=VN2L5od* 8-Է-:!<{Oäp]`g go64h'O&S砸Ev2",%w[Me6SRatׅ>F."Ɗ5n!$xԎ4Yp%uFp FiA2jja+ TM=]j?DO/vqt#8ɾBJ Y==Z=J"^ȉ}lV9 ?ߪXF0ndPQgkc3ܞG)& Zʎ}qΙCi'6rna ^#D6cy_hKm|+"'w"AinB}pb!@A7&Lq8(,~?047,1B;0>n1n^1yrZ4uRe{؋< )'<H>.xN58!~7z s^C9B# )wts߯,v`z]j#%-}+&>p`F'/N)Xdk2({ 8,7r^✧Q`ITܖl,s.EDC_nfP(B31`H!j }1zV ~2/a 0㽗D0QV7 (hm*(zܪtf!T{ӹT94nWHT a#gQ/5 2v4̿  x5lI@~ڴZ+I;+ɜ 1J"C'-vN4ҵh$;Gt 'koHif0hO1Ԥ>pz0XnB9%+ԃD#OEdm8"4F+ *n֚oCV.wQ~Bo3@5N?  .76柫cjƂ"иZ\QKy~ "8z/5w2Vtګ# y)\8oޟ(rCšG ϙi'%X'D132>r0x&+nΥ?SKޗ.Jj=H~.k bRﴀ˩24}P_v|\x-PwwlEqiOX% jAǐwT復9% G;`KncGko#W_wgʒKce;^хY,O{=$W %@ZY";+RVu=1a0Y7ݍnJP 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 Ȃ #o7O`f;nI,H{`Y:hxZZ#[_*%fܺc$mzfgrQ*$wbxTLd=x3xcU{O'6 ͽQ[#sZz[3R}u8|YsP+-d-Sa(tbg T{>>U}K^ ^WB?0G=)cݾ9_<3ujV-G+csPoZ")nIu nt7rxsƿqG׀[71TU!*2  wHP @(e?)q0 G6}fQWaVHM+/z)3!Rp<+HDŽ#j#;i~G; nW}TFjb=3A{'@ߕ摨SCp'tm -sg@z2b_&_a>]})-gvʂ=7T)@y:\]f _qOiiG%ۧeBdTށ~.[t{q]ȝSHl5zd֩zڏ*%#D_`)zktSyZꋋVZ8|@F8ew߸9בR94DSRcP*ΜnGFJV RgC (ZMW f-A҄UcSU$ )ؗR;p"cFv+." BHFlhpQa0-V`igO3.eD7W&7I 8ϋ8ʈx4}":X0y2_ݣfqLgM l^\N7SqaXӬD8{p_UېS=%/e q5j_Taf<%n^mP0SI9ֹBj<,۱OhWݺ)Y3RJjGާ9:#LtnWNHdбjcE.Q tk-#^KZ¨&>y(S;jECҡU>G]}jGd Nߕ]6p\ s2,ܤRKƥHvZR(gVD h]nɌgY7Y5#E ZaէWYS0tu55/|tޚ!^Gm`΍PtYօ!-n31ZU9!+wj@]So+o`DЍWtn}lwKW%[i996oo;{t&)5> ҃=]­cpu j7iiD_E?4Q 66g`(SHl`H˄ń?Bo͢v EJ< *C yK,}az=}J]xߣA|.':ߕ#,5~*0(H)l%(\j矍s ~t'Z3zXL[/Q砑H4*~bݣu)`EEoF"u}da=OJ#-, 48\Y ^QfVnv-F>aWAH?,E|Gjh)#(=$Υ 0j?zbJ|v5هt/T4$B@ "{P5[tXW6 E}PFПQ}{ 3$`@e,mr&O \A1;.'rQGw[qiS w0(Md1٨29C1U^ő swycG9Oˈz!/X|ֿW8ZŊTQC )2+SM-b tb &xas|E'~aJux}:;y"/2/ d",\5*Gß[8^o0 cDfVsK(F鹮\(Hz٠|I85NTFW`dLOМ@+jXJ/{zX)ۈIw&pjyu}_ڠ*#GDlZXZKEÇ&/xmԏy c(N 2*L|#򨘾)8{h& qa8DL|nf= 'L\D#gHK-(GpRۤ e]Ӱٹj[P*l.,Mdq-v& 3L2d޺Y4qYܚ!}%|y*MWSv.4`W*mcgU}maH~֚θ ui371Hmi(N,}o(2bM(d ;S-xKũt25ڌƴ\S15Ho}|S;@A?W Oq>XR1 lxCVykza @p<Q[_%:Q,C5VoțHaw7g[߿|1}Gxv*\tݬ 8… \dO@!D}!όHylIrBꑬM5/Ia|.%#mwQ&Vd1樗+ox<|ܰ1% }̩4|dSS9O:6s=\a`g HP EIx7XE]/Ǭ it[XDbeH19PdPlX ;6jnA%{_PJ%tONZ6e07gv-(zo }~PCo؉+A/D6l54q<1Z.vú"vxWnHV=l}⟱l}ی⌌HjhciB$>sրrq8ψ3y?![lxiEdi|"ЀOZ]/m7_z킼yM {40f&4f[mJloΘ%eC-35ڗfu_K_:=L ݘR]X;B V[UYq<~P@;\4k=g)j{z.wfD?ckzgdȦ;\)*aR?]孋]7̀ں{-00.X'֡&X ɗYָۮ+A|%1A ګrFI,SiL9ji~mF@sgý>Ksjڦ|aKU;SwdIdW&o _ŐbJX0¿Vri }ӅYA P\u[쬦l{d-evDwW/<%IjvIs- 5 X_{o6?*w8Bl&32uwp6SNYl/Gz?uI׋j%&Zu[.oCŌd kjqcx+W.:}(YwApQZUG)bk ZveTs'6Z,RަUoY\6AmpEmvX7%eyXdV~ξǃ杪L8\Y#\v}g9S5d;#TpƦ8GL3%n#9t="7*AmMf+kD&k2h]aeW𲔓T`㐑ET+$Ơ?|hD5=p6{&);(/().Q9}xJhLP7ǰ%G3`)8 iFEB X+ɾ` aɤ(tr\? u J}~TAoCT)QȴI=:Ed}.V$c3!ym5gRX0bGgg\2x3km KL%9 LʱQAqG$PƘ@O|s9l5zNFc3T(~3܂au$[k,<p{DO maA;|FN/1| ETEeo, +:Г\ϿC5p<"aܠɸ79ʦc(7[αgYZ7zXZִF! \1]ŗXiɟ17L? KxlWP8SաM~>fٺdepa=& 4ד]zߵ\_w&k*Hi^][hAU9co&JpZЬ4'ʂz5fNk+i3yFSج$}#`TKo2m\.|Rv>53P;i&\BPo( :&E1Ev)1J |(́ԄlDa:}8*[wfq926( ͘$FE|lv㝍Ҋ$v>˯9GN>ޕ?UYx!)qt^-.\7(xҝ%zIكI(-ye:OtּX| D8ԓޝU|(q@K` 3..#UO=,94T^.79/MVGm{ܒmJ` ݳyc|%5/}ք}YТ~!Nv2ܒ7zPbn>KșQP cod(O"f,/C-r eH.%,85[ީZ _gdDaaj(Q"9Vczhtv{@yI蘆K?`Q.JiK^|3E}[~!irZ]* K]`$2T΁XIJo6C`/7 Kt=6ɷJ0:>Sn~z/bf51C]ƩF^^"P;w,(nk>0-{"FX|n`ccd3ު#tH_Nha$瞔*Bc) w5Hw\q@sw 8a$ YWrFF*Bp u%f{]xUyV?P+s]oT (w&L 5pV'In}TONѳW݌n; }I'su[R_Ā%I sЁܷ7d7܀?A˳ŻkfAXDh/pV؟ڕda}dJ =iaW -`ت[,z]s1@kS)/Ig 0q:XyZVK?-&/RO,Vi T)v+N6a%38uq ad,o[F,uP^INEyj{'2j^ʶ'\}5t$a}Е8SQ %o$DmC Dt82iM4*15R*b>n0 &fShGexJ6<<=m, -ʚ01}x~W`_ ݣ1/bfr\hB˟P"AuwdFvRё2|n=tU''0ZՍkh^jaw(3Q_@% Nnpre_09=f$?ڈ7\5煒?Xa<8۠}0.0/obUDCi96HH5q:@'Z#?xƼiLP ^e䲈(QJޟVÖ}XB;%"s:PFd=<$% a{6}YU<"Ъ|f-W) @|daf$&suHqۇڀjX,hbAĪK5`"3ftJe7_:Rֈw擖 /H؝H;mJľ >ymrgdQν9V\(! Ar D'$~rW}4ǩuf;O!| %(xXzi8 ĿNC M4mNj :;% pkݠ"S9󶌐+QkiYxb촮ƒЇXA}hD F,|VÆ"ߜ [ʑF}fv׽K'lh@_MM<*~%jWQb}=4.~[,nvɎLfoS^\)m{ j }Q$Oy+amɌ ,Y$g,"&݃&(>D3U^r<̅ZLvRRWRB .lcw]zXkA׬y8Q(e/FV&ix#5:5_MƖDb`ZA|_^aw/qY\5Ex$_9x5ɒkw/ q'>QvVahPcpD j9>Lf!wYS_]1g9\{,|mg(-Ӟ6cȮD]Z212PEJQ`pOBz48uӽg S!x+σ6$[.oI[Ԭ/ESWW =!5m~ 9qш/?&"2fC2^hw̤"wܴPЍ.2fLd{d~;m~Y;;׋BpA hٓSH YEtLvԋίeO7?-^t޾#h izhR:\쿢=7$k ?i4^TCY@ v3rao , g3%"N͚=V}<OZ.n~I1i)f&>[SVbCy&UOuz̗ͭOmǐ=HkPqX?P @`cx#zym=QgC;2! EX_yB˝$_U ,"pC۾HQ1c@;b'D\dQ"vovIE|7TR2ƱP*VlVJGVC=.Ģ]CH)vhwԾ\*A |<Q+`ΝI7Zͼ:*#r{`5C4Tqg1شW.g4ѕbl}~-uD"z,/,.k$XFqQJyY#Ru8u3(5MwM6}`BԚ+eܚ xtYr8\> azZ ĖKDjejY(fB$G QqU;HjwFV$Ha -0L4OP H HG GȾRSɏrLUaL3(z0Vu0WV"{B=rC/'*(LhsvȀ'H=I,K Iu@fw8m #.Yu9in6d_n#^n)e8 Yc 3@z3\B ۲+sLY ʼn+S8 ?ױ^ж^|ZXJcrAm*ૠozKPP <)j3K/Z[Q ʼn leZ59d)̋V^1 )!@1KKq> Kqg!]peRrcf:x\gBEyar:cJvL:~bj!KC(J*>QbGQ>&'U"k,nJH7YbHo0iy6gzsx$dq|q9PXRʧ<Z2ʫ7#$1wb:֦rOD%3"LڈL XZ C /7੹ʔe'x4ܰj0I>[#TzaիÍv>C7-7!:r>e#;E>k<ZL~9tDp<#M%*/ QdLc-?.E^zN]%C=—tugOq0gFy*R 崬XPrRP9 ːv0ѓ6C4 eN"ymEu@ B^<Km M"D@JKY |2.8b&3 xu;g]ХfrY,+[ -eel$Z`}Pdmw/:[v__a:8 -|fNE?Fs"ϖ MRJ'#(l&nP7,nƵ~s^w޳ ]OGf<)oBkգhԈm^Ʌ׽qW!˪ ύu"dݴF;bQqݔdU!bG VÌuͲzqh|rX:>gC'呺v3G\vJ,a\\Z ӳnYcm1I۴X2,0XTTPe#D а 5|40ѴRTM* zZ&uNMB$,ݕ䦭ICK rP-*_>O'U+lG\pZyiNDG)Z4ᛤl%ImAQ#/gGB\Fݫ XkL90Xxpېrsg /Ue=/NK7u)PGKÜ$V9g <^A =aV(Giy$Ի"Gi qߴP c7V^/7 6{zn\HOȔי֥?1 ܑmzL\e5>]lEImca;9b\;MrK3V ]GX^r3 XgeœQ{ddۏnပX!ȈE%7%{a5P |ey( NzihƝ8T3l%I% ?*K CT% id+% ;+j*;yO tiH4 EߗsioU0u_+/u89v v&{mU]cEfiij*;dȗ\f6LQ,[HFPxD`i}j7V8x\vr_,B͜\-H;~bkt8Ԫ{< Pet= Vux}emc&US6 ߚ鵲BhbJ*wtΠE< "VQV@R08ʅj4Vl蟌 5{tMhO~h.A`~ӗ!,ڰ+}MAI%hzδ&JF'y&SF8?;H/X7΁Jŀ#Ta>ՑP|&_9tmTau]P9Ng (ذuzC<B0t>3KU9b QJ,U5 t;h٠ngK94}dE[X65-c 4\>d++asr\w ,G؏Ŀ6eiS0P8'ZH[&?MV(ٖ*807bmo=RLq(Q4ݹ P@xh&Q`q o:7jr_2f=p~JHYw|{䬙=_@=X8v( >K#F,żGi tjһ2Wլ\,lO(6,M/F/.Ũ8˩0A kaz֟F|CH.2&S@  ,G\OC sGR+ 3.3A:S'xSٵkO۝0/m,ڍ-ğ"Xԝ x/CY?FAxdNX۲nV2qVPxO pF-}GʁAG&NIݟ37~\(Q$ ss>a-4RfN۴afI`8{ƺE ;8^0.WC>1SkaBXH}oLv=+Wp3Jܾg:lq_n~`$%ϝq1Z|^;Y~Pl(Ch!Gfna t}xc9k[a 1EQ'*k v|6Ax|#l@xqT2"B}abZCzfE[?}ع$;+ 7&ӷnGD6)|ߣ JFIkK|]u(RFBMqZkR<yh",p3ТyCF> 5>ԾsOkYrN`e)1AYn~ 9"<'Fwc@HX| {K>wIc{O$ ZgD'ץqO=<TPn"^ l!Ü_yXr.aA,يkWqYjQ e&Ƕf/1 FAcbֲbx~T ۲.qHRy{?c Bh-|楟\ŋʍK•9?I%u-;s:bfi0$NHL{kGv;H9ЂvKȬV͕$^Uz u_5n:Cm3H*h1}-YŲ+,6W3T)R<;^H2[NHBL"nU e~6s Hz4hV^LWD.k=Ii_VoJ@SD|%E*7u/y^I(pwi*PWyʈ%_.rxOQ#fߑp刂)kL{,l~*k¯jCFOx?z}_y_]青BYp$gv>T 9cIoMtjK$F̡j{4{ڿw 6JO@BΜ+Osm;LxV`\X7+iٶJ\-DW!G.Q ]KV}N=:㚤8ua1]s5 dۥ̟PtCrQ\8|mO`RPf(Hގ#*^}WY-R%N>I(UF &򊚫ū$6SH6WU-\PT.ֿTjyP]75aVwT? 4ACkX*ѯ@>yw^CB3R9,ES* cZ@+d@pRԋ3|UP_+}O1{UTK/vڴw)-^YIzLnj苫c[!̇EO8b/xɀ@-m.Kx'4SR1R<~ZVh<[@fK!BsoHֲr+|u])fhDo/#'W4V*N]&v_׻o ܘ֦V5›9l@aRVBnsa/%X3Q)s)TR4䆀rZt⇝;D$YN`.O7'cPjgTO@SlE2qV,}2WHDY*XY) 5 pX2MK#l R9ֈYL*vU6דq+^4S2P/y#g7tJԏza<|E K/XkW9BHgt-j<5e0)rQM}Kڶ7o桋hU~Ks+)I9%3i@)oM$#&HhX~Q Ze ]D2(p}h1Ȕ+X4m'?O֔Ju틑T?81%"8(8@5ئg7֙]2^~'QWI_ .]6'&>g7w!hX(3o#-kF,ae ^Rpkcpt!* ?yjzɢM~Ib~[gyu#zF1o|UhBu~I#Jqѥ4Iht^( ~L1R{F~[bCPەaɕ|W(5.ټ쬾vYB3 +ق`|7RՔ/ ,[q6JM r(.IS,kM g>~떕UiWl,{?P(d& -v;~8:Jυ/7" 'r0bY'Sߗ'٘̑Yg:>hc`=y/mT!'}1>FuBR~&`x@?)|od)y=^\H]U[gćƝuE6lY&oS%JE|

@pu\@+R윰ۯ0k8 w >tXϸ9}i~S;(3r$x"r.8]| ~[2qziOqF@Lך;  lSO &`'/%]#%yKDZVߗ]}mŠD6V6ռ( ef>ԲMgb:j>Pu wzf=Nrdl>P=LPT|WV4ӓvfقĎwv;Kt?eQʗ9 Ҟ>bDYJ#8l^Adt3۝srdiCG~;QoA!w{"c$֭T|Ikl jl\5{nw6#|iOMIS)9i29D $- ذ'[03F2 ɟY.(b[D ot)Zk 4(Ƅ=ypM'*[SpwM>UFdnwg8ؚI }:yiez~͂jj4("]%%}xkc)}y;fōY^uQ׀hrX<4qT1c8wgwRlXi!ZS,jm.'췧#(b< $&ԾIQfDr#x@#-z6*zr͖~*Z=**/*b[2{"U|sg %SW 8xdf.f& ^$J.kJ 炢k^Ҟ NC^p ҉Gh4b,ZFJn7z+EGݼqvCVv3&MW3:HW;H\RI_W@)~1hT9_5MOKOyZ @#@FOfDYכe ܄Xҭ)ѵ,dPn9` G'Q829G.p{eSWCZ`'5He,2]ZN6$ @'^?16z@ (d:\/P^@oZ+ҕͺI'/BͩS!cYxC+ZGDg൭*,l?w2[4)͋$~(d:і6L|Xzױh\.d5a!'wkaUֺc /!4 %jp Jx)4CG|۸${6w*jj/oSϭ ӧbS)tY5 CkҔa qF̷ ;n}61iZM)Jx<(/=Ђvp 5csS.G$UeAs\G%=K-3EYG!QLH=fc7$Z/hh}M?+)&6% frD MώܚHY70I: ĘCu9f[Â>$zYJ I5 ='țJFtG1J k&q'/$>a ]pX@ dɻd$4ѮS<F$D]Y==Q97~gO1[P>0y0wَ90Vr#-S!㋣s7UՐ|a5ݠ|2dA ?EL 7߳Ϊ[Duríȩ/Qz4MԂaɜmx|Xӗq|Yr(Bh+{ܻ좱A.;鞝YtosK[GuьPtdW EY54nba'0&@ZKH51%L$Ҽz^ 0\FÍp /q:ib.#>TIlV<62Ow7gv?I=i/Ss\qK'AES +^ob 1 $H]$)]P:[Z,wأq̹`ZCwyH#/ ڸ~;ഊ%\el@QċZĈ N-*'G d@<̮ag"wPbyAҖqJǴp<ʮyV"? R[||ft^"2ĕW@fơvv?5d0˼#Ha%5MLI,b6hnl=){'$OF3k)f)n5Ծܢ`\6, o i&P6ە~j^ C1 B([42 yU<f :yCm|+O}=+wgJ\栌3naJk-M" U)K wޚp s U7oA%VOvpO.KY+O^B4V|7y/A)luX(U*asq*>tbRԣlq,0n6bJ{\Ң*@:ݍyL <ZKEH_3TtR祴ndOkٲGR$[j%`n‚޽StUGMVkp7Va@۝~c(|ei[M@K@x~>ZW}ɭ7ʮ:c ( dO'kݷ,_K陶ug2Z/ժlfa?F&j7\$"h>l$\=5YY.-/SȷK)+H=2R$LƽXhǠ: 7)Á]G.q @AeU]3×moH_mJbpo̽YCt?Y5w_;T i4t@* µbܡW~&D$QxN^r'?t%z4Ojs:ey!EÏ]%|#K.FIB.ޅܼ[03qryhIPǓyy]8k!Jڿ/VD'-B֋|CESi{M ޘʴPp;O ,Sc$T(| 0f z%.%t"$Vg·lt ^I8*_%?K\_i|^֭=5m|{z*pi=Xu*WAИZZS\L6* VQoDӸ*xE ,fڛj7V@Ǻ&5iR$Zr 1ɍ>E|í@fZR>&яu4D^$oM-Jɪ|Iy Hdr$G@+'+f߁e! .4͒zFB|9{(Iz(Hfw6=ET#϶ڡ :!W#'QoR>,O:}ۊ§ń7,q|.U>b!xQb}%Ie_KY [X1 >} (s`}i x1s-,*G3{:PNQϺ'gH\ Gm3@StlC|/L©q.ex'Ӌap[eU|F~@!ji/8nS:tf&k6<#̝ױh5| 2e֮75-YȮ.7-G&kәAfF@!p{Mk'ob.-LhY_o3̙t$m<_Zq?N/V N=U̪Bz"'A7Su%Q(c4]Y:U_ّ)i_g· 88$ S 3Ac;f,Gcu#4iKkր Q4u"KϜÿDO܃)H jÅ@Gl57eܬU &t_u~ޠyY< ҉JW;hf'> ݍɪ:omy]gk5@ƪ8؛] Zju`.aOn1\R'/W~MtHgvyםw(M_މs"`2ێ"(@^h:ɶ?u7#0Ar =4o5S]4D7]iòₓㆥ>U(R`>sGqqX݀,-WAY&". $Uܒyj϶WVYn OEӼ{zV4'uM4WrJYV-?j< 7SuչaYHƞ!/Sl +/lF Oƿ`=sq"#qe!k-=v\Tm2^ay&nAc>JZ5k\'4YG Q:muVaXԍV5/\T}TwbVZͽA'_1(xwƹ^,NU tIy.+o;k?=.),7s? owH`FZT] Kv2w@b d3Ep_ 9Q%m'v,K^ O+ncHj+v&%X\%1&|`nEYH9 l^AME ,9P,œ"UWqˋw?!o>ŋ9aVD~4y_/l#^5ȵwfS~mB8|sA\(hfP}DmiNuzDɆj_52.lPIς[!?x}Voт vdLvg-WCq OcC/I:DrȪۣ\]m2b6~vrX1]KrF'y/}_T^"BE[]VdLVW̹,70l"^1}̉a'<WhV:X6zѿ eo3mbW)ivHEe\2W>M}Y𞬲֣Mv'ϡl$!SA!bK3YS/AiW{0dICq+p9]hrπ5<(i8i`G`4JAd\i,CTKaz8@:1Z(߂Ǒ;AGAZL%O^q}aMc1psAֳR) Q:JR-H:ޝ[KF#Db6FeÞWlvgaƒ+,q4 'YfM<"-篒uC[UJЩ.ݢgPz9,7/xʹu ih%ցzӭ}˗dG- ^h[XPQL'8Jo"Qtd!C9d Κ>jas|T{ärNw!w{~z/$nRs~8N|ݮ/0&a;t*Z 5J!9#TZv؄3%sKVCHj[Zв4afBѺ2T*^e46sA @ƆGuӍ_E+҄c.-UmsOR{J  ANw'f zWCqQJ)$Jz:́|/_{zc!)Xw@dhxSF[ -ɶ@EQ2wC6o+>Dg=~bZZkЬ2|Ri1X暠#΂&mr/S?//2Ǐ `SI&k좝h#]}`[HSχ]f:f%ѡ=QmVY[3@€Q_98֦QИp kfp5,a'CEla<a z "{*<>H:zO NCH;aĭDѦa; 熶0c['IfWFekXa7ZDqs 4{RbMU|qHM/MHqQҨ|WsE6Cbrj3Az"W6'ػ>Z-_7JRA6Tnzk$G[oCc^B=ҲQ ik宼m> d {t ,*vm ARՇ6N_. HA6GB SYXZ<ǯ3=ȍv$TuDN/7$ A#   AchKc 7>yF=KrnmrRTiKuLNWSs)&e![miuhJ0k2iN~l.}ߔUUٹ优3c.Es-8g jy~WT߰?n΍1'{ d ܗaׇ)~ %}"ha+]:"4ё Zu)t((mqZg9.OHwYYdh Nkfhĕs(]X!˵^Zfo Қ0o}KjF=%}m$.S7[XL.o>%8zk4FY#9ABopkUٷ$Eo˦ofKȾc>ɍ"dOI6U}"X;]na1[#6tη]#lJrlX(`z_gB-n*lMT3U!go*$d]n*'8-[,U^k*um,Gqh@" b,K#D}. r7w^p Rd3m Ͼe$I qp}OgX܎y Y૆k*9yLfKmcNNY]{U;#IW.@sXO>oz>^ 1w(i7i1u޺ c(WO_!l)f]d~q,d6C,TRAK ?E֯s=\O#j]-Ñkm᪩L & pEm֡Ka9ԑJ_{t*22T('.$ S[;<q4 r(a@.*d JgGp9yp5&m$ ևU`vjQY_iXg H Ghr4vx&VQҌ࿮3`9l=?.P~_R)h;2LJXYH6%fhVsUjG}g!s%T֤hL,X7Q sWb?bA2N<&1U:}sqąp,_-Z8m3A]T3b!dɟ2FiJ[aoDg1ŵr (Zݲ`.i"F g ~tfu[,('DiC9x Plê<;]0Wp=2TϙG &h(h򜠮F|nQ~WL*Vp<D- XV{ƪW84 >(bKnc|blgΓRIzN%ԧx$H&z[u(c͞jWE:g0.=4^riMy6W1G4ܿ{vdc\O._dh0ôymNZhIaj܌%3 !(m~#ߢaf #gc$+}0iS^4Z/NMMc)ἢ mJc]*]OP!y ؓ^*49MTìÛub}QSJ?;=&YuMb ,{஁b/;]> N ̹Eè9Sq Zülܨ4@ y`8!"zN9 Pg͒GFhgD?tiqn~)_7\:1oQ ժ>Td>?LOJo^[=&ru{0oS* &X=>ĎA͆KPYMs;vC`7(qѹq4$ ʛ\ְ|o!MR]kxV0sc5T.SHy0#TY{9eQj7pIoQzcr9Z4}\;#H#>3 n:,h>>;q"7m [䱄r+|nʡ*mŘ)k!%SN┻ϴvkbtf$[ "_Eq1/_XpӺDTf ׎x322 PV=Nj+T'_Hg}9%Ƭ]HKge`/0ٻϕEX !QzGf5#HPƚFoSl9뼆IvAZΓIߜq yѷ)ExN;5 ẔZ`6bd{? zڄ[V:G({͙kK W,9%]Wb6c-Ds1NIx3pYw/*mlI]Y_͑s7ϔ9Up0}(v~'0m [dA1Y(i2'&7f K)2wl]^;۠.N!`Ftϸ[L/O^$&o^`|; r | j :F )`L,|\`0QX)<5W횃=Ra*-:&My//O7C@EY9[&bt. P"Dm՗R'6ѣ7fgºi("ٓ0j֘9I@œ~ +yDT7j'^C7^WZq 5J0>F| 2!Uv̴sl+ǬQRUn71dPM 7.}RN\Zl" ]:QSLL8>斖 g:Pț<]Q#zLu-X 4gbh@_ 45W"E%&+qlu#d`d@)Sg;-$o vU&.d*Ckk98xn,d VSj/g~u XB: SafYfEw^"GN9UaP-Dп٭On;,"H:JW-4+L6ٚN{n͖!N5JKRtV<~'*Wd rii㸥+^1, ]L/X\ .|[o$@NitF@\s Qy߮ t6n5*̱k9S!J1 gz$"m<ɵ:lO0ZΥyc4rʾb 6[*rMSnY2+RͲǩ+:bS{s"9xDT,:?p(ʄj\䘨.HL(> _AķDrՄ;,V6F_h{b*rNq3|u**|Y:Qu5WZ[nW! ?_''dWy|oHq.Xȁ g1] HY_lCundq'kS*NjA?VF#h/<dugְ ߗxuZ26yj'y=]<;g`8Q 7gqII`}T6@/b"J1-!\CVN6!3U@7B{:U8Go>H*#Vfoh)Tu*ERHAC>{6qjؗ;"-)M 7aa!PRs8\r׋LG`\,D̎@ڸZPA>6®nPHMp6K54t { #}%c-ث<]!4 {QmnM/x^++nÖ@gwZJA=(Jd K\PO3CkJ?EŪQh̄g)W%OKQ!ߏ9e`a]ڞyAFpurIk_ H/V w*~gvژ_dp,T!鴵KV!-u}Iߠ_IW:qV+C|g&ILq@k~3YX6|cbSasOu%hsPhJ )' vm%Gkؼ5P뇡cEg^҃h3n\| ?`oҜ?\J(#3YIOVPX3ו[`W;2d 0,:xvT l¬IC.~22CO?ߖs`DP({';9АtH/`!gb]G\.!oܴyZce8;pTGS똌248Vf4Iz'ʥ keU:%Yj9GW+?4 }xddYRFCw*N1GT?붓BmlstQ40<d R)yW N;²df"ƮdgO?N@sF|8Q^MQS3C`".# #7NIA\8z&!O6N:˵S :\OMxm@yzfTk69E%9%30Qy_7xkK2L.tDp#rLyoT"a..ƟC0\'J0+]{?/<5QzG…^[0\Baj[T+D~.:E ~MWS57L" sJ ?bP*ÛGe哶J((s@k>&ؖe]'eo>"+e *8aGhy.kF6 R Јق040Y(Q)Xf~#3iYbك)jӞJZts<JJt̚CF@(VrlS4/CIP{f?֪%4I*g\9bOŞ{j/-Ξvb u"IPq{Fuv@ؕt $Qw,yKb6 8rYxԅon/#hD 3% x w -Zipoi#i$2r,}c,w$+åੱR=< $|nbGst 1ƤhnRY3?B{ʶn|WHT!y|a~ei9+phIͧD `'|4ptFl%_FXO{%5'"w.oڈ[_O2MrB\Odyh^$"lݽ 'CqOapFTB = `; :zXфr R=[Kg_~]Pv͵6ԟo>MCF?VAak4֭~zk`}LzqRzW:\L%?\LfSF)}8eHKm=cadw![Vl^1ƀcP="?-gBS{I O M} )3Jzm [Uڼ Tb=đs[֒ 26gw^F*Ayv$D솳rq1tQ͆i$W7գFVS*3Z7i2Ta1jcV8"s :BAr:=LdX:b7pbn=`<.d,9R➇JE?ŪU4Ӛs˫]^!қFdVҲS_/cNZ)}lcKϮnx/ȭd%$ǠC0)hr9nbLRGs^;pess$,LnTz`m},ւRib0!)S2Rqqj//_yrc|H^oVV2{>ęDa%;]4>{z}|0!j=KXՍI "cVr0.-ౝ q2:tŝMzɷo Lΰ~=tǹ۬ϱ֙hF7Im#,Ts":J| ؉N5\#D9){ު6 "A9G<?)zoXTev:9:K39W­WӅޥnaCPn(Hs&|O)^wv|>"Os1TBb ;w{`#(oMnX""]5Mh'f 8:r+U.>3] + קv08 t_tqFnn%$98}i6kFEL߅>7xýЅ"6cHHp^o_ek%pw 6J} @9/%<bʯJ@gJE][?ǦHdKNBΙ`wRVLA]1|(-PQ';o'vQXfih5< ?7roPWعEN<_8\gAXVw˖"["9׉vֈ!yݹ{VXQ+u!$& WA!BGoݸryR8Kꁟ[/h9̋sCSD583A5wyŲCi;&-E<};@=>HN+{,rP%`I[CnZE7Opvp /sĶӉ^6}NFa'x2"䘟,"F,Ǫ&ӘYݨ5U,q;{0M[o8vc[K/$}ܣIًލ9wu_ll 2M&r}Umrkj]ƶι<.wжˋW}pyFr ޻N ـ_G)Q)@Ѩ/\r'ȘUOǽsb2) T$:0X7/OP(f2 +v:wȸ(gDE8UN <4'dOa~WR=>&YȠߚ#P:l:6]桻4 *[ N+3w='Lyl߱MOknТʄ%/2A=}$By6yA2)CF Č&uyo| M_)ە'0|{cTNX`P K3yPf!C1e!]&}*LC0 жO+/jɷMfuSR*.9Ff]ky3"+]qMc%PM8^*s/3b:Fݗ'V"ё=[,ktWx_DÏ΁:z]HņjZyK:#*xLP֫6B,3ՂL=9:+[*bHA**5@wN})X Px WX-kJ77?"aS\hJ$Z:ںd 8\9rl; V :Ѥ ){Wb%#%eѕ7f~ZYeَo t߶96yfҥL>6 6z0Y.LbOu ߃mcHl)w#2`%ހ2 (SKfSAȽpkًaM[U1$bbpmNҒR;?xE`KEkR #f.i}NPyթYx 燌ȡc觍^@eKFr|\ gy4':d>ZU(@7ƓX.h V]3|iZ4b kg.{JfiLL+=J-O3l MLXW헁C*~[?6Vzck.CT Ic"nnJ]qΩo0)8+z߯9GpEJjgaU +, ]G26C6]\S6ƠN:.)d`EO~py98ASnrCInN?Ƙ>YBߋHgkuU|EcKR#f-~ VYslX~%Jc`9#i(F?);W`щN^YnH\&V;~_JN;ЌZX}aAX}z77Upخ5/Mcءz'Ɋ( Xr XFػ$EGN?s e<񥞒ߴyA_ JDZ ^#L)QaC &; P͙p}BEiH llc2Nضkf[Zԗ~?`{^0}=ȰH }BY\\ۯMb S%l+CXaܫ4?Iu{>iO YVw9Ͻ%C?xE;s%+7BqkK UypI<{r'w.Y\6!4c_SqJ.$<^xVF?_•Z[::}Fu@X%V&cРi&0o ,  y׃j{7_1{ '!\=Dz,Ne` E$WG C+u jJԖW _#K S@Jtկ0dyBT<_J,"b6n|*=J}ꎰ!$BҜAkpR1s*&\_;)xU0gP&窋J&Nxag@aUߥt%7TrnlqhPrJ8;Z#yV|h0P@Wzho>@G弑X_͓K'&S|.fW jRa),r/q!g~S?A=AuL)UX/,%tǛfM@iԆTS :TREbgqX]Sαgj#.~>sKQ2ΈkװG S[;\?NO)Ye4A{T|%1cv|t]Jc?j)rnSB}2X|y-%~c"۹Kl%ly[Tw %c5di\1z=qend2ˠGӣT#v*R緥M9慯‹CG yC^<_++(aBt[A\s:w)Zdu_6Ry_s~x$K:$:*y€eӆmʹ[+ ߛm}֩d>йe1İғϳQ=R*LJLR٫<蝛$VZq`*7! |pz7 )\mlE9!P/eUZatD[%?4:EЌq˒%>_w(v#X"&B.cC{$BNΣ(.E'n}RSoL/ʼ%⶚i~Đaԯ4Y0{9(\:X*Fϵj TfUOKa\^/ C-D:zsl hifh}ӸQD|@*u7GY ߖD;Znw(T*C~5#ђc$52 ]'d8ag49%W]JRRxhpn)햃/TҢ pŠl"k3MM#KV(RΉpG%UKp/;jO2Kn@/'z [ 6_deΓ`n^ C?NSWl &HDrKEw 6 eΐ*  |]Ƌ6Z(Zywg10y lK!ci}_)T_^~FnOn̸Cj}7^X Ӓ%-^ vtȹӑGpH/˝\W9) ֌$ 4KҼL1X(_⓹ df,l~fS4-c%ueXq[SchЌk)l4iׂ$R-RtmtxzJKE=?k^FZmQwn0Ee7!8yAlaԘ1RLy:MG`Q]=s6FuC3ȧO:uAy+ 4%\hu>V!4խv x93ae<7%%gO쌙8J'n|GBU7] B}1;+fC%< ?_ެuI9!?'#Fu0m-({+f8ۦ2>wuuBjnOzg1!uQ2l)7cNN'1 5B'ŽBOvE7|b)xrvٶ&;sέ5?K+!S*EFS CM &-6KD6G,ILp4Q6q)9<0j [(sp^c/6Yj~. Fv}roĬ=kqB^u㪠C|-$↢7$tg)$