This is insane stuff. 13 is truly mesmerizing. Although I don’t think I’m sharp enough for the proofs. Even the divisibility by 2 proof looks hellish.