// Cells and their vertices. #0={0,1,3,4,5,6,7,8,11,12,13,14,15,16,17,20,21,22,23,24,25,28,29,30,31,32,35,36,37,38,41,42,43,46,47,50} #1={2,10,19,27,34,40,45,49,52} #2={9,18,26,33,39,44,48,51,53} #3={54} // Induced graph on cells. #0:. #1:->#0. #2:->#0. #3:->#1,#2. // Individual cells. // cell #0: 0[0]: {1,2,3,4,5,6,7} --> 8 1[1]: {1,2,3,4,5,6,9} --> 8,9 2[3]: {1,2,3,4,5,8,9} --> 9,10 3[4]: {1,2,3,4,7,8,9} --> 10,11 4[5]: {1,2,3,6,7,8,9} --> 11,12 5[6]: {1,2,5,6,7,8,9} --> 12,13 6[7]: {1,4,5,6,7,8,9} --> 13,14 7[8]: {3,4,5,6,7,8,9} --> 14 8[11]: {1,2,3,4,5,6,8} --> 0,1,15 9[12]: {1,2,3,4,5,7,9} --> 1,2,15,16 10[13]: {1,2,3,4,6,8,9} --> 2,3,16,17 11[14]: {1,2,3,5,7,8,9} --> 3,4,17,18 12[15]: {1,2,4,6,7,8,9} --> 4,5,18,19 13[16]: {1,3,5,6,7,8,9} --> 5,6,19,20 14[17]: {2,4,5,6,7,8,9} --> 6,7,20 15[20]: {1,2,3,4,5,7,8} --> 8,9,21 16[21]: {1,2,3,4,6,7,9} --> 9,10,21,22 17[22]: {1,2,3,5,6,8,9} --> 10,11,22,23 18[23]: {1,2,4,5,7,8,9} --> 11,12,23,24 19[24]: {1,3,4,6,7,8,9} --> 12,13,24,25 20[25]: {2,3,5,6,7,8,9} --> 13,14,25 21[28]: {1,2,3,4,6,7,8} --> 15,16,26 22[29]: {1,2,3,5,6,7,9} --> 16,17,26,27 23[30]: {1,2,4,5,6,8,9} --> 17,18,27,28 24[31]: {1,3,4,5,7,8,9} --> 18,19,28,29 25[32]: {2,3,4,6,7,8,9} --> 19,20,29 26[35]: {1,2,3,5,6,7,8} --> 21,22,30 27[36]: {1,2,4,5,6,7,9} --> 22,23,30,31 28[37]: {1,3,4,5,6,8,9} --> 23,24,31,32 29[38]: {2,3,4,5,7,8,9} --> 24,25,32 30[41]: {1,2,4,5,6,7,8} --> 26,27,33 31[42]: {1,3,4,5,6,7,9} --> 27,28,33,34 32[43]: {2,3,4,5,6,8,9} --> 28,29,34 33[46]: {1,3,4,5,6,7,8} --> 30,31,35 34[47]: {2,3,4,5,6,7,9} --> 31,32,35 35[50]: {2,3,4,5,6,7,8} --> 33,34 // cell #1: 0[2]: {1,2,3,4,5,6,7,8} --> 1 1[10]: {1,2,3,4,5,6,7,9} --> 0,2 2[19]: {1,2,3,4,5,6,8,9} --> 1,3 3[27]: {1,2,3,4,5,7,8,9} --> 2,4 4[34]: {1,2,3,4,6,7,8,9} --> 3,5 5[40]: {1,2,3,5,6,7,8,9} --> 4,6 6[45]: {1,2,4,5,6,7,8,9} --> 5,7 7[49]: {1,3,4,5,6,7,8,9} --> 6,8 8[52]: {2,3,4,5,6,7,8,9} --> 7 // cell #2: 0[9]: {2,3,4,5,6,7,8,9} --> 1 1[18]: {1,3,4,5,6,7,8,9} --> 0,2 2[26]: {1,2,4,5,6,7,8,9} --> 1,3 3[33]: {1,2,3,5,6,7,8,9} --> 2,4 4[39]: {1,2,3,4,6,7,8,9} --> 3,5 5[44]: {1,2,3,4,5,7,8,9} --> 4,6 6[48]: {1,2,3,4,5,6,8,9} --> 5,7 7[51]: {1,2,3,4,5,6,7,9} --> 6,8 8[53]: {1,2,3,4,5,6,7,8} --> 7 // cell #3: 0[54]: {1,2,3,4,5,6,7,8,9}