no category t x x (1) y x (2) y (1) x (3) y (2) x (4) y (3)

x

t

2 t x

x (1)

y

4 t x

x (2)

y (1)

8 t x

x (3)

y (2)

16 t x

x (4)

y (3)

x (1) y x (3) y (2) x (2) y (1) x (4) y (3)