This was a real research paper. The result would have been extremely interesting to any mathematician tempted to work on the conjecture. You can check it by tap

This was a real research paper. The result would have been extremely interesting to any mathematician tempted to work on the conjecture. You can check it by tapping those numbers into a calculator—the search itself need never be performed again.