20 9 12

0: 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1
1: 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1
2: 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0
3: 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1
4: 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0
5: 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0
6: 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0
7: 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0
8: 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0

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