kernelopts(assertlevel=1):
with(Physics):with(Library):Setup(spacetimeindices=lowercaselatin):
Define(A[a]):Define(B[a,b]):Define(F[a,b,c]):Define(H[a,b,c,d]):Define(J[a,b,c,d,e]):

tTensor:=(J[g,c,i,~i,~g]*A[b]*F[a,~h,h]+J[h,c,g,~g,~h]*F[a,~i,i]*(-1)*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~j,f,~f]*J[h,~i,i,~h,b]*F[c,a,j]*(52)+(-1)*J[i,~f,f,~i,b]*(52)*F[~h,j,~j]*F[c,a,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[c,f,~d,~e]*B[a,g]*A[b]*H[~f,~g,e,d]+H[~g,~d,f,e]*(-1)*B[a,d]*A[b]*H[c,g,~e,~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[a,j,b,i,h]*J[~h,c,~e,g,~i]*J[~g,e,f,~f,~j]+J[a,i,b,j,e]*J[~g,f,h,~h,~i]*J[~e,c,~f,g,~j]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[e,~f,a]*A[b]*F[d,~e,f]*B[c,~d]+F[d,~f,a]*A[b]*F[e,~d,f]*(-1)*B[c,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((14)*B[c,b]*J[d,i,e,~i,~d]*A[~h]*F[h,a,~e]+(-1)*F[i,a,~e]*(14)*B[c,b]*A[~i]*J[h,d,e,~d,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[l,b,~l,c]*A[~i]*J[~d,~k,d,j,i]*J[a,~j,f,k,~f]+(-1)*J[a,~d,j,i,~j]*A[~f]*H[k,b,~k,c]*J[~l,~i,l,d,f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((69)*B[h,a]*J[~e,i,e,~i,c]*H[b,~j,~h,j]+(69)*J[~j,h,j,~h,c]*(-1)*B[e,a]*H[b,~i,~e,i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[h]*(-1)*(90)*H[~i,i,a,c]*A[b]*J[~h,j,~j,f,~f]+A[b]*(90)*J[~h,i,~i,j,~j]*H[~f,f,a,c]*A[h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~e]*F[c,b,a]*(22)*(-1)*B[e,d]*J[h,i,~d,~h,~i]+B[e,h]*F[c,b,a]*(22)*A[~e]*J[i,d,~h,~i,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*A[c]*J[f,a,g,~f,~g]+J[g,a,f,~g,~f]*A[b]*A[c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~i,k,a,~k,e]*J[j,f,~f,~j,c]*B[i,b]*A[~e]+A[~f]*J[~i,j,a,~j,f]*B[i,b]*(-1)*J[e,k,~k,~e,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[j,i,~j,c,~i]*B[~h,h]*H[k,b,a,~k]+H[h,b,a,~h]*J[i,k,~i,c,~k]*B[~j,j]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((37)*A[f]*J[~h,~g,g,~f,h]*F[a,c,b]+(-1)*F[a,c,b]*A[g]*J[~f,~h,h,~g,f]*(37)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((77)*J[~f,d,~d,~j,e]*(-1)*H[f,~e,i,g]*J[b,~i,a,j,~g]*A[c]+A[c]*(77)*J[~d,e,~e,~g,f]*J[b,~j,a,g,~i]*H[d,~f,j,i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[i,c,a]*H[~f,f,~i,d]*(80)*H[h,~d,~h,b]+H[h,~d,~h,b]*(80)*F[f,c,a]*H[~i,i,~f,d]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((32)*J[a,i,~i,h,~h]*B[c,b]*B[~g,g]+B[c,b]*J[a,g,~g,i,~i]*B[~h,h]*(32)*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[d,~h]*A[h]*J[c,~i,~k,i,k]*J[~d,a,b,~j,j]+(-1)*A[d]*B[i,~d]*J[~i,a,b,~k,k]*J[c,~j,~h,j,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*J[~j,~h,j,h,~i]*J[b,~f,c,~g,i]*B[f,g]*(50)+(50)*B[g,j]*J[b,~g,c,~j,h]*J[~f,~i,f,i,~h]*(-1)*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~g,g,b]*F[~f,f,c]*A[a]+A[a]*F[~f,f,b]*(-1)*F[~g,g,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[k,a,i,c]*H[~d,h,~h,d]*(14)*A[~i]*H[b,~k,~j,j]+(14)*H[b,~h,~i,i]*A[~j]*(-1)*H[h,a,j,c]*H[~k,d,~d,k]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[c,~e,~f,d]*A[a]*H[b,f,e,~d]*(-1)*(72)+A[a]*H[c,~d,~f,e]*(72)*H[b,f,d,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((87)*H[b,~d,a,~i]*(-1)*J[l,~g,~l,g,~k]*J[k,j,d,c,~j]*A[i]+J[g,~l,~g,l,~i]*A[d]*(87)*H[b,~j,a,~d]*J[i,k,j,c,~k]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[g,d,h,~g,~h]*F[a,~d,b]*A[c]*(98)+J[h,g,d,~h,~d]*F[a,~g,b]*(-1)*(98)*A[c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((40)*A[~j]*(-1)*J[~i,c,i,a,j]*J[e,h,b,~h,~e]+J[~j,c,j,a,i]*A[~i]*J[h,e,b,~e,~h]*(40)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~e,i,~i,g,~g]*B[b,~h]*A[e]*F[c,a,h]+A[g]*F[c,a,e]*B[b,~e]*(-1)*J[~g,h,~h,i,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[m]*J[~l,~f,f,l,c]*H[~j,h,b,j]*J[~h,~k,~m,k,a]+(-1)*J[~f,~h,h,f,c]*H[~l,j,b,l]*J[~j,~m,~k,m,a]*A[k]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~g,~f,~e,d]*A[c]*J[g,b,f,~d,e]*A[a]+(-1)*H[~d,~f,~e,g]*J[d,b,f,~g,e]*A[a]*A[c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[a,c,~d]*F[~e,d,~f]*B[f,e]*A[b]+B[e,d]*F[~d,f,~e]*F[a,c,~f]*A[b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~j,~d,c,b]*(8)*J[i,f,~h,~i,h]*A[d]*F[j,a,~f]+F[i,a,~j]*A[f]*J[d,j,~h,~d,h]*(-1)*(8)*H[~i,~f,c,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[b,c,f]*(68)*F[a,g,~f]*F[~d,d,~g]*(-1)+F[a,d,~g]*F[b,c,g]*(68)*F[~f,f,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~h,g,e,a]*(-1)*F[~e,~d,d]*A[b]*(43)*F[~g,h,c]+H[~d,h,g,a]*A[b]*F[~g,~e,e]*F[~h,d,c]*(43)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[a,~i,~j,i,j]*A[f]*A[b]*(-1)*(11)*H[h,~h,c,~f]+H[h,~h,c,~i]*J[a,~j,~f,j,f]*(11)*A[i]*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[i,~i,b,~d]*H[~h,h,a,d]*F[c,j,~j]+F[c,d,~d]*(-1)*H[~j,j,a,i]*H[h,~h,b,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,i,a,~i]*J[c,j,~h,~j,h]*B[k,~k]+B[h,~h]*H[b,j,a,~j]*(-1)*J[c,i,~k,~i,k]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[c,e,a,~f,~g]*F[~h,d,f]*J[~e,g,~d,h,b]+(-1)*J[c,f,a,~e,~d]*F[~h,g,e]*J[~f,d,~g,h,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[h,~m,~k,~h,k]*J[~n,~l,l,n,c]*J[~j,b,a,j,m]+J[~n,~h,h,n,c]*J[~l,b,a,l,m]*(-1)*J[k,~m,~j,~k,j]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*J[a,g,h,~h,~g]*B[e,b]*A[~e]+B[h,b]*A[~h]*A[c]*J[a,g,e,~e,~g]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[g,~g,i,d,j]*A[~i]*J[~d,a,e,b,f]*H[~e,~j,~f,c]+A[~i]*H[~d,~e,~j,c]*J[f,~f,i,g,e]*J[~g,a,d,b,j]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[d,~e,b]*A[a]*(12)*(-1)*F[c,e,~d]+(12)*A[a]*F[c,d,~e]*F[e,~d,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*J[e,~h,h,i,b]*J[~d,~i,d,a,~e]*(90)+A[c]*(90)*J[d,~h,h,e,b]*(-1)*J[~i,~e,i,a,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[c,d,e,~g,~h]*A[~e]*J[h,b,g,~f,~d]*B[a,f]+J[c,e,g,~f,~d]*J[d,b,f,~h,~e]*(-1)*B[a,h]*A[~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[d,b,~e]*A[~f]*(23)*F[f,c,~d]*B[a,e]+A[~e]*F[e,c,~f]*B[a,d]*F[f,b,~d]*(23)*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~g,b,~e,~f,~d]*J[e,a,d,f,g]*A[c]+J[g,a,f,e,d]*J[~d,b,~g,~e,~f]*A[c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[e,c,b]*J[~f,i,d,~h,~i]*J[f,~e,a,h,~d]+F[e,c,b]*J[~f,h,i,~d,~h]*(-1)*J[f,~e,a,d,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[a,b,~h,j,~j]*J[h,~i,i,~e,e]*A[c]*(26)+A[c]*J[e,~i,i,~j,j]*J[a,b,~e,h,~h]*(-1)*(26)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*H[~g,d,e,f]*F[a,~f,c]*F[~d,g,~e]*(4)+F[~e,d,~g]*F[a,~f,c]*(4)*(-1)*A[b]*H[~d,e,g,f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((62)*J[~f,a,b,g,c]*F[~e,f,~d]*F[e,d,~g]+F[~d,e,~g]*F[d,g,~f]*J[~e,a,b,f,c]*(62)*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[h,~h,e,~e,c]*(51)*A[g]*B[a,b]*A[~g]*(-1)+J[g,~g,h,~h,c]*A[e]*(51)*A[~e]*B[a,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[c,~d,a,~e,j]*A[d]*J[f,i,~i,b,h]*H[~j,e,~f,~h]+H[~i,h,~e,~d]*J[c,~j,a,~h,i]*(-1)*A[j]*J[e,f,~f,b,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~f,b,~h,~e,a]*J[c,~g,~d,h,f]*(77)*A[e]*B[d,g]+J[~d,b,~e,~f,a]*(-1)*(77)*A[f]*B[h,g]*J[c,~g,~h,e,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*J[~g,g,f,a,~f]*A[b]+J[~f,f,g,a,~g]*A[b]*A[c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*J[~f,f,c,~g,g]*A[b]*(17)+(17)*J[~g,g,c,~f,f]*(-1)*A[a]*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((67)*J[d,~g,g,~d,h]*F[b,a,~h]*A[c]*(-1)+A[c]*(67)*F[b,a,~d]*J[h,~g,g,~h,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~e,e,~j,k]*A[b]*J[i,~f,~i,j,d]*J[c,f,a,~d,~k]+H[~f,f,~j,i]*(-1)*A[b]*J[d,~k,~d,j,e]*J[c,k,a,~e,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~i,h,~e,a]*A[g]*H[e,f,~f,c]*H[i,b,~h,~g]+(-1)*A[h]*H[i,b,~f,~h]*H[~i,f,~g,a]*H[g,e,~e,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~d,i,j,d,~i]*(45)*A[~j]*J[h,b,~h,a,c]+(-1)*J[~j,h,d,j,~h]*J[i,b,~i,a,c]*A[~d]*(45)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*H[~i,b,c,i]*(73)*J[~h,a,~g,g,h]+H[~h,b,c,h]*J[~g,a,~i,i,g]*(73)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[c,b,g,~e,a]*H[f,e,~g,~f]+J[c,b,f,~g,a]*(-1)*H[e,g,~f,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[g,f,~g,~h,h]*A[~f]*(58)*F[a,b,c]+A[~f]*(-1)*J[h,f,~h,~g,g]*(58)*F[a,b,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((33)*A[b]*A[c]*J[g,~g,f,a,~f]+(-1)*A[b]*J[f,~f,g,a,~g]*(33)*A[c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((42)*A[b]*F[c,~d,a]*(-1)*J[~g,~h,d,h,g]+(42)*A[b]*J[~g,~d,h,d,g]*F[c,~h,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*J[~i,b,f,i,c]*J[~f,~h,h,j,~j]*(56)+J[~j,~i,i,h,~h]*(-1)*A[a]*(56)*J[~f,b,j,f,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((83)*(-1)*A[c]*J[g,~d,b,a,~e]*J[d,~h,~g,e,h]+J[e,~h,~d,g,h]*J[d,~e,b,a,~g]*(83)*A[c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[h,~f,~h,e,g]*A[a]*J[b,c,~e,~g,f]+(-1)*J[f,~e,~f,h,g]*A[a]*J[b,c,~h,~g,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[a,e,~f,~d]*J[d,c,b,~e,f]+J[f,c,b,~d,e]*H[a,d,~e,~f]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*H[a,~d,c,b]*J[~h,~g,d,g,h]*(69)+(69)*H[a,~g,c,b]*J[~d,~h,g,h,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[a,c]*J[g,b,~f,f,~g]+(-1)*B[a,c]*J[f,b,~g,g,~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~h,~d,d,h]*A[~g]*H[g,b,a,c]+A[~d]*(-1)*H[d,b,a,c]*H[~g,~h,h,g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*J[~e,e,~h,a,i]*J[~d,~i,c,d,h]*(81)*(-1)+J[~i,~h,c,i,e]*A[b]*J[~d,d,~e,a,h]*(81)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*A[d]*J[~d,~f,h,b,c]*J[f,a,g,~g,~h]*(45)+J[~d,~g,f,b,c]*(45)*A[d]*J[g,a,h,~h,~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*J[~h,~j,h,~i,j]*J[c,g,a,i,~g]+A[b]*(-1)*J[~i,~h,i,~j,h]*J[c,g,a,j,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[b,a]*J[c,f,~g,~f,g]+J[c,g,~f,~g,f]*(-1)*B[b,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,f,~e,a]*H[~f,c,e,d]*A[~d]+H[~e,c,f,d]*H[b,e,~f,a]*(-1)*A[~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[c,b,a]*A[~g]*J[h,g,~h,e,~e]+A[~e]*(-1)*F[c,b,a]*J[g,e,~g,h,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((85)*A[b]*A[a]*J[~f,g,c,f,~g]+(-1)*A[b]*J[~g,f,c,g,~f]*A[a]*(85)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*H[g,~g,a,f]*H[~h,b,~f,h]+(-1)*H[h,~h,a,g]*A[c]*H[~f,b,~g,f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~g,b,a,d,c]*(52)*H[~d,e,~e,g]+(52)*H[~g,e,~e,d]*(-1)*J[~d,b,a,g,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[a,~g,g,f,~f]*A[b]*(-1)*A[c]+J[a,~f,f,g,~g]*A[c]*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~g,~e,f,e]*(-1)*(17)*J[c,~f,a,g,b]+J[c,~e,a,f,b]*H[~f,~g,e,g]*(17)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[j]*J[b,~g,~j,a,g]*J[c,~h,~i,h,i]+(-1)*J[b,~j,~g,a,j]*A[g]*J[c,~i,~h,i,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*J[~i,a,i,h,~h]*J[~k,j,~j,b,k]+J[~k,a,k,i,~i]*A[c]*J[~h,j,~j,b,h]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[g,b,~g,~f,f]*B[a,c]+B[a,c]*(-1)*J[f,b,~f,~g,g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,d,f,~e]*H[~f,~d,c,e]*A[a]+(-1)*H[b,e,f,~d]*H[~f,~e,c,d]*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[a,b,e,c]*J[~g,g,~h,~e,h]+(-1)*J[~h,h,~g,~e,g]*H[a,b,e,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[a,b]*J[f,~g,c,g,~f]+(-1)*B[a,b]*J[g,~f,c,f,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~g,~f,g,f]*A[c]*B[a,b]+A[c]*H[~f,~g,f,g]*(-1)*B[a,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~f,g,c,~g,f]*B[a,b]+B[a,b]*J[~g,f,c,~f,g]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[d]*(15)*J[~i,c,~d,a,b]*J[i,~f,h,f,~h]+(15)*J[i,~h,d,h,~d]*A[f]*J[~i,c,~f,a,b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*A[c]*J[~f,~g,g,f,b]+(-1)*A[c]*J[~g,~f,f,g,b]*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[h]*J[g,b,~i,c,~g]*J[f,~f,a,~h,i]*(98)+(-1)*J[f,b,~h,c,~f]*J[g,~g,a,~i,h]*A[i]*(98)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~e,e,g,~d]*(22)*J[d,c,~g,b,a]+J[g,c,~d,b,a]*(22)*(-1)*H[~e,e,d,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*A[a]*J[g,~g,f,b,~f]+(-1)*J[f,~f,g,b,~g]*A[a]*A[c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~e,~f,d,a]*(71)*(-1)*H[c,e,f,~d]*A[b]+H[~d,~e,f,a]*H[c,d,e,~f]*(71)*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[a,b]*J[f,~g,g,~f,c]*(65)+J[g,~f,f,~g,c]*(-1)*B[a,b]*(65)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[j,~j,d,a,b]*A[~d]*J[~i,h,~h,i,c]+A[~i]*J[d,~d,i,a,b]*(-1)*J[~h,j,~j,h,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~e,b,~f,d]*J[f,c,a,~d,e]+H[~f,b,~d,e]*(-1)*J[d,c,a,~e,f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[d,e,a]*(68)*A[b]*F[~e,~d,c]+F[e,d,a]*F[~d,~e,c]*(-1)*(68)*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[d]*(53)*F[c,~d,b]*J[g,a,~h,~g,h]+J[g,a,~d,~g,d]*(-1)*F[c,~h,b]*(53)*A[h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*J[~d,~e,g,c,a]*A[f]*J[b,d,e,~g,~f]*(2)+J[~f,~e,d,c,a]*A[g]*(2)*J[b,f,e,~d,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));
 
 
 
tTensor:=(F[~b,~c,d]*H[c,~d,a,b]*A[~f]*F[~g,f,g]+A[~c]*H[g,~b,a,d]*(-1)*F[~f,c,f]*F[~d,~g,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[e,~b,~c]*(-1)*(40)*F[b,~f,d]*H[f,~d,c,a]*A[~e]+H[c,~d,b,a]*F[f,~c,d]*A[~e]*F[e,~f,~b]*(40)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[i]*B[b,~i]*(18)*H[g,h,~h,~g]*H[~b,e,a,~e]+B[g,~i]*(18)*A[i]*(-1)*H[~g,h,a,~h]*H[e,b,~b,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*B[a,f]*H[~f,~e,~d,~c]*(45)*H[c,e,~b,d]+(-1)*B[a,b]*A[c]*(45)*H[e,f,~c,d]*H[~b,~f,~d,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[e,~c,~b]*A[~d]*F[a,~e,b]*B[c,d]+F[a,~b,d]*F[b,~c,~d]*(-1)*A[~e]*B[c,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[c,e,~e]*H[b,~g,~f,a]*H[~c,f,~b,g]+H[f,~c,~b,a]*F[e,g,~g]*(-1)*H[~e,b,~f,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~g,g,f,b]*H[~f,d,~b,~d]*A[a]+A[a]*H[~d,d,f,g]*H[~f,b,~g,~b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[c,b]*(72)*(-1)*A[a]*B[~b,~c]+(72)*B[~c,~b]*B[b,c]*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~d,g,c,~b]*H[a,~c,d,~g]*(76)*B[f,~f]*A[b]+H[~d,f,b,~g]*(76)*H[a,~b,d,~f]*A[g]*B[c,~c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[c,~c,a,~e]*(76)*H[~g,~f,g,e]*A[f]+H[~f,~c,f,e]*(-1)*A[c]*(76)*H[g,~g,a,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[f]*F[~d,~e,~f]*F[b,~c,d]*H[~b,e,a,c]+A[b]*H[~e,f,a,c]*(-1)*F[e,~c,d]*F[~d,~f,~b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[f,g,~g,~f]*B[~c,d]*A[c]*B[a,~d]+(-1)*H[f,c,~c,~f]*B[a,~d]*A[g]*B[~g,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[~c,f]*A[c]*(-1)*B[~f,~b]*H[~d,d,a,b]*(53)+A[d]*B[~b,~f]*H[~c,c,a,f]*B[~d,b]*(53)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*H[~g,a,g,~h]*(21)*H[c,~c,~d,h]*A[~f]*B[f,d]+H[d,~d,~c,f]*A[~g]*(21)*H[~h,a,h,~f]*B[g,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[c,~e,~b]*(-1)*H[d,~c,b,e]*(66)*A[~d]*A[a]+F[b,~d,~e]*H[c,~b,e,d]*(66)*A[a]*A[~c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((37)*(-1)*A[f]*B[a,~f]*H[~d,e,d,~e]+H[~f,d,f,~d]*(37)*B[a,~e]*A[e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~f]*H[~g,g,f,~e]*H[~c,c,a,e]+H[~g,g,a,e]*(-1)*H[~c,c,f,~e]*A[~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*H[~e,c,~b,d]*H[~c,~d,a,e]+H[~c,d,~b,e]*H[~d,~e,a,c]*A[b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~b]*H[~e,~d,c,b]*H[a,d,e,~c]+A[~b]*H[a,e,c,~d]*H[~c,~e,d,b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[d]*B[a,~c]*F[b,~d,e]*F[~b,~e,c]+B[a,~e]*(-1)*A[b]*F[d,~b,c]*F[~d,~c,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[g,~g,e,d]*A[a]*(30)*B[~d,~c]*H[h,~h,~e,c]*(-1)+H[c,~c,h,g]*(30)*B[~g,~d]*A[a]*H[e,~e,~h,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((12)*A[a]*F[~f,~b,b]*F[f,e,~e]+(-1)*F[~b,~e,e]*A[a]*F[b,f,~f]*(12)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[c,~e,d,b]*A[~d]*H[e,~c,a,~b]+H[e,~d,a,~c]*H[d,~e,b,c]*(-1)*A[~b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((11)*H[~e,f,e,~f]*B[c,a]*A[~c]+A[~c]*(-1)*(11)*B[c,a]*H[~f,e,f,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[~b,a]*(54)*H[g,~h,h,~g]*H[~i,i,j,~j]*A[b]+A[b]*H[i,~j,j,~i]*B[~b,a]*H[~h,h,g,~g]*(54)*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~f,a,~e,~d]*F[b,e,c]*H[f,~b,~c,d]+H[~e,a,~b,~f]*H[e,~d,~c,f]*F[d,b,c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[a,~c,d]*(34)*F[~d,c,~b]*A[b]+F[~d,b,~c]*A[c]*(34)*F[a,~b,d]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~b,e,~h,b]*(-1)*H[a,~c,h,~e]*A[i]*(12)*H[f,c,~i,~f]+A[f]*H[b,i,~f,~b]*H[a,~i,e,~c]*(12)*H[~h,c,~e,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~j]*H[~i,~g,g,i]*H[j,a,b,~h]*H[h,f,~f,~b]+H[j,i,~i,~b]*A[~h]*H[~f,~g,g,f]*H[h,a,b,~j]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[f,d,~d]*A[a]*H[g,~g,~h,h]*A[~f]+H[g,~g,~f,f]*A[~d]*A[a]*(-1)*F[d,h,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[f,c]*(-1)*(45)*A[a]*H[e,~c,~e,d]*B[~d,~f]+(45)*H[f,~e,~f,d]*B[c,e]*A[a]*B[~d,~c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~b]*F[d,~c,a]*B[b,~e]*F[c,e,~d]*(15)+F[c,e,~b]*B[d,~e]*(-1)*A[~d]*F[b,~c,a]*(15)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~g,~d,b]*H[~f,f,~e,g]*H[a,~b,d,e]+H[a,~g,d,b]*(-1)*H[~e,e,~b,f]*F[~f,~d,g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~b,e,d,c]*A[~e]*H[~c,~f,~d,b]*(-1)*B[f,a]*(19)+(19)*H[~b,~d,~c,e]*H[~e,f,c,b]*A[~f]*B[d,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[g]*F[h,~h,~g]*A[a]*H[~d,f,~f,d]+A[h]*(-1)*H[~f,d,~d,f]*F[g,~g,~h]*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*H[~d,j,d,f]*(-1)*(92)*H[i,h,~h,~f]*H[~g,~j,g,~i]+H[i,g,~g,~h]*A[a]*H[~j,~d,j,~i]*(92)*H[~f,d,f,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[a,e]*A[~c]*(-1)*(43)*F[d,~e,b]*F[~d,~b,c]+F[c,~e,d]*A[~b]*B[a,e]*(43)*F[~c,~d,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~b]*H[g,e,~e,a]*F[~d,~g,c]*F[d,~c,b]+F[e,~d,b]*(-1)*F[~e,~c,d]*H[c,g,~g,a]*A[~b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~e,d,~b]*A[a]*B[e,~c]*(-1)*(16)*F[b,~d,c]+B[d,~e]*F[~d,b,~c]*A[a]*F[c,~b,e]*(16)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~d,~b,~f]*(-1)*(42)*F[~e,a,b]*H[f,d,~c,e]*A[c]+A[f]*F[~c,a,b]*F[~e,~b,~d]*(42)*H[d,e,~f,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~d,~h,~b,h]*H[~g,g,~j,b]*A[a]*H[d,i,~i,j]+H[g,h,~h,b]*H[~g,~d,~j,d]*H[~i,i,~b,j]*(-1)*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((9)*F[~e,~f,e]*F[d,a,b]*F[~d,f,~b]+(-1)*F[d,a,f]*(9)*F[~d,b,~f]*F[~e,~b,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,e,a,~d]*(-1)*H[~e,d,c,~b]*(69)*A[~c]+(69)*A[~b]*H[d,c,a,~e]*H[~c,e,b,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[c,~d,b]*A[d]*F[~b,a,~c]+F[b,~c,d]*A[c]*(-1)*F[~d,a,~b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*F[~f,e,f]*F[~e,~d,d]+(-1)*F[~e,~f,f]*F[~d,e,d]*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~c,~d,~b]*F[d,e,c]*F[a,b,~e]+F[~e,~d,~c]*F[a,c,~b]*(-1)*F[d,b,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((21)*H[a,f,h,~h]*H[b,~b,~g,g]*A[~f]+H[h,~h,~b,b]*H[a,g,f,~f]*(-1)*A[~g]*(21)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~h,h,g,~g]*H[a,~f,~b,b]*A[f]+(-1)*A[f]*H[~b,b,g,~g]*H[a,~f,~h,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*H[~b,g,b,~h]*H[f,~g,i,h]*H[~f,~i,c,~c]+H[~g,f,g,~i]*H[h,~f,c,i]*H[~h,~c,b,~b]*(-1)*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[b,~f,c]*H[g,~c,f,a]*H[~e,~b,e,~g]+F[c,~f,g]*H[~e,~c,e,~b]*H[b,~g,f,a]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~b,~f,f,b]*A[~d]*F[a,d,~g]*A[g]+F[a,d,~f]*A[~d]*H[~g,~b,b,g]*A[f]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((71)*F[b,c,~e]*A[d]*F[~b,a,~d]*(-1)*B[~c,e]+F[~d,a,~c]*(71)*F[d,e,~b]*B[~e,b]*A[c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[d,~d]*F[~h,f,h]*A[a]*F[~f,g,~g]+B[f,~f]*(-1)*F[~h,g,~g]*F[~d,h,d]*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~d,e,c]*F[~e,~c,b]*B[~b,a]*A[d]+(-1)*A[c]*F[~d,~b,e]*B[~e,a]*F[~c,d,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~c,~d,~b]*F[d,b,c]*A[a]+F[~d,~b,~c]*F[b,c,d]*A[a]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~b,~d,a]*F[c,b,~e]*F[d,e,~c]+F[b,c,~e]*F[e,d,~c]*(-1)*F[~d,~b,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~e,e,~b,h]*(-1)*(6)*A[~d]*H[f,a,d,~h]*H[i,~i,b,~f]+(6)*H[d,~d,h,~f]*H[f,a,e,~i]*H[~b,b,~h,i]*A[~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[a,e,~b,d]*B[~f,f]*F[~e,b,~d]+B[~f,f]*H[a,d,~e,b]*(-1)*F[~d,e,~b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[d,~e,e]*F[~d,~f,f]*A[a]+A[a]*F[~e,~d,d]*(-1)*F[e,~f,f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[a,d,~f]*F[f,~b,~d]*A[b]*B[e,~e]+B[e,~e]*F[b,~d,~f]*A[d]*(-1)*F[a,f,~b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((85)*B[h,a]*A[~h]*H[~g,d,~d,~b]*H[~c,b,g,c]+(85)*A[~g]*(-1)*H[~b,h,~h,~c]*B[g,a]*H[~d,c,b,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));
 

tTensor:=((58)*F[~c,d,g]*J[i,h,c,~i,~h]*B[~d,a]*A[b]*A[~g]+(58)*A[~c]*(-1)*F[~d,g,c]*J[h,i,d,~h,~i]*B[~g,a]*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[c]*J[~f,~c,g,f,~g]*A[a]*A[b]+A[f]*A[b]*J[~g,~f,c,g,~c]*A[a]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~f,g,h]*A[~e]*J[~d,~h,a,c,f]*A[b]*H[~g,d,e,~c]*(42)+J[~g,~f,a,d,e]*(42)*H[~h,g,c,~d]*F[~e,h,f]*A[b]*A[~c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~h]*H[~f,f,h,e]*J[j,~j,~i,~e,i]*B[a,b]+H[~f,f,j,i]*B[a,b]*A[~j]*J[e,~e,~h,~i,h]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*(-1)*J[f,~d,c,g,~e]*J[b,e,d,~f,~c]*(7)*A[~g]+A[~d]*A[a]*J[b,g,c,~f,~e]*J[f,~c,e,d,~g]*(7)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((32)*B[c,a]*J[f,~i,~h,i,h]*B[e,b]*B[~f,~e]*(-1)*A[~c]+B[c,a]*(32)*B[i,b]*A[~c]*J[e,~f,~h,f,h]*B[~e,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*A[b]*B[e,c]*H[g,~f,~e,d]*A[~g]*H[a,~d,~c,f]*(80)+A[~d]*B[c,g]*H[d,~e,~c,f]*A[b]*(80)*H[a,~f,~g,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*F[~h,g,d]*(82)*J[i,b,~d,~i,a]*F[~g,~f,~c]*F[c,f,h]+(82)*F[~h,~d,~i]*J[c,b,~g,~c,a]*F[i,d,f]*F[~f,h,g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[b,~c,f,~j,~i]*J[d,~l,~e,~h,c]*J[~f,~d,g,i,~g]*J[l,a,h,j,e]+J[g,~e,~l,~c,j]*(-1)*J[e,a,c,d,l]*J[b,~j,h,~d,~f]*J[~h,~g,i,f,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*J[~e,j,~i,i,~j]*A[k]*(96)*A[e]*B[c,b]*J[a,~c,~k,~g,g]+A[g]*A[i]*J[a,~e,~g,~j,j]*J[~i,c,~k,k,~c]*B[e,b]*(96)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[b,~d]*F[~h,~f,e]*H[c,d,h,~c]*F[~e,f,a]+B[b,~d]*F[~e,c,a]*F[~f,~c,e]*H[h,d,f,~h]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[e]*J[d,~d,f,~f,h]*H[i,~h,a,b]*A[~e]*A[~i]+H[i,~f,a,b]*A[~e]*A[e]*A[~i]*J[h,~h,d,~d,f]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*J[b,~h,~g,~f,d]*B[i,~c]*F[h,e,f]*J[~i,~e,g,~d,c]+A[a]*(-1)*J[~e,~i,g,~d,f]*B[e,~f]*J[b,~c,~g,~h,d]*F[c,i,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[h,j,i,b,~i]*(89)*B[a,~h]*H[~c,d,~d,c]*A[~j]+H[~j,h,~h,j]*B[a,~d]*(89)*A[~i]*J[d,i,c,b,~c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~g,a,g,~e,~h]*J[~l,k,l,~k,h]*J[j,m,b,~j,e]*(76)*A[~m]+J[~j,k,j,~k,h]*(76)*J[~m,a,m,~l,~h]*(-1)*J[g,e,b,~g,l]*A[~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[b,g,i,k,f]*J[m,h,c,~c,l]*J[~m,~f,~g,~i,a]*J[~k,~h,d,~l,~d]+(-1)*J[b,l,m,i,k]*J[f,c,h,~h,d]*J[~i,~c,g,~d,~g]*J[~f,~k,~l,~m,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[l]*(2)*A[~d]*J[~f,~k,b,f,h]*J[e,~e,~j,a,j]*(-1)*H[k,d,~l,~h]+A[~e]*J[~l,~j,b,l,f]*(2)*J[k,~k,~h,a,h]*H[j,e,~d,~f]*A[d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[f,~c,~e]*(90)*A[~d]*H[e,~f,c,b]*B[d,a]+F[c,~f,~d]*B[e,a]*A[~e]*(-1)*H[d,~c,f,b]*(90)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~j,a,k,j,~c]*(-1)*H[~g,g,~l,l]*(14)*J[c,~m,e,b,m]*A[~k]*A[~e]+H[~e,e,~m,m]*J[k,~l,c,b,l]*J[~j,a,g,j,~k]*A[~c]*(14)*A[~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[b,c,f,a,j]*B[~e,~j]*H[d,i,~i,~d]*F[e,~f,~c]+H[j,d,~d,~j]*J[b,f,c,a,e]*B[~i,~e]*F[i,~c,~f]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*B[~h,g]*J[f,~g,e,~e,~f]*A[a]*A[h]+J[e,~f,h,~h,~e]*B[~g,f]*A[b]*A[g]*(-1)*A[a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,d,~d,k]*A[~k]*F[~e,e,~j]*F[c,~c,~i]*F[j,a,i]+F[d,~d,~c]*F[i,a,c]*F[~k,k,~i]*H[b,j,~j,e]*A[~e]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[~j,b]*H[a,i,~d,j]*A[~h]*H[e,d,~e,h]*F[~g,g,~i]*(74)+(-1)*H[a,g,~i,h]*F[~d,d,~g]*H[e,i,~e,j]*A[~j]*B[~h,b]*(74)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*(14)*A[j]*B[h,g]*J[~m,~h,a,m,~l]*J[~k,k,n,~n,~g]*J[b,~j,c,~c,l]+B[n,g]*J[~l,l,h,~h,~g]*(14)*J[~j,~n,a,j,~c]*A[k]*J[b,~k,m,~m,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~d,a,e]*F[~f,f,d]*F[h,~e,~c]*F[c,b,~h]+F[~e,e,c]*F[~c,a,f]*(-1)*F[h,b,~d]*F[d,~f,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[h]*B[~e,a]*(93)*J[~g,i,d,g,~d]*(-1)*F[~h,e,b]*A[~i]+A[~h]*J[~g,h,i,g,~i]*(93)*B[~d,a]*F[~e,d,b]*A[e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[b,~d,~e,c,a]*F[g,d,f]*A[~c]*F[~f,e,~g]+(-1)*F[e,c,g]*J[b,~c,~f,d,a]*F[~g,f,~e]*A[~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,~g,~i,f]*F[g,~h,i]*A[c]*H[a,~d,h,e]*H[~e,~f,~c,d]+A[i]*H[b,~h,~f,e]*H[a,~g,c,d]*(-1)*F[h,~c,f]*H[~d,~e,~i,g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[k,g,~k,~c]*F[c,a,l]*(94)*(-1)*H[~j,~g,j,~h]*J[e,~l,b,~e,h]+H[~l,~c,l,~e]*(94)*F[j,a,g]*H[h,c,~h,~j]*J[k,~g,b,~k,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[g,f,~h,i]*A[d]*H[~c,~g,~d,k]*H[~f,~i,h,c]*J[b,~e,a,e,~k]*(7)+(7)*A[h]*(-1)*J[b,~g,a,g,~e]*H[~c,~i,d,f]*H[k,c,~d,i]*H[~f,~k,~h,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((49)*H[~h,i,j,~i]*H[~c,c,h,~f]*B[~j,g]*H[~g,f,a,b]+H[~j,h,a,b]*(49)*H[~g,g,c,~h]*H[~c,f,i,~f]*(-1)*B[~i,j]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*F[b,~f,~g]*F[~e,~h,i]*H[h,~d,c,g]*J[e,f,d,~i,~c]*(58)+(-1)*F[~e,~h,f]*(58)*A[a]*H[h,~i,d,c]*F[b,~g,~c]*J[e,g,i,~f,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[a,~c,~h,~e,g]*F[~i,~d,e]*J[b,~g,i,c,~f]*F[f,d,h]+J[a,~i,~e,~g,c]*F[h,f,e]*(-1)*F[~d,~f,g]*J[b,~c,d,i,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~e]*H[f,a,e,~g]*B[~f,d]*H[g,~c,~d,b]*A[c]+A[~g]*B[~c,f]*A[e]*H[d,~e,~f,b]*(-1)*H[c,a,g,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[~e,d]*B[b,~c]*F[~f,a,c]*F[f,~d,e]+(-1)*F[~c,a,d]*B[b,~d]*F[c,~e,f]*B[~f,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((70)*B[~h,g]*(-1)*A[b]*H[~f,f,~e,e]*B[a,~g]*A[h]+B[a,~h]*H[~e,e,~f,f]*A[b]*A[g]*B[~g,h]*(70)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[f,c]*B[a,b]*(-1)*F[~e,~c,d]*(64)*F[~f,e,~d]+(64)*F[~c,d,~e]*B[a,b]*B[c,f]*F[~d,~f,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[k,h,a]*J[~f,~h,b,~k,f]*(64)*J[i,~j,~g,~i,g]*A[j]+J[~h,~i,b,~k,h]*F[k,i,a]*(64)*(-1)*J[g,~f,~j,~g,j]*A[f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~f]*B[i,~h]*J[~d,d,f,g,~g]*A[~i]*F[h,b,a]+F[g,b,a]*A[~f]*A[~i]*(-1)*B[i,~g]*J[~h,h,f,d,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~g,a,~c]*F[c,~d,d]*F[b,~e,g]*A[e]+F[~c,a,~g]*A[e]*F[b,~e,c]*(-1)*F[g,~d,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[a,~g,b]*H[e,g,~c,~f]*B[~d,c]*A[f]*(63)*B[~e,d]+B[~g,e]*B[~d,g]*(-1)*(63)*H[d,c,~e,~f]*F[a,~c,b]*A[f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[e,b]*J[d,j,~h,~i,i]*B[~d,a]*J[~e,g,h,~g,~j]+(-1)*J[~d,e,j,~e,~g]*J[i,g,~j,~h,h]*B[d,b]*B[~i,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[b]*(46)*A[~f]*H[~g,a,~d,i]*F[f,g,d]*J[h,~i,j,~h,~j]+A[~g]*H[~d,a,~f,h]*J[j,~h,i,~j,~i]*(46)*F[g,d,f]*(-1)*A[b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[a,~e,d,b]*B[c,~d]*B[f,e]*A[~f]*A[~c]+B[c,e]*A[~f]*H[a,~e,d,b]*A[~c]*(-1)*B[f,~d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~d,~f,~c]*A[d]*A[~e]*H[b,f,g,a]*(-1)*F[e,~g,c]*(49)+A[~c]*(49)*F[c,~g,d]*F[~f,~e,~d]*H[b,e,g,a]*A[f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~d,b,h,e]*J[~c,d,g,~e,~f]*F[~g,~h,f]*A[i]*F[c,~i,a]+(-1)*H[~d,b,h,c]*J[~i,d,f,~c,~g]*F[~f,~h,g]*F[i,~e,a]*A[e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*J[g,~k,~h,k,b]*(52)*A[~c]*J[h,i,~g,~i,l]*J[j,c,~l,~j,a]+A[~k]*(52)*J[g,~j,~c,j,b]*J[i,k,~l,~i,a]*J[c,h,~g,~h,l]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((-1)*H[c,a,b,~c]*A[~d]*J[i,~j,~i,j,d]*A[h]*(76)*A[~h]+A[~c]*(76)*H[h,a,b,~h]*A[~d]*A[d]*J[j,~i,~j,i,c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~g,b,~e,c]*A[f]*B[~d,a]*H[e,d,g,~f]*(40)*A[~c]+(-1)*A[g]*(40)*A[~f]*H[c,d,e,~g]*B[~d,a]*H[~e,b,~c,f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[f,~i]*F[c,~j,i]*J[~h,~c,h,~f,b]*(54)*A[~d]*J[~k,k,d,a,j]+A[~k]*(54)*F[j,~d,i]*B[c,~i]*J[~f,f,k,a,d]*J[~h,~j,h,~c,b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[e]*J[~j,~e,a,j,b]*A[~f]*J[~i,~d,d,~k,i]*B[f,k]+B[j,d]*(-1)*J[~i,~k,a,i,b]*J[~e,~f,f,~d,e]*A[k]*A[~j]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[~c,j]*J[~k,f,i,~i,~d]*H[~g,g,c,b]*J[d,k,a,~f,~j]+H[~j,j,k,b]*B[~k,c]*(-1)*J[g,f,a,~d,~c]*J[~f,d,i,~i,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~m]*J[b,m,~j,j,a]*H[k,~k,f,~f]*H[l,~l,i,h]*B[~h,~i]+A[~j]*H[l,~l,m,~m]*(-1)*B[~h,~i]*H[k,~k,i,h]*J[b,j,~f,f,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[d]*(-1)*F[~e,a,c]*A[~d]*(98)*F[~c,e,b]+A[~e]*F[~c,a,d]*A[e]*(98)*F[~d,c,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[a,d,e,~f]*H[~h,i,g,~g]*F[b,~i,h]*F[~d,~e,f]+F[b,~e,i]*H[a,f,g,~d]*(-1)*H[~i,e,h,~h]*F[~f,~g,d]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((9)*J[h,~e,e,~d,i]*J[b,~h,d,~g,c]*B[~c,g]*B[~i,a]+(-1)*J[g,~d,d,~h,i]*(9)*B[~e,c]*J[b,~g,h,~c,e]*B[~i,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[f,e,~d,a,~h]*J[d,b,~c,h,~g]*A[c]*A[~f]*B[g,~e]+A[d]*J[f,b,~d,c,~g]*(-1)*J[e,h,~f,a,~c]*A[~e]*B[g,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[b,~c,d]*A[~d]*(78)*(-1)*F[e,f,a]*F[~e,c,~f]+F[d,f,a]*A[~c]*F[b,~e,c]*(78)*F[~d,e,~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((43)*J[j,~h,h,i,~j]*A[f]*B[~f,~i]*H[g,a,b,~g]+J[h,~i,i,g,~h]*H[j,a,b,~j]*(-1)*(43)*A[f]*B[~f,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~c]*F[b,d,c]*H[i,~j,~d,a]*J[f,~f,h,~h,~i]*A[j]+H[i,~c,~h,a]*F[b,h,f]*J[j,~j,d,~d,~i]*A[c]*(-1)*A[~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~g,c,~c,~j]*F[h,~i,b]*H[~f,i,a,d]*J[j,~d,~h,f,g]+F[j,~f,b]*J[c,~h,~j,d,g]*H[~g,i,~i,~c]*(-1)*H[~d,f,a,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[i,~c]*B[~e,~i]*A[a]*J[~f,c,e,h,b]*H[~h,f,~d,d]+B[~e,~d]*H[~i,c,~h,h]*(-1)*A[a]*J[~c,f,e,i,b]*B[d,~f]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[f,~d,j]*J[k,~c,~f,a,~k]*H[g,e,b,~g]*A[~e]*F[~j,c,d]+F[~g,e,d]*F[f,~d,g]*(-1)*A[~c]*J[j,~e,~f,a,~j]*H[k,c,b,~k]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~f,k,~i,l,f]*(45)*F[~e,~j,~h]*(-1)*J[~l,e,a,b,~k]*J[~d,d,i,h,j]+J[~h,f,a,b,~i]*J[~k,i,~e,h,k]*J[~j,j,e,l,d]*F[~f,~d,~l]*(45)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[b,i,~e,~f]*B[e,~g]*F[f,g,~i]*H[~j,c,j,~c]*A[a]+H[b,j,~i,~f]*F[f,g,~j]*(-1)*A[a]*H[~c,e,c,~e]*B[i,~g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[f,j,~j]*J[h,i,~i,~h,b]*B[a,g]*B[~f,~g]+B[~g,~h]*(-1)*J[i,f,~f,~i,b]*F[g,j,~j]*B[a,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[c,~e,~d,b]*A[~h]*H[~c,d,~g,~f]*H[h,a,f,e]*A[g]+(-1)*H[c,a,h,e]*H[~d,g,~f,~h]*A[~c]*A[f]*H[d,~e,~g,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~d,a,c,~f,g]*H[~c,d,~g,~e]*(37)*A[f]*B[b,e]*(-1)+B[b,f]*A[c]*H[~d,g,~e,~f]*(37)*J[~g,a,d,~c,e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~c]*B[~k,a]*A[~j]*J[b,e,f,~e,~f]*J[~i,j,i,c,k]*(51)*(-1)+A[~j]*B[~k,a]*A[~i]*(51)*J[~f,i,f,j,k]*J[b,e,c,~e,~c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[j,~j,~l,l,~i]*J[~m,~n,b,n,i]*H[g,a,~g,m]*B[~k,k]+H[l,a,~l,g]*(-1)*J[~g,~i,b,i,j]*B[~m,m]*J[n,~n,~k,k,~j]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[b,~g,a]*J[c,e,~c,~h,h]*A[g]*A[~e]+A[~h]*(-1)*F[b,~g,a]*J[e,h,~e,~c,c]*A[g]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~e,j,~i,k,~j]*J[a,e,i,g,b]*J[l,f,~g,~l,~f]*A[~k]+J[g,l,~j,~g,~l]*(-1)*A[~i]*J[~e,f,~k,i,~f]*J[a,e,k,j,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[f]*H[~f,e,~g,~d]*(98)*B[g,a]*F[b,c,h]*H[~h,~c,d,~e]*(-1)+F[b,e,f]*H[~f,~e,c,~h]*A[g]*H[~g,h,~d,~c]*(98)*B[d,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[h,c,~h,~c,b]*(-1)*A[k]*(32)*H[i,f,~f,a]*B[~j,~i]*B[j,~k]+H[f,j,~j,a]*B[i,~c]*A[c]*B[~i,~f]*(32)*J[h,k,~h,~k,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~d,~e,a,d]*F[b,g,~i]*F[h,i,f]*A[~g]*F[~f,e,~h]+F[d,h,i]*A[~g]*(-1)*F[~i,e,~d]*H[~f,~e,a,f]*F[b,g,~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~f,~c,~g]*F[~e,g,~d]*B[f,a]*H[d,e,c,b]+(-1)*F[~g,~d,~f]*B[g,a]*F[~c,f,~e]*H[e,c,d,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[b,c]*B[~d,~e]*F[f,d,~c]*F[~f,e,a]+B[~c,~f]*B[b,e]*F[d,c,~e]*F[~d,f,a]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~c,~g,a,~j,~i]*J[k,m,h,f,~k]*J[b,i,j,~m,~f]*J[g,c,~l,~h,l]+J[k,m,~l,~i,l]*J[~m,~k,a,~h,~c]*(-1)*J[f,g,i,j,~f]*J[b,c,h,~g,~j]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[a]*B[~e,~c]*B[b,e]*J[~h,h,c,g,~g]+A[a]*B[~h,~g]*(-1)*B[b,h]*J[~c,c,g,e,~e]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~d]*(73)*F[b,c,~e]*(-1)*A[d]*F[~c,e,a]+A[~d]*F[b,e,~c]*F[~e,c,a]*A[d]*(73)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[e,i,~c,g,~h]*J[~i,a,f,~d,b]*F[~f,j,h]*J[~j,c,~g,d,~e]*(92)+F[~h,c,d]*J[~c,f,~e,g,~i]*J[~j,a,h,~g,b]*J[i,j,~f,e,~d]*(92)*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[~g]*J[l,~m,g,m,~l]*A[~c]*J[~i,~k,c,k,b]*H[j,~j,i,a]+J[~j,~l,k,l,b]*A[~k]*A[~g]*(-1)*J[i,~c,g,c,~i]*H[m,~m,j,a]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~j,~i,g]*J[~l,l,b,~c,c]*H[i,a,j,k]*H[~f,~k,~g,f]+(-1)*H[~k,~l,~f,k]*J[~g,g,b,~j,j]*F[~c,~i,f]*H[i,a,c,l]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(A[i]*F[~j,a,j]*A[~i]*J[~h,~d,h,d,~e]*B[e,b]*(31)+B[j,b]*(31)*A[~d]*J[~e,~i,e,i,~j]*A[d]*(-1)*F[~h,a,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[g,~c,e,~h,f]*A[a]*F[d,h,~e]*H[~f,c,b,~d]*A[~g]+J[g,~d,c,~h,f]*(-1)*A[a]*H[~f,d,b,~e]*A[~g]*F[e,h,~c]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[d,h,c,b]*A[~c]*F[~h,~d,f]*H[a,e,~e,~f]+A[~h]*(-1)*H[a,c,~c,~f]*F[~e,~d,f]*H[d,e,h,b]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~i,d,b]*B[a,i]*(37)*A[h]*(-1)*A[~h]*J[~g,g,~d,f,~f]+F[~g,f,b]*A[~i]*B[a,g]*(37)*J[~d,d,~f,h,~h]*A[i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(F[~d,~c,g]*J[e,a,c,b,~f]*J[~e,h,f,d,~g]*A[~h]+J[d,a,e,b,~f]*F[~g,~e,c]*J[~d,h,f,g,~c]*(-1)*A[~h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~c,e,f,h,d]*B[~d,~g]*J[~f,a,c,g,~h]*B[b,~e]+(-1)*B[b,~f]*J[~e,a,d,g,~c]*B[~h,~g]*J[~d,f,e,c,h]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(B[d,k]*(36)*J[~g,g,~i,j,~j]*J[b,a,h,i,~e]*H[~k,~h,e,~d]+J[b,a,e,k,~i]*(-1)*J[~g,g,~k,d,~d]*H[~h,~e,i,~j]*B[j,h]*(36)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~c,f,~e,d]*(-1)*(39)*H[i,~k,~j,c]*H[~d,e,k,j]*J[~g,~i,a,g,~f]*A[b]+H[j,~e,~f,k]*H[~d,g,e,f]*A[b]*(39)*H[~k,i,~g,d]*J[~c,~j,a,c,~i]):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(J[~j,b,g,~g,~f]*H[k,l,~l,~c]*B[a,f]*J[c,~d,j,~k,d]+J[~g,b,f,~f,~j]*B[a,j]*J[c,~k,g,~d,k]*H[d,l,~l,~c]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~f,~j,f,d]*A[~d]*H[~c,c,~e,~i]*J[a,e,b,j,i]+J[a,f,b,d,j]*H[~i,i,~f,~j]*H[~c,~d,c,e]*A[~e]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(H[~d,f,~h,a]*B[d,g]*H[~f,~i,~c,i]*(87)*H[~g,h,c,b]+B[g,h]*H[~d,~c,~i,c]*H[~g,d,~f,a]*(87)*H[~h,f,i,b]*(-1)):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));