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