20 9 12

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

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