prove
SuccinctproveRank #342
$0.921