2
2:
2*x1^2 + 4*x1*x2 + 2*x2^2
2
3:
2*x1^3 + 4*x1^2*x2 + 4*x1*x2^2 + 2*x2^3
2
2, 1:
4*x1^2*x2 + 4*x1*x2^2
2
4:
2*x1^4 + 4*x1^3*x2 + 4*x1^2*x2^2 + 4*x1*x2^3 + 2*x2^4
2
3, 1:
4*x1^3*x2 + 8*x1^2*x2^2 + 4*x1*x2^3
2
5:
2*x1^5 + 4*x1^4*x2 + 4*x1^3*x2^2 + 4*x1^2*x2^3 + 4*x1*x2^4 + 2*x2^5
2
4, 1:
4*x1^4*x2 + 8*x1^3*x2^2 + 8*x1^2*x2^3 + 4*x1*x2^4
2
3, 2:
4*x1^3*x2^2 + 4*x1^2*x2^3
2
6:
2*x1^6 + 4*x1^5*x2 + 4*x1^4*x2^2 + 4*x1^3*x2^3 + 4*x1^2*x2^4 + 4*x1*x2^5 + 2*x2^6
2
5, 1:
4*x1^5*x2 + 8*x1^4*x2^2 + 8*x1^3*x2^3 + 8*x1^2*x2^4 + 4*x1*x2^5
2
4, 2:
4*x1^4*x2^2 + 8*x1^3*x2^3 + 4*x1^2*x2^4
3
2:
2*x1^2 + 4*x1*x2 + 2*x2^2 + 4*x1*x3 + 4*x2*x3 + 2*x3^2
3
3:
2*x1^3 + 4*x1^2*x2 + 4*x1*x2^2 + 2*x2^3 + 4*x1^2*x3 + 8*x1*x2*x3 + 4*x2^2*x3 + 4*x1*x3^2 + 4*x2*x3^2 + 2*x3^3
3
2, 1:
4*x1^2*x2 + 4*x1*x2^2 + 4*x1^2*x3 + 8*x1*x2*x3 + 4*x2^2*x3 + 4*x1*x3^2 + 4*x2*x3^2
3
4:
2*x1^4 + 4*x1^3*x2 + 4*x1^2*x2^2 + 4*x1*x2^3 + 2*x2^4 + 4*x1^3*x3 + 8*x1^2*x2*x3 + 8*x1*x2^2*x3 + 4*x2^3*x3 + 4*x1^2*x3^2 + 8*x1*x2*x3^2 + 4*x2^2*x3^2 + 4*x1*x3^3 + 4*x2*x3^3 + 2*x3^4
3
3, 1:
4*x1^3*x2 + 8*x1^2*x2^2 + 4*x1*x2^3 + 4*x1^3*x3 + 16*x1^2*x2*x3 + 16*x1*x2^2*x3 + 4*x2^3*x3 + 8*x1^2*x3^2 + 16*x1*x2*x3^2 + 8*x2^2*x3^2 + 4*x1*x3^3 + 4*x2*x3^3
3
5:
2*x1^5 + 4*x1^4*x2 + 4*x1^3*x2^2 + 4*x1^2*x2^3 + 4*x1*x2^4 + 2*x2^5 + 4*x1^4*x3 + 8*x1^3*x2*x3 + 8*x1^2*x2^2*x3 + 8*x1*x2^3*x3 + 4*x2^4*x3 + 4*x1^3*x3^2 + 8*x1^2*x2*x3^2 + 8*x1*x2^2*x3^2 + 4*x2^3*x3^2 + 4*x1^2*x3^3 + 8*x1*x2*x3^3 + 4*x2^2*x3^3 + 4*x1*x3^4 + 4*x2*x3^4 + 2*x3^5
3
4, 1:
4*x1^4*x2 + 8*x1^3*x2^2 + 8*x1^2*x2^3 + 4*x1*x2^4 + 4*x1^4*x3 + 16*x1^3*x2*x3 + 24*x1^2*x2^2*x3 + 16*x1*x2^3*x3 + 4*x2^4*x3 + 8*x1^3*x3^2 + 24*x1^2*x2*x3^2 + 24*x1*x2^2*x3^2 + 8*x2^3*x3^2 + 8*x1^2*x3^3 + 16*x1*x2*x3^3 + 8*x2^2*x3^3 + 4*x1*x3^4 + 4*x2*x3^4
3
3, 2:
4*x1^3*x2^2 + 4*x1^2*x2^3 + 8*x1^3*x2*x3 + 16*x1^2*x2^2*x3 + 8*x1*x2^3*x3 + 4*x1^3*x3^2 + 16*x1^2*x2*x3^2 + 16*x1*x2^2*x3^2 + 4*x2^3*x3^2 + 4*x1^2*x3^3 + 8*x1*x2*x3^3 + 4*x2^2*x3^3
3
6:
2*x1^6 + 4*x1^5*x2 + 4*x1^4*x2^2 + 4*x1^3*x2^3 + 4*x1^2*x2^4 + 4*x1*x2^5 + 2*x2^6 + 4*x1^5*x3 + 8*x1^4*x2*x3 + 8*x1^3*x2^2*x3 + 8*x1^2*x2^3*x3 + 8*x1*x2^4*x3 + 4*x2^5*x3 + 4*x1^4*x3^2 + 8*x1^3*x2*x3^2 + 8*x1^2*x2^2*x3^2 + 8*x1*x2^3*x3^2 + 4*x2^4*x3^2 + 4*x1^3*x3^3 + 8*x1^2*x2*x3^3 + 8*x1*x2^2*x3^3 + 4*x2^3*x3^3 + 4*x1^2*x3^4 + 8*x1*x2*x3^4 + 4*x2^2*x3^4 + 4*x1*x3^5 + 4*x2*x3^5 + 2*x3^6
3
5, 1:
4*x1^5*x2 + 8*x1^4*x2^2 + 8*x1^3*x2^3 + 8*x1^2*x2^4 + 4*x1*x2^5 + 4*x1^5*x3 + 16*x1^4*x2*x3 + 24*x1^3*x2^2*x3 + 24*x1^2*x2^3*x3 + 16*x1*x2^4*x3 + 4*x2^5*x3 + 8*x1^4*x3^2 + 24*x1^3*x2*x3^2 + 32*x1^2*x2^2*x3^2 + 24*x1*x2^3*x3^2 + 8*x2^4*x3^2 + 8*x1^3*x3^3 + 24*x1^2*x2*x3^3 + 24*x1*x2^2*x3^3 + 8*x2^3*x3^3 + 8*x1^2*x3^4 + 16*x1*x2*x3^4 + 8*x2^2*x3^4 + 4*x1*x3^5 + 4*x2*x3^5
3
4, 2:
4*x1^4*x2^2 + 8*x1^3*x2^3 + 4*x1^2*x2^4 + 8*x1^4*x2*x3 + 24*x1^3*x2^2*x3 + 24*x1^2*x2^3*x3 + 8*x1*x2^4*x3 + 4*x1^4*x3^2 + 24*x1^3*x2*x3^2 + 40*x1^2*x2^2*x3^2 + 24*x1*x2^3*x3^2 + 4*x2^4*x3^2 + 8*x1^3*x3^3 + 24*x1^2*x2*x3^3 + 24*x1*x2^2*x3^3 + 8*x2^3*x3^3 + 4*x1^2*x3^4 + 8*x1*x2*x3^4 + 4*x2^2*x3^4
3
3, 2, 1:
8*x1^3*x2^2*x3 + 8*x1^2*x2^3*x3 + 8*x1^3*x2*x3^2 + 16*x1^2*x2^2*x3^2 + 8*x1*x2^3*x3^2 + 8*x1^2*x2*x3^3 + 8*x1*x2^2*x3^3
4
2:
2*x1^2 + 4*x1*x2 + 2*x2^2 + 4*x1*x3 + 4*x2*x3 + 2*x3^2 + 4*x1*x4 + 4*x2*x4 + 4*x3*x4 + 2*x4^2
4
3:
2*x1^3 + 4*x1^2*x2 + 4*x1*x2^2 + 2*x2^3 + 4*x1^2*x3 + 8*x1*x2*x3 + 4*x2^2*x3 + 4*x1*x3^2 + 4*x2*x3^2 + 2*x3^3 + 4*x1^2*x4 + 8*x1*x2*x4 + 4*x2^2*x4 + 8*x1*x3*x4 + 8*x2*x3*x4 + 4*x3^2*x4 + 4*x1*x4^2 + 4*x2*x4^2 + 4*x3*x4^2 + 2*x4^3
4
2, 1:
4*x1^2*x2 + 4*x1*x2^2 + 4*x1^2*x3 + 8*x1*x2*x3 + 4*x2^2*x3 + 4*x1*x3^2 + 4*x2*x3^2 + 4*x1^2*x4 + 8*x1*x2*x4 + 4*x2^2*x4 + 8*x1*x3*x4 + 8*x2*x3*x4 + 4*x3^2*x4 + 4*x1*x4^2 + 4*x2*x4^2 + 4*x3*x4^2
4
4:
2*x1^4 + 4*x1^3*x2 + 4*x1^2*x2^2 + 4*x1*x2^3 + 2*x2^4 + 4*x1^3*x3 + 8*x1^2*x2*x3 + 8*x1*x2^2*x3 + 4*x2^3*x3 + 4*x1^2*x3^2 + 8*x1*x2*x3^2 + 4*x2^2*x3^2 + 4*x1*x3^3 + 4*x2*x3^3 + 2*x3^4 + 4*x1^3*x4 + 8*x1^2*x2*x4 + 8*x1*x2^2*x4 + 4*x2^3*x4 + 8*x1^2*x3*x4 + 16*x1*x2*x3*x4 + 8*x2^2*x3*x4 + 8*x1*x3^2*x4 + 8*x2*x3^2*x4 + 4*x3^3*x4 + 4*x1^2*x4^2 + 8*x1*x2*x4^2 + 4*x2^2*x4^2 + 8*x1*x3*x4^2 + 8*x2*x3*x4^2 + 4*x3^2*x4^2 + 4*x1*x4^3 + 4*x2*x4^3 + 4*x3*x4^3 + 2*x4^4
4
3, 1:
4*x1^3*x2 + 8*x1^2*x2^2 + 4*x1*x2^3 + 4*x1^3*x3 + 16*x1^2*x2*x3 + 16*x1*x2^2*x3 + 4*x2^3*x3 + 8*x1^2*x3^2 + 16*x1*x2*x3^2 + 8*x2^2*x3^2 + 4*x1*x3^3 + 4*x2*x3^3 + 4*x1^3*x4 + 16*x1^2*x2*x4 + 16*x1*x2^2*x4 + 4*x2^3*x4 + 16*x1^2*x3*x4 + 32*x1*x2*x3*x4 + 16*x2^2*x3*x4 + 16*x1*x3^2*x4 + 16*x2*x3^2*x4 + 4*x3^3*x4 + 8*x1^2*x4^2 + 16*x1*x2*x4^2 + 8*x2^2*x4^2 + 16*x1*x3*x4^2 + 16*x2*x3*x4^2 + 8*x3^2*x4^2 + 4*x1*x4^3 + 4*x2*x4^3 + 4*x3*x4^3
4
5:
2*x1^5 + 4*x1^4*x2 + 4*x1^3*x2^2 + 4*x1^2*x2^3 + 4*x1*x2^4 + 2*x2^5 + 4*x1^4*x3 + 8*x1^3*x2*x3 + 8*x1^2*x2^2*x3 + 8*x1*x2^3*x3 + 4*x2^4*x3 + 4*x1^3*x3^2 + 8*x1^2*x2*x3^2 + 8*x1*x2^2*x3^2 + 4*x2^3*x3^2 + 4*x1^2*x3^3 + 8*x1*x2*x3^3 + 4*x2^2*x3^3 + 4*x1*x3^4 + 4*x2*x3^4 + 2*x3^5 + 4*x1^4*x4 + 8*x1^3*x2*x4 + 8*x1^2*x2^2*x4 + 8*x1*x2^3*x4 + 4*x2^4*x4 + 8*x1^3*x3*x4 + 16*x1^2*x2*x3*x4 + 16*x1*x2^2*x3*x4 + 8*x2^3*x3*x4 + 8*x1^2*x3^2*x4 + 16*x1*x2*x3^2*x4 + 8*x2^2*x3^2*x4 + 8*x1*x3^3*x4 + 8*x2*x3^3*x4 + 4*x3^4*x4 + 4*x1^3*x4^2 + 8*x1^2*x2*x4^2 + 8*x1*x2^2*x4^2 + 4*x2^3*x4^2 + 8*x1^2*x3*x4^2 + 16*x1*x2*x3*x4^2 + 8*x2^2*x3*x4^2 + 8*x1*x3^2*x4^2 + 8*x2*x3^2*x4^2 + 4*x3^3*x4^2 + 4*x1^2*x4^3 + 8*x1*x2*x4^3 + 4*x2^2*x4^3 + 8*x1*x3*x4^3 + 8*x2*x3*x4^3 + 4*x3^2*x4^3 + 4*x1*x4^4 + 4*x2*x4^4 + 4*x3*x4^4 + 2*x4^5
4
4, 1:
4*x1^4*x2 + 8*x1^3*x2^2 + 8*x1^2*x2^3 + 4*x1*x2^4 + 4*x1^4*x3 + 16*x1^3*x2*x3 + 24*x1^2*x2^2*x3 + 16*x1*x2^3*x3 + 4*x2^4*x3 + 8*x1^3*x3^2 + 24*x1^2*x2*x3^2 + 24*x1*x2^2*x3^2 + 8*x2^3*x3^2 + 8*x1^2*x3^3 + 16*x1*x2*x3^3 + 8*x2^2*x3^3 + 4*x1*x3^4 + 4*x2*x3^4 + 4*x1^4*x4 + 16*x1^3*x2*x4 + 24*x1^2*x2^2*x4 + 16*x1*x2^3*x4 + 4*x2^4*x4 + 16*x1^3*x3*x4 + 48*x1^2*x2*x3*x4 + 48*x1*x2^2*x3*x4 + 16*x2^3*x3*x4 + 24*x1^2*x3^2*x4 + 48*x1*x2*x3^2*x4 + 24*x2^2*x3^2*x4 + 16*x1*x3^3*x4 + 16*x2*x3^3*x4 + 4*x3^4*x4 + 8*x1^3*x4^2 + 24*x1^2*x2*x4^2 + 24*x1*x2^2*x4^2 + 8*x2^3*x4^2 + 24*x1^2*x3*x4^2 + 48*x1*x2*x3*x4^2 + 24*x2^2*x3*x4^2 + 24*x1*x3^2*x4^2 + 24*x2*x3^2*x4^2 + 8*x3^3*x4^2 + 8*x1^2*x4^3 + 16*x1*x2*x4^3 + 8*x2^2*x4^3 + 16*x1*x3*x4^3 + 16*x2*x3*x4^3 + 8*x3^2*x4^3 + 4*x1*x4^4 + 4*x2*x4^4 + 4*x3*x4^4
4
3, 2:
4*x1^3*x2^2 + 4*x1^2*x2^3 + 8*x1^3*x2*x3 + 16*x1^2*x2^2*x3 + 8*x1*x2^3*x3 + 4*x1^3*x3^2 + 16*x1^2*x2*x3^2 + 16*x1*x2^2*x3^2 + 4*x2^3*x3^2 + 4*x1^2*x3^3 + 8*x1*x2*x3^3 + 4*x2^2*x3^3 + 8*x1^3*x2*x4 + 16*x1^2*x2^2*x4 + 8*x1*x2^3*x4 + 8*x1^3*x3*x4 + 32*x1^2*x2*x3*x4 + 32*x1*x2^2*x3*x4 + 8*x2^3*x3*x4 + 16*x1^2*x3^2*x4 + 32*x1*x2*x3^2*x4 + 16*x2^2*x3^2*x4 + 8*x1*x3^3*x4 + 8*x2*x3^3*x4 + 4*x1^3*x4^2 + 16*x1^2*x2*x4^2 + 16*x1*x2^2*x4^2 + 4*x2^3*x4^2 + 16*x1^2*x3*x4^2 + 32*x1*x2*x3*x4^2 + 16*x2^2*x3*x4^2 + 16*x1*x3^2*x4^2 + 16*x2*x3^2*x4^2 + 4*x3^3*x4^2 + 4*x1^2*x4^3 + 8*x1*x2*x4^3 + 4*x2^2*x4^3 + 8*x1*x3*x4^3 + 8*x2*x3*x4^3 + 4*x3^2*x4^3
4
6:
2*x1^6 + 4*x1^5*x2 + 4*x1^4*x2^2 + 4*x1^3*x2^3 + 4*x1^2*x2^4 + 4*x1*x2^5 + 2*x2^6 + 4*x1^5*x3 + 8*x1^4*x2*x3 + 8*x1^3*x2^2*x3 + 8*x1^2*x2^3*x3 + 8*x1*x2^4*x3 + 4*x2^5*x3 + 4*x1^4*x3^2 + 8*x1^3*x2*x3^2 + 8*x1^2*x2^2*x3^2 + 8*x1*x2^3*x3^2 + 4*x2^4*x3^2 + 4*x1^3*x3^3 + 8*x1^2*x2*x3^3 + 8*x1*x2^2*x3^3 + 4*x2^3*x3^3 + 4*x1^2*x3^4 + 8*x1*x2*x3^4 + 4*x2^2*x3^4 + 4*x1*x3^5 + 4*x2*x3^5 + 2*x3^6 + 4*x1^5*x4 + 8*x1^4*x2*x4 + 8*x1^3*x2^2*x4 + 8*x1^2*x2^3*x4 + 8*x1*x2^4*x4 + 4*x2^5*x4 + 8*x1^4*x3*x4 + 16*x1^3*x2*x3*x4 + 16*x1^2*x2^2*x3*x4 + 16*x1*x2^3*x3*x4 + 8*x2^4*x3*x4 + 8*x1^3*x3^2*x4 + 16*x1^2*x2*x3^2*x4 + 16*x1*x2^2*x3^2*x4 + 8*x2^3*x3^2*x4 + 8*x1^2*x3^3*x4 + 16*x1*x2*x3^3*x4 + 8*x2^2*x3^3*x4 + 8*x1*x3^4*x4 + 8*x2*x3^4*x4 + 4*x3^5*x4 + 4*x1^4*x4^2 + 8*x1^3*x2*x4^2 + 8*x1^2*x2^2*x4^2 + 8*x1*x2^3*x4^2 + 4*x2^4*x4^2 + 8*x1^3*x3*x4^2 + 16*x1^2*x2*x3*x4^2 + 16*x1*x2^2*x3*x4^2 + 8*x2^3*x3*x4^2 + 8*x1^2*x3^2*x4^2 + 16*x1*x2*x3^2*x4^2 + 8*x2^2*x3^2*x4^2 + 8*x1*x3^3*x4^2 + 8*x2*x3^3*x4^2 + 4*x3^4*x4^2 + 4*x1^3*x4^3 + 8*x1^2*x2*x4^3 + 8*x1*x2^2*x4^3 + 4*x2^3*x4^3 + 8*x1^2*x3*x4^3 + 16*x1*x2*x3*x4^3 + 8*x2^2*x3*x4^3 + 8*x1*x3^2*x4^3 + 8*x2*x3^2*x4^3 + 4*x3^3*x4^3 + 4*x1^2*x4^4 + 8*x1*x2*x4^4 + 4*x2^2*x4^4 + 8*x1*x3*x4^4 + 8*x2*x3*x4^4 + 4*x3^2*x4^4 + 4*x1*x4^5 + 4*x2*x4^5 + 4*x3*x4^5 + 2*x4^6
4
5, 1:
4*x1^5*x2 + 8*x1^4*x2^2 + 8*x1^3*x2^3 + 8*x1^2*x2^4 + 4*x1*x2^5 + 4*x1^5*x3 + 16*x1^4*x2*x3 + 24*x1^3*x2^2*x3 + 24*x1^2*x2^3*x3 + 16*x1*x2^4*x3 + 4*x2^5*x3 + 8*x1^4*x3^2 + 24*x1^3*x2*x3^2 + 32*x1^2*x2^2*x3^2 + 24*x1*x2^3*x3^2 + 8*x2^4*x3^2 + 8*x1^3*x3^3 + 24*x1^2*x2*x3^3 + 24*x1*x2^2*x3^3 + 8*x2^3*x3^3 + 8*x1^2*x3^4 + 16*x1*x2*x3^4 + 8*x2^2*x3^4 + 4*x1*x3^5 + 4*x2*x3^5 + 4*x1^5*x4 + 16*x1^4*x2*x4 + 24*x1^3*x2^2*x4 + 24*x1^2*x2^3*x4 + 16*x1*x2^4*x4 + 4*x2^5*x4 + 16*x1^4*x3*x4 + 48*x1^3*x2*x3*x4 + 64*x1^2*x2^2*x3*x4 + 48*x1*x2^3*x3*x4 + 16*x2^4*x3*x4 + 24*x1^3*x3^2*x4 + 64*x1^2*x2*x3^2*x4 + 64*x1*x2^2*x3^2*x4 + 24*x2^3*x3^2*x4 + 24*x1^2*x3^3*x4 + 48*x1*x2*x3^3*x4 + 24*x2^2*x3^3*x4 + 16*x1*x3^4*x4 + 16*x2*x3^4*x4 + 4*x3^5*x4 + 8*x1^4*x4^2 + 24*x1^3*x2*x4^2 + 32*x1^2*x2^2*x4^2 + 24*x1*x2^3*x4^2 + 8*x2^4*x4^2 + 24*x1^3*x3*x4^2 + 64*x1^2*x2*x3*x4^2 + 64*x1*x2^2*x3*x4^2 + 24*x2^3*x3*x4^2 + 32*x1^2*x3^2*x4^2 + 64*x1*x2*x3^2*x4^2 + 32*x2^2*x3^2*x4^2 + 24*x1*x3^3*x4^2 + 24*x2*x3^3*x4^2 + 8*x3^4*x4^2 + 8*x1^3*x4^3 + 24*x1^2*x2*x4^3 + 24*x1*x2^2*x4^3 + 8*x2^3*x4^3 + 24*x1^2*x3*x4^3 + 48*x1*x2*x3*x4^3 + 24*x2^2*x3*x4^3 + 24*x1*x3^2*x4^3 + 24*x2*x3^2*x4^3 + 8*x3^3*x4^3 + 8*x1^2*x4^4 + 16*x1*x2*x4^4 + 8*x2^2*x4^4 + 16*x1*x3*x4^4 + 16*x2*x3*x4^4 + 8*x3^2*x4^4 + 4*x1*x4^5 + 4*x2*x4^5 + 4*x3*x4^5
4
4, 2:
4*x1^4*x2^2 + 8*x1^3*x2^3 + 4*x1^2*x2^4 + 8*x1^4*x2*x3 + 24*x1^3*x2^2*x3 + 24*x1^2*x2^3*x3 + 8*x1*x2^4*x3 + 4*x1^4*x3^2 + 24*x1^3*x2*x3^2 + 40*x1^2*x2^2*x3^2 + 24*x1*x2^3*x3^2 + 4*x2^4*x3^2 + 8*x1^3*x3^3 + 24*x1^2*x2*x3^3 + 24*x1*x2^2*x3^3 + 8*x2^3*x3^3 + 4*x1^2*x3^4 + 8*x1*x2*x3^4 + 4*x2^2*x3^4 + 8*x1^4*x2*x4 + 24*x1^3*x2^2*x4 + 24*x1^2*x2^3*x4 + 8*x1*x2^4*x4 + 8*x1^4*x3*x4 + 48*x1^3*x2*x3*x4 + 80*x1^2*x2^2*x3*x4 + 48*x1*x2^3*x3*x4 + 8*x2^4*x3*x4 + 24*x1^3*x3^2*x4 + 80*x1^2*x2*x3^2*x4 + 80*x1*x2^2*x3^2*x4 + 24*x2^3*x3^2*x4 + 24*x1^2*x3^3*x4 + 48*x1*x2*x3^3*x4 + 24*x2^2*x3^3*x4 + 8*x1*x3^4*x4 + 8*x2*x3^4*x4 + 4*x1^4*x4^2 + 24*x1^3*x2*x4^2 + 40*x1^2*x2^2*x4^2 + 24*x1*x2^3*x4^2 + 4*x2^4*x4^2 + 24*x1^3*x3*x4^2 + 80*x1^2*x2*x3*x4^2 + 80*x1*x2^2*x3*x4^2 + 24*x2^3*x3*x4^2 + 40*x1^2*x3^2*x4^2 + 80*x1*x2*x3^2*x4^2 + 40*x2^2*x3^2*x4^2 + 24*x1*x3^3*x4^2 + 24*x2*x3^3*x4^2 + 4*x3^4*x4^2 + 8*x1^3*x4^3 + 24*x1^2*x2*x4^3 + 24*x1*x2^2*x4^3 + 8*x2^3*x4^3 + 24*x1^2*x3*x4^3 + 48*x1*x2*x3*x4^3 + 24*x2^2*x3*x4^3 + 24*x1*x3^2*x4^3 + 24*x2*x3^2*x4^3 + 8*x3^3*x4^3 + 4*x1^2*x4^4 + 8*x1*x2*x4^4 + 4*x2^2*x4^4 + 8*x1*x3*x4^4 + 8*x2*x3*x4^4 + 4*x3^2*x4^4
4
3, 2, 1:
8*x1^3*x2^2*x3 + 8*x1^2*x2^3*x3 + 8*x1^3*x2*x3^2 + 16*x1^2*x2^2*x3^2 + 8*x1*x2^3*x3^2 + 8*x1^2*x2*x3^3 + 8*x1*x2^2*x3^3 + 8*x1^3*x2^2*x4 + 8*x1^2*x2^3*x4 + 16*x1^3*x2*x3*x4 + 32*x1^2*x2^2*x3*x4 + 16*x1*x2^3*x3*x4 + 8*x1^3*x3^2*x4 + 32*x1^2*x2*x3^2*x4 + 32*x1*x2^2*x3^2*x4 + 8*x2^3*x3^2*x4 + 8*x1^2*x3^3*x4 + 16*x1*x2*x3^3*x4 + 8*x2^2*x3^3*x4 + 8*x1^3*x2*x4^2 + 16*x1^2*x2^2*x4^2 + 8*x1*x2^3*x4^2 + 8*x1^3*x3*x4^2 + 32*x1^2*x2*x3*x4^2 + 32*x1*x2^2*x3*x4^2 + 8*x2^3*x3*x4^2 + 16*x1^2*x3^2*x4^2 + 32*x1*x2*x3^2*x4^2 + 16*x2^2*x3^2*x4^2 + 8*x1*x3^3*x4^2 + 8*x2*x3^3*x4^2 + 8*x1^2*x2*x4^3 + 8*x1*x2^2*x4^3 + 8*x1^2*x3*x4^3 + 16*x1*x2*x3*x4^3 + 8*x2^2*x3*x4^3 + 8*x1*x3^2*x4^3 + 8*x2*x3^2*x4^3
5
2:
2*x1^2 + 4*x1*x2 + 2*x2^2 + 4*x1*x3 + 4*x2*x3 + 2*x3^2 + 4*x1*x4 + 4*x2*x4 + 4*x3*x4 + 2*x4^2 + 4*x1*x5 + 4*x2*x5 + 4*x3*x5 + 4*x4*x5 + 2*x5^2
5
3:
2*x1^3 + 4*x1^2*x2 + 4*x1*x2^2 + 2*x2^3 + 4*x1^2*x3 + 8*x1*x2*x3 + 4*x2^2*x3 + 4*x1*x3^2 + 4*x2*x3^2 + 2*x3^3 + 4*x1^2*x4 + 8*x1*x2*x4 + 4*x2^2*x4 + 8*x1*x3*x4 + 8*x2*x3*x4 + 4*x3^2*x4 + 4*x1*x4^2 + 4*x2*x4^2 + 4*x3*x4^2 + 2*x4^3 + 4*x1^2*x5 + 8*x1*x2*x5 + 4*x2^2*x5 + 8*x1*x3*x5 + 8*x2*x3*x5 + 4*x3^2*x5 + 8*x1*x4*x5 + 8*x2*x4*x5 + 8*x3*x4*x5 + 4*x4^2*x5 + 4*x1*x5^2 + 4*x2*x5^2 + 4*x3*x5^2 + 4*x4*x5^2 + 2*x5^3
5
2, 1:
4*x1^2*x2 + 4*x1*x2^2 + 4*x1^2*x3 + 8*x1*x2*x3 + 4*x2^2*x3 + 4*x1*x3^2 + 4*x2*x3^2 + 4*x1^2*x4 + 8*x1*x2*x4 + 4*x2^2*x4 + 8*x1*x3*x4 + 8*x2*x3*x4 + 4*x3^2*x4 + 4*x1*x4^2 + 4*x2*x4^2 + 4*x3*x4^2 + 4*x1^2*x5 + 8*x1*x2*x5 + 4*x2^2*x5 + 8*x1*x3*x5 + 8*x2*x3*x5 + 4*x3^2*x5 + 8*x1*x4*x5 + 8*x2*x4*x5 + 8*x3*x4*x5 + 4*x4^2*x5 + 4*x1*x5^2 + 4*x2*x5^2 + 4*x3*x5^2 + 4*x4*x5^2
5
4:
2*x1^4 + 4*x1^3*x2 + 4*x1^2*x2^2 + 4*x1*x2^3 + 2*x2^4 + 4*x1^3*x3 + 8*x1^2*x2*x3 + 8*x1*x2^2*x3 + 4*x2^3*x3 + 4*x1^2*x3^2 + 8*x1*x2*x3^2 + 4*x2^2*x3^2 + 4*x1*x3^3 + 4*x2*x3^3 + 2*x3^4 + 4*x1^3*x4 + 8*x1^2*x2*x4 + 8*x1*x2^2*x4 + 4*x2^3*x4 + 8*x1^2*x3*x4 + 16*x1*x2*x3*x4 + 8*x2^2*x3*x4 + 8*x1*x3^2*x4 + 8*x2*x3^2*x4 + 4*x3^3*x4 + 4*x1^2*x4^2 + 8*x1*x2*x4^2 + 4*x2^2*x4^2 + 8*x1*x3*x4^2 + 8*x2*x3*x4^2 + 4*x3^2*x4^2 + 4*x1*x4^3 + 4*x2*x4^3 + 4*x3*x4^3 + 2*x4^4 + 4*x1^3*x5 + 8*x1^2*x2*x5 + 8*x1*x2^2*x5 + 4*x2^3*x5 + 8*x1^2*x3*x5 + 16*x1*x2*x3*x5 + 8*x2^2*x3*x5 + 8*x1*x3^2*x5 + 8*x2*x3^2*x5 + 4*x3^3*x5 + 8*x1^2*x4*x5 + 16*x1*x2*x4*x5 + 8*x2^2*x4*x5 + 16*x1*x3*x4*x5 + 16*x2*x3*x4*x5 + 8*x3^2*x4*x5 + 8*x1*x4^2*x5 + 8*x2*x4^2*x5 + 8*x3*x4^2*x5 + 4*x4^3*x5 + 4*x1^2*x5^2 + 8*x1*x2*x5^2 + 4*x2^2*x5^2 + 8*x1*x3*x5^2 + 8*x2*x3*x5^2 + 4*x3^2*x5^2 + 8*x1*x4*x5^2 + 8*x2*x4*x5^2 + 8*x3*x4*x5^2 + 4*x4^2*x5^2 + 4*x1*x5^3 + 4*x2*x5^3 + 4*x3*x5^3 + 4*x4*x5^3 + 2*x5^4
5
3, 1:
4*x1^3*x2 + 8*x1^2*x2^2 + 4*x1*x2^3 + 4*x1^3*x3 + 16*x1^2*x2*x3 + 16*x1*x2^2*x3 + 4*x2^3*x3 + 8*x1^2*x3^2 + 16*x1*x2*x3^2 + 8*x2^2*x3^2 + 4*x1*x3^3 + 4*x2*x3^3 + 4*x1^3*x4 + 16*x1^2*x2*x4 + 16*x1*x2^2*x4 + 4*x2^3*x4 + 16*x1^2*x3*x4 + 32*x1*x2*x3*x4 + 16*x2^2*x3*x4 + 16*x1*x3^2*x4 + 16*x2*x3^2*x4 + 4*x3^3*x4 + 8*x1^2*x4^2 + 16*x1*x2*x4^2 + 8*x2^2*x4^2 + 16*x1*x3*x4^2 + 16*x2*x3*x4^2 + 8*x3^2*x4^2 + 4*x1*x4^3 + 4*x2*x4^3 + 4*x3*x4^3 + 4*x1^3*x5 + 16*x1^2*x2*x5 + 16*x1*x2^2*x5 + 4*x2^3*x5 + 16*x1^2*x3*x5 + 32*x1*x2*x3*x5 + 16*x2^2*x3*x5 + 16*x1*x3^2*x5 + 16*x2*x3^2*x5 + 4*x3^3*x5 + 16*x1^2*x4*x5 + 32*x1*x2*x4*x5 + 16*x2^2*x4*x5 + 32*x1*x3*x4*x5 + 32*x2*x3*x4*x5 + 16*x3^2*x4*x5 + 16*x1*x4^2*x5 + 16*x2*x4^2*x5 + 16*x3*x4^2*x5 + 4*x4^3*x5 + 8*x1^2*x5^2 + 16*x1*x2*x5^2 + 8*x2^2*x5^2 + 16*x1*x3*x5^2 + 16*x2*x3*x5^2 + 8*x3^2*x5^2 + 16*x1*x4*x5^2 + 16*x2*x4*x5^2 + 16*x3*x4*x5^2 + 8*x4^2*x5^2 + 4*x1*x5^3 + 4*x2*x5^3 + 4*x3*x5^3 + 4*x4*x5^3