prove
SuccinctproveRank #337
$0.9608