https://123deta.com/document/zkwp62o1-surgery-formula-loop-piece-lmo-invariant-pair.html