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  a1dD ]% HOL-Decision_Procs:threads=6elapsed=226.312cpu=1090.444gc=133.236factor=4.827zXZִF! p]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓?d)UweTs0WjrońSG .t!Θ<V[.A|C^ǝoiOjMr6zT4tafpYAAE4vD5'pZz] ߧ]8~÷m2 _}2WREm`W_tOFiQsހ?ܧ>zÝ )5w,ѣrE>u  z횭c46LkPIO4 bZQXs 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 i^`K#3hҔ15߯͢ċYL I#߮+FhPƊ\WUI"#Ђ}Os|j]~S lЧH|/Tt<$qн9`}kdȝ޳EՄRl C5fu V mbGP/.K1+Ur_–.8=K%݂_$lW"{vb`O JCh fj/"^Xִ*VLb.nz ?F=**tؐ>8vUk.d&G`dl7 \)9s2&@-bKU?UxFjZ-d,NU^_,fQ஛߉:[Vg=F~Á.ϙO\TYuhc5erw;J/>v3:3NP mSTkjM )".Uf6<]JpƛPKk>1nwuImuz+&;6L"OxM6FwmLa!5ຒ)r9y=#K}kpBl\rGe42$' OkfWgV]ևZ`=Lh#["$[Eε>*[~ڨIPer${nhle*D0g|XH7?ނMqP¥ڽDFT!fWeOVcW9 caR80M>rRc&GEȥ Yc^ϱBfwod%xu c)pnӭʃaz"/t" ,V`ɥ՚2Ȱtzm1 !D/[<& Er9kG@,|D~9BFhB*(ő5y'oY3ԏӑVp&#`V9-6w輥a=Q_dfhlQI(h*Ĥp> ;)/.UF)7Sg2aL3(D4"P+AeiGameU"ПF!NqPPF ^,nDn;lױ=̈́rEkJ9$ބIܭWqF2(NjM-\< C4-y:~r K6oSL,'=tVXnSc''跦&7 D\ڢyR6 3o-/!]n/"XQesT_R )_ f\ F'Ow4;EV!VRrb^矸pM 蜨Y&x1KO$p6.P%$B$[e:3&m{{ʕU3d㉞^ wS4D`htpWLEdʝi;iCfYщ$96o:71zKG~˄ul+Շ/ln V˃ I{snk\vX]0l8ϋm57{~Qh%'p!z<4OپUʹĞ U2R lw_Y3Oc3 pR2l1aV_.R([gD0E#I~?:wXez,F1P$ km[ueL~xӿI!&5 1Ș|xN r1ۙerbj^'AAE 'tkF*8չw*}l[+=yv/[J6_~٬63uB闡wK Ăq65zn- wqݏ=8@ZSF ~bsaq$R失E\Lzy|e8 OT)oPi{:+q6'(#Fm"Š@9y*c ՜(>$uOU`Ql5Ⴗ!m_CFT\;Ԩ:C[5.q6*I*E[+gIo-?ttUF?cO6̚p넕~8F$f!6aڴp,jGUZ%Ԃͬ)cgz`uP9?Qv"]]oV%Ybo /Ra2ۡ RȪ 6VwP85UejA9'MbLwݹwaz?(7O^|M]q4}bϝ3`v,- SJutr45zd 4_.c#:K0N r$`b8Yk0=ޱ;BxRY!:J@R׆K ,Rr^dc;J"/f Ĭ)i[IɚC0Mx Q.W]R6.RAج Rlc?)+ U vWPpm rFٵ t}=`Xٱ P(p]A~ $;ЅVdL@Op”VJn4ETPyP݅?I7Fl¯iAIfm/3V^"GҚZgY={Z1N\[ܻH[Q.RՈT@> y'ƽR*dQD{ҩF]1/^db\ݘK\c͜cuM;boӁ^=exɟZЖ+laȘGNPep5U%L冀@hT\3e& Jz - D%i F/rWa*V<6x]9D XDgij+taZ E{R㺆ɛLH 5׮yrx TZ$?-"z<%HYTX~[ix{{Dz=OC2 Ҝ @\9 ^9j@6'/YɉD [N5z \< S0}hZ-=WoXhYpsboiV!ŦSC[A\]N#)$2/v cuV֕}/*.]pc$&vug]lb(H(0\DJگ2t+ɣ'wAPf>8:]# dȻ/A>vYve_1̀V2n%dU Ip:+*Lm;Un\h/NRZL&g23(2m +%4>ɐ;qW_( kc'EOjN[lE= :DXiXSDz[RqZx#/FgYZ7zXZִF! \,]ŗXiɟ17L? KxlWP8SաM~>fٺdˡ _ݷVn敲Kt,=fGc"ZqVڬxtp.qyMs4);Nl ͇3bIwU>3IPo|@u6ZsD{8AZS?4C}{XR'{xpYۄ@x;:X46^N:aPZfJhk?O*9qj%ےc\Ye-Mߠ*\{M/Qu#g$U1BBLE#H؆{Zиdnϕ~9'7|ƍa iƱY'2穎5DT4fp[S*4y1NlU ≠/ǍWv% zxՏS7PRni-J]s(;ZRz٠FZKn',L|ޅW3ȊI&T%$kjvW$ n*zZWJe &xkr{%A+>T[q86ZنCҠy7@Sj .޺SF L@Qґ!j84#OpL-tC^_emeEϠS58 UeuI+3WG#D"*IƮa^x7;I_uT፺wZXQ1)Zk"o.5p+s!w0+pʢ UQ:p֑aMG)WMZ>uzآ>DZ?uvZ!>5"p[thc4ͻ̴̜ _}~Q}4P_М-W<[ Fb_SL6U-(a>;NЅ4\PqanfWvVBh5oOW5O`u׬A[@\{>|oh/uq042Ee˂R]h%hי_WC(,Ta72h :uTRiszU~!.&]=3`gkSjkl ;2o;4LfE[:-p?uG1 l}#?4(E,tuISML@ȼƽX~dGm]zY?g-F1dJ,}d,zWE0-'Y%qЛ}R%y'`b,hՀMkB/jl&*_.g#P+i;8?cЂ~26.MӚۙbR|r?9(uC|X*o.X(sɢE# }ep >_TWUgvds> _BNJUķF\YF<5᧒H,z0]';6cpȾvt% RKd|M֊%쏑Д}sc >as ]o9O4boz{=zskO]Eѣm{N%!r&K3Iɽ6ϑ6{}H&%"Mwhl? C hFdt,nEf)b3Qq۩ HX@̛!)rbLCKw׽r;IKI^1Ze{ul0q~>㓼b#z4UCWԵxLkxQ Vo ]Ð񭱫x׻fU4?S-z4iS{\L6ǁDB7ܲL4ב)L)Vw{-y)%,) Eڛ&](LyŀWd0iqKGekOǾGX'o]P]-P{=8LEaGzvоi473Py-R #v>* x#KA PA[nUʛÄ -;h2fgCv' vQ}-s" _0f| `~S2v[}+$seK;O𒳠[* O*^u:jQEC{n|Գ^ >4 f@.+)1G>CcqY̩90ȓ.H_Z˄ү7!w㓇%9Gdm%u?o78}u:`Y|J A \=/R&Ȥ8Kh9 FK$7 ދ.Fޖa>."ki 35ct |묦W昕#g^O 'ueCf1$z\{$!J~YJg>qJ'={n G]PWVbE5.F8wܙլ|fP='c'}|gGv2m뎕VI`AW4? [>B/%>U@HE%щ9u 2IոyDbv[ uzm.q0YKPv ٪G-[ ͞n{lV2f +27qղXM\75m#% n\MRk%<'$HkMAI44G-}FF|kQ7T 쫼~mlz6=2i`6)e C`ɥEJ$NZNʂw(F^ h71%PvVcnUVbe~W[RӿBE SCKh{!I8P1xcw|KAlEQ%slt EQ^[f7Q7w};Op+G&4ŎNuTҹ"/?>h_w8w$q&j@.CY\l#@kq8w)hP&tXo#]h!idJ򇈔+0-ÐwT=!3G–7cأBay屎d!z/ZO^ >}l5_c{$ @K0GfZ}c#A֭'_♉~6]4p B;=:Ӑ!+K@ aMe*.*TO;GM,'ƑjUD}3J*~'|l@;꠩TU F0N5XPfΡS 6ˉD3.>f"mƨAMs@Ŝ8ymOJj3oЏ.ZY A׮(d?S+ݡ-4n3D*)+Q$jkI>ԟɩc1vy}QM˧V5,#?-tq2Ûz}Y !E_UDH3d9T=Ve,ISX@c*b&?x 濪e W%g>cI]ϖ{DW6$Td(l?cY|PHՓ+ZN_\uJTD3(N% 7N/$EʐLUoXLu\d Zl Ê^1@! 2`ՒOM:| Ͼ>f1P g )#1qfc]^=a2|zA f=W!byX: %Z%j.:udg ]?\24SU6iqɽK(np?,EO3򓦿̈́FGi/=ah 婖8|] 7 OKZH$Y, 66I?* R8J&T?4EN̜ LL<06h饽{b7?:` _p5g~eeB'>ELܞ,}VupN&Z$H]wH>/PmN>S!jSq32{#߰ 1ޅbVD@{&2 z<^CM^0`Cc5mFy Yv܇w%x4= Jb̚Qo1U.s}Q^080VMz#e+?3kAmWN ?z&j $ǿ=ޔ8ޒrx -b;Ax8t'!;%*sd\#b㳗|Z`xٙe mM*~mt$Ƣ3auzN/wIgjnΘ@H1lƈV1#lIk1oe@r? 0B#:{@.w /wFvf)<2|=z=/ \R`Gۻ;s\ ^J68ۗ p`mhaV 3F82_Ƶ';mxJ!^@95J`FDXNXtc<||R;t7@:0Wϗŗ5ZN5|vh3 d c+du ;oXy+_)ɕK_Kn| 6^]D[b% 0c+)bO22醍a%U uYwHkXY;Cx(ŽB}݂TZT@VGte]tDrFML<3d0?OHzh Q61xzcrpvԮ6^~Hzi|2э5S7ݏeF]Κ5ujp5յq`Г|Gl7~s:HӇvH Q*)!L 愭pCh۴ ?nzA:7h@`H*McG zI`ks4iq?%^Ϙ5rrC^0*]NgQ~Bd]XL/?}CSl&dutW=Î![PP 2i&Ծl?nj;.JUL[@Ң=dI1elzN3l;{s(&v3ZyA{ 5>LDp,Csb3kxAy&0,SVޅ6o4%ؕU2re F`dX )^P虾C(Kjr ~&{i SU>Y_mx_7Y:H;8fa$La;Tpo3,6pcSN",ivi/x(K~C%^wf=%n-]P>k;JKN*$D #8ؤm/  )bFsTZ|vǢ̺(<MTtugEY_Pצ ɨ|#nc! .yYC'-&aB.r5 1_?/p,L5 B:Ot/(] 8AE:8rDn U8rƦ ,/;poLTX!pwpURF br)z$| E)v@+Sk usqg=7Q ~kJ4{iHҜZ?(#(I '+wbeW)QVF@%,*f_=)S O>}݋gMv(9U-PFͽ1f\x2O{9]̡4 7J^Wqq9 ׄiK@Je([$dRVw n]Gnb=ЏpzFsa{!0 sϲƯ"aq=dge@!Gݑn xD 6Mo`1/6i?;UvzuPh2S#5s,jF<ۖ[S@*nJVd9N%R \ j,H%y~!K[;$s3&RAQcD0.MR VAxeѽ.[F᪜G0)@8A^|+1:֏hM!4 FyD:+:a_vHooGO ^J p Ep]]Dzo1P ֛;W4 AVdJ24%b< E6Tz~ %GESR·u'h+;ӕ^^4̵R4tg גh_*axD2Ղl/5һNJ?dABiC :~E+8e#:q/ Vfs!Foti |ǽхNiRUG) &3%@ĐBghyJ_  Uj y:1 2`jq/;`2mqۘn[|*@pbH[4r]%hѐK$϶ߔ%QE.ϲuF US/Pjg|~41 tRDBPQh}^d;JTI˖8kofkTN] <-ru|{d  [5WF yLn$H{KSHJ*kP{|uio9]`3y K&=S ' p^̐JwB8Q~Қ !ۢNo91fh1 Is+z '$ ¯:sy#2biՂ}0m&es*k܇OYwiN0{7EB5+ Ԓ}G qNywi{TiI) .*t_(Oi Uh J ]e-so #ʬj8K #}p(m ^&~e=d13f3҅ڻ{Rމzy&]IQCB!)χE۱sK}{HyuO5/t&`x/b/d )Z"{cXjҵ$͕)*P+lwx)u@ D^G`ڳ,xp)SÍ@='Ľ9Cu o9WZ_VBr6b+_V'$]'AkY`*򭒟SIugw(dȬó+_{T("i XxS}J,Ekۃt&V{p!*<`Ar S d<-iU -@:Z ɶtǍgCT4$Y *"sbZYpKˍ#tncQ/>H;~S4dMXYUum\OEҫdU`6M"\]&W(P.k}'CBDbUpkQS:?pq#3=zߝXQ'o1)@] FN#efgwCǕܶV[I}{X P%C^":ӖbFۛKG32[ @8;e41 y(8) Y~u󫼷WK"r׺7=5Toѻ/FU1lsEoc!w߿1qW@ľ"'-4I`2薹YqMLz~#t/̑i1^ٴkn,N-m%@U~B'*F e Mh܎x§l(?5=,UӞ4iʍ% ˬƻr"h R?uVQJ1m[$c=\̰/SZ?n#\MJ"rB>RاB7e^tN!"~Z,grM)B0q@<;vvh?#ؽ9*d+Ѽ_o$Koܾwm7G笁v>.&g 偗u'dȩIm\4QmpI0wK'pf :#wG!!XSJ&= Қr̔gEx'nKY< q8"c3_؀ڷnN51G0û֌^i0B 2ɶ]Wr҄_ܺт,}(InSf)Uqƙ>f<#OdnTFSf}he[j"ƽlw 9!Ӎ?Dd~*;SGӬ #2H}Ѐt4Q|[UH覷ٙ #o`wHpM9":gZ[s*Pցy_\A{¸ei@FG0ja}45vɁ?_J[c1Ĭx!KϦs BqFUAn}5OJ][7Aь+T,8 ?avY0&hr%pt)3*|:CZQ{kPTNk'A=,DS¢ޫ4'=zd{N ڷWi&_Ytw,(+bE'+&$EИ1lYXk"1Fxp)AM;L`5.Ycj3d< |>Վ~ΧF Ts1g}.9f-jVX\RFg)?[~Ǥo6cY6츐NָgΚdg;-XҚ:0âD(#."8|h8aiUjf@X }s?@& ,%p-`;P5bէ#_Ff2#z-! |(hF = u되Psʅ8yLUeqHr.2C޵.-"CV/|?C6mF<`a*,%[nɎ3vșàPTC" VQl)o (+ 3#Tl`)?`~,}%$c W`TqtτDOqþEhlhi ^Χ}BV^L޸i/AbC } q\Ưi%?p<&,?b\T>I^=SUljX$_l,wza#crFp{]va"ۚM/2컘MB*J޼1/6}gN!"hv#VIK0a\Pőr\/5DJrt^ PfR!wyLPk)EW3psfvUIC#&Ƅl;8@θa -T[΄ 0,x(d( DttM iR&en"]J@Q0Jm!c ϗYrR¯'@X 5Z(4@g1lϪb>tкu29W%ro'a5~7dud;UClʙSos5O$\i^jBr .ىeqi6H<jQИZG8bwft4~6ox}cBv:;!r~ hR uf]Cq@i!Qt#8)14h=O7yÔ. *l =HU=[t,#@Q'6%j'7L3 r}+heˡwQ-lꋗ^e/t(l'ݚ4]e9IՔWSm .lGBGlF>4L16V0t6ddHd&#s5@ pܾ<B 0xwΥ@Nm # o e#mU?r;Fxf[GAh\*/ 67iwvL 󷦻eE=Kzd*( <c,!Q#/9 zvvk M%MMS"d JvK R:13g ?%v}Jb {m67bٸ.\iềkl\,ZJc1|P4h&2 {&QAO|x`m:4tDX_ϳ_ׇlo2ET# qJUlc*G(*}=>"#!rǐ9*F-A*VuGiYC)$]{RG ^@c=ɮ+#A5M e%b؟\iqjb'0;* H8%{ZI@_`L]us)-d7ldbhLG7&MW-ab ,%̑aSgA:8Y&[3rTVMy4̃dCJO +؆LJ"g`}Ĺ9~1pmͩtY GJ M'ɚOؓkZ 'n<:?aTq#0gmz,3]vv7Ln~^$*ĒNws6cQ\o&+%`B=Ru ?)^2䗟SWXK}ʇ R7Enڪ9;.yc*omktD Z+^Ć3 y ЁQɂ{E ܫC]*QWθo <θ>hDS1Qu@mfm h|r5iU"P-Cˍ4xX83NyNH5(g!مDi}VE\&TC[TRmS糉?5qͪԷB Xg.b Kfv0{7@h;y N&>sJ0UUQ՗5ɓScQr^<9ؾ#!<)^3 [0eTX GQS5 ReBٸ e.38KV )|jdo,)']*y'Ո;~HnڄKPruAuʼ7ԫqk 2I* EB0Vā~ѰަN@\oS>I!QI.ϭDe_K [9۲UhqPE^0uaҗ&2gY׸z!,=*Oj-1!ZJC >f(Ű9 H2/gn _p 2>Ɇ#\wDbOnó^?̷Mr; N;bWZRbz%\99Ev< ]Y!)QtrSHgHA89߯KZ/?}e>r q`CGM/tb ETR^QJt\MZh "lϥ7eQ;S13>,Y܌#>>)&tU`\~vH^Gg[ 97NI`o־AV!֦ P=^)1 <`*Ex@AqM瑻F+ض-K!-CTK5qVÍ2,A(~@Jx7>v) %#^Ѐ\tڋ&Q찑7 Qߞ 1޷s*z!X rK/HӨ$C6Rk6ƊN/U]>G3bx>`u3ޡO1+iXD%3Bv%z 4pB97OYgK,'Tu%-ͤm>.eJQ-(jl:Rjk][⫗AQV%M= shk; $ C x|JZ#pUNs!yA (ʌ>&gYZ594d548fa78a6ba5e8220c7d2030760184be3d20fe1281de5d7780f272aca589ea23aa21095812b5 b0fbbd38fa9ab2d8baffe811a6d340106ce50024 f98dc62ed54f1228f5aeb5a8fbd68087be1b7ed8 954a5620d9d77d908241c0dae9976c15f7017890 095fc567d7eebb8fb5ccf691d82cf336362b9854