<< FreeLie.m;
<< AwCalculus.m;
$SeriesShowDegree=3;

(SuperPlus[R])[a_,b_] // (Subscript[ζ, t:(l|s)]) := (Subscript[E, t])[⟨a->LS[0], b->LS[LW@a]⟩, CWS[0]];
(SuperMinus[R])[a_,b_] // (Subscript[ζ, t:(l|s)]) := (Subscript[E, t])[⟨a->LS[0], b->-LS[LW@a]⟩, CWS[0]];
(Subscript[ζ, t:(l|s)])[K1_**K2_] := (Subscript[ζ, t])[K1]**(Subscript[ζ, t])[K2];
(Subscript[ζ, t:(l|s)])[K1_ K2_] := (Subscript[ζ, t])[K1](Subscript[ζ, t])[K2];

SeriesSolve[{
α=LS[{"1","2"}, αs], β=LS[{"1","2"}, βs],
γ=CWS[{"1","2"}, γs], κ=CWS[{"1"}, κs]
},
V=(Subscript[E, s])[⟨1->α, 2->β⟩, γ]; Cap=Es[⟨1->LS[0]⟩,κ];
(ℏ^(-1))((Subscript[ζ, s])[(SuperPlus[R])[2,3]**(SuperPlus[R])[1,3]]**V ≡ V**((Subscript[ζ, s])[(SuperPlus[R])[1,3]] // dΔ[1,1,2]))
&& V**(V//dA[1]//dA[2]) ≡ (Subscript[E, s])[⟨1->LS[0], 2->LS[0]⟩,CWS[0]]
&& (V**(Cap//dΔ[1,1,2])//dc[1]//dc[2]) ≡ (Cap(Cap//dσ[1,2])//dc[1]//dc[2])
]

κ@{11} // Timing

?Save

Save["V-11.m", {αs, βs, γs, κs}]

κ@{12} // Timing

Save["V-12.m", {αs, βs, γs, κs}]