// \{ 0 : 10 1 : 11 2 : 12 3 : 13 4 : 14 // \} // \{ 0 : (0,1) 1 : (0,1) (1,2) (1,3) 2 : (1,2) (2,4) 3 : (1,3) (3,4) 4 : (3,4) (2,4) // \} // \{ (0,1) : (1,2) (1,3) (1,2) : (0,1) (1,3) (2,4) (1,3) : (0,1) (1,2) (3,4) (3,4) : (1,3) (2,4) (2,4) : (1,2) (3,4) // \} // \{ 0 : 1 1 : 0 2 3 2 : 1 4 3 : 1 4 4 : 3 2 // \}