I7P4c := (i, j, k, l, m, n, o) -> P(i,j,k,l)*P(m,n,o)-2*P(k,l,m,n)*P(i,j,o)-P(
k,l,m,o)*P(i,j,n)-2*P(k,l,n,o)*P(i,j,m)-P(k,m,n,o)*P(i,j,l)-2*P(l,m,n,o)*P(i,j
,k)+P(i,j,m,n)*P(k,l,o)+2*P(i,j,k,m)*P(l,n,o)+P(i,j,k,n)*P(l,m,o)+2*P(i,j,k,o)
*P(l,m,n)+P(i,j,l,m)*P(k,n,o)+P(i,j,l,o)*P(k,m,n)+2*P(i,j,m,o)*P(k,l,n)+P(i,j,
n,o)*P(k,l,m)-P(i,k,l,n)*P(j,m,o)+P(i,k,m,o)*P(j,l,n)-P(i,l,m,n)*P(j,k,o)-P(i,
l,n,o)*P(j,k,m)-P(j,k,l,n)*P(i,m,o)+P(j,k,m,o)*P(i,l,n)-P(j,l,n,o)*P(i,k,m)-P(
j,l,m,n)*P(i,k,o);
I7P4d := (i, j, k, l, m, n, o) -> -P(i,m)*P(j,k)*P(l,n,o)+P(j,m)*P(k,n)*P(i,l,
o)+4*P(i,k)*P(l,n)*P(j,m,o)+P(i,m)*P(l,n)*P(j,k,o)+8*P(i,o)*P(l,m)*P(j,k,n)-P(
i,l)*P(m,n)*P(j,k,o)+6*P(k,n)*P(m,o)*P(i,j,l)+P(k,o)*P(l,m)*P(i,j,n)-3*P(j,l)*
P(m,o)*P(i,k,n)-5*P(i,o)*P(j,n)*P(k,l,m)-P(l,m)*P(n,o)*P(i,j,k)-4*P(i,l)*P(m,o
)*P(j,k,n)+5*P(i,l)*P(j,o)*P(k,m,n)+P(j,n)*P(l,o)*P(i,k,m)-8*P(j,k)*P(l,m)*P(i
,n,o)-P(j,o)*P(l,n)*P(i,k,m)+8*P(i,m)*P(j,n)*P(k,l,o)-2*P(i,l)*P(j,m)*P(k,n,o)
+2*P(i,k)*P(l,o)*P(j,m,n)+P(i,k)*P(j,m)*P(l,n,o)-5*P(i,o)*P(j,l)*P(k,m,n)-7*P(
j,o)*P(k,m)*P(i,l,n)+P(l,o)*P(m,n)*P(i,j,k)+4*P(i,n)*P(j,k)*P(l,m,o)-4*P(i,m)*
P(l,o)*P(j,k,n)-4*P(i,j)*P(m,o)*P(k,l,n)+5*P(j,n)*P(l,m)*P(i,k,o)+5*P(j,k)*P(n
,o)*P(i,l,m)+7*P(j,m)*P(k,o)*P(i,l,n)+3*P(i,j)*P(k,n)*P(l,m,o)+4*P(k,m)*P(l,n)
*P(i,j,o)-4*P(i,l)*P(k,n)*P(j,m,o)+P(j,m)*P(k,l)*P(i,n,o)-2*P(i,o)*P(k,l)*P(j,
m,n)-9*P(k,m)*P(n,o)*P(i,j,l)+5*P(i,j)*P(n,o)*P(k,l,m)+6*P(i,l)*P(k,m)*P(j,n,o
)-4*P(j,l)*P(k,o)*P(i,m,n)-6*P(i,m)*P(k,l)*P(j,n,o)+2*P(i,m)*P(j,l)*P(k,n,o)-P
(k,l)*P(m,o)*P(i,j,n)-8*P(j,m)*P(l,n)*P(i,k,o)+4*P(k,l)*P(m,n)*P(i,j,o)+4*P(i,
o)*P(j,m)*P(k,l,n)+2*P(j,o)*P(k,n)*P(i,l,m)+6*P(j,n)*P(m,o)*P(i,k,l)+3*P(j,o)*
P(l,m)*P(i,k,n)-4*P(i,n)*P(j,m)*P(k,l,o)-8*P(k,n)*P(l,m)*P(i,j,o)-4*P(i,j)*P(m
,n)*P(k,l,o)+3*P(j,l)*P(m,n)*P(i,k,o)-7*P(j,n)*P(k,o)*P(i,l,m)+4*P(j,o)*P(k,l)
*P(i,m,n)-6*P(j,o)*P(m,n)*P(i,k,l)+3*P(k,o)*P(m,n)*P(i,j,l)-7*P(i,k)*P(j,n)*P(
l,m,o)+7*P(j,l)*P(k,m)*P(i,n,o)-P(j,n)*P(k,m)*P(i,l,o);