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  ; ;%1ث6-X(QQn|{o(UjN wihyfLq |C{tzpO 9)R[swzթAh[\;9*Nu6^R15i/DaL|)`8X!vag/6{iF&DV N$]Z]d_MoMbnD 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 XpHT! {̛ S)Aby٨l&\+US8 ɁTL۟Ad]=SID5=u+&o1sI7DC>"ڒ%C(My @ Ѵ6zU`eC~) \ Nq.e))'i3T?x";$j|י6-22 M3S[k ђݨ'/"4YdxqTK^ټq†ELj:o~] n01Mp ;L"SD3H_D_?5 9ivdqG1ށjYw:K48^EU{ܒr % +C YVzFF(`ηtJrGs"m, TVdM0Zi^BHźdY&xI4º#P}]Mⰵ}?F#e\LSԢ-KW༹#)juT赐WS(!:aa"w7V?=2B}|TaPӚVJ,E2՛#Xav0 `0:B2KOhM%okCwćo&F̹u8 Ǧd)H ظ*Qi~ j,[SdC6V⺧6=RIߎ"%=fX#N6ƕTZ wA8u΄c)Cq1}to.ze< Rȷ[͟iyȢޕ?]({ʾӇ/N9rm6W!0#6 ҵ SZa17K  kЦ'6*)~#fbL O+"簖x[Bg|D;B*iܨ85Je{Bc\ُ{EԽ63:_3Dh:[4A<6/t Z/Pyn1X> kx#**Y@` {Rk=!ߐpC\{%OY٣907K5Dηa %qb,XFHJ+Ui]@jޔ; 2j$Zwo-ѿyI5z"jJgy*gQ1*S+*MnsW%p p'8}vs ޷ y;)Xdve\fr-ceKp&=xH$Pq*nhtjHuڼk-Rͮ5E"yB 52vH+q{Gx=Lbx"&qu)m㐤v-*}n ]qިdZp_]yÃގD?ڞ=n4_mTXngܣ8tbX)#|7dMPR!#oOp"_4]oWIaS d@yW޿eqުВ=+ԁ3, JN,*$߲Sn,nڻ>hޕ.t>8gxf,6BSjTT)\~p8dlg#m4 JD $*OSB'fYV;":.m3m:]ك{Q0ȧ&eLNPMEP!Gsfj).ܓXm/$f-׉gc&"K`@Tw 6-m 7Uži1~:< -? Ej5B }.~q;ORJJLoăhx'IMD7 qJwHnk} _!ޮJm}c,4h7\@濾,tayLLEMZ8QS !rqءreUOcܬ۝T,-+Swz=T_lR֪ *]U: Ifվ>f|id8ݜAֿFWؠ-O(p -pV(y"pk~Oswu#P)uwickf{{7Pc.~<+ͫ jP<&MhfKGZub?"fd(ҲlܣڐU=6ʅQv! ۘ:M\IR1&^c5is]WJ"ő! +`w@$@˴H'=9U9W; 7c玈;s3j Hzu$%`HW>-`77͕:_nMؗOoI5\y葝3%D7Njh`hHzߢ8K̩`@O8]s?O'IϩJF?P4yiO<"`r=:|J>b; OID9{q:3S&9& zg7GBtQ0C|bTDj?$T:ג#gvmeBi8&'84c!$|bӺhZYq}_Er*>GM 푓ZxX`{w`@9kW u=;^ΚIWڟ^alM4;% mTԓo?+489!TB([(g> fqǍ,N:ǞU-t*b}ʿ''l1wnyRYe.81]WLnT@7+kD;pǫ;'U ?;ldP陡o%UonB㾉{?MڒRoW6Ұ8 hh/(@$! wz7ejbeTNO1aL`y:ԙ|m-rB`5 wZ]0)( Jݷ }>4%R^zˠiw:@ʟ#$4R(;CR$p\$/QF1f_?0gLߠ[j%ټ%s̴/oC6c#k?ZO٠ܳvEbER.ߟm'kx*2t 9ז Cf۶fCTmZ0^4.gYZ7zXZִF! [.]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-pfmW>LwJwl^e2)r~ݵGq>F#3U?w{&c#}{ O}^$Ⱥ@ǑAD_p8ȪU7EubK`6G{”sHtJS 2$eF)g\䱩toPDt^.+}!ՖGvNKOn }BKb|CpFVvxb ,n`DJDcj+H@^Q$"F1Aٿ!Prt?>wȮ,3+Kzl҈ϷZ/ƞ]ā0G bTI|x2\,O?Eì7L?6M(Oa<މnj˴xv8 LW%+%)%c3r%Iec_ ?CwOBbK9(:TSo={y K렎UsY0SCh,;s~dgYZ7zXZִF! EG=]ŗXi%JbmLoa- TgA [N6v IYcT^, h ؔC?>_6 V(ͦ$ g-ԣ"oc&p}vc3)"<}*!ᇧZ8* eh;N}Xwd&y<=p[5U19FAzYNc Ñ]LUX'y) .ATa{fK{m̅4P܎elN\h#ًw3S(a ^w1ÞZ\fs2eBwptuFo5l}@X`i&"OX\JU򎂿p#ةcNg/8f]@B s@GnkƂP!a57 6 ب{WƊjl6*3GuU!<`gn Tڤoa<@!ѡ$-IM9,L':ȃ}[Z4S}*tK#~$3SN.)Kc2狡Ԣ/j}?ԝ(zbwƐELC!'.ßV\ˌԥ\qc} kNJ ".ob[#ʔG}I)C<]RT%?gfxkCF7qٲHLDr}>yڹ&ɇΨ_޽2 &^X.HNVCP~Q)d_Ѽ/H4 |$1ftF_n")z8AYW`h L z(r @+W ۏְV%(MyRw!FKTJlk?jv'տm bC9QmKEP߃00$F}[2@^nbI -⦱ҕO^cl[5ܐ;[$,| ؛,\eS q*9|*.3 V=@=~qXGU6sdb*N8c/"ůwnt0.n_5.Q3>^l\藾)6#FV-%P'o kjH:cwۄ-vM|ymg]%!~?T=,f3ERGϦUBZ?3V4T`t(V&H7pO'1d 5!2 ?XR3YOO3[5j,4P(VofS*Qf2}xVQs@ť tiSZbps.ڍ_*b QQ]*VkRrW|/w^_]h7p:t֗kS<1{MWć`gw.mW4/Sb-֕s^9桽O}ގtԈfawԺupm"rm7C I'4 `bgrř'!1ӇXr[ZJВXg^KfetQdN=sAI߿^2oqѾu YR}[`2,>W sj S =AwnTc"uVYbmN3B3ᙉ&_بoMX<ʛIGӔ]EQ!1v.Za49Y157;"ac!~ުpo!:-u_ç?Df%VJ(:aFQv v7fts{%ܭδMOpO=@" ؚ+` zeo x5jqKF.|}d7V?y~g6PH*TF_rRaӘs!0/Л]'* 6. ,̚Eo I/^[.7N79BQI;[mtx,kpR'Sb/UmAip*v)fB"ucoȎ@<%Dv %5u׸M?ZK.J]>ALk1 +i_yI! ,34eI{z=d2fא ilr" 1]thgV~l y>Djw*HXM/XV E&2Y,شfTVSlcy_9ᄵ&nkQ3VQNHsAa&Jcgc3_*t꼱l/6.Њ3k԰t~kpy)yeRB!H [R8G:X{tW;̀ӈBrkY&~_`' 8fZ.&! IG;C9k/Z{Bʭc]vX&3׳NhChK?;](p],ՄmlZh7b!1%e/ ]4yw>aIZL: 3>7m苨9LߞjZ(19xgoX2ZBD)zkϲKS1Z-hYA | QSocd' yπ 7gC'3,W*{Y.RV 3iEU۷!ѯWD^x@ f&l?PAFޗ 4?bx&^RY{3/qoeN\Y:v9 HUMry'I4 4[DON. *D*ge}Eb%=Ve0)Qd;A諒di03[QtRFazá_b%áe᭲zP uV.`i( 6KW,_n6UFlm2Tf1Ka| _*\F>{] I}J]%})OnA&U7)RX?w8𲦆k}ު#E!NoYm ?Qv$,Pғc_Pb9_L?^) go@whU;䕊1tcv6j,\m?,}ls̩v>(X00Z/E?~tg nzKc6y5oHVBH_?_E(dȀxWX/=Zųܒ< .sxK-^tǀA!f3' G y ޷*?izM)OHYO}h&1UmĄ'I\({t+b3}Jqjk5e㤼.] 9M[epkHP(^)* DBruB54oXD9AlUcD;6;TYOx#d&PS0_._"x>;.*Dd,G:0$q]=~~sаܑܔېَKT`oS\02HIįsDLθ3!`GIƁ%(\3vehdF._8@5vߤ)驎Xm.n`\ۜ Vw?+׿ Bܤ4H@wY1K[0p|l$n敋.9 Y]8=:>J\%,0$8YS]/`0n-3!8K$dԨhH^@b ]"hd>մe*&I$: Qi΋&];<Z>F( h 긋UeWҽz^m|ֿή)ȡgq0N 먳22L2[86Ce3tӨ<(O@5XB% Q?'KCvuĝ8as Θ~HrLsC-s" jQ<}? B1ruwa#"썛dn/ȸ[rU1$RZO:\i/?)w*QX=Q h!JTНKOw /\9zKO !XH?=ɪҌhwt;Z2X['i2r0e4ГNjc9|WcZo h,Hi16^O 'h?/׳$ Gp3>8!IB 6b'7ظ_ f ,aH {KP#IbWfgijѸ!)Dq"-IH<kqH+ZVzs=Ԙ BK\,(O u P؆bۂ+~fᒘM≇~!f}ja*MFTcTnA4koH:M} /dea6ۿqn`bM';yĶtKqɌ9ѹf79{n+u[OT;M)R Kt*u>| @ٳCR*a |3E ) dDEbQ;ǬYh4i O^nYHP$QGq(d\)/}q̸+JZ'>0V<{\ɘ][8(Rv>6'_q*W6߽ 25>{DPӳHv~hz]l+̢3G=80EOႆc"S<ړ=&vHo`T+fusz5F=ik7XBZ^x]&w\멏xR;Yr7ayXcmCJTJ05(y]V:qGˁ nnH8Pfhvg_'s=UkF9-m,a^Eѧn#)t'rH`xM+~ɏb9jUZ 9*SL'֪(hP=I_ޞmƇ67d <(.;vRGpM䃓Rdžzvzaw!WYSAwdѣaMRZBZ⽲K1!YGM@җ Y皗z0@0 L÷T+Q$> @Xj *('`fy5"khl5}.L_2 LM`>9)M9@dLNj#-/tɞU,If~Mu>,lvc/c@oK s7*FbТyaU(1 :B qٍ5u=1s{F(ݑq 3b I11iO#4'xSP7Ng萪k؁Btkk؉ Xld)0wq8Rxi{2/٬,ηhSƆ`cVYz,).$$Җ%]RY DE⬳nt^!d{%"Q[F;t^DL^+8M9 f_OOx}@ [{`]gm8+Ţf)t|N )ţL? h8g̵m$VJ?XTeONɔ/-:;" `~lȖtB>__!,4I VZߧX !Vs1޼UܧAM)⾃cZy~W6Lz*-xԁUI?&+ay`VܲCpb8,4R4 a/wd;9j:Nz>1R &n3-ٌih^;3c:˒~_U̺* (Dh/O#wWktyЦ'sK&d|c#P D2>ѓs̖Ό5^1k @}AncLg _[ːCAC֣VXeB'7k!al5 hDE@WXۗfk3(sE}$/B;k Ɂy׹K0"a v+F;;Zjb僠9O ILt1(1MnvT)~NUR CcpTLnʫPܧМbr~3ۿ^ בzY>Mj){T6l lOh9bMz)kr.ԛhNY,`Ϗ(7z̀>ˡ30ѣ>35⃽ؽV}8UNZvPɽ/jv" -/|98}ch9*^W5Yǜ{L_%,'/w&e EynӚ$tZ&㇢ (A#|ďgoȲy狛XE7 '*(6_l %1_7Đ:cZS˕ЂҖ!Ȫ9c[O>ޝ1(e܇N.Wdө]ۨS?%߻ Oɘ=5U(v{#@Ψ$2 <GsG/`gHyX}&1+>1 N2URT}Wa^Ӱ앞ns^hp'fd*bo>4ME5>?Q'6`5Udc3C!φĀKWLoc*롊$E_`]MCGD/= g|)_F^jx uPYŧԶ( h9pjc>[7;WZA1*7w4Pb.݀5pȏv<-ߚ^XY 7?JP7hLL٣L˵-NOa>jjbά|+)eO"5_#_'BW4[juL\obൽ d˙4c)Hnh }!b{٢@yxGA+ݍ:)_̰zJ zRʗ6O`7馷RP<_O圢#zװpGC:INvYht edߌNNZ4*>fө<xup&StS\y]H͟V~޵|\"UYN3EilWNe# 1up@+4YYԜCR(4`"q2G</y1E|;cFo.>jj㖛|iuBB=Vj:B͎U"NБ3 T;mQ]?8 p|  s&ͦRE4T-X )`}v 9 ]ԖM6Z,~vpFA&>("BXtM<jE6MpZ~L[DMŐQ,ϔiwZ&G7o7'"}TqJmPŲAx ,wuV/үӓHradTW56"}]`qJjZ2ZCLom;VZr-e"d*_+󈂎BBʱ$z['X8F`?Xh۷S `nДxΣ ^:oimh %.u!fBy73~}xs_yoL :Bvp DǦ \;UPx$XվuUTH%Mt\t5homt'N 8t1PcBJ"HCG-$  HRD`Q `ʧ*߆}F`ъ`rXoUeܬm4M+0Cȫ !y惵D qg "ſ*y%!-2%Pm{rnXiNFtiOj% 2"$%(&v/76ƿa@@J2"=$6GQxu~Ag!WB]a䞅BƇmVa`?/Ϛܰiq"Ě<7~A}- 8zŚdyVٟ,{FMizz։IqDxy֑ RAüc p`T2 +x-/ ,>j_!kcjL}s[EY'ßX:zb*/mq3Er'|*_8*d(VL!&6y01~{hWPZgy2{]|s+D%ʾ V&õtY-a;-kDJK'vc[ AaiۘRL9w\x۩Mx~K胫wAs <*&=s6C:%Y[x3j] gB *<|&17\ɥ%I#f]J&:v0OARʹ'[͎ uE0 $czqjLic,@4ƈ*1F,u"nBQ}z3egJ4~;ɴ2UmW{zE1(`uq#+Za/X?rLybIsFj#,EMY)R{H AXjZ s>P\ G%*Q뚮Wya6 ]F/%ߡaVYSgx y;X2JS9:=qPRqKH$V++DbpIXk@.dmo=T螣4Oy`I/)yZFp>]A'X?_{bA2m4,[qdq~Rޚ.@SGmq9 ^Wv̑ѧ\R++n@WsFO\x7s|%{j"$t{"SE UI+5#d!%3dTqt_|u(~srז6vUA+ YY !kq}Ba6E&IMD  ;ŽXjT-|F|Y?|σ*Fw6Tў>*KݼcE"KhѤ{=e(܊ŕarݦ d-J?ħmQJAz2;$ Ui *=Ӟt敢^0TVܿ0UBܪ/јR*x6I$_ h1JiN:2,%}(d?I{;א,O7j1vAAt2zb: 2}m0J`Cuu2h-_<bw{$tIO6W S\?FOկ+XwCt˴=^|!]_]M U תhȦ ڭY{ o ܿ*'GbF_ɑ/V|щ,K\l9\ 䤲'_U L%4G@65Ƣv=NЋ\.׮o 7A=ZByQ1+H#,LڇHw,⬧2ݬahS80΄%τezv9ґbz |B 08"rbS^,hc x2!*pg"L)hhSbU9gA#@' )952(+>U u udԛUjԺ8 W~rѐxuoO -0rKaʷG^:F m,9è=8bJ ӜEP}C2I&](!\454(;OIJ/xA'm;a Xmr $Ky݉'%S0 Y,#:=TZ@mFB#DNŒze-j!G"#W ~;obϻnWzJ'^d9iQÁ (R* }Yl\Rf  Vߟ-~dW߽|Aǀx׼;}ҥr ׂ\$n +uЕJ8j7κ11vI1XG{u?59MRIV{ad>jq $K(N38Ӎ4KX+"U`erx0qױg|Qbk/RƉ `y}VHayh"#:CT%ULqژ8Jʤ 캛KvCȺlV;P`Y7 d^FSq<"XP)څ ^Eqh\?AJ7ƞ qmy: y/rj]Jj2=n#O"|+$"Q޳`ǹlvw5ސϽ@|P1<,!8'Yx$EcbްoKyX]1cutTg Y#m81bU%00b+GgEL&2W`zLP6 _R$m-Hf XpA 8]4,$]փrv?m?<>:`?aCq86{"K۴dRW}dϩ{+)oY zB3Gm,W pO * elXMҹuȒkccs}qk]h`z*"_Sl$T{ h<3 媶Ň(YV3DtƓUͅ`aE~6 5i=Lx37bH&Zw9F"*o^*4vsDx?Nΰ 8T%$#Tu%I[{O>^3 Cl~تRnB胞DB˂60>ů(n`b ޫve1\^P /6ظM_]vb3/q b 7΁0|DHKK]3$#^|CA4#c|D=a))0WUv?)+h Ǽ#:'k o:ERZnbT/{~@X)}a8YoUϙ+FY1˥;_9USKHq$QfL@ZhgS c߉52X}q6\RdڹF}xF:LA;Ч#-mIz[O{(vM۱"5ED"Lz]UQrr&+S &k%lJԨaD3m-'D_as#(i: T&x%S)_gcT+EDBoItUtwzͽ'H:坹Ukqϵ3p"C\ɗQ6ou8_|JA&uO\B̃t=wj\-ج+ UшGgf%Q^͝ldJm.7Ka2P1 -KeaB-^";ٕ0\xAl}0jp/iOk|sgk-[6bX F8UFr" @vZ iʼ]j0nŤ?jkH.E@". *Xi~ӫPՑʙF]>C0Ezi*&; Z1{ۦW+R9.o`5ED&O!Vm׮3[-ƳWbNV? !9ֳ'*bѾnw{~Nª:o@+.~57V=MQHfb8vDeuƆbҺ[u;1Nt=kf)]Qp`?aGsÚoZݾYWP\GAO-6Ks6ؖ%#N{%rvqRR )NwW&_<#Ӣ)s@A^wch%,5;W\V.x\me`9]vj5*'$y4X[;U;mpxͽ8p|gxXĒ N={Q0u /dٻ4o-(:fU#3|֬UTb g~# J8J֕> ^`P𮐇Hӫ>%kK173?q6n-, w}Q^ZNC]Ť,YWvNA(i^0d8}MHm ͮVN[)TrЉh@ll: ǹvg6j?7> tT4w\JG88¢ut( 6Y{;Qxݱ4sК.d;($0FI#qis0[ĘFLtݒwIQ^GsT3AF&{K*[hI0bӻ;kJT!8.TA-;Cg u)HoPc?|ёw` [m4@T`0MS/Cf X3<`ϵ40p1CYa=hT4|KNxLa"(߯pNX&0'r —_(\֧2(H.B -V@t$!WCjܤdqebq(6%D~CZ:!ݐqyq+vc(o¥,ezFi$CkƿC "g7$ Y4an4@NpFLW> 6+3]'&Z5fd襆N=sjCT9-/2KGzoKF Mjy.pƛWZSf4묜W4XQIgg t %@p:Ur\j έKN,yrqSﻣ4|+FS4Fg)f!`z>g/7X.ח"[q$x9 h@ct#ۏU~ZS`N8}P~XjyE!G4"-6(z49jM*86gq?rmϑ_]^Z#_?ʏx&>ؗ+&=`;IOo/]Wɝ`ӈUpG-Wʽ mA=yeRܿpwD}C$K@e+?"Bvoɋ>kbHaja* ,ٗ> 3Ns՚H<揳MkFx4.KFG%#aie!#n Sdzዬ[nt0 3<˷R*Wr&TgF}p"qn,00'<ZO3(?Q!X!3v^?opm|6`! */ >/"-kPc/`,o"QY˺|nH\B<0rӔ~X BA禤72^Q/َƆTLKgYZ5fc4e3663399e8282b0b3e80694e64d6e9e66dbe7a8e704ccea2b410d547e553bb494c61d99479c2 da57c5945db35fdf8ea8f0f69daec22595a33746 64272f543551b01eff83c0d1253e5c402151257c 11ebd30304b42e062086c44a10d913a745362428 7806114935d14765d33e212949076e886d897f0b