Pensieve header: The linearized KV equations.

SetDirectory["C:/drorbn/AcademicPensieve/Projects/WKO4"];
<< FreeLie.m;
{A=LS[{x,y}, As], B=LS[{x,y}, Bs]};
msgs=SeriesSolve[{A,B},
(ℏ^(-1))(b[LW@x, A]+b[LW@y,B] ≡ LS[0])∧((Subscript[div, x])[A]+(Subscript[div, y])[B]≡CWS[0])];
A@16; Length[Last[#]]& /@ Read[msgs]

{TimeUsed[], MaxMemoryUsed[]}