john barth diamond riches formula sqlc