Comparing records for hard1(v2)

ale's record (#1)   •   hard1(v2) average