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



#modulo 65521

#list

[
11*x1^3 + 47096*x1^2*x2 + 18608*x1*x2^2 + 11*x2^3 + 1459*x1^2*x3 + 65239*x1*x2*x3 + 47096*x2^2*x3 + 64131*x1*x3^2 + 18608*x2*x3^2 + 11*x3^3 + 65146*x1^2*x4 + 20648*x1*x2*x4 + 1459*x2^2*x4 + 44609*x1*x3*x4 + 65239*x2*x3*x4 + 47096*x3^2*x4 + 65146*x1*x4^2 + 64131*x2*x4^2 + 18608*x3*x4^2 + 11*x4^3 + 64131*x1^2*x5 + 44609*x1*x2*x5 + 65146*x2^2*x5 + 30*x1*x3*x5 + 20648*x2*x3*x5 + 1459*x3^2*x5 + 20648*x1*x4*x5 + 44609*x2*x4*x5 + 65239*x3*x4*x5 + 47096*x4^2*x5 + 1459*x1*x5^2 + 65146*x2*x5^2 + 64131*x3*x5^2 + 18608*x4*x5^2 + 11*x5^3 + 18608*x1^2*x6 + 65239*x1*x2*x6 + 64131*x2^2*x6 + 20648*x1*x3*x6 + 44609*x2*x3*x6 + 65146*x3^2*x6 + 44609*x1*x4*x6 + 30*x2*x4*x6 + 20648*x3*x4*x6 + 1459*x4^2*x6 + 65239*x1*x5*x6 + 20648*x2*x5*x6 + 44609*x3*x5*x6 + 65239*x4*x5*x6 + 47096*x5^2*x6 + 47096*x1*x6^2 + 1459*x2*x6^2 + 65146*x3*x6^2 + 64131*x4*x6^2 + 18608*x5*x6^2 + 11*x6^3 + 65471*x1^2*x7 + 65427*x1*x2*x7 + 65471*x2^2*x7 + 65427*x1*x3*x7 + 65427*x2*x3*x7 + 65471*x3^2*x7 + 128*x1*x4*x7 + 65427*x2*x4*x7 + 65427*x3*x4*x7 + 65471*x4^2*x7 + 65427*x1*x5*x7 + 128*x2*x5*x7 + 65427*x3*x5*x7 + 65427*x4*x5*x7 + 65471*x5^2*x7 + 65427*x1*x6*x7 + 65427*x2*x6*x7 + 128*x3*x6*x7 + 65427*x4*x6*x7 + 65427*x5*x6*x7 + 65471*x6^2*x7 + 4*x1*x7^2 + 4*x2*x7^2 + 4*x3*x7^2 + 4*x4*x7^2 + 4*x5*x7^2 + 4*x6*x7^2 + 65457*x7^3 + 65471*x1^2*x8 + 65427*x1*x2*x8 + 65471*x2^2*x8 + 65427*x1*x3*x8 + 65427*x2*x3*x8 + 65471*x3^2*x8 + 128*x1*x4*x8 + 65427*x2*x4*x8 + 65427*x3*x4*x8 + 65471*x4^2*x8 + 65427*x1*x5*x8 + 128*x2*x5*x8 + 65427*x3*x5*x8 + 65427*x4*x5*x8 + 65471*x5^2*x8 + 65427*x1*x6*x8 + 65427*x2*x6*x8 + 128*x3*x6*x8 + 65427*x4*x6*x8 + 65427*x5*x6*x8 + 65471*x6^2*x8 + 62*x1*x7*x8 + 62*x2*x7*x8 + 62*x3*x7*x8 + 62*x4*x7*x8 + 62*x5*x7*x8 + 62*x6*x7*x8 + 36305*x7^2*x8 + 4*x1*x8^2 + 4*x2*x8^2 + 4*x3*x8^2 + 4*x4*x8^2 + 4*x5*x8^2 + 4*x6*x8^2 + 29744*x7*x8^2 + 65457*x8^3 + 65471*x1^2*x9 + 65427*x1*x2*x9 + 65471*x2^2*x9 + 65427*x1*x3*x9 + 65427*x2*x3*x9 + 65471*x3^2*x9 + 128*x1*x4*x9 + 65427*x2*x4*x9 + 65427*x3*x4*x9 + 65471*x4^2*x9 + 65427*x1*x5*x9 + 128*x2*x5*x9 + 65427*x3*x5*x9 + 65427*x4*x5*x9 + 65471*x5^2*x9 + 65427*x1*x6*x9 + 65427*x2*x6*x9 + 128*x3*x6*x9 + 65427*x4*x6*x9 + 65427*x5*x6*x9 + 65471*x6^2*x9 + 52*x1*x7*x9 + 52*x2*x7*x9 + 52*x3*x7*x9 + 52*x4*x7*x9 + 52*x5*x7*x9 + 52*x6*x7*x9 + 80*x7^2*x9 + 62*x1*x8*x9 + 62*x2*x8*x9 + 62*x3*x8*x9 + 62*x4*x8*x9 + 62*x5*x8*x9 + 62*x6*x8*x9 + 112*x7*x8*x9 + 36305*x8^2*x9 + 4*x1*x9^2 + 4*x2*x9^2 + 4*x3*x9^2 + 4*x4*x9^2 + 4*x5*x9^2 + 4*x6*x9^2 + 80*x7*x9^2 + 29744*x8*x9^2 + 65457*x9^3 + 65471*x1^2*x10 + 65427*x1*x2*x10 + 65471*x2^2*x10 + 65427*x1*x3*x10 + 65427*x2*x3*x10 + 65471*x3^2*x10 + 128*x1*x4*x10 + 65427*x2*x4*x10 + 65427*x3*x4*x10 + 65471*x4^2*x10 + 65427*x1*x5*x10 + 128*x2*x5*x10 + 65427*x3*x5*x10 + 65427*x4*x5*x10 + 65471*x5^2*x10 + 65427*x1*x6*x10 + 65427*x2*x6*x10 + 128*x3*x6*x10 + 65427*x4*x6*x10 + 65427*x5*x6*x10 + 65471*x6^2*x10 + 62*x1*x7*x10 + 62*x2*x7*x10 + 62*x3*x7*x10 + 62*x4*x7*x10 + 62*x5*x7*x10 + 62*x6*x7*x10 + 29744*x7^2*x10 + 52*x1*x8*x10 + 52*x2*x8*x10 + 52*x3*x8*x10 + 52*x4*x8*x10 + 52*x5*x8*x10 + 52*x6*x8*x10 + 112*x7*x8*x10 + 80*x8^2*x10 + 62*x1*x9*x10 + 62*x2*x9*x10 + 62*x3*x9*x10 + 62*x4*x9*x10 + 62*x5*x9*x10 + 62*x6*x9*x10 + 112*x7*x9*x10 + 112*x8*x9*x10 + 36305*x9^2*x10 + 4*x1*x10^2 + 4*x2*x10^2 + 4*x3*x10^2 + 4*x4*x10^2 + 4*x5*x10^2 + 4*x6*x10^2 + 36305*x7*x10^2 + 80*x8*x10^2 + 29744*x9*x10^2 + 65457*x10^3 + 65458*x1^2 + 65430*x1*x2 + 65458*x2^2 + 65356*x1*x3 + 65430*x2*x3 + 65458*x3^2 + 110*x1*x4 + 65356*x2*x4 + 65430*x3*x4 + 65458*x4^2 + 65356*x1*x5 + 110*x2*x5 + 65356*x3*x5 + 65430*x4*x5 + 65458*x5^2 + 65430*x1*x6 + 65356*x2*x6 + 110*x3*x6 + 65356*x4*x6 + 65430*x5*x6 + 65458*x6^2 + 17*x1*x7 + 17*x2*x7 + 17*x3*x7 + 17*x4*x7 + 17*x5*x7 + 17*x6*x7 + 65505*x7^2 + 17*x1*x8 + 17*x2*x8 + 17*x3*x8 + 17*x4*x8 + 17*x5*x8 + 17*x6*x8 + 65457*x7*x8 + 65505*x8^2 + 17*x1*x9 + 17*x2*x9 + 17*x3*x9 + 17*x4*x9 + 17*x5*x9 + 17*x6*x9 + 160*x7*x9 + 65457*x8*x9 + 65505*x9^2 + 17*x1*x10 + 17*x2*x10 + 17*x3*x10 + 17*x4*x10 + 17*x5*x10 + 17*x6*x10 + 65457*x7*x10 + 160*x8*x10 + 65457*x9*x10 + 65505*x10^2 + 43*x1 + 43*x2 + 43*x3 + 43*x4 + 43*x5 + 43*x6 + 65497*x7 + 65497*x8 + 65497*x9 + 65497*x10 + 44353,
52*x1^3 + 46553*x1^2*x2 + 19071*x1*x2^2 + 52*x2^3 + 11370*x1^2*x3 + 65432*x1*x2*x3 + 46553*x2^2*x3 + 54268*x1*x3^2 + 19071*x2*x3^2 + 52*x3^3 + 65193*x1^2*x4 + 9023*x1*x2*x4 + 11370*x2^2*x4 + 56110*x1*x3*x4 + 65432*x2*x3*x4 + 46553*x3^2*x4 + 65193*x1*x4^2 + 54268*x2*x4^2 + 19071*x3*x4^2 + 52*x4^3 + 54268*x1^2*x5 + 56110*x1*x2*x5 + 65193*x2^2*x5 + 411*x1*x3*x5 + 9023*x2*x3*x5 + 11370*x3^2*x5 + 9023*x1*x4*x5 + 56110*x2*x4*x5 + 65432*x3*x4*x5 + 46553*x4^2*x5 + 11370*x1*x5^2 + 65193*x2*x5^2 + 54268*x3*x5^2 + 19071*x4*x5^2 + 52*x5^3 + 19071*x1^2*x6 + 65432*x1*x2*x6 + 54268*x2^2*x6 + 9023*x1*x3*x6 + 56110*x2*x3*x6 + 65193*x3^2*x6 + 56110*x1*x4*x6 + 411*x2*x4*x6 + 9023*x3*x4*x6 + 11370*x4^2*x6 + 65432*x1*x5*x6 + 9023*x2*x5*x6 + 56110*x3*x5*x6 + 65432*x4*x5*x6 + 46553*x5^2*x6 + 46553*x1*x6^2 + 11370*x2*x6^2 + 65193*x3*x6^2 + 54268*x4*x6^2 + 19071*x5*x6^2 + 52*x6^3 + 65408*x1^2*x7 + 25*x1*x2*x7 + 65408*x2^2*x7 + 65454*x1*x3*x7 + 25*x2*x3*x7 + 65408*x3^2*x7 + 118*x1*x4*x7 + 65454*x2*x4*x7 + 25*x3*x4*x7 + 65408*x4^2*x7 + 65454*x1*x5*x7 + 118*x2*x5*x7 + 65454*x3*x5*x7 + 25*x4*x5*x7 + 65408*x5^2*x7 + 25*x1*x6*x7 + 65454*x2*x6*x7 + 118*x3*x6*x7 + 65454*x4*x6*x7 + 25*x5*x6*x7 + 65408*x6^2*x7 + 35*x1*x7^2 + 35*x2*x7^2 + 35*x3*x7^2 + 35*x4*x7^2 + 35*x5*x7^2 + 35*x6*x7^2 + 65496*x7^3 + 65408*x1^2*x8 + 25*x1*x2*x8 + 65408*x2^2*x8 + 65454*x1*x3*x8 + 25*x2*x3*x8 + 65408*x3^2*x8 + 118*x1*x4*x8 + 65454*x2*x4*x8 + 25*x3*x4*x8 + 65408*x4^2*x8 + 65454*x1*x5*x8 + 118*x2*x5*x8 + 65454*x3*x5*x8 + 25*x4*x5*x8 + 65408*x5^2*x8 + 25*x1*x6*x8 + 65454*x2*x6*x8 + 118*x3*x6*x8 + 65454*x4*x6*x8 + 25*x5*x6*x8 + 65408*x6^2*x8 + 65357*x1*x7*x8 + 65357*x2*x7*x8 + 65357*x3*x7*x8 + 65357*x4*x7*x8 + 65357*x5*x7*x8 + 65357*x6*x7*x8 + 32013*x7^2*x8 + 35*x1*x8^2 + 35*x2*x8^2 + 35*x3*x8^2 + 35*x4*x8^2 + 35*x5*x8^2 + 35*x6*x8^2 + 33062*x7*x8^2 + 65496*x8^3 + 65408*x1^2*x9 + 25*x1*x2*x9 + 65408*x2^2*x9 + 65454*x1*x3*x9 + 25*x2*x3*x9 + 65408*x3^2*x9 + 118*x1*x4*x9 + 65454*x2*x4*x9 + 25*x3*x4*x9 + 65408*x4^2*x9 + 65454*x1*x5*x9 + 118*x2*x5*x9 + 65454*x3*x5*x9 + 25*x4*x5*x9 + 65408*x5^2*x9 + 25*x1*x6*x9 + 65454*x2*x6*x9 + 118*x3*x6*x9 + 65454*x4*x6*x9 + 25*x5*x6*x9 + 65408*x6^2*x9 + 65403*x1*x7*x9 + 65403*x2*x7*x9 + 65403*x3*x7*x9 + 65403*x4*x7*x9 + 65403*x5*x7*x9 + 65403*x6*x7*x9 + 65322*x7^2*x9 + 65357*x1*x8*x9 + 65357*x2*x8*x9 + 65357*x3*x8*x9 + 65357*x4*x8*x9 + 65357*x5*x8*x9 + 65357*x6*x8*x9 + 65471*x7*x8*x9 + 32013*x8^2*x9 + 35*x1*x9^2 + 35*x2*x9^2 + 35*x3*x9^2 + 35*x4*x9^2 + 35*x5*x9^2 + 35*x6*x9^2 + 65322*x7*x9^2 + 33062*x8*x9^2 + 65496*x9^3 + 65408*x1^2*x10 + 25*x1*x2*x10 + 65408*x2^2*x10 + 65454*x1*x3*x10 + 25*x2*x3*x10 + 65408*x3^2*x10 + 118*x1*x4*x10 + 65454*x2*x4*x10 + 25*x3*x4*x10 + 65408*x4^2*x10 + 65454*x1*x5*x10 + 118*x2*x5*x10 + 65454*x3*x5*x10 + 25*x4*x5*x10 + 65408*x5^2*x10 + 25*x1*x6*x10 + 65454*x2*x6*x10 + 118*x3*x6*x10 + 65454*x4*x6*x10 + 25*x5*x6*x10 + 65408*x6^2*x10 + 65357*x1*x7*x10 + 65357*x2*x7*x10 + 65357*x3*x7*x10 + 65357*x4*x7*x10 + 65357*x5*x7*x10 + 65357*x6*x7*x10 + 33062*x7^2*x10 + 65403*x1*x8*x10 + 65403*x2*x8*x10 + 65403*x3*x8*x10 + 65403*x4*x8*x10 + 65403*x5*x8*x10 + 65403*x6*x8*x10 + 65471*x7*x8*x10 + 65322*x8^2*x10 + 65357*x1*x9*x10 + 65357*x2*x9*x10 + 65357*x3*x9*x10 + 65357*x4*x9*x10 + 65357*x5*x9*x10 + 65357*x6*x9*x10 + 65471*x7*x9*x10 + 65471*x8*x9*x10 + 32013*x9^2*x10 + 35*x1*x10^2 + 35*x2*x10^2 + 35*x3*x10^2 + 35*x4*x10^2 + 35*x5*x10^2 + 35*x6*x10^2 + 32013*x7*x10^2 + 65322*x8*x10^2 + 33062*x9*x10^2 + 65496*x10^3 + 65497*x1^2 + 205*x1*x2 + 65497*x2^2 + 65500*x1*x3 + 205*x2*x3 + 65497*x3^2 + 16*x1*x4 + 65500*x2*x4 + 205*x3*x4 + 65497*x4^2 + 65500*x1*x5 + 16*x2*x5 + 65500*x3*x5 + 205*x4*x5 + 65497*x5^2 + 205*x1*x6 + 65500*x2*x6 + 16*x3*x6 + 65500*x4*x6 + 205*x5*x6 + 65497*x6^2 + 65482*x1*x7 + 65482*x2*x7 + 65482*x3*x7 + 65482*x4*x7 + 65482*x5*x7 + 65482*x6*x7 + 65508*x7^2 + 65482*x1*x8 + 65482*x2*x8 + 65482*x3*x8 + 65482*x4*x8 + 65482*x5*x8 + 65482*x6*x8 + 106*x7*x8 + 65508*x8^2 + 65482*x1*x9 + 65482*x2*x9 + 65482*x3*x9 + 65482*x4*x9 + 65482*x5*x9 + 65482*x6*x9 + 150*x7*x9 + 106*x8*x9 + 65508*x9^2 + 65482*x1*x10 + 65482*x2*x10 + 65482*x3*x10 + 65482*x4*x10 + 65482*x5*x10 + 65482*x6*x10 + 106*x7*x10 + 150*x8*x10 + 106*x9*x10 + 65508*x10^2 + 34*x1 + 34*x2 + 34*x3 + 34*x4 + 34*x5 + 34*x6 + 65501*x7 + 65501*x8 + 65501*x9 + 65501*x10 + 23385,
65388*x1^3 + 36281*x1^2*x2 + 28742*x1*x2^2 + 65388*x2^3 + 30214*x1^2*x3 + 65350*x1*x2*x3 + 36281*x2^2*x3 + 35073*x1*x3^2 + 28742*x2*x3^2 + 65388*x3^3 + 65398*x1^2*x4 + 64340*x1*x2*x4 + 30214*x2^2*x4 + 497*x1*x3*x4 + 65350*x2*x3*x4 + 36281*x3^2*x4 + 65398*x1*x4^2 + 35073*x2*x4^2 + 28742*x3*x4^2 + 65388*x4^3 + 35073*x1^2*x5 + 497*x1*x2*x5 + 65398*x2^2*x5 + 453*x1*x3*x5 + 64340*x2*x3*x5 + 30214*x3^2*x5 + 64340*x1*x4*x5 + 497*x2*x4*x5 + 65350*x3*x4*x5 + 36281*x4^2*x5 + 30214*x1*x5^2 + 65398*x2*x5^2 + 35073*x3*x5^2 + 28742*x4*x5^2 + 65388*x5^3 + 28742*x1^2*x6 + 65350*x1*x2*x6 + 35073*x2^2*x6 + 64340*x1*x3*x6 + 497*x2*x3*x6 + 65398*x3^2*x6 + 497*x1*x4*x6 + 453*x2*x4*x6 + 64340*x3*x4*x6 + 30214*x4^2*x6 + 65350*x1*x5*x6 + 64340*x2*x5*x6 + 497*x3*x5*x6 + 65350*x4*x5*x6 + 36281*x5^2*x6 + 36281*x1*x6^2 + 30214*x2*x6^2 + 65398*x3*x6^2 + 35073*x4*x6^2 + 28742*x5*x6^2 + 65388*x6^3 + 65484*x1^2*x7 + 55*x1*x2*x7 + 65484*x2^2*x7 + 65354*x1*x3*x7 + 55*x2*x3*x7 + 65484*x3^2*x7 + 34*x1*x4*x7 + 65354*x2*x4*x7 + 55*x3*x4*x7 + 65484*x4^2*x7 + 65354*x1*x5*x7 + 34*x2*x5*x7 + 65354*x3*x5*x7 + 55*x4*x5*x7 + 65484*x5^2*x7 + 55*x1*x6*x7 + 65354*x2*x6*x7 + 34*x3*x6*x7 + 65354*x4*x6*x7 + 55*x5*x6*x7 + 65484*x6^2*x7 + 62*x1*x7^2 + 62*x2*x7^2 + 62*x3*x7^2 + 62*x4*x7^2 + 62*x5*x7^2 + 62*x6*x7^2 + 38*x7^3 + 65484*x1^2*x8 + 55*x1*x2*x8 + 65484*x2^2*x8 + 65354*x1*x3*x8 + 55*x2*x3*x8 + 65484*x3^2*x8 + 34*x1*x4*x8 + 65354*x2*x4*x8 + 55*x3*x4*x8 + 65484*x4^2*x8 + 65354*x1*x5*x8 + 34*x2*x5*x8 + 65354*x3*x5*x8 + 55*x4*x5*x8 + 65484*x5^2*x8 + 55*x1*x6*x8 + 65354*x2*x6*x8 + 34*x3*x6*x8 + 65354*x4*x6*x8 + 55*x5*x6*x8 + 65484*x6^2*x8 + 65495*x1*x7*x8 + 65495*x2*x7*x8 + 65495*x3*x7*x8 + 65495*x4*x7*x8 + 65495*x5*x7*x8 + 65495*x6*x7*x8 + 27339*x7^2*x8 + 62*x1*x8^2 + 62*x2*x8^2 + 62*x3*x8^2 + 62*x4*x8^2 + 62*x5*x8^2 + 62*x6*x8^2 + 38274*x7*x8^2 + 38*x8^3 + 65484*x1^2*x9 + 55*x1*x2*x9 + 65484*x2^2*x9 + 65354*x1*x3*x9 + 55*x2*x3*x9 + 65484*x3^2*x9 + 34*x1*x4*x9 + 65354*x2*x4*x9 + 55*x3*x4*x9 + 65484*x4^2*x9 + 65354*x1*x5*x9 + 34*x2*x5*x9 + 65354*x3*x5*x9 + 55*x4*x5*x9 + 65484*x5^2*x9 + 55*x1*x6*x9 + 65354*x2*x6*x9 + 34*x3*x6*x9 + 65354*x4*x6*x9 + 55*x5*x6*x9 + 65484*x6^2*x9 + 200*x1*x7*x9 + 200*x2*x7*x9 + 200*x3*x7*x9 + 200*x4*x7*x9 + 200*x5*x7*x9 + 200*x6*x7*x9 + 65443*x7^2*x9 + 65495*x1*x8*x9 + 65495*x2*x8*x9 + 65495*x3*x8*x9 + 65495*x4*x8*x9 + 65495*x5*x8*x9 + 65495*x6*x8*x9 + 268*x7*x8*x9 + 27339*x8^2*x9 + 62*x1*x9^2 + 62*x2*x9^2 + 62*x3*x9^2 + 62*x4*x9^2 + 62*x5*x9^2 + 62*x6*x9^2 + 65443*x7*x9^2 + 38274*x8*x9^2 + 38*x9^3 + 65484*x1^2*x10 + 55*x1*x2*x10 + 65484*x2^2*x10 + 65354*x1*x3*x10 + 55*x2*x3*x10 + 65484*x3^2*x10 + 34*x1*x4*x10 + 65354*x2*x4*x10 + 55*x3*x4*x10 + 65484*x4^2*x10 + 65354*x1*x5*x10 + 34*x2*x5*x10 + 65354*x3*x5*x10 + 55*x4*x5*x10 + 65484*x5^2*x10 + 55*x1*x6*x10 + 65354*x2*x6*x10 + 34*x3*x6*x10 + 65354*x4*x6*x10 + 55*x5*x6*x10 + 65484*x6^2*x10 + 65495*x1*x7*x10 + 65495*x2*x7*x10 + 65495*x3*x7*x10 + 65495*x4*x7*x10 + 65495*x5*x7*x10 + 65495*x6*x7*x10 + 38274*x7^2*x10 + 200*x1*x8*x10 + 200*x2*x8*x10 + 200*x3*x8*x10 + 200*x4*x8*x10 + 200*x5*x8*x10 + 200*x6*x8*x10 + 268*x7*x8*x10 + 65443*x8^2*x10 + 65495*x1*x9*x10 + 65495*x2*x9*x10 + 65495*x3*x9*x10 + 65495*x4*x9*x10 + 65495*x5*x9*x10 + 65495*x6*x9*x10 + 268*x7*x9*x10 + 268*x8*x9*x10 + 27339*x9^2*x10 + 62*x1*x10^2 + 62*x2*x10^2 + 62*x3*x10^2 + 62*x4*x10^2 + 62*x5*x10^2 + 62*x6*x10^2 + 27339*x7*x10^2 + 65443*x8*x10^2 + 38274*x9*x10^2 + 38*x10^3 + 160*x1^2 + 65479*x1*x2 + 160*x2^2 + 26*x1*x3 + 65479*x2*x3 + 160*x3^2 + 65485*x1*x4 + 26*x2*x4 + 65479*x3*x4 + 160*x4^2 + 26*x1*x5 + 65485*x2*x5 + 26*x3*x5 + 65479*x4*x5 + 160*x5^2 + 65479*x1*x6 + 26*x2*x6 + 65485*x3*x6 + 26*x4*x6 + 65479*x5*x6 + 160*x6^2 + 32*x1*x7 + 32*x2*x7 + 32*x3*x7 + 32*x4*x7 + 32*x5*x7 + 32*x6*x7 + 65452*x7^2 + 32*x1*x8 + 32*x2*x8 + 32*x3*x8 + 32*x4*x8 + 32*x5*x8 + 32*x6*x8 + 18*x7*x8 + 65452*x8^2 + 32*x1*x9 + 32*x2*x9 + 32*x3*x9 + 32*x4*x9 + 32*x5*x9 + 32*x6*x9 + 65479*x7*x9 + 18*x8*x9 + 65452*x9^2 + 32*x1*x10 + 32*x2*x10 + 32*x3*x10 + 32*x4*x10 + 32*x5*x10 + 32*x6*x10 + 18*x7*x10 + 65479*x8*x10 + 18*x9*x10 + 65452*x10^2 + 29*x1 + 29*x2 + 29*x3 + 29*x4 + 29*x5 + 29*x6 + 4*x7 + 4*x8 + 4*x9 + 4*x10 + 45938,
65*x1^3 + 14579*x1^2*x2 + 50942*x1*x2^2 + 65*x2^3 + 3330*x1^2*x3 + 65464*x1*x2*x3 + 14579*x2^2*x3 + 61813*x1*x3^2 + 50942*x2*x3^2 + 65*x3^3 + 65440*x1^2*x4 + 33949*x1*x2*x4 + 3330*x2^2*x4 + 31098*x1*x3*x4 + 65464*x2*x3*x4 + 14579*x3^2*x4 + 65440*x1*x4^2 + 61813*x2*x4^2 + 50942*x3*x4^2 + 65*x4^3 + 61813*x1^2*x5 + 31098*x1*x2*x5 + 65440*x2^2*x5 + 65272*x1*x3*x5 + 33949*x2*x3*x5 + 3330*x3^2*x5 + 33949*x1*x4*x5 + 31098*x2*x4*x5 + 65464*x3*x4*x5 + 14579*x4^2*x5 + 3330*x1*x5^2 + 65440*x2*x5^2 + 61813*x3*x5^2 + 50942*x4*x5^2 + 65*x5^3 + 50942*x1^2*x6 + 65464*x1*x2*x6 + 61813*x2^2*x6 + 33949*x1*x3*x6 + 31098*x2*x3*x6 + 65440*x3^2*x6 + 31098*x1*x4*x6 + 65272*x2*x4*x6 + 33949*x3*x4*x6 + 3330*x4^2*x6 + 65464*x1*x5*x6 + 33949*x2*x5*x6 + 31098*x3*x5*x6 + 65464*x4*x5*x6 + 14579*x5^2*x6 + 14579*x1*x6^2 + 3330*x2*x6^2 + 65440*x3*x6^2 + 61813*x4*x6^2 + 50942*x5*x6^2 + 65*x6^3 + 13*x1^2*x7 + 25*x1*x2*x7 + 13*x2^2*x7 + 65304*x1*x3*x7 + 25*x2*x3*x7 + 13*x3^2*x7 + 65519*x1*x4*x7 + 65304*x2*x4*x7 + 25*x3*x4*x7 + 13*x4^2*x7 + 65304*x1*x5*x7 + 65519*x2*x5*x7 + 65304*x3*x5*x7 + 25*x4*x5*x7 + 13*x5^2*x7 + 25*x1*x6*x7 + 65304*x2*x6*x7 + 65519*x3*x6*x7 + 65304*x4*x6*x7 + 25*x5*x6*x7 + 13*x6^2*x7 + 65491*x1*x7^2 + 65491*x2*x7^2 + 65491*x3*x7^2 + 65491*x4*x7^2 + 65491*x5*x7^2 + 65491*x6*x7^2 + 78*x7^3 + 13*x1^2*x8 + 25*x1*x2*x8 + 13*x2^2*x8 + 65304*x1*x3*x8 + 25*x2*x3*x8 + 13*x3^2*x8 + 65519*x1*x4*x8 + 65304*x2*x4*x8 + 25*x3*x4*x8 + 13*x4^2*x8 + 65304*x1*x5*x8 + 65519*x2*x5*x8 + 65304*x3*x5*x8 + 25*x4*x5*x8 + 13*x5^2*x8 + 25*x1*x6*x8 + 65304*x2*x6*x8 + 65519*x3*x6*x8 + 65304*x4*x6*x8 + 25*x5*x6*x8 + 13*x6^2*x8 + 65475*x1*x7*x8 + 65475*x2*x7*x8 + 65475*x3*x7*x8 + 65475*x4*x7*x8 + 65475*x5*x7*x8 + 65475*x6*x7*x8 + 1110*x7^2*x8 + 65491*x1*x8^2 + 65491*x2*x8^2 + 65491*x3*x8^2 + 65491*x4*x8^2 + 65491*x5*x8^2 + 65491*x6*x8^2 + 64355*x7*x8^2 + 78*x8^3 + 13*x1^2*x9 + 25*x1*x2*x9 + 13*x2^2*x9 + 65304*x1*x3*x9 + 25*x2*x3*x9 + 13*x3^2*x9 + 65519*x1*x4*x9 + 65304*x2*x4*x9 + 25*x3*x4*x9 + 13*x4^2*x9 + 65304*x1*x5*x9 + 65519*x2*x5*x9 + 65304*x3*x5*x9 + 25*x4*x5*x9 + 13*x5^2*x9 + 25*x1*x6*x9 + 65304*x2*x6*x9 + 65519*x3*x6*x9 + 65304*x4*x6*x9 + 25*x5*x6*x9 + 13*x6^2*x9 + 65489*x1*x7*x9 + 65489*x2*x7*x9 + 65489*x3*x7*x9 + 65489*x4*x7*x9 + 65489*x5*x7*x9 + 65489*x6*x7*x9 + 110*x7^2*x9 + 65475*x1*x8*x9 + 65475*x2*x8*x9 + 65475*x3*x8*x9 + 65475*x4*x8*x9 + 65475*x5*x8*x9 + 65475*x6*x8*x9 + 65437*x7*x8*x9 + 1110*x8^2*x9 + 65491*x1*x9^2 + 65491*x2*x9^2 + 65491*x3*x9^2 + 65491*x4*x9^2 + 65491*x5*x9^2 + 65491*x6*x9^2 + 110*x7*x9^2 + 64355*x8*x9^2 + 78*x9^3 + 13*x1^2*x10 + 25*x1*x2*x10 + 13*x2^2*x10 + 65304*x1*x3*x10 + 25*x2*x3*x10 + 13*x3^2*x10 + 65519*x1*x4*x10 + 65304*x2*x4*x10 + 25*x3*x4*x10 + 13*x4^2*x10 + 65304*x1*x5*x10 + 65519*x2*x5*x10 + 65304*x3*x5*x10 + 25*x4*x5*x10 + 13*x5^2*x10 + 25*x1*x6*x10 + 65304*x2*x6*x10 + 65519*x3*x6*x10 + 65304*x4*x6*x10 + 25*x5*x6*x10 + 13*x6^2*x10 + 65475*x1*x7*x10 + 65475*x2*x7*x10 + 65475*x3*x7*x10 + 65475*x4*x7*x10 + 65475*x5*x7*x10 + 65475*x6*x7*x10 + 64355*x7^2*x10 + 65489*x1*x8*x10 + 65489*x2*x8*x10 + 65489*x3*x8*x10 + 65489*x4*x8*x10 + 65489*x5*x8*x10 + 65489*x6*x8*x10 + 65437*x7*x8*x10 + 110*x8^2*x10 + 65475*x1*x9*x10 + 65475*x2*x9*x10 + 65475*x3*x9*x10 + 65475*x4*x9*x10 + 65475*x5*x9*x10 + 65475*x6*x9*x10 + 65437*x7*x9*x10 + 65437*x8*x9*x10 + 1110*x9^2*x10 + 65491*x1*x10^2 + 65491*x2*x10^2 + 65491*x3*x10^2 + 65491*x4*x10^2 + 65491*x5*x10^2 + 65491*x6*x10^2 + 1110*x7*x10^2 + 110*x8*x10^2 + 64355*x9*x10^2 + 78*x10^3 + 65431*x1^2 + 65412*x1*x2 + 65431*x2^2 + 65416*x1*x3 + 65412*x2*x3 + 65431*x3^2 + 56*x1*x4 + 65416*x2*x4 + 65412*x3*x4 + 65431*x4^2 + 65416*x1*x5 + 56*x2*x5 + 65416*x3*x5 + 65412*x4*x5 + 65431*x5^2 + 65412*x1*x6 + 65416*x2*x6 + 56*x3*x6 + 65416*x4*x6 + 65412*x5*x6 + 65431*x6^2 + x1*x7 + x2*x7 + x3*x7 + x4*x7 + x5*x7 + x6*x7 + 65491*x7^2 + x1*x8 + x2*x8 + x3*x8 + x4*x8 + x5*x8 + x6*x8 + 65405*x7*x8 + 65491*x8^2 + x1*x9 + x2*x9 + x3*x9 + x4*x9 + x5*x9 + x6*x9 + 65477*x7*x9 + 65405*x8*x9 + 65491*x9^2 + x1*x10 + x2*x10 + x3*x10 + x4*x10 + x5*x10 + x6*x10 + 65405*x7*x10 + 65477*x8*x10 + 65405*x9*x10 + 65491*x10^2 + 65478*x1 + 65478*x2 + 65478*x3 + 65478*x4 + 65478*x5 + 65478*x6 + 48*x7 + 48*x8 + 48*x9 + 48*x10 + 53098,
65439*x1^3 + 62118*x1^2*x2 + 3301*x1*x2^2 + 65439*x2^3 + 1010*x1^2*x3 + 65104*x1*x2*x3 + 62118*x2^2*x3 + 64853*x1*x3^2 + 3301*x2*x3^2 + 65439*x3^3 + 65479*x1^2*x4 + 22365*x1*x2*x4 + 1010*x2^2*x4 + 43312*x1*x3*x4 + 65104*x2*x3*x4 + 62118*x3^2*x4 + 65479*x1*x4^2 + 64853*x2*x4^2 + 3301*x3*x4^2 + 65439*x4^3 + 64853*x1^2*x5 + 43312*x1*x2*x5 + 65479*x2^2*x5 + 111*x1*x3*x5 + 22365*x2*x3*x5 + 1010*x3^2*x5 + 22365*x1*x4*x5 + 43312*x2*x4*x5 + 65104*x3*x4*x5 + 62118*x4^2*x5 + 1010*x1*x5^2 + 65479*x2*x5^2 + 64853*x3*x5^2 + 3301*x4*x5^2 + 65439*x5^3 + 3301*x1^2*x6 + 65104*x1*x2*x6 + 64853*x2^2*x6 + 22365*x1*x3*x6 + 43312*x2*x3*x6 + 65479*x3^2*x6 + 43312*x1*x4*x6 + 111*x2*x4*x6 + 22365*x3*x4*x6 + 1010*x4^2*x6 + 65104*x1*x5*x6 + 22365*x2*x5*x6 + 43312*x3*x5*x6 + 65104*x4*x5*x6 + 62118*x5^2*x6 + 62118*x1*x6^2 + 1010*x2*x6^2 + 65479*x3*x6^2 + 64853*x4*x6^2 + 3301*x5*x6^2 + 65439*x6^3 + 14*x1^2*x7 + 65333*x1*x2*x7 + 14*x2^2*x7 + 76*x1*x3*x7 + 65333*x2*x3*x7 + 14*x3^2*x7 + 28*x1*x4*x7 + 76*x2*x4*x7 + 65333*x3*x4*x7 + 14*x4^2*x7 + 76*x1*x5*x7 + 28*x2*x5*x7 + 76*x3*x5*x7 + 65333*x4*x5*x7 + 14*x5^2*x7 + 65333*x1*x6*x7 + 76*x2*x6*x7 + 28*x3*x6*x7 + 76*x4*x6*x7 + 65333*x5*x6*x7 + 14*x6^2*x7 + 30*x1*x7^2 + 30*x2*x7^2 + 30*x3*x7^2 + 30*x4*x7^2 + 30*x5*x7^2 + 30*x6*x7^2 + 76*x7^3 + 14*x1^2*x8 + 65333*x1*x2*x8 + 14*x2^2*x8 + 76*x1*x3*x8 + 65333*x2*x3*x8 + 14*x3^2*x8 + 28*x1*x4*x8 + 76*x2*x4*x8 + 65333*x3*x4*x8 + 14*x4^2*x8 + 76*x1*x5*x8 + 28*x2*x5*x8 + 76*x3*x5*x8 + 65333*x4*x5*x8 + 14*x5^2*x8 + 65333*x1*x6*x8 + 76*x2*x6*x8 + 28*x3*x6*x8 + 76*x4*x6*x8 + 65333*x5*x6*x8 + 14*x6^2*x8 + 110*x1*x7*x8 + 110*x2*x7*x8 + 110*x3*x7*x8 + 110*x4*x7*x8 + 110*x5*x7*x8 + 110*x6*x7*x8 + 65485*x7^2*x8 + 30*x1*x8^2 + 30*x2*x8^2 + 30*x3*x8^2 + 30*x4*x8^2 + 30*x5*x8^2 + 30*x6*x8^2 + 65485*x7*x8^2 + 76*x8^3 + 14*x1^2*x9 + 65333*x1*x2*x9 + 14*x2^2*x9 + 76*x1*x3*x9 + 65333*x2*x3*x9 + 14*x3^2*x9 + 28*x1*x4*x9 + 76*x2*x4*x9 + 65333*x3*x4*x9 + 14*x4^2*x9 + 76*x1*x5*x9 + 28*x2*x5*x9 + 76*x3*x5*x9 + 65333*x4*x5*x9 + 14*x5^2*x9 + 65333*x1*x6*x9 + 76*x2*x6*x9 + 28*x3*x6*x9 + 76*x4*x6*x9 + 65333*x5*x6*x9 + 14*x6^2*x9 + 65425*x1*x7*x9 + 65425*x2*x7*x9 + 65425*x3*x7*x9 + 65425*x4*x7*x9 + 65425*x5*x7*x9 + 65425*x6*x7*x9 + 65397*x7^2*x9 + 110*x1*x8*x9 + 110*x2*x8*x9 + 110*x3*x8*x9 + 110*x4*x8*x9 + 110*x5*x8*x9 + 110*x6*x8*x9 + 65433*x7*x8*x9 + 65485*x8^2*x9 + 30*x1*x9^2 + 30*x2*x9^2 + 30*x3*x9^2 + 30*x4*x9^2 + 30*x5*x9^2 + 30*x6*x9^2 + 65397*x7*x9^2 + 65485*x8*x9^2 + 76*x9^3 + 14*x1^2*x10 + 65333*x1*x2*x10 + 14*x2^2*x10 + 76*x1*x3*x10 + 65333*x2*x3*x10 + 14*x3^2*x10 + 28*x1*x4*x10 + 76*x2*x4*x10 + 65333*x3*x4*x10 + 14*x4^2*x10 + 76*x1*x5*x10 + 28*x2*x5*x10 + 76*x3*x5*x10 + 65333*x4*x5*x10 + 14*x5^2*x10 + 65333*x1*x6*x10 + 76*x2*x6*x10 + 28*x3*x6*x10 + 76*x4*x6*x10 + 65333*x5*x6*x10 + 14*x6^2*x10 + 110*x1*x7*x10 + 110*x2*x7*x10 + 110*x3*x7*x10 + 110*x4*x7*x10 + 110*x5*x7*x10 + 110*x6*x7*x10 + 65485*x7^2*x10 + 65425*x1*x8*x10 + 65425*x2*x8*x10 + 65425*x3*x8*x10 + 65425*x4*x8*x10 + 65425*x5*x8*x10 + 65425*x6*x8*x10 + 65433*x7*x8*x10 + 65397*x8^2*x10 + 110*x1*x9*x10 + 110*x2*x9*x10 + 110*x3*x9*x10 + 110*x4*x9*x10 + 110*x5*x9*x10 + 110*x6*x9*x10 + 65433*x7*x9*x10 + 65433*x8*x9*x10 + 65485*x9^2*x10 + 30*x1*x10^2 + 30*x2*x10^2 + 30*x3*x10^2 + 30*x4*x10^2 + 30*x5*x10^2 + 30*x6*x10^2 + 65485*x7*x10^2 + 65397*x8*x10^2 + 65485*x9*x10^2 + 76*x10^3 + 83*x1^2 + 112*x1*x2 + 83*x2^2 + 4*x1*x3 + 112*x2*x3 + 83*x3^2 + 58*x1*x4 + 4*x2*x4 + 112*x3*x4 + 83*x4^2 + 4*x1*x5 + 58*x2*x5 + 4*x3*x5 + 112*x4*x5 + 83*x5^2 + 112*x1*x6 + 4*x2*x6 + 58*x3*x6 + 4*x4*x6 + 112*x5*x6 + 83*x6^2 + 10*x1*x7 + 10*x2*x7 + 10*x3*x7 + 10*x4*x7 + 10*x5*x7 + 10*x6*x7 + 70*x7^2 + 10*x1*x8 + 10*x2*x8 + 10*x3*x8 + 10*x4*x8 + 10*x5*x8 + 10*x6*x8 + 52*x7*x8 + 70*x8^2 + 10*x1*x9 + 10*x2*x9 + 10*x3*x9 + 10*x4*x9 + 10*x5*x9 + 10*x6*x9 + 4*x7*x9 + 52*x8*x9 + 70*x9^2 + 10*x1*x10 + 10*x2*x10 + 10*x3*x10 + 10*x4*x10 + 10*x5*x10 + 10*x6*x10 + 52*x7*x10 + 4*x8*x10 + 52*x9*x10 + 70*x10^2 + 49*x1 + 49*x2 + 49*x3 + 49*x4 + 49*x5 + 49*x6 + 41*x7 + 41*x8 + 41*x9 + 41*x10 + 55143,
65515*x1^3 + 7061*x1^2*x2 + 58506*x1*x2^2 + 65515*x2^3 + 57765*x1^2*x3 + 274*x1*x2*x3 + 7061*x2^2*x3 + 7660*x1*x3^2 + 58506*x2*x3^2 + 65515*x3^3 + 65511*x1^2*x4 + 2179*x1*x2*x4 + 57765*x2^2*x4 + 63680*x1*x3*x4 + 274*x2*x3*x4 + 7061*x3^2*x4 + 65511*x1*x4^2 + 7660*x2*x4^2 + 58506*x3*x4^2 + 65515*x4^3 + 7660*x1^2*x5 + 63680*x1*x2*x5 + 65511*x2^2*x5 + 414*x1*x3*x5 + 2179*x2*x3*x5 + 57765*x3^2*x5 + 2179*x1*x4*x5 + 63680*x2*x4*x5 + 274*x3*x4*x5 + 7061*x4^2*x5 + 57765*x1*x5^2 + 65511*x2*x5^2 + 7660*x3*x5^2 + 58506*x4*x5^2 + 65515*x5^3 + 58506*x1^2*x6 + 274*x1*x2*x6 + 7660*x2^2*x6 + 2179*x1*x3*x6 + 63680*x2*x3*x6 + 65511*x3^2*x6 + 63680*x1*x4*x6 + 414*x2*x4*x6 + 2179*x3*x4*x6 + 57765*x4^2*x6 + 274*x1*x5*x6 + 2179*x2*x5*x6 + 63680*x3*x5*x6 + 274*x4*x5*x6 + 7061*x5^2*x6 + 7061*x1*x6^2 + 57765*x2*x6^2 + 65511*x3*x6^2 + 7660*x4*x6^2 + 58506*x5*x6^2 + 65515*x6^3 + 65495*x1^2*x7 + 96*x1*x2*x7 + 65495*x2^2*x7 + 65373*x1*x3*x7 + 96*x2*x3*x7 + 65495*x3^2*x7 + 48*x1*x4*x7 + 65373*x2*x4*x7 + 96*x3*x4*x7 + 65495*x4^2*x7 + 65373*x1*x5*x7 + 48*x2*x5*x7 + 65373*x3*x5*x7 + 96*x4*x5*x7 + 65495*x5^2*x7 + 96*x1*x6*x7 + 65373*x2*x6*x7 + 48*x3*x6*x7 + 65373*x4*x6*x7 + 96*x5*x6*x7 + 65495*x6^2*x7 + 65501*x1*x7^2 + 65501*x2*x7^2 + 65501*x3*x7^2 + 65501*x4*x7^2 + 65501*x5*x7^2 + 65501*x6*x7^2 + 60*x7^3 + 65495*x1^2*x8 + 96*x1*x2*x8 + 65495*x2^2*x8 + 65373*x1*x3*x8 + 96*x2*x3*x8 + 65495*x3^2*x8 + 48*x1*x4*x8 + 65373*x2*x4*x8 + 96*x3*x4*x8 + 65495*x4^2*x8 + 65373*x1*x5*x8 + 48*x2*x5*x8 + 65373*x3*x5*x8 + 96*x4*x5*x8 + 65495*x5^2*x8 + 96*x1*x6*x8 + 65373*x2*x6*x8 + 48*x3*x6*x8 + 65373*x4*x6*x8 + 96*x5*x6*x8 + 65495*x6^2*x8 + 34*x1*x7*x8 + 34*x2*x7*x8 + 34*x3*x7*x8 + 34*x4*x7*x8 + 34*x5*x7*x8 + 34*x6*x7*x8 + 2866*x7^2*x8 + 65501*x1*x8^2 + 65501*x2*x8^2 + 65501*x3*x8^2 + 65501*x4*x8^2 + 65501*x5*x8^2 + 65501*x6*x8^2 + 62875*x7*x8^2 + 60*x8^3 + 65495*x1^2*x9 + 96*x1*x2*x9 + 65495*x2^2*x9 + 65373*x1*x3*x9 + 96*x2*x3*x9 + 65495*x3^2*x9 + 48*x1*x4*x9 + 65373*x2*x4*x9 + 96*x3*x4*x9 + 65495*x4^2*x9 + 65373*x1*x5*x9 + 48*x2*x5*x9 + 65373*x3*x5*x9 + 96*x4*x5*x9 + 65495*x5^2*x9 + 96*x1*x6*x9 + 65373*x2*x6*x9 + 48*x3*x6*x9 + 65373*x4*x6*x9 + 96*x5*x6*x9 + 65495*x6^2*x9 + 65405*x1*x7*x9 + 65405*x2*x7*x9 + 65405*x3*x7*x9 + 65405*x4*x7*x9 + 65405*x5*x7*x9 + 65405*x6*x7*x9 + 65405*x7^2*x9 + 34*x1*x8*x9 + 34*x2*x8*x9 + 34*x3*x8*x9 + 34*x4*x8*x9 + 34*x5*x8*x9 + 34*x6*x8*x9 + 316*x7*x8*x9 + 2866*x8^2*x9 + 65501*x1*x9^2 + 65501*x2*x9^2 + 65501*x3*x9^2 + 65501*x4*x9^2 + 65501*x5*x9^2 + 65501*x6*x9^2 + 65405*x7*x9^2 + 62875*x8*x9^2 + 60*x9^3 + 65495*x1^2*x10 + 96*x1*x2*x10 + 65495*x2^2*x10 + 65373*x1*x3*x10 + 96*x2*x3*x10 + 65495*x3^2*x10 + 48*x1*x4*x10 + 65373*x2*x4*x10 + 96*x3*x4*x10 + 65495*x4^2*x10 + 65373*x1*x5*x10 + 48*x2*x5*x10 + 65373*x3*x5*x10 + 96*x4*x5*x10 + 65495*x5^2*x10 + 96*x1*x6*x10 + 65373*x2*x6*x10 + 48*x3*x6*x10 + 65373*x4*x6*x10 + 96*x5*x6*x10 + 65495*x6^2*x10 + 34*x1*x7*x10 + 34*x2*x7*x10 + 34*x3*x7*x10 + 34*x4*x7*x10 + 34*x5*x7*x10 + 34*x6*x7*x10 + 62875*x7^2*x10 + 65405*x1*x8*x10 + 65405*x2*x8*x10 + 65405*x3*x8*x10 + 65405*x4*x8*x10 + 65405*x5*x8*x10 + 65405*x6*x8*x10 + 316*x7*x8*x10 + 65405*x8^2*x10 + 34*x1*x9*x10 + 34*x2*x9*x10 + 34*x3*x9*x10 + 34*x4*x9*x10 + 34*x5*x9*x10 + 34*x6*x9*x10 + 316*x7*x9*x10 + 316*x8*x9*x10 + 2866*x9^2*x10 + 65501*x1*x10^2 + 65501*x2*x10^2 + 65501*x3*x10^2 + 65501*x4*x10^2 + 65501*x5*x10^2 + 65501*x6*x10^2 + 2866*x7*x10^2 + 65405*x8*x10^2 + 62875*x9*x10^2 + 60*x10^3 + 65489*x1^2 + 47*x1*x2 + 65489*x2^2 + 17*x1*x3 + 47*x2*x3 + 65489*x3^2 + 92*x1*x4 + 17*x2*x4 + 47*x3*x4 + 65489*x4^2 + 17*x1*x5 + 92*x2*x5 + 17*x3*x5 + 47*x4*x5 + 65489*x5^2 + 47*x1*x6 + 17*x2*x6 + 92*x3*x6 + 17*x4*x6 + 47*x5*x6 + 65489*x6^2 + 22*x1*x7 + 22*x2*x7 + 22*x3*x7 + 22*x4*x7 + 22*x5*x7 + 22*x6*x7 + 9*x7^2 + 22*x1*x8 + 22*x2*x8 + 22*x3*x8 + 22*x4*x8 + 22*x5*x8 + 22*x6*x8 + 56*x7*x8 + 9*x8^2 + 22*x1*x9 + 22*x2*x9 + 22*x3*x9 + 22*x4*x9 + 22*x5*x9 + 22*x6*x9 + 158*x7*x9 + 56*x8*x9 + 9*x9^2 + 22*x1*x10 + 22*x2*x10 + 22*x3*x10 + 22*x4*x10 + 22*x5*x10 + 22*x6*x10 + 56*x7*x10 + 158*x8*x10 + 56*x9*x10 + 9*x10^2 + 11*x1 + 11*x2 + 11*x3 + 11*x4 + 11*x5 + 11*x6 + 65489*x7 + 65489*x8 + 65489*x9 + 65489*x10 + 18636,
218*x1^3 + 1363*x1^2*x2 + 64035*x1*x2^2 + 218*x2^3 + 56973*x1^2*x3 + 351*x1*x2*x3 + 1363*x2^2*x3 + 8377*x1*x3^2 + 64035*x2*x3^2 + 218*x3^3 + 65503*x1^2*x4 + 15372*x1*x2*x4 + 56973*x2^2*x4 + 49723*x1*x3*x4 + 351*x2*x3*x4 + 1363*x3^2*x4 + 65503*x1*x4^2 + 8377*x2*x4^2 + 64035*x3*x4^2 + 218*x4^3 + 8377*x1^2*x5 + 49723*x1*x2*x5 + 65503*x2^2*x5 + 939*x1*x3*x5 + 15372*x2*x3*x5 + 56973*x3^2*x5 + 15372*x1*x4*x5 + 49723*x2*x4*x5 + 351*x3*x4*x5 + 1363*x4^2*x5 + 56973*x1*x5^2 + 65503*x2*x5^2 + 8377*x3*x5^2 + 64035*x4*x5^2 + 218*x5^3 + 64035*x1^2*x6 + 351*x1*x2*x6 + 8377*x2^2*x6 + 15372*x1*x3*x6 + 49723*x2*x3*x6 + 65503*x3^2*x6 + 49723*x1*x4*x6 + 939*x2*x4*x6 + 15372*x3*x4*x6 + 56973*x4^2*x6 + 351*x1*x5*x6 + 15372*x2*x5*x6 + 49723*x3*x5*x6 + 351*x4*x5*x6 + 1363*x5^2*x6 + 1363*x1*x6^2 + 56973*x2*x6^2 + 65503*x3*x6^2 + 8377*x4*x6^2 + 64035*x5*x6^2 + 218*x6^3 + 56*x1^2*x7 + 65446*x1*x2*x7 + 56*x2^2*x7 + 65474*x1*x3*x7 + 65446*x2*x3*x7 + 56*x3^2*x7 + 65474*x2*x4*x7 + 65446*x3*x4*x7 + 56*x4^2*x7 + 65474*x1*x5*x7 + 65474*x3*x5*x7 + 65446*x4*x5*x7 + 56*x5^2*x7 + 65446*x1*x6*x7 + 65474*x2*x6*x7 + 65474*x4*x6*x7 + 65446*x5*x6*x7 + 56*x6^2*x7 + 65511*x1*x7^2 + 65511*x2*x7^2 + 65511*x3*x7^2 + 65511*x4*x7^2 + 65511*x5*x7^2 + 65511*x6*x7^2 + 38*x7^3 + 56*x1^2*x8 + 65446*x1*x2*x8 + 56*x2^2*x8 + 65474*x1*x3*x8 + 65446*x2*x3*x8 + 56*x3^2*x8 + 65474*x2*x4*x8 + 65446*x3*x4*x8 + 56*x4^2*x8 + 65474*x1*x5*x8 + 65474*x3*x5*x8 + 65446*x4*x5*x8 + 56*x5^2*x8 + 65446*x1*x6*x8 + 65474*x2*x6*x8 + 65474*x4*x6*x8 + 65446*x5*x6*x8 + 56*x6^2*x8 + 52*x1*x7*x8 + 52*x2*x7*x8 + 52*x3*x7*x8 + 52*x4*x7*x8 + 52*x5*x7*x8 + 52*x6*x7*x8 + 43771*x7^2*x8 + 65511*x1*x8^2 + 65511*x2*x8^2 + 65511*x3*x8^2 + 65511*x4*x8^2 + 65511*x5*x8^2 + 65511*x6*x8^2 + 21990*x7*x8^2 + 38*x8^3 + 56*x1^2*x9 + 65446*x1*x2*x9 + 56*x2^2*x9 + 65474*x1*x3*x9 + 65446*x2*x3*x9 + 56*x3^2*x9 + 65474*x2*x4*x9 + 65446*x3*x4*x9 + 56*x4^2*x9 + 65474*x1*x5*x9 + 65474*x3*x5*x9 + 65446*x4*x5*x9 + 56*x5^2*x9 + 65446*x1*x6*x9 + 65474*x2*x6*x9 + 65474*x4*x6*x9 + 65446*x5*x6*x9 + 56*x6^2*x9 + 65301*x1*x7*x9 + 65301*x2*x7*x9 + 65301*x3*x7*x9 + 65301*x4*x7*x9 + 65301*x5*x7*x9 + 65301*x6*x7*x9 + 302*x7^2*x9 + 52*x1*x8*x9 + 52*x2*x8*x9 + 52*x3*x8*x9 + 52*x4*x8*x9 + 52*x5*x8*x9 + 52*x6*x8*x9 + 60*x7*x8*x9 + 43771*x8^2*x9 + 65511*x1*x9^2 + 65511*x2*x9^2 + 65511*x3*x9^2 + 65511*x4*x9^2 + 65511*x5*x9^2 + 65511*x6*x9^2 + 302*x7*x9^2 + 21990*x8*x9^2 + 38*x9^3 + 56*x1^2*x10 + 65446*x1*x2*x10 + 56*x2^2*x10 + 65474*x1*x3*x10 + 65446*x2*x3*x10 + 56*x3^2*x10 + 65474*x2*x4*x10 + 65446*x3*x4*x10 + 56*x4^2*x10 + 65474*x1*x5*x10 + 65474*x3*x5*x10 + 65446*x4*x5*x10 + 56*x5^2*x10 + 65446*x1*x6*x10 + 65474*x2*x6*x10 + 65474*x4*x6*x10 + 65446*x5*x6*x10 + 56*x6^2*x10 + 52*x1*x7*x10 + 52*x2*x7*x10 + 52*x3*x7*x10 + 52*x4*x7*x10 + 52*x5*x7*x10 + 52*x6*x7*x10 + 21990*x7^2*x10 + 65301*x1*x8*x10 + 65301*x2*x8*x10 + 65301*x3*x8*x10 + 65301*x4*x8*x10 + 65301*x5*x8*x10 + 65301*x6*x8*x10 + 60*x7*x8*x10 + 302*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 + 60*x7*x9*x10 + 60*x8*x9*x10 + 43771*x9^2*x10 + 65511*x1*x10^2 + 65511*x2*x10^2 + 65511*x3*x10^2 + 65511*x4*x10^2 + 65511*x5*x10^2 + 65511*x6*x10^2 + 43771*x7*x10^2 + 302*x8*x10^2 + 21990*x9*x10^2 + 38*x10^3 + 42*x1^2 + 65476*x1*x2 + 42*x2^2 + 33*x1*x3 + 65476*x2*x3 + 42*x3^2 + 12*x1*x4 + 33*x2*x4 + 65476*x3*x4 + 42*x4^2 + 33*x1*x5 + 12*x2*x5 + 33*x3*x5 + 65476*x4*x5 + 42*x5^2 + 65476*x1*x6 + 33*x2*x6 + 12*x3*x6 + 33*x4*x6 + 65476*x5*x6 + 42*x6^2 + 28*x1*x7 + 28*x2*x7 + 28*x3*x7 + 28*x4*x7 + 28*x5*x7 + 28*x6*x7 + 65436*x7^2 + 28*x1*x8 + 28*x2*x8 + 28*x3*x8 + 28*x4*x8 + 28*x5*x8 + 28*x6*x8 + 65477*x7*x8 + 65436*x8^2 + 28*x1*x9 + 28*x2*x9 + 28*x3*x9 + 28*x4*x9 + 28*x5*x9 + 28*x6*x9 + 65507*x7*x9 + 65477*x8*x9 + 65436*x9^2 + 28*x1*x10 + 28*x2*x10 + 28*x3*x10 + 28*x4*x10 + 28*x5*x10 + 28*x6*x10 + 65477*x7*x10 + 65507*x8*x10 + 65477*x9*x10 + 65436*x10^2 + 65486*x1 + 65486*x2 + 65486*x3 + 65486*x4 + 65486*x5 + 65486*x6 + 50*x7 + 50*x8 + 50*x9 + 50*x10 + 62376,
65513*x1^3 + 25298*x1^2*x2 + 40547*x1*x2^2 + 65513*x2^3 + 58600*x1^2*x3 + 65260*x1*x2*x3 + 25298*x2^2*x3 + 7155*x1*x3^2 + 40547*x2*x3^2 + 65513*x3^3 + 65257*x1^2*x4 + 15803*x1*x2*x4 + 58600*x2^2*x4 + 49820*x1*x3*x4 + 65260*x2*x3*x4 + 25298*x3^2*x4 + 65257*x1*x4^2 + 7155*x2*x4^2 + 40547*x3*x4^2 + 65513*x4^3 + 7155*x1^2*x5 + 49820*x1*x2*x5 + 65257*x2^2*x5 + 65140*x1*x3*x5 + 15803*x2*x3*x5 + 58600*x3^2*x5 + 15803*x1*x4*x5 + 49820*x2*x4*x5 + 65260*x3*x4*x5 + 25298*x4^2*x5 + 58600*x1*x5^2 + 65257*x2*x5^2 + 7155*x3*x5^2 + 40547*x4*x5^2 + 65513*x5^3 + 40547*x1^2*x6 + 65260*x1*x2*x6 + 7155*x2^2*x6 + 15803*x1*x3*x6 + 49820*x2*x3*x6 + 65257*x3^2*x6 + 49820*x1*x4*x6 + 65140*x2*x4*x6 + 15803*x3*x4*x6 + 58600*x4^2*x6 + 65260*x1*x5*x6 + 15803*x2*x5*x6 + 49820*x3*x5*x6 + 65260*x4*x5*x6 + 25298*x5^2*x6 + 25298*x1*x6^2 + 58600*x2*x6^2 + 65257*x3*x6^2 + 7155*x4*x6^2 + 40547*x5*x6^2 + 65513*x6^3 + 65508*x1^2*x7 + 70*x1*x2*x7 + 65508*x2^2*x7 + 94*x1*x3*x7 + 70*x2*x3*x7 + 65508*x3^2*x7 + 82*x1*x4*x7 + 94*x2*x4*x7 + 70*x3*x4*x7 + 65508*x4^2*x7 + 94*x1*x5*x7 + 82*x2*x5*x7 + 94*x3*x5*x7 + 70*x4*x5*x7 + 65508*x5^2*x7 + 70*x1*x6*x7 + 94*x2*x6*x7 + 82*x3*x6*x7 + 94*x4*x6*x7 + 70*x5*x6*x7 + 65508*x6^2*x7 + 22*x1*x7^2 + 22*x2*x7^2 + 22*x3*x7^2 + 22*x4*x7^2 + 22*x5*x7^2 + 22*x6*x7^2 + 26*x7^3 + 65508*x1^2*x8 + 70*x1*x2*x8 + 65508*x2^2*x8 + 94*x1*x3*x8 + 70*x2*x3*x8 + 65508*x3^2*x8 + 82*x1*x4*x8 + 94*x2*x4*x8 + 70*x3*x4*x8 + 65508*x4^2*x8 + 94*x1*x5*x8 + 82*x2*x5*x8 + 94*x3*x5*x8 + 70*x4*x5*x8 + 65508*x5^2*x8 + 70*x1*x6*x8 + 94*x2*x6*x8 + 82*x3*x6*x8 + 94*x4*x6*x8 + 70*x5*x6*x8 + 65508*x6^2*x8 + 92*x1*x7*x8 + 92*x2*x7*x8 + 92*x3*x7*x8 + 92*x4*x7*x8 + 92*x5*x7*x8 + 92*x6*x7*x8 + 5413*x7^2*x8 + 22*x1*x8^2 + 22*x2*x8^2 + 22*x3*x8^2 + 22*x4*x8^2 + 22*x5*x8^2 + 22*x6*x8^2 + 60088*x7*x8^2 + 26*x8^3 + 65508*x1^2*x9 + 70*x1*x2*x9 + 65508*x2^2*x9 + 94*x1*x3*x9 + 70*x2*x3*x9 + 65508*x3^2*x9 + 82*x1*x4*x9 + 94*x2*x4*x9 + 70*x3*x4*x9 + 65508*x4^2*x9 + 94*x1*x5*x9 + 82*x2*x5*x9 + 94*x3*x5*x9 + 70*x4*x5*x9 + 65508*x5^2*x9 + 70*x1*x6*x9 + 94*x2*x6*x9 + 82*x3*x6*x9 + 94*x4*x6*x9 + 70*x5*x6*x9 + 65508*x6^2*x9 + 12*x1*x7*x9 + 12*x2*x7*x9 + 12*x3*x7*x9 + 12*x4*x7*x9 + 12*x5*x7*x9 + 12*x6*x7*x9 + 222*x7^2*x9 + 92*x1*x8*x9 + 92*x2*x8*x9 + 92*x3*x8*x9 + 92*x4*x8*x9 + 92*x5*x8*x9 + 92*x6*x8*x9 + 172*x7*x8*x9 + 5413*x8^2*x9 + 22*x1*x9^2 + 22*x2*x9^2 + 22*x3*x9^2 + 22*x4*x9^2 + 22*x5*x9^2 + 22*x6*x9^2 + 222*x7*x9^2 + 60088*x8*x9^2 + 26*x9^3 + 65508*x1^2*x10 + 70*x1*x2*x10 + 65508*x2^2*x10 + 94*x1*x3*x10 + 70*x2*x3*x10 + 65508*x3^2*x10 + 82*x1*x4*x10 + 94*x2*x4*x10 + 70*x3*x4*x10 + 65508*x4^2*x10 + 94*x1*x5*x10 + 82*x2*x5*x10 + 94*x3*x5*x10 + 70*x4*x5*x10 + 65508*x5^2*x10 + 70*x1*x6*x10 + 94*x2*x6*x10 + 82*x3*x6*x10 + 94*x4*x6*x10 + 70*x5*x6*x10 + 65508*x6^2*x10 + 92*x1*x7*x10 + 92*x2*x7*x10 + 92*x3*x7*x10 + 92*x4*x7*x10 + 92*x5*x7*x10 + 92*x6*x7*x10 + 60088*x7^2*x10 + 12*x1*x8*x10 + 12*x2*x8*x10 + 12*x3*x8*x10 + 12*x4*x8*x10 + 12*x5*x8*x10 + 12*x6*x8*x10 + 172*x7*x8*x10 + 222*x8^2*x10 + 92*x1*x9*x10 + 92*x2*x9*x10 + 92*x3*x9*x10 + 92*x4*x9*x10 + 92*x5*x9*x10 + 92*x6*x9*x10 + 172*x7*x9*x10 + 172*x8*x9*x10 + 5413*x9^2*x10 + 22*x1*x10^2 + 22*x2*x10^2 + 22*x3*x10^2 + 22*x4*x10^2 + 22*x5*x10^2 + 22*x6*x10^2 + 5413*x7*x10^2 + 222*x8*x10^2 + 60088*x9*x10^2 + 26*x10^3 + 65507*x1^2 + 65490*x1*x2 + 65507*x2^2 + 65340*x1*x3 + 65490*x2*x3 + 65507*x3^2 + 65517*x1*x4 + 65340*x2*x4 + 65490*x3*x4 + 65507*x4^2 + 65340*x1*x5 + 65517*x2*x5 + 65340*x3*x5 + 65490*x4*x5 + 65507*x5^2 + 65490*x1*x6 + 65340*x2*x6 + 65517*x3*x6 + 65340*x4*x6 + 65490*x5*x6 + 65507*x6^2 + 15*x1*x7 + 15*x2*x7 + 15*x3*x7 + 15*x4*x7 + 15*x5*x7 + 15*x6*x7 + 41*x7^2 + 15*x1*x8 + 15*x2*x8 + 15*x3*x8 + 15*x4*x8 + 15*x5*x8 + 15*x6*x8 + 65515*x7*x8 + 41*x8^2 + 15*x1*x9 + 15*x2*x9 + 15*x3*x9 + 15*x4*x9 + 15*x5*x9 + 15*x6*x9 + 65435*x7*x9 + 65515*x8*x9 + 41*x9^2 + 15*x1*x10 + 15*x2*x10 + 15*x3*x10 + 15*x4*x10 + 15*x5*x10 + 15*x6*x10 + 65515*x7*x10 + 65435*x8*x10 + 65515*x9*x10 + 41*x10^2 + 48*x1 + 48*x2 + 48*x3 + 48*x4 + 48*x5 + 48*x6 + 45*x7 + 45*x8 + 45*x9 + 45*x10 + 42692,
65505*x1^3 + 31734*x1^2*x2 + 34082*x1*x2^2 + 65505*x2^3 + 45731*x1^2*x3 + 52*x1*x2*x3 + 31734*x2^2*x3 + 19589*x1*x3^2 + 34082*x2*x3^2 + 65505*x3^3 + 272*x1^2*x4 + 51511*x1*x2*x4 + 45731*x2^2*x4 + 14480*x1*x3*x4 + 52*x2*x3*x4 + 31734*x3^2*x4 + 272*x1*x4^2 + 19589*x2*x4^2 + 34082*x3*x4^2 + 65505*x4^3 + 19589*x1^2*x5 + 14480*x1*x2*x5 + 272*x2^2*x5 + 300*x1*x3*x5 + 51511*x2*x3*x5 + 45731*x3^2*x5 + 51511*x1*x4*x5 + 14480*x2*x4*x5 + 52*x3*x4*x5 + 31734*x4^2*x5 + 45731*x1*x5^2 + 272*x2*x5^2 + 19589*x3*x5^2 + 34082*x4*x5^2 + 65505*x5^3 + 34082*x1^2*x6 + 52*x1*x2*x6 + 19589*x2^2*x6 + 51511*x1*x3*x6 + 14480*x2*x3*x6 + 272*x3^2*x6 + 14480*x1*x4*x6 + 300*x2*x4*x6 + 51511*x3*x4*x6 + 45731*x4^2*x6 + 52*x1*x5*x6 + 51511*x2*x5*x6 + 14480*x3*x5*x6 + 52*x4*x5*x6 + 31734*x5^2*x6 + 31734*x1*x6^2 + 45731*x2*x6^2 + 272*x3*x6^2 + 19589*x4*x6^2 + 34082*x5*x6^2 + 65505*x6^3 + 16*x1^2*x7 + 163*x1*x2*x7 + 16*x2^2*x7 + 11*x1*x3*x7 + 163*x2*x3*x7 + 16*x3^2*x7 + 65417*x1*x4*x7 + 11*x2*x4*x7 + 163*x3*x4*x7 + 16*x4^2*x7 + 11*x1*x5*x7 + 65417*x2*x5*x7 + 11*x3*x5*x7 + 163*x4*x5*x7 + 16*x5^2*x7 + 163*x1*x6*x7 + 11*x2*x6*x7 + 65417*x3*x6*x7 + 11*x4*x6*x7 + 163*x5*x6*x7 + 16*x6^2*x7 + 6*x1*x7^2 + 6*x2*x7^2 + 6*x3*x7^2 + 6*x4*x7^2 + 6*x5*x7^2 + 6*x6*x7^2 + 65375*x7^3 + 16*x1^2*x8 + 163*x1*x2*x8 + 16*x2^2*x8 + 11*x1*x3*x8 + 163*x2*x3*x8 + 16*x3^2*x8 + 65417*x1*x4*x8 + 11*x2*x4*x8 + 163*x3*x4*x8 + 16*x4^2*x8 + 11*x1*x5*x8 + 65417*x2*x5*x8 + 11*x3*x5*x8 + 163*x4*x5*x8 + 16*x5^2*x8 + 163*x1*x6*x8 + 11*x2*x6*x8 + 65417*x3*x6*x8 + 11*x4*x6*x8 + 163*x5*x6*x8 + 16*x6^2*x8 + 65501*x1*x7*x8 + 65501*x2*x7*x8 + 65501*x3*x7*x8 + 65501*x4*x7*x8 + 65501*x5*x7*x8 + 65501*x6*x7*x8 + 53621*x7^2*x8 + 6*x1*x8^2 + 6*x2*x8^2 + 6*x3*x8^2 + 6*x4*x8^2 + 6*x5*x8^2 + 6*x6*x8^2 + 12068*x7*x8^2 + 65375*x8^3 + 16*x1^2*x9 + 163*x1*x2*x9 + 16*x2^2*x9 + 11*x1*x3*x9 + 163*x2*x3*x9 + 16*x3^2*x9 + 65417*x1*x4*x9 + 11*x2*x4*x9 + 163*x3*x4*x9 + 16*x4^2*x9 + 11*x1*x5*x9 + 65417*x2*x5*x9 + 11*x3*x5*x9 + 163*x4*x5*x9 + 16*x5^2*x9 + 163*x1*x6*x9 + 11*x2*x6*x9 + 65417*x3*x6*x9 + 11*x4*x6*x9 + 163*x5*x6*x9 + 16*x6^2*x9 + 156*x1*x7*x9 + 156*x2*x7*x9 + 156*x3*x7*x9 + 156*x4*x7*x9 + 156*x5*x7*x9 + 156*x6*x7*x9 + 65479*x7^2*x9 + 65501*x1*x8*x9 + 65501*x2*x8*x9 + 65501*x3*x8*x9 + 65501*x4*x8*x9 + 65501*x5*x8*x9 + 65501*x6*x8*x9 + 68*x7*x8*x9 + 53621*x8^2*x9 + 6*x1*x9^2 + 6*x2*x9^2 + 6*x3*x9^2 + 6*x4*x9^2 + 6*x5*x9^2 + 6*x6*x9^2 + 65479*x7*x9^2 + 12068*x8*x9^2 + 65375*x9^3 + 16*x1^2*x10 + 163*x1*x2*x10 + 16*x2^2*x10 + 11*x1*x3*x10 + 163*x2*x3*x10 + 16*x3^2*x10 + 65417*x1*x4*x10 + 11*x2*x4*x10 + 163*x3*x4*x10 + 16*x4^2*x10 + 11*x1*x5*x10 + 65417*x2*x5*x10 + 11*x3*x5*x10 + 163*x4*x5*x10 + 16*x5^2*x10 + 163*x1*x6*x10 + 11*x2*x6*x10 + 65417*x3*x6*x10 + 11*x4*x6*x10 + 163*x5*x6*x10 + 16*x6^2*x10 + 65501*x1*x7*x10 + 65501*x2*x7*x10 + 65501*x3*x7*x10 + 65501*x4*x7*x10 + 65501*x5*x7*x10 + 65501*x6*x7*x10 + 12068*x7^2*x10 + 156*x1*x8*x10 + 156*x2*x8*x10 + 156*x3*x8*x10 + 156*x4*x8*x10 + 156*x5*x8*x10 + 156*x6*x8*x10 + 68*x7*x8*x10 + 65479*x8^2*x10 + 65501*x1*x9*x10 + 65501*x2*x9*x10 + 65501*x3*x9*x10 + 65501*x4*x9*x10 + 65501*x5*x9*x10 + 65501*x6*x9*x10 + 68*x7*x9*x10 + 68*x8*x9*x10 + 53621*x9^2*x10 + 6*x1*x10^2 + 6*x2*x10^2 + 6*x3*x10^2 + 6*x4*x10^2 + 6*x5*x10^2 + 6*x6*x10^2 + 53621*x7*x10^2 + 65479*x8*x10^2 + 12068*x9*x10^2 + 65375*x10^3 + 43*x1^2 + 65345*x1*x2 + 43*x2^2 + 92*x1*x3 + 65345*x2*x3 + 43*x3^2 + 94*x1*x4 + 92*x2*x4 + 65345*x3*x4 + 43*x4^2 + 92*x1*x5 + 94*x2*x5 + 92*x3*x5 + 65345*x4*x5 + 43*x5^2 + 65345*x1*x6 + 92*x2*x6 + 94*x3*x6 + 92*x4*x6 + 65345*x5*x6 + 43*x6^2 + 5*x1*x7 + 5*x2*x7 + 5*x3*x7 + 5*x4*x7 + 5*x5*x7 + 5*x6*x7 + 38*x7^2 + 5*x1*x8 + 5*x2*x8 + 5*x3*x8 + 5*x4*x8 + 5*x5*x8 + 5*x6*x8 + 65443*x7*x8 + 38*x8^2 + 5*x1*x9 + 5*x2*x9 + 5*x3*x9 + 5*x4*x9 + 5*x5*x9 + 5*x6*x9 + 65441*x7*x9 + 65443*x8*x9 + 38*x9^2 + 5*x1*x10 + 5*x2*x10 + 5*x3*x10 + 5*x4*x10 + 5*x5*x10 + 5*x6*x10 + 65443*x7*x10 + 65441*x8*x10 + 65443*x9*x10 + 38*x10^2 + 35*x1 + 35*x2 + 35*x3 + 35*x4 + 35*x5 + 35*x6 + 65496*x7 + 65496*x8 + 65496*x9 + 65496*x10 + 65139,
20*x1^3 + 63038*x1^2*x2 + 2378*x1*x2^2 + 20*x2^3 + 33073*x1^2*x3 + 57*x1*x2*x3 + 63038*x2^2*x3 + 32403*x1*x3^2 + 2378*x2*x3^2 + 20*x3^3 + 4389*x1*x2*x4 + 33073*x2^2*x4 + 61198*x1*x3*x4 + 57*x2*x3*x4 + 63038*x3^2*x4 + 32403*x2*x4^2 + 2378*x3*x4^2 + 20*x4^3 + 32403*x1^2*x5 + 61198*x1*x2*x5 + 65434*x1*x3*x5 + 4389*x2*x3*x5 + 33073*x3^2*x5 + 4389*x1*x4*x5 + 61198*x2*x4*x5 + 57*x3*x4*x5 + 63038*x4^2*x5 + 33073*x1*x5^2 + 32403*x3*x5^2 + 2378*x4*x5^2 + 20*x5^3 + 2378*x1^2*x6 + 57*x1*x2*x6 + 32403*x2^2*x6 + 4389*x1*x3*x6 + 61198*x2*x3*x6 + 61198*x1*x4*x6 + 65434*x2*x4*x6 + 4389*x3*x4*x6 + 33073*x4^2*x6 + 57*x1*x5*x6 + 4389*x2*x5*x6 + 61198*x3*x5*x6 + 57*x4*x5*x6 + 63038*x5^2*x6 + 63038*x1*x6^2 + 33073*x2*x6^2 + 32403*x4*x6^2 + 2378*x5*x6^2 + 20*x6^3 + 17*x1^2*x7 + 26*x1*x2*x7 + 17*x2^2*x7 + 65423*x1*x3*x7 + 26*x2*x3*x7 + 17*x3^2*x7 + 65511*x1*x4*x7 + 65423*x2*x4*x7 + 26*x3*x4*x7 + 17*x4^2*x7 + 65423*x1*x5*x7 + 65511*x2*x5*x7 + 65423*x3*x5*x7 + 26*x4*x5*x7 + 17*x5^2*x7 + 26*x1*x6*x7 + 65423*x2*x6*x7 + 65511*x3*x6*x7 + 65423*x4*x6*x7 + 26*x5*x6*x7 + 17*x6^2*x7 + 65487*x7^3 + 17*x1^2*x8 + 26*x1*x2*x8 + 17*x2^2*x8 + 65423*x1*x3*x8 + 26*x2*x3*x8 + 17*x3^2*x8 + 65511*x1*x4*x8 + 65423*x2*x4*x8 + 26*x3*x4*x8 + 17*x4^2*x8 + 65423*x1*x5*x8 + 65511*x2*x5*x8 + 65423*x3*x5*x8 + 26*x4*x5*x8 + 17*x5^2*x8 + 26*x1*x6*x8 + 65423*x2*x6*x8 + 65511*x3*x6*x8 + 65423*x4*x6*x8 + 26*x5*x6*x8 + 17*x6^2*x8 + 65483*x1*x7*x8 + 65483*x2*x7*x8 + 65483*x3*x7*x8 + 65483*x4*x7*x8 + 65483*x5*x7*x8 + 65483*x6*x7*x8 + 39289*x7^2*x8 + 26256*x7*x8^2 + 65487*x8^3 + 17*x1^2*x9 + 26*x1*x2*x9 + 17*x2^2*x9 + 65423*x1*x3*x9 + 26*x2*x3*x9 + 17*x3^2*x9 + 65511*x1*x4*x9 + 65423*x2*x4*x9 + 26*x3*x4*x9 + 17*x4^2*x9 + 65423*x1*x5*x9 + 65511*x2*x5*x9 + 65423*x3*x5*x9 + 26*x4*x5*x9 + 17*x5^2*x9 + 26*x1*x6*x9 + 65423*x2*x6*x9 + 65511*x3*x6*x9 + 65423*x4*x6*x9 + 26*x5*x6*x9 + 17*x6^2*x9 + 84*x1*x7*x9 + 84*x2*x7*x9 + 84*x3*x7*x9 + 84*x4*x7*x9 + 84*x5*x7*x9 + 84*x6*x7*x9 + 65487*x7^2*x9 + 65483*x1*x8*x9 + 65483*x2*x8*x9 + 65483*x3*x8*x9 + 65483*x4*x8*x9 + 65483*x5*x8*x9 + 65483*x6*x8*x9 + 65389*x7*x8*x9 + 39289*x8^2*x9 + 65487*x7*x9^2 + 26256*x8*x9^2 + 65487*x9^3 + 17*x1^2*x10 + 26*x1*x2*x10 + 17*x2^2*x10 + 65423*x1*x3*x10 + 26*x2*x3*x10 + 17*x3^2*x10 + 65511*x1*x4*x10 + 65423*x2*x4*x10 + 26*x3*x4*x10 + 17*x4^2*x10 + 65423*x1*x5*x10 + 65511*x2*x5*x10 + 65423*x3*x5*x10 + 26*x4*x5*x10 + 17*x5^2*x10 + 26*x1*x6*x10 + 65423*x2*x6*x10 + 65511*x3*x6*x10 + 65423*x4*x6*x10 + 26*x5*x6*x10 + 17*x6^2*x10 + 65483*x1*x7*x10 + 65483*x2*x7*x10 + 65483*x3*x7*x10 + 65483*x4*x7*x10 + 65483*x5*x7*x10 + 65483*x6*x7*x10 + 26256*x7^2*x10 + 84*x1*x8*x10 + 84*x2*x8*x10 + 84*x3*x8*x10 + 84*x4*x8*x10 + 84*x5*x8*x10 + 84*x6*x8*x10 + 65389*x7*x8*x10 + 65487*x8^2*x10 + 65483*x1*x9*x10 + 65483*x2*x9*x10 + 65483*x3*x9*x10 + 65483*x4*x9*x10 + 65483*x5*x9*x10 + 65483*x6*x9*x10 + 65389*x7*x9*x10 + 65389*x8*x9*x10 + 39289*x9^2*x10 + 39289*x7*x10^2 + 65487*x8*x10^2 + 26256*x9*x10^2 + 65487*x10^3 + 13*x1^2 + 4*x1*x2 + 13*x2^2 + 65379*x1*x3 + 4*x2*x3 + 13*x3^2 + 10*x1*x4 + 65379*x2*x4 + 4*x3*x4 + 13*x4^2 + 65379*x1*x5 + 10*x2*x5 + 65379*x3*x5 + 4*x4*x5 + 13*x5^2 + 4*x1*x6 + 65379*x2*x6 + 10*x3*x6 + 65379*x4*x6 + 4*x5*x6 + 13*x6^2 + 65499*x1*x7 + 65499*x2*x7 + 65499*x3*x7 + 65499*x4*x7 + 65499*x5*x7 + 65499*x6*x7 + 85*x7^2 + 65499*x1*x8 + 65499*x2*x8 + 65499*x3*x8 + 65499*x4*x8 + 65499*x5*x8 + 65499*x6*x8 + 72*x7*x8 + 85*x8^2 + 65499*x1*x9 + 65499*x2*x9 + 65499*x3*x9 + 65499*x4*x9 + 65499*x5*x9 + 65499*x6*x9 + 62*x7*x9 + 72*x8*x9 + 85*x9^2 + 65499*x1*x10 + 65499*x2*x10 + 65499*x3*x10 + 65499*x4*x10 + 65499*x5*x10 + 65499*x6*x10 + 72*x7*x10 + 62*x8*x10 + 72*x9*x10 + 85*x10^2 + x1 + x2 + x3 + x4 + x5 + x6 + 19*x7 + 19*x8 + 19*x9 + 19*x10 + 64488
]
: