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=261.393cpu=1167.952gc=174.412factor=4.477zXZִF! )O]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$#DX* ,6J&:9e 0 :1xda@/WPp""`o[jL7Z-~~VLUSlgƽD\Vyƹ:W|'xf"E\Ch?L١T4.'+9gܰwMhA2qx3C'iGEVXb1.]*vf"Ҷ +UFia7cTծ1|RِH|sv 1= (@krPpZ_CɗB9o I ZP20o6UB=!{R@H!kYe^ WY;4/{]w%?5\䪏b]9*rS4Xw\uAk޳k#m'rtJw㹈5c"-Gzef[oU $suFK'm;92lh6! +Ȇe(Xy2ϴo" qoGE/t\% {ԌԐ_n^$x: 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 'cO.Yr١f?@=^BauX: d,N)np;y/RѕO p$#F.2K^iY jQOV>U;M{;+"y÷R:-B(8≘4<[2isZDx8՝jr6q(''&]9Z@-h1@鷘F8ǩiyqh6|Aga̅ng(%ožxM3e63(&˞);s1Ԥr0—Fl'H. *$/}oOcum~@9W#0ߋ@q͸X`5ZJ)j觎I|dͭv>~:e\D>rds FPa˔P/;8יȳ(AV=p.a/N: פ; -|š4sBV jX25oGMy`>l.0zVFC- b#QcT|m|In@܏Ե0nU +\kTҲ?OѻF/}iPp_Z{oy*xjyVz'23'Z7S ȭ+?#([YgRX{~Ʊ*Jϳ!{S1D`rpaA Д0l̓»{gPEQ*N%4bd[g+[wV!P*džs_z8ӅLw!e'yh6OF!iF,-"Q-QaX1mbW0-J")bc䡵C0#Λ/xVLF:b`7>*[X,9kCf=d=btTF"yw}kih_@wWTݔ"--d 4a엛.igpɪLo/ҳduvB%,g8mZdQ#W W)/~$u= zUb U'4"xʑBvF(p?H a."L${)T%°;kMǣ4YXDFEH =3u*#T{7B%$QssgH uH)C8Xx~cil&iyZk}'&[H#I!OάT۴梢Go9^(}V Y3_E[`5 y U#+!Ytؼ@x '$tM`Ԯ)iCJ#0m3J^nЗ]8~%<<4'US/lyd="ϺxO'c,#Rgpqw/D V_$1H1\Ku"Mqd]1 4Kǿ T+aG6MPK{gq,$?ky1Pcs՛ uC+;{u=o*,*M %_g@e س B^rȂ,gH'kACwF\(xN&(ql` e[+H72w_DfG1m &,YBjr~\I u;w-HZ wW~bFIY]x!#1[VG4#BB` 3_]VԦ+]PsՎE'GJ ˒sayy#psBƯ7 BS/*8qwMg "_"=zfvK 67g8MEB͞:26ؗt pyVlηK?^%XHB{Ǒ\Mr'J2 zMS£wԠ:OޚvƠԌ:|@(\Lb 4'@RlG` fl0E]t^GТI26՘A9 V {N%5wv4+hR|E)hrLdK pQxٽBk<'({^'f#e=ؠ^ j  K:߸ wuDm7 =Bqt#(okiXL5ܧct&Zn_F2q3otrBKN00_c+ Xif~$:_\9{>;m&pVD|L_waNF-_h+J|תڜDGD#FRLR>"[ fx' e3x ҭp's%Y.+e>tr 'Ik+J,H3c^.TS-.ŲM;8(*,o+w]K`7(BPø Fd8(Nz2DaAUyEhtVJQ(5Ju\;a}j<"q]pWR쮚{LRۅ8ݝG^h6CM[k5iH";5Ih^jD v=V3L/yGq&2)Q5u 8’L~r a)u57<#\$+Ubn%kabQwԀ$lC2wG~j3*PRc'T2oL) k'6/@oYh:'o8hd( v|_.Ձ&}!2r"<CxHx4pa=i@(卫x}'JT`WN5]u 4d&?2NpoV5[ǭ'0=*ҒO\1zq}mX_PV/|A"?{"3Q:’AҾi?#W,-(WuW 1rkö=+X eLi 7rV=0 #lAD? :9'69)h}0.avoځ_fӎhjWq7J3VA됻+'C\:ގĄE oطDFSE6sUd=j׶^VƿpMBC0/ݸ@mR5q[,.qQy;b%(ұv+d2x&wQ&m/XX %¶ĔIPiloҔEyGU$ݺ3g E SLU5cAvTn!Iy (h9_UO*>S cq6$h/ч'P aQ zN4rm@BNTW.KѲ Tp2U.44YջJ\44! -};SWJ:3>dcU}C1 FvW-IUOC=!0 Ӹ_`lmBݺolI1<rJH[Le ^rXof%E?Xڈ_oiF3>隅o6h667RHEbiL)\}/xV%@BTuh*c$a¾Ao#!_w雴pڎ͙M:HRl M ~JڲcmcΎH-o <ſ r Ed+Blu$g-"fgjJt`'eJ),(,0K"C%]28Y]1)aíTk[g_FnFӡɳO{o, ݧn(݁{ JD&slݻ I3IU]N43* )Q=>.=겚imE= +-P9Ƞ3M1YIL`xLSo Lo"ѫ઱*unγwLgt~3ju"TqQBՁv<_oH,u#Ttѫ$Lԗ3OڀsVJ]?.Boܴ;scV*GΒf' Z՜mqv5#85>bQi5h^NaZ'QZFL\@z@,һJ5UV,1Xh$ Bv߹QeLlW!%$e .t ]%TT\ IcV)թC*\S͌kroV}U m'r-Y>> HdJ`$?KІ=\_ܥr<."7}O!2,pOZ%$ni̐1WψW{xx^&% p0, m 't@㧎aD\*{Šv )O"Q恦blX18efQ&ێkf}[5Wu?WјQ'j<[}Z\d;4`떢Ȍ[;&tX00!2]a gYZ7zXZִF! ^-]ŗXiɟ17L? KxlWP8SաM~>fٺdIćL9&3߇ֱW͸O杞`X!s(E9~P~i;pHz7B=qKM%g7|BrqI}`g(؃V8 5sbD)$Pµ$uqS5yEWr w[^V91`<|," $R '8c ͍HWPQfE辑y%֕jJ޽-^d10t ${;s3"rr_9B (0'EX}-_F+^Dhb (W%2 @ij|IxپR2m(M!4!5e?` C5hL!mKtpTwK8't gǃ3.3s6UO^PYNh{j|r>?҃WS}lY?b FCmIPUt_1.;tgYZ7zXZִF! V]ŗXi%E\7CַU7 0Z ?q͞ ݾ-XAcˑa8pW@ZUi.7^rtlV%}\a% +H̺L-9t^ܨٙSYpC{Le7ʣ_m#LXi3 L{0VWQc>鲘 ݁v]8Wћ4ʘ٭ Ni#+KH <':fB[.hIJ }<%ҼRXyE,Gh@"ٮR5Poh^ CS$lT# "]eS8En`]JVJ@nLaiWjO񉥦)zīgQ炆ߕ7ӯ9]aiFRh޶g0lybDesX܉%21G*Ouu (tN&^b6&[;kONԒL>*qS V'{@C Hy`;.+Cw_M,=t&"Iz BI,)2"вpbqBٕbmg.3F5]lh(Qg >KPwRXBG/XKL ؅%Ȣ³'h tKݨɹ͟Q,N[ PM7,V*kn&_M]ve t1mn,$#.E}3Fg`DËLE9 !,XNF/7@7LHLKzJWK]!ޜbl "d]'y05M.䠇WՔ@q Lj睏zѰ$MLdehPq}nyTb֟8N' K~O;Cد_*vh/ uPmWAK(tOO?BJdSo5WG/ .[=2/i O ōuv6[)I;!4 !ASe* }UWuf [6*2є]VwNӥ}f] kܤrq_no9qHdjZz- :Zr#S<E 673chlޝ ` #%9m !C @{>R @l#qDP⌡WU,Mk:6nȐ uqpĽPhzv*2D zE@[Y3sD?pϵL\6TjNsіTGK@)mBfR%%^x]3+HpwRjV&wh14H͒%7#4I;TR; RţnGp92Z/UZbGH>IYq?tr`I~\Q?5 N %LBրBIh.ӣ3|CISr{'jY px_Kmq[*8ΟRJzCJ4=ٌ qs!t!.Wש?[Yik(4mW{38LwKxgcիۣ+dBN^/_Q4dDl5$ ^zBeH#[yPKgg?,^kҪP3kdJH50q50(M:UFU.r0κCkYg2QtG+{R#NDLX3jBP?N)DtN`aKm}6tyh*ø$Q hzX{d(UZOEF7@r7 82'NQShgr~!'u69toK*l1Y9w<".m bg@=)lS(5,+k^gJAwvyyEij-s8ġF NcR ZSZi*7IPݲh4S\kƫ|߁N<t:DG0]*6HcxtTy7o-N!O7]/wاG\q>tA"zo c’= Ͻq)zBZ-z_6}  qw"0<ϴ&~"ZԮطP1sѶ%"}D8.l89wxT5IxݩfJmDi5^&g$ w9 {!$\~E WHl}h@ye @*A/ ˣm5ER?5Ŋ;]rI .<̱kaj|nSP4J9\V_ۅ zMޅn!#E8g[pt7JXvqʌ8Rj(ubs?:K$~K; FRzvር$ZR!AČqHg*vT.v dF73@ 8,c _;\J'`:kb*/|< ٛx dJ@ІHcXeՌ#3W<,"0̹+;eB]iX:M<"0S+Լԩ'zB!#Z=ybGaFVz%Vfs._K DFR,"3|͖P @/ ft;7x'YG&+>ԢR;ÖՐwV۫g@Bi8BpX"$>QY1I!!)J[it zrnJ0 | Nmz.:UTݵCQ8 N ̄>I*=@ƧWbU-% F-nM2!~\4 |#TVc==|w^ÆJ>##mF'Y(Jˡ4nВr!P%Ayɿ:<[%RjT[=ҕg}|W4xi0>rT)w<< YkfU6Ϝ=8 $*rHPB-J.IY%ݱBO-*GH(Z !b"i]0"ç hu?R$&)Q*'۶_ͶW&E5`k PS$[A"5ўi<8Fg a`3d(B8 uEףw o3D2ƝπE]EsdžO{SKP:@6C{sI2},Zɥulp"z- Cfut`l*G ћ]8cFV$m#Cb0I@+#{)f;YKoS[/_\%C贇'f *ڬ߽D*fW(oEd(F8n8`fEnjO ˪:.zns.)|N=  fj|vm6MBWN!<Loӡ \&*21G/[s̒.uI`p3rK!8^IZ,zeS.Qod\ ljBڈbCw27B`:v||VTzl&;IZG /{s< I8AL 陘<0w/#a͢U`V4EOfr2xf?__Tvv}-mk@i+ IPWr\GV  Z< pW+]&)0E,a*;K JD|oĐVlxVA{5fp^D" nlG."_tpq%aGRt .2=O#>qW 9% ZH;VO+9iUKeBsF}ʤlB ͅ'f1aD=4WRULIkT./clۧX۞B-GS!ԓ-n%%QCN0Lg!}Og1R$ ,FZ9Sϭ:(jXIRpB2jɒ5"6Wkk4v#k̘ou=YP~g] &l||l&F (fi^onK;!`Amlـy#w8|&k.gp8i܊j lw@c+F9ymtڬ Gu ;#<mkNPr ;]ճ`.q1Xϵem*8~ZYCD{dl@%w,y.%-1 \zx^\UJI]Saҵoҏjg{>6m8TPmڨOL/ Z3+15 ynp.3l 9q9\WQoPj)mr; Ij$qeG*x8ͥWdbD0i#fnoF6BUtx?'S9IHLFhP{o3[?2!ش폵%A{L&Eo{RD]ݱ9|tW/ sDFķQ5V}Wy h4AhέFϊ^`|Aբx`>KuТk.sʿ)Q0[]]$3OOjB]9"(-k`42Mt)Oc^SF'k*S-n{K>F|ڜx_TKΥwB q[[@"롖{X>t"':v.Q?\ZDv QVXwBE ݻ,?96e?oJsN eHs>ܥ )P^+ '֦'N\e֨pϏ 88S.O 8ڴuR^R #a>Df+@Ʒ$ Z%P#EoV4@}_矦ojhID#)Th1,"\~qK.(R4da&d.,wPNFО`TAv0܄s1l}a<WHxT8{( ۸gggMTuoJ؄~e覚EEּ'aME } 3եeH!^jr\@Y ʌ !kȮ:KC@d'9cW,%oNbוT/kr BT^BhIDӸA#5&F6̣ ԾM)pnǏb/ON{=^m8#vM 5oц#RCkҼb>' ª+R2[ц`qs*Iz1ꕫ3Gv'VG+*"3\Jq$(sCĖ34GCSElwKZ 7Mke'2adaL 9|/?F7$4 4`7_i%;(HWs#n Ķk^RH*e4!J9ey-XI!8+ƺ(:r{%M_D].DJ1O, e2"p_G`ms{Br\OcmS4ٜ2Û_h?5#fb6ɐRk-'K;_Ԣ0ʑkz39?Nif$9!b1}cݣ zUM)M7,'#=tJ |H3RPoP{m3bnWS(l3h#~Qz{X[}SLCn$ , ZSnROe&~ X1ڇtP]17{`/cBvox[23l|D\F pW G3z8J&gU1{z]v4@9}]j@Q d6بV,uSw]9ߗBizmdu,PzM}3d? )A|iie9M.fVkݬv?#|!Ko}3~doՏM=ZVȀiW%ߧL"]^/ԕ'CMsԨ, T#YE'8LoaU2.a@%o6\>m)[ W,76y$WܣCh%*DVOC֓e%:R'Nh*ԇ3͓ڌe!2|R0¿ P;˳Rez?Z݋9l@&U4hy#Y~mdR VE@dos|=U!WXb/s74${iۦHH0=k~L&=n3tz(kyަ8AWlmI\yն R[nO<4Jm9+րД=erǰ)@bF窪hLoPlU܊Q\QقH&b!::B?3[4& <\x1QJ+Q466P+cO^pxe4k_UЂ;jYnM~p)jW\d\}"gF@9T=7Qb?j'Vg <]>dkG zX0՘1?ĽԩwW -VYilp@`ba]X3kz8--rUԉgv*ͮ'4JDG\yqܸC=ְTA4i7@բIN 0U[]6RaŒeΕJАӗ-T 1B{~mJLႜ+xqHɣm%2DWΡEۻa$'bP5EMfCeOX叕دNM.!TOֳu>-Wv[-RT$%1P]fIJPM<R˫+ ﷀCIUBpzOgfwy?vBtW}ʱtXff0U~©#+YMgҍYAn!,`s3(>kɀl8k̕bMyHԯ>U/̠%/NJy/\}HB@9!`-(wo8\噚%:#oH4vyBz`l=f2J(퐼+2X}$WS# zΠE=V :tyZB`íY_./ 6n`7=w:p&dOW:×ıabtAO3s!7 {pZwJe1~\JtEOTI33z,ucnDL1]YQ"J\RPJ#*.P!F;7F ,h,U[-)tbL"hɉf6 շCgxǪ&j/!$*e*F (ڀhUljRw#8]гIJ}f!{C^~H 8F+ח z~/j*n}cn[n Mqh9 uS7atBiSC[UN0,WktS`"At'٬qMMn:k2w'9U\㰧+/5BS &.gCIR'Y>ܳ50v%?zTs#4,ZUoYE[+cKeoI0QU n}1t.;6,9C#oQlpadig4"hnnU'BYW Op ˶L0pG#'\5n;DySC z@ފK,;瘠} Nn[(3GTN@.ĦG78SQ)3H/Em i&)z[]la+q..o/ ~,=DQ!|G v~snz{d,F0_'d{e0X)F:N̷-2F.@+Bl*OgJ,+$1#ž0w-ozA8hp[n л.c5GνcXD:?h^:|&yRCMV5j Iju|Z/ISJ#h}bkAKvwꁞzVU8 \]s9rR>y-1TR׍&4l{}C)p/~ ¦w!׭MU3WΪ 6ժ:.l9zuU#:pzd6RF [--Eܞ8a3tILd2@#&Vae+TigJ}e&bB^6uSX?Й^eȚR:S\nrp8v7$̕c6w{T$vꯢejS i-BkKA?ܳD7<>>lnF$H9Y"$flĺM]7@0& G71f e #;[ aw^e+P{wաG׫@B T w/чh!PӶ]ODQƇanG(J?j"2XK`tGbKp(]QRy ˅~l8)8 u r-%X=9N&}`aq[ôj} ͠o`-i QP¬BxpxT A܆봭ˉOk?|8 }5Av3mvuMȇşME^_*%Jcm, "l(§+H;kR_TXlde&VLd&ccXW<,) fasu]ƒbl89;őزK\;?*33^-s_B餆wҍtlwQ5>sOUXDK2JHCt *|B%d1}.R }zXǖC h˞zBǛmM S%~~.u_g1%-XQAkv}y'J {QPՊ\4RM_&t6Z?r)wAr yK{tkoI(pN2{V_jk[ah?O_{fU|& (]NnR38(YB B=M ?4jGP9k ooI|;*Y5&ɗjъG0@f0+ e ?s$ʑ,y.GKQP'[V T,2Z =Z0kζ򍢇-TU)X@UL"=M$7:[L<Г,>N߹!F3PQpK p(RcaF֭\HJp.4kX>K萤htkּ~JӾo[&@?\4 ><=t1LI֥hr~Ku39Ou,( ]D HʹX3d"Y hD㧐^*OAy)qHߚfqcrL~*hezfDZk%! nr@L0SEzU_F0\pw hDH7_OCM%?G tTdi1Ҏa yE@r+ (-rZ7L7B͂?oSh)钜c? _#ٟXzDpXQpzxޓ~]Te:#f2zBG!h^C!o?HgdB7UW G@J5 cxɂ!|?v`*ORa!AXj^#.^.aNX-KM'IE=}IHB08afzBެ_W+`łGp,T-,QئцcIJglfZB' u)Gp΅'eԢg%{ӷrrx)jƒC'k8.=[D T~}2 lfePÓUYޔOhʇX"wC,G@ A9bgssZՖ%*VdB<>Ii-Q7<}qq0ez 9l r%7鳏!կJƒd22w^*b# 9XEJ:! >Lwb?5A.>;"m"_?󭃾$VEؠ3esZ1î|0\skE.F@E.5,1tüOk̳5$54 s>["p^U`7N߸rVoUW#-G49 #i%RNל8v6w$(`nG:1fTڥezT S!?w3P2X3/pn&P%PcRj˭#nux T4=k2oQ}tMZᦉlZ R_8z*Зb2/pKf)w Ld[rzͨdt_NE4X 7ҶeCMKtFViO6@*a}"lYhBkO DU7jhC^ZjGgh]IJѝJ*dGd*lp \&n3xr3'1 v-%_rq.ۡ`wk#Kƛ]4 l3Pɟ{!yO Й;oQbl1[\ \M\h0P||=5 ?w~2͊#{Bփ)Y  V =ʋ>V1UoMX뤃 <">g[pA̤B1[M/249"rX l찎QЪ=\!՜.$9n37B$`v7Yk{t}C]zKeģ[Gjָm`2wZM( _Lz'/} a!ׯ]g3{YAoƌ&%aXޟAX0Iwt [_;>=ׂJCgIulB& s0&Jc!hyٖڭEs|v#[kg+,u,a53-GwF{SKYo>Y/שI8&)N*9 zL}8 (Osw\&N#l=#!3#Dпp|r.yK1U Kb&NSp?t[v)MLړS63'o֝bcfbj*X+hB_*#?fpiX x,@7mNAÀjOX^%y#Z"ag3|1YՇ'decHcwPS0ؖ$T?⯴׮wIϮun3jO\Tяay<"Д|fÆ]l]\ʩ8HKt%W_ٰ1)BĶfB{YC\Ah( kξ@Ы C".8ޒF:ufȱC6)R9AvNr|zUt C6eP0V #jveQouShwA@4ew$UOSq49'|-cEoCYu?c5)~p|wXv@Ώt15=HKaWbh0]G5D3&_Vۢfƶcs- lsqu:|)j栮? 8`\v!sz6.Lٜm gE~3u/}9M5?t|m=C]CPEݍ )tsK|O:ԫc@ފz[ r: BޜN J0cNL;E^cS*o2AImLtA&]gB.Xӯx#kK69iCXz7"V_x<)t1}Yck`L[!͚.}ܟ%+¿,ږ/t1>ЈB~w1-cR|jX|GZ;YymÊ%1͗~/דGIkmiy޶3\ۿo1X ߫%d+d{Sf3|P_ .5j)9,sl!Z/lNҔ6ajIM^VdIb<5x=u1I4g06ӦĔ?SB%]J oKk;VY{ ֵ)ސgH/~8̜bo _#nG$Og{m봪I[\9심VFn)_-b1_tVY!z%,[g\r~JT*v)w #x4詩!…M4w@si7Q[OlIUٮd{ <~-،.G0 Аs8"h]gpɲe 7[h~x^CЄ?F:# ܠAt 7[e{?י+<"pB j?09,#SzOGlԂbo`ld% ^*'(A@v{< HPLJ+³W$ݫu FDʄܝLK8v-$)8=SdG*Y\Zcݱ6=/TU ϤXU$oDzK7Q찢GIE" R.P얖o{04Y֩ jUnJܵ\3CI8->CVGՍᨔG`a䮐7,KX 41E.CSCwe.⢍Tа:g" \t)#Ϗ5i˷FhFn 3CoQ D:">aQKk*, 5ϱ<"]S?idf@01y?2doUEЏeKv)+'G柴MĜ'Sq=bzκXV=in(IR-y*eqKWL$Gv)ݟ(yiꀾȀm\Xo/ИK /F 'v˽|YuцP#%M> qreF$BC{k.{Ƞ9[i87|N-˗r;rnUŏ}Xv(<c22XfAue)15msy$ wpj uǴc;ˊCrGAְ84Up%vk2dhPҴۏM^~}CS JM ma*WP(Nu]TAt6Fj _|F$QOw# egYZb82e7c01990fd87b44f40ec09c748f275b024f1997d0ac0823a94d13ffe050d721376d08c2de50b1 dbded9b0ff2fe4176c90e87a9433f947f4c46eea 2ea6859f0c3698e134d31479536e423202ff753b fa5b2a86fef5eaebf8d6ffa0f886cdbe89181dda c13749d58eee055430d1064b7a7922cfb0969daf