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

#modulo 65521

#list

[
193*x1^3 + 15342*x1^2*x2 + 36273*x1*x2^2 + 193*x2^3 + 39946*x1^2*x3 + 29643*x1*x2*x3 + 15342*x2^2*x3 + 25597*x1*x3^2 + 36273*x2*x3^2 + 193*x3^3 + 17592*x1^2*x4 + 65479*x1*x2*x4 + 39946*x2^2*x4 + 65479*x1*x3*x4 + 29643*x2*x3*x4 + 15342*x3^2*x4 + 61531*x1*x4^2 + 25597*x2*x4^2 + 36273*x3*x4^2 + 193*x4^3 + 327*x1^2*x5 + 49547*x1*x2*x5 + 17592*x2^2*x5 + 162*x1*x3*x5 + 65479*x2*x3*x5 + 39946*x3^2*x5 + 15782*x1*x4*x5 + 65479*x2*x4*x5 + 29643*x3*x4*x5 + 15342*x4^2*x5 + 327*x1*x5^2 + 61531*x2*x5^2 + 25597*x3*x5^2 + 36273*x4*x5^2 + 193*x5^3 + 61531*x1^2*x6 + 15782*x1*x2*x6 + 327*x2^2*x6 + 36522*x1*x3*x6 + 49547*x2*x3*x6 + 17592*x3^2*x6 + 36522*x1*x4*x6 + 162*x2*x4*x6 + 65479*x3*x4*x6 + 39946*x4^2*x6 + 49547*x1*x5*x6 + 15782*x2*x5*x6 + 65479*x3*x5*x6 + 29643*x4*x5*x6 + 15342*x5^2*x6 + 17592*x1*x6^2 + 327*x2*x6^2 + 61531*x3*x6^2 + 25597*x4*x6^2 + 36273*x5*x6^2 + 193*x6^3 + 25597*x1^2*x7 + 65479*x1*x2*x7 + 61531*x2^2*x7 + 162*x1*x3*x7 + 15782*x2*x3*x7 + 327*x3^2*x7 + 36522*x1*x4*x7 + 36522*x2*x4*x7 + 49547*x3*x4*x7 + 17592*x4^2*x7 + 162*x1*x5*x7 + 36522*x2*x5*x7 + 162*x3*x5*x7 + 65479*x4*x5*x7 + 39946*x5^2*x7 + 65479*x1*x6*x7 + 49547*x2*x6*x7 + 15782*x3*x6*x7 + 65479*x4*x6*x7 + 29643*x5*x6*x7 + 15342*x6^2*x7 + 39946*x1*x7^2 + 17592*x2*x7^2 + 327*x3*x7^2 + 61531*x4*x7^2 + 25597*x5*x7^2 + 36273*x6*x7^2 + 193*x7^3 + 36273*x1^2*x8 + 29643*x1*x2*x8 + 25597*x2^2*x8 + 65479*x1*x3*x8 + 65479*x2*x3*x8 + 61531*x3^2*x8 + 49547*x1*x4*x8 + 162*x2*x4*x8 + 15782*x3*x4*x8 + 327*x4^2*x8 + 15782*x1*x5*x8 + 36522*x2*x5*x8 + 36522*x3*x5*x8 + 49547*x4*x5*x8 + 17592*x5^2*x8 + 65479*x1*x6*x8 + 162*x2*x6*x8 + 36522*x3*x6*x8 + 162*x4*x6*x8 + 65479*x5*x6*x8 + 39946*x6^2*x8 + 29643*x1*x7*x8 + 65479*x2*x7*x8 + 49547*x3*x7*x8 + 15782*x4*x7*x8 + 65479*x5*x7*x8 + 29643*x6*x7*x8 + 15342*x7^2*x8 + 15342*x1*x8^2 + 39946*x2*x8^2 + 17592*x3*x8^2 + 327*x4*x8^2 + 61531*x5*x8^2 + 25597*x6*x8^2 + 36273*x7*x8^2 + 193*x8^3 + 35*x1^2*x9 + 33207*x1*x2*x9 + 35*x2^2*x9 + 68*x1*x3*x9 + 33207*x2*x3*x9 + 35*x3^2*x9 + 32122*x1*x4*x9 + 68*x2*x4*x9 + 33207*x3*x4*x9 + 35*x4^2*x9 + 34*x1*x5*x9 + 32122*x2*x5*x9 + 68*x3*x5*x9 + 33207*x4*x5*x9 + 35*x5^2*x9 + 32122*x1*x6*x9 + 34*x2*x6*x9 + 32122*x3*x6*x9 + 68*x4*x6*x9 + 33207*x5*x6*x9 + 35*x6^2*x9 + 68*x1*x7*x9 + 32122*x2*x7*x9 + 34*x3*x7*x9 + 32122*x4*x7*x9 + 68*x5*x7*x9 + 33207*x6*x7*x9 + 35*x7^2*x9 + 33207*x1*x8*x9 + 68*x2*x8*x9 + 32122*x3*x8*x9 + 34*x4*x8*x9 + 32122*x5*x8*x9 + 68*x6*x8*x9 + 33207*x7*x8*x9 + 35*x8^2*x9 + 36*x1*x9^2 + 36*x2*x9^2 + 36*x3*x9^2 + 36*x4*x9^2 + 36*x5*x9^2 + 36*x6*x9^2 + 36*x7*x9^2 + 36*x8*x9^2 + 65517*x9^3 + 35*x1^2*x10 + 33207*x1*x2*x10 + 35*x2^2*x10 + 68*x1*x3*x10 + 33207*x2*x3*x10 + 35*x3^2*x10 + 32122*x1*x4*x10 + 68*x2*x4*x10 + 33207*x3*x4*x10 + 35*x4^2*x10 + 34*x1*x5*x10 + 32122*x2*x5*x10 + 68*x3*x5*x10 + 33207*x4*x5*x10 + 35*x5^2*x10 + 32122*x1*x6*x10 + 34*x2*x6*x10 + 32122*x3*x6*x10 + 68*x4*x6*x10 + 33207*x5*x6*x10 + 35*x6^2*x10 + 68*x1*x7*x10 + 32122*x2*x7*x10 + 34*x3*x7*x10 + 32122*x4*x7*x10 + 68*x5*x7*x10 + 33207*x6*x7*x10 + 35*x7^2*x10 + 33207*x1*x8*x10 + 68*x2*x8*x10 + 32122*x3*x8*x10 + 34*x4*x8*x10 + 32122*x5*x8*x10 + 68*x6*x8*x10 + 33207*x7*x8*x10 + 35*x8^2*x10 + 96*x1*x9*x10 + 96*x2*x9*x10 + 96*x3*x9*x10 + 96*x4*x9*x10 + 96*x5*x9*x10 + 96*x6*x9*x10 + 96*x7*x9*x10 + 96*x8*x9*x10 + 65517*x9^2*x10 + 36*x1*x10^2 + 36*x2*x10^2 + 36*x3*x10^2 + 36*x4*x10^2 + 36*x5*x10^2 + 36*x6*x10^2 + 36*x7*x10^2 + 36*x8*x10^2 + 65517*x9*x10^2 + 65517*x10^3 + 7*x1^2 + 9352*x1*x2 + 7*x2^2 + 162*x1*x3 + 9352*x2*x3 + 7*x3^2 + 56049*x1*x4 + 162*x2*x4 + 9352*x3*x4 + 7*x4^2 + 65439*x1*x5 + 56049*x2*x5 + 162*x3*x5 + 9352*x4*x5 + 7*x5^2 + 56049*x1*x6 + 65439*x2*x6 + 56049*x3*x6 + 162*x4*x6 + 9352*x5*x6 + 7*x6^2 + 162*x1*x7 + 56049*x2*x7 + 65439*x3*x7 + 56049*x4*x7 + 162*x5*x7 + 9352*x6*x7 + 7*x7^2 + 9352*x1*x8 + 162*x2*x8 + 56049*x3*x8 + 65439*x4*x8 + 56049*x5*x8 + 162*x6*x8 + 9352*x7*x8 + 7*x8^2 + 45*x1*x9 + 45*x2*x9 + 45*x3*x9 + 45*x4*x9 + 45*x5*x9 + 45*x6*x9 + 45*x7*x9 + 45*x8*x9 + 65511*x9^2 + 45*x1*x10 + 45*x2*x10 + 45*x3*x10 + 45*x4*x10 + 45*x5*x10 + 45*x6*x10 + 45*x7*x10 + 45*x8*x10 + 20*x9*x10 + 65511*x10^2 + 6*x1 + 6*x2 + 6*x3 + 6*x4 + 6*x5 + 6*x6 + 6*x7 + 6*x8 + 9*x9 + 9*x10 + 45430,
65374*x1^3 + 53602*x1^2*x2 + 38696*x1*x2^2 + 65374*x2^3 + 58292*x1^2*x3 + 21876*x1*x2*x3 + 53602*x2^2*x3 + 7031*x1*x3^2 + 38696*x2*x3^2 + 65374*x3^3 + 22648*x1^2*x4 + 59770*x1*x2*x4 + 58292*x2^2*x4 + 5567*x1*x3*x4 + 21876*x2*x3*x4 + 53602*x3^2*x4 + 15352*x1*x4^2 + 7031*x2*x4^2 + 38696*x3*x4^2 + 65374*x4^3 + 55*x1^2*x5 + 8955*x1*x2*x5 + 22648*x2^2*x5 + 98*x1*x3*x5 + 59770*x2*x3*x5 + 58292*x3^2*x5 + 56198*x1*x4*x5 + 5567*x2*x4*x5 + 21876*x3*x4*x5 + 53602*x4^2*x5 + 55*x1*x5^2 + 15352*x2*x5^2 + 7031*x3*x5^2 + 38696*x4*x5^2 + 65374*x5^3 + 15352*x1^2*x6 + 56198*x1*x2*x6 + 55*x2^2*x6 + 42509*x1*x3*x6 + 8955*x2*x3*x6 + 22648*x3^2*x6 + 42509*x1*x4*x6 + 98*x2*x4*x6 + 59770*x3*x4*x6 + 58292*x4^2*x6 + 8955*x1*x5*x6 + 56198*x2*x5*x6 + 5567*x3*x5*x6 + 21876*x4*x5*x6 + 53602*x5^2*x6 + 22648*x1*x6^2 + 55*x2*x6^2 + 15352*x3*x6^2 + 7031*x4*x6^2 + 38696*x5*x6^2 + 65374*x6^3 + 7031*x1^2*x7 + 5567*x1*x2*x7 + 15352*x2^2*x7 + 98*x1*x3*x7 + 56198*x2*x3*x7 + 55*x3^2*x7 + 42509*x1*x4*x7 + 42509*x2*x4*x7 + 8955*x3*x4*x7 + 22648*x4^2*x7 + 98*x1*x5*x7 + 42509*x2*x5*x7 + 98*x3*x5*x7 + 59770*x4*x5*x7 + 58292*x5^2*x7 + 59770*x1*x6*x7 + 8955*x2*x6*x7 + 56198*x3*x6*x7 + 5567*x4*x6*x7 + 21876*x5*x6*x7 + 53602*x6^2*x7 + 58292*x1*x7^2 + 22648*x2*x7^2 + 55*x3*x7^2 + 15352*x4*x7^2 + 7031*x5*x7^2 + 38696*x6*x7^2 + 65374*x7^3 + 38696*x1^2*x8 + 21876*x1*x2*x8 + 7031*x2^2*x8 + 59770*x1*x3*x8 + 5567*x2*x3*x8 + 15352*x3^2*x8 + 8955*x1*x4*x8 + 98*x2*x4*x8 + 56198*x3*x4*x8 + 55*x4^2*x8 + 56198*x1*x5*x8 + 42509*x2*x5*x8 + 42509*x3*x5*x8 + 8955*x4*x5*x8 + 22648*x5^2*x8 + 5567*x1*x6*x8 + 98*x2*x6*x8 + 42509*x3*x6*x8 + 98*x4*x6*x8 + 59770*x5*x6*x8 + 58292*x6^2*x8 + 21876*x1*x7*x8 + 59770*x2*x7*x8 + 8955*x3*x7*x8 + 56198*x4*x7*x8 + 5567*x5*x7*x8 + 21876*x6*x7*x8 + 53602*x7^2*x8 + 53602*x1*x8^2 + 58292*x2*x8^2 + 22648*x3*x8^2 + 55*x4*x8^2 + 15352*x5*x8^2 + 7031*x6*x8^2 + 38696*x7*x8^2 + 65374*x8^3 + 65393*x1^2*x9 + 44811*x1*x2*x9 + 65393*x2^2*x9 + 65491*x1*x3*x9 + 44811*x2*x3*x9 + 65393*x3^2*x9 + 20558*x1*x4*x9 + 65491*x2*x4*x9 + 44811*x3*x4*x9 + 65393*x4^2*x9 + 65421*x1*x5*x9 + 20558*x2*x5*x9 + 65491*x3*x5*x9 + 44811*x4*x5*x9 + 65393*x5^2*x9 + 20558*x1*x6*x9 + 65421*x2*x6*x9 + 20558*x3*x6*x9 + 65491*x4*x6*x9 + 44811*x5*x6*x9 + 65393*x6^2*x9 + 65491*x1*x7*x9 + 20558*x2*x7*x9 + 65421*x3*x7*x9 + 20558*x4*x7*x9 + 65491*x5*x7*x9 + 44811*x6*x7*x9 + 65393*x7^2*x9 + 44811*x1*x8*x9 + 65491*x2*x8*x9 + 20558*x3*x8*x9 + 65421*x4*x8*x9 + 20558*x5*x8*x9 + 65491*x6*x8*x9 + 44811*x7*x8*x9 + 65393*x8^2*x9 + 65467*x1*x9^2 + 65467*x2*x9^2 + 65467*x3*x9^2 + 65467*x4*x9^2 + 65467*x5*x9^2 + 65467*x6*x9^2 + 65467*x7*x9^2 + 65467*x8*x9^2 + 65463*x9^3 + 65393*x1^2*x10 + 44811*x1*x2*x10 + 65393*x2^2*x10 + 65491*x1*x3*x10 + 44811*x2*x3*x10 + 65393*x3^2*x10 + 20558*x1*x4*x10 + 65491*x2*x4*x10 + 44811*x3*x4*x10 + 65393*x4^2*x10 + 65421*x1*x5*x10 + 20558*x2*x5*x10 + 65491*x3*x5*x10 + 44811*x4*x5*x10 + 65393*x5^2*x10 + 20558*x1*x6*x10 + 65421*x2*x6*x10 + 20558*x3*x6*x10 + 65491*x4*x6*x10 + 44811*x5*x6*x10 + 65393*x6^2*x10 + 65491*x1*x7*x10 + 20558*x2*x7*x10 + 65421*x3*x7*x10 + 20558*x4*x7*x10 + 65491*x5*x7*x10 + 44811*x6*x7*x10 + 65393*x7^2*x10 + 44811*x1*x8*x10 + 65491*x2*x8*x10 + 20558*x3*x8*x10 + 65421*x4*x8*x10 + 20558*x5*x8*x10 + 65491*x6*x8*x10 + 44811*x7*x8*x10 + 65393*x8^2*x10 + 52*x1*x9*x10 + 52*x2*x9*x10 + 52*x3*x9*x10 + 52*x4*x9*x10 + 52*x5*x9*x10 + 52*x6*x9*x10 + 52*x7*x9*x10 + 52*x8*x9*x10 + 65435*x9^2*x10 + 65467*x1*x10^2 + 65467*x2*x10^2 + 65467*x3*x10^2 + 65467*x4*x10^2 + 65467*x5*x10^2 + 65467*x6*x10^2 + 65467*x7*x10^2 + 65467*x8*x10^2 + 65435*x9*x10^2 + 65463*x10^3 + 49*x1^2 + 4800*x1*x2 + 49*x2^2 + 48*x1*x3 + 4800*x2*x3 + 49*x3^2 + 60909*x1*x4 + 48*x2*x4 + 4800*x3*x4 + 49*x4^2 + 22*x1*x5 + 60909*x2*x5 + 48*x3*x5 + 4800*x4*x5 + 49*x5^2 + 60909*x1*x6 + 22*x2*x6 + 60909*x3*x6 + 48*x4*x6 + 4800*x5*x6 + 49*x6^2 + 48*x1*x7 + 60909*x2*x7 + 22*x3*x7 + 60909*x4*x7 + 48*x5*x7 + 4800*x6*x7 + 49*x7^2 + 4800*x1*x8 + 48*x2*x8 + 60909*x3*x8 + 22*x4*x8 + 60909*x5*x8 + 48*x6*x8 + 4800*x7*x8 + 49*x8^2 + 15*x1*x9 + 15*x2*x9 + 15*x3*x9 + 15*x4*x9 + 15*x5*x9 + 15*x6*x9 + 15*x7*x9 + 15*x8*x9 + 65497*x9^2 + 15*x1*x10 + 15*x2*x10 + 15*x3*x10 + 15*x4*x10 + 15*x5*x10 + 15*x6*x10 + 15*x7*x10 + 15*x8*x10 + 65449*x9*x10 + 65497*x10^2 + 43*x1 + 43*x2 + 43*x3 + 43*x4 + 43*x5 + 43*x6 + 43*x7 + 43*x8 + 65479*x9 + 65479*x10 + 40505,
170*x1^3 + 57309*x1^2*x2 + 56661*x1*x2^2 + 170*x2^3 + 2480*x1^2*x3 + 3398*x1*x2*x3 + 57309*x2^2*x3 + 63449*x1*x3^2 + 56661*x2*x3^2 + 170*x3^3 + 12489*x1^2*x4 + 50653*x1*x2*x4 + 2480*x2^2*x4 + 15280*x1*x3*x4 + 3398*x2*x3*x4 + 57309*x3^2*x4 + 5191*x1*x4^2 + 63449*x2*x4^2 + 56661*x3*x4^2 + 170*x4^3 + 65403*x1^2*x5 + 49479*x1*x2*x5 + 12489*x2^2*x5 + 65221*x1*x3*x5 + 50653*x2*x3*x5 + 2480*x3^2*x5 + 16674*x1*x4*x5 + 15280*x2*x4*x5 + 3398*x3*x4*x5 + 57309*x4^2*x5 + 65403*x1*x5^2 + 5191*x2*x5^2 + 63449*x3*x5^2 + 56661*x4*x5^2 + 170*x5^3 + 5191*x1^2*x6 + 16674*x1*x2*x6 + 65403*x2^2*x6 + 63127*x1*x3*x6 + 49479*x2*x3*x6 + 12489*x3^2*x6 + 63127*x1*x4*x6 + 65221*x2*x4*x6 + 50653*x3*x4*x6 + 2480*x4^2*x6 + 49479*x1*x5*x6 + 16674*x2*x5*x6 + 15280*x3*x5*x6 + 3398*x4*x5*x6 + 57309*x5^2*x6 + 12489*x1*x6^2 + 65403*x2*x6^2 + 5191*x3*x6^2 + 63449*x4*x6^2 + 56661*x5*x6^2 + 170*x6^3 + 63449*x1^2*x7 + 15280*x1*x2*x7 + 5191*x2^2*x7 + 65221*x1*x3*x7 + 16674*x2*x3*x7 + 65403*x3^2*x7 + 63127*x1*x4*x7 + 63127*x2*x4*x7 + 49479*x3*x4*x7 + 12489*x4^2*x7 + 65221*x1*x5*x7 + 63127*x2*x5*x7 + 65221*x3*x5*x7 + 50653*x4*x5*x7 + 2480*x5^2*x7 + 50653*x1*x6*x7 + 49479*x2*x6*x7 + 16674*x3*x6*x7 + 15280*x4*x6*x7 + 3398*x5*x6*x7 + 57309*x6^2*x7 + 2480*x1*x7^2 + 12489*x2*x7^2 + 65403*x3*x7^2 + 5191*x4*x7^2 + 63449*x5*x7^2 + 56661*x6*x7^2 + 170*x7^3 + 56661*x1^2*x8 + 3398*x1*x2*x8 + 63449*x2^2*x8 + 50653*x1*x3*x8 + 15280*x2*x3*x8 + 5191*x3^2*x8 + 49479*x1*x4*x8 + 65221*x2*x4*x8 + 16674*x3*x4*x8 + 65403*x4^2*x8 + 16674*x1*x5*x8 + 63127*x2*x5*x8 + 63127*x3*x5*x8 + 49479*x4*x5*x8 + 12489*x5^2*x8 + 15280*x1*x6*x8 + 65221*x2*x6*x8 + 63127*x3*x6*x8 + 65221*x4*x6*x8 + 50653*x5*x6*x8 + 2480*x6^2*x8 + 3398*x1*x7*x8 + 50653*x2*x7*x8 + 49479*x3*x7*x8 + 16674*x4*x7*x8 + 15280*x5*x7*x8 + 3398*x6*x7*x8 + 57309*x7^2*x8 + 57309*x1*x8^2 + 2480*x2*x8^2 + 12489*x3*x8^2 + 65403*x4*x8^2 + 5191*x5*x8^2 + 63449*x6*x8^2 + 56661*x7*x8^2 + 170*x8^3 + 89*x1^2*x9 + 17370*x1*x2*x9 + 89*x2^2*x9 + 114*x1*x3*x9 + 17370*x2*x3*x9 + 89*x3^2*x9 + 48139*x1*x4*x9 + 114*x2*x4*x9 + 17370*x3*x4*x9 + 89*x4^2*x9 + 178*x1*x5*x9 + 48139*x2*x5*x9 + 114*x3*x5*x9 + 17370*x4*x5*x9 + 89*x5^2*x9 + 48139*x1*x6*x9 + 178*x2*x6*x9 + 48139*x3*x6*x9 + 114*x4*x6*x9 + 17370*x5*x6*x9 + 89*x6^2*x9 + 114*x1*x7*x9 + 48139*x2*x7*x9 + 178*x3*x7*x9 + 48139*x4*x7*x9 + 114*x5*x7*x9 + 17370*x6*x7*x9 + 89*x7^2*x9 + 17370*x1*x8*x9 + 114*x2*x8*x9 + 48139*x3*x8*x9 + 178*x4*x8*x9 + 48139*x5*x8*x9 + 114*x6*x8*x9 + 17370*x7*x8*x9 + 89*x8^2*x9 + 65514*x1*x9^2 + 65514*x2*x9^2 + 65514*x3*x9^2 + 65514*x4*x9^2 + 65514*x5*x9^2 + 65514*x6*x9^2 + 65514*x7*x9^2 + 65514*x8*x9^2 + 65508*x9^3 + 89*x1^2*x10 + 17370*x1*x2*x10 + 89*x2^2*x10 + 114*x1*x3*x10 + 17370*x2*x3*x10 + 89*x3^2*x10 + 48139*x1*x4*x10 + 114*x2*x4*x10 + 17370*x3*x4*x10 + 89*x4^2*x10 + 178*x1*x5*x10 + 48139*x2*x5*x10 + 114*x3*x5*x10 + 17370*x4*x5*x10 + 89*x5^2*x10 + 48139*x1*x6*x10 + 178*x2*x6*x10 + 48139*x3*x6*x10 + 114*x4*x6*x10 + 17370*x5*x6*x10 + 89*x6^2*x10 + 114*x1*x7*x10 + 48139*x2*x7*x10 + 178*x3*x7*x10 + 48139*x4*x7*x10 + 114*x5*x7*x10 + 17370*x6*x7*x10 + 89*x7^2*x10 + 17370*x1*x8*x10 + 114*x2*x8*x10 + 48139*x3*x8*x10 + 178*x4*x8*x10 + 48139*x5*x8*x10 + 114*x6*x8*x10 + 17370*x7*x8*x10 + 89*x8^2*x10 + 106*x1*x9*x10 + 106*x2*x9*x10 + 106*x3*x9*x10 + 106*x4*x9*x10 + 106*x5*x9*x10 + 106*x6*x9*x10 + 106*x7*x9*x10 + 106*x8*x9*x10 + 65414*x9^2*x10 + 65514*x1*x10^2 + 65514*x2*x10^2 + 65514*x3*x10^2 + 65514*x4*x10^2 + 65514*x5*x10^2 + 65514*x6*x10^2 + 65514*x7*x10^2 + 65514*x8*x10^2 + 65414*x9*x10^2 + 65508*x10^3 + 65502*x1^2 + 48103*x1*x2 + 65502*x2^2 + 222*x1*x3 + 48103*x2*x3 + 65502*x3^2 + 17334*x1*x4 + 222*x2*x4 + 48103*x3*x4 + 65502*x4^2 + 146*x1*x5 + 17334*x2*x5 + 222*x3*x5 + 48103*x4*x5 + 65502*x5^2 + 17334*x1*x6 + 146*x2*x6 + 17334*x3*x6 + 222*x4*x6 + 48103*x5*x6 + 65502*x6^2 + 222*x1*x7 + 17334*x2*x7 + 146*x3*x7 + 17334*x4*x7 + 222*x5*x7 + 48103*x6*x7 + 65502*x7^2 + 48103*x1*x8 + 222*x2*x8 + 17334*x3*x8 + 146*x4*x8 + 17334*x5*x8 + 222*x6*x8 + 48103*x7*x8 + 65502*x8^2 + 33*x1*x9 + 33*x2*x9 + 33*x3*x9 + 33*x4*x9 + 33*x5*x9 + 33*x6*x9 + 33*x7*x9 + 33*x8*x9 + 24*x9^2 + 33*x1*x10 + 33*x2*x10 + 33*x3*x10 + 33*x4*x10 + 33*x5*x10 + 33*x6*x10 + 33*x7*x10 + 33*x8*x10 + 116*x9*x10 + 24*x10^2 + 9*x1 + 9*x2 + 9*x3 + 9*x4 + 9*x5 + 9*x6 + 9*x7 + 9*x8 + 65486*x9 + 65486*x10 + 44390,
65418*x1^3 + 54716*x1^2*x2 + 61828*x1*x2^2 + 65418*x2^3 + 52655*x1^2*x3 + 62358*x1*x2*x3 + 54716*x2^2*x3 + 13200*x1*x3^2 + 61828*x2*x3^2 + 65418*x3^3 + 44090*x1^2*x4 + 14051*x1*x2*x4 + 52655*x2^2*x4 + 52362*x1*x3*x4 + 62358*x2*x3*x4 + 54716*x3^2*x4 + 35893*x1*x4^2 + 13200*x2*x4^2 + 61828*x3*x4^2 + 65418*x4^3 + 379*x1^2*x5 + 53231*x1*x2*x5 + 44090*x2^2*x5 + 65119*x1*x3*x5 + 14051*x2*x3*x5 + 52655*x3^2*x5 + 11678*x1*x4*x5 + 52362*x2*x4*x5 + 62358*x3*x4*x5 + 54716*x4^2*x5 + 379*x1*x5^2 + 35893*x2*x5^2 + 13200*x3*x5^2 + 61828*x4*x5^2 + 65418*x5^3 + 35893*x1^2*x6 + 11678*x1*x2*x6 + 379*x2^2*x6 + 3351*x1*x3*x6 + 53231*x2*x3*x6 + 44090*x3^2*x6 + 3351*x1*x4*x6 + 65119*x2*x4*x6 + 14051*x3*x4*x6 + 52655*x4^2*x6 + 53231*x1*x5*x6 + 11678*x2*x5*x6 + 52362*x3*x5*x6 + 62358*x4*x5*x6 + 54716*x5^2*x6 + 44090*x1*x6^2 + 379*x2*x6^2 + 35893*x3*x6^2 + 13200*x4*x6^2 + 61828*x5*x6^2 + 65418*x6^3 + 13200*x1^2*x7 + 52362*x1*x2*x7 + 35893*x2^2*x7 + 65119*x1*x3*x7 + 11678*x2*x3*x7 + 379*x3^2*x7 + 3351*x1*x4*x7 + 3351*x2*x4*x7 + 53231*x3*x4*x7 + 44090*x4^2*x7 + 65119*x1*x5*x7 + 3351*x2*x5*x7 + 65119*x3*x5*x7 + 14051*x4*x5*x7 + 52655*x5^2*x7 + 14051*x1*x6*x7 + 53231*x2*x6*x7 + 11678*x3*x6*x7 + 52362*x4*x6*x7 + 62358*x5*x6*x7 + 54716*x6^2*x7 + 52655*x1*x7^2 + 44090*x2*x7^2 + 379*x3*x7^2 + 35893*x4*x7^2 + 13200*x5*x7^2 + 61828*x6*x7^2 + 65418*x7^3 + 61828*x1^2*x8 + 62358*x1*x2*x8 + 13200*x2^2*x8 + 14051*x1*x3*x8 + 52362*x2*x3*x8 + 35893*x3^2*x8 + 53231*x1*x4*x8 + 65119*x2*x4*x8 + 11678*x3*x4*x8 + 379*x4^2*x8 + 11678*x1*x5*x8 + 3351*x2*x5*x8 + 3351*x3*x5*x8 + 53231*x4*x5*x8 + 44090*x5^2*x8 + 52362*x1*x6*x8 + 65119*x2*x6*x8 + 3351*x3*x6*x8 + 65119*x4*x6*x8 + 14051*x5*x6*x8 + 52655*x6^2*x8 + 62358*x1*x7*x8 + 14051*x2*x7*x8 + 53231*x3*x7*x8 + 11678*x4*x7*x8 + 52362*x5*x7*x8 + 62358*x6*x7*x8 + 54716*x7^2*x8 + 54716*x1*x8^2 + 52655*x2*x8^2 + 44090*x3*x8^2 + 379*x4*x8^2 + 35893*x5*x8^2 + 13200*x6*x8^2 + 61828*x7*x8^2 + 65418*x8^3 + 65492*x1^2*x9 + 1298*x1*x2*x9 + 65492*x2^2*x9 + 65495*x1*x3*x9 + 1298*x2*x3*x9 + 65492*x3^2*x9 + 63923*x1*x4*x9 + 65495*x2*x4*x9 + 1298*x3*x4*x9 + 65492*x4^2*x9 + 230*x1*x5*x9 + 63923*x2*x5*x9 + 65495*x3*x5*x9 + 1298*x4*x5*x9 + 65492*x5^2*x9 + 63923*x1*x6*x9 + 230*x2*x6*x9 + 63923*x3*x6*x9 + 65495*x4*x6*x9 + 1298*x5*x6*x9 + 65492*x6^2*x9 + 65495*x1*x7*x9 + 63923*x2*x7*x9 + 230*x3*x7*x9 + 63923*x4*x7*x9 + 65495*x5*x7*x9 + 1298*x6*x7*x9 + 65492*x7^2*x9 + 1298*x1*x8*x9 + 65495*x2*x8*x9 + 63923*x3*x8*x9 + 230*x4*x8*x9 + 63923*x5*x8*x9 + 65495*x6*x8*x9 + 1298*x7*x8*x9 + 65492*x8^2*x9 + 33*x1*x9^2 + 33*x2*x9^2 + 33*x3*x9^2 + 33*x4*x9^2 + 33*x5*x9^2 + 33*x6*x9^2 + 33*x7*x9^2 + 33*x8*x9^2 + 65511*x9^3 + 65492*x1^2*x10 + 1298*x1*x2*x10 + 65492*x2^2*x10 + 65495*x1*x3*x10 + 1298*x2*x3*x10 + 65492*x3^2*x10 + 63923*x1*x4*x10 + 65495*x2*x4*x10 + 1298*x3*x4*x10 + 65492*x4^2*x10 + 230*x1*x5*x10 + 63923*x2*x5*x10 + 65495*x3*x5*x10 + 1298*x4*x5*x10 + 65492*x5^2*x10 + 63923*x1*x6*x10 + 230*x2*x6*x10 + 63923*x3*x6*x10 + 65495*x4*x6*x10 + 1298*x5*x6*x10 + 65492*x6^2*x10 + 65495*x1*x7*x10 + 63923*x2*x7*x10 + 230*x3*x7*x10 + 63923*x4*x7*x10 + 65495*x5*x7*x10 + 1298*x6*x7*x10 + 65492*x7^2*x10 + 1298*x1*x8*x10 + 65495*x2*x8*x10 + 63923*x3*x8*x10 + 230*x4*x8*x10 + 63923*x5*x8*x10 + 65495*x6*x8*x10 + 1298*x7*x8*x10 + 65492*x8^2*x10 + 70*x1*x9*x10 + 70*x2*x9*x10 + 70*x3*x9*x10 + 70*x4*x9*x10 + 70*x5*x9*x10 + 70*x6*x9*x10 + 70*x7*x9*x10 + 70*x8*x9*x10 + 90*x9^2*x10 + 33*x1*x10^2 + 33*x2*x10^2 + 33*x3*x10^2 + 33*x4*x10^2 + 33*x5*x10^2 + 33*x6*x10^2 + 33*x7*x10^2 + 33*x8*x10^2 + 90*x9*x10^2 + 65511*x10^3 + 65413*x1^2 + 778*x1*x2 + 65413*x2^2 + 65353*x1*x3 + 778*x2*x3 + 65413*x3^2 + 64851*x1*x4 + 65353*x2*x4 + 778*x3*x4 + 65413*x4^2 + 32*x1*x5 + 64851*x2*x5 + 65353*x3*x5 + 778*x4*x5 + 65413*x5^2 + 64851*x1*x6 + 32*x2*x6 + 64851*x3*x6 + 65353*x4*x6 + 778*x5*x6 + 65413*x6^2 + 65353*x1*x7 + 64851*x2*x7 + 32*x3*x7 + 64851*x4*x7 + 65353*x5*x7 + 778*x6*x7 + 65413*x7^2 + 778*x1*x8 + 65353*x2*x8 + 64851*x3*x8 + 32*x4*x8 + 64851*x5*x8 + 65353*x6*x8 + 778*x7*x8 + 65413*x8^2 + 16*x1*x9 + 16*x2*x9 + 16*x3*x9 + 16*x4*x9 + 16*x5*x9 + 16*x6*x9 + 16*x7*x9 + 16*x8*x9 + 65504*x9^2 + 16*x1*x10 + 16*x2*x10 + 16*x3*x10 + 16*x4*x10 + 16*x5*x10 + 16*x6*x10 + 16*x7*x10 + 16*x8*x10 + 65415*x9*x10 + 65504*x10^2 + 28*x1 + 28*x2 + 28*x3 + 28*x4 + 28*x5 + 28*x6 + 28*x7 + 28*x8 + 65474*x9 + 65474*x10 + 31060,
214*x1^3 + 46409*x1^2*x2 + 10317*x1*x2^2 + 214*x2^3 + 45676*x1^2*x3 + 39196*x1*x2*x3 + 46409*x2^2*x3 + 19521*x1*x3^2 + 10317*x2*x3^2 + 214*x3^3 + 7760*x1^2*x4 + 59796*x1*x2*x4 + 45676*x2^2*x4 + 4725*x1*x3*x4 + 39196*x2*x3*x4 + 46409*x3^2*x4 + 99*x1*x4^2 + 19521*x2*x4^2 + 10317*x3*x4^2 + 214*x4^3 + 178*x1^2*x5 + 24694*x1*x2*x5 + 7760*x2^2*x5 + 65005*x1*x3*x5 + 59796*x2*x3*x5 + 45676*x3^2*x5 + 40003*x1*x4*x5 + 4725*x2*x4*x5 + 39196*x3*x4*x5 + 46409*x4^2*x5 + 178*x1*x5^2 + 99*x2*x5^2 + 19521*x3*x5^2 + 10317*x4*x5^2 + 214*x5^3 + 99*x1^2*x6 + 40003*x1*x2*x6 + 178*x2^2*x6 + 26525*x1*x3*x6 + 24694*x2*x3*x6 + 7760*x3^2*x6 + 26525*x1*x4*x6 + 65005*x2*x4*x6 + 59796*x3*x4*x6 + 45676*x4^2*x6 + 24694*x1*x5*x6 + 40003*x2*x5*x6 + 4725*x3*x5*x6 + 39196*x4*x5*x6 + 46409*x5^2*x6 + 7760*x1*x6^2 + 178*x2*x6^2 + 99*x3*x6^2 + 19521*x4*x6^2 + 10317*x5*x6^2 + 214*x6^3 + 19521*x1^2*x7 + 4725*x1*x2*x7 + 99*x2^2*x7 + 65005*x1*x3*x7 + 40003*x2*x3*x7 + 178*x3^2*x7 + 26525*x1*x4*x7 + 26525*x2*x4*x7 + 24694*x3*x4*x7 + 7760*x4^2*x7 + 65005*x1*x5*x7 + 26525*x2*x5*x7 + 65005*x3*x5*x7 + 59796*x4*x5*x7 + 45676*x5^2*x7 + 59796*x1*x6*x7 + 24694*x2*x6*x7 + 40003*x3*x6*x7 + 4725*x4*x6*x7 + 39196*x5*x6*x7 + 46409*x6^2*x7 + 45676*x1*x7^2 + 7760*x2*x7^2 + 178*x3*x7^2 + 99*x4*x7^2 + 19521*x5*x7^2 + 10317*x6*x7^2 + 214*x7^3 + 10317*x1^2*x8 + 39196*x1*x2*x8 + 19521*x2^2*x8 + 59796*x1*x3*x8 + 4725*x2*x3*x8 + 99*x3^2*x8 + 24694*x1*x4*x8 + 65005*x2*x4*x8 + 40003*x3*x4*x8 + 178*x4^2*x8 + 40003*x1*x5*x8 + 26525*x2*x5*x8 + 26525*x3*x5*x8 + 24694*x4*x5*x8 + 7760*x5^2*x8 + 4725*x1*x6*x8 + 65005*x2*x6*x8 + 26525*x3*x6*x8 + 65005*x4*x6*x8 + 59796*x5*x6*x8 + 45676*x6^2*x8 + 39196*x1*x7*x8 + 59796*x2*x7*x8 + 24694*x3*x7*x8 + 40003*x4*x7*x8 + 4725*x5*x7*x8 + 39196*x6*x7*x8 + 46409*x7^2*x8 + 46409*x1*x8^2 + 45676*x2*x8^2 + 7760*x3*x8^2 + 178*x4*x8^2 + 99*x5*x8^2 + 19521*x6*x8^2 + 10317*x7*x8^2 + 214*x8^3 + 65394*x1^2*x9 + 3450*x1*x2*x9 + 65394*x2^2*x9 + 46*x1*x3*x9 + 3450*x2*x3*x9 + 65394*x3^2*x9 + 61731*x1*x4*x9 + 46*x2*x4*x9 + 3450*x3*x4*x9 + 65394*x4^2*x9 + 106*x1*x5*x9 + 61731*x2*x5*x9 + 46*x3*x5*x9 + 3450*x4*x5*x9 + 65394*x5^2*x9 + 61731*x1*x6*x9 + 106*x2*x6*x9 + 61731*x3*x6*x9 + 46*x4*x6*x9 + 3450*x5*x6*x9 + 65394*x6^2*x9 + 46*x1*x7*x9 + 61731*x2*x7*x9 + 106*x3*x7*x9 + 61731*x4*x7*x9 + 46*x5*x7*x9 + 3450*x6*x7*x9 + 65394*x7^2*x9 + 3450*x1*x8*x9 + 46*x2*x8*x9 + 61731*x3*x8*x9 + 106*x4*x8*x9 + 61731*x5*x8*x9 + 46*x6*x8*x9 + 3450*x7*x8*x9 + 65394*x8^2*x9 + 65500*x1*x9^2 + 65500*x2*x9^2 + 65500*x3*x9^2 + 65500*x4*x9^2 + 65500*x5*x9^2 + 65500*x6*x9^2 + 65500*x7*x9^2 + 65500*x8*x9^2 + 12*x9^3 + 65394*x1^2*x10 + 3450*x1*x2*x10 + 65394*x2^2*x10 + 46*x1*x3*x10 + 3450*x2*x3*x10 + 65394*x3^2*x10 + 61731*x1*x4*x10 + 46*x2*x4*x10 + 3450*x3*x4*x10 + 65394*x4^2*x10 + 106*x1*x5*x10 + 61731*x2*x5*x10 + 46*x3*x5*x10 + 3450*x4*x5*x10 + 65394*x5^2*x10 + 61731*x1*x6*x10 + 106*x2*x6*x10 + 61731*x3*x6*x10 + 46*x4*x6*x10 + 3450*x5*x6*x10 + 65394*x6^2*x10 + 46*x1*x7*x10 + 61731*x2*x7*x10 + 106*x3*x7*x10 + 61731*x4*x7*x10 + 46*x5*x7*x10 + 3450*x6*x7*x10 + 65394*x7^2*x10 + 3450*x1*x8*x10 + 46*x2*x8*x10 + 61731*x3*x8*x10 + 106*x4*x8*x10 + 61731*x5*x8*x10 + 46*x6*x8*x10 + 3450*x7*x8*x10 + 65394*x8^2*x10 + 65435*x1*x9*x10 + 65435*x2*x9*x10 + 65435*x3*x9*x10 + 65435*x4*x9*x10 + 65435*x5*x9*x10 + 65435*x6*x9*x10 + 65435*x7*x9*x10 + 65435*x8*x9*x10 + 65369*x9^2*x10 + 65500*x1*x10^2 + 65500*x2*x10^2 + 65500*x3*x10^2 + 65500*x4*x10^2 + 65500*x5*x10^2 + 65500*x6*x10^2 + 65500*x7*x10^2 + 65500*x8*x10^2 + 65369*x9*x10^2 + 12*x10^3 + 42943*x1*x2 + 65413*x1*x3 + 42943*x2*x3 + 22310*x1*x4 + 65413*x2*x4 + 42943*x3*x4 + 128*x1*x5 + 22310*x2*x5 + 65413*x3*x5 + 42943*x4*x5 + 22310*x1*x6 + 128*x2*x6 + 22310*x3*x6 + 65413*x4*x6 + 42943*x5*x6 + 65413*x1*x7 + 22310*x2*x7 + 128*x3*x7 + 22310*x4*x7 + 65413*x5*x7 + 42943*x6*x7 + 42943*x1*x8 + 65413*x2*x8 + 22310*x3*x8 + 128*x4*x8 + 22310*x5*x8 + 65413*x6*x8 + 42943*x7*x8 + 36*x1*x9 + 36*x2*x9 + 36*x3*x9 + 36*x4*x9 + 36*x5*x9 + 36*x6*x9 + 36*x7*x9 + 36*x8*x9 + 65*x9^2 + 36*x1*x10 + 36*x2*x10 + 36*x3*x10 + 36*x4*x10 + 36*x5*x10 + 36*x6*x10 + 36*x7*x10 + 36*x8*x10 + 54*x9*x10 + 65*x10^2 + 65480*x1 + 65480*x2 + 65480*x3 + 65480*x4 + 65480*x5 + 65480*x6 + 65480*x7 + 65480*x8 + 65471*x9 + 65471*x10 + 7907,
47*x1^3 + 25851*x1^2*x2 + 26617*x1*x2^2 + 47*x2^3 + 64617*x1^2*x3 + 3750*x1*x2*x3 + 25851*x2^2*x3 + 234*x1*x3^2 + 26617*x2*x3^2 + 47*x3^3 + 65244*x1^2*x4 + 28171*x1*x2*x4 + 64617*x2^2*x4 + 37202*x1*x3*x4 + 3750*x2*x3*x4 + 25851*x3^2*x4 + 12562*x1*x4^2 + 234*x2*x4^2 + 26617*x3*x4^2 + 47*x4^3 + 65386*x1^2*x5 + 13459*x1*x2*x5 + 65244*x2^2*x5 + 65223*x1*x3*x5 + 28171*x2*x3*x5 + 64617*x3^2*x5 + 51598*x1*x4*x5 + 37202*x2*x4*x5 + 3750*x3*x4*x5 + 25851*x4^2*x5 + 65386*x1*x5^2 + 12562*x2*x5^2 + 234*x3*x5^2 + 26617*x4*x5^2 + 47*x5^3 + 12562*x1^2*x6 + 51598*x1*x2*x6 + 65386*x2^2*x6 + 62031*x1*x3*x6 + 13459*x2*x3*x6 + 65244*x3^2*x6 + 62031*x1*x4*x6 + 65223*x2*x4*x6 + 28171*x3*x4*x6 + 64617*x4^2*x6 + 13459*x1*x5*x6 + 51598*x2*x5*x6 + 37202*x3*x5*x6 + 3750*x4*x5*x6 + 25851*x5^2*x6 + 65244*x1*x6^2 + 65386*x2*x6^2 + 12562*x3*x6^2 + 234*x4*x6^2 + 26617*x5*x6^2 + 47*x6^3 + 234*x1^2*x7 + 37202*x1*x2*x7 + 12562*x2^2*x7 + 65223*x1*x3*x7 + 51598*x2*x3*x7 + 65386*x3^2*x7 + 62031*x1*x4*x7 + 62031*x2*x4*x7 + 13459*x3*x4*x7 + 65244*x4^2*x7 + 65223*x1*x5*x7 + 62031*x2*x5*x7 + 65223*x3*x5*x7 + 28171*x4*x5*x7 + 64617*x5^2*x7 + 28171*x1*x6*x7 + 13459*x2*x6*x7 + 51598*x3*x6*x7 + 37202*x4*x6*x7 + 3750*x5*x6*x7 + 25851*x6^2*x7 + 64617*x1*x7^2 + 65244*x2*x7^2 + 65386*x3*x7^2 + 12562*x4*x7^2 + 234*x5*x7^2 + 26617*x6*x7^2 + 47*x7^3 + 26617*x1^2*x8 + 3750*x1*x2*x8 + 234*x2^2*x8 + 28171*x1*x3*x8 + 37202*x2*x3*x8 + 12562*x3^2*x8 + 13459*x1*x4*x8 + 65223*x2*x4*x8 + 51598*x3*x4*x8 + 65386*x4^2*x8 + 51598*x1*x5*x8 + 62031*x2*x5*x8 + 62031*x3*x5*x8 + 13459*x4*x5*x8 + 65244*x5^2*x8 + 37202*x1*x6*x8 + 65223*x2*x6*x8 + 62031*x3*x6*x8 + 65223*x4*x6*x8 + 28171*x5*x6*x8 + 64617*x6^2*x8 + 3750*x1*x7*x8 + 28171*x2*x7*x8 + 13459*x3*x7*x8 + 51598*x4*x7*x8 + 37202*x5*x7*x8 + 3750*x6*x7*x8 + 25851*x7^2*x8 + 25851*x1*x8^2 + 64617*x2*x8^2 + 65244*x3*x8^2 + 65386*x4*x8^2 + 12562*x5*x8^2 + 234*x6*x8^2 + 26617*x7*x8^2 + 47*x8^3 + 65395*x1^2*x9 + 19210*x1*x2*x9 + 65395*x2^2*x9 + 65367*x1*x3*x9 + 19210*x2*x3*x9 + 65395*x3^2*x9 + 46359*x1*x4*x9 + 65367*x2*x4*x9 + 19210*x3*x4*x9 + 65395*x4^2*x9 + 65409*x1*x5*x9 + 46359*x2*x5*x9 + 65367*x3*x5*x9 + 19210*x4*x5*x9 + 65395*x5^2*x9 + 46359*x1*x6*x9 + 65409*x2*x6*x9 + 46359*x3*x6*x9 + 65367*x4*x6*x9 + 19210*x5*x6*x9 + 65395*x6^2*x9 + 65367*x1*x7*x9 + 46359*x2*x7*x9 + 65409*x3*x7*x9 + 46359*x4*x7*x9 + 65367*x5*x7*x9 + 19210*x6*x7*x9 + 65395*x7^2*x9 + 19210*x1*x8*x9 + 65367*x2*x8*x9 + 46359*x3*x8*x9 + 65409*x4*x8*x9 + 46359*x5*x8*x9 + 65367*x6*x8*x9 + 19210*x7*x8*x9 + 65395*x8^2*x9 + 65517*x1*x9^2 + 65517*x2*x9^2 + 65517*x3*x9^2 + 65517*x4*x9^2 + 65517*x5*x9^2 + 65517*x6*x9^2 + 65517*x7*x9^2 + 65517*x8*x9^2 + 65472*x9^3 + 65395*x1^2*x10 + 19210*x1*x2*x10 + 65395*x2^2*x10 + 65367*x1*x3*x10 + 19210*x2*x3*x10 + 65395*x3^2*x10 + 46359*x1*x4*x10 + 65367*x2*x4*x10 + 19210*x3*x4*x10 + 65395*x4^2*x10 + 65409*x1*x5*x10 + 46359*x2*x5*x10 + 65367*x3*x5*x10 + 19210*x4*x5*x10 + 65395*x5^2*x10 + 46359*x1*x6*x10 + 65409*x2*x6*x10 + 46359*x3*x6*x10 + 65367*x4*x6*x10 + 19210*x5*x6*x10 + 65395*x6^2*x10 + 65367*x1*x7*x10 + 46359*x2*x7*x10 + 65409*x3*x7*x10 + 46359*x4*x7*x10 + 65367*x5*x7*x10 + 19210*x6*x7*x10 + 65395*x7^2*x10 + 19210*x1*x8*x10 + 65367*x2*x8*x10 + 46359*x3*x8*x10 + 65409*x4*x8*x10 + 46359*x5*x8*x10 + 65367*x6*x8*x10 + 19210*x7*x8*x10 + 65395*x8^2*x10 + 65481*x1*x9*x10 + 65481*x2*x9*x10 + 65481*x3*x9*x10 + 65481*x4*x9*x10 + 65481*x5*x9*x10 + 65481*x6*x9*x10 + 65481*x7*x9*x10 + 65481*x8*x9*x10 + 65442*x9^2*x10 + 65517*x1*x10^2 + 65517*x2*x10^2 + 65517*x3*x10^2 + 65517*x4*x10^2 + 65517*x5*x10^2 + 65517*x6*x10^2 + 65517*x7*x10^2 + 65517*x8*x10^2 + 65442*x9*x10^2 + 65472*x10^3 + 78*x1^2 + 2622*x1*x2 + 78*x2^2 + 78*x1*x3 + 2622*x2*x3 + 78*x3^2 + 63075*x1*x4 + 78*x2*x4 + 2622*x3*x4 + 78*x4^2 + 65433*x1*x5 + 63075*x2*x5 + 78*x3*x5 + 2622*x4*x5 + 78*x5^2 + 63075*x1*x6 + 65433*x2*x6 + 63075*x3*x6 + 78*x4*x6 + 2622*x5*x6 + 78*x6^2 + 78*x1*x7 + 63075*x2*x7 + 65433*x3*x7 + 63075*x4*x7 + 78*x5*x7 + 2622*x6*x7 + 78*x7^2 + 2622*x1*x8 + 78*x2*x8 + 63075*x3*x8 + 65433*x4*x8 + 63075*x5*x8 + 78*x6*x8 + 2622*x7*x8 + 78*x8^2 + 5*x1*x9 + 5*x2*x9 + 5*x3*x9 + 5*x4*x9 + 5*x5*x9 + 5*x6*x9 + 5*x7*x9 + 5*x8*x9 + 65515*x9^2 + 5*x1*x10 + 5*x2*x10 + 5*x3*x10 + 5*x4*x10 + 5*x5*x10 + 5*x6*x10 + 5*x7*x10 + 5*x8*x10 + 65357*x9*x10 + 65515*x10^2 + 13*x1 + 13*x2 + 13*x3 + 13*x4 + 13*x5 + 13*x6 + 13*x7 + 13*x8 + 65518*x9 + 65518*x10 + 53477,
65494*x1^3 + 51396*x1^2*x2 + 62753*x1*x2^2 + 65494*x2^3 + 36691*x1^2*x3 + 20638*x1*x2*x3 + 51396*x2^2*x3 + 28992*x1*x3^2 + 62753*x2*x3^2 + 65494*x3^3 + 19904*x1^2*x4 + 22125*x1*x2*x4 + 36691*x2^2*x4 + 43676*x1*x3*x4 + 20638*x2*x3*x4 + 51396*x3^2*x4 + 62750*x1*x4^2 + 28992*x2*x4^2 + 62753*x3*x4^2 + 65494*x4^3 + 295*x1^2*x5 + 27698*x1*x2*x5 + 19904*x2^2*x5 + 434*x1*x3*x5 + 22125*x2*x3*x5 + 36691*x3^2*x5 + 37495*x1*x4*x5 + 43676*x2*x4*x5 + 20638*x3*x4*x5 + 51396*x4^2*x5 + 295*x1*x5^2 + 62750*x2*x5^2 + 28992*x3*x5^2 + 62753*x4*x5^2 + 65494*x5^3 + 62750*x1^2*x6 + 37495*x1*x2*x6 + 295*x2^2*x6 + 45619*x1*x3*x6 + 27698*x2*x3*x6 + 19904*x3^2*x6 + 45619*x1*x4*x6 + 434*x2*x4*x6 + 22125*x3*x4*x6 + 36691*x4^2*x6 + 27698*x1*x5*x6 + 37495*x2*x5*x6 + 43676*x3*x5*x6 + 20638*x4*x5*x6 + 51396*x5^2*x6 + 19904*x1*x6^2 + 295*x2*x6^2 + 62750*x3*x6^2 + 28992*x4*x6^2 + 62753*x5*x6^2 + 65494*x6^3 + 28992*x1^2*x7 + 43676*x1*x2*x7 + 62750*x2^2*x7 + 434*x1*x3*x7 + 37495*x2*x3*x7 + 295*x3^2*x7 + 45619*x1*x4*x7 + 45619*x2*x4*x7 + 27698*x3*x4*x7 + 19904*x4^2*x7 + 434*x1*x5*x7 + 45619*x2*x5*x7 + 434*x3*x5*x7 + 22125*x4*x5*x7 + 36691*x5^2*x7 + 22125*x1*x6*x7 + 27698*x2*x6*x7 + 37495*x3*x6*x7 + 43676*x4*x6*x7 + 20638*x5*x6*x7 + 51396*x6^2*x7 + 36691*x1*x7^2 + 19904*x2*x7^2 + 295*x3*x7^2 + 62750*x4*x7^2 + 28992*x5*x7^2 + 62753*x6*x7^2 + 65494*x7^3 + 62753*x1^2*x8 + 20638*x1*x2*x8 + 28992*x2^2*x8 + 22125*x1*x3*x8 + 43676*x2*x3*x8 + 62750*x3^2*x8 + 27698*x1*x4*x8 + 434*x2*x4*x8 + 37495*x3*x4*x8 + 295*x4^2*x8 + 37495*x1*x5*x8 + 45619*x2*x5*x8 + 45619*x3*x5*x8 + 27698*x4*x5*x8 + 19904*x5^2*x8 + 43676*x1*x6*x8 + 434*x2*x6*x8 + 45619*x3*x6*x8 + 434*x4*x6*x8 + 22125*x5*x6*x8 + 36691*x6^2*x8 + 20638*x1*x7*x8 + 22125*x2*x7*x8 + 27698*x3*x7*x8 + 37495*x4*x7*x8 + 43676*x5*x7*x8 + 20638*x6*x7*x8 + 51396*x7^2*x8 + 51396*x1*x8^2 + 36691*x2*x8^2 + 19904*x3*x8^2 + 295*x4*x8^2 + 62750*x5*x8^2 + 28992*x6*x8^2 + 62753*x7*x8^2 + 65494*x8^3 + 65454*x1^2*x9 + 16252*x1*x2*x9 + 65454*x2^2*x9 + 65425*x1*x3*x9 + 16252*x2*x3*x9 + 65454*x3^2*x9 + 49193*x1*x4*x9 + 65425*x2*x4*x9 + 16252*x3*x4*x9 + 65454*x4^2*x9 + 65311*x1*x5*x9 + 49193*x2*x5*x9 + 65425*x3*x5*x9 + 16252*x4*x5*x9 + 65454*x5^2*x9 + 49193*x1*x6*x9 + 65311*x2*x6*x9 + 49193*x3*x6*x9 + 65425*x4*x6*x9 + 16252*x5*x6*x9 + 65454*x6^2*x9 + 65425*x1*x7*x9 + 49193*x2*x7*x9 + 65311*x3*x7*x9 + 49193*x4*x7*x9 + 65425*x5*x7*x9 + 16252*x6*x7*x9 + 65454*x7^2*x9 + 16252*x1*x8*x9 + 65425*x2*x8*x9 + 49193*x3*x8*x9 + 65311*x4*x8*x9 + 49193*x5*x8*x9 + 65425*x6*x8*x9 + 16252*x7*x8*x9 + 65454*x8^2*x9 + 44*x1*x9^2 + 44*x2*x9^2 + 44*x3*x9^2 + 44*x4*x9^2 + 44*x5*x9^2 + 44*x6*x9^2 + 44*x7*x9^2 + 44*x8*x9^2 + 65484*x9^3 + 65454*x1^2*x10 + 16252*x1*x2*x10 + 65454*x2^2*x10 + 65425*x1*x3*x10 + 16252*x2*x3*x10 + 65454*x3^2*x10 + 49193*x1*x4*x10 + 65425*x2*x4*x10 + 16252*x3*x4*x10 + 65454*x4^2*x10 + 65311*x1*x5*x10 + 49193*x2*x5*x10 + 65425*x3*x5*x10 + 16252*x4*x5*x10 + 65454*x5^2*x10 + 49193*x1*x6*x10 + 65311*x2*x6*x10 + 49193*x3*x6*x10 + 65425*x4*x6*x10 + 16252*x5*x6*x10 + 65454*x6^2*x10 + 65425*x1*x7*x10 + 49193*x2*x7*x10 + 65311*x3*x7*x10 + 49193*x4*x7*x10 + 65425*x5*x7*x10 + 16252*x6*x7*x10 + 65454*x7^2*x10 + 16252*x1*x8*x10 + 65425*x2*x8*x10 + 49193*x3*x8*x10 + 65311*x4*x8*x10 + 49193*x5*x8*x10 + 65425*x6*x8*x10 + 16252*x7*x8*x10 + 65454*x8^2*x10 + 108*x1*x9*x10 + 108*x2*x9*x10 + 108*x3*x9*x10 + 108*x4*x9*x10 + 108*x5*x9*x10 + 108*x6*x9*x10 + 108*x7*x9*x10 + 108*x8*x9*x10 + 65362*x9^2*x10 + 44*x1*x10^2 + 44*x2*x10^2 + 44*x3*x10^2 + 44*x4*x10^2 + 44*x5*x10^2 + 44*x6*x10^2 + 44*x7*x10^2 + 44*x8*x10^2 + 65362*x9*x10^2 + 65484*x10^3 + 24*x1^2 + 2496*x1*x2 + 24*x2^2 + 126*x1*x3 + 2496*x2*x3 + 24*x3^2 + 62949*x1*x4 + 126*x2*x4 + 2496*x3*x4 + 24*x4^2 + 204*x1*x5 + 62949*x2*x5 + 126*x3*x5 + 2496*x4*x5 + 24*x5^2 + 62949*x1*x6 + 204*x2*x6 + 62949*x3*x6 + 126*x4*x6 + 2496*x5*x6 + 24*x6^2 + 126*x1*x7 + 62949*x2*x7 + 204*x3*x7 + 62949*x4*x7 + 126*x5*x7 + 2496*x6*x7 + 24*x7^2 + 2496*x1*x8 + 126*x2*x8 + 62949*x3*x8 + 204*x4*x8 + 62949*x5*x8 + 126*x6*x8 + 2496*x7*x8 + 24*x8^2 + 65486*x1*x9 + 65486*x2*x9 + 65486*x3*x9 + 65486*x4*x9 + 65486*x5*x9 + 65486*x6*x9 + 65486*x7*x9 + 65486*x8*x9 + 65494*x9^2 + 65486*x1*x10 + 65486*x2*x10 + 65486*x3*x10 + 65486*x4*x10 + 65486*x5*x10 + 65486*x6*x10 + 65486*x7*x10 + 65486*x8*x10 + 62*x9*x10 + 65494*x10^2 + 36*x1 + 36*x2 + 36*x3 + 36*x4 + 36*x5 + 36*x6 + 36*x7 + 36*x8 + 42*x9 + 42*x10 + 64558,
65504*x1^3 + 3295*x1^2*x2 + 1616*x1*x2^2 + 65504*x2^3 + 6475*x1^2*x3 + 33278*x1*x2*x3 + 3295*x2^2*x3 + 58696*x1*x3^2 + 1616*x2*x3^2 + 65504*x3^3 + 16175*x1^2*x4 + 27465*x1*x2*x4 + 6475*x2^2*x4 + 38132*x1*x3*x4 + 33278*x2*x3*x4 + 3295*x3^2*x4 + 44847*x1*x4^2 + 58696*x2*x4^2 + 1616*x3*x4^2 + 65504*x4^3 + 13*x1^2*x5 + 1968*x1*x2*x5 + 16175*x2^2*x5 + 114*x1*x3*x5 + 27465*x2*x3*x5 + 6475*x3^2*x5 + 63293*x1*x4*x5 + 38132*x2*x4*x5 + 33278*x3*x4*x5 + 3295*x4^2*x5 + 13*x1*x5^2 + 44847*x2*x5^2 + 58696*x3*x5^2 + 1616*x4*x5^2 + 65504*x5^3 + 44847*x1^2*x6 + 63293*x1*x2*x6 + 13*x2^2*x6 + 32191*x1*x3*x6 + 1968*x2*x3*x6 + 16175*x3^2*x6 + 32191*x1*x4*x6 + 114*x2*x4*x6 + 27465*x3*x4*x6 + 6475*x4^2*x6 + 1968*x1*x5*x6 + 63293*x2*x5*x6 + 38132*x3*x5*x6 + 33278*x4*x5*x6 + 3295*x5^2*x6 + 16175*x1*x6^2 + 13*x2*x6^2 + 44847*x3*x6^2 + 58696*x4*x6^2 + 1616*x5*x6^2 + 65504*x6^3 + 58696*x1^2*x7 + 38132*x1*x2*x7 + 44847*x2^2*x7 + 114*x1*x3*x7 + 63293*x2*x3*x7 + 13*x3^2*x7 + 32191*x1*x4*x7 + 32191*x2*x4*x7 + 1968*x3*x4*x7 + 16175*x4^2*x7 + 114*x1*x5*x7 + 32191*x2*x5*x7 + 114*x3*x5*x7 + 27465*x4*x5*x7 + 6475*x5^2*x7 + 27465*x1*x6*x7 + 1968*x2*x6*x7 + 63293*x3*x6*x7 + 38132*x4*x6*x7 + 33278*x5*x6*x7 + 3295*x6^2*x7 + 6475*x1*x7^2 + 16175*x2*x7^2 + 13*x3*x7^2 + 44847*x4*x7^2 + 58696*x5*x7^2 + 1616*x6*x7^2 + 65504*x7^3 + 1616*x1^2*x8 + 33278*x1*x2*x8 + 58696*x2^2*x8 + 27465*x1*x3*x8 + 38132*x2*x3*x8 + 44847*x3^2*x8 + 1968*x1*x4*x8 + 114*x2*x4*x8 + 63293*x3*x4*x8 + 13*x4^2*x8 + 63293*x1*x5*x8 + 32191*x2*x5*x8 + 32191*x3*x5*x8 + 1968*x4*x5*x8 + 16175*x5^2*x8 + 38132*x1*x6*x8 + 114*x2*x6*x8 + 32191*x3*x6*x8 + 114*x4*x6*x8 + 27465*x5*x6*x8 + 6475*x6^2*x8 + 33278*x1*x7*x8 + 27465*x2*x7*x8 + 1968*x3*x7*x8 + 63293*x4*x7*x8 + 38132*x5*x7*x8 + 33278*x6*x7*x8 + 3295*x7^2*x8 + 3295*x1*x8^2 + 6475*x2*x8^2 + 16175*x3*x8^2 + 13*x4*x8^2 + 44847*x5*x8^2 + 58696*x6*x8^2 + 1616*x7*x8^2 + 65504*x8^3 + 25*x1^2*x9 + 64807*x1*x2*x9 + 25*x2^2*x9 + 122*x1*x3*x9 + 64807*x2*x3*x9 + 25*x3^2*x9 + 734*x1*x4*x9 + 122*x2*x4*x9 + 64807*x3*x4*x9 + 25*x4^2*x9 + 402*x1*x5*x9 + 734*x2*x5*x9 + 122*x3*x5*x9 + 64807*x4*x5*x9 + 25*x5^2*x9 + 734*x1*x6*x9 + 402*x2*x6*x9 + 734*x3*x6*x9 + 122*x4*x6*x9 + 64807*x5*x6*x9 + 25*x6^2*x9 + 122*x1*x7*x9 + 734*x2*x7*x9 + 402*x3*x7*x9 + 734*x4*x7*x9 + 122*x5*x7*x9 + 64807*x6*x7*x9 + 25*x7^2*x9 + 64807*x1*x8*x9 + 122*x2*x8*x9 + 734*x3*x8*x9 + 402*x4*x8*x9 + 734*x5*x8*x9 + 122*x6*x8*x9 + 64807*x7*x8*x9 + 25*x8^2*x9 + 25*x1*x9^2 + 25*x2*x9^2 + 25*x3*x9^2 + 25*x4*x9^2 + 25*x5*x9^2 + 25*x6*x9^2 + 25*x7*x9^2 + 25*x8*x9^2 + 15*x9^3 + 25*x1^2*x10 + 64807*x1*x2*x10 + 25*x2^2*x10 + 122*x1*x3*x10 + 64807*x2*x3*x10 + 25*x3^2*x10 + 734*x1*x4*x10 + 122*x2*x4*x10 + 64807*x3*x4*x10 + 25*x4^2*x10 + 402*x1*x5*x10 + 734*x2*x5*x10 + 122*x3*x5*x10 + 64807*x4*x5*x10 + 25*x5^2*x10 + 734*x1*x6*x10 + 402*x2*x6*x10 + 734*x3*x6*x10 + 122*x4*x6*x10 + 64807*x5*x6*x10 + 25*x6^2*x10 + 122*x1*x7*x10 + 734*x2*x7*x10 + 402*x3*x7*x10 + 734*x4*x7*x10 + 122*x5*x7*x10 + 64807*x6*x7*x10 + 25*x7^2*x10 + 64807*x1*x8*x10 + 122*x2*x8*x10 + 734*x3*x8*x10 + 402*x4*x8*x10 + 734*x5*x8*x10 + 122*x6*x8*x10 + 64807*x7*x8*x10 + 25*x8^2*x10 + 150*x1*x9*x10 + 150*x2*x9*x10 + 150*x3*x9*x10 + 150*x4*x9*x10 + 150*x5*x9*x10 + 150*x6*x9*x10 + 150*x7*x9*x10 + 150*x8*x9*x10 + 65446*x9^2*x10 + 25*x1*x10^2 + 25*x2*x10^2 + 25*x3*x10^2 + 25*x4*x10^2 + 25*x5*x10^2 + 25*x6*x10^2 + 25*x7*x10^2 + 25*x8*x10^2 + 65446*x9*x10^2 + 15*x10^3 + 65429*x1^2 + 4252*x1*x2 + 65429*x2^2 + 65493*x1*x3 + 4252*x2*x3 + 65429*x3^2 + 61085*x1*x4 + 65493*x2*x4 + 4252*x3*x4 + 65429*x4^2 + 160*x1*x5 + 61085*x2*x5 + 65493*x3*x5 + 4252*x4*x5 + 65429*x5^2 + 61085*x1*x6 + 160*x2*x6 + 61085*x3*x6 + 65493*x4*x6 + 4252*x5*x6 + 65429*x6^2 + 65493*x1*x7 + 61085*x2*x7 + 160*x3*x7 + 61085*x4*x7 + 65493*x5*x7 + 4252*x6*x7 + 65429*x7^2 + 4252*x1*x8 + 65493*x2*x8 + 61085*x3*x8 + 160*x4*x8 + 61085*x5*x8 + 65493*x6*x8 + 4252*x7*x8 + 65429*x8^2 + 28*x1*x9 + 28*x2*x9 + 28*x3*x9 + 28*x4*x9 + 28*x5*x9 + 28*x6*x9 + 28*x7*x9 + 28*x8*x9 + 16*x9^2 + 28*x1*x10 + 28*x2*x10 + 28*x3*x10 + 28*x4*x10 + 28*x5*x10 + 28*x6*x10 + 28*x7*x10 + 28*x8*x10 + 65437*x9*x10 + 16*x10^2 + 20*x1 + 20*x2 + 20*x3 + 20*x4 + 20*x5 + 20*x6 + 20*x7 + 20*x8 + 16*x9 + 16*x10 + 14536,
82*x1^3 + 27554*x1^2*x2 + 50560*x1*x2^2 + 82*x2^3 + 48254*x1^2*x3 + 35867*x1*x2*x3 + 27554*x2^2*x3 + 17547*x1*x3^2 + 50560*x2*x3^2 + 82*x3^3 + 13836*x1^2*x4 + 62774*x1*x2*x4 + 48254*x2^2*x4 + 2695*x1*x3*x4 + 35867*x2*x3*x4 + 27554*x3^2*x4 + 38940*x1*x4^2 + 17547*x2*x4^2 + 50560*x3*x4^2 + 82*x4^3 + 258*x1^2*x5 + 57807*x1*x2*x5 + 13836*x2^2*x5 + 65445*x1*x3*x5 + 62774*x2*x3*x5 + 48254*x3^2*x5 + 7506*x1*x4*x5 + 2695*x2*x4*x5 + 35867*x3*x4*x5 + 27554*x4^2*x5 + 258*x1*x5^2 + 38940*x2*x5^2 + 17547*x3*x5^2 + 50560*x4*x5^2 + 82*x5^3 + 38940*x1^2*x6 + 7506*x1*x2*x6 + 258*x2^2*x6 + 29714*x1*x3*x6 + 57807*x2*x3*x6 + 13836*x3^2*x6 + 29714*x1*x4*x6 + 65445*x2*x4*x6 + 62774*x3*x4*x6 + 48254*x4^2*x6 + 57807*x1*x5*x6 + 7506*x2*x5*x6 + 2695*x3*x5*x6 + 35867*x4*x5*x6 + 27554*x5^2*x6 + 13836*x1*x6^2 + 258*x2*x6^2 + 38940*x3*x6^2 + 17547*x4*x6^2 + 50560*x5*x6^2 + 82*x6^3 + 17547*x1^2*x7 + 2695*x1*x2*x7 + 38940*x2^2*x7 + 65445*x1*x3*x7 + 7506*x2*x3*x7 + 258*x3^2*x7 + 29714*x1*x4*x7 + 29714*x2*x4*x7 + 57807*x3*x4*x7 + 13836*x4^2*x7 + 65445*x1*x5*x7 + 29714*x2*x5*x7 + 65445*x3*x5*x7 + 62774*x4*x5*x7 + 48254*x5^2*x7 + 62774*x1*x6*x7 + 57807*x2*x6*x7 + 7506*x3*x6*x7 + 2695*x4*x6*x7 + 35867*x5*x6*x7 + 27554*x6^2*x7 + 48254*x1*x7^2 + 13836*x2*x7^2 + 258*x3*x7^2 + 38940*x4*x7^2 + 17547*x5*x7^2 + 50560*x6*x7^2 + 82*x7^3 + 50560*x1^2*x8 + 35867*x1*x2*x8 + 17547*x2^2*x8 + 62774*x1*x3*x8 + 2695*x2*x3*x8 + 38940*x3^2*x8 + 57807*x1*x4*x8 + 65445*x2*x4*x8 + 7506*x3*x4*x8 + 258*x4^2*x8 + 7506*x1*x5*x8 + 29714*x2*x5*x8 + 29714*x3*x5*x8 + 57807*x4*x5*x8 + 13836*x5^2*x8 + 2695*x1*x6*x8 + 65445*x2*x6*x8 + 29714*x3*x6*x8 + 65445*x4*x6*x8 + 62774*x5*x6*x8 + 48254*x6^2*x8 + 35867*x1*x7*x8 + 62774*x2*x7*x8 + 57807*x3*x7*x8 + 7506*x4*x7*x8 + 2695*x5*x7*x8 + 35867*x6*x7*x8 + 27554*x7^2*x8 + 27554*x1*x8^2 + 48254*x2*x8^2 + 13836*x3*x8^2 + 258*x4*x8^2 + 38940*x5*x8^2 + 17547*x6*x8^2 + 50560*x7*x8^2 + 82*x8^3 + 65460*x1^2*x9 + 1002*x1*x2*x9 + 65460*x2^2*x9 + 65481*x1*x3*x9 + 1002*x2*x3*x9 + 65460*x3^2*x9 + 64351*x1*x4*x9 + 65481*x2*x4*x9 + 1002*x3*x4*x9 + 65460*x4^2*x9 + 65371*x1*x5*x9 + 64351*x2*x5*x9 + 65481*x3*x5*x9 + 1002*x4*x5*x9 + 65460*x5^2*x9 + 64351*x1*x6*x9 + 65371*x2*x6*x9 + 64351*x3*x6*x9 + 65481*x4*x6*x9 + 1002*x5*x6*x9 + 65460*x6^2*x9 + 65481*x1*x7*x9 + 64351*x2*x7*x9 + 65371*x3*x7*x9 + 64351*x4*x7*x9 + 65481*x5*x7*x9 + 1002*x6*x7*x9 + 65460*x7^2*x9 + 1002*x1*x8*x9 + 65481*x2*x8*x9 + 64351*x3*x8*x9 + 65371*x4*x8*x9 + 64351*x5*x8*x9 + 65481*x6*x8*x9 + 1002*x7*x8*x9 + 65460*x8^2*x9 + 20*x1*x9^2 + 20*x2*x9^2 + 20*x3*x9^2 + 20*x4*x9^2 + 20*x5*x9^2 + 20*x6*x9^2 + 20*x7*x9^2 + 20*x8*x9^2 + 65502*x9^3 + 65460*x1^2*x10 + 1002*x1*x2*x10 + 65460*x2^2*x10 + 65481*x1*x3*x10 + 1002*x2*x3*x10 + 65460*x3^2*x10 + 64351*x1*x4*x10 + 65481*x2*x4*x10 + 1002*x3*x4*x10 + 65460*x4^2*x10 + 65371*x1*x5*x10 + 64351*x2*x5*x10 + 65481*x3*x5*x10 + 1002*x4*x5*x10 + 65460*x5^2*x10 + 64351*x1*x6*x10 + 65371*x2*x6*x10 + 64351*x3*x6*x10 + 65481*x4*x6*x10 + 1002*x5*x6*x10 + 65460*x6^2*x10 + 65481*x1*x7*x10 + 64351*x2*x7*x10 + 65371*x3*x7*x10 + 64351*x4*x7*x10 + 65481*x5*x7*x10 + 1002*x6*x7*x10 + 65460*x7^2*x10 + 1002*x1*x8*x10 + 65481*x2*x8*x10 + 64351*x3*x8*x10 + 65371*x4*x8*x10 + 64351*x5*x8*x10 + 65481*x6*x8*x10 + 1002*x7*x8*x10 + 65460*x8^2*x10 + 65433*x1*x9*x10 + 65433*x2*x9*x10 + 65433*x3*x9*x10 + 65433*x4*x9*x10 + 65433*x5*x9*x10 + 65433*x6*x9*x10 + 65433*x7*x9*x10 + 65433*x8*x9*x10 + 103*x9^2*x10 + 20*x1*x10^2 + 20*x2*x10^2 + 20*x3*x10^2 + 20*x4*x10^2 + 20*x5*x10^2 + 20*x6*x10^2 + 20*x7*x10^2 + 20*x8*x10^2 + 103*x9*x10^2 + 65502*x10^3 + 65398*x1^2 + 3248*x1*x2 + 65398*x2^2 + 65481*x1*x3 + 3248*x2*x3 + 65398*x3^2 + 62253*x1*x4 + 65481*x2*x4 + 3248*x3*x4 + 65398*x4^2 + 65423*x1*x5 + 62253*x2*x5 + 65481*x3*x5 + 3248*x4*x5 + 65398*x5^2 + 62253*x1*x6 + 65423*x2*x6 + 62253*x3*x6 + 65481*x4*x6 + 3248*x5*x6 + 65398*x6^2 + 65481*x1*x7 + 62253*x2*x7 + 65423*x3*x7 + 62253*x4*x7 + 65481*x5*x7 + 3248*x6*x7 + 65398*x7^2 + 3248*x1*x8 + 65481*x2*x8 + 62253*x3*x8 + 65423*x4*x8 + 62253*x5*x8 + 65481*x6*x8 + 3248*x7*x8 + 65398*x8^2 + 2*x1*x9 + 2*x2*x9 + 2*x3*x9 + 2*x4*x9 + 2*x5*x9 + 2*x6*x9 + 2*x7*x9 + 2*x8*x9 + 65433*x9^2 + 2*x1*x10 + 2*x2*x10 + 2*x3*x10 + 2*x4*x10 + 2*x5*x10 + 2*x6*x10 + 2*x7*x10 + 2*x8*x10 + 65501*x9*x10 + 65433*x10^2 + 42*x1 + 42*x2 + 42*x3 + 42*x4 + 42*x5 + 42*x6 + 42*x7 + 42*x8 + 30*x9 + 30*x10 + 3070,
146*x1^3 + 41964*x1^2*x2 + 19916*x1*x2^2 + 146*x2^3 + 44843*x1^2*x3 + 38026*x1*x2*x3 + 41964*x2^2*x3 + 20786*x1*x3^2 + 19916*x2*x3^2 + 146*x3^3 + 58018*x1^2*x4 + 1897*x1*x2*x4 + 44843*x2^2*x4 + 64480*x1*x3*x4 + 38026*x2*x3*x4 + 41964*x3^2*x4 + 11824*x1*x4^2 + 20786*x2*x4^2 + 19916*x3*x4^2 + 146*x4^3 + 65503*x1^2*x5 + 14134*x1*x2*x5 + 58018*x2^2*x5 + 116*x1*x3*x5 + 1897*x2*x3*x5 + 44843*x3^2*x5 + 51491*x1*x4*x5 + 64480*x2*x4*x5 + 38026*x3*x4*x5 + 41964*x4^2*x5 + 65503*x1*x5^2 + 11824*x2*x5^2 + 20786*x3*x5^2 + 19916*x4*x5^2 + 146*x5^3 + 11824*x1^2*x6 + 51491*x1*x2*x6 + 65503*x2^2*x6 + 28255*x1*x3*x6 + 14134*x2*x3*x6 + 58018*x3^2*x6 + 28255*x1*x4*x6 + 116*x2*x4*x6 + 1897*x3*x4*x6 + 44843*x4^2*x6 + 14134*x1*x5*x6 + 51491*x2*x5*x6 + 64480*x3*x5*x6 + 38026*x4*x5*x6 + 41964*x5^2*x6 + 58018*x1*x6^2 + 65503*x2*x6^2 + 11824*x3*x6^2 + 20786*x4*x6^2 + 19916*x5*x6^2 + 146*x6^3 + 20786*x1^2*x7 + 64480*x1*x2*x7 + 11824*x2^2*x7 + 116*x1*x3*x7 + 51491*x2*x3*x7 + 65503*x3^2*x7 + 28255*x1*x4*x7 + 28255*x2*x4*x7 + 14134*x3*x4*x7 + 58018*x4^2*x7 + 116*x1*x5*x7 + 28255*x2*x5*x7 + 116*x3*x5*x7 + 1897*x4*x5*x7 + 44843*x5^2*x7 + 1897*x1*x6*x7 + 14134*x2*x6*x7 + 51491*x3*x6*x7 + 64480*x4*x6*x7 + 38026*x5*x6*x7 + 41964*x6^2*x7 + 44843*x1*x7^2 + 58018*x2*x7^2 + 65503*x3*x7^2 + 11824*x4*x7^2 + 20786*x5*x7^2 + 19916*x6*x7^2 + 146*x7^3 + 19916*x1^2*x8 + 38026*x1*x2*x8 + 20786*x2^2*x8 + 1897*x1*x3*x8 + 64480*x2*x3*x8 + 11824*x3^2*x8 + 14134*x1*x4*x8 + 116*x2*x4*x8 + 51491*x3*x4*x8 + 65503*x4^2*x8 + 51491*x1*x5*x8 + 28255*x2*x5*x8 + 28255*x3*x5*x8 + 14134*x4*x5*x8 + 58018*x5^2*x8 + 64480*x1*x6*x8 + 116*x2*x6*x8 + 28255*x3*x6*x8 + 116*x4*x6*x8 + 1897*x5*x6*x8 + 44843*x6^2*x8 + 38026*x1*x7*x8 + 1897*x2*x7*x8 + 14134*x3*x7*x8 + 51491*x4*x7*x8 + 64480*x5*x7*x8 + 38026*x6*x7*x8 + 41964*x7^2*x8 + 41964*x1*x8^2 + 44843*x2*x8^2 + 58018*x3*x8^2 + 65503*x4*x8^2 + 11824*x5*x8^2 + 20786*x6*x8^2 + 19916*x7*x8^2 + 146*x8^3 + 127*x1^2*x9 + 1436*x1*x2*x9 + 127*x2^2*x9 + 6*x1*x3*x9 + 1436*x2*x3*x9 + 127*x3^2*x9 + 64061*x1*x4*x9 + 6*x2*x4*x9 + 1436*x3*x4*x9 + 127*x4^2*x9 + 65463*x1*x5*x9 + 64061*x2*x5*x9 + 6*x3*x5*x9 + 1436*x4*x5*x9 + 127*x5^2*x9 + 64061*x1*x6*x9 + 65463*x2*x6*x9 + 64061*x3*x6*x9 + 6*x4*x6*x9 + 1436*x5*x6*x9 + 127*x6^2*x9 + 6*x1*x7*x9 + 64061*x2*x7*x9 + 65463*x3*x7*x9 + 64061*x4*x7*x9 + 6*x5*x7*x9 + 1436*x6*x7*x9 + 127*x7^2*x9 + 1436*x1*x8*x9 + 6*x2*x8*x9 + 64061*x3*x8*x9 + 65463*x4*x8*x9 + 64061*x5*x8*x9 + 6*x6*x8*x9 + 1436*x7*x8*x9 + 127*x8^2*x9 + 65508*x1*x9^2 + 65508*x2*x9^2 + 65508*x3*x9^2 + 65508*x4*x9^2 + 65508*x5*x9^2 + 65508*x6*x9^2 + 65508*x7*x9^2 + 65508*x8*x9^2 + 65495*x9^3 + 127*x1^2*x10 + 1436*x1*x2*x10 + 127*x2^2*x10 + 6*x1*x3*x10 + 1436*x2*x3*x10 + 127*x3^2*x10 + 64061*x1*x4*x10 + 6*x2*x4*x10 + 1436*x3*x4*x10 + 127*x4^2*x10 + 65463*x1*x5*x10 + 64061*x2*x5*x10 + 6*x3*x5*x10 + 1436*x4*x5*x10 + 127*x5^2*x10 + 64061*x1*x6*x10 + 65463*x2*x6*x10 + 64061*x3*x6*x10 + 6*x4*x6*x10 + 1436*x5*x6*x10 + 127*x6^2*x10 + 6*x1*x7*x10 + 64061*x2*x7*x10 + 65463*x3*x7*x10 + 64061*x4*x7*x10 + 6*x5*x7*x10 + 1436*x6*x7*x10 + 127*x7^2*x10 + 1436*x1*x8*x10 + 6*x2*x8*x10 + 64061*x3*x8*x10 + 65463*x4*x8*x10 + 64061*x5*x8*x10 + 6*x6*x8*x10 + 1436*x7*x8*x10 + 127*x8^2*x10 + 10*x1*x9*x10 + 10*x2*x9*x10 + 10*x3*x9*x10 + 10*x4*x9*x10 + 10*x5*x9*x10 + 10*x6*x9*x10 + 10*x7*x9*x10 + 10*x8*x9*x10 + 65455*x9^2*x10 + 65508*x1*x10^2 + 65508*x2*x10^2 + 65508*x3*x10^2 + 65508*x4*x10^2 + 65508*x5*x10^2 + 65508*x6*x10^2 + 65508*x7*x10^2 + 65508*x8*x10^2 + 65455*x9*x10^2 + 65495*x10^3 + 50*x1^2 + 27316*x1*x2 + 50*x2^2 + 65437*x1*x3 + 27316*x2*x3 + 50*x3^2 + 37813*x1*x4 + 65437*x2*x4 + 27316*x3*x4 + 50*x4^2 + 84*x1*x5 + 37813*x2*x5 + 65437*x3*x5 + 27316*x4*x5 + 50*x5^2 + 37813*x1*x6 + 84*x2*x6 + 37813*x3*x6 + 65437*x4*x6 + 27316*x5*x6 + 50*x6^2 + 65437*x1*x7 + 37813*x2*x7 + 84*x3*x7 + 37813*x4*x7 + 65437*x5*x7 + 27316*x6*x7 + 50*x7^2 + 27316*x1*x8 + 65437*x2*x8 + 37813*x3*x8 + 84*x4*x8 + 37813*x5*x8 + 65437*x6*x8 + 27316*x7*x8 + 50*x8^2 + 47*x1*x9 + 47*x2*x9 + 47*x3*x9 + 47*x4*x9 + 47*x5*x9 + 47*x6*x9 + 47*x7*x9 + 47*x8*x9 + 10*x9^2 + 47*x1*x10 + 47*x2*x10 + 47*x3*x10 + 47*x4*x10 + 47*x5*x10 + 47*x6*x10 + 47*x7*x10 + 47*x8*x10 + 60*x9*x10 + 10*x10^2 + 65512*x1 + 65512*x2 + 65512*x3 + 65512*x4 + 65512*x5 + 65512*x6 + 65512*x7 + 65512*x8 + 65504*x9 + 65504*x10 + 28624
]
: