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 1|l ]% HOL-Decision_Procs:threads=6elapsed=253.436cpu=1135.492gc=153.980factor=4.487zXZִF! *x]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU15J 4 |&{"0caIm [3s>2{E)27B^!q1RE~0>Ylﭜ̦KBo*L[?fk>eD]j.A`6# EޜTқ3ǟbVŖkWͣ9wAӰ1v b&pk壌g*EOq n@E.?2Ws]{߿S͒Z| M&}Hd 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 !hRhvbK ~"V 뒼EG͛J:dCXL5fVg<'p#rPf">eNok}^M$uaFm{Jep `2i1IjB`WTԂZ'ߥ=6j!0x*inL0R-leq(xv+`GQ7V A9zLLc9Iзp'_zBlUed9n5Upp ,  .dAG jh"dIe6y榛5hh$6|B-3_.,&~@> e%"ϼZL[ /ZH`udfo@*hcSLa.Xg+3 {ZtUKkȇoU1cYɽ"%{Ng+%\*H('I.bLyϱ}u\%K[\U".ȥ5۠Dne)b331؜2!!+'G[4ygm"Эp[إNeF, M5gxK^gD\%jpbYg(j15'H"R39RҞ"=BzА:: zCmBiKpm±81Zs*䆍;Py|KMy5j::C\*NP?kH)~c0lnxV_L|\;%6^8Eh+ e+NxyߔsG[CӘY>M\ 1qq[M)s}C^ܬ卫DneE6Oor33RW,,  |Ѱ&hdP8mwF=bJci*<#(=V3+C*.WW=p}ze|b1lZqPyHJ>yO@!X4OOh`^ o.&{ITBf^dK*G<+71ǡ)in~4NHZb|z%n(".2 y;ʓQ<5?S3M4T6 #V bh8(/@2*.1tOS6#&}p{;V\iBhTA vo%q"rùs䋷׭k >dKUʳTEɕ\4aTG*3wQ2^)^jtol =*AG[[ ׫g{,tyRA˛G Ph)UZ>SꐰJq"N#F)lV3 󿽀nʤ̠ y)'* e +Ka?is;7Itz| +Wz.D@[n83 8wbHsaC4v'vC&SaA ^O%xp ,/0㍄$= @K# VY ZcxnV/HZU2x"oj-&ǿ!|" =$j[#(Qb676|B+ݱ~M u%iDGYd"m޻THu;̱Ɏ r,#{1 ZE'x‚0ŐVf;8^m,VLZ&ziޙWwC8oʵUWab{w+Ƚ]u!NX ǭPXF -u\e(YL߀}[m֕hMmV 3 :H).PNaX;$@ۧr!Z^5fyo:BP(b+i<[^R ?KFZ9G3TVJxQ3k2A_2aWx1; $i;;Vp%s|,~6l,J0hnKUi $γ;vxzTY-(O>M3[ w"`A?DZBG\ pGgoAv-?+f ӮhsגwazzGQ;ZG:gm%I"MQNvFLڴa̓f.o0Q_VG]͛!y A.]fQeK+uCŸ_uO@^b_l]pG/| wN'[dC.No<:n'[ `kd_9WtmZA:ӁjA{D3Y.wR9֡両TVWL>(.*xYذ*EI%4ZIT#J}QO)n儌&~Ic5!\,禯)PjU]yRb\mH-V\ōkdm33)C?/zTB#H,"ipelTt?|NM%m]u ]T!=9ιFCRc93全 lR·(t!˪ +U|W_[M %_6BȋøШG+1ah;nsEG  k\v44|=VΣ0 eYqzP1d@@b[~/aΰQnIֵ{uelKK&U d%^o(]qv%:0@rzdHӽ*F:+3vR׈qrN..}ј[=$1%mQg~&_34A_E X8h X/Da@Wq._*kge4!.@ +Xs`"#v }6uH0,Y@Ac7 |u:L븇S[?ݛ^^sR'a voX1b6S9M<; !O]w^g0J< '¡kX%PZ7(CZs}\'C>=OA20įە iρ绩UC5s_aE}vEpګ/t'VZ !uvR)e [\-#XY%h''/i tCJ aDy۶ s\4%I2Gm+ǥ`wiO?ڍtK6ֺD+yo}7d10'6v4 <R !U ˂;*=rS43_,Y#} v7V` {GTTkqr22+uQd/ՆAK]RN{'RS&Huc. Q<ѩCgz|rm:UMlм a/Zb:# nuYυiC7[կ&MSXYh§Z Şi_Ӫ Ɛq:MyuOhЅ“>v/T{= TʹL2.2*!-L(+ؔބNh~]*N}dzG]6?Č|eK;ʛe=f2%7+qW3S1d'2ŷqF[5X&^"OR jsŬm#6?_B=. ԛY@)끡%R[ /V,8^<}%VJhh`ɂ EǒJﵷHY+Io+''J̿gb6Z<0X A~T0`tt4-'(bp()iNA}YWӑݖ` J - v˜NcnBGTb^/&]:_X.M"o;Y wV@d?tM#I!o,6CO[LT%@ЍÆgݹ i0^iۨ4/@E1Hq -}ķ2$g`y.`5J.8Ղ&knt@W_I1{KsjZ9񄖍y<̄XX.dz] 怇Pp {G{ ro#cc/%#&Ҫ&ъlJj$#f`| w}iAe<"7 qg)&N?~łp ²cYԖXGsb 0uF)rq~B{$]ơG |;rY㵲E0DQ)l3.gYZ7zXZִF! [/]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sXYVyxСz0z7b@J8c9@oL1f;1uhC). gyfRd:` lׯ[X'q|P-,6 ro0xb v\'-q8PW.Hs=J;޽%|c/(ģM?/!fC7^ E.%MAԴpvB (N08/܉ k1 C)' &$r /65>[)tM֚ T4{i$sk$2 \W=D.yMWqpI7= M50~9jGHi#&4m>v=P =}8i(q&~^JdTa>q0b۽ݦRB0M@sKJbڽ4t7!Ƽzq'Vld:ւdGxI ,cVX0fhR\S_+fA@ s$rNӀ]"r5A+gYZ7zXZִF! qR]ŗXi%G'j ͗i,{8R ,cN)?4f5C܉Ն@;YI` #" B/^}hkٔӔ6˧|]}('ȉ}(K*l)s==?'j_f[8uPjR"rBmlL u쳜ɟ-nPҐ!tXGZ_"C> yx[\"!}wHE=/}" IP*ͨvl?{#Ij8PdT+)`$4՚,=|jyƶdZ [T=Vq[ܚܽ `ס! ;O)k;%g  p[-'4쌂A)R6P(.3Lqfw#ҙm dx(&INb0U$7mO6}ƭJ@'1daLγr"ނ!Wm$dKfiHߺ)]f({"/q[Wp臫T-EVM1xeKXi?y5ڏ>;gEV!D\}[e}3x>H]n%wm$sLQHZHsr03|2FLxP4'AŎUz0?"Er=1ɀY;cM۞IdL3o%)3]PL:ز!@&x{!ٴ?;,dO-%[k,&a>?^DDb|NR|wiԣx0\f J,zjU".>hANX.Гdtu~faʯg\"G|vmOE`3,ˋExpGs0u]w}˓OQ+d\1wwzdJlcStS#G $Adxz ¦ǮH?9F04 \P*T>Yl;J^vaqR'.[&5!=E5%͘bt2E`2NY^bKA vR˵{WD7NA7`w;&R;B;T51:gt7G^:ؒaPsbri~*.=aozNn0 eBm[DIҶ6dcDn}_+ /TR8+E5/Q@mSDFWIOmO{Ti!\}ͰZ[A)8]OS ?;7<$⯎T9yVn7\FZg3`S 8yHLx6գ)(ܙWI@Si|R ~j;yWC% =KY*=6]ltCl}wb@h$nnnqsu+ig>@v74M|)>&ՖG՛$/glfdKU>Bpމk4^KP0A a ĵ+S _&F;!Uxv)#{(3  F LѸҊ1*$,z'ϛRpN}±=?RuL  x-0q讯7/N%K}uSAyH,GO~OHmLU7\uW8F q'6z]OY+';Zo4#Nɖ`H<2Ow_ONY9o}Z}䣠sqoKh#u"+< %_EՃH $UnR?p ,5ij dh Ɔ"6߮cKOſOes?]2⅟ϛ6.%9Z$RM<<'h0+,:mgi_vywGc?=`MNlwW!^^o_lɫHҡzfdi;\ɑ`sB'gnp;c⏜7_^USncKjUR\Q߳<Tn:a7 |AY[VƭD#퀄"5w[*B5#S()D ]$X1WTZz d;^mnEhu,[_C? kjo%ҡ),6Raӟ|í*,& 7 񑖉OEE-7PC6v2_-4>no&L\&üma*o9J,{m&2R16qk8CF|FH=K}ƄTVX$~~2!D܈[,B?Y*$:AA9\aQe6M<]Ș@L(>ިC{zQ]g`LqjZ~Ƒ5[Pb{nX/e hn&a62u E 7:fDsqj?1%w(T@)f tc'FlLGګ+47b؜b&̵y5r4;~sf:^gm?k^h>)b/ۀ[DB8c,v[r={B)Dv,XQ_0;6X$PQ*b8'@cXa$vE\o/[s|qϘd6, 1Bhx/Ljt:٘T^{K]Υ7_]v7s)됝iPlt}vجնM܋q׽yf _ƨ(i8 Ֆ!j _!QZ#I- bG?aҏW)rݮgV"G`v$taLwʏǘ@L?d-y]j& dØdH ||V%pݚc]8-d>6=ٚ0>6LA (V |=M^Ԇ\jI-+x:ϗRTl7^QH]rj#`C+5z4'9UVzӆ{˻F/\Sp57}"$m+GjH?z¸*,&<3Tjp_nz AJ/csi:ĩ^]7D~'4h6bn.LGK'S=PbS7Æ<ƭ^:U w xP0VC*a\8^+r넾 ڽ&U-oB9e9z Sn!qsq'8)1D;hֆI~)uD_/?if`_{ۺ3(D^ r2yCTR!tT]E4U]0K@T;`M:0u!NZ$>(ϰ@Q7ќ><JL<๧ KA*hlYL<:gC81U> ̮(اwY1va% {}Z\4-{Ç|:M>|9Wua7*W 5[.Vrӊ&#e0nŌwj魃"V(UXbX=I\?wiO78&6zK*"uR.}U@)+tD=Gα#ɂ^Br0>SVgno `nnLaJx5mPpXZI-/&E=5賎,e0ȳ1-vK+S$![ Q/L kI#XivoKo_DeX8Dx Զ~FÖ5/ =. ʻiVaS㏢PHUu-d9:aVb}&F:}s꥚}3Y0q퐄M1_c#eK$fE3̝\1I .v>C8ESJL5\ea y4?㇯@l \rY5DUaZ.2 "cY|NóA i[OI)1` 5ʳPq 䓭chs.-<ٽkD`ݖi K 7b y}]ð\NQjK\/37QԺRw˵s'Pv0x"vZ|r:0P i2R8x+EW IShrs O*{'c{!E$,&ǹeH8KLA~5Ux OK*+^`vFN{E^]g6 YCx]{[W A)xLJ!>+EOƁ;fS2Ubψ B%M8wL;SaU;QGv蒂mYuR-M5Ӄ GX' Gdu)HǤo>:DlK}|yzN'.ZZ'.^{\C8nyy}X1 !Qx =ˌe14ML&btٙ=t]Q_'pKr!8풭%^ ]@z"t]#\dʇx(VF>V,3]Zˢ6e$y7ڹJ וVӗ 5o񌝼y܂ivޒ|iz>WF%> y4v,L5/,ԇjLs lt2 n\pVNyД^lΉI̒Iހ/%d {җDK¤Ylvd.U{? TuLbju9]uNj *qk@"!&ZJ- QVO%R̥^KriaML3%avڐ|gkM#K6J| v(Yv.)&\Se(!8̚Zkz][2O9j6(Ds4#Q+q[)@<=8y2X"Ɖ"? #w2X@z- og iAr ՅH@V0營~Zϡy&Dʧ3c:Ne.C\@$+yYVjg3s؉jk`)WN GE2gRp_JMe&T?hz,-_Vx5xJ/ [鴖8F \ޘpnN) /<Ӧsm)g1̢e٢NMi' tsO!|͇@X<1E)CW1#"b0uK0q<Q,)kѿ=,蹺.2XuNh3[%Mb6pGM|aะnjE;Q)^55u_C\X7.T6A1Z7|Lr y5hv2o4W5[9svd%cAJ R+%)_$E)[ڨq{ѥ+ F} W\f9VcRh8~9NHU5U1yBu@C~+1uC](ZÇwΒ)g}u^ ;0Mzh xMljz=,FEFx@d!=\ sHYC[),뇐*PoJ 7\&8\rJf: n,{@ #7PvsNFS?RyMRZv1{)KU#J˄CUMBd L:[1Kܰ/֊Wގy \#9Ho ]tK٥ )9 VJrݙe;BatW1yٮ;cwnQj+*+ aʉgbg9{BԚ㣪XK˂yJU6>RIpO]GۛxUl~nCɆhD.5co j7o 8,8O˱nŊ^ [ޣs: Kt\n:M ~QUԥjwvn3?.MgbmvK;B+pCKzre)eܔΨ]y0[tP+5 ~-ElInCI7TM-[z`ҋezwC;cPB` xJ x79.IObNOEڜt"=V@Hz$[N- #Ʀ1Z 09Õ* O1.3ɹo6l[l(O_IaX߫qu$XŃ;_aX[@?.y'r~~FR n^ĩ,`g6W +_Ls6̍YDv]Hg8ǯ'uu۪Ӷyl~b"|\da"Tb®Z'~GoJg8u%Ryk/sBlmfٱ+.5d}$ǝteiiI]/^aNC5sZ8W1Zs$\=_шU7HLXhaX.lH6Jn4~_Sx٢ڪ\%Jxeyg1/\y4E'Êyt帹`4q@[;N (䳁vSl!$NX`MWr7: $ j5T< g*_hfOY]| >"9TyÀL݊|2^m`$H=>4;D룀¥ב9 O|0 輙XAz9 A4KnuK tPJ:g'j?}Ĥbn0(mjdaU j\Bf#2uuH.]:y;?2RoCxBZų NC8{L9h#!Q+\M:oծ0'5alq*{?=D]!Z  AcA(>mt{VUgDS}A!U9D C[nf h[jbW?P'<)#&k4[9^ZƏn@=ٴ;h;L4 ==h-ǸTg&@zH ulemi9(s4KQB+|srk@!-uʥ@ƲN ?AU&U.Y6 X'dv͙ϼv4P[#?1&hF~ϭO@ԇ'IFn)RY#0 Gk*ݍu!4?ZgZ7D&!CUH$G*$C {i؇6[VR[NB}dU2.3iD 'И 9qm3>> [bUAN~jhCeu( ĮD4V= Jי?E?MA͋G=A̮ra QZTK8^ŦJ|XUT2@|HPDE{'$kFvVckśYo!Sh[u.¥kRdF a.>9\;Ui1*6Z鐿p2O2XpY8gsT۬穘tn\Rt9E<zYJ:I^vHo.zl: I' >g*[E#& kA1$/׬BV !(HRd o`2P3K(†N|&W_Y͘hO%s1(`m]DÖf&^Y"T~Q&mŅ4 "eᤣ` ߕ2sr@IMud'Mp>k>o"i&\PpH&~fGJyD-x:;q6)#fbu+䩜<,r>8h5B\L`4 %t8jTH}92fD ǡz*;qlfpV)Tt 7d.*HIH|*Y5sD.7L2"Ok_AOx칩y:UNg=Oav/QI/(۽\'6`93;{"xfSf_V[qyB(>M.9v0w?'9jߥ\Ճ%? DlXD} ŀO`Kuu^YFq|,oh e-+Qo ͊^՘. ʊVr,3&b^ZDlzo_qؘ &1 ffH@"wCL9)@I:B;"d1OWŝ7asࡎ/wwɋ!%%/oX^=.=mfAQJ ,(/0bXi[}5 hI_좛RfuKp*MN#}=8/G6_\nR+{4#$r. ƓqLyGrk?[~KOq:Q1=&4f@{9A@X^j}4(t+ʬРF ^"L#"cf#Lujl٘c,7@Q /n` ~áݚ2'g5wVӒgsD@h!YzNBV9YRs%JVyb~v&ڌyꢑ*ZJv͙?EU|7R!ǗBVoF6 gz7 䲠\P=aq{j<;:ʓF%=սYЏA17_yl9'"Ӄ۸;})9Yf1t&c0l߶챗G0qlŊZH2G?>:L5r%NBC_`Son4F`6% jtA<&솷{vO/qJkG_#u1&3}YwK#:$m- qGmiC pѼ0k]P;wRFC)mwYRQ#h ֦ߒ1MS+l 4DrɎ pQtsW:qm04'g)ɷywIKG,;c7污MQayw"^_C| cR((ގ7fs{q}^2'Xˬ(tIkǂZ@|vC\mۍP#tnB:irG8ۈlZ{ - t }F➦ƾ8^6`e+ 3cn\hkHO.v">uRbvUS7(N_|k1N :oc<`BsctcPQtPSP\֩of8v$Z)N)#I]orYy?#2LΜ@\!T+[% >NwP[< 9җ͍mrwN }٨.3Y O|L9h$7FSd\3.qA[2Аwv)Du;b鸺lVW#"L%LvVn9u_E"|yL%,xT2#5u\l,8--JիLG"vЊc "'>JLO 7&=1-mZ 'AW0M4)I8`Jk (H&,7Gt5zMu9 4Xs=.kO}GTJqvqݞ=-`s݃[?~7lUWOF?HMPčVZU~݆^mv3E+#ix 8kK=ʷ[BE k$rزC_U6E#4&~“n@z0uKBǕF BJz0J<͖וXCr!8;y-h ߰ԟfՙFV.-sa6MQG*!- h?,-boO l+=6Lخ+m owzv u1j02BV!&s Q&4SX~bxpOh߯E<fPpxj&L'e%Kn ~ 3_QH?\ͬ Eà 9gFyAE^]3b#|MNMBptί1h{ɌQӇi3VkQ-l |ٞ(>GbS\nW (vƂS d5X|~}͘AL=WzsU [3ݽʧ-=Y7 _e|QL|ߖJ!" K}a81#Vs2^^pxg_;UȘ#sBŻ-cFhK)R畝9r}l n17Y7E̗&b}9-1TP.΂9'z;JށiðAQ>S|IcslS-(9Y7$)m N6Z" iU!w1!~Gc W.I fl =h]kdH_RiQTKJ~K[Dexw 1p؊co?/n30 9Z-3VsnrKHZZs:8HIlboy\R_6 op-"sW*P]}!lS!#?+nv }hfHwl^F8r:l#- /s lP^cMMR tUX?p'tF_|X\ERp^P_`BOu9b ބ uAȇ+rƷ =lfXUoMm5[997iEM,+}¦Bq-鴺OP "H(GbqzH|"ۓ]j%j>9n%ȊPzAW*2@WF00fBU)66 5P1@umtX$ q="i(^jKQ|G%+ c"1`MaȖ uSbwIAݰÅJlCP@U'P}@]Blt[oN^{}^1q &>L D'Ub`El}^9+@]_r)H) !.ÆɃ_O>՘'{fST/#b2 yWp2 ]b@eZ)FerP2F9N\dtM c j;GA@γBTX|#krK+.|pѿE3~K[yQ#컔U.@?L`҄-TpRcWFju å>1I|)G[FNVQk>x3zYT}<F?!6+8mvCk]"45Pp -QX5` ._fs@W 4hR{ӱVUz@W٪R@: oK;{6j9ߟeu <췬-B36+5KGÆv{xc'T- a[ %^RY9pɩhzQ.6]8ۄsR..@S6tovXoDzaƍ>D4><׉%ƥd*g5_dƵA"u>\dB~[k#bE1P^S%TŽkUEc 2=`7c6b(R6Tj?+}s=;Ր^ EӋk)R&fɪaS0z4K[g'Nuq+}LAC .>O2ό?ZR(nCcϕ|brNe8kZmIF|IVR+, jЂQɂ0tRPlc?@|ȵ~&D^ޱw} ׫i+,>@C]UOr%:~5%)ٗ4>#' h/+RނuupoKEŢ̐.~^)iGP,\%<}M$9;cNDA(Z4[}UęT +5KCWaA|9d;*@ %<,*\BA9 k=$4lܨƃё<H:LU՝^6N8n5\D10!"Ȃ@H1ݯ =Cb<;nWM+a @F,!'xvNrϖcXTlp{RmY;hx/9pƿI|g#loU"1긾e^H&bc2eIؗ8WJNT{b,۱ݼdE0Çڅ.~Y+-욿(+tN3a5x@5bktMMKasqRP`p7'0Û5ȀE:Dô5/|yz om4{ :l A_tuNb#p$丛K$N*b](ƦE2#T?](PDe& F3=N\zַ| -I_J1hH\xTJ\,b 0C%=0Da8C%hznM|ƔCa6'5ҏfU꧶Lh27.Şѓ<~Rw玗E郑f~"Yӗ^_- P&ӕ\ZZC}wȬt%6O2HSq`m߲XIʩJ Kqz p-Z*J@Y[Qc|/*B(]Z{Gq#MV Tqw7R9r P-'6;Q4_'˒g rS>KͺN@ ͕SAՂnz$s&Ww Fh3n =1-`K>z;dC)W+ii1y-en x}p)4;}?sS`³|1!\{0tm\#AŞyA%׫hoܬj:VYGqT7Zc:7nR?F$oHguA@'k p|/rqbgPdϗ,oZaj@[_oJ(*:jh[ q,YFK)e,f"!.qpt5=Ϡ=IHz`_=Z+RѥHY>*ؖC"z_C%P}D7TtN[ز,/J$ 76!ڎT|36G=x"-yXR*XOUKm@B MA!mTUˉPɯmV;۵ǟ2 ~VQގ1xoR{K{& bL(L 4vN|)J$TR{Cb=19^W uV+B%wB$ Y( s`;8989c5!x|X13 "²ܦU$9n~F5dEqV]I( 1(8ٲ_l#e仍Tb}4r¢$ ^m𺌡$}d3u}3 {'5ufKcEc7Ƅ?EHn Z!6Y'#MAxrۚmӑ2K2 3ήzUĬW-хRciN W/ .3cDo4,Im/sbziA®%<4Qb>1`>4AM[MWjڣM)=B˰lG aWVW~A'^/y^asiZ0ڙ_a\?1Tӈ{dqcGJvexh(6{ѕJPu@ƸݒL;?$}ߋ< IΉmf|ae`0 "72z4n3>Ũ/Ƭ^S{RTVֵ-,4aRTi.<5pdoAGFбc:եgYZ26d077be6dbd2b12dd8a2a9a0f7cea2280e696c063b1f4bc87078c4a404d2432b7da6c3c391c20b7 6b5716f4acaac0c8afde2d74e6603ed46b759ac9 f53d2cd4c8fdc28548614d5662a4e9ad718b3759 d4127c0f058c085725001c8159cb0c386e81119e 08862d374019bbd22998f780d74afe43060eeabb