john barth diamond riches formula code