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