1
$
norm5one6(1)
45.20
2
$
exactaron(1)
38.20
3
postturtle(1)
15.00
