SQLite format 3@  .;  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  C C1T\t ]% HOL-Decision_Procs:threads=6elapsed=224.008cpu=1071.696gc=126.244factor=4.787zXZִF! S]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓?d)UweTs0WԹF( q"[w )Il+gi s>g&6&bמ_U,vڌՀ#(VV{|C=1%?Δ.ۗ뱨K >tTDdJ~ F^}8\˪6-6A.\Vb|6E:j rhgQnz/y_P-Z"r {y?x9 6.Uy޷j/ڻ.^<[T\Brv^a/f{~sW[ڜn|*삨9^ĽWG O,t6ҷ=_FkN'mZƿ֭$J6cCb=R %L^ObĖQ僲r^g BtO4M6M:P 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 'bQBEЫyRrp׈l;Z^\Ȱ 8De f#! 'KLK*zggܛ #wiuoD2D*6q/(  {DSkq;pu$=@g:x/yef"AX=ZY Ka 0Pܿ c-:IZ[2ޠn>XfwyPq5&5c fǻ27>9T裴rJ_lg83]~$؜=el&"%7z$Z=/6 i_/,P"I[+ff'R-o 4E٘gJ #c j E7iݔ$vPЮX8q7=#۽Uȇ$EO rvȬZɠM|R*U[BvF̧(6X&1BٌŦPlz_[рexq{~pQa8*ѩsAhW_0we"IP Olg+ )xM_Kn揱ެ?AHp*^fr(r ﺦ|Cb'|;$ FV:+Ic6<ª '֎K^23c$%ۼs>g5KګW9o\`ly b"ٺgB9'c5-]sOWũ*pdh/TdcXop@D &0E+Ⱦ''ԳaIn:+ѣm ɕ2dv&H^VK$?qɥӿp>eyB 2 yEojRIKOʛP}[gĚ7B僯Dv8y[ہD0xG|ُk vݙo 4}TC-^k/ Ǚ-_+Md*|>ـ2{ޅ9.-_^5VN5N$7wAexXgHi:^@VUgoz!$a1DLYDRE>h?y?[̓&%;.`C_ˎ@?f13: GZy݌L{Ah{wMW)AL[)C^3d)F Xf hjnNdK64 iLlUP9ȧ k(B_SŰsi"-0 QXS)1nF^, hǸSҧ6JҬvnkhVӢgwPnتrd.Z G_רqT,e<&2{a.=0땡.`@CosޑcI#1(Ļ'VSWwjqY}B3-ܣgɕL%\7Fv1OS0;(g{$.3pw Jl[2LDX} vZo[{{kp$l湙ןXR*qMG\Np.|KΊo9*HMp#1 ǝ773n!Ң>|Ψ\b0EYVĸc"}kn̺Uz173躧,Pkrh`eDddXu9 e3жқ}CTw4IP߼{?G[:mm ϙ{[+,?O? 8)V][TCnL&{X4^l:j%F޵Ief+?t2tp6(kj:.w^0(^eT0nZ m,i4557ءA+`Htft8" =~arYsoV!iA ;koZ 76v.-w״!Pɷ| b r:L?l[ًR١p{丂38Ocm9!5w'̡4כQCwjqtWڦxcLëÖ@XFdR'HiN 6Zv6u"im:*N+3LI5],1կHDW@R%s3>E-Ѣr];:ؐ ]ZBmvzٹ'/*3*K,A oC+:WAYAEpz% ) z/KF!BLh+e@yRVܭBD%%*䋇 림ӠiMH9B> 4=*M9|i.ɗk mGS9 Z)ED.\j*n 츎{FJۅ1jOU"38sFkLVn+)Es5ʭņ?.b%W 5$* nj#aOs"0$o-b8g/nXBe`7AZ{up c蟩:LjҐ&ihX[;Z>ؘkԚw C)oi@gÕ(~U^CDFwS~=sѶ:3 ӽ;nT4de[X :_OAEb7&dV4$zF}7a<6Aa<3eѸq#_{m;R2E턫 -N<9k*Q.QQRQ^>%ڟiC:2h_UH4}t<)vt}@ds=gb [&p*F%Oo"r'۴:^yL=*z{qom^ݞ' so+Om;o) b9[#`H[tN] 7lg$ QDA^rm .uÐd Ā` R)yp9P2^3e-h"dfW/WBoU|ንda`Z<%\qpg_Cɳ[pz~x믖 kbl%z,PQUJ؊Ĭ)2ۣ+][>S0hxTиG9(*nbϱ"auьWg2>#  &,8X>ސyx.S=Ax:_Aug *t s^/WLw:#_obMX/=4HdPlE}нɝ +p ;KSZgK:xjD<}Baۜ#Ĝ[w6M'Y `?H*=]*Ϲ #zL(-E $᛿~Ҳ%لlp e5R]`Ъ G̅ztifPM8T$SAARzSWuxG_0BxZ 2v“Ƽ@:73 NL:I$Xz];֑^JqܰT&P$Bz >牉'Eg@V4=6np‘ZfLidvGYn^UkT|x&@|/Le^KfF(u~'frcԅ#Ȟ?hπϗa@ LlnNwzD\ݨ2"-W(X8-^? LUnthc>P!Iuyi8Ҷw:Pr{w1 VAId ")gaXPPJB%̓9=6(N*b*z0zvjrI;|TR^zqc~MN!FP  "ljiLWxغgredl3UV? d;f]4sa@n^m*)APAut(>TRfAK/3Ԙ5ʽ@ @/89 ;"(I>9D*DY*l)a?l"Rݣ(Plw9 ٛ?Cl-s) iQ$IsUi>0շ p^X-l\hYb=L^qPiWU#Ǵ a͟(u,dXXHνns!Ytϝơvb1 __P%¾=/:o AEtTV/IdC_Z63K?|Ä͉kvJ+옓_2% N`#pXHM֢@ضGY?^ktuy rﱀr%`S>TiĚ`w5 _t iп!$adC?-xnxa;`SA6@@Tu66j!ƛIaTb0@oG:ED^'ZNΜSù16/ 3u96%h3.`}~k;;y*Kr6_'蒕Zqf(ѥXd,4{tjO4Nhi'{QɎbV͓(y!/vjR"6,q C2ٙǗ]^(aeĴCt +hDDy˺=-̛CՅBPOO:Q|D9xG%ʇ@HLDkAI^,~ʄnd=@MїLשw% sA[7!)R_X_V0@RCNCTVQ&+3kbSz]ДF I3[F\[] w O*;3J"6n I!!c=M<;>pB `W5z|y)y9rKgO] Hyw,BL+i,fEW /԰ gYZ7zXZִF! [']ŗXiɟ17L? KxlWP8SաM~>fٺdHl-uEzޅ=P*fu~7K¦H`IDS`!Ƥ[ǃ`#>-JKE-r$k/#YXK" l>12Ϝt), Q$m[j3aƕqG.,mMű5v#Ŕ&|Lr5"R-Ta'Nd @\ X% קFw;ЧO ["};DL %)zVd?[!ɏ{Ι?we:Z=OE^NFǩo)XrjU匪FeOz:ycwƽ?@cR#z*au4t 5L,.u-;f0!sh{h@'A[ 3"=,5DZgYZ7zXZִF! aF]ŗXi%J9|[Pѩv _y51(W^,hnM M0X ؝wU_ᤝa"+krX^o&>Z£cz6]+W9??@ktҮq@ֶB--XA\˗"pG1!|}RT܈{l_*J؟ʲfd׷_ ~(;Wz ^mEC#ک ڮhX, vZ(޹GɀӽOJ SA9rPepO9xy{a͹/fr'QUʕ$Wws$@^צVT- y AKLǍD٦gh/ɂA"% LdH˨IVBp@rkY`Zn޶(S ȲYOw0rT6rӶ!%.bm(KqRXpW9p$M'#㸰&&eCМ8ݗ|TO#}ݬ7}mb-q}pygu߷ R2Vx1ux#hcGhY0`RR@wfڴ$Dum} !V9!kr΃U$ QiWLWv3U\(0C Qz(w#P+X6JSi*ГbMt8VҢ pZdAđR bP6#j1WDbN(іp1:2\w9t^Ap 'u콱 䣦zם!v#6a?~nf?JlAtp{B7O )o[X`qDopգ4P& DCe(Byˮ qr~䈍p"G oM B0W [Eʼ(k|vt4Y%i ^XYԘDLOm.;4Fcb2c W3I޸A{ g8 [j$GOTL kd4ozc-7|7Gֺ6ɤJSW,!SFjFYŎqj^4'"DB2ߒ? @xF+C4TsNs}bJǼMT)w=b!TCDZ7ԎMyH(GH'ː}dsl l7%i/e% sB(Gx;%7ʇ Fu\; nq_[Eog(\Q-^X V 56cDݷ%$FoK3\`ỹ,]6tbNi* 2 P~8loS#ӣKQ)CZ/-wڞ3j*n:p@#FES62|n\[P9 un;Q*˞m&עe!! *^g^ț28]ܲ|dՐ0tj5`o9 /xPyF)8m)*^k!֒NA`1eI^3j.LM`Pc9'+,e%0 <珖ѓ-ؒo3A6G!\0}x۔m:fA% &lO&~Y8iftX+bgqY\qя$ʳ'i8u$Uj1$:7ٔEÝҷuIR1͎id²ǻxlϣHqGbS2Š&6[qYɂ]{qzbB@̐l`hWF..8Bj R'ݭ8? SP#oVHQҖe,j/'7rdmU/; H0~皯SB y]oV Tr n4">\@ jċlZTQ@P_'9Ab腼+tdM 'Idɓl3`T,d^jy0{dܡpQaniBKC85miA~)1dVHPO]P2/U|Oh*F,e0[NؘҟF]~}P8FU!|= LeY.qT٢Ny-pWs<C do[=35t,dע54\<$-2BNBYy ׍0"}]n>\(v;=[yKydԡ>-;s] H64>5]8ʞ(P 1tebit 29VRE@'CZ@v2U7Iҟ &']5dcD!}Ij گy{LN*Mfp/W"3K*M C%NmxL'8~l|Z :PCVm|űo]A+g*?ٮMR6IV+7rqlC+` {ړK xVU%ap~)R_ncHvMBW0 c[Ы n6b>Жڥ]N.ǻf5x`H?5 W$<+;y:0W)oYoN띅&۩."ΪF^""#2o+C PE4xrLa2)vSe nd"碰?.V]OlEZ }=ܞO:BLwOdhYjbF`t%Z>-]phZF!yΩ>3)qqU˴({浵yT?}1(l˽B-5;y5&?lT_ Ŧ9Z_۲WQݙ:k/5_Q9CT~+ϯj*3y Th\V5ȶ'Pֿߨͅ৥<@fÇ$ώ!Uf.e:C9sҧFA 3ƩQVyIƴqp 7͞wP 9͡rRlz*h077'kϩEdXօϮv9v:"sS]V@T2F&7h\7f峧6%~WU9Ω+v e@V{pC ,uHW5pd&g0DWdn.3æ_@tuTa:Jmbq";0m L)QξG*dm&Oub|).iآwVԴZW/uEqBfJa>#MJddM-ܞ2R ޭ:H_k/mØkPdTtFo笩edUM\ClڿW0mm]<9ʍoZΤՒx=7e&s*E e(2~_ hҚ\r7]d9VyrS3euaVDA3Q$whәQ@Upb==iWV=BƽvfԱS†s(PVrjʠ؃^!J)cQO]ЁU~$"m2Pʼn,L.hd\:ըYt(QƎ!Yb82g CU]Q7c68$~1)a^џ&W^U0RIh.Dn} XXƳF:972NƿCv|zXjToFx|k .k' 65OQv3+ltniZ/o+^z/aq?0l|t Ww%ES2Z9 AEΉ_φ!pL'(R˝58\$ӏh{FRV SjU{O5k)02H'5&-ﮏWeAƓԠI5`lWWx_im+1J89_/,%a| FCFx: ;˃QDyB3F/FCbz) aV\`u=Z4nNQY¦$7Lw) &s,gJX@s=YoeMG>F6P7/jF#VϠb!\ʿ!LQ;2 ʿHHUb8mJeRle&?Dzh~3pJieW ;c"/~ UߒD%ja h",.!@8u9u(ݏR*2ӞaQ5;0͢/`#b &k< nPS[mxmDUL7yt\ 2M-T, Gp7*&Z".$\!U{{ ay%,jB"(Mω?b΄A*Rpo-oFDRlA}s/ԫ]* N4 bS[`|*֋mh}Ӧݜi^OрjMt4öO1v|w 3 łY7.leF2 rH=ҽk}"]vu]ny4#9h%$)kܳ]l*iN>Xqvߘ! )D[ ld U`"d/!#IjW @gn>2g4JLUG\E7HwWcM1TR ]dBiYB?lE[5Z1VsUM9gPmҦ!.~-`Z|e q}^6L*\)ߵD ĎpM;έ %نxRMo2DZ˯UwJaA9TRY&;U:f9AAH1?T4qdbu)n3m`vxѬ;J@jZj!;bDEak8 aDhlI*05 7gi yw<*E<)h+qnl3 >%)aT@{fYҗ}T㺑FG޲o |Sapc-||s%a"0%IhEd44skQ#wD6k95~CIPaʻb| %F';_i`}3dǦJG.M nBznkw<:N{C79Ot6Ap&gHO9@"F 8>w΋=!ڰEڂS$J45bW ȯ"(&!2|j`?,@,udtAt p#RL) lo4܍ { ̇gC񰗦;9l^Gf/?-R}ύ= ) ;K &b89B%mo{_rRI Q,Hͳe8UDm]vFz"P͘kRdOP~%YD@{\7ۻ">MiTKy 8bf&S^&7*&U^I_e4ō?n kȐ ~6_V̐˾p7J̤T(/9 +O꠿&?̂//L8iz,u2(VAeȻoQf;OsMb9`v(Jϭ6%En%~YUX编@o m|A;xc(zwDp2 @e 씉ǀItfj:E!NܳQTyT@/e$&f; RT$$YԕNtF06uz.E4g)= A8 JOY/$Lft=-&+B]A0>l~uF 4cpd˓q˹q2,@u.R &!d#  *I6i\u % <[1㒫u;d&y;]*BSifLKKQ~݆.mcf?C| jk\ϺѴ%B%sخ!kGXĢ.9W7)݂4AElO&pT5 =Ϻ69gNQܵs\1}B{ od۟DHs{%uf$sy2TUd>i[U-Z.K#Cj[zL3ş!QX9d@@]\WhbC<_#!5c5Y6Wŧ~Ca ;H2|?PO,"GjXMo \L*HCo1x5 y ^] Ŧ;xD}F.h,Hpо5\pg/UBw0(xYyqS B(]^4(&oZ1k5<5Yhr$܂7xĤN=Tnuku.J0AųZ˒nc笼$9*gZfN_rIUR9 3ُgHf*3-hoyV}C&L%XE`|6{%V̓Y`)Jv456oݮ}aE {Jd89Ϛ0!o*Q\h`1D¨wGssV Uz,(f|RD I)dVqd-j ^>)`tSw4u\uhxs_ga&t ]+P$fR>`ߦW{+-ՒXeCEUfDзcpGQ/x以rB߷!#qz`ky(U,$p=2Lחƫ;}g]H v%Dp@Eߊ۶,X/ HУi9lo΢QtEsŇV!yP0@z$So 2fs鎟dеo`Or_nq cV;ӟd_n0$q">+yAr79WsjҒ} >)^ MqȖR(k~m"͵/f„38Y9…>ȴP;m^zϔJ:&Y91Vה_ 9k ώ΍ho̺Jؓ`R'JIץ3_bo\zߍkLbY E|&Ρs/|/g({讎QkձE@xJ@) hVyNF<_tmLTXo ҡ}CpұJJyh |Wl֣gg9j29]bBȎYynƕVsX+e Q f5"=BKR:/GOe r5 0(*ʂyYso# % +Ce7z|` BBL)v@!js%gJKf%}L 0<F% m<¿ϰ<77 .[ [o5g omre IO>Wh]|ʣ?=4I}lGV/`ñ$UCYk@,C;SׂA9&bŢĻq˴/H5@5+`͙?|c>։Xkv [():D7yī;ʃKdS3b˵I3`?oYWհmaN^ ~n)LJ*P@3LbVl)@ 5}T Pj[!H LAv?^9:SLVTAăvN=eA[N/6_*R۽nA 2N.nYNI?eZS <$`0Q=簌4[ C)AC.fYI]K8w&Dzț=Bz1@05=)Pk3)9p&i%a^<*Sn:Ze&fwS.(\^UY ~籎/#}ܧ-GHآ (cY7(b^O$XǗr ]m[u^#mD !a+R͡ ,kp|Tq0 h"R<9@xǴ(!TbaպZi~1͝KK͖!ywϹޤ`q(Uu-Q%oMCcMQ$[em"'PfqJ /?Aj( //pzEvlR.[S E4+u3Z@^Y0֑i5 94;)eSpjׇ ~Ysk.iT=r0@<} Xe֤rZIRcv֮\k}ЖI b;^d©O6@2$9"䭯_mcn[Đ sA zPwrݲ S`Z ' S m(H#3tc-Gc Qg?t"/(Q9O4<%M}4KkN]h1:"XKt<ɑ.,rVZcxN[Crl |ȉ,}.ũx"jr*m9_,'sy`Mgh$ @̕/Eth_zIe꘢4L.\֔ "K0* *Jh>ͦ5oX%:ׄOLp^?ʝIA((8m*LR MZ+-5r/^sJ_,e @|B[A̱g{Q 22fqPKjNt=`%ɔohgwsTYhMHy ;VQ)YظIU0ܽ4GNEWu̓F Xw9|HU`l+5UX558jM8*uW0GzC7`,=mu?LGdxh." 43'l6Ft Rp;6@uԽw`,BԷsy?f_7ً>cy8d4Lx sj+gb~"xgrí%uRQpEDRra=gƌ.5b+~ȴ4F%2FF0G%s=%-}%HyUIgsm" H IxNepuoC{yuddKC7{Ne`U<*b2$x70w7tl{uf"N~?;]= ke@و܄"9Y7;wj:~Ċ<a;Bن{2 (3s5SUŚ݅rֲ |v6oM$Ty3_"sl5eo@Αp ccLG4?%@anv#)}75꾳^Bߟ4ZMPAJ!wHYLD& mA19]`TTV}y{4uhѭVՏPG:pf7|P xzΑT?*e j@ ?7l DDQQeͮ~7HpF9\ApL>$W Go(p L|L 'fʋ^0и@:BlMG`3s ۆj0V_0j7h,3u~y*_Nm"Pۋ[w{l>nt &/w JZUYCϏk5ڴ6* oSݻ{(cȳ.4 NY9OIQ0F૽\P0壙U vFF&4*" vG>bED0p'bġϧ^VK pU<}D=>whU opXe?V/ + m07㢈cx7y;0OfT!~"AGAUA*td`OO$})?0tbwyhU(&Sbf.{t( 3u| uҤMKĴIWBvOk7E); ۇ9e쎱;26%pb!0&`|]]`[Tb%bfOi4ffclx oX O!l74J\o`ɦXg*Z>( 53tu׽f+_h=M=l~'Q%+)ƬݧGuSao%HݢoovQbR'hʓ ܯa̦s\Ii&1ɾD׏Tm; w)E!9FJ{|;:ư(_e/ f1}PGg`B5O̱^ Q /y:feU0ݤpP*AGr^X@%;_O\ּ-|XM>?XH%V%'}G}~8NB+!ej>b;Tjz ȀRGV6OLRGD4RV843L}t΃_z(R}c|4[$aFll)[SWj*Z6%ټs=N H 9茭Rl=683 G۴>&WR&?κHʣ.:q.N=} dۓҪg=$Q=֒UsjU!#dp["wK@RQoIjMG 9N`vDʰ`C<6<ٟꝱ-?>kx @cT9{v1~X`RVfܢOtxt`F37TU(v!!+mHElwȣ&X[הo @$ f (6Pwօl/E%O жւ=Aԛ$%P$1oke^!m;elRܛWlnpc\0QEp-ɦz~"_aB֑D8{JXL[ ^w@nӘIL_F2kQז[%$&K!Dsiʇɠ%'lodFjL0B6ʏO 14eaJ}wmb%!qr~cR#ps z@K㴥ΈMf>tpF9ANtҿK!A[ghǵk;E ŒDt*&"XNN(o?a^`0C=毤5PBJ`uaH0N.oWNDǂ[0>5'͊:n8DRA'/yxbbD2L-]SAA1~iD!~95`q >,"yT?fb&w|#n#{%\oۮ0.8E]Kfe5|w| )SSu DNrD4`$%Xs:#^(mJ1i>1ZGSN?P+ݹ0^: JbDV~>&M .98)Py49]oߵN[f%"8XI3e Ksr={jBω=>֎'5 fIAP^yGU@.Ѩ TNuA*Dg9?- 10Qwđ.cn--]칏+H/t=E]ʦ2q`mm;#_6M S<HSc5#8XujKˋsAk((N}oNB̋)mgrz $ir#|;#'mj*ܠF l"`CXG-xh(3#ϵ|srͻA' 5b :=mhS~OypCl5q42 OJI8(oMuZ\@rux#hH14׋;9S) xDp m6X^A*RnvtIb]'ZNȄ pRIlIC.;Et,r=2PJvџ#Sj}m#,!F>%_O4Wkٮs3mwۑkiQn_dBvr6Gr *}iot=C;DR\+UO%lllLW3,؜_PX_o;Tt/ͻ듢2lGAL>3Nv} ['/&B䇚Mqx~Y+ 9.S/Ŵ>횸ʏ(L|%o [E uqD2B`ʔV;؀NȀM3xH5Wv)yH9Txd?诳~VxDN8B[*ҋY>xi$9ЍhT _gYZ52845f6f3be60b8ff1e3fd5b91ab48a1270e4f00e0d216aded3648c584893a197547a4e0a95dade9 4fa8faf444b48f686c8bc7779a09402ae481df68 5b8aeccb072fc34aad73ee1b04b4d95e4c76651f 5b7e5a6e4d7544d6b49b635095771dfc7ae966f1 ecfae283d48a3f3eb70de8b071eb3f90419c6202