--This file was prepared by Federico Galetto using Macaulay2. Contact the author at galetto.federico [(AT)] gmail.com for questions, comments or bug reports. A=QQ[x_112,x_113,x_114,x_115,x_123,x_124,x_125,x_134,x_135,x_145,x_212,x_213,x_214,x_215,x_223,x_224,x_225,x_234,x_235,x_245] I4=ideal(2*x_145^2*x_213*x_223-2*x_135*x_145*x_223*x_214-2*x_135*x_145*x_213*x_224+2*x_135^2*x_214*x_224+2*x_125*x_145*x_213*x_234+2*x_115*x_145*x_223*x_234-2*x_125*x_135*x_214*x_234-2*x_115*x_135*x_224*x_234+2*x_115*x_125*x_234^2+2*x_134*x_145*x_223*x_215-2*x_134*x_135*x_224*x_215-2*x_134*x_125*x_234*x_215+4*x_124*x_135*x_234*x_215-4*x_123*x_145*x_234*x_215+2*x_134*x_145*x_213*x_225-2*x_134*x_135*x_214*x_225-2*x_134*x_115*x_234*x_225+4*x_114*x_135*x_234*x_225-4*x_113*x_145*x_234*x_225+2*x_134^2*x_215*x_225-2*x_124*x_145*x_213*x_235-2*x_114*x_145*x_223*x_235+4*x_134*x_125*x_214*x_235-2*x_124*x_135*x_214*x_235+4*x_123*x_145*x_214*x_235+4*x_134*x_115*x_224*x_235-2*x_114*x_135*x_224*x_235+4*x_113*x_145*x_224*x_235-2*x_124*x_115*x_234*x_235-2*x_114*x_125*x_234*x_235-2*x_124*x_134*x_215*x_235-2*x_114*x_134*x_225*x_235+2*x_114*x_124*x_235^2-4*x_134*x_125*x_213*x_245+4*x_124*x_135*x_213*x_245-2*x_123*x_145*x_213*x_245-4*x_134*x_115*x_223*x_245+4*x_114*x_135*x_223*x_245-2*x_113*x_145*x_223*x_245-2*x_123*x_135*x_214*x_245-2*x_113*x_135*x_224*x_245+2*x_123*x_115*x_234*x_245+2*x_113*x_125*x_234*x_245+2*x_123*x_134*x_215*x_245+2*x_113*x_134*x_225*x_245-2*x_123*x_114*x_235*x_245-2*x_113*x_124*x_235*x_245+2*x_113*x_123*x_245^2,-2*x_145^2*x_212*x_223+2*x_125*x_145*x_223*x_214+2*x_135*x_145*x_212*x_224-2*x_115*x_145*x_223*x_224-2*x_125*x_135*x_214*x_224+2*x_115*x_135*x_224^2-2*x_125*x_145*x_212*x_234+2*x_125^2*x_214*x_234-2*x_115*x_125*x_224*x_234-2*x_124*x_145*x_223*x_215+4*x_134*x_125*x_224*x_215-2*x_124*x_135*x_224*x_215+4*x_123*x_145*x_224*x_215-2*x_124*x_125*x_234*x_215-2*x_134*x_145*x_212*x_225+2*x_114*x_145*x_223*x_225-2*x_134*x_125*x_214*x_225+4*x_124*x_135*x_214*x_225-4*x_123*x_145*x_214*x_225-2*x_134*x_115*x_224*x_225-2*x_114*x_135*x_224*x_225+4*x_124*x_115*x_234*x_225-2*x_114*x_125*x_234*x_225+4*x_112*x_145*x_234*x_225-2*x_124*x_134*x_215*x_225+2*x_114*x_134*x_225^2+2*x_124*x_145*x_212*x_235-2*x_124*x_125*x_214*x_235-2*x_124*x_115*x_224*x_235+4*x_114*x_125*x_224*x_235-4*x_112*x_145*x_224*x_235+2*x_124^2*x_215*x_235-2*x_114*x_124*x_225*x_235+4*x_134*x_125*x_212*x_245-4*x_124*x_135*x_212*x_245+2*x_123*x_145*x_212*x_245+4*x_124*x_115*x_223*x_245-4*x_114*x_125*x_223*x_245+2*x_112*x_145*x_223*x_245+2*x_123*x_125*x_214*x_245-2*x_123*x_115*x_224*x_245+2*x_112*x_135*x_224*x_245-2*x_112*x_125*x_234*x_245-2*x_123*x_124*x_215*x_245+2*x_123*x_114*x_225*x_245-2*x_112*x_134*x_225*x_245+2*x_112*x_124*x_235*x_245-2*x_112*x_123*x_245^2,2*x_135*x_145*x_212*x_223-2*x_125*x_145*x_213*x_223+2*x_115*x_145*x_223^2-2*x_135^2*x_212*x_224+2*x_125*x_135*x_213*x_224-2*x_115*x_135*x_223*x_224+2*x_125*x_135*x_212*x_234-2*x_125^2*x_213*x_234+2*x_115*x_125*x_223*x_234-4*x_134*x_125*x_223*x_215+4*x_124*x_135*x_223*x_215-2*x_123*x_145*x_223*x_215-2*x_123*x_135*x_224*x_215+2*x_123*x_125*x_234*x_215+2*x_134*x_135*x_212*x_225+2*x_134*x_125*x_213*x_225-4*x_124*x_135*x_213*x_225+4*x_123*x_145*x_213*x_225+2*x_134*x_115*x_223*x_225-2*x_113*x_145*x_223*x_225+2*x_113*x_135*x_224*x_225-4*x_123*x_115*x_234*x_225+2*x_113*x_125*x_234*x_225-4*x_112*x_135*x_234*x_225+2*x_123*x_134*x_215*x_225-2*x_113*x_134*x_225^2-4*x_134*x_125*x_212*x_235+2*x_124*x_135*x_212*x_235-4*x_123*x_145*x_212*x_235+2*x_124*x_125*x_213*x_235-2*x_124*x_115*x_223*x_235+2*x_112*x_145*x_223*x_235+4*x_123*x_115*x_224*x_235-4*x_113*x_125*x_224*x_235+2*x_112*x_135*x_224*x_235+2*x_112*x_125*x_234*x_235-2*x_123*x_124*x_215*x_235+2*x_113*x_124*x_225*x_235+2*x_112*x_134*x_225*x_235-2*x_112*x_124*x_235^2+2*x_123*x_135*x_212*x_245-2*x_123*x_125*x_213*x_245-2*x_123*x_115*x_223*x_245+4*x_113*x_125*x_223*x_245-4*x_112*x_135*x_223*x_245+2*x_123^2*x_215*x_245-2*x_113*x_123*x_225*x_245+2*x_112*x_123*x_235*x_245,-2*x_134*x_145*x_212*x_223+2*x_124*x_145*x_213*x_223-2*x_114*x_145*x_223^2+4*x_134*x_125*x_223*x_214-4*x_124*x_135*x_223*x_214+2*x_123*x_145*x_223*x_214+2*x_134*x_135*x_212*x_224-4*x_134*x_125*x_213*x_224+2*x_124*x_135*x_213*x_224-4*x_123*x_145*x_213*x_224+2*x_114*x_135*x_223*x_224+2*x_113*x_145*x_223*x_224+2*x_123*x_135*x_214*x_224-2*x_113*x_135*x_224^2+2*x_134*x_125*x_212*x_234-4*x_124*x_135*x_212*x_234+4*x_123*x_145*x_212*x_234+2*x_124*x_125*x_213*x_234-2*x_114*x_125*x_223*x_234-2*x_112*x_145*x_223*x_234-2*x_123*x_125*x_214*x_234+2*x_113*x_125*x_224*x_234+2*x_112*x_135*x_224*x_234-2*x_112*x_125*x_234^2-2*x_134^2*x_212*x_225+2*x_124*x_134*x_213*x_225-2*x_114*x_134*x_223*x_225-2*x_123*x_134*x_214*x_225+2*x_113*x_134*x_224*x_225+4*x_123*x_114*x_234*x_225-4*x_113*x_124*x_234*x_225+2*x_112*x_134*x_234*x_225+2*x_124*x_134*x_212*x_235-2*x_124^2*x_213*x_235+2*x_114*x_124*x_223*x_235+2*x_123*x_124*x_214*x_235-4*x_123*x_114*x_224*x_235+2*x_113*x_124*x_224*x_235-4*x_112*x_134*x_224*x_235+2*x_112*x_124*x_234*x_235-2*x_123*x_134*x_212*x_245+2*x_123*x_124*x_213*x_245+2*x_123*x_114*x_223*x_245-4*x_113*x_124*x_223*x_245+4*x_112*x_134*x_223*x_245-2*x_123^2*x_214*x_245+2*x_113*x_123*x_224*x_245-2*x_112*x_123*x_234*x_245,2*x_145^2*x_212*x_213-2*x_135*x_145*x_212*x_214-2*x_125*x_145*x_213*x_214+2*x_125*x_135*x_214^2+2*x_115*x_145*x_213*x_224-2*x_115*x_135*x_214*x_224+2*x_115*x_145*x_212*x_234-2*x_115*x_125*x_214*x_234+2*x_115^2*x_224*x_234+2*x_134*x_145*x_212*x_215+2*x_124*x_145*x_213*x_215-2*x_134*x_125*x_214*x_215-2*x_124*x_135*x_214*x_215-2*x_134*x_115*x_224*x_215+4*x_114*x_135*x_224*x_215-4*x_113*x_145*x_224*x_215-2*x_124*x_115*x_234*x_215+4*x_114*x_125*x_234*x_215-4*x_112*x_145*x_234*x_215+2*x_124*x_134*x_215^2-2*x_114*x_145*x_213*x_225+4*x_134*x_115*x_214*x_225-2*x_114*x_135*x_214*x_225+4*x_113*x_145*x_214*x_225-2*x_114*x_115*x_234*x_225-2*x_114*x_134*x_215*x_225-2*x_114*x_145*x_212*x_235+4*x_124*x_115*x_214*x_235-2*x_114*x_125*x_214*x_235+4*x_112*x_145*x_214*x_235-2*x_114*x_115*x_224*x_235-2*x_114*x_124*x_215*x_235+2*x_114^2*x_225*x_235-4*x_134*x_115*x_212*x_245+4*x_114*x_135*x_212*x_245-2*x_113*x_145*x_212*x_245-4*x_124*x_115*x_213*x_245+4*x_114*x_125*x_213*x_245-2*x_112*x_145*x_213*x_245-2*x_113*x_125*x_214*x_245-2*x_112*x_135*x_214*x_245+2*x_113*x_115*x_224*x_245+2*x_112*x_115*x_234*x_245+2*x_113*x_124*x_215*x_245+2*x_112*x_134*x_215*x_245-2*x_113*x_114*x_225*x_245-2*x_112*x_114*x_235*x_245+2*x_112*x_113*x_245^2,-2*x_135*x_145*x_212*x_213+2*x_125*x_145*x_213^2-2*x_115*x_145*x_213*x_223+2*x_135^2*x_212*x_214-2*x_125*x_135*x_213*x_214+2*x_115*x_135*x_223*x_214-2*x_115*x_135*x_212*x_234+2*x_115*x_125*x_213*x_234-2*x_115^2*x_223*x_234-2*x_134*x_135*x_212*x_215+2*x_134*x_125*x_213*x_215-2*x_123*x_145*x_213*x_215+2*x_134*x_115*x_223*x_215-4*x_114*x_135*x_223*x_215+4*x_113*x_145*x_223*x_215+2*x_123*x_135*x_214*x_215+2*x_123*x_115*x_234*x_215-4*x_113*x_125*x_234*x_215+4*x_112*x_135*x_234*x_215-2*x_123*x_134*x_215^2-4*x_134*x_115*x_213*x_225+4*x_114*x_135*x_213*x_225-2*x_113*x_145*x_213*x_225-2*x_113*x_135*x_214*x_225+2*x_113*x_115*x_234*x_225+2*x_113*x_134*x_215*x_225+4*x_134*x_115*x_212*x_235-2*x_114*x_135*x_212*x_235+4*x_113*x_145*x_212*x_235-2*x_114*x_125*x_213*x_235-2*x_112*x_145*x_213*x_235+2*x_114*x_115*x_223*x_235-4*x_123*x_115*x_214*x_235+4*x_113*x_125*x_214*x_235-2*x_112*x_135*x_214*x_235-2*x_112*x_115*x_234*x_235+2*x_123*x_114*x_215*x_235-2*x_112*x_134*x_215*x_235-2*x_113*x_114*x_225*x_235+2*x_112*x_114*x_235^2-2*x_113*x_135*x_212*x_245+4*x_123*x_115*x_213*x_245-2*x_113*x_125*x_213*x_245+4*x_112*x_135*x_213*x_245-2*x_113*x_115*x_223*x_245-2*x_113*x_123*x_215*x_245+2*x_113^2*x_225*x_245-2*x_112*x_113*x_235*x_245,2*x_134*x_145*x_212*x_213-2*x_124*x_145*x_213^2+2*x_114*x_145*x_213*x_223-2*x_134*x_135*x_212*x_214+2*x_124*x_135*x_213*x_214+2*x_123*x_145*x_213*x_214-4*x_134*x_115*x_223*x_214+2*x_114*x_135*x_223*x_214-4*x_113*x_145*x_223*x_214-2*x_123*x_135*x_214^2+4*x_134*x_115*x_213*x_224-4*x_114*x_135*x_213*x_224+2*x_113*x_145*x_213*x_224+2*x_113*x_135*x_214*x_224-2*x_134*x_115*x_212*x_234+4*x_114*x_135*x_212*x_234-4*x_113*x_145*x_212*x_234-2*x_124*x_115*x_213*x_234+2*x_112*x_145*x_213*x_234+2*x_114*x_115*x_223*x_234+2*x_123*x_115*x_214*x_234-2*x_112*x_135*x_214*x_234-2*x_113*x_115*x_224*x_234+2*x_112*x_115*x_234^2+2*x_134^2*x_212*x_215-2*x_124*x_134*x_213*x_215+2*x_114*x_134*x_223*x_215+2*x_123*x_134*x_214*x_215-2*x_113*x_134*x_224*x_215-4*x_123*x_114*x_234*x_215+4*x_113*x_124*x_234*x_215-2*x_112*x_134*x_234*x_215-2*x_114*x_134*x_212*x_235+2*x_114*x_124*x_213*x_235-2*x_114^2*x_223*x_235+2*x_123*x_114*x_214*x_235-4*x_113*x_124*x_214*x_235+4*x_112*x_134*x_214*x_235+2*x_113*x_114*x_224*x_235-2*x_112*x_114*x_234*x_235+2*x_113*x_134*x_212*x_245-4*x_123*x_114*x_213*x_245+2*x_113*x_124*x_213*x_245-4*x_112*x_134*x_213*x_245+2*x_113*x_114*x_223*x_245+2*x_113*x_123*x_214*x_245-2*x_113^2*x_224*x_245+2*x_112*x_113*x_234*x_245,2*x_135*x_145*x_212^2-2*x_125*x_145*x_212*x_213+2*x_115*x_145*x_212*x_223-2*x_125*x_135*x_212*x_214+2*x_125^2*x_213*x_214-2*x_115*x_125*x_223*x_214+2*x_115*x_135*x_212*x_224-2*x_115*x_125*x_213*x_224+2*x_115^2*x_223*x_224+2*x_124*x_135*x_212*x_215+2*x_123*x_145*x_212*x_215-2*x_124*x_125*x_213*x_215-2*x_124*x_115*x_223*x_215+4*x_114*x_125*x_223*x_215-4*x_112*x_145*x_223*x_215-2*x_123*x_125*x_214*x_215-2*x_123*x_115*x_224*x_215+4*x_113*x_125*x_224*x_215-4*x_112*x_135*x_224*x_215+2*x_123*x_124*x_215^2-2*x_114*x_135*x_212*x_225-2*x_113*x_145*x_212*x_225+4*x_124*x_115*x_213*x_225-2*x_114*x_125*x_213*x_225+4*x_112*x_145*x_213*x_225-2*x_114*x_115*x_223*x_225+4*x_123*x_115*x_214*x_225-2*x_113*x_125*x_214*x_225+4*x_112*x_135*x_214*x_225-2*x_113*x_115*x_224*x_225-2*x_123*x_114*x_215*x_225-2*x_113*x_124*x_215*x_225+2*x_113*x_114*x_225^2-4*x_124*x_115*x_212*x_235+4*x_114*x_125*x_212*x_235-2*x_112*x_145*x_212*x_235-2*x_112*x_125*x_214*x_235+2*x_112*x_115*x_224*x_235+2*x_112*x_124*x_215*x_235-2*x_112*x_114*x_225*x_235-4*x_123*x_115*x_212*x_245+4*x_113*x_125*x_212*x_245-2*x_112*x_135*x_212*x_245-2*x_112*x_125*x_213*x_245+2*x_112*x_115*x_223*x_245+2*x_112*x_123*x_215*x_245-2*x_112*x_113*x_225*x_245+2*x_112^2*x_235*x_245,-2*x_134*x_145*x_212^2+2*x_124*x_145*x_212*x_213-2*x_114*x_145*x_212*x_223+2*x_134*x_125*x_212*x_214-2*x_123*x_145*x_212*x_214-2*x_124*x_125*x_213*x_214+4*x_124*x_115*x_223*x_214-2*x_114*x_125*x_223*x_214+4*x_112*x_145*x_223*x_214+2*x_123*x_125*x_214^2-2*x_134*x_115*x_212*x_224+2*x_113*x_145*x_212*x_224-2*x_124*x_115*x_213*x_224+4*x_114*x_125*x_213*x_224-4*x_112*x_145*x_213*x_224-2*x_114*x_115*x_223*x_224-2*x_123*x_115*x_214*x_224-2*x_113*x_125*x_214*x_224+2*x_113*x_115*x_224^2+4*x_124*x_115*x_212*x_234-4*x_114*x_125*x_212*x_234+2*x_112*x_145*x_212*x_234+2*x_112*x_125*x_214*x_234-2*x_112*x_115*x_224*x_234-2*x_124*x_134*x_212*x_215+2*x_124^2*x_213*x_215-2*x_114*x_124*x_223*x_215-2*x_123*x_124*x_214*x_215+4*x_123*x_114*x_224*x_215-2*x_113*x_124*x_224*x_215+4*x_112*x_134*x_224*x_215-2*x_112*x_124*x_234*x_215+2*x_114*x_134*x_212*x_225-2*x_114*x_124*x_213*x_225+2*x_114^2*x_223*x_225-2*x_123*x_114*x_214*x_225+4*x_113*x_124*x_214*x_225-4*x_112*x_134*x_214*x_225-2*x_113*x_114*x_224*x_225+2*x_112*x_114*x_234*x_225+4*x_123*x_114*x_212*x_245-4*x_113*x_124*x_212*x_245+2*x_112*x_134*x_212*x_245+2*x_112*x_124*x_213*x_245-2*x_112*x_114*x_223*x_245-2*x_112*x_123*x_214*x_245+2*x_112*x_113*x_224*x_245-2*x_112^2*x_234*x_245,2*x_134*x_135*x_212^2-2*x_134*x_125*x_212*x_213-2*x_124*x_135*x_212*x_213+2*x_124*x_125*x_213^2+2*x_134*x_115*x_212*x_223+2*x_114*x_135*x_212*x_223-2*x_124*x_115*x_213*x_223-2*x_114*x_125*x_213*x_223+2*x_114*x_115*x_223^2+2*x_123*x_135*x_212*x_214-2*x_123*x_125*x_213*x_214-2*x_123*x_115*x_223*x_214+4*x_113*x_125*x_223*x_214-4*x_112*x_135*x_223*x_214-2*x_113*x_135*x_212*x_224+4*x_123*x_115*x_213*x_224-2*x_113*x_125*x_213*x_224+4*x_112*x_135*x_213*x_224-2*x_113*x_115*x_223*x_224-4*x_123*x_115*x_212*x_234+4*x_113*x_125*x_212*x_234-2*x_112*x_135*x_212*x_234-2*x_112*x_125*x_213*x_234+2*x_112*x_115*x_223*x_234+2*x_123*x_134*x_212*x_215-2*x_123*x_124*x_213*x_215-2*x_123*x_114*x_223*x_215+4*x_113*x_124*x_223*x_215-4*x_112*x_134*x_223*x_215+2*x_123^2*x_214*x_215-2*x_113*x_123*x_224*x_215+2*x_112*x_123*x_234*x_215-2*x_113*x_134*x_212*x_225+4*x_123*x_114*x_213*x_225-2*x_113*x_124*x_213*x_225+4*x_112*x_134*x_213*x_225-2*x_113*x_114*x_223*x_225-2*x_113*x_123*x_214*x_225+2*x_113^2*x_224*x_225-2*x_112*x_113*x_234*x_225-4*x_123*x_114*x_212*x_235+4*x_113*x_124*x_212*x_235-2*x_112*x_134*x_212*x_235-2*x_112*x_124*x_213*x_235+2*x_112*x_114*x_223*x_235+2*x_112*x_123*x_214*x_235-2*x_112*x_113*x_224*x_235+2*x_112^2*x_234*x_235,x_145^2*x_223^2-2*x_135*x_145*x_223*x_224+x_135^2*x_224^2+2*x_125*x_145*x_223*x_234-2*x_125*x_135*x_224*x_234+x_125^2*x_234^2+2*x_134*x_145*x_223*x_225-2*x_134*x_135*x_224*x_225-2*x_134*x_125*x_234*x_225+4*x_124*x_135*x_234*x_225-4*x_123*x_145*x_234*x_225+x_134^2*x_225^2-2*x_124*x_145*x_223*x_235+4*x_134*x_125*x_224*x_235-2*x_124*x_135*x_224*x_235+4*x_123*x_145*x_224*x_235-2*x_124*x_125*x_234*x_235-2*x_124*x_134*x_225*x_235+x_124^2*x_235^2-4*x_134*x_125*x_223*x_245+4*x_124*x_135*x_223*x_245-2*x_123*x_145*x_223*x_245-2*x_123*x_135*x_224*x_245+2*x_123*x_125*x_234*x_245+2*x_123*x_134*x_225*x_245-2*x_123*x_124*x_235*x_245+x_123^2*x_245^2,x_145^2*x_213^2-2*x_135*x_145*x_213*x_214+x_135^2*x_214^2+2*x_115*x_145*x_213*x_234-2*x_115*x_135*x_214*x_234+x_115^2*x_234^2+2*x_134*x_145*x_213*x_215-2*x_134*x_135*x_214*x_215-2*x_134*x_115*x_234*x_215+4*x_114*x_135*x_234*x_215-4*x_113*x_145*x_234*x_215+x_134^2*x_215^2-2*x_114*x_145*x_213*x_235+4*x_134*x_115*x_214*x_235-2*x_114*x_135*x_214*x_235+4*x_113*x_145*x_214*x_235-2*x_114*x_115*x_234*x_235-2*x_114*x_134*x_215*x_235+x_114^2*x_235^2-4*x_134*x_115*x_213*x_245+4*x_114*x_135*x_213*x_245-2*x_113*x_145*x_213*x_245-2*x_113*x_135*x_214*x_245+2*x_113*x_115*x_234*x_245+2*x_113*x_134*x_215*x_245-2*x_113*x_114*x_235*x_245+x_113^2*x_245^2,x_145^2*x_212^2-2*x_125*x_145*x_212*x_214+x_125^2*x_214^2+2*x_115*x_145*x_212*x_224-2*x_115*x_125*x_214*x_224+x_115^2*x_224^2+2*x_124*x_145*x_212*x_215-2*x_124*x_125*x_214*x_215-2*x_124*x_115*x_224*x_215+4*x_114*x_125*x_224*x_215-4*x_112*x_145*x_224*x_215+x_124^2*x_215^2-2*x_114*x_145*x_212*x_225+4*x_124*x_115*x_214*x_225-2*x_114*x_125*x_214*x_225+4*x_112*x_145*x_214*x_225-2*x_114*x_115*x_224*x_225-2*x_114*x_124*x_215*x_225+x_114^2*x_225^2-4*x_124*x_115*x_212*x_245+4*x_114*x_125*x_212*x_245-2*x_112*x_145*x_212*x_245-2*x_112*x_125*x_214*x_245+2*x_112*x_115*x_224*x_245+2*x_112*x_124*x_215*x_245-2*x_112*x_114*x_225*x_245+x_112^2*x_245^2,x_135^2*x_212^2-2*x_125*x_135*x_212*x_213+x_125^2*x_213^2+2*x_115*x_135*x_212*x_223-2*x_115*x_125*x_213*x_223+x_115^2*x_223^2+2*x_123*x_135*x_212*x_215-2*x_123*x_125*x_213*x_215-2*x_123*x_115*x_223*x_215+4*x_113*x_125*x_223*x_215-4*x_112*x_135*x_223*x_215+x_123^2*x_215^2-2*x_113*x_135*x_212*x_225+4*x_123*x_115*x_213*x_225-2*x_113*x_125*x_213*x_225+4*x_112*x_135*x_213*x_225-2*x_113*x_115*x_223*x_225-2*x_113*x_123*x_215*x_225+x_113^2*x_225^2-4*x_123*x_115*x_212*x_235+4*x_113*x_125*x_212*x_235-2*x_112*x_135*x_212*x_235-2*x_112*x_125*x_213*x_235+2*x_112*x_115*x_223*x_235+2*x_112*x_123*x_215*x_235-2*x_112*x_113*x_225*x_235+x_112^2*x_235^2,x_134^2*x_212^2-2*x_124*x_134*x_212*x_213+x_124^2*x_213^2+2*x_114*x_134*x_212*x_223-2*x_114*x_124*x_213*x_223+x_114^2*x_223^2+2*x_123*x_134*x_212*x_214-2*x_123*x_124*x_213*x_214-2*x_123*x_114*x_223*x_214+4*x_113*x_124*x_223*x_214-4*x_112*x_134*x_223*x_214+x_123^2*x_214^2-2*x_113*x_134*x_212*x_224+4*x_123*x_114*x_213*x_224-2*x_113*x_124*x_213*x_224+4*x_112*x_134*x_213*x_224-2*x_113*x_114*x_223*x_224-2*x_113*x_123*x_214*x_224+x_113^2*x_224^2-4*x_123*x_114*x_212*x_234+4*x_113*x_124*x_212*x_234-2*x_112*x_134*x_212*x_234-2*x_112*x_124*x_213*x_234+2*x_112*x_114*x_223*x_234+2*x_112*x_123*x_214*x_234-2*x_112*x_113*x_224*x_234+x_112^2*x_234^2,x_134*x_125*x_213-x_124*x_135*x_213+x_123*x_145*x_213-x_134*x_115*x_223+x_114*x_135*x_223-x_113*x_145*x_223+x_123*x_115*x_234-x_113*x_125*x_234+x_112*x_135*x_234-x_123*x_114*x_235+x_113*x_124*x_235-x_112*x_134*x_235,-x_134*x_125*x_212+x_124*x_135*x_212-x_123*x_145*x_212+x_124*x_115*x_223-x_114*x_125*x_223+x_112*x_145*x_223-x_123*x_115*x_224+x_113*x_125*x_224-x_112*x_135*x_224+x_123*x_114*x_225-x_113*x_124*x_225+x_112*x_134*x_225,-x_145*x_223*x_215+x_135*x_224*x_215-x_125*x_234*x_215+x_145*x_213*x_225-x_135*x_214*x_225+x_115*x_234*x_225-x_145*x_212*x_235+x_125*x_214*x_235-x_115*x_224*x_235+x_135*x_212*x_245-x_125*x_213*x_245+x_115*x_223*x_245,x_135*x_223*x_214-x_135*x_213*x_224+x_135*x_212*x_234-x_134*x_223*x_215+x_123*x_234*x_215+x_134*x_213*x_225-x_113*x_234*x_225-x_134*x_212*x_235-x_123*x_214*x_235+x_113*x_224*x_235+x_123*x_213*x_245-x_113*x_223*x_245,x_145*x_223*x_214-x_145*x_213*x_224+x_145*x_212*x_234-x_134*x_224*x_215+x_124*x_234*x_215+x_134*x_214*x_225-x_114*x_234*x_225-x_124*x_214*x_235+x_114*x_224*x_235-x_134*x_212*x_245+x_124*x_213*x_245-x_114*x_223*x_245,x_125*x_223*x_214-x_125*x_213*x_224+x_125*x_212*x_234-x_124*x_223*x_215+x_123*x_224*x_215+x_124*x_213*x_225-x_123*x_214*x_225-x_112*x_234*x_225-x_124*x_212*x_235+x_112*x_224*x_235+x_123*x_212*x_245-x_112*x_223*x_245,-x_115*x_223*x_214+x_115*x_213*x_224-x_115*x_212*x_234+x_114*x_223*x_215-x_113*x_224*x_215+x_112*x_234*x_215-x_114*x_213*x_225+x_113*x_214*x_225+x_114*x_212*x_235-x_112*x_214*x_235-x_113*x_212*x_245+x_112*x_213*x_245,x_134*x_125*x_215-x_124*x_135*x_215+x_123*x_145*x_215-x_134*x_115*x_225+x_114*x_135*x_225-x_113*x_145*x_225+x_124*x_115*x_235-x_114*x_125*x_235+x_112*x_145*x_235-x_123*x_115*x_245+x_113*x_125*x_245-x_112*x_135*x_245,-x_134*x_125*x_214+x_124*x_135*x_214-x_123*x_145*x_214+x_134*x_115*x_224-x_114*x_135*x_224+x_113*x_145*x_224-x_124*x_115*x_234+x_114*x_125*x_234-x_112*x_145*x_234+x_123*x_114*x_245-x_113*x_124*x_245+x_112*x_134*x_245,-x_134*x_115*x_212+x_114*x_135*x_212-x_113*x_145*x_212+x_124*x_115*x_213-x_114*x_125*x_213+x_112*x_145*x_213-x_123*x_115*x_214+x_113*x_125*x_214-x_112*x_135*x_214+x_123*x_114*x_215-x_113*x_124*x_215+x_112*x_134*x_215)