// Cells and their vertices. #0={0,1,2,3,4,5,6,7} #1={8} // Induced graph on cells. #0:. #1:->#0. // Individual cells. // cell #0: 0[0]: {1,2,3,4,5,6} --> 2 1[1]: {1,2,3,4,5,6} --> 2 2[2]: {1,2,3,4,5,7} --> 0,1,3 3[3]: {1,2,3,4,6,7} --> 2,4 4[4]: {1,2,3,5,6,7} --> 3,5 5[5]: {1,2,4,5,6,7} --> 4,6 6[6]: {1,3,4,5,6,7} --> 5,7 7[7]: {2,3,4,5,6,7} --> 6 // cell #1: 0[8]: {1,2,3,4,5,6,7}