C4graphGraphs related to C4[ 24, 4 ] = R_12(8,7)

[Home] [Table] [Glossary] [Families]

On this page are all graphs related to C4[ 24, 4 ].

Graphs which this one covers

     2-fold cover of C4[ 12, 1 ] = W( 6, 2)

Graphs which cover this one

     2-fold covered by C4[ 48, 7 ] = R_ 24( 20, 7)

     2-fold covered by C4[ 48, 8 ] = R_ 24( 8, 19)

     2-fold covered by C4[ 48, 9 ] = PX( 6, 3)

     2-fold covered by C4[ 48, 12 ] = KE_12(1,7,4,9,1)

     2-fold covered by C4[ 48, 15 ] = SDD(R_ 6( 5, 4))

     3-fold covered by C4[ 72, 21 ] = UG(ATD[72,13])

     3-fold covered by C4[ 72, 25 ] = PL(CS(DW( 3, 3)[ 6^ 3], 1))

     4-fold covered by C4[ 96, 14 ] = PX( 6, 4)

     4-fold covered by C4[ 96, 23 ] = KE_24(1,13,10,21,1)

     4-fold covered by C4[ 96, 24 ] = KE_24(1,13,4,21,5)

     4-fold covered by C4[ 96, 25 ] = KE_24(1,9,8,5,5)

     4-fold covered by C4[ 96, 26 ] = KE_24(1,1,4,21,7)

     4-fold covered by C4[ 96, 27 ] = KE_24(1,11,8,3,7)

     4-fold covered by C4[ 96, 28 ] = KE_24(1,11,2,3,11)

     4-fold covered by C4[ 96, 29 ] = PL(Curtain_12(1,6,1,5,11),[4^12,4^12])

     4-fold covered by C4[ 96, 31 ] = PL(Curtain_12(1,6,5,7,11),[4^12,8^6])

     4-fold covered by C4[ 96, 32 ] = AMC( 6, 8, [ 5. 5: 5. 2])

     4-fold covered by C4[ 96, 35 ] = UG(ATD[96,4])

     4-fold covered by C4[ 96, 38 ] = UG(ATD[96,48])

     4-fold covered by C4[ 96, 39 ] = UG(ATD[96,55])

     4-fold covered by C4[ 96, 40 ] = UG(ATD[96,61])

     4-fold covered by C4[ 96, 41 ] = XI(Rmap(48,7){4,6|4}_12)

     4-fold covered by C4[ 96, 47 ] = PL(CS(R_ 6( 5, 4)[ 6^ 4], 0))

     4-fold covered by C4[ 96, 48 ] = PL(CS(R_ 6( 5, 4)[ 6^ 4], 1))

     4-fold covered by C4[ 96, 49 ] = PL(CS(R_ 6( 5, 4)[ 3^ 8], 1))

     4-fold covered by C4[ 96, 51 ] = SDD(R_ 12( 11, 4))

     4-fold covered by C4[ 96, 52 ] = SDD(R_ 12( 5, 10))

     4-fold covered by C4[ 96, 53 ] = SS[ 96, 13]

     5-fold covered by C4[ 120, 27 ] = KE_30(1,3,10,13,11)

     5-fold covered by C4[ 120, 32 ] = PL(BC_30({ 0, 15 }, { 1, 4 })

     6-fold covered by C4[ 144, 15 ] = R_ 72( 56, 19)

     6-fold covered by C4[ 144, 16 ] = R_ 72( 20, 55)

     6-fold covered by C4[ 144, 25 ] = KE_36(1,19,16,33,1)

     6-fold covered by C4[ 144, 37 ] = UG(ATD[144,33])

     6-fold covered by C4[ 144, 38 ] = UG(ATD[144,36])

     6-fold covered by C4[ 144, 39 ] = UG(ATD[144,39])

     6-fold covered by C4[ 144, 40 ] = UG(ATD[144,69])

     6-fold covered by C4[ 144, 41 ] = UG(ATD[144,72])

     6-fold covered by C4[ 144, 42 ] = UG(ATD[144,77])

     6-fold covered by C4[ 144, 43 ] = UG(ATD[144,82])

     6-fold covered by C4[ 144, 44 ] = PL(ATD[9,1]#ATD[12,4])

     6-fold covered by C4[ 144, 45 ] = PL(ATD[12,1]#DCyc[3])

     6-fold covered by C4[ 144, 47 ] = SDD(Pr_ 12( 1, 1, 5, 5))

     6-fold covered by C4[ 144, 53 ] = PL(CSI(Octahedron[ 3^ 4], 6))

     6-fold covered by C4[ 144, 60 ] = BGCG(R_ 12( 8, 7), C_ 3, {7, 8})

     7-fold covered by C4[ 168, 29 ] = KE_42(1,17,14,3,13)

     7-fold covered by C4[ 168, 33 ] = PL(BC_42({ 0, 21 }, { 1, 34 })

     7-fold covered by C4[ 168, 35 ] = UG(ATD[168,3])

     8-fold covered by C4[ 192, 23 ] = PX( 6, 5)

     8-fold covered by C4[ 192, 49 ] = KE_48(1,25,22,45,1)

     8-fold covered by C4[ 192, 50 ] = KE_48(1,21,8,5,7)

     8-fold covered by C4[ 192, 51 ] = KE_48(1,27,16,19,7)

     8-fold covered by C4[ 192, 52 ] = KE_48(1,25,10,45,11)

     8-fold covered by C4[ 192, 53 ] = KE_48(1,11,8,3,17)

     8-fold covered by C4[ 192, 54 ] = KE_48(1,3,16,19,17)

     8-fold covered by C4[ 192, 66 ] = PL(Curtain_24(1,12,5,7,17),[4^24,16^6])

     8-fold covered by C4[ 192, 67 ] = PL(Curtain_24(1,12,7,11,23),[4^24,16^6])

     8-fold covered by C4[ 192, 73 ] = PL(Proj2LR'(3))

     8-fold covered by C4[ 192, 74 ] = UG(ATD[192,1])

     8-fold covered by C4[ 192, 75 ] = UG(ATD[192,3])

     8-fold covered by C4[ 192, 76 ] = UG(ATD[192,5])

     8-fold covered by C4[ 192, 77 ] = UG(ATD[192,7])

     8-fold covered by C4[ 192, 78 ] = UG(ATD[192,11])

     8-fold covered by C4[ 192, 80 ] = UG(ATD[192,16])

     8-fold covered by C4[ 192, 81 ] = UG(ATD[192,19])

     8-fold covered by C4[ 192, 82 ] = UG(ATD[192,20])

     8-fold covered by C4[ 192, 83 ] = UG(ATD[192,26])

     8-fold covered by C4[ 192, 84 ] = UG(ATD[192,32])

     8-fold covered by C4[ 192, 85 ] = UG(ATD[192,35])

     8-fold covered by C4[ 192, 86 ] = UG(ATD[192,38])

     8-fold covered by C4[ 192, 87 ] = UG(ATD[192,41])

     8-fold covered by C4[ 192, 88 ] = UG(ATD[192,44])

     8-fold covered by C4[ 192, 89 ] = UG(ATD[192,47])

     8-fold covered by C4[ 192, 90 ] = UG(ATD[192,49])

     8-fold covered by C4[ 192, 91 ] = UG(ATD[192,50])

     8-fold covered by C4[ 192, 92 ] = UG(ATD[192,52])

     8-fold covered by C4[ 192, 93 ] = UG(ATD[192,55])

     8-fold covered by C4[ 192, 102 ] = UG(ATD[192,151])

     8-fold covered by C4[ 192, 103 ] = UG(ATD[192,153])

     8-fold covered by C4[ 192, 104 ] = UG(ATD[192,155])

     8-fold covered by C4[ 192, 105 ] = UG(ATD[192,158])

     8-fold covered by C4[ 192, 106 ] = UG(ATD[192,161])

     8-fold covered by C4[ 192, 107 ] = UG(ATD[192,163])

     8-fold covered by C4[ 192, 108 ] = UG(ATD[192,165])

     8-fold covered by C4[ 192, 109 ] = UG(ATD[192,171])

     8-fold covered by C4[ 192, 110 ] = UG(ATD[192,177])

     8-fold covered by C4[ 192, 111 ] = UG(ATD[192,183])

     8-fold covered by C4[ 192, 112 ] = UG(ATD[192,186])

     8-fold covered by C4[ 192, 113 ] = UG(ATD[192,189])

     8-fold covered by C4[ 192, 114 ] = UG(ATD[192,192])

     8-fold covered by C4[ 192, 115 ] = UG(ATD[192,195])

     8-fold covered by C4[ 192, 120 ] = UG(ATD[192,207])

     8-fold covered by C4[ 192, 121 ] = UG(ATD[192,208])

     8-fold covered by C4[ 192, 122 ] = UG(ATD[192,209])

     8-fold covered by C4[ 192, 123 ] = UG(ATD[192,210])

     8-fold covered by C4[ 192, 124 ] = PL(ATD[6,1]#ATD[24,7])

     8-fold covered by C4[ 192, 125 ] = PL(ATD[6,1]#ATD[24,9])

     8-fold covered by C4[ 192, 126 ] = PL(ATD[12,1]#DCyc[4])

     8-fold covered by C4[ 192, 127 ] = XI(Rmap(96,3){3,8|8}_12)

     8-fold covered by C4[ 192, 128 ] = SDD(AMC( 3, 8, [ 5. 5: 5. 2]))

     8-fold covered by C4[ 192, 129 ] = XI(Rmap(96,7){4,6|8}_24)

     8-fold covered by C4[ 192, 138 ] = PL(CSI(Octahedron[ 3^ 4], 8))

     8-fold covered by C4[ 192, 141 ] = PL(CS(R_ 12( 8, 7)[ 6^ 8], 1))

     8-fold covered by C4[ 192, 142 ] = PL(CS(R_ 12( 11, 4)[ 12^ 4], 0))

     8-fold covered by C4[ 192, 143 ] = PL(CS(R_ 12( 11, 4)[ 12^ 4], 1))

     8-fold covered by C4[ 192, 144 ] = PL(CS(R_ 12( 11, 4)[ 3^ 16], 0))

     8-fold covered by C4[ 192, 145 ] = PL(CS(R_ 12( 11, 4)[ 3^ 16], 1))

     8-fold covered by C4[ 192, 146 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 0))

     8-fold covered by C4[ 192, 147 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 1))

     8-fold covered by C4[ 192, 148 ] = PL(CS(R_ 12( 5, 10)[ 6^ 8], 0))

     8-fold covered by C4[ 192, 149 ] = PL(CS(R_ 12( 5, 10)[ 6^ 8], 1))

     8-fold covered by C4[ 192, 155 ] = SDD(KE_12(1,7,4,9,1))

     8-fold covered by C4[ 192, 156 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]); K2;2)

     8-fold covered by C4[ 192, 157 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]); K2;4)

     8-fold covered by C4[ 192, 158 ] = BGCG(PX( 6, 4); K1;{3, 9})

     8-fold covered by C4[ 192, 161 ] = BGCG(KE_24(1,9,8,5,5); K1;3)

     8-fold covered by C4[ 192, 164 ] = BGCG(KE_24(1,11,8,3,7); K1;11)

     8-fold covered by C4[ 192, 166 ] = BGCG(UG(ATD[96,4]); K1;{2, 4})

     8-fold covered by C4[ 192, 171 ] = SS[192, 12]

     8-fold covered by C4[ 192, 172 ] = SS[192, 57]

     8-fold covered by C4[ 192, 173 ] = SS[192, 58]

     8-fold covered by C4[ 192, 174 ] = SS[192, 59]

     8-fold covered by C4[ 192, 175 ] = SS[192, 60]

     8-fold covered by C4[ 192, 182 ] = SS[192, 67]

     8-fold covered by C4[ 192, 183 ] = SS[192, 68]

     8-fold covered by C4[ 192, 197 ] = SS[192, 86]

     8-fold covered by C4[ 192, 201 ] = SS[192, 93]

     8-fold covered by C4[ 192, 204 ] = SS[192, 98]

     8-fold covered by C4[ 192, 205 ] = SS[192, 99]

     8-fold covered by C4[ 192, 210 ] = SS[192, 110]

     8-fold covered by C4[ 192, 211 ] = SS[192, 111]

     9-fold covered by C4[ 216, 39 ] = UG(ATD[216,13])

     9-fold covered by C4[ 216, 40 ] = UG(ATD[216,15])

     9-fold covered by C4[ 216, 48 ] = UG(ATD[216,45])

     9-fold covered by C4[ 216, 54 ] = UG(ATD[216,65])

     9-fold covered by C4[ 216, 55 ] = UG(ATD[216,68])

     9-fold covered by C4[ 216, 56 ] = UG(ATD[216,71])

     9-fold covered by C4[ 216, 80 ] = BGCG(W( 6, 2), C_ 9, 3)

     9-fold covered by C4[ 216, 95 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K1;{1, 7})

     10-fold covered by C4[ 240, 31 ] = R_120( 92, 31)

     10-fold covered by C4[ 240, 32 ] = R_120( 32, 91)

     10-fold covered by C4[ 240, 52 ] = KE_60(1,31,28,57,1)

     10-fold covered by C4[ 240, 53 ] = KE_60(1,33,10,13,11)

     10-fold covered by C4[ 240, 54 ] = KE_60(1,27,20,17,11)

     10-fold covered by C4[ 240, 57 ] = KE_60(1,3,10,13,19)

     10-fold covered by C4[ 240, 58 ] = KE_60(1,23,20,3,19)

     10-fold covered by C4[ 240, 59 ] = PL(Curtain_30(1,4,11,14,30),[4^30,20^6])

     10-fold covered by C4[ 240, 62 ] = PL(Curtain_30(1,12,1,5,17),[4^30,10^12])

     10-fold covered by C4[ 240, 67 ] = UG(ATD[240,3])

     10-fold covered by C4[ 240, 73 ] = UG(ATD[240,33])

     10-fold covered by C4[ 240, 74 ] = UG(ATD[240,40])

     10-fold covered by C4[ 240, 76 ] = UG(ATD[240,105])

     10-fold covered by C4[ 240, 77 ] = UG(ATD[240,110])

     10-fold covered by C4[ 240, 79 ] = UG(ATD[240,120])

     10-fold covered by C4[ 240, 105 ] = PL(ATD[12,1]#DCyc[5])

     10-fold covered by C4[ 240, 115 ] = XI(Rmap(120,39){20,6|4}_30)

     10-fold covered by C4[ 240, 116 ] = SDD(Pr_ 20( 1, 13, 17, 9))

     11-fold covered by C4[ 264, 20 ] = KE_66(1,3,22,25,23)

     11-fold covered by C4[ 264, 23 ] = PL(BC_66({ 0, 33 }, { 1, 10 })

     12-fold covered by C4[ 288, 70 ] = UG(ATD[288,19])

     12-fold covered by C4[ 288, 90 ] = UG(ATD[288,84])

     12-fold covered by C4[ 288, 91 ] = UG(ATD[288,87])

     12-fold covered by C4[ 288, 92 ] = UG(ATD[288,88])

     12-fold covered by C4[ 288, 93 ] = UG(ATD[288,91])

     12-fold covered by C4[ 288, 94 ] = UG(ATD[288,94])

     12-fold covered by C4[ 288, 95 ] = UG(ATD[288,97])

     12-fold covered by C4[ 288, 96 ] = UG(ATD[288,100])

     12-fold covered by C4[ 288, 97 ] = UG(ATD[288,103])

     12-fold covered by C4[ 288, 98 ] = UG(ATD[288,106])

     12-fold covered by C4[ 288, 99 ] = UG(ATD[288,109])

     12-fold covered by C4[ 288, 100 ] = UG(ATD[288,112])

     12-fold covered by C4[ 288, 101 ] = UG(ATD[288,115])

     12-fold covered by C4[ 288, 102 ] = UG(ATD[288,118])

     12-fold covered by C4[ 288, 103 ] = UG(ATD[288,121])

     12-fold covered by C4[ 288, 113 ] = UG(ATD[288,199])

     12-fold covered by C4[ 288, 114 ] = UG(ATD[288,200])

     12-fold covered by C4[ 288, 115 ] = UG(ATD[288,203])

     12-fold covered by C4[ 288, 116 ] = UG(ATD[288,206])

     12-fold covered by C4[ 288, 117 ] = UG(ATD[288,209])

     12-fold covered by C4[ 288, 118 ] = UG(ATD[288,212])

     12-fold covered by C4[ 288, 119 ] = UG(ATD[288,215])

     12-fold covered by C4[ 288, 120 ] = UG(ATD[288,218])

     12-fold covered by C4[ 288, 121 ] = UG(ATD[288,221])

     12-fold covered by C4[ 288, 122 ] = UG(ATD[288,224])

     12-fold covered by C4[ 288, 123 ] = UG(ATD[288,227])

     12-fold covered by C4[ 288, 124 ] = UG(ATD[288,230])

     12-fold covered by C4[ 288, 125 ] = UG(ATD[288,233])

     12-fold covered by C4[ 288, 126 ] = UG(ATD[288,236])

     12-fold covered by C4[ 288, 127 ] = UG(ATD[288,239])

     12-fold covered by C4[ 288, 128 ] = UG(ATD[288,242])

     12-fold covered by C4[ 288, 129 ] = UG(ATD[288,245])

     12-fold covered by C4[ 288, 130 ] = UG(ATD[288,248])

     12-fold covered by C4[ 288, 131 ] = UG(ATD[288,251])

     12-fold covered by C4[ 288, 138 ] = PL(ATD[6,1]#ATD[12,1])

     12-fold covered by C4[ 288, 140 ] = PL(ATD[6,1]#ATD[36,6])

     12-fold covered by C4[ 288, 143 ] = PL(ATD[9,1]#ATD[24,7])

     12-fold covered by C4[ 288, 144 ] = PL(ATD[9,1]#ATD[24,9])

     12-fold covered by C4[ 288, 146 ] = PL(ATD[12,1]#DCyc[6])

     12-fold covered by C4[ 288, 149 ] = PL(ATD[24,8]#DCyc[3])

     12-fold covered by C4[ 288, 150 ] = PL(ATD[24,10]#DCyc[3])

     12-fold covered by C4[ 288, 156 ] = XI(Rmap(144,17){6,6|12}_24)

     12-fold covered by C4[ 288, 157 ] = XI(Rmap(144,18){6,6|12}_24)

     12-fold covered by C4[ 288, 158 ] = XI(Rmap(144,20){4,18|4}_36)

     12-fold covered by C4[ 288, 161 ] = SDD(UG(ATD[72,13]))

     12-fold covered by C4[ 288, 169 ] = PL(CSI(Octahedron[ 3^ 4], 12))

     12-fold covered by C4[ 288, 172 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 3))

     12-fold covered by C4[ 288, 173 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 3))

     12-fold covered by C4[ 288, 183 ] = PL(CS(R_ 18( 11, 10)[ 9^ 8], 1))

     12-fold covered by C4[ 288, 184 ] = PL(CS(R_ 18( 11, 10)[ 18^ 4], 0))

     12-fold covered by C4[ 288, 185 ] = PL(CS(R_ 18( 11, 10)[ 18^ 4], 1))

     12-fold covered by C4[ 288, 186 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 12^ 6], 1))

     12-fold covered by C4[ 288, 187 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 6^ 12], 1))

     12-fold covered by C4[ 288, 188 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 3^ 24], 1))

     12-fold covered by C4[ 288, 189 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 4, 1)

     12-fold covered by C4[ 288, 192 ] = BGCG(R_ 24( 20, 7), C_ 3, {3, 5})

     12-fold covered by C4[ 288, 193 ] = BGCG(R_ 24( 20, 7), C_ 3, {4, 6})

     12-fold covered by C4[ 288, 194 ] = BGCG(R_ 24( 8, 19), C_ 3, 1)

     12-fold covered by C4[ 288, 195 ] = BGCG(R_ 24( 8, 19), C_ 3, 2)

     12-fold covered by C4[ 288, 196 ] = BGCG(R_ 24( 8, 19), C_ 3, {3, 6})

     12-fold covered by C4[ 288, 197 ] = BGCG(R_ 24( 8, 19), C_ 3, {4, 5})

     12-fold covered by C4[ 288, 199 ] = BGCG(PX( 6, 3), C_ 3, 6)

     12-fold covered by C4[ 288, 200 ] = BGCG(PX( 6, 3), C_ 3, 7)

     12-fold covered by C4[ 288, 201 ] = BGCG(PX( 6, 3), C_ 3, 8)

     12-fold covered by C4[ 288, 202 ] = BGCG(PX( 6, 3), C_ 3, 9)

     12-fold covered by C4[ 288, 203 ] = BGCG(PX( 6, 3), C_ 3, 10)

     12-fold covered by C4[ 288, 204 ] = BGCG(KE_12(1,7,4,9,1), C_ 3, 10)

     12-fold covered by C4[ 288, 205 ] = BGCG(KE_12(1,7,4,9,1), C_ 3, 11)

     12-fold covered by C4[ 288, 212 ] = SDD(R_ 36( 29, 10))

     12-fold covered by C4[ 288, 213 ] = SDD(R_ 36( 11, 28))

     12-fold covered by C4[ 288, 215 ] = SDD(Pr_ 24( 1, 1, 5, 5))

     12-fold covered by C4[ 288, 216 ] = SDD(Pr_ 24( 1, 13, 17, 5))

     12-fold covered by C4[ 288, 245 ] = BGCG(UG(ATD[144,32]); K1;{6, 9})

     12-fold covered by C4[ 288, 246 ] = BGCG(UG(ATD[144,33]); K1;3)

     12-fold covered by C4[ 288, 247 ] = BGCG(UG(ATD[144,77]); K1;2)

     13-fold covered by C4[ 312, 42 ] = PL(BC_78({ 0, 39 }, { 1, 64 })

     13-fold covered by C4[ 312, 43 ] = UG(ATD[312,1])

     13-fold covered by C4[ 312, 44 ] = UG(ATD[312,3])

     13-fold covered by C4[ 312, 47 ] = UG(ATD[312,35])

     13-fold covered by C4[ 312, 48 ] = UG(ATD[312,38])

     14-fold covered by C4[ 336, 30 ] = R_168(128, 43)

     14-fold covered by C4[ 336, 31 ] = R_168( 44, 127)

     14-fold covered by C4[ 336, 47 ] = PL(Curtain_42(1,9,1,14,23),[4^42,28^6])

     14-fold covered by C4[ 336, 48 ] = PL(Curtain_42(1,13,8,20,42),[4^42,14^12])

     14-fold covered by C4[ 336, 54 ] = UG(ATD[336,5])

     14-fold covered by C4[ 336, 55 ] = UG(ATD[336,7])

     14-fold covered by C4[ 336, 56 ] = UG(ATD[336,9])

     14-fold covered by C4[ 336, 59 ] = UG(ATD[336,35])

     14-fold covered by C4[ 336, 60 ] = UG(ATD[336,37])

     14-fold covered by C4[ 336, 61 ] = UG(ATD[336,39])

     14-fold covered by C4[ 336, 62 ] = UG(ATD[336,41])

     14-fold covered by C4[ 336, 65 ] = UG(ATD[336,47])

     14-fold covered by C4[ 336, 66 ] = UG(ATD[336,50])

     14-fold covered by C4[ 336, 67 ] = UG(ATD[336,53])

     14-fold covered by C4[ 336, 69 ] = UG(ATD[336,110])

     14-fold covered by C4[ 336, 70 ] = UG(ATD[336,113])

     14-fold covered by C4[ 336, 71 ] = UG(ATD[336,116])

     14-fold covered by C4[ 336, 72 ] = UG(ATD[336,121])

     14-fold covered by C4[ 336, 73 ] = UG(ATD[336,126])

     14-fold covered by C4[ 336, 107 ] = PL(ATD[12,1]#DCyc[7])

     14-fold covered by C4[ 336, 119 ] = XI(Rmap(168,47){28,6|4}_42)

     14-fold covered by C4[ 336, 120 ] = SDD(Pr_ 28( 1, 5, 9, 13))

     15-fold covered by C4[ 360, 47 ] = PL(MC3( 6, 30, 1, 16, 11, 3, 1), [4^45, 60^3])

     15-fold covered by C4[ 360, 74 ] = UG(ATD[360,47])

     15-fold covered by C4[ 360, 75 ] = UG(ATD[360,50])

     15-fold covered by C4[ 360, 76 ] = UG(ATD[360,53])

     15-fold covered by C4[ 360, 77 ] = UG(ATD[360,56])

     15-fold covered by C4[ 360, 78 ] = UG(ATD[360,59])

     16-fold covered by C4[ 384, 100 ] = CPM( 8, 3, 1, 1)

     16-fold covered by C4[ 384, 101 ] = CPM( 8, 3, 2, 3)

     16-fold covered by C4[ 384, 110 ] = PL(AffLR( 3, 4))$

     16-fold covered by C4[ 384, 112 ] = UG(ATD[384,1])

     16-fold covered by C4[ 384, 113 ] = UG(ATD[384,3])

     16-fold covered by C4[ 384, 114 ] = UG(ATD[384,5])

     16-fold covered by C4[ 384, 115 ] = UG(ATD[384,7])

     16-fold covered by C4[ 384, 116 ] = UG(ATD[384,9])

     16-fold covered by C4[ 384, 117 ] = UG(ATD[384,11])

     16-fold covered by C4[ 384, 118 ] = UG(ATD[384,13])

     16-fold covered by C4[ 384, 119 ] = UG(ATD[384,15])

     16-fold covered by C4[ 384, 120 ] = UG(ATD[384,17])

     16-fold covered by C4[ 384, 121 ] = UG(ATD[384,19])

     16-fold covered by C4[ 384, 124 ] = UG(ATD[384,25])

     16-fold covered by C4[ 384, 125 ] = UG(ATD[384,27])

     16-fold covered by C4[ 384, 126 ] = UG(ATD[384,29])

     16-fold covered by C4[ 384, 127 ] = UG(ATD[384,31])

     16-fold covered by C4[ 384, 128 ] = UG(ATD[384,33])

     16-fold covered by C4[ 384, 129 ] = UG(ATD[384,35])

     16-fold covered by C4[ 384, 130 ] = UG(ATD[384,37])

     16-fold covered by C4[ 384, 131 ] = UG(ATD[384,39])

     16-fold covered by C4[ 384, 132 ] = UG(ATD[384,41])

     16-fold covered by C4[ 384, 133 ] = UG(ATD[384,43])

     16-fold covered by C4[ 384, 134 ] = UG(ATD[384,45])

     16-fold covered by C4[ 384, 135 ] = UG(ATD[384,47])

     16-fold covered by C4[ 384, 142 ] = UG(ATD[384,73])

     16-fold covered by C4[ 384, 143 ] = UG(ATD[384,75])

     16-fold covered by C4[ 384, 144 ] = UG(ATD[384,77])

     16-fold covered by C4[ 384, 145 ] = UG(ATD[384,79])

     16-fold covered by C4[ 384, 146 ] = UG(ATD[384,81])

     16-fold covered by C4[ 384, 147 ] = UG(ATD[384,83])

     16-fold covered by C4[ 384, 148 ] = UG(ATD[384,85])

     16-fold covered by C4[ 384, 149 ] = UG(ATD[384,87])

     16-fold covered by C4[ 384, 150 ] = UG(ATD[384,89])

     16-fold covered by C4[ 384, 151 ] = UG(ATD[384,92])

     16-fold covered by C4[ 384, 152 ] = UG(ATD[384,95])

     16-fold covered by C4[ 384, 153 ] = UG(ATD[384,98])

     16-fold covered by C4[ 384, 154 ] = UG(ATD[384,99])

     16-fold covered by C4[ 384, 155 ] = UG(ATD[384,102])

     16-fold covered by C4[ 384, 156 ] = UG(ATD[384,106])

     16-fold covered by C4[ 384, 157 ] = UG(ATD[384,109])

     16-fold covered by C4[ 384, 158 ] = UG(ATD[384,112])

     16-fold covered by C4[ 384, 159 ] = UG(ATD[384,115])

     16-fold covered by C4[ 384, 160 ] = UG(ATD[384,119])

     16-fold covered by C4[ 384, 161 ] = UG(ATD[384,122])

     16-fold covered by C4[ 384, 168 ] = UG(ATD[384,137])

     16-fold covered by C4[ 384, 169 ] = UG(ATD[384,140])

     16-fold covered by C4[ 384, 170 ] = UG(ATD[384,143])

     16-fold covered by C4[ 384, 171 ] = UG(ATD[384,146])

     16-fold covered by C4[ 384, 172 ] = UG(ATD[384,149])

     16-fold covered by C4[ 384, 173 ] = UG(ATD[384,153])

     16-fold covered by C4[ 384, 174 ] = UG(ATD[384,156])

     16-fold covered by C4[ 384, 175 ] = UG(ATD[384,159])

     16-fold covered by C4[ 384, 176 ] = UG(ATD[384,162])

     16-fold covered by C4[ 384, 177 ] = UG(ATD[384,167])

     16-fold covered by C4[ 384, 178 ] = UG(ATD[384,170])

     16-fold covered by C4[ 384, 179 ] = UG(ATD[384,174])

     16-fold covered by C4[ 384, 180 ] = UG(ATD[384,175])

     16-fold covered by C4[ 384, 181 ] = UG(ATD[384,178])

     16-fold covered by C4[ 384, 182 ] = UG(ATD[384,181])

     16-fold covered by C4[ 384, 183 ] = UG(ATD[384,182])

     16-fold covered by C4[ 384, 184 ] = UG(ATD[384,185])

     16-fold covered by C4[ 384, 185 ] = UG(ATD[384,188])

     16-fold covered by C4[ 384, 186 ] = UG(ATD[384,189])

     16-fold covered by C4[ 384, 187 ] = UG(ATD[384,192])

     16-fold covered by C4[ 384, 188 ] = UG(ATD[384,193])

     16-fold covered by C4[ 384, 189 ] = UG(ATD[384,196])

     16-fold covered by C4[ 384, 190 ] = UG(ATD[384,197])

     16-fold covered by C4[ 384, 191 ] = UG(ATD[384,200])

     16-fold covered by C4[ 384, 192 ] = UG(ATD[384,203])

     16-fold covered by C4[ 384, 193 ] = UG(ATD[384,206])

     16-fold covered by C4[ 384, 194 ] = UG(ATD[384,209])

     16-fold covered by C4[ 384, 195 ] = UG(ATD[384,212])

     16-fold covered by C4[ 384, 196 ] = UG(ATD[384,215])

     16-fold covered by C4[ 384, 197 ] = UG(ATD[384,218])

     16-fold covered by C4[ 384, 198 ] = UG(ATD[384,221])

     16-fold covered by C4[ 384, 199 ] = UG(ATD[384,224])

     16-fold covered by C4[ 384, 200 ] = UG(ATD[384,227])

     16-fold covered by C4[ 384, 201 ] = UG(ATD[384,230])

     16-fold covered by C4[ 384, 248 ] = UG(ATD[384,454])

     16-fold covered by C4[ 384, 249 ] = UG(ATD[384,457])

     16-fold covered by C4[ 384, 250 ] = UG(ATD[384,460])

     16-fold covered by C4[ 384, 251 ] = UG(ATD[384,463])

     16-fold covered by C4[ 384, 252 ] = UG(ATD[384,466])

     16-fold covered by C4[ 384, 253 ] = UG(ATD[384,469])

     16-fold covered by C4[ 384, 254 ] = UG(ATD[384,472])

     16-fold covered by C4[ 384, 255 ] = UG(ATD[384,475])

     16-fold covered by C4[ 384, 256 ] = UG(ATD[384,478])

     16-fold covered by C4[ 384, 257 ] = UG(ATD[384,481])

     16-fold covered by C4[ 384, 258 ] = UG(ATD[384,484])

     16-fold covered by C4[ 384, 259 ] = UG(ATD[384,485])

     16-fold covered by C4[ 384, 260 ] = UG(ATD[384,488])

     16-fold covered by C4[ 384, 261 ] = UG(ATD[384,491])

     16-fold covered by C4[ 384, 262 ] = UG(ATD[384,494])

     16-fold covered by C4[ 384, 263 ] = UG(ATD[384,497])

     16-fold covered by C4[ 384, 264 ] = UG(ATD[384,500])

     16-fold covered by C4[ 384, 265 ] = UG(ATD[384,503])

     16-fold covered by C4[ 384, 266 ] = UG(ATD[384,506])

     16-fold covered by C4[ 384, 267 ] = UG(ATD[384,509])

     16-fold covered by C4[ 384, 268 ] = UG(ATD[384,512])

     16-fold covered by C4[ 384, 269 ] = UG(ATD[384,515])

     16-fold covered by C4[ 384, 270 ] = UG(ATD[384,518])

     16-fold covered by C4[ 384, 271 ] = UG(ATD[384,521])

     16-fold covered by C4[ 384, 272 ] = UG(ATD[384,524])

     16-fold covered by C4[ 384, 273 ] = UG(ATD[384,527])

     16-fold covered by C4[ 384, 274 ] = UG(ATD[384,530])

     16-fold covered by C4[ 384, 275 ] = UG(ATD[384,533])

     16-fold covered by C4[ 384, 276 ] = UG(ATD[384,536])

     16-fold covered by C4[ 384, 277 ] = UG(ATD[384,539])

     16-fold covered by C4[ 384, 278 ] = UG(ATD[384,542])

     16-fold covered by C4[ 384, 279 ] = UG(ATD[384,545])

     16-fold covered by C4[ 384, 280 ] = UG(ATD[384,548])

     16-fold covered by C4[ 384, 281 ] = UG(ATD[384,551])

     16-fold covered by C4[ 384, 282 ] = UG(ATD[384,554])

     16-fold covered by C4[ 384, 283 ] = UG(ATD[384,557])

     16-fold covered by C4[ 384, 284 ] = UG(ATD[384,560])

     16-fold covered by C4[ 384, 285 ] = UG(ATD[384,563])

     16-fold covered by C4[ 384, 286 ] = UG(ATD[384,566])

     16-fold covered by C4[ 384, 287 ] = UG(ATD[384,569])

     16-fold covered by C4[ 384, 288 ] = UG(ATD[384,573])

     16-fold covered by C4[ 384, 289 ] = UG(ATD[384,576])

     16-fold covered by C4[ 384, 290 ] = UG(ATD[384,579])

     16-fold covered by C4[ 384, 291 ] = UG(ATD[384,582])

     16-fold covered by C4[ 384, 292 ] = UG(ATD[384,585])

     16-fold covered by C4[ 384, 293 ] = UG(ATD[384,588])

     16-fold covered by C4[ 384, 294 ] = UG(ATD[384,591])

     16-fold covered by C4[ 384, 295 ] = UG(ATD[384,594])

     16-fold covered by C4[ 384, 296 ] = UG(ATD[384,597])

     16-fold covered by C4[ 384, 297 ] = UG(ATD[384,600])

     16-fold covered by C4[ 384, 298 ] = UG(ATD[384,603])

     16-fold covered by C4[ 384, 299 ] = UG(ATD[384,606])

     16-fold covered by C4[ 384, 300 ] = UG(ATD[384,609])

     16-fold covered by C4[ 384, 301 ] = UG(ATD[384,611])

     16-fold covered by C4[ 384, 302 ] = UG(ATD[384,614])

     16-fold covered by C4[ 384, 303 ] = UG(ATD[384,616])

     16-fold covered by C4[ 384, 304 ] = UG(ATD[384,617])

     16-fold covered by C4[ 384, 305 ] = UG(ATD[384,618])

     16-fold covered by C4[ 384, 306 ] = UG(ATD[384,620])

     16-fold covered by C4[ 384, 307 ] = UG(ATD[384,623])

     16-fold covered by C4[ 384, 308 ] = UG(ATD[384,625])

     16-fold covered by C4[ 384, 309 ] = UG(ATD[384,628])

     16-fold covered by C4[ 384, 310 ] = UG(ATD[384,630])

     16-fold covered by C4[ 384, 311 ] = UG(ATD[384,632])

     16-fold covered by C4[ 384, 312 ] = UG(ATD[384,634])

     16-fold covered by C4[ 384, 313 ] = UG(ATD[384,636])

     16-fold covered by C4[ 384, 314 ] = UG(ATD[384,639])

     16-fold covered by C4[ 384, 315 ] = UG(ATD[384,640])

     16-fold covered by C4[ 384, 316 ] = UG(ATD[384,641])

     16-fold covered by C4[ 384, 317 ] = UG(ATD[384,642])

     16-fold covered by C4[ 384, 318 ] = UG(ATD[384,643])

     16-fold covered by C4[ 384, 319 ] = UG(ATD[384,644])

     16-fold covered by C4[ 384, 320 ] = UG(ATD[384,645])

     16-fold covered by C4[ 384, 323 ] = PL(ATD[6,1]#ATD[48,1])

     16-fold covered by C4[ 384, 324 ] = PL(ATD[6,1]#ATD[48,16])

     16-fold covered by C4[ 384, 328 ] = PL(ATD[8,1]#ATD[12,1])

     16-fold covered by C4[ 384, 335 ] = PL(ATD[8,2]#ATD[12,1])

     16-fold covered by C4[ 384, 341 ] = PL(ATD[12,1]#DCyc[8])

     16-fold covered by C4[ 384, 348 ] = PL(ATD[12,4]#ATD[24,7])

     16-fold covered by C4[ 384, 349 ] = PL(ATD[12,4]#ATD[24,9])

     16-fold covered by C4[ 384, 352 ] = PL(ATD[24,8]#DCyc[4])

     16-fold covered by C4[ 384, 353 ] = PL(ATD[48,15]#DCyc[4])

     16-fold covered by C4[ 384, 354 ] = PL(ATD[48,18]#DCyc[4])

     16-fold covered by C4[ 384, 355 ] = PL(ATD[48,20]#DCyc[4])

     16-fold covered by C4[ 384, 356 ] = PL(ATD[48,23]#DCyc[4])

     16-fold covered by C4[ 384, 357 ] = PL(ATD[48,24]#DCyc[4])

     16-fold covered by C4[ 384, 358 ] = XI(Rmap(192,5){4,6|8}_6)

     16-fold covered by C4[ 384, 359 ] = XI(Rmap(192,6){4,6|8}_12)

     16-fold covered by C4[ 384, 360 ] = SDD(UG(ATD[96,11]))

     16-fold covered by C4[ 384, 362 ] = SDD(KE_24(1,9,8,5,5))

     16-fold covered by C4[ 384, 363 ] = XI(Rmap(192,26){6,6|6}_8)

     16-fold covered by C4[ 384, 365 ] = XI(Rmap(192,28){6,6|12}_8)

     16-fold covered by C4[ 384, 366 ] = XI(Rmap(192,29){6,6|12}_8)

     16-fold covered by C4[ 384, 369 ] = XI(Rmap(192,66){8,6|8}_12)

     16-fold covered by C4[ 384, 373 ] = SDD(AMC( 6, 8, [ 5. 5: 5. 2]))

     16-fold covered by C4[ 384, 374 ] = SDD(UG(ATD[96,61]))

     16-fold covered by C4[ 384, 382 ] = PL(CSI(Octahedron[ 3^ 4], 16))

     16-fold covered by C4[ 384, 383 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 8))

     16-fold covered by C4[ 384, 384 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 8))

     16-fold covered by C4[ 384, 388 ] = PL(CS(MPS( 4, 24; 5)[ 12^ 8], 1))

     16-fold covered by C4[ 384, 390 ] = PL(CS(R_ 24( 20, 7)[ 12^ 8], 1))

     16-fold covered by C4[ 384, 396 ] = PL(CS(R_ 24( 8, 19)[ 6^ 16], 1))

     16-fold covered by C4[ 384, 397 ] = BGCG(R_ 24( 8, 19), C_ 4, {1, 2})

     16-fold covered by C4[ 384, 402 ] = PL(CS(PX( 6, 3)[ 12^ 8], 1))

     16-fold covered by C4[ 384, 403 ] = PL(CS(PX( 6, 3)[ 6^ 16], 1))

     16-fold covered by C4[ 384, 405 ] = BGCG(PX( 6, 3), C_ 4, {7, 10})

     16-fold covered by C4[ 384, 406 ] = BGCG(PX( 6, 3), C_ 4, {8, 9})

     16-fold covered by C4[ 384, 407 ] = PL(CS(KE_12(1,7,4,9,1)[ 12^ 8], 1))

     16-fold covered by C4[ 384, 408 ] = PL(CS(KE_12(1,7,4,9,1)[ 6^ 16], 1))

     16-fold covered by C4[ 384, 409 ] = PL(CS(KE_12(1,7,4,9,1)[ 8^ 12], 1))

     16-fold covered by C4[ 384, 410 ] = BGCG(KE_12(1,7,4,9,1), C_ 4, {10, 11})

     16-fold covered by C4[ 384, 411 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 8^ 12], 1))

     16-fold covered by C4[ 384, 412 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 3^ 32], 1))

     16-fold covered by C4[ 384, 413 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 6^ 16], 0))

     16-fold covered by C4[ 384, 414 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 6^ 16], 1))

     16-fold covered by C4[ 384, 415 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]), C_ 4, 2)

     16-fold covered by C4[ 384, 423 ] = BGCG(PX( 6, 4); K2;{2, 3, 9, 10})

     16-fold covered by C4[ 384, 429 ] = BGCG(KE_24(1,9,8,5,5); K2;{2, 3})

     16-fold covered by C4[ 384, 430 ] = SDD(KE_24(1,1,4,21,7))

     16-fold covered by C4[ 384, 435 ] = SDD(UG(ATD[96,4]))

     16-fold covered by C4[ 384, 436 ] = BGCG(UG(ATD[96,4]); K2;{2, 4})

     16-fold covered by C4[ 384, 437 ] = BGCG(UG(ATD[96,4]); K2;{3, 5})

     16-fold covered by C4[ 384, 438 ] = BGCG(UG(ATD[96,11]); K2;{3, 4})

     16-fold covered by C4[ 384, 439 ] = SDD(UG(ATD[96,13]))

     16-fold covered by C4[ 384, 440 ] = BGCG(UG(ATD[96,13]); K2;{1, 6})

     16-fold covered by C4[ 384, 445 ] = SDD(UG(ATD[96,55]))

     16-fold covered by C4[ 384, 452 ] = BGCG(PX( 6, 5); K1;6)

     16-fold covered by C4[ 384, 453 ] = BGCG(PX( 6, 5); K1;9)

     16-fold covered by C4[ 384, 454 ] = BGCG(PX( 6, 5); K1;11)

     16-fold covered by C4[ 384, 459 ] = BGCG(KE_48(1,27,16,19,7); K1;4)

     16-fold covered by C4[ 384, 460 ] = BGCG(KE_48(1,27,16,19,7); K1;5)

     16-fold covered by C4[ 384, 462 ] = BGCG(KE_48(1,3,16,19,17); K1;7)

     16-fold covered by C4[ 384, 467 ] = BGCG(UG(ATD[192,11]); K1;18)

     16-fold covered by C4[ 384, 472 ] = BGCG(UG(ATD[192,19]); K1;{3, 8})

     16-fold covered by C4[ 384, 474 ] = BGCG(UG(ATD[192,19]); K1;{5, 10})

     16-fold covered by C4[ 384, 475 ] = BGCG(UG(ATD[192,20]); K1;1)

     16-fold covered by C4[ 384, 476 ] = BGCG(UG(ATD[192,20]); K1;3)

     16-fold covered by C4[ 384, 480 ] = BGCG(UG(ATD[192,38]); K1;{1, 6})

     16-fold covered by C4[ 384, 481 ] = BGCG(UG(ATD[192,38]); K1;4)

     16-fold covered by C4[ 384, 482 ] = BGCG(UG(ATD[192,38]); K1;5)

     16-fold covered by C4[ 384, 483 ] = BGCG(UG(ATD[192,38]); K1;7)

     16-fold covered by C4[ 384, 484 ] = BGCG(UG(ATD[192,38]); K1;{8, 10})

     16-fold covered by C4[ 384, 486 ] = BGCG(UG(ATD[192,41]); K1;3)

     16-fold covered by C4[ 384, 487 ] = BGCG(UG(ATD[192,41]); K1;8)

     16-fold covered by C4[ 384, 488 ] = BGCG(UG(ATD[192,44]); K1;2)

     16-fold covered by C4[ 384, 489 ] = BGCG(UG(ATD[192,44]); K1;4)

     16-fold covered by C4[ 384, 490 ] = BGCG(UG(ATD[192,44]); K1;6)

     16-fold covered by C4[ 384, 491 ] = BGCG(UG(ATD[192,44]); K1;8)

     16-fold covered by C4[ 384, 492 ] = BGCG(UG(ATD[192,44]); K1;11)

     16-fold covered by C4[ 384, 493 ] = BGCG(UG(ATD[192,47]); K1;{9, 14})

     16-fold covered by C4[ 384, 494 ] = BGCG(UG(ATD[192,47]); K1;{12, 13})

     16-fold covered by C4[ 384, 496 ] = BGCG(UG(ATD[192,49]); K1;{1, 5})

     16-fold covered by C4[ 384, 497 ] = BGCG(UG(ATD[192,49]); K1;{2, 6})

     16-fold covered by C4[ 384, 498 ] = BGCG(UG(ATD[192,55]); K1;{1, 3})

     16-fold covered by C4[ 384, 499 ] = BGCG(UG(ATD[192,55]); K1;{4, 5})

     16-fold covered by C4[ 384, 509 ] = BGCG(UG(ATD[192,151]); K1;{8, 12})

     16-fold covered by C4[ 384, 510 ] = BGCG(UG(ATD[192,151]); K1;{9, 10})

     16-fold covered by C4[ 384, 511 ] = BGCG(UG(ATD[192,151]); K1;{11, 15})

     16-fold covered by C4[ 384, 514 ] = BGCG(UG(ATD[192,155]); K1;1)

     16-fold covered by C4[ 384, 516 ] = BGCG(UG(ATD[192,155]); K1;6)

     16-fold covered by C4[ 384, 517 ] = BGCG(UG(ATD[192,155]); K1;8)

     16-fold covered by C4[ 384, 518 ] = BGCG(UG(ATD[192,158]); K1;1)

     16-fold covered by C4[ 384, 519 ] = BGCG(UG(ATD[192,158]); K1;2)

     16-fold covered by C4[ 384, 520 ] = BGCG(UG(ATD[192,158]); K1;3)

     16-fold covered by C4[ 384, 521 ] = BGCG(UG(ATD[192,158]); K1;5)

     16-fold covered by C4[ 384, 522 ] = BGCG(UG(ATD[192,158]); K1;7)

     16-fold covered by C4[ 384, 523 ] = BGCG(UG(ATD[192,161]); K1;{9, 10})

     16-fold covered by C4[ 384, 524 ] = BGCG(UG(ATD[192,161]); K1;{11, 14})

     16-fold covered by C4[ 384, 525 ] = BGCG(UG(ATD[192,161]); K1;{13, 15})

     16-fold covered by C4[ 384, 526 ] = BGCG(UG(ATD[192,177]); K1;3)

     16-fold covered by C4[ 384, 527 ] = BGCG(UG(ATD[192,177]); K1;5)

     16-fold covered by C4[ 384, 530 ] = BGCG(UG(ATD[192,199]); K1;3)

     16-fold covered by C4[ 384, 531 ] = BGCG(UG(ATD[192,199]); K1;5)

     16-fold covered by C4[ 384, 532 ] = BGCG(UG(ATD[192,201]); K1;7)

     16-fold covered by C4[ 384, 533 ] = BGCG(UG(ATD[192,203]); K1;1)

     16-fold covered by C4[ 384, 534 ] = BGCG(UG(ATD[192,203]); K1;6)

     16-fold covered by C4[ 384, 535 ] = BGCG(UG(ATD[192,205]); K1;5)

     16-fold covered by C4[ 384, 545 ] = SS[384, 17]

     16-fold covered by C4[ 384, 546 ] = SS[384, 29]

     16-fold covered by C4[ 384, 548 ] = SS[384, 39]

     16-fold covered by C4[ 384, 549 ] = SS[384, 40]

     16-fold covered by C4[ 384, 550 ] = SS[384, 41]

     16-fold covered by C4[ 384, 551 ] = SS[384, 42]

     16-fold covered by C4[ 384, 554 ] = SS[384, 47]

     16-fold covered by C4[ 384, 555 ] = SS[384, 48]

     17-fold covered by C4[ 408, 36 ] = PL(BC_102({ 0, 51 }, { 1, 16 })

     17-fold covered by C4[ 408, 38 ] = UG(ATD[408,17])

     17-fold covered by C4[ 408, 39 ] = UG(ATD[408,20])

     18-fold covered by C4[ 432, 30 ] = R_216(164, 55)

     18-fold covered by C4[ 432, 31 ] = R_216( 56, 163)

     18-fold covered by C4[ 432, 58 ] = UG(ATD[432,15])

     18-fold covered by C4[ 432, 59 ] = UG(ATD[432,17])

     18-fold covered by C4[ 432, 63 ] = UG(ATD[432,25])

     18-fold covered by C4[ 432, 64 ] = UG(ATD[432,27])

     18-fold covered by C4[ 432, 65 ] = UG(ATD[432,29])

     18-fold covered by C4[ 432, 66 ] = UG(ATD[432,31])

     18-fold covered by C4[ 432, 67 ] = UG(ATD[432,33])

     18-fold covered by C4[ 432, 68 ] = UG(ATD[432,35])

     18-fold covered by C4[ 432, 73 ] = UG(ATD[432,69])

     18-fold covered by C4[ 432, 74 ] = UG(ATD[432,71])

     18-fold covered by C4[ 432, 75 ] = UG(ATD[432,73])

     18-fold covered by C4[ 432, 76 ] = UG(ATD[432,75])

     18-fold covered by C4[ 432, 77 ] = UG(ATD[432,77])

     18-fold covered by C4[ 432, 78 ] = UG(ATD[432,79])

     18-fold covered by C4[ 432, 79 ] = UG(ATD[432,81])

     18-fold covered by C4[ 432, 80 ] = UG(ATD[432,83])

     18-fold covered by C4[ 432, 83 ] = UG(ATD[432,88])

     18-fold covered by C4[ 432, 84 ] = UG(ATD[432,91])

     18-fold covered by C4[ 432, 102 ] = UG(ATD[432,145])

     18-fold covered by C4[ 432, 103 ] = UG(ATD[432,147])

     18-fold covered by C4[ 432, 110 ] = UG(ATD[432,160])

     18-fold covered by C4[ 432, 111 ] = UG(ATD[432,163])

     18-fold covered by C4[ 432, 112 ] = UG(ATD[432,166])

     18-fold covered by C4[ 432, 113 ] = UG(ATD[432,169])

     18-fold covered by C4[ 432, 114 ] = UG(ATD[432,172])

     18-fold covered by C4[ 432, 115 ] = UG(ATD[432,175])

     18-fold covered by C4[ 432, 116 ] = UG(ATD[432,178])

     18-fold covered by C4[ 432, 117 ] = UG(ATD[432,181])

     18-fold covered by C4[ 432, 118 ] = UG(ATD[432,184])

     18-fold covered by C4[ 432, 119 ] = UG(ATD[432,187])

     18-fold covered by C4[ 432, 143 ] = UG(ATD[432,304])

     18-fold covered by C4[ 432, 144 ] = UG(ATD[432,307])

     18-fold covered by C4[ 432, 145 ] = UG(ATD[432,310])

     18-fold covered by C4[ 432, 146 ] = UG(ATD[432,313])

     18-fold covered by C4[ 432, 147 ] = UG(ATD[432,316])

     18-fold covered by C4[ 432, 148 ] = UG(ATD[432,319])

     18-fold covered by C4[ 432, 149 ] = UG(ATD[432,322])

     18-fold covered by C4[ 432, 150 ] = UG(ATD[432,325])

     18-fold covered by C4[ 432, 151 ] = UG(ATD[432,330])

     18-fold covered by C4[ 432, 152 ] = UG(ATD[432,333])

     18-fold covered by C4[ 432, 153 ] = UG(ATD[432,336])

     18-fold covered by C4[ 432, 154 ] = UG(ATD[432,341])

     18-fold covered by C4[ 432, 155 ] = UG(ATD[432,344])

     18-fold covered by C4[ 432, 156 ] = UG(ATD[432,347])

     18-fold covered by C4[ 432, 159 ] = PL(ATD[9,1]#ATD[12,1])

     18-fold covered by C4[ 432, 162 ] = PL(ATD[9,1]#ATD[36,6])

     18-fold covered by C4[ 432, 164 ] = PL(ATD[12,1]#DCyc[9])

     18-fold covered by C4[ 432, 167 ] = PL(ATD[12,4]#DCyc[9])

     18-fold covered by C4[ 432, 168 ] = PL(ATD[12,4]#ATD[27,5])

     18-fold covered by C4[ 432, 172 ] = PL(ATD[36,10]#DCyc[3])

     18-fold covered by C4[ 432, 176 ] = SDD(AMC( 3, 12, [ 1. 1: 9. 10]))

     18-fold covered by C4[ 432, 180 ] = XI(Rmap(216,13){6,6|6}_12)

     18-fold covered by C4[ 432, 182 ] = SDD(Pr_ 36( 1, 25, 29, 17))

     18-fold covered by C4[ 432, 188 ] = SDD(UG(ATD[108,18]))

     18-fold covered by C4[ 432, 190 ] = XI(Rmap(216,101){12,18|4}_18)

     18-fold covered by C4[ 432, 196 ] = PL(CSI(Octahedron[ 3^ 4], 18))

     18-fold covered by C4[ 432, 199 ] = BGCG(R_ 12( 8, 7), C_ 9, {7, 8})

     18-fold covered by C4[ 432, 204 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 6, 1)

     18-fold covered by C4[ 432, 231 ] = BGCG(UG(ATD[72,13]), C_ 3, 3)

     18-fold covered by C4[ 432, 232 ] = BGCG(UG(ATD[72,13]), C_ 3, 7)

     18-fold covered by C4[ 432, 233 ] = BGCG(UG(ATD[72,13]), C_ 3, 8)

     18-fold covered by C4[ 432, 238 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;{1, 7})

     18-fold covered by C4[ 432, 239 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;3)

     18-fold covered by C4[ 432, 240 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;4)

     18-fold covered by C4[ 432, 241 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;5)

     18-fold covered by C4[ 432, 242 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;6)

     18-fold covered by C4[ 432, 258 ] = BGCG(UG(ATD[216,71]); K1;{1, 8})

     18-fold covered by C4[ 432, 260 ] = BGCG(UG(ATD[216,71]); K1;3)

     18-fold covered by C4[ 432, 262 ] = BGCG(UG(ATD[216,71]); K1;6)

     18-fold covered by C4[ 432, 264 ] = BGCG(UG(ATD[216,71]); K1;{9, 13})

     18-fold covered by C4[ 432, 265 ] = BGCG(UG(ATD[216,71]); K1;12)

     18-fold covered by C4[ 432, 278 ] = BGCG(UG(ATD[216,138]); K1;{1, 7})

     18-fold covered by C4[ 432, 279 ] = BGCG(UG(ATD[216,138]); K1;{3, 5})

     18-fold covered by C4[ 432, 280 ] = BGCG(UG(ATD[216,140]); K1;{2, 7})

     18-fold covered by C4[ 432, 281 ] = BGCG(UG(ATD[216,140]); K1;{4, 6})

     19-fold covered by C4[ 456, 30 ] = PL(BC_114({ 0, 57 }, { 1, 94 })

     19-fold covered by C4[ 456, 31 ] = UG(ATD[456,1])

     19-fold covered by C4[ 456, 34 ] = UG(ATD[456,21])

     20-fold covered by C4[ 480, 125 ] = PL(Curtain_60(1,4,11,14,30),[8^30,40^6])

     20-fold covered by C4[ 480, 128 ] = PL(Curtain_60(1,12,5,17,31),[8^30,10^24])

     20-fold covered by C4[ 480, 129 ] = PL(Curtain_60(1,12,31,35,47),[8^30,10^24])

     20-fold covered by C4[ 480, 132 ] = PL(Curtain_60(1,27,17,31,50),[8^30,40^6])

     20-fold covered by C4[ 480, 145 ] = UG(ATD[480,5])

     20-fold covered by C4[ 480, 146 ] = UG(ATD[480,7])

     20-fold covered by C4[ 480, 147 ] = UG(ATD[480,9])

     20-fold covered by C4[ 480, 148 ] = UG(ATD[480,11])

     20-fold covered by C4[ 480, 161 ] = UG(ATD[480,79])

     20-fold covered by C4[ 480, 162 ] = UG(ATD[480,81])

     20-fold covered by C4[ 480, 163 ] = UG(ATD[480,83])

     20-fold covered by C4[ 480, 164 ] = UG(ATD[480,85])

     20-fold covered by C4[ 480, 168 ] = UG(ATD[480,93])

     20-fold covered by C4[ 480, 169 ] = UG(ATD[480,96])

     20-fold covered by C4[ 480, 170 ] = UG(ATD[480,99])

     20-fold covered by C4[ 480, 171 ] = UG(ATD[480,102])

     20-fold covered by C4[ 480, 172 ] = UG(ATD[480,105])

     20-fold covered by C4[ 480, 174 ] = UG(ATD[480,109])

     20-fold covered by C4[ 480, 175 ] = UG(ATD[480,112])

     20-fold covered by C4[ 480, 176 ] = UG(ATD[480,113])

     20-fold covered by C4[ 480, 177 ] = UG(ATD[480,116])

     20-fold covered by C4[ 480, 178 ] = UG(ATD[480,119])

     20-fold covered by C4[ 480, 179 ] = UG(ATD[480,122])

     20-fold covered by C4[ 480, 180 ] = UG(ATD[480,125])

     20-fold covered by C4[ 480, 181 ] = UG(ATD[480,126])

     20-fold covered by C4[ 480, 182 ] = UG(ATD[480,129])

     20-fold covered by C4[ 480, 183 ] = UG(ATD[480,130])

     20-fold covered by C4[ 480, 184 ] = UG(ATD[480,133])

     20-fold covered by C4[ 480, 185 ] = UG(ATD[480,136])

     20-fold covered by C4[ 480, 202 ] = UG(ATD[480,276])

     20-fold covered by C4[ 480, 203 ] = UG(ATD[480,277])

     20-fold covered by C4[ 480, 204 ] = UG(ATD[480,280])

     20-fold covered by C4[ 480, 205 ] = UG(ATD[480,283])

     20-fold covered by C4[ 480, 206 ] = UG(ATD[480,284])

     20-fold covered by C4[ 480, 207 ] = UG(ATD[480,287])

     20-fold covered by C4[ 480, 208 ] = UG(ATD[480,290])

     20-fold covered by C4[ 480, 209 ] = UG(ATD[480,291])

     20-fold covered by C4[ 480, 210 ] = UG(ATD[480,294])

     20-fold covered by C4[ 480, 211 ] = UG(ATD[480,295])

     20-fold covered by C4[ 480, 212 ] = UG(ATD[480,298])

     20-fold covered by C4[ 480, 213 ] = UG(ATD[480,299])

     20-fold covered by C4[ 480, 214 ] = UG(ATD[480,302])

     20-fold covered by C4[ 480, 215 ] = UG(ATD[480,305])

     20-fold covered by C4[ 480, 216 ] = UG(ATD[480,308])

     20-fold covered by C4[ 480, 217 ] = UG(ATD[480,311])

     20-fold covered by C4[ 480, 218 ] = UG(ATD[480,314])

     20-fold covered by C4[ 480, 219 ] = UG(ATD[480,317])

     20-fold covered by C4[ 480, 220 ] = UG(ATD[480,320])

     20-fold covered by C4[ 480, 221 ] = UG(ATD[480,323])

     20-fold covered by C4[ 480, 222 ] = UG(ATD[480,326])

     20-fold covered by C4[ 480, 223 ] = UG(ATD[480,329])

     20-fold covered by C4[ 480, 224 ] = UG(ATD[480,332])

     20-fold covered by C4[ 480, 288 ] = PL(ATD[6,1]#ATD[60,3])

     20-fold covered by C4[ 480, 291 ] = PL(ATD[10,1]#ATD[12,1])

     20-fold covered by C4[ 480, 299 ] = PL(ATD[10,2]#ATD[12,1])

     20-fold covered by C4[ 480, 300 ] = PL(ATD[12,1]#DCyc[10])

     20-fold covered by C4[ 480, 302 ] = PL(ATD[24,8]#DCyc[5])

     20-fold covered by C4[ 480, 303 ] = PL(ATD[24,10]#DCyc[5])

     20-fold covered by C4[ 480, 322 ] = XI(Rmap(240,26){4,30|4}_60)

     20-fold covered by C4[ 480, 331 ] = XI(Rmap(240,63){20,6|4}_60)

     20-fold covered by C4[ 480, 332 ] = XI(Rmap(240,68){6,30|12}_40)

     20-fold covered by C4[ 480, 333 ] = XI(Rmap(240,70){30,6|12}_40)

     20-fold covered by C4[ 480, 334 ] = SDD(KE_30(1,3,10,13,11))

     20-fold covered by C4[ 480, 351 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 5))

     20-fold covered by C4[ 480, 352 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 5))

     20-fold covered by C4[ 480, 360 ] = BGCG(R_ 24( 8, 19), C_ 5, 1)

     20-fold covered by C4[ 480, 361 ] = BGCG(R_ 24( 8, 19), C_ 5, 2)

     20-fold covered by C4[ 480, 362 ] = BGCG(R_ 24( 8, 19), C_ 5, {3, 6})

     20-fold covered by C4[ 480, 363 ] = BGCG(R_ 24( 8, 19), C_ 5, {4, 5})

     20-fold covered by C4[ 480, 365 ] = BGCG(PX( 6, 3), C_ 5, 3)

     20-fold covered by C4[ 480, 366 ] = BGCG(PX( 6, 3), C_ 5, 6)

     20-fold covered by C4[ 480, 367 ] = BGCG(PX( 6, 3), C_ 5, 7)

     20-fold covered by C4[ 480, 368 ] = BGCG(PX( 6, 3), C_ 5, 8)

     20-fold covered by C4[ 480, 369 ] = BGCG(PX( 6, 3), C_ 5, 9)

     20-fold covered by C4[ 480, 370 ] = BGCG(PX( 6, 3), C_ 5, 10)

     20-fold covered by C4[ 480, 371 ] = BGCG(KE_12(1,7,4,9,1), C_ 5, 10)

     20-fold covered by C4[ 480, 372 ] = BGCG(KE_12(1,7,4,9,1), C_ 5, 11)

     20-fold covered by C4[ 480, 379 ] = PL(CS(R_ 30( 17, 16)[ 15^ 8], 1))

     20-fold covered by C4[ 480, 380 ] = PL(CS(R_ 30( 17, 16)[ 30^ 4], 0))

     20-fold covered by C4[ 480, 381 ] = PL(CS(R_ 30( 17, 16)[ 30^ 4], 1))

     20-fold covered by C4[ 480, 382 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 6^ 20], 1))

     20-fold covered by C4[ 480, 383 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 20^ 6], 1))

     20-fold covered by C4[ 480, 384 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 15^ 8], 1))

     20-fold covered by C4[ 480, 439 ] = SDD(R_ 60( 47, 16))

     20-fold covered by C4[ 480, 440 ] = SDD(R_ 60( 17, 46))

     20-fold covered by C4[ 480, 441 ] = SDD(Pr_ 40( 1, 13, 17, 29))

     20-fold covered by C4[ 480, 442 ] = SDD(Pr_ 40( 1, 33, 37, 29))

     20-fold covered by C4[ 480, 461 ] = BGCG(KE_60(1,23,20,3,19); K1;4)

     20-fold covered by C4[ 480, 462 ] = BGCG(UG(ATD[240,33]); K1;3)

     20-fold covered by C4[ 480, 464 ] = BGCG(UG(ATD[240,33]); K1;6)

     20-fold covered by C4[ 480, 465 ] = BGCG(UG(ATD[240,33]); K1;7)

     20-fold covered by C4[ 480, 468 ] = BGCG(UG(ATD[240,110]); K1;3)

     20-fold covered by C4[ 480, 532 ] = SS[480, 6]

     20-fold covered by C4[ 480, 534 ] = SS[480, 8]

     21-fold covered by C4[ 504, 59 ] = PL(MC3( 6, 42, 1, 22, 29, 33, 1), [4^63, 84^3])

     21-fold covered by C4[ 504, 76 ] = UG(ATD[504,13])

     21-fold covered by C4[ 504, 77 ] = UG(ATD[504,15])

     21-fold covered by C4[ 504, 78 ] = UG(ATD[504,17])

     21-fold covered by C4[ 504, 79 ] = UG(ATD[504,19])

     21-fold covered by C4[ 504, 80 ] = UG(ATD[504,21])

     21-fold covered by C4[ 504, 90 ] = UG(ATD[504,94])

     21-fold covered by C4[ 504, 91 ] = UG(ATD[504,97])

     21-fold covered by C4[ 504, 92 ] = UG(ATD[504,100])

     21-fold covered by C4[ 504, 93 ] = UG(ATD[504,103])

BGCG dissections of this graph

     Base Graph: C4[ 6, 1 ] = Octahedron   connection graph:  [K_2]

     Base Graph: C4[ 12, 1 ] = W( 6, 2)   connection graph:  [K_1]

     Base Graph: C4[ 12, 2 ] = R_ 6( 5, 4)   connection graph:  [K_1]

Graphs which have this one as the base graph in a BGCG dissection:

      C4[ 48, 9 ] = PX( 6, 3)    with connection graph  [K_1]

      C4[ 96, 24 ] = KE_24(1,13,4,21,5)    with connection graph  [K_2]

      C4[ 96, 49 ] = PL(CS(R_ 6( 5, 4)[ 3^ 8], 1))    with connection graph  [K_2]

      C4[ 144, 38 ] = UG(ATD[144,36])    with connection graph  [C_3]

      C4[ 144, 39 ] = UG(ATD[144,39])    with connection graph  [C_3]

      C4[ 144, 44 ] = PL(ATD[9,1]#ATD[12,4])    with connection graph  [C_3]

      C4[ 144, 45 ] = PL(ATD[12,1]#DCyc[3])    with connection graph  [C_3]

      C4[ 144, 54 ] = PL(CSI(W( 6, 2)[ 6^ 4], 3))    with connection graph  [C_3]

      C4[ 144, 60 ] = BGCG(R_ 12( 8, 7), C_ 3, {7, 8})    with connection graph  [C_3]

      C4[ 144, 70 ] = SS[144, 22]    with connection graph  [C_3]

      C4[ 144, 71 ] = SS[144, 23]    with connection graph  [C_3]

      C4[ 144, 72 ] = SS[144, 26]    with connection graph  [C_3]

      C4[ 144, 73 ] = SS[144, 27]    with connection graph  [C_3]

      C4[ 192, 22 ] = PX( 12, 4)    with connection graph  [C_4]

      C4[ 192, 22 ] = PX( 12, 4)    with connection graph  [K_4]

      C4[ 192, 23 ] = PX( 6, 5)    with connection graph  [K_4]

      C4[ 192, 50 ] = KE_48(1,21,8,5,7)    with connection graph  [C_4]

      C4[ 192, 59 ] = PL(Curtain_24(1,6,1,8,14),[4^24,8^12])    with connection graph  [C_4]

      C4[ 192, 73 ] = PL(Proj2LR'(3))    with connection graph  [K_4]

      C4[ 192, 83 ] = UG(ATD[192,26])    with connection graph  [C_4]

      C4[ 192, 83 ] = UG(ATD[192,26])    with connection graph  [K_4]

      C4[ 192, 84 ] = UG(ATD[192,32])    with connection graph  [K_4]

      C4[ 192, 103 ] = UG(ATD[192,153])    with connection graph  [K_4]

      C4[ 192, 105 ] = UG(ATD[192,158])    with connection graph  [K_4]

      C4[ 192, 126 ] = PL(ATD[12,1]#DCyc[4])    with connection graph  [C_4]

      C4[ 192, 127 ] = XI(Rmap(96,3){3,8|8}_12)    with connection graph  [K_4]

      C4[ 192, 131 ] = XI(Rmap(96,16){6,6|6}_8)    with connection graph  [K_4]

      C4[ 192, 154 ] = BGCG(PX( 6, 3); K2;{1, 5})    with connection graph  [K_4]

      C4[ 192, 157 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]); K2;4)    with connection graph  [K_4]

      C4[ 192, 159 ] = BGCG(KE_24(1,13,4,21,5); K1;{2, 3})    with connection graph  [K_4]

      C4[ 192, 162 ] = BGCG(KE_24(1,11,8,3,7); K1;{1, 5})    with connection graph  [K_4]

      C4[ 192, 163 ] = BGCG(KE_24(1,11,8,3,7); K1;{3, 6})    with connection graph  [K_4]

      C4[ 192, 164 ] = BGCG(KE_24(1,11,8,3,7); K1;11)    with connection graph  [C_4]

      C4[ 192, 165 ] = BGCG(AMC( 6, 8, [ 5. 5: 5. 2]); K1;{7, 8})    with connection graph  [K_4]

      C4[ 192, 171 ] = SS[192, 12]    with connection graph  [K_4]

      C4[ 192, 174 ] = SS[192, 59]    with connection graph  [K_4]

      C4[ 192, 175 ] = SS[192, 60]    with connection graph  [K_4]

      C4[ 192, 182 ] = SS[192, 67]    with connection graph  [K_4]

      C4[ 192, 195 ] = SS[192, 83]    with connection graph  [K_4]

      C4[ 192, 196 ] = SS[192, 84]    with connection graph  [K_4]

      C4[ 192, 197 ] = SS[192, 86]    with connection graph  [K_4]

      C4[ 192, 201 ] = SS[192, 93]    with connection graph  [K_4]

      C4[ 192, 213 ] = SS[192, 113]    with connection graph  [C_4]

      C4[ 240, 53 ] = KE_60(1,33,10,13,11)    with connection graph  [C_5]

      C4[ 240, 59 ] = PL(Curtain_30(1,4,11,14,30),[4^30,20^6])    with connection graph  [C_5]

      C4[ 240, 62 ] = PL(Curtain_30(1,12,1,5,17),[4^30,10^12])    with connection graph  [C_5]

      C4[ 240, 74 ] = UG(ATD[240,40])    with connection graph  [C_5]

      C4[ 240, 81 ] = UG(ATD[240,124])    with connection graph  [K_5]

      C4[ 240, 84 ] = UG(ATD[240,133])    with connection graph  [K_5]

      C4[ 240, 94 ] = UG(ATD[240,156])    with connection graph  [K_5]

      C4[ 240, 105 ] = PL(ATD[12,1]#DCyc[5])    with connection graph  [C_5]

      C4[ 240, 107 ] = XI(Rmap(120,3){4,6|6}_10)    with connection graph  [K_5]

      C4[ 240, 125 ] = PL(CSI(W( 6, 2)[ 6^ 4], 5))    with connection graph  [C_5]

      C4[ 240, 159 ] = BGCG(UG(ATD[60,15]); K2;{2, 3})    with connection graph  [K_5]

      C4[ 240, 165 ] = BGCG(UG(ATD[120,10]); K1;{16, 17})    with connection graph  [K_5]

      C4[ 240, 166 ] = BGCG(UG(ATD[120,10]); K1;{18, 19})    with connection graph  [K_5]

      C4[ 240, 170 ] = BGCG(UG(ATD[120,10]); K1;28)    with connection graph  [K_5]

      C4[ 240, 171 ] = BGCG(UG(ATD[120,10]); K1;29)    with connection graph  [K_5]

      C4[ 240, 179 ] = BGCG(UG(ATD[120,55]); K1;{12, 14})    with connection graph  [K_5]

      C4[ 240, 180 ] = BGCG(UG(ATD[120,55]); K1;{13, 15})    with connection graph  [K_5]

      C4[ 288, 99 ] = UG(ATD[288,109])    with connection graph  [C_6]

      C4[ 288, 100 ] = UG(ATD[288,112])    with connection graph  [C_6]

      C4[ 288, 145 ] = PL(ATD[9,1]#ATD[24,14])    with connection graph  [C_6]

      C4[ 288, 145 ] = PL(ATD[9,1]#ATD[24,14])    with connection graph  [K_3,3]

      C4[ 288, 146 ] = PL(ATD[12,1]#DCyc[6])    with connection graph  [C_6]

      C4[ 288, 171 ] = BGCG(R_ 12( 8, 7), C_ 6, {7, 8})    with connection graph  [C_6]

      C4[ 288, 171 ] = BGCG(R_ 12( 8, 7), C_ 6, {7, 8})    with connection graph  [K_3,3]

      C4[ 288, 181 ] = BGCG({4, 4}_ 6, 0, C_ 4, {3, 5, 9, 10})    with connection graph  [C_6]

      C4[ 288, 201 ] = BGCG(PX( 6, 3), C_ 3, 8)    with connection graph  [K_3,3]

      C4[ 288, 203 ] = BGCG(PX( 6, 3), C_ 3, 10)    with connection graph  [K_3,3]

      C4[ 288, 243 ] = BGCG(UG(ATD[144,32]); K1;4)    with connection graph  [octahedron]

      C4[ 288, 244 ] = BGCG(UG(ATD[144,32]); K1;5)    with connection graph  [octahedron]

      C4[ 288, 245 ] = BGCG(UG(ATD[144,32]); K1;{6, 9})    with connection graph  [octahedron]

      C4[ 288, 246 ] = BGCG(UG(ATD[144,33]); K1;3)    with connection graph  [C_6]

      C4[ 288, 249 ] = SS[288, 4]    with connection graph  [octahedron]

      C4[ 288, 251 ] = SS[288, 6]    with connection graph  [K_3,3]

      C4[ 288, 258 ] = SS[288, 20]    with connection graph  [C_6]

      C4[ 288, 259 ] = SS[288, 21]    with connection graph  [C_6]

      C4[ 288, 260 ] = SS[288, 24]    with connection graph  [C_6]

      C4[ 336, 47 ] = PL(Curtain_42(1,9,1,14,23),[4^42,28^6])    with connection graph  [C_7]

      C4[ 336, 48 ] = PL(Curtain_42(1,13,8,20,42),[4^42,14^12])    with connection graph  [C_7]

      C4[ 336, 65 ] = UG(ATD[336,47])    with connection graph  [C_7]

      C4[ 336, 67 ] = UG(ATD[336,53])    with connection graph  [C_7]

      C4[ 336, 79 ] = UG(ATD[336,142])    with connection graph  [K_7]

      C4[ 336, 80 ] = UG(ATD[336,144])    with connection graph  [K_7]

      C4[ 336, 98 ] = UG(ATD[336,174])    with connection graph  [K_7]

      C4[ 336, 99 ] = UG(ATD[336,175])    with connection graph  [K_7]

      C4[ 336, 107 ] = PL(ATD[12,1]#DCyc[7])    with connection graph  [C_7]

      C4[ 336, 135 ] = PL(CSI(W( 6, 2)[ 6^ 4], 7))    with connection graph  [C_7]

      C4[ 336, 147 ] = BGCG(UG(ATD[84,23]); K2;{4, 5, 6, 7})    with connection graph  [K_7]

      C4[ 336, 151 ] = BGCG(UG(Rmap(168,16){8,4|6}_14); K2;{1, 3, 4, 5})    with connection graph  [K_7]

      C4[ 336, 158 ] = BGCG(UG(ATD[168,65]); K1;{18, 19})    with connection graph  [K_7]

      C4[ 336, 159 ] = BGCG(UG(ATD[168,74]); K1;{10, 12})    with connection graph  [K_7]

      C4[ 336, 160 ] = BGCG(UG(ATD[168,74]); K1;{11, 13})    with connection graph  [K_7]

      C4[ 336, 161 ] = BGCG(UG(Rmap(336,307){8,4|6}_28); K1;{1, 5})    with connection graph  [K_7]

      C4[ 336, 164 ] = SS[336, 13]    with connection graph  [K_7]

      C4[ 336, 166 ] = SS[336, 15]    with connection graph  [K_7]

      C4[ 384, 36 ] = PX( 12, 5)    with connection graph  [Q_3]

      C4[ 384, 78 ] = PL(Curtain_48(1,7,17,23,48),[4^48,16^12])    with connection graph  [C_8]

      C4[ 384, 160 ] = UG(ATD[384,119])    with connection graph  [Q_3]

      C4[ 384, 169 ] = UG(ATD[384,140])    with connection graph  [C_8]

      C4[ 384, 170 ] = UG(ATD[384,143])    with connection graph  [C_8]

      C4[ 384, 172 ] = UG(ATD[384,149])    with connection graph  [DK_8]

      C4[ 384, 172 ] = UG(ATD[384,149])    with connection graph  [K_4,4]

      C4[ 384, 176 ] = UG(ATD[384,162])    with connection graph  [DK_8]

      C4[ 384, 252 ] = UG(ATD[384,466])    with connection graph  [DK_8]

      C4[ 384, 256 ] = UG(ATD[384,478])    with connection graph  [DK_8]

      C4[ 384, 256 ] = UG(ATD[384,478])    with connection graph  [Q_3]

      C4[ 384, 257 ] = UG(ATD[384,481])    with connection graph  [Q_3]

      C4[ 384, 308 ] = UG(ATD[384,625])    with connection graph  [DK_8]

      C4[ 384, 309 ] = UG(ATD[384,628])    with connection graph  [DK_8]

      C4[ 384, 315 ] = UG(ATD[384,640])    with connection graph  [DK_8]

      C4[ 384, 317 ] = UG(ATD[384,642])    with connection graph  [DK_8]

      C4[ 384, 341 ] = PL(ATD[12,1]#DCyc[8])    with connection graph  [C_8]

      C4[ 384, 347 ] = PL(ATD[12,4]#DCyc[8])    with connection graph  [C_8]

      C4[ 384, 349 ] = PL(ATD[12,4]#ATD[24,9])    with connection graph  [Q_3]

      C4[ 384, 363 ] = XI(Rmap(192,26){6,6|6}_8)    with connection graph  [DK_8]

      C4[ 384, 368 ] = XI(Rmap(192,47){6,8|8}_6)    with connection graph  [Q_3]

      C4[ 384, 406 ] = BGCG(PX( 6, 3), C_ 4, {8, 9})    with connection graph  [DK_8]

      C4[ 384, 406 ] = BGCG(PX( 6, 3), C_ 4, {8, 9})    with connection graph  [Q_3]

      C4[ 384, 423 ] = BGCG(PX( 6, 4); K2;{2, 3, 9, 10})    with connection graph  [K_4,4]

      C4[ 384, 423 ] = BGCG(PX( 6, 4); K2;{2, 3, 9, 10})    with connection graph  [Q_3]

      C4[ 384, 431 ] = BGCG(KE_24(1,11,8,3,7); K2;{1, 2, 4, 5})    with connection graph  [DK_8]

      C4[ 384, 432 ] = BGCG(KE_24(1,11,8,3,7); K2;{3, 6})    with connection graph  [DK_8]

      C4[ 384, 432 ] = BGCG(KE_24(1,11,8,3,7); K2;{3, 6})    with connection graph  [K_4,4]

      C4[ 384, 434 ] = BGCG(AMC( 6, 8, [ 5. 5: 5. 2]); K2;{1, 2})    with connection graph  [Q_3]

      C4[ 384, 437 ] = BGCG(UG(ATD[96,4]); K2;{3, 5})    with connection graph  [K_4,4]

      C4[ 384, 440 ] = BGCG(UG(ATD[96,13]); K2;{1, 6})    with connection graph  [Q_3]

      C4[ 384, 442 ] = BGCG(UG(ATD[96,48]); K2;{1, 3, 5, 6})    with connection graph  [DK_8]

      C4[ 384, 442 ] = BGCG(UG(ATD[96,48]); K2;{1, 3, 5, 6})    with connection graph  [K_4,4]

      C4[ 384, 443 ] = BGCG(UG(ATD[96,48]); K2;{4, 7})    with connection graph  [DK_8]

      C4[ 384, 451 ] = BGCG(PX( 12, 4); K1;{20, 21})    with connection graph  [DK_8]

      C4[ 384, 451 ] = BGCG(PX( 12, 4); K1;{20, 21})    with connection graph  [K_4,4]

      C4[ 384, 453 ] = BGCG(PX( 6, 5); K1;9)    with connection graph  [K_4,4]

      C4[ 384, 454 ] = BGCG(PX( 6, 5); K1;11)    with connection graph  [K_4,4]

      C4[ 384, 454 ] = BGCG(PX( 6, 5); K1;11)    with connection graph  [Q_3]

      C4[ 384, 462 ] = BGCG(KE_48(1,3,16,19,17); K1;7)    with connection graph  [C_8]

      C4[ 384, 467 ] = BGCG(UG(ATD[192,11]); K1;18)    with connection graph  [Q_3]

      C4[ 384, 476 ] = BGCG(UG(ATD[192,20]); K1;3)    with connection graph  [Q_3]

      C4[ 384, 482 ] = BGCG(UG(ATD[192,38]); K1;5)    with connection graph  [Q_3]

      C4[ 384, 485 ] = BGCG(UG(ATD[192,38]); K1;9)    with connection graph  [Q_3]

      C4[ 384, 486 ] = BGCG(UG(ATD[192,41]); K1;3)    with connection graph  [Q_3]

      C4[ 384, 488 ] = BGCG(UG(ATD[192,44]); K1;2)    with connection graph  [Q_3]

      C4[ 384, 491 ] = BGCG(UG(ATD[192,44]); K1;8)    with connection graph  [Q_3]

      C4[ 384, 494 ] = BGCG(UG(ATD[192,47]); K1;{12, 13})    with connection graph  [Q_3]

      C4[ 384, 506 ] = BGCG(UG(ATD[192,151]); K1;3)    with connection graph  [DK_8]

      C4[ 384, 507 ] = BGCG(UG(ATD[192,151]); K1;4)    with connection graph  [Q_3]

      C4[ 384, 508 ] = BGCG(UG(ATD[192,151]); K1;7)    with connection graph  [DK_8]

      C4[ 384, 508 ] = BGCG(UG(ATD[192,151]); K1;7)    with connection graph  [K_4,4]

      C4[ 384, 509 ] = BGCG(UG(ATD[192,151]); K1;{8, 12})    with connection graph  [DK_8]

      C4[ 384, 509 ] = BGCG(UG(ATD[192,151]); K1;{8, 12})    with connection graph  [K_4,4]

      C4[ 384, 510 ] = BGCG(UG(ATD[192,151]); K1;{9, 10})    with connection graph  [K_4,4]

      C4[ 384, 510 ] = BGCG(UG(ATD[192,151]); K1;{9, 10})    with connection graph  [Q_3]

      C4[ 384, 515 ] = BGCG(UG(ATD[192,155]); K1;3)    with connection graph  [Q_3]

      C4[ 384, 516 ] = BGCG(UG(ATD[192,155]); K1;6)    with connection graph  [Q_3]

      C4[ 384, 521 ] = BGCG(UG(ATD[192,158]); K1;5)    with connection graph  [K_4,4]

      C4[ 384, 521 ] = BGCG(UG(ATD[192,158]); K1;5)    with connection graph  [Q_3]

      C4[ 384, 522 ] = BGCG(UG(ATD[192,158]); K1;7)    with connection graph  [K_4,4]

      C4[ 384, 524 ] = BGCG(UG(ATD[192,161]); K1;{11, 14})    with connection graph  [Q_3]

      C4[ 384, 534 ] = BGCG(UG(ATD[192,203]); K1;6)    with connection graph  [Q_3]

      C4[ 384, 540 ] = BGCG(UG(ATD[192,210]); K1;2)    with connection graph  [K_4,4]

      C4[ 384, 541 ] = BGCG(UG(ATD[192,210]); K1;3)    with connection graph  [K_4,4]

      C4[ 384, 545 ] = SS[384, 17]    with connection graph  [Q_3]

      C4[ 384, 562 ] = SS[384, 55]    with connection graph  [DK_8]

      C4[ 432, 112 ] = UG(ATD[432,166])    with connection graph  [C_9]

      C4[ 432, 117 ] = UG(ATD[432,181])    with connection graph  [C_9]

      C4[ 432, 164 ] = PL(ATD[12,1]#DCyc[9])    with connection graph  [C_9]

      C4[ 432, 167 ] = PL(ATD[12,4]#DCyc[9])    with connection graph  [C_9]

      C4[ 432, 168 ] = PL(ATD[12,4]#ATD[27,5])    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 198 ] = PL(CSI(W( 6, 2)[ 6^ 4], 9))    with connection graph  [C_9]

      C4[ 432, 199 ] = BGCG(R_ 12( 8, 7), C_ 9, {7, 8})    with connection graph  [C_9]

      C4[ 432, 230 ] = BGCG(UG(ATD[72,13]), C_ 3, 1)    with connection graph  [DW( 3, 3)]

      C4[ 432, 231 ] = BGCG(UG(ATD[72,13]), C_ 3, 3)    with connection graph  [DW( 3, 3)]

      C4[ 432, 238 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;{1, 7})    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 239 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;3)    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 240 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;4)    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 253 ] = BGCG(UG(ATD[216,45]); K1;3)    with connection graph  [DW( 3, 3)]

      C4[ 432, 261 ] = BGCG(UG(ATD[216,71]); K1;4)    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 264 ] = BGCG(UG(ATD[216,71]); K1;{9, 13})    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 283 ] = SS[432, 6]    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 284 ] = SS[432, 7]    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 285 ] = SS[432, 9]    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 432, 286 ] = SS[432, 10]    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 480, 127 ] = PL(Curtain_60(1,12,1,20,32),[4^60,10^24])    with connection graph  [C_10]

      C4[ 480, 130 ] = PL(Curtain_60(1,19,11,29,60),[4^60,20^12])    with connection graph  [C_10]

      C4[ 480, 179 ] = UG(ATD[480,122])    with connection graph  [C_10]

      C4[ 480, 183 ] = UG(ATD[480,130])    with connection graph  [C_10]

      C4[ 480, 249 ] = UG(ATD[480,384])    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 266 ] = UG(ATD[480,435])    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 300 ] = PL(ATD[12,1]#DCyc[10])    with connection graph  [C_10]

      C4[ 480, 443 ] = BGCG(UG(ATD[120,10]); K2;{16, 17, 18, 19})    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 446 ] = BGCG(UG(ATD[120,10]); K2;28)    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 447 ] = BGCG(UG(ATD[120,10]); K2;29)    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 450 ] = BGCG(UG(ATD[120,54]); K2;{8, 9, 10, 11})    with connection graph  [Petersen]

      C4[ 480, 453 ] = BGCG(UG(ATD[120,55]); K2;{12, 13, 14, 15})    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 461 ] = BGCG(KE_60(1,23,20,3,19); K1;4)    with connection graph  [C_10]

      C4[ 480, 483 ] = BGCG(UG(ATD[240,130]); K1;10)    with connection graph  [C_ 10(1, 3)]

      C4[ 480, 557 ] = SS[480, 42]    with connection graph  [Petersen]

Aut-Orbital graphs of this one:

      C4[ 8, 1 ] = K_4,4

      C4[ 24, 4 ] = R_ 12( 8, 7)