lambda lambda time k1 w x1 k10 x9 k11 x10 k12 k13 x11 k14 k15 x12 EqMult x11 x13 K16 x14 EqMult x11 x7 K17 x15 k2 x2 k3 x2 x4 k4 x4 k5 x3 k6 x5 x6 k6r x4 EqMult x7 x12 K7 x6 EqMult x11 x3 K8 x8 k9 x8