[ Eq(1*k223*x4 + 1*k223*x32 + 1*k223*x33 + 1*k223*x50 + 1*k223*x52 + 1*k223*x53 + 1*k223*x59, k223*k224), Eq(1*k223*x5 + 1*k223*x50 + 1*k223*x59, k223*k225), Eq(1*k223*x6 + 1*k223*x36, k223*k226), Eq(1*k223*x7 + 1*k223*x8 + 1*k223*x9, k223*k227), Eq(1*k223*x10 + 1*k223*x35, k223*k228), Eq(1*k223*x14 + 1*k223*x37, k223*k229), Eq(1*k223*x15 + 1*k223*x34 + 1*k223*x38 + 1*k223*x51, k223*k230), Eq(1*k223*x16 + 1*k223*x40, k223*k231), Eq(1*k223*x17 + 1*k223*x41, k223*k232), Eq(1*k223*x18 + 1*k223*x42, k223*k233), Eq(1*k223*x19 + 1*k223*x39, k223*k234), Eq(1*k223*x20 + 1*k223*x48 + 1*k223*x52 + 1*k223*x59, k223*k235), Eq(1*k223*x21 + 1*k223*x58 + 1*k223*x61, k223*k236), Eq(1*k223*x22 + 1*k223*x53, k223*k237), Eq(1*k223*x23 + 1*k223*x43, k223*k238), Eq(1*k223*x24 + 1*k223*x44, k223*k239), Eq(1*k223*x25 + 1*k223*x45 + 1*k223*x54, k223*k240), Eq(1*k223*x26 + 1*k223*x46, k223*k241), Eq(1*k223*x27 + 1*k223*x47 + 1*k223*x55, k223*k242) ]