Pfunction := (i, j, k, l, m, n, o) -> 1/2*P(i,m)*P(j,n)*P(k,l,o)-3/2*P(i,n)*P(
m,o)*P(j,k,l)+1/2*P(i,l)*P(m,n)*P(j,k,o)-1/2*P(l,o)*P(m,n)*P(i,j,k)+P(k,l)*P(n
,o)*P(i,j,m)+1/2*P(i,j)*P(k,n)*P(l,m,o)-3/2*P(i,n)*P(l,o)*P(j,k,m)-1/2*P(j,n)*
P(m,o)*P(i,k,l)+1/2*P(i,k)*P(j,n)*P(l,m,o)+1/2*P(i,j)*P(l,n)*P(k,m,o)-3/2*P(i,
n)*P(k,o)*P(j,l,m)+1/2*P(i,j)*P(m,n)*P(k,l,o)+P(k,m)*P(n,o)*P(i,j,l)+P(k,o)*P(
l,m)*P(i,j,n)+P(j,k)*P(m,o)*P(i,l,n)+P(j,k)*P(l,o)*P(i,m,n)-P(i,m)*P(k,l)*P(j,
n,o)-P(i,l)*P(j,k)*P(m,n,o)+P(l,m)*P(n,o)*P(i,j,k)-P(i,m)*P(j,l)*P(k,n,o)+P(k,
l)*P(m,o)*P(i,j,n)+P(j,o)*P(k,l)*P(i,m,n)+3/2*P(i,m)*P(n,o)*P(j,k,l)+P(j,l)*P(
m,o)*P(i,k,n)-P(i,l)*P(k,m)*P(j,n,o)-3/2*P(i,n)*P(j,o)*P(k,l,m)-P(i,n)*P(j,m)*
P(k,l,o)+P(j,m)*P(l,o)*P(i,k,n)-P(i,j)*P(k,m)*P(l,n,o)+P(j,m)*P(k,o)*P(i,l,n)-
P(i,n)*P(k,l)*P(j,m,o)-P(i,n)*P(j,l)*P(k,m,o)+P(j,m)*P(n,o)*P(i,k,l)-P(i,n)*P(
j,k)*P(l,m,o)-P(i,l)*P(j,m)*P(k,n,o)-P(i,j)*P(k,l)*P(m,n,o)+P(k,m)*P(l,o)*P(i,
j,n)-P(i,m)*P(j,k)*P(l,n,o)+P(j,o)*P(k,m)*P(i,l,n)+P(j,l)*P(k,o)*P(i,m,n)+P(j,
l)*P(n,o)*P(i,k,m)-P(i,k)*P(j,l)*P(m,n,o)-P(i,n)*P(l,m)*P(j,k,o)+P(j,o)*P(l,m)
*P(i,k,n)-P(i,k)*P(l,m)*P(j,n,o)+P(j,k)*P(n,o)*P(i,l,m)-P(i,k)*P(j,m)*P(l,n,o)
-P(i,j)*P(l,m)*P(k,n,o)-1/2*P(k,o)*P(m,n)*P(i,j,l)-1/2*P(k,n)*P(m,o)*P(i,j,l)-\
1/2*P(k,o)*P(l,n)*P(i,j,m)-1/2*P(j,o)*P(k,n)*P(i,l,m)-1/2*P(j,o)*P(l,n)*P(i,k,
m)-1/2*P(k,n)*P(l,o)*P(i,j,m)-1/2*P(j,o)*P(m,n)*P(i,k,l)-1/2*P(l,n)*P(m,o)*P(i
,j,k)+1/2*P(i,m)*P(k,n)*P(j,l,o)+3/2*P(i,k)*P(n,o)*P(j,l,m)+1/2*P(i,k)*P(l,n)*
P(j,m,o)+1/2*P(i,k)*P(m,n)*P(j,l,o)-P(n,o)*P(i,j,k,l,m)+P(i,n)*P(j,k,l,m,o)+1/
2*P(i,m)*P(l,n)*P(j,k,o)+1/2*P(i,l)*P(j,n)*P(k,m,o)-1/2*P(j,n)*P(k,o)*P(i,l,m)
-1/2*P(j,n)*P(l,o)*P(i,k,m)+3/2*P(i,l)*P(n,o)*P(j,k,m)+3/2*P(i,j)*P(n,o)*P(k,l
,m)+1/2*P(i,l)*P(k,n)*P(j,m,o)-P(i,n)*P(k,m)*P(j,l,o)+1/2*P(l,n,o)*P(i,j,k,m)-\
1/2*P(i,j,n)*P(k,l,m,o)-1/2*P(i,k,n)*P(j,l,m,o)+1/2*P(m,n,o)*P(i,j,k,l)-1/2*P(
i,m,n)*P(j,k,l,o)+1/2*P(j,n,o)*P(i,k,l,m)-1/2*P(i,l,n)*P(j,k,m,o)+1/2*P(k,n,o)
*P(i,j,l,m);