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