cert := 
  (1)*(x[11])
+ (-61/29)*(x[0]+x[1]+x[2]+x[3]+x[4]+x[5]+x[6]+x[7]+x[8]+x[9]-1)
+ (41/29)*(x[0]+x[10]+x[20]+x[30]+x[40]+x[50]+x[60]+x[70]+x[80]+x[90]-1)
+ (1/29)*(x[10]+x[11]+x[12]+x[13]+x[14]+x[15]+x[16]+x[17]+x[18]+x[19]-1)
+ (41/58)*(x[1]+x[11]+x[21]+x[31]+x[41]+x[51]+x[61]+x[71]+x[81]+x[91]-1)
+ (-23/29)*(x[20]+x[21]+x[22]+x[23]+x[24]+x[25]+x[26]+x[27]+x[28]+x[29]-1)
+ (41/58)*(x[2]+x[12]+x[22]+x[32]+x[42]+x[52]+x[62]+x[72]+x[82]+x[92]-1)
+ (-1/29)*(x[30]+x[31]+x[32]+x[33]+x[34]+x[35]+x[36]+x[37]+x[38]+x[39]-1)
+ (41/58)*(x[3]+x[13]+x[23]+x[33]+x[43]+x[53]+x[63]+x[73]+x[83]+x[93]-1)
+ (-37/29)*(x[40]+x[41]+x[42]+x[43]+x[44]+x[45]+x[46]+x[47]+x[48]+x[49]-1)
+ (41/58)*(x[4]+x[14]+x[24]+x[34]+x[44]+x[54]+x[64]+x[74]+x[84]+x[94]-1)
+ (-91/58)*(x[50]+x[51]+x[52]+x[53]+x[54]+x[55]+x[56]+x[57]+x[58]+x[59]-1)
+ (41/58)*(x[5]+x[15]+x[25]+x[35]+x[45]+x[55]+x[65]+x[75]+x[85]+x[95]-1)
+ (-3/29)*(x[60]+x[61]+x[62]+x[63]+x[64]+x[65]+x[66]+x[67]+x[68]+x[69]-1)
+ (41/58)*(x[6]+x[16]+x[26]+x[36]+x[46]+x[56]+x[66]+x[76]+x[86]+x[96]-1)
+ (-89/58)*(x[70]+x[71]+x[72]+x[73]+x[74]+x[75]+x[76]+x[77]+x[78]+x[79]-1)
+ (41/58)*(x[7]+x[17]+x[27]+x[37]+x[47]+x[57]+x[67]+x[77]+x[87]+x[97]-1)
+ (1/58)*(x[80]+x[81]+x[82]+x[83]+x[84]+x[85]+x[86]+x[87]+x[88]+x[89]-1)
+ (41/58)*(x[8]+x[18]+x[28]+x[38]+x[48]+x[58]+x[68]+x[78]+x[88]+x[98]-1)
+ (-41/58)*(x[90]+x[91]+x[92]+x[93]+x[94]+x[95]+x[96]+x[97]+x[98]+x[99]-1)
+ (54/29)*(x[1]+x[3]-x[10]-x[30])
+ (103/58)*(x[0]+x[2]+x[4]-x[11]-x[31])
+ (163/58)*(x[1]+x[3]+x[5]-x[12]-x[32])
+ (115/58)*(x[0]+x[2]+x[7]-x[13]-x[33])
+ (67/58)*(x[1]-x[14]-x[34])
+ (82/29)*(x[2]+x[6]-x[15]-x[35])
+ (-1/2)*(x[5]-x[16]-x[36])
+ (25/58)*(x[3]+x[8]-x[17]-x[37])
+ (30/29)*(x[7]+x[9]-x[18]-x[38])
+ (23/29)*(x[8]-x[19]-x[39])
+ (30/29)*(-x[0]+x[11]+x[13]-x[20]-x[40])
+ (69/29)*(-x[1]+x[10]+x[12]+x[14]-x[21]-x[41])
+ (141/58)*(-x[2]+x[11]+x[13]+x[15]-x[22]-x[42])
+ (48/29)*(-x[3]+x[10]+x[12]+x[17]-x[23]-x[43])
+ (-13/58)*(-x[4]+x[11]-x[24]-x[44])
+ (17/58)*(-x[5]+x[12]+x[16]-x[25]-x[45])
+ (89/58)*(-x[6]+x[15]-x[26]-x[46])
+ (1)*(-x[7]+x[13]+x[18]-x[27]-x[47])
+ (-5/58)*(-x[8]+x[17]+x[19]-x[28]-x[48])
+ (-15/58)*(-x[9]+x[18]-x[29]-x[49])
+ (127/58)*(-x[10]+x[21]+x[23]-x[30]-x[50])
+ (83/29)*(-x[11]+x[20]+x[22]+x[24]-x[31]-x[51])
+ (54/29)*(-x[12]+x[21]+x[23]+x[25]-x[32]-x[52])
+ (155/58)*(-x[13]+x[20]+x[22]+x[27]-x[33]-x[53])
+ (49/58)*(-x[14]+x[21]-x[34]-x[54])
+ (-13/58)*(-x[15]+x[22]+x[26]-x[35]-x[55])
+ (31/29)*(-x[16]+x[25]-x[36]-x[56])
+ (43/29)*(-x[17]+x[23]+x[28]-x[37]-x[57])
+ (-33/58)*(-x[18]+x[27]+x[29]-x[38]-x[58])
+ (-27/29)*(-x[19]+x[28]-x[39]-x[59])
+ (59/29)*(-x[0]-x[20]+x[31]+x[33]-x[70])
+ (119/58)*(-x[1]-x[21]+x[30]+x[32]+x[34]-x[71])
+ (80/29)*(-x[2]-x[22]+x[31]+x[33]+x[35]-x[72])
+ (119/58)*(-x[3]-x[23]+x[30]+x[32]+x[37]-x[73])
+ (35/58)*(-x[4]-x[24]+x[31]-x[74])
+ (18/29)*(-x[5]-x[25]+x[32]+x[36]-x[75])
+ (-3/29)*(-x[6]-x[26]+x[35]-x[76])
+ (18/29)*(-x[7]-x[27]+x[33]+x[38]-x[77])
+ (-5/58)*(-x[8]-x[28]+x[37]+x[39]-x[78])
+ (-47/58)*(-x[9]-x[29]+x[38]-x[79])
+ (83/58)*(-x[10]+x[41]+x[43])
+ (10/29)*(-x[11]+x[40]+x[42]+x[44])
+ (23/58)*(-x[12]+x[41]+x[43]+x[45])
+ (16/29)*(-x[13]+x[40]+x[42]+x[47])
+ (65/58)*(-x[14]+x[41])
+ (61/29)*(-x[15]+x[42]+x[46])
+ (27/58)*(-x[16]+x[45])
+ (23/58)*(-x[17]+x[43]+x[48])
+ (59/58)*(-x[18]+x[47]+x[49])
+ (5/58)*(-x[19]+x[48])
+ (179/58)*(-x[20]+x[51]+x[53]-x[60])
+ (11/29)*(-x[21]+x[50]+x[52]+x[54]-x[61])
+ (1/29)*(-x[22]+x[51]+x[53]+x[55]-x[62])
+ (101/58)*(-x[23]+x[50]+x[52]+x[57]-x[63])
+ (139/58)*(-x[24]+x[51]-x[64])
+ (56/29)*(-x[25]+x[52]+x[56]-x[65])
+ (-101/58)*(-x[26]+x[55]-x[66])
+ (23/58)*(-x[27]+x[53]+x[58]-x[67])
+ (37/58)*(-x[28]+x[57]+x[59]-x[68])
+ (-17/58)*(-x[29]+x[58]-x[69])
+ (-13/58)*(-x[50]+x[61]+x[63])
+ (52/29)*(-x[51]+x[60]+x[62]+x[64])
+ (77/58)*(-x[52]+x[61]+x[63]+x[65])
+ (-1/58)*(-x[53]+x[60]+x[62]+x[67])
+ (-77/58)*(-x[54]+x[61])
+ (-68/29)*(-x[55]+x[62]+x[66])
+ (1/29)*(-x[57]+x[63]+x[68])
+ (-11/58)*(-x[58]+x[67]+x[69])
+ (83/58)*(-x[30]+x[71]+x[73]-x[80])
+ (83/58)*(-x[31]+x[70]+x[72]+x[74]-x[81])
+ (21/29)*(-x[32]+x[71]+x[73]+x[75]-x[82])
+ (83/58)*(-x[33]+x[70]+x[72]+x[77]-x[83])
+ (21/29)*(-x[34]+x[71]-x[84])
+ (21/29)*(-x[35]+x[72]+x[76]-x[85])
+ (21/29)*(-x[36]+x[75]-x[86])
+ (21/29)*(-x[37]+x[73]+x[78]-x[87])
+ (1/58)*(-x[38]+x[77]+x[79]-x[88])
+ (1/58)*(-x[39]+x[78]-x[89])
+ (41/58)*(-x[70]+x[81]+x[83]-x[90])
+ (-41/58)*(-x[79]+x[88]-x[99]);
Checking certificate...ok.
System of equations is NOT feasible.
TOTAL TIME: 0.02
