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:=((F[~g,a,b]*B[c,g]*(39)*H[h,~d,~h,d]+A[~j]*H[b,j,h,~d]*(37)*J[c,a,~e,d,~g]*B[g,~h]*A[e]+J[~k,m,~f,k,b]*J[l,~l,~i,i,d]*B[h,f]*J[~d,c,a,~m,~h]*(74)+(34)*(-1)*B[d,~d]*H[a,c,b,g]*F[~g,~h,h]+F[~e,~g,j]*A[c]*(58)*J[a,b,g,~j,e]+H[j,h,~e,~h]*B[~j,b]*B[a,e]*A[c]*(11)+H[b,e,j,~j]*A[~e]*(25)*A[c]*A[a]*(-1)+H[m,j,h,g]*(-1)*H[~m,~d,f,~e]*H[c,~j,e,a]*J[~f,~g,b,~h,d]*(68)+H[~d,l,f,~l]*J[~f,i,j,g,~i]*F[~j,~k,k]*H[b,~g,a,c]*A[d]+H[~j,~e,c,g]*B[e,~h]*J[a,~m,j,h,m]*B[b,~g]+A[e]*F[c,~e,g]*(-1)*A[b]*B[a,~g]*(38)+B[e,j]*A[g]*A[~e]*J[b,a,~g,c,~j]+(-1)*B[g,a]*A[c]*J[~d,~h,h,d,b]*(94)*A[~g]+F[~g,~j,j]*(61)*B[a,c]*B[g,b])+(F[~i,~d,d]*(34)*B[l,~l]*H[a,c,b,i]+(-1)*A[c]*F[~k,~i,e]*J[a,b,i,~e,k]*(58)+J[~l,c,a,~g,~d]*J[m,~m,~j,j,l]*B[d,h]*(74)*(-1)*J[~f,g,~h,f,b]+A[k]*F[c,~k,i]*A[b]*(38)*B[a,~i]+(39)*B[c,i]*H[d,~l,~d,l]*F[~i,a,b]*(-1)+B[k,e]*(-1)*A[~k]*A[i]*J[b,a,~i,c,~e]+(-1)*H[b,e,d,~l]*A[~e]*B[i,~d]*J[c,a,~k,l,~i]*(37)*A[k]+(94)*J[~l,~d,d,l,b]*A[~i]*B[i,a]*A[c]+B[~e,b]*A[c]*B[a,k]*(11)*H[e,d,~k,~d]*(-1)+B[k,~d]*(-1)*H[~e,~k,c,i]*J[a,~g,e,d,g]*B[b,~i]+J[~h,~i,b,~d,l]*H[c,~e,k,a]*H[~g,~l,h,~k]*(68)*H[g,e,d,i]+(61)*F[~i,~e,e]*(-1)*B[i,b]*B[a,c]+H[b,~i,a,c]*H[~l,m,h,~m]*(-1)*F[~e,~f,f]*A[l]*J[~h,j,e,i,~j]+A[c]*H[b,k,e,~e]*A[~k]*(25)*A[a])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((A[a]*B[c,~m]*B[b,m]+B[c,e]*(10)*A[m]*J[h,a,b,~e,~h]*A[~m]*(-1)+A[a]*A[h]*B[i,c]*J[~h,~d,d,~f,f]*H[b,~l,l,~i]+H[h,e,~m,~g]*H[c,m,~e,a]*F[g,~h,b]+F[~g,a,~e]*F[e,~h,g]*F[b,h,m]*B[~m,c]+J[g,b,a,~f,h]*H[~n,n,l,d]*J[~d,c,~g,f,~l]*J[k,~k,~h,~j,j]+F[h,a,m]*J[~h,~e,~i,c,~m]*A[i]*H[~f,b,e,f]+J[~g,i,a,e,~m]*A[h]*(54)*H[c,m,~i,g]*(-1)*F[~h,~e,b]+A[g]*(-1)*(59)*A[m]*H[c,~m,~g,b]*A[a]+J[i,~g,a,~i,m]*A[~h]*A[b]*H[h,c,~m,g]+(87)*B[b,g]*B[c,~g]*F[a,e,~e]+(-1)*J[~g,e,~h,m,b]*(47)*A[c]*A[h]*H[~e,g,a,~m]+(56)*J[h,a,e,m,b]*H[~e,~h,~g,~m]*B[g,c]+J[~i,~f,i,~h,f]*A[h]*A[c]*B[~g,a]*B[b,g])+(B[~n,a]*A[c]*(-1)*J[~e,~j,e,~d,j]*B[b,n]*A[d]+A[a]*B[c,~f]*B[b,f]*(-1)+(-1)*H[d,m,~f,~n]*H[c,f,~m,a]*F[n,~d,b]+A[a]*A[n]*A[f]*(59)*H[c,~f,~n,b]+A[f]*(10)*J[d,a,b,~m,~d]*B[c,m]*A[~f]+F[~d,~m,b]*H[c,f,~e,n]*(54)*J[~n,e,a,m,~f]*A[d]+A[d]*A[c]*H[~m,n,a,~f]*J[~n,m,~d,f,b]*(47)+(87)*B[c,~n]*B[b,n]*F[a,m,~m]*(-1)+H[~m,~d,~n,~f]*J[d,a,m,f,b]*(-1)*B[n,c]*(56)+A[a]*H[b,~k,k,~e]*J[~d,~i,i,~j,j]*B[e,c]*(-1)*A[d]+(-1)*H[d,c,~f,n]*J[e,~n,a,~e,f]*A[b]*A[~d]+(-1)*B[~f,c]*F[~n,a,~m]*F[b,d,f]*F[m,~d,n]+J[~i,c,~n,j,~k]*H[~h,h,k,i]*J[n,b,a,~j,d]*(-1)*J[l,~l,~d,~g,g]+H[~j,b,m,j]*J[~d,~m,~e,c,~f]*(-1)*F[d,a,f]*A[e])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((A[~g]*A[l]*J[b,~l,g,a,c]+J[h,i,~h,a,~i]*A[b]*(66)*F[~d,d,c]+H[j,~j,b,~f]*B[~i,c]*J[m,k,i,~m,~l]*A[l]*(-1)*J[e,f,a,~k,~e]*(73)+F[h,b,i]*J[~j,~g,~d,f,j]*J[a,~h,d,c,~f]*H[~i,m,g,~m]*(20)*(-1)+B[c,~g]*F[~f,b,f]*B[g,a]+(-1)*(12)*F[g,~i,i]*F[~f,~l,~g]*H[c,l,f,a]*A[b]+A[i]*H[h,~f,~k,k]*B[b,g]*J[~h,c,f,~g,l]*F[a,~i,~l]+B[b,~f]*(19)*A[~d]*F[c,f,a]*(-1)*J[h,~i,i,~h,d]+F[d,~f,~k]*J[c,h,k,~g,~l]*J[a,~d,~h,l,i]*H[g,f,~i,b]+B[~f,c]*F[~i,~j,j]*H[~h,b,i,l]*(61)*A[h]*J[~k,f,a,~l,k]+(-1)*A[l]*H[b,d,~l,~f]*A[f]*(72)*J[c,i,~i,~d,a])+(F[~f,f,c]*J[e,k,~e,a,~k]*(66)*A[b]*(-1)+H[~k,l,j,~l]*(20)*J[~h,~j,~f,g,h]*J[a,~e,f,c,~g]*F[e,b,k]+F[a,~k,~m]*J[~e,c,g,~j,m]*(-1)*B[b,j]*A[k]*H[e,~g,~d,d]+F[~g,~m,~j]*(12)*H[c,m,g,a]*F[j,~k,k]*A[b]+(-1)*J[c,e,d,~j,~m]*H[j,g,~k,b]*J[a,~f,~e,m,k]*F[f,~g,~d]+A[~j]*A[m]*(-1)*J[b,~m,j,a,c]+H[b,f,~m,~g]*A[m]*(72)*J[c,k,~k,~f,a]*A[g]+J[i,g,a,~d,~i]*B[~k,c]*A[m]*J[l,d,k,~l,~m]*H[h,~h,b,~g]*(73)+B[~g,c]*F[~k,~h,h]*A[e]*(61)*(-1)*J[~d,g,a,~m,d]*H[~e,b,k,m]+B[b,~g]*(19)*J[e,~k,k,~e,f]*F[c,g,a]*A[~f]+F[~g,b,g]*B[j,a]*(-1)*B[c,~j])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((H[j,b,~f,~e]*(89)*J[~k,~j,i,k,~i]*J[c,a,g,f,~g]*A[e]+B[b,e]*H[j,h,~h,~j]*F[c,a,~e]+(-1)*F[b,d,~h]*H[~f,j,c,~j]*(22)*H[f,a,h,~d]+F[f,c,e]*B[~e,~f]*B[a,b]+(53)*H[a,~d,d,c]*A[~f]*A[b]*A[f]+(3)*B[b,f]*A[c]*H[~f,d,~d,a]+J[c,d,b,h,~h]*A[~f]*A[a]*(44)*B[f,~d]+J[~d,c,~e,~g,g]*J[~j,h,a,b,~l]*H[e,d,j,l]*A[~h]+A[c]*(-1)*F[a,b,e]*B[l,~l]*(95)*A[f]*H[~j,~e,j,~f]+H[c,d,f,b]*F[~j,h,j]*(7)*F[~h,~f,a]*A[~d]+B[c,~e]*A[d]*J[b,e,~f,~d,a]*A[f]+J[~g,~j,~h,g,f]*(-1)*J[~l,~f,a,l,j]*A[h]*(68)*B[c,b])+(F[b,d,~g]*H[~l,e,c,~e]*H[l,a,g,~d]*(22)+(7)*H[c,d,l,b]*F[~e,g,e]*F[~g,~l,a]*(-1)*A[~d]+A[l]*A[~l]*(53)*(-1)*H[a,~d,d,c]*A[b]+J[~e,g,a,b,~j]*J[~d,c,~h,~k,k]*A[~g]*H[h,d,e,j]*(-1)+(3)*H[~l,d,~d,a]*(-1)*A[c]*B[b,l]+(-1)*J[c,d,b,g,~g]*A[a]*B[l,~d]*A[~l]*(44)+H[e,g,~g,~e]*F[c,a,~h]*(-1)*B[b,h]+(-1)*B[a,b]*B[~h,~l]*F[l,c,h]+A[l]*A[d]*(-1)*J[b,h,~l,~d,a]*B[c,~h]+H[e,b,~l,~h]*(89)*J[~f,~e,i,f,~i]*J[c,a,k,l,~k]*(-1)*A[h]+A[g]*J[~k,~e,~g,k,l]*J[~j,~l,a,j,e]*B[c,b]*(68)+H[~e,~h,e,~l]*A[l]*F[a,b,h]*A[c]*(95)*B[j,~j])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

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

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

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

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

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

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

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

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

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

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

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

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

tTensor:=((B[a,b]*B[~k,~d]*J[c,~l,k,d,l]+A[b]*A[d]*J[~j,c,l,~e,j]*B[e,~k]*H[~d,~l,a,k]+H[~d,k,~l,~e]*H[~k,e,d,l]*J[a,j,~j,c,b]+J[~i,~j,a,j,i]*(90)*J[~f,~d,f,c,b]*F[~h,h,d]+(28)*A[g]*J[d,a,l,c,~e]*J[~g,~j,~h,f,h]*H[~d,~f,k,b]*H[j,~k,~l,e]+A[d]*B[b,~e]*H[e,~k,a,~d]*B[c,k]*(74)+H[l,~l,b,k]*(6)*F[c,e,a]*A[~k]*A[~e]+A[a]*B[l,g]*J[~d,~g,i,~i,b]*B[~k,~l]*J[d,k,c,~f,f]+J[~k,b,a,c,k]*A[e]*(-1)*(89)*A[~e]+J[c,g,b,~d,~g]*H[d,~e,~j,j]*B[e,a]+A[a]*A[b]*A[c]*B[e,~e]+(13)*A[a]*J[k,~l,~f,f,~g]*F[g,~e,c]*B[e,l]*H[~k,~i,b,i]+H[l,g,~g,k]*H[~k,d,a,c]*B[~d,b]*A[~l])+(H[~f,~i,l,b]*(-1)*(28)*A[h]*J[~h,~e,~d,i,d]*H[e,~l,~j,k]*J[f,a,j,c,~k]+H[k,~l,a,~f]*(74)*A[f]*B[b,~k]*(-1)*B[c,l]+(13)*J[l,~j,~i,i,~h]*A[a]*B[k,j]*(-1)*F[h,~k,c]*H[~l,~g,b,g]+(-1)*J[~g,~e,a,e,g]*J[~i,~f,i,c,b]*(90)*F[~d,d,f]+A[a]*B[~l,~j]*B[j,h]*J[f,l,c,~i,i]*J[~f,~h,g,~g,b]*(-1)+A[b]*A[a]*(-1)*A[c]*B[k,~k]+B[~l,~f]*J[c,~j,l,f,j]*B[a,b]*(-1)+A[~l]*H[j,~j,b,l]*(6)*F[c,k,a]*(-1)*A[~k]+H[~l,k,f,j]*(-1)*J[a,e,~e,c,b]*H[~f,l,~j,~k]+H[f,~k,~e,e]*J[c,h,b,~f,~h]*B[k,a]*(-1)+A[~k]*A[k]*J[~l,b,a,c,l]*(89)+H[~l,f,a,c]*A[~j]*(-1)*H[j,h,~h,l]*B[~f,b]+B[k,~l]*(-1)*A[b]*A[f]*H[~f,~j,a,l]*J[~e,c,j,~k,e])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(((92)*H[h,d,~d,~m]*(-1)*J[~l,l,a,m,b]*B[c,~h]+A[g]*B[h,m]*J[b,~g,a,c,~m]*A[~h]+H[g,b,~f,m]*A[a]*F[~g,f,~h]*(-1)*F[c,h,~m]*(40)+J[l,~m,a,~h,~l]*J[m,b,~n,c,n]*A[~f]*B[h,f]+H[f,~d,c,d]*B[~g,m]*B[b,~m]*B[a,g]*A[~f]*(25)*(-1)+F[b,~h,d]*J[~g,m,~f,h,~d]*J[g,~i,i,~e,e]*A[~m]*J[~j,a,j,f,c]+A[c]*A[h]*(66)*A[~h]*A[b]*(-1)*A[a]+A[b]*(41)*H[~g,a,~h,g]*B[h,c]+(100)*F[c,a,~g]*(-1)*J[~d,b,d,f,~f]*A[g]+F[~m,f,~f]*F[g,b,m]*B[a,c]*A[~g]*(64)+H[~d,~m,f,a]*H[h,~g,~l,c]*A[~f]*J[d,b,g,m,~h]*A[l]*(81))+(B[d,j]*A[~d]*A[e]*J[b,~e,a,c,~j]*(-1)+A[b]*A[a]*A[d]*A[c]*(66)*A[~d]+F[c,a,~e]*J[~n,b,n,h,~h]*A[e]*(100)+(-1)*A[i]*A[~h]*(81)*J[n,b,e,j,~d]*H[~n,~j,h,a]*H[d,~e,~i,c]+A[~h]*J[i,~j,a,~d,~i]*J[j,b,~f,c,f]*(-1)*B[d,h]+H[h,~n,c,n]*B[~e,j]*B[a,e]*B[b,~j]*A[~h]*(25)+B[a,c]*(64)*(-1)*A[~e]*F[~j,h,~h]*F[e,b,j]+(-1)*(41)*A[b]*B[d,c]*H[~e,a,~d,e]+(40)*A[a]*F[~e,h,~d]*F[c,d,~j]*H[e,b,~h,j]+(92)*B[c,~d]*J[~i,i,a,j,b]*H[d,n,~n,~j]+J[~m,a,m,h,c]*A[~j]*(-1)*J[~e,j,~h,d,~n]*J[e,~l,l,~g,g]*F[b,~d,n])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

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

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

tTensor:=(((36)*B[~g,g]*B[h,~h]*A[c]*B[a,b]+H[j,k,~e,d]*A[~l]*J[l,e,b,h,a]*B[c,~d]*J[~f,f,~h,~k,~j]+A[~j]*B[j,b]*H[h,a,~h,c]+B[a,b]*(8)*B[~j,~e]*F[e,c,j]*(-1)+F[b,h,~h]*B[~e,c]*(-1)*(73)*B[a,e]+(-1)*A[k]*F[~h,l,~l]*J[b,~e,g,~k,c]*(40)*H[e,a,h,~g]+(-1)*J[~i,~e,i,~g,~h]*J[g,c,h,~f,f]*J[e,b,a,d,~d]*(92)+A[c]*J[a,~h,g,~j,~g]*(90)*B[h,j]*A[b]+A[a]*H[j,l,b,~l]*F[e,~k,k]*F[~e,~j,c]+A[~h]*H[b,c,~j,a]*A[e]*F[h,~e,j]+J[~k,l,k,c,~l]*(62)*F[j,b,e]*(-1)*F[~e,a,~j]+A[c]*F[b,~g,g]*B[h,~h]*A[a]*(3)*(-1)+A[~j]*F[~h,e,k]*(87)*J[j,~k,c,~e,a]*H[b,l,h,~l]*(-1)+H[~e,a,~h,b]*A[j]*H[c,e,~j,h])+(H[b,c,~j,a]*F[f,~d,j]*A[~f]*A[d]*(-1)+A[~e]*J[e,d,b,f,a]*J[~k,k,~f,~g,~j]*(-1)*H[j,g,~d,i]*B[c,~i]+A[c]*F[b,~l,l]*(3)*B[f,~f]*A[a]+B[j,b]*H[f,a,~f,c]*(-1)*A[~j]+(-1)*A[a]*F[~d,~j,c]*H[j,e,b,~e]*F[d,~g,g]+J[j,~g,c,~d,a]*A[~j]*(87)*H[b,e,f,~e]*F[~f,d,g]+(62)*F[~d,a,~j]*J[~g,e,g,c,~e]*F[j,b,d]+H[~d,a,~f,b]*H[c,d,~j,f]*(-1)*A[j]+B[~j,~d]*(8)*F[d,c,j]*B[a,b]+B[f,j]*(90)*A[c]*J[a,~f,l,~j,~l]*A[b]*(-1)+A[c]*B[f,~f]*(36)*B[a,b]*B[~l,l]*(-1)+A[g]*H[d,a,f,~l]*J[b,~d,l,~g,c]*F[~f,e,~e]*(40)+B[a,d]*F[b,f,~f]*(73)*B[~d,c]+(92)*J[~h,~d,h,~l,~f]*J[l,c,f,~k,k]*J[d,b,a,i,~i])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((F[k,c,~g]*J[~h,~k,g,a,~f]*J[j,~j,h,b,f]+A[d]*A[~f]*B[g,~g]*H[b,~d,~k,f]*F[k,c,a]+F[~g,k,~d]*J[a,d,~k,~f,~h]*B[c,h]*B[b,f]*(60)*A[g]+H[c,b,f,~g]*J[e,g,~m,m,~e]*(77)*A[a]*(-1)*J[~l,~i,~f,i,l]+B[h,~f]*H[~g,c,k,j]*J[f,d,~h,b,~j]*H[~d,~k,a,g]*(94)+A[h]*J[k,d,g,~g,a]*A[~h]*H[c,b,~k,~d]*(-1)*(64)+H[b,j,~j,~k]*J[~i,~l,l,c,i]*A[d]*F[k,~d,a]*(68)+J[k,d,f,b,~h]*B[h,c]*H[a,~d,~k,~f]+B[f,~h]*A[d]*J[~d,b,c,~f,~k]*F[a,k,h]+H[f,~d,l,~l]*(74)*F[k,~i,b]*J[~k,~j,~f,a,g]*(-1)*J[c,d,~g,i,j]+B[~h,~d]*A[k]*B[b,a]*H[h,~f,c,d]*(99)*B[~k,f]+F[~k,~f,c]*A[a]*F[b,f,k])+(B[~g,m]*B[~f,~j]*(-1)*(99)*B[b,a]*A[g]*H[f,~m,c,j]+J[c,j,~k,e,d]*F[g,~e,b]*J[~g,~d,~m,a,k]*H[m,~j,h,~h]*(74)+H[~j,~g,a,k]*(94)*H[~k,c,g,d]*(-1)*J[m,j,~f,b,~d]*B[f,~m]+A[j]*A[~m]*B[k,~k]*F[g,c,a]*H[b,~j,~g,m]*(-1)+J[~j,b,c,~m,~g]*(-1)*F[a,g,f]*A[j]*B[m,~f]+J[g,j,k,~k,a]*A[f]*A[~f]*H[c,b,~g,~j]*(64)+(-1)*J[d,~d,f,b,m]*F[g,c,~k]*J[~f,~g,k,a,~m]+J[~h,~e,~m,e,h]*H[c,b,m,~k]*J[l,k,~i,i,~l]*A[a]*(77)+A[a]*F[b,m,g]*(-1)*F[~g,~m,c]+J[a,j,~g,~m,~f]*F[~k,g,~j]*B[b,m]*(-1)*B[c,f]*(60)*A[k]+(-1)*H[b,d,~d,~g]*F[g,~j,a]*(68)*A[j]*J[~e,~h,h,c,e]+B[f,c]*H[a,~j,~g,~m]*J[g,j,m,b,~f]*(-1))):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=(((-1)*A[a]*H[b,~k,~l,~j]*F[k,j,c]*(25)*A[l]+F[~f,f,~h]*(-1)*H[j,h,b,~k]*J[~m,k,c,~j,m]*(33)*A[a]+(87)*J[~h,b,d,e,g]*J[~g,~m,~d,c,~k]*A[m]*J[l,a,n,~n,~e]*J[h,~l,k,~i,i]+A[l]*J[a,b,~m,m,~j]*J[~h,h,j,~l,c]+J[~d,c,l,j,b]*B[a,~k]*H[k,d,~j,~l]+F[j,~l,k]*H[~k,~j,d,a]*(13)*A[l]*J[c,m,~d,~m,b]+F[k,~m,m]*B[~h,~l]*(20)*A[a]*F[~j,l,h]*H[~k,b,j,c]+J[e,f,~f,~e,~d]*H[k,~m,a,m]*(-1)*B[~k,c]*B[d,b]*(6)+F[k,m,~d]*J[~m,e,b,~e,a]*J[c,g,l,~j,~g]*H[~k,j,d,~l]+B[~h,h]*J[~j,l,b,a,c]*A[d]*F[j,~d,~l]+B[~l,~h]*(70)*F[~k,~j,c]*J[~f,b,f,a,m]*J[j,l,h,k,~m]+J[a,k,~l,~j,c]*A[l]*B[~k,b]*A[j]+J[~d,~e,a,~h,e]*J[d,h,~j,m,c]*B[j,b]*F[~f,~m,f])+(B[~n,b]*J[a,n,~g,~i,c]*A[i]*(-1)*A[g]+J[j,e,~i,f,c]*(-1)*B[i,b]*F[~m,~f,m]*J[~j,~l,a,~e,l]+B[~e,e]*A[j]*F[i,~j,~g]*(-1)*J[~i,g,b,a,c]+J[c,k,g,~i,~k]*(-1)*J[~f,l,b,~l,a]*H[~n,i,j,~g]*F[n,f,~j]+A[g]*J[~e,e,i,~g,c]*J[a,b,~f,f,~i]*(-1)+H[i,e,b,~n]*J[~f,n,c,~i,f]*(33)*A[a]*F[~m,m,~e]+F[n,i,c]*A[a]*A[g]*(25)*H[b,~n,~g,~i]+B[~g,~e]*(70)*J[i,g,e,n,~f]*J[~m,b,m,a,f]*(-1)*F[~n,~i,c]+B[~n,c]*B[j,b]*(6)*J[l,m,~m,~l,~j]*H[n,~f,a,f]+J[~k,~f,~j,c,~n]*J[~e,b,j,l,k]*(-1)*(87)*A[f]*J[e,~g,n,~h,h]*J[g,a,d,~d,~l]+A[a]*B[~e,~g]*(20)*H[~n,b,i,c]*F[~i,g,e]*(-1)*F[n,~f,f]+(13)*A[g]*H[~n,~i,j,a]*F[i,~g,n]*(-1)*J[c,f,~j,~f,b]+(-1)*B[a,~n]*H[n,j,~i,~g]*J[~j,c,g,i,b])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((A[k]*(-1)*H[~k,a,e,~l]*(49)*H[d,~i,c,~d]*A[~e]*F[i,b,l]+F[a,~e,i]*F[d,~d,e]*H[k,b,~i,~k]*A[c]+J[~h,~d,a,~e,h]*J[~k,~f,m,f,~m]*J[e,g,~g,k,b]*B[c,d]+B[b,~l]*A[a]*H[c,~k,~e,k]*F[~d,d,l]*A[e]*(32)+J[~i,~l,a,~n,e]*(-1)*A[~e]*F[c,~d,~k]*F[k,i,n]*(26)*F[l,d,b]+B[e,b]*A[a]*A[c]*A[~e]+A[~e]*J[b,e,a,c,l]*(87)*F[n,~l,~n]+J[l,e,c,~n,~i]*B[a,~e]*H[n,~l,i,b]+F[~n,b,n]*(77)*H[c,a,~e,i]*A[~i]*A[e]+A[~l]*H[n,~n,~e,b]*(-1)*(46)*B[l,a]*B[c,e]+B[~e,~i]*J[~l,a,b,i,c]*A[l]*A[e])+(H[l,~l,~m,b]*B[c,m]*(46)*B[d,a]*A[~d]+(-1)*B[c,k]*J[~f,~k,a,~m,f]*J[m,g,~g,e,b]*J[~e,~n,i,n,~i]+A[d]*J[~d,a,b,h,c]*B[~m,~h]*(-1)*A[m]+H[~e,a,m,~d]*H[k,~h,c,~k]*A[~m]*A[e]*(49)*F[h,b,d]+A[~m]*(26)*F[e,h,l]*F[c,~k,~e]*J[~h,~d,a,~l,m]*F[d,k,b]+(32)*A[a]*H[c,~e,~m,e]*(-1)*F[~k,k,d]*B[b,~d]*A[m]+(87)*(-1)*F[l,~d,~l]*A[~m]*J[b,m,a,c,d]+F[~l,b,l]*A[~h]*A[m]*(-1)*(77)*H[c,a,~m,h]+B[m,b]*(-1)*A[a]*A[c]*A[~m]+A[c]*(-1)*H[e,b,~h,~e]*F[k,~k,m]*F[a,~m,h]+(-1)*B[a,~m]*H[l,~d,h,b]*J[d,m,c,~l,~h])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((B[a,~h]*(5)*A[~j]*F[l,b,j]*F[h,c,~l]+A[l]*F[~l,b,a]*A[j]*B[c,~j]+J[e,~g,a,~e,g]*A[~f]*H[~m,f,m,~l]*F[c,l,b]+A[~k]*B[b,k]*(97)*H[h,~e,~j,e]*F[~h,a,j]*J[~d,g,c,~g,d]+H[~f,h,j,k]*J[b,~m,i,~i,~j]*(13)*J[c,l,~d,~k,d]*J[a,~l,~h,f,m]+F[b,a,~k]*J[~j,~l,~h,m,~m]*A[k]*H[c,l,j,h]+(8)*F[i,m,~i]*J[f,~e,d,~j,~d]*H[g,~m,~g,a]*J[~f,b,j,c,e]+A[l]*F[f,~f,b]*H[~k,a,k,c]*A[~l]+J[a,m,~h,~k,~l]*J[b,h,e,~f,~j]*H[k,~e,l,c]*F[~m,f,j]+A[l]*A[j]*J[a,~h,~j,c,b]*B[h,~l]+J[h,f,~k,c,a]*H[l,~h,k,j]*H[~l,b,~f,~j]+(-1)*H[m,a,j,~m]*H[f,~j,~f,~k]*A[b]*B[c,k]*(19)+A[b]*A[c]*A[~l]*B[l,a]+J[~m,m,~j,~l,b]*H[~f,a,f,c]*A[l]*A[j])+((19)*A[b]*B[c,i]*H[l,a,k,~l]*H[g,~k,~g,~i]+(13)*J[a,~j,~d,g,l]*J[c,j,~m,~i,m]*H[~g,d,k,i]*J[b,~l,h,~h,~k]*(-1)+J[~k,~j,~d,l,~l]*F[b,a,~i]*(-1)*A[i]*H[c,j,k,d]+F[d,c,~j]*A[~k]*F[j,b,k]*(-1)*(5)*B[a,~d]+H[i,~f,j,c]*J[a,l,~d,~i,~j]*F[~l,g,k]*(-1)*J[b,d,f,~g,~k]+J[g,~f,m,~k,~m]*(8)*F[h,l,~h]*(-1)*H[e,~l,~e,a]*J[~g,b,k,c,f]+J[f,~e,a,~f,e]*F[c,j,b]*H[~l,g,l,~j]*A[~g]*(-1)+A[~j]*F[g,~g,b]*(-1)*H[~i,a,i,c]*A[j]+(-1)*A[k]*J[a,~d,~k,c,b]*A[j]*B[d,~j]+(-1)*H[~j,b,~g,~k]*H[j,~d,i,k]*J[d,g,~i,c,a]+(-1)*A[j]*A[k]*B[c,~k]*F[~j,b,a]+A[k]*(-1)*A[j]*J[~l,l,~k,~j,b]*H[~g,a,g,c]+F[~d,a,k]*(-1)*A[~i]*H[d,~f,~k,f]*B[b,i]*(97)*J[~m,e,c,~e,m]+(-1)*A[~j]*B[j,a]*A[c]*A[b])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((A[~i]*A[a]*J[j,i,~l,b,~j]*F[l,c,f]*A[~f]+F[l,~f,~l]*B[a,f]*A[i]*F[c,~i,b]+B[a,~i]*A[h]*(20)*H[i,c,b,~h]*(-1)+B[~i,i]*A[c]*A[b]*A[a]+J[~m,j,m,~g,g]*J[f,d,~d,~j,a]*B[~e,e]*A[b]*(21)*B[c,~f]+(-1)*A[j]*H[~h,b,a,~j]*J[~f,k,~k,c,~l]*F[f,h,l]*(44)+J[a,~k,~j,~e,h]*A[l]*(71)*H[~f,c,d,~l]*J[k,f,b,~d,i]*H[~h,j,e,~i]+B[c,h]*A[~h]*(54)*B[b,a]+J[b,~i,~d,f,k]*J[~j,i,a,~f,~k]*H[l,j,c,d]*B[~l,h]*A[~h]+A[a]*(-1)*B[~l,i]*B[c,l]*J[~i,j,f,b,~j]*A[~f]*(18)+H[~l,f,~k,a]*J[~h,c,k,l,i]*A[b]*J[~d,h,~i,~f,d])+(J[~i,g,~g,c,~f]*H[~e,b,a,~m]*(44)*A[m]*F[i,e,f]+(-1)*A[c]*A[b]*A[a]*B[~j,j]+A[a]*A[~j]*J[m,j,~f,b,~m]*A[~i]*(-1)*F[f,c,i]+B[a,~j]*A[e]*H[j,c,b,~e]*(20)+(-1)*F[f,~i,~f]*A[j]*B[a,i]*F[c,~j,b]+(-1)*J[~e,c,g,f,j]*H[~f,i,~g,a]*J[~k,e,~j,~i,k]*A[b]+B[c,~i]*B[~d,d]*(21)*A[b]*(-1)*J[i,k,~k,~m,a]*J[~h,m,h,~l,l]+J[~m,j,a,~i,~g]*(-1)*A[~e]*B[~f,e]*J[b,~j,~k,i,g]*H[f,m,c,k]+A[a]*A[~i]*B[c,f]*(18)*B[~f,j]*J[~j,m,i,b,~m]+H[~e,m,d,~j]*(71)*H[~i,c,k,~f]*J[a,~g,~m,~d,e]*A[f]*J[g,i,b,~k,j]*(-1)+B[c,e]*(54)*A[~e]*B[b,a]*(-1))):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((H[~l,f,a,c]*A[~j]*J[~i,b,i,~g,j]*A[l]*B[g,~f]+B[~k,g]*J[~f,a,~e,j,e]*J[c,i,~g,~h,h]*J[f,~i,k,b,~j]+(10)*H[~g,~j,~d,a]*F[k,~k,b]*J[i,~i,j,d,g]*A[c]+(85)*A[~g]*F[l,~j,~f]*A[~l]*H[f,~i,c,i]*(-1)*H[g,j,a,b]+F[c,b,a]*A[~f]*(30)*A[f]+(-1)*A[d]*(98)*F[~d,b,~l]*H[a,g,f,j]*J[c,~j,~g,~f,l]+A[c]*J[~i,i,~g,g,b]*F[~l,a,l]+B[j,~f]*F[f,b,~j]*A[a]*A[c]*(11)+J[f,d,a,~g,c]*(60)*A[b]*J[k,l,~f,~k,j]*H[~l,g,~j,~d]*(-1)+A[c]*A[d]*B[~d,~f]*A[f]*H[b,~l,l,a]*(27)+A[c]*H[b,a,f,~j]*A[~f]*A[j]+(71)*H[~f,e,~e,~g]*J[~j,l,g,d,b]*F[j,~l,c]*H[~h,a,h,~d]*A[f]*(-1)+H[~l,~f,~d,j]*A[c]*A[g]*H[f,~g,a,l]*F[b,~j,d])+(F[h,~g,~l]*A[~e]*(85)*H[e,g,a,b]*H[l,~k,c,k]*A[~h]+F[c,b,a]*(30)*A[~l]*A[l]*(-1)+H[~h,l,a,c]*B[e,~l]*J[~k,b,k,~e,g]*(-1)*A[h]*A[~g]+A[e]*H[l,~e,a,h]*F[b,~g,j]*(-1)*H[~h,~l,~j,g]*A[c]+F[f,~f,b]*(10)*J[k,~k,g,j,e]*H[~e,~g,~j,a]*A[c]*(-1)+J[~k,k,~e,e,b]*A[c]*F[~h,a,h]*(-1)+J[c,~g,~e,~l,h]*(98)*A[j]*H[a,e,l,g]*F[~j,b,~h]+J[c,k,~e,~d,d]*J[l,~k,f,b,~g]*B[~f,e]*J[~l,a,~i,g,i]*(-1)+A[l]*(27)*A[c]*A[j]*(-1)*B[~j,~l]*H[b,~h,h,a]+A[g]*(-1)*A[c]*H[b,a,l,~g]*A[~l]+A[l]*(71)*F[g,~h,c]*H[~d,a,d,~j]*H[~l,i,~i,~e]*J[~g,h,e,j,b]+F[l,b,~g]*(11)*A[c]*B[g,~l]*(-1)*A[a]+A[b]*H[~h,e,~g,~j]*J[l,j,a,~e,c]*(60)*J[f,h,~l,~f,g])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

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

tTensor:=((A[j]*A[b]*A[a]*B[c,~j]+H[j,~f,e,a]*B[c,i]*J[b,f,~i,~e,~j]*(9)+H[c,j,e,~f]*B[~e,a]*A[f]*B[~j,b]+A[c]*(56)*(-1)*H[~h,a,h,b]*B[g,j]*H[f,~d,d,~j]*H[~g,k,~k,~f]+(98)*A[f]*H[~j,b,~e,a]*H[~f,j,c,e]+H[a,b,e,~f]*A[j]*B[c,i]*(40)*H[f,~j,~e,~i]+A[b]*B[~e,a]*A[~j]*J[e,j,i,c,~i]+(54)*B[~f,~l]*J[j,l,a,b,i]*J[~g,f,~j,~i,g]*A[c]*(-1)+A[~j]*B[b,c]*B[j,a]+B[a,b]*F[~e,~j,f]*J[~g,g,c,e,~f]*F[j,d,~d]+A[~e]*A[~j]*F[e,~f,b]*H[f,c,a,j]+F[~i,b,~l]*(93)*J[~g,e,i,g,f]*J[~f,l,c,~e,a]+(22)*B[c,~f]*H[a,l,~l,~i]*B[b,j]*(-1)*B[i,~j]*A[f]+B[c,~j]*F[~f,b,a]*B[f,j])+((93)*F[~i,b,~e]*(-1)*J[~d,k,i,d,h]*J[~h,e,c,~k,a]+(22)*A[h]*B[b,g]*B[c,~h]*B[i,~g]*H[a,e,~e,~i]+A[g]*(40)*B[c,i]*H[h,~g,~k,~i]*H[a,b,k,~h]*(-1)+(54)*J[g,e,a,b,i]*B[~h,~e]*J[~d,h,~g,~i,d]*A[c]+(-1)*(98)*H[~h,g,c,k]*A[h]*H[~g,b,~k,a]+B[~g,b]*(-1)*A[h]*B[~k,a]*H[c,g,k,~h]+(56)*A[c]*H[~j,a,j,b]*B[d,g]*H[~d,f,~f,~h]*H[h,~l,l,~g]+A[b]*(-1)*A[g]*A[a]*B[c,~g]+A[~g]*B[g,a]*B[b,c]*(-1)+F[g,l,~l]*F[~k,~g,h]*B[a,b]*J[~d,d,c,k,~h]*(-1)+A[b]*(-1)*B[~k,a]*A[~g]*J[k,g,i,c,~i]+(-1)*B[c,~g]*F[~h,b,a]*B[h,g]+(-1)*B[c,i]*J[b,h,~i,~k,~g]*(9)*H[g,~h,k,a]+A[~k]*A[~g]*(-1)*H[h,c,a,g]*F[k,~h,b])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((J[h,i,~d,~k,b]*J[l,~h,~e,c,d]*A[k]*F[~l,~i,a]*A[e]+F[d,a,~i]*A[~e]*J[c,~d,b,e,i]+J[~f,o,c,~o,~i]*A[~m]*J[n,~j,j,e,~n]*J[a,b,g,m,~g]*F[~e,i,f]*(2)+A[i]*H[b,d,~d,~i]*A[a]*A[c]+A[e]*(59)*J[k,b,l,~k,~d]*(-1)*F[~m,m,a]*H[~e,c,d,~l]+J[~h,~k,k,b,h]*B[l,d]*F[a,c,~l]*A[~d]+A[c]*A[~e]*H[a,i,b,e]*A[~i]+J[b,i,l,e,c]*F[~e,~l,d]*F[a,~i,~d]+B[~i,b]*H[c,a,e,i]*A[~e]+F[~h,~i,h]*J[~l,i,l,c,a]*A[b]+(20)*J[d,~k,~m,k,m]*J[h,a,~h,b,~d]*A[c]+F[c,b,~d]*A[e]*J[~h,l,d,h,~e]*A[a]*A[~l])+((-1)*A[~o]*F[h,a,~f]*J[c,~h,b,o,f]+J[e,~g,g,o,~e]*(-1)*(2)*A[~n]*F[~o,f,l]*J[~l,d,c,~d,~f]*J[a,b,k,n,~k]+A[a]*(-1)*F[c,b,~h]*J[~m,i,h,m,~o]*A[~i]*A[o]+(-1)*B[~f,b]*A[~o]*H[c,a,o,f]+A[a]*(-1)*A[f]*H[b,h,~h,~f]*A[c]+F[a,~f,~h]*J[b,f,i,o,c]*F[~o,~i,h]*(-1)+H[a,f,b,o]*(-1)*A[c]*A[~o]*A[~f]+F[~i,~f,a]*(-1)*J[m,f,~h,~j,b]*A[j]*J[i,~m,~o,c,h]*A[o]+A[b]*F[~m,~f,m]*J[~i,f,i,c,a]*(-1)+A[c]*(20)*(-1)*J[h,~j,~n,j,n]*J[m,a,~m,b,~h]+F[a,c,~i]*(-1)*B[i,h]*A[~h]*J[~m,~j,j,b,m]+(59)*A[o]*F[~n,n,a]*J[j,b,i,~j,~h]*H[~o,c,h,~i])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((A[b]*(-1)*J[c,i,a,~e,g]*H[~f,e,~h,~i]*F[f,~g,d]*H[~j,h,~d,j]*(23)+F[b,~h,~k]*F[k,c,e]*J[i,h,~e,a,~i]+A[~e]*B[a,b]*A[c]*A[e]*(96)+B[e,b]*A[c]*B[k,~e]*(18)*H[h,~k,~h,a]+(51)*B[~f,f]*A[b]*(-1)*H[~h,c,h,a]+(57)*H[e,b,~h,h]*A[~k]*B[c,a]*B[~e,k]+(-1)*A[b]*H[k,~h,f,c]*H[h,~k,a,e]*B[~f,~e]*(87)+F[~j,j,~i]*J[h,b,~d,d,c]*H[~h,~g,a,g]*A[i]+J[~k,~i,h,e,c]*B[k,g]*H[~d,~g,d,i]*A[~e]*F[b,~h,a]+B[k,~f]*J[~i,~e,~k,~h,f]*J[~d,b,h,d,i]*F[c,e,a]+A[c]*(-1)*A[b]*(63)*A[a]+(-1)*H[e,b,g,~g]*J[c,h,~i,~e,i]*(53)*B[a,~h])+((63)*A[c]*A[a]*A[b]+(53)*H[j,b,k,~k]*B[a,~e]*J[c,e,~i,~j,i]+F[b,~e,~g]*J[i,e,~j,a,~i]*(-1)*F[g,c,j]+H[~f,~k,f,i]*F[b,~e,a]*B[g,k]*(-1)*A[~j]*J[~g,~i,e,j,c]+H[~h,e,~f,h]*F[d,~k,f]*A[b]*J[c,i,a,~j,k]*H[~d,j,~e,~i]*(23)+J[e,b,~f,f,c]*A[i]*(-1)*H[~e,~k,a,k]*F[~h,h,~i]+J[~i,~j,~g,~e,d]*F[c,j,a]*(-1)*J[~f,b,e,f,i]*B[g,~d]+H[g,~e,d,c]*(87)*H[e,~g,a,j]*B[~d,~j]*A[b]+A[b]*(51)*H[~e,c,e,a]*B[~d,d]+B[j,b]*(18)*(-1)*B[g,~j]*H[e,~g,~e,a]*A[c]+H[j,b,~e,e]*B[~j,g]*(-1)*(57)*B[c,a]*A[~g]+A[j]*(96)*A[c]*A[~j]*B[a,b]*(-1))):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((F[c,b,~k]*B[k,g]*A[a]*F[~g,~e,e]+H[i,~i,~j,j]*A[g]*A[a]*A[k]*(45)*H[~g,b,~k,c]+B[~d,~g]*H[b,g,k,e]*(-1)*(63)*J[c,~e,~k,a,d]+(30)*H[c,k,a,~k]*A[~d]*A[d]*(-1)*A[b]+A[a]*H[~j,j,c,~d]*H[b,e,d,g]*B[~e,~g]+B[~g,b]*(71)*B[~j,j]*(-1)*B[a,g]*F[c,~e,e]+A[c]*A[k]*B[~g,~k]*A[d]*H[a,~d,b,g]+A[g]*F[c,d,k]*(86)*H[b,~g,a,~k]*A[~d]+A[~k]*H[c,g,a,k]*F[e,~e,~g]*A[b]+A[~g]*H[a,c,~k,k]*(43)*A[b]*A[g]+A[g]*A[~d]*J[a,~g,c,d,b]*(-1)*(51)+F[~j,g,h]*(37)*J[~f,~k,i,b,~g]*J[~e,~i,f,d,~h]*A[~d]*J[j,k,e,c,a]+F[k,a,c]*A[d]*A[b]*H[~d,~e,~k,e])+(F[~j,i,f]*J[~k,~e,g,d,~f]*(37)*J[j,h,k,c,a]*(-1)*J[~g,~h,e,b,~i]*A[~d]+A[i]*A[~d]*(51)*J[a,~i,c,d,b]+H[e,~e,~j,j]*A[a]*A[h]*A[i]*(-1)*(45)*H[~i,b,~h,c]+A[b]*(-1)*A[i]*A[~i]*H[a,c,~h,h]*(43)+A[b]*F[k,~k,~i]*H[c,i,a,h]*A[~h]*(-1)+(63)*B[~d,~i]*J[c,~k,~h,a,d]*H[b,i,h,k]+H[b,k,d,i]*(-1)*H[~j,j,c,~d]*A[a]*B[~k,~i]+(86)*A[i]*F[c,d,h]*H[b,~i,a,~h]*A[~d]*(-1)+F[h,a,c]*A[b]*H[~d,~k,~h,k]*(-1)*A[d]+A[~d]*(30)*H[c,h,a,~h]*A[d]*A[b]+B[a,i]*F[c,~k,k]*B[~i,b]*(71)*B[~j,j]+A[c]*H[a,~d,b,i]*B[~i,~h]*A[d]*A[h]*(-1)+A[a]*(-1)*F[c,b,~h]*B[h,i]*F[~i,~k,k])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((F[e,c,~e]*A[a]*A[b]+A[f]*A[~h]*F[~f,c,g]*F[b,l,h]*J[~k,~l,a,k,~g]+A[e]*A[~l]*J[a,l,c,h,~h]*B[b,~e]+A[b]*(62)*A[~l]*A[a]*(-1)*B[c,l]+A[~h]*(-1)*J[f,c,~e,~k,b]*H[~d,d,l,a]*J[~f,e,~l,h,k]+(16)*A[b]*A[e]*A[a]*H[c,~e,g,~g]+(9)*F[b,~h,a]*J[k,~k,e,h,~g]*(-1)*J[c,~e,g,d,~d]+J[d,~j,~i,~e,j]*(39)*J[~g,~k,a,~f,~d]*H[g,h,i,f]*J[~h,k,c,e,b]+B[b,f]*B[e,l]*J[c,~g,h,~f,~e]*H[~h,g,~l,a]*(83)+A[h]*A[e]*J[~f,~e,a,g,f]*H[c,b,~h,~g]+B[a,g]*J[b,c,h,~g,~h]*A[e]*A[~e]+A[~e]*H[a,h,~h,c]*(47)*H[f,~f,e,b]*(-1)+A[c]*F[b,~g,~e]*H[k,e,~k,a]*A[h]*H[~d,~h,g,d]+A[a]*(-1)*(5)*H[~f,~e,~k,h]*H[c,e,b,~g]*A[l]*J[f,~l,k,g,~h])+(A[~e]*H[a,l,~l,c]*(47)*H[d,~d,e,b]+(-1)*H[c,~e,g,~g]*A[a]*(16)*A[b]*A[e]+J[a,h,c,l,~l]*A[e]*B[b,~e]*(-1)*A[~h]+A[c]*H[k,e,~k,a]*F[b,~g,~e]*H[~j,~l,g,j]*A[l]*(-1)+H[~l,g,~h,a]*B[e,h]*J[c,~g,l,~d,~e]*B[b,d]*(83)*(-1)+F[b,~l,a]*J[k,~k,e,l,~g]*J[c,~e,g,j,~j]*(9)+A[~h]*A[a]*A[b]*(62)*B[c,h]+J[b,c,l,~g,~l]*A[~e]*B[a,g]*A[e]*(-1)+F[b,h,l]*(-1)*F[~d,c,g]*J[~k,~h,a,k,~g]*A[d]*A[~l]+A[a]*H[~d,~e,~k,l]*J[d,~h,k,g,~l]*A[h]*H[c,e,b,~g]*(5)+A[~l]*H[~j,j,h,a]*J[d,c,~e,~k,b]*J[~d,e,~h,l,k]+J[j,~f,~i,~e,f]*J[~g,~k,a,~d,~j]*H[g,l,i,d]*(-1)*J[~l,k,c,e,b]*(39)+(-1)*J[~d,~e,a,g,d]*A[e]*A[l]*H[c,b,~l,~g]+(-1)*F[e,c,~e]*A[a]*A[b])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((F[~f,~e,~l]*(68)*H[e,m,l,~m]*J[f,i,~j,b,~g]*A[j]*H[c,g,a,~i]+J[~g,b,~f,e,~d]*A[g]*A[i]*A[d]*J[f,~e,a,c,~i]+J[~l,~g,f,~i,~j]*B[~d,c]*J[j,~m,g,m,d]*A[l]*H[a,~f,i,b]+A[~g]*A[~i]*B[b,a]*J[~d,d,g,c,i]+J[j,e,~j,~l,f]*H[~d,c,m,~m]*J[d,~f,~e,a,l]*A[b]+J[c,h,a,m,~h]*A[g]*F[d,e,~f]*J[~i,~k,~d,k,~m]*J[f,~g,~e,b,i]+F[l,a,~l]*J[c,~d,d,e,~e]*A[b]*(91)*(-1)+A[~g]*A[g]*F[b,a,c]+(26)*H[f,i,g,c]*B[~g,~f]*F[~i,a,b]+H[a,~f,b,f]*A[i]*(69)*B[c,~i]+A[~e]*(-1)*J[d,b,i,e,~f]*J[~j,~g,f,~i,j]*H[g,a,~d,c]*(8)+F[m,d,~m]*F[~d,f,a]*H[~e,~j,~g,j]*J[e,c,b,g,~f])+((-1)*(69)*B[c,~g]*H[a,~i,b,i]*A[g]+J[k,b,g,d,~i]*H[h,a,~k,c]*A[~d]*(8)*J[~m,~h,i,~g,m]+(-1)*J[i,~d,a,c,~g]*J[~h,b,~i,d,~k]*A[k]*A[h]*A[g]+H[d,e,f,~e]*F[~i,~d,~f]*H[c,h,a,~g]*(68)*J[i,g,~m,b,~h]*(-1)*A[m]+A[f]*(-1)*J[m,~e,h,e,k]*H[a,~i,g,b]*B[~k,c]*J[~f,~h,i,~g,~m]+J[c,j,a,e,~j]*J[~g,~l,~k,l,~e]*(-1)*F[k,d,~i]*A[h]*J[i,~h,~d,b,g]+(-1)*H[~k,c,e,~e]*A[b]*J[k,~i,~d,a,f]*J[m,d,~m,~f,i]+(-1)*A[h]*F[b,a,c]*A[~h]+(91)*A[b]*J[c,~k,k,d,~d]*F[f,a,~f]+F[~k,i,a]*(-1)*H[~d,~m,~h,m]*F[e,k,~e]*J[d,c,b,h,~i]+B[~h,~i]*H[i,g,h,c]*F[~g,a,b]*(-1)*(26)+A[~h]*J[~k,k,h,c,g]*B[b,a]*(-1)*A[~g])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=((A[c]*J[a,~g,g,i,~i]*(96)*A[b]*H[~j,j,~h,h]+B[~k,~e]*(-1)*J[f,c,e,j,~j]*(85)*H[~f,b,k,a]+A[f]*J[b,a,d,c,~k]*(19)*A[~f]*A[k]*A[~d]+H[k,c,f,b]*J[~d,~j,a,j,~k]*B[d,~f]*(-1)*(100)+A[b]*J[~h,j,h,~j,d]*F[c,a,~d]*A[~e]*A[e]+B[b,a]*F[~k,k,~d]*(37)*B[d,c]+A[~k]*A[f]*H[b,~e,e,k]*F[~f,c,a]+H[~d,a,~f,k]*B[f,d]*(9)*(-1)*B[b,~k]*A[c]+B[~d,a]*F[c,~k,f]*H[b,~f,k,d]+J[c,k,d,a,~k]*(65)*A[~d]*(-1)*A[b]+B[h,~h]*(86)*(-1)*A[~k]*J[d,c,a,b,k]*F[~d,~j,j]+A[~f]*A[d]*J[a,c,b,~d,f])+(A[b]*A[~i]*(65)*J[c,h,i,a,~h]+A[~g]*J[a,c,b,~i,g]*(-1)*A[i]+B[~i,a]*H[b,~g,h,i]*F[c,~h,g]*(-1)+A[h]*(-1)*J[b,a,i,c,~h]*A[~i]*A[g]*(19)*A[~g]+(-1)*(37)*B[i,c]*B[b,a]*F[~h,h,~i]+B[~h,~e]*J[g,c,e,k,~k]*(85)*H[~g,b,h,a]+(9)*A[c]*H[~i,a,~g,h]*B[g,i]*B[b,~h]+(96)*A[b]*H[~k,k,~d,d]*(-1)*J[a,~j,j,f,~f]*A[c]+H[h,c,g,b]*(100)*B[i,~g]*J[~i,~k,a,k,~h]+B[d,~d]*(86)*J[i,c,a,b,h]*F[~i,~k,k]*A[~h]+A[~h]*A[g]*H[b,~e,e,h]*(-1)*F[~g,c,a]+A[b]*F[c,a,~i]*J[~d,k,d,~k,i]*(-1)*A[e]*A[~e])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((A[f]*A[~f]*A[c]*H[a,b,~h,h]+B[e,c]*J[k,~i,~k,h,i]*F[~g,g,b]*J[~h,~l,a,~e,l]*(92)*(-1)+J[c,~m,b,~d,d]*(-1)*(47)*F[a,f,h]*F[~f,~h,m]+B[d,~f]*A[~e]*F[f,a,h]*H[e,~h,j,c]*J[i,b,~d,~j,~i]+(6)*J[b,j,f,~j,c]*A[~f]*A[~e]*(-1)*A[~d]*J[a,d,~i,e,i]+J[l,~l,~j,h,i]*B[a,e]*J[~h,~i,d,j,b]*H[c,~d,~k,k]*A[~e]+F[m,h,c]*J[~h,a,~d,b,~f]*B[~j,d]*A[f]*H[~i,i,j,~m]+J[~d,j,~j,d,~f]*B[~e,b]*A[e]*F[a,f,c]+F[~m,m,e]*(91)*B[c,b]*F[~d,~e,d]*A[a]+(96)*F[h,~m,e]*A[b]*F[~i,d,i]*H[a,~h,m,f]*H[~f,~d,~e,c]+F[b,~d,~h]*H[e,h,m,f]*H[c,~e,a,d]*B[~m,~f]+J[k,~f,~k,~e,a]*F[f,b,c]*A[e]*(72)*H[~i,i,~j,j])+(A[g]*J[~d,j,~j,d,~e]*F[a,e,c]*B[~g,b]*(-1)+H[g,~f,j,c]*F[e,a,f]*A[~g]*(-1)*J[i,b,~d,~j,~i]*B[d,~e]+B[a,g]*J[k,~k,~j,f,i]*H[c,~d,~l,l]*J[~f,~i,d,j,b]*A[~g]*(-1)+(-1)*H[~e,~d,~g,c]*(96)*F[f,~h,g]*F[~i,d,i]*A[b]*H[a,~f,h,e]+F[~e,~f,h]*F[a,e,f]*J[c,~h,b,~d,d]*(47)+J[a,d,~i,g,i]*A[~g]*(6)*J[b,j,e,~j,c]*A[~d]*A[~e]+H[~i,i,~j,j]*A[g]*(72)*(-1)*J[l,~e,~l,~g,a]*F[e,b,c]+(-1)*H[c,~g,a,d]*H[g,f,h,e]*F[b,~d,~f]*B[~h,~e]+A[~e]*H[a,b,~f,f]*A[c]*A[e]*(-1)+H[~i,i,j,~h]*A[e]*B[~j,d]*F[h,f,c]*(-1)*J[~f,a,~d,b,~e]+B[c,b]*A[a]*(91)*F[~h,h,g]*(-1)*F[~d,~g,d]+B[g,c]*J[~f,~k,a,~g,k]*(92)*J[l,~i,~l,f,i]*F[~m,m,b])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

tTensor:=(((69)*B[g,d]*B[b,j]*H[~d,~g,~i,c]*J[i,a,f,~j,~f]+(10)*A[c]*H[~d,~i,b,i]*B[d,a]+H[f,g,~j,~d]*A[b]*H[j,~g,~e,~f]*B[h,~h]*H[e,a,d,c]+H[~i,b,a,d]*F[g,~j,j]*B[~d,c]*B[~g,i]*(48)+F[b,~i,d]*B[~d,i]*F[a,~g,g]*(17)*A[c]+(17)*F[a,c,d]*A[~d]*(-1)*J[b,~j,g,j,~g]+H[~j,~e,c,d]*(75)*B[~g,~d]*F[~f,f,j]*A[e]*F[g,b,a]+(8)*B[b,e]*B[a,~i]*H[g,~e,~g,c]*A[i]+H[d,c,~e,i]*(-1)*A[b]*(86)*A[e]*B[~d,~i]*A[a]+A[i]*J[j,b,c,~j,~i]*J[~h,f,~f,h,a]*(100)+A[d]*J[b,e,~i,~g,a]*(7)*B[g,~e]*F[i,~d,c]+H[~j,~d,e,j]*F[a,d,~g]*H[c,~e,g,b]+F[g,~e,~i]*B[~g,d]*A[b]*J[c,~d,a,i,e]*(55))+((100)*J[~j,f,~f,j,a]*J[g,b,c,~g,~i]*A[i]*(-1)+B[d,a]*H[~d,~i,b,i]*(10)*A[c]*(-1)+A[b]*A[e]*H[d,c,~e,i]*A[a]*(86)*B[~d,~i]+F[a,c,d]*(17)*A[~d]*J[b,~g,h,g,~h]+B[b,g]*B[h,d]*H[~d,~h,~i,c]*(69)*J[i,a,f,~g,~f]*(-1)+B[h,~e]*A[d]*F[i,~d,c]*(7)*J[b,e,~i,~h,a]*(-1)+F[h,b,a]*(-1)*(75)*H[~g,~e,c,d]*B[~h,~d]*A[e]*F[~f,f,g]+(-1)*H[~g,~d,e,g]*H[c,~e,h,b]*F[a,d,~h]+J[c,~d,a,i,e]*(55)*B[~h,d]*A[b]*(-1)*F[h,~e,~i]+(-1)*H[e,a,d,c]*H[g,~h,~e,~f]*B[j,~j]*A[b]*H[f,h,~g,~d]+B[b,e]*(-1)*B[a,~i]*H[h,~e,~h,c]*(8)*A[i]+A[c]*F[b,~i,d]*F[a,~h,h]*B[~d,i]*(17)*(-1)+(-1)*H[~i,b,a,d]*B[~h,i]*B[~d,c]*(48)*F[h,~g,g])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

tTensor:=((J[e,b,~i,~e,g]*H[~f,d,~d,f]*H[i,~g,c,a]+F[~e,e,g]*A[~g]*H[~i,b,k,~h]*(68)*(-1)*B[i,h]*F[c,~k,a]+B[l,c]*A[~l]*H[g,a,k,i]*(67)*H[~i,b,~k,~g]+F[j,~l,~j]*J[d,c,a,~d,b]*J[~e,f,~f,e,l]+B[~h,h]*B[~g,~k]*A[l]*F[c,a,g]*F[b,k,~l]+A[~g]*A[g]*(-1)*B[b,c]*A[a]*(60)+B[~i,l]*F[k,g,i]*A[c]*H[~k,a,~g,b]*A[~l]+J[i,c,~g,l,~e]*H[e,a,~k,~l]*A[b]*A[g]*(84)*H[~i,~f,k,f]+A[~h]*H[i,l,~e,e]*A[g]*F[~g,~i,a]*H[c,b,h,~l]+B[~l,i]*J[b,~k,a,~i,k]*(-1)*A[c]*A[l]*(96)+A[c]*A[a]*J[~h,b,~g,~k,~l]*H[~e,e,g,h]*B[k,l]+J[~k,i,~g,~l,b]*A[k]*A[g]*H[~i,l,a,c]*(93)+J[~i,~h,g,a,~f]*B[k,c]*H[h,b,d,~d]*A[~e]*J[i,~g,e,~k,f]+B[i,c]*A[l]*F[a,~i,b]*F[~l,~k,k])+(A[a]*B[h,i]*(-1)*H[~j,j,g,d]*J[~d,b,~g,~h,~i]*A[c]+J[~e,~d,g,a,~f]*A[~j]*J[e,~g,j,~h,f]*(-1)*H[d,b,l,~l]*B[h,c]+(96)*B[~i,e]*A[c]*J[b,~h,a,~e,h]*A[i]+A[g]*(93)*(-1)*H[~e,i,a,c]*A[h]*J[~h,e,~g,~i,b]+F[~j,j,g]*A[~g]*H[~e,b,h,~d]*B[e,d]*(68)*F[c,~h,a]+B[~g,~h]*B[~d,d]*F[c,a,g]*A[i]*F[b,h,~i]*(-1)+A[~g]*A[g]*(60)*B[b,c]*A[a]+J[~j,f,~f,j,i]*J[l,c,a,~l,b]*F[k,~i,~k]*(-1)+A[c]*B[~e,i]*F[h,g,e]*H[~h,a,~g,b]*(-1)*A[~i]+H[~f,l,~l,f]*H[e,~g,c,a]*J[j,b,~e,~j,g]*(-1)+B[e,c]*(-1)*F[~i,~h,h]*A[i]*F[a,~e,b]+A[g]*H[j,a,~h,~i]*H[~e,~f,h,f]*(-1)*A[b]*(84)*J[e,c,~g,i,~j]+F[~g,~e,a]*(-1)*H[e,i,~j,j]*H[c,b,d,~i]*A[~d]*A[g]+A[~i]*H[g,a,h,e]*(67)*(-1)*B[i,c]*H[~e,b,~h,~g])):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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

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

tTensor:=((B[g,d]*F[~l,~g,~d]*B[a,l]*A[n]*J[~n,k,~k,c,b]+H[d,~d,l,~l]*B[b,a]*(-1)*(76)*A[c]+A[a]*J[m,d,~f,k,f]*H[b,~g,~n,~m]*H[~d,g,~k,c]*J[~h,~i,n,h,i]+A[c]*B[~g,n]*H[~d,a,b,g]*H[~e,~n,d,e]+(-1)*F[d,~l,n]*F[~n,l,b]*H[~g,~d,c,a]*A[g]*(33)+A[l]*(-1)*B[c,~l]*(22)*A[~g]*J[~d,b,g,a,d]+H[~l,~d,g,n]*J[b,~n,a,~g,l]*A[d]*(-1)*(42)*A[c]+F[n,~d,d]*A[a]*H[~n,~e,e,b]*A[c]+B[~g,c]*A[b]*(28)*A[a]*J[~e,d,~d,g,e]+J[c,e,~l,n,~g]*A[d]*F[g,b,~e]*H[~d,l,a,~n]+F[~k,k,c]*(19)*B[~d,d]*H[a,b,e,~e]+A[g]*B[b,n]*(63)*A[c]*A[~g]*(-1)*B[~n,a]+A[~n]*F[b,d,~k]*H[a,m,~l,~m]*J[k,i,~d,l,~i]*H[n,f,c,~f]*(20))+(B[~e,h]*H[~d,~h,n,d]*(-1)*H[~n,a,b,e]*A[c]+B[b,h]*(63)*A[c]*A[e]*B[~h,a]*A[~e]+A[g]*J[~n,b,e,a,n]*B[c,~g]*(22)*A[~e]+F[n,~g,h]*(33)*H[~e,~n,c,a]*A[e]*F[~h,g,b]+(76)*B[b,a]*A[c]*H[n,~n,g,~g]+H[a,b,d,~d]*B[~n,n]*(19)*(-1)*F[~l,l,c]+A[c]*(-1)*F[h,~n,n]*A[a]*H[~h,~d,d,b]+(-1)*B[~e,c]*A[a]*A[b]*J[~d,n,~n,e,d]*(28)+A[c]*A[n]*J[b,~h,a,~e,g]*H[~g,~n,e,h]*(42)+(-1)*H[b,~e,~h,~k]*J[k,n,~m,l,m]*H[~n,e,~l,c]*A[a]*J[~f,~i,h,f,i]+H[~n,g,a,~h]*(-1)*F[e,b,~d]*A[n]*J[c,d,~g,h,~e]+A[h]*B[e,n]*F[~g,~e,~n]*B[a,g]*J[~h,l,~l,c,b]*(-1)+(-1)*H[a,k,~g,~k]*A[~h]*J[l,i,~n,g,~i]*F[b,n,~l]*H[h,m,c,~m]*(20))):
ASSERT(Simplify(tTensor)=0, cat("Failed to simplify tensor ", convert(tTensor,string)));

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