1
$
kwracefan(1)
48.48
2
$
norm5one6(1)
41.76
3
majordan(1)
7.46
