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

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

Graphs which this one covers

     4-fold cover of C4[ 16, 1 ] = W( 8, 2)

     2-fold cover of C4[ 32, 4 ] = MPS( 4, 16; 3)

Graphs which cover this one

     2-fold covered by C4[ 128, 13 ] = PX( 8, 4)

     2-fold covered by C4[ 128, 21 ] = PL(Curtain_16(1,4,1,6,10),[4^16,8^8])

     2-fold covered by C4[ 128, 28 ] = PL(SoP( 4, 8))

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

     2-fold covered by C4[ 128, 36 ] = UG(ATD[128,54])

     2-fold covered by C4[ 128, 37 ] = UG(ATD[128,57])

     2-fold covered by C4[ 128, 38 ] = UG(ATD[128,60])

     2-fold covered by C4[ 128, 39 ] = UG(ATD[128,63])

     2-fold covered by C4[ 128, 40 ] = UG(ATD[128,66])

     2-fold covered by C4[ 128, 42 ] = PL(ATD[8,1]#ATD[8,2])

     2-fold covered by C4[ 128, 43 ] = PL(ATD[8,2]#ATD[16,2])

     2-fold covered by C4[ 128, 50 ] = BGCG({4, 4}_ 8, 0; K1;{12, 15})

     2-fold covered by C4[ 128, 52 ] = BGCG(KE_16(1,7,2,11,1); K1;{3, 5, 9, 10})

     2-fold covered by C4[ 128, 53 ] = BGCG(KE_16(1,7,2,11,1); K1;{4, 6})

     2-fold covered by C4[ 128, 54 ] = SS[128, 12]

     3-fold covered by C4[ 192, 36 ] = PL(MSZ ( 12, 8, 3, 3), [4^24, 12^8])

     3-fold covered by C4[ 192, 56 ] = KE_48(1,33,22,13,23)

     3-fold covered by C4[ 192, 57 ] = PL(Curtain_24(1,5,7,11,24),[4^24,12^8])

     3-fold covered by C4[ 192, 69 ] = PL(Curtain_24(1,12,9,10,22),[4^24,12^8])

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

     3-fold covered by C4[ 192, 184 ] = SS[192, 71]

     3-fold covered by C4[ 192, 187 ] = SS[192, 74]

     3-fold covered by C4[ 192, 191 ] = SS[192, 78]

     4-fold covered by C4[ 256, 19 ] = PX( 8, 5)

     4-fold covered by C4[ 256, 40 ] = PL(RC( 4, 8), [4^32, 8^16])

     4-fold covered by C4[ 256, 41 ] = PL(SoP( 4, 16))

     4-fold covered by C4[ 256, 43 ] = UG(ATD[256,11])

     4-fold covered by C4[ 256, 44 ] = UG(ATD[256,13])

     4-fold covered by C4[ 256, 45 ] = UG(ATD[256,15])

     4-fold covered by C4[ 256, 46 ] = UG(ATD[256,17])

     4-fold covered by C4[ 256, 47 ] = UG(ATD[256,19])

     4-fold covered by C4[ 256, 54 ] = UG(ATD[256,76])

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

     4-fold covered by C4[ 256, 60 ] = UG(ATD[256,94])

     4-fold covered by C4[ 256, 61 ] = UG(ATD[256,97])

     4-fold covered by C4[ 256, 62 ] = UG(ATD[256,100])

     4-fold covered by C4[ 256, 63 ] = UG(ATD[256,103])

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

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

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

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

     4-fold covered by C4[ 256, 72 ] = UG(ATD[256,128])

     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, 75 ] = UG(ATD[256,137])

     4-fold covered by C4[ 256, 76 ] = UG(ATD[256,140])

     4-fold covered by C4[ 256, 77 ] = UG(ATD[256,143])

     4-fold covered by C4[ 256, 78 ] = UG(ATD[256,146])

     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, 81 ] = UG(ATD[256,155])

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

     4-fold covered by C4[ 256, 83 ] = UG(ATD[256,161])

     4-fold covered by C4[ 256, 84 ] = UG(ATD[256,164])

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

     4-fold covered by C4[ 256, 86 ] = UG(ATD[256,170])

     4-fold covered by C4[ 256, 87 ] = UG(ATD[256,173])

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

     4-fold covered by C4[ 256, 89 ] = UG(ATD[256,179])

     4-fold covered by C4[ 256, 90 ] = UG(ATD[256,182])

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

     4-fold covered by C4[ 256, 92 ] = UG(ATD[256,188])

     4-fold covered by C4[ 256, 93 ] = UG(ATD[256,191])

     4-fold covered by C4[ 256, 94 ] = UG(ATD[256,194])

     4-fold covered by C4[ 256, 95 ] = UG(ATD[256,197])

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

     4-fold covered by C4[ 256, 97 ] = UG(ATD[256,203])

     4-fold covered by C4[ 256, 98 ] = UG(ATD[256,206])

     4-fold covered by C4[ 256, 99 ] = UG(ATD[256,209])

     4-fold covered by C4[ 256, 100 ] = UG(ATD[256,210])

     4-fold covered by C4[ 256, 104 ] = PL(ATD[8,1]#ATD[16,2])

     4-fold covered by C4[ 256, 106 ] = PL(ATD[8,2]#ATD[16,3])

     4-fold covered by C4[ 256, 107 ] = PL(ATD[8,2]#ATD[32,1])

     4-fold covered by C4[ 256, 108 ] = PL(ATD[8,2]#ATD[32,2])

     4-fold covered by C4[ 256, 111 ] = PL(ATD[8,2]#ATD[32,7])

     4-fold covered by C4[ 256, 113 ] = PL(ATD[8,2]#ATD[32,9])

     4-fold covered by C4[ 256, 114 ] = PL(ATD[8,2]#ATD[32,11])

     4-fold covered by C4[ 256, 115 ] = PL(ATD[16,2]#ATD[16,4])

     4-fold covered by C4[ 256, 120 ] = SDD(PL(MSY( 4, 8, 3, 4)))

     4-fold covered by C4[ 256, 122 ] = PL(CS({4, 4}_ 4, 4[ 4^ 16], 1))

     4-fold covered by C4[ 256, 124 ] = PL(CS(MPS( 4, 16; 3)[ 8^ 8], 1))

     4-fold covered by C4[ 256, 126 ] = BGCG({4, 4}_ 8, 0; K2;{12, 15, 17, 19})

     4-fold covered by C4[ 256, 132 ] = SDD(KE_16(1,7,2,11,1))

     4-fold covered by C4[ 256, 133 ] = BGCG(KE_16(1,7,2,11,1); K2;{3, 4, 5, 6, 9, 10})

     4-fold covered by C4[ 256, 135 ] = BGCG({4, 4}_ 8, 8; K1;{15, 16, 18, 20})

     4-fold covered by C4[ 256, 142 ] = BGCG(UG(ATD[128,44]); K1;{9, 10, 12, 13})

     4-fold covered by C4[ 256, 143 ] = BGCG(UG(ATD[128,44]); K1;{18, 19, 20, 21})

     4-fold covered by C4[ 256, 144 ] = BGCG(UG(ATD[128,54]); K1;{12, 13, 14, 16})

     4-fold covered by C4[ 256, 145 ] = BGCG(UG(ATD[128,54]); K1;{18, 19, 20, 21})

     4-fold covered by C4[ 256, 146 ] = BGCG(UG(ATD[128,57]); K1;{5, 12})

     4-fold covered by C4[ 256, 147 ] = BGCG(UG(ATD[128,66]); K1;{2, 4})

     4-fold covered by C4[ 256, 148 ] = BGCG(UG(ATD[128,66]); K1;{6, 7})

     4-fold covered by C4[ 256, 149 ] = BGCG(UG(ATD[128,69]); K1;{3, 4})

     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]

     4-fold covered by C4[ 256, 153 ] = SS[256, 12]

     4-fold covered by C4[ 256, 154 ] = SS[256, 13]

     4-fold covered by C4[ 256, 155 ] = SS[256, 14]

     4-fold covered by C4[ 256, 156 ] = SS[256, 15]

     4-fold covered by C4[ 256, 158 ] = SS[256, 18]

     4-fold covered by C4[ 256, 159 ] = SS[256, 19]

     4-fold covered by C4[ 256, 160 ] = SS[256, 20]

     4-fold covered by C4[ 256, 161 ] = SS[256, 21]

     4-fold covered by C4[ 256, 162 ] = SS[256, 22]

     5-fold covered by C4[ 320, 50 ] = PL(MSZ ( 20, 8, 5, 3), [4^40, 20^8])

     5-fold covered by C4[ 320, 70 ] = PL(Curtain_40(1,12,1,10,22),[4^40,20^8])

     5-fold covered by C4[ 320, 76 ] = PL(Curtain_40(1,20,17,18,38),[4^40,20^8])

     5-fold covered by C4[ 320, 86 ] = UG(ATD[320,33])

     5-fold covered by C4[ 320, 88 ] = UG(ATD[320,37])

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

     5-fold covered by C4[ 320, 106 ] = UG(ATD[320,131])

     5-fold covered by C4[ 320, 107 ] = UG(ATD[320,132])

     5-fold covered by C4[ 320, 108 ] = UG(ATD[320,135])

     5-fold covered by C4[ 320, 143 ] = PL(ATD[8,2]#ATD[40,5])

     5-fold covered by C4[ 320, 144 ] = PL(ATD[8,2]#ATD[40,6])

     5-fold covered by C4[ 320, 203 ] = SS[320, 9]

     5-fold covered by C4[ 320, 211 ] = SS[320, 20]

     5-fold covered by C4[ 320, 212 ] = SS[320, 21]

     5-fold covered by C4[ 320, 213 ] = SS[320, 22]

     6-fold covered by C4[ 384, 74 ] = PL(Curtain_48(1,5,19,23,48),[4^48,24^8])

     6-fold covered by C4[ 384, 107 ] = PL(RC( 4, 12), [4^48, 12^16])

     6-fold covered by C4[ 384, 108 ] = PL(SoP( 4, 24))

     6-fold covered by C4[ 384, 208 ] = UG(ATD[384,321])

     6-fold covered by C4[ 384, 214 ] = UG(ATD[384,348])

     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, 220 ] = UG(ATD[384,366])

     6-fold covered by C4[ 384, 221 ] = UG(ATD[384,369])

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

     6-fold covered by C4[ 384, 223 ] = UG(ATD[384,375])

     6-fold covered by C4[ 384, 224 ] = UG(ATD[384,378])

     6-fold covered by C4[ 384, 225 ] = UG(ATD[384,381])

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

     6-fold covered by C4[ 384, 227 ] = UG(ATD[384,387])

     6-fold covered by C4[ 384, 228 ] = UG(ATD[384,390])

     6-fold covered by C4[ 384, 230 ] = UG(ATD[384,398])

     6-fold covered by C4[ 384, 231 ] = UG(ATD[384,401])

     6-fold covered by C4[ 384, 233 ] = UG(ATD[384,409])

     6-fold covered by C4[ 384, 234 ] = UG(ATD[384,412])

     6-fold covered by C4[ 384, 235 ] = UG(ATD[384,415])

     6-fold covered by C4[ 384, 236 ] = UG(ATD[384,418])

     6-fold covered by C4[ 384, 237 ] = UG(ATD[384,421])

     6-fold covered by C4[ 384, 238 ] = UG(ATD[384,424])

     6-fold covered by C4[ 384, 332 ] = PL(ATD[8,1]#ATD[24,5])

     6-fold covered by C4[ 384, 334 ] = PL(ATD[8,1]#ATD[24,12])

     6-fold covered by C4[ 384, 336 ] = PL(ATD[8,2]#ATD[24,2])

     6-fold covered by C4[ 384, 337 ] = PL(ATD[8,2]#ATD[24,13])

     6-fold covered by C4[ 384, 338 ] = PL(ATD[8,2]#ATD[48,12])

     6-fold covered by C4[ 384, 339 ] = PL(ATD[8,2]#ATD[48,26])

     6-fold covered by C4[ 384, 343 ] = PL(ATD[12,2]#ATD[32,7])

     6-fold covered by C4[ 384, 345 ] = PL(ATD[12,2]#ATD[32,11])

     6-fold covered by C4[ 384, 346 ] = PL(ATD[12,3]#ATD[16,2])

     6-fold covered by C4[ 384, 350 ] = PL(ATD[16,2]#ATD[24,5])

     6-fold covered by C4[ 384, 351 ] = PL(ATD[16,4]#ATD[24,5])

     6-fold covered by C4[ 384, 377 ] = SDD(KE_24(1,11,2,15,1))

     6-fold covered by C4[ 384, 447 ] = BGCG(MPS( 8, 48; 7); K1;{12, 18})

     6-fold covered by C4[ 384, 448 ] = BGCG(MPS( 8, 48; 7); K1;{13, 14})

     6-fold covered by C4[ 384, 455 ] = BGCG(KE_48(1,11,2,39,1); K1;{1, 7})

     6-fold covered by C4[ 384, 456 ] = BGCG(KE_48(1,11,2,39,1); K1;{4, 5})

     6-fold covered by C4[ 384, 457 ] = BGCG(KE_48(1,23,2,27,1); K1;{3, 4, 9, 10})

     6-fold covered by C4[ 384, 458 ] = BGCG(KE_48(1,23,2,27,1); K1;{5, 6})

     6-fold covered by C4[ 384, 463 ] = BGCG(KE_48(1,9,22,37,23); K1;{2, 3})

     6-fold covered by C4[ 384, 500 ] = BGCG(UG(ATD[192,132]); K1;5)

     6-fold covered by C4[ 384, 501 ] = BGCG(UG(ATD[192,132]); K1;8)

     6-fold covered by C4[ 384, 502 ] = BGCG(UG(ATD[192,138]); K1;2)

     6-fold covered by C4[ 384, 504 ] = BGCG(UG(ATD[192,138]); K1;7)

     7-fold covered by C4[ 448, 36 ] = PL(MSZ ( 28, 8, 7, 3), [4^56, 28^8])

     7-fold covered by C4[ 448, 46 ] = PL(Curtain_56(1,13,15,27,56),[4^56,28^8])

     7-fold covered by C4[ 448, 56 ] = PL(Curtain_56(1,28,25,26,54),[4^56,28^8])

     7-fold covered by C4[ 448, 67 ] = UG(ATD[448,70])

     7-fold covered by C4[ 448, 68 ] = UG(ATD[448,73])

     8-fold covered by C4[ 512, 28 ] = PX( 8, 6)

     8-fold covered by C4[ 512, 55 ] = PL(SoP( 4, 32))

     8-fold covered by C4[ 512, 58 ] = PL(ProjLR(4,4))

     8-fold covered by C4[ 512, 59 ] = PL(PLR2'(4)

     8-fold covered by C4[ 512, 60 ] = UG(ATD[512,19])

     8-fold covered by C4[ 512, 61 ] = UG(ATD[512,21])

     8-fold covered by C4[ 512, 62 ] = UG(ATD[512,23])

     8-fold covered by C4[ 512, 63 ] = UG(ATD[512,25])

     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, 69 ] = UG(ATD[512,47])

     8-fold covered by C4[ 512, 70 ] = UG(ATD[512,49])

     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, 75 ] = UG(ATD[512,59])

     8-fold covered by C4[ 512, 76 ] = UG(ATD[512,61])

     8-fold covered by C4[ 512, 77 ] = UG(ATD[512,63])

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

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

     8-fold covered by C4[ 512, 80 ] = UG(ATD[512,69])

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

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

     8-fold covered by C4[ 512, 83 ] = UG(ATD[512,75])

     8-fold covered by C4[ 512, 84 ] = UG(ATD[512,77])

     8-fold covered by C4[ 512, 85 ] = UG(ATD[512,79])

     8-fold covered by C4[ 512, 86 ] = UG(ATD[512,81])

     8-fold covered by C4[ 512, 87 ] = UG(ATD[512,83])

     8-fold covered by C4[ 512, 88 ] = UG(ATD[512,85])

     8-fold covered by C4[ 512, 89 ] = UG(ATD[512,87])

     8-fold covered by C4[ 512, 90 ] = UG(ATD[512,89])

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

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

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

     8-fold covered by C4[ 512, 99 ] = UG(ATD[512,107])

     8-fold covered by C4[ 512, 100 ] = UG(ATD[512,109])

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

     8-fold covered by C4[ 512, 102 ] = UG(ATD[512,113])

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

     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, 106 ] = UG(ATD[512,121])

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

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

     8-fold covered by C4[ 512, 109 ] = UG(ATD[512,127])

     8-fold covered by C4[ 512, 110 ] = UG(ATD[512,129])

     8-fold covered by C4[ 512, 111 ] = UG(ATD[512,131])

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

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

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

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

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

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

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

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

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

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

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

     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, 145 ] = UG(ATD[512,275])

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

     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, 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, 159 ] = UG(ATD[512,317])

     8-fold covered by C4[ 512, 160 ] = UG(ATD[512,320])

     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, 165 ] = UG(ATD[512,335])

     8-fold covered by C4[ 512, 166 ] = UG(ATD[512,338])

     8-fold covered by C4[ 512, 167 ] = UG(ATD[512,341])

     8-fold covered by C4[ 512, 170 ] = UG(ATD[512,350])

     8-fold covered by C4[ 512, 171 ] = UG(ATD[512,353])

     8-fold covered by C4[ 512, 172 ] = UG(ATD[512,356])

     8-fold covered by C4[ 512, 173 ] = UG(ATD[512,359])

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

     8-fold covered by C4[ 512, 175 ] = UG(ATD[512,365])

     8-fold covered by C4[ 512, 176 ] = UG(ATD[512,368])

     8-fold covered by C4[ 512, 177 ] = UG(ATD[512,371])

     8-fold covered by C4[ 512, 178 ] = UG(ATD[512,374])

     8-fold covered by C4[ 512, 179 ] = UG(ATD[512,377])

     8-fold covered by C4[ 512, 180 ] = UG(ATD[512,380])

     8-fold covered by C4[ 512, 181 ] = UG(ATD[512,383])

     8-fold covered by C4[ 512, 182 ] = UG(ATD[512,386])

     8-fold covered by C4[ 512, 183 ] = UG(ATD[512,389])

     8-fold covered by C4[ 512, 184 ] = UG(ATD[512,392])

     8-fold covered by C4[ 512, 185 ] = UG(ATD[512,395])

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

     8-fold covered by C4[ 512, 187 ] = UG(ATD[512,401])

     8-fold covered by C4[ 512, 188 ] = UG(ATD[512,404])

     8-fold covered by C4[ 512, 189 ] = UG(ATD[512,405])

     8-fold covered by C4[ 512, 190 ] = UG(ATD[512,406])

     8-fold covered by C4[ 512, 191 ] = UG(ATD[512,407])

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

     8-fold covered by C4[ 512, 197 ] = UG(ATD[512,417])

     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, 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, 212 ] = UG(ATD[512,462])

     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, 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, 237 ] = UG(ATD[512,531])

     8-fold covered by C4[ 512, 238 ] = UG(ATD[512,534])

     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, 244 ] = UG(ATD[512,551])

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

     8-fold covered by C4[ 512, 246 ] = UG(ATD[512,557])

     8-fold covered by C4[ 512, 247 ] = UG(ATD[512,560])

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

     8-fold covered by C4[ 512, 249 ] = UG(ATD[512,566])

     8-fold covered by C4[ 512, 250 ] = UG(ATD[512,569])

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

     8-fold covered by C4[ 512, 252 ] = UG(ATD[512,575])

     8-fold covered by C4[ 512, 253 ] = UG(ATD[512,576])

     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, 256 ] = UG(ATD[512,581])

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

     8-fold covered by C4[ 512, 258 ] = UG(ATD[512,587])

     8-fold covered by C4[ 512, 259 ] = UG(ATD[512,590])

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

     8-fold covered by C4[ 512, 261 ] = UG(ATD[512,596])

     8-fold covered by C4[ 512, 262 ] = UG(ATD[512,599])

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

     8-fold covered by C4[ 512, 264 ] = UG(ATD[512,605])

     8-fold covered by C4[ 512, 265 ] = UG(ATD[512,608])

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

     8-fold covered by C4[ 512, 267 ] = UG(ATD[512,614])

     8-fold covered by C4[ 512, 268 ] = UG(ATD[512,617])

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

     8-fold covered by C4[ 512, 270 ] = UG(ATD[512,623])

     8-fold covered by C4[ 512, 271 ] = UG(ATD[512,626])

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

     8-fold covered by C4[ 512, 273 ] = UG(ATD[512,632])

     8-fold covered by C4[ 512, 274 ] = UG(ATD[512,635])

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

     8-fold covered by C4[ 512, 276 ] = UG(ATD[512,641])

     8-fold covered by C4[ 512, 277 ] = UG(ATD[512,644])

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

     8-fold covered by C4[ 512, 279 ] = UG(ATD[512,650])

     8-fold covered by C4[ 512, 280 ] = UG(ATD[512,653])

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

     8-fold covered by C4[ 512, 282 ] = UG(ATD[512,659])

     8-fold covered by C4[ 512, 283 ] = UG(ATD[512,662])

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

     8-fold covered by C4[ 512, 285 ] = UG(ATD[512,668])

     8-fold covered by C4[ 512, 286 ] = UG(ATD[512,671])

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

     8-fold covered by C4[ 512, 288 ] = UG(ATD[512,677])

     8-fold covered by C4[ 512, 289 ] = UG(ATD[512,680])

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

     8-fold covered by C4[ 512, 291 ] = UG(ATD[512,689])

     8-fold covered by C4[ 512, 292 ] = UG(ATD[512,692])

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

     8-fold covered by C4[ 512, 294 ] = UG(ATD[512,698])

     8-fold covered by C4[ 512, 295 ] = UG(ATD[512,701])

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

     8-fold covered by C4[ 512, 297 ] = UG(ATD[512,707])

     8-fold covered by C4[ 512, 298 ] = UG(ATD[512,710])

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

     8-fold covered by C4[ 512, 300 ] = UG(ATD[512,716])

     8-fold covered by C4[ 512, 301 ] = UG(ATD[512,719])

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

     8-fold covered by C4[ 512, 303 ] = UG(ATD[512,721])

     8-fold covered by C4[ 512, 304 ] = UG(ATD[512,722])

     8-fold covered by C4[ 512, 306 ] = PL(ATD[8,1]#ATD[32,1])

     8-fold covered by C4[ 512, 307 ] = PL(ATD[8,1]#ATD[32,2])

     8-fold covered by C4[ 512, 308 ] = PL(ATD[8,1]#ATD[32,3])

     8-fold covered by C4[ 512, 309 ] = PL(ATD[8,1]#ATD[32,4])

     8-fold covered by C4[ 512, 310 ] = PL(ATD[8,1]#ATD[32,6])

     8-fold covered by C4[ 512, 311 ] = PL(ATD[8,1]#ATD[32,7])

     8-fold covered by C4[ 512, 312 ] = PL(ATD[8,1]#ATD[32,8])

     8-fold covered by C4[ 512, 313 ] = PL(ATD[8,1]#ATD[32,9])

     8-fold covered by C4[ 512, 314 ] = PL(ATD[8,1]#ATD[32,11])

     8-fold covered by C4[ 512, 317 ] = PL(ATD[8,2]#ATD[32,10])

     8-fold covered by C4[ 512, 320 ] = PL(ATD[8,2]#ATD[64,4])

     8-fold covered by C4[ 512, 322 ] = PL(ATD[8,2]#ATD[64,6])

     8-fold covered by C4[ 512, 323 ] = PL(ATD[8,2]#ATD[64,7])

     8-fold covered by C4[ 512, 325 ] = PL(ATD[8,2]#ATD[64,10])

     8-fold covered by C4[ 512, 326 ] = PL(ATD[8,2]#ATD[64,11])

     8-fold covered by C4[ 512, 331 ] = PL(ATD[8,2]#ATD[64,16])

     8-fold covered by C4[ 512, 333 ] = PL(ATD[8,2]#ATD[64,18])

     8-fold covered by C4[ 512, 334 ] = PL(ATD[8,2]#ATD[64,19])

     8-fold covered by C4[ 512, 335 ] = PL(ATD[8,2]#ATD[64,20])

     8-fold covered by C4[ 512, 337 ] = PL(ATD[8,2]#ATD[64,22])

     8-fold covered by C4[ 512, 338 ] = PL(ATD[8,2]#ATD[64,23])

     8-fold covered by C4[ 512, 339 ] = PL(ATD[8,2]#ATD[64,24])

     8-fold covered by C4[ 512, 340 ] = PL(ATD[8,2]#ATD[64,26])

     8-fold covered by C4[ 512, 341 ] = PL(ATD[8,2]#ATD[64,27])

     8-fold covered by C4[ 512, 342 ] = PL(ATD[8,2]#ATD[64,28])

     8-fold covered by C4[ 512, 343 ] = PL(ATD[8,2]#ATD[64,29])

     8-fold covered by C4[ 512, 345 ] = PL(ATD[16,2]#ATD[16,3])

     8-fold covered by C4[ 512, 346 ] = PL(ATD[16,2]#ATD[32,1])

     8-fold covered by C4[ 512, 347 ] = PL(ATD[16,2]#ATD[32,2])

     8-fold covered by C4[ 512, 348 ] = PL(ATD[16,2]#ATD[32,4])

     8-fold covered by C4[ 512, 349 ] = PL(ATD[16,2]#ATD[32,7])

     8-fold covered by C4[ 512, 350 ] = PL(ATD[16,2]#ATD[32,8])

     8-fold covered by C4[ 512, 351 ] = PL(ATD[16,2]#ATD[32,9])

     8-fold covered by C4[ 512, 352 ] = PL(ATD[16,2]#ATD[32,11])

     8-fold covered by C4[ 512, 353 ] = PL(ATD[16,3]#ATD[16,4])

     8-fold covered by C4[ 512, 354 ] = PL(ATD[16,4]#ATD[32,1])

     8-fold covered by C4[ 512, 355 ] = PL(ATD[16,4]#ATD[32,2])

     8-fold covered by C4[ 512, 357 ] = PL(ATD[16,4]#ATD[32,4])

     8-fold covered by C4[ 512, 358 ] = PL(ATD[16,4]#ATD[32,7])

     8-fold covered by C4[ 512, 359 ] = PL(ATD[16,4]#ATD[32,8])

     8-fold covered by C4[ 512, 360 ] = PL(ATD[16,4]#ATD[32,9])

     8-fold covered by C4[ 512, 361 ] = PL(ATD[16,4]#ATD[32,11])

     8-fold covered by C4[ 512, 362 ] = XI(Rmap(256,6){4,8|8}_8)

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

     8-fold covered by C4[ 512, 370 ] = SDD(AMC( 8, 8, [ 1. 1: 0. 1]))

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

     8-fold covered by C4[ 512, 374 ] = SDD(UG(ATD[128,21]))

     8-fold covered by C4[ 512, 378 ] = PL(CS({4, 4}_ 8, 0[ 4^ 32], 1))

     8-fold covered by C4[ 512, 386 ] = PL(CS(MPS( 8, 16; 3)[ 8^ 16], 1))

     8-fold covered by C4[ 512, 388 ] = PL(CS(MPS( 4, 32; 7)[ 16^ 8], 1))

     8-fold covered by C4[ 512, 390 ] = PL(CS(PX( 8, 3)[ 8^ 16], 1))

     8-fold covered by C4[ 512, 391 ] = PL(CS(PL(MSY( 4, 8, 3, 4))[ 4^ 32], 1))

     8-fold covered by C4[ 512, 392 ] = PL(CS(PL(MSY( 4, 8, 3, 4))[ 8^ 16], 1))

     8-fold covered by C4[ 512, 393 ] = PL(CS(PL(MSY( 4, 8, 3, 4))[ 8^ 16], 1))

     8-fold covered by C4[ 512, 395 ] = PL(CS(KE_16(1,7,2,11,1)[ 8^ 16], 1))

     8-fold covered by C4[ 512, 396 ] = PL(CS(KE_16(1,7,2,11,1)[ 16^ 8], 1))

     8-fold covered by C4[ 512, 397 ] = PL(CS(KE_16(1,7,2,11,1)[ 16^ 8], 1))

     8-fold covered by C4[ 512, 398 ] = PL(CS(UG(ATD[64,10])[ 8^ 16], 1))

     8-fold covered by C4[ 512, 399 ] = PL(CS(UG(ATD[64,10])[ 8^ 16], 1))

     8-fold covered by C4[ 512, 400 ] = BGCG({4, 4}_ 8, 8; K2;{15, 16, 18, 20})

     8-fold covered by C4[ 512, 407 ] = BGCG(PX( 8, 4); K2;{1, 4, 5, 14})

     8-fold covered by C4[ 512, 409 ] = SDD(KE_32(1,15,2,19,1))

     8-fold covered by C4[ 512, 410 ] = BGCG(KE_32(1,15,2,19,1); K2;{1, 3, 5, 6, 9, 10})

     8-fold covered by C4[ 512, 411 ] = BGCG(UG(ATD[128,42]); K2;{8, 9, 10, 11})

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

     8-fold covered by C4[ 512, 418 ] = SDD(UG(ATD[128,60]))

     8-fold covered by C4[ 512, 419 ] = BGCG(UG(ATD[128,60]); K2;{1, 6})

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

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

     8-fold covered by C4[ 512, 422 ] = BGCG(UG(ATD[128,66]); K2;{2, 4})

     8-fold covered by C4[ 512, 423 ] = BGCG(UG(ATD[128,66]); K2;{6, 7})

     8-fold covered by C4[ 512, 424 ] = SDD(UG(ATD[128,69]))

     8-fold covered by C4[ 512, 425 ] = BGCG(UG(ATD[128,69]); K2;{3, 4})

     8-fold covered by C4[ 512, 429 ] = BGCG({4, 4}_ 16, 0; K1;{20, 24, 28, 31})

     8-fold covered by C4[ 512, 430 ] = BGCG({4, 4}_ 16, 0; K1;{21, 23, 27, 35})

     8-fold covered by C4[ 512, 433 ] = BGCG(PX( 8, 5); K1;{4, 9})

     8-fold covered by C4[ 512, 434 ] = BGCG(PL(MSY( 8, 16, 7, 8)); K1;{1, 2})

     8-fold covered by C4[ 512, 435 ] = BGCG(PL(MSY( 8, 16, 7, 8)); K1;{4, 9})

     8-fold covered by C4[ 512, 441 ] = BGCG(UG(ATD[256,97]); K1;{7, 14})

     8-fold covered by C4[ 512, 442 ] = BGCG(UG(ATD[256,97]); K1;{8, 12})

     8-fold covered by C4[ 512, 443 ] = BGCG(UG(ATD[256,106]); K1;{3, 4})

     8-fold covered by C4[ 512, 444 ] = BGCG(UG(ATD[256,106]); K1;{5, 7})

     8-fold covered by C4[ 512, 450 ] = BGCG(UG(ATD[256,128]); K1;{8, 10, 12, 16})

     8-fold covered by C4[ 512, 454 ] = BGCG(UG(ATD[256,137]); K1;{2, 4, 5, 7})

     8-fold covered by C4[ 512, 455 ] = BGCG(UG(ATD[256,137]); K1;{3, 6, 9, 14})

     8-fold covered by C4[ 512, 457 ] = BGCG(UG(ATD[256,137]); K1;{36, 38, 39, 41})

     8-fold covered by C4[ 512, 458 ] = BGCG(UG(ATD[256,137]); K1;{37, 40, 42, 43})

     8-fold covered by C4[ 512, 459 ] = BGCG(UG(ATD[256,140]); K1;{2, 9})

     8-fold covered by C4[ 512, 460 ] = BGCG(UG(ATD[256,140]); K1;{7, 8})

     8-fold covered by C4[ 512, 461 ] = BGCG(UG(ATD[256,140]); K1;{12, 14})

     8-fold covered by C4[ 512, 462 ] = BGCG(UG(ATD[256,140]); K1;{13, 15})

     8-fold covered by C4[ 512, 463 ] = BGCG(UG(ATD[256,155]); K1;{3, 8})

     8-fold covered by C4[ 512, 464 ] = BGCG(UG(ATD[256,155]); K1;{6, 10})

     8-fold covered by C4[ 512, 465 ] = BGCG(UG(ATD[256,158]); K1;{5, 7})

     8-fold covered by C4[ 512, 466 ] = BGCG(UG(ATD[256,164]); K1;{1, 3})

     8-fold covered by C4[ 512, 467 ] = BGCG(UG(ATD[256,167]); K1;{1, 5, 17, 29, 41, 53})

     8-fold covered by C4[ 512, 469 ] = BGCG(UG(ATD[256,167]); K1;{12, 13, 14, 15})

     8-fold covered by C4[ 512, 472 ] = BGCG(UG(ATD[256,167]); K1;{42, 48})

     8-fold covered by C4[ 512, 473 ] = BGCG(UG(ATD[256,167]); K1;{47, 52, 57, 61})

     8-fold covered by C4[ 512, 474 ] = BGCG(UG(ATD[256,167]); K1;{50, 60})

     8-fold covered by C4[ 512, 475 ] = BGCG(UG(ATD[256,170]); K1;{1, 11, 13, 15})

     8-fold covered by C4[ 512, 476 ] = BGCG(UG(ATD[256,170]); K1;{3, 12})

     8-fold covered by C4[ 512, 477 ] = BGCG(UG(ATD[256,170]); K1;{6, 9})

     8-fold covered by C4[ 512, 478 ] = BGCG(UG(ATD[256,173]); K1;{1, 4, 11, 12})

     8-fold covered by C4[ 512, 479 ] = BGCG(UG(ATD[256,176]); K1;{1, 6})

     8-fold covered by C4[ 512, 480 ] = BGCG(UG(ATD[256,176]); K1;{2, 4, 8, 9})

     8-fold covered by C4[ 512, 481 ] = BGCG(UG(ATD[256,176]); K1;{3, 14})

     8-fold covered by C4[ 512, 482 ] = BGCG(UG(ATD[256,176]); K1;{7, 10})

     8-fold covered by C4[ 512, 483 ] = BGCG(UG(ATD[256,176]); K1;{12, 13})

     8-fold covered by C4[ 512, 484 ] = BGCG(UG(ATD[256,179]); K1;{1, 10})

     8-fold covered by C4[ 512, 485 ] = BGCG(UG(ATD[256,179]); K1;{2, 3})

     8-fold covered by C4[ 512, 486 ] = BGCG(UG(ATD[256,182]); K1;{2, 7})

     8-fold covered by C4[ 512, 487 ] = BGCG(UG(ATD[256,182]); K1;3)

     8-fold covered by C4[ 512, 489 ] = BGCG(UG(ATD[256,188]); K1;{2, 4})

     8-fold covered by C4[ 512, 491 ] = BGCG(UG(ATD[256,191]); K1;{5, 6, 11, 13, 18, 21})

     8-fold covered by C4[ 512, 493 ] = BGCG(UG(ATD[256,194]); K1;{2, 3, 6, 7})

     8-fold covered by C4[ 512, 495 ] = BGCG(UG(ATD[256,206]); K1;{13, 16, 19, 22})

     8-fold covered by C4[ 512, 496 ] = BGCG(UG(ATD[256,206]); K1;{14, 15, 18, 23})

     8-fold covered by C4[ 512, 497 ] = BGCG(UG(ATD[256,206]); K1;{24, 26, 29, 30})

     8-fold covered by C4[ 512, 499 ] = BGCG(UG(ATD[256,206]); K1;{33, 36, 39, 42})

     8-fold covered by C4[ 512, 500 ] = BGCG(UG(ATD[256,206]); K1;{34, 35, 38, 43})

     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, 504 ] = SS[512, 5]

     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, 507 ] = SS[512, 8]

     8-fold covered by C4[ 512, 508 ] = SS[512, 9]

     8-fold covered by C4[ 512, 509 ] = SS[512, 10]

     8-fold covered by C4[ 512, 510 ] = SS[512, 11]

     8-fold covered by C4[ 512, 511 ] = SS[512, 12]

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

     8-fold covered by C4[ 512, 513 ] = SS[512, 14]

     8-fold covered by C4[ 512, 514 ] = SS[512, 15]

     8-fold covered by C4[ 512, 515 ] = SS[512, 16]

     8-fold covered by C4[ 512, 516 ] = SS[512, 17]

     8-fold covered by C4[ 512, 517 ] = SS[512, 40]

     8-fold covered by C4[ 512, 518 ] = SS[512, 41]

     8-fold covered by C4[ 512, 519 ] = SS[512, 42]

     8-fold covered by C4[ 512, 520 ] = SS[512, 43]

     8-fold covered by C4[ 512, 521 ] = SS[512, 44]

     8-fold covered by C4[ 512, 522 ] = SS[512, 45]

     8-fold covered by C4[ 512, 523 ] = SS[512, 55]

     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, 531 ] = SS[512, 64]

     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, 534 ] = SS[512, 67]

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

     8-fold covered by C4[ 512, 536 ] = SS[512, 69]

     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, 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, 550 ] = SS[512, 83]

     8-fold covered by C4[ 512, 551 ] = SS[512, 84]

     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, 556 ] = SS[512, 91]

     8-fold covered by C4[ 512, 557 ] = SS[512, 92]

     8-fold covered by C4[ 512, 558 ] = SS[512, 93]

     8-fold covered by C4[ 512, 562 ] = SS[512, 97]

     8-fold covered by C4[ 512, 563 ] = SS[512, 98]

     8-fold covered by C4[ 512, 564 ] = SS[512, 99]

     8-fold covered by C4[ 512, 565 ] = SS[512, 100]

     8-fold covered by C4[ 512, 566 ] = SS[512, 101]

     8-fold covered by C4[ 512, 567 ] = SS[512, 102]

     8-fold covered by C4[ 512, 568 ] = SS[512, 103]

     8-fold covered by C4[ 512, 569 ] = SS[512, 104]

     8-fold covered by C4[ 512, 570 ] = SS[512, 105]

     8-fold covered by C4[ 512, 571 ] = SS[512, 106]

     8-fold covered by C4[ 512, 572 ] = SS[512, 107]

     8-fold covered by C4[ 512, 573 ] = SS[512, 108]

     8-fold covered by C4[ 512, 574 ] = SS[512, 109]

     8-fold covered by C4[ 512, 575 ] = SS[512, 110]

     8-fold covered by C4[ 512, 576 ] = SS[512, 111]

     8-fold covered by C4[ 512, 577 ] = SS[512, 112]

     8-fold covered by C4[ 512, 578 ] = SS[512, 113]

     8-fold covered by C4[ 512, 579 ] = SS[512, 114]

     8-fold covered by C4[ 512, 580 ] = SS[512, 115]

     8-fold covered by C4[ 512, 581 ] = SS[512, 116]

     8-fold covered by C4[ 512, 582 ] = SS[512, 117]

     8-fold covered by C4[ 512, 583 ] = SS[512, 118]

     8-fold covered by C4[ 512, 584 ] = SS[512, 119]

     8-fold covered by C4[ 512, 585 ] = SS[512, 120]

     8-fold covered by C4[ 512, 586 ] = SS[512, 121]

     8-fold covered by C4[ 512, 587 ] = SS[512, 122]

     8-fold covered by C4[ 512, 588 ] = SS[512, 123]

     8-fold covered by C4[ 512, 589 ] = SS[512, 125]

     8-fold covered by C4[ 512, 590 ] = SS[512, 127]

     8-fold covered by C4[ 512, 591 ] = SS[512, 128]

     8-fold covered by C4[ 512, 592 ] = SS[512, 129]

     8-fold covered by C4[ 512, 593 ] = SS[512, 130]

     8-fold covered by C4[ 512, 594 ] = SS[512, 131]

     8-fold covered by C4[ 512, 595 ] = SS[512, 132]

     8-fold covered by C4[ 512, 596 ] = SS[512, 133]

     8-fold covered by C4[ 512, 597 ] = SS[512, 134]

     8-fold covered by C4[ 512, 598 ] = SS[512, 135]

     8-fold covered by C4[ 512, 599 ] = SS[512, 136]

     8-fold covered by C4[ 512, 600 ] = SS[512, 137]

     8-fold covered by C4[ 512, 601 ] = SS[512, 138]

     8-fold covered by C4[ 512, 602 ] = SS[512, 139]

     8-fold covered by C4[ 512, 603 ] = SS[512, 140]

     8-fold covered by C4[ 512, 604 ] = SS[512, 141]

     8-fold covered by C4[ 512, 605 ] = SS[512, 142]

     8-fold covered by C4[ 512, 606 ] = SS[512, 143]

     8-fold covered by C4[ 512, 607 ] = SS[512, 144]

     8-fold covered by C4[ 512, 608 ] = SS[512, 145]

     8-fold covered by C4[ 512, 609 ] = SS[512, 146]

     8-fold covered by C4[ 512, 610 ] = SS[512, 147]

     8-fold covered by C4[ 512, 611 ] = SS[512, 148]

     8-fold covered by C4[ 512, 612 ] = SS[512, 149]

     8-fold covered by C4[ 512, 617 ] = SS[512, 161]

     8-fold covered by C4[ 512, 618 ] = SS[512, 163]

BGCG dissections of this graph

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

     Base Graph: C4[ 16, 1 ] = W( 8, 2)   connection graph:  [K_2]

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

     Base Graph: C4[ 32, 2 ] = {4, 4}_ 4, 4   connection graph:  [K_1]

     Base Graph: C4[ 32, 4 ] = MPS( 4, 16; 3)   connection graph:  [K_1]

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

      C4[ 128, 13 ] = PX( 8, 4)    with connection graph  [K_1]

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

      C4[ 256, 19 ] = PX( 8, 5)    with connection graph  [K_2]

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

      C4[ 256, 41 ] = PL(SoP( 4, 16))    with connection graph  [K_2]

      C4[ 256, 54 ] = UG(ATD[256,76])    with connection graph  [K_2]

      C4[ 256, 60 ] = UG(ATD[256,94])    with connection graph  [K_2]

      C4[ 256, 72 ] = UG(ATD[256,128])    with connection graph  [K_2]

      C4[ 256, 75 ] = UG(ATD[256,137])    with connection graph  [K_2]

      C4[ 256, 78 ] = UG(ATD[256,146])    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, 124 ] = PL(CS(MPS( 4, 16; 3)[ 8^ 8], 1))    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, 142 ] = BGCG(UG(ATD[128,44]); K1;{9, 10, 12, 13})    with connection graph  [K_2]

      C4[ 256, 150 ] = SS[256, 1]    with connection graph  [K_2]

      C4[ 256, 151 ] = SS[256, 2]    with connection graph  [K_2]

      C4[ 256, 153 ] = SS[256, 12]    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, 28 ] = PX( 8, 6)    with connection graph  [C_4]

      C4[ 512, 159 ] = UG(ATD[512,317])    with connection graph  [C_4]

      C4[ 512, 160 ] = UG(ATD[512,320])    with connection graph  [C_4]

      C4[ 512, 167 ] = UG(ATD[512,341])    with connection graph  [C_4]

      C4[ 512, 236 ] = UG(ATD[512,528])    with connection graph  [C_4]

      C4[ 512, 237 ] = UG(ATD[512,531])    with connection graph  [C_4]

      C4[ 512, 238 ] = UG(ATD[512,534])    with connection graph  [C_4]

      C4[ 512, 243 ] = UG(ATD[512,549])    with connection graph  [C_4]

      C4[ 512, 297 ] = UG(ATD[512,707])    with connection graph  [C_4]

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

      C4[ 512, 343 ] = PL(ATD[8,2]#ATD[64,29])    with connection graph  [C_4]

      C4[ 512, 352 ] = PL(ATD[16,2]#ATD[32,11])    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, 361 ] = PL(ATD[16,4]#ATD[32,11])    with connection graph  [C_4]

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

      C4[ 512, 412 ] = BGCG(UG(ATD[128,44]); K2;{9, 10, 12, 13})    with connection graph  [C_4]

      C4[ 512, 416 ] = BGCG(UG(ATD[128,54]); K2;{12, 13, 14, 16})    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, 419 ] = BGCG(UG(ATD[128,60]); K2;{1, 6})    with connection graph  [C_4]

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

      C4[ 512, 449 ] = BGCG(UG(ATD[256,123]); K1;{19, 20})    with connection graph  [C_4]

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

      C4[ 512, 468 ] = BGCG(UG(ATD[256,167]); K1;{6, 10})    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, 471 ] = BGCG(UG(ATD[256,167]); K1;{40, 51, 54, 63})    with connection graph  [C_4]

      C4[ 512, 472 ] = BGCG(UG(ATD[256,167]); K1;{42, 48})    with connection graph  [C_4]

      C4[ 512, 488 ] = BGCG(UG(ATD[256,188]); K1;1)    with connection graph  [C_4]

      C4[ 512, 490 ] = BGCG(UG(ATD[256,188]); K1;7)    with connection graph  [C_4]

      C4[ 512, 501 ] = SS[512, 1]    with connection graph  [C_4]

      C4[ 512, 502 ] = SS[512, 3]    with connection graph  [C_4]

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

      C4[ 512, 504 ] = SS[512, 5]    with connection graph  [C_4]

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

      C4[ 512, 507 ] = SS[512, 8]    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, 511 ] = SS[512, 12]    with connection graph  [C_4]

      C4[ 512, 512 ] = SS[512, 13]    with connection graph  [C_4]

      C4[ 512, 513 ] = SS[512, 14]    with connection graph  [C_4]

      C4[ 512, 515 ] = SS[512, 16]    with connection graph  [C_4]

      C4[ 512, 516 ] = SS[512, 17]    with connection graph  [C_4]

      C4[ 512, 517 ] = SS[512, 40]    with connection graph  [C_4]

      C4[ 512, 518 ] = SS[512, 41]    with connection graph  [C_4]

      C4[ 512, 521 ] = SS[512, 44]    with connection graph  [C_4]

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

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

      C4[ 512, 536 ] = SS[512, 69]    with connection graph  [C_4]

      C4[ 512, 552 ] = SS[512, 85]    with connection graph  [C_4]

      C4[ 512, 554 ] = SS[512, 89]    with connection graph  [C_4]

      C4[ 512, 555 ] = SS[512, 90]    with connection graph  [C_4]

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

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

      C4[ 512, 567 ] = SS[512, 102]    with connection graph  [C_4]

      C4[ 512, 568 ] = SS[512, 103]    with connection graph  [C_4]

      C4[ 512, 569 ] = SS[512, 104]    with connection graph  [C_4]

      C4[ 512, 570 ] = SS[512, 105]    with connection graph  [C_4]

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

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

      C4[ 512, 578 ] = SS[512, 113]    with connection graph  [C_4]

      C4[ 512, 580 ] = SS[512, 115]    with connection graph  [C_4]

      C4[ 512, 581 ] = SS[512, 116]    with connection graph  [C_4]

      C4[ 512, 582 ] = SS[512, 117]    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, 591 ] = SS[512, 128]    with connection graph  [C_4]

      C4[ 512, 592 ] = SS[512, 129]    with connection graph  [C_4]

      C4[ 512, 603 ] = SS[512, 140]    with connection graph  [C_4]

      C4[ 512, 604 ] = SS[512, 141]    with connection graph  [C_4]

      C4[ 512, 605 ] = SS[512, 142]    with connection graph  [C_4]

      C4[ 512, 606 ] = SS[512, 143]    with connection graph  [C_4]

      C4[ 512, 644 ] = SS[512, 198]    with connection graph  [C_4]

      C4[ 512, 645 ] = SS[512, 199]    with connection graph  [C_4]

      C4[ 512, 651 ] = SS[512, 205]    with connection graph  [C_4]

      C4[ 512, 652 ] = SS[512, 206]    with connection graph  [C_4]

      C4[ 512, 654 ] = SS[512, 208]    with connection graph  [C_4]

      C4[ 512, 655 ] = SS[512, 209]    with connection graph  [C_4]

      C4[ 512, 656 ] = SS[512, 210]    with connection graph  [C_4]

      C4[ 512, 657 ] = SS[512, 211]    with connection graph  [C_4]

      C4[ 512, 664 ] = SS[512, 218]    with connection graph  [C_4]