I8P4ad := (i, j, k, l, m, n, o, p) -> -4*P(i,n,o,p)*P(j,k,l,m)-4*P(i,l,o,p)*P(
j,k,m,n)-4*P(i,m,n,o)*P(j,k,l,p)-4*P(i,l,n,p)*P(j,k,m,o)-4*P(i,l,m,o)*P(j,k,n,
p)-4*P(i,l,m,p)*P(j,k,n,o)-4*P(i,l,n,o)*P(j,k,m,p)-4*P(i,k,o,p)*P(j,l,m,n)-4*P
(i,l,m,n)*P(j,k,o,p)-4*P(i,k,m,o)*P(j,l,n,p)-4*P(i,k,m,p)*P(j,l,n,o)-4*P(i,k,n
,o)*P(j,l,m,p)-4*P(i,k,n,p)*P(j,l,m,o)-4*P(i,k,m,n)*P(j,l,o,p)-4*P(i,k,l,n)*P(
j,m,o,p)-4*P(i,k,l,o)*P(j,m,n,p)-4*P(i,k,l,p)*P(j,m,n,o)-4*P(i,k,l,m)*P(j,n,o,
p)+P(i,j,k,l,m,n,o,p)-4*P(i,j,o,p)*P(k,l,m,n)-4*P(i,j,k,l)*P(m,n,o,p)-4*P(i,m,
o,p)*P(j,k,l,n)-4*P(i,j,l,n)*P(k,m,o,p)-4*P(i,j,l,o)*P(k,m,n,p)-4*P(i,j,k,p)*P
(l,m,n,o)-4*P(i,j,l,m)*P(k,n,o,p)-4*P(i,j,k,o)*P(l,m,n,p)-4*P(i,j,k,n)*P(l,m,o
,p)-4*P(i,j,k,m)*P(l,n,o,p)-4*P(i,j,m,p)*P(k,l,n,o)-4*P(i,j,m,o)*P(k,l,n,p)-4*
P(i,m,n,p)*P(j,k,l,o)-4*P(i,j,m,n)*P(k,l,o,p)-4*P(i,j,l,p)*P(k,m,n,o)-4*P(i,j,
n,p)*P(k,l,m,o)-4*P(i,j,n,o)*P(k,l,m,p);
I8P4be := (i, j, k, l, m, n, o, p) -> -2*P(j,m)*P(i,l,n,p)*P(k,o)-4*P(i,m)*P(l
,n,o,p)*P(j,k)+2*P(i,n)*P(j,l,m,o)*P(k,p)-2*P(j,m)*P(i,l,o,p)*P(k,n)-2*P(j,o)*
P(i,l,n,p)*P(k,m)-2*P(j,p)*P(i,k,l,o)*P(m,n)+2*P(j,p)*P(i,k,m,o)*P(l,n)+2*P(j,
l)*P(i,m,n,p)*P(k,o)+2*P(j,l)*P(i,m,n,o)*P(k,p)-4*P(i,j)*P(k,l,n,o)*P(m,p)+2*P
(i,k)*P(j,l,m,n)*P(o,p)-4*P(i,j)*P(k,l,n,p)*P(m,o)+2*P(i,l)*P(j,m,n,o)*P(k,p)-\
4*P(i,j)*P(k,n,o,p)*P(l,m)+2*P(i,o)*P(j,m,n,p)*P(k,l)-4*P(i,j)*P(l,n,o,p)*P(k,
m)-2*P(j,n)*P(i,k,o,p)*P(l,m)+2*P(j,o)*P(i,l,m,p)*P(k,n)+2*P(j,p)*P(i,k,m,n)*P
(l,o)-2*P(j,l)*P(i,k,o,p)*P(m,n)-2*P(j,m)*P(i,l,n,o)*P(k,p)-2*P(j,k)*P(i,l,n,p
)*P(m,o)+2*P(j,o)*P(i,k,l,m)*P(n,p)+2*P(j,o)*P(i,m,n,p)*P(k,l)+2*P(j,n)*P(i,m,
o,p)*P(k,l)-2*P(j,p)*P(i,k,l,n)*P(m,o)+2*P(i,l)*P(j,k,m,o)*P(n,p)+2*P(j,o)*P(i
,k,m,p)*P(l,n)-2*P(j,n)*P(i,l,o,p)*P(k,m)-2*P(j,o)*P(i,k,l,p)*P(m,n)-2*P(j,k)*
P(i,n,o,p)*P(l,m)-2*P(j,o)*P(i,k,l,n)*P(m,p)+2*P(i,p)*P(j,l,m,n)*P(k,o)-2*P(j,
k)*P(i,l,n,o)*P(m,p)-2*P(j,n)*P(i,k,l,p)*P(m,o)+2*P(i,n)*P(j,k,m,o)*P(l,p)+2*P
(i,n)*P(j,m,o,p)*P(k,l)-2*P(j,p)*P(i,l,n,o)*P(k,m)-2*P(j,n)*P(i,k,l,o)*P(m,p)-\
2*P(j,o)*P(i,k,n,p)*P(l,m)+4*P(k,l)*P(i,j,m,p)*P(n,o)+2*P(j,l)*P(i,k,m,n)*P(o,
p)-2*P(i,k)*P(j,n,o,p)*P(l,m)-2*P(i,n)*P(j,k,l,o)*P(m,p)-2*P(j,m)*P(i,k,l,p)*P
(n,o)-4*P(i,k)*P(l,n,o,p)*P(j,m)+2*P(j,p)*P(i,k,l,m)*P(n,o)+2*P(i,p)*P(j,m,n,o
)*P(k,l)-2*P(j,m)*P(i,k,n,o)*P(l,p)-4*P(i,m)*P(k,n,o,p)*P(j,l)-2*P(i,l)*P(j,k,
o,p)*P(m,n)-2*P(j,k)*P(i,l,o,p)*P(m,n)+2*P(j,p)*P(i,l,m,o)*P(k,n)+2*P(j,n)*P(i
,l,m,o)*P(k,p)-2*P(j,m)*P(i,k,o,p)*P(l,n)-2*P(i,p)*P(j,k,l,o)*P(m,n)+2*P(i,k)*
P(j,m,n,o)*P(l,p)+2*P(i,n)*P(j,k,m,p)*P(l,o)+2*P(j,n)*P(i,k,m,p)*P(l,o)+2*P(i,
l)*P(j,k,m,n)*P(o,p)+2*P(j,k)*P(i,l,m,n)*P(o,p)+2*P(j,o)*P(i,l,m,n)*P(k,p)-2*P
(i,p)*P(j,l,n,o)*P(k,m)+2*P(j,n)*P(i,k,m,o)*P(l,p)-2*P(j,m)*P(i,k,l,o)*P(n,p)-\
2*P(j,p)*P(i,k,n,o)*P(l,m)-4*P(i,n)*P(k,l,o,p)*P(j,m)+2*P(i,n)*P(j,l,m,p)*P(k,
o)-2*P(j,m)*P(i,k,l,n)*P(o,p)+2*P(j,n)*P(i,k,l,m)*P(o,p)+2*P(i,l)*P(j,k,m,p)*P
(n,o)+2*P(i,m)*P(j,k,l,n,o,p)+2*P(j,m)*P(i,k,l,n,o,p)-2*P(i,n)*P(j,k,l,p)*P(m,
o)+2*P(j,p)*P(i,l,m,n)*P(k,o)-2*P(i,p)*P(j,k,l,n)*P(m,o)+2*P(j,l)*P(i,m,o,p)*P
(k,n)+2*P(j,k)*P(i,l,m,p)*P(n,o)+2*P(i,n)*P(j,k,l,m)*P(o,p)+2*P(j,k)*P(i,m,o,p
)*P(l,n)+2*P(j,k)*P(i,m,n,o)*P(l,p)+2*P(j,n)*P(i,l,m,p)*P(k,o)-2*P(i,n)*P(j,k,
o,p)*P(l,m)+2*P(j,k)*P(i,l,m,o)*P(n,p)-4*P(i,m)*P(k,l,o,p)*P(j,n)+4*P(k,l)*P(i
,j,m,n)*P(o,p)-2*P(i,o)*P(j,k,l,n)*P(m,p)-2*P(i,l)*P(j,k,n,p)*P(m,o)-4*P(i,j)*
P(k,l,o,p)*P(m,n)+2*P(i,p)*P(j,k,l,m)*P(n,o)-2*P(j,m)*P(i,n,o,p)*P(k,l)+4*P(l,
p)*P(i,j,k,m)*P(n,o)-2*P(i,l)*P(j,k,n,o)*P(m,p)+2*P(j,p)*P(i,m,n,o)*P(k,l)-2*P
(j,l)*P(i,k,n,p)*P(m,o)+4*P(k,l)*P(i,j,m,o)*P(n,p)-4*P(i,o)*P(k,l,n,p)*P(j,m)+
2*P(i,k)*P(j,l,m,o)*P(n,p)-2*P(j,l)*P(i,n,o,p)*P(k,m)+2*P(i,p)*P(j,l,m,o)*P(k,
n)-2*P(i,n)*P(j,l,o,p)*P(k,m)-2*P(j,m)*P(i,k,n,p)*P(l,o)+2*P(i,k)*P(j,m,n,p)*P
(l,o)+2*P(i,k)*P(j,l,m,p)*P(n,o)-2*P(i,m)*P(j,l,n,o)*P(k,p)-2*P(i,m)*P(j,l,n,p
)*P(k,o)+2*P(i,k)*P(j,m,o,p)*P(l,n)-2*P(i,k)*P(j,l,n,o)*P(m,p)-2*P(i,k)*P(j,l,
n,p)*P(m,o)-2*P(i,k)*P(j,l,o,p)*P(m,n)-2*P(i,m)*P(j,k,l,o)*P(n,p)-2*P(i,m)*P(j
,k,l,p)*P(n,o)-2*P(i,m)*P(j,k,n,o)*P(l,p)-2*P(i,m)*P(j,k,l,n)*P(o,p)-2*P(i,l)*
P(j,n,o,p)*P(k,m)-4*P(i,l)*P(k,n,o,p)*P(j,m)+2*P(i,l)*P(j,m,n,p)*P(k,o)+2*P(i,
l)*P(j,m,o,p)*P(k,n)-4*P(i,m)*P(k,l,n,p)*P(j,o)-2*P(i,m)*P(j,l,o,p)*P(k,n)-2*P
(i,m)*P(j,n,o,p)*P(k,l)-2*P(i,m)*P(j,k,n,p)*P(l,o)-2*P(i,m)*P(j,k,o,p)*P(l,n)-\
4*P(i,m)*P(k,l,n,o)*P(j,p)-2*P(i,p)*P(j,k,n,o)*P(l,m)-2*P(i,o)*P(j,l,n,p)*P(k,
m)+2*P(i,o)*P(j,l,m,p)*P(k,n)+2*P(i,p)*P(j,k,m,n)*P(l,o)-2*P(j,l)*P(i,k,n,o)*P
(m,p)+2*P(i,o)*P(j,k,l,m)*P(n,p)-2*P(i,o)*P(j,k,l,p)*P(m,n)+2*P(j,l)*P(i,k,m,o
)*P(n,p)+P(k,m)*P(i,j,l,n,o,p)-P(k,l)*P(i,j,m,n,o,p)+2*P(j,l)*P(i,k,m,p)*P(n,o
)+4*P(k,n)*P(i,j,m,o)*P(l,p)+2*P(i,o)*P(j,l,m,n)*P(k,p)+2*P(i,o)*P(j,k,m,n)*P(
l,p)+4*P(k,n)*P(i,j,l,m)*P(o,p)+4*P(k,n)*P(i,j,m,p)*P(l,o)-P(k,o)*P(i,j,l,m,n,
p)-P(n,o)*P(i,j,k,l,m,p)+P(m,n)*P(i,j,k,l,o,p)+4*P(k,o)*P(i,j,l,m)*P(n,p)+2*P(
j,o)*P(i,k,m,n)*P(l,p)+P(m,p)*P(i,j,k,l,n,o)+P(m,o)*P(i,j,k,l,n,p)+4*P(k,o)*P(
i,j,m,p)*P(l,n)+4*P(k,o)*P(i,j,m,n)*P(l,p)-P(l,o)*P(i,j,k,m,n,p)+4*P(k,p)*P(i,
j,m,o)*P(l,n)+2*P(i,p)*P(j,k,m,o)*P(l,n)-P(o,p)*P(i,j,k,l,m,n)-P(l,p)*P(i,j,k,
m,n,o)-P(n,p)*P(i,j,k,l,m,o)+4*P(k,p)*P(i,j,l,m)*P(n,o)+4*P(l,n)*P(i,j,k,m)*P(
o,p)+P(l,m)*P(i,j,k,n,o,p)-4*P(i,p)*P(k,l,n,o)*P(j,m)-P(k,p)*P(i,j,l,m,n,o)-P(
l,n)*P(i,j,k,m,o,p)+4*P(k,p)*P(i,j,m,n)*P(l,o)+2*P(j,k)*P(i,m,n,p)*P(l,o)+P(i,
j)*P(k,l,m,n,o,p)-P(k,n)*P(i,j,l,m,o,p)+2*P(i,o)*P(j,k,m,p)*P(l,n)-2*P(i,o)*P(
j,k,n,p)*P(l,m)+4*P(l,o)*P(i,j,k,m)*P(n,p);
I8P4ef := (i, j, k, l, m, n, o, p) -> -457109*P(j,m)*P(i,l,n,p)*P(k,o)-62677*P
(i,n)*P(j,l,m,o)*P(k,p)-69124*P(j,m)*P(i,l,o,p)*P(k,n)+113215*P(j,o)*P(i,l,n,p
)*P(k,m)-659713*P(j,p)*P(i,k,l,o)*P(m,n)-1047743*P(j,p)*P(i,k,m,o)*P(l,n)+5468
*P(j,l)*P(i,m,n,p)*P(k,o)-165200*P(j,l)*P(i,m,n,o)*P(k,p)-899179*P(i,j)*P(k,l,
n,o)*P(m,p)-462308*P(i,k)*P(j,l,m,n)*P(o,p)-581282*P(i,j)*P(k,l,n,p)*P(m,o)-\
149828*P(i,l)*P(j,m,n,o)*P(k,p)-1049940*P(i,j)*P(k,n,o,p)*P(l,m)+538092*P(i,o)
*P(j,m,n,p)*P(k,l)-237129*P(i,j)*P(l,n,o,p)*P(k,m)+860041*P(j,n)*P(i,k,o,p)*P(
l,m)+6447*P(j,o)*P(i,l,m,p)*P(k,n)-1403254*P(j,p)*P(i,k,m,n)*P(l,o)-901718*P(j
,l)*P(i,k,o,p)*P(m,n)-184204*P(j,m)*P(i,l,n,o)*P(k,p)+343894*P(j,k)*P(i,l,n,p)
*P(m,o)+426017*P(j,o)*P(i,k,l,m)*P(n,p)-230224*P(j,o)*P(i,m,n,p)*P(k,l)-554945
*P(j,n)*P(i,m,o,p)*P(k,l)-81859*P(j,p)*P(i,k,l,n)*P(m,o)-43774*P(i,l)*P(j,k,m,
o)*P(n,p)-299511*P(j,n)*P(i,l,o,p)*P(k,m)+551944*P(j,o)*P(i,k,l,p)*P(m,n)+
540621*P(j,o)*P(i,k,l,n)*P(m,p)+811707*P(i,p)*P(j,l,m,n)*P(k,o)+182028*P(j,k)*
P(i,l,n,o)*P(m,p)+291613*P(j,n)*P(i,k,l,p)*P(m,o)+431089*P(i,n)*P(j,k,m,o)*P(l
,p)-407364*P(i,n)*P(j,m,o,p)*P(k,l)+2176*P(j,p)*P(i,l,n,o)*P(k,m)+1014005*P(j,
n)*P(i,k,l,o)*P(m,p)-29976*P(j,o)*P(i,k,n,p)*P(l,m)-781181*P(k,l)*P(i,j,m,p)*P
(n,o)+1403254*P(j,l)*P(i,k,m,n)*P(o,p)-379831*P(i,k)*P(j,n,o,p)*P(l,m)+357259*
P(i,n)*P(j,k,l,o)*P(m,p)-843557*P(j,m)*P(i,k,l,p)*P(n,o)+237129*P(i,k)*P(l,n,o
,p)*P(j,m)-73611*P(j,p)*P(i,k,l,m)*P(n,o)-421989*P(i,p)*P(j,m,n,o)*P(k,l)+
443561*P(j,m)*P(i,k,n,o)*P(l,p)+121196*P(i,m)*P(k,n,o,p)*P(j,l)+64462*P(i,l)*P
(j,k,o,p)*P(m,n)+368635*P(j,k)*P(i,l,o,p)*P(m,n)-112016*P(j,p)*P(i,l,m,o)*P(k,
n)+83745*P(j,n)*P(i,l,m,o)*P(k,p)+41677*P(j,m)*P(i,k,o,p)*P(l,n)-104232*P(i,p)
*P(j,k,l,o)*P(m,n)+571817*P(i,k)*P(j,m,n,o)*P(l,p)+151743*P(i,n)*P(j,k,m,p)*P(
l,o)-505086*P(j,n)*P(i,k,m,p)*P(l,o)+528868*P(i,l)*P(j,k,m,n)*P(o,p)-565383*P(
j,k)*P(i,l,m,n)*P(o,p)-174050*P(i,p)*P(j,l,n,o)*P(k,m)+1220733*P(j,n)*P(i,k,m,
o)*P(l,p)-354292*P(j,m)*P(i,k,l,o)*P(n,p)-156529*P(j,p)*P(i,k,n,o)*P(l,m)+
195236*P(i,n)*P(k,l,o,p)*P(j,m)-458762*P(j,m)*P(i,k,l,n)*P(o,p)-352406*P(j,n)*
P(i,k,l,m)*P(o,p)+248845*P(i,l)*P(j,k,m,p)*P(n,o)+63039*P(i,n)*P(j,k,l,p)*P(m,
o)+565383*P(j,p)*P(i,l,m,n)*P(k,o)+402826*P(i,p)*P(j,k,l,n)*P(m,o)-421325*P(j,
l)*P(i,m,o,p)*P(k,n)+144535*P(j,k)*P(i,l,m,p)*P(n,o)-583483*P(i,n)*P(j,k,l,m)*
P(o,p)+976270*P(j,k)*P(i,m,o,p)*P(l,n)+551447*P(j,k)*P(i,m,n,o)*P(l,p)-150982*
P(j,n)*P(i,l,m,p)*P(k,o)+581976*P(i,n)*P(j,k,o,p)*P(l,m)+28271*P(j,k)*P(i,l,m,
o)*P(n,p)+173399*P(i,m)*P(k,l,o,p)*P(j,n)+364835*P(k,l)*P(i,j,m,n)*P(o,p)-\
403477*P(i,o)*P(j,k,l,n)*P(m,p)-228319*P(i,l)*P(j,k,n,p)*P(m,o)-368635*P(i,j)*
P(k,l,o,p)*P(m,n)+1591665*P(i,p)*P(j,k,l,m)*P(n,o)+889538*P(j,m)*P(i,n,o,p)*P(
k,l)-234900*P(l,p)*P(i,j,k,m)*P(n,o)-386247*P(j,p)*P(i,m,n,o)*P(k,l)+378016*P(
j,l)*P(i,k,n,p)*P(m,o)-478835*P(k,l)*P(i,j,m,o)*P(n,p)+413679*P(i,o)*P(k,l,n,p
)*P(j,m)-889538*P(j,l)*P(i,n,o,p)*P(k,m)+62677*P(i,p)*P(j,l,m,o)*P(k,n)+174050
*P(i,n)*P(j,l,o,p)*P(k,m)-348040*P(j,m)*P(i,k,n,p)*P(l,o)+465203*P(i,k)*P(j,m,
n,p)*P(l,o)-174050*P(i,k)*P(j,l,m,p)*P(n,o)-630373*P(i,m)*P(j,l,n,p)*P(k,o)+
407364*P(i,k)*P(j,m,o,p)*P(l,n)+174050*P(i,k)*P(j,l,n,o)*P(m,p)-462308*P(i,k)*
P(j,l,n,p)*P(m,o)-253027*P(i,m)*P(j,k,l,o)*P(n,p)-461082*P(i,m)*P(j,k,l,p)*P(n
,o)+651*P(i,m)*P(j,k,l,n)*P(o,p)+11365*P(i,l)*P(j,n,o,p)*P(k,m)+928744*P(i,l)*
P(k,n,o,p)*P(j,m)-1003295*P(i,l)*P(j,m,n,p)*P(k,o)+167603*P(i,m)*P(k,l,n,p)*P(
j,o)-174050*P(i,m)*P(j,l,o,p)*P(k,n)+368466*P(i,m)*P(j,n,o,p)*P(k,l)-646438*P(
i,m)*P(j,k,o,p)*P(l,n)+1333655*P(i,m)*P(k,l,n,o)*P(j,p)+1092681*P(i,o)*P(j,l,n
,p)*P(k,m)+174050*P(i,o)*P(j,l,m,p)*P(k,n)+433298*P(i,p)*P(j,k,m,n)*P(l,o)-\
287032*P(j,l)*P(i,k,n,o)*P(m,p)-1008182*P(i,o)*P(j,k,l,m)*P(n,p)+398043*P(i,o)
*P(j,k,l,p)*P(m,n)-172990*P(j,l)*P(i,k,m,o)*P(n,p)+505086*P(j,l)*P(i,k,m,p)*P(
n,o)-349399*P(i,o)*P(j,l,m,n)*P(k,p)-962166*P(i,o)*P(j,k,m,n)*P(l,p)-929726*P(
k,n)*P(i,j,l,m)*P(o,p)+355665*P(k,n)*P(i,j,m,p)*P(l,o)+929726*P(k,o)*P(i,j,l,m
)*P(n,p)+425516*P(k,o)*P(i,j,m,p)*P(l,n)-612777*P(k,o)*P(i,j,m,n)*P(l,p)+
478835*P(k,p)*P(i,j,m,o)*P(l,n)-387315*P(i,p)*P(j,k,m,o)*P(l,n)+234900*P(l,n)*
P(i,j,k,m)*P(o,p)-434476*P(i,p)*P(k,l,n,o)*P(j,m)+247942*P(k,p)*P(i,j,m,n)*P(l
,o)+224756*P(j,k)*P(i,m,n,p)*P(l,o)-400588*P(i,o)*P(j,k,m,p)*P(l,n)+228319*P(i
,o)*P(j,k,n,p)*P(l,m)-82126*P(k,p)*P(i,j,l,n)*P(m,o)+210820*P(i,n)*P(j,k,m)*P(
l,o,p)-357354*P(i,l)*P(m,n,o,p)*P(j,k)-308330*P(k,n)*P(i,l,o)*P(j,m,p)+369826*
P(l,o)*P(i,m,n)*P(j,k,p)-99813*P(l,o)*P(i,j,p)*P(k,m,n)+444638*P(j,n)*P(i,l,o)
*P(k,m,p)-382532*P(j,m)*P(i,o,p)*P(k,l,n)+913126*P(m,o)*P(i,k,n)*P(j,l,p)-\
404756*P(l,m)*P(i,j,k,p)*P(n,o)-914253*P(j,m)*P(i,n,o)*P(k,l,p)+311526*P(i,l)*
P(j,n,o)*P(k,m,p)-132054*P(n,p)*P(i,k,o)*P(j,l,m)-1236937*P(n,o)*P(i,j,l)*P(k,
m,p)+34145*P(k,p)*P(i,m,o)*P(j,l,n)+1146345*P(l,m)*P(i,j,k,n)*P(o,p)+573776*P(
i,p)*P(j,m,o)*P(k,l,n)-4231*P(l,n)*P(i,j,k,p)*P(m,o)+749931*P(j,k)*P(i,l,m)*P(
n,o,p)-815531*P(k,l)*P(i,o,p)*P(j,m,n)-489323*P(i,n)*P(k,l,m,p)*P(j,o)+1373857
*P(i,k)*P(j,n,o)*P(l,m,p)+636453*P(i,j)*P(k,n,p)*P(l,m,o)-2298473*P(i,k)*P(j,m
,p)*P(l,n,o)+184385*P(j,p)*P(i,m,o)*P(k,l,n)-10398*P(m,o)*P(i,l,n)*P(j,k,p)-\
969153*P(i,p)*P(j,n,o)*P(k,l,m)-420142*P(m,p)*P(i,j,n)*P(k,l,o)-40245*P(k,n)*P
(i,j,l,o)*P(m,p)-516305*P(i,o)*P(j,k,l)*P(m,n,p)+1452994*P(k,n)*P(i,l,m)*P(j,o
,p)+779060*P(i,k)*P(j,l,m)*P(n,o,p)-717726*P(j,l)*P(i,m,o)*P(k,n,p)+84915*P(i,
l)*P(k,m,o,p)*P(j,n)-1863985*P(k,o)*P(i,j,p)*P(l,m,n)-369284*P(j,o)*P(i,l,p)*P
(k,m,n)+850776*P(i,o)*P(j,k,m)*P(l,n,p)-675611*P(o,p)*P(i,j,l)*P(k,m,n)+422194
*P(i,l)*P(k,m,n,o)*P(j,p)+1281056*P(i,n)*P(j,k,l)*P(m,o,p)+251214*P(j,p)*P(i,m
,n)*P(k,l,o)+253492*P(j,l)*P(i,o,p)*P(k,m,n)-571224*P(k,m)*P(i,l,n)*P(j,o,p)+
718594*P(k,l)*P(i,j,p)*P(m,n,o)+1427097*P(k,n)*P(i,o,p)*P(j,l,m)-471206*P(i,j)
*P(k,m,n,p)*P(l,o)+210831*P(k,n)*P(i,m,p)*P(j,l,o)-312348*P(k,p)*P(i,j,o)*P(l,
m,n)-289878*P(m,o)*P(i,k,l)*P(j,n,p)-431581*P(i,o)*P(j,m,p)*P(k,l,n)+1232290*P
(j,l)*P(i,n,p)*P(k,m,o)+817091*P(o,p)*P(i,l,n)*P(j,k,m)-610969*P(k,m)*P(i,j,l,
p)*P(n,o)+229031*P(k,l)*P(i,j,n,o)*P(m,p)-249010*P(l,m)*P(i,n,o)*P(j,k,p)-\
983385*P(k,m)*P(i,j,o)*P(l,n,p)-248386*P(i,m)*P(j,n,o)*P(k,l,p)+1049526*P(n,o)
*P(i,k,m)*P(j,l,p)+106681*P(i,j)*P(k,m,p)*P(l,n,o)-1338427*P(k,o)*P(i,j,l)*P(m
,n,p)+1627481*P(n,p)*P(i,m,o)*P(j,k,l)-780969*P(n,o)*P(i,m,p)*P(j,k,l)-850860*
P(o,p)*P(i,k,m)*P(j,l,n)-248923*P(m,o)*P(i,j,p)*P(k,l,n)-295619*P(n,o)*P(i,l,p
)*P(j,k,m)-1328619*P(l,p)*P(i,k,m)*P(j,n,o)+1256659*P(m,o)*P(i,j,k)*P(l,n,p)+
256429*P(m,o)*P(i,j,l)*P(k,n,p)+1531471*P(j,m)*P(i,k,p)*P(l,n,o)+1362235*P(i,m
)*P(j,k,o)*P(l,n,p)+223796*P(i,m)*P(j,k,l)*P(n,o,p)-27533*P(j,o)*P(i,k,l)*P(m,
n,p)+574712*P(j,n)*P(i,k,m)*P(l,o,p)+803895*P(i,j)*P(k,o,p)*P(l,m,n)+26769*P(k
,m)*P(i,j,l,n)*P(o,p)-115320*P(o,p)*P(i,k,n)*P(j,l,m)+533341*P(k,n)*P(i,m,o)*P
(j,l,p)+55357*P(k,o)*P(i,j,l,n)*P(m,p)-336331*P(l,o)*P(i,j,k,n)*P(m,p)+1772180
*P(i,o)*P(j,k,n)*P(l,m,p)-862133*P(i,j)*P(k,l,p)*P(m,n,o)+1188981*P(k,m)*P(i,l
,p)*P(j,n,o)+663617*P(i,p)*P(j,k,n)*P(l,m,o)+605301*P(m,o)*P(i,j,n)*P(k,l,p)+
1389153*P(m,p)*P(i,j,l)*P(k,n,o)+643895*P(l,n)*P(i,m,o)*P(j,k,p)-941861*P(j,l)
*P(i,k,n)*P(m,o,p)-992120*P(i,m)*P(j,n,p)*P(k,l,o)-226135*P(i,m)*P(j,k,p)*P(l,
n,o)-595836*P(i,n)*P(j,m,p)*P(k,l,o)-301546*P(i,n)*P(j,k,o)*P(l,m,p)-60310*P(k
,p)*P(i,m,n)*P(j,l,o)-1049887*P(i,m)*P(j,o,p)*P(k,l,n)-1122019*P(m,n)*P(i,l,p)
*P(j,k,o)+1008691*P(n,o)*P(i,j,m)*P(k,l,p)+1640788*P(j,p)*P(i,l,o)*P(k,m,n)-\
398800*P(j,m)*P(i,k,l)*P(n,o,p)-580646*P(o,p)*P(i,m,n)*P(j,k,l)+776323*P(k,m)*
P(i,j,n,p)*P(l,o)+806783*P(i,p)*P(j,k,o)*P(l,m,n)-460136*P(j,k)*P(i,l,o)*P(m,n
,p)-184870*P(m,p)*P(i,k,o)*P(j,l,n)-415980*P(m,p)*P(i,l,o)*P(j,k,n)+941282*P(m
,p)*P(i,j,o)*P(k,l,n)-248630*P(l,m)*P(i,j,n)*P(k,o,p)-767232*P(m,p)*P(i,l,n)*P
(j,k,o)+328659*P(j,n)*P(i,k,l)*P(m,o,p)+498801*P(j,l)*P(i,m,p)*P(k,n,o)+513469
*P(k,l)*P(i,j,n,p)*P(m,o)-436496*P(i,o)*P(j,l,m)*P(k,n,p)+509143*P(j,m)*P(i,n,
p)*P(k,l,o)-39228*P(m,n)*P(i,j,k,l)*P(o,p)+1155043*P(i,k)*P(j,l,n)*P(m,o,p)-\
1913682*P(j,k)*P(i,m,o)*P(l,n,p)-291409*P(l,o)*P(i,j,k)*P(m,n,p)+610969*P(k,o)
*P(i,j,l,p)*P(m,n)-314326*P(i,j)*P(k,l,m,n)*P(o,p)-1309250*P(j,n)*P(i,k,o)*P(l
,m,p)-536330*P(l,n)*P(i,k,p)*P(j,m,o)-368033*P(l,n)*P(i,j,k,o)*P(m,p)+740202*P
(i,j)*P(l,m,n,p)*P(k,o)+723987*P(l,n)*P(i,j,p)*P(k,m,o)-331948*P(j,l)*P(i,m,n)
*P(k,o,p)+408987*P(l,o)*P(i,j,k,p)*P(m,n)+391196*P(n,p)*P(i,j,o)*P(k,l,m)+
978029*P(i,o)*P(k,m,n,p)*P(j,l)+5790*P(j,o)*P(i,n,p)*P(k,l,m)+285368*P(i,p)*P(
j,k,l)*P(m,n,o)-1825005*P(n,p)*P(i,l,m)*P(j,k,o)-172302*P(l,o)*P(i,m,p)*P(j,k,
n)+761480*P(k,p)*P(i,n,o)*P(j,l,m)+726233*P(j,o)*P(i,k,n)*P(l,m,p)-189346*P(i,
m)*P(j,l,p)*P(k,n,o)+357354*P(i,j)*P(m,n,o,p)*P(k,l)+1391296*P(i,j)*P(l,m,o,p)
*P(k,n)+142667*P(i,j)*P(l,m,n,o)*P(k,p)+82535*P(m,n)*P(i,k,l)*P(j,o,p)+46137*P
(i,j)*P(k,m,o,p)*P(l,n)-131052*P(i,n)*P(k,m,o,p)*P(j,l)+204501*P(i,p)*P(k,l,m,
n)*P(j,o)-329551*P(k,p)*P(i,j,n)*P(l,m,o)-967008*P(j,l)*P(i,k,m)*P(n,o,p)-\
422194*P(i,p)*P(k,m,n,o)*P(j,l)+808268*P(l,n)*P(i,k,m)*P(j,o,p)-811841*P(i,k)*
P(l,m,o,p)*P(j,n)-369759*P(l,p)*P(i,j,k,o)*P(m,n)+290534*P(k,l)*P(i,m,n)*P(j,o
,p)+737792*P(l,m)*P(i,j,k,o)*P(n,p)-674388*P(n,o)*P(i,k,p)*P(j,l,m)-636453*P(l
,p)*P(i,k,n)*P(j,m,o)+114749*P(i,k)*P(j,l,o)*P(m,n,p)-1979076*P(j,p)*P(i,l,m)*
P(k,n,o)+140245*P(m,p)*P(i,n,o)*P(j,k,l)-702304*P(l,o)*P(i,k,p)*P(j,m,n)-\
574061*P(k,n)*P(i,j,m)*P(l,o,p)+941807*P(l,n)*P(i,k,o)*P(j,m,p)-453588*P(i,n)*
P(j,k,p)*P(l,m,o)+254583*P(j,n)*P(i,m,p)*P(k,l,o)+3144666*P(l,m)*P(i,j,p)*P(k,
n,o)-520066*P(i,l)*P(j,o,p)*P(k,m,n)-1583034*P(k,m)*P(i,l,o)*P(j,n,p)-579455*P
(i,n)*P(l,m,o,p)*P(j,k)+1377977*P(n,p)*P(i,l,o)*P(j,k,m)-1124236*P(i,k)*P(j,l,
p)*P(m,n,o)+357454*P(l,m)*P(i,j,o)*P(k,n,p)-918336*P(l,m)*P(i,k,n)*P(j,o,p)-\
596488*P(i,l)*P(j,m,p)*P(k,n,o)+13800*P(i,o)*P(l,m,n,p)*P(j,k)-415418*P(k,l)*P
(i,j,o)*P(m,n,p)-49610*P(l,m)*P(i,j,k)*P(n,o,p)+193602*P(n,p)*P(i,k,l)*P(j,m,o
)+1400501*P(j,n)*P(i,o,p)*P(k,l,m)-10293*P(j,l)*P(i,n,o)*P(k,m,p)+112624*P(m,n
)*P(i,j,p)*P(k,l,o)-1609379*P(i,p)*P(j,l,m)*P(k,n,o)-1238080*P(l,o)*P(i,n,p)*P
(j,k,m)-955357*P(n,p)*P(i,j,k)*P(l,m,o)-312355*P(j,k)*P(i,n,o)*P(l,m,p)-620659
*P(m,n)*P(i,l,o)*P(j,k,p)-324645*P(j,m)*P(i,k,o)*P(l,n,p)+66083*P(k,p)*P(i,l,m
)*P(j,n,o)-1494408*P(i,j)*P(k,n,o)*P(l,m,p)+606010*P(j,l)*P(i,k,p)*P(m,n,o)-\
45478*P(l,m)*P(i,k,p)*P(j,n,o)-1287899*P(k,n)*P(i,j,o)*P(l,m,p)+291409*P(l,p)*
P(i,j,k)*P(m,n,o)-698712*P(j,n)*P(i,l,m)*P(k,o,p)+1102428*P(o,p)*P(i,j,m)*P(k,
l,n)+1188777*P(i,k)*P(l,m,n,o)*P(j,p)+224416*P(n,p)*P(i,j,m)*P(k,l,o)+135405*P
(k,l)*P(i,n,p)*P(j,m,o)-1289792*P(k,o)*P(i,j,n,p)*P(l,m)-836088*P(i,n)*P(j,l,p
)*P(k,m,o)+419001*P(o,p)*P(i,k,l)*P(j,m,n)+666814*P(l,o)*P(i,k,m)*P(j,n,p)-\
229031*P(k,m)*P(i,j,n,o)*P(l,p)+709452*P(i,j)*P(k,l,o)*P(m,n,p)+1390842*P(k,l)
*P(i,m,p)*P(j,n,o)+1257992*P(k,o)*P(i,j,n)*P(l,m,p)-211471*P(k,m)*P(i,j,n)*P(l
,o,p)+100060*P(i,j)*P(k,m,o)*P(l,n,p)+270000*P(i,n)*P(j,m,o)*P(k,l,p)-395185*P
(k,o)*P(i,j,m)*P(l,n,p)-391839*P(j,n)*P(i,m,o)*P(k,l,p)-1033177*P(n,o)*P(i,j,p
)*P(k,l,m)+1115014*P(l,o)*P(i,k,n)*P(j,m,p)+1465519*P(m,p)*P(i,j,k)*P(l,n,o)+
1560956*P(l,p)*P(i,j,o)*P(k,m,n)-810014*P(l,p)*P(i,j,k,n)*P(m,o)+546069*P(n,o)
*P(i,l,m)*P(j,k,p)-159113*P(j,p)*P(i,l,n)*P(k,m,o)+342310*P(j,o)*P(i,l,n)*P(k,
m,p)-902256*P(n,p)*P(i,j,l)*P(k,m,o)-754002*P(i,k)*P(l,m,n,p)*P(j,o)+61330*P(k
,o)*P(i,m,n)*P(j,l,p)+1841608*P(n,o)*P(i,k,l)*P(j,m,p)+311499*P(k,p)*P(i,l,o)*
P(j,m,n)+138278*P(i,m)*P(j,l,o)*P(k,n,p)+136615*P(l,o)*P(i,j,n)*P(k,m,p)+
922178*P(m,n)*P(i,k,o)*P(j,l,p)+4774*P(m,n)*P(i,k,p)*P(j,l,o)-720177*P(k,l)*P(
i,j,m)*P(n,o,p)-523790*P(m,o)*P(i,k,p)*P(j,l,n)-506823*P(i,l)*P(k,m,n,p)*P(j,o
)+981565*P(i,m)*P(j,l,n)*P(k,o,p)-251838*P(m,n)*P(i,j,o)*P(k,l,p)-822706*P(i,o
)*P(k,l,m,p)*P(j,n)-1292407*P(l,n)*P(i,j,k)*P(m,o,p)-688948*P(j,o)*P(i,m,p)*P(
k,l,n)+414148*P(k,o)*P(i,l,n)*P(j,m,p)+214242*P(k,p)*P(i,j,l)*P(m,n,o)+538122*
P(j,k)*P(i,o,p)*P(l,m,n)+109825*P(i,o)*P(k,l,m,n)*P(j,p)-243649*P(k,n)*P(i,j,o
,p)*P(l,m)+404116*P(l,p)*P(i,j,m)*P(k,n,o)-708593*P(l,n)*P(i,o,p)*P(j,k,m)-\
1790462*P(i,o)*P(j,l,p)*P(k,m,n)-1958526*P(m,o)*P(i,n,p)*P(j,k,l)-1453973*P(k,
n)*P(i,j,p)*P(l,m,o)+460631*P(k,m)*P(i,n,o)*P(j,l,p)-386763*P(j,m)*P(i,l,o)*P(
k,n,p)-1316694*P(i,l)*P(j,k,m)*P(n,o,p)+593905*P(m,n)*P(i,j,l)*P(k,o,p)-\
1331444*P(i,p)*P(l,m,n,o)*P(j,k)+278500*P(m,n)*P(i,o,p)*P(j,k,l)-94540*P(i,o)*
P(j,l,n)*P(k,m,p)-291409*P(l,p)*P(i,k,o)*P(j,m,n)-409541*P(j,p)*P(i,k,l)*P(m,n
,o)-53334*P(i,p)*P(j,m,n)*P(k,l,o)+205424*P(j,p)*P(i,n,o)*P(k,l,m)-685240*P(k,
p)*P(i,j,m)*P(l,n,o)+302322*P(i,p)*P(j,k,m)*P(l,n,o)-502380*P(k,l)*P(i,j,n)*P(
m,o,p)+756914*P(i,l)*P(j,n,p)*P(k,m,o)+280287*P(j,k)*P(i,l,p)*P(m,n,o)+1579333
*P(k,o)*P(i,l,m)*P(j,n,p)+171651*P(o,p)*P(i,l,m)*P(j,k,n)+40245*P(k,p)*P(i,j,l
,o)*P(m,n)+784457*P(i,o)*P(j,m,n)*P(k,l,p)+1313978*P(j,k)*P(i,n,p)*P(l,m,o)-\
516693*P(k,o)*P(i,m,p)*P(j,l,n)+378243*P(j,l)*P(i,k,o)*P(m,n,p)-287734*P(o,p)*
P(i,j,n)*P(k,l,m)-580627*P(l,n)*P(i,j,m)*P(k,o,p)-196145*P(j,k)*P(i,m,p)*P(l,n
,o)-218054*P(m,p)*P(i,j,k,l)*P(n,o)-1991056*P(l,m)*P(i,o,p)*P(j,k,n)-1739653*P
(m,p)*P(i,k,l)*P(j,n,o)+431961*P(j,m)*P(i,l,p)*P(k,n,o)-67988*P(i,j)*P(k,l,m,o
)*P(n,p)+47167*P(j,o)*P(i,k,m)*P(l,n,p)-28110*P(i,l)*P(j,k,n)*P(m,o,p)+801487*
P(k,o)*P(i,l,p)*P(j,m,n)-453866*P(i,l)*P(j,m,n)*P(k,o,p)+243649*P(k,m)*P(i,j,o
,p)*P(l,n)-65582*P(j,m)*P(i,l,n)*P(k,o,p)-424804*P(n,o)*P(i,j,k)*P(l,m,p)+
27533*P(j,o)*P(i,k,p)*P(l,m,n)+425182*P(i,n)*P(j,o,p)*P(k,l,m)-63268*P(j,o)*P(
i,l,m)*P(k,n,p)+215639*P(l,o)*P(i,j,m)*P(k,n,p)+1699502*P(k,m)*P(i,j,l)*P(n,o,
p)-230974*P(i,p)*P(k,l,m,o)*P(j,n)+1312029*P(i,j)*P(k,l,m,p)*P(n,o)-81869*P(k,
l)*P(i,n,o)*P(j,m,p)+1846784*P(i,l)*P(j,k,o)*P(m,n,p)-138029*P(i,o)*P(j,n,p)*P
(k,l,m)+265919*P(j,p)*P(i,k,n)*P(l,m,o)+257282*P(m,o)*P(i,j,k,l)*P(n,p)-915794
*P(j,n)*P(i,l,p)*P(k,m,o)+298962*P(i,n)*P(k,l,m,o)*P(j,p)+312502*P(j,n)*P(i,k,
p)*P(l,m,o)-408322*P(m,p)*P(i,k,n)*P(j,l,o);
I8P4fg := (i, j, k, l, m, n, o, p) -> -P(k,n)*P(i,j,l)*P(m,o,p)+P(j,o)*P(i,m,n
)*P(k,l,p)-P(i,p)*P(j,l,o)*P(k,m,n)+P(l,o)*P(i,j,p)*P(k,m,n)-P(m,o)*P(i,k,n)*P
(j,l,p)+P(i,l)*P(j,n,o)*P(k,m,p)-P(n,o)*P(i,j,l)*P(k,m,p)+P(i,p)*P(j,m,o)*P(k,
l,n)-P(i,k)*P(j,m,p)*P(l,n,o)+P(m,p)*P(i,j,n)*P(k,l,o)+P(j,o)*P(i,l,p)*P(k,m,n
)+P(o,p)*P(i,j,l)*P(k,m,n)+P(j,p)*P(i,m,n)*P(k,l,o)+P(k,m)*P(i,l,n)*P(j,o,p)+P
(k,l)*P(i,j,p)*P(m,n,o)+P(k,n)*P(i,m,p)*P(j,l,o)-P(i,m)*P(j,n,o)*P(k,l,p)-P(n,
o)*P(i,k,m)*P(j,l,p)+P(i,j)*P(k,m,p)*P(l,n,o)+P(o,p)*P(i,k,m)*P(j,l,n)-P(m,o)*
P(i,j,p)*P(k,l,n)+P(l,p)*P(i,k,m)*P(j,n,o)+P(j,m)*P(i,k,p)*P(l,n,o)-P(j,n)*P(i
,k,m)*P(l,o,p)-P(i,j)*P(k,l,p)*P(m,n,o)-P(k,m)*P(i,l,p)*P(j,n,o)+P(m,o)*P(i,j,
n)*P(k,l,p)+P(m,p)*P(i,j,l)*P(k,n,o)+P(j,l)*P(i,k,n)*P(m,o,p)-P(i,n)*P(j,m,p)*
P(k,l,o)-P(k,p)*P(i,m,n)*P(j,l,o)+P(i,m)*P(j,o,p)*P(k,l,n)+P(n,o)*P(i,j,m)*P(k
,l,p)+P(j,n)*P(i,k,l)*P(m,o,p)-P(j,l)*P(i,m,p)*P(k,n,o)-P(i,k)*P(j,l,n)*P(m,o,
p)-P(l,n)*P(i,k,p)*P(j,m,o)+P(l,n)*P(i,j,p)*P(k,m,o)+P(j,l)*P(i,m,n)*P(k,o,p)+
P(i,m)*P(j,l,p)*P(k,n,o)+P(m,n)*P(i,k,l)*P(j,o,p)-P(l,n)*P(i,k,m)*P(j,o,p)-P(k
,l)*P(i,m,n)*P(j,o,p)+P(l,p)*P(i,k,n)*P(j,m,o)-P(l,o)*P(i,k,p)*P(j,m,n)+P(k,n)
*P(i,j,m)*P(l,o,p)-P(j,n)*P(i,m,p)*P(k,l,o)-P(i,l)*P(j,o,p)*P(k,m,n)+P(i,k)*P(
j,l,p)*P(m,n,o)-P(i,l)*P(j,m,p)*P(k,n,o)-P(m,n)*P(i,j,p)*P(k,l,o)-P(j,l)*P(i,k
,p)*P(m,n,o)-P(o,p)*P(i,j,m)*P(k,l,n)+P(i,n)*P(j,l,p)*P(k,m,o)-P(o,p)*P(i,k,l)
*P(j,m,n)+P(k,l)*P(i,m,p)*P(j,n,o)+P(k,m)*P(i,j,n)*P(l,o,p)-P(i,n)*P(j,m,o)*P(
k,l,p)+P(l,o)*P(i,k,n)*P(j,m,p)-P(j,p)*P(i,l,n)*P(k,m,o)-P(j,o)*P(i,l,n)*P(k,m
,p)-P(k,o)*P(i,m,n)*P(j,l,p)+P(n,o)*P(i,k,l)*P(j,m,p)-P(l,o)*P(i,j,n)*P(k,m,p)
+P(m,n)*P(i,k,p)*P(j,l,o)+P(m,o)*P(i,k,p)*P(j,l,n)-P(i,m)*P(j,l,n)*P(k,o,p)-P(
j,o)*P(i,m,p)*P(k,l,n)+P(k,o)*P(i,l,n)*P(j,m,p)+P(k,p)*P(i,j,l)*P(m,n,o)-P(l,p
)*P(i,j,m)*P(k,n,o)-P(m,n)*P(i,j,l)*P(k,o,p)-P(j,p)*P(i,k,l)*P(m,n,o)+P(i,p)*P
(j,m,n)*P(k,l,o)-P(k,p)*P(i,j,m)*P(l,n,o)-P(k,l)*P(i,j,n)*P(m,o,p)+P(k,o)*P(i,
m,p)*P(j,l,n)+P(l,n)*P(i,j,m)*P(k,o,p)-P(m,p)*P(i,k,l)*P(j,n,o)+P(j,m)*P(i,l,p
)*P(k,n,o)-P(k,o)*P(i,l,p)*P(j,m,n)+P(i,l)*P(j,m,n)*P(k,o,p)-P(j,m)*P(i,l,n)*P
(k,o,p)+P(j,n)*P(i,l,p)*P(k,m,o)-P(m,p)*P(i,k,n)*P(j,l,o)-P(i,p)*P(j,l,n)*P(k,
m,o)+P(k,p)*P(i,l,n)*P(j,m,o)+P(i,n)*P(j,l,o)*P(k,m,p)-P(k,m)*P(i,j,p)*P(l,n,o
)-P(k,n)*P(i,l,p)*P(j,m,o)-P(i,j)*P(k,m,n)*P(l,o,p)+P(i,k)*P(j,m,n)*P(l,o,p)+P
(i,j)*P(k,l,n)*P(m,o,p)-P(j,m)*P(i,k,n)*P(l,o,p)+P(i,k)*P(j,l)*P(m,p)*P(n,o)+P
(i,k)*P(j,m)*P(l,n)*P(o,p)-P(i,k)*P(j,l)*P(m,n)*P(o,p)-P(i,k)*P(j,m)*P(l,p)*P(
n,o)+P(i,k)*P(j,n)*P(l,o)*P(m,p)-P(i,k)*P(j,n)*P(l,p)*P(m,o)+P(i,l)*P(j,p)*P(k
,m)*P(n,o)+P(i,l)*P(j,p)*P(k,o)*P(m,n)+P(i,n)*P(j,m)*P(k,o)*P(l,p)+P(i,n)*P(j,
m)*P(k,p)*P(l,o)+P(i,n)*P(j,o)*P(k,l)*P(m,p)-P(i,n)*P(j,o)*P(k,m)*P(l,p)+P(i,n
)*P(j,p)*P(k,l)*P(m,o)-P(i,n)*P(j,p)*P(k,m)*P(l,o)-P(i,k)*P(j,p)*P(l,o)*P(m,n)
-P(i,j)*P(k,m)*P(l,n)*P(o,p)+P(i,j)*P(k,m)*P(l,p)*P(n,o)-P(i,j)*P(k,n)*P(l,o)*
P(m,p)+P(i,j)*P(k,n)*P(l,p)*P(m,o)-P(i,j)*P(k,p)*P(l,n)*P(m,o)+P(i,j)*P(k,p)*P
(l,o)*P(m,n)+P(i,j)*P(k,l)*P(m,n)*P(o,p)-P(i,j)*P(k,l)*P(m,p)*P(n,o)-P(i,m)*P(
j,l)*P(k,n)*P(o,p)+P(i,l)*P(j,m)*P(k,n)*P(o,p)-P(i,l)*P(j,m)*P(k,p)*P(n,o)-P(i
,l)*P(j,n)*P(k,m)*P(o,p)+P(j,p)*P(i,k,m)*P(l,n,o)+P(i,k)*P(j,p)*P(l,n)*P(m,o)-
P(l,p)*P(i,j,n)*P(k,m,o)-P(i,l)*P(j,n)*P(k,o)*P(m,p)+P(i,l)*P(j,o)*P(k,n)*P(m,
p)-P(i,l)*P(j,o)*P(k,p)*P(m,n)-P(i,p)*P(j,o)*P(k,l)*P(m,n)+P(i,p)*P(j,o)*P(k,m
)*P(l,n)+P(i,p)*P(j,l)*P(k,n)*P(m,o)+P(i,p)*P(j,l)*P(k,o)*P(m,n)-P(i,p)*P(j,m)
*P(k,n)*P(l,o)-P(i,p)*P(j,m)*P(k,o)*P(l,n)-P(i,p)*P(j,n)*P(k,l)*P(m,o)+P(i,p)*
P(j,n)*P(k,m)*P(l,o)+P(i,m)*P(j,l)*P(k,p)*P(n,o)+P(i,m)*P(j,n)*P(k,l)*P(o,p)+P
(i,m)*P(j,n)*P(k,o)*P(l,p)-P(i,m)*P(j,o)*P(k,n)*P(l,p)+P(i,m)*P(j,o)*P(k,p)*P(
l,n)-P(i,m)*P(j,p)*P(k,l)*P(n,o)-P(i,m)*P(j,p)*P(k,o)*P(l,n)-P(i,n)*P(j,l)*P(k
,o)*P(m,p)-P(i,n)*P(j,l)*P(k,p)*P(m,o)+2*P(i,l)*P(j,p)*P(k,n)*P(m,o)+2*P(i,n)*
P(j,m)*P(k,l)*P(o,p)+2*P(i,k)*P(j,o)*P(l,n)*P(m,p)-2*P(i,k)*P(j,o)*P(l,p)*P(m,
n)-2*P(i,j)*P(k,o)*P(l,n)*P(m,p)+2*P(i,j)*P(k,o)*P(l,p)*P(m,n)-2*P(i,l)*P(j,n)
*P(k,p)*P(m,o)+2*P(i,p)*P(j,l)*P(k,m)*P(n,o)-2*P(i,p)*P(j,m)*P(k,l)*P(n,o)+2*P
(i,m)*P(j,n)*P(k,p)*P(l,o)-2*P(i,m)*P(j,p)*P(k,n)*P(l,o)-2*P(i,n)*P(j,l)*P(k,m
)*P(o,p);