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   I1dd4 ]% HOL-Decision_Procs:threads=6elapsed=225.016cpu=1071.136gc=128.396factor=4.767zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Q `ilDu(?oD ҄LAD )ڙT\o=>1(LvQԞJ pQ`։BOZ)lg4}OpJ_rxqb>*?+ėƕfhKD30 [!IA27ِڛ1yqjnjJ“ѵjTsdCF{8֮~75ET)y~ S^۠(E5*v|KXýG!\Edt/YC7C놁"7OX\\ՃK'T:: x[?6Mx8VMkm}|uמ I 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 ɅXjwȜ۹R _7{8濙;~%zn;TL)&K#`W5) $9 YMZƹɛn/-^-A cPC8aAn2q79uZ5^x߇$WaC;V] {Nee37b-[i]3 :?(-GcUeӞ$ϟxA Rt! 4= s@Oa>9 $#>tVm0_;;Mfm}ӟPO?`1m׸c6}>6)KJEj'я\o \uk͋eТ K顱09r:żs,>Jfȕ7.xӠY啺|~lH Li* rܜUQ5"DH . +Y@z~=1eAwbJaS8~`t.#@5!}I~ͭu DޥvPzަʡ?/Zc@"ЧUf9J'PRmyoFΊXWQ0URkl5("[l#c{$5Ќ[qˆ 7+CAJ/agSĵPh4ܬ`[N6a{-hW1([ZDu<% @XbkRAݗ0Rz1)ˢæ 7n"kwmmokQ!#>#6Xz3##b9+IF[h] %%܉]‘4EQM PY7D(ìl3tZ,n}"JNaˁE2B*{^~4asdOW`5?&i.3#^oD4CdZʄ' D#[#0suṉ p`De8`IE)"׉@813(66ǷJBi쪡G'd6W0-n !@!a; ή#\ڳg^v, ;QqiBd=SF9 0| V۝Gb`unzPaf lkmv[Bj^jyUs>YmV` /;TJ߬zYy‚iT}Kv`U%1>w':ڇ3\v͹D(w?-5Onǃw;ft A`zذ̹ uqV%kNp[SK15'$&T_Bt+ݭ~%Rj4(zНċ  Lnil"³A<5y?d nFRJ329/&5[FJO83Y v哽a4DdJ_Y_ k ;DoDNP+[&0x?hNM@Ҫ_02$h=kUs ^3 |bJwlGI21r`C8yW-~;l5$/5m]QmxW3Xt\m.uMkREςi7jJ]do~5A( 1Qbyղ'm?,SoWd.-ϲpxn%{ RQ[j1HV4+u4x'# m?BuX/yY^s%4i/(Qnx=q;/(3YXyP3-8::DӢh{NF{SF{aEfĴ6oUվC/1( tKV]ѐSV?njǶ+ 'T}&"ġ==?Ǎ,PMadWiH-զcLKbBWx葎ۅc2Xxg3KpBv{رoֲ[|m nb1L$DJlKvT+N.πnu2,f\tKzrS(G- xp7?&9U.q`3w3}lg._DZNc>ܧp:@Rz:u /v>D@-{@GbaN6/5<;!=cFe䏦^j7mtZD,o?=dڤG }f,#SɠNx5.\eZK|?Zd l=@XqZtBFQ5@*pO^{旉2J[|Rɦ e@v\`sOAprd{ޟGiWO\%z46S>ț}&<ݩ=b@Wx-mVa@$Ŷ<0lXg2,@qV1 ,h/"39@99[Cs Y̛*l zԹ-Ǽd}6ƪɧ.#F͡ X6o3=WE}'9ĖON; d=aTsw;Z (Z*-53_Ri]i:/.94-U!Vd9Dvu)MH.Oaß^DC7*2`1~}'ln9JX~"zBxb{>u%)q0F ïڂ|gP_bƘʰ^.Q'Ks|*/1:/@3`g%b 1iM&;h\QRf}9;~5<&JWHk$nVZ-AyJ,v=Z~0#kM6_"%Qע#26pq_zGI+`&NQ#~b-@F|h(%\|f%',zI-97G] Dm+1)w8(9 єRr=*{@J*'a=W:rT"[4l)ZW|6.q 3FƦd/(+FyI/Q?-K GXN76Q)k}{\UJ:r A0}b 3ٽ;ppȫS(l)#*܅V9JRdᒨy?UjeBth["EJ < hGۛ^A`nX>@;Ԁ6 / 9@N3&Fgu|x`UGaT/w:u3 n6Q^|sik~#E"E(>W(8RIRƻCJOrOKF aU#*P[j|y'4afKxjva5V̵$rVG>j;CՍ뱠vbB۱ȱ=jY[2nwu^')$8ʦT3k1ux :ѨI3RDgtCZM^Lj43`hJ N2ߘG(9/YSzG,N]X=P3w&2ؗVn}l."-I"2<.ɋ b!IsUK7m>mD̘趬z=1!%K|ˮ=> 5pj6͡h{o}[ÊQ{S,'BtX2k/N<`z(g}!:$ׇMCR.6ai+!(I{L\}4hzk;kVoJ6OVF`ꪓ/"6 %oDoN$ .#Dlgef+**Gx,,JE;"\`_`q/8f$\1ؙ-̜@Ur->Hs Rʐ7T>ah<"nF2YY+C]'wL\//> 8֕4ArޟY=Lq(?<5-ҙ/ZqlKz_l81YWu2=0Bdkd CfHD["s?+IaT$W]S  lD&8R'^@+χ8RbUሁoa }aYutZJOc_]k J'bmXe(ïv?g1^$N&9|WtҙQdol1*zhjfK'wq.4c}Se[)5\{XwmM>._!IzVO @=&dx@7q8mL>Utq ڊI1ifjzw(ى3%_/,c_L0~,gYZ7zXZִF! \*]ŗXiɟ17L? KxlWP8SաM~>fٺdˡ _ݷVn敲P:hys˳(2@(:ڽĆiw0{EiAwTc/f|\)J5{_D0.A*<m썫T=}<28uHbȗDqR@𗱗S+<<XQc*~r1ôt>w? f|9?^%ܗ]z^- X_)vt^IV#oW 岌y}ABs3 QO +Y!%?+q~@ %](>y1+H3Ƅ HfVHR]AyW>~P&~@UhuS\͊Lލlٷ@<"+/gYZ7zXZִF! cF]ŗXi%JϳfqGd7YP_p; u7@qL<.ے~I [!alǞʁ&~f~&$bS&G%r௭v Vݪ ʽ=Dh)pm/q/՘`d]v@5SZyա+k#F;hb,`t+*qu5hZjx8ֱs=iK,?>i J-zLmc^t埘{w`U9c9W/NY+q%hZAkT "# WfSxz*TjkpeAOwՋꞣq6"Q?ˬKۖ_CɭhYЩ?!,2l m]%fY>of\-!}d1杠iSV]ztLClƜ6#V~2\P)|4lAe.%ATR\{X+l'rlH7ϛk@9㑪Rof0a.–C@C8/P?rxQ3=2 xa! gAHx>_T dAnJ&!\Y>LXscCb' ٢9Rjh$Yr+H*ddKyކ{Քȧg_~Iz*9mIuٍ W$;Jlڳt8 RXO۠{0a"?+?W5t|Z~l+ZRW%v7wU>C˜(PϚl:2$5we<;LI)iA[H~#\̳'eIBD&CBe 25k3&F~^J~ hY9ӟko'J}Iʝ4zW5V yկ*o<"ExH+u€ (KIs~r>"`E}ܑ=4o-p8!k߉E%=u/z5^iӛc""@[#yJu1/۠|s z;Fߐyut 9%Z6͸_ig捷}vџhuu^ik}qnJnE Y6:'4uPJbs\FΠQwKUfUQsDZOa: N80I:ЋC3fUdӧW .qAY|K1젂όm&lsYjX5Kj>eUJn䧆_*Bji )d#J% lDҸ *IZ QiLPp?,NAPu*CϷIVI}>^9Xn)q%=WP M 3Z_5= d˷G?cU VQŜE$qz0+ w0įk!-{F`Sy} UdzP(^/bVAH+BلC*!x(2yMExZ?e Vf6֛p34џʹ*IQ K7ᠡ!I |9/t+?kR>G\Jtվ%]ab_!|$11H2B7ض\b{ɢl)邼Ue+.fpqOTuO;ø9-(3Wn!1r%=9Ov‰N]:ߛ0e,K%˗eJWt{a[[,j]\j)EL37[n:Waʛi>X`cᬎ smve1y6S G;oz4`Z6n)*{2Ҧ)qq.tƔA2+i>jt%ݱO!|՛+3& W1Zq6@/qd;H֘S;N#?x\%8Fڢ :MBH^Y(X0fLSȔAqz=n X{}zTLoNL}rv~VXx:ɛf '_-P(2ovؓ5ikD1s[Ͱ镡Е} A+:3chi`Q #SR4 a~*.a]rd_{ULwԔb-3}#EMM,v6D[o6x.awd>䫆Ǚ x{`6W%5$l\zpGkGƱ$QūCZ\rPGX!oyGPwrR3mᱟGL=f"?û jbdSe袿(qè9i5&f@f- ; s*[,1n=;iwX#Υ"5ӎThD͙}) 80 XSe!czYT6v?mKE/|묁Vm-QTf@ R3{<ݰzGP+h/3nE{j!{f"MUךJap1(.3iѽC@{>]Jރp x*FG5L7?0SWl_VX!]iuۧjIǧզ.IF.=s.AG&حM S&6$IqQh @k\J5 Gf ZO!a#OyG\QDw=ewG5 xQ'A3LX$4t#:b"^{F jGH][2tPb#?oo5"*};[3z'$M*TD߃d0V|Rq+73fu:!6qբRRr~4Z^?Bnc{ob%(%YC )c3qQLyUI{GBeM+#4 u(ւ=" U?X#D ~2ggz8^r)2#ADOHJ ^2WZK(#feN kP$,\M1굙_::+hQkcVi\~]("Vg%wL:hI7gؤm0ȝb\pxrƕYϟcrrًRE;z\aJ)o"0a i>ZzuY JXnvPQ܎_qA}eM[ yI}zR-ДNX Py_^nIc6TW뮍іc-HKqSiu5aw}hx>|G ue~/D0z /<7|?:Q,AA'悲; qtJ>Q~a&FJH:RH H$ʣ˷F @_ qaٯ(53C#Z$ok5@ABslq*{!̫b?ZaСY$Y&G3C"`toTgWT8rwH/2I{N zY8?r8 ĶErO\f<S{y*Tg|z jt\ J{H*߱ T^I[qJ`5%0bJ;`եWDlGL?,V@K7}iÍ8Ss U)ޏG6d f(K%v*È"堔k'-5Xz+:qsgB'{p)йp 4Z 9;,`)pQM a&G -ԅV/[zAo2:!s1 h6u eքay98"?[ `BAef9!'`dpԊ>~_ղs ݄FBAzO+r $͝ PB𲂶-k()"w94 Gj 4:@$7FsRN=c7sU;chw!F^Z3aH(\Y?{XyOas)X&>U/?;*!hx$81#\_W;)f0x 02zi*ԆFh~u@FdEkQ3]7p4;B=3ӋAE T̮n)y&㤿eB ]R4Z#PtCQP$S-k ~ pIŽҁኩ><ÛsO-Q{h 頩lI3re ō>ZQ1猉@j{`ΑUș,uuxs,M|J9W-8>6hHϓ* cRqfsteS.2+`m<}7kfxpnKuTRD{Ƨj'MuR\0сJ/T24L<[bA+daUlDDn8wmy(,WD!6e 9ᆅZfz8EVfDSèx=D 'qVmJ3cnlLVS}L?$YYޫf!)UG>ufF'ǽУʽRtyϚw)`~heJ}h wfSyI_a?6hfxlJHW#K{uҗ.MÁ 7MyaxJlYٱ{Wi!Tۗ)(ǷP(/ȯ*͟?`l6?@an }q %4g"$:FKT)3le]lʤPnR̸k` fzWvvœ- LT_to&h60$BUd JӂGaK릫7"HpxN:^eeU * QA MLכ|(23=>.9YX_0{;%Bhosg_:1@/tćT?JK" 5` OS,y<2;š)}rP0l9e>(JZTW9ّ-HDYah"^b5*Q_fM"">z|m 5&uj1_VŸ|8/K2Z" *ghf@ .! /WVdYZۮDghg\k$"@ky oDz'07ubyJ+3[;׳N~ЯS=/-@2^kݓEW&!Ebg^ Zzx)*Ezi"ƏVrօ ^VBh(*-\( TlՇTs{ b. ߿Kg-ݦSCJx? =qI٦k MӚL^ę;m[;>xu;NkR"I0ѳ}D ?]d1&A4TL3{&<^yStGrr;QP#,?wh=dGODž<*jle Hۂ-zH&Ll!4ZBAcқRc|Η )w[_׶"]cm0c/| Rh֝ i˒I$J""( l+Nk^Nȥ[A*~hw;u&Px4}z[[۩IYKna'읡N٦NSE#yEH2hmJdPW:_XKӠp -u9m&.8ELI%-_U+auR.YKHQV6iG`WQS|}TdK:ٗ-1gxFFe$cS"q7zpmt&n'͝B(NPH F-9ScS t  '?nX2+A\ƻ:dx?SbMTEuJ؍ i,XT,雽ZIOFko4K(PH-I\| fSZ  r"K/,Xi4x*Zo6a֏#;%2@3=C2=E3)[Jqzs(nYQH h fDTw՚}md|)!3EumrWqD&>!k_ %s(L7ݖu)[VfIKSat{8uAk G򂻹 R9oYcp 9ytaL<ͥzaQ%2ٝ篈 7Er"+kw:91I)pu;˙141KʶP:JC$ JFPu`aFbYNT =9 F]-Gb&Ku_&x7h  ށy=T57.rdDP0 ]orxd}\b\Kݧّ43í6L{ ?t8o˨ihb~[:'q\4mPyTQDw83U,;PȗTb?/ /%6W^r,9*:eje fQaU\etZ+MMؾa]a9=S /aD3!,W"/k!6(m(;6&7sNd4"aܵMqn5M@EE>ODmECpŞ@P?5LP]1kY.YI {H\اqH޾.%f哥u{&—0>mnm%жAwZ6Lt u0LS8URmUVF R#|ݚ/j;/ِPCiyB@ttW ɇ(Iwf21}"ہa Bp\YPp&ʧ1)R|W,\UwF"Cr?4!~Jro}I\o?'U`A<r{ =`Cݏ+7rn#O~pTt KRnV1'7qhxmsFu6Ncû_5TbpQ47cS>؉IR 5UƲ4'd_4T.j_ 5NHCIdř Ey;d@X>A9-GH?;$,7'ptX: fE n8n?|x/IȄveGSهOp2߮ %􈋿΄?L0os͝(S15igt-ɝV^(NlkL(`ނig9dD#6}31nc.ߢG?A 2ѵ=,:W5J`)V>HXPvbCu[ PT9g ? )nZ'ᨆŸ޳SM =[)? oc7"T'ua Lye #~KTp"H-K52Ĺ]E /}n>$b #dD|I*a] \ -Kc%i|"ߗjvc}mC=v}g ^MZƯ_AVtZ2>=4(pߧ5tnK^u!;W zሥmW&XCu>6&v:HMM䭹SgVL*tq^?mU0A;a'Ɣ*W[TVvz?ܷl"U?{!+ =dk\A#r?Z˅WU> z,x8̱r@Z {B$/,5& jHpU.SCvR X'4(v2~vP |aڊKqAm[ceȷRhg)PMf qV&`MqT,:hpFqkCX\~2Gl?[ߘL&7ı!fxm;ޑl7+ !cdoSkR],;p\dDTƝWv˃0-+?gHVhz%w N'{ N5)> dThbAݯKilDQ(~M{"=KAƒYxq057[P|6$ Ԙ&wo]#ca3B/"$= T>%W6v?xIu1^j Rz= 96amQ>,}U җ6tgU N2Ҽ wJl-o6ṵԲ^ ϱ5; H­DH'ARӄ{e@Sno0[MWV4J>$bSuPTաi=#nco֏ܞkЙ9I%)fE:sb X&oD" _)Bo/( $v ^*D) M&z"+ϳZy3n2?\z)3)P' 7(E Q!Ub8 5xDYIB\x\`v~wToVxIBGݴXb!3ta\1oTCEO"=f'r_B 鏁.[_{^4pKn[z J-᠇]%ᢋ"g=w%I7/"*7鏜Dr)NDi@PI @(qR=0617s0<'Opjn2eVHbF@æ./;Ek)*݋*Zو5.˷SOK;\2gڛ+ *c2ЈJc`.R+B:YN$'!ϋc'Ʀ$ZGH _ieٯ?KS5ܙYSSXΆ+ӪuEF!Ês&vŚ}2:bDV"\A4VNfkӜ7qԕ8{[Ae vުHfSXe5އUCƯ!j}ru7հv7+Խ# qZ'˘`] kLF/3ܭe"SIE]m?9EcT3>v:dkQ u]O4 UmXT$߲-34O͘z<5u2v~n+w+DaGdNNMh1 @_;ͷ;QFw?Ua~.L5/crxJQ4UAĸ֥Br{QP~j8.Ôh)8yR`SrM̿e8Yl,PV7qѬ@,lR^#KiendK܀臥v~.TۉM+4n8q6gmz;T2cW'T~i#X"3ӂSGH4jOV:o6UKlLl bdx ĒV}ŽnaL1Jv,-VDL])!/I+vIj܉_Ï3ieMq.sF9Em/K̍@ 4]}B5Yz6}䍝UbWVK z8-a"/+t%-^7kGA՚I}Vl 6 FqysZ|$z=Eu)MEn$D EaJpcb6B>1"#| P|\KobW3T`` r~lO Oz}WZyoTh$ ~K棑q 9N]%tuXNU3h5FD-BS12 /'xarw5b}TB;^\9xȔԙWbgor4qmU`-w Sh[@RT|*%cHlBA4y!oN=H+:OZ«_3lU|Jz{e%*z4GYЉg~5'<~[\!F:B,ϔN"iJ4['+=(J4x[ ؃䒒SGإvSܪ;I*z1œ]uMBc7[Ǐ*;RnjqҠӄ=\#dKKi$]@?JUf7ˋIcH0{JM=29k$rQaii#[( s & h+bLzOp} $D6FT|𩖄5WEM tNVk@M kao5m*Kv}߶6k~@FB9-Z @.ŸhBqFZg0"c$H1J,}@G7CEHQ}ixIP+ (2 7*Fއ(X]Pf/4eH&J< 2XL3S>̉YM\7̧6N^p '~jx9O ʛ>9A}Xρ D&I[I0DO& wV5B@ "g^Et;[cFd;٬}d R}#PeW\F |J3l5@XObD}:3"FQ57c-Ejc^/mr 6w0gOw8I(ӯ< pkÇ3v4~ քֱIV?|"α؂NL > N!qT ԐG)$6r uPFu)2H x$rɎzVH3dr[0+4i\^F)W(u!BoW9'ЄZ\YwLޅ ,dU7Wsֵ욓f8 ->)X=?av{?:}#fF'+ڳA}ߞܕTq\)8L`vi'23(P?lb!i7\Bux3B}= ^V9Opl*}HYx1xÃaK)4'gH_Ѐzs٤m4e jqFsRa\@l6u_N_- q6&j~(d;KUi7OԶU4$Xĝ?a2^VmxKdz)N8`ӗKy/s.쓩_$VmYGlz姌ҷQX@]{Qix= KOZ1fJ虄hz2xۜ;A1 ~޴ jG-*t$5~ZRLKԠ%wكv8]~=zYȼC@^[\tY6X6Rk&ETm^=Mny}mD8*lPD`۪6u=^'.b}g_w`|í6oUl/^9fa'nZ#bLo]h +Dx/_H/(o|pFONH%3t<Ṅ~֜!8u&b4'Yq^RQE&&u.9 ݊/LQ8J]TLvf ՞HC a}XG?|6GH:KĜZi9~HlNq"6ݡ%'*jTG`An 0Y7m] FVɡ1y~zQu_ FvMڵ.& =(z"f{-?}f;@#bgYZ52845f6f3be60b8ff1e3fd5b91ab48a1270e4f00e8eb12ec958edf5a5d2cbf15395a8cea53977f53 d1f8b402b68bdff9c63c026506ecef83f5f68c00 8c9c47ffea96e9ef206523850769921effa86458 9483ab76a7564dafd94f67dbbdb59f39d317f01e 31f8bda6e7b47619a031bd78301cafa68906dd6c