Solution (source code)

= Solution

The conclusion is <Arnold-Liouville theorem>: a compact connected regular common level is a three-torus, and nearby action-angle coordinates make the flow linear in the angles.