@古者 貌似把我给超了
把BMS给copy过来凑个枚举记号吧
完全照着BMS抄的
p1({p2})=p1(p2(p3(…pω…)))（右边是PSS-hydra）
p1({p2}+p1)=p1({p2})*ω
p1({p2}+p2)=a→(p1({p2}+a))
p1({p2}+{p2})=p1({p2}+p2({p3}+p3({p4}+p4(…))))
p1({p2}(p1))=p1({p2}*ω)
p1({p2}(p2))=a→(p1({p2}*a))
p1({p2}({p2}))=p1({p2}(p2({p3}(p3({p4}(…))))))
.
p1({p2}({p2}({p2})))
=p1({p2}({p2}(p2({p3}({p3}(p3({p4}({p4}(…)))))))))
.
p1({p2}(p3))=(p1({p2}({p2}({p2}(…)))))
p1({p2}({p3}))=p1({p2}(p3({p4}(p5({p6}(…))))))
p1({p2}({p3}({p4}(…))))=p1({p2({p3})})
先到这里，硬缝BMS可能看着有点怪，枚举的也有点粗略，哪里不够详细我再补充