#vars [ x1, x2, x3, x4, x5, x6, x7, x8, x9, x10 ]



#modulo 65521

#list

[
11*x1^3 + 56058*x1^2*x2 + 41978*x1*x2^2 + 11*x2^3 + 15836*x1^2*x3 + 64106*x1*x2*x3 + 56058*x2^2*x3 + 16957*x1*x3^2 + 41978*x2*x3^2 + 11*x3^3 + 16957*x1^2*x4 + 1442*x1*x2*x4 + 15836*x2^2*x4 + 1442*x1*x3*x4 + 64106*x2*x3*x4 + 56058*x3^2*x4 + 15836*x1*x4^2 + 16957*x2*x4^2 + 41978*x3*x4^2 + 11*x4^3 + 41978*x1^2*x5 + 64106*x1*x2*x5 + 16957*x2^2*x5 + 1442*x1*x3*x5 + 1442*x2*x3*x5 + 15836*x3^2*x5 + 64106*x1*x4*x5 + 1442*x2*x4*x5 + 64106*x3*x4*x5 + 56058*x4^2*x5 + 56058*x1*x5^2 + 15836*x2*x5^2 + 16957*x3*x5^2 + 41978*x4*x5^2 + 11*x5^3 + 65430*x1^2*x6 + 60078*x1*x2*x6 + 65430*x2^2*x6 + 5429*x1*x3*x6 + 60078*x2*x3*x6 + 65430*x3^2*x6 + 5429*x1*x4*x6 + 5429*x2*x4*x6 + 60078*x3*x4*x6 + 65430*x4^2*x6 + 60078*x1*x5*x6 + 5429*x2*x5*x6 + 5429*x3*x5*x6 + 60078*x4*x5*x6 + 65430*x5^2*x6 + 4*x1*x6^2 + 4*x2*x6^2 + 4*x3*x6^2 + 4*x4*x6^2 + 4*x5*x6^2 + 65448*x6^3 + 65430*x1^2*x7 + 60078*x1*x2*x7 + 65430*x2^2*x7 + 5429*x1*x3*x7 + 60078*x2*x3*x7 + 65430*x3^2*x7 + 5429*x1*x4*x7 + 5429*x2*x4*x7 + 60078*x3*x4*x7 + 65430*x4^2*x7 + 60078*x1*x5*x7 + 5429*x2*x5*x7 + 5429*x3*x5*x7 + 60078*x4*x5*x7 + 65430*x5^2*x7 + 15530*x1*x6*x7 + 15530*x2*x6*x7 + 15530*x3*x6*x7 + 15530*x4*x6*x7 + 15530*x5*x6*x7 + 31213*x6^2*x7 + 4*x1*x7^2 + 4*x2*x7^2 + 4*x3*x7^2 + 4*x4*x7^2 + 4*x5*x7^2 + 33914*x6*x7^2 + 65448*x7^3 + 65430*x1^2*x8 + 60078*x1*x2*x8 + 65430*x2^2*x8 + 5429*x1*x3*x8 + 60078*x2*x3*x8 + 65430*x3^2*x8 + 5429*x1*x4*x8 + 5429*x2*x4*x8 + 60078*x3*x4*x8 + 65430*x4^2*x8 + 60078*x1*x5*x8 + 5429*x2*x5*x8 + 5429*x3*x5*x8 + 60078*x4*x5*x8 + 65430*x5^2*x8 + 50147*x1*x6*x8 + 50147*x2*x6*x8 + 50147*x3*x6*x8 + 50147*x4*x6*x8 + 50147*x5*x6*x8 + 48960*x6^2*x8 + 15530*x1*x7*x8 + 15530*x2*x7*x8 + 15530*x3*x7*x8 + 15530*x4*x7*x8 + 15530*x5*x7*x8 + 11325*x6*x7*x8 + 31213*x7^2*x8 + 4*x1*x8^2 + 4*x2*x8^2 + 4*x3*x8^2 + 4*x4*x8^2 + 4*x5*x8^2 + 16734*x6*x8^2 + 33914*x7*x8^2 + 65448*x8^3 + 65430*x1^2*x9 + 60078*x1*x2*x9 + 65430*x2^2*x9 + 5429*x1*x3*x9 + 60078*x2*x3*x9 + 65430*x3^2*x9 + 5429*x1*x4*x9 + 5429*x2*x4*x9 + 60078*x3*x4*x9 + 65430*x4^2*x9 + 60078*x1*x5*x9 + 5429*x2*x5*x9 + 5429*x3*x5*x9 + 60078*x4*x5*x9 + 65430*x5^2*x9 + 50147*x1*x6*x9 + 50147*x2*x6*x9 + 50147*x3*x6*x9 + 50147*x4*x6*x9 + 50147*x5*x6*x9 + 16734*x6^2*x9 + 50147*x1*x7*x9 + 50147*x2*x7*x9 + 50147*x3*x7*x9 + 50147*x4*x7*x9 + 50147*x5*x7*x9 + 53390*x6*x7*x9 + 48960*x7^2*x9 + 15530*x1*x8*x9 + 15530*x2*x8*x9 + 15530*x3*x8*x9 + 15530*x4*x8*x9 + 15530*x5*x8*x9 + 53390*x6*x8*x9 + 11325*x7*x8*x9 + 31213*x8^2*x9 + 4*x1*x9^2 + 4*x2*x9^2 + 4*x3*x9^2 + 4*x4*x9^2 + 4*x5*x9^2 + 48960*x6*x9^2 + 16734*x7*x9^2 + 33914*x8*x9^2 + 65448*x9^3 + 65430*x1^2*x10 + 60078*x1*x2*x10 + 65430*x2^2*x10 + 5429*x1*x3*x10 + 60078*x2*x3*x10 + 65430*x3^2*x10 + 5429*x1*x4*x10 + 5429*x2*x4*x10 + 60078*x3*x4*x10 + 65430*x4^2*x10 + 60078*x1*x5*x10 + 5429*x2*x5*x10 + 5429*x3*x5*x10 + 60078*x4*x5*x10 + 65430*x5^2*x10 + 15530*x1*x6*x10 + 15530*x2*x6*x10 + 15530*x3*x6*x10 + 15530*x4*x6*x10 + 15530*x5*x6*x10 + 33914*x6^2*x10 + 50147*x1*x7*x10 + 50147*x2*x7*x10 + 50147*x3*x7*x10 + 50147*x4*x7*x10 + 50147*x5*x7*x10 + 11325*x6*x7*x10 + 16734*x7^2*x10 + 50147*x1*x8*x10 + 50147*x2*x8*x10 + 50147*x3*x8*x10 + 50147*x4*x8*x10 + 50147*x5*x8*x10 + 53390*x6*x8*x10 + 53390*x7*x8*x10 + 48960*x8^2*x10 + 15530*x1*x9*x10 + 15530*x2*x9*x10 + 15530*x3*x9*x10 + 15530*x4*x9*x10 + 15530*x5*x9*x10 + 11325*x6*x9*x10 + 53390*x7*x9*x10 + 11325*x8*x9*x10 + 31213*x9^2*x10 + 4*x1*x10^2 + 4*x2*x10^2 + 4*x3*x10^2 + 4*x4*x10^2 + 4*x5*x10^2 + 31213*x6*x10^2 + 48960*x7*x10^2 + 16734*x8*x10^2 + 33914*x9*x10^2 + 65448*x10^3 + 31*x1^2 + 57807*x1*x2 + 31*x2^2 + 7738*x1*x3 + 57807*x2*x3 + 31*x3^2 + 7738*x1*x4 + 7738*x2*x4 + 57807*x3*x4 + 31*x4^2 + 57807*x1*x5 + 7738*x2*x5 + 7738*x3*x5 + 57807*x4*x5 + 31*x5^2 + 8*x1*x6 + 8*x2*x6 + 8*x3*x6 + 8*x4*x6 + 8*x5*x6 + 65520*x6^2 + 8*x1*x7 + 8*x2*x7 + 8*x3*x7 + 8*x4*x7 + 8*x5*x7 + 42015*x6*x7 + 65520*x7^2 + 8*x1*x8 + 8*x2*x8 + 8*x3*x8 + 8*x4*x8 + 8*x5*x8 + 23417*x6*x8 + 42015*x7*x8 + 65520*x8^2 + 8*x1*x9 + 8*x2*x9 + 8*x3*x9 + 8*x4*x9 + 8*x5*x9 + 23417*x6*x9 + 23417*x7*x9 + 42015*x8*x9 + 65520*x9^2 + 8*x1*x10 + 8*x2*x10 + 8*x3*x10 + 8*x4*x10 + 8*x5*x10 + 42015*x6*x10 + 23417*x7*x10 + 23417*x8*x10 + 42015*x9*x10 + 65520*x10^2 + 49*x1 + 49*x2 + 49*x3 + 49*x4 + 49*x5 + 12*x6 + 12*x7 + 12*x8 + 12*x9 + 12*x10 + 49401,
65467*x1^3 + 5711*x1^2*x2 + 14093*x1*x2^2 + 65467*x2^3 + 21910*x1^2*x3 + 47684*x1*x2*x3 + 5711*x2^2*x3 + 23929*x1*x3^2 + 14093*x2*x3^2 + 65467*x3^3 + 23929*x1^2*x4 + 17069*x1*x2*x4 + 21910*x2^2*x4 + 17069*x1*x3*x4 + 47684*x2*x3*x4 + 5711*x3^2*x4 + 21910*x1*x4^2 + 23929*x2*x4^2 + 14093*x3*x4^2 + 65467*x4^3 + 14093*x1^2*x5 + 47684*x1*x2*x5 + 23929*x2^2*x5 + 17069*x1*x3*x5 + 17069*x2*x3*x5 + 21910*x3^2*x5 + 47684*x1*x4*x5 + 17069*x2*x4*x5 + 47684*x3*x4*x5 + 5711*x4^2*x5 + 5711*x1*x5^2 + 21910*x2*x5^2 + 23929*x3*x5^2 + 14093*x4*x5^2 + 65467*x5^3 + 17*x1^2*x6 + 38721*x1*x2*x6 + 17*x2^2*x6 + 26993*x1*x3*x6 + 38721*x2*x3*x6 + 17*x3^2*x6 + 26993*x1*x4*x6 + 26993*x2*x4*x6 + 38721*x3*x4*x6 + 17*x4^2*x6 + 38721*x1*x5*x6 + 26993*x2*x5*x6 + 26993*x3*x5*x6 + 38721*x4*x5*x6 + 17*x5^2*x6 + 33*x1*x6^2 + 33*x2*x6^2 + 33*x3*x6^2 + 33*x4*x6^2 + 33*x5*x6^2 + 65364*x6^3 + 17*x1^2*x7 + 38721*x1*x2*x7 + 17*x2^2*x7 + 26993*x1*x3*x7 + 38721*x2*x3*x7 + 17*x3^2*x7 + 26993*x1*x4*x7 + 26993*x2*x4*x7 + 38721*x3*x4*x7 + 17*x4^2*x7 + 38721*x1*x5*x7 + 26993*x2*x5*x7 + 26993*x3*x5*x7 + 38721*x4*x5*x7 + 17*x5^2*x7 + 12663*x1*x6*x7 + 12663*x2*x6*x7 + 12663*x3*x6*x7 + 12663*x4*x6*x7 + 12663*x5*x6*x7 + 20258*x6^2*x7 + 33*x1*x7^2 + 33*x2*x7^2 + 33*x3*x7^2 + 33*x4*x7^2 + 33*x5*x7^2 + 25244*x6*x7^2 + 65364*x7^3 + 17*x1^2*x8 + 38721*x1*x2*x8 + 17*x2^2*x8 + 26993*x1*x3*x8 + 38721*x2*x3*x8 + 17*x3^2*x8 + 26993*x1*x4*x8 + 26993*x2*x4*x8 + 38721*x3*x4*x8 + 17*x4^2*x8 + 38721*x1*x5*x8 + 26993*x2*x5*x8 + 26993*x3*x5*x8 + 38721*x4*x5*x8 + 17*x5^2*x8 + 53005*x1*x6*x8 + 53005*x2*x6*x8 + 53005*x3*x6*x8 + 53005*x4*x6*x8 + 53005*x5*x6*x8 + 6470*x6^2*x8 + 12663*x1*x7*x8 + 12663*x2*x7*x8 + 12663*x3*x7*x8 + 12663*x4*x7*x8 + 12663*x5*x7*x8 + 14331*x6*x7*x8 + 20258*x7^2*x8 + 33*x1*x8^2 + 33*x2*x8^2 + 33*x3*x8^2 + 33*x4*x8^2 + 33*x5*x8^2 + 13575*x6*x8^2 + 25244*x7*x8^2 + 65364*x8^3 + 17*x1^2*x9 + 38721*x1*x2*x9 + 17*x2^2*x9 + 26993*x1*x3*x9 + 38721*x2*x3*x9 + 17*x3^2*x9 + 26993*x1*x4*x9 + 26993*x2*x4*x9 + 38721*x3*x4*x9 + 17*x4^2*x9 + 38721*x1*x5*x9 + 26993*x2*x5*x9 + 26993*x3*x5*x9 + 38721*x4*x5*x9 + 17*x5^2*x9 + 53005*x1*x6*x9 + 53005*x2*x6*x9 + 53005*x3*x6*x9 + 53005*x4*x6*x9 + 53005*x5*x6*x9 + 13575*x6^2*x9 + 53005*x1*x7*x9 + 53005*x2*x7*x9 + 53005*x3*x7*x9 + 53005*x4*x7*x9 + 53005*x5*x7*x9 + 50671*x6*x7*x9 + 6470*x7^2*x9 + 12663*x1*x8*x9 + 12663*x2*x8*x9 + 12663*x3*x8*x9 + 12663*x4*x8*x9 + 12663*x5*x8*x9 + 50671*x6*x8*x9 + 14331*x7*x8*x9 + 20258*x8^2*x9 + 33*x1*x9^2 + 33*x2*x9^2 + 33*x3*x9^2 + 33*x4*x9^2 + 33*x5*x9^2 + 6470*x6*x9^2 + 13575*x7*x9^2 + 25244*x8*x9^2 + 65364*x9^3 + 17*x1^2*x10 + 38721*x1*x2*x10 + 17*x2^2*x10 + 26993*x1*x3*x10 + 38721*x2*x3*x10 + 17*x3^2*x10 + 26993*x1*x4*x10 + 26993*x2*x4*x10 + 38721*x3*x4*x10 + 17*x4^2*x10 + 38721*x1*x5*x10 + 26993*x2*x5*x10 + 26993*x3*x5*x10 + 38721*x4*x5*x10 + 17*x5^2*x10 + 12663*x1*x6*x10 + 12663*x2*x6*x10 + 12663*x3*x6*x10 + 12663*x4*x6*x10 + 12663*x5*x6*x10 + 25244*x6^2*x10 + 53005*x1*x7*x10 + 53005*x2*x7*x10 + 53005*x3*x7*x10 + 53005*x4*x7*x10 + 53005*x5*x7*x10 + 14331*x6*x7*x10 + 13575*x7^2*x10 + 53005*x1*x8*x10 + 53005*x2*x8*x10 + 53005*x3*x8*x10 + 53005*x4*x8*x10 + 53005*x5*x8*x10 + 50671*x6*x8*x10 + 50671*x7*x8*x10 + 6470*x8^2*x10 + 12663*x1*x9*x10 + 12663*x2*x9*x10 + 12663*x3*x9*x10 + 12663*x4*x9*x10 + 12663*x5*x9*x10 + 14331*x6*x9*x10 + 50671*x7*x9*x10 + 14331*x8*x9*x10 + 20258*x9^2*x10 + 33*x1*x10^2 + 33*x2*x10^2 + 33*x3*x10^2 + 33*x4*x10^2 + 33*x5*x10^2 + 20258*x6*x10^2 + 6470*x7*x10^2 + 13575*x8*x10^2 + 25244*x9*x10^2 + 65364*x10^3 + 65479*x1^2 + 21150*x1*x2 + 65479*x2^2 + 44328*x1*x3 + 21150*x2*x3 + 65479*x3^2 + 44328*x1*x4 + 44328*x2*x4 + 21150*x3*x4 + 65479*x4^2 + 21150*x1*x5 + 44328*x2*x5 + 44328*x3*x5 + 21150*x4*x5 + 65479*x5^2 + 44*x1*x6 + 44*x2*x6 + 44*x3*x6 + 44*x4*x6 + 44*x5*x6 + 65499*x6^2 + 44*x1*x7 + 44*x2*x7 + 44*x3*x7 + 44*x4*x7 + 44*x5*x7 + 16814*x6*x7 + 65499*x7^2 + 44*x1*x8 + 44*x2*x8 + 44*x3*x8 + 44*x4*x8 + 44*x5*x8 + 48574*x6*x8 + 16814*x7*x8 + 65499*x8^2 + 44*x1*x9 + 44*x2*x9 + 44*x3*x9 + 44*x4*x9 + 44*x5*x9 + 48574*x6*x9 + 48574*x7*x9 + 16814*x8*x9 + 65499*x9^2 + 44*x1*x10 + 44*x2*x10 + 44*x3*x10 + 44*x4*x10 + 44*x5*x10 + 16814*x6*x10 + 48574*x7*x10 + 48574*x8*x10 + 16814*x9*x10 + 65499*x10^2 + 65504*x1 + 65504*x2 + 65504*x3 + 65504*x4 + 65504*x5 + 13*x6 + 13*x7 + 13*x8 + 13*x9 + 13*x10 + 48356,
65333*x1^3 + 6793*x1^2*x2 + 6256*x1*x2^2 + 65333*x2^3 + 56655*x1^2*x3 + 6188*x1*x2*x3 + 6793*x2^2*x3 + 61112*x1*x3^2 + 6256*x2*x3^2 + 65333*x3^3 + 61112*x1^2*x4 + 58547*x1*x2*x4 + 56655*x2^2*x4 + 58547*x1*x3*x4 + 6188*x2*x3*x4 + 6793*x3^2*x4 + 56655*x1*x4^2 + 61112*x2*x4^2 + 6256*x3*x4^2 + 65333*x4^3 + 6256*x1^2*x5 + 6188*x1*x2*x5 + 61112*x2^2*x5 + 58547*x1*x3*x5 + 58547*x2*x3*x5 + 56655*x3^2*x5 + 6188*x1*x4*x5 + 58547*x2*x4*x5 + 6188*x3*x4*x5 + 6793*x4^2*x5 + 6793*x1*x5^2 + 56655*x2*x5^2 + 61112*x3*x5^2 + 6256*x4*x5^2 + 65333*x5^3 + 65499*x1^2*x6 + 50829*x1*x2*x6 + 65499*x2^2*x6 + 14489*x1*x3*x6 + 50829*x2*x3*x6 + 65499*x3^2*x6 + 14489*x1*x4*x6 + 14489*x2*x4*x6 + 50829*x3*x4*x6 + 65499*x4^2*x6 + 50829*x1*x5*x6 + 14489*x2*x5*x6 + 14489*x3*x5*x6 + 50829*x4*x5*x6 + 65499*x5^2*x6 + 65482*x1*x6^2 + 65482*x2*x6^2 + 65482*x3*x6^2 + 65482*x4*x6^2 + 65482*x5*x6^2 + 65502*x6^3 + 65499*x1^2*x7 + 50829*x1*x2*x7 + 65499*x2^2*x7 + 14489*x1*x3*x7 + 50829*x2*x3*x7 + 65499*x3^2*x7 + 14489*x1*x4*x7 + 14489*x2*x4*x7 + 50829*x3*x4*x7 + 65499*x4^2*x7 + 50829*x1*x5*x7 + 14489*x2*x5*x7 + 14489*x3*x5*x7 + 50829*x4*x5*x7 + 65499*x5^2*x7 + 50561*x1*x6*x7 + 50561*x2*x6*x7 + 50561*x3*x6*x7 + 50561*x4*x6*x7 + 50561*x5*x6*x7 + 556*x6^2*x7 + 65482*x1*x7^2 + 65482*x2*x7^2 + 65482*x3*x7^2 + 65482*x4*x7^2 + 65482*x5*x7^2 + 9841*x6*x7^2 + 65502*x7^3 + 65499*x1^2*x8 + 50829*x1*x2*x8 + 65499*x2^2*x8 + 14489*x1*x3*x8 + 50829*x2*x3*x8 + 65499*x3^2*x8 + 14489*x1*x4*x8 + 14489*x2*x4*x8 + 50829*x3*x4*x8 + 65499*x4^2*x8 + 50829*x1*x5*x8 + 14489*x2*x5*x8 + 14489*x3*x5*x8 + 50829*x4*x5*x8 + 65499*x5^2*x8 + 14799*x1*x6*x8 + 14799*x2*x6*x8 + 14799*x3*x6*x8 + 14799*x4*x6*x8 + 14799*x5*x6*x8 + 39348*x6^2*x8 + 50561*x1*x7*x8 + 50561*x2*x7*x8 + 50561*x3*x7*x8 + 50561*x4*x7*x8 + 50561*x5*x7*x8 + 25076*x6*x7*x8 + 556*x7^2*x8 + 65482*x1*x8^2 + 65482*x2*x8^2 + 65482*x3*x8^2 + 65482*x4*x8^2 + 65482*x5*x8^2 + 15393*x6*x8^2 + 9841*x7*x8^2 + 65502*x8^3 + 65499*x1^2*x9 + 50829*x1*x2*x9 + 65499*x2^2*x9 + 14489*x1*x3*x9 + 50829*x2*x3*x9 + 65499*x3^2*x9 + 14489*x1*x4*x9 + 14489*x2*x4*x9 + 50829*x3*x4*x9 + 65499*x4^2*x9 + 50829*x1*x5*x9 + 14489*x2*x5*x9 + 14489*x3*x5*x9 + 50829*x4*x5*x9 + 65499*x5^2*x9 + 14799*x1*x6*x9 + 14799*x2*x6*x9 + 14799*x3*x6*x9 + 14799*x4*x6*x9 + 14799*x5*x6*x9 + 15393*x6^2*x9 + 14799*x1*x7*x9 + 14799*x2*x7*x9 + 14799*x3*x7*x9 + 14799*x4*x7*x9 + 14799*x5*x7*x9 + 39672*x6*x7*x9 + 39348*x7^2*x9 + 50561*x1*x8*x9 + 50561*x2*x8*x9 + 50561*x3*x8*x9 + 50561*x4*x8*x9 + 50561*x5*x8*x9 + 39672*x6*x8*x9 + 25076*x7*x8*x9 + 556*x8^2*x9 + 65482*x1*x9^2 + 65482*x2*x9^2 + 65482*x3*x9^2 + 65482*x4*x9^2 + 65482*x5*x9^2 + 39348*x6*x9^2 + 15393*x7*x9^2 + 9841*x8*x9^2 + 65502*x9^3 + 65499*x1^2*x10 + 50829*x1*x2*x10 + 65499*x2^2*x10 + 14489*x1*x3*x10 + 50829*x2*x3*x10 + 65499*x3^2*x10 + 14489*x1*x4*x10 + 14489*x2*x4*x10 + 50829*x3*x4*x10 + 65499*x4^2*x10 + 50829*x1*x5*x10 + 14489*x2*x5*x10 + 14489*x3*x5*x10 + 50829*x4*x5*x10 + 65499*x5^2*x10 + 50561*x1*x6*x10 + 50561*x2*x6*x10 + 50561*x3*x6*x10 + 50561*x4*x6*x10 + 50561*x5*x6*x10 + 9841*x6^2*x10 + 14799*x1*x7*x10 + 14799*x2*x7*x10 + 14799*x3*x7*x10 + 14799*x4*x7*x10 + 14799*x5*x7*x10 + 25076*x6*x7*x10 + 15393*x7^2*x10 + 14799*x1*x8*x10 + 14799*x2*x8*x10 + 14799*x3*x8*x10 + 14799*x4*x8*x10 + 14799*x5*x8*x10 + 39672*x6*x8*x10 + 39672*x7*x8*x10 + 39348*x8^2*x10 + 50561*x1*x9*x10 + 50561*x2*x9*x10 + 50561*x3*x9*x10 + 50561*x4*x9*x10 + 50561*x5*x9*x10 + 25076*x6*x9*x10 + 39672*x7*x9*x10 + 25076*x8*x9*x10 + 556*x9^2*x10 + 65482*x1*x10^2 + 65482*x2*x10^2 + 65482*x3*x10^2 + 65482*x4*x10^2 + 65482*x5*x10^2 + 556*x6*x10^2 + 39348*x7*x10^2 + 15393*x8*x10^2 + 9841*x9*x10^2 + 65502*x10^3 + 65489*x1^2 + 20510*x1*x2 + 65489*x2^2 + 44833*x1*x3 + 20510*x2*x3 + 65489*x3^2 + 44833*x1*x4 + 44833*x2*x4 + 20510*x3*x4 + 65489*x4^2 + 20510*x1*x5 + 44833*x2*x5 + 44833*x3*x5 + 20510*x4*x5 + 65489*x5^2 + 65492*x1*x6 + 65492*x2*x6 + 65492*x3*x6 + 65492*x4*x6 + 65492*x5*x6 + 90*x6^2 + 65492*x1*x7 + 65492*x2*x7 + 65492*x3*x7 + 65492*x4*x7 + 65492*x5*x7 + 39837*x6*x7 + 90*x7^2 + 65492*x1*x8 + 65492*x2*x8 + 65492*x3*x8 + 65492*x4*x8 + 65492*x5*x8 + 25819*x6*x8 + 39837*x7*x8 + 90*x8^2 + 65492*x1*x9 + 65492*x2*x9 + 65492*x3*x9 + 65492*x4*x9 + 65492*x5*x9 + 25819*x6*x9 + 25819*x7*x9 + 39837*x8*x9 + 90*x9^2 + 65492*x1*x10 + 65492*x2*x10 + 65492*x3*x10 + 65492*x4*x10 + 65492*x5*x10 + 39837*x6*x10 + 25819*x7*x10 + 25819*x8*x10 + 39837*x9*x10 + 90*x10^2 + 65483*x1 + 65483*x2 + 65483*x3 + 65483*x4 + 65483*x5 + 44*x6 + 44*x7 + 44*x8 + 44*x9 + 44*x10 + 59290,
81*x1^3 + 37325*x1^2*x2 + 47621*x1*x2^2 + 81*x2^3 + 22590*x1^2*x3 + 15778*x1*x2*x3 + 37325*x2^2*x3 + 23448*x1*x3^2 + 47621*x2*x3^2 + 81*x3^3 + 23448*x1^2*x4 + 50395*x1*x2*x4 + 22590*x2^2*x4 + 50395*x1*x3*x4 + 15778*x2*x3*x4 + 37325*x3^2*x4 + 22590*x1*x4^2 + 23448*x2*x4^2 + 47621*x3*x4^2 + 81*x4^3 + 47621*x1^2*x5 + 15778*x1*x2*x5 + 23448*x2^2*x5 + 50395*x1*x3*x5 + 50395*x2*x3*x5 + 22590*x3^2*x5 + 15778*x1*x4*x5 + 50395*x2*x4*x5 + 15778*x3*x4*x5 + 37325*x4^2*x5 + 37325*x1*x5^2 + 22590*x2*x5^2 + 23448*x3*x5^2 + 47621*x4*x5^2 + 81*x5^3 + 86*x1^2*x6 + 31177*x1*x2*x6 + 86*x2^2*x6 + 34323*x1*x3*x6 + 31177*x2*x3*x6 + 86*x3^2*x6 + 34323*x1*x4*x6 + 34323*x2*x4*x6 + 31177*x3*x4*x6 + 86*x4^2*x6 + 31177*x1*x5*x6 + 34323*x2*x5*x6 + 34323*x3*x5*x6 + 31177*x4*x5*x6 + 86*x5^2*x6 + 77*x1*x6^2 + 77*x2*x6^2 + 77*x3*x6^2 + 77*x4*x6^2 + 77*x5*x6^2 + 65508*x6^3 + 86*x1^2*x7 + 31177*x1*x2*x7 + 86*x2^2*x7 + 34323*x1*x3*x7 + 31177*x2*x3*x7 + 86*x3^2*x7 + 34323*x1*x4*x7 + 34323*x2*x4*x7 + 31177*x3*x4*x7 + 86*x4^2*x7 + 31177*x1*x5*x7 + 34323*x2*x5*x7 + 34323*x3*x5*x7 + 31177*x4*x5*x7 + 86*x5^2*x7 + 8340*x1*x6*x7 + 8340*x2*x6*x7 + 8340*x3*x6*x7 + 8340*x4*x6*x7 + 8340*x5*x6*x7 + 23741*x6^2*x7 + 77*x1*x7^2 + 77*x2*x7^2 + 77*x3*x7^2 + 77*x4*x7^2 + 77*x5*x7^2 + 64840*x6*x7^2 + 65508*x7^3 + 86*x1^2*x8 + 31177*x1*x2*x8 + 86*x2^2*x8 + 34323*x1*x3*x8 + 31177*x2*x3*x8 + 86*x3^2*x8 + 34323*x1*x4*x8 + 34323*x2*x4*x8 + 31177*x3*x4*x8 + 86*x4^2*x8 + 31177*x1*x5*x8 + 34323*x2*x5*x8 + 34323*x3*x5*x8 + 31177*x4*x5*x8 + 86*x5^2*x8 + 57264*x1*x6*x8 + 57264*x2*x6*x8 + 57264*x3*x6*x8 + 57264*x4*x6*x8 + 57264*x5*x6*x8 + 22810*x6^2*x8 + 8340*x1*x7*x8 + 8340*x2*x7*x8 + 8340*x3*x7*x8 + 8340*x4*x7*x8 + 8340*x5*x7*x8 + 3347*x6*x7*x8 + 23741*x7^2*x8 + 77*x1*x8^2 + 77*x2*x8^2 + 77*x3*x8^2 + 77*x4*x8^2 + 77*x5*x8^2 + 19415*x6*x8^2 + 64840*x7*x8^2 + 65508*x8^3 + 86*x1^2*x9 + 31177*x1*x2*x9 + 86*x2^2*x9 + 34323*x1*x3*x9 + 31177*x2*x3*x9 + 86*x3^2*x9 + 34323*x1*x4*x9 + 34323*x2*x4*x9 + 31177*x3*x4*x9 + 86*x4^2*x9 + 31177*x1*x5*x9 + 34323*x2*x5*x9 + 34323*x3*x5*x9 + 31177*x4*x5*x9 + 86*x5^2*x9 + 57264*x1*x6*x9 + 57264*x2*x6*x9 + 57264*x3*x6*x9 + 57264*x4*x6*x9 + 57264*x5*x6*x9 + 19415*x6^2*x9 + 57264*x1*x7*x9 + 57264*x2*x7*x9 + 57264*x3*x7*x9 + 57264*x4*x7*x9 + 57264*x5*x7*x9 + 61998*x6*x7*x9 + 22810*x7^2*x9 + 8340*x1*x8*x9 + 8340*x2*x8*x9 + 8340*x3*x8*x9 + 8340*x4*x8*x9 + 8340*x5*x8*x9 + 61998*x6*x8*x9 + 3347*x7*x8*x9 + 23741*x8^2*x9 + 77*x1*x9^2 + 77*x2*x9^2 + 77*x3*x9^2 + 77*x4*x9^2 + 77*x5*x9^2 + 22810*x6*x9^2 + 19415*x7*x9^2 + 64840*x8*x9^2 + 65508*x9^3 + 86*x1^2*x10 + 31177*x1*x2*x10 + 86*x2^2*x10 + 34323*x1*x3*x10 + 31177*x2*x3*x10 + 86*x3^2*x10 + 34323*x1*x4*x10 + 34323*x2*x4*x10 + 31177*x3*x4*x10 + 86*x4^2*x10 + 31177*x1*x5*x10 + 34323*x2*x5*x10 + 34323*x3*x5*x10 + 31177*x4*x5*x10 + 86*x5^2*x10 + 8340*x1*x6*x10 + 8340*x2*x6*x10 + 8340*x3*x6*x10 + 8340*x4*x6*x10 + 8340*x5*x6*x10 + 64840*x6^2*x10 + 57264*x1*x7*x10 + 57264*x2*x7*x10 + 57264*x3*x7*x10 + 57264*x4*x7*x10 + 57264*x5*x7*x10 + 3347*x6*x7*x10 + 19415*x7^2*x10 + 57264*x1*x8*x10 + 57264*x2*x8*x10 + 57264*x3*x8*x10 + 57264*x4*x8*x10 + 57264*x5*x8*x10 + 61998*x6*x8*x10 + 61998*x7*x8*x10 + 22810*x8^2*x10 + 8340*x1*x9*x10 + 8340*x2*x9*x10 + 8340*x3*x9*x10 + 8340*x4*x9*x10 + 8340*x5*x9*x10 + 3347*x6*x9*x10 + 61998*x7*x9*x10 + 3347*x8*x9*x10 + 23741*x9^2*x10 + 77*x1*x10^2 + 77*x2*x10^2 + 77*x3*x10^2 + 77*x4*x10^2 + 77*x5*x10^2 + 23741*x6*x10^2 + 22810*x7*x10^2 + 19415*x8*x10^2 + 64840*x9*x10^2 + 65508*x10^3 + 65503*x1^2 + 40446*x1*x2 + 65503*x2^2 + 25283*x1*x3 + 40446*x2*x3 + 65503*x3^2 + 25283*x1*x4 + 25283*x2*x4 + 40446*x3*x4 + 65503*x4^2 + 40446*x1*x5 + 25283*x2*x5 + 25283*x3*x5 + 40446*x4*x5 + 65503*x5^2 + 45*x1*x6 + 45*x2*x6 + 45*x3*x6 + 45*x4*x6 + 45*x5*x6 + 22*x6^2 + 45*x1*x7 + 45*x2*x7 + 45*x3*x7 + 45*x4*x7 + 45*x5*x7 + 22067*x6*x7 + 22*x7^2 + 45*x1*x8 + 45*x2*x8 + 45*x3*x8 + 45*x4*x8 + 45*x5*x8 + 43522*x6*x8 + 22067*x7*x8 + 22*x8^2 + 45*x1*x9 + 45*x2*x9 + 45*x3*x9 + 45*x4*x9 + 45*x5*x9 + 43522*x6*x9 + 43522*x7*x9 + 22067*x8*x9 + 22*x9^2 + 45*x1*x10 + 45*x2*x10 + 45*x3*x10 + 45*x4*x10 + 45*x5*x10 + 22067*x6*x10 + 43522*x7*x10 + 43522*x8*x10 + 22067*x9*x10 + 22*x10^2 + 15*x1 + 15*x2 + 15*x3 + 15*x4 + 15*x5 + 13*x6 + 13*x7 + 13*x8 + 13*x9 + 13*x10 + 48975,
65481*x1^3 + 29799*x1^2*x2 + 34377*x1*x2^2 + 65481*x2^3 + 32175*x1^2*x3 + 12468*x1*x2*x3 + 29799*x2^2*x3 + 34291*x1*x3^2 + 34377*x2*x3^2 + 65481*x3^3 + 34291*x1^2*x4 + 52243*x1*x2*x4 + 32175*x2^2*x4 + 52243*x1*x3*x4 + 12468*x2*x3*x4 + 29799*x3^2*x4 + 32175*x1*x4^2 + 34291*x2*x4^2 + 34377*x3*x4^2 + 65481*x4^3 + 34377*x1^2*x5 + 12468*x1*x2*x5 + 34291*x2^2*x5 + 52243*x1*x3*x5 + 52243*x2*x3*x5 + 32175*x3^2*x5 + 12468*x1*x4*x5 + 52243*x2*x4*x5 + 12468*x3*x4*x5 + 29799*x4^2*x5 + 29799*x1*x5^2 + 32175*x2*x5^2 + 34291*x3*x5^2 + 34377*x4*x5^2 + 65481*x5^3 + 31*x1^2*x6 + 60988*x1*x2*x6 + 31*x2^2*x6 + 4627*x1*x3*x6 + 60988*x2*x3*x6 + 31*x3^2*x6 + 4627*x1*x4*x6 + 4627*x2*x4*x6 + 60988*x3*x4*x6 + 31*x4^2*x6 + 60988*x1*x5*x6 + 4627*x2*x5*x6 + 4627*x3*x5*x6 + 60988*x4*x5*x6 + 31*x5^2*x6 + 65468*x1*x6^2 + 65468*x2*x6^2 + 65468*x3*x6^2 + 65468*x4*x6^2 + 65468*x5*x6^2 + 65458*x6^3 + 31*x1^2*x7 + 60988*x1*x2*x7 + 31*x2^2*x7 + 4627*x1*x3*x7 + 60988*x2*x3*x7 + 31*x3^2*x7 + 4627*x1*x4*x7 + 4627*x2*x4*x7 + 60988*x3*x4*x7 + 31*x4^2*x7 + 60988*x1*x5*x7 + 4627*x2*x5*x7 + 4627*x3*x5*x7 + 60988*x4*x5*x7 + 31*x5^2*x7 + 33790*x1*x6*x7 + 33790*x2*x6*x7 + 33790*x3*x6*x7 + 33790*x4*x6*x7 + 33790*x5*x6*x7 + 45669*x6^2*x7 + 65468*x1*x7^2 + 65468*x2*x7^2 + 65468*x3*x7^2 + 65468*x4*x7^2 + 65468*x5*x7^2 + 55434*x6*x7^2 + 65458*x7^3 + 31*x1^2*x8 + 60988*x1*x2*x8 + 31*x2^2*x8 + 4627*x1*x3*x8 + 60988*x2*x3*x8 + 31*x3^2*x8 + 4627*x1*x4*x8 + 4627*x2*x4*x8 + 60988*x3*x4*x8 + 31*x4^2*x8 + 60988*x1*x5*x8 + 4627*x2*x5*x8 + 4627*x3*x5*x8 + 60988*x4*x5*x8 + 31*x5^2*x8 + 31789*x1*x6*x8 + 31789*x2*x6*x8 + 31789*x3*x6*x8 + 31789*x4*x6*x8 + 31789*x5*x6*x8 + 4787*x6^2*x8 + 33790*x1*x7*x8 + 33790*x2*x7*x8 + 33790*x3*x7*x8 + 33790*x4*x7*x8 + 33790*x5*x7*x8 + 1102*x6*x7*x8 + 45669*x7^2*x8 + 65468*x1*x8^2 + 65468*x2*x8^2 + 65468*x3*x8^2 + 65468*x4*x8^2 + 65468*x5*x8^2 + 25926*x6*x8^2 + 55434*x7*x8^2 + 65458*x8^3 + 31*x1^2*x9 + 60988*x1*x2*x9 + 31*x2^2*x9 + 4627*x1*x3*x9 + 60988*x2*x3*x9 + 31*x3^2*x9 + 4627*x1*x4*x9 + 4627*x2*x4*x9 + 60988*x3*x4*x9 + 31*x4^2*x9 + 60988*x1*x5*x9 + 4627*x2*x5*x9 + 4627*x3*x5*x9 + 60988*x4*x5*x9 + 31*x5^2*x9 + 31789*x1*x6*x9 + 31789*x2*x6*x9 + 31789*x3*x6*x9 + 31789*x4*x6*x9 + 31789*x5*x6*x9 + 25926*x6^2*x9 + 31789*x1*x7*x9 + 31789*x2*x7*x9 + 31789*x3*x7*x9 + 31789*x4*x7*x9 + 31789*x5*x7*x9 + 64333*x6*x7*x9 + 4787*x7^2*x9 + 33790*x1*x8*x9 + 33790*x2*x8*x9 + 33790*x3*x8*x9 + 33790*x4*x8*x9 + 33790*x5*x8*x9 + 64333*x6*x8*x9 + 1102*x7*x8*x9 + 45669*x8^2*x9 + 65468*x1*x9^2 + 65468*x2*x9^2 + 65468*x3*x9^2 + 65468*x4*x9^2 + 65468*x5*x9^2 + 4787*x6*x9^2 + 25926*x7*x9^2 + 55434*x8*x9^2 + 65458*x9^3 + 31*x1^2*x10 + 60988*x1*x2*x10 + 31*x2^2*x10 + 4627*x1*x3*x10 + 60988*x2*x3*x10 + 31*x3^2*x10 + 4627*x1*x4*x10 + 4627*x2*x4*x10 + 60988*x3*x4*x10 + 31*x4^2*x10 + 60988*x1*x5*x10 + 4627*x2*x5*x10 + 4627*x3*x5*x10 + 60988*x4*x5*x10 + 31*x5^2*x10 + 33790*x1*x6*x10 + 33790*x2*x6*x10 + 33790*x3*x6*x10 + 33790*x4*x6*x10 + 33790*x5*x6*x10 + 55434*x6^2*x10 + 31789*x1*x7*x10 + 31789*x2*x7*x10 + 31789*x3*x7*x10 + 31789*x4*x7*x10 + 31789*x5*x7*x10 + 1102*x6*x7*x10 + 25926*x7^2*x10 + 31789*x1*x8*x10 + 31789*x2*x8*x10 + 31789*x3*x8*x10 + 31789*x4*x8*x10 + 31789*x5*x8*x10 + 64333*x6*x8*x10 + 64333*x7*x8*x10 + 4787*x8^2*x10 + 33790*x1*x9*x10 + 33790*x2*x9*x10 + 33790*x3*x9*x10 + 33790*x4*x9*x10 + 33790*x5*x9*x10 + 1102*x6*x9*x10 + 64333*x7*x9*x10 + 1102*x8*x9*x10 + 45669*x9^2*x10 + 65468*x1*x10^2 + 65468*x2*x10^2 + 65468*x3*x10^2 + 65468*x4*x10^2 + 65468*x5*x10^2 + 45669*x6*x10^2 + 4787*x7*x10^2 + 25926*x8*x10^2 + 55434*x9*x10^2 + 65458*x10^3 + 19999*x1*x2 + 45467*x1*x3 + 19999*x2*x3 + 45467*x1*x4 + 45467*x2*x4 + 19999*x3*x4 + 19999*x1*x5 + 45467*x2*x5 + 45467*x3*x5 + 19999*x4*x5 + 65501*x1*x6 + 65501*x2*x6 + 65501*x3*x6 + 65501*x4*x6 + 65501*x5*x6 + 42*x6^2 + 65501*x1*x7 + 65501*x2*x7 + 65501*x3*x7 + 65501*x4*x7 + 65501*x5*x7 + 20643*x6*x7 + 42*x7^2 + 65501*x1*x8 + 65501*x2*x8 + 65501*x3*x8 + 65501*x4*x8 + 65501*x5*x8 + 44966*x6*x8 + 20643*x7*x8 + 42*x8^2 + 65501*x1*x9 + 65501*x2*x9 + 65501*x3*x9 + 65501*x4*x9 + 65501*x5*x9 + 44966*x6*x9 + 44966*x7*x9 + 20643*x8*x9 + 42*x9^2 + 65501*x1*x10 + 65501*x2*x10 + 65501*x3*x10 + 65501*x4*x10 + 65501*x5*x10 + 20643*x6*x10 + 44966*x7*x10 + 44966*x8*x10 + 20643*x9*x10 + 42*x10^2 + 65508*x1 + 65508*x2 + 65508*x3 + 65508*x4 + 65508*x5 + 26*x6 + 26*x7 + 26*x8 + 26*x9 + 26*x10 + 62239,
65473*x1^3 + 51172*x1^2*x2 + 19581*x1*x2^2 + 65473*x2^3 + 22233*x1^2*x3 + 14810*x1*x2*x3 + 51172*x2^2*x3 + 38215*x1*x3^2 + 19581*x2*x3^2 + 65473*x3^3 + 38215*x1^2*x4 + 51150*x1*x2*x4 + 22233*x2^2*x4 + 51150*x1*x3*x4 + 14810*x2*x3*x4 + 51172*x3^2*x4 + 22233*x1*x4^2 + 38215*x2*x4^2 + 19581*x3*x4^2 + 65473*x4^3 + 19581*x1^2*x5 + 14810*x1*x2*x5 + 38215*x2^2*x5 + 51150*x1*x3*x5 + 51150*x2*x3*x5 + 22233*x3^2*x5 + 14810*x1*x4*x5 + 51150*x2*x4*x5 + 14810*x3*x4*x5 + 51172*x4^2*x5 + 51172*x1*x5^2 + 22233*x2*x5^2 + 38215*x3*x5^2 + 19581*x4*x5^2 + 65473*x5^3 + 65516*x1^2*x6 + 10051*x1*x2*x6 + 65516*x2^2*x6 + 55540*x1*x3*x6 + 10051*x2*x3*x6 + 65516*x3^2*x6 + 55540*x1*x4*x6 + 55540*x2*x4*x6 + 10051*x3*x4*x6 + 65516*x4^2*x6 + 10051*x1*x5*x6 + 55540*x2*x5*x6 + 55540*x3*x5*x6 + 10051*x4*x5*x6 + 65516*x5^2*x6 + 43*x1*x6^2 + 43*x2*x6^2 + 43*x3*x6^2 + 43*x4*x6^2 + 43*x5*x6^2 + 65509*x6^3 + 65516*x1^2*x7 + 10051*x1*x2*x7 + 65516*x2^2*x7 + 55540*x1*x3*x7 + 10051*x2*x3*x7 + 65516*x3^2*x7 + 55540*x1*x4*x7 + 55540*x2*x4*x7 + 10051*x3*x4*x7 + 65516*x4^2*x7 + 10051*x1*x5*x7 + 55540*x2*x5*x7 + 55540*x3*x5*x7 + 10051*x4*x5*x7 + 65516*x5^2*x7 + 4227*x1*x6*x7 + 4227*x2*x6*x7 + 4227*x3*x6*x7 + 4227*x4*x6*x7 + 4227*x5*x6*x7 + 13906*x6^2*x7 + 43*x1*x7^2 + 43*x2*x7^2 + 43*x3*x7^2 + 43*x4*x7^2 + 43*x5*x7^2 + 23630*x6*x7^2 + 65509*x7^3 + 65516*x1^2*x8 + 10051*x1*x2*x8 + 65516*x2^2*x8 + 55540*x1*x3*x8 + 10051*x2*x3*x8 + 65516*x3^2*x8 + 55540*x1*x4*x8 + 55540*x2*x4*x8 + 10051*x3*x4*x8 + 65516*x4^2*x8 + 10051*x1*x5*x8 + 55540*x2*x5*x8 + 55540*x3*x5*x8 + 10051*x4*x5*x8 + 65516*x5^2*x8 + 61166*x1*x6*x8 + 61166*x2*x6*x8 + 61166*x3*x6*x8 + 61166*x4*x6*x8 + 61166*x5*x6*x8 + 40114*x6^2*x8 + 4227*x1*x7*x8 + 4227*x2*x7*x8 + 4227*x3*x7*x8 + 4227*x4*x7*x8 + 4227*x5*x7*x8 + 23276*x6*x7*x8 + 13906*x7^2*x8 + 43*x1*x8^2 + 43*x2*x8^2 + 43*x3*x8^2 + 43*x4*x8^2 + 43*x5*x8^2 + 54083*x6*x8^2 + 23630*x7*x8^2 + 65509*x8^3 + 65516*x1^2*x9 + 10051*x1*x2*x9 + 65516*x2^2*x9 + 55540*x1*x3*x9 + 10051*x2*x3*x9 + 65516*x3^2*x9 + 55540*x1*x4*x9 + 55540*x2*x4*x9 + 10051*x3*x4*x9 + 65516*x4^2*x9 + 10051*x1*x5*x9 + 55540*x2*x5*x9 + 55540*x3*x5*x9 + 10051*x4*x5*x9 + 65516*x5^2*x9 + 61166*x1*x6*x9 + 61166*x2*x6*x9 + 61166*x3*x6*x9 + 61166*x4*x6*x9 + 61166*x5*x6*x9 + 54083*x6^2*x9 + 61166*x1*x7*x9 + 61166*x2*x7*x9 + 61166*x3*x7*x9 + 61166*x4*x7*x9 + 61166*x5*x7*x9 + 42441*x6*x7*x9 + 40114*x7^2*x9 + 4227*x1*x8*x9 + 4227*x2*x8*x9 + 4227*x3*x8*x9 + 4227*x4*x8*x9 + 4227*x5*x8*x9 + 42441*x6*x8*x9 + 23276*x7*x8*x9 + 13906*x8^2*x9 + 43*x1*x9^2 + 43*x2*x9^2 + 43*x3*x9^2 + 43*x4*x9^2 + 43*x5*x9^2 + 40114*x6*x9^2 + 54083*x7*x9^2 + 23630*x8*x9^2 + 65509*x9^3 + 65516*x1^2*x10 + 10051*x1*x2*x10 + 65516*x2^2*x10 + 55540*x1*x3*x10 + 10051*x2*x3*x10 + 65516*x3^2*x10 + 55540*x1*x4*x10 + 55540*x2*x4*x10 + 10051*x3*x4*x10 + 65516*x4^2*x10 + 10051*x1*x5*x10 + 55540*x2*x5*x10 + 55540*x3*x5*x10 + 10051*x4*x5*x10 + 65516*x5^2*x10 + 4227*x1*x6*x10 + 4227*x2*x6*x10 + 4227*x3*x6*x10 + 4227*x4*x6*x10 + 4227*x5*x6*x10 + 23630*x6^2*x10 + 61166*x1*x7*x10 + 61166*x2*x7*x10 + 61166*x3*x7*x10 + 61166*x4*x7*x10 + 61166*x5*x7*x10 + 23276*x6*x7*x10 + 54083*x7^2*x10 + 61166*x1*x8*x10 + 61166*x2*x8*x10 + 61166*x3*x8*x10 + 61166*x4*x8*x10 + 61166*x5*x8*x10 + 42441*x6*x8*x10 + 42441*x7*x8*x10 + 40114*x8^2*x10 + 4227*x1*x9*x10 + 4227*x2*x9*x10 + 4227*x3*x9*x10 + 4227*x4*x9*x10 + 4227*x5*x9*x10 + 23276*x6*x9*x10 + 42441*x7*x9*x10 + 23276*x8*x9*x10 + 13906*x9^2*x10 + 43*x1*x10^2 + 43*x2*x10^2 + 43*x3*x10^2 + 43*x4*x10^2 + 43*x5*x10^2 + 13906*x6*x10^2 + 40114*x7*x10^2 + 54083*x8*x10^2 + 23630*x9*x10^2 + 65509*x10^3 + 65511*x1^2 + 4266*x1*x2 + 65511*x2^2 + 61205*x1*x3 + 4266*x2*x3 + 65511*x3^2 + 61205*x1*x4 + 61205*x2*x4 + 4266*x3*x4 + 65511*x4^2 + 4266*x1*x5 + 61205*x2*x5 + 61205*x3*x5 + 4266*x4*x5 + 65511*x5^2 + 65472*x1*x6 + 65472*x2*x6 + 65472*x3*x6 + 65472*x4*x6 + 65472*x5*x6 + 65479*x6^2 + 65472*x1*x7 + 65472*x2*x7 + 65472*x3*x7 + 65472*x4*x7 + 65472*x5*x7 + 60862*x6*x7 + 65479*x7^2 + 65472*x1*x8 + 65472*x2*x8 + 65472*x3*x8 + 65472*x4*x8 + 65472*x5*x8 + 4501*x6*x8 + 60862*x7*x8 + 65479*x8^2 + 65472*x1*x9 + 65472*x2*x9 + 65472*x3*x9 + 65472*x4*x9 + 65472*x5*x9 + 4501*x6*x9 + 4501*x7*x9 + 60862*x8*x9 + 65479*x9^2 + 65472*x1*x10 + 65472*x2*x10 + 65472*x3*x10 + 65472*x4*x10 + 65472*x5*x10 + 60862*x6*x10 + 4501*x7*x10 + 4501*x8*x10 + 60862*x9*x10 + 65479*x10^2 + 65483*x1 + 65483*x2 + 65483*x3 + 65483*x4 + 65483*x5 + 65501*x6 + 65501*x7 + 65501*x8 + 65501*x9 + 65501*x10 + 4286,
27*x1^3 + 37463*x1^2*x2 + 6251*x1*x2^2 + 27*x2^3 + 53637*x1^2*x3 + 7595*x1*x2*x3 + 37463*x2^2*x3 + 33565*x1*x3^2 + 6251*x2*x3^2 + 27*x3^3 + 33565*x1^2*x4 + 57675*x1*x2*x4 + 53637*x2^2*x4 + 57675*x1*x3*x4 + 7595*x2*x3*x4 + 37463*x3^2*x4 + 53637*x1*x4^2 + 33565*x2*x4^2 + 6251*x3*x4^2 + 27*x4^3 + 6251*x1^2*x5 + 7595*x1*x2*x5 + 33565*x2^2*x5 + 57675*x1*x3*x5 + 57675*x2*x3*x5 + 53637*x3^2*x5 + 7595*x1*x4*x5 + 57675*x2*x4*x5 + 7595*x3*x4*x5 + 37463*x4^2*x5 + 37463*x1*x5^2 + 53637*x2*x5^2 + 33565*x3*x5^2 + 6251*x4*x5^2 + 27*x5^3 + 65472*x1^2*x6 + 32018*x1*x2*x6 + 65472*x2^2*x6 + 33452*x1*x3*x6 + 32018*x2*x3*x6 + 65472*x3^2*x6 + 33452*x1*x4*x6 + 33452*x2*x4*x6 + 32018*x3*x4*x6 + 65472*x4^2*x6 + 32018*x1*x5*x6 + 33452*x2*x5*x6 + 33452*x3*x5*x6 + 32018*x4*x5*x6 + 65472*x5^2*x6 + 66*x1*x6^2 + 66*x2*x6^2 + 66*x3*x6^2 + 66*x4*x6^2 + 66*x5*x6^2 + 112*x6^3 + 65472*x1^2*x7 + 32018*x1*x2*x7 + 65472*x2^2*x7 + 33452*x1*x3*x7 + 32018*x2*x3*x7 + 65472*x3^2*x7 + 33452*x1*x4*x7 + 33452*x2*x4*x7 + 32018*x3*x4*x7 + 65472*x4^2*x7 + 32018*x1*x5*x7 + 33452*x2*x5*x7 + 33452*x3*x5*x7 + 32018*x4*x5*x7 + 65472*x5^2*x7 + 61302*x1*x6*x7 + 61302*x2*x6*x7 + 61302*x3*x6*x7 + 61302*x4*x6*x7 + 61302*x5*x6*x7 + 21414*x6^2*x7 + 66*x1*x7^2 + 66*x2*x7^2 + 66*x3*x7^2 + 66*x4*x7^2 + 66*x5*x7^2 + 64748*x6*x7^2 + 112*x7^3 + 65472*x1^2*x8 + 32018*x1*x2*x8 + 65472*x2^2*x8 + 33452*x1*x3*x8 + 32018*x2*x3*x8 + 65472*x3^2*x8 + 33452*x1*x4*x8 + 33452*x2*x4*x8 + 32018*x3*x4*x8 + 65472*x4^2*x8 + 32018*x1*x5*x8 + 33452*x2*x5*x8 + 33452*x3*x5*x8 + 32018*x4*x5*x8 + 65472*x5^2*x8 + 4363*x1*x6*x8 + 4363*x2*x6*x8 + 4363*x3*x6*x8 + 4363*x4*x6*x8 + 4363*x5*x6*x8 + 60440*x6^2*x8 + 61302*x1*x7*x8 + 61302*x2*x7*x8 + 61302*x3*x7*x8 + 61302*x4*x7*x8 + 61302*x5*x7*x8 + 29611*x6*x7*x8 + 21414*x7^2*x8 + 66*x1*x8^2 + 66*x2*x8^2 + 66*x3*x8^2 + 66*x4*x8^2 + 66*x5*x8^2 + 50045*x6*x8^2 + 64748*x7*x8^2 + 112*x8^3 + 65472*x1^2*x9 + 32018*x1*x2*x9 + 65472*x2^2*x9 + 33452*x1*x3*x9 + 32018*x2*x3*x9 + 65472*x3^2*x9 + 33452*x1*x4*x9 + 33452*x2*x4*x9 + 32018*x3*x4*x9 + 65472*x4^2*x9 + 32018*x1*x5*x9 + 33452*x2*x5*x9 + 33452*x3*x5*x9 + 32018*x4*x5*x9 + 65472*x5^2*x9 + 4363*x1*x6*x9 + 4363*x2*x6*x9 + 4363*x3*x6*x9 + 4363*x4*x6*x9 + 4363*x5*x6*x9 + 50045*x6^2*x9 + 4363*x1*x7*x9 + 4363*x2*x7*x9 + 4363*x3*x7*x9 + 4363*x4*x7*x9 + 4363*x5*x7*x9 + 35614*x6*x7*x9 + 60440*x7^2*x9 + 61302*x1*x8*x9 + 61302*x2*x8*x9 + 61302*x3*x8*x9 + 61302*x4*x8*x9 + 61302*x5*x8*x9 + 35614*x6*x8*x9 + 29611*x7*x8*x9 + 21414*x8^2*x9 + 66*x1*x9^2 + 66*x2*x9^2 + 66*x3*x9^2 + 66*x4*x9^2 + 66*x5*x9^2 + 60440*x6*x9^2 + 50045*x7*x9^2 + 64748*x8*x9^2 + 112*x9^3 + 65472*x1^2*x10 + 32018*x1*x2*x10 + 65472*x2^2*x10 + 33452*x1*x3*x10 + 32018*x2*x3*x10 + 65472*x3^2*x10 + 33452*x1*x4*x10 + 33452*x2*x4*x10 + 32018*x3*x4*x10 + 65472*x4^2*x10 + 32018*x1*x5*x10 + 33452*x2*x5*x10 + 33452*x3*x5*x10 + 32018*x4*x5*x10 + 65472*x5^2*x10 + 61302*x1*x6*x10 + 61302*x2*x6*x10 + 61302*x3*x6*x10 + 61302*x4*x6*x10 + 61302*x5*x6*x10 + 64748*x6^2*x10 + 4363*x1*x7*x10 + 4363*x2*x7*x10 + 4363*x3*x7*x10 + 4363*x4*x7*x10 + 4363*x5*x7*x10 + 29611*x6*x7*x10 + 50045*x7^2*x10 + 4363*x1*x8*x10 + 4363*x2*x8*x10 + 4363*x3*x8*x10 + 4363*x4*x8*x10 + 4363*x5*x8*x10 + 35614*x6*x8*x10 + 35614*x7*x8*x10 + 60440*x8^2*x10 + 61302*x1*x9*x10 + 61302*x2*x9*x10 + 61302*x3*x9*x10 + 61302*x4*x9*x10 + 61302*x5*x9*x10 + 29611*x6*x9*x10 + 35614*x7*x9*x10 + 29611*x8*x9*x10 + 21414*x9^2*x10 + 66*x1*x10^2 + 66*x2*x10^2 + 66*x3*x10^2 + 66*x4*x10^2 + 66*x5*x10^2 + 21414*x6*x10^2 + 60440*x7*x10^2 + 50045*x8*x10^2 + 64748*x9*x10^2 + 112*x10^3 + 65478*x1^2 + 23448*x1*x2 + 65478*x2^2 + 42046*x1*x3 + 23448*x2*x3 + 65478*x3^2 + 42046*x1*x4 + 42046*x2*x4 + 23448*x3*x4 + 65478*x4^2 + 23448*x1*x5 + 42046*x2*x5 + 42046*x3*x5 + 23448*x4*x5 + 65478*x5^2 + 65519*x1*x6 + 65519*x2*x6 + 65519*x3*x6 + 65519*x4*x6 + 65519*x5*x6 + 65491*x6^2 + 65519*x1*x7 + 65519*x2*x7 + 65519*x3*x7 + 65519*x4*x7 + 65519*x5*x7 + 45758*x6*x7 + 65491*x7^2 + 65519*x1*x8 + 65519*x2*x8 + 65519*x3*x8 + 65519*x4*x8 + 65519*x5*x8 + 19723*x6*x8 + 45758*x7*x8 + 65491*x8^2 + 65519*x1*x9 + 65519*x2*x9 + 65519*x3*x9 + 65519*x4*x9 + 65519*x5*x9 + 19723*x6*x9 + 19723*x7*x9 + 45758*x8*x9 + 65491*x9^2 + 65519*x1*x10 + 65519*x2*x10 + 65519*x3*x10 + 65519*x4*x10 + 65519*x5*x10 + 45758*x6*x10 + 19723*x7*x10 + 19723*x8*x10 + 45758*x9*x10 + 65491*x10^2 + 65515*x1 + 65515*x2 + 65515*x3 + 65515*x4 + 65515*x5 + 6*x6 + 6*x7 + 6*x8 + 6*x9 + 6*x10 + 61143,
65391*x1^3 + 9371*x1^2*x2 + 43079*x1*x2^2 + 65391*x2^3 + 6955*x1^2*x3 + 13738*x1*x2*x3 + 9371*x2^2*x3 + 5731*x1*x3^2 + 43079*x2*x3^2 + 65391*x3^3 + 5731*x1^2*x4 + 51223*x1*x2*x4 + 6955*x2^2*x4 + 51223*x1*x3*x4 + 13738*x2*x3*x4 + 9371*x3^2*x4 + 6955*x1*x4^2 + 5731*x2*x4^2 + 43079*x3*x4^2 + 65391*x4^3 + 43079*x1^2*x5 + 13738*x1*x2*x5 + 5731*x2^2*x5 + 51223*x1*x3*x5 + 51223*x2*x3*x5 + 6955*x3^2*x5 + 13738*x1*x4*x5 + 51223*x2*x4*x5 + 13738*x3*x4*x5 + 9371*x4^2*x5 + 9371*x1*x5^2 + 6955*x2*x5^2 + 5731*x3*x5^2 + 43079*x4*x5^2 + 65391*x5^3 + 65507*x1^2*x6 + 56022*x1*x2*x6 + 65507*x2^2*x6 + 9388*x1*x3*x6 + 56022*x2*x3*x6 + 65507*x3^2*x6 + 9388*x1*x4*x6 + 9388*x2*x4*x6 + 56022*x3*x4*x6 + 65507*x4^2*x6 + 56022*x1*x5*x6 + 9388*x2*x5*x6 + 9388*x3*x5*x6 + 56022*x4*x5*x6 + 65507*x5^2*x6 + 42*x1*x6^2 + 42*x2*x6^2 + 42*x3*x6^2 + 42*x4*x6^2 + 42*x5*x6^2 + 65453*x6^3 + 65507*x1^2*x7 + 56022*x1*x2*x7 + 65507*x2^2*x7 + 9388*x1*x3*x7 + 56022*x2*x3*x7 + 65507*x3^2*x7 + 9388*x1*x4*x7 + 9388*x2*x4*x7 + 56022*x3*x4*x7 + 65507*x4^2*x7 + 56022*x1*x5*x7 + 9388*x2*x5*x7 + 9388*x3*x5*x7 + 56022*x4*x5*x7 + 65507*x5^2*x7 + 50932*x1*x6*x7 + 50932*x2*x6*x7 + 50932*x3*x6*x7 + 50932*x4*x6*x7 + 50932*x5*x6*x7 + 38326*x6^2*x7 + 42*x1*x7^2 + 42*x2*x7^2 + 42*x3*x7^2 + 42*x4*x7^2 + 42*x5*x7^2 + 41999*x6*x7^2 + 65453*x7^3 + 65507*x1^2*x8 + 56022*x1*x2*x8 + 65507*x2^2*x8 + 9388*x1*x3*x8 + 56022*x2*x3*x8 + 65507*x3^2*x8 + 9388*x1*x4*x8 + 9388*x2*x4*x8 + 56022*x3*x4*x8 + 65507*x4^2*x8 + 56022*x1*x5*x8 + 9388*x2*x5*x8 + 9388*x3*x5*x8 + 56022*x4*x5*x8 + 65507*x5^2*x8 + 14592*x1*x6*x8 + 14592*x2*x6*x8 + 14592*x3*x6*x8 + 14592*x4*x6*x8 + 14592*x5*x6*x8 + 30574*x6^2*x8 + 50932*x1*x7*x8 + 50932*x2*x7*x8 + 50932*x3*x7*x8 + 50932*x4*x7*x8 + 50932*x5*x7*x8 + 30148*x6*x7*x8 + 38326*x7^2*x8 + 42*x1*x8^2 + 42*x2*x8^2 + 42*x3*x8^2 + 42*x4*x8^2 + 42*x5*x8^2 + 19992*x6*x8^2 + 41999*x7*x8^2 + 65453*x8^3 + 65507*x1^2*x9 + 56022*x1*x2*x9 + 65507*x2^2*x9 + 9388*x1*x3*x9 + 56022*x2*x3*x9 + 65507*x3^2*x9 + 9388*x1*x4*x9 + 9388*x2*x4*x9 + 56022*x3*x4*x9 + 65507*x4^2*x9 + 56022*x1*x5*x9 + 9388*x2*x5*x9 + 9388*x3*x5*x9 + 56022*x4*x5*x9 + 65507*x5^2*x9 + 14592*x1*x6*x9 + 14592*x2*x6*x9 + 14592*x3*x6*x9 + 14592*x4*x6*x9 + 14592*x5*x6*x9 + 19992*x6^2*x9 + 14592*x1*x7*x9 + 14592*x2*x7*x9 + 14592*x3*x7*x9 + 14592*x4*x7*x9 + 14592*x5*x7*x9 + 35017*x6*x7*x9 + 30574*x7^2*x9 + 50932*x1*x8*x9 + 50932*x2*x8*x9 + 50932*x3*x8*x9 + 50932*x4*x8*x9 + 50932*x5*x8*x9 + 35017*x6*x8*x9 + 30148*x7*x8*x9 + 38326*x8^2*x9 + 42*x1*x9^2 + 42*x2*x9^2 + 42*x3*x9^2 + 42*x4*x9^2 + 42*x5*x9^2 + 30574*x6*x9^2 + 19992*x7*x9^2 + 41999*x8*x9^2 + 65453*x9^3 + 65507*x1^2*x10 + 56022*x1*x2*x10 + 65507*x2^2*x10 + 9388*x1*x3*x10 + 56022*x2*x3*x10 + 65507*x3^2*x10 + 9388*x1*x4*x10 + 9388*x2*x4*x10 + 56022*x3*x4*x10 + 65507*x4^2*x10 + 56022*x1*x5*x10 + 9388*x2*x5*x10 + 9388*x3*x5*x10 + 56022*x4*x5*x10 + 65507*x5^2*x10 + 50932*x1*x6*x10 + 50932*x2*x6*x10 + 50932*x3*x6*x10 + 50932*x4*x6*x10 + 50932*x5*x6*x10 + 41999*x6^2*x10 + 14592*x1*x7*x10 + 14592*x2*x7*x10 + 14592*x3*x7*x10 + 14592*x4*x7*x10 + 14592*x5*x7*x10 + 30148*x6*x7*x10 + 19992*x7^2*x10 + 14592*x1*x8*x10 + 14592*x2*x8*x10 + 14592*x3*x8*x10 + 14592*x4*x8*x10 + 14592*x5*x8*x10 + 35017*x6*x8*x10 + 35017*x7*x8*x10 + 30574*x8^2*x10 + 50932*x1*x9*x10 + 50932*x2*x9*x10 + 50932*x3*x9*x10 + 50932*x4*x9*x10 + 50932*x5*x9*x10 + 30148*x6*x9*x10 + 35017*x7*x9*x10 + 30148*x8*x9*x10 + 38326*x9^2*x10 + 42*x1*x10^2 + 42*x2*x10^2 + 42*x3*x10^2 + 42*x4*x10^2 + 42*x5*x10^2 + 38326*x6*x10^2 + 30574*x7*x10^2 + 19992*x8*x10^2 + 41999*x9*x10^2 + 65453*x10^3 + 58*x1^2 + 56116*x1*x2 + 58*x2^2 + 9482*x1*x3 + 56116*x2*x3 + 58*x3^2 + 9482*x1*x4 + 9482*x2*x4 + 56116*x3*x4 + 58*x4^2 + 56116*x1*x5 + 9482*x2*x5 + 9482*x3*x5 + 56116*x4*x5 + 58*x5^2 + 34*x1*x6 + 34*x2*x6 + 34*x3*x6 + 34*x4*x6 + 34*x5*x6 + 65488*x6^2 + 34*x1*x7 + 34*x2*x7 + 34*x3*x7 + 34*x4*x7 + 34*x5*x7 + 22547*x6*x7 + 65488*x7^2 + 34*x1*x8 + 34*x2*x8 + 34*x3*x8 + 34*x4*x8 + 34*x5*x8 + 42857*x6*x8 + 22547*x7*x8 + 65488*x8^2 + 34*x1*x9 + 34*x2*x9 + 34*x3*x9 + 34*x4*x9 + 34*x5*x9 + 42857*x6*x9 + 42857*x7*x9 + 22547*x8*x9 + 65488*x9^2 + 34*x1*x10 + 34*x2*x10 + 34*x3*x10 + 34*x4*x10 + 34*x5*x10 + 22547*x6*x10 + 42857*x7*x10 + 42857*x8*x10 + 22547*x9*x10 + 65488*x10^2 + 65492*x1 + 65492*x2 + 65492*x3 + 65492*x4 + 65492*x5 + 8*x6 + 8*x7 + 8*x8 + 8*x9 + 8*x10 + 39706,
65470*x1^3 + 61085*x1^2*x2 + 58013*x1*x2^2 + 65470*x2^3 + 9889*x1^2*x3 + 53968*x1*x2*x3 + 61085*x2^2*x3 + 1623*x1*x3^2 + 58013*x2*x3^2 + 65470*x3^3 + 1623*x1^2*x4 + 11336*x1*x2*x4 + 9889*x2^2*x4 + 11336*x1*x3*x4 + 53968*x2*x3*x4 + 61085*x3^2*x4 + 9889*x1*x4^2 + 1623*x2*x4^2 + 58013*x3*x4^2 + 65470*x4^3 + 58013*x1^2*x5 + 53968*x1*x2*x5 + 1623*x2^2*x5 + 11336*x1*x3*x5 + 11336*x2*x3*x5 + 9889*x3^2*x5 + 53968*x1*x4*x5 + 11336*x2*x4*x5 + 53968*x3*x4*x5 + 61085*x4^2*x5 + 61085*x1*x5^2 + 9889*x2*x5^2 + 1623*x3*x5^2 + 58013*x4*x5^2 + 65470*x5^3 + 65473*x1^2*x6 + 30569*x1*x2*x6 + 65473*x2^2*x6 + 34860*x1*x3*x6 + 30569*x2*x3*x6 + 65473*x3^2*x6 + 34860*x1*x4*x6 + 34860*x2*x4*x6 + 30569*x3*x4*x6 + 65473*x4^2*x6 + 30569*x1*x5*x6 + 34860*x2*x5*x6 + 34860*x3*x5*x6 + 30569*x4*x5*x6 + 65473*x5^2*x6 + 18*x1*x6^2 + 18*x2*x6^2 + 18*x3*x6^2 + 18*x4*x6^2 + 18*x5*x6^2 + 58*x6^3 + 65473*x1^2*x7 + 30569*x1*x2*x7 + 65473*x2^2*x7 + 34860*x1*x3*x7 + 30569*x2*x3*x7 + 65473*x3^2*x7 + 34860*x1*x4*x7 + 34860*x2*x4*x7 + 30569*x3*x4*x7 + 65473*x4^2*x7 + 30569*x1*x5*x7 + 34860*x2*x5*x7 + 34860*x3*x5*x7 + 30569*x4*x5*x7 + 65473*x5^2*x7 + 46*x1*x6*x7 + 46*x2*x6*x7 + 46*x3*x6*x7 + 46*x4*x6*x7 + 46*x5*x6*x7 + 32649*x6^2*x7 + 18*x1*x7^2 + 18*x2*x7^2 + 18*x3*x7^2 + 18*x4*x7^2 + 18*x5*x7^2 + 16607*x6*x7^2 + 58*x7^3 + 65473*x1^2*x8 + 30569*x1*x2*x8 + 65473*x2^2*x8 + 34860*x1*x3*x8 + 30569*x2*x3*x8 + 65473*x3^2*x8 + 34860*x1*x4*x8 + 34860*x2*x4*x8 + 30569*x3*x4*x8 + 65473*x4^2*x8 + 30569*x1*x5*x8 + 34860*x2*x5*x8 + 34860*x3*x5*x8 + 30569*x4*x5*x8 + 65473*x5^2*x8 + 46*x1*x6*x8 + 46*x2*x6*x8 + 46*x3*x6*x8 + 46*x4*x6*x8 + 46*x5*x6*x8 + 60960*x6^2*x8 + 46*x1*x7*x8 + 46*x2*x7*x8 + 46*x3*x7*x8 + 46*x4*x7*x8 + 46*x5*x7*x8 + 46755*x6*x7*x8 + 32649*x7^2*x8 + 18*x1*x8^2 + 18*x2*x8^2 + 18*x3*x8^2 + 18*x4*x8^2 + 18*x5*x8^2 + 20912*x6*x8^2 + 16607*x7*x8^2 + 58*x8^3 + 65473*x1^2*x9 + 30569*x1*x2*x9 + 65473*x2^2*x9 + 34860*x1*x3*x9 + 30569*x2*x3*x9 + 65473*x3^2*x9 + 34860*x1*x4*x9 + 34860*x2*x4*x9 + 30569*x3*x4*x9 + 65473*x4^2*x9 + 30569*x1*x5*x9 + 34860*x2*x5*x9 + 34860*x3*x5*x9 + 30569*x4*x5*x9 + 65473*x5^2*x9 + 46*x1*x6*x9 + 46*x2*x6*x9 + 46*x3*x6*x9 + 46*x4*x6*x9 + 46*x5*x6*x9 + 20912*x6^2*x9 + 46*x1*x7*x9 + 46*x2*x7*x9 + 46*x3*x7*x9 + 46*x4*x7*x9 + 46*x5*x7*x9 + 18997*x6*x7*x9 + 60960*x7^2*x9 + 46*x1*x8*x9 + 46*x2*x8*x9 + 46*x3*x8*x9 + 46*x4*x8*x9 + 46*x5*x8*x9 + 18997*x6*x8*x9 + 46755*x7*x8*x9 + 32649*x8^2*x9 + 18*x1*x9^2 + 18*x2*x9^2 + 18*x3*x9^2 + 18*x4*x9^2 + 18*x5*x9^2 + 60960*x6*x9^2 + 20912*x7*x9^2 + 16607*x8*x9^2 + 58*x9^3 + 65473*x1^2*x10 + 30569*x1*x2*x10 + 65473*x2^2*x10 + 34860*x1*x3*x10 + 30569*x2*x3*x10 + 65473*x3^2*x10 + 34860*x1*x4*x10 + 34860*x2*x4*x10 + 30569*x3*x4*x10 + 65473*x4^2*x10 + 30569*x1*x5*x10 + 34860*x2*x5*x10 + 34860*x3*x5*x10 + 30569*x4*x5*x10 + 65473*x5^2*x10 + 46*x1*x6*x10 + 46*x2*x6*x10 + 46*x3*x6*x10 + 46*x4*x6*x10 + 46*x5*x6*x10 + 16607*x6^2*x10 + 46*x1*x7*x10 + 46*x2*x7*x10 + 46*x3*x7*x10 + 46*x4*x7*x10 + 46*x5*x7*x10 + 46755*x6*x7*x10 + 20912*x7^2*x10 + 46*x1*x8*x10 + 46*x2*x8*x10 + 46*x3*x8*x10 + 46*x4*x8*x10 + 46*x5*x8*x10 + 18997*x6*x8*x10 + 18997*x7*x8*x10 + 60960*x8^2*x10 + 46*x1*x9*x10 + 46*x2*x9*x10 + 46*x3*x9*x10 + 46*x4*x9*x10 + 46*x5*x9*x10 + 46755*x6*x9*x10 + 18997*x7*x9*x10 + 46755*x8*x9*x10 + 32649*x9^2*x10 + 18*x1*x10^2 + 18*x2*x10^2 + 18*x3*x10^2 + 18*x4*x10^2 + 18*x5*x10^2 + 32649*x6*x10^2 + 60960*x7*x10^2 + 20912*x8*x10^2 + 16607*x9*x10^2 + 58*x10^3 + 65502*x1^2 + 32578*x1*x2 + 65502*x2^2 + 32867*x1*x3 + 32578*x2*x3 + 65502*x3^2 + 32867*x1*x4 + 32867*x2*x4 + 32578*x3*x4 + 65502*x4^2 + 32578*x1*x5 + 32867*x2*x5 + 32867*x3*x5 + 32578*x4*x5 + 65502*x5^2 + 65482*x1*x6 + 65482*x2*x6 + 65482*x3*x6 + 65482*x4*x6 + 65482*x5*x6 + 65477*x6^2 + 65482*x1*x7 + 65482*x2*x7 + 65482*x3*x7 + 65482*x4*x7 + 65482*x5*x7 + 35443*x6*x7 + 65477*x7^2 + 65482*x1*x8 + 65482*x2*x8 + 65482*x3*x8 + 65482*x4*x8 + 65482*x5*x8 + 30007*x6*x8 + 35443*x7*x8 + 65477*x8^2 + 65482*x1*x9 + 65482*x2*x9 + 65482*x3*x9 + 65482*x4*x9 + 65482*x5*x9 + 30007*x6*x9 + 30007*x7*x9 + 35443*x8*x9 + 65477*x9^2 + 65482*x1*x10 + 65482*x2*x10 + 65482*x3*x10 + 65482*x4*x10 + 65482*x5*x10 + 35443*x6*x10 + 30007*x7*x10 + 30007*x8*x10 + 35443*x9*x10 + 65477*x10^2 + 11*x1 + 11*x2 + 11*x3 + 11*x4 + 11*x5 + 65489*x6 + 65489*x7 + 65489*x8 + 65489*x9 + 65489*x10 + 19903,
65497*x1^3 + 10189*x1^2*x2 + 43362*x1*x2^2 + 65497*x2^3 + 50317*x1^2*x3 + 55530*x1*x2*x3 + 10189*x2^2*x3 + 26701*x1*x3^2 + 43362*x2*x3^2 + 65497*x3^3 + 26701*x1^2*x4 + 9463*x1*x2*x4 + 50317*x2^2*x4 + 9463*x1*x3*x4 + 55530*x2*x3*x4 + 10189*x3^2*x4 + 50317*x1*x4^2 + 26701*x2*x4^2 + 43362*x3*x4^2 + 65497*x4^3 + 43362*x1^2*x5 + 55530*x1*x2*x5 + 26701*x2^2*x5 + 9463*x1*x3*x5 + 9463*x2*x3*x5 + 50317*x3^2*x5 + 55530*x1*x4*x5 + 9463*x2*x4*x5 + 55530*x3*x4*x5 + 10189*x4^2*x5 + 10189*x1*x5^2 + 50317*x2*x5^2 + 26701*x3*x5^2 + 43362*x4*x5^2 + 65497*x5^3 + 65516*x1^2*x6 + 59985*x1*x2*x6 + 65516*x2^2*x6 + 5336*x1*x3*x6 + 59985*x2*x3*x6 + 65516*x3^2*x6 + 5336*x1*x4*x6 + 5336*x2*x4*x6 + 59985*x3*x4*x6 + 65516*x4^2*x6 + 59985*x1*x5*x6 + 5336*x2*x5*x6 + 5336*x3*x5*x6 + 59985*x4*x5*x6 + 65516*x5^2*x6 + 58*x1*x6^2 + 58*x2*x6^2 + 58*x3*x6^2 + 58*x4*x6^2 + 58*x5*x6^2 + 65467*x6^3 + 65516*x1^2*x7 + 59985*x1*x2*x7 + 65516*x2^2*x7 + 5336*x1*x3*x7 + 59985*x2*x3*x7 + 65516*x3^2*x7 + 5336*x1*x4*x7 + 5336*x2*x4*x7 + 59985*x3*x4*x7 + 65516*x4^2*x7 + 59985*x1*x5*x7 + 5336*x2*x5*x7 + 5336*x3*x5*x7 + 59985*x4*x5*x7 + 65516*x5^2*x7 + 45018*x1*x6*x7 + 45018*x2*x6*x7 + 45018*x3*x6*x7 + 45018*x4*x6*x7 + 45018*x5*x6*x7 + 30758*x6^2*x7 + 58*x1*x7^2 + 58*x2*x7^2 + 58*x3*x7^2 + 58*x4*x7^2 + 58*x5*x7^2 + 30010*x6*x7^2 + 65467*x7^3 + 65516*x1^2*x8 + 59985*x1*x2*x8 + 65516*x2^2*x8 + 5336*x1*x3*x8 + 59985*x2*x3*x8 + 65516*x3^2*x8 + 5336*x1*x4*x8 + 5336*x2*x4*x8 + 59985*x3*x4*x8 + 65516*x4^2*x8 + 59985*x1*x5*x8 + 5336*x2*x5*x8 + 5336*x3*x5*x8 + 59985*x4*x5*x8 + 65516*x5^2*x8 + 20695*x1*x6*x8 + 20695*x2*x6*x8 + 20695*x3*x6*x8 + 20695*x4*x6*x8 + 20695*x5*x6*x8 + 2711*x6^2*x8 + 45018*x1*x7*x8 + 45018*x2*x7*x8 + 45018*x3*x7*x8 + 45018*x4*x7*x8 + 45018*x5*x7*x8 + 11418*x6*x7*x8 + 30758*x7^2*x8 + 58*x1*x8^2 + 58*x2*x8^2 + 58*x3*x8^2 + 58*x4*x8^2 + 58*x5*x8^2 + 2274*x6*x8^2 + 30010*x7*x8^2 + 65467*x8^3 + 65516*x1^2*x9 + 59985*x1*x2*x9 + 65516*x2^2*x9 + 5336*x1*x3*x9 + 59985*x2*x3*x9 + 65516*x3^2*x9 + 5336*x1*x4*x9 + 5336*x2*x4*x9 + 59985*x3*x4*x9 + 65516*x4^2*x9 + 59985*x1*x5*x9 + 5336*x2*x5*x9 + 5336*x3*x5*x9 + 59985*x4*x5*x9 + 65516*x5^2*x9 + 20695*x1*x6*x9 + 20695*x2*x6*x9 + 20695*x3*x6*x9 + 20695*x4*x6*x9 + 20695*x5*x6*x9 + 2274*x6^2*x9 + 20695*x1*x7*x9 + 20695*x2*x7*x9 + 20695*x3*x7*x9 + 20695*x4*x7*x9 + 20695*x5*x7*x9 + 54050*x6*x7*x9 + 2711*x7^2*x9 + 45018*x1*x8*x9 + 45018*x2*x8*x9 + 45018*x3*x8*x9 + 45018*x4*x8*x9 + 45018*x5*x8*x9 + 54050*x6*x8*x9 + 11418*x7*x8*x9 + 30758*x8^2*x9 + 58*x1*x9^2 + 58*x2*x9^2 + 58*x3*x9^2 + 58*x4*x9^2 + 58*x5*x9^2 + 2711*x6*x9^2 + 2274*x7*x9^2 + 30010*x8*x9^2 + 65467*x9^3 + 65516*x1^2*x10 + 59985*x1*x2*x10 + 65516*x2^2*x10 + 5336*x1*x3*x10 + 59985*x2*x3*x10 + 65516*x3^2*x10 + 5336*x1*x4*x10 + 5336*x2*x4*x10 + 59985*x3*x4*x10 + 65516*x4^2*x10 + 59985*x1*x5*x10 + 5336*x2*x5*x10 + 5336*x3*x5*x10 + 59985*x4*x5*x10 + 65516*x5^2*x10 + 45018*x1*x6*x10 + 45018*x2*x6*x10 + 45018*x3*x6*x10 + 45018*x4*x6*x10 + 45018*x5*x6*x10 + 30010*x6^2*x10 + 20695*x1*x7*x10 + 20695*x2*x7*x10 + 20695*x3*x7*x10 + 20695*x4*x7*x10 + 20695*x5*x7*x10 + 11418*x6*x7*x10 + 2274*x7^2*x10 + 20695*x1*x8*x10 + 20695*x2*x8*x10 + 20695*x3*x8*x10 + 20695*x4*x8*x10 + 20695*x5*x8*x10 + 54050*x6*x8*x10 + 54050*x7*x8*x10 + 2711*x8^2*x10 + 45018*x1*x9*x10 + 45018*x2*x9*x10 + 45018*x3*x9*x10 + 45018*x4*x9*x10 + 45018*x5*x9*x10 + 11418*x6*x9*x10 + 54050*x7*x9*x10 + 11418*x8*x9*x10 + 30758*x9^2*x10 + 58*x1*x10^2 + 58*x2*x10^2 + 58*x3*x10^2 + 58*x4*x10^2 + 58*x5*x10^2 + 30758*x6*x10^2 + 2711*x7*x10^2 + 2274*x8*x10^2 + 30010*x9*x10^2 + 65467*x10^3 + 42*x1^2 + 63230*x1*x2 + 42*x2^2 + 2289*x1*x3 + 63230*x2*x3 + 42*x3^2 + 2289*x1*x4 + 2289*x2*x4 + 63230*x3*x4 + 42*x4^2 + 63230*x1*x5 + 2289*x2*x5 + 2289*x3*x5 + 63230*x4*x5 + 42*x5^2 + 65498*x1*x6 + 65498*x2*x6 + 65498*x3*x6 + 65498*x4*x6 + 65498*x5*x6 + 65494*x6^2 + 65498*x1*x7 + 65498*x2*x7 + 65498*x3*x7 + 65498*x4*x7 + 65498*x5*x7 + 1387*x6*x7 + 65494*x7^2 + 65498*x1*x8 + 65498*x2*x8 + 65498*x3*x8 + 65498*x4*x8 + 65498*x5*x8 + 64051*x6*x8 + 1387*x7*x8 + 65494*x8^2 + 65498*x1*x9 + 65498*x2*x9 + 65498*x3*x9 + 65498*x4*x9 + 65498*x5*x9 + 64051*x6*x9 + 64051*x7*x9 + 1387*x8*x9 + 65494*x9^2 + 65498*x1*x10 + 65498*x2*x10 + 65498*x3*x10 + 65498*x4*x10 + 65498*x5*x10 + 1387*x6*x10 + 64051*x7*x10 + 64051*x8*x10 + 1387*x9*x10 + 65494*x10^2 + 45*x1 + 45*x2 + 45*x3 + 45*x4 + 45*x5 + 65472*x6 + 65472*x7 + 65472*x8 + 65472*x9 + 65472*x10 + 33013
]
: