-1=>{{0,1,2,6},{0,1,2,7},{0,1,3,4},{0,1,3,6},{0,1,4,7},{0,2,3,5},{0,2,3,7},{0,2,5,6},{0,3,4,7},{0,3,5,6},{1,2,4,5},{1,2,4,6},{1,2,5,7},{1,3,4,6},{1,4,5,7},{2,3,5,7},{2,4,5,6},{3,4,5,6},{3,4,5,7}}
0=>{{0,1,3,8},{0,1,3,14},{0,1,5,13},{0,1,5,14},{0,1,8,13},{0,2,3,11},{0,2,3,14},{0,2,6,9},{0,2,6,11},{0,2,9,14},{0,3,8,11},{0,4,5,12},{0,4,5,13},{0,4,7,10},{0,4,7,12},{0,4,10,13},{0,5,12,14},{0,6,7,9},{0,6,7,10},{0,6,10,11},{0,7,9,12},{0,8,10,11},{0,8,10,13},{0,9,12,14},{1,2,4,9},{1,2,4,10},{1,2,6,9},{1,2,6,12},{1,2,10,12},{1,3,8,12},{1,3,10,12},{1,3,10,14},{1,4,7,10},{1,4,7,11},{1,4,9,11},{1,5,9,11},{1,5,9,13},{1,5,11,14},{1,6,8,12},{1,6,8,13},{1,6,9,13},{1,7,10,14},{1,7,11,14},{2,3,4,13},{2,3,4,14},{2,3,11,13},{2,4,9,14},{2,4,10,13},{2,6,11,12},{2,10,12,13},{2,11,12,13},{3,4,5,6},{3,4,5,13},{3,4,6,14},{3,5,6,10},{3,5,9,10},{3,5,9,13},{3,6,10,14},{3,7,8,11},{3,7,8,12},{3,7,9,12},{3,7,9,13},{3,7,11,13},{3,9,10,12},{4,5,6,12},{4,6,8,12},{4,6,8,14},{4,7,8,11},{4,7,8,12},{4,8,9,11},{4,8,9,14},{5,6,10,11},{5,6,11,12},{5,9,10,11},{5,11,12,14},{6,7,9,13},{6,7,10,14},{6,7,13,14},{6,8,13,14},{7,11,13,14},{8,9,10,11},{8,9,10,15},{8,9,14,15},{8,10,13,15},{8,13,14,15},{9,10,12,15},{9,12,14,15},{10,12,13,15},{11,12,13,14},{12,13,14,15}}
1=>{{0,1,2,11,14,16},{0,1,2,11,14,17},{0,1,2,11,15,16},{0,1,2,11,15,17},{0,1,2,12,14,16},{0,1,2,12,14,17},{0,1,2,12,15,16},{0,1,2,12,15,17},{0,1,9,11,14,16},{0,1,9,11,14,17},{0,1,9,11,15,16},{0,1,9,11,15,17},{0,1,9,14,15,16},{0,1,9,14,15,17},{0,1,12,14,15,16},{0,1,12,14,15,17},{0,2,7,12,14,16},{0,2,7,12,14,17},{0,2,7,12,15,16},{0,2,7,12,15,17},{0,2,7,14,16,17},{0,2,7,15,16,17},{0,2,8,11,14,16},{0,2,8,11,14,17},{0,2,8,11,15,16},{0,2,8,11,15,17},{0,2,8,14,16,17},{0,2,8,15,16,17},{0,4,7,14,15,16},{0,4,7,14,15,17},{0,4,7,14,16,17},{0,4,7,15,16,17},{0,4,9,10,14,16},{0,4,9,10,14,17},{0,4,9,10,15,16},{0,4,9,10,15,17},{0,4,9,14,15,16},{0,4,9,14,15,17},{0,4,10,14,16,17},{0,4,10,15,16,17},{0,7,12,14,15,16},{0,7,12,14,15,17},{0,8,10,11,14,16},{0,8,10,11,14,17},{0,8,10,11,15,16},{0,8,10,11,15,17},{0,8,10,14,16,17},{0,8,10,15,16,17},{0,9,10,11,14,16},{0,9,10,11,14,17},{0,9,10,11,15,16},{0,9,10,11,15,17},{1,2,3,4,14,16},{1,2,3,4,14,17},{1,2,3,4,15,16},{1,2,3,4,15,17},{1,2,3,11,14,16},{1,2,3,11,14,17},{1,2,3,11,15,16},{1,2,3,11,15,17},{1,2,4,12,14,16},{1,2,4,12,14,17},{1,2,4,12,15,16},{1,2,4,12,15,17},{1,3,4,8,14,16},{1,3,4,8,14,17},{1,3,4,8,15,16},{1,3,4,8,15,17},{1,3,7,8,14,16},{1,3,7,8,14,17},{1,3,7,8,15,16},{1,3,7,8,15,17},{1,3,7,11,14,16},{1,3,7,11,14,17},{1,3,7,11,15,16},{1,3,7,11,15,17},{1,4,8,12,14,16},{1,4,8,12,14,17},{1,4,8,12,15,16},{1,4,8,12,15,17},{1,5,6,9,14,16},{1,5,6,9,14,17},{1,5,6,9,15,16},{1,5,6,9,15,17},{1,5,6,10,14,16},{1,5,6,10,14,17},{1,5,6,10,15,16},{1,5,6,10,15,17},{1,5,7,10,14,16},{1,5,7,10,14,17},{1,5,7,10,15,16},{1,5,7,10,15,17},{1,5,7,11,14,16},{1,5,7,11,14,17},{1,5,7,11,15,16},{1,5,7,11,15,17},{1,5,9,11,14,16},{1,5,9,11,14,17},{1,5,9,11,15,16},{1,5,9,11,15,17},{1,6,9,14,15,16},{1,6,9,14,15,17},{1,6,10,14,16,17},{1,6,10,15,16,17},{1,6,14,15,16,17},{1,7,8,10,14,16},{1,7,8,10,14,17},{1,7,8,10,15,16},{1,7,8,10,15,17},{1,8,10,14,16,17},{1,8,10,15,16,17},{1,8,12,14,16,17},{1,8,12,15,16,17},{1,12,14,15,16,17},{2,3,4,10,14,16},{2,3,4,10,14,17},{2,3,4,10,15,16},{2,3,4,10,15,17},{2,3,10,14,15,16},{2,3,10,14,15,17},{2,3,11,14,15,16},{2,3,11,14,15,17},{2,4,6,10,14,16},{2,4,6,10,14,17},{2,4,6,10,15,16},{2,4,6,10,15,17},{2,4,6,12,14,16},{2,4,6,12,14,17},{2,4,6,12,15,16},{2,4,6,12,15,17},{2,5,6,9,14,16},{2,5,6,9,14,17},{2,5,6,9,15,16},{2,5,6,9,15,17},{2,5,6,10,14,16},{2,5,6,10,14,17},{2,5,6,10,15,16},{2,5,6,10,15,17},{2,5,8,14,15,16},{2,5,8,14,15,17},{2,5,8,14,16,17},{2,5,8,15,16,17},{2,5,9,14,16,17},{2,5,9,15,16,17},{2,5,10,14,15,16},{2,5,10,14,15,17},{2,6,7,9,14,16},{2,6,7,9,14,17},{2,6,7,9,15,16},{2,6,7,9,15,17},{2,6,7,12,14,16},{2,6,7,12,14,17},{2,6,7,12,15,16},{2,6,7,12,15,17},{2,7,9,14,16,17},{2,7,9,15,16,17},{2,8,11,14,15,16},{2,8,11,14,15,17},{3,4,8,9,14,16},{3,4,8,9,14,17},{3,4,8,9,15,16},{3,4,8,9,15,17},{3,4,9,10,14,16},{3,4,9,10,14,17},{3,4,9,10,15,16},{3,4,9,10,15,17},{3,7,8,9,14,16},{3,7,8,9,14,17},{3,7,8,9,15,16},{3,7,8,9,15,17},{3,7,9,14,16,17},{3,7,9,15,16,17},{3,7,11,14,16,17},{3,7,11,15,16,17},{3,9,10,12,14,16},{3,9,10,12,14,17},{3,9,10,12,15,16},{3,9,10,12,15,17},{3,9,12,14,16,17},{3,9,12,15,16,17},{3,10,12,14,15,16},{3,10,12,14,15,17},{3,11,14,15,16,17},{3,12,14,15,16,17},{4,5,7,11,14,16},{4,5,7,11,14,17},{4,5,7,11,15,16},{4,5,7,11,15,17},{4,5,7,14,15,16},{4,5,7,14,15,17},{4,5,8,12,14,16},{4,5,8,12,14,17},{4,5,8,12,15,16},{4,5,8,12,15,17},{4,5,8,14,15,16},{4,5,8,14,15,17},{4,5,11,12,14,16},{4,5,11,12,14,17},{4,5,11,12,15,16},{4,5,11,12,15,17},{4,6,10,14,16,17},{4,6,10,15,16,17},{4,6,11,12,14,16},{4,6,11,12,14,17},{4,6,11,12,15,16},{4,6,11,12,15,17},{4,6,11,14,16,17},{4,6,11,15,16,17},{4,7,11,14,16,17},{4,7,11,15,16,17},{4,8,9,14,15,16},{4,8,9,14,15,17},{5,7,10,14,15,16},{5,7,10,14,15,17},{5,8,12,14,16,17},{5,8,12,15,16,17},{5,9,11,12,14,16},{5,9,11,12,14,17},{5,9,11,12,15,16},{5,9,11,12,15,17},{5,9,12,14,16,17},{5,9,12,15,16,17},{6,7,8,9,14,16},{6,7,8,9,14,17},{6,7,8,9,15,16},{6,7,8,9,15,17},{6,7,8,13,14,16},{6,7,8,13,14,17},{6,7,8,13,15,16},{6,7,8,13,15,17},{6,7,12,13,14,16},{6,7,12,13,14,17},{6,7,12,13,15,16},{6,7,12,13,15,17},{6,8,9,14,15,16},{6,8,9,14,15,17},{6,8,11,13,14,16},{6,8,11,13,14,17},{6,8,11,13,15,16},{6,8,11,13,15,17},{6,8,11,14,15,16},{6,8,11,14,15,17},{6,11,12,13,14,16},{6,11,12,13,14,17},{6,11,12,13,15,16},{6,11,12,13,15,17},{6,11,14,15,16,17},{7,8,10,13,14,16},{7,8,10,13,14,17},{7,8,10,13,15,16},{7,8,10,13,15,17},{7,10,12,13,14,16},{7,10,12,13,14,17},{7,10,12,13,15,16},{7,10,12,13,15,17},{7,10,12,14,15,16},{7,10,12,14,15,17},{8,10,11,13,14,16},{8,10,11,13,14,17},{8,10,11,13,15,16},{8,10,11,13,15,17},{9,10,11,12,14,16},{9,10,11,12,14,17},{9,10,11,12,15,16},{9,10,11,12,15,17},{10,11,12,13,14,16},{10,11,12,13,14,17},{10,11,12,13,15,16},{10,11,12,13,15,17}}
5=>{{0,2,6,12},{0,2,8,12},{0,4,6,10},{0,4,8,10},{0,6,10,12},{0,8,12,10},{1,3,7,13},{1,3,9,13},{1,5,7,11},{1,5,9,11},{1,7,11,13},{1,9,13,11},{2,3,6,10},{2,3,6,11},{2,6,11,12},{2,6,13,10},{2,8,11,12},{2,9,13,10},{3,4,7,11},{3,4,7,12},{3,6,10,11},{3,7,10,11},{3,7,12,13},{3,9,12,13},{4,5,8,12},{4,5,8,13},{4,6,13,10},{4,7,11,12},{4,8,11,12},{4,8,13,10},{5,2,9,10},{5,2,9,13},{5,7,10,11},{5,8,12,13},{5,9,10,11},{5,9,12,13},{6,10,11,12},{7,11,12,13},{8,12,13,10},{9,13,10,11},{10,11,12,13}}
6=>{{0,1,2,6},{0,1,3,7},{0,1,6,7},{0,2,4,6},{0,3,7,9},{0,4,5,12},{0,4,6,12},{0,5,10,12},{0,6,7,9},{0,6,10,12},{1,2,6,8},{1,3,5,7},{1,4,5,13},{1,4,11,13},{1,5,7,13},{1,6,7,8},{1,7,11,13},{2,4,6,8},{3,5,7,9},{4,5,12,13},{4,6,8,12},{4,11,12,13},{5,7,9,13},{5,10,12,13},{6,7,8,12},{6,7,9,13},{6,7,12,13},{6,10,12,13},{7,11,12,13}}
7=>{{0,1,2,3},{0,1,3,8},{0,1,4,5},{0,3,7,8},{0,4,5,8},{0,5,1,8},{0,7,4,8},{1,0,4,9},{1,2,0,9},{1,2,5,6},{1,4,5,9},{1,5,6,9},{1,6,2,9},{2,1,3,7},{2,1,5,7},{2,3,6,7},{2,5,6,7},{3,0,2,6},{3,0,4,6},{3,0,7,4},{3,4,6,7}}
12=>{{0,1,3},{0,1,6},{0,1,7},{0,2,3},{0,2,4},{0,2,5},{0,4,5},{0,6,7},{1,2,4},{1,2,6},{1,2,7},{1,3,4},{2,3,7},{2,5,6},{3,4,5},{3,5,7},{5,6,7}}
13=>{{0,1,2},{0,1,4},{0,1,5},{0,2,3},{0,2,5},{0,3,4},{1,2,3},{1,2,4},{1,3,5},{2,4,5},{3,4,5}}