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,dd ]% HOL-Decision_Procs:threads=6elapsed=228.359cpu=1081.476gc=125.680factor=4.747zXZִF! =P]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1{B̧F؆1G]HG:jQLd e]WtH;NivYT~gjy v> ܦ=82/2&aQnbw.~eHeIu9ʽ)FPSq"$N٣? FRheり1Ca%n ۡU[ qZk Zl|XN3Lܬ*!e^B(l-TcEreE㩰ΡKqX*MBWi2RO;IŐoaϰ@;#\?h+Z0o-EGCnO8=6B5j}1~P'8Wb!U|~ܜHY+66V)̠W>|Yx;WR72OW>r0S~tDO_J_L()OQCUj/R W2UL&KljC!>]pS./)qW7mmȅZ}'tOHz9T)αh@BRoX 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 Ya28K{|BZ-a[!A$׭z6\|W-)R&bPoԒČk[w,Ḋq'[(GV{c\Yߣiy=H 1KdY3caW?RŮ=%# (C퍸2c; (=oSnEvO`c5PWЖ-~)'ˏM7)JI;8G+r8Qu@3"fŕҥ 0%aKcm)Fdzdͳw K 0Fa D0z}ex0Ht9_Hz͐;x(9h&a: Zuۓ 5ث~sw7||9<-[s2FV\d])4e{f>oBoV93@9(#{a\qqJk,y94]R^Gl}Ǫ=f "7oƌꝲ~ǡM•$m("6)l(2۾I^[RI}yEY+oEG(47@>@*/t۳}Q,=aVM|`3OU\Mمu߀+;Ҹ7j"8v~{**:1ʂec?,lgɚ88OKs6tu&ٖ/W4 RǍIDM_/'~'3@g%YDX湽9:C<7voONu7)_Q=&ߥVbwRuhMQ)CmU8ʫK#,= ABd.S|sҮcUóԏl>8{Ds$/p>D:J:k 3VHL\ |%eiN]MLr,8ڛvd#GtHe %DR}yUmkۚUDE0!|c|EgݜM։I&%GoS cW{긡rz:.(X3`Ƕbᥦ=,圻e[!w2\ eAM^ IS;'E豱d0ԦwP-u[e#ΉRxA9z5I[vۺ E㔖=<*+tҥ%3>qCTxo8þcƝH5xح9B3}xCG3[f>4 St@ -͓~{΋C58:˺\-%*xQNr$G<Y:8G;S0TP雹h K璷ZL3&?lБ;܂A3fFXoJh#?JF[i|$H%1˷Q;ف.*G_0&̋ »dO;tR?e?M~-o $k:MFggqfH|x&R)i 0 5<`?<)mUV&|AE,#KW.T诫yE͹+0 u7Q럋UhdM%΍2bk(GlvW:0Z'R NxR?"L"=_\,['x"e7ɽ>5^W'P9/SKG[qxit<*uaxgDD#@Nf0@.RPP]"8`kܩ)8-}ЅH`i8+e}@0ԁu0r̯0J(!\FSȻ.g{ŗ&Ϲg7T5xCl6_wD5{NdkStdv"%zRN\[>׼h~=' "nuWZ8m&{?A}*dgxGPs Et86Hp]*GEQ2?rz0ch0mbes|9v:˓te7}zRkLPl*BH>/;L!ma!9EiSNIض"> X-JHOZd)+֯K Щ{[v'h؜/܂trMF)wflVyOf9Y~)aDr&jT0MD> mv 1l>=y&ɷhjtWhr5NAT([e|HWʚWZB5JggJ`% <& 63S*I1O]daBQTOU(@bɍmBHΐn2+BPX)-ҫZHI;~N2NNv hʎPĉJyTd,U];{}U\n*c7}qdYc4%:BA]Ƒgԣ[c#j#Z&,E-?|6B\KVI_h~`n #bA=Xس5- y .:PMŠ@ g:oģKn{x}UxSsrt8Ki6dp O񧤺[Kf@&iz 69cNQI +yW6,}gbR0D>LE#j!=d͏XO0?]GRSu祌O,oIF@d;>O%-ֳ^"`OL'-S >SJX?k@h<)tW& }IcdG0)_1nso9wZzj},?)/"zlԵ*!{UC@fմMK? džٹLt4n;n1(P)z\hLw0kȁ#|YZ6r X dn_|3܍ؾ"?Y>ީ͑slھ#fa #G~ dZgN $KĢ|'f\wrXJ{ F &>.ep`C%Þ:0&.W]YaS99p={R!ۡn.w*t)#1q>k1/7?pR^̞M-OcIU9 LX TiTO39?[Y^ҟߖ$P{psS@6ѲG^gݽ cﮗb!/^ϋ,=xAc!,N PiBxX[؎|j)hRyK+12pBL%SقTo;G͊/?Cy9}pE4 P):SiS."ƾ KVEw6cGv]c3h;| b#uA6X03:Yw=v}xʧ]v|re 7V@o>jއmVR@Mb>jƆi/%(<:㾣P>=&|Gq&T8]~(_{]Oջp(Nc\y@۪|zΝă"5fPȜ$1/5-AMY~G&}NFpyXt@u33ӭ>Ք.|+R~% c%E캝jp?hǢjқ/9n$ͨnhv~@M%Þ XPL ynkӻ3r*w䶶-Un($w܊ޡaxiZPة m;ZťbҟKRB  D8;v<5to:bdFJp0ZK3;Xq-^2+NOo Y>PEД#dN] A#w.?gYZ7zXZִF! [*]ŗXiɟ17L? KxlWP8SաM~>fٺd6OɝezmՐ̊›,X)*8H!U`,~9,)j8l)3q ,,R(o!<>[Yaul4|Fζ%.i@CXTR);ej5g9j]~ }+텼,ӟĆm_.8IiIܔKh\x Ǥyψ[EERw@&4$)eπ\̃MSU] cTL&!#:C$\dU1?m6haH jה&evҚBRtF=mٱoM +"ǽu͂NlRI 簠ls<ե#^ ;J3@Pj27m4AXه 5ͲGXJlц=e]O*KxgYZ7zXZִF! ~Gk]ŗXi%GQnk\7^T^3ߗ-|)iZ8,+#k,{$,%0³ OH^^CJ]^S^g>Tl;̘L긄񏫅l&;,)^}m9ޓ^S'xaw /cybʳ=X!ZOb/:`P Xd_(N@*-|uu7!b0n<r\al|v&Zަ 08lr3ZYN-_QO#sCR][v!@JHmd ʪcI!w;!hv쎺!HIg]@@ǔݳq8P~*KbRCt5zc|yBғ_w$ə٘xveojfcl[W#^oʑ2H߮B˿rqi43̒` Z![6 fדoYS\h{V;׀e.Khf|Oׄ O1"#vr -rjZE~^ZUlَd^H^ a`=9CG;Cg Nn Wyn U?>ܼDY7"Dg zI<~-`ʸe gp0 }+T/!^?q5uTyLx?eUW7$Dy bAnd=Ccב򂳔dF!N`TZU%8<1Q#ߔYN5c%@ʞ|ZjxUʭ@e6'QLFF85`bBZ㍈M۬nJ W`Q}p{j'r%i+ke.Ad2̅ -rWmX ">%2Tʺ׼-Fssi~#9뚲w5e;NFآ9]WTgS`[(@ћP#vZ ۮ:Aݒpǜm<MpG/$KlBڝ,9ʹEKtp>~@#|9ɷ6C#4ˑ=NnH焨=#q I+DXV#p YJHh^ҤӞb@%zD)e/gmx%Q x292QAPp/^/<϶ H`TšB ,|W/nRLh2.Q-\oWo-gf;s[' V>)YbM%ƒ9Ea bCq{aXhi][Ͼ0= 9MX5ͽab.j*V [^,YCp MGS{8x}lljbBId}/ P#fx,mr%P6Kޮy!ʞc?!K~麈&\IBut[%ueu`+JmZeɟ$(ǁX19" ҀgrdN' ,@@2(m4?ϭnK^L4M-:-؝P~ԚZ77v2RHP]ѥX_t;lp6ˍ*)2nAyBM{8{\jk/ D8*( Jռ{>#s= HOrYxr6"*8fmTV9>s56E"Ɉ0SEz},DBZa Pe\x|1uC"[6s:%yDŽWQM\Qa v F2ɫM<3™ gmͿR&{RYMKHC͚֡}zըy-v=豏l"uz4,q- c17k3D7̺A J$= ]xR? Fˀ+")G{fhuYX`6}6 HQwg5*mR8gĕ3yÃ]P;3}؄ckw&kig 8&c31"ĶU1K'[qJ-m&;_E a3"pmt1˦e[JDp3brc{'I"T *˷q=%ga"NgN5<2ubQ۸˅u)ؿ—]W6o!pWv {-`U^uݸAe͊JikR@%ƹp%Lw~5)5SNy?lt jj9 3\imo F]V8N8X^y %?.B2]qI2?|6jx'c{x?b>$:l#xuО +zѩT >\jʩ;)N56g&Ζ1ꅠjFz:*t' F=+ K3}dSΞ5?Oo )n<#ZŏhC7E<#OR]wuH qeP@67~0z̘a* 70yjoYlYfh rA|G9cږq@ɽ}Fĝݳ&ۦ%4>aVj>j%eJ9.H%[תG}hO7>0]iD2IX _ޢc*jlgukkeݰNVbz E J؉Q%Kf@K]&S470a!Ie>!?:ͳaQ|49rX<ʋ~m5=ҳdP!/@Չ}F9iQ%[.虒ў8B7%!$ cnU.)decXL-%+e;~kGy Պ$c&-q^ d6 Dp5'XV3=\XkS;9ivl;VW5!#|QvpˑWsq] I]p Rr," r riY? jZ+҂!ؒG+;~lg͏lZ&6jEu UӽcF##Ж^{ {=5THJ8-QQs?/LxɪU&k_49F:f }R*{WnLڂSE/Gb~gsA'oN#e>ǖenjŐ UXW v\/ꭅT[*Q3~\RSٜI>I匢@@ċʻOoƙ +މXHrһT);R $@^(Az Hd/y4I+h;Œ,ue㩛0fGpHW^diX(՝78qf 1CeИSa1jbG}đ7 Ԕ5pSPj5OK=Gg*ez<̅j;p ^ڕs@>x5z<׫\&T-{3wRrZU$,Uu(}r gGy*iAH36gGzweC4}4+ ՖoI4hcZrا}ajkx b&Du]t`5rw9^6X oH}; km^rd,!˔AoN "rkktY7 NNY,S|O#~ E#^%ɝz}"qy_yaWI!$ h7$'YHbi1lAY磰&Suh.82)aƢpz5<k7y@̇Rk|\j)i[O.5c~҅leFVW_HVR;J;Y,A(o)Z/(~ƜR.۬G;+;.gΒ$uWr Rrd[$.0cW4aOߊxvv\ 46@PS@ڋqU`7Zx yW%UhR0NA}s{-; "ӟoH:įJUx`>=Cə> L=alڰ1x=KJ)et(SmJ>J\Sy[k9@*s&Rir@qh<&)Hk\=?2%CNqX%X&}"}ٸe[W0rDbpbHaOZzWKS=l#k P4]1zNXz4#[Md]ˉ`fH>vUiTx8`B2V: Zb67NXF(R<8;H޻#oZԋ.. qƩ[@DwO4lK}[y?FQ\/!51_R 2|@§q"K"ZǁO9]Z#@ @f.ybD^M8i1Fln$,|km^Ӱo'﹵2Nw^ Kp0ҀɗFs9 v_҄` k Tuqh`?^bx~6Ҝ^@>GUwHsc@ЌQ%h{R{ kA7p1~.xΫ&M?:b'Gtj)Iۜ<]ҥ梣ҋdK>hyDl͋uf~a{ޒV<D\jW D)F)׺ϐ4.l[t~ܟĤZ̦&ND9QR: !7k.ͣ-xP-EA!Rsu0΃RO>8i-'gX[o:a,O1*r  7M@y@X=#H<_JSڭ{|b-0U9[6oB+Ҭv=&|X) Z\b&´0mUVFH ] ZEB(mՍJhǃ_;_@%+Cpz`aØ":.3gtY%jaܚsl9e=k-)`($F(AV-s58$P..ȳu,rã%0Oy#7beͩ",hdZbꀥ,JSA"__Ѹڸ .m5 acIbsDp{ Ay\>lS,y{{d^IxjL 5qB5mIȘBu/Wu{d61ݽ,vĖ|Z|Fz礃$[<|X0n8?*q%S웛 @Cx>Zw+T۲p`l-^[2naˇ5Fq]DL*|n3yx[2!2qQaްI-OQxmBӅ./`{I*Rղr(>LͬsA0CC#.i]=Il$C&u!JyB .'5Yprd/<1P!x.=KܟV^LySəxv"s Y6^v!?F:lK h~AS;*\4W;TZ306Љ]+ҡ^_坚w|{#ߩZpTÝ *%?f2RqIdSkӍG1_D;홀>FH\1)t,9T>ST+]{,kRĞHY(5c$1rN[d3u H?' =ɺl u|qXsɻBh `lƨc{Q\V oĥ3{ èhsc|hFYpc,akTWV )}/ _"C a5zx^f쥳Vl0G1KUR~+=Gm (pA2OؕWh-۾4Y+~Ƀ҈Ą/ EwEs~W AȣN>%a$^Ld+v'kc1%؊v?FhpҚx ?Wr/v\iMIィ+ t`81`BKCsHFKt }#3p5e#3)94#䎿ȍu͋RS jDW§E8%`~ۋ ^iCLsvϿ}PeB3i4OCE\$:.S8< C +3)fUG]Ay\ʼ#WOWL`$L];mD˽][GÔFm6 lEZh*d9 {*4AHg ٕr5 Q[I_Hp5vf8_ X٧sڝ`]⒤[Ql,'JT,>[=+;lEe ־tt JJ~=>?Ł-jڿ5%<.*Auw'릴OzDs"XI*KSrc/Ȅ!,kO$q{s&3u`v!>vee46?O,WݦUAȜ^ 5= HGH[ GZqN )& DIy5żQS[qRapE8c X}y Zr_^O8(+oR[s{q;3s|C)lxZc+<x_>3`IY[NK %|=\vB!1Anm9GF2Jale8Mo4@}tGsT׳G(nx <:Xr=;7&H$ 8*Lf-/psi;3bU@?s # mR_PCVtC|r:V=ee<8#I1q( (% (9b|gr9F*m|ɨB ,Y(G_"?:0.>X!y< I1. d6;(N+tqDܹ̾u[:iݗRH'(#v+O)-6د EF!*յ%>F>Fy#sɛ(pI ~ P.c(qmÕݢ`{8!yl4F8z-r 47Lt=:y&@-C6BG))cUjAt]mٽ2t^hqK||oIcG.sTNL"&3d[u14HF1bccĪPXS pW%1B)ʀl=pK{_z^jioJ>ڳ(x ֆ@MsU\@.( {IvKh 8B#4LiYPa¯[B^Bi c<2?Y^JQ)= KxOE Hn_jieR/ݿ#(VXbv"gҫ)p>4ʼnY6ςb!U?dHZp=pO[{ץMBcIS"صXxy-#T%~â<Hduf:4tSѵ#l%Ҁ-6ڦKuk}7m8e4.}.‰%_t%rblI Z.||jJ@57g&L?åث c @J58cqZ8%__?a/bxVSJzO_`* '㹚'2mT:܃&ٓLdfkSR.zLzҺ C Zw^St6| x* SM:Ϗӿ2K'6OHPGPڋb=0< mpamQk%|w(ߏ^c(->)(n/8>r㶷VuC `SD}[Qi-k1uFϘ(wxCCھp>@η.||]rM`vCS{jv8g)rrJƠtvD!IEdRe Bg3KDуXlz1Qd.gt-OM/j6Y`Z v{jsf>ߌ4{wUST,9G.9FZ}ҦA74?P$ݦa܁,O}ٝ細nWcRB5Fe á9.}3RNvn=q (8%dDBpPBxVVhSLji3#S[ 0+(tP!<=_7'h`rsF.ybLJ*J8XL6|&,)ɥ=Ip D|UWO׶wj\L'D5GQí~:ԸxwS>*VUw[.1p=?I{VE~ [Tnԕ a$cJRgWސr5{Mw8k [Л!`,QxQ˝n.ryd!LkLld %HP'Jė 3ahJ)?A_gha$30e]+BK&<}㮖@jBW誃16 ser d%&SbV:ۤ;[@]ЈVbQuJ='Dj?|A9:ңqO *9i-zD8J_IԔ1UOI2NI@K^!'o0I>uSH$h8A:A]WZ:Q(.]oT0mc9::=bS>ׅF11hNM)ր mCsa^BH} Ez6)h .4rVy -n~+ ]Q_"FM8:BɎoMR>uՌe\L,3t 2 Y>4:6lqN _\n%T/)XQaZבOW`~#h: ?Qxde~WFHbli=P0(o>O A GM˗ExGW+R[~oqN5&:XE&.KxynEiFmZ޿Wͻ-)R[lj z/~N2_sPS[m#ecr321@S405\pSP-l8@>U2N ް۶"lI˩ z 8Q""Fuume͝R{C|&dvIAy~v$yS?>6_dA-60t(e_E%.+ۇF0/u-f yBsWYhm}uYֈ}b:ݙ&-gI0#İ]PRt+l@,fMubxlj:{" QQi@IB4K }/B2lTd`F\lHѿhA֫QR- s Geu( ;&nnJFd<&j8)}H="u#saљ^&/@Ոb_^?6vO\y=kuZmI '*Pv{>.XyiaS(d: qx5$RKcE+?ZU Jըf^̨3~?c nͱk|a=ÜO3&|H~6D΅#TMI €]%@hCIgYZ5f65807c5778f078ba29cc93a962802eee6ac00a9601253344229b35f7145f2143ac6522b5caf531 6ce3cde7225540c5abb96978d43647709608ce58 0c8ec0975b5ca198ee927e1ca023f7a547d4d4d4 33f3ceb194e7b944fb62baf2e98a9ffefd7ab6af bb93220e6ee8a41e0ef76a7b45ad5fd0a55c1be9