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

On this page are all graphs related to C4[ 64, 15 ].

Graphs which this one covers

     8-fold cover of C4[ 8, 1 ] = K_4,4

     4-fold cover of C4[ 16, 2 ] = {4, 4}_ 4, 0

     2-fold cover of C4[ 32, 5 ] = MSY( 4, 8, 5, 4)

Graphs which cover this one

     2-fold covered by C4[ 128, 25 ] = CPM( 8, 2, 4, 1)

     2-fold covered by C4[ 128, 26 ] = AMC( 8, 8, [ 1. 1: 0. 1])

     2-fold covered by C4[ 128, 31 ] = UG(ATD[128,21])

     2-fold covered by C4[ 128, 32 ] = UG(ATD[128,42])

     2-fold covered by C4[ 128, 34 ] = UG(ATD[128,46])

     2-fold covered by C4[ 128, 35 ] = UG(ATD[128,52])

     3-fold covered by C4[ 192, 94 ] = UG(ATD[192,95])

     3-fold covered by C4[ 192, 96 ] = UG(ATD[192,125])

     3-fold covered by C4[ 192, 200 ] = SS[192, 92]

     4-fold covered by C4[ 256, 38 ] = CPM( 8, 2, 8, 1)

     4-fold covered by C4[ 256, 48 ] = UG(ATD[256,21])

     4-fold covered by C4[ 256, 49 ] = UG(ATD[256,23])

     4-fold covered by C4[ 256, 50 ] = UG(ATD[256,37])

     4-fold covered by C4[ 256, 51 ] = UG(ATD[256,55])

     4-fold covered by C4[ 256, 52 ] = UG(ATD[256,64])

     4-fold covered by C4[ 256, 53 ] = UG(ATD[256,73])

     4-fold covered by C4[ 256, 55 ] = UG(ATD[256,79])

     4-fold covered by C4[ 256, 56 ] = UG(ATD[256,82])

     4-fold covered by C4[ 256, 57 ] = UG(ATD[256,85])

     4-fold covered by C4[ 256, 58 ] = UG(ATD[256,88])

     4-fold covered by C4[ 256, 59 ] = UG(ATD[256,91])

     4-fold covered by C4[ 256, 65 ] = UG(ATD[256,109])

     4-fold covered by C4[ 256, 66 ] = UG(ATD[256,111])

     4-fold covered by C4[ 256, 67 ] = UG(ATD[256,114])

     4-fold covered by C4[ 256, 68 ] = UG(ATD[256,117])

     4-fold covered by C4[ 256, 69 ] = UG(ATD[256,120])

     4-fold covered by C4[ 256, 70 ] = UG(ATD[256,123])

     4-fold covered by C4[ 256, 71 ] = UG(ATD[256,125])

     4-fold covered by C4[ 256, 73 ] = UG(ATD[256,131])

     4-fold covered by C4[ 256, 74 ] = UG(ATD[256,134])

     4-fold covered by C4[ 256, 79 ] = UG(ATD[256,149])

     4-fold covered by C4[ 256, 80 ] = UG(ATD[256,152])

     4-fold covered by C4[ 256, 101 ] = UG(ATD[256,211])

     4-fold covered by C4[ 256, 102 ] = UG(ATD[256,212])

     4-fold covered by C4[ 256, 150 ] = SS[256, 1]

     4-fold covered by C4[ 256, 151 ] = SS[256, 2]

     4-fold covered by C4[ 256, 152 ] = SS[256, 11]

     5-fold covered by C4[ 320, 87 ] = UG(ATD[320,35])

     5-fold covered by C4[ 320, 100 ] = UG(ATD[320,102])

     5-fold covered by C4[ 320, 101 ] = UG(ATD[320,105])

     5-fold covered by C4[ 320, 109 ] = UG(ATD[320,136])

     5-fold covered by C4[ 320, 110 ] = UG(ATD[320,139])

     5-fold covered by C4[ 320, 172 ] = BGCG(KE_20(1,7,2,15,1); K2;{1, 2, 4, 5})

     5-fold covered by C4[ 320, 204 ] = SS[320, 11]

     6-fold covered by C4[ 384, 99 ] = CPM( 8, 2, 12, 1)

     6-fold covered by C4[ 384, 204 ] = UG(ATD[384,282])

     6-fold covered by C4[ 384, 205 ] = UG(ATD[384,285])

     6-fold covered by C4[ 384, 210 ] = UG(ATD[384,327])

     6-fold covered by C4[ 384, 212 ] = UG(ATD[384,333])

     6-fold covered by C4[ 384, 213 ] = UG(ATD[384,345])

     6-fold covered by C4[ 384, 215 ] = UG(ATD[384,351])

     6-fold covered by C4[ 384, 216 ] = UG(ATD[384,354])

     6-fold covered by C4[ 384, 217 ] = UG(ATD[384,357])

     6-fold covered by C4[ 384, 218 ] = UG(ATD[384,360])

     6-fold covered by C4[ 384, 219 ] = UG(ATD[384,363])

     6-fold covered by C4[ 384, 222 ] = UG(ATD[384,372])

     6-fold covered by C4[ 384, 239 ] = UG(ATD[384,427])

     6-fold covered by C4[ 384, 240 ] = UG(ATD[384,430])

     6-fold covered by C4[ 384, 241 ] = UG(ATD[384,433])

     6-fold covered by C4[ 384, 242 ] = UG(ATD[384,436])

     7-fold covered by C4[ 448, 64 ] = UG(ATD[448,46])

     7-fold covered by C4[ 448, 69 ] = UG(ATD[448,76])

     8-fold covered by C4[ 512, 51 ] = CPM( 8, 2, 16, 1)

     8-fold covered by C4[ 512, 52 ] = CPM( 16, 2, 4, 1)

     8-fold covered by C4[ 512, 64 ] = UG(ATD[512,33])

     8-fold covered by C4[ 512, 65 ] = UG(ATD[512,35])

     8-fold covered by C4[ 512, 66 ] = UG(ATD[512,41])

     8-fold covered by C4[ 512, 67 ] = UG(ATD[512,43])

     8-fold covered by C4[ 512, 68 ] = UG(ATD[512,45])

     8-fold covered by C4[ 512, 71 ] = UG(ATD[512,51])

     8-fold covered by C4[ 512, 72 ] = UG(ATD[512,53])

     8-fold covered by C4[ 512, 73 ] = UG(ATD[512,55])

     8-fold covered by C4[ 512, 74 ] = UG(ATD[512,57])

     8-fold covered by C4[ 512, 93 ] = UG(ATD[512,95])

     8-fold covered by C4[ 512, 94 ] = UG(ATD[512,97])

     8-fold covered by C4[ 512, 96 ] = UG(ATD[512,101])

     8-fold covered by C4[ 512, 97 ] = UG(ATD[512,103])

     8-fold covered by C4[ 512, 104 ] = UG(ATD[512,117])

     8-fold covered by C4[ 512, 105 ] = UG(ATD[512,119])

     8-fold covered by C4[ 512, 116 ] = UG(ATD[512,153])

     8-fold covered by C4[ 512, 118 ] = UG(ATD[512,174])

     8-fold covered by C4[ 512, 119 ] = UG(ATD[512,186])

     8-fold covered by C4[ 512, 120 ] = UG(ATD[512,195])

     8-fold covered by C4[ 512, 122 ] = UG(ATD[512,201])

     8-fold covered by C4[ 512, 123 ] = UG(ATD[512,204])

     8-fold covered by C4[ 512, 124 ] = UG(ATD[512,207])

     8-fold covered by C4[ 512, 125 ] = UG(ATD[512,210])

     8-fold covered by C4[ 512, 126 ] = UG(ATD[512,213])

     8-fold covered by C4[ 512, 132 ] = UG(ATD[512,237])

     8-fold covered by C4[ 512, 133 ] = UG(ATD[512,239])

     8-fold covered by C4[ 512, 134 ] = UG(ATD[512,242])

     8-fold covered by C4[ 512, 135 ] = UG(ATD[512,245])

     8-fold covered by C4[ 512, 136 ] = UG(ATD[512,248])

     8-fold covered by C4[ 512, 137 ] = UG(ATD[512,251])

     8-fold covered by C4[ 512, 138 ] = UG(ATD[512,254])

     8-fold covered by C4[ 512, 139 ] = UG(ATD[512,257])

     8-fold covered by C4[ 512, 140 ] = UG(ATD[512,260])

     8-fold covered by C4[ 512, 141 ] = UG(ATD[512,263])

     8-fold covered by C4[ 512, 142 ] = UG(ATD[512,266])

     8-fold covered by C4[ 512, 143 ] = UG(ATD[512,269])

     8-fold covered by C4[ 512, 144 ] = UG(ATD[512,272])

     8-fold covered by C4[ 512, 145 ] = UG(ATD[512,275])

     8-fold covered by C4[ 512, 146 ] = UG(ATD[512,278])

     8-fold covered by C4[ 512, 147 ] = UG(ATD[512,281])

     8-fold covered by C4[ 512, 148 ] = UG(ATD[512,284])

     8-fold covered by C4[ 512, 149 ] = UG(ATD[512,287])

     8-fold covered by C4[ 512, 150 ] = UG(ATD[512,290])

     8-fold covered by C4[ 512, 151 ] = UG(ATD[512,293])

     8-fold covered by C4[ 512, 152 ] = UG(ATD[512,296])

     8-fold covered by C4[ 512, 153 ] = UG(ATD[512,299])

     8-fold covered by C4[ 512, 154 ] = UG(ATD[512,302])

     8-fold covered by C4[ 512, 155 ] = UG(ATD[512,305])

     8-fold covered by C4[ 512, 156 ] = UG(ATD[512,308])

     8-fold covered by C4[ 512, 157 ] = UG(ATD[512,311])

     8-fold covered by C4[ 512, 158 ] = UG(ATD[512,314])

     8-fold covered by C4[ 512, 161 ] = UG(ATD[512,323])

     8-fold covered by C4[ 512, 162 ] = UG(ATD[512,326])

     8-fold covered by C4[ 512, 163 ] = UG(ATD[512,329])

     8-fold covered by C4[ 512, 164 ] = UG(ATD[512,332])

     8-fold covered by C4[ 512, 168 ] = UG(ATD[512,344])

     8-fold covered by C4[ 512, 169 ] = UG(ATD[512,347])

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

     8-fold covered by C4[ 512, 193 ] = UG(ATD[512,409])

     8-fold covered by C4[ 512, 194 ] = UG(ATD[512,410])

     8-fold covered by C4[ 512, 195 ] = UG(ATD[512,412])

     8-fold covered by C4[ 512, 196 ] = UG(ATD[512,414])

     8-fold covered by C4[ 512, 198 ] = UG(ATD[512,420])

     8-fold covered by C4[ 512, 199 ] = UG(ATD[512,423])

     8-fold covered by C4[ 512, 200 ] = UG(ATD[512,426])

     8-fold covered by C4[ 512, 201 ] = UG(ATD[512,429])

     8-fold covered by C4[ 512, 202 ] = UG(ATD[512,432])

     8-fold covered by C4[ 512, 203 ] = UG(ATD[512,435])

     8-fold covered by C4[ 512, 204 ] = UG(ATD[512,438])

     8-fold covered by C4[ 512, 205 ] = UG(ATD[512,441])

     8-fold covered by C4[ 512, 206 ] = UG(ATD[512,444])

     8-fold covered by C4[ 512, 207 ] = UG(ATD[512,447])

     8-fold covered by C4[ 512, 208 ] = UG(ATD[512,450])

     8-fold covered by C4[ 512, 209 ] = UG(ATD[512,453])

     8-fold covered by C4[ 512, 210 ] = UG(ATD[512,456])

     8-fold covered by C4[ 512, 211 ] = UG(ATD[512,459])

     8-fold covered by C4[ 512, 213 ] = UG(ATD[512,465])

     8-fold covered by C4[ 512, 214 ] = UG(ATD[512,468])

     8-fold covered by C4[ 512, 215 ] = UG(ATD[512,471])

     8-fold covered by C4[ 512, 216 ] = UG(ATD[512,474])

     8-fold covered by C4[ 512, 217 ] = UG(ATD[512,477])

     8-fold covered by C4[ 512, 219 ] = UG(ATD[512,481])

     8-fold covered by C4[ 512, 220 ] = UG(ATD[512,482])

     8-fold covered by C4[ 512, 221 ] = UG(ATD[512,485])

     8-fold covered by C4[ 512, 222 ] = UG(ATD[512,488])

     8-fold covered by C4[ 512, 223 ] = UG(ATD[512,491])

     8-fold covered by C4[ 512, 224 ] = UG(ATD[512,494])

     8-fold covered by C4[ 512, 225 ] = UG(ATD[512,495])

     8-fold covered by C4[ 512, 226 ] = UG(ATD[512,498])

     8-fold covered by C4[ 512, 227 ] = UG(ATD[512,501])

     8-fold covered by C4[ 512, 228 ] = UG(ATD[512,504])

     8-fold covered by C4[ 512, 229 ] = UG(ATD[512,507])

     8-fold covered by C4[ 512, 230 ] = UG(ATD[512,510])

     8-fold covered by C4[ 512, 231 ] = UG(ATD[512,513])

     8-fold covered by C4[ 512, 232 ] = UG(ATD[512,516])

     8-fold covered by C4[ 512, 233 ] = UG(ATD[512,519])

     8-fold covered by C4[ 512, 234 ] = UG(ATD[512,522])

     8-fold covered by C4[ 512, 235 ] = UG(ATD[512,525])

     8-fold covered by C4[ 512, 236 ] = UG(ATD[512,528])

     8-fold covered by C4[ 512, 239 ] = UG(ATD[512,537])

     8-fold covered by C4[ 512, 240 ] = UG(ATD[512,540])

     8-fold covered by C4[ 512, 241 ] = UG(ATD[512,543])

     8-fold covered by C4[ 512, 242 ] = UG(ATD[512,546])

     8-fold covered by C4[ 512, 243 ] = UG(ATD[512,549])

     8-fold covered by C4[ 512, 244 ] = UG(ATD[512,551])

     8-fold covered by C4[ 512, 254 ] = UG(ATD[512,577])

     8-fold covered by C4[ 512, 255 ] = UG(ATD[512,580])

     8-fold covered by C4[ 512, 501 ] = SS[512, 1]

     8-fold covered by C4[ 512, 502 ] = SS[512, 3]

     8-fold covered by C4[ 512, 503 ] = SS[512, 4]

     8-fold covered by C4[ 512, 505 ] = SS[512, 6]

     8-fold covered by C4[ 512, 506 ] = SS[512, 7]

     8-fold covered by C4[ 512, 524 ] = SS[512, 57]

     8-fold covered by C4[ 512, 525 ] = SS[512, 58]

     8-fold covered by C4[ 512, 526 ] = SS[512, 59]

     8-fold covered by C4[ 512, 527 ] = SS[512, 60]

     8-fold covered by C4[ 512, 528 ] = SS[512, 61]

     8-fold covered by C4[ 512, 529 ] = SS[512, 62]

     8-fold covered by C4[ 512, 530 ] = SS[512, 63]

     8-fold covered by C4[ 512, 532 ] = SS[512, 65]

     8-fold covered by C4[ 512, 533 ] = SS[512, 66]

     8-fold covered by C4[ 512, 535 ] = SS[512, 68]

     8-fold covered by C4[ 512, 537 ] = SS[512, 70]

     8-fold covered by C4[ 512, 538 ] = SS[512, 71]

     8-fold covered by C4[ 512, 539 ] = SS[512, 72]

     8-fold covered by C4[ 512, 540 ] = SS[512, 73]

     8-fold covered by C4[ 512, 541 ] = SS[512, 74]

     8-fold covered by C4[ 512, 542 ] = SS[512, 75]

     8-fold covered by C4[ 512, 543 ] = SS[512, 76]

     8-fold covered by C4[ 512, 545 ] = SS[512, 78]

     8-fold covered by C4[ 512, 546 ] = SS[512, 79]

     8-fold covered by C4[ 512, 547 ] = SS[512, 80]

     8-fold covered by C4[ 512, 548 ] = SS[512, 81]

     8-fold covered by C4[ 512, 549 ] = SS[512, 82]

     8-fold covered by C4[ 512, 554 ] = SS[512, 89]

     8-fold covered by C4[ 512, 555 ] = SS[512, 90]

     8-fold covered by C4[ 512, 559 ] = SS[512, 94]

     8-fold covered by C4[ 512, 560 ] = SS[512, 95]

     8-fold covered by C4[ 512, 561 ] = SS[512, 96]

BGCG dissections of this graph

     Base Graph: C4[ 8, 1 ] = K_4,4   connection graph:  [C_4]

     Base Graph: C4[ 16, 2 ] = {4, 4}_ 4, 0   connection graph:  [K_2]

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

      C4[ 128, 24 ] = PL(Curtain_16(1,8,6,9,14),[4^16,8^8])    with connection graph  [K_1]

      C4[ 256, 38 ] = CPM( 8, 2, 8, 1)    with connection graph  [K_2]

      C4[ 256, 40 ] = PL(RC( 4, 8), [4^32, 8^16])    with connection graph  [K_2]

      C4[ 256, 42 ] = PL(SoP( 8, 8))    with connection graph  [K_2]

      C4[ 256, 58 ] = UG(ATD[256,88])    with connection graph  [K_2]

      C4[ 256, 68 ] = UG(ATD[256,117])    with connection graph  [K_2]

      C4[ 256, 71 ] = UG(ATD[256,125])    with connection graph  [K_2]

      C4[ 256, 105 ] = PL(ATD[8,1]#ATD[16,5])    with connection graph  [K_2]

      C4[ 256, 110 ] = PL(ATD[8,2]#ATD[32,4])    with connection graph  [K_2]

      C4[ 256, 111 ] = PL(ATD[8,2]#ATD[32,7])    with connection graph  [K_2]

      C4[ 256, 112 ] = PL(ATD[8,2]#ATD[32,8])    with connection graph  [K_2]

      C4[ 256, 115 ] = PL(ATD[16,2]#ATD[16,4])    with connection graph  [K_2]

      C4[ 256, 126 ] = BGCG({4, 4}_ 8, 0; K2;{12, 15, 17, 19})    with connection graph  [K_2]

      C4[ 256, 136 ] = BGCG(PX( 8, 4); K1;{1, 4})    with connection graph  [K_2]

      C4[ 256, 137 ] = BGCG(PX( 8, 4); K1;{5, 14})    with connection graph  [K_2]

      C4[ 256, 140 ] = BGCG(UG(ATD[128,42]); K1;{8, 11})    with connection graph  [K_2]

      C4[ 256, 141 ] = BGCG(UG(ATD[128,42]); K1;{9, 10})    with connection graph  [K_2]

      C4[ 256, 146 ] = BGCG(UG(ATD[128,57]); K1;{5, 12})    with connection graph  [K_2]

      C4[ 256, 158 ] = SS[256, 18]    with connection graph  [K_2]

      C4[ 256, 171 ] = SS[256, 37]    with connection graph  [K_2]

      C4[ 256, 172 ] = SS[256, 38]    with connection graph  [K_2]

      C4[ 512, 146 ] = UG(ATD[512,278])    with connection graph  [C_4]

      C4[ 512, 174 ] = UG(ATD[512,362])    with connection graph  [C_4]

      C4[ 512, 176 ] = UG(ATD[512,368])    with connection graph  [C_4]

      C4[ 512, 178 ] = UG(ATD[512,374])    with connection graph  [C_4]

      C4[ 512, 180 ] = UG(ATD[512,380])    with connection graph  [C_4]

      C4[ 512, 185 ] = UG(ATD[512,395])    with connection graph  [C_4]

      C4[ 512, 190 ] = UG(ATD[512,406])    with connection graph  [C_4]

      C4[ 512, 203 ] = UG(ATD[512,435])    with connection graph  [C_4]

      C4[ 512, 226 ] = UG(ATD[512,498])    with connection graph  [C_4]

      C4[ 512, 231 ] = UG(ATD[512,513])    with connection graph  [C_4]

      C4[ 512, 244 ] = UG(ATD[512,551])    with connection graph  [C_4]

      C4[ 512, 247 ] = UG(ATD[512,560])    with connection graph  [C_4]

      C4[ 512, 248 ] = UG(ATD[512,563])    with connection graph  [C_4]

      C4[ 512, 249 ] = UG(ATD[512,566])    with connection graph  [C_4]

      C4[ 512, 250 ] = UG(ATD[512,569])    with connection graph  [C_4]

      C4[ 512, 251 ] = UG(ATD[512,572])    with connection graph  [C_4]

      C4[ 512, 260 ] = UG(ATD[512,593])    with connection graph  [C_4]

      C4[ 512, 261 ] = UG(ATD[512,596])    with connection graph  [C_4]

      C4[ 512, 262 ] = UG(ATD[512,599])    with connection graph  [C_4]

      C4[ 512, 263 ] = UG(ATD[512,602])    with connection graph  [C_4]

      C4[ 512, 268 ] = UG(ATD[512,617])    with connection graph  [C_4]

      C4[ 512, 269 ] = UG(ATD[512,620])    with connection graph  [C_4]

      C4[ 512, 270 ] = UG(ATD[512,623])    with connection graph  [C_4]

      C4[ 512, 271 ] = UG(ATD[512,626])    with connection graph  [C_4]

      C4[ 512, 272 ] = UG(ATD[512,629])    with connection graph  [C_4]

      C4[ 512, 273 ] = UG(ATD[512,632])    with connection graph  [C_4]

      C4[ 512, 274 ] = UG(ATD[512,635])    with connection graph  [C_4]

      C4[ 512, 275 ] = UG(ATD[512,638])    with connection graph  [C_4]

      C4[ 512, 276 ] = UG(ATD[512,641])    with connection graph  [C_4]

      C4[ 512, 277 ] = UG(ATD[512,644])    with connection graph  [C_4]

      C4[ 512, 278 ] = UG(ATD[512,647])    with connection graph  [C_4]

      C4[ 512, 279 ] = UG(ATD[512,650])    with connection graph  [C_4]

      C4[ 512, 280 ] = UG(ATD[512,653])    with connection graph  [C_4]

      C4[ 512, 281 ] = UG(ATD[512,656])    with connection graph  [C_4]

      C4[ 512, 283 ] = UG(ATD[512,662])    with connection graph  [C_4]

      C4[ 512, 285 ] = UG(ATD[512,668])    with connection graph  [C_4]

      C4[ 512, 286 ] = UG(ATD[512,671])    with connection graph  [C_4]

      C4[ 512, 287 ] = UG(ATD[512,674])    with connection graph  [C_4]

      C4[ 512, 288 ] = UG(ATD[512,677])    with connection graph  [C_4]

      C4[ 512, 289 ] = UG(ATD[512,680])    with connection graph  [C_4]

      C4[ 512, 309 ] = PL(ATD[8,1]#ATD[32,4])    with connection graph  [C_4]

      C4[ 512, 311 ] = PL(ATD[8,1]#ATD[32,7])    with connection graph  [C_4]

      C4[ 512, 312 ] = PL(ATD[8,1]#ATD[32,8])    with connection graph  [C_4]

      C4[ 512, 348 ] = PL(ATD[16,2]#ATD[32,4])    with connection graph  [C_4]

      C4[ 512, 349 ] = PL(ATD[16,2]#ATD[32,7])    with connection graph  [C_4]

      C4[ 512, 350 ] = PL(ATD[16,2]#ATD[32,8])    with connection graph  [C_4]

      C4[ 512, 357 ] = PL(ATD[16,4]#ATD[32,4])    with connection graph  [C_4]

      C4[ 512, 358 ] = PL(ATD[16,4]#ATD[32,7])    with connection graph  [C_4]

      C4[ 512, 359 ] = PL(ATD[16,4]#ATD[32,8])    with connection graph  [C_4]

      C4[ 512, 407 ] = BGCG(PX( 8, 4); K2;{1, 4, 5, 14})    with connection graph  [C_4]

      C4[ 512, 411 ] = BGCG(UG(ATD[128,42]); K2;{8, 9, 10, 11})    with connection graph  [C_4]

      C4[ 512, 413 ] = BGCG(UG(ATD[128,44]); K2;{18, 19, 20, 21})    with connection graph  [C_4]

      C4[ 512, 417 ] = BGCG(UG(ATD[128,54]); K2;{18, 19, 20, 21})    with connection graph  [C_4]

      C4[ 512, 433 ] = BGCG(PX( 8, 5); K1;{4, 9})    with connection graph  [C_4]

      C4[ 512, 447 ] = BGCG(UG(ATD[256,123]); K1;{16, 21, 22, 23})    with connection graph  [C_4]

      C4[ 512, 448 ] = BGCG(UG(ATD[256,123]); K1;{17, 18})    with connection graph  [C_4]

      C4[ 512, 453 ] = BGCG(UG(ATD[256,128]); K1;{18, 25})    with connection graph  [C_4]

      C4[ 512, 456 ] = BGCG(UG(ATD[256,137]); K1;{29, 31, 33, 35})    with connection graph  [C_4]

      C4[ 512, 470 ] = BGCG(UG(ATD[256,167]); K1;{22, 32, 46, 56})    with connection graph  [C_4]

      C4[ 512, 494 ] = BGCG(UG(ATD[256,200]); K1;{19, 20, 21, 23})    with connection graph  [C_4]

      C4[ 512, 503 ] = SS[512, 4]    with connection graph  [C_4]

      C4[ 512, 505 ] = SS[512, 6]    with connection graph  [C_4]

      C4[ 512, 509 ] = SS[512, 10]    with connection graph  [C_4]

      C4[ 512, 510 ] = SS[512, 11]    with connection graph  [C_4]

      C4[ 512, 522 ] = SS[512, 45]    with connection graph  [C_4]

      C4[ 512, 524 ] = SS[512, 57]    with connection graph  [C_4]

      C4[ 512, 525 ] = SS[512, 58]    with connection graph  [C_4]

      C4[ 512, 528 ] = SS[512, 61]    with connection graph  [C_4]

      C4[ 512, 529 ] = SS[512, 62]    with connection graph  [C_4]

      C4[ 512, 530 ] = SS[512, 63]    with connection graph  [C_4]

      C4[ 512, 531 ] = SS[512, 64]    with connection graph  [C_4]

      C4[ 512, 532 ] = SS[512, 65]    with connection graph  [C_4]

      C4[ 512, 533 ] = SS[512, 66]    with connection graph  [C_4]

      C4[ 512, 535 ] = SS[512, 68]    with connection graph  [C_4]

      C4[ 512, 537 ] = SS[512, 70]    with connection graph  [C_4]

      C4[ 512, 538 ] = SS[512, 71]    with connection graph  [C_4]

      C4[ 512, 550 ] = SS[512, 83]    with connection graph  [C_4]

      C4[ 512, 551 ] = SS[512, 84]    with connection graph  [C_4]

      C4[ 512, 553 ] = SS[512, 88]    with connection graph  [C_4]

      C4[ 512, 556 ] = SS[512, 91]    with connection graph  [C_4]

      C4[ 512, 557 ] = SS[512, 92]    with connection graph  [C_4]

      C4[ 512, 558 ] = SS[512, 93]    with connection graph  [C_4]

      C4[ 512, 564 ] = SS[512, 99]    with connection graph  [C_4]

      C4[ 512, 565 ] = SS[512, 100]    with connection graph  [C_4]

      C4[ 512, 566 ] = SS[512, 101]    with connection graph  [C_4]

      C4[ 512, 574 ] = SS[512, 109]    with connection graph  [C_4]

      C4[ 512, 575 ] = SS[512, 110]    with connection graph  [C_4]

      C4[ 512, 576 ] = SS[512, 111]    with connection graph  [C_4]

      C4[ 512, 577 ] = SS[512, 112]    with connection graph  [C_4]

      C4[ 512, 583 ] = SS[512, 118]    with connection graph  [C_4]

      C4[ 512, 585 ] = SS[512, 120]    with connection graph  [C_4]

      C4[ 512, 586 ] = SS[512, 121]    with connection graph  [C_4]

      C4[ 512, 587 ] = SS[512, 122]    with connection graph  [C_4]

      C4[ 512, 588 ] = SS[512, 123]    with connection graph  [C_4]

      C4[ 512, 589 ] = SS[512, 125]    with connection graph  [C_4]

      C4[ 512, 662 ] = SS[512, 216]    with connection graph  [C_4]