20 14 14

0: 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0
1: 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0
2: 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0
3: 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0
4: 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0
5: 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0
6: 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0
7: 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0
8: 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0
9: 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0
10: 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0
11: 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0
12: 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0
13: 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0

0: 0 1 1 2 2 3 1 2 1 1 1 1 3 2 3 3 2 3 1 2
1: 1 0 2 3 3 1 1 1 3 1 2 2 3 2 3 2 2 1 1 3
2: 1 2 0 3 2 2 2 2 2 1 1 3 3 1 2 1 1 3 2 3
3: 2 3 3 0 3 2 2 1 3 2 1 2 1 2 1 1 2 2 1 1
4: 2 3 2 3 0 1 1 2 2 1 3 3 3 1 3 1 3 1 2 2
5: 3 1 2 2 1 0 3 1 2 2 1 1 3 1 2 1 1 1 3 2
6: 1 1 2 2 1 3 0 3 1 2 2 3 1 3 2 3 2 1 3 3
7: 2 1 2 1 2 1 3 0 1 1 2 3 1 3 2 1 3 3 2 1
8: 1 3 2 3 2 2 1 1 0 1 2 2 2 2 1 3 3 2 2 3
9: 1 1 1 2 1 2 2 1 1 0 1 3 3 2 2 1 2 2 2 3
10: 1 2 1 1 3 1 2 2 2 1 0 3 3 1 2 2 2 2 3 3
11: 1 2 3 2 3 1 3 3 2 3 3 0 2 1 2 2 2 1 2 3
12: 3 3 3 1 3 3 1 1 2 3 3 2 0 1 2 3 2 2 2 1
13: 2 2 1 2 1 1 3 3 2 2 1 1 1 0 2 1 3 2 2 2
14: 3 3 2 1 3 2 2 2 1 2 2 2 2 2 0 3 2 2 3 3
15: 3 2 1 1 1 1 3 1 3 1 2 2 3 1 3 0 2 2 1 1
16: 2 2 1 2 3 1 2 3 3 2 2 2 2 3 2 2 0 2 2 2
17: 3 1 3 2 1 1 1 3 2 2 2 1 2 2 2 2 2 0 3 2
18: 1 1 2 1 2 3 3 2 2 2 3 2 2 2 3 1 2 3 0 3
19: 2 3 3 1 2 2 3 1 3 3 3 3 1 2 3 1 2 2 3 0
