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  M1dd< ]% HOL-Decision_Procs:threads=6elapsed=231.315cpu=1094.072gc=141.428factor=4.737zXZִF! +]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1F&dU"K IS1 1,KtD-'S^= !{g T2I'7|<灢I+(_ w#yKW譍Ȑh8 'PE6cԓ7k}J$i׼DXɶ8oʟuVц=2GFXm L kMC2;GG|ϓsGaW8E8⨸xu?Cμy6#c'hQbE TqfsmQ47N'M;Z=TӡhW8h:ieXS~Oaָ,IքD[ᜊQvp\A|/؅WΤqh1NK;U=bj̠8NlR[ubo̔U2o<$EbEf._u.#]7GS쨠*7wfn݉iyFc .>o+A鬂w- Rf TŹrÅKlNl=#l+S!(-0Qt{0ptta; !?N;~p@}/kL  =Ph?J;\q9 vv7g5ROŁx\WMf7X]VJǚUl 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 P X/0jj@m[ ud{3Lv<`r1)ٽԲ^Nep»]Od%8^!.Vb;$NʖNaeqYSUO &y=7/2hFwgNF~@z3-~nEҘnoM=ӉqcoP{a%IN&zs^vlE 3|m V)'8 2b/x0Yux3+Flcplfio4|tw\f3?D8pax6P?8kA/3Lv){XIlxodP<&.:1A#@6ztI!$MJZV,N Ie#3OX.CAdd֗r-L9_vpEbIp(J0u#!fߖU}y,L\l@˃]YZT* Sċ,_- ;jsqcEg txp$צo2wTb8HW:6e$R:4kګCca( !!!W(3_]F#p@8KZiy #Ia" 2>_y2#ߪ;~Pi[1gZiKu vg^ 3L%Q ˑ jOGIL"tu{WB0f2P5񥄄xfݵ(5}H*ئ?)hT2bC*;?b x|"J%B{1KoM3>Cvɨ`, @=P!u/絜& ip7}[/eO7`Wx)FPκ$Maזhun=F F|v$ 1e'B8؏"}BfՃ'qiV[DsImxKѣj廡)(1$@Vܛ!BC{С2Z4řcnr%60q).iH&;y(wKfU$fڶ\`b9]:'q)2FϮ+"T{GYk x1 CED4eMJɠiJOp gg8Cmr~:s< n0+2C lV&Ț}n@_A]mϢKS+&S"~&E'ǖ5P~] MT 7 eEwy8K{\&d?_z@ډ=tI0l7EڋʃQ%&zǙmͻrZ&HLikv봎piӖ;/8'f+&Tj`Y T,,&ih? Hռt;xd("6vV̐Fׯ@UMP$AI#ggW}|goqUp'Y)؟ᅼŀ"i"chLj,nb*V/2p f¶9z,&$7C51J͌\Lz!3 gFfPX5s_8HGCH9Mwo12%=kg;\{Kyf엋m4i 0Q%>.f9x6ذ 779,g{ /pkhQ[Z)~cWr!Sj)]LI) PgbR_/lVU;=86vi-8e)=-ГeWsǖ'(zwj ڧwdSs}g 0wSۄ1)q%ݙ-avDᒡQQ8ePqL>X>t2yļ|M*Kzރ7ywo9.g,)ŚXBo@ Gn>d~:{UFY\V!󔒒OdnjZiwumm} s"FȗtV70}8j}Kf<ꯅ)(:mϜM8y3ɮ*aeu E%]kc^vUp5Rdm3VV֙uZJWI ӯAo5ʵtMЦphN #",o(@E-4Q3?O]1K@ۙŀo_%d:tq !>*%skI!FGSt/m&jLFHX4)0V!őzCUzk wJcW5C*9V2[aE1w:zLے0 **|YߐJ͆$-RpY bQKӏ}'U/n'M.mC(LVUh"km,,+]F(aWnnC_뽤ܒuF^RQѩw"!ƔeB/@mz|-פiĽ0k.?z&$ۺ }%tW\b$;kRNIӪMQ3-h-'ٮC@Z: r%=,*#K4tn`REב,UV.PX<ш*'K|%j oе*k˞ZE] vN͚Y.ޮ]Z=%YC97.YWȈp2X$ _$%LI䨯 OmK>hGo6dA5܂ ]ljcOi|(ѲG4qEÈPVCpwhО xXP)`t5O˳uZ8bg@.:.o9^xIf~d+gT#ilsBd8}؁5""բ9HjRIl| 8ܿ~pȴIm^OBw (;~èEbI4K]YH"PD$=\RTr&J8@yުTn/c*Z{euw띁m]Ă~yEM6dx;\/4Y"q-7DdCF0OXԑ 1ܦӾW@͞ ~&Z!\׶`nh8* m54(xscy`Ny3 Bwxk`c!Ѿ<( ! \O]MF܌;cN&ڹ\el:.X`P"[9b"}S 0ݶ ƹ Oyt~078*6#<R;MoٸPgH,˯H%6WWv}&aam+Y ZٞW= ҪM(nX}2seD521[sRQvIfFdxR%]=,֩Ttk2bP$zpqܺxRV|qy (Y\uE}׎FOꝅz+|$ 2؆pz /tx=jHADm" ! E'`l+Pq@|ZXt#4|ڕbFڠ+GDK|TQjjnpTْ E.IAS8[Ƨ`(EAnۅvaIC~F;DnPTmDQVs"H*ׅ+hzs7fٺd6O>Enq7QÝpUO4x:ր5@F.񼈨ߵW? LsHҳԏ3^: P4"ɏߒ7QY )^6T=uG~Ygd8sqP_\P*ϐܳ`3R{c'bǪ dAW&>0]jﻹtH*탕dßkw.]a p z[,P[ӐȮeV/RCwlI~3\ ^R;{K w7g0o]9JZ^20E&l]@_y-^]azS:)>2 u֣g7۶:"p~(ޓF<4VCH"_C])SA#wlH剻5vb*oYBmأuBNZGunJo{q\,'ZN>@)>;Qξd8c'{I'iS6Un}c7Sap}h+&TK_CDf(;i2#iaϗBFoIXҮ#[Vn\y}8:ץIP1Ea&t'ek|!ŁY;}>áXPw2&"i F7DB4n q'fY1!X7ڽ V;`ISi~ǧ<%=3%}wc3.ubXCbFrPN9en@:٥15 kaNmծY9HОM8r'ٞU:m̜Vɨi= .ծ#2M!&ahqVp"B$5_eq?,sEQeՉӓd(70Y=zrK fC*0.yqz#wbn+kІ&_;]9~ S9>ٸ00}T-c?輜[1@.w<`T#BXɋ@ǩ2ڤ9c%8/eЕ劦 L]amAA0u`H e lZ ˚,.zK)Mg6&10n!ofmh<"mryW8&iQnLg"ODjz$P8P:}Շ1ͻ'{7]W7;ސ LS ZvTWI MD@q2p|s0[@$s5:ĆU 5#Y@RE҇SU>Q  5ZxZ[C]X#!7MmD*non[!v, H@;-i ȭb<"\7)\x>!O :3.h7J^!choP6Ijc跤 tRTȍ$ꚉ/+eLC}wi]IU-8 n;,V:v]z5 F7\ gJPEHԑUnRKx;꽽NA3,TZ/cq'򠮆R8O 0;㏮ޖyjRXuV+{/uS~uX\"MX-{ 'b'!`d>9&}15rw\"NUx;,Y%tе%%oK^u6n?D6ˊؽslio"啶X&5k5'Z|- ;Xcy7X< ܌ьU rF޽~ '[@qiյlvE}m+<1RTu=nd_"Ԣg*mdvvre3Lz;?+X*  A<5eIAҨ,0@k |z<#suI,gH~FJaw\!Vy뵛S 7$H 2-$Tvކ 1`h܇`͎ҧ"G5^zUu тCSEmV&5M󒨋`Bf^HQ L4Y7O2 /C2V1) a|=3%yJ h''G C~N4#ZL&OА11+>HJ9,I .unWxbt;¿w%bn~gEc2=-_S^Z N WA4J f}?xM_ѫXZ5Hpq FN{"֌%3C5Fl٥Lg0z MčRV_5΀[_wFkݳ.sz z?($Bq'%/_\Yp8ޟXh}WU<PX% ag2p5P=ogyxqQJ +갫} DO)No#\tCLϼ!~7d S9NYjt/5fcVEcQ6-ĵ[FW`}kx0Efzbv-bZ. +j:ne.P|JX%ךzqW'̍ ԉԻ280(_gxBҋQiXYh%U!zuJqN;SEMz>$[~=LN5ϚN,;YiX6mx@Z V?灰 `0NhMjimgvwN|9T!B} =ySF1SAg򚧇L3cgĦˇ:wdRz[Uż~_.cыKtޏgR>:]-uY'{^MMDt_:ސJ%szwJS&I ~3m[A4E%N gj?lC'pEuH68m%~ qh<~ǢcMN/ܫBvj=z qOgxhv+T ):hkOW4ϋ --l7Q̩Icw6 (bO6X 40u3{o5wYG?/A+Ҏ=I?_ 2Ƀ- "t\rueUFl)kT'_Neā OX)dj่jߐI'줰6KGh&Aﵪo}|*S2> ;$Ϊ <_:`ȗ+Β{  u*֞7x2JW*f;VuJOsu %@ˆ3:2V%,OtD:]/לsl f}&0߂+-agd WS(h4I0zI[Pq`x5Gᖸ0@qo79GxL:%PNzVY"ěLbdfij~GM͇RW~x1.׶ bu} s4}ڽbb HStbڔO:Ay<8>K$L:LRѠ$[Kb9Oj_uNOp` 4da4apxZSGYNUwv["u$ͪa75*͏‚J-p$}8YOĻp3/Qތ /7u\'yH"g)C\ HԊ3N]24A7vQmkp g`(^Wi Պ=s T 57ǘ:SXKĶyVN 6t[VbT- 4]yLpfv6;J1v{9g|*=WK.ZBC:B60N6F^O軔j0eNL#EH!amDDN ٿ^<5$Te2Ǯիk)5 6 BjKG):Ha|Ά /n|U6HrӠjÝ`sΣK 83a 51BTոY*0<7VB3lDn!g{drbG۟+ItiXk`Hѫ?J+Kr~_3ػw|yYټW1©_%0Lf*mMc92LZO@D4 gY0ѰQ;Q?W"U,~Qo W&B3=57 aVQx,'Hgtl'%6ڲW;wU ZmJb' #E8>% 1R6 R0ʂRb-mHFBv`A\u*baf05j3bKRm,[* <$~D9,[::HYţ/{:egw#o ǑIxJ ~smcޜq|eQul<9*ٙ+<^0N p'-;EMCO5H8;v vXj{=}4Q7M.JK}5@%Q@Ȏh!@utNHWI2 LR+lhZ T2 k#='DZ>_^Z-KW+cX p ۶~TNt#hP{]9_oe,1= mdUvKٯ N |\Y:nDyu91qCǶpg< /_fXW}OEB28$dǦQH+hqp孙R(' [9BicAζEE'^ i>uw{dPWw~]VUqqp* =%Ft!8V[մ%-'cO"ԅylp\9(w;Jp J)7%x 9=~V"qMuͮ8(  >Y'rę'D KdcpRDr -e `=/MQ sļKғhoK0EBdBxXݹre=NΧay̻9υ1] j%Aefs`Xl`vW7'"o:Eux>ԛXB g7WQڨÒi}iiuiU(ɾHO\Rz ,䕊$mrie|b= ˄rMF+ ڂZxu kg^(I]J4lmRznȢ,)w : OX$ /4Qjhdkx[,J-*W屢:L4vч@ͨ12"FnW)GBON'NDҎiӵ4H?24;uOV@ZoM7x*>ssQbj#y+Tz0.|z]Q:(MYN[/LT#[K9% ^]J6<,B ;*iI 덷gj)(ܥ*ҁLL=o9sů䚒K SxTUlIF'bKΰ?p<oZ5)OV( kf,l!~:&@3 "k#b<jr#42=] W_4(V͹bSn}!}y 嘇n5kۙ#Fֿ8P~S%z 3r*:Bÿc~YqNyChyYi'`oz?E E;gٲ59z*Ҵk뤙<''[LmqIz?_w4&(=a䫇,g/7O]s}6Bu!{ۑ!*أF.C=:ZG[M+O  Ԏ\YAvVgо%t=#l>Gx@~TD/p$U#{:(K8W4oso-o0 O+ r@knY0;*0zP~{0Q cUDyeg@`8?=`)W f஬Ủ8M!SZEuj kKL/QAU<0^\eETvdJpf7c]aAXH!xnGV8&;Ro\ XZ''@- {$^aq[rNޫSa_4f d"xYswv06pwn {|,Yu blqR`&ƣ (6h -ϊ|1sg8_6CG,UnqQG=Ed*Ěll [hF.?`hIDv2` )3|{Um v6fԃdk_'Lvj- [C M³j8BYX)>Z㻠GZ_Vݫ)* M$axX5+~DO/9R35E\i^Ngę>;lbk6YPy`.aM[^N!Eib,):{ Ebg)q##_+vn-Cȏ@e9!k,3hR#=cZv !量fMKϯڙ3۴*ܚ W xrVXaU\b!!t>2Ls:lm{t51tr[Ai\ y鬡nb#֓GȖgށ^dlџ\&R=IT^bMp9?al6֬$O:z}< s:ȣ0 E-~ڜ7K(InvL[ݥ2#G{@}`K;.P!H^dLfR Uʕ6GB7юm=d!rMˎɕw{%jtP4 ,_;UjvfӽNR~IO2|UPI/Y{ôθQ.t~,cHPj!_GH*C*o7,^uwܩb06-CgoC|5^/1Plps;ߡ@մ)4uF@ko ԉF~؂v:΅〮) vgI5=?cJ.؞U#ؒ@@l^(h97(:DeYLv/K-!v3 TUޯOC{5&Q+9LI=A_>FԊ Mdr!|@]`A~V4=7Wjl-W#0@^!UxpuWkD.&Շ%MeSO=k2%Pu DZ̴j\:% /$M|!/`-qURvhC~aQ77۱l v3Ά <&z5LfW!~/P|s3Xz_"ղ=X6!`,ufyjuϣE_7f> #c6+,iz/ mcNb^OR:~L.H+f-I"@,-Ow'"G8 + w^0)oQ2MX:"SDj!cl;a,565t@(IG5T렺R/xk>9X|,g]‘9| XEɓ[D4oL(gl͖ V6SFϮRt"r+)4j1hrKhUm|c2PljNRBP[0]XD֘B;Kc ]lOt%4%&(YMz^F8rk6rb>0彌&L|vJ9)QnD K-\F÷HKזgu` $߮IܖQuN%> @M5щ@Z;,3@ lX´ջ[A*ݍ+ɳ6ߒ*&qI+;0'Жro0sic@N3M+ly][cD=OO""VLC]m1tP ӿzOM98'n 3.[(o5N\Blޭ^g%@&IΥ]9z;^(2:v 7&~g 8pMh6Ӹp3m~jJb;3P$0NMkdBȳw/R ađ](i-^:g5?4T]E̦mG{4/h J"V O'fw?޵{x]7qǦȊ:&CO&4W߸j@_syègߑZ,Wr#d{-ldI OBX);2SoCe9'8;>a,nmxSͯWj{(2J~u&Q1:@@xt?71ƈ$]럕8j8[k jEP*=ku="pnM޼?Ѕ o0u gc=4WwM@D >@F^~Q FO~=20KjYK*whhm\S" &*-,=qBvE)O1U(2.vEAfM1eb:^QhjE]B6םm U%ɰ?xksNr24X=$3qAwmWI Qa:W;tYO_cZVTJ2:Wޟ@srJXzt֩l& ' 3rGx`pP31.pʟn.s+KPECqU 1ޠ N E;Hj(Kgq)=3;[-:Əqj:`biOmh ];qlW KhmnMp>)^&뻶6#%Wqq2K/@Zᣧ=T6W'e_-]QfJE1凅aqh _|QK B>dXA73CJSMjrM qy;nR|G r.}j",hedV*3vbIpFO_^ `'L.N}򋔥FK˄"\ynh[Ŏ݈Qtf gk w#:9̮Y&ؔ΄0e>-uQ+35N.{cٟaih|}' ̍t5:z:`jLc7y>qv AqWm t}$g_8,1 02.>2kmʀ, )"F ?W,#]ylKOO[ϳ^EHa]eo6˙e8=< k Om@f0H.;gy@V|([{MŲ K"@M,%,񘢊Fd.NiyD\1Y ڭR\TPF r’S"`f[I<O7м yA+?5`enOƪDhyXN{4N"gi|f?q(?z`3"bm U=[їr,cdE*`+( ;ojQS #oK+۵BzI3l9=&.e,֒ W0Q(j%E@i|~$HFQa13\P3BmX:_q9/~aBFp*R&S l F\yoDg˗A}L'$ƩdN >9r>A 0 mUïI!H¸z^|$U#2$Kd`,䣮X:מb_N/>0d$Wg nq׼"ŢsŪ_1Eڨ@Lk&g'xй T~8pRO- cac<#+p3y)50]t8ri+sxJ}a7Ru~IbD{OAhRqsɮWrS\zw)JQ;:/D[+ҪR24JπJb#` FFE'\eF Ub\ǟTGwLCȏER4Ѽ-[BK%r %&73h#2}0-?L"w[8h;X'Me$kiwaFn4*08n] ds ؾ@ʼag:q0Yi8V L[Ws ^^؛' ݳU)vuYB} ,EwU'PY%#{qG(Q`NrScQ 2g1R*/> }'Zh.9 GO#mLހ>s8{phvCdRLLwC,`myb%<u -X'}>R9Hw`V7C=!1Ǔ" BURw1#;jLxyL^Ԭ!?`g(rYEV|cⰏN&(tP:Rsv6( 8UYLLhHtA}/|VѧB[—øqz}&Smip!w$REj^gIa`-'4s\>WX/q<.UC#|*δ9T e83k5pY-oF\RImȓ'uZ?2l*f u; z$̓~ g BH\!t Rb9Dy嗥C +1 6~{-jUڻ 9sv,[^n֡ٳu3@y< *s8 =ܴv^]F.6 vP1bny JhOe$l|]Mt0oAa/e^T!S|~|R)]OlIwg~U5& Ա8mmn6N-,Tv6Q64𗻺"`)-/O^3'l?pe4jF+1 9r>>Agl3p8DAVY2ϞgB#e@X9D1pW}`t^a>P0X.pр/ lOɳ* X$HЏ+>/I@a tON=-ls%r/9;DйbR!9Ww?[l>7=daRϫs]O2Qg~uwuD-j"7`8} M~#cvD1r(7 fyv'sK:ev'ոT 7FKq~EM⛊=>w:T"hz80[="q գ}S ׿ *9Kx50[5V_oi=tʛm :[A^cHpH_YPL:sHptﺏ^Eq*_gS`bQF7:? k>1Z .?,7܅2'WTiErT,9[f(|IyW}Wt72TFRKKVxQC&;xLikFf4 Xn4Z/{j+nNb--*WCW'sԸ< HڄvwN(\?G;7:B 3`A'וbccIʡ- MuR'B5-aPQ@[Y ywF#2`Jo-~!Uӷqa=^DYv0 `Ǩy'X_c UxMHpus|g3]K%8X#E_ tx΀5\(6Rvi  ާk"vyn8(F2fd|:5-x٦tӓ}#".)HcWUhy7I8UZ2M2T %'|_<ǟP$E9 !7@.Xو{C|TL5gc&[kL3v ZL2:Xxy(ګ`AWHͯ#ְC}?$`%X7uŧ&Q 5 [ br^ YZKgDSȹ>)FME%w(NBȔ:ODYxÞbEd/#Yj,Jť0*r ٮg%q\O91/D4B+PFgr)zB;:G y &o73umZטʱ}6׊@pbR.DLO3PaM[%aPYeyAPOkn))vƅ:v'%`#䱃,RSST+=m`ջ{"% )ˤw up?4TXIIẩ/yz,Ӯ'"Q|#׍%>@2:>H7& vK{D4d;ŝɀyG.ť$Mh0!.nѴM!s׆Q74*Ů9)(w)zwd$1qij<wwc{8)ުx >dѵeςr +ȴ[G|ÃܴʮNXKsgHfjq[Ю䉦 K/e%q=xgyn0J~m;T#;Ջl^N^^3OɚQr ).ZT N:jvz|K `eaz?/[k-yӭ*RdT]g9,(RgFaZCTIYsںst/1k]ۚn訕tݕgJ; Zax( a|l&{m̼ګy-X:d4yDLh*ڵiy{xJKyN ]JLR<qLCuI䄼Nk]^>6T҉+z_-:hhγrیs-yAB9z6%,^ l<+iԊQY' SZEcki:,6R; "O[D{ %AL'v=KuvL᦭ bV8SzhUD>iK˄Lh+E^g/?;~/Dl_jx]oEz\Q@P%V>4&v+ бNRaOÙjV_gŨsCu4P"%m񡹏̣U7xjiYRdRkݫJR)UЩn%,!?lG!^*f u[},a7[:Z<^WD}`)b:(wY-D1G Re"`jˡHr 24?MRKS[9p:=>o lU:vSD] zdh+ש"Ǧverd")pKlTi2m )쮮:(CXV,;eJL(Қ۩{JSpxm 59csX ɘq{rvJZ8U&oc/Adz:RF8<[2x`iy_݃eK׸|Dc+Z#-#brXˣ'2%:pLԥ3\|0@"RW6 Q\\A{etLJ:d2YKNMA%&bhF S:U9:g'/HuBL g( S9}U9i4jv:"ͬ⎬.kV-usb Gc,f+yJBRC3trDF p<5=]V1Yʸ%ML39E 8}%kd4To{C2X5oR]-_,' |ṣ|} :E"srm=P虣 2.Z ʐLϧ,7sn'V#_nwa(ê|t,Х>U&2߸^ǭQ{2,oB~۾<(}Af1 T gYZ7ea8b4b1cc8cd84a179a743a4d637a6ea5976ee73ef6c9a0eb470e4693e1ab85852721e78e1c146a f550ffe99d9ea6d3907e695610a5094009d15b06 91b9d88e00ab12aee1558ed7d5ea87a44009d22b 2c03974d8ee1bd0862819731c0fa31e5db4b39dc 2f7a4fd8bf5ed2530573c24eb134d2720c4e453f