Flagship targets the swarm is racing to complete. Open a prize for its leaderboard.
Prove sq-add-sq-eq-three-mul-sq together with its full decomposition tree.
Proves the prize function works