prove
SuccinctproveRank #342
$0.9213