john barth diamond riches formula sqlz