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  ; ;!1tdT ]% HOL-Decision_Procs:threads=6elapsed=255.754cpu=1159.832gc=156.200factor=4.537zXZִF! +\t]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCW9fwϊS{^ x)#ޕ_1H*?aDJpF)s![7MJaWx۶+._W*lwH,Y[?C[A&/`G'lyLA25  Xw C\ḵA@.T,rwc-f.ܱɣ[xWm5pR[j$SW4v?XZWRH]+# TsQwCVz+vϮ^**4# ;g.5Zf RN. _tNs] x$Hj9 D(Kچ:J`?U5""Qu&ɂM/J&Ø4 5C{g5%זe<,2(6m!֬4._+y**{~XT 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 nӦʥ,;5eq`E}ClI'z5IVѿuFN"l]:aP\7x@B1O;0 qw3@osrFzjD')m;*]3(>lc _w:i.|s&'?V;X#Jx63ҷ`GsOI;mSڥ%qȟ:ٚڃVi>8aQ17Lew,*w$1C98w}(T_CddG잠<)Xy+tVrJޛU/S:[ ³xRNF εQzJ/WaT,~Lk Nc oˁWw be8v_bDF82YvPA>c l(4R$ @ypol+ +6_nɐ g DB&VsP-j7HAt9:d V^ JidȪ`Sh,A6~P [x&0ʺވʵk#wm(%W4gdMIQ ~0HS'&vDj<q6}N#Q\B_`W,D2{0EUB_O0I8^;PC.r01H71-T 0DPW$2b,;)Pl{DaBE}@I]t?wreN3AFi]ۘõWqAQM\P-.-wf*(pڋU%"I %kb [P[ubkkŠHZX:ES%:*k ŭ}:qIGk4Hxw&tկ:CQc\Z+ﲝTŌ`k3.^fq v-{9{[ Cgv gHTO`l0%7|hD4l8ÇqU qpA!?Ыscgݜ)pQ L!RQhפH>ԓv܆< (?УPxpg93c$]SE)(o(AJhZ-ov+rbƺ78jbVW3\vq.MS|k 8*lK]lZD)>SD_ۄ1+J1&0# `v T/X \<K$>չ'_$&g}QA͹K̹ۨ] ڳbx)Rǀ9ߜI2+2̀;_2`aew郘 h6}Is#C~~24 ?-$O UR-њUoigW&C E o8 WFq)Ν\ؘ&KX }|4/r٢RCw5-K{ JV }i+eN :%)uG!sSܯvը>cܞ>\5":hispl"v%w:SA((K _>2&ÒYٮ*gFSϊbMMQ/R169 ?TAU8j^Ćkk;8$ył{UoB~y&t@Aj;V?98}`i* 5T/̱7xk9$zwFr٧넩>X^/>B~˔Tdp6G6t^ǡP^U{xEiA^p=%eCJ]F2J|< =ۡTI'/q6!w.[M㶋Ǘ{I0P CQygA.TV˪MS{"~,fO &&!<-c D8@T&yj-ZtG7]/ޮڃcJYuݒ`9yoA#Й{v)Xfk^AH.^'Ks}& jCOs0rX~?a_ӗT\mS/mˏ{v ؾ1l4{{O(PFh`;\jҷo4>ESS8JxD=0}H@i_A4:Ƥ=ca3RL 䅫wD0dPG I;KqtV0q _Ɩ}f>qA~&+`m AĜabg`.C`aCɇk sXfj{Lq杫H#̕꠯-..ۮssŬ rs8\ZT'8}_j~T蒍ퟶc $/KDpS>sh!Icց+! |͐9p\=5'#:#<M==f%M{|dχ=5rBYӄ0}P 4ڨiC_Prƺ^ղ^4 /C+ޔ20m$Vo6Qep:ӑ"InD|%X^wN/7L+Ҵ7S\jOV QQ0ESU&h3_!Fh8ODfk^o{nv _tx`ȏf#OF)ϣ^DμoЪojߊ3j4_]o䔱KdJn=J|.^Nmu`E Cd!^ԼRMeGm[50$*[6{l3?#ɧ;qVyy׿r ±)G<|џxU-mY$$g1S],BK҃(W{9L }^rb%,+\3xmEIF^L^^ +( K*Q5Ϻ;jE4v%پhr6?t軭qhUY64X `T@'mzfԌ0A/.Yf &"y4&eV+_ok:ۇN%ΣZ8ԙBHY';GUѤGgD\g} G60o %g'ܻE<\!)w>ߴ?/,܌0dN86k9ty 5y9!-MhC9,jri!5F ;Px^ e@$״`&+_Mp@C6|/70K,Y`3MfvoP'uN*aWye{JԁTxˀ7ߣMR"v˱K +Õ S>3ɹu4>y ۙxT26y߾"Ր.F_r'ϧ"!^ZֱuH 0QE)k$ 6rRDn񷌩C+%S^vjj|?&QzgnjRa  "v5v./iiЙp ҳLY3t#:Z'avIC~:84-z1\%^9f Ӄ V"sTA䞐UaWԌݸ`O\urqV?3~.N2Hi}h0JCi;i'c|*09~WB ~2NiN脇J4˂Pih> ͍Z^-zUR>(OPKhHOp] bB1s7Gqo!]jyR+) ]q0J\ 8AFC\L^o.3FxE|ܺ\Dȧb"$VL,TA,x~"@rlGx ҋ28uDV| Zmwͮ/[M4$)Y..CaQ Q4挺hc)%.&^g‹R':, wvjq9I[WHqTVI Z?dQ!F%ua)`c˾ųni+Z<)d :xϟo7MVRg] P(1 +ٶm ܰ燿ErLb׳Mhu wk"y <^gVxpF{T*T(?@ɹWY6ӌ!:6HV/,丨k2ߙUxa"^R\9/ݣĒ.מ*Gd &*},<D )h0"0guHfsei1ypq.yGZz-RuX,q bkH]oP\^ ;dTiQ̂e5]3Yevzd$`*IQ湱|Ԣv]ɪᰑآՔn06ͫ¶B4gXq˜W AH0O}7Kf$%{ѬX>VFzVx92Yx!}Jc?CŶ-HnݏmU%xk !jޓ+ҺWzV&cz kM+O]Zug[s>A#MD8xb!s6}WֶDP[L;/[4I}K,8ڎ Gyl|IB JlC΋"h?I;@׎B dk `|x;{#hKBbd[7V l|I%0 σ (SQ™Fh9ڐ@^Uh̙\70j [f@F MăͻK1)݂(egz;XWjX9%lRP&eWef!SWcZE$,SEJթL9hjJe(r1_j(m ü ,tPfw,?A0O Y]#$(V2$4;O?D< ɠ"G'mMj\Ũ!%ΉW7:Q[-f\KƭNk.M,;E.-D-14bf퓦t\n.VW[(t+p ;WLh:*m{ePaYhH(cP$+3քXCSIM.V#_n"%dT!<;nĪCY~<3 gYZ7zXZִF! ^*]ŗXiɟ17L? KxlWP8SաM~>fٺdeoT]s:~ׇS9rJٌ[3Y :Bo(e8NT/9ua'p熔PxUH)KСXKzTO{@gdX}s\XY(}< &Cƹk쥍[6.FurϺ`b`:r0RȚMpO^..=6h>%FSb RPz$Y΍i]ۯׁDܸD8QBȀJ 6a}Byv6x.@u#)Fr?7ßBOT|8_*k1rP:<6 L~`C#JGwGĴwen,܄))!G#Xt? Tk^H3L{ Y;&Ӗ*@H,$.l1X"wjqtA$7f+wֻWWL6Lqmz%aMe hoh}e]R2[ƠC'7ڳ .O{GO!^&PL}s]r±p4ׂ^[SQÂV4sN/ȀE10AB 9:|S?'CחÅ^ R'Kyc& ׏7:i*'ÜPg&G,a?w+AF\:>s =OX,jwBxOwϡgrisrq9ލ&$AߒgѠqC9O(a\N*6A+3Pm`W>H2ݣ dZI +@\.Rio0ӓ*s'*?ET8ȸ:e{| "ۢDՎGOQSzφ@3喳pGK5(%װp?؟s})9lbY.l:΃jU)ѥeMu~\LreӃY!,qiȌGX"n 52xF5t5E{X3AG-Lɣ]ˍ2gJ*]P5sG+Mcf !6q2XZ& INz6*9Y`م{&AQOڋ%7<[LLF(XΉ"Ą-_\MՏ BP.ww童>0@"TdȺ%7s8Jw, ͓;4ЋK aR"4wNOwSسr]vIԔO,f>&4+䓣j!kϞzpn?nX2rfB^qEUڈ O$1ve6rrD:{Bqbuu$ey]Nr.TQC_WkՁJb] Z%taų[`+5lvHVYUYG`,2Ixx @qr] &Bh {bs/ XRs QTil wSbZZm)7@P6*@uaHo 94Jx/%C4|>US.QqSJ'=k0Zo@5Elol 0SS,1>lJoS=J^,$CEEdCgظYp(|%nnՀ9ڸ3]$<w>A|\ `'LqЯΐuΖZ34X?~ۿ t|O xSr@ta=\xa-ٙ^~F 46%iۅne,͑>7ZiSM@Kn­\# Y:NW2]"J P/b9,s $F~j%*cGr{V#Ja(5P!oRݜ$ BOmlfX1(g-TW\i T~?rk]|?EC|B'AY8LbBا^[8B )k?Aƅ 72+6զ՛ KYRE%b X$c1'%ML;XM:Š *=eW[XiT0DW ~xcnL*&o#Iq,~,ڢΙ)GBRȏ9$H4Zap&ދ;[Č)R|I)׬:X%D\(2knA)zթ HtPwLc@6jLӚM_(,G%xN^ kf*M [EH[EFAS#6lh4bߘ8P}wf'owYp<ƃ%5FADcˈZ m_23%:q-QiFi0D@9 =גq{yekuLh_ƺ2ԉ*@cw*E=R-2HagxcG?LЁ`MCJ-8_eoSNKw9Ô0)nmpEgO%aY`Ǒ~ DZCl*FP{x+CƩY[z+?|dY*p@&D!82{_وR,_@$̻M1$s_.!p!!KeEL\` (Ņ`C:Ǣ.e}p >Sa%†s1ӱ>._-hoK$Mljۻ mVP-0OAeUb&霁Oo[9 m>X%amwvdF\k`= `+P̾2TcK'o9V|WCdE s>%jCk@zmqqQ\u}"W0%'Gvu*diM ]` |"\r8kl,9qhۤ}0y4DTB{8.2;-?LߥF&1-⪠~L-4к{K޵z0t5j 229Qp#ܹr]Px'U, hЙ%?vA÷mrOmt1[tJ䛬4 fnz G"tZ32(L=+yBvd!ʄ:'q Y̕olwH3.pdy1IܾTu) *Cgsw- L"ݐfɴOK^aOՇl{AQk3 IWvvmg dܠS6;K\\ wA>zώ rw8H+xDdpLB -äOCoOVޙ`E*wY"W~eq@Hӂ2t+E+l- lRbV_V=ˠbܩ EmYc0(RS MrÂU{W9Н^ޫH~!ϓ-8P~D=o$\̝w}+W#!˻e7o\k(F]1IX3rD_][탅"j(O1=*L~fw|b/G +j <ɡ~9}>3on[!"`OQ831rMI l(su}\:g QC?V_뮱bDE^fQE4ܺ4襤9?6zٳNg/3 Wg~Ah}+U-\qF72v@xkYʪ`ܹF_?_^]uɣM|{ V2մ~7wDU?$xVHֻw@߬msP̵#"(<4Rzы[d.SMl>}isoS)bw,"W|uՑ=g\4ٻ(Wz9hBӟŕx9-Zc%r)#<EY!hxs 2Tc_>Iw[#eQ[(JI'˾N!.aor4ȄK$=7ɹ71qΑz1J#:}o#g/n;,b$#q]3U @meM߳RoH(K0}vWw Hi=[4'D B3A b34-̓]rMR||Yx *44Ll6f!TB{C~k亣Y/1^U]8ߒ|ֵpXˇC+=?3sn B7WI/W+mZ9<.5S|BeQ `\;u)kĢOQ2Fo[к"wͽg! p-<.Qc.}  uȲRhW?'tߕ%a[S2Y/ -7iybDu1d@\ȃ.n\Z֑ݞyJ >1xf\1xZ-&^[I( gwbP_ Aܘp &m]uP>` ?2|9'!KҚ(NkYIS]x쯀?V p-7 b]kM7ZTZna!OP1Bʵ2&6Oὼgtr3<\8jyצ1r&ݗ>x{E5q&/7L'<~R("=)Am,=9TQ0 i/w WtY O\ȰʯVWasJk!]l~1 b(W}T@g[g~&dOkG@ũaP??=M~ pO.6_Cu &)c吪v2|&Fn7w ;${kybih>|Kw!?}l4bavmܭƜ LίTt܄M;_ww Yn߽9x_[@4; vcRPʯZv?*#:p $`4qu(7)#C4ҤY^4rJzV&9.PV Lmi;ݖ̆buDaǟIseUB"w5&5"g gyS޿3H`wqeg\Sla6bK®ײk AIEK2 )k$kjnK! ]Ums5͹a`z$V['5lWM}rz ӻ.\wӑьe&͜<ۛՊOE5 >'frOڕ&\S"sCFޟ8tAxn E܉> p4<5;<~gH#Vc֥4g 6jqu?^[@q ]b7l?>L($ ~bX # HNŠdS.h0 25kI׵o޼lx%Ĥ{hv/?+Ƿx4a@A Ʀ1ȫV8US;sp==6$)kѨXu0!| Va/ Q PJ:ϸhTl.6єFkL=U%b#%.?"]6/ hQ4{̏~m[hCб_or|wMrjw w԰C',i)ӠjOk.ʾI6.Ӥfn~uަ*$B1?RO& ?~*.a\WT/##9C+ImxuaLځx?*j5KU6/&AR긞8A b%D I×m_' ~$`9x"f:[PY8#QD^L8^-Pe ]]/3ґK#lײ?%Uu?mC yJt+@XuviuJnmmn(e$F~q8n/^=pA^Q0"gfސWrO!a;9d~}nnz[M^֬iYG }nTz"ŰC:VC1irUjjZĮ[Wm]2^.g|[ ǥNBx/q3"Jso:>R^AHeXv4#lX-zk~[E4{ր';=qNo*!Xٚh1@Bэ/d,-ǀ{zM;ŷ58~| 7g)x4[PWma"5GPRjAXT]7oRZi~Ý@{L DzMC澹D|x9e49<'D!ۈ .8U\UF`FstռE_!OzܾK"= \`? IFBYk=jo0102]}O=m?WoanYdWUitɜ'lܘֈC/o׎-"Pݐ,n}; ʒfs{Nj;³6)IA57&Ze%>.wAs҆؏שpKx r%AѕOTPHS_);,axN?r iԓ$> =2|qGH>LpmoxH$YF!a.rz51&KWR?&< N lS'kDTis izTZ2ZqƥP&T/1A\Q$ %GP?8t.2wnL@ƶ&`lDqIG5%,Gh5inMr k(GɤjPbbDy1+1T9 h[!;G'j]ȅ7\^N笋OQ'I(޹_j ˳trfLg60~!ѰY: /tlk@Ƞ_d]{`js{)[\v ah<_f9Th:9,(6=fPbUQ:>PqN*udL d+8qNaíX63,=M8M//LO#%~a-`@"?OHrme!RF2`x8TK$AKi1bFCA[[!EU^) ;9"!avҪ&K3b4 &g ! ȳ\7${ֽ '-1yaِ1_ r>pR1 tN'-_}@ Ӯr:6zzoW}b)~hxѓҬ[. D +30`bnKxQv 5cș-*6A3 אO~²S[F.e[8ק!/- $ҀTOj2ݞԕA-a:WRhM~H;neI~422 E5#Y:⨳o E ZEHrNm8E|][#qrsv H~֢“LKTccVWFt}uqս*4E^ʣf! S:յ<5wU3|<>$o[C 9]ʞrR%2 #,Ku۝7 U7Pc){\u#H2^'zA%HWwT`[Q55&(XR,tkE619%. T9ԂC*2b&r2u0f%ZH'ez\Vnxa(.tЭKtEeZ$ hEg!;8eܨPXX8_D itP%ijcc*ٞM%^MX2c"vhGFa+2bpY}np fh*9DcJ>j4(+#:\M+pi Z&PIdtRrRXK5.oyI +'$w nE3%Q<oHCȗ*>ymX"OKmvр?}I!#FErnXMM8>^f9V#fP̨8*ãJOp2yD) /?.C}ߴ d-Z9=XJ}jLzcKyvЕϝ"k0gT`u=k5WͲ4$ ?Mթ[O3zMʠ+|GδM1h4L@ nݟ7!q܀K4y+B%#$f ^E*v4GKa,}EFu__$5YZV]aqJYy>Do.wrwdzesb|}AJY , (tY#`id&)TaϲaCz?z;< J#ifFUtPks,s0YN hgOJŏ'iZ m,_u)pxϺAfO+|W`l۷'${7$+9fdr5oj@,'׆BaFV.0eT_C4ƙ#(q1ΈwWRaY %# p0(5dsBa?ʯ@q]Bz74&87t+]o-~jR]m_LCAjӘ-5w<Ј ,Eg`'hP: gOU 4ɻ'X!k C)3A$N%j Mڤ B!I/2 zH%*aQ7f8Le^{,fy7kBu{{ք| eB6UX)T- %qC> N`fto|DpZqG\>*D7V!fEf}{K+XXc9\maA\t=9AT@KWCˁ=pmo~y SȎAgQҏ>;|W|ݔ0v٦RyU4eRʞNIp^!P|e~bb6=mYXÚ7?_ = ČU”Y"~2{ü׈Ȏ5CpHT'M(L̦ȫjn82))J}JM,djĀH 69˧ ֊{eF> l9+t0G0,T<-#bSr2k"+]'CRdFjdg# \Ε$bֵG+u (1oGQElN](,׎D<\Fl_=v , E۲I%6[lj99a>(̽Yn݋XY%#)ߌZtN0# \~\p[GT0alTucZL32+`o z'q~j+xHF$GY\K^P~Jve˚]Ƿ^&z3GAR\\9wS7<II3[Y`ӻL c7DpgZI1MWsW=poݣuې~Ui~=Fcc4⧸OWc<C'7ȞknnZ rGIu2>_}}f ΊʅQữP3*"x@~Kmk񑥕ɏ$q$k( 7~[nzVU7mPl.5L6$'w^{I9yT͎iz_jDk*}P8UolOR;rɘ-TR,Dɣg6B{,J8Ņ~IҘOO:T1^ypu61R?'~M#e #굺uL;=!B\n"{ :f# IW*M^D (ez 8>Iǯ}6>q> #mD> Ne`dM1Qx~^B{&Z{TqJ􄡀v6.o,xP[q&s afWiY}x )=6JBd b)쾎̌Fa(OҒ=#5tE#m?+&{pf͓dq5<\y`i}>"2A:\S"[^r;|L|:Ǣ,ӱ ~3'>Lq}iݯ|,\p!ъt.¹h /qG/jYβg"I[h2[Nho,o b?Քl#L^ш ~3t**%6bD3]{GZ+T%"5A KF@Ӿ+=QQa78։ԆGN,~2`iH]*d.Z]NNxOM"6+S8R?M+*ⱏ`b;U)1B]>F]z3 f#d(sonF$o4V>Jvա]v^!>XPDuRB819K_t;GAPP>7׎?Е`ky0\gLdsMAI $%8Ru`eCK>҉K]<ڴ[U:szEB<^.FE _e9)b_8;[2"nP=р^M@WҦI2_qy E+m9:c v=y1SZo9]GmG3Ზu#v{D%Ẻm2^@~ ~Zˠ jT*طA-$^4`NCof '_`x($}XTѯ xQ)b#LT8Ԣu[:$F?&2N ^tB&¶w\L$dйȫgZaϛf"=+]sq6Il[bdƠ҇xGHkHOF>dz¬!@pXB]bEm,Wh( PϢi@}-PkFѵheQAv(U0٫^#pmWj;e滰{S…R+ J@u۟~[7+D/dh+qQz䗅 4ҍ`vDb@F |:}($OẰSrPa, By,{ڑ엯bM!~d&WُF[ơAQi퐇޻Pf) ## 1Q\.ܝB!9u&RpG?u僯!١ Q+8a%&FNy x78@ٹBGv࿔VF/W n܊# ~ݢЧj:oo-lӈ3YDK}if#aDiknsc!eb bBFs_5AHʋ'Bb=Gu7|1]]ÂU{a #d&WPmTHLZ~췄HNМЇ|1lR7hsB_B G[?>;w)lvT&l5hϵ,IAryWkϜԻsGҥ}R2İ!Ce\1~[z Y&ѻJRakȶHk6=wl qb#,P$g;a n&Ӱ˓jI>tB% mM]I܃<蕗fFґ4A]cZl Yz`|$ \jq偫$)}tnR'8[!.7:3=R\Gg$Ov qWǸsUb-; qսFuZJrHZZ(g‚O+2o-M^:r5%% 8I݇/e1~z v^:NQz҅C4Q~Jawf"\D v~WdK 1vS #.2jѳD#iZe@'`{N>9?Q"jnHe 2ɯN(/_&jp`M2z0gTG_:0J)z$;Pd "Jv{P{yU[%EOrsb^U=ۛԚ4D'ntttŲJ!O%6N,SbAKgWWާ6'DVUl7.Uۼf`gWIP[$"&ZwYTuGtQ/2BD6)cpT.9#PŲ|^7(#t!Cx צNTb떎ȾOoTU}Ɣ('ek.]uY"_uH%(ELmS DW#bjJ.ga%6Հc q^g+۬{mqv/U0PO&_#$g1t#fMp悪mv]40=#Ji0'xυ`^ 1̣Ny9èҩnd@D$6*Vw%y:# Qڿ ?pP&0z.\#CD4ِLgbnUK\J r0(2pNQZVN9DiE ޞ|p|tG!/23o[[lh* |q˯OʠmA)T5ԫ4'-%WE\ wW8X,ǃA)A|A)`s""e]yR&iWR2 n`q (#KYZ czm:\4p ٹ qg,/AWCsw$5'l\M uZv4 : dʡ-G\l#h~g-6 =RJвh^ vYUW,XT!d ՟#eەRJZÅ)*/k|[e$aR`ċRɤݡҤ&qr̓dbْͭxuv˔XSeL-Nq܂̪iךC:^E! '쒬0)u4axx їX*gn<>'>y@NIi|"?`t)[̜ɍ)a %Vh;q1N!qâ0*>#h,Yf''m!(,[ӟekXrUiX YL;.̼eDc{NZ(s_Į %k9\ ්5^4zrI*z7~^$#79*'> FzяFy%xz𦜇|^`B, GWN/i}L; ܔ /qfLyԺ' r'ֱr3"l|X#oL,-qjPhͪp-ICjUΤJr9c2\|1kwhf=?F+cpwS &^* Qw!|>(@XBfv>./@*"ao*кV=C)CA!ubuTJ?A#uE0\hRrX 9͍Zr xnXA091{~YhGjtHwQ*m8li7v[Ťg*mD^gS-Vgb+b6 L9E .'(e(/ }ĺX20QK:U0R'KdMVs')zѶ5gcTWoƲ/, ,4q)n^}mc*u?gcbC1t1F\ՑpU//#4;W6FAXFU,ޑL nnR%ksD8A VVg*zDsQJ~y0qS[@qÏLӐuIu?|ZӨF/`că'î(Jj4gzѣ%qCB8I }!P@|'&P#m >J01?8f;p 3P/`O쀘0^Fck-#|y|Y@eV(;&\1i"V8)T19 2ӄ|j85[r/4_ D(c t`ZrHԜ:P;{"EMgKSXHm!(1&Prm%y׽cS{-FSe@$]"wgLvcW" :,8Ox9?5^81V|}^KR%."XU2S(d207JL,mF;ǛQ`lے/vc%=h6Sdt,x5v<v/&MROVPF@StیMJ/5/G-#3DȒ e͖q6FK5hP9 jy̜cj{xF! A`tmq@₠®? ztU와5`-2MG(57)9060kx