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