Pensieve header: Some broken doubles.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects/SL2Invariant"];
<< SL2Invariant.m
$k=1;

The original double:

(𝔼[(Subscript[β, i])(Subscript[b, i]) + (Subscript[α, j])(Subscript[a, j]),(Subscript[η, i])(Subscript[y, i])+(Subscript[ξ, j])(Subscript[x, j]),1]((Subscript[aΔ, i->1,2])~(Subscript[B, 2])~(Subscript[aΔ, 2->2,3])~(Subscript[B, 3])~(Subscript[(OverBar[aS]), 3]))((Subscript[bΔ, j->-1,-2])~(Subscript[B, -2])~(Subscript[bΔ, -2->-2,-3])))~(Subscript[B, -3,-2,-1,1,2,3,i,j])~((Subscript[P, -1,3])(Subscript[P, -3,1])(Subscript[am, 2,j->k])(Subscript[bm, i,-2->k]))

(𝔼[(Subscript[β, i])(Subscript[b, i]) + (Subscript[α, j])(Subscript[a, j]),(Subscript[η, i])(Subscript[y, i])+(Subscript[ξ, j])(Subscript[x, j]),1]((Subscript[aΔ, i->1,2])~(Subscript[B, 2])~(Subscript[aΔ, 2->3,2])~(Subscript[B, 3])~(Subscript[(OverBar[aS]), 3]))((Subscript[bΔ, j->-1,-2])~(Subscript[B, -2])~(Subscript[bΔ, -2->-2,-3])))~(Subscript[B, -3,-2,-1,1,2,3,i,j])~((Subscript[P, -1,3])(Subscript[P, -3,1])(Subscript[am, 2,j->k])(Subscript[bm, i,-2->k]))