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 p1~,|< ]% HOL-Decision_Procs:threads=6elapsed=236.090cpu=1115.692gc=125.5327zXZִF! !]ŗXiɟ{m+m ,G5<}wl_iyƜdKY<+]e6&0{Gxwsd7GGW!}s/ OqYBڮŮUյ.ր:^Q;>lTWq2~I' #GzکD}0O@MYݛR:df[u--o,\)=k!BzW_Zn kZ@,˶$]%8 2뛔K`,*@6 Yw;bcyż_^>14`So,p}G]3!l\Iaf3u~GiN6}ol"S @4p`JW$&IPs}kԙ {;¥y4|ȑ^ARx~]sv'AmzV˱ݵ *>=@pwӁ0[y78ŇKrr* o{y[=%qt'Y3%8&!!JQ YQxUYy~cFb򕺳ht5?<:ϩN֢m%h x lC*}"\_ףTNm?I8 ;eYsڐjñNEu!0JoK.Cv@f.E]!c=F7:!D;'f'̀"kk&XUmx׿ؚAdف#er4(Q yW.!7Ì\R|[P`:i87)⢘X|1<*#1V 2@`Э-K@'ȶ܍lj/A_bo"u~|ilJ1N˪\F7eM]~'iѢq?&X ] q5nzWA^vޯzDsyd*n'/Azߚoz(Yʻ[ (7xBGN 3f a]e 7snSx _i.Qi 8}sb# 6 v{M*Q¿#o\5f}5 [@wCO]lihd̕$[L='qGLݶG~LC `m<1C { m&'+CնqyK,Ը3(ƽBqUhOJHΪu[~M"jphb=#G\K$L /N,d!|'`sje0mibN&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 SAhR#1FW<ܸӶ򽶍4OkV7n|UQ&i3Nk P%' D_[[(>$)G2Ȉ vVJ942}.$hPHl˶)!*gz]J2X;Ɖc3;I4\R}t"u u0IkVJ+aCBb0HuF`j4=)CQ|CD(^7|H jenD26d w4ubCcSp,PX3 .EEI&17 RHښn.$$Ӭ! w #W5O>1f{?5T QB!:HRk@bR’%)a%Z?$1 ;~3W-[~Si`uaS x=& áp%5D!A ΧfsߓU3(iZcŽMfӀa՝|L,B,xfyK5Sy aMg`Ob""a`é*05,;sPwu4k&ABWbѷt2T`.(QK#AUEE7d1B ^C1/8 տ,5IB{~NlŃuTaTFe_qj7!X=z%,Dk>FJB2p=QKM[e95v}HCX-K<<ܼ c]a%c2eA>.t@Z惼ςxkv/({Mu+F';1 #ƇzՖꍴ\/ n5qKuF@`e?-5 Ȃ\S]"^l6y/Ye!]rv Eڹeo푿K=7&Pr _OTK&n7N\뚭q7j'| Rp"K8ɾiޚitzDz]4@Cm0 Ѕ1=t,!cf&rBiºڜ@ܢ0HejK"oֽ;SI_%wG駉_ceevv}g<$ڲ./HTcY4rӏ6oVSϏ*f|iг,?}ej/]cƿE5‡#GPN7͙#_ cyTWjh C}{ۥ00(/b$6wXrA0u_L^LuNݓB B)}Imph5lQ+ D,r(AEF]-R DjD<$n#w50hBDH$s{Ny<&.R-U+U 4*)%9jqwRz{~] L $# HZgK"qKfʡC %l 2kCN?QbY|C4m7C[vy.-.=-Cz7QpEvj< 7qy݄kZO)-wą _,\ Fjb7HtpY[%7_9MWn~mk%GnV+%|8FKh;e@I:&7F0޼8V]P?`J ylX~#83PCny43J~\!Di1 h4 b=r)tHT ބNQ`Ҙ2A- ()#ǯH4 n[\WAQtJ-~lqw+\vTlGy ;I*:Nu]&K,b"f^Pp> Z@] ~ ūY-b[JϕWMcqs#j1})pq _<K^hPܝ1ߕ@sE( ìڔ\oZ>Po;$ t4zddB )9~ ]ŦQ;wP#h>vTͦ$ [U1 WK?-4ghYKjj; %`TJ6ps΀u0e*99*K.|Ke M4Lɷ&`DWQ_ˠ;vFŒb]E=?KٯY採#md}MWHxs!/  )e_EP7[u~O;3,~@38vZG[ x,g)_F:]">XdT{ɳ6.e3~ ecXF~Y]фx%s?Ƣ&Ʃ.xaO#7$1T;to.m)%fb8V~5u$E匂\#)z.&N(3 N7a4g6 $`)khIus6y,>[hxjT؇.(7W6BLWÞ|eQYX^ ÇU2Q ~^ HltHEC`|]﹍ǣJO2q^+FEEcEe9j|UO \?@؝=1bMn ҕ9}mq|紬'忽4Zt)̬yCI ~ Mk{6b;׾܂cw- CW8oξ^*QR/f űr[Y}җ;ړ@MWμt(Η L`+FK&Bkus36Tn9XΨss&5Dv܏Fgk9ThI4%>BKצv`_9hZur"k|`O&τnO*Oӝ0&%sD}Qn!NE~5P Fxjk9[~2}r:L*LONyK".#˼xjC.QBlN!'K(nȁɪJdED][K20 vJch^~$`y'օَG J536& ~RTGY f}ʺ2ICF,aFߝ\}F} &;4(gL0G"kʝNJw-aHRlp\Nmx5+1FZ{YnطY5]D~O6k3~x+/eaXWP @oKR]k=z\%Fԍ: 3 &ũXu"l* ~VheoȪ΃*KhK~9^rA˫{Z\)J,ц0B~/.LK҃V,̍QsQ+G">aw2 A2!u5*fHT'o(m-sDbINS˳퇦@_gE u[zKA`o+1뷱gYZ7zXZִF! ^6]ŗXiɟ17L? KxlWP8SաM~>fٺdWa@”| 4Տ[Ą]K,af[C5rrؐ..1]nA P19^. s!*A0R FူAzAp'b4aI¿o6}BuDK'5}i>r ䷚}w~P$XT[cE7̚H ^LdwhGÐ<@M?) 3kT8_H{0tʥ'M{/G˃١ PoƇpՖA4L2_\ЮaݷBti-3\$4@\,T"ԫk.0c[–V/.C7 7HJCZPuŖ܅l٫@XppY&u34W:;ղĤXawW= ؓm4rdUGPh3XFkVv*D.}㒙dibnΣZ4~VDdI{ ᣇӪ܄qQ''|ۮv\{aΤRlR2m J\T(C6.*z:bA"oC'q%< ˑٚSliAxdqEy|3CF#>"+Zq"ed!eл%n[3"$̤\V!3~%ys!x1g]j>m~t)پe l"KٿVf`j!QA4]j1=2P oxj^dc-CXE-ʸ kwQpշOxp?ՒȈC+f|󲷓(ND >+QNC09)V@Vئ,v>~4 F>T-' wkp^7(h"|ȉ+uf}xe˸u@TM9ʠ:"kYj"W0-.-H_~._E' kmdyЬgdFxkIݰi|r TeJ]ؚ^ 9-K8hyeLӲfk6 K$?`w+\¯c#N=DrT#%蚬Qp.\7ܞrcE2"GjΕzσ|\Om& a% {>V |g_*wiR+"& `$)&W_tmnmO=-d!£3b 1e:})T^Zy$n/Uz(]ӓ9~|X|d,P}ʍ~SB+].})&/vZ =d0{QXC^"IUh}S $dZ}Zd'UoyY}H[FQ4@ԗe&<p 4> ;gn A-IPEs#p[oBjkV/4I4uN(!Pq~l*RVZ&KRG? +]X;&Un Nqwbh}v/ 0;a_oDx x\%$^S#sQuхB/KM 婻וv Qѩ.WVCW+0޺<}QV&6R툶.4 ":1ޏ9QyrHA%C q+OIKYWejFs5cg?]8XBLJO+4Dm6%+P rpxzBH2]陠? ^: cF_6oi3+BYBRoSa!=1-ʌLށ_t2Fh=_(gaBA/X۫Qq5GOU0N0G>443;!zi+{Mp*e-!Wyq4 :#`uVIBZCH2 $dХ^1W4MҡAf\ߥU['_q_Io@4Nbf4r=K`DЯ+Dƺ-Yb%?~ r"LzK" #U3.ŐF5*zDH.0m{o 䡢6MNt;m'gdڛȽ% 9Z7YM0Fjq%,^,\.9~Zw7j] :9qB f ꆡ-C_+:~R;è!d[LɎ6p" `Qk)dU"T샔JYfи xW[Nzfx)V50ƹj^1,Back %fwdj 5UG=A?y+f3ŷ1:(>xwG>I"9mWd2`MR[M[UBHb d]>4 *wMJy'4YeMo̠ʰD'ذbZD V[|,=j˄zńH@̪d1XWA3[~@$;7=n4a8"S/Z 1تce'B@(/9+YgLٔ:!^%Q0"S 0a\N-qVvS Աt> 6^C@(?fI[ǯZSuO1v@\ⅯDae z3c,$;aCnB8 ,N|WeB<Й?juBOjTql^8B?gYٯcW(儸]`I#(Ey$?f$N/}%S b5>6$My5~ekB7IqAuTb:28v59M85z@{;#FK Hg*^>iQeOB Z)4!lTP @L0<Z5$WDM4 \]6} PD}߃+_0ȜSaDB-dc!XB\/f3ᳶ2]DFdک֎."wk x&U''b'Ho| ĵ 4ܞ*:mMwKM[2i>ԀiɈKqr\t]MDީm.P Fr})\jt>rA-˙sb2/0Y5_l0/F!OqPmG4! A)T`SY @P>HM w[feQwڟNL΂omYa"6餺ҺAhD56Yv&cq&bu%ݑ3wC|SҾ:V|t#dyjq@ tA=`y^/5Vrf٫s~,CE4nKO5ieBoImau2 HѪ&nIIT^mh%gVsEu g+t5baPgdo>: &OU Pw܏:Vt |'I[X,Wjvts OySH>$Ȥ0 Ia'3Y@AY^_EMsygEƇK۸/"ՀڿFf|A6g\O6BfXZGԯ#R򦷆\rﴠv 0g$=Ved þ~2I ٽ{lܰ:(YE=t8vR*Q3仅xQ*I촋BQga(q]ϵx, e',qR%j 03RAdBDjQs DK#ϢF&|K;n0/&1QRK[#GX,Y|<'&$H1D>\0yU+h)j:Ѫ^$Z&yGwL$αx)P|`4c=̴@f"Eۖ5M;wP뚍3n@ժ +?%(ռ h妴 w\RmCsI4M"1nE}. Bl8OjG{9R^8 G8u(TnD=s1ЂN4 ǝu)Y3x,sN=oz7 8Ζ q(/Rfz P 28 /7+^_cZ^ y#u&zZp;keßξqrܺ*7UOS/m؊17+q#WuTf0Ȇ=Ƈ$;yhL]J6 32ƶUQŠi8{8WC%ٟ88xעUQ3]P:ezMFؖulNH:Aa\_1 dge۔g/6Aܱ!"ﲏ@@>%}o=Af*.BE$B}a͇-8%箮= QQ ~5q)t2&g@{dYMAiy΍emE)<<_K6L%P墡W)n]q}~X\M=輸Fwq$5]SBo(#P4 jK҅LͤIq, &xLFLJ~ /4XCok <B Ij+gsq':=GmX z!pw-oQMW$AɑjUʅ]"9bIuXH!3 ^&MB>^vZh'ȵmIu._/9]5q& WH2_~S#ʅEu\6OP1-tֱ<;V59@e3c1_Y"v4p][?n5Oԕ "*)שN崵+p595gV,kfvf• i9Lj2<pBC3TΝp} $j6 b(xڐ!C)Z"KT$qPAc12➴i5[9G 6 |8%fmW뼇)ưn&lH"VutF)iEjpetY1yw~;P(m# K'#P *!Us[ ۚ'NGe連ݘ49p#Z,0ij$󧂢U9DOgABItJ!Qgm5]@LI*|A6\-h3t^K.Q@N-':IYP^xDPv mhxD&_ q39kk[r|[:Bg;#Z48_ƏH;GaӑC6<\wCoK] `I{m{gq4:w.CcB r4ƩcAy *ųtdsA9.$;Bvբe?m|jol:'gY5'oOZ@?sjnL|x+loD" !u//v5`hpL#GeZQɓNj@ӷE .An$-^??VYE=d1 AeKe&ji^ [ܟMMQH̙je3j퐣| # I.cGf۵)?Ժd3])[,{qWj q1Nc˿Ebo-$U,b9{=Gp3e0.cZ?TJu]My`brAR\׏RȴkP`Hxb:#]*&+Lf v|rYM}TxO&kgleҥ1 A?il!E`o@GExN9%?4f;#a(0Jcr7T -"DX#R9**5cv7nyѦBܞct+CQ?CÀSC%[كZ"uoFDK@>sB?y]sosmːޚ-Z;2tz~) |A}c ͶI%~ͯ2]h4Dg}Ǥ] [!;eL6C1DV=I9oIƍGʆI9wIa+* J@`\Cىp6Ԟg$572ijpoFf/i阘".T0I8<.2.(bD݈3x17{DIe,WpV)p![pMrnAa)&Kp/) SυQ.{o񺮎+Jw<Ê-\2WG.J[ĶޗxqL9I˷\.$kn}>a0l%Rw!p6|ى"&R?KTLѐ^Z' r`a>ڒ` 7+# JɈq?͚[7Iey\ػա2tk2E֜Yh9k? {ޓN;?(Y^3]( оPI!&e@[h18lQ|¢,hF-E6>`r)&k* =Ȓ_8 W| !] 6tFb(# Cnuu0d'[^9_o7|'p;E)}0;J;%QonT}nО$h>Q,T 5g#IgeS=zm6!KhhDBK6(&QRy;hC<4QyT֐ iH-8z:EsÝDyfCzV,T1Z4?XQF+=8ZƧO~݃ ]k\G܅Įש\{oI#t;⃙ŽV(A wčiӴo r4Emo"h+.]|fg>?f*HKcɞnbC7R8&xX|E 4h訾;Qlj9U`<7MB"D.Z/;RWJ!z?Yފl/,,Dkb;` \L[_sNn`S1%oRt$L ]ǸUZA£8x 0\z6"CH&% QR-5­oZKɲDnTρ#Of],4? ZLóD&#S~DŽ@r,wۂ\VK~qgn[h}8T!te\g3K`#s2=xJ[W 70@JORX x>Zw A W6Pսl$9rסWŌ+ӫ!-+aG1|EatW:} M\'j̾bTEYj ]N4)@hQAwFT Aݜ4lW㤟'0Χ? d|7JzI|$uA\b_Ԇ5ϫW]9T,ikSK*r|e[>.{{܁u7BГL!{tWuR7NV$QdI7W0&^ &9)3E(rzGQL"pH>w(_cö~&!-Nu2ρˏ2ߓG] ?<YjHZhaC+$h[>n}r}Щá$th]Υ{nJ'o+ To."ΥfSG1yz/*T 4LG;W=Mj0g|YҢϓ>5V-'vt(tYm^LBo>b3XT^)dX6e%D $>Ș:vm^ ZզI1W (\ _/^G@ ›GAJ(vx)+fO<У\`3C_y̅ҢtLxZф(zŘRISw~oCJdJ~n#.NC p'C񼝵KG)ve# `2lyU-@@ǍÖCT kd_!+/)A(p$s ̭gMЦVtPK4O>e[o#F]v%1Uiq7J|QdR2;IL-3yCK  ixYOiJ˔#(J_r]@4]AݐцGu'߬W &ek|':`8ˮe3$N qh`nkf[ |v`)Q9WcBv3T^Ѻsvjhfh?&%c^"t%^LL*_?,9.c#4AZܮQj.1иbѩª) Zϯˤi%TI=',a( t*Y˧&o6^v7\x$܀9GfaQh^D_xJ#^/$"5 ,vnUvlmV3;0X0G>cu x[ʌ^'iU &|d5r33*RZ ,1}y۹v4왻l,"X<3 'nl7K +-_ 2BhZzAh_fLܹ¾escchWsyn.6yj6`L7H+9T9%s(3bJ3HfKD/64FDƷ5,K%nm|D7)GJGJq7a ) }H~W(u"| B-(7W>5yNNtA*lEdt-_>?M .iH-kJ*x|s)iLC{WPU]#Ix%vd~jG|ȨgЃPoU8+{VH(Jޚ25賮{ϧ dQ0tn_/=սUR<؆.FEzZWܶϥ~UC08ah*bň?77/aoR<ֻzהJӂ?%^"zw\:I{u|3__W * -PaÇJE \Zf#݃x$4PGm#'8X,$q3>-Sn<t$Y G aW)u+(?H'޿$g(zw-!sWm]-pIH 2OEKžN n*[j9+r7yhI U=n'JX=K%oBQo|YF,ڏ|%!1bWSGE7U54˯7F4zbEumIcs 7|`dž+pv{}ZټJ{a/aQ p|!q&~’yg#^!%O06I ]T/:C_@&D$kא^[EΑ\پWxd|Q_ (OXIt?ˋD>=[Q&A2c%C(0B,?!e>IڄHF/L~ s FHbb Y>Q D"AGK:-'+4A(zGX;(K(h V_;zJMFvcVw ͍yC-x; OomI/ӓëmmeZ8JjAqh&3)p{>V*Xvu!ləBǚ78{gK<a߬ •8QQ"' p䂔Ÿɸnߍ-<=΢2ߎh@qwH Vŕ 6 v c=StoL8pȲ;Ӈ嫂dy},n-qhLc^vNqEj a} ޽E+F{p#)$ں1\U'6.?C*Kfb Ûqzx'[!:o&' F)q02+7FU(T#kL^s鿵gi7i֖מ%"Lnd5Uqڹar G7 f`P&x?`|wpLP%ӷ3±55PŌ߇͎'2 r!l4- /;Htv!P:3nvy#w#a,>qU4~r=gq[ ' `}}QG\3_*\>c 9IO9nzwqsYZnvq->v4pMgHRZɚネɪOTEYif>>u XᢉGgn9|uYDCnndhpt?ϗ ~2 Lq ŠxσޒWv / mőa>/6# ?tD2#"4wG,kӕZr"~5%h~q|[1aUO;PgY .C=MZAPS3/rv,}`z} *qOF>ZxOME8Eh?zG~!;wU;Rf At硖f!A D($ύZN8km1 l *^Dz Dl?dmESer?04e}.3@ UBxBu`Ik#6򢸔'/]! 1րgެ0g(jbӭ:ӋR,$3hs8yHG+/O#Gm8СqT6 3v*w8FwkпFjlzޫEB2c1; 46X-\uClW~tU Ej(Fh^,-z?* f zudRd@ppd>Ǡ3'6}O`7"!> (/"Gq@qa^x]2u֥6jL:0o+VTψ͒2Ae׎8N u&nP3UQn;8Uv썵d%!j}zsčk6rCl#b$ywB`秙Ui{jiQC j1HnSWhKa \S~#p)E (+Rz(!2x,nl.])Lh~qx5 a,v1 _=7 #5OLf%r{C3Jv3BLkhv2֞W yCc4@{s%!l5֐dYa(&Ų?6/$"k Vc`-%fnv()ag^Y6 ʝXm$dirȻMkEJ$an8wBd\80HP0{R?lh`R =egzDr_L"CzZH9B:&0{p.OQ QpJe <BP b)cI9My(C O~)5 3Xݬ|[ y$-=ֳ ԇ6KUU/#Mɣ@!J*j;:[=xt::D7,izh>蓑P;ZgQ&䮏Hs>yB.L u⽶[d|:1zx<{ɺL=ߧ!}mwaa;=v"CWMV@DW>CGcوdjPY.g2 4aDR4oa.XUh8&Jwn^?57O`8 ri14dOZ#ۢ\LI'/-p^bz 9KLEad jT.I۪RJ6cJ1ӑzpcѡ$?y\-=`$BsH^k=4;%Z'E{3ܢT:56Bc{! q,Ob< hui'B,=q)0n#^q8Aׅ9> Evy;Zu?,VbV %_ ?T~JmQiy*sC5s HMѳ tK K(Ouq]euyVgq'!0/?X)wZsO Ӵ>{.m#PNG`&NVBBu>X[w9c N7 +7aC`RMgtO3NUղLLPl\.Gvd7$ǟ^P'!h2L%to8AIh'nv'`"6ys[ܙJ(Ik;z Ú3}ⶀHaz=ɰc}h(ꮳe^d(?<Ζ0G7_v+k a8an~s㿱Vq*yLdh o)Ku'U> ~EVuk \Z8Կ2ٞ|1^ݴk4F!LfרrZd {؏yz a%muO M8 tZYo+W`0L^[f ǗJ\E'ݕJVNw6_h0m_ύV8  [ujN4kȪ$Wttp"CЭFNTCOP킈' dLʝA=ʩmnW[r̉!+)SP&s-8]9TҼS@K2n7F*6F*1T BvAEϓP+~ ~zSa1"w:uTvFʰ5Yə}܋ 2JmгLM.,igp$~>E"Jj`2$TVfkO1鮵T͡)N&.#Fjr\3Gh:ܾѽ.laɮ/d6מ>3"'Zkp.0A'k-@@TWh؁{-[fo O}i: 4jbǛpeWshۆΑaq.c݅#6ܘL)JꕷBK$ $#9D~w. )lq_aVIyU@&:_wQBw􆎤f%7L"_hӔk}ݐx]V+O1I ɸy15v0X p/6q rcxZ9'Zn-߯AoN>ɂ1}$q퇞/h`XxB*3U|qTeY3*91jZ]je:M(DCrlA" 7Un#ZCEl%:û *a,IbgYZc16be2f923d75c72c6add980ce19a95da5a1082ceddcfa062a672f0dad34c5be0cd823fee08f5bb1 6803283bac8240f6b1c8d22324fa1bb842ee176c 521298a7f472fd1887b13cd77adf687f3f4f5b78 8c7f9d12876d8fb07029c14af7eae2a1deb68405 beabe6f80aaa6932d9b365effabf6fc5001a3f16