(3,8,9) (4,5,[aaa#100]) (1,4,7) (3,7,[bbb#200]) (2,5,8) (9,5,[ccc#1255])