[debug] 4:S4 · 430172 pt 4:S4 ??? pt
x₁ =
x₂ =
x₃ =
x₄ =