X1**4 + 5*X1**3*X2 + 5*X1**3*X3 + 4*X1**3*y12 + 4*X1**3*y23 + 4*X1**3*y31 + 8*X1**2*X2**2 + 17*X1**2*X2*X3 + 14*X1**2*X2*y12 + 13*X1**2*X2*y23 + 13*X1**2*X2*y31 + 8*X1**2*X3**2 + 13*X1**2*X3*y12 + 13*X1**2*X3*y23 + 14*X1**2*X3*y31 + 5*X1**2*y12**2 + 11*X1**2*y12*y23 + 11*X1**2*y12*y31 + 5*X1**2*y23**2 + 11*X1**2*y23*y31 + 5*X1**2*y31**2 + 5*X1*X2**3 + 17*X1*X2**2*X3 + 14*X1*X2**2*y12 + 13*X1*X2**2*y23 + 13*X1*X2**2*y31 + 17*X1*X2*X3**2 + 28*X1*X2*X3*y12 + 28*X1*X2*X3*y23 + 28*X1*X2*X3*y31 + 10*X1*X2*y12**2 + 24*X1*X2*y12*y23 + 24*X1*X2*y12*y31 + 10*X1*X2*y23**2 + 22*X1*X2*y23*y31 + 10*X1*X2*y31**2 + 5*X1*X3**3 + 13*X1*X3**2*y12 + 13*X1*X3**2*y23 + 14*X1*X3**2*y31 + 10*X1*X3*y12**2 + 22*X1*X3*y12*y23 + 24*X1*X3*y12*y31 + 10*X1*X3*y23**2 + 24*X1*X3*y23*y31 + 10*X1*X3*y31**2 + 2*X1*y12**3 + 9*X1*y12**2*y23 + 9*X1*y12**2*y31 + 9*X1*y12*y23**2 + 20*X1*y12*y23*y31 + 9*X1*y12*y31**2 + 2*X1*y23**3 + 9*X1*y23**2*y31 + 9*X1*y23*y31**2 + 2*X1*y31**3 + X2**4 + 5*X2**3*X3 + 4*X2**3*y12 + 4*X2**3*y23 + 4*X2**3*y31 + 8*X2**2*X3**2 + 13*X2**2*X3*y12 + 14*X2**2*X3*y23 + 13*X2**2*X3*y31 + 5*X2**2*y12**2 + 11*X2**2*y12*y23 + 11*X2**2*y12*y31 + 5*X2**2*y23**2 + 11*X2**2*y23*y31 + 5*X2**2*y31**2 + 5*X2*X3**3 + 13*X2*X3**2*y12 + 14*X2*X3**2*y23 + 13*X2*X3**2*y31 + 10*X2*X3*y12**2 + 24*X2*X3*y12*y23 + 22*X2*X3*y12*y31 + 10*X2*X3*y23**2 + 24*X2*X3*y23*y31 + 10*X2*X3*y31**2 + 2*X2*y12**3 + 9*X2*y12**2*y23 + 9*X2*y12**2*y31 + 9*X2*y12*y23**2 + 20*X2*y12*y23*y31 + 9*X2*y12*y31**2 + 2*X2*y23**3 + 9*X2*y23**2*y31 + 9*X2*y23*y31**2 + 2*X2*y31**3 + X3**4 + 4*X3**3*y12 + 4*X3**3*y23 + 4*X3**3*y31 + 5*X3**2*y12**2 + 11*X3**2*y12*y23 + 11*X3**2*y12*y31 + 5*X3**2*y23**2 + 11*X3**2*y23*y31 + 5*X3**2*y31**2 + 2*X3*y12**3 + 9*X3*y12**2*y23 + 9*X3*y12**2*y31 + 9*X3*y12*y23**2 + 20*X3*y12*y23*y31 + 9*X3*y12*y31**2 + 2*X3*y23**3 + 9*X3*y23**2*y31 + 9*X3*y23*y31**2 + 2*X3*y31**3 + 2*y12**3*y23 + 2*y12**3*y31 + 4*y12**2*y23**2 + 8*y12**2*y23*y31 + 4*y12**2*y31**2 + 2*y12*y23**3 + 8*y12*y23**2*y31 + 8*y12*y23*y31**2 + 2*y12*y31**3 + 2*y23**3*y31 + 4*y23**2*y31**2 + 2*y23*y31**3