// Cells and their vertices. #0={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14} #1={15} #2={16} // Induced graph on cells. #0:. #1:->#0. #2:->#0. // Individual cells. // cell #0: 0[0]: {1,2,3,4,5,6,7} --> 1,2 1[1]: {1,2,3,4,5,6,8} --> 0,3 2[2]: {1,2,3,4,5,6,8} --> 0,4 3[3]: {1,2,3,4,5,7,8} --> 1,5 4[4]: {1,2,3,4,5,7,8} --> 2,6 5[5]: {1,2,3,4,6,7,8} --> 3,7 6[6]: {1,2,3,4,6,7,8} --> 4,8 7[7]: {1,2,3,5,6,7,8} --> 5,9 8[8]: {1,2,3,5,6,7,8} --> 6,10 9[9]: {1,2,4,5,6,7,8} --> 7,11 10[10]: {1,2,4,5,6,7,8} --> 8,12 11[11]: {1,3,4,5,6,7,8} --> 9,13 12[12]: {1,3,4,5,6,7,8} --> 10,14 13[13]: {2,3,4,5,6,7,8} --> 11 14[14]: {2,3,4,5,6,7,8} --> 12 // cell #1: 0[15]: {1,2,3,4,5,6,7,8} // cell #2: 0[16]: {1,2,3,4,5,6,7,8}