Comparing records for hard17

Dinius's record   •   hard17 average   •   asda's record (#1)