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  # #=1tl ]% HOL-Decision_Procs:threads=6elapsed=228.081cpu=1093.912gc=139.760factor=4.807zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓MY-.M횗S 2/d-ٛZ.e2+`bDB gjMϘO ў\fj0uP*Ds&oAJ}}ܸ .ʟ'h'v7oOܤTy9Czrb}Y_mD ]8g~dAf.Fb)2LhAf#[h<޺S}Q#ɐp0ex5Њ-v.2ݓ-h.foqR%6! 1`̔&.EJ j_G1+I(!Uȓ$ Fnc5nk"cmV i^WX1.9r…`F\3+*VPLY  5=-0Agl{#dmEג[onlӲ:9=(|))<&!B\e8/7w/Hf2XE=LIw8C!-.+J]:Qج(۪T#=WrHSYKFWe&eҢj12Ztҕƫ9̵؄NXU>y[/lyQc7JP74qB&akF]Ё n;U3 ^q0KSFh.C\&_T;%`˗o!O6yv_ﱏvm 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 #[@g9+ 8t^XA 4AMx ԴS'MHe'Cuz2( +=܁˜TS}Frhq@.Q3PRaWG>Hd+Ŵ@&tL7<ԂŇ[=TM'D5S]W/5߈uh\B\GG/D$;G6;[ [[5L\tq|.:bU9"Ҽ 8ڑg(.:0եua5hٺ(OO?!{A4~ 1u?<4w& Ir8.1.KZ$kD6"EFNJG|a-b^ESN_ Vޢ:*Hqbm*5)+nYz*]Tv]sKx`]O;c:bk ve@Sz%MI?+i|K5wI^`I$nu%c3][de=+9oЀMI7}vl`HҴw K+̮Lr,%ؓ8bONj{#VKуۏ>E/d^FP 73N;br8Bo.3 @uV??}]ֻ\s羾|8SrLF?}+ >EE&HQ"{+]`b}a\5znE|d'E !5J>B%5. g%GW)$rHe ^Tx J=u?+(o0Tq KT d*ZA`L\寬4s4aJ%]g@,4b& I 4D4<4rlFPd(~UċQ_4P4X{$T^toua1Ԧ)ڲg,ͅԸu= u3YmW2-G2ԕESM@ N rI a Bew]:2Ly[Ъ8]}-`o*iCB3vWID%e8^t FgHRa ..w%Aoq# N0$[D(-8OGFe)2t[*]u{ ٣ Ņy\̳mٽ g)Nه[] ɚȺ5suuC&ϰC"4޷|_ 8Vgv@nia:rŢsMUڭ {Y/N]vDK ?8svմo/*k +5b:hSEkka}LZo_W7_(/oI>^Dx*@7_g@Hx1Lj7Ȗ78yi1F;ȸy(wđBV?ۈ,P? E^7 ?ܘɽ|@@XlߝۼYVlŞ_Xk O eUe͖`obh&:kIrk(r3U[)T|6čKs.Dd,HM/nɶ\ܱ".ր)JC+0vf.~Z}5 tf%E2 ҕt )ʙS߿CsW NXFr++yI-FIp E4>|%3F<(%A>Xʞv~)6B2F{3 {`4s?9͸AYrr/ZY1zwqt+h5޵ 5y2{H^4cöif~]7t/c[A7 U b*5Lð.Ũ{ noak`c_oS]XZEp(^?sJSe bR PbNqg8jbr'.C[j H-Ӟ#Ywx!g.xO4n$sD=m데.9TWrʿ"ŧ.};R(k|Q.2d!9e :ͶdӃ[ ^ϓ $6TABB< ZlEy‹by ulmr Vqi@2Ljq`7[yS,rЀJ1ux&bnl|5gQ1Fg87(iCf{·jG@i7mBFug4\SjG乲 23B{$Q k*˾rV &8h @;|x)Y tB`=!i-Y2r'H}j@Z׏Sd<꽟`;LP:%a2X/ȰGM6ŕ;=<;7A=) @2F H 2TOV%4 4ߨ2n "&UG6͵uZS{J!QmQm :NuڤM\팋M>R/ K& u/Ovչ0p$ 7VIvMtT2&H`6 iup!x~ 0AW$k:a@:%z3iZ&hWt)*u=5M:+vkgNtH0qXfa+n CB\|VwfcIDuGsq̔ %A ofrdx C<# ӥIS<ә.QseN\jKUp5x20\CrFdW4& wggV < #yYgnO̭5Z7r32삜o3q+$6RDw)ݒ*S^#s7IH|V*ې&;6UX)jZ.o@/Q~椳g܏N- Y١H@^x9!яks̤1lR lD?DG@M^炛}v=y6 ܺA` F$0B9~qPt{x#!TFYp1ؘZOŷA|=0P!y R8B$Hk\iKQ8ş>>qÃϵ>v{ ;0)6/v#żg_ dF9o"y#| pN$$5b rn 8*3.ֹ`Z=&s2 ˠ 4*#gsƒTz*5W(f#:JrP@XS1k^ߢ۴MػAYѿF;܆8vR{PMYQ 2G} Pĺ܅d5,TT.v&N$Ht"Ze[aP tG-'#R pe"i? Q=b7u3]LrSy SNp(RʜcیQ @58}:(iQ/H~@'.D^'>~&9`1aMA%t%(þ Fk/Y?!  3XYU{91$2LI娞n8Qa<sSCr>1^0% H3$ILr鹐^-!ixj0&H /ߎ cM@TΉGCmYs$t|DN/| 2׆_rOX`CL] ( ;26 .(*r z"ds9.ak㚑7[c2sQكZ rbEXtTuo\gd"[K$㹈Gy"W}41u,>?5B55؛ }LZ.=av,Йখ \סNG@z,dBG^)܇YןhXRP ,M-̴ȑBRXY#VkZcof7 ahVk+CMo9 `Kv4+Zz;/qEHCҞ<ҴȲ}2V=tLs_c)[?"#8b Q!Jvn߰aC. I; nmbL' E )$_-3|qxXjaz=}9ԝ×>xxa"$TU`]K/ՀWPmDBDZq3,M 7tT[BaNyߤ WkE*/ 7sVj?Bi!{5(#Qt;븃ր)#uLHo:HVXt߳n&*s_-W!c;P# iCXGwt3|QB#쮍U(~' dh7QݪW&h?k߂ZbPϓ3@Мt)iO@nPnλNFM>wqʩ7:yOZڈs}2 _!pALNs!gn3 W923*VeR١P/haz lMwuS3M0)rfslu~XkY]r|h(rbe8̘MQQ𐽾x/q-*č.+,GHrnKNnA#.7}r+I5bh/ *N E`=H\~+Sjmd%afٺd: e5|=-[T5i6*Kk73^]?KU H|A)\FS \k:z 2ȬdTIb%s])X9Ul0&&@)n V?'|S>{Ijv/zfԒ !|6V8 z78$lb=okcm-O68-T怚CjfiIpԃxʫ?70*xܹh<3nnOJމqRjdj#1l"X() Ziju" U[NIp;YBW"{/URL}H%..*43Ǡƚ T]jz2`c>ZQ_CߍL.|34fi5KX<ݞYe(-x6c70DkHnn7}˹+v&ѳ*"}֭)fYs'_*0\j6Sqy@ljO!hVlaYdgFy"ѱgYZ7zXZִF! g#Gm]ŗXi%La ~-|L-9ަI~'bk|qף<ߓt䥷tejzh!g*f[0i3s 컡=5lpA\vb?J߯6LCfGqM_+ ['Ԍpkpj]:]i&"W`12t*AaQg PY`zhE] 1e(X YIRsw lٿB6|SՇA@ydV><~ҖdΩ> ?c91Eh~8FPLY,{Rnu 5Qqמ >ə 6FBRԱ K7Ac~jj"eW=Ҿ{AU|< OtNcn_06܅eiEnodɯYYz \::D}Ckɂ"[[sԷ%w[ˬ[ 0&mՏ=K@피'[y ԶO1rU@՛w_P< B# WNbQjxyc!v]ˁb~A&ų^^pqI 8T0:¢0S^FGCX=Tm~&%~[u.T`U=L*lRBgeG*KԼ`{ 3SCÑ'ǒݒ9K썸(dpWA}J\\_,)@C]Nv Mmծ$HQy8eo5'd@lea\_FI FEVzpa:Y|H9lHjW|c`nãmc~~my&}oC9u'dPE&wB;tn!d?\Yϭ"䯓0e}ĮDbYlbU{E; 6:"r8Q2=gTe?CB| 'X+{}%~:.'T6hEV0Œy ۋΏ ܈ӗhMhqCMu(/^&rGZPy@IXC E|.! Y? 2,4YKŜlao7]4GoIOze֜7 F+;D5-:mtY&ha HY;Y!ky|6atlY8 d3gnj9"NjGs{%YHsoo5Kr?- uivDq뻅'c )]˼ ^Wat P1¨0BYS\pn*,o$5kӯ |t}vn>>NXhZFƧ LºNqR gC-,Af=W v?v]/idqc`u S_J|WLZ{VmʛB#dcWbyv/e 5QL2 h3c6ǻ^7ye?i`8Lυ-T"D6#G K[áI:OnLc|-A8зa;fdi4—ٵ(Dմ~Qf`R$دpJlOHyۈmr4˥ldĮPS]7$[gr'ρǟb9˦hL Ut U8Zy:qa?IJ@FsF٨ v4՞nAtH m|Ox@*OkPjU|F?ylgK@ [x!aUD7 7KETّ9j8Bn߃'jc(vR̺`>Ӵxۃ02UNFNrp>Pg(:V0 ۉ[HT4M6*B`6 X12([Zi#FwKJvC;…םscS;h<ʨ)i ,/ ǻ0 Dǒt!"ʩ٩{AIvtC{Xˇ]؃h5l1 XcDdb4C^cn+=t DQ(">Aÿ1O p-c f3.\N`M6T,xhɠD736@Z؞t(y Ypqq^i/Gz ; ኄid(v4.<͡5e[yZ6LX6 YPJQַh,COXa4vpFf Zu:?Bi1w"{kqx)D4|z<@%;w"ү~gtuYkNByxD-wly{*tl t3H-k,MUQq<*WEA`_ItJhw  %Rgy(oQݞA4NN@Jc$1-ȿ3 dfmBsh,g kmY0'RZ`5cu fe>&6\&X$.@HhU#RT޺I.1[ (gl<ĝQgS8-%~lF ւPGyq/A?m@Nj~%d&;J牱nd8sǝ͵U"M'i GWJ?)Xg+]?e}4u54$k!YԿv7ګYml͞W+m؉eqD0zH<]X]9w;x^8ps#ú,̂8*֊EvrrcAvSi%S|% ‡B'Dž&?O1Def ׾FtϚLށa)'|>ުL}]ܹ߱A;;+6/txupz㞐6gQ _ka,(9CtM b3紒R;=Ж O8=1/sJMrбd}u70 `EdlwUʋH_Sq{tF_<2;Ko: ~eLßXY}Ox 59(E^ DU_ZA p yMN_]laN]ZŹQP0wPYtI"Wǒ-{4t3ΎFi L()[Xqg?IIZ'2%ޟ7}BB`M\m%{챬) $2ŗ~ ?f@Fa"5嵠ﶖ*˦sI<]F2٪n`|fc[pPEyenE9 įXWz !̵g@:AXw\|I~f+6(PwEkk.NZu#q`sݧUsDoƵT*,M Wv!v#)i1+q+ZW.'^(u\\H'8=.?>yi۲_[|@Q0e8 8SwD'?Ji?:Pٶ3/Vg)檢ۈ΀܀Rs`$| UPjl(Lqm .`v<*;R q}C$4 1xiί+dzrBڢ@*uʴ VCͼt%wUTnˡ\JΡ9;jl df D뒛2!/.+|F pN93<c*w.3`RoCNKS*+cP5]%t͸Ǚ,yihrӟ<+dP`qڷ}T'37꞊͔BR|Ik`pފ{8smsU܏ҥJHzQ ot>R$Nfn 9%Y~)VTq6'\a삼,|&J$ef?KP[e pXd0ա<^s#mc'DS FuӃoSgH=%6:LJNCx/" 5&AW-j!nv@LK8j > xGJj$Ec֕-At BqEť.l TeD=K2эe_Z^. .ǟUS6nLl<8@5֯ l8D+B"dk}ΩZm;z|%\pݾ/)6c* xd<=٢6yˌ>r,g߫j!BJF9?/ֺx sBۥL?޾+Rlw}gg_#7".L `YgfS>\jBypH &9s*ߺo;%C?~LY$\>z8ЃͿ!?F˝C^/ )xDE`~)3,(B^mW8K%*OQAl$9YI€_PA5*t I?C[Wb G@}T&YHÊb< "Z)Y&m8T%/8ESAaQ /#xW RrfLH%w@FEAf?7ILD]sk&qqTnmG/r HE,Wh yɘxϹvW+=Ɇ c]@c!kCpYO` Apw16+9_pTjM(.܍<CxKj{FN%nH]Eus{{LvONdĮ~&5yߨ#OF"wьDуYb+yIOt"7'g\6o?cEeHǹk]H򟹵4" 1+q@W:`πϭDO-I)xė]tr"]/5ޔnrNU`VZI>ca_ɑ-1#FyeHzzhO3ܓ٢@.y?i|累旺>_ǫ@@6!RuqJA:[aJ?uj=05W+](,bAhPd=հyYo\E4 <|_㜳<fICHj~iңʋ>u0^@n;䨠!o]6_WΓ$l5 8q‘a8Nؕ(OgOyЈ5&;y@p ;PbA -Zz]`vRiiZ;f9=4dJ]-ag^ξk}w:3^NE?r̜-֛H]h1uobZ3Q'K{/y%uk>-Rq^O(GkҊ2}+8* +Hφ߅Hzv)/Uta+5> y=:sWJo&"_g M>JC)*x \,z\s:vP'eUf1{kkn/KO OI)f /"g\H.rT0Odcbg5jUVMtVT]X=o2 .}'>toZ= L?,W$À+sQBedڀopTӆTvnүI~Ѭ)..~.ER qEM;b@]ʙ|aDag]Qb8ݝynnv X~Iķ>w[7p.4NVW%Z[oh^YdC/YW;#g]x2`$&$9+EUV'3Q)5`1v++}nѲc?ȱ1>)j|]0?q.'k _]=ma`e 82`tNօ)^$I˒\rklcYqA>Bov-QnN]RLUx[.!1aU +O[(!R21]#3HN kKUTkLkmo6FlP0\NV;3hƗJR5LjnuLtHҁS1f1J"%k;"S'h],Z{l p*[\n~Ws0Ùﵾ Rnt@=V>R40_pD2:dŸQYIіYy*|%FyvziM/;%\N "$Z~35X҉=cX.!(C❃Į7;zh 8ʄVw ъЛȮ{'oT/,y%Z- T>YAJ뢡 j P^/41 8_IϽexTW!_c ˢ\3lҴm K /Z)TEV.U;r' Z8O^?VQa,Kжxzдx#g_mWqRηEfAM:@İi @Ԓ>}VG Hp0H$8LT+R!`j2*0דόY=9LaނWWo!Dh JB175m$HM{Оh;?!&u!\fdK8 <4L{{^ ZizNrv@4Ԥe۠)2mP@2\[!%8b/w"fo.4jWp!aFR `gKM,Bs|!gIQD~)4yP$M%j#a Nz+NYXF]omt%z֤ %~@R`o O"gj)ë́ V챴 `VjQӓ58pH\rZw*! ,j"{) SHpnCc{=x?aСRHC6b@QT<}M;޳y8DBP:"Ba&vtE R.H 0ηZ}ufHs`^97Q 4lf `gq3-FcikDG9͞OlE]X<=z\$AU1, WJyDb#H[M!UԬQ1w[j{ϟCArL dv7^6DWŋ>{(gW;SE\5X;ܩqP]å6h}Ok},-e jK.5>ScS@l0D<F٠Ϗi\43Kӳ pB,~4ʊ'P =ԋtLcuHUԡ|5VċX}hW፝mMdeE!@REC;s5:Ŝ%Kg͚+cDDv08M|Z֊nq%Q9ũ fFhǔqN ޾c˰J?tgU7͟@YXEP@ 9XVdTRo3,rD9EBIFy2F Y.M\q| .]P'xJȭ@oT b5S+;1 )c֨׭LoGS R@PQGjQczD^s3Z E.KѷpvOuƢx(&ׇj,m匿c[ OмQԓEMh UQ2 ARN۵铖ձr~kFd.U!ڀ8 "zz!m AKS+QJvH\Z]8Ӣ^oYh]l,=Z޿gk!$]˰ !W?ngOf bjcX?)F6v=Ds.[a ۄ"`<&m~PSNa2gX'QM3f ˈz_DPp݆r\Z21[~EŅm5eT|,'M*A;K&9Ę{Kי% %H@YhW=ЈTvO/ܵ x̻hHFmi7͜ZXpswuuD̞ȽT pucd&;tuߜ:L F݆+S;.U7ŁoqNNs*jY7vvTNGTLd` m(Ay}HP1ax.K@ 7ݨ̘ݑYJ=p{Sbol$wR斫%!3^xp Յ]~.xf;c( ,Jߐl]e|ڔ#QC)&bRVޝ ?Yԙcug:UZ':DUVڄxDcڦ0z$_T2~m[ MYF1BWv~Ե:xP͡;hEǪ l&@N=-Tx,z/dox9@y&kᔼ:1ò9>@-eLEd@ @!B[}x{9-%@mџx9z~MBJ\AE/$Im5S(:N^&G*<~/n=Z ZR7tbJ!֮ OACG&qdW0~BP H6tKl+ V_ {UeؑțD "a-cl5T(4vxb8=צ'2uw/;k-=,&ߩ ;v36+uMXoW^~ :W(dʿTr"ïBY  KPG9g`?ЎђG|"+ .& @sq/(FSS fȮn2s3v$M g2\p3Lz6Irwv s&ʐġTqFޔXA VР  [kN$N65O"NoQg셙j+oGJ׭#!tt@G Oa r 5AOh$Azn^PUnArD׵NpoNS !#:ux`f*Z*ggEڇ{FY8|ivT*ifKk7:~bR>qnkDL+ h 8d|62>mةa)*HG]Sڐ+ϴT m{΄cNm s!k.Ykwmzyǵp41}lz/S-TS4흟0V`U!7KSuQ2y&#Ma"t s BcC)r>U;ߪ beOOP4?+`X׫_ZZ زtF?QEp7Xu(|8$-`Ğ=r^lC hjӂ%/ Q#v92ϒ0؜4&@ Ŭ:m- qׇA:w KkрdՇrE#ELXܮw; M²q'84=jIvNi!_Nya9m Fvm.E-@ 懧%GQxH=2j1^H'!nY` Bp=L*j^1|u3N/uACr|u?idVf{_!6@H>#mQ r=dlH&0nvA#Z{uhȨjiStŽxX('#[;\c>"?n!Nak\&.;ד/Fc_u$|#v*Z{AmP&=ԉ8 YU^{,a@->}~(R{{)[N@;fkRH3Ϗ4>[ƥfa9Eߨ?GfU#kDԿdzF4naܝ6s'eiIq^&IRlO Zfƒ>Zl-R^.jA5[`F#3wcb &lG:9i<~ִJ u)Ujɋ*m HJ$ oɳm.hЫS}5& _<"9npYq 0N=9 `8^yNҞvd^&፰{co(gxآywe7hMEd:5O\}rmI&!c:П] dBOI/:[}yKTٽ61#].$}){qSIٰñ0>_[Mv]W9B+t `|ەS93'c)\' _;ٲj;OՄ-eICTD!Oxjz-vH(X);t22`T4GVvA!=Jaz!>-IU7JCQ>VTS0Egz_DOQGR yeR܃Q|Đ:L]b9 7[)7v~Ua 3|_\` vh +z<ZW5䫝s85$WU}4* ցfÞ+2̺)Đ쵶( g*RCq.֚Tۢ}TL棼+-\ ,-2=-&iR@v~z-PO0-/ds  ĆkLQfhj1u7A/"JF3LQ2n6OHEލq7e&<(Y./_`׌Sq1:4eXgYZb81a56bda0db40cad8137d332a764dbc715f8e61c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd 18dc0053a95521338aadd53e3b70138a41dcf298 fc813ebace75fc1e73b91a6d672f5de298c77682 8a7bc940b03eb75500e0e62f5899244d9b88ec07 17abdc951457f7f53c9a92963c235d48b9f9ee7d