{ 1*k48*x1 + 1*k48*x3 + 1*k48*x4 + 1*k48*x5 + 1*k48*x6 + 1*k48*x19 = k48*k50, 1*k48*x7 + 1*k48*x8 + 1*k48*x9 + 1*k48*x11 + 1*k48*x12 = k48*k51, 1*k48*x13 + 1*k48*x14 + 1*k48*x15 + 1*k48*x17 + 1*k48*x18 = k48*k52 }