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  U1L\l ]% HOL-Decision_Procs:threads=6elapsed=228.798cpu=1088.028gc=132.196factor=4.767zXZִF! ^]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыk\pH\͝\Ec0ƶvՀy 9 Š*,n 3N {jP+2Q:M'u ӣswGWB$`='tP+n]]Jױ{ / ;(x:BHsK9殆bzw(LEAE:5=aD?f7*&t8<\.4FHSDgָ}!al2b9gyo=%YTZwJ H7Xpub ;& S-j'n ZzO5ztɟ{Si5ӱ fhYK6m14 3㺎͡湾s;=Y?@aUݎ+읡[(R*-_^@PQ@;tU=;R9BN&&dh&PF52 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 M\F-N|"33v1SKF[W.O _SPZ7#,FsFe0$,) R)kc/$[#ႀX޴Kw_ <,6Ծ y׀_38dc?NJ(*ppywhkkg13G/Xx}1Ilzvk  CRn?fh3É \z.̊BL 0p5جo̜tCvi|OAZ\x"=[rPqQEO v=Gj>B/uL~wgUT-<%kv\'m$6fu )R"+MdvoC"-Fܪ@݋i\']u ڧE`4E?*ؕnykS+FΊ%oX?G>&փGLxab@l& {"7=xPy胉!>tqǮAPێ< ny ]S4LSh2x^1yCȣF'Q{Rxo# nƆ>pu⠉$:HcNPmHxO*Pse;V!s6|m3:s*Qz!E[o!->"۩9+ tEiF2u'k@5 p%/?֯Kz}CN%#Lq(b>%!aXRt+F:3NWO*f9%ueGc(V Bh%raPX#/ΙU~7"_q_0yI \@ *=X*JTF}wOӸ&8[NL) TFAWQnl 6 a2?ak3!mc}@PB;YVi&@d8l 88oS6#rHs10!e茎/M7v\b^ K,†%.u{ RCb3zYneF3_N-sV 'p,կٵI ۲Y$A#׌坳[C~J)BHLXpE_Sa@>IjMΒ8SPXT$^!K)!dC 8sW<{P DRA>0=q̮Hʾ&)m)<5 þ4Jx.ZO0͎ʲ05t6[AyADu0u*FXyK:47"F@O6DDMWQ-降b2#L#GaYx5MVy>à!}LO9+ 1[ Hڢȕ\t/c =75mrfO]/~mt;" ԂI.xt 3`Q|2djC2i*Tl2 C8)9cW]0E}85RO)u@?23 T"`mj(К:,4ЫS2h޼Le|pdh|1'6s1\Η;/mS@mZ6V5Qb-ګF ?׈@R 6v~ćZMaLIe@R;Bk$(|L5a&,R"D|#i;nP<s*送:I)ۍoXr. ̓ u8 NeЧ0 6z hhI㷈FS[xL^"4AȚpw[LJԎar'&6{F 9 OӹP9vsY1h૜`Jasp5MBoW•&0VŒ}tChU#ee8>f&L@Kl]9K#./ Ӕam4~pQ%gcgzhMPQߏŽTݼL*S7!Ǭi:M*@u˹]O[vϛP@!~ަl?{WPhϘfϷXG9RG# {`,p.+/ˑL*a2Hpϼ^T*.oPSP *"!8&1]#3”Zem6VU97QԎD@88* _g1M!kjY;q)$=1l_2~ꎷg"jOyH-]wOŬnS DBFöx0Tӕ%ֽ𐼩]o1 6 }:'Fir22ɋ TCo #2)NuX=yB29衖`>UۖLgrDFUit떫'#ǐ>yXX1B$ ~ρ(nÈYЈK3 #?|~J5s 0s8!7 ooٮ-+M>!yK=~@)KD5}ՋGE2ϥ+(cin)rw'QApNw4 {FܒO$؎|uw؆zg45HL6@3-͒"VW+au+ Nd&n=^mUxߐ} h>}3#4afG^ &GnK'&n`U} t2"]rqt9m/ |{sӚ IWPžmƴCn_HK;,)YzN_qJ@e~藶H1_;RC]ZM^r#rٽbdhfgkP6gI;lqjrݩ_:^+ 8 } XBl]F@4*Иe@_%EH 5J Ï=iJ)<ÑJȻcB^lrF-[ BraP̓ M]7ԁ8KE ,ğ0RbGc $ܯ1\QNFłמ3O#Dog/ FD(İt^9YûP52 NY,@a u(LxXQ!⿷%;)c!ɨ(ѾiHc ,ۑ_h!9(rqe$Si=zDB&'9V'e-Cz ү~MHt;ūib豌ܵ|jPx^9؞V--ĝekQ QT}vGxVQiObiCmحqsG`7.xWvaKK;#ΤTgμg.N`&jnص6n}m_K8:ܣ\7^d &}ҭs|Z6#݂obk\R h![SxtҲ?ozBWKQ󓷆"ϳrq?m1^ͤ3 6"YXEs(5:8a6ֻ5sB6#\7mRVP-(x{,@k nL u<:VcccDb %֟>AnF^fFVpt =>ϱ>e|Q tnc%sJ|µ'^ƾ,21DV j`j(^-x;==ڿKir  0e(꿽E#?oAǿj_"ԯ"۷!, N/.?"Q m6FK0/Լ6z !Y&_-}mx+Ot;n)"ѽo *FR oDD5R>6] l1HxϙZLG+w#Æd ; te JaVoZ+\ 1'ʝo_2l;g;,!]Jt2u,$֛!UjI5v@I_@fAAP7x]Óp {w 9S++_W_wi>m 32 a~>q< nPQ 8/TS,EKERCakqI4;`&7.u-ae.;BDX}8t,rF@J4&x}XZ#9CeU;9^v_hrᒀ}.)+ƲgYZ7zXZִF! \']ŗXiɟ17L? KxlWP8SաM~>fٺdeR{k3HI0.fhqJiI΅IHQ̻mLr10;,WNrDIUF-дN[1~)-4H@:K~raM!֝hPsAzIj>"gtX$'Fpg֬iחm` ؗ. 5څbxEoAcHAe#5 `TڤjbHݞ@?GWg:7ST=cGǣNgܷ58HYZCEREs9~:{O f > ɒ3PFLۛea5yٻ}= }Gw \-a6|lham|RB{vu8{ʰ7'Iř;l0_Y6M T5OGjDt搪Y@}}5w 7PzLsl,9vRlIR gYZ7zXZִF! uG]ŗXi%G⻄a.6; R5PG_~iB&_|`RxHlMk =>,Mwgb`rff* 5+5%ljY )7)(.p~L." m|G,lt$*m^FAz#ܽ7bk Dy,-\d_ϝve$sj1v}P,9[XKJAaLLt--%pwm'=jkK&VQҐ/o?T17Ad wm|K49$j_kaKnTF6eǐJA<rL9u-dֿycIl _UA/԰0,swOg}9PoOs'a~Cddc10 )jXOWѢI)‹ԗRIlwu4JКH2aǦ ܰ9;!n{qPBUqXrDgU#2 0/H'Aƒ=u〉kN;g]~+zcUh9"sP8Lt?˅уBϲ{Wqv q4ȱQ,;֟xR+}Me͘T_: $S)y\RoԸL%*kMhuc#hzн͡)CI.0M)D1#a@;VU$wFE|=w!^*>X 1Xl2S/lfAmf6>87=@m0U U.ĝ#S|K`7ݜZp""3R_nzdFN_6Mzv̓tŘO)^H>/a@\W;/.VnlM,`+j?Hp`H2 Cl(MXz`浄L%cWď:DB8Y[H{Q6Am-v?/Zw&6ؔTRc@ԕw! !J88~@Z>$v6V:n;d #ɫ`af^sqbjOaXC9KpL:~h5^ZYYX w{Z:4͙F+UH5T`_R/`цдl8*G(kI`UKt*/,\x}{CΧjf3fV@FMp 3!&'Aֻ*}64u5k: Wity&Źw]Wb0z"AQb8;z=4hQ;20賜f&sc:2GӜŶ ea]x*1?έ6PUōecil.Y \ w|CQxmN`d&f.^j"ZP.L&ҺV B'lbQLf1Itw:CDB%NfS/#^\"{hW7-t qK|,%`p1r /g, aS0P2@nv酪WXB`BNg$y M%:GCLםKo|/!愪%g]:CWS4Om/UwzVBlf2<~!WU?UhJVvцhdNkb p]Z\#20p/=duh}_ܢS!Lv&J.w5:}nlT5k$λTuVEV3hC[gyl7PG.l_=CIiiѴkʺt(#t`''( y7ЉgIF MۇmUl_%!:6#ǀ[eiYrȖV_TSXA.6!+|-k4Ú}t1E eMtO]cֿ$Ak ȃ:T`WA*.@b𕺯P&)_}*̅ /&f7a6[ն\`W"tF7mfDآ]ʐ-TJ% O=B3tf+K1ۇBt&qjSIاʝ֐5#g]ݕ,ltZ:Cb 'Mٮk1jv]A:T`b(IU9|gKy뜊RNQZ V5R8[8L G-Guޟ^ezU6H%ʭF-MGVݢZ֝:lPal=`c'H78Q `Y޼# 42!{ BRZzJێoI*֨~ ]I`0kq^70]3̸M>\˻2yݺڼs$߆{xW#ς0U S") t=XuB~T14dÝcףHs%aaϛ)qb:Dn+H̓%< qt(7T1F@>My5lD@O %ӗt *3x䖝0/wNd31Z%=R5@tķ;i$7tl:>EWR̄j[L|AK!3F >RP@mlj4k-vB}>PEYuE͊x-*-Up嘈; *~GT*9@1-WG] P6 qHFVr34DJ_|^Ym^ΥL4^n|S,*`6֊J\[cU(+\&[fZ AVnRlM5b5qbң0vGR> {mZΦ(;$ dJ"oV_g[Q6fwd}Y3A),sB5q68䑄*Ai(2@{h=`AY""ր e%鱄'Ab7=TK\wAꁾĴQ%1iZe[ֆWzǙ=~fӓ ((A|(U!GFkSbkwaN U+6\+9bQk|u}ٖp yw5܇|[x4(p'5M̴2h8ad 2 ' AUj '>Ŏl7žG(W]wםI,h%4˕bH;vzF#\KƬ-VO)ܭbxcݠ ܯ)|1OO~-|eNdy1nmFt}L{A'7?g7S/u9rD bth|*uƳi4amZubiQaDx D}~87?OxiB;fa?ފîGlfZ1w=݌\5Ų}c"S3`O,&ƪl+֬Z [2U 3S+푺oU&R_X,0y  s5$\/~t?ٙnp,FI<4)ew'A#b  aW_slj&] Ui0˭M^̾_ z[67{Z=F^f|͊aL$76U^y 3JcfMwIOeɋA%g\"[q{ˋv}<yDd: , L@ɧ%JUOQ0q,> ]Dvt2+9%(DHh; a OnE XЦɛ~ u gueb. q= >갌 kh:*O͗fIOE{S0ynuHAҮ\;ϷcOX7nO@(  ghS[)s~r0U w |zL WW_>X˰2j&_QuhWADM%*=z㧶)MPuܛ|i^O5(u87 7@Li6mI(>7\n𗛛@PYV=x.-w{1 GPWW c.9IG(0zrLuf0Y+4h3_'} 'TVuh5i'$Gu!\F#pB_g:\}D$z)wSb]v&R_74OqxB~1`1䴫 bc+z<~!)뻟R2K[@ImK)1<9H`wt=p$y` ~6UbW't x?dZ^v}T~0lo@+& "rILя1i>75 ]6cuֺ9CGWZ-"WVސ0cgy_ỶAINŢ0N;6m;e㴢";(x+s-0k)m5t@8x9Mr`S0g9 9PYR'_+LNg޸coE0D/w4>O?S%G)S##tbF7r " bU7j5x9[:;KA[Xpf_O,4Z|9:~]66ɍ M[S1<bez7h@: '2)_hj3I=I0ݤ З~(LRqۑ`4}}  tɿYQ~vwqc>+dS\T8 5@pa`G-6\|$rBsbZnpL4: fc)FKj峤# \yTVl7;,%#;DnI $XvApHU^S՘f}} GYKB9ն[ёՀeZk,؛B[rČNPN0(843C_z?Zߊ`Zf2M:~=lIզ+<급/AoMxDxF#(G0a-`\g35;7BtHQRfHpȧډ63+$'cfm|-a@6VJc}'xޙ2WrNiQ#j-PM7m(Xk0p 5?O{XzH;NǪ5iNY{|[f5|KgMB8>#(f]}.5c U !.[ .DL=A.` Y ;{P8tY/uEq+rO1JHL%lw{[Q3nz˞۷^al?! epkauBQ T Z)AUkYjpWZKD ,_0{rL ooJn`X(M)m!rx{*Ĥ+fK#}QW`;@]UkJЇ@t+ ]wVʯ'NrypU tёܪfMUtDS`);* &͛V9DžsJpb;?c&SʤKtς95~**i q(͎f3V pIAr̼p~z_LT87uh5#blԚ `mVnXNRqJMfQSqM_̄T(,4gw- ~Mfͬ&E-_xSn-cF8*zՐ"M9}-mq1"<ﵮʓ3DŜ*Xkkl߳G%<[%ec'] #VcfR"5,{O[lt䮑 (|GaS$5z zvy| 2$>TӺW/u}TNck`r SjhIVN\Kl3bzØYbU= 8mܠLyMjP2E,NpFl| hr O}Fq2U@ޔ~4λmZ.eV8l(<2S8?sfk$?qu!H.q=ʬ.]Z]AϏ. _mvBM{ÿiYjKWPe9")Zy) >0B?gU _=}bIwk 7o ЃmPGnbKn+ŏYn/ ID!Pq4!j яSdLq`5ڢ-f|RsbI=P6^nV=yn 2ѹ g9͙ؕA|;1r{kXPhɢ}ݦ>ƄtG 2u5tN>|='Q$MAm'kVxcԑn &\Fq?rsu%z4ґK ׷i%u&T %hKڇރXTn/#LS6| ]e@`1(pCxIT ۄ_ Hne 2 "bڅԑڙ svIsP*8BoeYb!;g@?DtƁpݽylЫZGHiWX *,=Ķ8m0\I,ǐ%I7.f83-;y',:~rW@lE0q}N`jyoBCd>:!EMj6E(|\1ßB1 lCg|=6 4Z<%H!⥕R eݔUpnfxs0jNoּJj=*>5k}dPaf=hVNtZw-G+,6AEs*~%|a\.xe8 ї=RVETy(Cć$3.A"!?;8 CEzWpA _A Ap{.->tUU6г nC$4B}4ǿ޲?TZ4%Q ~1ry,)49QmE[[qPYڮ/mG(fM%/}Xc\g0xe+O3й+{⺺XF'uc= t%iP?12asGe!$};8ꊦ#p3m>w2 iQd0I w)l)끇Ax. ㊇|hg=Lg)8DiR'3XD>A=-yNi#=P3q z}bG LU6$H>dϹ__u4w}H+^~sEEFLz?K]ǒ@C6J;S'N\֓KK2yr#/Y/\Ȍi>K{N2>G߅4ZQ[=Q3 ,?,O|[ E#*-"JT;g.Ϙtf0t#L+և_H~g.G|J>6'Eb?J{z!ύ{%6QmvؑWt4D _l5\ŇT6Ivȶ\< @~3[Fñh}'z@\ևTT|]F8閛ٚ9=]W j$=V}^.~oH^9A*yĪ%̛ٞH`LE6 *vbPH rft/X\QQ?OϬ{גҳ8~X^erp#i vLiEOAJ?F[dh{{|M`Xr,n`U Tݗ&4wThpCN%3at`m8e\Й$=A<^WQ]+iv1 *f 8vb+BF˟6fJ2)Ѐ bP]J@pAk@*Ts4N Ts0#$ jWpQq<ڑp$X%)M[rmUp kG6P#z wt)S^ө뮤RLw)$"V~3E--"OXE}%e#;܋EAjV)%u}xt tD=u{| qSW*DYp'(2CUCV k_y|y :f}t9nDyOGrPds時e-å-)myўl.Z (v,R1Nm(kHfCB^::lC g!@f*brmnOBH}Xo#F`-!3Y]{aw5[qNhlu-tL' "9*^Q9o3py;Rh,S1Bq %8C7m|:֣PH`1#Ht32.;zgL)zgs::5f  (P,: .w:{"^.LkǻsE֜eq,i Epw[Hb˭x>IhJ;mtmR'r O G`_yV"jy.lDL|5+F&Z&(*GW(=I*-|b^ ž+MxjKQ3/ޯhބLsdF 9qjGxe~hLhA]@% ,HWs1yUWPцFX ϛRwOK,Si kх|9młJq"u*g: xTsk?Nb觊 1a79E4_EW-lN.egHۯݫ8C2{7֬l4S-猖4# ܭM$+4m9d,gw?kgRP $?@&:yP2v7fAHHzوH70;v!NeB5+hP/ tl8xǀ^_)(vQ*JqiDqvƞS+E q+ }rk$ʠ1EX${T( ,_yI.(w & X_?Ve5@վ~#/2Ӿ~fڮ^`CX4Ri*orjX"T fwyJ2ZlڑӋȭ'q)R(:A}d9d~R٩\m[X/lU:6o ɲ;~n>m fK,vj9 Aq9#ѽg=UnL="J?{9y^{>Q2K;;`@7QAz>OΝR Na#\>8xά6Wb6Reی5fGj&u8ʴ絊brhE"QsqTvZ/=aWUl{ϳD>(6}utۿae: b iK)ۥF/0;_\  X9s^K"ڴ)%W:@]'m&pDP~)RM2rBPyX !2|X<< U*{XZ3 zxҚ=:G@ JA%PAw6bn#9Ҝ T.Εd%=V DV8}K[# aِ_^'QYLT;$wvk;"xb]F~]E?ut2Չ[7J(WCZLw1:|}Uk儅3dVO]~.AK>hq(OG5x uZf{7>nvtftF MJ$pp lAý"4 fnkg?k|oCL%eZ꽬ab+2H8L!Xƚ\)E֝2Y _ `[]`zCqi>w {/l:brWzIt4O~>h7Y5*-ؘNQ֍3Ž[ ,[ݠb1˚'Փ>aO/PJVCRMc}c$GĕA0h(4?lYn.ey^7EJo`fV1(-7*]ޖIfL4,e.''j|*/f ]@5x(q2}f|#)(9˨;M譁Gz+EK!1-EF!~4;eZ4*\@OqaUґA=`:JԢr *yz-(t$

cbo=eN}%PqG;/}}M#If[{hws>S|3#MScdfny$ 6''HeqA` anE ~G,k>8xŤZb<޹:˳-+r%'M҄pEbG[ \ 4OM\yUsRЯ~6I?#DxۨA;*[0ifCc3hvd9nCrg aP xom ʴCkZ # BMEtrO` >y)šU =<>Wei.R)ZuȚQ2dfO3 sϲ99 ww?֍U¹%De=`ܵk2GX\@6$hI ;Xmֶ "6Ex0/HO|dŐF.\g~MCp3㷘iW jJ`XQ~D0pRx)>ɀvZvcvjX(RroѤh/~jRP3&u797oczKYyG_ f7="QuNũi#Ukob$ۑ;="58;YvVEf.6 Qzڞm YӘi0F|g[Vq$ [+4HUnw]i;\3H_R,1!?bZn%W-x>{ZkLE/w5B%Zv0%:Z}ғ-sc"0L/I.ENKөPCJYGAd0\c:5Oa VGk=0#IcCcPư':\OKRݑ%HC_N=3;ND~1kVVSP 05}4908m%j}LW7N1-h_('%߾>_<޻H|p?b٪?'G$"2Op?rK<boEgPtPrsbdVktեCⱕb:1:ֆ|R 3Z ^ THhװH c )VDOXHi7–l"EdZ7+bU|P\__$WYu 3@5}AdBn"TD##y$Ll x ߸k)%ouzn =Ӳ~4dvlAO۹{A>TԦ$.ǚBT-,S捍MuNS dUQ|&Jx*o%{6?0XHR|RÌ$]u(^KĊ^:*}{` C憒Խ t$/=b^slB'7> B&!û6.VPq"K5]<*d'%a#lN^J*i4O:c1j\̑V5K0OBŇ bkښ' kifW<٧, .HcC*GBed6s2^`]8_>^[L6 IC N$:Iok8lR,##ꈫ{)8f n'INP"F6uT5ʌ$ֵ=2q*ЦI$ fϼa(2a&s4섾Ɓ?.'ȑnϛvmaLPS4|6%"%3[uP_8f%P*KѢTt0Q*5Jyg!$e%28}KHd`Haޫ@/{wg\u^VN+4>r=hݑD$V%yhv,Z!' ̏%iYgYZ4eb72821b598c1b39255469d0b55c20b2322f83fa709d2accdf7c7879bbeb7e5998f5ada145fc66d 83640fd834535baa5484547dfa008f9bc8fc785b 847e05063399add3820be03226a72340c399a3ee 6613b4338ba70a9277ea0d655be9338fa7dbe2f2 99bf3df5e20ad6d29bc5d073dfb49861b2fa97bc