{ 965662399986141/250000000000000000000*k10*x1 + 4300994986431/1000000000000000000*k10*x2 + 4300994986431/1000000000000000000*k10*x3 + 11586387177651/1000000000000000000*k10*x4 + 16267986733713/1000000000000000000*k10*x5 + 4300994986431/1000000000000000000*k10*x10 = k10*k11, 840411380156049/125000000000000000000*k10*x1 + 3878149020057/500000000000000000*k10*x2 + 3878149020057/500000000000000000*k10*x3 + 2023901552673/500000000000000000*k10*x4 + 23796972329481/1000000000000000000*k10*x7 + 3878149020057/500000000000000000*k10*x10 = k10*k12, 1835737514130663/500000000000000000000*k10*x1 + 998066060277/250000000000000000*k10*x2 + 998066060277/250000000000000000*k10*x3 + 2886387444369/250000000000000000*k10*x4 + 16267986733713/1000000000000000000*k10*x8 + 998066060277/250000000000000000*k10*x10 = k10*k13, 2503464943904067/500000000000000000000*k10*x1 + 5483646095499/1000000000000000000*k10*x2 + 5483646095499/1000000000000000000*k10*x3 + 200920008861/10000000000000000*k10*x4 + 16267986733713/1000000000000000000*k10*x9 + 5483646095499/1000000000000000000*k10*x10 = k10*k14, 15014181208257/50000000000000000000*k10*x1 + 54239482143/200000000000000000*k10*x2 + 54239482143/200000000000000000*k10*x3 + 272501766999/200000000000000000*k10*x5 + 110140465743/200000000000000000*k10*x6 + 54239482143/200000000000000000*k10*x10 = k10*k15, 233677011402513/62500000000000000000*k10*x1 + 1041706574937/250000000000000000*k10*x2 + 1041706574937/250000000000000000*k10*x3 + 324026980893/250000000000000000*k10*x6 + 6713517695031/500000000000000000*k10*x7 + 1041706574937/250000000000000000*k10*x10 = k10*k16, 6550081062987/25000000000000000000*k10*x1 + 2829312871/12500000000000000*k10*x2 + 2829312871/12500000000000000*k10*x3 + 6320348727/12500000000000000*k10*x6 + 62770684669/50000000000000000*k10*x8 + 2829312871/12500000000000000*k10*x10 = k10*k17, 46591231212141/100000000000000000000*k10*x1 + 74948566077/200000000000000000*k10*x2 + 74948566077/200000000000000000*k10*x3 + 2347510473/2000000000000000*k10*x6 + 334930579599/200000000000000000*k10*x9 + 74948566077/200000000000000000*k10*x10 = k10*k18 }