Pensieve header: The linearized tree-level KV equations.

SetDirectory["C:/drorbn/AcademicPensieve/Projects/WKO4"];
<< FreeLie.m;
{A1=LS[{x,y}, A1s], B1=LS[{x,y}, B1s]};
msgs1=SeriesSolve[{A1,B1},
(ℏ^(-1))(b[LW@x, A1]+b[LW@y,B1] ≡ LS[0])];
Do[A1[k]; Print[{k, msgs1//Read//Last//Last//Length, TimeUsed[], MaxMemoryUsed[]}], {k, 12}]
A1@12; Length[Last[#]]& /@ Read[msgs1]