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