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



#modulo 65521

#list

[
65490*x1^3 + 58566*x1^2*x2 + 306*x1*x2^2 + 65490*x2^3 + 59419*x1^2*x3 + 50561*x1*x2*x3 + 58566*x2^2*x3 + 20375*x1*x3^2 + 306*x2*x3^2 + 65490*x3^3 + 17540*x1^2*x4 + 13311*x1*x2*x4 + 59419*x2^2*x4 + 24464*x1*x3*x4 + 50561*x2*x3*x4 + 58566*x3^2*x4 + 54483*x1*x4^2 + 20375*x2*x4^2 + 306*x3*x4^2 + 65490*x4^3 + 22748*x1^2*x5 + 53434*x1*x2*x5 + 17540*x2^2*x5 + 16962*x1*x3*x5 + 13311*x2*x3*x5 + 59419*x3^2*x5 + 41569*x1*x4*x5 + 24464*x2*x4*x5 + 50561*x3*x4*x5 + 58566*x4^2*x5 + 28443*x1*x5^2 + 54483*x2*x5^2 + 20375*x3*x5^2 + 306*x4*x5^2 + 65490*x5^3 + 427*x1^2*x6 + 31366*x1*x2*x6 + 22748*x2^2*x6 + 13612*x1*x3*x6 + 53434*x2*x3*x6 + 17540*x3^2*x6 + 17532*x1*x4*x6 + 16962*x2*x4*x6 + 13311*x3*x4*x6 + 59419*x4^2*x6 + 4647*x1*x5*x6 + 41569*x2*x5*x6 + 24464*x3*x5*x6 + 50561*x4*x5*x6 + 58566*x5^2*x6 + 427*x1*x6^2 + 28443*x2*x6^2 + 54483*x3*x6^2 + 20375*x4*x6^2 + 306*x5*x6^2 + 65490*x6^3 + 28443*x1^2*x7 + 4647*x1*x2*x7 + 427*x2^2*x7 + 48722*x1*x3*x7 + 31366*x2*x3*x7 + 22748*x3^2*x7 + 15933*x1*x4*x7 + 13612*x2*x4*x7 + 53434*x3*x4*x7 + 17540*x4^2*x7 + 48722*x1*x5*x7 + 17532*x2*x5*x7 + 16962*x3*x5*x7 + 13311*x4*x5*x7 + 59419*x5^2*x7 + 31366*x1*x6*x7 + 4647*x2*x6*x7 + 41569*x3*x6*x7 + 24464*x4*x6*x7 + 50561*x5*x6*x7 + 58566*x6^2*x7 + 22748*x1*x7^2 + 427*x2*x7^2 + 28443*x3*x7^2 + 54483*x4*x7^2 + 20375*x5*x7^2 + 306*x6*x7^2 + 65490*x7^3 + 54483*x1^2*x8 + 41569*x1*x2*x8 + 28443*x2^2*x8 + 17532*x1*x3*x8 + 4647*x2*x3*x8 + 427*x3^2*x8 + 15933*x1*x4*x8 + 48722*x2*x4*x8 + 31366*x3*x4*x8 + 22748*x4^2*x8 + 15933*x1*x5*x8 + 15933*x2*x5*x8 + 13612*x3*x5*x8 + 53434*x4*x5*x8 + 17540*x5^2*x8 + 13612*x1*x6*x8 + 48722*x2*x6*x8 + 17532*x3*x6*x8 + 16962*x4*x6*x8 + 13311*x5*x6*x8 + 59419*x6^2*x8 + 53434*x1*x7*x8 + 31366*x2*x7*x8 + 4647*x3*x7*x8 + 41569*x4*x7*x8 + 24464*x5*x7*x8 + 50561*x6*x7*x8 + 58566*x7^2*x8 + 17540*x1*x8^2 + 22748*x2*x8^2 + 427*x3*x8^2 + 28443*x4*x8^2 + 54483*x5*x8^2 + 20375*x6*x8^2 + 306*x7*x8^2 + 65490*x8^3 + 20375*x1^2*x9 + 24464*x1*x2*x9 + 54483*x2^2*x9 + 16962*x1*x3*x9 + 41569*x2*x3*x9 + 28443*x3^2*x9 + 13612*x1*x4*x9 + 17532*x2*x4*x9 + 4647*x3*x4*x9 + 427*x4^2*x9 + 48722*x1*x5*x9 + 15933*x2*x5*x9 + 48722*x3*x5*x9 + 31366*x4*x5*x9 + 22748*x5^2*x9 + 17532*x1*x6*x9 + 15933*x2*x6*x9 + 15933*x3*x6*x9 + 13612*x4*x6*x9 + 53434*x5*x6*x9 + 17540*x6^2*x9 + 16962*x1*x7*x9 + 13612*x2*x7*x9 + 48722*x3*x7*x9 + 17532*x4*x7*x9 + 16962*x5*x7*x9 + 13311*x6*x7*x9 + 59419*x7^2*x9 + 13311*x1*x8*x9 + 53434*x2*x8*x9 + 31366*x3*x8*x9 + 4647*x4*x8*x9 + 41569*x5*x8*x9 + 24464*x6*x8*x9 + 50561*x7*x8*x9 + 58566*x8^2*x9 + 59419*x1*x9^2 + 17540*x2*x9^2 + 22748*x3*x9^2 + 427*x4*x9^2 + 28443*x5*x9^2 + 54483*x6*x9^2 + 20375*x7*x9^2 + 306*x8*x9^2 + 65490*x9^3 + 306*x1^2*x10 + 50561*x1*x2*x10 + 20375*x2^2*x10 + 13311*x1*x3*x10 + 24464*x2*x3*x10 + 54483*x3^2*x10 + 53434*x1*x4*x10 + 16962*x2*x4*x10 + 41569*x3*x4*x10 + 28443*x4^2*x10 + 31366*x1*x5*x10 + 13612*x2*x5*x10 + 17532*x3*x5*x10 + 4647*x4*x5*x10 + 427*x5^2*x10 + 4647*x1*x6*x10 + 48722*x2*x6*x10 + 15933*x3*x6*x10 + 48722*x4*x6*x10 + 31366*x5*x6*x10 + 22748*x6^2*x10 + 41569*x1*x7*x10 + 17532*x2*x7*x10 + 15933*x3*x7*x10 + 15933*x4*x7*x10 + 13612*x5*x7*x10 + 53434*x6*x7*x10 + 17540*x7^2*x10 + 24464*x1*x8*x10 + 16962*x2*x8*x10 + 13612*x3*x8*x10 + 48722*x4*x8*x10 + 17532*x5*x8*x10 + 16962*x6*x8*x10 + 13311*x7*x8*x10 + 59419*x8^2*x10 + 50561*x1*x9*x10 + 13311*x2*x9*x10 + 53434*x3*x9*x10 + 31366*x4*x9*x10 + 4647*x5*x9*x10 + 41569*x6*x9*x10 + 24464*x7*x9*x10 + 50561*x8*x9*x10 + 58566*x9^2*x10 + 58566*x1*x10^2 + 59419*x2*x10^2 + 17540*x3*x10^2 + 22748*x4*x10^2 + 427*x5*x10^2 + 28443*x6*x10^2 + 54483*x7*x10^2 + 20375*x8*x10^2 + 306*x9*x10^2 + 65490*x10^3 + 65487*x1^2 + 19724*x1*x2 + 65487*x2^2 + 62038*x1*x3 + 19724*x2*x3 + 65487*x3^2 + 45759*x1*x4 + 62038*x2*x4 + 19724*x3*x4 + 65487*x4^2 + 3387*x1*x5 + 45759*x2*x5 + 62038*x3*x5 + 19724*x4*x5 + 65487*x5^2 + 65397*x1*x6 + 3387*x2*x6 + 45759*x3*x6 + 62038*x4*x6 + 19724*x5*x6 + 65487*x6^2 + 3387*x1*x7 + 65397*x2*x7 + 3387*x3*x7 + 45759*x4*x7 + 62038*x5*x7 + 19724*x6*x7 + 65487*x7^2 + 45759*x1*x8 + 3387*x2*x8 + 65397*x3*x8 + 3387*x4*x8 + 45759*x5*x8 + 62038*x6*x8 + 19724*x7*x8 + 65487*x8^2 + 62038*x1*x9 + 45759*x2*x9 + 3387*x3*x9 + 65397*x4*x9 + 3387*x5*x9 + 45759*x6*x9 + 62038*x7*x9 + 19724*x8*x9 + 65487*x9^2 + 19724*x1*x10 + 62038*x2*x10 + 45759*x3*x10 + 3387*x4*x10 + 65397*x5*x10 + 3387*x6*x10 + 45759*x7*x10 + 62038*x8*x10 + 19724*x9*x10 + 65487*x10^2 + 65514*x1 + 65514*x2 + 65514*x3 + 65514*x4 + 65514*x5 + 65514*x6 + 65514*x7 + 65514*x8 + 65514*x9 + 65514*x10 + 46647,
65504*x1^3 + 58776*x1^2*x2 + 38764*x1*x2^2 + 65504*x2^3 + 26077*x1^2*x3 + 64553*x1*x2*x3 + 58776*x2^2*x3 + 11473*x1*x3^2 + 38764*x2*x3^2 + 65504*x3^3 + 36272*x1^2*x4 + 7761*x1*x2*x4 + 26077*x2^2*x4 + 15212*x1*x3*x4 + 64553*x2*x3*x4 + 58776*x3^2*x4 + 62124*x1*x4^2 + 11473*x2*x4^2 + 38764*x3*x4^2 + 65504*x4^3 + 51296*x1^2*x5 + 24790*x1*x2*x5 + 36272*x2^2*x5 + 11727*x1*x3*x5 + 7761*x2*x3*x5 + 26077*x3^2*x5 + 18504*x1*x4*x5 + 15212*x2*x4*x5 + 64553*x3*x4*x5 + 58776*x4^2*x5 + 42337*x1*x5^2 + 62124*x2*x5^2 + 11473*x3*x5^2 + 38764*x4*x5^2 + 65504*x5^3 + 77*x1^2*x6 + 1666*x1*x2*x6 + 51296*x2^2*x6 + 32073*x1*x3*x6 + 24790*x2*x3*x6 + 36272*x3^2*x6 + 65428*x1*x4*x6 + 11727*x2*x4*x6 + 7761*x3*x4*x6 + 26077*x4^2*x6 + 30581*x1*x5*x6 + 18504*x2*x5*x6 + 15212*x3*x5*x6 + 64553*x4*x5*x6 + 58776*x5^2*x6 + 77*x1*x6^2 + 42337*x2*x6^2 + 62124*x3*x6^2 + 11473*x4*x6^2 + 38764*x5*x6^2 + 65504*x6^3 + 42337*x1^2*x7 + 30581*x1*x2*x7 + 77*x2^2*x7 + 54370*x1*x3*x7 + 1666*x2*x3*x7 + 51296*x3^2*x7 + 766*x1*x4*x7 + 32073*x2*x4*x7 + 24790*x3*x4*x7 + 36272*x4^2*x7 + 54370*x1*x5*x7 + 65428*x2*x5*x7 + 11727*x3*x5*x7 + 7761*x4*x5*x7 + 26077*x5^2*x7 + 1666*x1*x6*x7 + 30581*x2*x6*x7 + 18504*x3*x6*x7 + 15212*x4*x6*x7 + 64553*x5*x6*x7 + 58776*x6^2*x7 + 51296*x1*x7^2 + 77*x2*x7^2 + 42337*x3*x7^2 + 62124*x4*x7^2 + 11473*x5*x7^2 + 38764*x6*x7^2 + 65504*x7^3 + 62124*x1^2*x8 + 18504*x1*x2*x8 + 42337*x2^2*x8 + 65428*x1*x3*x8 + 30581*x2*x3*x8 + 77*x3^2*x8 + 766*x1*x4*x8 + 54370*x2*x4*x8 + 1666*x3*x4*x8 + 51296*x4^2*x8 + 766*x1*x5*x8 + 766*x2*x5*x8 + 32073*x3*x5*x8 + 24790*x4*x5*x8 + 36272*x5^2*x8 + 32073*x1*x6*x8 + 54370*x2*x6*x8 + 65428*x3*x6*x8 + 11727*x4*x6*x8 + 7761*x5*x6*x8 + 26077*x6^2*x8 + 24790*x1*x7*x8 + 1666*x2*x7*x8 + 30581*x3*x7*x8 + 18504*x4*x7*x8 + 15212*x5*x7*x8 + 64553*x6*x7*x8 + 58776*x7^2*x8 + 36272*x1*x8^2 + 51296*x2*x8^2 + 77*x3*x8^2 + 42337*x4*x8^2 + 62124*x5*x8^2 + 11473*x6*x8^2 + 38764*x7*x8^2 + 65504*x8^3 + 11473*x1^2*x9 + 15212*x1*x2*x9 + 62124*x2^2*x9 + 11727*x1*x3*x9 + 18504*x2*x3*x9 + 42337*x3^2*x9 + 32073*x1*x4*x9 + 65428*x2*x4*x9 + 30581*x3*x4*x9 + 77*x4^2*x9 + 54370*x1*x5*x9 + 766*x2*x5*x9 + 54370*x3*x5*x9 + 1666*x4*x5*x9 + 51296*x5^2*x9 + 65428*x1*x6*x9 + 766*x2*x6*x9 + 766*x3*x6*x9 + 32073*x4*x6*x9 + 24790*x5*x6*x9 + 36272*x6^2*x9 + 11727*x1*x7*x9 + 32073*x2*x7*x9 + 54370*x3*x7*x9 + 65428*x4*x7*x9 + 11727*x5*x7*x9 + 7761*x6*x7*x9 + 26077*x7^2*x9 + 7761*x1*x8*x9 + 24790*x2*x8*x9 + 1666*x3*x8*x9 + 30581*x4*x8*x9 + 18504*x5*x8*x9 + 15212*x6*x8*x9 + 64553*x7*x8*x9 + 58776*x8^2*x9 + 26077*x1*x9^2 + 36272*x2*x9^2 + 51296*x3*x9^2 + 77*x4*x9^2 + 42337*x5*x9^2 + 62124*x6*x9^2 + 11473*x7*x9^2 + 38764*x8*x9^2 + 65504*x9^3 + 38764*x1^2*x10 + 64553*x1*x2*x10 + 11473*x2^2*x10 + 7761*x1*x3*x10 + 15212*x2*x3*x10 + 62124*x3^2*x10 + 24790*x1*x4*x10 + 11727*x2*x4*x10 + 18504*x3*x4*x10 + 42337*x4^2*x10 + 1666*x1*x5*x10 + 32073*x2*x5*x10 + 65428*x3*x5*x10 + 30581*x4*x5*x10 + 77*x5^2*x10 + 30581*x1*x6*x10 + 54370*x2*x6*x10 + 766*x3*x6*x10 + 54370*x4*x6*x10 + 1666*x5*x6*x10 + 51296*x6^2*x10 + 18504*x1*x7*x10 + 65428*x2*x7*x10 + 766*x3*x7*x10 + 766*x4*x7*x10 + 32073*x5*x7*x10 + 24790*x6*x7*x10 + 36272*x7^2*x10 + 15212*x1*x8*x10 + 11727*x2*x8*x10 + 32073*x3*x8*x10 + 54370*x4*x8*x10 + 65428*x5*x8*x10 + 11727*x6*x8*x10 + 7761*x7*x8*x10 + 26077*x8^2*x10 + 64553*x1*x9*x10 + 7761*x2*x9*x10 + 24790*x3*x9*x10 + 1666*x4*x9*x10 + 30581*x5*x9*x10 + 18504*x6*x9*x10 + 15212*x7*x9*x10 + 64553*x8*x9*x10 + 58776*x9^2*x10 + 58776*x1*x10^2 + 26077*x2*x10^2 + 36272*x3*x10^2 + 51296*x4*x10^2 + 77*x5*x10^2 + 42337*x6*x10^2 + 62124*x7*x10^2 + 11473*x8*x10^2 + 38764*x9*x10^2 + 65504*x10^3 + 24*x1^2 + 11481*x1*x2 + 24*x2^2 + 24423*x1*x3 + 11481*x2*x3 + 24*x3^2 + 54113*x1*x4 + 24423*x2*x4 + 11481*x3*x4 + 24*x4^2 + 41309*x1*x5 + 54113*x2*x5 + 24423*x3*x5 + 11481*x4*x5 + 24*x5^2 + 24*x1*x6 + 41309*x2*x6 + 54113*x3*x6 + 24423*x4*x6 + 11481*x5*x6 + 24*x6^2 + 41309*x1*x7 + 24*x2*x7 + 41309*x3*x7 + 54113*x4*x7 + 24423*x5*x7 + 11481*x6*x7 + 24*x7^2 + 54113*x1*x8 + 41309*x2*x8 + 24*x3*x8 + 41309*x4*x8 + 54113*x5*x8 + 24423*x6*x8 + 11481*x7*x8 + 24*x8^2 + 24423*x1*x9 + 54113*x2*x9 + 41309*x3*x9 + 24*x4*x9 + 41309*x5*x9 + 54113*x6*x9 + 24423*x7*x9 + 11481*x8*x9 + 24*x9^2 + 11481*x1*x10 + 24423*x2*x10 + 54113*x3*x10 + 41309*x4*x10 + 24*x5*x10 + 41309*x6*x10 + 54113*x7*x10 + 24423*x8*x10 + 11481*x9*x10 + 24*x10^2 + 65506*x1 + 65506*x2 + 65506*x3 + 65506*x4 + 65506*x5 + 65506*x6 + 65506*x7 + 65506*x8 + 65506*x9 + 65506*x10 + 27795,
18*x1^3 + 26838*x1^2*x2 + 16016*x1*x2^2 + 18*x2^3 + 14427*x1^2*x3 + 44656*x1*x2*x3 + 26838*x2^2*x3 + 25679*x1*x3^2 + 16016*x2*x3^2 + 18*x3^3 + 19511*x1^2*x4 + 40794*x1*x2*x4 + 14427*x2^2*x4 + 56945*x1*x3*x4 + 44656*x2*x3*x4 + 26838*x3^2*x4 + 3600*x1*x4^2 + 25679*x2*x4^2 + 16016*x3*x4^2 + 18*x4^3 + 38370*x1^2*x5 + 21810*x1*x2*x5 + 19511*x2^2*x5 + 40722*x1*x3*x5 + 40794*x2*x3*x5 + 14427*x3^2*x5 + 11831*x1*x4*x5 + 56945*x2*x4*x5 + 44656*x3*x4*x5 + 26838*x4^2*x5 + 52072*x1*x5^2 + 3600*x2*x5^2 + 25679*x3*x5^2 + 16016*x4*x5^2 + 18*x5^3 + 65127*x1^2*x6 + 10898*x1*x2*x6 + 38370*x2^2*x6 + 1979*x1*x3*x6 + 21810*x2*x3*x6 + 19511*x3^2*x6 + 35964*x1*x4*x6 + 40722*x2*x4*x6 + 40794*x3*x4*x6 + 14427*x4^2*x6 + 17618*x1*x5*x6 + 11831*x2*x5*x6 + 56945*x3*x5*x6 + 44656*x4*x5*x6 + 26838*x5^2*x6 + 65127*x1*x6^2 + 52072*x2*x6^2 + 3600*x3*x6^2 + 25679*x4*x6^2 + 16016*x5*x6^2 + 18*x6^3 + 52072*x1^2*x7 + 17618*x1*x2*x7 + 65127*x2^2*x7 + 24425*x1*x3*x7 + 10898*x2*x3*x7 + 38370*x3^2*x7 + 21489*x1*x4*x7 + 1979*x2*x4*x7 + 21810*x3*x4*x7 + 19511*x4^2*x7 + 24425*x1*x5*x7 + 35964*x2*x5*x7 + 40722*x3*x5*x7 + 40794*x4*x5*x7 + 14427*x5^2*x7 + 10898*x1*x6*x7 + 17618*x2*x6*x7 + 11831*x3*x6*x7 + 56945*x4*x6*x7 + 44656*x5*x6*x7 + 26838*x6^2*x7 + 38370*x1*x7^2 + 65127*x2*x7^2 + 52072*x3*x7^2 + 3600*x4*x7^2 + 25679*x5*x7^2 + 16016*x6*x7^2 + 18*x7^3 + 3600*x1^2*x8 + 11831*x1*x2*x8 + 52072*x2^2*x8 + 35964*x1*x3*x8 + 17618*x2*x3*x8 + 65127*x3^2*x8 + 21489*x1*x4*x8 + 24425*x2*x4*x8 + 10898*x3*x4*x8 + 38370*x4^2*x8 + 21489*x1*x5*x8 + 21489*x2*x5*x8 + 1979*x3*x5*x8 + 21810*x4*x5*x8 + 19511*x5^2*x8 + 1979*x1*x6*x8 + 24425*x2*x6*x8 + 35964*x3*x6*x8 + 40722*x4*x6*x8 + 40794*x5*x6*x8 + 14427*x6^2*x8 + 21810*x1*x7*x8 + 10898*x2*x7*x8 + 17618*x3*x7*x8 + 11831*x4*x7*x8 + 56945*x5*x7*x8 + 44656*x6*x7*x8 + 26838*x7^2*x8 + 19511*x1*x8^2 + 38370*x2*x8^2 + 65127*x3*x8^2 + 52072*x4*x8^2 + 3600*x5*x8^2 + 25679*x6*x8^2 + 16016*x7*x8^2 + 18*x8^3 + 25679*x1^2*x9 + 56945*x1*x2*x9 + 3600*x2^2*x9 + 40722*x1*x3*x9 + 11831*x2*x3*x9 + 52072*x3^2*x9 + 1979*x1*x4*x9 + 35964*x2*x4*x9 + 17618*x3*x4*x9 + 65127*x4^2*x9 + 24425*x1*x5*x9 + 21489*x2*x5*x9 + 24425*x3*x5*x9 + 10898*x4*x5*x9 + 38370*x5^2*x9 + 35964*x1*x6*x9 + 21489*x2*x6*x9 + 21489*x3*x6*x9 + 1979*x4*x6*x9 + 21810*x5*x6*x9 + 19511*x6^2*x9 + 40722*x1*x7*x9 + 1979*x2*x7*x9 + 24425*x3*x7*x9 + 35964*x4*x7*x9 + 40722*x5*x7*x9 + 40794*x6*x7*x9 + 14427*x7^2*x9 + 40794*x1*x8*x9 + 21810*x2*x8*x9 + 10898*x3*x8*x9 + 17618*x4*x8*x9 + 11831*x5*x8*x9 + 56945*x6*x8*x9 + 44656*x7*x8*x9 + 26838*x8^2*x9 + 14427*x1*x9^2 + 19511*x2*x9^2 + 38370*x3*x9^2 + 65127*x4*x9^2 + 52072*x5*x9^2 + 3600*x6*x9^2 + 25679*x7*x9^2 + 16016*x8*x9^2 + 18*x9^3 + 16016*x1^2*x10 + 44656*x1*x2*x10 + 25679*x2^2*x10 + 40794*x1*x3*x10 + 56945*x2*x3*x10 + 3600*x3^2*x10 + 21810*x1*x4*x10 + 40722*x2*x4*x10 + 11831*x3*x4*x10 + 52072*x4^2*x10 + 10898*x1*x5*x10 + 1979*x2*x5*x10 + 35964*x3*x5*x10 + 17618*x4*x5*x10 + 65127*x5^2*x10 + 17618*x1*x6*x10 + 24425*x2*x6*x10 + 21489*x3*x6*x10 + 24425*x4*x6*x10 + 10898*x5*x6*x10 + 38370*x6^2*x10 + 11831*x1*x7*x10 + 35964*x2*x7*x10 + 21489*x3*x7*x10 + 21489*x4*x7*x10 + 1979*x5*x7*x10 + 21810*x6*x7*x10 + 19511*x7^2*x10 + 56945*x1*x8*x10 + 40722*x2*x8*x10 + 1979*x3*x8*x10 + 24425*x4*x8*x10 + 35964*x5*x8*x10 + 40722*x6*x8*x10 + 40794*x7*x8*x10 + 14427*x8^2*x10 + 44656*x1*x9*x10 + 40794*x2*x9*x10 + 21810*x3*x9*x10 + 10898*x4*x9*x10 + 17618*x5*x9*x10 + 11831*x6*x9*x10 + 56945*x7*x9*x10 + 44656*x8*x9*x10 + 26838*x9^2*x10 + 26838*x1*x10^2 + 14427*x2*x10^2 + 19511*x3*x10^2 + 38370*x4*x10^2 + 65127*x5*x10^2 + 52072*x6*x10^2 + 3600*x7*x10^2 + 25679*x8*x10^2 + 16016*x9*x10^2 + 18*x10^3 + 65456*x1^2 + 38877*x1*x2 + 65456*x2^2 + 53979*x1*x3 + 38877*x2*x3 + 65456*x3^2 + 26571*x1*x4 + 53979*x2*x4 + 38877*x3*x4 + 65456*x4^2 + 11347*x1*x5 + 26571*x2*x5 + 53979*x3*x5 + 38877*x4*x5 + 65456*x5^2 + 26*x1*x6 + 11347*x2*x6 + 26571*x3*x6 + 53979*x4*x6 + 38877*x5*x6 + 65456*x6^2 + 11347*x1*x7 + 26*x2*x7 + 11347*x3*x7 + 26571*x4*x7 + 53979*x5*x7 + 38877*x6*x7 + 65456*x7^2 + 26571*x1*x8 + 11347*x2*x8 + 26*x3*x8 + 11347*x4*x8 + 26571*x5*x8 + 53979*x6*x8 + 38877*x7*x8 + 65456*x8^2 + 53979*x1*x9 + 26571*x2*x9 + 11347*x3*x9 + 26*x4*x9 + 11347*x5*x9 + 26571*x6*x9 + 53979*x7*x9 + 38877*x8*x9 + 65456*x9^2 + 38877*x1*x10 + 53979*x2*x10 + 26571*x3*x10 + 11347*x4*x10 + 26*x5*x10 + 11347*x6*x10 + 26571*x7*x10 + 53979*x8*x10 + 38877*x9*x10 + 65456*x10^2 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + 34602,
226*x1^3 + 5013*x1^2*x2 + 56906*x1*x2^2 + 226*x2^3 + 63181*x1^2*x3 + 21116*x1*x2*x3 + 5013*x2^2*x3 + 23589*x1*x3^2 + 56906*x2*x3^2 + 226*x3^3 + 28388*x1^2*x4 + 39478*x1*x2*x4 + 63181*x2^2*x4 + 14464*x1*x3*x4 + 21116*x2*x3*x4 + 5013*x3^2*x4 + 41535*x1*x4^2 + 23589*x2*x4^2 + 56906*x3*x4^2 + 226*x4^3 + 46967*x1^2*x5 + 64525*x1*x2*x5 + 28388*x2^2*x5 + 5088*x1*x3*x5 + 39478*x2*x3*x5 + 63181*x3^2*x5 + 12895*x1*x4*x5 + 14464*x2*x4*x5 + 21116*x3*x4*x5 + 5013*x4^2*x5 + 63548*x1*x5^2 + 41535*x2*x5^2 + 23589*x3*x5^2 + 56906*x4*x5^2 + 226*x5^3 + 490*x1^2*x6 + 63297*x1*x2*x6 + 46967*x2^2*x6 + 40875*x1*x3*x6 + 64525*x2*x3*x6 + 28388*x3^2*x6 + 46597*x1*x4*x6 + 5088*x2*x4*x6 + 39478*x3*x4*x6 + 63181*x4^2*x6 + 46764*x1*x5*x6 + 12895*x2*x5*x6 + 14464*x3*x5*x6 + 21116*x4*x5*x6 + 5013*x5^2*x6 + 490*x1*x6^2 + 63548*x2*x6^2 + 41535*x3*x6^2 + 23589*x4*x6^2 + 56906*x5*x6^2 + 226*x6^3 + 63548*x1^2*x7 + 46764*x1*x2*x7 + 490*x2^2*x7 + 61460*x1*x3*x7 + 63297*x2*x3*x7 + 46967*x3^2*x7 + 44850*x1*x4*x7 + 40875*x2*x4*x7 + 64525*x3*x4*x7 + 28388*x4^2*x7 + 61460*x1*x5*x7 + 46597*x2*x5*x7 + 5088*x3*x5*x7 + 39478*x4*x5*x7 + 63181*x5^2*x7 + 63297*x1*x6*x7 + 46764*x2*x6*x7 + 12895*x3*x6*x7 + 14464*x4*x6*x7 + 21116*x5*x6*x7 + 5013*x6^2*x7 + 46967*x1*x7^2 + 490*x2*x7^2 + 63548*x3*x7^2 + 41535*x4*x7^2 + 23589*x5*x7^2 + 56906*x6*x7^2 + 226*x7^3 + 41535*x1^2*x8 + 12895*x1*x2*x8 + 63548*x2^2*x8 + 46597*x1*x3*x8 + 46764*x2*x3*x8 + 490*x3^2*x8 + 44850*x1*x4*x8 + 61460*x2*x4*x8 + 63297*x3*x4*x8 + 46967*x4^2*x8 + 44850*x1*x5*x8 + 44850*x2*x5*x8 + 40875*x3*x5*x8 + 64525*x4*x5*x8 + 28388*x5^2*x8 + 40875*x1*x6*x8 + 61460*x2*x6*x8 + 46597*x3*x6*x8 + 5088*x4*x6*x8 + 39478*x5*x6*x8 + 63181*x6^2*x8 + 64525*x1*x7*x8 + 63297*x2*x7*x8 + 46764*x3*x7*x8 + 12895*x4*x7*x8 + 14464*x5*x7*x8 + 21116*x6*x7*x8 + 5013*x7^2*x8 + 28388*x1*x8^2 + 46967*x2*x8^2 + 490*x3*x8^2 + 63548*x4*x8^2 + 41535*x5*x8^2 + 23589*x6*x8^2 + 56906*x7*x8^2 + 226*x8^3 + 23589*x1^2*x9 + 14464*x1*x2*x9 + 41535*x2^2*x9 + 5088*x1*x3*x9 + 12895*x2*x3*x9 + 63548*x3^2*x9 + 40875*x1*x4*x9 + 46597*x2*x4*x9 + 46764*x3*x4*x9 + 490*x4^2*x9 + 61460*x1*x5*x9 + 44850*x2*x5*x9 + 61460*x3*x5*x9 + 63297*x4*x5*x9 + 46967*x5^2*x9 + 46597*x1*x6*x9 + 44850*x2*x6*x9 + 44850*x3*x6*x9 + 40875*x4*x6*x9 + 64525*x5*x6*x9 + 28388*x6^2*x9 + 5088*x1*x7*x9 + 40875*x2*x7*x9 + 61460*x3*x7*x9 + 46597*x4*x7*x9 + 5088*x5*x7*x9 + 39478*x6*x7*x9 + 63181*x7^2*x9 + 39478*x1*x8*x9 + 64525*x2*x8*x9 + 63297*x3*x8*x9 + 46764*x4*x8*x9 + 12895*x5*x8*x9 + 14464*x6*x8*x9 + 21116*x7*x8*x9 + 5013*x8^2*x9 + 63181*x1*x9^2 + 28388*x2*x9^2 + 46967*x3*x9^2 + 490*x4*x9^2 + 63548*x5*x9^2 + 41535*x6*x9^2 + 23589*x7*x9^2 + 56906*x8*x9^2 + 226*x9^3 + 56906*x1^2*x10 + 21116*x1*x2*x10 + 23589*x2^2*x10 + 39478*x1*x3*x10 + 14464*x2*x3*x10 + 41535*x3^2*x10 + 64525*x1*x4*x10 + 5088*x2*x4*x10 + 12895*x3*x4*x10 + 63548*x4^2*x10 + 63297*x1*x5*x10 + 40875*x2*x5*x10 + 46597*x3*x5*x10 + 46764*x4*x5*x10 + 490*x5^2*x10 + 46764*x1*x6*x10 + 61460*x2*x6*x10 + 44850*x3*x6*x10 + 61460*x4*x6*x10 + 63297*x5*x6*x10 + 46967*x6^2*x10 + 12895*x1*x7*x10 + 46597*x2*x7*x10 + 44850*x3*x7*x10 + 44850*x4*x7*x10 + 40875*x5*x7*x10 + 64525*x6*x7*x10 + 28388*x7^2*x10 + 14464*x1*x8*x10 + 5088*x2*x8*x10 + 40875*x3*x8*x10 + 61460*x4*x8*x10 + 46597*x5*x8*x10 + 5088*x6*x8*x10 + 39478*x7*x8*x10 + 63181*x8^2*x10 + 21116*x1*x9*x10 + 39478*x2*x9*x10 + 64525*x3*x9*x10 + 63297*x4*x9*x10 + 46764*x5*x9*x10 + 12895*x6*x9*x10 + 14464*x7*x9*x10 + 21116*x8*x9*x10 + 5013*x9^2*x10 + 5013*x1*x10^2 + 63181*x2*x10^2 + 28388*x3*x10^2 + 46967*x4*x10^2 + 490*x5*x10^2 + 63548*x6*x10^2 + 41535*x7*x10^2 + 23589*x8*x10^2 + 56906*x9*x10^2 + 226*x10^3 + 61*x1^2 + 15667*x1*x2 + 61*x2^2 + 58247*x1*x3 + 15667*x2*x3 + 61*x3^2 + 49717*x1*x4 + 58247*x2*x4 + 15667*x3*x4 + 61*x4^2 + 7033*x1*x5 + 49717*x2*x5 + 58247*x3*x5 + 15667*x4*x5 + 61*x5^2 + 94*x1*x6 + 7033*x2*x6 + 49717*x3*x6 + 58247*x4*x6 + 15667*x5*x6 + 61*x6^2 + 7033*x1*x7 + 94*x2*x7 + 7033*x3*x7 + 49717*x4*x7 + 58247*x5*x7 + 15667*x6*x7 + 61*x7^2 + 49717*x1*x8 + 7033*x2*x8 + 94*x3*x8 + 7033*x4*x8 + 49717*x5*x8 + 58247*x6*x8 + 15667*x7*x8 + 61*x8^2 + 58247*x1*x9 + 49717*x2*x9 + 7033*x3*x9 + 94*x4*x9 + 7033*x5*x9 + 49717*x6*x9 + 58247*x7*x9 + 15667*x8*x9 + 61*x9^2 + 15667*x1*x10 + 58247*x2*x10 + 49717*x3*x10 + 7033*x4*x10 + 94*x5*x10 + 7033*x6*x10 + 49717*x7*x10 + 58247*x8*x10 + 15667*x9*x10 + 61*x10^2 + 65510*x1 + 65510*x2 + 65510*x3 + 65510*x4 + 65510*x5 + 65510*x6 + 65510*x7 + 65510*x8 + 65510*x9 + 65510*x10 + 58212,
65409*x1^3 + 42458*x1^2*x2 + 10077*x1*x2^2 + 65409*x2^3 + 63749*x1^2*x3 + 24289*x1*x2*x3 + 42458*x2^2*x3 + 51698*x1*x3^2 + 10077*x2*x3^2 + 65409*x3^3 + 64923*x1^2*x4 + 47148*x1*x2*x4 + 63749*x2^2*x4 + 4523*x1*x3*x4 + 24289*x2*x3*x4 + 42458*x3^2*x4 + 13347*x1*x4^2 + 51698*x2*x4^2 + 10077*x3*x4^2 + 65409*x4^3 + 47841*x1^2*x5 + 43038*x1*x2*x5 + 64923*x2^2*x5 + 1911*x1*x3*x5 + 47148*x2*x3*x5 + 63749*x3^2*x5 + 38359*x1*x4*x5 + 4523*x2*x4*x5 + 24289*x3*x4*x5 + 42458*x4^2*x5 + 33556*x1*x5^2 + 13347*x2*x5^2 + 51698*x3*x5^2 + 10077*x4*x5^2 + 65409*x5^3 + 72*x1^2*x6 + 41197*x1*x2*x6 + 47841*x2^2*x6 + 32250*x1*x3*x6 + 43038*x2*x3*x6 + 64923*x3^2*x6 + 13131*x1*x4*x6 + 1911*x2*x4*x6 + 47148*x3*x4*x6 + 63749*x4^2*x6 + 45360*x1*x5*x6 + 38359*x2*x5*x6 + 4523*x3*x5*x6 + 24289*x4*x5*x6 + 42458*x5^2*x6 + 72*x1*x6^2 + 33556*x2*x6^2 + 13347*x3*x6^2 + 51698*x4*x6^2 + 10077*x5*x6^2 + 65409*x6^3 + 33556*x1^2*x7 + 45360*x1*x2*x7 + 72*x2^2*x7 + 62841*x1*x3*x7 + 41197*x2*x3*x7 + 47841*x3^2*x7 + 41175*x1*x4*x7 + 32250*x2*x4*x7 + 43038*x3*x4*x7 + 64923*x4^2*x7 + 62841*x1*x5*x7 + 13131*x2*x5*x7 + 1911*x3*x5*x7 + 47148*x4*x5*x7 + 63749*x5^2*x7 + 41197*x1*x6*x7 + 45360*x2*x6*x7 + 38359*x3*x6*x7 + 4523*x4*x6*x7 + 24289*x5*x6*x7 + 42458*x6^2*x7 + 47841*x1*x7^2 + 72*x2*x7^2 + 33556*x3*x7^2 + 13347*x4*x7^2 + 51698*x5*x7^2 + 10077*x6*x7^2 + 65409*x7^3 + 13347*x1^2*x8 + 38359*x1*x2*x8 + 33556*x2^2*x8 + 13131*x1*x3*x8 + 45360*x2*x3*x8 + 72*x3^2*x8 + 41175*x1*x4*x8 + 62841*x2*x4*x8 + 41197*x3*x4*x8 + 47841*x4^2*x8 + 41175*x1*x5*x8 + 41175*x2*x5*x8 + 32250*x3*x5*x8 + 43038*x4*x5*x8 + 64923*x5^2*x8 + 32250*x1*x6*x8 + 62841*x2*x6*x8 + 13131*x3*x6*x8 + 1911*x4*x6*x8 + 47148*x5*x6*x8 + 63749*x6^2*x8 + 43038*x1*x7*x8 + 41197*x2*x7*x8 + 45360*x3*x7*x8 + 38359*x4*x7*x8 + 4523*x5*x7*x8 + 24289*x6*x7*x8 + 42458*x7^2*x8 + 64923*x1*x8^2 + 47841*x2*x8^2 + 72*x3*x8^2 + 33556*x4*x8^2 + 13347*x5*x8^2 + 51698*x6*x8^2 + 10077*x7*x8^2 + 65409*x8^3 + 51698*x1^2*x9 + 4523*x1*x2*x9 + 13347*x2^2*x9 + 1911*x1*x3*x9 + 38359*x2*x3*x9 + 33556*x3^2*x9 + 32250*x1*x4*x9 + 13131*x2*x4*x9 + 45360*x3*x4*x9 + 72*x4^2*x9 + 62841*x1*x5*x9 + 41175*x2*x5*x9 + 62841*x3*x5*x9 + 41197*x4*x5*x9 + 47841*x5^2*x9 + 13131*x1*x6*x9 + 41175*x2*x6*x9 + 41175*x3*x6*x9 + 32250*x4*x6*x9 + 43038*x5*x6*x9 + 64923*x6^2*x9 + 1911*x1*x7*x9 + 32250*x2*x7*x9 + 62841*x3*x7*x9 + 13131*x4*x7*x9 + 1911*x5*x7*x9 + 47148*x6*x7*x9 + 63749*x7^2*x9 + 47148*x1*x8*x9 + 43038*x2*x8*x9 + 41197*x3*x8*x9 + 45360*x4*x8*x9 + 38359*x5*x8*x9 + 4523*x6*x8*x9 + 24289*x7*x8*x9 + 42458*x8^2*x9 + 63749*x1*x9^2 + 64923*x2*x9^2 + 47841*x3*x9^2 + 72*x4*x9^2 + 33556*x5*x9^2 + 13347*x6*x9^2 + 51698*x7*x9^2 + 10077*x8*x9^2 + 65409*x9^3 + 10077*x1^2*x10 + 24289*x1*x2*x10 + 51698*x2^2*x10 + 47148*x1*x3*x10 + 4523*x2*x3*x10 + 13347*x3^2*x10 + 43038*x1*x4*x10 + 1911*x2*x4*x10 + 38359*x3*x4*x10 + 33556*x4^2*x10 + 41197*x1*x5*x10 + 32250*x2*x5*x10 + 13131*x3*x5*x10 + 45360*x4*x5*x10 + 72*x5^2*x10 + 45360*x1*x6*x10 + 62841*x2*x6*x10 + 41175*x3*x6*x10 + 62841*x4*x6*x10 + 41197*x5*x6*x10 + 47841*x6^2*x10 + 38359*x1*x7*x10 + 13131*x2*x7*x10 + 41175*x3*x7*x10 + 41175*x4*x7*x10 + 32250*x5*x7*x10 + 43038*x6*x7*x10 + 64923*x7^2*x10 + 4523*x1*x8*x10 + 1911*x2*x8*x10 + 32250*x3*x8*x10 + 62841*x4*x8*x10 + 13131*x5*x8*x10 + 1911*x6*x8*x10 + 47148*x7*x8*x10 + 63749*x8^2*x10 + 24289*x1*x9*x10 + 47148*x2*x9*x10 + 43038*x3*x9*x10 + 41197*x4*x9*x10 + 45360*x5*x9*x10 + 38359*x6*x9*x10 + 4523*x7*x9*x10 + 24289*x8*x9*x10 + 42458*x9^2*x10 + 42458*x1*x10^2 + 63749*x2*x10^2 + 64923*x3*x10^2 + 47841*x4*x10^2 + 72*x5*x10^2 + 33556*x6*x10^2 + 13347*x7*x10^2 + 51698*x8*x10^2 + 10077*x9*x10^2 + 65409*x10^3 + 65472*x1^2 + 22515*x1*x2 + 65472*x2^2 + 13729*x1*x3 + 22515*x2*x3 + 65472*x3^2 + 42825*x1*x4 + 13729*x2*x4 + 22515*x3*x4 + 65472*x4^2 + 51781*x1*x5 + 42825*x2*x5 + 13729*x3*x5 + 22515*x4*x5 + 65472*x5^2 + 65423*x1*x6 + 51781*x2*x6 + 42825*x3*x6 + 13729*x4*x6 + 22515*x5*x6 + 65472*x6^2 + 51781*x1*x7 + 65423*x2*x7 + 51781*x3*x7 + 42825*x4*x7 + 13729*x5*x7 + 22515*x6*x7 + 65472*x7^2 + 42825*x1*x8 + 51781*x2*x8 + 65423*x3*x8 + 51781*x4*x8 + 42825*x5*x8 + 13729*x6*x8 + 22515*x7*x8 + 65472*x8^2 + 13729*x1*x9 + 42825*x2*x9 + 51781*x3*x9 + 65423*x4*x9 + 51781*x5*x9 + 42825*x6*x9 + 13729*x7*x9 + 22515*x8*x9 + 65472*x9^2 + 22515*x1*x10 + 13729*x2*x10 + 42825*x3*x10 + 51781*x4*x10 + 65423*x5*x10 + 51781*x6*x10 + 42825*x7*x10 + 13729*x8*x10 + 22515*x9*x10 + 65472*x10^2 + 45*x1 + 45*x2 + 45*x3 + 45*x4 + 45*x5 + 45*x6 + 45*x7 + 45*x8 + 45*x9 + 45*x10 + 61767,
15*x1^3 + 3039*x1^2*x2 + 59845*x1*x2^2 + 15*x2^3 + 42117*x1^2*x3 + 62167*x1*x2*x3 + 3039*x2^2*x3 + 41999*x1*x3^2 + 59845*x2*x3^2 + 15*x3^3 + 7666*x1^2*x4 + 1948*x1*x2*x4 + 42117*x2^2*x4 + 10212*x1*x3*x4 + 62167*x2*x3*x4 + 3039*x3^2*x4 + 60376*x1*x4^2 + 41999*x2*x4^2 + 59845*x3*x4^2 + 15*x4^3 + 13159*x1^2*x5 + 26282*x1*x2*x5 + 7666*x2^2*x5 + 43494*x1*x3*x5 + 1948*x2*x3*x5 + 42117*x3^2*x5 + 27387*x1*x4*x5 + 10212*x2*x4*x5 + 62167*x3*x4*x5 + 3039*x4^2*x5 + 34917*x1*x5^2 + 60376*x2*x5^2 + 41999*x3*x5^2 + 59845*x4*x5^2 + 15*x5^3 + 301*x1^2*x6 + 30077*x1*x2*x6 + 13159*x2^2*x6 + 40031*x1*x3*x6 + 26282*x2*x3*x6 + 7666*x3^2*x6 + 34889*x1*x4*x6 + 43494*x2*x4*x6 + 1948*x3*x4*x6 + 42117*x4^2*x6 + 27123*x1*x5*x6 + 27387*x2*x5*x6 + 10212*x3*x5*x6 + 62167*x4*x5*x6 + 3039*x5^2*x6 + 301*x1*x6^2 + 34917*x2*x6^2 + 60376*x3*x6^2 + 41999*x4*x6^2 + 59845*x5*x6^2 + 15*x6^3 + 34917*x1^2*x7 + 27123*x1*x2*x7 + 301*x2^2*x7 + 23162*x1*x3*x7 + 30077*x2*x3*x7 + 13159*x3^2*x7 + 4083*x1*x4*x7 + 40031*x2*x4*x7 + 26282*x3*x4*x7 + 7666*x4^2*x7 + 23162*x1*x5*x7 + 34889*x2*x5*x7 + 43494*x3*x5*x7 + 1948*x4*x5*x7 + 42117*x5^2*x7 + 30077*x1*x6*x7 + 27123*x2*x6*x7 + 27387*x3*x6*x7 + 10212*x4*x6*x7 + 62167*x5*x6*x7 + 3039*x6^2*x7 + 13159*x1*x7^2 + 301*x2*x7^2 + 34917*x3*x7^2 + 60376*x4*x7^2 + 41999*x5*x7^2 + 59845*x6*x7^2 + 15*x7^3 + 60376*x1^2*x8 + 27387*x1*x2*x8 + 34917*x2^2*x8 + 34889*x1*x3*x8 + 27123*x2*x3*x8 + 301*x3^2*x8 + 4083*x1*x4*x8 + 23162*x2*x4*x8 + 30077*x3*x4*x8 + 13159*x4^2*x8 + 4083*x1*x5*x8 + 4083*x2*x5*x8 + 40031*x3*x5*x8 + 26282*x4*x5*x8 + 7666*x5^2*x8 + 40031*x1*x6*x8 + 23162*x2*x6*x8 + 34889*x3*x6*x8 + 43494*x4*x6*x8 + 1948*x5*x6*x8 + 42117*x6^2*x8 + 26282*x1*x7*x8 + 30077*x2*x7*x8 + 27123*x3*x7*x8 + 27387*x4*x7*x8 + 10212*x5*x7*x8 + 62167*x6*x7*x8 + 3039*x7^2*x8 + 7666*x1*x8^2 + 13159*x2*x8^2 + 301*x3*x8^2 + 34917*x4*x8^2 + 60376*x5*x8^2 + 41999*x6*x8^2 + 59845*x7*x8^2 + 15*x8^3 + 41999*x1^2*x9 + 10212*x1*x2*x9 + 60376*x2^2*x9 + 43494*x1*x3*x9 + 27387*x2*x3*x9 + 34917*x3^2*x9 + 40031*x1*x4*x9 + 34889*x2*x4*x9 + 27123*x3*x4*x9 + 301*x4^2*x9 + 23162*x1*x5*x9 + 4083*x2*x5*x9 + 23162*x3*x5*x9 + 30077*x4*x5*x9 + 13159*x5^2*x9 + 34889*x1*x6*x9 + 4083*x2*x6*x9 + 4083*x3*x6*x9 + 40031*x4*x6*x9 + 26282*x5*x6*x9 + 7666*x6^2*x9 + 43494*x1*x7*x9 + 40031*x2*x7*x9 + 23162*x3*x7*x9 + 34889*x4*x7*x9 + 43494*x5*x7*x9 + 1948*x6*x7*x9 + 42117*x7^2*x9 + 1948*x1*x8*x9 + 26282*x2*x8*x9 + 30077*x3*x8*x9 + 27123*x4*x8*x9 + 27387*x5*x8*x9 + 10212*x6*x8*x9 + 62167*x7*x8*x9 + 3039*x8^2*x9 + 42117*x1*x9^2 + 7666*x2*x9^2 + 13159*x3*x9^2 + 301*x4*x9^2 + 34917*x5*x9^2 + 60376*x6*x9^2 + 41999*x7*x9^2 + 59845*x8*x9^2 + 15*x9^3 + 59845*x1^2*x10 + 62167*x1*x2*x10 + 41999*x2^2*x10 + 1948*x1*x3*x10 + 10212*x2*x3*x10 + 60376*x3^2*x10 + 26282*x1*x4*x10 + 43494*x2*x4*x10 + 27387*x3*x4*x10 + 34917*x4^2*x10 + 30077*x1*x5*x10 + 40031*x2*x5*x10 + 34889*x3*x5*x10 + 27123*x4*x5*x10 + 301*x5^2*x10 + 27123*x1*x6*x10 + 23162*x2*x6*x10 + 4083*x3*x6*x10 + 23162*x4*x6*x10 + 30077*x5*x6*x10 + 13159*x6^2*x10 + 27387*x1*x7*x10 + 34889*x2*x7*x10 + 4083*x3*x7*x10 + 4083*x4*x7*x10 + 40031*x5*x7*x10 + 26282*x6*x7*x10 + 7666*x7^2*x10 + 10212*x1*x8*x10 + 43494*x2*x8*x10 + 40031*x3*x8*x10 + 23162*x4*x8*x10 + 34889*x5*x8*x10 + 43494*x6*x8*x10 + 1948*x7*x8*x10 + 42117*x8^2*x10 + 62167*x1*x9*x10 + 1948*x2*x9*x10 + 26282*x3*x9*x10 + 30077*x4*x9*x10 + 27123*x5*x9*x10 + 27387*x6*x9*x10 + 10212*x7*x9*x10 + 62167*x8*x9*x10 + 3039*x9^2*x10 + 3039*x1*x10^2 + 42117*x2*x10^2 + 7666*x3*x10^2 + 13159*x4*x10^2 + 301*x5*x10^2 + 34917*x6*x10^2 + 60376*x7*x10^2 + 41999*x8*x10^2 + 59845*x9*x10^2 + 15*x10^3 + 65403*x1^2 + 49019*x1*x2 + 65403*x2^2 + 3075*x1*x3 + 49019*x2*x3 + 65403*x3^2 + 16692*x1*x4 + 3075*x2*x4 + 49019*x3*x4 + 65403*x4^2 + 62304*x1*x5 + 16692*x2*x5 + 3075*x3*x5 + 49019*x4*x5 + 65403*x5^2 + 65401*x1*x6 + 62304*x2*x6 + 16692*x3*x6 + 3075*x4*x6 + 49019*x5*x6 + 65403*x6^2 + 62304*x1*x7 + 65401*x2*x7 + 62304*x3*x7 + 16692*x4*x7 + 3075*x5*x7 + 49019*x6*x7 + 65403*x7^2 + 16692*x1*x8 + 62304*x2*x8 + 65401*x3*x8 + 62304*x4*x8 + 16692*x5*x8 + 3075*x6*x8 + 49019*x7*x8 + 65403*x8^2 + 3075*x1*x9 + 16692*x2*x9 + 62304*x3*x9 + 65401*x4*x9 + 62304*x5*x9 + 16692*x6*x9 + 3075*x7*x9 + 49019*x8*x9 + 65403*x9^2 + 49019*x1*x10 + 3075*x2*x10 + 16692*x3*x10 + 62304*x4*x10 + 65401*x5*x10 + 62304*x6*x10 + 16692*x7*x10 + 3075*x8*x10 + 49019*x9*x10 + 65403*x10^2 + 20*x1 + 20*x2 + 20*x3 + 20*x4 + 20*x5 + 20*x6 + 20*x7 + 20*x8 + 20*x9 + 20*x10 + 53987,
65450*x1^3 + 24461*x1^2*x2 + 63985*x1*x2^2 + 65450*x2^3 + 58985*x1^2*x3 + 52846*x1*x2*x3 + 24461*x2^2*x3 + 57131*x1*x3^2 + 63985*x2*x3^2 + 65450*x3^3 + 52266*x1^2*x4 + 11159*x1*x2*x4 + 58985*x2^2*x4 + 50853*x1*x3*x4 + 52846*x2*x3*x4 + 24461*x3^2*x4 + 56490*x1*x4^2 + 57131*x2*x4^2 + 63985*x3*x4^2 + 65450*x4^3 + 35646*x1^2*x5 + 31469*x1*x2*x5 + 52266*x2^2*x5 + 29100*x1*x3*x5 + 11159*x2*x3*x5 + 58985*x3^2*x5 + 37969*x1*x4*x5 + 50853*x2*x4*x5 + 52846*x3*x4*x5 + 24461*x4^2*x5 + 45264*x1*x5^2 + 56490*x2*x5^2 + 57131*x3*x5^2 + 63985*x4*x5^2 + 65450*x5^3 + 65472*x1^2*x6 + 15697*x1*x2*x6 + 35646*x2^2*x6 + 38193*x1*x3*x6 + 31469*x2*x3*x6 + 52266*x3^2*x6 + 31612*x1*x4*x6 + 29100*x2*x4*x6 + 11159*x3*x4*x6 + 58985*x4^2*x6 + 47238*x1*x5*x6 + 37969*x2*x5*x6 + 50853*x3*x5*x6 + 52846*x4*x5*x6 + 24461*x5^2*x6 + 65472*x1*x6^2 + 45264*x2*x6^2 + 56490*x3*x6^2 + 57131*x4*x6^2 + 63985*x5*x6^2 + 65450*x6^3 + 45264*x1^2*x7 + 47238*x1*x2*x7 + 65472*x2^2*x7 + 37404*x1*x3*x7 + 15697*x2*x3*x7 + 35646*x3^2*x7 + 12504*x1*x4*x7 + 38193*x2*x4*x7 + 31469*x3*x4*x7 + 52266*x4^2*x7 + 37404*x1*x5*x7 + 31612*x2*x5*x7 + 29100*x3*x5*x7 + 11159*x4*x5*x7 + 58985*x5^2*x7 + 15697*x1*x6*x7 + 47238*x2*x6*x7 + 37969*x3*x6*x7 + 50853*x4*x6*x7 + 52846*x5*x6*x7 + 24461*x6^2*x7 + 35646*x1*x7^2 + 65472*x2*x7^2 + 45264*x3*x7^2 + 56490*x4*x7^2 + 57131*x5*x7^2 + 63985*x6*x7^2 + 65450*x7^3 + 56490*x1^2*x8 + 37969*x1*x2*x8 + 45264*x2^2*x8 + 31612*x1*x3*x8 + 47238*x2*x3*x8 + 65472*x3^2*x8 + 12504*x1*x4*x8 + 37404*x2*x4*x8 + 15697*x3*x4*x8 + 35646*x4^2*x8 + 12504*x1*x5*x8 + 12504*x2*x5*x8 + 38193*x3*x5*x8 + 31469*x4*x5*x8 + 52266*x5^2*x8 + 38193*x1*x6*x8 + 37404*x2*x6*x8 + 31612*x3*x6*x8 + 29100*x4*x6*x8 + 11159*x5*x6*x8 + 58985*x6^2*x8 + 31469*x1*x7*x8 + 15697*x2*x7*x8 + 47238*x3*x7*x8 + 37969*x4*x7*x8 + 50853*x5*x7*x8 + 52846*x6*x7*x8 + 24461*x7^2*x8 + 52266*x1*x8^2 + 35646*x2*x8^2 + 65472*x3*x8^2 + 45264*x4*x8^2 + 56490*x5*x8^2 + 57131*x6*x8^2 + 63985*x7*x8^2 + 65450*x8^3 + 57131*x1^2*x9 + 50853*x1*x2*x9 + 56490*x2^2*x9 + 29100*x1*x3*x9 + 37969*x2*x3*x9 + 45264*x3^2*x9 + 38193*x1*x4*x9 + 31612*x2*x4*x9 + 47238*x3*x4*x9 + 65472*x4^2*x9 + 37404*x1*x5*x9 + 12504*x2*x5*x9 + 37404*x3*x5*x9 + 15697*x4*x5*x9 + 35646*x5^2*x9 + 31612*x1*x6*x9 + 12504*x2*x6*x9 + 12504*x3*x6*x9 + 38193*x4*x6*x9 + 31469*x5*x6*x9 + 52266*x6^2*x9 + 29100*x1*x7*x9 + 38193*x2*x7*x9 + 37404*x3*x7*x9 + 31612*x4*x7*x9 + 29100*x5*x7*x9 + 11159*x6*x7*x9 + 58985*x7^2*x9 + 11159*x1*x8*x9 + 31469*x2*x8*x9 + 15697*x3*x8*x9 + 47238*x4*x8*x9 + 37969*x5*x8*x9 + 50853*x6*x8*x9 + 52846*x7*x8*x9 + 24461*x8^2*x9 + 58985*x1*x9^2 + 52266*x2*x9^2 + 35646*x3*x9^2 + 65472*x4*x9^2 + 45264*x5*x9^2 + 56490*x6*x9^2 + 57131*x7*x9^2 + 63985*x8*x9^2 + 65450*x9^3 + 63985*x1^2*x10 + 52846*x1*x2*x10 + 57131*x2^2*x10 + 11159*x1*x3*x10 + 50853*x2*x3*x10 + 56490*x3^2*x10 + 31469*x1*x4*x10 + 29100*x2*x4*x10 + 37969*x3*x4*x10 + 45264*x4^2*x10 + 15697*x1*x5*x10 + 38193*x2*x5*x10 + 31612*x3*x5*x10 + 47238*x4*x5*x10 + 65472*x5^2*x10 + 47238*x1*x6*x10 + 37404*x2*x6*x10 + 12504*x3*x6*x10 + 37404*x4*x6*x10 + 15697*x5*x6*x10 + 35646*x6^2*x10 + 37969*x1*x7*x10 + 31612*x2*x7*x10 + 12504*x3*x7*x10 + 12504*x4*x7*x10 + 38193*x5*x7*x10 + 31469*x6*x7*x10 + 52266*x7^2*x10 + 50853*x1*x8*x10 + 29100*x2*x8*x10 + 38193*x3*x8*x10 + 37404*x4*x8*x10 + 31612*x5*x8*x10 + 29100*x6*x8*x10 + 11159*x7*x8*x10 + 58985*x8^2*x10 + 52846*x1*x9*x10 + 11159*x2*x9*x10 + 31469*x3*x9*x10 + 15697*x4*x9*x10 + 47238*x5*x9*x10 + 37969*x6*x9*x10 + 50853*x7*x9*x10 + 52846*x8*x9*x10 + 24461*x9^2*x10 + 24461*x1*x10^2 + 58985*x2*x10^2 + 52266*x3*x10^2 + 35646*x4*x10^2 + 65472*x5*x10^2 + 45264*x6*x10^2 + 56490*x7*x10^2 + 57131*x8*x10^2 + 63985*x9*x10^2 + 65450*x10^3 + 65426*x1^2 + 52619*x1*x2 + 65426*x2^2 + 5276*x1*x3 + 52619*x2*x3 + 65426*x3^2 + 12844*x1*x4 + 5276*x2*x4 + 52619*x3*x4 + 65426*x4^2 + 59925*x1*x5 + 12844*x2*x5 + 5276*x3*x5 + 52619*x4*x5 + 65426*x5^2 + 6*x1*x6 + 59925*x2*x6 + 12844*x3*x6 + 5276*x4*x6 + 52619*x5*x6 + 65426*x6^2 + 59925*x1*x7 + 6*x2*x7 + 59925*x3*x7 + 12844*x4*x7 + 5276*x5*x7 + 52619*x6*x7 + 65426*x7^2 + 12844*x1*x8 + 59925*x2*x8 + 6*x3*x8 + 59925*x4*x8 + 12844*x5*x8 + 5276*x6*x8 + 52619*x7*x8 + 65426*x8^2 + 5276*x1*x9 + 12844*x2*x9 + 59925*x3*x9 + 6*x4*x9 + 59925*x5*x9 + 12844*x6*x9 + 5276*x7*x9 + 52619*x8*x9 + 65426*x9^2 + 52619*x1*x10 + 5276*x2*x10 + 12844*x3*x10 + 59925*x4*x10 + 6*x5*x10 + 59925*x6*x10 + 12844*x7*x10 + 5276*x8*x10 + 52619*x9*x10 + 65426*x10^2 + 37*x1 + 37*x2 + 37*x3 + 37*x4 + 37*x5 + 37*x6 + 37*x7 + 37*x8 + 37*x9 + 37*x10 + 21004,
45*x1^3 + 33708*x1^2*x2 + 29731*x1*x2^2 + 45*x2^3 + 34492*x1^2*x3 + 52465*x1*x2*x3 + 33708*x2^2*x3 + 57370*x1*x3^2 + 29731*x2*x3^2 + 45*x3^3 + 23533*x1^2*x4 + 32644*x1*x2*x4 + 34492*x2^2*x4 + 58786*x1*x3*x4 + 52465*x2*x3*x4 + 33708*x3^2*x4 + 44497*x1*x4^2 + 57370*x2*x4^2 + 29731*x3*x4^2 + 45*x4^3 + 54942*x1^2*x5 + 32996*x1*x2*x5 + 23533*x2^2*x5 + 50438*x1*x3*x5 + 32644*x2*x3*x5 + 34492*x3^2*x5 + 7520*x1*x4*x5 + 58786*x2*x4*x5 + 52465*x3*x4*x5 + 33708*x4^2*x5 + 49804*x1*x5^2 + 44497*x2*x5^2 + 57370*x3*x5^2 + 29731*x4*x5^2 + 45*x5^3 + 243*x1^2*x6 + 1738*x1*x2*x6 + 54942*x2^2*x6 + 44320*x1*x3*x6 + 32996*x2*x3*x6 + 23533*x3^2*x6 + 8432*x1*x4*x6 + 50438*x2*x4*x6 + 32644*x3*x4*x6 + 34492*x4^2*x6 + 12395*x1*x5*x6 + 7520*x2*x5*x6 + 58786*x3*x5*x6 + 52465*x4*x5*x6 + 33708*x5^2*x6 + 243*x1*x6^2 + 49804*x2*x6^2 + 44497*x3*x6^2 + 57370*x4*x6^2 + 29731*x5*x6^2 + 45*x6^3 + 49804*x1^2*x7 + 12395*x1*x2*x7 + 243*x2^2*x7 + 15243*x1*x3*x7 + 1738*x2*x3*x7 + 54942*x3^2*x7 + 13268*x1*x4*x7 + 44320*x2*x4*x7 + 32996*x3*x4*x7 + 23533*x4^2*x7 + 15243*x1*x5*x7 + 8432*x2*x5*x7 + 50438*x3*x5*x7 + 32644*x4*x5*x7 + 34492*x5^2*x7 + 1738*x1*x6*x7 + 12395*x2*x6*x7 + 7520*x3*x6*x7 + 58786*x4*x6*x7 + 52465*x5*x6*x7 + 33708*x6^2*x7 + 54942*x1*x7^2 + 243*x2*x7^2 + 49804*x3*x7^2 + 44497*x4*x7^2 + 57370*x5*x7^2 + 29731*x6*x7^2 + 45*x7^3 + 44497*x1^2*x8 + 7520*x1*x2*x8 + 49804*x2^2*x8 + 8432*x1*x3*x8 + 12395*x2*x3*x8 + 243*x3^2*x8 + 13268*x1*x4*x8 + 15243*x2*x4*x8 + 1738*x3*x4*x8 + 54942*x4^2*x8 + 13268*x1*x5*x8 + 13268*x2*x5*x8 + 44320*x3*x5*x8 + 32996*x4*x5*x8 + 23533*x5^2*x8 + 44320*x1*x6*x8 + 15243*x2*x6*x8 + 8432*x3*x6*x8 + 50438*x4*x6*x8 + 32644*x5*x6*x8 + 34492*x6^2*x8 + 32996*x1*x7*x8 + 1738*x2*x7*x8 + 12395*x3*x7*x8 + 7520*x4*x7*x8 + 58786*x5*x7*x8 + 52465*x6*x7*x8 + 33708*x7^2*x8 + 23533*x1*x8^2 + 54942*x2*x8^2 + 243*x3*x8^2 + 49804*x4*x8^2 + 44497*x5*x8^2 + 57370*x6*x8^2 + 29731*x7*x8^2 + 45*x8^3 + 57370*x1^2*x9 + 58786*x1*x2*x9 + 44497*x2^2*x9 + 50438*x1*x3*x9 + 7520*x2*x3*x9 + 49804*x3^2*x9 + 44320*x1*x4*x9 + 8432*x2*x4*x9 + 12395*x3*x4*x9 + 243*x4^2*x9 + 15243*x1*x5*x9 + 13268*x2*x5*x9 + 15243*x3*x5*x9 + 1738*x4*x5*x9 + 54942*x5^2*x9 + 8432*x1*x6*x9 + 13268*x2*x6*x9 + 13268*x3*x6*x9 + 44320*x4*x6*x9 + 32996*x5*x6*x9 + 23533*x6^2*x9 + 50438*x1*x7*x9 + 44320*x2*x7*x9 + 15243*x3*x7*x9 + 8432*x4*x7*x9 + 50438*x5*x7*x9 + 32644*x6*x7*x9 + 34492*x7^2*x9 + 32644*x1*x8*x9 + 32996*x2*x8*x9 + 1738*x3*x8*x9 + 12395*x4*x8*x9 + 7520*x5*x8*x9 + 58786*x6*x8*x9 + 52465*x7*x8*x9 + 33708*x8^2*x9 + 34492*x1*x9^2 + 23533*x2*x9^2 + 54942*x3*x9^2 + 243*x4*x9^2 + 49804*x5*x9^2 + 44497*x6*x9^2 + 57370*x7*x9^2 + 29731*x8*x9^2 + 45*x9^3 + 29731*x1^2*x10 + 52465*x1*x2*x10 + 57370*x2^2*x10 + 32644*x1*x3*x10 + 58786*x2*x3*x10 + 44497*x3^2*x10 + 32996*x1*x4*x10 + 50438*x2*x4*x10 + 7520*x3*x4*x10 + 49804*x4^2*x10 + 1738*x1*x5*x10 + 44320*x2*x5*x10 + 8432*x3*x5*x10 + 12395*x4*x5*x10 + 243*x5^2*x10 + 12395*x1*x6*x10 + 15243*x2*x6*x10 + 13268*x3*x6*x10 + 15243*x4*x6*x10 + 1738*x5*x6*x10 + 54942*x6^2*x10 + 7520*x1*x7*x10 + 8432*x2*x7*x10 + 13268*x3*x7*x10 + 13268*x4*x7*x10 + 44320*x5*x7*x10 + 32996*x6*x7*x10 + 23533*x7^2*x10 + 58786*x1*x8*x10 + 50438*x2*x8*x10 + 44320*x3*x8*x10 + 15243*x4*x8*x10 + 8432*x5*x8*x10 + 50438*x6*x8*x10 + 32644*x7*x8*x10 + 34492*x8^2*x10 + 52465*x1*x9*x10 + 32644*x2*x9*x10 + 32996*x3*x9*x10 + 1738*x4*x9*x10 + 12395*x5*x9*x10 + 7520*x6*x9*x10 + 58786*x7*x9*x10 + 52465*x8*x9*x10 + 33708*x9^2*x10 + 33708*x1*x10^2 + 34492*x2*x10^2 + 23533*x3*x10^2 + 54942*x4*x10^2 + 243*x5*x10^2 + 49804*x6*x10^2 + 44497*x7*x10^2 + 57370*x8*x10^2 + 29731*x9*x10^2 + 45*x10^3 + 65471*x1^2 + 51745*x1*x2 + 65471*x2^2 + 20109*x1*x3 + 51745*x2*x3 + 65471*x3^2 + 13693*x1*x4 + 20109*x2*x4 + 51745*x3*x4 + 65471*x4^2 + 45577*x1*x5 + 13693*x2*x5 + 20109*x3*x5 + 51745*x4*x5 + 65471*x5^2 + 65517*x1*x6 + 45577*x2*x6 + 13693*x3*x6 + 20109*x4*x6 + 51745*x5*x6 + 65471*x6^2 + 45577*x1*x7 + 65517*x2*x7 + 45577*x3*x7 + 13693*x4*x7 + 20109*x5*x7 + 51745*x6*x7 + 65471*x7^2 + 13693*x1*x8 + 45577*x2*x8 + 65517*x3*x8 + 45577*x4*x8 + 13693*x5*x8 + 20109*x6*x8 + 51745*x7*x8 + 65471*x8^2 + 20109*x1*x9 + 13693*x2*x9 + 45577*x3*x9 + 65517*x4*x9 + 45577*x5*x9 + 13693*x6*x9 + 20109*x7*x9 + 51745*x8*x9 + 65471*x9^2 + 51745*x1*x10 + 20109*x2*x10 + 13693*x3*x10 + 45577*x4*x10 + 65517*x5*x10 + 45577*x6*x10 + 13693*x7*x10 + 20109*x8*x10 + 51745*x9*x10 + 65471*x10^2 + 65481*x1 + 65481*x2 + 65481*x3 + 65481*x4 + 65481*x5 + 65481*x6 + 65481*x7 + 65481*x8 + 65481*x9 + 65481*x10 + 60284,
50*x1^3 + 16456*x1^2*x2 + 55372*x1*x2^2 + 50*x2^3 + 59546*x1^2*x3 + 7694*x1*x2*x3 + 16456*x2^2*x3 + 8841*x1*x3^2 + 55372*x2*x3^2 + 50*x3^3 + 29019*x1^2*x4 + 61276*x1*x2*x4 + 59546*x2^2*x4 + 22579*x1*x3*x4 + 7694*x2*x3*x4 + 16456*x3^2*x4 + 30814*x1*x4^2 + 8841*x2*x4^2 + 55372*x3*x4^2 + 50*x4^3 + 47786*x1^2*x5 + 2612*x1*x2*x5 + 29019*x2^2*x5 + 27475*x1*x3*x5 + 61276*x2*x3*x5 + 59546*x3^2*x5 + 44603*x1*x4*x5 + 22579*x2*x4*x5 + 7694*x3*x4*x5 + 16456*x4^2*x5 + 15454*x1*x5^2 + 30814*x2*x5^2 + 8841*x3*x5^2 + 55372*x4*x5^2 + 50*x5^3 + 65447*x1^2*x6 + 65342*x1*x2*x6 + 47786*x2^2*x6 + 49174*x1*x3*x6 + 2612*x2*x3*x6 + 29019*x3^2*x6 + 60924*x1*x4*x6 + 27475*x2*x4*x6 + 61276*x3*x4*x6 + 59546*x4^2*x6 + 21611*x1*x5*x6 + 44603*x2*x5*x6 + 22579*x3*x5*x6 + 7694*x4*x5*x6 + 16456*x5^2*x6 + 65447*x1*x6^2 + 15454*x2*x6^2 + 30814*x3*x6^2 + 8841*x4*x6^2 + 55372*x5*x6^2 + 50*x6^3 + 15454*x1^2*x7 + 21611*x1*x2*x7 + 65447*x2^2*x7 + 38636*x1*x3*x7 + 65342*x2*x3*x7 + 47786*x3^2*x7 + 58341*x1*x4*x7 + 49174*x2*x4*x7 + 2612*x3*x4*x7 + 29019*x4^2*x7 + 38636*x1*x5*x7 + 60924*x2*x5*x7 + 27475*x3*x5*x7 + 61276*x4*x5*x7 + 59546*x5^2*x7 + 65342*x1*x6*x7 + 21611*x2*x6*x7 + 44603*x3*x6*x7 + 22579*x4*x6*x7 + 7694*x5*x6*x7 + 16456*x6^2*x7 + 47786*x1*x7^2 + 65447*x2*x7^2 + 15454*x3*x7^2 + 30814*x4*x7^2 + 8841*x5*x7^2 + 55372*x6*x7^2 + 50*x7^3 + 30814*x1^2*x8 + 44603*x1*x2*x8 + 15454*x2^2*x8 + 60924*x1*x3*x8 + 21611*x2*x3*x8 + 65447*x3^2*x8 + 58341*x1*x4*x8 + 38636*x2*x4*x8 + 65342*x3*x4*x8 + 47786*x4^2*x8 + 58341*x1*x5*x8 + 58341*x2*x5*x8 + 49174*x3*x5*x8 + 2612*x4*x5*x8 + 29019*x5^2*x8 + 49174*x1*x6*x8 + 38636*x2*x6*x8 + 60924*x3*x6*x8 + 27475*x4*x6*x8 + 61276*x5*x6*x8 + 59546*x6^2*x8 + 2612*x1*x7*x8 + 65342*x2*x7*x8 + 21611*x3*x7*x8 + 44603*x4*x7*x8 + 22579*x5*x7*x8 + 7694*x6*x7*x8 + 16456*x7^2*x8 + 29019*x1*x8^2 + 47786*x2*x8^2 + 65447*x3*x8^2 + 15454*x4*x8^2 + 30814*x5*x8^2 + 8841*x6*x8^2 + 55372*x7*x8^2 + 50*x8^3 + 8841*x1^2*x9 + 22579*x1*x2*x9 + 30814*x2^2*x9 + 27475*x1*x3*x9 + 44603*x2*x3*x9 + 15454*x3^2*x9 + 49174*x1*x4*x9 + 60924*x2*x4*x9 + 21611*x3*x4*x9 + 65447*x4^2*x9 + 38636*x1*x5*x9 + 58341*x2*x5*x9 + 38636*x3*x5*x9 + 65342*x4*x5*x9 + 47786*x5^2*x9 + 60924*x1*x6*x9 + 58341*x2*x6*x9 + 58341*x3*x6*x9 + 49174*x4*x6*x9 + 2612*x5*x6*x9 + 29019*x6^2*x9 + 27475*x1*x7*x9 + 49174*x2*x7*x9 + 38636*x3*x7*x9 + 60924*x4*x7*x9 + 27475*x5*x7*x9 + 61276*x6*x7*x9 + 59546*x7^2*x9 + 61276*x1*x8*x9 + 2612*x2*x8*x9 + 65342*x3*x8*x9 + 21611*x4*x8*x9 + 44603*x5*x8*x9 + 22579*x6*x8*x9 + 7694*x7*x8*x9 + 16456*x8^2*x9 + 59546*x1*x9^2 + 29019*x2*x9^2 + 47786*x3*x9^2 + 65447*x4*x9^2 + 15454*x5*x9^2 + 30814*x6*x9^2 + 8841*x7*x9^2 + 55372*x8*x9^2 + 50*x9^3 + 55372*x1^2*x10 + 7694*x1*x2*x10 + 8841*x2^2*x10 + 61276*x1*x3*x10 + 22579*x2*x3*x10 + 30814*x3^2*x10 + 2612*x1*x4*x10 + 27475*x2*x4*x10 + 44603*x3*x4*x10 + 15454*x4^2*x10 + 65342*x1*x5*x10 + 49174*x2*x5*x10 + 60924*x3*x5*x10 + 21611*x4*x5*x10 + 65447*x5^2*x10 + 21611*x1*x6*x10 + 38636*x2*x6*x10 + 58341*x3*x6*x10 + 38636*x4*x6*x10 + 65342*x5*x6*x10 + 47786*x6^2*x10 + 44603*x1*x7*x10 + 60924*x2*x7*x10 + 58341*x3*x7*x10 + 58341*x4*x7*x10 + 49174*x5*x7*x10 + 2612*x6*x7*x10 + 29019*x7^2*x10 + 22579*x1*x8*x10 + 27475*x2*x8*x10 + 49174*x3*x8*x10 + 38636*x4*x8*x10 + 60924*x5*x8*x10 + 27475*x6*x8*x10 + 61276*x7*x8*x10 + 59546*x8^2*x10 + 7694*x1*x9*x10 + 61276*x2*x9*x10 + 2612*x3*x9*x10 + 65342*x4*x9*x10 + 21611*x5*x9*x10 + 44603*x6*x9*x10 + 22579*x7*x9*x10 + 7694*x8*x9*x10 + 16456*x9^2*x10 + 16456*x1*x10^2 + 59546*x2*x10^2 + 29019*x3*x10^2 + 47786*x4*x10^2 + 65447*x5*x10^2 + 15454*x6*x10^2 + 30814*x7*x10^2 + 8841*x8*x10^2 + 55372*x9*x10^2 + 50*x10^3 + 187*x1^2 + 8592*x1*x2 + 187*x2^2 + 144*x1*x3 + 8592*x2*x3 + 187*x3^2 + 56949*x1*x4 + 144*x2*x4 + 8592*x3*x4 + 187*x4^2 + 144*x1*x5 + 56949*x2*x5 + 144*x3*x5 + 8592*x4*x5 + 187*x5^2 + 65471*x1*x6 + 144*x2*x6 + 56949*x3*x6 + 144*x4*x6 + 8592*x5*x6 + 187*x6^2 + 144*x1*x7 + 65471*x2*x7 + 144*x3*x7 + 56949*x4*x7 + 144*x5*x7 + 8592*x6*x7 + 187*x7^2 + 56949*x1*x8 + 144*x2*x8 + 65471*x3*x8 + 144*x4*x8 + 56949*x5*x8 + 144*x6*x8 + 8592*x7*x8 + 187*x8^2 + 144*x1*x9 + 56949*x2*x9 + 144*x3*x9 + 65471*x4*x9 + 144*x5*x9 + 56949*x6*x9 + 144*x7*x9 + 8592*x8*x9 + 187*x9^2 + 8592*x1*x10 + 144*x2*x10 + 56949*x3*x10 + 144*x4*x10 + 65471*x5*x10 + 144*x6*x10 + 56949*x7*x10 + 144*x8*x10 + 8592*x9*x10 + 187*x10^2 + 65475*x1 + 65475*x2 + 65475*x3 + 65475*x4 + 65475*x5 + 65475*x6 + 65475*x7 + 65475*x8 + 65475*x9 + 65475*x10 + 42628,
65466*x1^3 + 33391*x1^2*x2 + 38245*x1*x2^2 + 65466*x2^3 + 25324*x1^2*x3 + 55584*x1*x2*x3 + 33391*x2^2*x3 + 4565*x1*x3^2 + 38245*x2*x3^2 + 65466*x3^3 + 47661*x1^2*x4 + 64445*x1*x2*x4 + 25324*x2^2*x4 + 2654*x1*x3*x4 + 55584*x2*x3*x4 + 33391*x3^2*x4 + 10824*x1*x4^2 + 4565*x2*x4^2 + 38245*x3*x4^2 + 65466*x4^3 + 20850*x1^2*x5 + 63741*x1*x2*x5 + 47661*x2^2*x5 + 61963*x1*x3*x5 + 64445*x2*x3*x5 + 25324*x3^2*x5 + 64321*x1*x4*x5 + 2654*x2*x4*x5 + 55584*x3*x4*x5 + 33391*x4^2*x5 + 13897*x1*x5^2 + 10824*x2*x5^2 + 4565*x3*x5^2 + 38245*x4*x5^2 + 65466*x5^3 + 271*x1^2*x6 + 30569*x1*x2*x6 + 20850*x2^2*x6 + 22110*x1*x3*x6 + 63741*x2*x3*x6 + 47661*x3^2*x6 + 52778*x1*x4*x6 + 61963*x2*x4*x6 + 64445*x3*x4*x6 + 25324*x4^2*x6 + 25443*x1*x5*x6 + 64321*x2*x5*x6 + 2654*x3*x5*x6 + 55584*x4*x5*x6 + 33391*x5^2*x6 + 271*x1*x6^2 + 13897*x2*x6^2 + 10824*x3*x6^2 + 4565*x4*x6^2 + 38245*x5*x6^2 + 65466*x6^3 + 13897*x1^2*x7 + 25443*x1*x2*x7 + 271*x2^2*x7 + 3323*x1*x3*x7 + 30569*x2*x3*x7 + 20850*x3^2*x7 + 9506*x1*x4*x7 + 22110*x2*x4*x7 + 63741*x3*x4*x7 + 47661*x4^2*x7 + 3323*x1*x5*x7 + 52778*x2*x5*x7 + 61963*x3*x5*x7 + 64445*x4*x5*x7 + 25324*x5^2*x7 + 30569*x1*x6*x7 + 25443*x2*x6*x7 + 64321*x3*x6*x7 + 2654*x4*x6*x7 + 55584*x5*x6*x7 + 33391*x6^2*x7 + 20850*x1*x7^2 + 271*x2*x7^2 + 13897*x3*x7^2 + 10824*x4*x7^2 + 4565*x5*x7^2 + 38245*x6*x7^2 + 65466*x7^3 + 10824*x1^2*x8 + 64321*x1*x2*x8 + 13897*x2^2*x8 + 52778*x1*x3*x8 + 25443*x2*x3*x8 + 271*x3^2*x8 + 9506*x1*x4*x8 + 3323*x2*x4*x8 + 30569*x3*x4*x8 + 20850*x4^2*x8 + 9506*x1*x5*x8 + 9506*x2*x5*x8 + 22110*x3*x5*x8 + 63741*x4*x5*x8 + 47661*x5^2*x8 + 22110*x1*x6*x8 + 3323*x2*x6*x8 + 52778*x3*x6*x8 + 61963*x4*x6*x8 + 64445*x5*x6*x8 + 25324*x6^2*x8 + 63741*x1*x7*x8 + 30569*x2*x7*x8 + 25443*x3*x7*x8 + 64321*x4*x7*x8 + 2654*x5*x7*x8 + 55584*x6*x7*x8 + 33391*x7^2*x8 + 47661*x1*x8^2 + 20850*x2*x8^2 + 271*x3*x8^2 + 13897*x4*x8^2 + 10824*x5*x8^2 + 4565*x6*x8^2 + 38245*x7*x8^2 + 65466*x8^3 + 4565*x1^2*x9 + 2654*x1*x2*x9 + 10824*x2^2*x9 + 61963*x1*x3*x9 + 64321*x2*x3*x9 + 13897*x3^2*x9 + 22110*x1*x4*x9 + 52778*x2*x4*x9 + 25443*x3*x4*x9 + 271*x4^2*x9 + 3323*x1*x5*x9 + 9506*x2*x5*x9 + 3323*x3*x5*x9 + 30569*x4*x5*x9 + 20850*x5^2*x9 + 52778*x1*x6*x9 + 9506*x2*x6*x9 + 9506*x3*x6*x9 + 22110*x4*x6*x9 + 63741*x5*x6*x9 + 47661*x6^2*x9 + 61963*x1*x7*x9 + 22110*x2*x7*x9 + 3323*x3*x7*x9 + 52778*x4*x7*x9 + 61963*x5*x7*x9 + 64445*x6*x7*x9 + 25324*x7^2*x9 + 64445*x1*x8*x9 + 63741*x2*x8*x9 + 30569*x3*x8*x9 + 25443*x4*x8*x9 + 64321*x5*x8*x9 + 2654*x6*x8*x9 + 55584*x7*x8*x9 + 33391*x8^2*x9 + 25324*x1*x9^2 + 47661*x2*x9^2 + 20850*x3*x9^2 + 271*x4*x9^2 + 13897*x5*x9^2 + 10824*x6*x9^2 + 4565*x7*x9^2 + 38245*x8*x9^2 + 65466*x9^3 + 38245*x1^2*x10 + 55584*x1*x2*x10 + 4565*x2^2*x10 + 64445*x1*x3*x10 + 2654*x2*x3*x10 + 10824*x3^2*x10 + 63741*x1*x4*x10 + 61963*x2*x4*x10 + 64321*x3*x4*x10 + 13897*x4^2*x10 + 30569*x1*x5*x10 + 22110*x2*x5*x10 + 52778*x3*x5*x10 + 25443*x4*x5*x10 + 271*x5^2*x10 + 25443*x1*x6*x10 + 3323*x2*x6*x10 + 9506*x3*x6*x10 + 3323*x4*x6*x10 + 30569*x5*x6*x10 + 20850*x6^2*x10 + 64321*x1*x7*x10 + 52778*x2*x7*x10 + 9506*x3*x7*x10 + 9506*x4*x7*x10 + 22110*x5*x7*x10 + 63741*x6*x7*x10 + 47661*x7^2*x10 + 2654*x1*x8*x10 + 61963*x2*x8*x10 + 22110*x3*x8*x10 + 3323*x4*x8*x10 + 52778*x5*x8*x10 + 61963*x6*x8*x10 + 64445*x7*x8*x10 + 25324*x8^2*x10 + 55584*x1*x9*x10 + 64445*x2*x9*x10 + 63741*x3*x9*x10 + 30569*x4*x9*x10 + 25443*x5*x9*x10 + 64321*x6*x9*x10 + 2654*x7*x9*x10 + 55584*x8*x9*x10 + 33391*x9^2*x10 + 33391*x1*x10^2 + 25324*x2*x10^2 + 47661*x3*x10^2 + 20850*x4*x10^2 + 271*x5*x10^2 + 13897*x6*x10^2 + 10824*x7*x10^2 + 4565*x8*x10^2 + 38245*x9*x10^2 + 65466*x10^3 + 3*x1^2 + 10829*x1*x2 + 3*x2^2 + 27285*x1*x3 + 10829*x2*x3 + 3*x3^2 + 54606*x1*x4 + 27285*x2*x4 + 10829*x3*x4 + 3*x4^2 + 37868*x1*x5 + 54606*x2*x5 + 27285*x3*x5 + 10829*x4*x5 + 3*x5^2 + 42*x1*x6 + 37868*x2*x6 + 54606*x3*x6 + 27285*x4*x6 + 10829*x5*x6 + 3*x6^2 + 37868*x1*x7 + 42*x2*x7 + 37868*x3*x7 + 54606*x4*x7 + 27285*x5*x7 + 10829*x6*x7 + 3*x7^2 + 54606*x1*x8 + 37868*x2*x8 + 42*x3*x8 + 37868*x4*x8 + 54606*x5*x8 + 27285*x6*x8 + 10829*x7*x8 + 3*x8^2 + 27285*x1*x9 + 54606*x2*x9 + 37868*x3*x9 + 42*x4*x9 + 37868*x5*x9 + 54606*x6*x9 + 27285*x7*x9 + 10829*x8*x9 + 3*x9^2 + 10829*x1*x10 + 27285*x2*x10 + 54606*x3*x10 + 37868*x4*x10 + 42*x5*x10 + 37868*x6*x10 + 54606*x7*x10 + 27285*x8*x10 + 10829*x9*x10 + 3*x10^2 + 4*x1 + 4*x2 + 4*x3 + 4*x4 + 4*x5 + 4*x6 + 4*x7 + 4*x8 + 4*x9 + 4*x10 + 42197
]
: