C4graphGraphs related to C4[ 32, 2 ] = {4,4}_4,4

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

On this page are all graphs related to C4[ 32, 2 ].

Graphs which this one covers

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

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

Graphs which cover this one

     2-fold covered by C4[ 64, 2 ] = {4, 4}_ 8, 0

     2-fold covered by C4[ 64, 3 ] = {4, 4}_[ 8, 4]

     2-fold covered by C4[ 64, 5 ] = PS( 8, 16; 3)

     2-fold covered by C4[ 64, 6 ] = MPS( 8, 16; 3)

     2-fold covered by C4[ 64, 9 ] = PL(MSY( 4, 8, 3, 0))

     2-fold covered by C4[ 64, 10 ] = PL(MSY( 4, 8, 3, 4))

     3-fold covered by C4[ 96, 6 ] = {4, 4}_[ 12, 4]

     3-fold covered by C4[ 96, 10 ] = PS( 8, 24; 5)

     3-fold covered by C4[ 96, 15 ] = PL(MSY( 4, 12, 5, 0))

     4-fold covered by C4[ 128, 2 ] = {4, 4}_ 8, 8

     4-fold covered by C4[ 128, 3 ] = {4, 4}_< 12, 4>

     4-fold covered by C4[ 128, 4 ] = {4, 4}_[ 16, 4]

     4-fold covered by C4[ 128, 6 ] = PS( 16, 16; 3)

     4-fold covered by C4[ 128, 7 ] = MPS( 16, 16; 3)

     4-fold covered by C4[ 128, 8 ] = PS( 8, 32; 3)

     4-fold covered by C4[ 128, 9 ] = PS( 8, 32; 7)

     4-fold covered by C4[ 128, 10 ] = MPS( 8, 32; 3)

     4-fold covered by C4[ 128, 14 ] = PL(MSY( 4, 16, 7, 0))

     4-fold covered by C4[ 128, 15 ] = PL(MSY( 4, 16, 7, 8))

     4-fold covered by C4[ 128, 16 ] = PL(MSY( 8, 8, 3, 0))

     4-fold covered by C4[ 128, 17 ] = MSY( 8, 16, 9, 8)

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

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

     4-fold covered by C4[ 128, 29 ] = UG(ATD[128,5])

     4-fold covered by C4[ 128, 30 ] = UG(ATD[128,7])

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

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

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

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

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

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

     4-fold covered by C4[ 128, 41 ] = UG(ATD[128,69])

     4-fold covered by C4[ 128, 49 ] = BGCG({4, 4}_ 8, 0; K1;{2, 7, 10, 11})

     4-fold covered by C4[ 128, 56 ] = SS[128, 19]

     5-fold covered by C4[ 160, 5 ] = {4, 4}_ 12, 4

     5-fold covered by C4[ 160, 7 ] = {4, 4}_[ 20, 4]

     5-fold covered by C4[ 160, 14 ] = PS( 8, 40; 3)

     5-fold covered by C4[ 160, 15 ] = PS( 8, 40; 9)

     5-fold covered by C4[ 160, 24 ] = PL(MSY( 4, 20, 11, 0))

     5-fold covered by C4[ 160, 41 ] = KE_40(1,25,18,13,19)

     5-fold covered by C4[ 160, 48 ] = UG(ATD[160,17])

     5-fold covered by C4[ 160, 70 ] = BGCG(KE_20(1,7,2,15,1); K1;{4, 5})

     6-fold covered by C4[ 192, 4 ] = {4, 4}_[ 12, 8]

     6-fold covered by C4[ 192, 7 ] = {4, 4}_< 16, 8>

     6-fold covered by C4[ 192, 8 ] = {4, 4}_[ 24, 4]

     6-fold covered by C4[ 192, 10 ] = PS( 24, 16; 3)

     6-fold covered by C4[ 192, 11 ] = MPS( 24, 16; 3)

     6-fold covered by C4[ 192, 12 ] = PS( 16, 24; 5)

     6-fold covered by C4[ 192, 15 ] = PS( 8, 48; 5)

     6-fold covered by C4[ 192, 16 ] = PS( 8, 48; 11)

     6-fold covered by C4[ 192, 17 ] = MPS( 8, 48; 5)

     6-fold covered by C4[ 192, 18 ] = MPS( 8, 48; 7)

     6-fold covered by C4[ 192, 24 ] = PL(MSY( 4, 24, 11, 0))

     6-fold covered by C4[ 192, 25 ] = PL(MSY( 4, 24, 11, 12))

     6-fold covered by C4[ 192, 26 ] = PL(MSY( 4, 24, 5, 0))

     6-fold covered by C4[ 192, 27 ] = PL(MSY( 4, 24, 5, 12))

     6-fold covered by C4[ 192, 28 ] = PL(MSY( 4, 24, 17, 0))

     6-fold covered by C4[ 192, 29 ] = PL(MSY( 4, 24, 17, 12))

     6-fold covered by C4[ 192, 32 ] = PL(MSY( 8, 12, 5, 0))

     6-fold covered by C4[ 192, 33 ] = PL(MSY( 12, 8, 3, 0))

     6-fold covered by C4[ 192, 45 ] = PL(KE_24(3,7,6,23,3),[8^12,12^8])

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

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

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

     6-fold covered by C4[ 192, 97 ] = UG(ATD[192,132])

     6-fold covered by C4[ 192, 98 ] = UG(ATD[192,135])

     6-fold covered by C4[ 192, 99 ] = UG(ATD[192,138])

     6-fold covered by C4[ 192, 176 ] = SS[192, 61]

     6-fold covered by C4[ 192, 177 ] = SS[192, 62]

     6-fold covered by C4[ 192, 178 ] = SS[192, 63]

     6-fold covered by C4[ 192, 179 ] = SS[192, 64]

     6-fold covered by C4[ 192, 186 ] = SS[192, 73]

     6-fold covered by C4[ 192, 189 ] = SS[192, 76]

     6-fold covered by C4[ 192, 192 ] = SS[192, 79]

     6-fold covered by C4[ 192, 193 ] = SS[192, 80]

     6-fold covered by C4[ 192, 194 ] = SS[192, 82]

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

     7-fold covered by C4[ 224, 6 ] = {4, 4}_[ 28, 4]

     7-fold covered by C4[ 224, 10 ] = PS( 8, 56; 13)

     7-fold covered by C4[ 224, 15 ] = PL(MSY( 4, 28, 13, 0))

     8-fold covered by C4[ 256, 2 ] = {4, 4}_ 16, 0

     8-fold covered by C4[ 256, 3 ] = {4, 4}_[ 16, 8]

     8-fold covered by C4[ 256, 4 ] = {4, 4}_< 20, 12>

     8-fold covered by C4[ 256, 5 ] = {4, 4}_[ 32, 4]

     8-fold covered by C4[ 256, 7 ] = PS( 32, 16; 3)

     8-fold covered by C4[ 256, 8 ] = MPS( 32, 16; 3)

     8-fold covered by C4[ 256, 9 ] = PS( 16, 32; 3)

     8-fold covered by C4[ 256, 10 ] = PS( 16, 32; 7)

     8-fold covered by C4[ 256, 11 ] = MPS( 16, 32; 3)

     8-fold covered by C4[ 256, 12 ] = MPS( 16, 32; 7)

     8-fold covered by C4[ 256, 13 ] = PS( 8, 64; 7)

     8-fold covered by C4[ 256, 14 ] = PS( 8, 64; 15)

     8-fold covered by C4[ 256, 15 ] = MPS( 8, 64; 7)

     8-fold covered by C4[ 256, 20 ] = PL(MSY( 4, 32, 15, 0))

     8-fold covered by C4[ 256, 21 ] = PL(MSY( 4, 32, 15, 16))

     8-fold covered by C4[ 256, 22 ] = PL(MSY( 8, 16, 7, 0))

     8-fold covered by C4[ 256, 23 ] = PL(MSY( 8, 16, 7, 8))

     8-fold covered by C4[ 256, 24 ] = PL(MSY( 16, 8, 3, 0))

     8-fold covered by C4[ 256, 25 ] = MSY( 8, 32, 9, 8)

     8-fold covered by C4[ 256, 26 ] = PL(MSZ ( 8, 16, 2, 7), [8^16, 16^8])

     8-fold covered by C4[ 256, 27 ] = MSZ ( 16, 16, 3, 7)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 256, 81 ] = UG(ATD[256,155])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 256, 103 ] = UG(ATD[256,213])

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

     8-fold covered by C4[ 256, 131 ] = SDD(MSY( 4, 16, 5, 4))

     8-fold covered by C4[ 256, 134 ] = BGCG({4, 4}_ 8, 8; K1;{7, 8, 10, 12})

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

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

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

     9-fold covered by C4[ 288, 5 ] = {4, 4}_ 12, 12

     9-fold covered by C4[ 288, 11 ] = {4, 4}_[ 36, 4]

     9-fold covered by C4[ 288, 15 ] = PS( 24, 24; 5)

     9-fold covered by C4[ 288, 21 ] = PS( 8, 72; 17)

     9-fold covered by C4[ 288, 29 ] = PL(MSY( 4, 36, 17, 0))

     9-fold covered by C4[ 288, 37 ] = PL(MSY( 12, 12, 5, 0))

     9-fold covered by C4[ 288, 61 ] = UG(ATD[288,1])

     9-fold covered by C4[ 288, 62 ] = UG(ATD[288,3])

     9-fold covered by C4[ 288, 67 ] = UG(ATD[288,13])

     9-fold covered by C4[ 288, 79 ] = UG(ATD[288,43])

     9-fold covered by C4[ 288, 80 ] = UG(ATD[288,46])

     9-fold covered by C4[ 288, 89 ] = UG(ATD[288,75])

     9-fold covered by C4[ 288, 112 ] = UG(ATD[288,196])

     9-fold covered by C4[ 288, 180 ] = BGCG({4, 4}_ 6, 0, C_ 4, {1, 2})

     9-fold covered by C4[ 288, 182 ] = BGCG({4, 4}_ 6, 0, C_ 4, {6, 7})

     9-fold covered by C4[ 288, 220 ] = BGCG({4, 4}_ 12, 0; K1;{2, 10})

     9-fold covered by C4[ 288, 232 ] = BGCG(AMC( 4, 12, [ 9. 5: 4. 9]); K1;{8, 10})

     10-fold covered by C4[ 320, 4 ] = {4, 4}_ 16, 8

     10-fold covered by C4[ 320, 7 ] = {4, 4}_[ 20, 8]

     10-fold covered by C4[ 320, 8 ] = {4, 4}_< 24, 16>

     10-fold covered by C4[ 320, 9 ] = {4, 4}_[ 40, 4]

     10-fold covered by C4[ 320, 12 ] = PS( 40, 16; 3)

     10-fold covered by C4[ 320, 13 ] = MPS( 40, 16; 3)

     10-fold covered by C4[ 320, 18 ] = PS( 16, 40; 3)

     10-fold covered by C4[ 320, 19 ] = PS( 16, 40; 9)

     10-fold covered by C4[ 320, 21 ] = PS( 8, 80; 3)

     10-fold covered by C4[ 320, 22 ] = PS( 8, 80; 7)

     10-fold covered by C4[ 320, 23 ] = PS( 8, 80; 11)

     10-fold covered by C4[ 320, 24 ] = PS( 8, 80; 19)

     10-fold covered by C4[ 320, 25 ] = MPS( 8, 80; 3)

     10-fold covered by C4[ 320, 26 ] = MPS( 8, 80; 7)

     10-fold covered by C4[ 320, 27 ] = MPS( 8, 80; 9)

     10-fold covered by C4[ 320, 28 ] = MPS( 8, 80; 11)

     10-fold covered by C4[ 320, 37 ] = PL(MSY( 4, 40, 11, 0))

     10-fold covered by C4[ 320, 38 ] = PL(MSY( 4, 40, 11, 20))

     10-fold covered by C4[ 320, 39 ] = PL(MSY( 4, 40, 19, 0))

     10-fold covered by C4[ 320, 40 ] = PL(MSY( 4, 40, 19, 20))

     10-fold covered by C4[ 320, 41 ] = PL(MSY( 4, 40, 9, 0))

     10-fold covered by C4[ 320, 42 ] = PL(MSY( 4, 40, 9, 20))

     10-fold covered by C4[ 320, 43 ] = PL(MSY( 8, 20, 11, 0))

     10-fold covered by C4[ 320, 46 ] = PL(MSY( 20, 8, 3, 0))

     10-fold covered by C4[ 320, 49 ] = MSZ ( 16, 20, 3, 3)

     10-fold covered by C4[ 320, 65 ] = PL(KE_40(5,1,10,9,5),[8^20,20^8])

     10-fold covered by C4[ 320, 83 ] = UG(ATD[320,23])

     10-fold covered by C4[ 320, 85 ] = UG(ATD[320,31])

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

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

     10-fold covered by C4[ 320, 90 ] = UG(ATD[320,43])

     10-fold covered by C4[ 320, 91 ] = UG(ATD[320,45])

     10-fold covered by C4[ 320, 92 ] = UG(ATD[320,47])

     10-fold covered by C4[ 320, 93 ] = UG(ATD[320,49])

     10-fold covered by C4[ 320, 94 ] = UG(ATD[320,51])

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

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

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

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

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

     10-fold covered by C4[ 320, 113 ] = UG(ATD[320,144])

     10-fold covered by C4[ 320, 114 ] = UG(ATD[320,145])

     10-fold covered by C4[ 320, 117 ] = UG(ATD[320,149])

     10-fold covered by C4[ 320, 118 ] = UG(ATD[320,152])

     10-fold covered by C4[ 320, 119 ] = UG(ATD[320,155])

     10-fold covered by C4[ 320, 120 ] = UG(ATD[320,158])

     10-fold covered by C4[ 320, 121 ] = UG(ATD[320,161])

     10-fold covered by C4[ 320, 122 ] = UG(ATD[320,165])

     10-fold covered by C4[ 320, 171 ] = SDD(KE_20(1,7,2,15,1))

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

     10-fold covered by C4[ 320, 187 ] = BGCG(KE_40(1,25,18,13,19); K1;{1, 3})

     10-fold covered by C4[ 320, 188 ] = BGCG(KE_40(1,25,18,13,19); K1;{4, 5})

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

     10-fold covered by C4[ 320, 215 ] = SS[320, 24]

     11-fold covered by C4[ 352, 6 ] = {4, 4}_[ 44, 4]

     11-fold covered by C4[ 352, 10 ] = PS( 8, 88; 21)

     11-fold covered by C4[ 352, 15 ] = PL(MSY( 4, 44, 23, 0))

     12-fold covered by C4[ 384, 4 ] = {4, 4}_[ 16, 12]

     12-fold covered by C4[ 384, 5 ] = {4, 4}_< 20, 4>

     12-fold covered by C4[ 384, 7 ] = {4, 4}_[ 24, 8]

     12-fold covered by C4[ 384, 8 ] = {4, 4}_< 28, 20>

     12-fold covered by C4[ 384, 10 ] = {4, 4}_[ 48, 4]

     12-fold covered by C4[ 384, 12 ] = PS( 48, 16; 3)

     12-fold covered by C4[ 384, 13 ] = MPS( 48, 16; 3)

     12-fold covered by C4[ 384, 14 ] = PS( 32, 24; 5)

     12-fold covered by C4[ 384, 16 ] = PS( 24, 32; 3)

     12-fold covered by C4[ 384, 17 ] = PS( 24, 32; 7)

     12-fold covered by C4[ 384, 18 ] = MPS( 24, 32; 3)

     12-fold covered by C4[ 384, 19 ] = MPS( 24, 32; 7)

     12-fold covered by C4[ 384, 20 ] = PS( 16, 48; 5)

     12-fold covered by C4[ 384, 21 ] = PS( 16, 48; 7)

     12-fold covered by C4[ 384, 22 ] = PS( 16, 48; 11)

     12-fold covered by C4[ 384, 23 ] = MPS( 16, 48; 5)

     12-fold covered by C4[ 384, 24 ] = MPS( 16, 48; 7)

     12-fold covered by C4[ 384, 26 ] = PS( 8, 96; 5)

     12-fold covered by C4[ 384, 27 ] = PS( 8, 96; 7)

     12-fold covered by C4[ 384, 28 ] = PS( 8, 96; 11)

     12-fold covered by C4[ 384, 29 ] = PS( 8, 96; 23)

     12-fold covered by C4[ 384, 30 ] = MPS( 8, 96; 5)

     12-fold covered by C4[ 384, 31 ] = MPS( 8, 96; 11)

     12-fold covered by C4[ 384, 37 ] = PL(MSY( 4, 48, 23, 0))

     12-fold covered by C4[ 384, 38 ] = PL(MSY( 4, 48, 23, 24))

     12-fold covered by C4[ 384, 39 ] = PL(MSY( 4, 48, 17, 0))

     12-fold covered by C4[ 384, 40 ] = PL(MSY( 4, 48, 17, 24))

     12-fold covered by C4[ 384, 41 ] = PL(MSY( 4, 48, 7, 0))

     12-fold covered by C4[ 384, 42 ] = PL(MSY( 4, 48, 7, 24))

     12-fold covered by C4[ 384, 45 ] = PL(MSY( 8, 24, 11, 0))

     12-fold covered by C4[ 384, 46 ] = PL(MSY( 8, 24, 11, 12))

     12-fold covered by C4[ 384, 47 ] = PL(MSY( 8, 24, 5, 0))

     12-fold covered by C4[ 384, 48 ] = PL(MSY( 8, 24, 5, 12))

     12-fold covered by C4[ 384, 49 ] = PL(MSY( 8, 24, 17, 0))

     12-fold covered by C4[ 384, 50 ] = PL(MSY( 8, 24, 17, 12))

     12-fold covered by C4[ 384, 51 ] = PL(MSY( 12, 16, 7, 0))

     12-fold covered by C4[ 384, 52 ] = PL(MSY( 16, 12, 5, 0))

     12-fold covered by C4[ 384, 53 ] = PL(MSY( 24, 8, 3, 0))

     12-fold covered by C4[ 384, 54 ] = MSY( 8, 48, 25, 8)

     12-fold covered by C4[ 384, 55 ] = PL(MSZ ( 8, 24, 2, 7), [8^24, 24^8])

     12-fold covered by C4[ 384, 56 ] = PL(MSZ ( 8, 24, 2, 11), [8^24, 24^8])

     12-fold covered by C4[ 384, 58 ] = MSZ ( 48, 8, 5, 3)

     12-fold covered by C4[ 384, 73 ] = PL(KE_48(3,11,6,43,3),[12^16,16^12])

     12-fold covered by C4[ 384, 79 ] = PL(Curtain_48(1,7,24,41,47),[8^24,16^12])

     12-fold covered by C4[ 384, 87 ] = PL(Curtain_48(1,18,2,25,32),[8^24,16^12])

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

     12-fold covered by C4[ 384, 136 ] = UG(ATD[384,61])

     12-fold covered by C4[ 384, 137 ] = UG(ATD[384,63])

     12-fold covered by C4[ 384, 138 ] = UG(ATD[384,65])

     12-fold covered by C4[ 384, 139 ] = UG(ATD[384,67])

     12-fold covered by C4[ 384, 140 ] = UG(ATD[384,69])

     12-fold covered by C4[ 384, 141 ] = UG(ATD[384,71])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     12-fold covered by C4[ 384, 243 ] = UG(ATD[384,439])

     12-fold covered by C4[ 384, 244 ] = UG(ATD[384,442])

     12-fold covered by C4[ 384, 245 ] = UG(ATD[384,445])

     12-fold covered by C4[ 384, 246 ] = UG(ATD[384,448])

     12-fold covered by C4[ 384, 247 ] = UG(ATD[384,451])

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

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

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

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

     12-fold covered by C4[ 384, 446 ] = BGCG(MPS( 8, 48; 7); K1;{4, 5, 6, 10})

     13-fold covered by C4[ 416, 4 ] = {4, 4}_ 20, 4

     13-fold covered by C4[ 416, 7 ] = {4, 4}_[ 52, 4]

     13-fold covered by C4[ 416, 14 ] = PS( 8,104; 5)

     13-fold covered by C4[ 416, 15 ] = PS( 8,104; 25)

     13-fold covered by C4[ 416, 25 ] = PL(MSY( 4, 52, 25, 0))

     13-fold covered by C4[ 416, 43 ] = UG(ATD[416,15])

     13-fold covered by C4[ 416, 46 ] = UG(ATD[416,52])

     13-fold covered by C4[ 416, 58 ] = BGCG(KE_52(1,11,2,43,1); K1;{4, 7})

     14-fold covered by C4[ 448, 6 ] = {4, 4}_[ 28, 8]

     14-fold covered by C4[ 448, 7 ] = {4, 4}_< 32, 24>

     14-fold covered by C4[ 448, 8 ] = {4, 4}_[ 56, 4]

     14-fold covered by C4[ 448, 10 ] = PS( 56, 16; 3)

     14-fold covered by C4[ 448, 11 ] = MPS( 56, 16; 3)

     14-fold covered by C4[ 448, 14 ] = PS( 16, 56; 13)

     14-fold covered by C4[ 448, 15 ] = PS( 8,112; 13)

     14-fold covered by C4[ 448, 16 ] = PS( 8,112; 27)

     14-fold covered by C4[ 448, 17 ] = MPS( 8,112; 13)

     14-fold covered by C4[ 448, 18 ] = MPS( 8,112; 15)

     14-fold covered by C4[ 448, 24 ] = PL(MSY( 4, 56, 13, 0))

     14-fold covered by C4[ 448, 25 ] = PL(MSY( 4, 56, 13, 28))

     14-fold covered by C4[ 448, 26 ] = PL(MSY( 4, 56, 15, 0))

     14-fold covered by C4[ 448, 27 ] = PL(MSY( 4, 56, 15, 28))

     14-fold covered by C4[ 448, 28 ] = PL(MSY( 4, 56, 27, 0))

     14-fold covered by C4[ 448, 29 ] = PL(MSY( 4, 56, 27, 28))

     14-fold covered by C4[ 448, 30 ] = PL(MSY( 8, 28, 13, 0))

     14-fold covered by C4[ 448, 33 ] = PL(MSY( 28, 8, 3, 0))

     14-fold covered by C4[ 448, 45 ] = PL(KE_56(7,3,14,11,7),[8^28,28^8])

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

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

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

     14-fold covered by C4[ 448, 71 ] = UG(ATD[448,83])

     14-fold covered by C4[ 448, 72 ] = UG(ATD[448,86])

     14-fold covered by C4[ 448, 73 ] = UG(ATD[448,89])

     14-fold covered by C4[ 448, 74 ] = UG(ATD[448,92])

     14-fold covered by C4[ 448, 75 ] = UG(ATD[448,95])

     15-fold covered by C4[ 480, 8 ] = {4, 4}_[ 20, 12]

     15-fold covered by C4[ 480, 15 ] = {4, 4}_[ 60, 4]

     15-fold covered by C4[ 480, 22 ] = PS( 40, 24; 5)

     15-fold covered by C4[ 480, 26 ] = PS( 24, 40; 3)

     15-fold covered by C4[ 480, 27 ] = PS( 24, 40; 9)

     15-fold covered by C4[ 480, 43 ] = PS( 8,120; 7)

     15-fold covered by C4[ 480, 44 ] = PS( 8,120; 13)

     15-fold covered by C4[ 480, 45 ] = PS( 8,120; 29)

     15-fold covered by C4[ 480, 61 ] = PL(MSY( 4, 60, 11, 0))

     15-fold covered by C4[ 480, 63 ] = PL(MSY( 4, 60, 29, 0))

     15-fold covered by C4[ 480, 65 ] = PL(MSY( 4, 60, 19, 0))

     15-fold covered by C4[ 480, 81 ] = PL(MSY( 12, 20, 11, 0))

     15-fold covered by C4[ 480, 83 ] = PL(MSY( 20, 12, 5, 0))

     15-fold covered by C4[ 480, 90 ] = MSZ ( 40, 12, 3, 5)

     15-fold covered by C4[ 480, 123 ] = PL(KE_60(3,13,6,53,3),[12^20,20^12])

     15-fold covered by C4[ 480, 154 ] = UG(ATD[480,53])

     15-fold covered by C4[ 480, 156 ] = UG(ATD[480,69])

     15-fold covered by C4[ 480, 157 ] = UG(ATD[480,71])

     15-fold covered by C4[ 480, 158 ] = UG(ATD[480,73])

     15-fold covered by C4[ 480, 159 ] = UG(ATD[480,75])

     15-fold covered by C4[ 480, 195 ] = UG(ATD[480,254])

     15-fold covered by C4[ 480, 197 ] = UG(ATD[480,262])

     15-fold covered by C4[ 480, 198 ] = UG(ATD[480,265])

     15-fold covered by C4[ 480, 199 ] = UG(ATD[480,268])

     15-fold covered by C4[ 480, 376 ] = BGCG({4, 4}_< 8, 2>, C_ 4, {1, 2})

     15-fold covered by C4[ 480, 377 ] = BGCG({4, 4}_< 8, 2>, C_ 4, {3, 4})

     15-fold covered by C4[ 480, 466 ] = BGCG(UG(ATD[240,98]); K1;{1, 3})

     16-fold covered by C4[ 512, 2 ] = {4, 4}_ 16, 16

     16-fold covered by C4[ 512, 3 ] = {4, 4}_< 24, 8>

     16-fold covered by C4[ 512, 4 ] = {4, 4}_[ 32, 8]

     16-fold covered by C4[ 512, 5 ] = {4, 4}_< 36, 28>

     16-fold covered by C4[ 512, 6 ] = {4, 4}_[ 64, 4]

     16-fold covered by C4[ 512, 8 ] = PS( 64, 16; 3)

     16-fold covered by C4[ 512, 9 ] = MPS( 64, 16; 3)

     16-fold covered by C4[ 512, 10 ] = PS( 32, 32; 3)

     16-fold covered by C4[ 512, 11 ] = PS( 32, 32; 7)

     16-fold covered by C4[ 512, 12 ] = MPS( 32, 32; 3)

     16-fold covered by C4[ 512, 13 ] = MPS( 32, 32; 7)

     16-fold covered by C4[ 512, 14 ] = PS( 16, 64; 3)

     16-fold covered by C4[ 512, 15 ] = PS( 16, 64; 5)

     16-fold covered by C4[ 512, 16 ] = PS( 16, 64; 7)

     16-fold covered by C4[ 512, 17 ] = PS( 16, 64; 15)

     16-fold covered by C4[ 512, 18 ] = MPS( 16, 64; 3)

     16-fold covered by C4[ 512, 19 ] = MPS( 16, 64; 5)

     16-fold covered by C4[ 512, 20 ] = MPS( 16, 64; 7)

     16-fold covered by C4[ 512, 21 ] = PS( 8,128; 15)

     16-fold covered by C4[ 512, 22 ] = PS( 8,128; 31)

     16-fold covered by C4[ 512, 23 ] = MPS( 8,128; 15)

     16-fold covered by C4[ 512, 29 ] = PL(MSY( 4, 64, 33, 0))

     16-fold covered by C4[ 512, 30 ] = PL(MSY( 4, 64, 33, 32))

     16-fold covered by C4[ 512, 31 ] = PL(MSY( 8, 32, 15, 0))

     16-fold covered by C4[ 512, 32 ] = PL(MSY( 8, 32, 15, 16))

     16-fold covered by C4[ 512, 33 ] = PL(MSY( 16, 16, 7, 0))

     16-fold covered by C4[ 512, 34 ] = PL(MSY( 32, 8, 3, 0))

     16-fold covered by C4[ 512, 35 ] = MSY( 16, 32, 17, 16)

     16-fold covered by C4[ 512, 36 ] = MSY( 8, 64, 9, 8)

     16-fold covered by C4[ 512, 37 ] = MSY( 8, 64, 25, 8)

     16-fold covered by C4[ 512, 38 ] = PL(MSZ ( 8, 32, 2, 15), [8^32, 32^8])

     16-fold covered by C4[ 512, 39 ] = MSZ ( 16, 32, 3, 7)

     16-fold covered by C4[ 512, 40 ] = MSZ ( 16, 32, 3, 15)

     16-fold covered by C4[ 512, 41 ] = MSZ ( 32, 16, 7, 3)

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 69 ] = UG(ATD[512,47])

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

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

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

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

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

     16-fold covered by C4[ 512, 75 ] = UG(ATD[512,59])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 95 ] = UG(ATD[512,99])

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 106 ] = UG(ATD[512,121])

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 114 ] = UG(ATD[512,137])

     16-fold covered by C4[ 512, 115 ] = UG(ATD[512,139])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 165 ] = UG(ATD[512,335])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 256 ] = UG(ATD[512,581])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 305 ] = UG(ATD[512,723])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 426 ] = BGCG({4, 4}_ 16, 0; K1;{4, 8, 12, 15})

     16-fold covered by C4[ 512, 427 ] = BGCG({4, 4}_ 16, 0; K1;{5, 7, 11, 19})

     16-fold covered by C4[ 512, 428 ] = BGCG({4, 4}_ 16, 0; K1;{9, 13, 14, 17})

     16-fold covered by C4[ 512, 452 ] = BGCG(UG(ATD[256,128]); K1;{11, 13, 14, 15})

     16-fold covered by C4[ 512, 471 ] = BGCG(UG(ATD[256,167]); K1;{40, 51, 54, 63})

     16-fold covered by C4[ 512, 492 ] = BGCG(UG(ATD[256,191]); K1;{28, 29, 30, 31})

     16-fold covered by C4[ 512, 494 ] = BGCG(UG(ATD[256,200]); K1;{19, 20, 21, 23})

     16-fold covered by C4[ 512, 498 ] = BGCG(UG(ATD[256,206]); K1;{25, 27, 28, 31})

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 613 ] = SS[512, 156]

     16-fold covered by C4[ 512, 614 ] = SS[512, 157]

     16-fold covered by C4[ 512, 615 ] = SS[512, 158]

     16-fold covered by C4[ 512, 616 ] = SS[512, 159]

BGCG dissections of this graph

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

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

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

      C4[ 64, 2 ] = {4, 4}_ 8, 0    with connection graph  [K_1]

      C4[ 64, 6 ] = MPS( 8, 16; 3)    with connection graph  [K_1]

      C4[ 64, 8 ] = PX( 8, 3)    with connection graph  [K_1]

      C4[ 64, 12 ] = PL(LoPr_ 8( 1, 4, 2, 4, 1), [4^8, 8^4])    with connection graph  [K_1]

      C4[ 128, 2 ] = {4, 4}_ 8, 8    with connection graph  [K_2]

      C4[ 128, 6 ] = PS( 16, 16; 3)    with connection graph  [K_2]

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

      C4[ 128, 16 ] = PL(MSY( 8, 8, 3, 0))    with connection graph  [K_2]

      C4[ 128, 17 ] = MSY( 8, 16, 9, 8)    with connection graph  [K_2]

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

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

      C4[ 128, 25 ] = CPM( 8, 2, 4, 1)    with connection graph  [K_2]

      C4[ 128, 26 ] = AMC( 8, 8, [ 1. 1: 0. 1])    with connection graph  [K_2]

      C4[ 128, 28 ] = PL(SoP( 4, 8))    with connection graph  [K_2]

      C4[ 128, 33 ] = UG(ATD[128,44])    with connection graph  [K_2]

      C4[ 128, 36 ] = UG(ATD[128,54])    with connection graph  [K_2]

      C4[ 128, 41 ] = UG(ATD[128,69])    with connection graph  [K_2]

      C4[ 128, 42 ] = PL(ATD[8,1]#ATD[8,2])    with connection graph  [K_2]

      C4[ 128, 43 ] = PL(ATD[8,2]#ATD[16,2])    with connection graph  [K_2]

      C4[ 128, 49 ] = BGCG({4, 4}_ 8, 0; K1;{2, 7, 10, 11})    with connection graph  [K_2]

      C4[ 128, 50 ] = BGCG({4, 4}_ 8, 0; K1;{12, 15})    with connection graph  [K_2]

      C4[ 128, 51 ] = BGCG({4, 4}_ 8, 0; K1;{17, 19})    with connection graph  [K_2]

      C4[ 128, 55 ] = SS[128, 16]    with connection graph  [K_2]

      C4[ 128, 56 ] = SS[128, 19]    with connection graph  [K_2]

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

      C4[ 192, 132 ] = XI(Rmap(96,17){6,6|3}_8)    with connection graph  [C_3]

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

      C4[ 192, 168 ] = BGCG(UG(ATD[96,48]); K1;{1, 3})    with connection graph  [C_3]

      C4[ 192, 169 ] = BGCG(UG(ATD[96,48]); K1;{8, 9})    with connection graph  [C_3]

      C4[ 192, 170 ] = BGCG(UG(ATD[96,48]); K1;{10, 11})    with connection graph  [C_3]

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

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

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

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

      C4[ 256, 51 ] = UG(ATD[256,55])    with connection graph  [C_4]

      C4[ 256, 56 ] = UG(ATD[256,82])    with connection graph  [C_4]

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

      C4[ 256, 61 ] = UG(ATD[256,97])    with connection graph  [C_4]

      C4[ 256, 63 ] = UG(ATD[256,103])    with connection graph  [C_4]

      C4[ 256, 65 ] = UG(ATD[256,109])    with connection graph  [C_4]

      C4[ 256, 66 ] = UG(ATD[256,111])    with connection graph  [C_4]

      C4[ 256, 67 ] = UG(ATD[256,114])    with connection graph  [C_4]

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

      C4[ 256, 69 ] = UG(ATD[256,120])    with connection graph  [C_4]

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

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

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

      C4[ 256, 76 ] = UG(ATD[256,140])    with connection graph  [C_4]

      C4[ 256, 77 ] = UG(ATD[256,143])    with connection graph  [C_4]

      C4[ 256, 81 ] = UG(ATD[256,155])    with connection graph  [C_4]

      C4[ 256, 82 ] = UG(ATD[256,158])    with connection graph  [C_4]

      C4[ 256, 83 ] = UG(ATD[256,161])    with connection graph  [C_4]

      C4[ 256, 84 ] = UG(ATD[256,164])    with connection graph  [C_4]

      C4[ 256, 85 ] = UG(ATD[256,167])    with connection graph  [C_4]

      C4[ 256, 86 ] = UG(ATD[256,170])    with connection graph  [C_4]

      C4[ 256, 88 ] = UG(ATD[256,176])    with connection graph  [C_4]

      C4[ 256, 90 ] = UG(ATD[256,182])    with connection graph  [C_4]

      C4[ 256, 92 ] = UG(ATD[256,188])    with connection graph  [C_4]

      C4[ 256, 95 ] = UG(ATD[256,197])    with connection graph  [C_4]

      C4[ 256, 97 ] = UG(ATD[256,203])    with connection graph  [C_4]

      C4[ 256, 98 ] = UG(ATD[256,206])    with connection graph  [C_4]

      C4[ 256, 101 ] = UG(ATD[256,211])    with connection graph  [C_4]

      C4[ 256, 102 ] = UG(ATD[256,212])    with connection graph  [C_4]

      C4[ 256, 104 ] = PL(ATD[8,1]#ATD[16,2])    with connection graph  [C_4]

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

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

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

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

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

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

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

      C4[ 256, 152 ] = SS[256, 11]    with connection graph  [C_4]

      C4[ 256, 153 ] = SS[256, 12]    with connection graph  [C_4]

      C4[ 256, 154 ] = SS[256, 13]    with connection graph  [C_4]

      C4[ 256, 155 ] = SS[256, 14]    with connection graph  [C_4]

      C4[ 256, 156 ] = SS[256, 15]    with connection graph  [C_4]

      C4[ 256, 157 ] = SS[256, 16]    with connection graph  [C_4]

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

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

      C4[ 384, 20 ] = PS( 16, 48; 5)    with connection graph  [C_6]

      C4[ 384, 21 ] = PS( 16, 48; 7)    with connection graph  [C_6]

      C4[ 384, 47 ] = PL(MSY( 8, 24, 5, 0))    with connection graph  [C_6]

      C4[ 384, 49 ] = PL(MSY( 8, 24, 17, 0))    with connection graph  [C_6]

      C4[ 384, 55 ] = PL(MSZ ( 8, 24, 2, 7), [8^24, 24^8])    with connection graph  [C_6]

      C4[ 384, 58 ] = MSZ ( 48, 8, 5, 3)    with connection graph  [C_6]

      C4[ 384, 245 ] = UG(ATD[384,445])    with connection graph  [C_6]

      C4[ 384, 261 ] = UG(ATD[384,491])    with connection graph  [octahedron]

      C4[ 384, 263 ] = UG(ATD[384,497])    with connection graph  [octahedron]

      C4[ 384, 276 ] = UG(ATD[384,536])    with connection graph  [octahedron]

      C4[ 384, 277 ] = UG(ATD[384,539])    with connection graph  [octahedron]

      C4[ 384, 331 ] = PL(ATD[8,1]#ATD[24,3])    with connection graph  [C_6]

      C4[ 384, 332 ] = PL(ATD[8,1]#ATD[24,5])    with connection graph  [C_6]

      C4[ 384, 333 ] = PL(ATD[8,1]#ATD[24,6])    with connection graph  [C_6]

      C4[ 384, 344 ] = PL(ATD[12,2]#ATD[32,8])    with connection graph  [C_6]

      C4[ 384, 345 ] = PL(ATD[12,2]#ATD[32,11])    with connection graph  [C_6]

      C4[ 384, 350 ] = PL(ATD[16,2]#ATD[24,5])    with connection graph  [C_6]

      C4[ 384, 358 ] = XI(Rmap(192,5){4,6|8}_6)    with connection graph  [octahedron]

      C4[ 384, 359 ] = XI(Rmap(192,6){4,6|8}_12)    with connection graph  [octahedron]

      C4[ 384, 363 ] = XI(Rmap(192,26){6,6|6}_8)    with connection graph  [octahedron]

      C4[ 384, 383 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 8))    with connection graph  [octahedron]

      C4[ 384, 384 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 8))    with connection graph  [octahedron]

      C4[ 384, 431 ] = BGCG(KE_24(1,11,8,3,7); K2;{1, 2, 4, 5})    with connection graph  [C_6]

      C4[ 384, 442 ] = BGCG(UG(ATD[96,48]); K2;{1, 3, 5, 6})    with connection graph  [C_6]

      C4[ 384, 444 ] = BGCG(UG(ATD[96,48]); K2;{8, 9, 10, 11})    with connection graph  [C_6]

      C4[ 384, 446 ] = BGCG(MPS( 8, 48; 7); K1;{4, 5, 6, 10})    with connection graph  [C_6]

      C4[ 384, 447 ] = BGCG(MPS( 8, 48; 7); K1;{12, 18})    with connection graph  [C_6]

      C4[ 384, 448 ] = BGCG(MPS( 8, 48; 7); K1;{13, 14})    with connection graph  [C_6]

      C4[ 384, 449 ] = BGCG(MPS( 8, 48; 7); K1;{16, 17})    with connection graph  [C_6]

      C4[ 384, 509 ] = BGCG(UG(ATD[192,151]); K1;{8, 12})    with connection graph  [octahedron]

      C4[ 384, 510 ] = BGCG(UG(ATD[192,151]); K1;{9, 10})    with connection graph  [octahedron]

      C4[ 384, 511 ] = BGCG(UG(ATD[192,151]); K1;{11, 15})    with connection graph  [octahedron]

      C4[ 384, 514 ] = BGCG(UG(ATD[192,155]); K1;1)    with connection graph  [octahedron]

      C4[ 384, 516 ] = BGCG(UG(ATD[192,155]); K1;6)    with connection graph  [octahedron]

      C4[ 384, 517 ] = BGCG(UG(ATD[192,155]); K1;8)    with connection graph  [octahedron]

      C4[ 384, 518 ] = BGCG(UG(ATD[192,158]); K1;1)    with connection graph  [octahedron]

      C4[ 384, 519 ] = BGCG(UG(ATD[192,158]); K1;2)    with connection graph  [octahedron]

      C4[ 384, 521 ] = BGCG(UG(ATD[192,158]); K1;5)    with connection graph  [octahedron]

      C4[ 384, 522 ] = BGCG(UG(ATD[192,158]); K1;7)    with connection graph  [octahedron]

      C4[ 384, 523 ] = BGCG(UG(ATD[192,161]); K1;{9, 10})    with connection graph  [octahedron]

      C4[ 384, 524 ] = BGCG(UG(ATD[192,161]); K1;{11, 14})    with connection graph  [octahedron]

      C4[ 384, 525 ] = BGCG(UG(ATD[192,161]); K1;{13, 15})    with connection graph  [octahedron]

      C4[ 384, 526 ] = BGCG(UG(ATD[192,177]); K1;3)    with connection graph  [octahedron]

      C4[ 384, 527 ] = BGCG(UG(ATD[192,177]); K1;5)    with connection graph  [octahedron]

      C4[ 384, 552 ] = SS[384, 43]    with connection graph  [octahedron]

      C4[ 384, 553 ] = SS[384, 44]    with connection graph  [octahedron]

      C4[ 512, 28 ] = PX( 8, 6)    with connection graph  [K_4,4]

      C4[ 512, 58 ] = PL(ProjLR(4,4))    with connection graph  [K_4,4]

      C4[ 512, 59 ] = PL(PLR2'(4)    with connection graph  [K_4,4]

      C4[ 512, 132 ] = UG(ATD[512,237])    with connection graph  [C_8]

      C4[ 512, 133 ] = UG(ATD[512,239])    with connection graph  [C_8]

      C4[ 512, 135 ] = UG(ATD[512,245])    with connection graph  [K_4,4]

      C4[ 512, 138 ] = UG(ATD[512,254])    with connection graph  [C_8]

      C4[ 512, 138 ] = UG(ATD[512,254])    with connection graph  [K_4,4]

      C4[ 512, 139 ] = UG(ATD[512,257])    with connection graph  [C_8]

      C4[ 512, 141 ] = UG(ATD[512,263])    with connection graph  [C_8]

      C4[ 512, 144 ] = UG(ATD[512,272])    with connection graph  [C_8]

      C4[ 512, 145 ] = UG(ATD[512,275])    with connection graph  [C_8]

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

      C4[ 512, 148 ] = UG(ATD[512,284])    with connection graph  [C_8]

      C4[ 512, 148 ] = UG(ATD[512,284])    with connection graph  [K_4,4]

      C4[ 512, 149 ] = UG(ATD[512,287])    with connection graph  [C_8]

      C4[ 512, 151 ] = UG(ATD[512,293])    with connection graph  [C_8]

      C4[ 512, 153 ] = UG(ATD[512,299])    with connection graph  [K_4,4]

      C4[ 512, 155 ] = UG(ATD[512,305])    with connection graph  [K_4,4]

      C4[ 512, 157 ] = UG(ATD[512,311])    with connection graph  [K_4,4]

      C4[ 512, 161 ] = UG(ATD[512,323])    with connection graph  [K_4,4]

      C4[ 512, 170 ] = UG(ATD[512,350])    with connection graph  [C_8]

      C4[ 512, 170 ] = UG(ATD[512,350])    with connection graph  [K_4,4]

      C4[ 512, 172 ] = UG(ATD[512,356])    with connection graph  [K_4,4]

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

      C4[ 512, 192 ] = UG(ATD[512,408])    with connection graph  [C_8]

      C4[ 512, 193 ] = UG(ATD[512,409])    with connection graph  [C_8]

      C4[ 512, 194 ] = UG(ATD[512,410])    with connection graph  [K_4,4]

      C4[ 512, 195 ] = UG(ATD[512,412])    with connection graph  [K_4,4]

      C4[ 512, 197 ] = UG(ATD[512,417])    with connection graph  [K_4,4]

      C4[ 512, 198 ] = UG(ATD[512,420])    with connection graph  [K_4,4]

      C4[ 512, 200 ] = UG(ATD[512,426])    with connection graph  [K_4,4]

      C4[ 512, 201 ] = UG(ATD[512,429])    with connection graph  [K_4,4]

      C4[ 512, 202 ] = UG(ATD[512,432])    with connection graph  [K_4,4]

      C4[ 512, 213 ] = UG(ATD[512,465])    with connection graph  [K_4,4]

      C4[ 512, 215 ] = UG(ATD[512,471])    with connection graph  [K_4,4]

      C4[ 512, 216 ] = UG(ATD[512,474])    with connection graph  [K_4,4]

      C4[ 512, 220 ] = UG(ATD[512,482])    with connection graph  [K_4,4]

      C4[ 512, 221 ] = UG(ATD[512,485])    with connection graph  [K_4,4]

      C4[ 512, 223 ] = UG(ATD[512,491])    with connection graph  [K_4,4]

      C4[ 512, 224 ] = UG(ATD[512,494])    with connection graph  [K_4,4]

      C4[ 512, 227 ] = UG(ATD[512,501])    with connection graph  [K_4,4]

      C4[ 512, 228 ] = UG(ATD[512,504])    with connection graph  [K_4,4]

      C4[ 512, 229 ] = UG(ATD[512,507])    with connection graph  [K_4,4]

      C4[ 512, 230 ] = UG(ATD[512,510])    with connection graph  [K_4,4]

      C4[ 512, 233 ] = UG(ATD[512,519])    with connection graph  [K_4,4]

      C4[ 512, 234 ] = UG(ATD[512,522])    with connection graph  [K_4,4]

      C4[ 512, 235 ] = UG(ATD[512,525])    with connection graph  [K_4,4]

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

      C4[ 512, 245 ] = UG(ATD[512,554])    with connection graph  [C_8]

      C4[ 512, 245 ] = UG(ATD[512,554])    with connection graph  [K_4,4]

      C4[ 512, 246 ] = UG(ATD[512,557])    with connection graph  [K_4,4]

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

      C4[ 512, 255 ] = UG(ATD[512,580])    with connection graph  [K_4,4]

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

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

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

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

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

      C4[ 512, 282 ] = UG(ATD[512,659])    with connection graph  [K_4,4]

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

      C4[ 512, 290 ] = UG(ATD[512,683])    with connection graph  [K_4,4]

      C4[ 512, 291 ] = UG(ATD[512,689])    with connection graph  [K_4,4]

      C4[ 512, 292 ] = UG(ATD[512,692])    with connection graph  [K_4,4]

      C4[ 512, 295 ] = UG(ATD[512,701])    with connection graph  [K_4,4]

      C4[ 512, 296 ] = UG(ATD[512,704])    with connection graph  [K_4,4]

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

      C4[ 512, 298 ] = UG(ATD[512,710])    with connection graph  [K_4,4]

      C4[ 512, 299 ] = UG(ATD[512,713])    with connection graph  [K_4,4]

      C4[ 512, 300 ] = UG(ATD[512,716])    with connection graph  [K_4,4]

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

      C4[ 512, 307 ] = PL(ATD[8,1]#ATD[32,2])    with connection graph  [C_8]

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

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

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

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

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

      C4[ 512, 315 ] = PL(ATD[8,1]#ATD[32,12])    with connection graph  [K_4,4]

      C4[ 512, 346 ] = PL(ATD[16,2]#ATD[32,1])    with connection graph  [C_8]

      C4[ 512, 347 ] = PL(ATD[16,2]#ATD[32,2])    with connection graph  [C_8]

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

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

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

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

      C4[ 512, 352 ] = PL(ATD[16,2]#ATD[32,11])    with connection graph  [K_4,4]

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

      C4[ 512, 361 ] = PL(ATD[16,4]#ATD[32,11])    with connection graph  [K_4,4]

      C4[ 512, 400 ] = BGCG({4, 4}_ 8, 8; K2;{15, 16, 18, 20})    with connection graph  [K_4,4]

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

      C4[ 512, 416 ] = BGCG(UG(ATD[128,54]); K2;{12, 13, 14, 16})    with connection graph  [K_4,4]

      C4[ 512, 429 ] = BGCG({4, 4}_ 16, 0; K1;{20, 24, 28, 31})    with connection graph  [K_4,4]

      C4[ 512, 430 ] = BGCG({4, 4}_ 16, 0; K1;{21, 23, 27, 35})    with connection graph  [K_4,4]

      C4[ 512, 434 ] = BGCG(PL(MSY( 8, 16, 7, 8)); K1;{1, 2})    with connection graph  [K_4,4]

      C4[ 512, 435 ] = BGCG(PL(MSY( 8, 16, 7, 8)); K1;{4, 9})    with connection graph  [K_4,4]

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

      C4[ 512, 468 ] = BGCG(UG(ATD[256,167]); K1;{6, 10})    with connection graph  [K_4,4]

      C4[ 512, 474 ] = BGCG(UG(ATD[256,167]); K1;{50, 60})    with connection graph  [K_4,4]

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

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

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

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

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

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

      C4[ 512, 527 ] = SS[512, 60]    with connection graph  [K_4,4]

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

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

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

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

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

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

      C4[ 512, 534 ] = SS[512, 67]    with connection graph  [K_4,4]

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

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

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

      C4[ 512, 539 ] = SS[512, 72]    with connection graph  [K_4,4]

      C4[ 512, 540 ] = SS[512, 73]    with connection graph  [K_4,4]

      C4[ 512, 541 ] = SS[512, 74]    with connection graph  [K_4,4]

      C4[ 512, 542 ] = SS[512, 75]    with connection graph  [K_4,4]

      C4[ 512, 543 ] = SS[512, 76]    with connection graph  [K_4,4]

      C4[ 512, 544 ] = SS[512, 77]    with connection graph  [K_4,4]

      C4[ 512, 545 ] = SS[512, 78]    with connection graph  [K_4,4]

      C4[ 512, 546 ] = SS[512, 79]    with connection graph  [K_4,4]

      C4[ 512, 547 ] = SS[512, 80]    with connection graph  [K_4,4]

      C4[ 512, 548 ] = SS[512, 81]    with connection graph  [K_4,4]

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

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

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

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

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

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

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

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

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

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

      C4[ 512, 572 ] = SS[512, 107]    with connection graph  [K_4,4]

      C4[ 512, 573 ] = SS[512, 108]    with connection graph  [K_4,4]

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

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

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

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

      C4[ 512, 582 ] = SS[512, 117]    with connection graph  [K_4,4]

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

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

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

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

      C4[ 512, 599 ] = SS[512, 136]    with connection graph  [K_4,4]

      C4[ 512, 600 ] = SS[512, 137]    with connection graph  [K_4,4]

      C4[ 512, 601 ] = SS[512, 138]    with connection graph  [K_4,4]

      C4[ 512, 602 ] = SS[512, 139]    with connection graph  [K_4,4]

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

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

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

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

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

Aut-Orbital graphs of this one:

      C4[ 8, 1 ] = K_4,4

      C4[ 16, 2 ] = {4, 4}_ 4, 0

      C4[ 32, 2 ] = {4, 4}_ 4, 4