john barth diamond riches formula gpdo