prove
SuccinctproveRank #345
$0.9187