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