x2.mace4.out 0 1 2 012345 012435 012345 0 012345 1 103254 2 240513 3 351402 4 425031 5 534120