// Cells and their vertices. #0={0} #1={1,4,8,14,21,30,42,44} #2={2,5,9,15,22,31,43,45} #3={3,6,7,12,18,27,39} #4={10,11,13,16,17,19,20,23,24,25,26,28,29,32,33,34,35,36,37,38,40,41,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,63,64,65,66,67,68,69,70,71,72,73,78,79,80,81,82,83,84,85,92,93,94,95,96,97,98,99,108,109,110,111,112,123,124,125,126,127,142,143} #5={61,76,90,106,121,138,152} #6={62,77,91,107,122,139,155} #7={74,86,88,100,102,104,113,115,117,119,128,130,132,134,136,140,141,144,146,148,150} #8={75,87,89,101,103,105,114,116,118,120,129,131,133,135,137,145,147,149,151,153,154} // Induced graph on cells. #0:. #1:->#0. #2:->#0. #3:->#0,#1,#2. #4:->#1,#2,#3. #5:->#1. #6:->#2. #7:->#4,#5. #8:->#4,#6. // Individual cells. // cell #0: 0[0]: {} // cell #1: 0[1]: {1} --> 1 1[4]: {2} --> 0,2 2[8]: {3} --> 1,3 3[14]: {4} --> 2,4 4[21]: {5} --> 3,5 5[30]: {6} --> 4,6,7 6[42]: {8} --> 5 7[44]: {7} --> 5 // cell #2: 0[2]: {1} --> 1 1[5]: {2} --> 0,2 2[9]: {3} --> 1,3 3[15]: {4} --> 2,4 4[22]: {5} --> 3,5 5[31]: {6} --> 4,6,7 6[43]: {8} --> 5 7[45]: {7} --> 5 // cell #3: 0[3]: {2} --> 1,2 1[6]: {3} --> 0,3 2[7]: {1} --> 0 3[12]: {4} --> 1,4 4[18]: {5} --> 3,5 5[27]: {6} --> 4,6 6[39]: {7,8} --> 5 // cell #4: 0[10]: {1,2} --> 3,6 1[11]: {1,2} --> 4,6 2[13]: {1,3} --> 5,6,19 3[16]: {1,3} --> 0,7,9 4[17]: {1,3} --> 1,8,10 5[19]: {1,4} --> 2,11,12 6[20]: {2} --> 2 7[23]: {1,4} --> 3,13,15 8[24]: {1,4} --> 4,14,16 9[25]: {2,3} --> 3,6,15,19 10[26]: {2,3} --> 4,6,16,19 11[28]: {1,5} --> 5,17,18 12[29]: {2,4} --> 5,6,18,19,38 13[32]: {1,5} --> 7,20,22 14[33]: {1,5} --> 8,21,23 15[34]: {2,4} --> 7,9,22,24 16[35]: {2,4} --> 8,10,23,25 17[36]: {1,6} --> 11,26,28 18[37]: {2,5} --> 11,12,26,27 19[38]: {3} --> 12 20[40]: {1,6} --> 13,29,31,33 21[41]: {1,6} --> 14,30,32,34 22[46]: {2,5} --> 13,15,29,35 23[47]: {2,5} --> 14,16,30,36 24[48]: {3,4} --> 15,19,35,38 25[49]: {3,4} --> 16,19,36,38 26[50]: {2,6} --> 17,18,37,39 27[51]: {3,5} --> 18,19,37,38,56 28[52]: {1,7,8} --> 17,31,32,33,34,39 29[53]: {2,6} --> 20,22,40,42,44 30[54]: {2,6} --> 21,23,41,43,45 31[55]: {1,8} --> 20,42 32[56]: {1,8} --> 21,43 33[57]: {1,7} --> 20,44 34[58]: {1,7} --> 21,45 35[59]: {3,5} --> 22,24,40,46 36[60]: {3,5} --> 23,25,41,47 37[63]: {3,6} --> 26,27,48,49 38[64]: {4} --> 27 39[65]: {2,7,8} --> 26,28,42,43,44,45,49 40[66]: {3,6} --> 29,35,50,52,54 41[67]: {3,6} --> 30,36,51,53,55 42[68]: {2,8} --> 29,31,52 43[69]: {2,8} --> 30,32,53 44[70]: {2,7} --> 29,33,54 45[71]: {2,7} --> 30,34,55 46[72]: {4,5} --> 35,38,50,56 47[73]: {4,5} --> 36,38,51,56 48[78]: {4,6} --> 37,38,56,57,69 49[79]: {3,7,8} --> 37,39,52,53,54,55,57 50[80]: {4,6} --> 40,46,58,60,62 51[81]: {4,6} --> 41,47,59,61,63 52[82]: {3,8} --> 40,42,60 53[83]: {3,8} --> 41,43,61 54[84]: {3,7} --> 40,44,62 55[85]: {3,7} --> 41,45,63 56[92]: {5} --> 48 57[93]: {4,7,8} --> 48,49,60,61,62,63,64 58[94]: {5,6} --> 50,56,65,67,69 59[95]: {5,6} --> 51,56,66,68,69 60[96]: {4,8} --> 50,52,65 61[97]: {4,8} --> 51,53,66 62[98]: {4,7} --> 50,54,67 63[99]: {4,7} --> 51,55,68 64[108]: {5,7,8} --> 56,57,65,66,67,68,69,74,75 65[109]: {5,8} --> 58,60,70 66[110]: {5,8} --> 59,61,71 67[111]: {5,7} --> 58,62,72 68[112]: {5,7} --> 59,63,73 69[123]: {6} --> 64 70[124]: {6,8} --> 65,69,74 71[125]: {6,8} --> 66,69,75 72[126]: {6,7} --> 67,69,75 73[127]: {6,7} --> 68,69,74 74[142]: {7,8} --> 70,73 75[143]: {7,8} --> 71,72 // cell #5: 0[61]: {7,8} --> 1 1[76]: {6} --> 0,2 2[90]: {5} --> 1,3 3[106]: {4} --> 2,4 4[121]: {3} --> 3,5 5[138]: {2} --> 4,6 6[152]: {1} --> 5 // cell #6: 0[62]: {7,8} --> 1 1[77]: {6} --> 0,2 2[91]: {5} --> 1,3 3[107]: {4} --> 2,4 4[122]: {3} --> 3,5 5[139]: {2} --> 4,6 6[155]: {1} --> 5 // cell #7: 0[74]: {1,7,8} --> 1,2 1[86]: {2,7,8} --> 0,3,4 2[88]: {1,6} --> 0,4,5 3[100]: {3,7,8} --> 1,6,7 4[102]: {2,6} --> 1,2,7,8 5[104]: {1,5} --> 2,8,9 6[113]: {4,7,8} --> 3,10,11 7[115]: {3,6} --> 3,4,11,12 8[117]: {2,5} --> 4,5,12,13 9[119]: {1,4} --> 5,13,14 10[128]: {5,7,8} --> 6,15,16 11[130]: {4,6} --> 6,7,16,17 12[132]: {3,5} --> 7,8,17,18 13[134]: {2,4} --> 8,9,18,19 14[136]: {1,3} --> 9,19,20 15[140]: {6,7,8} --> 10 16[141]: {5,6} --> 10,11 17[144]: {4,5} --> 11,12 18[146]: {3,4} --> 12,13 19[148]: {2,3} --> 13,14 20[150]: {1,2} --> 14 // cell #8: 0[75]: {1,7,8} --> 1,2 1[87]: {2,7,8} --> 0,3,4 2[89]: {1,6} --> 0,4,5 3[101]: {3,7,8} --> 1,6,7 4[103]: {2,6} --> 1,2,7,8 5[105]: {1,5} --> 2,8,9 6[114]: {4,7,8} --> 3,10,11 7[116]: {3,6} --> 3,4,11,12 8[118]: {2,5} --> 4,5,12,13 9[120]: {1,4} --> 5,13,14 10[129]: {5,7,8} --> 6,15,16 11[131]: {4,6} --> 6,7,16,17 12[133]: {3,5} --> 7,8,17,18 13[135]: {2,4} --> 8,9,18,19 14[137]: {1,3} --> 9,19,20 15[145]: {6,7,8} --> 10 16[147]: {5,6} --> 10,11 17[149]: {4,5} --> 11,12 18[151]: {3,4} --> 12,13 19[153]: {2,3} --> 13,14 20[154]: {1,2} --> 14