1
$
majordan(1)
8.66
2
$
tucker1943(1)
6.18
2
$
tucker1943(2)
6.18
