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