{ 1*k22*x1 + 1*k22*x10 + 1*k22*x23 + 1*k22*x37 = k22*k67, 1*k22*x3 + 1*k22*x4 + 1*k22*x10 + 1*k22*x23 + 1*k22*x25 + 1*k22*x37 = k22*k68, 1*k22*x5 + 1*k22*x9 + 1*k22*x17 + 1*k22*x23 + 1*k22*x30 + 1*k22*x31 + 1*k22*x37 = k22*k69, 1*k22*x6 + 1*k22*x7 + 1*k22*x27 = k22*k70, 1*k22*x11 + 1*k22*x12 + 1*k22*x14 + 1*k22*x22 = k22*k71, 1*k22*x11 + 1*k22*x13 + 1*k22*x14 + 1*k22*x15 + 1*k22*x21 + 1*k22*x22 = k22*k72, 1*k22*x15 + 1*k22*x32 + 1*k22*x33 + 1*k22*x35 = k22*k73, 1*k22*x19 + 1*k22*x25 + 1*k22*x29 = k22*k74, 1*k22*x20 + 1*k22*x21 = k22*k75, 1*k22*x26 + 1*k22*x27 = k22*k76, 1*k22*x28 + 1*k22*x29 = k22*k77, 1*k22*x34 + 1*k22*x35 = k22*k78 }