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   M1DtL ]% HOL-Decision_Procs:threads=6elapsed=256.751cpu=1132.392gc=165.244factor=4.417zXZִF! ([]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+pqYu+- >N6,XhEpafanRUaN7*Р]X%SPk rCg \fB6$g`bA!R9\+EEU:m7ʆCکxOK$njî oY 9hx|F*"Kk: J_е N޺|arJ71$z7/uӤT9 >`2X9V٢髑+V"Ê[vEKIhUYNh uzsU:]^`i1ݗq''+Vw{=\"ޜCKufD9)n8IXŦpY3c=F@! JRwđ̆ػoqڧk-E˸|5>McX*s >`9V[=UVq"J+?TS ':uLYY8%k(ٚ7ڂŻ페_ =z=]X%#nGN%"y'[}k]/{m}ųߔ nx2S޳ex1 UW77 V{!H_D| [Z2| wIOj"|Cs*݄I4 kW,sGb\p~qDdҪ5V҄AX–+y>˒]<a<CT>AEu丷u2UQku*s /by/oy `xCn^cZjhg<{\1''mcV!s|oD҅>U}`:! əbz~}@(o09Ӆ²㙭3T.΋0E]t[ixq+VhQg)0T_ĭ[! D=k `;&Z!ʲ`O`5BqaIB;CٱS((m$@FT@Hp23TRȔ^0’GeWX@JQ 7 DkZl޾H4va#GrS <8hQ%܊q';TYL;D*@3x^|whKPvÂQNfHL|,`uX}SqK[2Z?6̃_JjUI[ D2W aҦ yq.<'{ 8 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 #lO̧R{trB2c:N>-i:oz!ܕ9QeEH(jg{Mbt'Y8eHfYWʫ%=5PMvܘacqD`!  2e"m^07Ìt#[9 + הպyec ͼ\8!%q#J~𽷮rϱ^ZfهΘXqik:X+.+TzMtbDJfL-i;lhxK=\]MA$4lz* u6dqx&,Yo]QOf ꆥ.|;|!OcYGR5C]dxgVɒN&$:S#"~J'}gJm*?p.-ɤ'ʯmJ#'I.흘0~ >&n↘k5 v)I|(SUU0a-Ւ'+a&l9Ua2+M\?ZA|<2ФdDDCK;.X!MQG{~\"/ovGd5(bH qלlD@ dkYc @$^ެ`"`,Gm]ZM;2sjƉ>kiS2A{'cEOW|%Iл_4(xw0xyCkH ɖߘB-04AorBѪ 2ϙz/*jό|X4/шJ+֥]ԪB( /8=jAV׼+6`9FR(E"ƈ0wU gG…=ִ>>t3C5@{pBRX05wSi)ɹ? v,722$IOIֳ2ٵ4M3`h1(U;ρfN o9 :P鳻֌|zE^|6pkÒK) ,k̭08M3W9g툿7'?@vOo Lxze ;~\ &i۬|Ĉt(.>(s;$b)ZF-l|Úb8NL*)p/a܊n֥6$y fƊCd.Ru3%³D5k32Nk}h1+):Jzo7grS-%jGRJVHكVMCHs>CX(OgAH]&3F'CEoB-JHձ`ɗ]Rpl[.:1^"Fx7gfGErh4{af_9E:UV -\B/-ea ʹ@jRxYrrWr{gcE7P2y'fQj8L0GuI塟-P9tP1WR9A{0!D0TvJխjg Gy!k"` eP͕u|RȂcC<'pc9Z0Dfk& n' |#[OM  z\{%nsRh|*x:0>:*C&TWMPR*d) ^c_MezGnN|#`E%2u˿R=`s!:I'H@Ȉ,]_!\KqSKO2fjim99 UlVÖ:Y>:6$V%mq\(2&Q#~nV8jZ@n/B{-%4*--K0~D5Wf){VOU_8o* $x*~A!`"ʪx!ӍA 11DQH[p;ޔd"=w9Z< ar?&e /sa$}l5zjŶ/ܹBD(L?NiڏZpt{cT!!Ts.XeD78Ath_~cj+zTu,:8W-,v- * }yϡWgwV3en/\؜\!P63a_Ml641bdf/4xp:>52['Za.yX݇sa4  5MP3{懶^7Ef\]J8Gn]5`nc%ANT;9@h9 >-YBƌ:So[~bE= RiRH0>\i\Eᑃԃ V^H.|֧h״ԝ w=m`]Z$#O-j#if9Z/5;qT\C DS◿ lIu׿$9eBF_&.;s.svxgɉ߄שi#:dkX0XYCHsW+J$ ;bZy 0u"hЏaET^ ,xNk55iZ(C+rn+4{ C 'LJ qKNc`:\(Ƹ; yN5VdLګԟ:Œl`83Q[҅o%ᚗ7]X'lw3v &Tb4Y%/[m?Mȣq dDɹ_GT|ΟvHK%--_Cat6eOkGs+7bCŜdNiނ@Guðe3l̎B>r5wl_s*m2g)B $=Ԫ<`O9{Eج7Lg=A1vo=^'ؔsOmB'퓅&[a+~@C>ۦe`i㴴-O>Cszh>KQ,LbX7C*I~1eGΉjmrDC^Y9(Ofv>!k-toEOs~ P 2j&LRRʃ͌ WݿĢ jCBL&q$,YhQI{j6.q&;# 3!j31#Ȳxd{Ww-; ($ eEw!|A 0`*yYdOh-Gk M V\q&Zb&8V /)/fٺdPP}` 7+*ZE.#y,0~ .iV/"\$R qS&ԋ #/f7r *}H0`8'>jSᢪxF.{9xaM}mC_,NOlPoP@Ωywt#(tT3"[.Dz>)Q Hg4^ o^>,J^ S{e>\K:lhA/^*x3aQɹ Nk)۴Jŭ?9) R{* r 243Nk(Zh~:-3&dٗ~`0]h{%6)`(|ɅKY,?a@B,\mq&ٺґēI bLNmL}m99)p[8]w#.QZe{:{V^x ,~わf$H 6lk+f5 r y%ö@/2g'oHguF:xQWl+a592(|/`bEDsBC$9+1! AD ^^^/ѕr Qzif>E&`Dy7XxejWc+'|Q)/alhd:vKSi֟|RvN, Jel~NYNZJ?~=r4/ry_=F$ ]|s zUkTOg'Ejst^]+f3qrVf%~ \xߗ&`WY%c/T=qpZkRUCr++BP2i°,+>Abf^(]򕚄_9' n1 dC-,ALÞUי>NnTٓMMv{ Rɤ-g7Vte6$o*z=-aQlkRJBTq{FY6b9i|GH#x1pcuק a.\56hG6N _QY>@]%Qmʗ&}( ÷˴T8i/ľ,8%3A!]X2o' Ao5r2g6Yb*:<o{`6H^EIystA9:'ƀX笅ɘ?Ľ!oL>M7I6q0ND4Z8,A:xF_f{062} k]H#=d=NW}wӎ"~>¨@ CBAv)vAJ&{6 Wv avA3nB L..<ö!g( U0jkˁ? UQyKSM=]y/j3A ][n>R#8 NUe b v  = 8ARTrQ~09N?vOy/ "U+?5%=meB):.r2|1^}E:^fB|Qu) f6N2 lB #ćM[@W[ҁ~f_u_vhy">y-JӟZ'`Te셱H)曉)㢒H*q;5rig f:zz$=zЧ*!Ojota51˞ht'QSBDs#X(2o1 )~Eē}m@: Pq>O7aL'5CyO>_)N zanD>_ )pRځfۭf˰kF7rv_:9pSIUJN3V{_j۬9$V(BkG^m@b(lY{&MppLO zPFk1=YFS Vd_Q;,@  ?f-!; +K+t3nDGݒX팚f6Ae*0m-%aL_Eݺ  ȲWۇ8}{#yCxIz}Gk%X n~~'L3F~*dҁ#Lg$'+{+*Zt{PLW+(*bOs{Ǐ5MpF^#19e_`r 9L^ >G&< #?W摘A(kvKi^)0>Xw ip2|s+ѷ:|VURBu_YPE~5cWѺ;c ;}M(_n3NiIഡO1hA3&;`HA">aیE~;lFRrІ_zzԿ%?=.pQ]`.[a֥tH؃PyF\Q;0Ix}2vS_ePX@abwPA'gr ڥ6|Wo Z' d '%蔾mM3<[aa/d -VbҬ#Ɂq`>rR^ei}J[)R.ςK%4  U|?R7v%vJ(}7 '`Bt8 fp61tkKbZT _~1&I%IfLa!rEg5E BlxFr1!f5gqGΩ S BFlȺ?tZ5ɅEν bgCu |j[ϩ>4m\tN{Vb,7^B@p CbL5{\+1EȟxGuAuʿPuqT$G&" _gA6q8rF@.I[Kwj6 ,P#]KGiĴX֨EIrLNǎ7s,eb2$; 3n {v%l]*ۜϱ+nRɐsP[21 om,0( !r4,?:ӢҀQI"͝ИbZzG`tgGOK(z.u4-'geo]ҔnEɿI+C;DHT䙑qT"iՔaQ 9gPmgsIlHYB,DO= P埀HH|gZp@ϰeA'5h)F&rpnҲGhgxh/&2jXTiW,dcS&Uu{Dqk9́@x[op=UA?_==^e;"#[-ڕ #o"8#gI{F5U xa`4-Cx<nz+qnH~¿1'Afi^"@[~ʏ$o^t܈Ȍm3jWI0>< p\i1i|DO#_j7] =JpaݶF$hLYŊwf9L-6 Z7K+%ͰlPLNVI^/K+HܻO!l>I⢼T=޷ '5^'(N8Y ڠ `uubuBM5PX: +(,ܰ˸vR~eN v!jd;F6(@lj)Hb*\"NҞF=QL>W,wIO[sYu>N@'eꎺ5m ?zdhTo U"k6ۍu)X [ԝب]wGp,b +Lo=6hjj D&0מ!#gY-?]z/},dMSPywA?0FRa_6 uDEcߣ ڗYT $A62P +,- p1 /P 5ٱ&@aQgiuz>s\n*UPw ChCY=\ܝG:%!Է0}e4I\jgF/|!{қ.bOl3]!b_zM~^&4Lf)WwIƦTCdۢGĆ#Fն}[̗bKޕMU[k/E9VtB%DtBJt x}O֚nO֒q1?{L+z5lWloFֳm/Zѩ<3>p0y9Ckq@څ"Ш}TX]倧X*4ňqX 9 i`,<ʛ9t6P_lL7);ސ[ͻ2QPA ڼI^[ 1 2ɞ}Plh7$(% R`|H7r(nVynh;n #͉qT!(@8e +/`C.T]K9fB͚uj`#>QT8t 4@7٬ٻ}څTp|^7v& pD4}?^Gq X%߶‚Ht=޼ԃQ9r(9"NH%ApW5>0E_C q_KL>~uQ+7>4bxgU; u tv?*ⰷ Xwm*W],\fYK^عV*s)W@er(%ىT.F]-Lt 9L)V?܍ U" 0d&ѧ'5enqw"q۾ f2~>N Z|[lN9>8a[FP+)ęJi(&ΈѮ7;wIⴒFpzi8f}NmC#$ir5h\vYɴ3)8lV<(v[q`poc\E5F=c?zXV()ŻƼ@<>/SM[%J_u$G_#'k=^sp+_ZhGR!R#_=^@|^Y1qnĶZO؏ET'ye8s{"5l "SzvExc u?83Һ4(_=Ur;pY9K 6痯XԎh<3kkhXM}"[?y.$r+aD3 qq=9v,aҀw}PVzJNHaWrdyh''}4<'[AΣBVedg7MzvW0] Ȯ ^d }kVxoCoURcez>Gw'twEii.4b+Xcu a'&~F//֖NP[y XQݏ͔ceocS_ -2pWZRiI]yHD AX>ֿhpsHc H:[RZ("0-Qn7"쒰`㟄A!6"qCÐ?H~(#Lk5{*,K l|5;afBvC`بYv\/Tbk_JGMGAzm6y5ƠFE*V!,z>.{tJ U9TO`t\"˟g[|0!:yόwF} V<%'D]/eYj1W%}jv 0#460G.[gu~!QHzdm&04=GAHOAAЁQ1e:3q`GH`XuR?t_|b'Pz9%%h&M`WKC/aVu}R!{LeP#yUȋ3ɌVbXsL\w]6> e־3$S[?fy$Kc&PqBʺJlEkGC#7 '.#w͏/2k77jݐs?\(a(U?^ۚ\0i}*c{ş5:FD,8bvXwVK72*]D.C'lC|6H?lUi!y75 @#K$ L?&R9G6Ij^Xr29 κ^AlfNkfݱ@4bd9?9aܡF;(J#Af׻"qz'#Vuf"}4caR5W@ >̈( !Z XN0o"%V44<ʜ$0)D ~; 7X㲾7s`'xn4I. qFqj)K0[H(hHv&L.}fLn_s\.MwQu'F=Sa/d-sS`M'5}A+My 5MzDX$e7쇩ˑUdPS٠D#'5>erҕ'ۅYR~K84r8U6lx=ِvTt/1=ԁI˕VN2x6XwN,DY&`6};h+8*/EIe%+ U}"_)@=v/K#`*>sQHOȹY5/Dw8m&X+ذ1 ]3ɒq.j1m"nFA]Z_ Dt|# BZvX5 h&zlfW,[dڐLh.Kd FlP:='BEͨiQf. u6Y,H5ykǁb*p()Jv9|/'\9vx,))"@O*E\ ,ؗ c Ka|Y`\Kvs([7ͷj1CcfM]#}0g۹MOL"{ "ΨY o]x;H-ZnZ&];hAL>E<\yקUb@8/&(TtH2k՞pZg$Ą,MN-iAJvCtDb#ڭb%{GTd汫W j(SR<`N]k쿗$4^7TQi InuR*)}icwW֣.0nKIs*xOW$: QAF'[;)G`ow/)_dG0 j]h'[PG>3Gʌ$ *`zK_Ĵ-K~#>Wg/Cmw!Wa] f5,: T`КgB\N:( qrOYZZ_2*07 m$Χ&.#1bwN[6>ߞ\3ޗ5K`I,VFYQ>J/_N L3_[H Iw^ =A3nQo#<I'$r] (rrM^>{T¬o'IO>ܹ8^,RPPTXHᲽ~DWcHtu6v]6oeL;Q'7 9`lc ȕ)M kׁl=iIo MUCl,ʗ}Yp*0Eڧ /FѪ[ )vQ$پٻ\Üx X!l'/t?xCn l 1/@B&{O36gŭhg8@ZݏX9My*/yo&qx\!ox63rЪ-\̹.y-ϑ YؑZ},>Wc{tY[dedfFP_s/)Ws;:iOX V|6=H O _D wW*T}K)R>wĬ-ID#UbԎ`W,m8Dir${euƳ 9{Yb *piYSHz=2AbºMͬ9eLBS,>i[8CPv4pvrH>o#$-8/ס)b (; xؔNu "$-Ao9hvdrC/!έN>/tj^6jIt8&OqDZm%> dhyaL5co?BxtR|}0aT0-ӑ& j[Xq ud|Y mtBz4EOYMbr:l ew6KRL$rrCհGἻn5L'Rk7uuyȼ[-;rwݡK҉fS35 Av+yvȏuG# Ss1Ƕ=>x{F_` OD$l /mZSnC'lm ?Eo1Jt"Ed6=CdnC1`0΀SZXtUM{|fcV 1/vJuK#7ƹ3>HBڌC^^61Q^wZ3uoT;t?]974rM+ifoUhmiȀ?3ii0Bs%T}8>aYE}3<˗Y{jmhesK:ȄϾ^vE/ \5^GhXjg Hٿ]_\bb)b;KZ=iHxAʫ65ޫY9~t&wP=?6^˕z\TG. G)h)-dFA)6tENL3ʍgװ t]?1)߰/׀ gAW \vڞ"iĢV' EΖ;vrzfY$\F x}aRű#4 J4.+iN")W,69!DZl6HqyRPuOt=h!Ȕn:@&z/JJfIf&8-D[ Ce٭n4!hB<>O<>qsf əNxqC"9!U @Ѓ=ilM榻/y9JzݨG~ov4dqoG!`!e`˧j ({ʘG8|r)+RI7gWr'٤p"PEX;nȓDK7^x\?]$4)I' wtt@@SdLenDtMQ,`qF U @mgx1XY7 Y ՠ('Ȅ&p %۹XTIӁEշ|^ - #)OJStgi-[>fiHĞeda2P_I,ʙ-l`pFde23lOƦBK*OAڈE_uFn;Rakl%B!3^[s`YJR'(%|HOZM H?B}$0ݿ? 1ɪ-+4pm&fMFV; {=A;_cFo[Bмҍb=]FX:DWWe+!3:)K²?Ai*0r.+2ca=k:[ZOwjwY6lX83n5:kǥ'ámps Gdy/7gʢH¥M=3AF'ֹpi>:|uxdc9wS/jqUKQ< ]67R۝_ݗ.ccV$ru,&c؄Yɐx4!"i%k.NT@RRFe /{FvlȱPm;Ci1C |2E.T1@X ׎Μ L'H!~oAqåNY'TVEҗ}Qzc,zJdzpqg=: ꮅH,YLa^HT G3 Qfh_ГAd ňd2wKf*^^,aM c },ےa8c nQFDZ>Ʉ΃ɚH?: ~7[ \ uFqɨoYqO7pj`73LrB\W_TbAX%EԌ 87X c6ExT9Ň5:D.rA4sV#gW$cVfo>xzֿKbIPmN++ܗw,ݷ+ehkPyށ7YZyQzGR`4\q4P,8 KHnЉn:!NzljC !w4TM'h9S+id.@=AyCDMt_"Eh2X~؎mQm*=c/'Ͱ L q,> m ((ɑjcz/:EOiTRn#3|~vC hӛO!3ZMjDyf튰4/p~} +(U1d=s/`_adܪ(Bʄ9;EviUD+P'c.u?-_qTE\ r[QcrϪ^e Zvmժ&y1+67 zٷΐ7C-g- r?,˭W,̝kZa ? pQ 2r2?/h Ҝ\x".l*ItiR̽AdԜ4]{SE6V6ks@~z5nfy?qdjӔՁuU #DLcT]>dʝ!f͆d Ƣ3)3׍lllз%$Fcrc4':7^XNຽt9t}k=uLa`h/pUܳ{bޛzpQ= ˫ټs,8t)') ՈBPx&R"oxXosXN^%=&vqwjX;s(ӏk}Nf~e2z|2M斄ӆ DW3pxԲr锼2Ĺ!Džm eF$ OOmw?Wx!z] )$bCFML_Pn ,kyY4Am<Lː)mDpi 84!4?ZAJadpjJ~w\c}jDq Eܘʔ^Ku|;w˸CN!'1lM ڳn0ѧ`X 1Nϩag.O1_Qo 8|4ş3#L7'O+oh=И0<̉Ai B2Fڄ3*zi"ѧJ0!{ܩ:dH$/v2L&,BijJv@WP4&2Y]\M!V?5x8 {zUkRvswNРGoݲ^ldw9uK% KB1h ĬMx+u~8`c0ceFG)Rc³ WZIAn 1unkz,xp,&Ke5-nڷLڛ"#b;# "s$@/n\nKcH:Lӹvw^ZlXBϒf<!Qe@x%1uy dA{qq?۵J7VμVby˛ixP_v+  ~:X#N%1|[!O/B'{y.HQ*ZDSǮ2P(3ō>p)f|"Ё "%л H^OE;Qҵt(huK4{t"r%_VqsJ:Cd/_ya/kQm]`+8[jmpWhgBg޵1WM <(!h @E=e/lŬ_U +[#-} 憐A8Θdr P_I HN*`հ\,?t)i0O1|M*mܵŞÃ˅l3ekG3q&G1yzPEHB8.o:@ELu"‘<[`ǂLuN+~ٹqZij_Cm4h@KdBѳvdF`i:^B *:3BF8HiBc%I|}Q{ s0l sdGj)Z~~!nNICb c2mGr f^wee"71xgLm"HחOż{\}vݖ؛K4=:&{Uq& bQްNAf-5yp;$ڋێ=ɤ@ hbF"pxЛEH[*Y־Q65*&A6$RGA/̪IDt*q47k,U;IMB`hgSK٪2\Ԟ‡Ru#2=Ao\gpjj+}\&:!%Hin)M:Vt#̵\ly _KFx-d76oךX C.z(t/6X `aO `Fv1f:|_VP iSNO1r2铲=?qb޺ny+hbE.1oX*r0 P׭( Zڕ"WǃUi+e&SěyPb21tЏpX a3;p_qH붬L~)/X$d r 3lp9] z< v*!A<-L)/nsr5Rԡ!HyV> ̋V+FS[ & 1e2 ;ٿ|2<(̘Nx3PO:fbG>؁SҫT&1O#} D3j^(Qrq3[5QTT=Ua"^;ka*ʀd9&QٶgVM@/R^G7{+iū3½N? +X'F Ʀȧryܒfn8 Y73 VAO]!I٥kޔx$| K_3J'cgbN{ڑndaY0}Fғ&rDž`u651Q"bHn؏ï`MH[8FY5 G{87=>wm} $8d/;`|ͭ6!Ye75#osmj8Q=SW'aSao*x (نWĊy/ZoulBg X9ԡ^-%ţzDy`NlϤ>T_R᮴@#(% vdx^󮲔$R7dg'\ hðe2} mԇҚR63A~L6.yĽ*p<1j6jGQ ԑ>2"Jc֚Pu9ڶ(@g3KX%ZRP*D).cL[IÎYidsjYyb29K&*hf 6䛄XP(=}&aSg D(WGa7 O4}DUBQ4O15!ILDĸ_3Zh{ %5B M߅H79CLN:Lڀ}0E||^,Tbܤ۞5J':ҷJ6Zz7vQ\)yhGs !]d%$[ U=c d3z@\Z8߼)I#Px8@ov}"/kj:jJ,U\wg4!^ɇ!JJv& ~oAv#Pw Ytz\"M[,HLc1DD[[0(z[~"|KSa~ђ+PrԖ]ID#oP0VEY6C5_b?.M~^akb?@i(הs (:x&r(3ޤK_rATַXS=Ȩ7p̑j 䪗56ĶvF;, y.nӽW EHKL`@6c _jG}1Mv+ QChx ׺b%J04Nmlٻc<[ƫ0%k4JWNww:9f cEo6J_kɅQx]Y2o!R1pk$8Ll2|\z$B%҅m11=LGy>veƓb*kJ8xQ'-.]6 qO53=oz!mY GRyClZU ˳,Ip/£ӯbn20̶9ԏh(:N)rޛw2k9WԀP $ª wEIWM ;F'!'::ޥ)WDsf^}/Q7"}up&Rd ].܈GQ=S7R rOR: P)lnVEbHi*NiWe3q:Z~V=D S 4gYZ8d9801bc79530b75cc2cdeffeda1825745bdc155bbe5847e310595c720c365f3cee328952d2bbbc1 7d7164aeace04141c8f5bcb7d9fbb94248795f35 91c9d764198d5c3056274ad08de9933e915cdd17 b3557ba1336eea374ed7e5e834fce435b90ae887 62390a4dff299203c946d533ff382088b242ec5e