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