At first point of difference, {1,2,4} < {1,3,5} because 2 < 3 at position 1. Canonical pins: locant-sums 7 and 9 (exact integers); tiebreak winner flag (integer 1 = {1,2,4} wins).
At first point of difference, {1,2,4} < {1,3,5} because 2 < 3 at position 1. Canonical pins: locant-sums 7 and 9 (exact integers); tiebreak winner flag (integer 1 = {1,2,4} wins).