I6P4ac := (i, j, k, l, m, n) -> P(i,j,k,l,m,n)+P(i,j)*P(k,l,m,n)-3/2*P(j,k)*P(
i,l,m,n)-3/2*P(j,l)*P(i,k,m,n)-3/2*P(j,m)*P(i,k,l,n)-3/2*P(j,n)*P(i,k,l,m)-5/2
*P(k,l)*P(i,j,m,n)-5/2*P(k,m)*P(i,j,l,n)-5/2*P(k,n)*P(i,j,l,m)-5/2*P(l,m)*P(i,
j,k,n)-5/2*P(l,n)*P(i,j,k,m)-5/2*P(m,n)*P(i,j,k,l);
I6P4bc := (i, j, k, l, m, n) -> P(i,j)*P(k,l,m,n)+1/4*P(i,k,m)*P(j,l,n)+1/4*P(
i,m,n)*P(j,k,l)-3/4*P(i,j,n)*P(k,l,m)+1/4*P(i,l,n)*P(j,k,m)+1/4*P(i,l,m)*P(j,k
,n)-3/4*P(i,j,l)*P(k,m,n)-3/4*P(i,j,k)*P(l,m,n)-3/4*P(i,j,m)*P(k,l,n)+1/4*P(i,
k,l)*P(j,m,n)+1/4*P(i,k,n)*P(j,l,m);
I6P4bd := (i, j, k, l, m, n) -> P(i,j)*P(k,l)*P(m,n)-1/8*P(i,j,n)*P(k,l,m)-1/8
*P(i,j,k)*P(l,m,n)+1/8*P(i,l,n)*P(j,k,m)-1/8*P(i,m,n)*P(j,k,l)-1/8*P(i,k,l)*P(
j,m,n)-1/8*P(i,j,l)*P(k,m,n)+1/8*P(i,k,m)*P(j,l,n)-1/8*P(i,j,m)*P(k,l,n)+1/8*P
(i,l,m)*P(j,k,n)+1/8*P(i,k,n)*P(j,l,m);