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