# #************************** # SET UP THE INITIAL DATA * #************************** # Problem: # ******** # A relaxation of an nonlinear integer programming problem for finding # optimal nuclear reactor core reload patterns (small size version). # Source: # A.J. Quist, E. de Klerk, C. Roos, T. Terlaky, R. van Geemert, # J.E. Hoogenboom, T.Illes, # "Finding Optimal Nuclear Reactor Core Reload Patterns Using Nonlinear # Optimization and Search Heuristics", # Delft University, January 1998. # classification LOI2-RN-343-313 # SIF input: Arie Quist, Delft, 1998. # Some useful constants # Sizes # Physical Data # Objective # Sumi(l,m) and sumlm(i) # Kern, peak and norm contain no linear elements. # Burn contains two # Kern, burn, norm: See section 3.1 # Peak: See section 3.4 AND 4.4.3 # Plac contains k(i,1) and -sum_m x(i,1,m)*kfresh (Section 3.3) # Kefford contains two linear terms. # This constraint is in section 4.4.2 of the paper # Two adjacent diagonal positions contain the same fuel. # See section 3.6, although it is not explicitly stated. # Rhs of sum-constraints = 1 # Rhs of Norm-constraints = 1 # Rhs of peak constraints = Flim/Nnod # X(i,l,m) variables between 0 en 1 # k(i,t) en keff(t) between 0 en kfresh # phi(i,t) between 0.0001 (bijv?) en 1.0(bijv?) # Epsilon between 0 en 0.01. Currently between 0 and 100 #XL x(i,l,m) 0.08333333 #XU x(i,l,m) 0.08333334 # See Section 4.4.1 of the paper cited as Source. # Elements k(i,t)*phi(i,t) # Elements keff(t)*phi(i,t) # Elements x(i,l,m)*x(j,l-1,m)*k(j,EoC) # Kern(i,t) contains groups kefph(i,t) and kphi(j,t) * -G(i,j) # Norm(t) contains groups kphi(i,t) with factor v(i) # Burn(i,t) contains alpha*Pc*delta_t *kphi(i,t) # Peak(i,t) contains kphi(i,t) param nnod := 14; param nred := 12; param ndia := 2; param ntim := 6; param nage := 4; param d1_1 := 1.0; param d2_1 := 11.0; param d1_2 := 7.0; param d2_2 := 14.0; param alpha := 6.0e-6; param pc := 364.0; param cyclen := 350.0; param kfresh := 1.2; param flim := 2.0; param w1 := 1.0; param v1 := 0.5; param v2 := 1.0; param v3 := 1.0; param v4 := 1.0; param v5 := 1.0; param v6 := 1.0; param v7 := 0.5; param v8 := 1.0; param v9 := 1.0; param v10 := 1.0; param v11 := 0.5; param v12 := 1.0; param v13 := 1.0; param v14 := 0.5; param rnnod := 14.0; param rntim := 6.0; param rnred := 12.0; param rntimm1 := -1.0 + (6.0); param fl_nred := (2.0) / (12.0); param ntimm1 := -1 + (6); param dt := (350.0) / (-1.0 + (6.0)); param alp_pc := (6.0e-6) * (364.0); param alp_pc_dt := ((6.0e-6) * (364.0)) * ((350.0) / (-1.0 + (6.0))); param ntra := 4; param tp1 := 1 + (5); param d1 := round(0 + (11.0)); param d2 := round(0 + (14.0)); param myg := -0.999 + (-0.684); param myintg := -1 * (round(-0.999 + (-0.684))); var x1_1_1 >= 0.0 , <= 1.0; var x1_1_2 >= 0.0 , <= 1.0; var x1_1_3 >= 0.0 , <= 1.0; var x1_2_1 >= 0.0 , <= 1.0; var x1_2_2 >= 0.0 , <= 1.0; var x1_2_3 >= 0.0 , <= 1.0; var x1_3_1 >= 0.0 , <= 1.0; var x1_3_2 >= 0.0 , <= 1.0; var x1_3_3 >= 0.0 , <= 1.0; var x1_4_1 >= 0.0 , <= 1.0; var x1_4_2 >= 0.0 , <= 1.0; var x1_4_3 >= 0.0 , <= 1.0; var x2_1_1 >= 0.0 , <= 1.0; var x2_1_2 >= 0.0 , <= 1.0; var x2_1_3 >= 0.0 , <= 1.0; var x2_2_1 >= 0.0 , <= 1.0; var x2_2_2 >= 0.0 , <= 1.0; var x2_2_3 >= 0.0 , <= 1.0; var x2_3_1 >= 0.0 , <= 1.0; var x2_3_2 >= 0.0 , <= 1.0; var x2_3_3 >= 0.0 , <= 1.0; var x2_4_1 >= 0.0 , <= 1.0; var x2_4_2 >= 0.0 , <= 1.0; var x2_4_3 >= 0.0 , <= 1.0; var x3_1_1 >= 0.0 , <= 1.0; var x3_1_2 >= 0.0 , <= 1.0; var x3_1_3 >= 0.0 , <= 1.0; var x3_2_1 >= 0.0 , <= 1.0; var x3_2_2 >= 0.0 , <= 1.0; var x3_2_3 >= 0.0 , <= 1.0; var x3_3_1 >= 0.0 , <= 1.0; var x3_3_2 >= 0.0 , <= 1.0; var x3_3_3 >= 0.0 , <= 1.0; var x3_4_1 >= 0.0 , <= 1.0; var x3_4_2 >= 0.0 , <= 1.0; var x3_4_3 >= 0.0 , <= 1.0; var x4_1_1 >= 0.0 , <= 1.0; var x4_1_2 >= 0.0 , <= 1.0; var x4_1_3 >= 0.0 , <= 1.0; var x4_2_1 >= 0.0 , <= 1.0; var x4_2_2 >= 0.0 , <= 1.0; var x4_2_3 >= 0.0 , <= 1.0; var x4_3_1 >= 0.0 , <= 1.0; var x4_3_2 >= 0.0 , <= 1.0; var x4_3_3 >= 0.0 , <= 1.0; var x4_4_1 >= 0.0 , <= 1.0; var x4_4_2 >= 0.0 , <= 1.0; var x4_4_3 >= 0.0 , <= 1.0; var x5_1_1 >= 0.0 , <= 1.0; var x5_1_2 >= 0.0 , <= 1.0; var x5_1_3 >= 0.0 , <= 1.0; var x5_2_1 >= 0.0 , <= 1.0; var x5_2_2 >= 0.0 , <= 1.0; var x5_2_3 >= 0.0 , <= 1.0; var x5_3_1 >= 0.0 , <= 1.0; var x5_3_2 >= 0.0 , <= 1.0; var x5_3_3 >= 0.0 , <= 1.0; var x5_4_1 >= 0.0 , <= 1.0; var x5_4_2 >= 0.0 , <= 1.0; var x5_4_3 >= 0.0 , <= 1.0; var x6_1_1 >= 0.0 , <= 1.0; var x6_1_2 >= 0.0 , <= 1.0; var x6_1_3 >= 0.0 , <= 1.0; var x6_2_1 >= 0.0 , <= 1.0; var x6_2_2 >= 0.0 , <= 1.0; var x6_2_3 >= 0.0 , <= 1.0; var x6_3_1 >= 0.0 , <= 1.0; var x6_3_2 >= 0.0 , <= 1.0; var x6_3_3 >= 0.0 , <= 1.0; var x6_4_1 >= 0.0 , <= 1.0; var x6_4_2 >= 0.0 , <= 1.0; var x6_4_3 >= 0.0 , <= 1.0; var x7_1_1 >= 0.0 , <= 1.0; var x7_1_2 >= 0.0 , <= 1.0; var x7_1_3 >= 0.0 , <= 1.0; var x7_2_1 >= 0.0 , <= 1.0; var x7_2_2 >= 0.0 , <= 1.0; var x7_2_3 >= 0.0 , <= 1.0; var x7_3_1 >= 0.0 , <= 1.0; var x7_3_2 >= 0.0 , <= 1.0; var x7_3_3 >= 0.0 , <= 1.0; var x7_4_1 >= 0.0 , <= 1.0; var x7_4_2 >= 0.0 , <= 1.0; var x7_4_3 >= 0.0 , <= 1.0; var x8_1_1 >= 0.0 , <= 1.0; var x8_1_2 >= 0.0 , <= 1.0; var x8_1_3 >= 0.0 , <= 1.0; var x8_2_1 >= 0.0 , <= 1.0; var x8_2_2 >= 0.0 , <= 1.0; var x8_2_3 >= 0.0 , <= 1.0; var x8_3_1 >= 0.0 , <= 1.0; var x8_3_2 >= 0.0 , <= 1.0; var x8_3_3 >= 0.0 , <= 1.0; var x8_4_1 >= 0.0 , <= 1.0; var x8_4_2 >= 0.0 , <= 1.0; var x8_4_3 >= 0.0 , <= 1.0; var x9_1_1 >= 0.0 , <= 1.0; var x9_1_2 >= 0.0 , <= 1.0; var x9_1_3 >= 0.0 , <= 1.0; var x9_2_1 >= 0.0 , <= 1.0; var x9_2_2 >= 0.0 , <= 1.0; var x9_2_3 >= 0.0 , <= 1.0; var x9_3_1 >= 0.0 , <= 1.0; var x9_3_2 >= 0.0 , <= 1.0; var x9_3_3 >= 0.0 , <= 1.0; var x9_4_1 >= 0.0 , <= 1.0; var x9_4_2 >= 0.0 , <= 1.0; var x9_4_3 >= 0.0 , <= 1.0; var x10_1_1 >= 0.0 , <= 1.0; var x10_1_2 >= 0.0 , <= 1.0; var x10_1_3 >= 0.0 , <= 1.0; var x10_2_1 >= 0.0 , <= 1.0; var x10_2_2 >= 0.0 , <= 1.0; var x10_2_3 >= 0.0 , <= 1.0; var x10_3_1 >= 0.0 , <= 1.0; var x10_3_2 >= 0.0 , <= 1.0; var x10_3_3 >= 0.0 , <= 1.0; var x10_4_1 >= 0.0 , <= 1.0; var x10_4_2 >= 0.0 , <= 1.0; var x10_4_3 >= 0.0 , <= 1.0; var x11_1_1 >= 0.0 , <= 1.0; var x11_1_2 >= 0.0 , <= 1.0; var x11_1_3 >= 0.0 , <= 1.0; var x11_2_1 >= 0.0 , <= 1.0; var x11_2_2 >= 0.0 , <= 1.0; var x11_2_3 >= 0.0 , <= 1.0; var x11_3_1 >= 0.0 , <= 1.0; var x11_3_2 >= 0.0 , <= 1.0; var x11_3_3 >= 0.0 , <= 1.0; var x11_4_1 >= 0.0 , <= 1.0; var x11_4_2 >= 0.0 , <= 1.0; var x11_4_3 >= 0.0 , <= 1.0; var x12_1_1 >= 0.0 , <= 1.0; var x12_1_2 >= 0.0 , <= 1.0; var x12_1_3 >= 0.0 , <= 1.0; var x12_2_1 >= 0.0 , <= 1.0; var x12_2_2 >= 0.0 , <= 1.0; var x12_2_3 >= 0.0 , <= 1.0; var x12_3_1 >= 0.0 , <= 1.0; var x12_3_2 >= 0.0 , <= 1.0; var x12_3_3 >= 0.0 , <= 1.0; var x12_4_1 >= 0.0 , <= 1.0; var x12_4_2 >= 0.0 , <= 1.0; var x12_4_3 >= 0.0 , <= 1.0; var x13_1_1 >= 0.0 , <= 1.0; var x13_1_2 >= 0.0 , <= 1.0; var x13_1_3 >= 0.0 , <= 1.0; var x13_2_1 >= 0.0 , <= 1.0; var x13_2_2 >= 0.0 , <= 1.0; var x13_2_3 >= 0.0 , <= 1.0; var x13_3_1 >= 0.0 , <= 1.0; var x13_3_2 >= 0.0 , <= 1.0; var x13_3_3 >= 0.0 , <= 1.0; var x13_4_1 >= 0.0 , <= 1.0; var x13_4_2 >= 0.0 , <= 1.0; var x13_4_3 >= 0.0 , <= 1.0; var x14_1_1 >= 0.0 , <= 1.0; var x14_1_2 >= 0.0 , <= 1.0; var x14_1_3 >= 0.0 , <= 1.0; var x14_2_1 >= 0.0 , <= 1.0; var x14_2_2 >= 0.0 , <= 1.0; var x14_2_3 >= 0.0 , <= 1.0; var x14_3_1 >= 0.0 , <= 1.0; var x14_3_2 >= 0.0 , <= 1.0; var x14_3_3 >= 0.0 , <= 1.0; var x14_4_1 >= 0.0 , <= 1.0; var x14_4_2 >= 0.0 , <= 1.0; var x14_4_3 >= 0.0 , <= 1.0; var k1_1 >= 0.0 , <= 1.2; var phi1_1 >= 0.0001 , <= 1.0; var k1_2 >= 0.0 , <= 1.2; var phi1_2 >= 0.0001 , <= 1.0; var k1_3 >= 0.0 , <= 1.2; var phi1_3 >= 0.0001 , <= 1.0; var k1_4 >= 0.0 , <= 1.2; var phi1_4 >= 0.0001 , <= 1.0; var k1_5 >= 0.0 , <= 1.2; var phi1_5 >= 0.0001 , <= 1.0; var k1_6 >= 0.0 , <= 1.2; var phi1_6 >= 0.0001 , <= 1.0; var k2_1 >= 0.0 , <= 1.2; var phi2_1 >= 0.0001 , <= 1.0; var k2_2 >= 0.0 , <= 1.2; var phi2_2 >= 0.0001 , <= 1.0; var k2_3 >= 0.0 , <= 1.2; var phi2_3 >= 0.0001 , <= 1.0; var k2_4 >= 0.0 , <= 1.2; var phi2_4 >= 0.0001 , <= 1.0; var k2_5 >= 0.0 , <= 1.2; var phi2_5 >= 0.0001 , <= 1.0; var k2_6 >= 0.0 , <= 1.2; var phi2_6 >= 0.0001 , <= 1.0; var k3_1 >= 0.0 , <= 1.2; var phi3_1 >= 0.0001 , <= 1.0; var k3_2 >= 0.0 , <= 1.2; var phi3_2 >= 0.0001 , <= 1.0; var k3_3 >= 0.0 , <= 1.2; var phi3_3 >= 0.0001 , <= 1.0; var k3_4 >= 0.0 , <= 1.2; var phi3_4 >= 0.0001 , <= 1.0; var k3_5 >= 0.0 , <= 1.2; var phi3_5 >= 0.0001 , <= 1.0; var k3_6 >= 0.0 , <= 1.2; var phi3_6 >= 0.0001 , <= 1.0; var k4_1 >= 0.0 , <= 1.2; var phi4_1 >= 0.0001 , <= 1.0; var k4_2 >= 0.0 , <= 1.2; var phi4_2 >= 0.0001 , <= 1.0; var k4_3 >= 0.0 , <= 1.2; var phi4_3 >= 0.0001 , <= 1.0; var k4_4 >= 0.0 , <= 1.2; var phi4_4 >= 0.0001 , <= 1.0; var k4_5 >= 0.0 , <= 1.2; var phi4_5 >= 0.0001 , <= 1.0; var k4_6 >= 0.0 , <= 1.2; var phi4_6 >= 0.0001 , <= 1.0; var k5_1 >= 0.0 , <= 1.2; var phi5_1 >= 0.0001 , <= 1.0; var k5_2 >= 0.0 , <= 1.2; var phi5_2 >= 0.0001 , <= 1.0; var k5_3 >= 0.0 , <= 1.2; var phi5_3 >= 0.0001 , <= 1.0; var k5_4 >= 0.0 , <= 1.2; var phi5_4 >= 0.0001 , <= 1.0; var k5_5 >= 0.0 , <= 1.2; var phi5_5 >= 0.0001 , <= 1.0; var k5_6 >= 0.0 , <= 1.2; var phi5_6 >= 0.0001 , <= 1.0; var k6_1 >= 0.0 , <= 1.2; var phi6_1 >= 0.0001 , <= 1.0; var k6_2 >= 0.0 , <= 1.2; var phi6_2 >= 0.0001 , <= 1.0; var k6_3 >= 0.0 , <= 1.2; var phi6_3 >= 0.0001 , <= 1.0; var k6_4 >= 0.0 , <= 1.2; var phi6_4 >= 0.0001 , <= 1.0; var k6_5 >= 0.0 , <= 1.2; var phi6_5 >= 0.0001 , <= 1.0; var k6_6 >= 0.0 , <= 1.2; var phi6_6 >= 0.0001 , <= 1.0; var k7_1 >= 0.0 , <= 1.2; var phi7_1 >= 0.0001 , <= 1.0; var k7_2 >= 0.0 , <= 1.2; var phi7_2 >= 0.0001 , <= 1.0; var k7_3 >= 0.0 , <= 1.2; var phi7_3 >= 0.0001 , <= 1.0; var k7_4 >= 0.0 , <= 1.2; var phi7_4 >= 0.0001 , <= 1.0; var k7_5 >= 0.0 , <= 1.2; var phi7_5 >= 0.0001 , <= 1.0; var k7_6 >= 0.0 , <= 1.2; var phi7_6 >= 0.0001 , <= 1.0; var k8_1 >= 0.0 , <= 1.2; var phi8_1 >= 0.0001 , <= 1.0; var k8_2 >= 0.0 , <= 1.2; var phi8_2 >= 0.0001 , <= 1.0; var k8_3 >= 0.0 , <= 1.2; var phi8_3 >= 0.0001 , <= 1.0; var k8_4 >= 0.0 , <= 1.2; var phi8_4 >= 0.0001 , <= 1.0; var k8_5 >= 0.0 , <= 1.2; var phi8_5 >= 0.0001 , <= 1.0; var k8_6 >= 0.0 , <= 1.2; var phi8_6 >= 0.0001 , <= 1.0; var k9_1 >= 0.0 , <= 1.2; var phi9_1 >= 0.0001 , <= 1.0; var k9_2 >= 0.0 , <= 1.2; var phi9_2 >= 0.0001 , <= 1.0; var k9_3 >= 0.0 , <= 1.2; var phi9_3 >= 0.0001 , <= 1.0; var k9_4 >= 0.0 , <= 1.2; var phi9_4 >= 0.0001 , <= 1.0; var k9_5 >= 0.0 , <= 1.2; var phi9_5 >= 0.0001 , <= 1.0; var k9_6 >= 0.0 , <= 1.2; var phi9_6 >= 0.0001 , <= 1.0; var k10_1 >= 0.0 , <= 1.2; var phi10_1 >= 0.0001 , <= 1.0; var k10_2 >= 0.0 , <= 1.2; var phi10_2 >= 0.0001 , <= 1.0; var k10_3 >= 0.0 , <= 1.2; var phi10_3 >= 0.0001 , <= 1.0; var k10_4 >= 0.0 , <= 1.2; var phi10_4 >= 0.0001 , <= 1.0; var k10_5 >= 0.0 , <= 1.2; var phi10_5 >= 0.0001 , <= 1.0; var k10_6 >= 0.0 , <= 1.2; var phi10_6 >= 0.0001 , <= 1.0; var k11_1 >= 0.0 , <= 1.2; var phi11_1 >= 0.0001 , <= 1.0; var k11_2 >= 0.0 , <= 1.2; var phi11_2 >= 0.0001 , <= 1.0; var k11_3 >= 0.0 , <= 1.2; var phi11_3 >= 0.0001 , <= 1.0; var k11_4 >= 0.0 , <= 1.2; var phi11_4 >= 0.0001 , <= 1.0; var k11_5 >= 0.0 , <= 1.2; var phi11_5 >= 0.0001 , <= 1.0; var k11_6 >= 0.0 , <= 1.2; var phi11_6 >= 0.0001 , <= 1.0; var k12_1 >= 0.0 , <= 1.2; var phi12_1 >= 0.0001 , <= 1.0; var k12_2 >= 0.0 , <= 1.2; var phi12_2 >= 0.0001 , <= 1.0; var k12_3 >= 0.0 , <= 1.2; var phi12_3 >= 0.0001 , <= 1.0; var k12_4 >= 0.0 , <= 1.2; var phi12_4 >= 0.0001 , <= 1.0; var k12_5 >= 0.0 , <= 1.2; var phi12_5 >= 0.0001 , <= 1.0; var k12_6 >= 0.0 , <= 1.2; var phi12_6 >= 0.0001 , <= 1.0; var k13_1 >= 0.0 , <= 1.2; var phi13_1 >= 0.0001 , <= 1.0; var k13_2 >= 0.0 , <= 1.2; var phi13_2 >= 0.0001 , <= 1.0; var k13_3 >= 0.0 , <= 1.2; var phi13_3 >= 0.0001 , <= 1.0; var k13_4 >= 0.0 , <= 1.2; var phi13_4 >= 0.0001 , <= 1.0; var k13_5 >= 0.0 , <= 1.2; var phi13_5 >= 0.0001 , <= 1.0; var k13_6 >= 0.0 , <= 1.2; var phi13_6 >= 0.0001 , <= 1.0; var k14_1 >= 0.0 , <= 1.2; var phi14_1 >= 0.0001 , <= 1.0; var k14_2 >= 0.0 , <= 1.2; var phi14_2 >= 0.0001 , <= 1.0; var k14_3 >= 0.0 , <= 1.2; var phi14_3 >= 0.0001 , <= 1.0; var k14_4 >= 0.0 , <= 1.2; var phi14_4 >= 0.0001 , <= 1.0; var k14_5 >= 0.0 , <= 1.2; var phi14_5 >= 0.0001 , <= 1.0; var k14_6 >= 0.0 , <= 1.2; var phi14_6 >= 0.0001 , <= 1.0; var keff1 >= 0.0 , <= 1.2; var keff2 >= 0.0 , <= 1.2; var keff3 >= 0.0 , <= 1.2; var keff4 >= 0.0 , <= 1.2; var keff5 >= 0.0 , <= 1.2; var keff6 >= 0.0 , <= 1.2; var epsilon >= 0.0 , <= 100.0; minimize obj: - keff6 + epsilon; subject to sumi1_1: 0.5*x1_1_1 + x2_1_1 + x3_1_1 + x4_1_1 + x5_1_1 + x6_1_1 + 0.5*x7_1_1 + x8_1_1 + x9_1_1 + x10_1_1 + 0.5*x11_1_1 + x12_1_1 + x13_1_1 + 0.5*x14_1_1 - 1.0 = 0; subject to sumlm1: x1_1_1 + x1_1_2 + x1_1_3 + x1_2_1 + x1_2_2 + x1_2_3 + x1_3_1 + x1_3_2 + x1_3_3 + x1_4_1 + x1_4_2 + x1_4_3 - 1.0 = 0; subject to sumlm2: x2_1_1 + x2_1_2 + x2_1_3 + x2_2_1 + x2_2_2 + x2_2_3 + x2_3_1 + x2_3_2 + x2_3_3 + x2_4_1 + x2_4_2 + x2_4_3 - 1.0 = 0; subject to sumlm3: x3_1_1 + x3_1_2 + x3_1_3 + x3_2_1 + x3_2_2 + x3_2_3 + x3_3_1 + x3_3_2 + x3_3_3 + x3_4_1 + x3_4_2 + x3_4_3 - 1.0 = 0; subject to sumlm4: x4_1_1 + x4_1_2 + x4_1_3 + x4_2_1 + x4_2_2 + x4_2_3 + x4_3_1 + x4_3_2 + x4_3_3 + x4_4_1 + x4_4_2 + x4_4_3 - 1.0 = 0; subject to sumlm5: x5_1_1 + x5_1_2 + x5_1_3 + x5_2_1 + x5_2_2 + x5_2_3 + x5_3_1 + x5_3_2 + x5_3_3 + x5_4_1 + x5_4_2 + x5_4_3 - 1.0 = 0; subject to sumlm6: x6_1_1 + x6_1_2 + x6_1_3 + x6_2_1 + x6_2_2 + x6_2_3 + x6_3_1 + x6_3_2 + x6_3_3 + x6_4_1 + x6_4_2 + x6_4_3 - 1.0 = 0; subject to sumlm7: x7_1_1 + x7_1_2 + x7_1_3 + x7_2_1 + x7_2_2 + x7_2_3 + x7_3_1 + x7_3_2 + x7_3_3 + x7_4_1 + x7_4_2 + x7_4_3 - 1.0 = 0; subject to sumlm8: x8_1_1 + x8_1_2 + x8_1_3 + x8_2_1 + x8_2_2 + x8_2_3 + x8_3_1 + x8_3_2 + x8_3_3 + x8_4_1 + x8_4_2 + x8_4_3 - 1.0 = 0; subject to sumlm9: x9_1_1 + x9_1_2 + x9_1_3 + x9_2_1 + x9_2_2 + x9_2_3 + x9_3_1 + x9_3_2 + x9_3_3 + x9_4_1 + x9_4_2 + x9_4_3 - 1.0 = 0; subject to sumlm10: x10_1_1 + x10_1_2 + x10_1_3 + x10_2_1 + x10_2_2 + x10_2_3 + x10_3_1 + x10_3_2 + x10_3_3 + x10_4_1 + x10_4_2 + x10_4_3 - 1.0 = 0; subject to sumlm11: x11_1_1 + x11_1_2 + x11_1_3 + x11_2_1 + x11_2_2 + x11_2_3 + x11_3_1 + x11_3_2 + x11_3_3 + x11_4_1 + x11_4_2 + x11_4_3 - 1.0 = 0; subject to sumlm12: x12_1_1 + x12_1_2 + x12_1_3 + x12_2_1 + x12_2_2 + x12_2_3 + x12_3_1 + x12_3_2 + x12_3_3 + x12_4_1 + x12_4_2 + x12_4_3 - 1.0 = 0; subject to sumlm13: x13_1_1 + x13_1_2 + x13_1_3 + x13_2_1 + x13_2_2 + x13_2_3 + x13_3_1 + x13_3_2 + x13_3_3 + x13_4_1 + x13_4_2 + x13_4_3 - 1.0 = 0; subject to sumlm14: x14_1_1 + x14_1_2 + x14_1_3 + x14_2_1 + x14_2_2 + x14_2_3 + x14_3_1 + x14_3_2 + x14_3_3 + x14_4_1 + x14_4_2 + x14_4_3 - 1.0 = 0; subject to sumi1_2: 0.5*x1_1_2 + x2_1_2 + x3_1_2 + x4_1_2 + x5_1_2 + x6_1_2 + 0.5*x7_1_2 + x8_1_2 + x9_1_2 + x10_1_2 + 0.5*x11_1_2 + x12_1_2 + x13_1_2 + 0.5*x14_1_2 - 1.0 = 0; subject to sumi1_3: 0.5*x1_1_3 + x2_1_3 + x3_1_3 + x4_1_3 + x5_1_3 + x6_1_3 + 0.5*x7_1_3 + x8_1_3 + x9_1_3 + x10_1_3 + 0.5*x11_1_3 + x12_1_3 + x13_1_3 + 0.5*x14_1_3 - 1.0 = 0; subject to sumi2_1: 0.5*x1_2_1 + x2_2_1 + x3_2_1 + x4_2_1 + x5_2_1 + x6_2_1 + 0.5*x7_2_1 + x8_2_1 + x9_2_1 + x10_2_1 + 0.5*x11_2_1 + x12_2_1 + x13_2_1 + 0.5*x14_2_1 - 1.0 = 0; subject to sumi2_2: 0.5*x1_2_2 + x2_2_2 + x3_2_2 + x4_2_2 + x5_2_2 + x6_2_2 + 0.5*x7_2_2 + x8_2_2 + x9_2_2 + x10_2_2 + 0.5*x11_2_2 + x12_2_2 + x13_2_2 + 0.5*x14_2_2 - 1.0 = 0; subject to sumi2_3: 0.5*x1_2_3 + x2_2_3 + x3_2_3 + x4_2_3 + x5_2_3 + x6_2_3 + 0.5*x7_2_3 + x8_2_3 + x9_2_3 + x10_2_3 + 0.5*x11_2_3 + x12_2_3 + x13_2_3 + 0.5*x14_2_3 - 1.0 = 0; subject to sumi3_1: 0.5*x1_3_1 + x2_3_1 + x3_3_1 + x4_3_1 + x5_3_1 + x6_3_1 + 0.5*x7_3_1 + x8_3_1 + x9_3_1 + x10_3_1 + 0.5*x11_3_1 + x12_3_1 + x13_3_1 + 0.5*x14_3_1 - 1.0 = 0; subject to sumi3_2: 0.5*x1_3_2 + x2_3_2 + x3_3_2 + x4_3_2 + x5_3_2 + x6_3_2 + 0.5*x7_3_2 + x8_3_2 + x9_3_2 + x10_3_2 + 0.5*x11_3_2 + x12_3_2 + x13_3_2 + 0.5*x14_3_2 - 1.0 = 0; subject to sumi3_3: 0.5*x1_3_3 + x2_3_3 + x3_3_3 + x4_3_3 + x5_3_3 + x6_3_3 + 0.5*x7_3_3 + x8_3_3 + x9_3_3 + x10_3_3 + 0.5*x11_3_3 + x12_3_3 + x13_3_3 + 0.5*x14_3_3 - 1.0 = 0; subject to sumi4_1: 0.5*x1_4_1 + x2_4_1 + x3_4_1 + x4_4_1 + x5_4_1 + x6_4_1 + 0.5*x7_4_1 + x8_4_1 + x9_4_1 + x10_4_1 + 0.5*x11_4_1 + x12_4_1 + x13_4_1 + 0.5*x14_4_1 - 1.0 = 0; subject to sumi4_2: 0.5*x1_4_2 + x2_4_2 + x3_4_2 + x4_4_2 + x5_4_2 + x6_4_2 + 0.5*x7_4_2 + x8_4_2 + x9_4_2 + x10_4_2 + 0.5*x11_4_2 + x12_4_2 + x13_4_2 + 0.5*x14_4_2 - 1.0 = 0; subject to sumi4_3: 0.5*x1_4_3 + x2_4_3 + x3_4_3 + x4_4_3 + x5_4_3 + x6_4_3 + 0.5*x7_4_3 + x8_4_3 + x9_4_3 + x10_4_3 + 0.5*x11_4_3 + x12_4_3 + x13_4_3 + 0.5*x14_4_3 - 1.0 = 0; subject to norm1: 0.5*k1_1 * phi1_1 + k2_1 * phi2_1 + k3_1 * phi3_1 + k4_1 * phi4_1 + k5_1 * phi5_1 + k6_1 * phi6_1 + 0.5*k7_1 * phi7_1 + k8_1 * phi8_1 + k9_1 * phi9_1 + k10_1 * phi10_1 + 0.5*k11_1 * phi11_1 + k12_1 * phi12_1 + k13_1 * phi13_1 + 0.5*k14_1 * phi14_1 - 1.0 = 0; subject to norm2: 0.5*k1_2 * phi1_2 + k2_2 * phi2_2 + k3_2 * phi3_2 + k4_2 * phi4_2 + k5_2 * phi5_2 + k6_2 * phi6_2 + 0.5*k7_2 * phi7_2 + k8_2 * phi8_2 + k9_2 * phi9_2 + k10_2 * phi10_2 + 0.5*k11_2 * phi11_2 + k12_2 * phi12_2 + k13_2 * phi13_2 + 0.5*k14_2 * phi14_2 - 1.0 = 0; subject to norm3: 0.5*k1_3 * phi1_3 + k2_3 * phi2_3 + k3_3 * phi3_3 + k4_3 * phi4_3 + k5_3 * phi5_3 + k6_3 * phi6_3 + 0.5*k7_3 * phi7_3 + k8_3 * phi8_3 + k9_3 * phi9_3 + k10_3 * phi10_3 + 0.5*k11_3 * phi11_3 + k12_3 * phi12_3 + k13_3 * phi13_3 + 0.5*k14_3 * phi14_3 - 1.0 = 0; subject to norm4: 0.5*k1_4 * phi1_4 + k2_4 * phi2_4 + k3_4 * phi3_4 + k4_4 * phi4_4 + k5_4 * phi5_4 + k6_4 * phi6_4 + 0.5*k7_4 * phi7_4 + k8_4 * phi8_4 + k9_4 * phi9_4 + k10_4 * phi10_4 + 0.5*k11_4 * phi11_4 + k12_4 * phi12_4 + k13_4 * phi13_4 + 0.5*k14_4 * phi14_4 - 1.0 = 0; subject to norm5: 0.5*k1_5 * phi1_5 + k2_5 * phi2_5 + k3_5 * phi3_5 + k4_5 * phi4_5 + k5_5 * phi5_5 + k6_5 * phi6_5 + 0.5*k7_5 * phi7_5 + k8_5 * phi8_5 + k9_5 * phi9_5 + k10_5 * phi10_5 + 0.5*k11_5 * phi11_5 + k12_5 * phi12_5 + k13_5 * phi13_5 + 0.5*k14_5 * phi14_5 - 1.0 = 0; subject to norm6: 0.5*k1_6 * phi1_6 + k2_6 * phi2_6 + k3_6 * phi3_6 + k4_6 * phi4_6 + k5_6 * phi5_6 + k6_6 * phi6_6 + 0.5*k7_6 * phi7_6 + k8_6 * phi8_6 + k9_6 * phi9_6 + k10_6 * phi10_6 + 0.5*k11_6 * phi11_6 + k12_6 * phi12_6 + k13_6 * phi13_6 + 0.5*k14_6 * phi14_6 - 1.0 = 0; subject to kern1_1: keff1 * phi1_1 - 0.828*k1_1 * phi1_1 - 0.158*k2_1 * phi2_1 - 0.014*k7_1 * phi7_1 = 0; subject to peak1_1: 0 >= k1_1 * phi1_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern1_2: keff2 * phi1_2 - 0.828*k1_2 * phi1_2 - 0.158*k2_2 * phi2_2 - 0.014*k7_2 * phi7_2 = 0; subject to peak1_2: 0 >= k1_2 * phi1_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern1_3: keff3 * phi1_3 - 0.828*k1_3 * phi1_3 - 0.158*k2_3 * phi2_3 - 0.014*k7_3 * phi7_3 = 0; subject to peak1_3: 0 >= k1_3 * phi1_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern1_4: keff4 * phi1_4 - 0.828*k1_4 * phi1_4 - 0.158*k2_4 * phi2_4 - 0.014*k7_4 * phi7_4 = 0; subject to peak1_4: 0 >= k1_4 * phi1_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern1_5: keff5 * phi1_5 - 0.828*k1_5 * phi1_5 - 0.158*k2_5 * phi2_5 - 0.014*k7_5 * phi7_5 = 0; subject to peak1_5: 0 >= k1_5 * phi1_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern1_6: keff6 * phi1_6 - 0.828*k1_6 * phi1_6 - 0.158*k2_6 * phi2_6 - 0.014*k7_6 * phi7_6 = 0; subject to peak1_6: 0 >= k1_6 * phi1_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern2_1: keff1 * phi2_1 - 0.079*k1_1 * phi1_1 - 0.763*k2_1 * phi2_1 - 0.079*k3_1 * phi3_1 - 0.065*k7_1 * phi7_1 - 0.014*k8_1 * phi8_1 = 0; subject to peak2_1: 0 >= k2_1 * phi2_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern2_2: keff2 * phi2_2 - 0.079*k1_2 * phi1_2 - 0.763*k2_2 * phi2_2 - 0.079*k3_2 * phi3_2 - 0.065*k7_2 * phi7_2 - 0.014*k8_2 * phi8_2 = 0; subject to peak2_2: 0 >= k2_2 * phi2_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern2_3: keff3 * phi2_3 - 0.079*k1_3 * phi1_3 - 0.763*k2_3 * phi2_3 - 0.079*k3_3 * phi3_3 - 0.065*k7_3 * phi7_3 - 0.014*k8_3 * phi8_3 = 0; subject to peak2_3: 0 >= k2_3 * phi2_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern2_4: keff4 * phi2_4 - 0.079*k1_4 * phi1_4 - 0.763*k2_4 * phi2_4 - 0.079*k3_4 * phi3_4 - 0.065*k7_4 * phi7_4 - 0.014*k8_4 * phi8_4 = 0; subject to peak2_4: 0 >= k2_4 * phi2_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern2_5: keff5 * phi2_5 - 0.079*k1_5 * phi1_5 - 0.763*k2_5 * phi2_5 - 0.079*k3_5 * phi3_5 - 0.065*k7_5 * phi7_5 - 0.014*k8_5 * phi8_5 = 0; subject to peak2_5: 0 >= k2_5 * phi2_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern2_6: keff6 * phi2_6 - 0.079*k1_6 * phi1_6 - 0.763*k2_6 * phi2_6 - 0.079*k3_6 * phi3_6 - 0.065*k7_6 * phi7_6 - 0.014*k8_6 * phi8_6 = 0; subject to peak2_6: 0 >= k2_6 * phi2_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern3_1: keff1 * phi3_1 - 0.079*k2_1 * phi2_1 - 0.749*k3_1 * phi3_1 - 0.079*k4_1 * phi4_1 - 0.014*k7_1 * phi7_1 - 0.065*k8_1 * phi8_1 - 0.014*k9_1 * phi9_1 = 0; subject to peak3_1: 0 >= k3_1 * phi3_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern3_2: keff2 * phi3_2 - 0.079*k2_2 * phi2_2 - 0.749*k3_2 * phi3_2 - 0.079*k4_2 * phi4_2 - 0.014*k7_2 * phi7_2 - 0.065*k8_2 * phi8_2 - 0.014*k9_2 * phi9_2 = 0; subject to peak3_2: 0 >= k3_2 * phi3_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern3_3: keff3 * phi3_3 - 0.079*k2_3 * phi2_3 - 0.749*k3_3 * phi3_3 - 0.079*k4_3 * phi4_3 - 0.014*k7_3 * phi7_3 - 0.065*k8_3 * phi8_3 - 0.014*k9_3 * phi9_3 = 0; subject to peak3_3: 0 >= k3_3 * phi3_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern3_4: keff4 * phi3_4 - 0.079*k2_4 * phi2_4 - 0.749*k3_4 * phi3_4 - 0.079*k4_4 * phi4_4 - 0.014*k7_4 * phi7_4 - 0.065*k8_4 * phi8_4 - 0.014*k9_4 * phi9_4 = 0; subject to peak3_4: 0 >= k3_4 * phi3_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern3_5: keff5 * phi3_5 - 0.079*k2_5 * phi2_5 - 0.749*k3_5 * phi3_5 - 0.079*k4_5 * phi4_5 - 0.014*k7_5 * phi7_5 - 0.065*k8_5 * phi8_5 - 0.014*k9_5 * phi9_5 = 0; subject to peak3_5: 0 >= k3_5 * phi3_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern3_6: keff6 * phi3_6 - 0.079*k2_6 * phi2_6 - 0.749*k3_6 * phi3_6 - 0.079*k4_6 * phi4_6 - 0.014*k7_6 * phi7_6 - 0.065*k8_6 * phi8_6 - 0.014*k9_6 * phi9_6 = 0; subject to peak3_6: 0 >= k3_6 * phi3_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern4_1: keff1 * phi4_1 - 0.079*k3_1 * phi3_1 - 0.749*k4_1 * phi4_1 - 0.079*k5_1 * phi5_1 - 0.014*k8_1 * phi8_1 - 0.065*k9_1 * phi9_1 - 0.014*k10_1 * phi10_1 = 0; subject to peak4_1: 0 >= k4_1 * phi4_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern4_2: keff2 * phi4_2 - 0.079*k3_2 * phi3_2 - 0.749*k4_2 * phi4_2 - 0.079*k5_2 * phi5_2 - 0.014*k8_2 * phi8_2 - 0.065*k9_2 * phi9_2 - 0.014*k10_2 * phi10_2 = 0; subject to peak4_2: 0 >= k4_2 * phi4_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern4_3: keff3 * phi4_3 - 0.079*k3_3 * phi3_3 - 0.749*k4_3 * phi4_3 - 0.079*k5_3 * phi5_3 - 0.014*k8_3 * phi8_3 - 0.065*k9_3 * phi9_3 - 0.014*k10_3 * phi10_3 = 0; subject to peak4_3: 0 >= k4_3 * phi4_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern4_4: keff4 * phi4_4 - 0.079*k3_4 * phi3_4 - 0.749*k4_4 * phi4_4 - 0.079*k5_4 * phi5_4 - 0.014*k8_4 * phi8_4 - 0.065*k9_4 * phi9_4 - 0.014*k10_4 * phi10_4 = 0; subject to peak4_4: 0 >= k4_4 * phi4_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern4_5: keff5 * phi4_5 - 0.079*k3_5 * phi3_5 - 0.749*k4_5 * phi4_5 - 0.079*k5_5 * phi5_5 - 0.014*k8_5 * phi8_5 - 0.065*k9_5 * phi9_5 - 0.014*k10_5 * phi10_5 = 0; subject to peak4_5: 0 >= k4_5 * phi4_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern4_6: keff6 * phi4_6 - 0.079*k3_6 * phi3_6 - 0.749*k4_6 * phi4_6 - 0.079*k5_6 * phi5_6 - 0.014*k8_6 * phi8_6 - 0.065*k9_6 * phi9_6 - 0.014*k10_6 * phi10_6 = 0; subject to peak4_6: 0 >= k4_6 * phi4_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern5_1: keff1 * phi5_1 - 0.079*k4_1 * phi4_1 - 0.749*k5_1 * phi5_1 - 0.079*k6_1 * phi6_1 - 0.014*k9_1 * phi9_1 - 0.065*k10_1 * phi10_1 = 0; subject to peak5_1: 0 >= k5_1 * phi5_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern5_2: keff2 * phi5_2 - 0.079*k4_2 * phi4_2 - 0.749*k5_2 * phi5_2 - 0.079*k6_2 * phi6_2 - 0.014*k9_2 * phi9_2 - 0.065*k10_2 * phi10_2 = 0; subject to peak5_2: 0 >= k5_2 * phi5_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern5_3: keff3 * phi5_3 - 0.079*k4_3 * phi4_3 - 0.749*k5_3 * phi5_3 - 0.079*k6_3 * phi6_3 - 0.014*k9_3 * phi9_3 - 0.065*k10_3 * phi10_3 = 0; subject to peak5_3: 0 >= k5_3 * phi5_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern5_4: keff4 * phi5_4 - 0.079*k4_4 * phi4_4 - 0.749*k5_4 * phi5_4 - 0.079*k6_4 * phi6_4 - 0.014*k9_4 * phi9_4 - 0.065*k10_4 * phi10_4 = 0; subject to peak5_4: 0 >= k5_4 * phi5_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern5_5: keff5 * phi5_5 - 0.079*k4_5 * phi4_5 - 0.749*k5_5 * phi5_5 - 0.079*k6_5 * phi6_5 - 0.014*k9_5 * phi9_5 - 0.065*k10_5 * phi10_5 = 0; subject to peak5_5: 0 >= k5_5 * phi5_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern5_6: keff6 * phi5_6 - 0.079*k4_6 * phi4_6 - 0.749*k5_6 * phi5_6 - 0.079*k6_6 * phi6_6 - 0.014*k9_6 * phi9_6 - 0.065*k10_6 * phi10_6 = 0; subject to peak5_6: 0 >= k5_6 * phi5_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern6_1: keff1 * phi6_1 - 0.079*k5_1 * phi5_1 - 0.749*k6_1 * phi6_1 - 0.014*k10_1 * phi10_1 = 0; subject to peak6_1: 0 >= k6_1 * phi6_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern6_2: keff2 * phi6_2 - 0.079*k5_2 * phi5_2 - 0.749*k6_2 * phi6_2 - 0.014*k10_2 * phi10_2 = 0; subject to peak6_2: 0 >= k6_2 * phi6_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern6_3: keff3 * phi6_3 - 0.079*k5_3 * phi5_3 - 0.749*k6_3 * phi6_3 - 0.014*k10_3 * phi10_3 = 0; subject to peak6_3: 0 >= k6_3 * phi6_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern6_4: keff4 * phi6_4 - 0.079*k5_4 * phi5_4 - 0.749*k6_4 * phi6_4 - 0.014*k10_4 * phi10_4 = 0; subject to peak6_4: 0 >= k6_4 * phi6_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern6_5: keff5 * phi6_5 - 0.079*k5_5 * phi5_5 - 0.749*k6_5 * phi6_5 - 0.014*k10_5 * phi10_5 = 0; subject to peak6_5: 0 >= k6_5 * phi6_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern6_6: keff6 * phi6_6 - 0.079*k5_6 * phi5_6 - 0.749*k6_6 * phi6_6 - 0.014*k10_6 * phi10_6 = 0; subject to peak6_6: 0 >= k6_6 * phi6_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern7_1: keff1 * phi7_1 - 0.014*k1_1 * phi1_1 - 0.13*k2_1 * phi2_1 - 0.028*k3_1 * phi3_1 - 0.684*k7_1 * phi7_1 - 0.13*k8_1 * phi8_1 - 0.014*k11_1 * phi11_1 = 0; subject to peak7_1: 0 >= k7_1 * phi7_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern7_2: keff2 * phi7_2 - 0.014*k1_2 * phi1_2 - 0.13*k2_2 * phi2_2 - 0.028*k3_2 * phi3_2 - 0.684*k7_2 * phi7_2 - 0.13*k8_2 * phi8_2 - 0.014*k11_2 * phi11_2 = 0; subject to peak7_2: 0 >= k7_2 * phi7_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern7_3: keff3 * phi7_3 - 0.014*k1_3 * phi1_3 - 0.13*k2_3 * phi2_3 - 0.028*k3_3 * phi3_3 - 0.684*k7_3 * phi7_3 - 0.13*k8_3 * phi8_3 - 0.014*k11_3 * phi11_3 = 0; subject to peak7_3: 0 >= k7_3 * phi7_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern7_4: keff4 * phi7_4 - 0.014*k1_4 * phi1_4 - 0.13*k2_4 * phi2_4 - 0.028*k3_4 * phi3_4 - 0.684*k7_4 * phi7_4 - 0.13*k8_4 * phi8_4 - 0.014*k11_4 * phi11_4 = 0; subject to peak7_4: 0 >= k7_4 * phi7_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern7_5: keff5 * phi7_5 - 0.014*k1_5 * phi1_5 - 0.13*k2_5 * phi2_5 - 0.028*k3_5 * phi3_5 - 0.684*k7_5 * phi7_5 - 0.13*k8_5 * phi8_5 - 0.014*k11_5 * phi11_5 = 0; subject to peak7_5: 0 >= k7_5 * phi7_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern7_6: keff6 * phi7_6 - 0.014*k1_6 * phi1_6 - 0.13*k2_6 * phi2_6 - 0.028*k3_6 * phi3_6 - 0.684*k7_6 * phi7_6 - 0.13*k8_6 * phi8_6 - 0.014*k11_6 * phi11_6 = 0; subject to peak7_6: 0 >= k7_6 * phi7_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern8_1: keff1 * phi8_1 - 0.014*k2_1 * phi2_1 - 0.065*k3_1 * phi3_1 - 0.014*k4_1 * phi4_1 - 0.065*k7_1 * phi7_1 - 0.698*k8_1 * phi8_1 - 0.065*k9_1 * phi9_1 - 0.065*k11_1 * phi11_1 - 0.014*k12_1 * phi12_1 = 0; subject to peak8_1: 0 >= k8_1 * phi8_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern8_2: keff2 * phi8_2 - 0.014*k2_2 * phi2_2 - 0.065*k3_2 * phi3_2 - 0.014*k4_2 * phi4_2 - 0.065*k7_2 * phi7_2 - 0.698*k8_2 * phi8_2 - 0.065*k9_2 * phi9_2 - 0.065*k11_2 * phi11_2 - 0.014*k12_2 * phi12_2 = 0; subject to peak8_2: 0 >= k8_2 * phi8_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern8_3: keff3 * phi8_3 - 0.014*k2_3 * phi2_3 - 0.065*k3_3 * phi3_3 - 0.014*k4_3 * phi4_3 - 0.065*k7_3 * phi7_3 - 0.698*k8_3 * phi8_3 - 0.065*k9_3 * phi9_3 - 0.065*k11_3 * phi11_3 - 0.014*k12_3 * phi12_3 = 0; subject to peak8_3: 0 >= k8_3 * phi8_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern8_4: keff4 * phi8_4 - 0.014*k2_4 * phi2_4 - 0.065*k3_4 * phi3_4 - 0.014*k4_4 * phi4_4 - 0.065*k7_4 * phi7_4 - 0.698*k8_4 * phi8_4 - 0.065*k9_4 * phi9_4 - 0.065*k11_4 * phi11_4 - 0.014*k12_4 * phi12_4 = 0; subject to peak8_4: 0 >= k8_4 * phi8_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern8_5: keff5 * phi8_5 - 0.014*k2_5 * phi2_5 - 0.065*k3_5 * phi3_5 - 0.014*k4_5 * phi4_5 - 0.065*k7_5 * phi7_5 - 0.698*k8_5 * phi8_5 - 0.065*k9_5 * phi9_5 - 0.065*k11_5 * phi11_5 - 0.014*k12_5 * phi12_5 = 0; subject to peak8_5: 0 >= k8_5 * phi8_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern8_6: keff6 * phi8_6 - 0.014*k2_6 * phi2_6 - 0.065*k3_6 * phi3_6 - 0.014*k4_6 * phi4_6 - 0.065*k7_6 * phi7_6 - 0.698*k8_6 * phi8_6 - 0.065*k9_6 * phi9_6 - 0.065*k11_6 * phi11_6 - 0.014*k12_6 * phi12_6 = 0; subject to peak8_6: 0 >= k8_6 * phi8_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern9_1: keff1 * phi9_1 - 0.014*k3_1 * phi3_1 - 0.065*k4_1 * phi4_1 - 0.014*k5_1 * phi5_1 - 0.065*k8_1 * phi8_1 - 0.684*k9_1 * phi9_1 - 0.065*k10_1 * phi10_1 - 0.014*k11_1 * phi11_1 - 0.065*k12_1 * phi12_1 - 0.014*k13_1 * phi13_1 = 0; subject to peak9_1: 0 >= k9_1 * phi9_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern9_2: keff2 * phi9_2 - 0.014*k3_2 * phi3_2 - 0.065*k4_2 * phi4_2 - 0.014*k5_2 * phi5_2 - 0.065*k8_2 * phi8_2 - 0.684*k9_2 * phi9_2 - 0.065*k10_2 * phi10_2 - 0.014*k11_2 * phi11_2 - 0.065*k12_2 * phi12_2 - 0.014*k13_2 * phi13_2 = 0; subject to peak9_2: 0 >= k9_2 * phi9_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern9_3: keff3 * phi9_3 - 0.014*k3_3 * phi3_3 - 0.065*k4_3 * phi4_3 - 0.014*k5_3 * phi5_3 - 0.065*k8_3 * phi8_3 - 0.684*k9_3 * phi9_3 - 0.065*k10_3 * phi10_3 - 0.014*k11_3 * phi11_3 - 0.065*k12_3 * phi12_3 - 0.014*k13_3 * phi13_3 = 0; subject to peak9_3: 0 >= k9_3 * phi9_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern9_4: keff4 * phi9_4 - 0.014*k3_4 * phi3_4 - 0.065*k4_4 * phi4_4 - 0.014*k5_4 * phi5_4 - 0.065*k8_4 * phi8_4 - 0.684*k9_4 * phi9_4 - 0.065*k10_4 * phi10_4 - 0.014*k11_4 * phi11_4 - 0.065*k12_4 * phi12_4 - 0.014*k13_4 * phi13_4 = 0; subject to peak9_4: 0 >= k9_4 * phi9_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern9_5: keff5 * phi9_5 - 0.014*k3_5 * phi3_5 - 0.065*k4_5 * phi4_5 - 0.014*k5_5 * phi5_5 - 0.065*k8_5 * phi8_5 - 0.684*k9_5 * phi9_5 - 0.065*k10_5 * phi10_5 - 0.014*k11_5 * phi11_5 - 0.065*k12_5 * phi12_5 - 0.014*k13_5 * phi13_5 = 0; subject to peak9_5: 0 >= k9_5 * phi9_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern9_6: keff6 * phi9_6 - 0.014*k3_6 * phi3_6 - 0.065*k4_6 * phi4_6 - 0.014*k5_6 * phi5_6 - 0.065*k8_6 * phi8_6 - 0.684*k9_6 * phi9_6 - 0.065*k10_6 * phi10_6 - 0.014*k11_6 * phi11_6 - 0.065*k12_6 * phi12_6 - 0.014*k13_6 * phi13_6 = 0; subject to peak9_6: 0 >= k9_6 * phi9_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern10_1: keff1 * phi10_1 - 0.014*k4_1 * phi4_1 - 0.065*k5_1 * phi5_1 - 0.014*k6_1 * phi6_1 - 0.065*k9_1 * phi9_1 - 0.684*k10_1 * phi10_1 - 0.014*k12_1 * phi12_1 - 0.065*k13_1 * phi13_1 = 0; subject to peak10_1: 0 >= k10_1 * phi10_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern10_2: keff2 * phi10_2 - 0.014*k4_2 * phi4_2 - 0.065*k5_2 * phi5_2 - 0.014*k6_2 * phi6_2 - 0.065*k9_2 * phi9_2 - 0.684*k10_2 * phi10_2 - 0.014*k12_2 * phi12_2 - 0.065*k13_2 * phi13_2 = 0; subject to peak10_2: 0 >= k10_2 * phi10_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern10_3: keff3 * phi10_3 - 0.014*k4_3 * phi4_3 - 0.065*k5_3 * phi5_3 - 0.014*k6_3 * phi6_3 - 0.065*k9_3 * phi9_3 - 0.684*k10_3 * phi10_3 - 0.014*k12_3 * phi12_3 - 0.065*k13_3 * phi13_3 = 0; subject to peak10_3: 0 >= k10_3 * phi10_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern10_4: keff4 * phi10_4 - 0.014*k4_4 * phi4_4 - 0.065*k5_4 * phi5_4 - 0.014*k6_4 * phi6_4 - 0.065*k9_4 * phi9_4 - 0.684*k10_4 * phi10_4 - 0.014*k12_4 * phi12_4 - 0.065*k13_4 * phi13_4 = 0; subject to peak10_4: 0 >= k10_4 * phi10_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern10_5: keff5 * phi10_5 - 0.014*k4_5 * phi4_5 - 0.065*k5_5 * phi5_5 - 0.014*k6_5 * phi6_5 - 0.065*k9_5 * phi9_5 - 0.684*k10_5 * phi10_5 - 0.014*k12_5 * phi12_5 - 0.065*k13_5 * phi13_5 = 0; subject to peak10_5: 0 >= k10_5 * phi10_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern10_6: keff6 * phi10_6 - 0.014*k4_6 * phi4_6 - 0.065*k5_6 * phi5_6 - 0.014*k6_6 * phi6_6 - 0.065*k9_6 * phi9_6 - 0.684*k10_6 * phi10_6 - 0.014*k12_6 * phi12_6 - 0.065*k13_6 * phi13_6 = 0; subject to peak10_6: 0 >= k10_6 * phi10_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern11_1: keff1 * phi11_1 - 0.014*k7_1 * phi7_1 - 0.13*k8_1 * phi8_1 - 0.028*k9_1 * phi9_1 - 0.684*k11_1 * phi11_1 - 0.13*k12_1 * phi12_1 - 0.014*k14_1 * phi14_1 = 0; subject to peak11_1: 0 >= k11_1 * phi11_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern11_2: keff2 * phi11_2 - 0.014*k7_2 * phi7_2 - 0.13*k8_2 * phi8_2 - 0.028*k9_2 * phi9_2 - 0.684*k11_2 * phi11_2 - 0.13*k12_2 * phi12_2 - 0.014*k14_2 * phi14_2 = 0; subject to peak11_2: 0 >= k11_2 * phi11_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern11_3: keff3 * phi11_3 - 0.014*k7_3 * phi7_3 - 0.13*k8_3 * phi8_3 - 0.028*k9_3 * phi9_3 - 0.684*k11_3 * phi11_3 - 0.13*k12_3 * phi12_3 - 0.014*k14_3 * phi14_3 = 0; subject to peak11_3: 0 >= k11_3 * phi11_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern11_4: keff4 * phi11_4 - 0.014*k7_4 * phi7_4 - 0.13*k8_4 * phi8_4 - 0.028*k9_4 * phi9_4 - 0.684*k11_4 * phi11_4 - 0.13*k12_4 * phi12_4 - 0.014*k14_4 * phi14_4 = 0; subject to peak11_4: 0 >= k11_4 * phi11_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern11_5: keff5 * phi11_5 - 0.014*k7_5 * phi7_5 - 0.13*k8_5 * phi8_5 - 0.028*k9_5 * phi9_5 - 0.684*k11_5 * phi11_5 - 0.13*k12_5 * phi12_5 - 0.014*k14_5 * phi14_5 = 0; subject to peak11_5: 0 >= k11_5 * phi11_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern11_6: keff6 * phi11_6 - 0.014*k7_6 * phi7_6 - 0.13*k8_6 * phi8_6 - 0.028*k9_6 * phi9_6 - 0.684*k11_6 * phi11_6 - 0.13*k12_6 * phi12_6 - 0.014*k14_6 * phi14_6 = 0; subject to peak11_6: 0 >= k11_6 * phi11_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern12_1: keff1 * phi12_1 - 0.014*k8_1 * phi8_1 - 0.065*k9_1 * phi9_1 - 0.014*k10_1 * phi10_1 - 0.065*k11_1 * phi11_1 - 0.698*k12_1 * phi12_1 - 0.065*k13_1 * phi13_1 - 0.065*k14_1 * phi14_1 = 0; subject to peak12_1: 0 >= k12_1 * phi12_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern12_2: keff2 * phi12_2 - 0.014*k8_2 * phi8_2 - 0.065*k9_2 * phi9_2 - 0.014*k10_2 * phi10_2 - 0.065*k11_2 * phi11_2 - 0.698*k12_2 * phi12_2 - 0.065*k13_2 * phi13_2 - 0.065*k14_2 * phi14_2 = 0; subject to peak12_2: 0 >= k12_2 * phi12_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern12_3: keff3 * phi12_3 - 0.014*k8_3 * phi8_3 - 0.065*k9_3 * phi9_3 - 0.014*k10_3 * phi10_3 - 0.065*k11_3 * phi11_3 - 0.698*k12_3 * phi12_3 - 0.065*k13_3 * phi13_3 - 0.065*k14_3 * phi14_3 = 0; subject to peak12_3: 0 >= k12_3 * phi12_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern12_4: keff4 * phi12_4 - 0.014*k8_4 * phi8_4 - 0.065*k9_4 * phi9_4 - 0.014*k10_4 * phi10_4 - 0.065*k11_4 * phi11_4 - 0.698*k12_4 * phi12_4 - 0.065*k13_4 * phi13_4 - 0.065*k14_4 * phi14_4 = 0; subject to peak12_4: 0 >= k12_4 * phi12_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern12_5: keff5 * phi12_5 - 0.014*k8_5 * phi8_5 - 0.065*k9_5 * phi9_5 - 0.014*k10_5 * phi10_5 - 0.065*k11_5 * phi11_5 - 0.698*k12_5 * phi12_5 - 0.065*k13_5 * phi13_5 - 0.065*k14_5 * phi14_5 = 0; subject to peak12_5: 0 >= k12_5 * phi12_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern12_6: keff6 * phi12_6 - 0.014*k8_6 * phi8_6 - 0.065*k9_6 * phi9_6 - 0.014*k10_6 * phi10_6 - 0.065*k11_6 * phi11_6 - 0.698*k12_6 * phi12_6 - 0.065*k13_6 * phi13_6 - 0.065*k14_6 * phi14_6 = 0; subject to peak12_6: 0 >= k12_6 * phi12_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern13_1: keff1 * phi13_1 - 0.014*k9_1 * phi9_1 - 0.065*k10_1 * phi10_1 - 0.065*k12_1 * phi12_1 - 0.684*k13_1 * phi13_1 - 0.014*k14_1 * phi14_1 = 0; subject to peak13_1: 0 >= k13_1 * phi13_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern13_2: keff2 * phi13_2 - 0.014*k9_2 * phi9_2 - 0.065*k10_2 * phi10_2 - 0.065*k12_2 * phi12_2 - 0.684*k13_2 * phi13_2 - 0.014*k14_2 * phi14_2 = 0; subject to peak13_2: 0 >= k13_2 * phi13_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern13_3: keff3 * phi13_3 - 0.014*k9_3 * phi9_3 - 0.065*k10_3 * phi10_3 - 0.065*k12_3 * phi12_3 - 0.684*k13_3 * phi13_3 - 0.014*k14_3 * phi14_3 = 0; subject to peak13_3: 0 >= k13_3 * phi13_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern13_4: keff4 * phi13_4 - 0.014*k9_4 * phi9_4 - 0.065*k10_4 * phi10_4 - 0.065*k12_4 * phi12_4 - 0.684*k13_4 * phi13_4 - 0.014*k14_4 * phi14_4 = 0; subject to peak13_4: 0 >= k13_4 * phi13_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern13_5: keff5 * phi13_5 - 0.014*k9_5 * phi9_5 - 0.065*k10_5 * phi10_5 - 0.065*k12_5 * phi12_5 - 0.684*k13_5 * phi13_5 - 0.014*k14_5 * phi14_5 = 0; subject to peak13_5: 0 >= k13_5 * phi13_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern13_6: keff6 * phi13_6 - 0.014*k9_6 * phi9_6 - 0.065*k10_6 * phi10_6 - 0.065*k12_6 * phi12_6 - 0.684*k13_6 * phi13_6 - 0.014*k14_6 * phi14_6 = 0; subject to peak13_6: 0 >= k13_6 * phi13_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern14_1: keff1 * phi14_1 - 0.014*k11_1 * phi11_1 - 0.13*k12_1 * phi12_1 - 0.028*k13_1 * phi13_1 - 0.684*k14_1 * phi14_1 = 0; subject to peak14_1: 0 >= k14_1 * phi14_1 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern14_2: keff2 * phi14_2 - 0.014*k11_2 * phi11_2 - 0.13*k12_2 * phi12_2 - 0.028*k13_2 * phi13_2 - 0.684*k14_2 * phi14_2 = 0; subject to peak14_2: 0 >= k14_2 * phi14_2 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern14_3: keff3 * phi14_3 - 0.014*k11_3 * phi11_3 - 0.13*k12_3 * phi12_3 - 0.028*k13_3 * phi13_3 - 0.684*k14_3 * phi14_3 = 0; subject to peak14_3: 0 >= k14_3 * phi14_3 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern14_4: keff4 * phi14_4 - 0.014*k11_4 * phi11_4 - 0.13*k12_4 * phi12_4 - 0.028*k13_4 * phi13_4 - 0.684*k14_4 * phi14_4 = 0; subject to peak14_4: 0 >= k14_4 * phi14_4 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern14_5: keff5 * phi14_5 - 0.014*k11_5 * phi11_5 - 0.13*k12_5 * phi12_5 - 0.028*k13_5 * phi13_5 - 0.684*k14_5 * phi14_5 = 0; subject to peak14_5: 0 >= k14_5 * phi14_5 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to kern14_6: keff6 * phi14_6 - 0.014*k11_6 * phi11_6 - 0.13*k12_6 * phi12_6 - 0.028*k13_6 * phi13_6 - 0.684*k14_6 * phi14_6 = 0; subject to peak14_6: 0 >= k14_6 * phi14_6 - 0.16666666666666666*epsilon - 0.16666666666666666; subject to burn1_1: 0.15288000000000002*k1_1 * phi1_1 + k1_2 - k1_1 = 0; subject to burn1_2: 0.15288000000000002*k1_2 * phi1_2 + k1_3 - k1_2 = 0; subject to burn1_3: 0.15288000000000002*k1_3 * phi1_3 + k1_4 - k1_3 = 0; subject to burn1_4: 0.15288000000000002*k1_4 * phi1_4 + k1_5 - k1_4 = 0; subject to burn1_5: 0.15288000000000002*k1_5 * phi1_5 + k1_6 - k1_5 = 0; subject to burn2_1: 0.15288000000000002*k2_1 * phi2_1 + k2_2 - k2_1 = 0; subject to burn2_2: 0.15288000000000002*k2_2 * phi2_2 + k2_3 - k2_2 = 0; subject to burn2_3: 0.15288000000000002*k2_3 * phi2_3 + k2_4 - k2_3 = 0; subject to burn2_4: 0.15288000000000002*k2_4 * phi2_4 + k2_5 - k2_4 = 0; subject to burn2_5: 0.15288000000000002*k2_5 * phi2_5 + k2_6 - k2_5 = 0; subject to burn3_1: 0.15288000000000002*k3_1 * phi3_1 + k3_2 - k3_1 = 0; subject to burn3_2: 0.15288000000000002*k3_2 * phi3_2 + k3_3 - k3_2 = 0; subject to burn3_3: 0.15288000000000002*k3_3 * phi3_3 + k3_4 - k3_3 = 0; subject to burn3_4: 0.15288000000000002*k3_4 * phi3_4 + k3_5 - k3_4 = 0; subject to burn3_5: 0.15288000000000002*k3_5 * phi3_5 + k3_6 - k3_5 = 0; subject to burn4_1: 0.15288000000000002*k4_1 * phi4_1 + k4_2 - k4_1 = 0; subject to burn4_2: 0.15288000000000002*k4_2 * phi4_2 + k4_3 - k4_2 = 0; subject to burn4_3: 0.15288000000000002*k4_3 * phi4_3 + k4_4 - k4_3 = 0; subject to burn4_4: 0.15288000000000002*k4_4 * phi4_4 + k4_5 - k4_4 = 0; subject to burn4_5: 0.15288000000000002*k4_5 * phi4_5 + k4_6 - k4_5 = 0; subject to burn5_1: 0.15288000000000002*k5_1 * phi5_1 + k5_2 - k5_1 = 0; subject to burn5_2: 0.15288000000000002*k5_2 * phi5_2 + k5_3 - k5_2 = 0; subject to burn5_3: 0.15288000000000002*k5_3 * phi5_3 + k5_4 - k5_3 = 0; subject to burn5_4: 0.15288000000000002*k5_4 * phi5_4 + k5_5 - k5_4 = 0; subject to burn5_5: 0.15288000000000002*k5_5 * phi5_5 + k5_6 - k5_5 = 0; subject to burn6_1: 0.15288000000000002*k6_1 * phi6_1 + k6_2 - k6_1 = 0; subject to burn6_2: 0.15288000000000002*k6_2 * phi6_2 + k6_3 - k6_2 = 0; subject to burn6_3: 0.15288000000000002*k6_3 * phi6_3 + k6_4 - k6_3 = 0; subject to burn6_4: 0.15288000000000002*k6_4 * phi6_4 + k6_5 - k6_4 = 0; subject to burn6_5: 0.15288000000000002*k6_5 * phi6_5 + k6_6 - k6_5 = 0; subject to burn7_1: 0.15288000000000002*k7_1 * phi7_1 + k7_2 - k7_1 = 0; subject to burn7_2: 0.15288000000000002*k7_2 * phi7_2 + k7_3 - k7_2 = 0; subject to burn7_3: 0.15288000000000002*k7_3 * phi7_3 + k7_4 - k7_3 = 0; subject to burn7_4: 0.15288000000000002*k7_4 * phi7_4 + k7_5 - k7_4 = 0; subject to burn7_5: 0.15288000000000002*k7_5 * phi7_5 + k7_6 - k7_5 = 0; subject to burn8_1: 0.15288000000000002*k8_1 * phi8_1 + k8_2 - k8_1 = 0; subject to burn8_2: 0.15288000000000002*k8_2 * phi8_2 + k8_3 - k8_2 = 0; subject to burn8_3: 0.15288000000000002*k8_3 * phi8_3 + k8_4 - k8_3 = 0; subject to burn8_4: 0.15288000000000002*k8_4 * phi8_4 + k8_5 - k8_4 = 0; subject to burn8_5: 0.15288000000000002*k8_5 * phi8_5 + k8_6 - k8_5 = 0; subject to burn9_1: 0.15288000000000002*k9_1 * phi9_1 + k9_2 - k9_1 = 0; subject to burn9_2: 0.15288000000000002*k9_2 * phi9_2 + k9_3 - k9_2 = 0; subject to burn9_3: 0.15288000000000002*k9_3 * phi9_3 + k9_4 - k9_3 = 0; subject to burn9_4: 0.15288000000000002*k9_4 * phi9_4 + k9_5 - k9_4 = 0; subject to burn9_5: 0.15288000000000002*k9_5 * phi9_5 + k9_6 - k9_5 = 0; subject to burn10_1: 0.15288000000000002*k10_1 * phi10_1 + k10_2 - k10_1 = 0; subject to burn10_2: 0.15288000000000002*k10_2 * phi10_2 + k10_3 - k10_2 = 0; subject to burn10_3: 0.15288000000000002*k10_3 * phi10_3 + k10_4 - k10_3 = 0; subject to burn10_4: 0.15288000000000002*k10_4 * phi10_4 + k10_5 - k10_4 = 0; subject to burn10_5: 0.15288000000000002*k10_5 * phi10_5 + k10_6 - k10_5 = 0; subject to burn11_1: 0.15288000000000002*k11_1 * phi11_1 + k11_2 - k11_1 = 0; subject to burn11_2: 0.15288000000000002*k11_2 * phi11_2 + k11_3 - k11_2 = 0; subject to burn11_3: 0.15288000000000002*k11_3 * phi11_3 + k11_4 - k11_3 = 0; subject to burn11_4: 0.15288000000000002*k11_4 * phi11_4 + k11_5 - k11_4 = 0; subject to burn11_5: 0.15288000000000002*k11_5 * phi11_5 + k11_6 - k11_5 = 0; subject to burn12_1: 0.15288000000000002*k12_1 * phi12_1 + k12_2 - k12_1 = 0; subject to burn12_2: 0.15288000000000002*k12_2 * phi12_2 + k12_3 - k12_2 = 0; subject to burn12_3: 0.15288000000000002*k12_3 * phi12_3 + k12_4 - k12_3 = 0; subject to burn12_4: 0.15288000000000002*k12_4 * phi12_4 + k12_5 - k12_4 = 0; subject to burn12_5: 0.15288000000000002*k12_5 * phi12_5 + k12_6 - k12_5 = 0; subject to burn13_1: 0.15288000000000002*k13_1 * phi13_1 + k13_2 - k13_1 = 0; subject to burn13_2: 0.15288000000000002*k13_2 * phi13_2 + k13_3 - k13_2 = 0; subject to burn13_3: 0.15288000000000002*k13_3 * phi13_3 + k13_4 - k13_3 = 0; subject to burn13_4: 0.15288000000000002*k13_4 * phi13_4 + k13_5 - k13_4 = 0; subject to burn13_5: 0.15288000000000002*k13_5 * phi13_5 + k13_6 - k13_5 = 0; subject to burn14_1: 0.15288000000000002*k14_1 * phi14_1 + k14_2 - k14_1 = 0; subject to burn14_2: 0.15288000000000002*k14_2 * phi14_2 + k14_3 - k14_2 = 0; subject to burn14_3: 0.15288000000000002*k14_3 * phi14_3 + k14_4 - k14_3 = 0; subject to burn14_4: 0.15288000000000002*k14_4 * phi14_4 + k14_5 - k14_4 = 0; subject to burn14_5: 0.15288000000000002*k14_5 * phi14_5 + k14_6 - k14_5 = 0; subject to plac1: -0.5*x1_2_1 * x1_1_1 * k1_6 - 0.5*x1_3_1 * x1_2_1 * k1_6 - 0.5*x1_4_1 * x1_3_1 * k1_6 - 0.5*x1_2_2 * x1_1_2 * k1_6 - 0.5*x1_3_2 * x1_2_2 * k1_6 - 0.5*x1_4_2 * x1_3_2 * k1_6 - 0.5*x1_2_3 * x1_1_3 * k1_6 - 0.5*x1_3_3 * x1_2_3 * k1_6 - 0.5*x1_4_3 * x1_3_3 * k1_6 - x1_2_1 * x2_1_1 * k2_6 - x1_3_1 * x2_2_1 * k2_6 - x1_4_1 * x2_3_1 * k2_6 - x1_2_2 * x2_1_2 * k2_6 - x1_3_2 * x2_2_2 * k2_6 - x1_4_2 * x2_3_2 * k2_6 - x1_2_3 * x2_1_3 * k2_6 - x1_3_3 * x2_2_3 * k2_6 - x1_4_3 * x2_3_3 * k2_6 - x1_2_1 * x3_1_1 * k3_6 - x1_3_1 * x3_2_1 * k3_6 - x1_4_1 * x3_3_1 * k3_6 - x1_2_2 * x3_1_2 * k3_6 - x1_3_2 * x3_2_2 * k3_6 - x1_4_2 * x3_3_2 * k3_6 - x1_2_3 * x3_1_3 * k3_6 - x1_3_3 * x3_2_3 * k3_6 - x1_4_3 * x3_3_3 * k3_6 - x1_2_1 * x4_1_1 * k4_6 - x1_3_1 * x4_2_1 * k4_6 - x1_4_1 * x4_3_1 * k4_6 - x1_2_2 * x4_1_2 * k4_6 - x1_3_2 * x4_2_2 * k4_6 - x1_4_2 * x4_3_2 * k4_6 - x1_2_3 * x4_1_3 * k4_6 - x1_3_3 * x4_2_3 * k4_6 - x1_4_3 * x4_3_3 * k4_6 - x1_2_1 * x5_1_1 * k5_6 - x1_3_1 * x5_2_1 * k5_6 - x1_4_1 * x5_3_1 * k5_6 - x1_2_2 * x5_1_2 * k5_6 - x1_3_2 * x5_2_2 * k5_6 - x1_4_2 * x5_3_2 * k5_6 - x1_2_3 * x5_1_3 * k5_6 - x1_3_3 * x5_2_3 * k5_6 - x1_4_3 * x5_3_3 * k5_6 - x1_2_1 * x6_1_1 * k6_6 - x1_3_1 * x6_2_1 * k6_6 - x1_4_1 * x6_3_1 * k6_6 - x1_2_2 * x6_1_2 * k6_6 - x1_3_2 * x6_2_2 * k6_6 - x1_4_2 * x6_3_2 * k6_6 - x1_2_3 * x6_1_3 * k6_6 - x1_3_3 * x6_2_3 * k6_6 - x1_4_3 * x6_3_3 * k6_6 - 0.5*x1_2_1 * x7_1_1 * k7_6 - 0.5*x1_3_1 * x7_2_1 * k7_6 - 0.5*x1_4_1 * x7_3_1 * k7_6 - 0.5*x1_2_2 * x7_1_2 * k7_6 - 0.5*x1_3_2 * x7_2_2 * k7_6 - 0.5*x1_4_2 * x7_3_2 * k7_6 - 0.5*x1_2_3 * x7_1_3 * k7_6 - 0.5*x1_3_3 * x7_2_3 * k7_6 - 0.5*x1_4_3 * x7_3_3 * k7_6 - x1_2_1 * x8_1_1 * k8_6 - x1_3_1 * x8_2_1 * k8_6 - x1_4_1 * x8_3_1 * k8_6 - x1_2_2 * x8_1_2 * k8_6 - x1_3_2 * x8_2_2 * k8_6 - x1_4_2 * x8_3_2 * k8_6 - x1_2_3 * x8_1_3 * k8_6 - x1_3_3 * x8_2_3 * k8_6 - x1_4_3 * x8_3_3 * k8_6 - x1_2_1 * x9_1_1 * k9_6 - x1_3_1 * x9_2_1 * k9_6 - x1_4_1 * x9_3_1 * k9_6 - x1_2_2 * x9_1_2 * k9_6 - x1_3_2 * x9_2_2 * k9_6 - x1_4_2 * x9_3_2 * k9_6 - x1_2_3 * x9_1_3 * k9_6 - x1_3_3 * x9_2_3 * k9_6 - x1_4_3 * x9_3_3 * k9_6 - x1_2_1 * x10_1_1 * k10_6 - x1_3_1 * x10_2_1 * k10_6 - x1_4_1 * x10_3_1 * k10_6 - x1_2_2 * x10_1_2 * k10_6 - x1_3_2 * x10_2_2 * k10_6 - x1_4_2 * x10_3_2 * k10_6 - x1_2_3 * x10_1_3 * k10_6 - x1_3_3 * x10_2_3 * k10_6 - x1_4_3 * x10_3_3 * k10_6 - 0.5*x1_2_1 * x11_1_1 * k11_6 - 0.5*x1_3_1 * x11_2_1 * k11_6 - 0.5*x1_4_1 * x11_3_1 * k11_6 - 0.5*x1_2_2 * x11_1_2 * k11_6 - 0.5*x1_3_2 * x11_2_2 * k11_6 - 0.5*x1_4_2 * x11_3_2 * k11_6 - 0.5*x1_2_3 * x11_1_3 * k11_6 - 0.5*x1_3_3 * x11_2_3 * k11_6 - 0.5*x1_4_3 * x11_3_3 * k11_6 - x1_2_1 * x12_1_1 * k12_6 - x1_3_1 * x12_2_1 * k12_6 - x1_4_1 * x12_3_1 * k12_6 - x1_2_2 * x12_1_2 * k12_6 - x1_3_2 * x12_2_2 * k12_6 - x1_4_2 * x12_3_2 * k12_6 - x1_2_3 * x12_1_3 * k12_6 - x1_3_3 * x12_2_3 * k12_6 - x1_4_3 * x12_3_3 * k12_6 - x1_2_1 * x13_1_1 * k13_6 - x1_3_1 * x13_2_1 * k13_6 - x1_4_1 * x13_3_1 * k13_6 - x1_2_2 * x13_1_2 * k13_6 - x1_3_2 * x13_2_2 * k13_6 - x1_4_2 * x13_3_2 * k13_6 - x1_2_3 * x13_1_3 * k13_6 - x1_3_3 * x13_2_3 * k13_6 - x1_4_3 * x13_3_3 * k13_6 - 0.5*x1_2_1 * x14_1_1 * k14_6 - 0.5*x1_3_1 * x14_2_1 * k14_6 - 0.5*x1_4_1 * x14_3_1 * k14_6 - 0.5*x1_2_2 * x14_1_2 * k14_6 - 0.5*x1_3_2 * x14_2_2 * k14_6 - 0.5*x1_4_2 * x14_3_2 * k14_6 - 0.5*x1_2_3 * x14_1_3 * k14_6 - 0.5*x1_3_3 * x14_2_3 * k14_6 - 0.5*x1_4_3 * x14_3_3 * k14_6 + k1_1 - 1.2*x1_1_1 - 1.2*x1_1_2 - 1.2*x1_1_3 = 0; subject to plac2: -0.5*x2_2_1 * x1_1_1 * k1_6 - 0.5*x2_3_1 * x1_2_1 * k1_6 - 0.5*x2_4_1 * x1_3_1 * k1_6 - 0.5*x2_2_2 * x1_1_2 * k1_6 - 0.5*x2_3_2 * x1_2_2 * k1_6 - 0.5*x2_4_2 * x1_3_2 * k1_6 - 0.5*x2_2_3 * x1_1_3 * k1_6 - 0.5*x2_3_3 * x1_2_3 * k1_6 - 0.5*x2_4_3 * x1_3_3 * k1_6 - x2_2_1 * x2_1_1 * k2_6 - x2_3_1 * x2_2_1 * k2_6 - x2_4_1 * x2_3_1 * k2_6 - x2_2_2 * x2_1_2 * k2_6 - x2_3_2 * x2_2_2 * k2_6 - x2_4_2 * x2_3_2 * k2_6 - x2_2_3 * x2_1_3 * k2_6 - x2_3_3 * x2_2_3 * k2_6 - x2_4_3 * x2_3_3 * k2_6 - x2_2_1 * x3_1_1 * k3_6 - x2_3_1 * x3_2_1 * k3_6 - x2_4_1 * x3_3_1 * k3_6 - x2_2_2 * x3_1_2 * k3_6 - x2_3_2 * x3_2_2 * k3_6 - x2_4_2 * x3_3_2 * k3_6 - x2_2_3 * x3_1_3 * k3_6 - x2_3_3 * x3_2_3 * k3_6 - x2_4_3 * x3_3_3 * k3_6 - x2_2_1 * x4_1_1 * k4_6 - x2_3_1 * x4_2_1 * k4_6 - x2_4_1 * x4_3_1 * k4_6 - x2_2_2 * x4_1_2 * k4_6 - x2_3_2 * x4_2_2 * k4_6 - x2_4_2 * x4_3_2 * k4_6 - x2_2_3 * x4_1_3 * k4_6 - x2_3_3 * x4_2_3 * k4_6 - x2_4_3 * x4_3_3 * k4_6 - x2_2_1 * x5_1_1 * k5_6 - x2_3_1 * x5_2_1 * k5_6 - x2_4_1 * x5_3_1 * k5_6 - x2_2_2 * x5_1_2 * k5_6 - x2_3_2 * x5_2_2 * k5_6 - x2_4_2 * x5_3_2 * k5_6 - x2_2_3 * x5_1_3 * k5_6 - x2_3_3 * x5_2_3 * k5_6 - x2_4_3 * x5_3_3 * k5_6 - x2_2_1 * x6_1_1 * k6_6 - x2_3_1 * x6_2_1 * k6_6 - x2_4_1 * x6_3_1 * k6_6 - x2_2_2 * x6_1_2 * k6_6 - x2_3_2 * x6_2_2 * k6_6 - x2_4_2 * x6_3_2 * k6_6 - x2_2_3 * x6_1_3 * k6_6 - x2_3_3 * x6_2_3 * k6_6 - x2_4_3 * x6_3_3 * k6_6 - 0.5*x2_2_1 * x7_1_1 * k7_6 - 0.5*x2_3_1 * x7_2_1 * k7_6 - 0.5*x2_4_1 * x7_3_1 * k7_6 - 0.5*x2_2_2 * x7_1_2 * k7_6 - 0.5*x2_3_2 * x7_2_2 * k7_6 - 0.5*x2_4_2 * x7_3_2 * k7_6 - 0.5*x2_2_3 * x7_1_3 * k7_6 - 0.5*x2_3_3 * x7_2_3 * k7_6 - 0.5*x2_4_3 * x7_3_3 * k7_6 - x2_2_1 * x8_1_1 * k8_6 - x2_3_1 * x8_2_1 * k8_6 - x2_4_1 * x8_3_1 * k8_6 - x2_2_2 * x8_1_2 * k8_6 - x2_3_2 * x8_2_2 * k8_6 - x2_4_2 * x8_3_2 * k8_6 - x2_2_3 * x8_1_3 * k8_6 - x2_3_3 * x8_2_3 * k8_6 - x2_4_3 * x8_3_3 * k8_6 - x2_2_1 * x9_1_1 * k9_6 - x2_3_1 * x9_2_1 * k9_6 - x2_4_1 * x9_3_1 * k9_6 - x2_2_2 * x9_1_2 * k9_6 - x2_3_2 * x9_2_2 * k9_6 - x2_4_2 * x9_3_2 * k9_6 - x2_2_3 * x9_1_3 * k9_6 - x2_3_3 * x9_2_3 * k9_6 - x2_4_3 * x9_3_3 * k9_6 - x2_2_1 * x10_1_1 * k10_6 - x2_3_1 * x10_2_1 * k10_6 - x2_4_1 * x10_3_1 * k10_6 - x2_2_2 * x10_1_2 * k10_6 - x2_3_2 * x10_2_2 * k10_6 - x2_4_2 * x10_3_2 * k10_6 - x2_2_3 * x10_1_3 * k10_6 - x2_3_3 * x10_2_3 * k10_6 - x2_4_3 * x10_3_3 * k10_6 - 0.5*x2_2_1 * x11_1_1 * k11_6 - 0.5*x2_3_1 * x11_2_1 * k11_6 - 0.5*x2_4_1 * x11_3_1 * k11_6 - 0.5*x2_2_2 * x11_1_2 * k11_6 - 0.5*x2_3_2 * x11_2_2 * k11_6 - 0.5*x2_4_2 * x11_3_2 * k11_6 - 0.5*x2_2_3 * x11_1_3 * k11_6 - 0.5*x2_3_3 * x11_2_3 * k11_6 - 0.5*x2_4_3 * x11_3_3 * k11_6 - x2_2_1 * x12_1_1 * k12_6 - x2_3_1 * x12_2_1 * k12_6 - x2_4_1 * x12_3_1 * k12_6 - x2_2_2 * x12_1_2 * k12_6 - x2_3_2 * x12_2_2 * k12_6 - x2_4_2 * x12_3_2 * k12_6 - x2_2_3 * x12_1_3 * k12_6 - x2_3_3 * x12_2_3 * k12_6 - x2_4_3 * x12_3_3 * k12_6 - x2_2_1 * x13_1_1 * k13_6 - x2_3_1 * x13_2_1 * k13_6 - x2_4_1 * x13_3_1 * k13_6 - x2_2_2 * x13_1_2 * k13_6 - x2_3_2 * x13_2_2 * k13_6 - x2_4_2 * x13_3_2 * k13_6 - x2_2_3 * x13_1_3 * k13_6 - x2_3_3 * x13_2_3 * k13_6 - x2_4_3 * x13_3_3 * k13_6 - 0.5*x2_2_1 * x14_1_1 * k14_6 - 0.5*x2_3_1 * x14_2_1 * k14_6 - 0.5*x2_4_1 * x14_3_1 * k14_6 - 0.5*x2_2_2 * x14_1_2 * k14_6 - 0.5*x2_3_2 * x14_2_2 * k14_6 - 0.5*x2_4_2 * x14_3_2 * k14_6 - 0.5*x2_2_3 * x14_1_3 * k14_6 - 0.5*x2_3_3 * x14_2_3 * k14_6 - 0.5*x2_4_3 * x14_3_3 * k14_6 + k2_1 - 1.2*x2_1_1 - 1.2*x2_1_2 - 1.2*x2_1_3 = 0; subject to plac3: -0.5*x3_2_1 * x1_1_1 * k1_6 - 0.5*x3_3_1 * x1_2_1 * k1_6 - 0.5*x3_4_1 * x1_3_1 * k1_6 - 0.5*x3_2_2 * x1_1_2 * k1_6 - 0.5*x3_3_2 * x1_2_2 * k1_6 - 0.5*x3_4_2 * x1_3_2 * k1_6 - 0.5*x3_2_3 * x1_1_3 * k1_6 - 0.5*x3_3_3 * x1_2_3 * k1_6 - 0.5*x3_4_3 * x1_3_3 * k1_6 - x3_2_1 * x2_1_1 * k2_6 - x3_3_1 * x2_2_1 * k2_6 - x3_4_1 * x2_3_1 * k2_6 - x3_2_2 * x2_1_2 * k2_6 - x3_3_2 * x2_2_2 * k2_6 - x3_4_2 * x2_3_2 * k2_6 - x3_2_3 * x2_1_3 * k2_6 - x3_3_3 * x2_2_3 * k2_6 - x3_4_3 * x2_3_3 * k2_6 - x3_2_1 * x3_1_1 * k3_6 - x3_3_1 * x3_2_1 * k3_6 - x3_4_1 * x3_3_1 * k3_6 - x3_2_2 * x3_1_2 * k3_6 - x3_3_2 * x3_2_2 * k3_6 - x3_4_2 * x3_3_2 * k3_6 - x3_2_3 * x3_1_3 * k3_6 - x3_3_3 * x3_2_3 * k3_6 - x3_4_3 * x3_3_3 * k3_6 - x3_2_1 * x4_1_1 * k4_6 - x3_3_1 * x4_2_1 * k4_6 - x3_4_1 * x4_3_1 * k4_6 - x3_2_2 * x4_1_2 * k4_6 - x3_3_2 * x4_2_2 * k4_6 - x3_4_2 * x4_3_2 * k4_6 - x3_2_3 * x4_1_3 * k4_6 - x3_3_3 * x4_2_3 * k4_6 - x3_4_3 * x4_3_3 * k4_6 - x3_2_1 * x5_1_1 * k5_6 - x3_3_1 * x5_2_1 * k5_6 - x3_4_1 * x5_3_1 * k5_6 - x3_2_2 * x5_1_2 * k5_6 - x3_3_2 * x5_2_2 * k5_6 - x3_4_2 * x5_3_2 * k5_6 - x3_2_3 * x5_1_3 * k5_6 - x3_3_3 * x5_2_3 * k5_6 - x3_4_3 * x5_3_3 * k5_6 - x3_2_1 * x6_1_1 * k6_6 - x3_3_1 * x6_2_1 * k6_6 - x3_4_1 * x6_3_1 * k6_6 - x3_2_2 * x6_1_2 * k6_6 - x3_3_2 * x6_2_2 * k6_6 - x3_4_2 * x6_3_2 * k6_6 - x3_2_3 * x6_1_3 * k6_6 - x3_3_3 * x6_2_3 * k6_6 - x3_4_3 * x6_3_3 * k6_6 - 0.5*x3_2_1 * x7_1_1 * k7_6 - 0.5*x3_3_1 * x7_2_1 * k7_6 - 0.5*x3_4_1 * x7_3_1 * k7_6 - 0.5*x3_2_2 * x7_1_2 * k7_6 - 0.5*x3_3_2 * x7_2_2 * k7_6 - 0.5*x3_4_2 * x7_3_2 * k7_6 - 0.5*x3_2_3 * x7_1_3 * k7_6 - 0.5*x3_3_3 * x7_2_3 * k7_6 - 0.5*x3_4_3 * x7_3_3 * k7_6 - x3_2_1 * x8_1_1 * k8_6 - x3_3_1 * x8_2_1 * k8_6 - x3_4_1 * x8_3_1 * k8_6 - x3_2_2 * x8_1_2 * k8_6 - x3_3_2 * x8_2_2 * k8_6 - x3_4_2 * x8_3_2 * k8_6 - x3_2_3 * x8_1_3 * k8_6 - x3_3_3 * x8_2_3 * k8_6 - x3_4_3 * x8_3_3 * k8_6 - x3_2_1 * x9_1_1 * k9_6 - x3_3_1 * x9_2_1 * k9_6 - x3_4_1 * x9_3_1 * k9_6 - x3_2_2 * x9_1_2 * k9_6 - x3_3_2 * x9_2_2 * k9_6 - x3_4_2 * x9_3_2 * k9_6 - x3_2_3 * x9_1_3 * k9_6 - x3_3_3 * x9_2_3 * k9_6 - x3_4_3 * x9_3_3 * k9_6 - x3_2_1 * x10_1_1 * k10_6 - x3_3_1 * x10_2_1 * k10_6 - x3_4_1 * x10_3_1 * k10_6 - x3_2_2 * x10_1_2 * k10_6 - x3_3_2 * x10_2_2 * k10_6 - x3_4_2 * x10_3_2 * k10_6 - x3_2_3 * x10_1_3 * k10_6 - x3_3_3 * x10_2_3 * k10_6 - x3_4_3 * x10_3_3 * k10_6 - 0.5*x3_2_1 * x11_1_1 * k11_6 - 0.5*x3_3_1 * x11_2_1 * k11_6 - 0.5*x3_4_1 * x11_3_1 * k11_6 - 0.5*x3_2_2 * x11_1_2 * k11_6 - 0.5*x3_3_2 * x11_2_2 * k11_6 - 0.5*x3_4_2 * x11_3_2 * k11_6 - 0.5*x3_2_3 * x11_1_3 * k11_6 - 0.5*x3_3_3 * x11_2_3 * k11_6 - 0.5*x3_4_3 * x11_3_3 * k11_6 - x3_2_1 * x12_1_1 * k12_6 - x3_3_1 * x12_2_1 * k12_6 - x3_4_1 * x12_3_1 * k12_6 - x3_2_2 * x12_1_2 * k12_6 - x3_3_2 * x12_2_2 * k12_6 - x3_4_2 * x12_3_2 * k12_6 - x3_2_3 * x12_1_3 * k12_6 - x3_3_3 * x12_2_3 * k12_6 - x3_4_3 * x12_3_3 * k12_6 - x3_2_1 * x13_1_1 * k13_6 - x3_3_1 * x13_2_1 * k13_6 - x3_4_1 * x13_3_1 * k13_6 - x3_2_2 * x13_1_2 * k13_6 - x3_3_2 * x13_2_2 * k13_6 - x3_4_2 * x13_3_2 * k13_6 - x3_2_3 * x13_1_3 * k13_6 - x3_3_3 * x13_2_3 * k13_6 - x3_4_3 * x13_3_3 * k13_6 - 0.5*x3_2_1 * x14_1_1 * k14_6 - 0.5*x3_3_1 * x14_2_1 * k14_6 - 0.5*x3_4_1 * x14_3_1 * k14_6 - 0.5*x3_2_2 * x14_1_2 * k14_6 - 0.5*x3_3_2 * x14_2_2 * k14_6 - 0.5*x3_4_2 * x14_3_2 * k14_6 - 0.5*x3_2_3 * x14_1_3 * k14_6 - 0.5*x3_3_3 * x14_2_3 * k14_6 - 0.5*x3_4_3 * x14_3_3 * k14_6 + k3_1 - 1.2*x3_1_1 - 1.2*x3_1_2 - 1.2*x3_1_3 = 0; subject to plac4: -0.5*x4_2_1 * x1_1_1 * k1_6 - 0.5*x4_3_1 * x1_2_1 * k1_6 - 0.5*x4_4_1 * x1_3_1 * k1_6 - 0.5*x4_2_2 * x1_1_2 * k1_6 - 0.5*x4_3_2 * x1_2_2 * k1_6 - 0.5*x4_4_2 * x1_3_2 * k1_6 - 0.5*x4_2_3 * x1_1_3 * k1_6 - 0.5*x4_3_3 * x1_2_3 * k1_6 - 0.5*x4_4_3 * x1_3_3 * k1_6 - x4_2_1 * x2_1_1 * k2_6 - x4_3_1 * x2_2_1 * k2_6 - x4_4_1 * x2_3_1 * k2_6 - x4_2_2 * x2_1_2 * k2_6 - x4_3_2 * x2_2_2 * k2_6 - x4_4_2 * x2_3_2 * k2_6 - x4_2_3 * x2_1_3 * k2_6 - x4_3_3 * x2_2_3 * k2_6 - x4_4_3 * x2_3_3 * k2_6 - x4_2_1 * x3_1_1 * k3_6 - x4_3_1 * x3_2_1 * k3_6 - x4_4_1 * x3_3_1 * k3_6 - x4_2_2 * x3_1_2 * k3_6 - x4_3_2 * x3_2_2 * k3_6 - x4_4_2 * x3_3_2 * k3_6 - x4_2_3 * x3_1_3 * k3_6 - x4_3_3 * x3_2_3 * k3_6 - x4_4_3 * x3_3_3 * k3_6 - x4_2_1 * x4_1_1 * k4_6 - x4_3_1 * x4_2_1 * k4_6 - x4_4_1 * x4_3_1 * k4_6 - x4_2_2 * x4_1_2 * k4_6 - x4_3_2 * x4_2_2 * k4_6 - x4_4_2 * x4_3_2 * k4_6 - x4_2_3 * x4_1_3 * k4_6 - x4_3_3 * x4_2_3 * k4_6 - x4_4_3 * x4_3_3 * k4_6 - x4_2_1 * x5_1_1 * k5_6 - x4_3_1 * x5_2_1 * k5_6 - x4_4_1 * x5_3_1 * k5_6 - x4_2_2 * x5_1_2 * k5_6 - x4_3_2 * x5_2_2 * k5_6 - x4_4_2 * x5_3_2 * k5_6 - x4_2_3 * x5_1_3 * k5_6 - x4_3_3 * x5_2_3 * k5_6 - x4_4_3 * x5_3_3 * k5_6 - x4_2_1 * x6_1_1 * k6_6 - x4_3_1 * x6_2_1 * k6_6 - x4_4_1 * x6_3_1 * k6_6 - x4_2_2 * x6_1_2 * k6_6 - x4_3_2 * x6_2_2 * k6_6 - x4_4_2 * x6_3_2 * k6_6 - x4_2_3 * x6_1_3 * k6_6 - x4_3_3 * x6_2_3 * k6_6 - x4_4_3 * x6_3_3 * k6_6 - 0.5*x4_2_1 * x7_1_1 * k7_6 - 0.5*x4_3_1 * x7_2_1 * k7_6 - 0.5*x4_4_1 * x7_3_1 * k7_6 - 0.5*x4_2_2 * x7_1_2 * k7_6 - 0.5*x4_3_2 * x7_2_2 * k7_6 - 0.5*x4_4_2 * x7_3_2 * k7_6 - 0.5*x4_2_3 * x7_1_3 * k7_6 - 0.5*x4_3_3 * x7_2_3 * k7_6 - 0.5*x4_4_3 * x7_3_3 * k7_6 - x4_2_1 * x8_1_1 * k8_6 - x4_3_1 * x8_2_1 * k8_6 - x4_4_1 * x8_3_1 * k8_6 - x4_2_2 * x8_1_2 * k8_6 - x4_3_2 * x8_2_2 * k8_6 - x4_4_2 * x8_3_2 * k8_6 - x4_2_3 * x8_1_3 * k8_6 - x4_3_3 * x8_2_3 * k8_6 - x4_4_3 * x8_3_3 * k8_6 - x4_2_1 * x9_1_1 * k9_6 - x4_3_1 * x9_2_1 * k9_6 - x4_4_1 * x9_3_1 * k9_6 - x4_2_2 * x9_1_2 * k9_6 - x4_3_2 * x9_2_2 * k9_6 - x4_4_2 * x9_3_2 * k9_6 - x4_2_3 * x9_1_3 * k9_6 - x4_3_3 * x9_2_3 * k9_6 - x4_4_3 * x9_3_3 * k9_6 - x4_2_1 * x10_1_1 * k10_6 - x4_3_1 * x10_2_1 * k10_6 - x4_4_1 * x10_3_1 * k10_6 - x4_2_2 * x10_1_2 * k10_6 - x4_3_2 * x10_2_2 * k10_6 - x4_4_2 * x10_3_2 * k10_6 - x4_2_3 * x10_1_3 * k10_6 - x4_3_3 * x10_2_3 * k10_6 - x4_4_3 * x10_3_3 * k10_6 - 0.5*x4_2_1 * x11_1_1 * k11_6 - 0.5*x4_3_1 * x11_2_1 * k11_6 - 0.5*x4_4_1 * x11_3_1 * k11_6 - 0.5*x4_2_2 * x11_1_2 * k11_6 - 0.5*x4_3_2 * x11_2_2 * k11_6 - 0.5*x4_4_2 * x11_3_2 * k11_6 - 0.5*x4_2_3 * x11_1_3 * k11_6 - 0.5*x4_3_3 * x11_2_3 * k11_6 - 0.5*x4_4_3 * x11_3_3 * k11_6 - x4_2_1 * x12_1_1 * k12_6 - x4_3_1 * x12_2_1 * k12_6 - x4_4_1 * x12_3_1 * k12_6 - x4_2_2 * x12_1_2 * k12_6 - x4_3_2 * x12_2_2 * k12_6 - x4_4_2 * x12_3_2 * k12_6 - x4_2_3 * x12_1_3 * k12_6 - x4_3_3 * x12_2_3 * k12_6 - x4_4_3 * x12_3_3 * k12_6 - x4_2_1 * x13_1_1 * k13_6 - x4_3_1 * x13_2_1 * k13_6 - x4_4_1 * x13_3_1 * k13_6 - x4_2_2 * x13_1_2 * k13_6 - x4_3_2 * x13_2_2 * k13_6 - x4_4_2 * x13_3_2 * k13_6 - x4_2_3 * x13_1_3 * k13_6 - x4_3_3 * x13_2_3 * k13_6 - x4_4_3 * x13_3_3 * k13_6 - 0.5*x4_2_1 * x14_1_1 * k14_6 - 0.5*x4_3_1 * x14_2_1 * k14_6 - 0.5*x4_4_1 * x14_3_1 * k14_6 - 0.5*x4_2_2 * x14_1_2 * k14_6 - 0.5*x4_3_2 * x14_2_2 * k14_6 - 0.5*x4_4_2 * x14_3_2 * k14_6 - 0.5*x4_2_3 * x14_1_3 * k14_6 - 0.5*x4_3_3 * x14_2_3 * k14_6 - 0.5*x4_4_3 * x14_3_3 * k14_6 + k4_1 - 1.2*x4_1_1 - 1.2*x4_1_2 - 1.2*x4_1_3 = 0; subject to plac5: -0.5*x5_2_1 * x1_1_1 * k1_6 - 0.5*x5_3_1 * x1_2_1 * k1_6 - 0.5*x5_4_1 * x1_3_1 * k1_6 - 0.5*x5_2_2 * x1_1_2 * k1_6 - 0.5*x5_3_2 * x1_2_2 * k1_6 - 0.5*x5_4_2 * x1_3_2 * k1_6 - 0.5*x5_2_3 * x1_1_3 * k1_6 - 0.5*x5_3_3 * x1_2_3 * k1_6 - 0.5*x5_4_3 * x1_3_3 * k1_6 - x5_2_1 * x2_1_1 * k2_6 - x5_3_1 * x2_2_1 * k2_6 - x5_4_1 * x2_3_1 * k2_6 - x5_2_2 * x2_1_2 * k2_6 - x5_3_2 * x2_2_2 * k2_6 - x5_4_2 * x2_3_2 * k2_6 - x5_2_3 * x2_1_3 * k2_6 - x5_3_3 * x2_2_3 * k2_6 - x5_4_3 * x2_3_3 * k2_6 - x5_2_1 * x3_1_1 * k3_6 - x5_3_1 * x3_2_1 * k3_6 - x5_4_1 * x3_3_1 * k3_6 - x5_2_2 * x3_1_2 * k3_6 - x5_3_2 * x3_2_2 * k3_6 - x5_4_2 * x3_3_2 * k3_6 - x5_2_3 * x3_1_3 * k3_6 - x5_3_3 * x3_2_3 * k3_6 - x5_4_3 * x3_3_3 * k3_6 - x5_2_1 * x4_1_1 * k4_6 - x5_3_1 * x4_2_1 * k4_6 - x5_4_1 * x4_3_1 * k4_6 - x5_2_2 * x4_1_2 * k4_6 - x5_3_2 * x4_2_2 * k4_6 - x5_4_2 * x4_3_2 * k4_6 - x5_2_3 * x4_1_3 * k4_6 - x5_3_3 * x4_2_3 * k4_6 - x5_4_3 * x4_3_3 * k4_6 - x5_2_1 * x5_1_1 * k5_6 - x5_3_1 * x5_2_1 * k5_6 - x5_4_1 * x5_3_1 * k5_6 - x5_2_2 * x5_1_2 * k5_6 - x5_3_2 * x5_2_2 * k5_6 - x5_4_2 * x5_3_2 * k5_6 - x5_2_3 * x5_1_3 * k5_6 - x5_3_3 * x5_2_3 * k5_6 - x5_4_3 * x5_3_3 * k5_6 - x5_2_1 * x6_1_1 * k6_6 - x5_3_1 * x6_2_1 * k6_6 - x5_4_1 * x6_3_1 * k6_6 - x5_2_2 * x6_1_2 * k6_6 - x5_3_2 * x6_2_2 * k6_6 - x5_4_2 * x6_3_2 * k6_6 - x5_2_3 * x6_1_3 * k6_6 - x5_3_3 * x6_2_3 * k6_6 - x5_4_3 * x6_3_3 * k6_6 - 0.5*x5_2_1 * x7_1_1 * k7_6 - 0.5*x5_3_1 * x7_2_1 * k7_6 - 0.5*x5_4_1 * x7_3_1 * k7_6 - 0.5*x5_2_2 * x7_1_2 * k7_6 - 0.5*x5_3_2 * x7_2_2 * k7_6 - 0.5*x5_4_2 * x7_3_2 * k7_6 - 0.5*x5_2_3 * x7_1_3 * k7_6 - 0.5*x5_3_3 * x7_2_3 * k7_6 - 0.5*x5_4_3 * x7_3_3 * k7_6 - x5_2_1 * x8_1_1 * k8_6 - x5_3_1 * x8_2_1 * k8_6 - x5_4_1 * x8_3_1 * k8_6 - x5_2_2 * x8_1_2 * k8_6 - x5_3_2 * x8_2_2 * k8_6 - x5_4_2 * x8_3_2 * k8_6 - x5_2_3 * x8_1_3 * k8_6 - x5_3_3 * x8_2_3 * k8_6 - x5_4_3 * x8_3_3 * k8_6 - x5_2_1 * x9_1_1 * k9_6 - x5_3_1 * x9_2_1 * k9_6 - x5_4_1 * x9_3_1 * k9_6 - x5_2_2 * x9_1_2 * k9_6 - x5_3_2 * x9_2_2 * k9_6 - x5_4_2 * x9_3_2 * k9_6 - x5_2_3 * x9_1_3 * k9_6 - x5_3_3 * x9_2_3 * k9_6 - x5_4_3 * x9_3_3 * k9_6 - x5_2_1 * x10_1_1 * k10_6 - x5_3_1 * x10_2_1 * k10_6 - x5_4_1 * x10_3_1 * k10_6 - x5_2_2 * x10_1_2 * k10_6 - x5_3_2 * x10_2_2 * k10_6 - x5_4_2 * x10_3_2 * k10_6 - x5_2_3 * x10_1_3 * k10_6 - x5_3_3 * x10_2_3 * k10_6 - x5_4_3 * x10_3_3 * k10_6 - 0.5*x5_2_1 * x11_1_1 * k11_6 - 0.5*x5_3_1 * x11_2_1 * k11_6 - 0.5*x5_4_1 * x11_3_1 * k11_6 - 0.5*x5_2_2 * x11_1_2 * k11_6 - 0.5*x5_3_2 * x11_2_2 * k11_6 - 0.5*x5_4_2 * x11_3_2 * k11_6 - 0.5*x5_2_3 * x11_1_3 * k11_6 - 0.5*x5_3_3 * x11_2_3 * k11_6 - 0.5*x5_4_3 * x11_3_3 * k11_6 - x5_2_1 * x12_1_1 * k12_6 - x5_3_1 * x12_2_1 * k12_6 - x5_4_1 * x12_3_1 * k12_6 - x5_2_2 * x12_1_2 * k12_6 - x5_3_2 * x12_2_2 * k12_6 - x5_4_2 * x12_3_2 * k12_6 - x5_2_3 * x12_1_3 * k12_6 - x5_3_3 * x12_2_3 * k12_6 - x5_4_3 * x12_3_3 * k12_6 - x5_2_1 * x13_1_1 * k13_6 - x5_3_1 * x13_2_1 * k13_6 - x5_4_1 * x13_3_1 * k13_6 - x5_2_2 * x13_1_2 * k13_6 - x5_3_2 * x13_2_2 * k13_6 - x5_4_2 * x13_3_2 * k13_6 - x5_2_3 * x13_1_3 * k13_6 - x5_3_3 * x13_2_3 * k13_6 - x5_4_3 * x13_3_3 * k13_6 - 0.5*x5_2_1 * x14_1_1 * k14_6 - 0.5*x5_3_1 * x14_2_1 * k14_6 - 0.5*x5_4_1 * x14_3_1 * k14_6 - 0.5*x5_2_2 * x14_1_2 * k14_6 - 0.5*x5_3_2 * x14_2_2 * k14_6 - 0.5*x5_4_2 * x14_3_2 * k14_6 - 0.5*x5_2_3 * x14_1_3 * k14_6 - 0.5*x5_3_3 * x14_2_3 * k14_6 - 0.5*x5_4_3 * x14_3_3 * k14_6 + k5_1 - 1.2*x5_1_1 - 1.2*x5_1_2 - 1.2*x5_1_3 = 0; subject to plac6: -0.5*x6_2_1 * x1_1_1 * k1_6 - 0.5*x6_3_1 * x1_2_1 * k1_6 - 0.5*x6_4_1 * x1_3_1 * k1_6 - 0.5*x6_2_2 * x1_1_2 * k1_6 - 0.5*x6_3_2 * x1_2_2 * k1_6 - 0.5*x6_4_2 * x1_3_2 * k1_6 - 0.5*x6_2_3 * x1_1_3 * k1_6 - 0.5*x6_3_3 * x1_2_3 * k1_6 - 0.5*x6_4_3 * x1_3_3 * k1_6 - x6_2_1 * x2_1_1 * k2_6 - x6_3_1 * x2_2_1 * k2_6 - x6_4_1 * x2_3_1 * k2_6 - x6_2_2 * x2_1_2 * k2_6 - x6_3_2 * x2_2_2 * k2_6 - x6_4_2 * x2_3_2 * k2_6 - x6_2_3 * x2_1_3 * k2_6 - x6_3_3 * x2_2_3 * k2_6 - x6_4_3 * x2_3_3 * k2_6 - x6_2_1 * x3_1_1 * k3_6 - x6_3_1 * x3_2_1 * k3_6 - x6_4_1 * x3_3_1 * k3_6 - x6_2_2 * x3_1_2 * k3_6 - x6_3_2 * x3_2_2 * k3_6 - x6_4_2 * x3_3_2 * k3_6 - x6_2_3 * x3_1_3 * k3_6 - x6_3_3 * x3_2_3 * k3_6 - x6_4_3 * x3_3_3 * k3_6 - x6_2_1 * x4_1_1 * k4_6 - x6_3_1 * x4_2_1 * k4_6 - x6_4_1 * x4_3_1 * k4_6 - x6_2_2 * x4_1_2 * k4_6 - x6_3_2 * x4_2_2 * k4_6 - x6_4_2 * x4_3_2 * k4_6 - x6_2_3 * x4_1_3 * k4_6 - x6_3_3 * x4_2_3 * k4_6 - x6_4_3 * x4_3_3 * k4_6 - x6_2_1 * x5_1_1 * k5_6 - x6_3_1 * x5_2_1 * k5_6 - x6_4_1 * x5_3_1 * k5_6 - x6_2_2 * x5_1_2 * k5_6 - x6_3_2 * x5_2_2 * k5_6 - x6_4_2 * x5_3_2 * k5_6 - x6_2_3 * x5_1_3 * k5_6 - x6_3_3 * x5_2_3 * k5_6 - x6_4_3 * x5_3_3 * k5_6 - x6_2_1 * x6_1_1 * k6_6 - x6_3_1 * x6_2_1 * k6_6 - x6_4_1 * x6_3_1 * k6_6 - x6_2_2 * x6_1_2 * k6_6 - x6_3_2 * x6_2_2 * k6_6 - x6_4_2 * x6_3_2 * k6_6 - x6_2_3 * x6_1_3 * k6_6 - x6_3_3 * x6_2_3 * k6_6 - x6_4_3 * x6_3_3 * k6_6 - 0.5*x6_2_1 * x7_1_1 * k7_6 - 0.5*x6_3_1 * x7_2_1 * k7_6 - 0.5*x6_4_1 * x7_3_1 * k7_6 - 0.5*x6_2_2 * x7_1_2 * k7_6 - 0.5*x6_3_2 * x7_2_2 * k7_6 - 0.5*x6_4_2 * x7_3_2 * k7_6 - 0.5*x6_2_3 * x7_1_3 * k7_6 - 0.5*x6_3_3 * x7_2_3 * k7_6 - 0.5*x6_4_3 * x7_3_3 * k7_6 - x6_2_1 * x8_1_1 * k8_6 - x6_3_1 * x8_2_1 * k8_6 - x6_4_1 * x8_3_1 * k8_6 - x6_2_2 * x8_1_2 * k8_6 - x6_3_2 * x8_2_2 * k8_6 - x6_4_2 * x8_3_2 * k8_6 - x6_2_3 * x8_1_3 * k8_6 - x6_3_3 * x8_2_3 * k8_6 - x6_4_3 * x8_3_3 * k8_6 - x6_2_1 * x9_1_1 * k9_6 - x6_3_1 * x9_2_1 * k9_6 - x6_4_1 * x9_3_1 * k9_6 - x6_2_2 * x9_1_2 * k9_6 - x6_3_2 * x9_2_2 * k9_6 - x6_4_2 * x9_3_2 * k9_6 - x6_2_3 * x9_1_3 * k9_6 - x6_3_3 * x9_2_3 * k9_6 - x6_4_3 * x9_3_3 * k9_6 - x6_2_1 * x10_1_1 * k10_6 - x6_3_1 * x10_2_1 * k10_6 - x6_4_1 * x10_3_1 * k10_6 - x6_2_2 * x10_1_2 * k10_6 - x6_3_2 * x10_2_2 * k10_6 - x6_4_2 * x10_3_2 * k10_6 - x6_2_3 * x10_1_3 * k10_6 - x6_3_3 * x10_2_3 * k10_6 - x6_4_3 * x10_3_3 * k10_6 - 0.5*x6_2_1 * x11_1_1 * k11_6 - 0.5*x6_3_1 * x11_2_1 * k11_6 - 0.5*x6_4_1 * x11_3_1 * k11_6 - 0.5*x6_2_2 * x11_1_2 * k11_6 - 0.5*x6_3_2 * x11_2_2 * k11_6 - 0.5*x6_4_2 * x11_3_2 * k11_6 - 0.5*x6_2_3 * x11_1_3 * k11_6 - 0.5*x6_3_3 * x11_2_3 * k11_6 - 0.5*x6_4_3 * x11_3_3 * k11_6 - x6_2_1 * x12_1_1 * k12_6 - x6_3_1 * x12_2_1 * k12_6 - x6_4_1 * x12_3_1 * k12_6 - x6_2_2 * x12_1_2 * k12_6 - x6_3_2 * x12_2_2 * k12_6 - x6_4_2 * x12_3_2 * k12_6 - x6_2_3 * x12_1_3 * k12_6 - x6_3_3 * x12_2_3 * k12_6 - x6_4_3 * x12_3_3 * k12_6 - x6_2_1 * x13_1_1 * k13_6 - x6_3_1 * x13_2_1 * k13_6 - x6_4_1 * x13_3_1 * k13_6 - x6_2_2 * x13_1_2 * k13_6 - x6_3_2 * x13_2_2 * k13_6 - x6_4_2 * x13_3_2 * k13_6 - x6_2_3 * x13_1_3 * k13_6 - x6_3_3 * x13_2_3 * k13_6 - x6_4_3 * x13_3_3 * k13_6 - 0.5*x6_2_1 * x14_1_1 * k14_6 - 0.5*x6_3_1 * x14_2_1 * k14_6 - 0.5*x6_4_1 * x14_3_1 * k14_6 - 0.5*x6_2_2 * x14_1_2 * k14_6 - 0.5*x6_3_2 * x14_2_2 * k14_6 - 0.5*x6_4_2 * x14_3_2 * k14_6 - 0.5*x6_2_3 * x14_1_3 * k14_6 - 0.5*x6_3_3 * x14_2_3 * k14_6 - 0.5*x6_4_3 * x14_3_3 * k14_6 + k6_1 - 1.2*x6_1_1 - 1.2*x6_1_2 - 1.2*x6_1_3 = 0; subject to plac7: -0.5*x7_2_1 * x1_1_1 * k1_6 - 0.5*x7_3_1 * x1_2_1 * k1_6 - 0.5*x7_4_1 * x1_3_1 * k1_6 - 0.5*x7_2_2 * x1_1_2 * k1_6 - 0.5*x7_3_2 * x1_2_2 * k1_6 - 0.5*x7_4_2 * x1_3_2 * k1_6 - 0.5*x7_2_3 * x1_1_3 * k1_6 - 0.5*x7_3_3 * x1_2_3 * k1_6 - 0.5*x7_4_3 * x1_3_3 * k1_6 - x7_2_1 * x2_1_1 * k2_6 - x7_3_1 * x2_2_1 * k2_6 - x7_4_1 * x2_3_1 * k2_6 - x7_2_2 * x2_1_2 * k2_6 - x7_3_2 * x2_2_2 * k2_6 - x7_4_2 * x2_3_2 * k2_6 - x7_2_3 * x2_1_3 * k2_6 - x7_3_3 * x2_2_3 * k2_6 - x7_4_3 * x2_3_3 * k2_6 - x7_2_1 * x3_1_1 * k3_6 - x7_3_1 * x3_2_1 * k3_6 - x7_4_1 * x3_3_1 * k3_6 - x7_2_2 * x3_1_2 * k3_6 - x7_3_2 * x3_2_2 * k3_6 - x7_4_2 * x3_3_2 * k3_6 - x7_2_3 * x3_1_3 * k3_6 - x7_3_3 * x3_2_3 * k3_6 - x7_4_3 * x3_3_3 * k3_6 - x7_2_1 * x4_1_1 * k4_6 - x7_3_1 * x4_2_1 * k4_6 - x7_4_1 * x4_3_1 * k4_6 - x7_2_2 * x4_1_2 * k4_6 - x7_3_2 * x4_2_2 * k4_6 - x7_4_2 * x4_3_2 * k4_6 - x7_2_3 * x4_1_3 * k4_6 - x7_3_3 * x4_2_3 * k4_6 - x7_4_3 * x4_3_3 * k4_6 - x7_2_1 * x5_1_1 * k5_6 - x7_3_1 * x5_2_1 * k5_6 - x7_4_1 * x5_3_1 * k5_6 - x7_2_2 * x5_1_2 * k5_6 - x7_3_2 * x5_2_2 * k5_6 - x7_4_2 * x5_3_2 * k5_6 - x7_2_3 * x5_1_3 * k5_6 - x7_3_3 * x5_2_3 * k5_6 - x7_4_3 * x5_3_3 * k5_6 - x7_2_1 * x6_1_1 * k6_6 - x7_3_1 * x6_2_1 * k6_6 - x7_4_1 * x6_3_1 * k6_6 - x7_2_2 * x6_1_2 * k6_6 - x7_3_2 * x6_2_2 * k6_6 - x7_4_2 * x6_3_2 * k6_6 - x7_2_3 * x6_1_3 * k6_6 - x7_3_3 * x6_2_3 * k6_6 - x7_4_3 * x6_3_3 * k6_6 - 0.5*x7_2_1 * x7_1_1 * k7_6 - 0.5*x7_3_1 * x7_2_1 * k7_6 - 0.5*x7_4_1 * x7_3_1 * k7_6 - 0.5*x7_2_2 * x7_1_2 * k7_6 - 0.5*x7_3_2 * x7_2_2 * k7_6 - 0.5*x7_4_2 * x7_3_2 * k7_6 - 0.5*x7_2_3 * x7_1_3 * k7_6 - 0.5*x7_3_3 * x7_2_3 * k7_6 - 0.5*x7_4_3 * x7_3_3 * k7_6 - x7_2_1 * x8_1_1 * k8_6 - x7_3_1 * x8_2_1 * k8_6 - x7_4_1 * x8_3_1 * k8_6 - x7_2_2 * x8_1_2 * k8_6 - x7_3_2 * x8_2_2 * k8_6 - x7_4_2 * x8_3_2 * k8_6 - x7_2_3 * x8_1_3 * k8_6 - x7_3_3 * x8_2_3 * k8_6 - x7_4_3 * x8_3_3 * k8_6 - x7_2_1 * x9_1_1 * k9_6 - x7_3_1 * x9_2_1 * k9_6 - x7_4_1 * x9_3_1 * k9_6 - x7_2_2 * x9_1_2 * k9_6 - x7_3_2 * x9_2_2 * k9_6 - x7_4_2 * x9_3_2 * k9_6 - x7_2_3 * x9_1_3 * k9_6 - x7_3_3 * x9_2_3 * k9_6 - x7_4_3 * x9_3_3 * k9_6 - x7_2_1 * x10_1_1 * k10_6 - x7_3_1 * x10_2_1 * k10_6 - x7_4_1 * x10_3_1 * k10_6 - x7_2_2 * x10_1_2 * k10_6 - x7_3_2 * x10_2_2 * k10_6 - x7_4_2 * x10_3_2 * k10_6 - x7_2_3 * x10_1_3 * k10_6 - x7_3_3 * x10_2_3 * k10_6 - x7_4_3 * x10_3_3 * k10_6 - 0.5*x7_2_1 * x11_1_1 * k11_6 - 0.5*x7_3_1 * x11_2_1 * k11_6 - 0.5*x7_4_1 * x11_3_1 * k11_6 - 0.5*x7_2_2 * x11_1_2 * k11_6 - 0.5*x7_3_2 * x11_2_2 * k11_6 - 0.5*x7_4_2 * x11_3_2 * k11_6 - 0.5*x7_2_3 * x11_1_3 * k11_6 - 0.5*x7_3_3 * x11_2_3 * k11_6 - 0.5*x7_4_3 * x11_3_3 * k11_6 - x7_2_1 * x12_1_1 * k12_6 - x7_3_1 * x12_2_1 * k12_6 - x7_4_1 * x12_3_1 * k12_6 - x7_2_2 * x12_1_2 * k12_6 - x7_3_2 * x12_2_2 * k12_6 - x7_4_2 * x12_3_2 * k12_6 - x7_2_3 * x12_1_3 * k12_6 - x7_3_3 * x12_2_3 * k12_6 - x7_4_3 * x12_3_3 * k12_6 - x7_2_1 * x13_1_1 * k13_6 - x7_3_1 * x13_2_1 * k13_6 - x7_4_1 * x13_3_1 * k13_6 - x7_2_2 * x13_1_2 * k13_6 - x7_3_2 * x13_2_2 * k13_6 - x7_4_2 * x13_3_2 * k13_6 - x7_2_3 * x13_1_3 * k13_6 - x7_3_3 * x13_2_3 * k13_6 - x7_4_3 * x13_3_3 * k13_6 - 0.5*x7_2_1 * x14_1_1 * k14_6 - 0.5*x7_3_1 * x14_2_1 * k14_6 - 0.5*x7_4_1 * x14_3_1 * k14_6 - 0.5*x7_2_2 * x14_1_2 * k14_6 - 0.5*x7_3_2 * x14_2_2 * k14_6 - 0.5*x7_4_2 * x14_3_2 * k14_6 - 0.5*x7_2_3 * x14_1_3 * k14_6 - 0.5*x7_3_3 * x14_2_3 * k14_6 - 0.5*x7_4_3 * x14_3_3 * k14_6 + k7_1 - 1.2*x7_1_1 - 1.2*x7_1_2 - 1.2*x7_1_3 = 0; subject to plac8: -0.5*x8_2_1 * x1_1_1 * k1_6 - 0.5*x8_3_1 * x1_2_1 * k1_6 - 0.5*x8_4_1 * x1_3_1 * k1_6 - 0.5*x8_2_2 * x1_1_2 * k1_6 - 0.5*x8_3_2 * x1_2_2 * k1_6 - 0.5*x8_4_2 * x1_3_2 * k1_6 - 0.5*x8_2_3 * x1_1_3 * k1_6 - 0.5*x8_3_3 * x1_2_3 * k1_6 - 0.5*x8_4_3 * x1_3_3 * k1_6 - x8_2_1 * x2_1_1 * k2_6 - x8_3_1 * x2_2_1 * k2_6 - x8_4_1 * x2_3_1 * k2_6 - x8_2_2 * x2_1_2 * k2_6 - x8_3_2 * x2_2_2 * k2_6 - x8_4_2 * x2_3_2 * k2_6 - x8_2_3 * x2_1_3 * k2_6 - x8_3_3 * x2_2_3 * k2_6 - x8_4_3 * x2_3_3 * k2_6 - x8_2_1 * x3_1_1 * k3_6 - x8_3_1 * x3_2_1 * k3_6 - x8_4_1 * x3_3_1 * k3_6 - x8_2_2 * x3_1_2 * k3_6 - x8_3_2 * x3_2_2 * k3_6 - x8_4_2 * x3_3_2 * k3_6 - x8_2_3 * x3_1_3 * k3_6 - x8_3_3 * x3_2_3 * k3_6 - x8_4_3 * x3_3_3 * k3_6 - x8_2_1 * x4_1_1 * k4_6 - x8_3_1 * x4_2_1 * k4_6 - x8_4_1 * x4_3_1 * k4_6 - x8_2_2 * x4_1_2 * k4_6 - x8_3_2 * x4_2_2 * k4_6 - x8_4_2 * x4_3_2 * k4_6 - x8_2_3 * x4_1_3 * k4_6 - x8_3_3 * x4_2_3 * k4_6 - x8_4_3 * x4_3_3 * k4_6 - x8_2_1 * x5_1_1 * k5_6 - x8_3_1 * x5_2_1 * k5_6 - x8_4_1 * x5_3_1 * k5_6 - x8_2_2 * x5_1_2 * k5_6 - x8_3_2 * x5_2_2 * k5_6 - x8_4_2 * x5_3_2 * k5_6 - x8_2_3 * x5_1_3 * k5_6 - x8_3_3 * x5_2_3 * k5_6 - x8_4_3 * x5_3_3 * k5_6 - x8_2_1 * x6_1_1 * k6_6 - x8_3_1 * x6_2_1 * k6_6 - x8_4_1 * x6_3_1 * k6_6 - x8_2_2 * x6_1_2 * k6_6 - x8_3_2 * x6_2_2 * k6_6 - x8_4_2 * x6_3_2 * k6_6 - x8_2_3 * x6_1_3 * k6_6 - x8_3_3 * x6_2_3 * k6_6 - x8_4_3 * x6_3_3 * k6_6 - 0.5*x8_2_1 * x7_1_1 * k7_6 - 0.5*x8_3_1 * x7_2_1 * k7_6 - 0.5*x8_4_1 * x7_3_1 * k7_6 - 0.5*x8_2_2 * x7_1_2 * k7_6 - 0.5*x8_3_2 * x7_2_2 * k7_6 - 0.5*x8_4_2 * x7_3_2 * k7_6 - 0.5*x8_2_3 * x7_1_3 * k7_6 - 0.5*x8_3_3 * x7_2_3 * k7_6 - 0.5*x8_4_3 * x7_3_3 * k7_6 - x8_2_1 * x8_1_1 * k8_6 - x8_3_1 * x8_2_1 * k8_6 - x8_4_1 * x8_3_1 * k8_6 - x8_2_2 * x8_1_2 * k8_6 - x8_3_2 * x8_2_2 * k8_6 - x8_4_2 * x8_3_2 * k8_6 - x8_2_3 * x8_1_3 * k8_6 - x8_3_3 * x8_2_3 * k8_6 - x8_4_3 * x8_3_3 * k8_6 - x8_2_1 * x9_1_1 * k9_6 - x8_3_1 * x9_2_1 * k9_6 - x8_4_1 * x9_3_1 * k9_6 - x8_2_2 * x9_1_2 * k9_6 - x8_3_2 * x9_2_2 * k9_6 - x8_4_2 * x9_3_2 * k9_6 - x8_2_3 * x9_1_3 * k9_6 - x8_3_3 * x9_2_3 * k9_6 - x8_4_3 * x9_3_3 * k9_6 - x8_2_1 * x10_1_1 * k10_6 - x8_3_1 * x10_2_1 * k10_6 - x8_4_1 * x10_3_1 * k10_6 - x8_2_2 * x10_1_2 * k10_6 - x8_3_2 * x10_2_2 * k10_6 - x8_4_2 * x10_3_2 * k10_6 - x8_2_3 * x10_1_3 * k10_6 - x8_3_3 * x10_2_3 * k10_6 - x8_4_3 * x10_3_3 * k10_6 - 0.5*x8_2_1 * x11_1_1 * k11_6 - 0.5*x8_3_1 * x11_2_1 * k11_6 - 0.5*x8_4_1 * x11_3_1 * k11_6 - 0.5*x8_2_2 * x11_1_2 * k11_6 - 0.5*x8_3_2 * x11_2_2 * k11_6 - 0.5*x8_4_2 * x11_3_2 * k11_6 - 0.5*x8_2_3 * x11_1_3 * k11_6 - 0.5*x8_3_3 * x11_2_3 * k11_6 - 0.5*x8_4_3 * x11_3_3 * k11_6 - x8_2_1 * x12_1_1 * k12_6 - x8_3_1 * x12_2_1 * k12_6 - x8_4_1 * x12_3_1 * k12_6 - x8_2_2 * x12_1_2 * k12_6 - x8_3_2 * x12_2_2 * k12_6 - x8_4_2 * x12_3_2 * k12_6 - x8_2_3 * x12_1_3 * k12_6 - x8_3_3 * x12_2_3 * k12_6 - x8_4_3 * x12_3_3 * k12_6 - x8_2_1 * x13_1_1 * k13_6 - x8_3_1 * x13_2_1 * k13_6 - x8_4_1 * x13_3_1 * k13_6 - x8_2_2 * x13_1_2 * k13_6 - x8_3_2 * x13_2_2 * k13_6 - x8_4_2 * x13_3_2 * k13_6 - x8_2_3 * x13_1_3 * k13_6 - x8_3_3 * x13_2_3 * k13_6 - x8_4_3 * x13_3_3 * k13_6 - 0.5*x8_2_1 * x14_1_1 * k14_6 - 0.5*x8_3_1 * x14_2_1 * k14_6 - 0.5*x8_4_1 * x14_3_1 * k14_6 - 0.5*x8_2_2 * x14_1_2 * k14_6 - 0.5*x8_3_2 * x14_2_2 * k14_6 - 0.5*x8_4_2 * x14_3_2 * k14_6 - 0.5*x8_2_3 * x14_1_3 * k14_6 - 0.5*x8_3_3 * x14_2_3 * k14_6 - 0.5*x8_4_3 * x14_3_3 * k14_6 + k8_1 - 1.2*x8_1_1 - 1.2*x8_1_2 - 1.2*x8_1_3 = 0; subject to plac9: -0.5*x9_2_1 * x1_1_1 * k1_6 - 0.5*x9_3_1 * x1_2_1 * k1_6 - 0.5*x9_4_1 * x1_3_1 * k1_6 - 0.5*x9_2_2 * x1_1_2 * k1_6 - 0.5*x9_3_2 * x1_2_2 * k1_6 - 0.5*x9_4_2 * x1_3_2 * k1_6 - 0.5*x9_2_3 * x1_1_3 * k1_6 - 0.5*x9_3_3 * x1_2_3 * k1_6 - 0.5*x9_4_3 * x1_3_3 * k1_6 - x9_2_1 * x2_1_1 * k2_6 - x9_3_1 * x2_2_1 * k2_6 - x9_4_1 * x2_3_1 * k2_6 - x9_2_2 * x2_1_2 * k2_6 - x9_3_2 * x2_2_2 * k2_6 - x9_4_2 * x2_3_2 * k2_6 - x9_2_3 * x2_1_3 * k2_6 - x9_3_3 * x2_2_3 * k2_6 - x9_4_3 * x2_3_3 * k2_6 - x9_2_1 * x3_1_1 * k3_6 - x9_3_1 * x3_2_1 * k3_6 - x9_4_1 * x3_3_1 * k3_6 - x9_2_2 * x3_1_2 * k3_6 - x9_3_2 * x3_2_2 * k3_6 - x9_4_2 * x3_3_2 * k3_6 - x9_2_3 * x3_1_3 * k3_6 - x9_3_3 * x3_2_3 * k3_6 - x9_4_3 * x3_3_3 * k3_6 - x9_2_1 * x4_1_1 * k4_6 - x9_3_1 * x4_2_1 * k4_6 - x9_4_1 * x4_3_1 * k4_6 - x9_2_2 * x4_1_2 * k4_6 - x9_3_2 * x4_2_2 * k4_6 - x9_4_2 * x4_3_2 * k4_6 - x9_2_3 * x4_1_3 * k4_6 - x9_3_3 * x4_2_3 * k4_6 - x9_4_3 * x4_3_3 * k4_6 - x9_2_1 * x5_1_1 * k5_6 - x9_3_1 * x5_2_1 * k5_6 - x9_4_1 * x5_3_1 * k5_6 - x9_2_2 * x5_1_2 * k5_6 - x9_3_2 * x5_2_2 * k5_6 - x9_4_2 * x5_3_2 * k5_6 - x9_2_3 * x5_1_3 * k5_6 - x9_3_3 * x5_2_3 * k5_6 - x9_4_3 * x5_3_3 * k5_6 - x9_2_1 * x6_1_1 * k6_6 - x9_3_1 * x6_2_1 * k6_6 - x9_4_1 * x6_3_1 * k6_6 - x9_2_2 * x6_1_2 * k6_6 - x9_3_2 * x6_2_2 * k6_6 - x9_4_2 * x6_3_2 * k6_6 - x9_2_3 * x6_1_3 * k6_6 - x9_3_3 * x6_2_3 * k6_6 - x9_4_3 * x6_3_3 * k6_6 - 0.5*x9_2_1 * x7_1_1 * k7_6 - 0.5*x9_3_1 * x7_2_1 * k7_6 - 0.5*x9_4_1 * x7_3_1 * k7_6 - 0.5*x9_2_2 * x7_1_2 * k7_6 - 0.5*x9_3_2 * x7_2_2 * k7_6 - 0.5*x9_4_2 * x7_3_2 * k7_6 - 0.5*x9_2_3 * x7_1_3 * k7_6 - 0.5*x9_3_3 * x7_2_3 * k7_6 - 0.5*x9_4_3 * x7_3_3 * k7_6 - x9_2_1 * x8_1_1 * k8_6 - x9_3_1 * x8_2_1 * k8_6 - x9_4_1 * x8_3_1 * k8_6 - x9_2_2 * x8_1_2 * k8_6 - x9_3_2 * x8_2_2 * k8_6 - x9_4_2 * x8_3_2 * k8_6 - x9_2_3 * x8_1_3 * k8_6 - x9_3_3 * x8_2_3 * k8_6 - x9_4_3 * x8_3_3 * k8_6 - x9_2_1 * x9_1_1 * k9_6 - x9_3_1 * x9_2_1 * k9_6 - x9_4_1 * x9_3_1 * k9_6 - x9_2_2 * x9_1_2 * k9_6 - x9_3_2 * x9_2_2 * k9_6 - x9_4_2 * x9_3_2 * k9_6 - x9_2_3 * x9_1_3 * k9_6 - x9_3_3 * x9_2_3 * k9_6 - x9_4_3 * x9_3_3 * k9_6 - x9_2_1 * x10_1_1 * k10_6 - x9_3_1 * x10_2_1 * k10_6 - x9_4_1 * x10_3_1 * k10_6 - x9_2_2 * x10_1_2 * k10_6 - x9_3_2 * x10_2_2 * k10_6 - x9_4_2 * x10_3_2 * k10_6 - x9_2_3 * x10_1_3 * k10_6 - x9_3_3 * x10_2_3 * k10_6 - x9_4_3 * x10_3_3 * k10_6 - 0.5*x9_2_1 * x11_1_1 * k11_6 - 0.5*x9_3_1 * x11_2_1 * k11_6 - 0.5*x9_4_1 * x11_3_1 * k11_6 - 0.5*x9_2_2 * x11_1_2 * k11_6 - 0.5*x9_3_2 * x11_2_2 * k11_6 - 0.5*x9_4_2 * x11_3_2 * k11_6 - 0.5*x9_2_3 * x11_1_3 * k11_6 - 0.5*x9_3_3 * x11_2_3 * k11_6 - 0.5*x9_4_3 * x11_3_3 * k11_6 - x9_2_1 * x12_1_1 * k12_6 - x9_3_1 * x12_2_1 * k12_6 - x9_4_1 * x12_3_1 * k12_6 - x9_2_2 * x12_1_2 * k12_6 - x9_3_2 * x12_2_2 * k12_6 - x9_4_2 * x12_3_2 * k12_6 - x9_2_3 * x12_1_3 * k12_6 - x9_3_3 * x12_2_3 * k12_6 - x9_4_3 * x12_3_3 * k12_6 - x9_2_1 * x13_1_1 * k13_6 - x9_3_1 * x13_2_1 * k13_6 - x9_4_1 * x13_3_1 * k13_6 - x9_2_2 * x13_1_2 * k13_6 - x9_3_2 * x13_2_2 * k13_6 - x9_4_2 * x13_3_2 * k13_6 - x9_2_3 * x13_1_3 * k13_6 - x9_3_3 * x13_2_3 * k13_6 - x9_4_3 * x13_3_3 * k13_6 - 0.5*x9_2_1 * x14_1_1 * k14_6 - 0.5*x9_3_1 * x14_2_1 * k14_6 - 0.5*x9_4_1 * x14_3_1 * k14_6 - 0.5*x9_2_2 * x14_1_2 * k14_6 - 0.5*x9_3_2 * x14_2_2 * k14_6 - 0.5*x9_4_2 * x14_3_2 * k14_6 - 0.5*x9_2_3 * x14_1_3 * k14_6 - 0.5*x9_3_3 * x14_2_3 * k14_6 - 0.5*x9_4_3 * x14_3_3 * k14_6 + k9_1 - 1.2*x9_1_1 - 1.2*x9_1_2 - 1.2*x9_1_3 = 0; subject to plac10: -0.5*x10_2_1 * x1_1_1 * k1_6 - 0.5*x10_3_1 * x1_2_1 * k1_6 - 0.5*x10_4_1 * x1_3_1 * k1_6 - 0.5*x10_2_2 * x1_1_2 * k1_6 - 0.5*x10_3_2 * x1_2_2 * k1_6 - 0.5*x10_4_2 * x1_3_2 * k1_6 - 0.5*x10_2_3 * x1_1_3 * k1_6 - 0.5*x10_3_3 * x1_2_3 * k1_6 - 0.5*x10_4_3 * x1_3_3 * k1_6 - x10_2_1 * x2_1_1 * k2_6 - x10_3_1 * x2_2_1 * k2_6 - x10_4_1 * x2_3_1 * k2_6 - x10_2_2 * x2_1_2 * k2_6 - x10_3_2 * x2_2_2 * k2_6 - x10_4_2 * x2_3_2 * k2_6 - x10_2_3 * x2_1_3 * k2_6 - x10_3_3 * x2_2_3 * k2_6 - x10_4_3 * x2_3_3 * k2_6 - x10_2_1 * x3_1_1 * k3_6 - x10_3_1 * x3_2_1 * k3_6 - x10_4_1 * x3_3_1 * k3_6 - x10_2_2 * x3_1_2 * k3_6 - x10_3_2 * x3_2_2 * k3_6 - x10_4_2 * x3_3_2 * k3_6 - x10_2_3 * x3_1_3 * k3_6 - x10_3_3 * x3_2_3 * k3_6 - x10_4_3 * x3_3_3 * k3_6 - x10_2_1 * x4_1_1 * k4_6 - x10_3_1 * x4_2_1 * k4_6 - x10_4_1 * x4_3_1 * k4_6 - x10_2_2 * x4_1_2 * k4_6 - x10_3_2 * x4_2_2 * k4_6 - x10_4_2 * x4_3_2 * k4_6 - x10_2_3 * x4_1_3 * k4_6 - x10_3_3 * x4_2_3 * k4_6 - x10_4_3 * x4_3_3 * k4_6 - x10_2_1 * x5_1_1 * k5_6 - x10_3_1 * x5_2_1 * k5_6 - x10_4_1 * x5_3_1 * k5_6 - x10_2_2 * x5_1_2 * k5_6 - x10_3_2 * x5_2_2 * k5_6 - x10_4_2 * x5_3_2 * k5_6 - x10_2_3 * x5_1_3 * k5_6 - x10_3_3 * x5_2_3 * k5_6 - x10_4_3 * x5_3_3 * k5_6 - x10_2_1 * x6_1_1 * k6_6 - x10_3_1 * x6_2_1 * k6_6 - x10_4_1 * x6_3_1 * k6_6 - x10_2_2 * x6_1_2 * k6_6 - x10_3_2 * x6_2_2 * k6_6 - x10_4_2 * x6_3_2 * k6_6 - x10_2_3 * x6_1_3 * k6_6 - x10_3_3 * x6_2_3 * k6_6 - x10_4_3 * x6_3_3 * k6_6 - 0.5*x10_2_1 * x7_1_1 * k7_6 - 0.5*x10_3_1 * x7_2_1 * k7_6 - 0.5*x10_4_1 * x7_3_1 * k7_6 - 0.5*x10_2_2 * x7_1_2 * k7_6 - 0.5*x10_3_2 * x7_2_2 * k7_6 - 0.5*x10_4_2 * x7_3_2 * k7_6 - 0.5*x10_2_3 * x7_1_3 * k7_6 - 0.5*x10_3_3 * x7_2_3 * k7_6 - 0.5*x10_4_3 * x7_3_3 * k7_6 - x10_2_1 * x8_1_1 * k8_6 - x10_3_1 * x8_2_1 * k8_6 - x10_4_1 * x8_3_1 * k8_6 - x10_2_2 * x8_1_2 * k8_6 - x10_3_2 * x8_2_2 * k8_6 - x10_4_2 * x8_3_2 * k8_6 - x10_2_3 * x8_1_3 * k8_6 - x10_3_3 * x8_2_3 * k8_6 - x10_4_3 * x8_3_3 * k8_6 - x10_2_1 * x9_1_1 * k9_6 - x10_3_1 * x9_2_1 * k9_6 - x10_4_1 * x9_3_1 * k9_6 - x10_2_2 * x9_1_2 * k9_6 - x10_3_2 * x9_2_2 * k9_6 - x10_4_2 * x9_3_2 * k9_6 - x10_2_3 * x9_1_3 * k9_6 - x10_3_3 * x9_2_3 * k9_6 - x10_4_3 * x9_3_3 * k9_6 - x10_2_1 * x10_1_1 * k10_6 - x10_3_1 * x10_2_1 * k10_6 - x10_4_1 * x10_3_1 * k10_6 - x10_2_2 * x10_1_2 * k10_6 - x10_3_2 * x10_2_2 * k10_6 - x10_4_2 * x10_3_2 * k10_6 - x10_2_3 * x10_1_3 * k10_6 - x10_3_3 * x10_2_3 * k10_6 - x10_4_3 * x10_3_3 * k10_6 - 0.5*x10_2_1 * x11_1_1 * k11_6 - 0.5*x10_3_1 * x11_2_1 * k11_6 - 0.5*x10_4_1 * x11_3_1 * k11_6 - 0.5*x10_2_2 * x11_1_2 * k11_6 - 0.5*x10_3_2 * x11_2_2 * k11_6 - 0.5*x10_4_2 * x11_3_2 * k11_6 - 0.5*x10_2_3 * x11_1_3 * k11_6 - 0.5*x10_3_3 * x11_2_3 * k11_6 - 0.5*x10_4_3 * x11_3_3 * k11_6 - x10_2_1 * x12_1_1 * k12_6 - x10_3_1 * x12_2_1 * k12_6 - x10_4_1 * x12_3_1 * k12_6 - x10_2_2 * x12_1_2 * k12_6 - x10_3_2 * x12_2_2 * k12_6 - x10_4_2 * x12_3_2 * k12_6 - x10_2_3 * x12_1_3 * k12_6 - x10_3_3 * x12_2_3 * k12_6 - x10_4_3 * x12_3_3 * k12_6 - x10_2_1 * x13_1_1 * k13_6 - x10_3_1 * x13_2_1 * k13_6 - x10_4_1 * x13_3_1 * k13_6 - x10_2_2 * x13_1_2 * k13_6 - x10_3_2 * x13_2_2 * k13_6 - x10_4_2 * x13_3_2 * k13_6 - x10_2_3 * x13_1_3 * k13_6 - x10_3_3 * x13_2_3 * k13_6 - x10_4_3 * x13_3_3 * k13_6 - 0.5*x10_2_1 * x14_1_1 * k14_6 - 0.5*x10_3_1 * x14_2_1 * k14_6 - 0.5*x10_4_1 * x14_3_1 * k14_6 - 0.5*x10_2_2 * x14_1_2 * k14_6 - 0.5*x10_3_2 * x14_2_2 * k14_6 - 0.5*x10_4_2 * x14_3_2 * k14_6 - 0.5*x10_2_3 * x14_1_3 * k14_6 - 0.5*x10_3_3 * x14_2_3 * k14_6 - 0.5*x10_4_3 * x14_3_3 * k14_6 + k10_1 - 1.2*x10_1_1 - 1.2*x10_1_2 - 1.2*x10_1_3 = 0; subject to plac11: -0.5*x11_2_1 * x1_1_1 * k1_6 - 0.5*x11_3_1 * x1_2_1 * k1_6 - 0.5*x11_4_1 * x1_3_1 * k1_6 - 0.5*x11_2_2 * x1_1_2 * k1_6 - 0.5*x11_3_2 * x1_2_2 * k1_6 - 0.5*x11_4_2 * x1_3_2 * k1_6 - 0.5*x11_2_3 * x1_1_3 * k1_6 - 0.5*x11_3_3 * x1_2_3 * k1_6 - 0.5*x11_4_3 * x1_3_3 * k1_6 - x11_2_1 * x2_1_1 * k2_6 - x11_3_1 * x2_2_1 * k2_6 - x11_4_1 * x2_3_1 * k2_6 - x11_2_2 * x2_1_2 * k2_6 - x11_3_2 * x2_2_2 * k2_6 - x11_4_2 * x2_3_2 * k2_6 - x11_2_3 * x2_1_3 * k2_6 - x11_3_3 * x2_2_3 * k2_6 - x11_4_3 * x2_3_3 * k2_6 - x11_2_1 * x3_1_1 * k3_6 - x11_3_1 * x3_2_1 * k3_6 - x11_4_1 * x3_3_1 * k3_6 - x11_2_2 * x3_1_2 * k3_6 - x11_3_2 * x3_2_2 * k3_6 - x11_4_2 * x3_3_2 * k3_6 - x11_2_3 * x3_1_3 * k3_6 - x11_3_3 * x3_2_3 * k3_6 - x11_4_3 * x3_3_3 * k3_6 - x11_2_1 * x4_1_1 * k4_6 - x11_3_1 * x4_2_1 * k4_6 - x11_4_1 * x4_3_1 * k4_6 - x11_2_2 * x4_1_2 * k4_6 - x11_3_2 * x4_2_2 * k4_6 - x11_4_2 * x4_3_2 * k4_6 - x11_2_3 * x4_1_3 * k4_6 - x11_3_3 * x4_2_3 * k4_6 - x11_4_3 * x4_3_3 * k4_6 - x11_2_1 * x5_1_1 * k5_6 - x11_3_1 * x5_2_1 * k5_6 - x11_4_1 * x5_3_1 * k5_6 - x11_2_2 * x5_1_2 * k5_6 - x11_3_2 * x5_2_2 * k5_6 - x11_4_2 * x5_3_2 * k5_6 - x11_2_3 * x5_1_3 * k5_6 - x11_3_3 * x5_2_3 * k5_6 - x11_4_3 * x5_3_3 * k5_6 - x11_2_1 * x6_1_1 * k6_6 - x11_3_1 * x6_2_1 * k6_6 - x11_4_1 * x6_3_1 * k6_6 - x11_2_2 * x6_1_2 * k6_6 - x11_3_2 * x6_2_2 * k6_6 - x11_4_2 * x6_3_2 * k6_6 - x11_2_3 * x6_1_3 * k6_6 - x11_3_3 * x6_2_3 * k6_6 - x11_4_3 * x6_3_3 * k6_6 - 0.5*x11_2_1 * x7_1_1 * k7_6 - 0.5*x11_3_1 * x7_2_1 * k7_6 - 0.5*x11_4_1 * x7_3_1 * k7_6 - 0.5*x11_2_2 * x7_1_2 * k7_6 - 0.5*x11_3_2 * x7_2_2 * k7_6 - 0.5*x11_4_2 * x7_3_2 * k7_6 - 0.5*x11_2_3 * x7_1_3 * k7_6 - 0.5*x11_3_3 * x7_2_3 * k7_6 - 0.5*x11_4_3 * x7_3_3 * k7_6 - x11_2_1 * x8_1_1 * k8_6 - x11_3_1 * x8_2_1 * k8_6 - x11_4_1 * x8_3_1 * k8_6 - x11_2_2 * x8_1_2 * k8_6 - x11_3_2 * x8_2_2 * k8_6 - x11_4_2 * x8_3_2 * k8_6 - x11_2_3 * x8_1_3 * k8_6 - x11_3_3 * x8_2_3 * k8_6 - x11_4_3 * x8_3_3 * k8_6 - x11_2_1 * x9_1_1 * k9_6 - x11_3_1 * x9_2_1 * k9_6 - x11_4_1 * x9_3_1 * k9_6 - x11_2_2 * x9_1_2 * k9_6 - x11_3_2 * x9_2_2 * k9_6 - x11_4_2 * x9_3_2 * k9_6 - x11_2_3 * x9_1_3 * k9_6 - x11_3_3 * x9_2_3 * k9_6 - x11_4_3 * x9_3_3 * k9_6 - x11_2_1 * x10_1_1 * k10_6 - x11_3_1 * x10_2_1 * k10_6 - x11_4_1 * x10_3_1 * k10_6 - x11_2_2 * x10_1_2 * k10_6 - x11_3_2 * x10_2_2 * k10_6 - x11_4_2 * x10_3_2 * k10_6 - x11_2_3 * x10_1_3 * k10_6 - x11_3_3 * x10_2_3 * k10_6 - x11_4_3 * x10_3_3 * k10_6 - 0.5*x11_2_1 * x11_1_1 * k11_6 - 0.5*x11_3_1 * x11_2_1 * k11_6 - 0.5*x11_4_1 * x11_3_1 * k11_6 - 0.5*x11_2_2 * x11_1_2 * k11_6 - 0.5*x11_3_2 * x11_2_2 * k11_6 - 0.5*x11_4_2 * x11_3_2 * k11_6 - 0.5*x11_2_3 * x11_1_3 * k11_6 - 0.5*x11_3_3 * x11_2_3 * k11_6 - 0.5*x11_4_3 * x11_3_3 * k11_6 - x11_2_1 * x12_1_1 * k12_6 - x11_3_1 * x12_2_1 * k12_6 - x11_4_1 * x12_3_1 * k12_6 - x11_2_2 * x12_1_2 * k12_6 - x11_3_2 * x12_2_2 * k12_6 - x11_4_2 * x12_3_2 * k12_6 - x11_2_3 * x12_1_3 * k12_6 - x11_3_3 * x12_2_3 * k12_6 - x11_4_3 * x12_3_3 * k12_6 - x11_2_1 * x13_1_1 * k13_6 - x11_3_1 * x13_2_1 * k13_6 - x11_4_1 * x13_3_1 * k13_6 - x11_2_2 * x13_1_2 * k13_6 - x11_3_2 * x13_2_2 * k13_6 - x11_4_2 * x13_3_2 * k13_6 - x11_2_3 * x13_1_3 * k13_6 - x11_3_3 * x13_2_3 * k13_6 - x11_4_3 * x13_3_3 * k13_6 - 0.5*x11_2_1 * x14_1_1 * k14_6 - 0.5*x11_3_1 * x14_2_1 * k14_6 - 0.5*x11_4_1 * x14_3_1 * k14_6 - 0.5*x11_2_2 * x14_1_2 * k14_6 - 0.5*x11_3_2 * x14_2_2 * k14_6 - 0.5*x11_4_2 * x14_3_2 * k14_6 - 0.5*x11_2_3 * x14_1_3 * k14_6 - 0.5*x11_3_3 * x14_2_3 * k14_6 - 0.5*x11_4_3 * x14_3_3 * k14_6 + k11_1 - 1.2*x11_1_1 - 1.2*x11_1_2 - 1.2*x11_1_3 = 0; subject to plac12: -0.5*x12_2_1 * x1_1_1 * k1_6 - 0.5*x12_3_1 * x1_2_1 * k1_6 - 0.5*x12_4_1 * x1_3_1 * k1_6 - 0.5*x12_2_2 * x1_1_2 * k1_6 - 0.5*x12_3_2 * x1_2_2 * k1_6 - 0.5*x12_4_2 * x1_3_2 * k1_6 - 0.5*x12_2_3 * x1_1_3 * k1_6 - 0.5*x12_3_3 * x1_2_3 * k1_6 - 0.5*x12_4_3 * x1_3_3 * k1_6 - x12_2_1 * x2_1_1 * k2_6 - x12_3_1 * x2_2_1 * k2_6 - x12_4_1 * x2_3_1 * k2_6 - x12_2_2 * x2_1_2 * k2_6 - x12_3_2 * x2_2_2 * k2_6 - x12_4_2 * x2_3_2 * k2_6 - x12_2_3 * x2_1_3 * k2_6 - x12_3_3 * x2_2_3 * k2_6 - x12_4_3 * x2_3_3 * k2_6 - x12_2_1 * x3_1_1 * k3_6 - x12_3_1 * x3_2_1 * k3_6 - x12_4_1 * x3_3_1 * k3_6 - x12_2_2 * x3_1_2 * k3_6 - x12_3_2 * x3_2_2 * k3_6 - x12_4_2 * x3_3_2 * k3_6 - x12_2_3 * x3_1_3 * k3_6 - x12_3_3 * x3_2_3 * k3_6 - x12_4_3 * x3_3_3 * k3_6 - x12_2_1 * x4_1_1 * k4_6 - x12_3_1 * x4_2_1 * k4_6 - x12_4_1 * x4_3_1 * k4_6 - x12_2_2 * x4_1_2 * k4_6 - x12_3_2 * x4_2_2 * k4_6 - x12_4_2 * x4_3_2 * k4_6 - x12_2_3 * x4_1_3 * k4_6 - x12_3_3 * x4_2_3 * k4_6 - x12_4_3 * x4_3_3 * k4_6 - x12_2_1 * x5_1_1 * k5_6 - x12_3_1 * x5_2_1 * k5_6 - x12_4_1 * x5_3_1 * k5_6 - x12_2_2 * x5_1_2 * k5_6 - x12_3_2 * x5_2_2 * k5_6 - x12_4_2 * x5_3_2 * k5_6 - x12_2_3 * x5_1_3 * k5_6 - x12_3_3 * x5_2_3 * k5_6 - x12_4_3 * x5_3_3 * k5_6 - x12_2_1 * x6_1_1 * k6_6 - x12_3_1 * x6_2_1 * k6_6 - x12_4_1 * x6_3_1 * k6_6 - x12_2_2 * x6_1_2 * k6_6 - x12_3_2 * x6_2_2 * k6_6 - x12_4_2 * x6_3_2 * k6_6 - x12_2_3 * x6_1_3 * k6_6 - x12_3_3 * x6_2_3 * k6_6 - x12_4_3 * x6_3_3 * k6_6 - 0.5*x12_2_1 * x7_1_1 * k7_6 - 0.5*x12_3_1 * x7_2_1 * k7_6 - 0.5*x12_4_1 * x7_3_1 * k7_6 - 0.5*x12_2_2 * x7_1_2 * k7_6 - 0.5*x12_3_2 * x7_2_2 * k7_6 - 0.5*x12_4_2 * x7_3_2 * k7_6 - 0.5*x12_2_3 * x7_1_3 * k7_6 - 0.5*x12_3_3 * x7_2_3 * k7_6 - 0.5*x12_4_3 * x7_3_3 * k7_6 - x12_2_1 * x8_1_1 * k8_6 - x12_3_1 * x8_2_1 * k8_6 - x12_4_1 * x8_3_1 * k8_6 - x12_2_2 * x8_1_2 * k8_6 - x12_3_2 * x8_2_2 * k8_6 - x12_4_2 * x8_3_2 * k8_6 - x12_2_3 * x8_1_3 * k8_6 - x12_3_3 * x8_2_3 * k8_6 - x12_4_3 * x8_3_3 * k8_6 - x12_2_1 * x9_1_1 * k9_6 - x12_3_1 * x9_2_1 * k9_6 - x12_4_1 * x9_3_1 * k9_6 - x12_2_2 * x9_1_2 * k9_6 - x12_3_2 * x9_2_2 * k9_6 - x12_4_2 * x9_3_2 * k9_6 - x12_2_3 * x9_1_3 * k9_6 - x12_3_3 * x9_2_3 * k9_6 - x12_4_3 * x9_3_3 * k9_6 - x12_2_1 * x10_1_1 * k10_6 - x12_3_1 * x10_2_1 * k10_6 - x12_4_1 * x10_3_1 * k10_6 - x12_2_2 * x10_1_2 * k10_6 - x12_3_2 * x10_2_2 * k10_6 - x12_4_2 * x10_3_2 * k10_6 - x12_2_3 * x10_1_3 * k10_6 - x12_3_3 * x10_2_3 * k10_6 - x12_4_3 * x10_3_3 * k10_6 - 0.5*x12_2_1 * x11_1_1 * k11_6 - 0.5*x12_3_1 * x11_2_1 * k11_6 - 0.5*x12_4_1 * x11_3_1 * k11_6 - 0.5*x12_2_2 * x11_1_2 * k11_6 - 0.5*x12_3_2 * x11_2_2 * k11_6 - 0.5*x12_4_2 * x11_3_2 * k11_6 - 0.5*x12_2_3 * x11_1_3 * k11_6 - 0.5*x12_3_3 * x11_2_3 * k11_6 - 0.5*x12_4_3 * x11_3_3 * k11_6 - x12_2_1 * x12_1_1 * k12_6 - x12_3_1 * x12_2_1 * k12_6 - x12_4_1 * x12_3_1 * k12_6 - x12_2_2 * x12_1_2 * k12_6 - x12_3_2 * x12_2_2 * k12_6 - x12_4_2 * x12_3_2 * k12_6 - x12_2_3 * x12_1_3 * k12_6 - x12_3_3 * x12_2_3 * k12_6 - x12_4_3 * x12_3_3 * k12_6 - x12_2_1 * x13_1_1 * k13_6 - x12_3_1 * x13_2_1 * k13_6 - x12_4_1 * x13_3_1 * k13_6 - x12_2_2 * x13_1_2 * k13_6 - x12_3_2 * x13_2_2 * k13_6 - x12_4_2 * x13_3_2 * k13_6 - x12_2_3 * x13_1_3 * k13_6 - x12_3_3 * x13_2_3 * k13_6 - x12_4_3 * x13_3_3 * k13_6 - 0.5*x12_2_1 * x14_1_1 * k14_6 - 0.5*x12_3_1 * x14_2_1 * k14_6 - 0.5*x12_4_1 * x14_3_1 * k14_6 - 0.5*x12_2_2 * x14_1_2 * k14_6 - 0.5*x12_3_2 * x14_2_2 * k14_6 - 0.5*x12_4_2 * x14_3_2 * k14_6 - 0.5*x12_2_3 * x14_1_3 * k14_6 - 0.5*x12_3_3 * x14_2_3 * k14_6 - 0.5*x12_4_3 * x14_3_3 * k14_6 + k12_1 - 1.2*x12_1_1 - 1.2*x12_1_2 - 1.2*x12_1_3 = 0; subject to plac13: -0.5*x13_2_1 * x1_1_1 * k1_6 - 0.5*x13_3_1 * x1_2_1 * k1_6 - 0.5*x13_4_1 * x1_3_1 * k1_6 - 0.5*x13_2_2 * x1_1_2 * k1_6 - 0.5*x13_3_2 * x1_2_2 * k1_6 - 0.5*x13_4_2 * x1_3_2 * k1_6 - 0.5*x13_2_3 * x1_1_3 * k1_6 - 0.5*x13_3_3 * x1_2_3 * k1_6 - 0.5*x13_4_3 * x1_3_3 * k1_6 - x13_2_1 * x2_1_1 * k2_6 - x13_3_1 * x2_2_1 * k2_6 - x13_4_1 * x2_3_1 * k2_6 - x13_2_2 * x2_1_2 * k2_6 - x13_3_2 * x2_2_2 * k2_6 - x13_4_2 * x2_3_2 * k2_6 - x13_2_3 * x2_1_3 * k2_6 - x13_3_3 * x2_2_3 * k2_6 - x13_4_3 * x2_3_3 * k2_6 - x13_2_1 * x3_1_1 * k3_6 - x13_3_1 * x3_2_1 * k3_6 - x13_4_1 * x3_3_1 * k3_6 - x13_2_2 * x3_1_2 * k3_6 - x13_3_2 * x3_2_2 * k3_6 - x13_4_2 * x3_3_2 * k3_6 - x13_2_3 * x3_1_3 * k3_6 - x13_3_3 * x3_2_3 * k3_6 - x13_4_3 * x3_3_3 * k3_6 - x13_2_1 * x4_1_1 * k4_6 - x13_3_1 * x4_2_1 * k4_6 - x13_4_1 * x4_3_1 * k4_6 - x13_2_2 * x4_1_2 * k4_6 - x13_3_2 * x4_2_2 * k4_6 - x13_4_2 * x4_3_2 * k4_6 - x13_2_3 * x4_1_3 * k4_6 - x13_3_3 * x4_2_3 * k4_6 - x13_4_3 * x4_3_3 * k4_6 - x13_2_1 * x5_1_1 * k5_6 - x13_3_1 * x5_2_1 * k5_6 - x13_4_1 * x5_3_1 * k5_6 - x13_2_2 * x5_1_2 * k5_6 - x13_3_2 * x5_2_2 * k5_6 - x13_4_2 * x5_3_2 * k5_6 - x13_2_3 * x5_1_3 * k5_6 - x13_3_3 * x5_2_3 * k5_6 - x13_4_3 * x5_3_3 * k5_6 - x13_2_1 * x6_1_1 * k6_6 - x13_3_1 * x6_2_1 * k6_6 - x13_4_1 * x6_3_1 * k6_6 - x13_2_2 * x6_1_2 * k6_6 - x13_3_2 * x6_2_2 * k6_6 - x13_4_2 * x6_3_2 * k6_6 - x13_2_3 * x6_1_3 * k6_6 - x13_3_3 * x6_2_3 * k6_6 - x13_4_3 * x6_3_3 * k6_6 - 0.5*x13_2_1 * x7_1_1 * k7_6 - 0.5*x13_3_1 * x7_2_1 * k7_6 - 0.5*x13_4_1 * x7_3_1 * k7_6 - 0.5*x13_2_2 * x7_1_2 * k7_6 - 0.5*x13_3_2 * x7_2_2 * k7_6 - 0.5*x13_4_2 * x7_3_2 * k7_6 - 0.5*x13_2_3 * x7_1_3 * k7_6 - 0.5*x13_3_3 * x7_2_3 * k7_6 - 0.5*x13_4_3 * x7_3_3 * k7_6 - x13_2_1 * x8_1_1 * k8_6 - x13_3_1 * x8_2_1 * k8_6 - x13_4_1 * x8_3_1 * k8_6 - x13_2_2 * x8_1_2 * k8_6 - x13_3_2 * x8_2_2 * k8_6 - x13_4_2 * x8_3_2 * k8_6 - x13_2_3 * x8_1_3 * k8_6 - x13_3_3 * x8_2_3 * k8_6 - x13_4_3 * x8_3_3 * k8_6 - x13_2_1 * x9_1_1 * k9_6 - x13_3_1 * x9_2_1 * k9_6 - x13_4_1 * x9_3_1 * k9_6 - x13_2_2 * x9_1_2 * k9_6 - x13_3_2 * x9_2_2 * k9_6 - x13_4_2 * x9_3_2 * k9_6 - x13_2_3 * x9_1_3 * k9_6 - x13_3_3 * x9_2_3 * k9_6 - x13_4_3 * x9_3_3 * k9_6 - x13_2_1 * x10_1_1 * k10_6 - x13_3_1 * x10_2_1 * k10_6 - x13_4_1 * x10_3_1 * k10_6 - x13_2_2 * x10_1_2 * k10_6 - x13_3_2 * x10_2_2 * k10_6 - x13_4_2 * x10_3_2 * k10_6 - x13_2_3 * x10_1_3 * k10_6 - x13_3_3 * x10_2_3 * k10_6 - x13_4_3 * x10_3_3 * k10_6 - 0.5*x13_2_1 * x11_1_1 * k11_6 - 0.5*x13_3_1 * x11_2_1 * k11_6 - 0.5*x13_4_1 * x11_3_1 * k11_6 - 0.5*x13_2_2 * x11_1_2 * k11_6 - 0.5*x13_3_2 * x11_2_2 * k11_6 - 0.5*x13_4_2 * x11_3_2 * k11_6 - 0.5*x13_2_3 * x11_1_3 * k11_6 - 0.5*x13_3_3 * x11_2_3 * k11_6 - 0.5*x13_4_3 * x11_3_3 * k11_6 - x13_2_1 * x12_1_1 * k12_6 - x13_3_1 * x12_2_1 * k12_6 - x13_4_1 * x12_3_1 * k12_6 - x13_2_2 * x12_1_2 * k12_6 - x13_3_2 * x12_2_2 * k12_6 - x13_4_2 * x12_3_2 * k12_6 - x13_2_3 * x12_1_3 * k12_6 - x13_3_3 * x12_2_3 * k12_6 - x13_4_3 * x12_3_3 * k12_6 - x13_2_1 * x13_1_1 * k13_6 - x13_3_1 * x13_2_1 * k13_6 - x13_4_1 * x13_3_1 * k13_6 - x13_2_2 * x13_1_2 * k13_6 - x13_3_2 * x13_2_2 * k13_6 - x13_4_2 * x13_3_2 * k13_6 - x13_2_3 * x13_1_3 * k13_6 - x13_3_3 * x13_2_3 * k13_6 - x13_4_3 * x13_3_3 * k13_6 - 0.5*x13_2_1 * x14_1_1 * k14_6 - 0.5*x13_3_1 * x14_2_1 * k14_6 - 0.5*x13_4_1 * x14_3_1 * k14_6 - 0.5*x13_2_2 * x14_1_2 * k14_6 - 0.5*x13_3_2 * x14_2_2 * k14_6 - 0.5*x13_4_2 * x14_3_2 * k14_6 - 0.5*x13_2_3 * x14_1_3 * k14_6 - 0.5*x13_3_3 * x14_2_3 * k14_6 - 0.5*x13_4_3 * x14_3_3 * k14_6 + k13_1 - 1.2*x13_1_1 - 1.2*x13_1_2 - 1.2*x13_1_3 = 0; subject to plac14: -0.5*x14_2_1 * x1_1_1 * k1_6 - 0.5*x14_3_1 * x1_2_1 * k1_6 - 0.5*x14_4_1 * x1_3_1 * k1_6 - 0.5*x14_2_2 * x1_1_2 * k1_6 - 0.5*x14_3_2 * x1_2_2 * k1_6 - 0.5*x14_4_2 * x1_3_2 * k1_6 - 0.5*x14_2_3 * x1_1_3 * k1_6 - 0.5*x14_3_3 * x1_2_3 * k1_6 - 0.5*x14_4_3 * x1_3_3 * k1_6 - x14_2_1 * x2_1_1 * k2_6 - x14_3_1 * x2_2_1 * k2_6 - x14_4_1 * x2_3_1 * k2_6 - x14_2_2 * x2_1_2 * k2_6 - x14_3_2 * x2_2_2 * k2_6 - x14_4_2 * x2_3_2 * k2_6 - x14_2_3 * x2_1_3 * k2_6 - x14_3_3 * x2_2_3 * k2_6 - x14_4_3 * x2_3_3 * k2_6 - x14_2_1 * x3_1_1 * k3_6 - x14_3_1 * x3_2_1 * k3_6 - x14_4_1 * x3_3_1 * k3_6 - x14_2_2 * x3_1_2 * k3_6 - x14_3_2 * x3_2_2 * k3_6 - x14_4_2 * x3_3_2 * k3_6 - x14_2_3 * x3_1_3 * k3_6 - x14_3_3 * x3_2_3 * k3_6 - x14_4_3 * x3_3_3 * k3_6 - x14_2_1 * x4_1_1 * k4_6 - x14_3_1 * x4_2_1 * k4_6 - x14_4_1 * x4_3_1 * k4_6 - x14_2_2 * x4_1_2 * k4_6 - x14_3_2 * x4_2_2 * k4_6 - x14_4_2 * x4_3_2 * k4_6 - x14_2_3 * x4_1_3 * k4_6 - x14_3_3 * x4_2_3 * k4_6 - x14_4_3 * x4_3_3 * k4_6 - x14_2_1 * x5_1_1 * k5_6 - x14_3_1 * x5_2_1 * k5_6 - x14_4_1 * x5_3_1 * k5_6 - x14_2_2 * x5_1_2 * k5_6 - x14_3_2 * x5_2_2 * k5_6 - x14_4_2 * x5_3_2 * k5_6 - x14_2_3 * x5_1_3 * k5_6 - x14_3_3 * x5_2_3 * k5_6 - x14_4_3 * x5_3_3 * k5_6 - x14_2_1 * x6_1_1 * k6_6 - x14_3_1 * x6_2_1 * k6_6 - x14_4_1 * x6_3_1 * k6_6 - x14_2_2 * x6_1_2 * k6_6 - x14_3_2 * x6_2_2 * k6_6 - x14_4_2 * x6_3_2 * k6_6 - x14_2_3 * x6_1_3 * k6_6 - x14_3_3 * x6_2_3 * k6_6 - x14_4_3 * x6_3_3 * k6_6 - 0.5*x14_2_1 * x7_1_1 * k7_6 - 0.5*x14_3_1 * x7_2_1 * k7_6 - 0.5*x14_4_1 * x7_3_1 * k7_6 - 0.5*x14_2_2 * x7_1_2 * k7_6 - 0.5*x14_3_2 * x7_2_2 * k7_6 - 0.5*x14_4_2 * x7_3_2 * k7_6 - 0.5*x14_2_3 * x7_1_3 * k7_6 - 0.5*x14_3_3 * x7_2_3 * k7_6 - 0.5*x14_4_3 * x7_3_3 * k7_6 - x14_2_1 * x8_1_1 * k8_6 - x14_3_1 * x8_2_1 * k8_6 - x14_4_1 * x8_3_1 * k8_6 - x14_2_2 * x8_1_2 * k8_6 - x14_3_2 * x8_2_2 * k8_6 - x14_4_2 * x8_3_2 * k8_6 - x14_2_3 * x8_1_3 * k8_6 - x14_3_3 * x8_2_3 * k8_6 - x14_4_3 * x8_3_3 * k8_6 - x14_2_1 * x9_1_1 * k9_6 - x14_3_1 * x9_2_1 * k9_6 - x14_4_1 * x9_3_1 * k9_6 - x14_2_2 * x9_1_2 * k9_6 - x14_3_2 * x9_2_2 * k9_6 - x14_4_2 * x9_3_2 * k9_6 - x14_2_3 * x9_1_3 * k9_6 - x14_3_3 * x9_2_3 * k9_6 - x14_4_3 * x9_3_3 * k9_6 - x14_2_1 * x10_1_1 * k10_6 - x14_3_1 * x10_2_1 * k10_6 - x14_4_1 * x10_3_1 * k10_6 - x14_2_2 * x10_1_2 * k10_6 - x14_3_2 * x10_2_2 * k10_6 - x14_4_2 * x10_3_2 * k10_6 - x14_2_3 * x10_1_3 * k10_6 - x14_3_3 * x10_2_3 * k10_6 - x14_4_3 * x10_3_3 * k10_6 - 0.5*x14_2_1 * x11_1_1 * k11_6 - 0.5*x14_3_1 * x11_2_1 * k11_6 - 0.5*x14_4_1 * x11_3_1 * k11_6 - 0.5*x14_2_2 * x11_1_2 * k11_6 - 0.5*x14_3_2 * x11_2_2 * k11_6 - 0.5*x14_4_2 * x11_3_2 * k11_6 - 0.5*x14_2_3 * x11_1_3 * k11_6 - 0.5*x14_3_3 * x11_2_3 * k11_6 - 0.5*x14_4_3 * x11_3_3 * k11_6 - x14_2_1 * x12_1_1 * k12_6 - x14_3_1 * x12_2_1 * k12_6 - x14_4_1 * x12_3_1 * k12_6 - x14_2_2 * x12_1_2 * k12_6 - x14_3_2 * x12_2_2 * k12_6 - x14_4_2 * x12_3_2 * k12_6 - x14_2_3 * x12_1_3 * k12_6 - x14_3_3 * x12_2_3 * k12_6 - x14_4_3 * x12_3_3 * k12_6 - x14_2_1 * x13_1_1 * k13_6 - x14_3_1 * x13_2_1 * k13_6 - x14_4_1 * x13_3_1 * k13_6 - x14_2_2 * x13_1_2 * k13_6 - x14_3_2 * x13_2_2 * k13_6 - x14_4_2 * x13_3_2 * k13_6 - x14_2_3 * x13_1_3 * k13_6 - x14_3_3 * x13_2_3 * k13_6 - x14_4_3 * x13_3_3 * k13_6 - 0.5*x14_2_1 * x14_1_1 * k14_6 - 0.5*x14_3_1 * x14_2_1 * k14_6 - 0.5*x14_4_1 * x14_3_1 * k14_6 - 0.5*x14_2_2 * x14_1_2 * k14_6 - 0.5*x14_3_2 * x14_2_2 * k14_6 - 0.5*x14_4_2 * x14_3_2 * k14_6 - 0.5*x14_2_3 * x14_1_3 * k14_6 - 0.5*x14_3_3 * x14_2_3 * k14_6 - 0.5*x14_4_3 * x14_3_3 * k14_6 + k14_1 - 1.2*x14_1_1 - 1.2*x14_1_2 - 1.2*x14_1_3 = 0; subject to kefford1: 0 >= keff2 - keff1; subject to kefford2: 0 >= keff3 - keff2; subject to kefford3: 0 >= keff4 - keff3; subject to kefford4: 0 >= keff5 - keff4; subject to kefford5: 0 >= keff6 - keff5; subject to dia1_1_1: x1_1_1 - x7_1_1 = 0; subject to dia1_1_2: x1_1_2 - x7_1_2 = 0; subject to dia1_1_3: x1_1_3 - x7_1_3 = 0; subject to dia1_2_1: x1_2_1 - x7_2_1 = 0; subject to dia1_2_2: x1_2_2 - x7_2_2 = 0; subject to dia1_2_3: x1_2_3 - x7_2_3 = 0; subject to dia1_3_1: x1_3_1 - x7_3_1 = 0; subject to dia1_3_2: x1_3_2 - x7_3_2 = 0; subject to dia1_3_3: x1_3_3 - x7_3_3 = 0; subject to dia1_4_1: x1_4_1 - x7_4_1 = 0; subject to dia1_4_2: x1_4_2 - x7_4_2 = 0; subject to dia1_4_3: x1_4_3 - x7_4_3 = 0; subject to dia2_1_1: x11_1_1 - x14_1_1 = 0; subject to dia2_1_2: x11_1_2 - x14_1_2 = 0; subject to dia2_1_3: x11_1_3 - x14_1_3 = 0; subject to dia2_2_1: x11_2_1 - x14_2_1 = 0; subject to dia2_2_2: x11_2_2 - x14_2_2 = 0; subject to dia2_2_3: x11_2_3 - x14_2_3 = 0; subject to dia2_3_1: x11_3_1 - x14_3_1 = 0; subject to dia2_3_2: x11_3_2 - x14_3_2 = 0; subject to dia2_3_3: x11_3_3 - x14_3_3 = 0; subject to dia2_4_1: x11_4_1 - x14_4_1 = 0; subject to dia2_4_2: x11_4_2 - x14_4_2 = 0; subject to dia2_4_3: x11_4_3 - x14_4_3 = 0; solve; display x1_1_1; display x1_1_2; display x1_1_3; display x1_2_1; display x1_2_2; display x1_2_3; display x1_3_1; display x1_3_2; display x1_3_3; display x1_4_1; display x1_4_2; display x1_4_3; display x2_1_1; display x2_1_2; display x2_1_3; display x2_2_1; display x2_2_2; display x2_2_3; display x2_3_1; display x2_3_2; display x2_3_3; display x2_4_1; display x2_4_2; display x2_4_3; display x3_1_1; display x3_1_2; display x3_1_3; display x3_2_1; display x3_2_2; display x3_2_3; display x3_3_1; display x3_3_2; display x3_3_3; display x3_4_1; display x3_4_2; display x3_4_3; display x4_1_1; display x4_1_2; display x4_1_3; display x4_2_1; display x4_2_2; display x4_2_3; display x4_3_1; display x4_3_2; display x4_3_3; display x4_4_1; display x4_4_2; display x4_4_3; display x5_1_1; display x5_1_2; display x5_1_3; display x5_2_1; display x5_2_2; display x5_2_3; display x5_3_1; display x5_3_2; display x5_3_3; display x5_4_1; display x5_4_2; display x5_4_3; display x6_1_1; display x6_1_2; display x6_1_3; display x6_2_1; display x6_2_2; display x6_2_3; display x6_3_1; display x6_3_2; display x6_3_3; display x6_4_1; display x6_4_2; display x6_4_3; display x7_1_1; display x7_1_2; display x7_1_3; display x7_2_1; display x7_2_2; display x7_2_3; display x7_3_1; display x7_3_2; display x7_3_3; display x7_4_1; display x7_4_2; display x7_4_3; display x8_1_1; display x8_1_2; display x8_1_3; display x8_2_1; display x8_2_2; display x8_2_3; display x8_3_1; display x8_3_2; display x8_3_3; display x8_4_1; display x8_4_2; display x8_4_3; display x9_1_1; display x9_1_2; display x9_1_3; display x9_2_1; display x9_2_2; display x9_2_3; display x9_3_1; display x9_3_2; display x9_3_3; display x9_4_1; display x9_4_2; display x9_4_3; display x10_1_1; display x10_1_2; display x10_1_3; display x10_2_1; display x10_2_2; display x10_2_3; display x10_3_1; display x10_3_2; display x10_3_3; display x10_4_1; display x10_4_2; display x10_4_3; display x11_1_1; display x11_1_2; display x11_1_3; display x11_2_1; display x11_2_2; display x11_2_3; display x11_3_1; display x11_3_2; display x11_3_3; display x11_4_1; display x11_4_2; display x11_4_3; display x12_1_1; display x12_1_2; display x12_1_3; display x12_2_1; display x12_2_2; display x12_2_3; display x12_3_1; display x12_3_2; display x12_3_3; display x12_4_1; display x12_4_2; display x12_4_3; display x13_1_1; display x13_1_2; display x13_1_3; display x13_2_1; display x13_2_2; display x13_2_3; display x13_3_1; display x13_3_2; display x13_3_3; display x13_4_1; display x13_4_2; display x13_4_3; display x14_1_1; display x14_1_2; display x14_1_3; display x14_2_1; display x14_2_2; display x14_2_3; display x14_3_1; display x14_3_2; display x14_3_3; display x14_4_1; display x14_4_2; display x14_4_3; display k1_1; display phi1_1; display k1_2; display phi1_2; display k1_3; display phi1_3; display k1_4; display phi1_4; display k1_5; display phi1_5; display k1_6; display phi1_6; display k2_1; display phi2_1; display k2_2; display phi2_2; display k2_3; display phi2_3; display k2_4; display phi2_4; display k2_5; display phi2_5; display k2_6; display phi2_6; display k3_1; display phi3_1; display k3_2; display phi3_2; display k3_3; display phi3_3; display k3_4; display phi3_4; display k3_5; display phi3_5; display k3_6; display phi3_6; display k4_1; display phi4_1; display k4_2; display phi4_2; display k4_3; display phi4_3; display k4_4; display phi4_4; display k4_5; display phi4_5; display k4_6; display phi4_6; display k5_1; display phi5_1; display k5_2; display phi5_2; display k5_3; display phi5_3; display k5_4; display phi5_4; display k5_5; display phi5_5; display k5_6; display phi5_6; display k6_1; display phi6_1; display k6_2; display phi6_2; display k6_3; display phi6_3; display k6_4; display phi6_4; display k6_5; display phi6_5; display k6_6; display phi6_6; display k7_1; display phi7_1; display k7_2; display phi7_2; display k7_3; display phi7_3; display k7_4; display phi7_4; display k7_5; display phi7_5; display k7_6; display phi7_6; display k8_1; display phi8_1; display k8_2; display phi8_2; display k8_3; display phi8_3; display k8_4; display phi8_4; display k8_5; display phi8_5; display k8_6; display phi8_6; display k9_1; display phi9_1; display k9_2; display phi9_2; display k9_3; display phi9_3; display k9_4; display phi9_4; display k9_5; display phi9_5; display k9_6; display phi9_6; display k10_1; display phi10_1; display k10_2; display phi10_2; display k10_3; display phi10_3; display k10_4; display phi10_4; display k10_5; display phi10_5; display k10_6; display phi10_6; display k11_1; display phi11_1; display k11_2; display phi11_2; display k11_3; display phi11_3; display k11_4; display phi11_4; display k11_5; display phi11_5; display k11_6; display phi11_6; display k12_1; display phi12_1; display k12_2; display phi12_2; display k12_3; display phi12_3; display k12_4; display phi12_4; display k12_5; display phi12_5; display k12_6; display phi12_6; display k13_1; display phi13_1; display k13_2; display phi13_2; display k13_3; display phi13_3; display k13_4; display phi13_4; display k13_5; display phi13_5; display k13_6; display phi13_6; display k14_1; display phi14_1; display k14_2; display phi14_2; display k14_3; display phi14_3; display k14_4; display phi14_4; display k14_5; display phi14_5; display k14_6; display phi14_6; display keff1; display keff2; display keff3; display keff4; display keff5; display keff6; display epsilon; display obj;