[math-fun] 7-11 curve