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

On this page are all graphs related to C4[ 16, 1 ].

Graphs which cover this one

     2-fold covered by C4[ 32, 3 ] = {4, 4}_< 6, 2>

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

     3-fold covered by C4[ 48, 2 ] = C_ 48(1, 7)

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

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

     4-fold covered by C4[ 64, 4 ] = {4, 4}_< 10, 6>

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

     4-fold covered by C4[ 64, 8 ] = PX( 8, 3)

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

     4-fold covered by C4[ 64, 12 ] = PL(LoPr_ 8( 1, 4, 2, 4, 1), [4^8, 8^4])

     4-fold covered by C4[ 64, 13 ] = KE_16(1,7,2,11,1)

     4-fold covered by C4[ 64, 14 ] = PL(Curtain_8(1,4,2,3,6),[4^8,16^2])

     5-fold covered by C4[ 80, 2 ] = C_ 80(1, 9)

     5-fold covered by C4[ 80, 5 ] = {4, 4}_[ 10, 4]

     5-fold covered by C4[ 80, 8 ] = PS( 8, 20; 3)

     5-fold covered by C4[ 80, 9 ] = MPS( 8, 20; 3)

     5-fold covered by C4[ 80, 10 ] = PS( 4, 40; 3)

     5-fold covered by C4[ 80, 15 ] = PL(MC3( 4, 10, 1, 9, 3, 0, 1), [4^10, 10^4])

     5-fold covered by C4[ 80, 16 ] = PL(MC3( 8, 5, 1, 4, 2, 0, 1), [8^5, 10^4])

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

     6-fold covered by C4[ 96, 5 ] = {4, 4}_< 10, 2>

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

     6-fold covered by C4[ 96, 7 ] = {4, 4}_< 14, 10>

     6-fold covered by C4[ 96, 8 ] = PS( 12, 16; 3)

     6-fold covered by C4[ 96, 9 ] = MPS( 12, 16; 3)

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

     6-fold covered by C4[ 96, 16 ] = PL(MSY( 4, 12, 5, 6))

     6-fold covered by C4[ 96, 17 ] = PL(MSY( 6, 8, 3, 0))

     6-fold covered by C4[ 96, 19 ] = PL(MC3( 6, 8, 1, 5, 3, 0, 1), [4^12, 6^8])

     6-fold covered by C4[ 96, 20 ] = PL(MC3( 6, 8, 1, 5, 3, 4, 1), [4^12, 12^4])

     6-fold covered by C4[ 96, 21 ] = PL(KE_12(3,1,6,11,3),[4^12,24^2])

     6-fold covered by C4[ 96, 22 ] = KE_24(1,11,2,15,1)

     6-fold covered by C4[ 96, 44 ] = SDD(C_ 24(1, 7))

     6-fold covered by C4[ 96, 50 ] = SDD(C_ 24(1, 5))

     7-fold covered by C4[ 112, 3 ] = C_112(1, 41)

     7-fold covered by C4[ 112, 4 ] = {4, 4}_[ 14, 4]

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

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

     8-fold covered by C4[ 128, 5 ] = {4, 4}_< 18, 14>

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 128, 18 ] = PL(LoPr_ 16( 1, 8, 2, 8, 1), [4^16, 16^4])

     8-fold covered by C4[ 128, 19 ] = PL(LoPr_ 16( 1, 8, 2, 8, 3), [4^16, 16^4])

     8-fold covered by C4[ 128, 20 ] = KE_32(1,15,2,19,1)

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

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

     8-fold covered by C4[ 128, 24 ] = PL(Curtain_16(1,8,6,9,14),[4^16,8^8])

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

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

     8-fold covered by C4[ 128, 27 ] = PL(BC_32({ 0, 16 }, { 1, 7 })

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

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 128, 44 ] = SDD({4, 4}_ 4, 4)

     8-fold covered by C4[ 128, 47 ] = SDD({4, 4}_< 6, 2>)

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

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

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

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

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

     9-fold covered by C4[ 144, 3 ] = C_144(1, 55)

     9-fold covered by C4[ 144, 6 ] = {4, 4}_[ 12, 6]

     9-fold covered by C4[ 144, 7 ] = {4, 4}_< 15, 9>

     9-fold covered by C4[ 144, 8 ] = {4, 4}_[ 18, 4]

     9-fold covered by C4[ 144, 10 ] = PS( 12, 24; 5)

     9-fold covered by C4[ 144, 12 ] = PS( 6, 48; 7)

     9-fold covered by C4[ 144, 19 ] = PL(MSY( 6, 12, 5, 0))

     9-fold covered by C4[ 144, 24 ] = PL(WH_ 24( 3, 5, 11, 12), [6^12, 8^9])

     9-fold covered by C4[ 144, 30 ] = UG(ATD[144,1])

     9-fold covered by C4[ 144, 32 ] = UG(ATD[144,8])

     9-fold covered by C4[ 144, 33 ] = UG(ATD[144,12])

     9-fold covered by C4[ 144, 34 ] = UG(ATD[144,15])

     9-fold covered by C4[ 144, 52 ] = XI(Cmap(72,1){4,8|6}_8)

     9-fold covered by C4[ 144, 62 ] = BGCG(AMC( 4, 3, [ 0. 1: 1. 2]); K2;{2, 3})

     9-fold covered by C4[ 144, 64 ] = BGCG({4, 4}_ 6, 6; K1;{13, 16})

     9-fold covered by C4[ 144, 65 ] = BGCG(AMC( 8, 3, [ 0. 1: 1. 2]); K1;{1, 4})

     9-fold covered by C4[ 144, 66 ] = BGCG(AMC( 8, 3, [ 0. 1: 1. 2]); K1;2)

     9-fold covered by C4[ 144, 69 ] = SS[144, 21]

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

     10-fold covered by C4[ 160, 6 ] = {4, 4}_< 14, 6>

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

     10-fold covered by C4[ 160, 8 ] = {4, 4}_< 22, 18>

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

     10-fold covered by C4[ 160, 11 ] = MPS( 20, 16; 3)

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

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

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

     10-fold covered by C4[ 160, 17 ] = PS( 4, 80; 3)

     10-fold covered by C4[ 160, 18 ] = PS( 4, 80; 7)

     10-fold covered by C4[ 160, 19 ] = MPS( 4, 80; 3)

     10-fold covered by C4[ 160, 20 ] = MPS( 4, 80; 7)

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

     10-fold covered by C4[ 160, 25 ] = PL(MSY( 4, 20, 11, 10))

     10-fold covered by C4[ 160, 26 ] = PL(MSY( 10, 8, 3, 0))

     10-fold covered by C4[ 160, 29 ] = MSZ ( 20, 8, 3, 3)

     10-fold covered by C4[ 160, 30 ] = PL(MC3( 4, 20, 1, 9, 3, 10, 1), [8^10, 10^8])

     10-fold covered by C4[ 160, 31 ] = PL(MC3( 4, 20, 1, 9, 13, 10, 1), [8^10, 10^8])

     10-fold covered by C4[ 160, 32 ] = PL(MC3( 10, 8, 1, 5, 3, 0, 1), [4^20, 10^8])

     10-fold covered by C4[ 160, 33 ] = PL(MC3( 10, 8, 1, 5, 3, 4, 1), [4^20, 20^4])

     10-fold covered by C4[ 160, 35 ] = PL(LoPr_ 20( 1, 10, 6, 10, 1), [4^20, 20^4])

     10-fold covered by C4[ 160, 36 ] = PL(KE_20(5,1,10,19,5),[4^20,40^2])

     10-fold covered by C4[ 160, 37 ] = KE_40(1,19,2,23,1)

     10-fold covered by C4[ 160, 47 ] = UG(ATD[160,11])

     10-fold covered by C4[ 160, 50 ] = UG(ATD[160,50])

     10-fold covered by C4[ 160, 58 ] = PL(ATD[8,2]#ATD[10,1])

     10-fold covered by C4[ 160, 61 ] = SDD(C_ 40(1, 9))

     10-fold covered by C4[ 160, 64 ] = SDD(C_ 40(1, 11))

     10-fold covered by C4[ 160, 65 ] = SDD({4, 4}_ 6, 2)

     10-fold covered by C4[ 160, 66 ] = SDD(PS( 8, 5; 2))

     10-fold covered by C4[ 160, 67 ] = SDD(MPS( 4, 20; 3))

     10-fold covered by C4[ 160, 76 ] = SS[160, 19]

     10-fold covered by C4[ 160, 77 ] = SS[160, 20]

     10-fold covered by C4[ 160, 78 ] = SS[160, 21]

     10-fold covered by C4[ 160, 79 ] = SS[160, 22]

     10-fold covered by C4[ 160, 80 ] = SS[160, 26]

     10-fold covered by C4[ 160, 81 ] = SS[160, 27]

     11-fold covered by C4[ 176, 2 ] = C_176(1, 23)

     11-fold covered by C4[ 176, 4 ] = {4, 4}_[ 22, 4]

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

     12-fold covered by C4[ 192, 5 ] = {4, 4}_< 14, 2>

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

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

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

     12-fold covered by C4[ 192, 9 ] = {4, 4}_< 26, 22>

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

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

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

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

     12-fold covered by C4[ 192, 14 ] = MPS( 12, 32; 7)

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

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

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

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

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

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

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

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

     12-fold covered by C4[ 192, 30 ] = PL(MSY( 6, 16, 7, 0))

     12-fold covered by C4[ 192, 31 ] = PL(MSY( 6, 16, 7, 8))

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

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

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

     12-fold covered by C4[ 192, 37 ] = PL(MC3( 6, 16, 1, 9, 7, 0, 1), [4^24, 6^16])

     12-fold covered by C4[ 192, 38 ] = PL(MC3( 6, 16, 1, 9, 7, 8, 1), [4^24, 12^8])

     12-fold covered by C4[ 192, 39 ] = PL(LoPr_ 24( 1, 12, 2, 12, 1), [4^24, 24^4])

     12-fold covered by C4[ 192, 40 ] = PL(LoPr_ 24( 1, 12, 2, 12, 5), [4^24, 24^4])

     12-fold covered by C4[ 192, 41 ] = PL(LoPr_ 24( 3, 4, 6, 4, 3), [8^12, 12^8])

     12-fold covered by C4[ 192, 42 ] = PL(LoPr_ 24( 3, 8, 6, 8, 3), [6^16, 8^12])

     12-fold covered by C4[ 192, 43 ] = PL(LoPr_ 24( 3, 4, 6, 4, 9), [8^12, 12^8])

     12-fold covered by C4[ 192, 44 ] = PL(LoPr_ 24( 3, 8, 6, 8, 9), [6^16, 8^12])

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

     12-fold covered by C4[ 192, 46 ] = KE_48(1,11,2,39,1)

     12-fold covered by C4[ 192, 47 ] = KE_48(1,15,2,35,1)

     12-fold covered by C4[ 192, 48 ] = KE_48(1,23,2,27,1)

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

     12-fold covered by C4[ 192, 55 ] = KE_48(1,9,22,37,23)

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

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

     12-fold covered by C4[ 192, 58 ] = PL(Curtain_24(1,6,1,2,20),[4^24,8^12])

     12-fold covered by C4[ 192, 60 ] = PL(Curtain_24(1,7,17,23,24),[4^24,8^12])

     12-fold covered by C4[ 192, 61 ] = PL(Curtain_24(1,8,1,6,14),[4^24,6^16])

     12-fold covered by C4[ 192, 63 ] = PL(Curtain_24(1,12,2,7,14),[4^24,16^6])

     12-fold covered by C4[ 192, 65 ] = PL(Curtain_24(1,12,3,10,22),[4^24,48^2])

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

     12-fold covered by C4[ 192, 70 ] = PL(MBr( 2, 48; 7))

     12-fold covered by C4[ 192, 71 ] = PL(BC_48({ 0, 24 }, { 1, 7 })

     12-fold covered by C4[ 192, 72 ] = PL(BC_48({ 0, 24 }, { 1, 11 })

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

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

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

     12-fold covered by C4[ 192, 136 ] = SDD(C_ 48(1, 17))

     12-fold covered by C4[ 192, 137 ] = SDD({4, 4}_[ 6, 4])

     12-fold covered by C4[ 192, 150 ] = SDD(C_ 48(1, 7))

     12-fold covered by C4[ 192, 151 ] = SDD({4, 4}_< 8, 4>)

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

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

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

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

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

     12-fold covered by C4[ 192, 180 ] = SS[192, 65]

     12-fold covered by C4[ 192, 181 ] = SS[192, 66]

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

     12-fold covered by C4[ 192, 185 ] = SS[192, 72]

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

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

     12-fold covered by C4[ 192, 188 ] = SS[192, 75]

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

     12-fold covered by C4[ 192, 190 ] = SS[192, 77]

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

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

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

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

     12-fold covered by C4[ 192, 199 ] = SS[192, 90]

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

     13-fold covered by C4[ 208, 2 ] = C_208(1, 25)

     13-fold covered by C4[ 208, 5 ] = {4, 4}_[ 26, 4]

     13-fold covered by C4[ 208, 8 ] = PS( 8, 52; 5)

     13-fold covered by C4[ 208, 9 ] = MPS( 8, 52; 5)

     13-fold covered by C4[ 208, 10 ] = PS( 4,104; 5)

     13-fold covered by C4[ 208, 15 ] = PL(MC3( 4, 26, 1, 25, 5, 0, 1), [4^26, 26^4])

     13-fold covered by C4[ 208, 16 ] = PL(MC3( 8, 13, 1, 12, 5, 0, 1), [8^13, 26^4])

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

     14-fold covered by C4[ 224, 5 ] = {4, 4}_< 18, 10>

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

     14-fold covered by C4[ 224, 7 ] = {4, 4}_< 30, 26>

     14-fold covered by C4[ 224, 8 ] = PS( 28, 16; 3)

     14-fold covered by C4[ 224, 9 ] = MPS( 28, 16; 3)

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

     14-fold covered by C4[ 224, 16 ] = PL(MSY( 4, 28, 13, 14))

     14-fold covered by C4[ 224, 17 ] = PL(MSY( 14, 8, 3, 0))

     14-fold covered by C4[ 224, 19 ] = PL(MC3( 14, 8, 1, 5, 3, 0, 1), [4^28, 14^8])

     14-fold covered by C4[ 224, 20 ] = PL(MC3( 14, 8, 1, 5, 3, 4, 1), [4^28, 28^4])

     14-fold covered by C4[ 224, 21 ] = PL(KE_28(7,1,14,27,7),[4^28,56^2])

     14-fold covered by C4[ 224, 22 ] = KE_56(1,27,2,31,1)

     14-fold covered by C4[ 224, 30 ] = SDD(C_ 56(1, 15))

     14-fold covered by C4[ 224, 31 ] = SDD(C_ 56(1, 13))

     15-fold covered by C4[ 240, 3 ] = C_240(1, 41)

     15-fold covered by C4[ 240, 5 ] = C_240(1, 71)

     15-fold covered by C4[ 240, 7 ] = C_240(1, 89)

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

     15-fold covered by C4[ 240, 10 ] = {4, 4}_[ 20, 6]

     15-fold covered by C4[ 240, 11 ] = {4, 4}_[ 30, 4]

     15-fold covered by C4[ 240, 14 ] = PS( 24, 20; 3)

     15-fold covered by C4[ 240, 15 ] = MPS( 24, 20; 3)

     15-fold covered by C4[ 240, 16 ] = PS( 20, 24; 5)

     15-fold covered by C4[ 240, 20 ] = PS( 12, 40; 3)

     15-fold covered by C4[ 240, 23 ] = PS( 10, 48; 7)

     15-fold covered by C4[ 240, 24 ] = PS( 8, 60; 7)

     15-fold covered by C4[ 240, 25 ] = MPS( 8, 60; 7)

     15-fold covered by C4[ 240, 26 ] = PS( 4,120; 7)

     15-fold covered by C4[ 240, 27 ] = PS( 4,120; 13)

     15-fold covered by C4[ 240, 35 ] = PL(MSY( 4, 30, 11, 0))

     15-fold covered by C4[ 240, 36 ] = PL(MSY( 4, 30, 11, 15))

     15-fold covered by C4[ 240, 37 ] = PL(MSY( 6, 20, 11, 0))

     15-fold covered by C4[ 240, 40 ] = PL(MSY( 10, 12, 5, 0))

     15-fold covered by C4[ 240, 42 ] = PL(MC3( 4, 30, 1, 19, 7, 10, 1), [10^12, 12^10])

     15-fold covered by C4[ 240, 45 ] = PL(MC3( 6, 20, 1, 9, 11, 0, 1), [6^20, 10^12])

     15-fold covered by C4[ 240, 46 ] = PL(MC3( 8, 15, 1, 4, 7, 10, 1), [10^12, 24^5])

     15-fold covered by C4[ 240, 49 ] = PL(LoPr_ 30( 3, 10, 12, 10, 3), [6^20, 10^12])

     15-fold covered by C4[ 240, 50 ] = PL(KE_30(3,1,12,11,3),[10^12,12^10])

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

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

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

     16-fold covered by C4[ 256, 6 ] = {4, 4}_< 34, 30>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 256, 28 ] = PL(LoPr_ 32( 1, 16, 2, 16, 1), [4^32, 32^4])

     16-fold covered by C4[ 256, 29 ] = PL(LoPr_ 32( 1, 16, 6, 16, 1), [4^32, 32^4])

     16-fold covered by C4[ 256, 30 ] = PL(LoPr_ 32( 1, 16, 2, 16, 7), [4^32, 32^4])

     16-fold covered by C4[ 256, 31 ] = PL(LoPr_ 32( 1, 16, 6, 16, 7), [4^32, 32^4])

     16-fold covered by C4[ 256, 32 ] = KE_64(1,31,2,35,1)

     16-fold covered by C4[ 256, 33 ] = PL(Curtain_32(1,8,1,10,18),[4^32,8^16])

     16-fold covered by C4[ 256, 35 ] = PL(Curtain_32(1,16,2,9,18),[4^32,16^8])

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

     16-fold covered by C4[ 256, 39 ] = PL(BC_64({ 0, 32 }, { 1, 15 })

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

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

     16-fold covered by C4[ 256, 42 ] = PL(SoP( 8, 8))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 256, 75 ] = UG(ATD[256,137])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 256, 116 ] = SDD({4, 4}_ 8, 0)

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

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

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

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

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

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

     16-fold covered by C4[ 256, 127 ] = SDD({4, 4}_[ 8, 4])

     16-fold covered by C4[ 256, 128 ] = SDD({4, 4}_< 10, 6>)

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

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

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

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

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

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

     16-fold covered by C4[ 256, 136 ] = BGCG(PX( 8, 4); K1;{1, 4})

     16-fold covered by C4[ 256, 138 ] = BGCG(KE_32(1,15,2,19,1); K1;{1, 3})

     16-fold covered by C4[ 256, 139 ] = BGCG(KE_32(1,15,2,19,1); K1;{5, 6, 9, 10})

     16-fold covered by C4[ 256, 140 ] = BGCG(UG(ATD[128,42]); K1;{8, 11})

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 256, 163 ] = SS[256, 23]

     16-fold covered by C4[ 256, 164 ] = SS[256, 30]

     16-fold covered by C4[ 256, 165 ] = SS[256, 31]

     16-fold covered by C4[ 256, 166 ] = SS[256, 32]

     16-fold covered by C4[ 256, 167 ] = SS[256, 33]

     16-fold covered by C4[ 256, 168 ] = SS[256, 34]

     16-fold covered by C4[ 256, 169 ] = SS[256, 35]

     16-fold covered by C4[ 256, 170 ] = SS[256, 36]

     17-fold covered by C4[ 272, 3 ] = C_272(1,103)

     17-fold covered by C4[ 272, 5 ] = {4, 4}_[ 34, 4]

     17-fold covered by C4[ 272, 11 ] = PS( 8, 68; 9)

     17-fold covered by C4[ 272, 12 ] = PS( 8, 68; 13)

     17-fold covered by C4[ 272, 13 ] = MPS( 8, 68; 9)

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

     17-fold covered by C4[ 272, 15 ] = PS( 4,136; 13)

     17-fold covered by C4[ 272, 20 ] = PL(MC3( 4, 34, 1, 33, 13, 0, 1), [4^34, 34^4])

     17-fold covered by C4[ 272, 21 ] = PL(MC3( 8, 17, 1, 16, 4, 0, 1), [8^17, 34^4])

     18-fold covered by C4[ 288, 6 ] = {4, 4}_< 18, 6>

     18-fold covered by C4[ 288, 7 ] = {4, 4}_[ 18, 8]

     18-fold covered by C4[ 288, 8 ] = {4, 4}_< 22, 14>

     18-fold covered by C4[ 288, 9 ] = {4, 4}_[ 24, 6]

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

     18-fold covered by C4[ 288, 12 ] = {4, 4}_< 38, 34>

     18-fold covered by C4[ 288, 13 ] = PS( 36, 16; 3)

     18-fold covered by C4[ 288, 14 ] = MPS( 36, 16; 3)

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

     18-fold covered by C4[ 288, 16 ] = MPS( 24, 24; 5)

     18-fold covered by C4[ 288, 17 ] = PS( 12, 48; 5)

     18-fold covered by C4[ 288, 18 ] = PS( 12, 48; 7)

     18-fold covered by C4[ 288, 19 ] = MPS( 12, 48; 5)

     18-fold covered by C4[ 288, 20 ] = MPS( 12, 48; 11)

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

     18-fold covered by C4[ 288, 30 ] = PL(MSY( 4, 36, 17, 18))

     18-fold covered by C4[ 288, 31 ] = PL(MSY( 6, 24, 11, 0))

     18-fold covered by C4[ 288, 32 ] = PL(MSY( 6, 24, 11, 12))

     18-fold covered by C4[ 288, 33 ] = PL(MSY( 6, 24, 5, 0))

     18-fold covered by C4[ 288, 34 ] = PL(MSY( 6, 24, 5, 12))

     18-fold covered by C4[ 288, 35 ] = PL(MSY( 6, 24, 17, 0))

     18-fold covered by C4[ 288, 36 ] = PL(MSY( 6, 24, 17, 12))

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

     18-fold covered by C4[ 288, 38 ] = PL(MSY( 18, 8, 3, 0))

     18-fold covered by C4[ 288, 42 ] = PL(MC3( 6, 24, 1, 19, 5, 0, 1), [6^24, 8^18])

     18-fold covered by C4[ 288, 44 ] = PL(MC3( 6, 24, 1, 7, 5, 12, 1), [8^18, 12^12])

     18-fold covered by C4[ 288, 45 ] = PL(MC3( 6, 24, 1, 13, 7, 4, 1), [4^36, 36^4])

     18-fold covered by C4[ 288, 46 ] = PL(MC3( 6, 24, 1, 13, 7, 16, 1), [4^36, 18^8])

     18-fold covered by C4[ 288, 49 ] = PL(MC3( 6, 24, 1, 17, 11, 12, 1), [6^24, 12^12])

     18-fold covered by C4[ 288, 50 ] = PL(MC3( 6, 24, 1, 19, 11, 12, 1), [8^18, 12^12])

     18-fold covered by C4[ 288, 51 ] = PL(MC3( 6, 24, 1, 7, 17, 0, 1), [6^24, 8^18])

     18-fold covered by C4[ 288, 54 ] = PL(KE_36(9,1,18,35,9),[4^36,72^2])

     18-fold covered by C4[ 288, 58 ] = CPM( 12, 2, 4, 1)

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

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

     18-fold covered by C4[ 288, 63 ] = UG(ATD[288,5])

     18-fold covered by C4[ 288, 64 ] = UG(ATD[288,7])

     18-fold covered by C4[ 288, 65 ] = UG(ATD[288,9])

     18-fold covered by C4[ 288, 66 ] = UG(ATD[288,11])

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

     18-fold covered by C4[ 288, 68 ] = UG(ATD[288,15])

     18-fold covered by C4[ 288, 69 ] = UG(ATD[288,17])

     18-fold covered by C4[ 288, 76 ] = UG(ATD[288,32])

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

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

     18-fold covered by C4[ 288, 81 ] = UG(ATD[288,49])

     18-fold covered by C4[ 288, 82 ] = UG(ATD[288,52])

     18-fold covered by C4[ 288, 83 ] = UG(ATD[288,55])

     18-fold covered by C4[ 288, 84 ] = UG(ATD[288,58])

     18-fold covered by C4[ 288, 85 ] = UG(ATD[288,62])

     18-fold covered by C4[ 288, 86 ] = UG(ATD[288,65])

     18-fold covered by C4[ 288, 87 ] = UG(ATD[288,69])

     18-fold covered by C4[ 288, 110 ] = UG(ATD[288,181])

     18-fold covered by C4[ 288, 111 ] = UG(ATD[288,184])

     18-fold covered by C4[ 288, 141 ] = PL(ATD[8,1]#ATD[18,2])

     18-fold covered by C4[ 288, 147 ] = PL(ATD[12,2]#ATD[12,3])

     18-fold covered by C4[ 288, 148 ] = PL(ATD[18,2]#DCyc[8])

     18-fold covered by C4[ 288, 154 ] = SDD({4, 4}_ 6, 6)

     18-fold covered by C4[ 288, 162 ] = SDD(PS( 6, 24; 7))

     18-fold covered by C4[ 288, 163 ] = SDD(DW( 24, 3))

     18-fold covered by C4[ 288, 164 ] = SDD(C_ 72(1, 17))

     18-fold covered by C4[ 288, 168 ] = XI(Cmap(144,1){4,8|6}_8)

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

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

     18-fold covered by C4[ 288, 207 ] = SDD(C_ 72(1, 19))

     18-fold covered by C4[ 288, 208 ] = BGCG({4, 4}_ 6, 6; K2;{2, 5})

     18-fold covered by C4[ 288, 209 ] = BGCG({4, 4}_ 6, 6; K2;{13, 16})

     18-fold covered by C4[ 288, 210 ] = SDD({4, 4}_< 9, 3>)

     18-fold covered by C4[ 288, 211 ] = SDD(PS( 6, 24; 5))

     18-fold covered by C4[ 288, 217 ] = SDD(AMC( 8, 3, [ 0. 1: 1. 2]))

     18-fold covered by C4[ 288, 218 ] = BGCG(AMC( 8, 3, [ 0. 1: 1. 2]); K2;{1, 3, 4, 6})

     18-fold covered by C4[ 288, 219 ] = BGCG(AMC( 8, 3, [ 0. 1: 1. 2]); K2;{2, 7})

     18-fold covered by C4[ 288, 222 ] = BGCG({4, 4}_ 12, 0; K1;{17, 24})

     18-fold covered by C4[ 288, 223 ] = BGCG({4, 4}_ 12, 0; K1;{23, 26})

     18-fold covered by C4[ 288, 224 ] = BGCG(PL(MSY( 6, 12, 5, 6)); K1;2)

     18-fold covered by C4[ 288, 225 ] = BGCG(PL(MSY( 6, 12, 5, 6)); K1;3)

     18-fold covered by C4[ 288, 226 ] = BGCG(PL(MSY( 6, 12, 5, 6)); K1;4)

     18-fold covered by C4[ 288, 227 ] = BGCG(PL(MSY( 6, 12, 5, 6)); K1;6)

     18-fold covered by C4[ 288, 236 ] = BGCG(UG(ATD[144,8]); K1;{2, 6})

     18-fold covered by C4[ 288, 237 ] = BGCG(UG(ATD[144,8]); K1;{3, 4})

     18-fold covered by C4[ 288, 238 ] = BGCG(UG(ATD[144,8]); K1;5)

     18-fold covered by C4[ 288, 239 ] = BGCG(UG(ATD[144,8]); K1;7)

     18-fold covered by C4[ 288, 240 ] = BGCG(UG(ATD[144,12]); K1;1)

     18-fold covered by C4[ 288, 241 ] = BGCG(UG(ATD[144,12]); K1;4)

     18-fold covered by C4[ 288, 254 ] = SS[288, 10]

     18-fold covered by C4[ 288, 255 ] = SS[288, 11]

     18-fold covered by C4[ 288, 256 ] = SS[288, 15]

     18-fold covered by C4[ 288, 257 ] = SS[288, 16]

     19-fold covered by C4[ 304, 2 ] = C_304(1, 39)

     19-fold covered by C4[ 304, 4 ] = {4, 4}_[ 38, 4]

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

     20-fold covered by C4[ 320, 6 ] = {4, 4}_< 18, 2>

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

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

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

     20-fold covered by C4[ 320, 10 ] = {4, 4}_< 42, 38>

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

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

     20-fold covered by C4[ 320, 14 ] = PS( 32, 20; 3)

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

     20-fold covered by C4[ 320, 17 ] = MPS( 20, 32; 7)

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

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

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

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

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

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

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

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

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

     20-fold covered by C4[ 320, 29 ] = PS( 4,160; 7)

     20-fold covered by C4[ 320, 30 ] = PS( 4,160; 17)

     20-fold covered by C4[ 320, 31 ] = MPS( 4,160; 7)

     20-fold covered by C4[ 320, 32 ] = MPS( 4,160; 17)

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

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

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

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

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

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

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

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

     20-fold covered by C4[ 320, 45 ] = PL(MSY( 10, 16, 7, 0))

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

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

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

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

     20-fold covered by C4[ 320, 52 ] = PL(MC3( 4, 40, 1, 9, 13, 30, 1), [10^16, 16^10])

     20-fold covered by C4[ 320, 53 ] = PL(MC3( 4, 40, 1, 9, 17, 30, 1), [10^16, 16^10])

     20-fold covered by C4[ 320, 54 ] = PL(MC3( 10, 16, 1, 9, 7, 0, 1), [4^40, 10^16])

     20-fold covered by C4[ 320, 55 ] = PL(MC3( 10, 16, 1, 9, 7, 8, 1), [4^40, 20^8])

     20-fold covered by C4[ 320, 57 ] = PL(LoPr_ 40( 1, 20, 2, 20, 1), [4^40, 40^4])

     20-fold covered by C4[ 320, 58 ] = PL(LoPr_ 40( 1, 20, 6, 20, 1), [4^40, 40^4])

     20-fold covered by C4[ 320, 59 ] = PL(LoPr_ 40( 1, 20, 2, 20, 9), [4^40, 40^4])

     20-fold covered by C4[ 320, 60 ] = PL(LoPr_ 40( 1, 20, 6, 20, 9), [4^40, 40^4])

     20-fold covered by C4[ 320, 61 ] = PL(LoPr_ 40( 5, 4, 10, 4, 5), [8^20, 20^8])

     20-fold covered by C4[ 320, 62 ] = PL(LoPr_ 40( 5, 8, 10, 8, 5), [8^20, 10^16])

     20-fold covered by C4[ 320, 63 ] = PL(LoPr_ 40( 5, 4, 10, 4, 15), [8^20, 20^8])

     20-fold covered by C4[ 320, 64 ] = PL(LoPr_ 40( 5, 8, 10, 8, 15), [8^20, 10^16])

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

     20-fold covered by C4[ 320, 66 ] = PL(Curtain_40(1,9,11,19,40),[4^40,10^16])

     20-fold covered by C4[ 320, 67 ] = PL(Curtain_40(1,10,1,2,32),[4^40,8^20])

     20-fold covered by C4[ 320, 69 ] = PL(Curtain_40(1,11,29,39,40),[4^40,8^20])

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

     20-fold covered by C4[ 320, 72 ] = PL(Curtain_40(1,20,2,11,22),[4^40,16^10])

     20-fold covered by C4[ 320, 74 ] = PL(Curtain_40(1,20,7,18,38),[4^40,80^2])

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

     20-fold covered by C4[ 320, 78 ] = PL(MBr( 2, 80; 9))

     20-fold covered by C4[ 320, 79 ] = PL(BC_80({ 0, 40 }, { 1, 19 })

     20-fold covered by C4[ 320, 80 ] = PL(BC_80({ 0, 40 }, { 1, 31 })

     20-fold covered by C4[ 320, 82 ] = UG(ATD[320,21])

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

     20-fold covered by C4[ 320, 84 ] = UG(ATD[320,29])

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

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

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

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

     20-fold covered by C4[ 320, 89 ] = UG(ATD[320,39])

     20-fold covered by C4[ 320, 98 ] = UG(ATD[320,88])

     20-fold covered by C4[ 320, 99 ] = UG(ATD[320,91])

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

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

     20-fold covered by C4[ 320, 102 ] = UG(ATD[320,121])

     20-fold covered by C4[ 320, 103 ] = UG(ATD[320,124])

     20-fold covered by C4[ 320, 104 ] = UG(ATD[320,127])

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

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

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

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

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

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

     20-fold covered by C4[ 320, 111 ] = UG(ATD[320,140])

     20-fold covered by C4[ 320, 112 ] = UG(ATD[320,143])

     20-fold covered by C4[ 320, 141 ] = PL(ATD[8,1]#ATD[20,1])

     20-fold covered by C4[ 320, 142 ] = PL(ATD[8,2]#ATD[40,1])

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

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

     20-fold covered by C4[ 320, 145 ] = PL(ATD[10,1]#ATD[16,2])

     20-fold covered by C4[ 320, 146 ] = PL(ATD[10,1]#ATD[16,4])

     20-fold covered by C4[ 320, 152 ] = SDD(C_ 80(1, 31))

     20-fold covered by C4[ 320, 153 ] = SDD({4, 4}_[ 10, 4])

     20-fold covered by C4[ 320, 161 ] = PL(CS(PS( 8, 5; 2)[ 10^ 8], 1))

     20-fold covered by C4[ 320, 165 ] = SDD(C_ 80(1, 9))

     20-fold covered by C4[ 320, 166 ] = SDD({4, 4}_ 8, 4)

     20-fold covered by C4[ 320, 167 ] = SDD({4, 4}_< 12, 8>)

     20-fold covered by C4[ 320, 168 ] = SDD(PS( 16, 5; 2))

     20-fold covered by C4[ 320, 169 ] = SDD(PS( 8, 20; 3))

     20-fold covered by C4[ 320, 170 ] = SDD(MPS( 8, 20; 3))

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

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

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

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

     20-fold covered by C4[ 320, 205 ] = SS[320, 12]

     20-fold covered by C4[ 320, 210 ] = SS[320, 19]

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

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

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

     20-fold covered by C4[ 320, 214 ] = SS[320, 23]

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

     20-fold covered by C4[ 320, 216 ] = SS[320, 25]

     21-fold covered by C4[ 336, 2 ] = C_336(1, 41)

     21-fold covered by C4[ 336, 3 ] = C_336(1, 55)

     21-fold covered by C4[ 336, 4 ] = C_336(1, 71)

     21-fold covered by C4[ 336, 8 ] = {4, 4}_[ 14, 12]

     21-fold covered by C4[ 336, 10 ] = {4, 4}_[ 28, 6]

     21-fold covered by C4[ 336, 11 ] = {4, 4}_[ 42, 4]

     21-fold covered by C4[ 336, 14 ] = PS( 28, 24; 5)

     21-fold covered by C4[ 336, 16 ] = PS( 24, 28; 3)

     21-fold covered by C4[ 336, 17 ] = MPS( 24, 28; 3)

     21-fold covered by C4[ 336, 19 ] = PS( 14, 48; 7)

     21-fold covered by C4[ 336, 20 ] = PS( 12, 56; 3)

     21-fold covered by C4[ 336, 21 ] = PS( 12, 56; 5)

     21-fold covered by C4[ 336, 26 ] = PS( 6,112; 9)

     21-fold covered by C4[ 336, 28 ] = PS( 6,112; 23)

     21-fold covered by C4[ 336, 34 ] = PL(MSY( 4, 42, 13, 0))

     21-fold covered by C4[ 336, 35 ] = PL(MSY( 4, 42, 13, 21))

     21-fold covered by C4[ 336, 36 ] = PL(MSY( 6, 28, 13, 0))

     21-fold covered by C4[ 336, 39 ] = PL(MSY( 14, 12, 5, 0))

     21-fold covered by C4[ 336, 43 ] = PL(MC3( 6, 28, 1, 13, 15, 0, 1), [6^28, 14^12])

     22-fold covered by C4[ 352, 4 ] = {4, 4}_[ 22, 8]

     22-fold covered by C4[ 352, 5 ] = {4, 4}_< 26, 18>

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

     22-fold covered by C4[ 352, 7 ] = {4, 4}_< 46, 42>

     22-fold covered by C4[ 352, 8 ] = PS( 44, 16; 3)

     22-fold covered by C4[ 352, 9 ] = MPS( 44, 16; 3)

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

     22-fold covered by C4[ 352, 16 ] = PL(MSY( 4, 44, 23, 22))

     22-fold covered by C4[ 352, 17 ] = PL(MSY( 22, 8, 3, 0))

     22-fold covered by C4[ 352, 19 ] = PL(MC3( 22, 8, 1, 5, 3, 0, 1), [4^44, 22^8])

     22-fold covered by C4[ 352, 20 ] = PL(MC3( 22, 8, 1, 5, 3, 4, 1), [4^44, 44^4])

     22-fold covered by C4[ 352, 21 ] = PL(KE_44(11,1,22,43,11),[4^44,88^2])

     22-fold covered by C4[ 352, 25 ] = UG(ATD[352,25])

     22-fold covered by C4[ 352, 27 ] = SDD(C_ 88(1, 23))

     22-fold covered by C4[ 352, 28 ] = SDD(C_ 88(1, 21))

     23-fold covered by C4[ 368, 3 ] = C_368(1,137)

     23-fold covered by C4[ 368, 4 ] = {4, 4}_[ 46, 4]

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

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

     24-fold covered by C4[ 384, 6 ] = {4, 4}_< 22, 10>

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

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

     24-fold covered by C4[ 384, 9 ] = {4, 4}_[ 32, 6]

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

     24-fold covered by C4[ 384, 11 ] = {4, 4}_< 50, 46>

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

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

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

     24-fold covered by C4[ 384, 15 ] = MPS( 32, 24; 5)

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 25 ] = MPS( 12, 64; 15)

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

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

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

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

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 43 ] = PL(MSY( 6, 32, 15, 0))

     24-fold covered by C4[ 384, 44 ] = PL(MSY( 6, 32, 15, 16))

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

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

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

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

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 57 ] = PL(MSZ ( 12, 16, 3, 7), [4^48, 12^16])

     24-fold covered by C4[ 384, 59 ] = PL(MC3( 6, 32, 1, 17, 15, 0, 1), [4^48, 6^32])

     24-fold covered by C4[ 384, 60 ] = PL(MC3( 6, 32, 1, 17, 15, 16, 1), [4^48, 12^16])

     24-fold covered by C4[ 384, 61 ] = PL(LoPr_ 48( 1, 24, 2, 24, 1), [4^48, 48^4])

     24-fold covered by C4[ 384, 62 ] = PL(LoPr_ 48( 1, 24, 10, 24, 1), [4^48, 48^4])

     24-fold covered by C4[ 384, 63 ] = PL(LoPr_ 48( 1, 24, 2, 24, 11), [4^48, 48^4])

     24-fold covered by C4[ 384, 64 ] = PL(LoPr_ 48( 1, 24, 10, 24, 11), [4^48, 48^4])

     24-fold covered by C4[ 384, 65 ] = PL(LoPr_ 48( 3, 8, 6, 8, 3), [12^16, 16^12])

     24-fold covered by C4[ 384, 66 ] = PL(LoPr_ 48( 3, 8, 18, 8, 3), [12^16, 16^12])

     24-fold covered by C4[ 384, 67 ] = PL(LoPr_ 48( 3, 16, 6, 16, 3), [6^32, 16^12])

     24-fold covered by C4[ 384, 68 ] = PL(LoPr_ 48( 3, 16, 18, 16, 3), [6^32, 16^12])

     24-fold covered by C4[ 384, 69 ] = PL(LoPr_ 48( 3, 8, 6, 8, 21), [12^16, 16^12])

     24-fold covered by C4[ 384, 70 ] = PL(LoPr_ 48( 3, 8, 18, 8, 21), [12^16, 16^12])

     24-fold covered by C4[ 384, 71 ] = PL(LoPr_ 48( 3, 16, 6, 16, 21), [6^32, 16^12])

     24-fold covered by C4[ 384, 72 ] = PL(LoPr_ 48( 3, 16, 18, 16, 21), [6^32, 16^12])

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

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

     24-fold covered by C4[ 384, 75 ] = PL(Curtain_48(1,6,1,20,26),[4^48,16^12])

     24-fold covered by C4[ 384, 76 ] = PL(Curtain_48(1,6,8,14,25),[8^24,16^12])

     24-fold covered by C4[ 384, 77 ] = PL(Curtain_48(1,6,25,32,38),[8^24,16^12])

     24-fold covered by C4[ 384, 78 ] = PL(Curtain_48(1,7,17,23,48),[4^48,16^12])

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

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

     24-fold covered by C4[ 384, 81 ] = PL(Curtain_48(1,8,1,18,26),[4^48,12^16])

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

     24-fold covered by C4[ 384, 83 ] = PL(Curtain_48(1,12,1,14,26),[4^48,8^24])

     24-fold covered by C4[ 384, 84 ] = PL(Curtain_48(1,17,7,23,24),[6^32,8^24])

     24-fold covered by C4[ 384, 85 ] = PL(Curtain_48(1,17,7,23,48),[4^48,6^32])

     24-fold covered by C4[ 384, 86 ] = PL(Curtain_48(1,18,1,2,32),[4^48,16^12])

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

     24-fold covered by C4[ 384, 89 ] = PL(Curtain_48(1,24,2,13,26),[4^48,16^12])

     24-fold covered by C4[ 384, 92 ] = PL(Curtain_48(1,24,9,10,34),[4^48,24^8])

     24-fold covered by C4[ 384, 93 ] = PL(Curtain_48(1,24,9,22,46),[4^48,24^8])

     24-fold covered by C4[ 384, 94 ] = PL(Curtain_48(1,24,10,33,34),[4^48,12^16])

     24-fold covered by C4[ 384, 95 ] = PL(Curtain_48(1,24,13,14,38),[4^48,16^12])

     24-fold covered by C4[ 384, 98 ] = PL(Curtain_48(1,24,22,33,46),[4^48,12^16])

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

     24-fold covered by C4[ 384, 102 ] = PL(MBr( 2, 96; 17))

     24-fold covered by C4[ 384, 103 ] = PL(BC_96({ 0, 48 }, { 1, 7 })

     24-fold covered by C4[ 384, 104 ] = PL(BC_96({ 0, 48 }, { 1, 23 })

     24-fold covered by C4[ 384, 105 ] = PL(BC_96({ 0, 48 }, { 1, 31 })

     24-fold covered by C4[ 384, 106 ] = PL(BC_96({ 0, 48 }, { 1, 41 })

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

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

     24-fold covered by C4[ 384, 109 ] = PL(SoP( 12, 8))

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

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

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

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

     24-fold covered by C4[ 384, 203 ] = UG(ATD[384,261])

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

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

     24-fold covered by C4[ 384, 206 ] = UG(ATD[384,315])

     24-fold covered by C4[ 384, 207 ] = UG(ATD[384,318])

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

     24-fold covered by C4[ 384, 209 ] = UG(ATD[384,324])

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

     24-fold covered by C4[ 384, 211 ] = UG(ATD[384,330])

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 220 ] = UG(ATD[384,366])

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 229 ] = UG(ATD[384,393])

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

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

     24-fold covered by C4[ 384, 232 ] = UG(ATD[384,404])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 340 ] = PL(ATD[8,2]#ATD[48,27])

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

     24-fold covered by C4[ 384, 342 ] = PL(ATD[12,2]#ATD[32,4])

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

     24-fold covered by C4[ 384, 344 ] = PL(ATD[12,2]#ATD[32,8])

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

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

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

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

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

     24-fold covered by C4[ 384, 375 ] = SDD(C_ 96(1, 31))

     24-fold covered by C4[ 384, 376 ] = SDD(PS( 8, 24; 5))

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

     24-fold covered by C4[ 384, 378 ] = SDD({4, 4}_[ 8, 6])

     24-fold covered by C4[ 384, 379 ] = SDD({4, 4}_[ 12, 4])

     24-fold covered by C4[ 384, 387 ] = PL(CS(C_ 48(1, 7)[ 48^ 2], 1))

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

     24-fold covered by C4[ 384, 393 ] = BGCG(R_ 24( 20, 7), C_ 4, {3, 4, 5, 6})

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

     24-fold covered by C4[ 384, 416 ] = SDD(C_ 96(1, 17))

     24-fold covered by C4[ 384, 417 ] = SDD({4, 4}_< 10, 2>)

     24-fold covered by C4[ 384, 418 ] = SDD({4, 4}_< 14, 10>)

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

     24-fold covered by C4[ 384, 420 ] = SDD(MPS( 12, 16; 3))

     24-fold covered by C4[ 384, 422 ] = BGCG(R_ 48( 38, 13); K2;{2, 3})

     24-fold covered by C4[ 384, 424 ] = SDD(MSY( 4, 24, 13, 4))

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

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

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

     24-fold covered by C4[ 384, 449 ] = BGCG(MPS( 8, 48; 7); K1;{16, 17})

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 384, 503 ] = BGCG(UG(ATD[192,138]); K1;3)

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

     24-fold covered by C4[ 384, 505 ] = BGCG(UG(ATD[192,146]); K1;{11, 12})

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

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

     24-fold covered by C4[ 384, 528 ] = BGCG(UG(ATD[192,183]); K1;{12, 14})

     24-fold covered by C4[ 384, 529 ] = BGCG(UG(ATD[192,183]); K1;{13, 15})

     25-fold covered by C4[ 400, 3 ] = C_400(1,151)

     25-fold covered by C4[ 400, 6 ] = {4, 4}_[ 20, 10]

     25-fold covered by C4[ 400, 7 ] = {4, 4}_< 25, 15>

     25-fold covered by C4[ 400, 9 ] = {4, 4}_[ 50, 4]

     25-fold covered by C4[ 400, 12 ] = PS( 40, 20; 3)

     25-fold covered by C4[ 400, 13 ] = MPS( 40, 20; 3)

     25-fold covered by C4[ 400, 14 ] = PS( 20, 40; 3)

     25-fold covered by C4[ 400, 15 ] = PS( 20, 40; 9)

     25-fold covered by C4[ 400, 19 ] = PS( 10, 80; 9)

     25-fold covered by C4[ 400, 21 ] = PS( 8,100; 7)

     25-fold covered by C4[ 400, 22 ] = MPS( 8,100; 7)

     25-fold covered by C4[ 400, 23 ] = PS( 4,200; 7)

     25-fold covered by C4[ 400, 28 ] = PL(MSY( 10, 20, 11, 0))

     25-fold covered by C4[ 400, 30 ] = MSZ ( 20, 20, 9, 3)

     25-fold covered by C4[ 400, 32 ] = MSZ ( 40, 10, 9, 3)

     25-fold covered by C4[ 400, 33 ] = MSZ ( 80, 5, 9, 2)

     25-fold covered by C4[ 400, 35 ] = PL(MC3( 4, 50, 1, 49, 7, 0, 1), [4^50, 50^4])

     25-fold covered by C4[ 400, 36 ] = PL(MC3( 8, 25, 1, 24, 7, 0, 1), [8^25, 50^4])

     25-fold covered by C4[ 400, 39 ] = PL(MC3( 20, 10, 1, 9, 3, 0, 1), [10^20, 20^10])

     25-fold covered by C4[ 400, 40 ] = PL(MC3( 40, 5, 1, 4, 2, 0, 1), [10^20, 40^5])

     25-fold covered by C4[ 400, 48 ] = UG(ATD[400,13])

     25-fold covered by C4[ 400, 53 ] = UG(ATD[400,32])

     25-fold covered by C4[ 400, 54 ] = UG(ATD[400,35])

     25-fold covered by C4[ 400, 55 ] = UG(ATD[400,36])

     25-fold covered by C4[ 400, 56 ] = UG(ATD[400,37])

     25-fold covered by C4[ 400, 65 ] = PL(ATD[10,1]#ATD[20,2])

     25-fold covered by C4[ 400, 66 ] = PL(ATD[10,1]#ATD[20,3])

     25-fold covered by C4[ 400, 74 ] = XI(Cmap(200,7){8,8|4}_10)

     25-fold covered by C4[ 400, 75 ] = BGCG(C_ 40(1, 9), C_ 5, 4)

     25-fold covered by C4[ 400, 82 ] = BGCG({4, 4}_ 10, 0; K2;{12, 14, 15, 16})

     25-fold covered by C4[ 400, 86 ] = BGCG({4, 4}_ 10, 10; K1;{5, 7, 8, 9})

     25-fold covered by C4[ 400, 87 ] = BGCG({4, 4}_ 10, 10; K1;{12, 13})

     25-fold covered by C4[ 400, 90 ] = BGCG(PS( 10, 40; 9); K1;{13, 16})

     25-fold covered by C4[ 400, 92 ] = BGCG(AMC( 8, 5, [ 1. 2: 1. 4]); K1;2)

     25-fold covered by C4[ 400, 95 ] = BGCG(UG(ATD[200,11]); K1;2)

     25-fold covered by C4[ 400, 96 ] = BGCG(UG(ATD[200,11]); K1;{3, 5})

     25-fold covered by C4[ 400, 97 ] = SS[400, 1]

     25-fold covered by C4[ 400, 98 ] = SS[400, 2]

     25-fold covered by C4[ 400, 99 ] = SS[400, 5]

     25-fold covered by C4[ 400, 100 ] = SS[400, 6]

     25-fold covered by C4[ 400, 104 ] = SS[400, 13]

     26-fold covered by C4[ 416, 5 ] = {4, 4}_[ 26, 8]

     26-fold covered by C4[ 416, 6 ] = {4, 4}_< 30, 22>

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

     26-fold covered by C4[ 416, 8 ] = {4, 4}_< 54, 50>

     26-fold covered by C4[ 416, 9 ] = PS( 52, 16; 3)

     26-fold covered by C4[ 416, 10 ] = MPS( 52, 16; 3)

     26-fold covered by C4[ 416, 12 ] = PS( 16, 52; 5)

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

     26-fold covered by C4[ 416, 16 ] = MPS( 8,104; 5)

     26-fold covered by C4[ 416, 17 ] = PS( 4,208; 5)

     26-fold covered by C4[ 416, 18 ] = PS( 4,208; 31)

     26-fold covered by C4[ 416, 19 ] = MPS( 4,208; 5)

     26-fold covered by C4[ 416, 20 ] = MPS( 4,208; 31)

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

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

     26-fold covered by C4[ 416, 27 ] = PL(MSY( 26, 8, 3, 0))

     26-fold covered by C4[ 416, 30 ] = MSZ ( 52, 8, 5, 3)

     26-fold covered by C4[ 416, 31 ] = PL(MC3( 4, 52, 1, 25, 5, 26, 1), [8^26, 26^8])

     26-fold covered by C4[ 416, 32 ] = PL(MC3( 4, 52, 1, 25, 31, 26, 1), [8^26, 26^8])

     26-fold covered by C4[ 416, 34 ] = PL(MC3( 26, 8, 1, 5, 3, 0, 1), [4^52, 26^8])

     26-fold covered by C4[ 416, 35 ] = PL(MC3( 26, 8, 1, 5, 3, 4, 1), [4^52, 52^4])

     26-fold covered by C4[ 416, 36 ] = PL(LoPr_ 52( 1, 26, 10, 26, 1), [4^52, 52^4])

     26-fold covered by C4[ 416, 37 ] = PL(KE_52(13,1,26,51,13),[4^52,104^2])

     26-fold covered by C4[ 416, 42 ] = UG(ATD[416,9])

     26-fold covered by C4[ 416, 44 ] = UG(ATD[416,44])

     26-fold covered by C4[ 416, 45 ] = UG(ATD[416,47])

     26-fold covered by C4[ 416, 48 ] = PL(ATD[8,2]#ATD[26,1])

     26-fold covered by C4[ 416, 50 ] = SDD(C_104(1, 25))

     26-fold covered by C4[ 416, 51 ] = SDD(C_104(1, 27))

     26-fold covered by C4[ 416, 52 ] = SDD({4, 4}_ 10, 2)

     26-fold covered by C4[ 416, 53 ] = SDD(PS( 8, 13; 5))

     26-fold covered by C4[ 416, 54 ] = SDD(MPS( 4, 52; 5))

     26-fold covered by C4[ 416, 59 ] = SS[416, 3]

     26-fold covered by C4[ 416, 60 ] = SS[416, 4]

     27-fold covered by C4[ 432, 2 ] = C_432(1, 55)

     27-fold covered by C4[ 432, 5 ] = {4, 4}_[ 18, 12]

     27-fold covered by C4[ 432, 6 ] = {4, 4}_< 21, 3>

     27-fold covered by C4[ 432, 9 ] = {4, 4}_[ 36, 6]

     27-fold covered by C4[ 432, 10 ] = {4, 4}_< 39, 33>

     27-fold covered by C4[ 432, 11 ] = {4, 4}_[ 54, 4]

     27-fold covered by C4[ 432, 14 ] = PS( 36, 24; 5)

     27-fold covered by C4[ 432, 16 ] = PS( 24, 36; 5)

     27-fold covered by C4[ 432, 17 ] = MPS( 24, 36; 5)

     27-fold covered by C4[ 432, 18 ] = PS( 18, 48; 7)

     27-fold covered by C4[ 432, 20 ] = PS( 12, 72; 5)

     27-fold covered by C4[ 432, 21 ] = PS( 12, 72; 11)

     27-fold covered by C4[ 432, 26 ] = PS( 6,144; 7)

     27-fold covered by C4[ 432, 27 ] = PS( 6,144; 23)

     27-fold covered by C4[ 432, 34 ] = PL(MSY( 6, 36, 17, 0))

     27-fold covered by C4[ 432, 36 ] = PL(MSY( 18, 12, 5, 0))

     27-fold covered by C4[ 432, 40 ] = PL(MC3( 6, 36, 1, 17, 19, 0, 1), [6^36, 18^12])

     27-fold covered by C4[ 432, 44 ] = PL(WH_ 72( 9, 1, 55, 60), [8^27, 18^12])

     27-fold covered by C4[ 432, 50 ] = PL(RC( 6, 3), [6^36, 6^36])

     27-fold covered by C4[ 432, 53 ] = UG(ATD[432,5])

     27-fold covered by C4[ 432, 54 ] = UG(ATD[432,7])

     27-fold covered by C4[ 432, 55 ] = UG(ATD[432,9])

     27-fold covered by C4[ 432, 56 ] = UG(ATD[432,11])

     27-fold covered by C4[ 432, 57 ] = UG(ATD[432,13])

     27-fold covered by C4[ 432, 69 ] = UG(ATD[432,37])

     27-fold covered by C4[ 432, 70 ] = UG(ATD[432,39])

     27-fold covered by C4[ 432, 71 ] = UG(ATD[432,41])

     27-fold covered by C4[ 432, 87 ] = UG(ATD[432,102])

     27-fold covered by C4[ 432, 88 ] = UG(ATD[432,103])

     27-fold covered by C4[ 432, 89 ] = UG(ATD[432,106])

     27-fold covered by C4[ 432, 90 ] = UG(ATD[432,109])

     27-fold covered by C4[ 432, 91 ] = UG(ATD[432,112])

     27-fold covered by C4[ 432, 92 ] = UG(ATD[432,115])

     27-fold covered by C4[ 432, 93 ] = UG(ATD[432,118])

     27-fold covered by C4[ 432, 94 ] = UG(ATD[432,119])

     27-fold covered by C4[ 432, 95 ] = UG(ATD[432,122])

     27-fold covered by C4[ 432, 123 ] = UG(ATD[432,197])

     27-fold covered by C4[ 432, 124 ] = UG(ATD[432,198])

     27-fold covered by C4[ 432, 125 ] = UG(ATD[432,201])

     27-fold covered by C4[ 432, 126 ] = UG(ATD[432,204])

     27-fold covered by C4[ 432, 127 ] = UG(ATD[432,207])

     27-fold covered by C4[ 432, 128 ] = UG(ATD[432,210])

     27-fold covered by C4[ 432, 129 ] = UG(ATD[432,213])

     27-fold covered by C4[ 432, 130 ] = UG(ATD[432,214])

     27-fold covered by C4[ 432, 131 ] = UG(ATD[432,217])

     27-fold covered by C4[ 432, 139 ] = UG(ATD[432,262])

     27-fold covered by C4[ 432, 140 ] = UG(ATD[432,277])

     27-fold covered by C4[ 432, 160 ] = PL(ATD[9,1]#ATD[12,3])

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

     27-fold covered by C4[ 432, 165 ] = PL(ATD[12,2]#ATD[36,4])

     27-fold covered by C4[ 432, 166 ] = PL(ATD[12,3]#ATD[18,2])

     27-fold covered by C4[ 432, 169 ] = PL(ATD[18,2]#DCyc[12])

     27-fold covered by C4[ 432, 170 ] = PL(ATD[36,2]#DCyc[3])

     27-fold covered by C4[ 432, 171 ] = PL(ATD[36,7]#DCyc[3])

     27-fold covered by C4[ 432, 178 ] = XI(Rmap(216,8){4,12|6}_12)

     27-fold covered by C4[ 432, 193 ] = XI(Cmap(216,9){4,24|6}_24)

     27-fold covered by C4[ 432, 194 ] = XI(Cmap(216,29){12,8|6}_24)

     27-fold covered by C4[ 432, 195 ] = XI(Cmap(216,30){12,8|6}_24)

     27-fold covered by C4[ 432, 202 ] = BGCG({4, 4}_ 6, 0, C_ 6, {3, 5, 9, 10})

     27-fold covered by C4[ 432, 203 ] = BGCG({4, 4}_ 6, 0, C_ 6, {6, 7})

     27-fold covered by C4[ 432, 211 ] = BGCG(MC3( 6, 9, 1, 6, 2, 0, 1), C_ 4, {1, 2, 3, 4, 5, 6})

     27-fold covered by C4[ 432, 216 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {1, 11})

     27-fold covered by C4[ 432, 217 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {2, 12})

     27-fold covered by C4[ 432, 218 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {4, 13})

     27-fold covered by C4[ 432, 224 ] = BGCG(DW( 24, 3), C_ 3, 2)

     27-fold covered by C4[ 432, 226 ] = BGCG(PS( 6, 24; 7), C_ 3, {5, 13})

     27-fold covered by C4[ 432, 227 ] = BGCG(PS( 6, 24; 7), C_ 3, {6, 7, 11, 12})

     27-fold covered by C4[ 432, 235 ] = BGCG(AMC( 12, 3, [ 0. 1: 2. 2]); K2;{1, 2, 4, 7})

     27-fold covered by C4[ 432, 237 ] = BGCG(AMC( 12, 3, [ 0. 1: 1. 2]); K2;{2, 3})

     27-fold covered by C4[ 432, 243 ] = BGCG(UG(ATD[108,14]); K2;6)

     27-fold covered by C4[ 432, 244 ] = BGCG(UG(ATD[108,24]); K2;{1, 2, 3, 6})

     27-fold covered by C4[ 432, 246 ] = BGCG(UG(ATD[108,30]); K2;{2, 3})

     27-fold covered by C4[ 432, 247 ] = BGCG(AMC( 24, 3, [ 0. 1: 2. 2]); K1;{2, 3})

     27-fold covered by C4[ 432, 249 ] = BGCG(AMC( 24, 3, [ 0. 1: 1. 2]); K1;{1, 2})

     27-fold covered by C4[ 432, 250 ] = BGCG(AMC( 24, 3, [ 0. 1: 1. 2]); K1;3)

     27-fold covered by C4[ 432, 254 ] = BGCG(UG(ATD[216,54]); K1;{5, 7})

     27-fold covered by C4[ 432, 256 ] = BGCG(UG(ATD[216,56]); K1;1)

     27-fold covered by C4[ 432, 257 ] = BGCG(UG(ATD[216,56]); K1;2)

     27-fold covered by C4[ 432, 267 ] = BGCG(UG(ATD[216,74]); K1;{2, 3})

     27-fold covered by C4[ 432, 268 ] = BGCG(UG(ATD[216,74]); K1;4)

     27-fold covered by C4[ 432, 270 ] = BGCG(UG(ATD[216,75]); K1;{1, 7})

     27-fold covered by C4[ 432, 271 ] = BGCG(UG(ATD[216,75]); K1;2)

     27-fold covered by C4[ 432, 273 ] = BGCG(UG(ATD[216,81]); K1;4)

     27-fold covered by C4[ 432, 274 ] = BGCG(UG(ATD[216,81]); K1;6)

     27-fold covered by C4[ 432, 275 ] = BGCG(UG(ATD[216,81]); K1;7)

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

     28-fold covered by C4[ 448, 5 ] = {4, 4}_< 22, 6>

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

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

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

     28-fold covered by C4[ 448, 9 ] = {4, 4}_< 58, 54>

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

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

     28-fold covered by C4[ 448, 12 ] = PS( 28, 32; 7)

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

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

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

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

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

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

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

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

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

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

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

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

     28-fold covered by C4[ 448, 32 ] = PL(MSY( 14, 16, 7, 0))

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

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

     28-fold covered by C4[ 448, 37 ] = PL(MC3( 14, 16, 1, 9, 7, 0, 1), [4^56, 14^16])

     28-fold covered by C4[ 448, 38 ] = PL(MC3( 14, 16, 1, 9, 7, 8, 1), [4^56, 28^8])

     28-fold covered by C4[ 448, 39 ] = PL(LoPr_ 56( 1, 28, 2, 28, 1), [4^56, 56^4])

     28-fold covered by C4[ 448, 40 ] = PL(LoPr_ 56( 1, 28, 2, 28, 13), [4^56, 56^4])

     28-fold covered by C4[ 448, 41 ] = PL(LoPr_ 56( 7, 4, 14, 4, 7), [8^28, 28^8])

     28-fold covered by C4[ 448, 42 ] = PL(LoPr_ 56( 7, 8, 14, 8, 7), [8^28, 14^16])

     28-fold covered by C4[ 448, 43 ] = PL(LoPr_ 56( 7, 4, 14, 4, 21), [8^28, 28^8])

     28-fold covered by C4[ 448, 44 ] = PL(LoPr_ 56( 7, 8, 14, 8, 21), [8^28, 14^16])

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

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

     28-fold covered by C4[ 448, 47 ] = PL(Curtain_56(1,14,1,2,44),[4^56,8^28])

     28-fold covered by C4[ 448, 49 ] = PL(Curtain_56(1,15,41,55,56),[4^56,8^28])

     28-fold covered by C4[ 448, 50 ] = PL(Curtain_56(1,16,1,14,30),[4^56,14^16])

     28-fold covered by C4[ 448, 52 ] = PL(Curtain_56(1,28,2,15,30),[4^56,16^14])

     28-fold covered by C4[ 448, 54 ] = PL(Curtain_56(1,28,11,26,54),[4^56,112^2])

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

     28-fold covered by C4[ 448, 57 ] = PL(MBr( 2, 112; 15))

     28-fold covered by C4[ 448, 58 ] = PL(BC_112({ 0, 56 }, { 1, 15 })

     28-fold covered by C4[ 448, 59 ] = PL(BC_112({ 0, 56 }, { 1, 27 })

     28-fold covered by C4[ 448, 63 ] = UG(ATD[448,34])

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

     28-fold covered by C4[ 448, 65 ] = UG(ATD[448,64])

     28-fold covered by C4[ 448, 66 ] = UG(ATD[448,67])

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

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

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

     28-fold covered by C4[ 448, 70 ] = UG(ATD[448,79])

     28-fold covered by C4[ 448, 89 ] = SDD(C_112(1, 15))

     28-fold covered by C4[ 448, 90 ] = SDD({4, 4}_[ 14, 4])

     28-fold covered by C4[ 448, 92 ] = SDD(C_112(1, 41))

     28-fold covered by C4[ 448, 93 ] = SDD({4, 4}_< 16, 12>)

     29-fold covered by C4[ 464, 2 ] = C_464(1, 57)

     29-fold covered by C4[ 464, 5 ] = {4, 4}_[ 58, 4]

     29-fold covered by C4[ 464, 8 ] = PS( 8,116; 17)

     29-fold covered by C4[ 464, 9 ] = MPS( 8,116; 17)

     29-fold covered by C4[ 464, 10 ] = PS( 4,232; 17)

     29-fold covered by C4[ 464, 15 ] = PL(MC3( 4, 58, 1, 57, 17, 0, 1), [4^58, 58^4])

     29-fold covered by C4[ 464, 16 ] = PL(MC3( 8, 29, 1, 28, 12, 0, 1), [8^29, 58^4])

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

     30-fold covered by C4[ 480, 9 ] = {4, 4}_< 22, 2>

     30-fold covered by C4[ 480, 10 ] = {4, 4}_[ 24, 10]

     30-fold covered by C4[ 480, 11 ] = {4, 4}_< 26, 14>

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

     30-fold covered by C4[ 480, 13 ] = {4, 4}_< 34, 26>

     30-fold covered by C4[ 480, 14 ] = {4, 4}_[ 40, 6]

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

     30-fold covered by C4[ 480, 16 ] = {4, 4}_< 62, 58>

     30-fold covered by C4[ 480, 18 ] = PS( 60, 16; 3)

     30-fold covered by C4[ 480, 19 ] = MPS( 60, 16; 3)

     30-fold covered by C4[ 480, 20 ] = PS( 48, 20; 3)

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

     30-fold covered by C4[ 480, 23 ] = MPS( 40, 24; 5)

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

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

     30-fold covered by C4[ 480, 28 ] = MPS( 24, 40; 3)

     30-fold covered by C4[ 480, 29 ] = MPS( 24, 40; 9)

     30-fold covered by C4[ 480, 30 ] = PS( 20, 48; 5)

     30-fold covered by C4[ 480, 31 ] = PS( 20, 48; 7)

     30-fold covered by C4[ 480, 32 ] = MPS( 20, 48; 5)

     30-fold covered by C4[ 480, 33 ] = MPS( 20, 48; 7)

     30-fold covered by C4[ 480, 34 ] = MPS( 20, 48; 11)

     30-fold covered by C4[ 480, 35 ] = PS( 16, 60; 7)

     30-fold covered by C4[ 480, 38 ] = PS( 12, 80; 3)

     30-fold covered by C4[ 480, 39 ] = PS( 12, 80; 7)

     30-fold covered by C4[ 480, 40 ] = MPS( 12, 80; 3)

     30-fold covered by C4[ 480, 41 ] = MPS( 12, 80; 7)

     30-fold covered by C4[ 480, 42 ] = MPS( 12, 80; 19)

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

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

     30-fold covered by C4[ 480, 46 ] = MPS( 8,120; 7)

     30-fold covered by C4[ 480, 47 ] = MPS( 8,120; 13)

     30-fold covered by C4[ 480, 48 ] = PS( 4,240; 7)

     30-fold covered by C4[ 480, 49 ] = PS( 4,240; 13)

     30-fold covered by C4[ 480, 50 ] = PS( 4,240; 23)

     30-fold covered by C4[ 480, 51 ] = PS( 4,240; 43)

     30-fold covered by C4[ 480, 52 ] = MPS( 4,240; 7)

     30-fold covered by C4[ 480, 53 ] = MPS( 4,240; 13)

     30-fold covered by C4[ 480, 54 ] = MPS( 4,240; 23)

     30-fold covered by C4[ 480, 55 ] = MPS( 4,240; 43)

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

     30-fold covered by C4[ 480, 62 ] = PL(MSY( 4, 60, 11, 30))

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

     30-fold covered by C4[ 480, 64 ] = PL(MSY( 4, 60, 29, 30))

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

     30-fold covered by C4[ 480, 66 ] = PL(MSY( 4, 60, 19, 30))

     30-fold covered by C4[ 480, 67 ] = PL(MSY( 6, 40, 11, 0))

     30-fold covered by C4[ 480, 68 ] = PL(MSY( 6, 40, 11, 20))

     30-fold covered by C4[ 480, 69 ] = PL(MSY( 6, 40, 19, 0))

     30-fold covered by C4[ 480, 70 ] = PL(MSY( 6, 40, 19, 20))

     30-fold covered by C4[ 480, 71 ] = PL(MSY( 6, 40, 9, 0))

     30-fold covered by C4[ 480, 72 ] = PL(MSY( 6, 40, 9, 20))

     30-fold covered by C4[ 480, 73 ] = PL(MSY( 8, 30, 11, 0))

     30-fold covered by C4[ 480, 75 ] = PL(MSY( 10, 24, 11, 0))

     30-fold covered by C4[ 480, 76 ] = PL(MSY( 10, 24, 11, 12))

     30-fold covered by C4[ 480, 77 ] = PL(MSY( 10, 24, 5, 0))

     30-fold covered by C4[ 480, 78 ] = PL(MSY( 10, 24, 5, 12))

     30-fold covered by C4[ 480, 79 ] = PL(MSY( 10, 24, 17, 0))

     30-fold covered by C4[ 480, 80 ] = PL(MSY( 10, 24, 17, 12))

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

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

     30-fold covered by C4[ 480, 84 ] = PL(MSY( 30, 8, 3, 0))

     30-fold covered by C4[ 480, 89 ] = MSZ ( 20, 24, 3, 11)

     30-fold covered by C4[ 480, 91 ] = PL(MC3( 4, 60, 1, 49, 7, 10, 1), [10^24, 24^10])

     30-fold covered by C4[ 480, 92 ] = PL(MC3( 4, 60, 1, 29, 11, 30, 1), [8^30, 30^8])

     30-fold covered by C4[ 480, 93 ] = PL(MC3( 4, 60, 1, 49, 13, 10, 1), [10^24, 24^10])

     30-fold covered by C4[ 480, 94 ] = PL(MC3( 6, 40, 1, 31, 9, 0, 1), [6^40, 8^30])

     30-fold covered by C4[ 480, 96 ] = PL(MC3( 6, 40, 1, 11, 9, 20, 1), [8^30, 12^20])

     30-fold covered by C4[ 480, 97 ] = PL(MC3( 6, 40, 1, 29, 11, 0, 1), [6^40, 20^12])

     30-fold covered by C4[ 480, 98 ] = PL(MC3( 6, 40, 1, 21, 11, 8, 1), [4^60, 30^8])

     30-fold covered by C4[ 480, 99 ] = PL(MC3( 6, 40, 1, 9, 11, 20, 1), [10^24, 12^20])

     30-fold covered by C4[ 480, 100 ] = PL(MC3( 6, 40, 1, 21, 11, 28, 1), [4^60, 60^4])

     30-fold covered by C4[ 480, 103 ] = PL(MC3( 6, 40, 1, 29, 19, 20, 1), [12^20, 20^12])

     30-fold covered by C4[ 480, 104 ] = PL(MC3( 6, 40, 1, 31, 19, 20, 1), [8^30, 12^20])

     30-fold covered by C4[ 480, 105 ] = PL(MC3( 6, 40, 1, 11, 29, 0, 1), [6^40, 8^30])

     30-fold covered by C4[ 480, 106 ] = PL(MC3( 6, 40, 1, 9, 31, 0, 1), [6^40, 10^24])

     30-fold covered by C4[ 480, 107 ] = PL(MC3( 10, 24, 1, 19, 5, 0, 1), [8^30, 10^24])

     30-fold covered by C4[ 480, 109 ] = PL(MC3( 10, 24, 1, 7, 5, 12, 1), [8^30, 20^12])

     30-fold covered by C4[ 480, 112 ] = PL(MC3( 10, 24, 1, 19, 11, 12, 1), [8^30, 20^12])

     30-fold covered by C4[ 480, 113 ] = PL(MC3( 10, 24, 1, 7, 17, 0, 1), [8^30, 10^24])

     30-fold covered by C4[ 480, 115 ] = PL(LoPr_ 60( 1, 30, 22, 30, 1), [4^60, 60^4])

     30-fold covered by C4[ 480, 116 ] = PL(LoPr_ 60( 3, 10, 6, 10, 3), [12^20, 20^12])

     30-fold covered by C4[ 480, 117 ] = PL(LoPr_ 60( 3, 10, 18, 10, 3), [12^20, 20^12])

     30-fold covered by C4[ 480, 118 ] = PL(LoPr_ 60( 3, 20, 6, 20, 3), [6^40, 20^12])

     30-fold covered by C4[ 480, 119 ] = PL(LoPr_ 60( 3, 20, 18, 20, 3), [6^40, 20^12])

     30-fold covered by C4[ 480, 120 ] = PL(LoPr_ 60( 3, 10, 18, 10, 27), [12^20, 20^12])

     30-fold covered by C4[ 480, 121 ] = PL(LoPr_ 60( 3, 20, 18, 20, 27), [6^40, 20^12])

     30-fold covered by C4[ 480, 122 ] = PL(LoPr_ 60( 5, 12, 10, 12, 5), [10^24, 12^20])

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

     30-fold covered by C4[ 480, 124 ] = PL(KE_60(15,1,30,59,15),[4^60,120^2])

     30-fold covered by C4[ 480, 141 ] = PL(MBr( 2, 120; 11))

     30-fold covered by C4[ 480, 142 ] = PL(MBr( 2, 120; 19))

     30-fold covered by C4[ 480, 149 ] = UG(ATD[480,31])

     30-fold covered by C4[ 480, 150 ] = UG(ATD[480,33])

     30-fold covered by C4[ 480, 151 ] = UG(ATD[480,47])

     30-fold covered by C4[ 480, 152 ] = UG(ATD[480,49])

     30-fold covered by C4[ 480, 153 ] = UG(ATD[480,51])

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

     30-fold covered by C4[ 480, 190 ] = UG(ATD[480,228])

     30-fold covered by C4[ 480, 191 ] = UG(ATD[480,231])

     30-fold covered by C4[ 480, 192 ] = UG(ATD[480,232])

     30-fold covered by C4[ 480, 193 ] = UG(ATD[480,235])

     30-fold covered by C4[ 480, 194 ] = UG(ATD[480,238])

     30-fold covered by C4[ 480, 289 ] = PL(ATD[8,1]#ATD[30,4])

     30-fold covered by C4[ 480, 290 ] = PL(ATD[8,2]#ATD[30,2])

     30-fold covered by C4[ 480, 293 ] = PL(ATD[10,1]#ATD[24,1])

     30-fold covered by C4[ 480, 294 ] = PL(ATD[10,1]#ATD[24,2])

     30-fold covered by C4[ 480, 295 ] = PL(ATD[10,1]#ATD[24,3])

     30-fold covered by C4[ 480, 296 ] = PL(ATD[10,1]#ATD[24,5])

     30-fold covered by C4[ 480, 297 ] = PL(ATD[10,1]#ATD[24,6])

     30-fold covered by C4[ 480, 298 ] = PL(ATD[10,1]#ATD[24,12])

     30-fold covered by C4[ 480, 335 ] = SDD(C_120(1, 41))

     30-fold covered by C4[ 480, 336 ] = SDD(C_120(1, 49))

     30-fold covered by C4[ 480, 337 ] = SDD({4, 4}_[ 10, 6])

     30-fold covered by C4[ 480, 338 ] = SDD(C_120(1, 31))

     30-fold covered by C4[ 480, 339 ] = SDD(PS( 10, 24; 7))

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

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

     30-fold covered by C4[ 480, 432 ] = SDD(C_120(1, 11))

     30-fold covered by C4[ 480, 433 ] = SDD(C_120(1, 19))

     30-fold covered by C4[ 480, 434 ] = SDD(C_120(1, 29))

     30-fold covered by C4[ 480, 435 ] = SDD(PS( 24, 5; 2))

     30-fold covered by C4[ 480, 436 ] = SDD(PS( 12, 20; 3))

     30-fold covered by C4[ 480, 437 ] = SDD(MPS( 12, 20; 3))

     30-fold covered by C4[ 480, 438 ] = SDD(PS( 10, 24; 5))

     30-fold covered by C4[ 480, 529 ] = SS[480, 3]

     30-fold covered by C4[ 480, 530 ] = SS[480, 4]

     31-fold covered by C4[ 496, 3 ] = C_496(1,185)

     31-fold covered by C4[ 496, 4 ] = {4, 4}_[ 62, 4]

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

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

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

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

     32-fold covered by C4[ 512, 7 ] = {4, 4}_< 66, 62>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 42 ] = PL(LoPr_ 64( 1, 32, 2, 32, 1), [4^64, 64^4])

     32-fold covered by C4[ 512, 43 ] = PL(LoPr_ 64( 1, 32, 14, 32, 1), [4^64, 64^4])

     32-fold covered by C4[ 512, 44 ] = PL(LoPr_ 64( 1, 32, 2, 32, 15), [4^64, 64^4])

     32-fold covered by C4[ 512, 45 ] = PL(LoPr_ 64( 1, 32, 14, 32, 15), [4^64, 64^4])

     32-fold covered by C4[ 512, 46 ] = PL(Curtain_64(1,16,1,18,34),[4^64,8^32])

     32-fold covered by C4[ 512, 48 ] = PL(Curtain_64(1,32,2,17,34),[4^64,16^16])

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

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

     32-fold covered by C4[ 512, 53 ] = PL(BC_128({ 0, 64 }, { 1, 31 })

     32-fold covered by C4[ 512, 54 ] = PL(RC( 8, 4), [4^64, 8^32])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 117 ] = UG(ATD[512,165])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 159 ] = UG(ATD[512,317])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 212 ] = UG(ATD[512,462])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 237 ] = UG(ATD[512,531])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 319 ] = PL(ATD[8,2]#ATD[64,3])

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

     32-fold covered by C4[ 512, 321 ] = PL(ATD[8,2]#ATD[64,5])

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

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

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

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

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

     32-fold covered by C4[ 512, 327 ] = PL(ATD[8,2]#ATD[64,12])

     32-fold covered by C4[ 512, 328 ] = PL(ATD[8,2]#ATD[64,13])

     32-fold covered by C4[ 512, 329 ] = PL(ATD[8,2]#ATD[64,14])

     32-fold covered by C4[ 512, 330 ] = PL(ATD[8,2]#ATD[64,15])

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

     32-fold covered by C4[ 512, 332 ] = PL(ATD[8,2]#ATD[64,17])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 363 ] = SDD({4, 4}_ 8, 8)

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

     32-fold covered by C4[ 512, 365 ] = SDD(PX( 8, 4))

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 512, 383 ] = PL(CS(PS( 8, 16; 3)[ 16^ 8], 1))

     32-fold covered by C4[ 512, 384 ] = PL(CS(PS( 8, 16; 3)[ 8^ 16], 1))

     32-fold covered by C4[ 512, 385 ] = PL(CS(MPS( 8, 16; 3)[ 8^ 16], 1))

     32-fold covered by C4[ 512, 386 ] = PL(CS(MPS( 8, 16; 3)[ 8^ 16], 1))

     32-fold covered by C4[ 512, 387 ] = PL(CS(MPS( 8, 16; 3)[ 16^ 8], 1))

     32-fold covered by C4[ 512, 388 ] = PL(CS(MPS( 4, 32; 7)[ 16^ 8], 1))

     32-fold covered by C4[ 512, 390 ] = PL(CS(PX( 8, 3)[ 8^ 16], 1))

     32-fold covered by C4[ 512, 391 ] = PL(CS(PL(MSY( 4, 8, 3, 4))[ 4^ 32], 1))

     32-fold covered by C4[ 512, 392 ] = PL(CS(PL(MSY( 4, 8, 3, 4))[ 8^ 16], 1))

     32-fold covered by C4[ 512, 393 ] = PL(CS(PL(MSY( 4, 8, 3, 4))[ 8^ 16], 1))

     32-fold covered by C4[ 512, 394 ] = PL(CS(MSY( 4, 16, 5, 4)[ 8^ 16], 1))

     32-fold covered by C4[ 512, 395 ] = PL(CS(KE_16(1,7,2,11,1)[ 8^ 16], 1))

     32-fold covered by C4[ 512, 396 ] = PL(CS(KE_16(1,7,2,11,1)[ 16^ 8], 1))

     32-fold covered by C4[ 512, 397 ] = PL(CS(KE_16(1,7,2,11,1)[ 16^ 8], 1))

     32-fold covered by C4[ 512, 398 ] = PL(CS(UG(ATD[64,10])[ 8^ 16], 1))

     32-fold covered by C4[ 512, 399 ] = PL(CS(UG(ATD[64,10])[ 8^ 16], 1))

     32-fold covered by C4[ 512, 400 ] = BGCG({4, 4}_ 8, 8; K2;{15, 16, 18, 20})

     32-fold covered by C4[ 512, 401 ] = SDD({4, 4}_< 12, 4>)

     32-fold covered by C4[ 512, 402 ] = SDD({4, 4}_[ 16, 4])

     32-fold covered by C4[ 512, 403 ] = SDD({4, 4}_< 18, 14>)

     32-fold covered by C4[ 512, 404 ] = SDD(PS( 16, 16; 3))

     32-fold covered by C4[ 512, 405 ] = SDD(MPS( 16, 16; 3))

     32-fold covered by C4[ 512, 406 ] = SDD(PS( 8, 32; 7))

     32-fold covered by C4[ 512, 407 ] = BGCG(PX( 8, 4); K2;{1, 4, 5, 14})

     32-fold covered by C4[ 512, 408 ] = SDD(MSY( 8, 16, 9, 8))

     32-fold covered by C4[ 512, 409 ] = SDD(KE_32(1,15,2,19,1))

     32-fold covered by C4[ 512, 410 ] = BGCG(KE_32(1,15,2,19,1); K2;{1, 3, 5, 6, 9, 10})

     32-fold covered by C4[ 512, 411 ] = BGCG(UG(ATD[128,42]); K2;{8, 9, 10, 11})

     32-fold covered by C4[ 512, 412 ] = BGCG(UG(ATD[128,44]); K2;{9, 10, 12, 13})

     32-fold covered by C4[ 512, 413 ] = BGCG(UG(ATD[128,44]); K2;{18, 19, 20, 21})

     32-fold covered by C4[ 512, 414 ] = SDD(UG(ATD[128,46]))

     32-fold covered by C4[ 512, 415 ] = SDD(UG(ATD[128,54]))

     32-fold covered by C4[ 512, 416 ] = BGCG(UG(ATD[128,54]); K2;{12, 13, 14, 16})

     32-fold covered by C4[ 512, 417 ] = BGCG(UG(ATD[128,54]); K2;{18, 19, 20, 21})

     32-fold covered by C4[ 512, 418 ] = SDD(UG(ATD[128,60]))

     32-fold covered by C4[ 512, 419 ] = BGCG(UG(ATD[128,60]); K2;{1, 6})

     32-fold covered by C4[ 512, 420 ] = SDD(UG(ATD[128,63]))

     32-fold covered by C4[ 512, 421 ] = SDD(UG(ATD[128,66]))

     32-fold covered by C4[ 512, 422 ] = BGCG(UG(ATD[128,66]); K2;{2, 4})

     32-fold covered by C4[ 512, 423 ] = BGCG(UG(ATD[128,66]); K2;{6, 7})

     32-fold covered by C4[ 512, 424 ] = SDD(UG(ATD[128,69]))

     32-fold covered by C4[ 512, 425 ] = BGCG(UG(ATD[128,69]); K2;{3, 4})

     32-fold covered by C4[ 512, 429 ] = BGCG({4, 4}_ 16, 0; K1;{20, 24, 28, 31})

     32-fold covered by C4[ 512, 430 ] = BGCG({4, 4}_ 16, 0; K1;{21, 23, 27, 35})

     32-fold covered by C4[ 512, 431 ] = BGCG({4, 4}_ 16, 0; K1;{25, 29})

     32-fold covered by C4[ 512, 432 ] = BGCG({4, 4}_ 16, 0; K1;{30, 33})

     32-fold covered by C4[ 512, 433 ] = BGCG(PX( 8, 5); K1;{4, 9})

     32-fold covered by C4[ 512, 434 ] = BGCG(PL(MSY( 8, 16, 7, 8)); K1;{1, 2})

     32-fold covered by C4[ 512, 435 ] = BGCG(PL(MSY( 8, 16, 7, 8)); K1;{4, 9})

     32-fold covered by C4[ 512, 436 ] = BGCG(KE_64(1,31,2,35,1); K1;{2, 3})

     32-fold covered by C4[ 512, 437 ] = BGCG(KE_64(1,31,2,35,1); K1;{5, 7, 9, 11})

     32-fold covered by C4[ 512, 438 ] = BGCG(UG(ATD[256,73]); K1;{8, 9, 10, 11})

     32-fold covered by C4[ 512, 439 ] = BGCG(UG(ATD[256,94]); K1;{1, 5, 8, 11})

     32-fold covered by C4[ 512, 440 ] = BGCG(UG(ATD[256,94]); K1;{6, 7})

     32-fold covered by C4[ 512, 441 ] = BGCG(UG(ATD[256,97]); K1;{7, 14})

     32-fold covered by C4[ 512, 442 ] = BGCG(UG(ATD[256,97]); K1;{8, 12})

     32-fold covered by C4[ 512, 443 ] = BGCG(UG(ATD[256,106]); K1;{3, 4})

     32-fold covered by C4[ 512, 444 ] = BGCG(UG(ATD[256,106]); K1;{5, 7})

     32-fold covered by C4[ 512, 446 ] = BGCG(UG(ATD[256,109]); K1;{9, 11})

     32-fold covered by C4[ 512, 448 ] = BGCG(UG(ATD[256,123]); K1;{17, 18})

     32-fold covered by C4[ 512, 449 ] = BGCG(UG(ATD[256,123]); K1;{19, 20})

     32-fold covered by C4[ 512, 450 ] = BGCG(UG(ATD[256,128]); K1;{8, 10, 12, 16})

     32-fold covered by C4[ 512, 452 ] = BGCG(UG(ATD[256,128]); K1;{11, 13, 14, 15})

     32-fold covered by C4[ 512, 453 ] = BGCG(UG(ATD[256,128]); K1;{18, 25})

     32-fold covered by C4[ 512, 454 ] = BGCG(UG(ATD[256,137]); K1;{2, 4, 5, 7})

     32-fold covered by C4[ 512, 455 ] = BGCG(UG(ATD[256,137]); K1;{3, 6, 9, 14})

     32-fold covered by C4[ 512, 457 ] = BGCG(UG(ATD[256,137]); K1;{36, 38, 39, 41})

     32-fold covered by C4[ 512, 458 ] = BGCG(UG(ATD[256,137]); K1;{37, 40, 42, 43})

     32-fold covered by C4[ 512, 459 ] = BGCG(UG(ATD[256,140]); K1;{2, 9})

     32-fold covered by C4[ 512, 460 ] = BGCG(UG(ATD[256,140]); K1;{7, 8})

     32-fold covered by C4[ 512, 461 ] = BGCG(UG(ATD[256,140]); K1;{12, 14})

     32-fold covered by C4[ 512, 462 ] = BGCG(UG(ATD[256,140]); K1;{13, 15})

     32-fold covered by C4[ 512, 463 ] = BGCG(UG(ATD[256,155]); K1;{3, 8})

     32-fold covered by C4[ 512, 464 ] = BGCG(UG(ATD[256,155]); K1;{6, 10})

     32-fold covered by C4[ 512, 465 ] = BGCG(UG(ATD[256,158]); K1;{5, 7})

     32-fold covered by C4[ 512, 466 ] = BGCG(UG(ATD[256,164]); K1;{1, 3})

     32-fold covered by C4[ 512, 467 ] = BGCG(UG(ATD[256,167]); K1;{1, 5, 17, 29, 41, 53})

     32-fold covered by C4[ 512, 468 ] = BGCG(UG(ATD[256,167]); K1;{6, 10})

     32-fold covered by C4[ 512, 469 ] = BGCG(UG(ATD[256,167]); K1;{12, 13, 14, 15})

     32-fold covered by C4[ 512, 470 ] = BGCG(UG(ATD[256,167]); K1;{22, 32, 46, 56})

     32-fold covered by C4[ 512, 471 ] = BGCG(UG(ATD[256,167]); K1;{40, 51, 54, 63})

     32-fold covered by C4[ 512, 472 ] = BGCG(UG(ATD[256,167]); K1;{42, 48})

     32-fold covered by C4[ 512, 473 ] = BGCG(UG(ATD[256,167]); K1;{47, 52, 57, 61})

     32-fold covered by C4[ 512, 474 ] = BGCG(UG(ATD[256,167]); K1;{50, 60})

     32-fold covered by C4[ 512, 475 ] = BGCG(UG(ATD[256,170]); K1;{1, 11, 13, 15})

     32-fold covered by C4[ 512, 476 ] = BGCG(UG(ATD[256,170]); K1;{3, 12})

     32-fold covered by C4[ 512, 477 ] = BGCG(UG(ATD[256,170]); K1;{6, 9})

     32-fold covered by C4[ 512, 478 ] = BGCG(UG(ATD[256,173]); K1;{1, 4, 11, 12})

     32-fold covered by C4[ 512, 479 ] = BGCG(UG(ATD[256,176]); K1;{1, 6})

     32-fold covered by C4[ 512, 480 ] = BGCG(UG(ATD[256,176]); K1;{2, 4, 8, 9})

     32-fold covered by C4[ 512, 481 ] = BGCG(UG(ATD[256,176]); K1;{3, 14})

     32-fold covered by C4[ 512, 482 ] = BGCG(UG(ATD[256,176]); K1;{7, 10})

     32-fold covered by C4[ 512, 483 ] = BGCG(UG(ATD[256,176]); K1;{12, 13})

     32-fold covered by C4[ 512, 484 ] = BGCG(UG(ATD[256,179]); K1;{1, 10})

     32-fold covered by C4[ 512, 485 ] = BGCG(UG(ATD[256,179]); K1;{2, 3})

     32-fold covered by C4[ 512, 486 ] = BGCG(UG(ATD[256,182]); K1;{2, 7})

     32-fold covered by C4[ 512, 487 ] = BGCG(UG(ATD[256,182]); K1;3)

     32-fold covered by C4[ 512, 489 ] = BGCG(UG(ATD[256,188]); K1;{2, 4})

     32-fold covered by C4[ 512, 490 ] = BGCG(UG(ATD[256,188]); K1;7)

     32-fold covered by C4[ 512, 491 ] = BGCG(UG(ATD[256,191]); K1;{5, 6, 11, 13, 18, 21})

     32-fold covered by C4[ 512, 492 ] = BGCG(UG(ATD[256,191]); K1;{28, 29, 30, 31})

     32-fold covered by C4[ 512, 493 ] = BGCG(UG(ATD[256,194]); K1;{2, 3, 6, 7})

     32-fold covered by C4[ 512, 494 ] = BGCG(UG(ATD[256,200]); K1;{19, 20, 21, 23})

     32-fold covered by C4[ 512, 495 ] = BGCG(UG(ATD[256,206]); K1;{13, 16, 19, 22})

     32-fold covered by C4[ 512, 496 ] = BGCG(UG(ATD[256,206]); K1;{14, 15, 18, 23})

     32-fold covered by C4[ 512, 497 ] = BGCG(UG(ATD[256,206]); K1;{24, 26, 29, 30})

     32-fold covered by C4[ 512, 498 ] = BGCG(UG(ATD[256,206]); K1;{25, 27, 28, 31})

     32-fold covered by C4[ 512, 499 ] = BGCG(UG(ATD[256,206]); K1;{33, 36, 39, 42})

     32-fold covered by C4[ 512, 500 ] = BGCG(UG(ATD[256,206]); K1;{34, 35, 38, 43})

     32-fold covered by C4[ 512, 501 ] = SS[512, 1]

     32-fold covered by C4[ 512, 502 ] = SS[512, 3]

     32-fold covered by C4[ 512, 503 ] = SS[512, 4]

     32-fold covered by C4[ 512, 504 ] = SS[512, 5]

     32-fold covered by C4[ 512, 505 ] = SS[512, 6]

     32-fold covered by C4[ 512, 506 ] = SS[512, 7]

     32-fold covered by C4[ 512, 507 ] = SS[512, 8]

     32-fold covered by C4[ 512, 508 ] = SS[512, 9]

     32-fold covered by C4[ 512, 509 ] = SS[512, 10]

     32-fold covered by C4[ 512, 510 ] = SS[512, 11]

     32-fold covered by C4[ 512, 511 ] = SS[512, 12]

     32-fold covered by C4[ 512, 512 ] = SS[512, 13]

     32-fold covered by C4[ 512, 513 ] = SS[512, 14]

     32-fold covered by C4[ 512, 514 ] = SS[512, 15]

     32-fold covered by C4[ 512, 515 ] = SS[512, 16]

     32-fold covered by C4[ 512, 516 ] = SS[512, 17]

     32-fold covered by C4[ 512, 517 ] = SS[512, 40]

     32-fold covered by C4[ 512, 518 ] = SS[512, 41]

     32-fold covered by C4[ 512, 519 ] = SS[512, 42]

     32-fold covered by C4[ 512, 520 ] = SS[512, 43]

     32-fold covered by C4[ 512, 521 ] = SS[512, 44]

     32-fold covered by C4[ 512, 522 ] = SS[512, 45]

     32-fold covered by C4[ 512, 523 ] = SS[512, 55]

     32-fold covered by C4[ 512, 524 ] = SS[512, 57]

     32-fold covered by C4[ 512, 525 ] = SS[512, 58]

     32-fold covered by C4[ 512, 526 ] = SS[512, 59]

     32-fold covered by C4[ 512, 527 ] = SS[512, 60]

     32-fold covered by C4[ 512, 528 ] = SS[512, 61]

     32-fold covered by C4[ 512, 529 ] = SS[512, 62]

     32-fold covered by C4[ 512, 530 ] = SS[512, 63]

     32-fold covered by C4[ 512, 531 ] = SS[512, 64]

     32-fold covered by C4[ 512, 532 ] = SS[512, 65]

     32-fold covered by C4[ 512, 533 ] = SS[512, 66]

     32-fold covered by C4[ 512, 534 ] = SS[512, 67]

     32-fold covered by C4[ 512, 535 ] = SS[512, 68]

     32-fold covered by C4[ 512, 536 ] = SS[512, 69]

     32-fold covered by C4[ 512, 537 ] = SS[512, 70]

     32-fold covered by C4[ 512, 538 ] = SS[512, 71]

     32-fold covered by C4[ 512, 539 ] = SS[512, 72]

     32-fold covered by C4[ 512, 540 ] = SS[512, 73]

     32-fold covered by C4[ 512, 541 ] = SS[512, 74]

     32-fold covered by C4[ 512, 542 ] = SS[512, 75]

     32-fold covered by C4[ 512, 543 ] = SS[512, 76]

     32-fold covered by C4[ 512, 546 ] = SS[512, 79]

     32-fold covered by C4[ 512, 547 ] = SS[512, 80]

     32-fold covered by C4[ 512, 548 ] = SS[512, 81]

     32-fold covered by C4[ 512, 549 ] = SS[512, 82]

     32-fold covered by C4[ 512, 550 ] = SS[512, 83]

     32-fold covered by C4[ 512, 551 ] = SS[512, 84]

     32-fold covered by C4[ 512, 554 ] = SS[512, 89]

     32-fold covered by C4[ 512, 555 ] = SS[512, 90]

     32-fold covered by C4[ 512, 556 ] = SS[512, 91]

     32-fold covered by C4[ 512, 557 ] = SS[512, 92]

     32-fold covered by C4[ 512, 558 ] = SS[512, 93]

     32-fold covered by C4[ 512, 559 ] = SS[512, 94]

     32-fold covered by C4[ 512, 560 ] = SS[512, 95]

     32-fold covered by C4[ 512, 561 ] = SS[512, 96]

     32-fold covered by C4[ 512, 562 ] = SS[512, 97]

     32-fold covered by C4[ 512, 563 ] = SS[512, 98]

     32-fold covered by C4[ 512, 564 ] = SS[512, 99]

     32-fold covered by C4[ 512, 565 ] = SS[512, 100]

     32-fold covered by C4[ 512, 566 ] = SS[512, 101]

     32-fold covered by C4[ 512, 567 ] = SS[512, 102]

     32-fold covered by C4[ 512, 568 ] = SS[512, 103]

     32-fold covered by C4[ 512, 569 ] = SS[512, 104]

     32-fold covered by C4[ 512, 570 ] = SS[512, 105]

     32-fold covered by C4[ 512, 571 ] = SS[512, 106]

     32-fold covered by C4[ 512, 572 ] = SS[512, 107]

     32-fold covered by C4[ 512, 573 ] = SS[512, 108]

     32-fold covered by C4[ 512, 574 ] = SS[512, 109]

     32-fold covered by C4[ 512, 575 ] = SS[512, 110]

     32-fold covered by C4[ 512, 576 ] = SS[512, 111]

     32-fold covered by C4[ 512, 577 ] = SS[512, 112]

     32-fold covered by C4[ 512, 578 ] = SS[512, 113]

     32-fold covered by C4[ 512, 579 ] = SS[512, 114]

     32-fold covered by C4[ 512, 580 ] = SS[512, 115]

     32-fold covered by C4[ 512, 581 ] = SS[512, 116]

     32-fold covered by C4[ 512, 582 ] = SS[512, 117]

     32-fold covered by C4[ 512, 583 ] = SS[512, 118]

     32-fold covered by C4[ 512, 584 ] = SS[512, 119]

     32-fold covered by C4[ 512, 585 ] = SS[512, 120]

     32-fold covered by C4[ 512, 586 ] = SS[512, 121]

     32-fold covered by C4[ 512, 587 ] = SS[512, 122]

     32-fold covered by C4[ 512, 588 ] = SS[512, 123]

     32-fold covered by C4[ 512, 589 ] = SS[512, 125]

     32-fold covered by C4[ 512, 590 ] = SS[512, 127]

     32-fold covered by C4[ 512, 591 ] = SS[512, 128]

     32-fold covered by C4[ 512, 592 ] = SS[512, 129]

     32-fold covered by C4[ 512, 593 ] = SS[512, 130]

     32-fold covered by C4[ 512, 594 ] = SS[512, 131]

     32-fold covered by C4[ 512, 595 ] = SS[512, 132]

     32-fold covered by C4[ 512, 596 ] = SS[512, 133]

     32-fold covered by C4[ 512, 597 ] = SS[512, 134]

     32-fold covered by C4[ 512, 598 ] = SS[512, 135]

     32-fold covered by C4[ 512, 599 ] = SS[512, 136]

     32-fold covered by C4[ 512, 600 ] = SS[512, 137]

     32-fold covered by C4[ 512, 601 ] = SS[512, 138]

     32-fold covered by C4[ 512, 602 ] = SS[512, 139]

     32-fold covered by C4[ 512, 603 ] = SS[512, 140]

     32-fold covered by C4[ 512, 604 ] = SS[512, 141]

     32-fold covered by C4[ 512, 605 ] = SS[512, 142]

     32-fold covered by C4[ 512, 606 ] = SS[512, 143]

     32-fold covered by C4[ 512, 607 ] = SS[512, 144]

     32-fold covered by C4[ 512, 608 ] = SS[512, 145]

     32-fold covered by C4[ 512, 609 ] = SS[512, 146]

     32-fold covered by C4[ 512, 610 ] = SS[512, 147]

     32-fold covered by C4[ 512, 611 ] = SS[512, 148]

     32-fold covered by C4[ 512, 612 ] = SS[512, 149]

     32-fold covered by C4[ 512, 613 ] = SS[512, 156]

     32-fold covered by C4[ 512, 614 ] = SS[512, 157]

     32-fold covered by C4[ 512, 615 ] = SS[512, 158]

     32-fold covered by C4[ 512, 616 ] = SS[512, 159]

     32-fold covered by C4[ 512, 617 ] = SS[512, 161]

     32-fold covered by C4[ 512, 618 ] = SS[512, 163]

     32-fold covered by C4[ 512, 619 ] = SS[512, 173]

     32-fold covered by C4[ 512, 620 ] = SS[512, 174]

     32-fold covered by C4[ 512, 621 ] = SS[512, 175]

     32-fold covered by C4[ 512, 622 ] = SS[512, 176]

     32-fold covered by C4[ 512, 623 ] = SS[512, 177]

     32-fold covered by C4[ 512, 624 ] = SS[512, 178]

     32-fold covered by C4[ 512, 625 ] = SS[512, 179]

     32-fold covered by C4[ 512, 626 ] = SS[512, 180]

     32-fold covered by C4[ 512, 627 ] = SS[512, 181]

     32-fold covered by C4[ 512, 630 ] = SS[512, 184]

     32-fold covered by C4[ 512, 632 ] = SS[512, 186]

     32-fold covered by C4[ 512, 633 ] = SS[512, 187]

     32-fold covered by C4[ 512, 634 ] = SS[512, 188]

     32-fold covered by C4[ 512, 635 ] = SS[512, 189]

     32-fold covered by C4[ 512, 636 ] = SS[512, 190]

     32-fold covered by C4[ 512, 637 ] = SS[512, 191]

     32-fold covered by C4[ 512, 638 ] = SS[512, 192]

     32-fold covered by C4[ 512, 639 ] = SS[512, 193]

     32-fold covered by C4[ 512, 641 ] = SS[512, 195]

     32-fold covered by C4[ 512, 642 ] = SS[512, 196]

     32-fold covered by C4[ 512, 643 ] = SS[512, 197]

     32-fold covered by C4[ 512, 644 ] = SS[512, 198]

     32-fold covered by C4[ 512, 645 ] = SS[512, 199]

     32-fold covered by C4[ 512, 646 ] = SS[512, 200]

     32-fold covered by C4[ 512, 647 ] = SS[512, 201]

     32-fold covered by C4[ 512, 648 ] = SS[512, 202]

     32-fold covered by C4[ 512, 649 ] = SS[512, 203]

     32-fold covered by C4[ 512, 650 ] = SS[512, 204]

     32-fold covered by C4[ 512, 651 ] = SS[512, 205]

     32-fold covered by C4[ 512, 652 ] = SS[512, 206]

     32-fold covered by C4[ 512, 653 ] = SS[512, 207]

     32-fold covered by C4[ 512, 654 ] = SS[512, 208]

     32-fold covered by C4[ 512, 655 ] = SS[512, 209]

     32-fold covered by C4[ 512, 656 ] = SS[512, 210]

     32-fold covered by C4[ 512, 657 ] = SS[512, 211]

     32-fold covered by C4[ 512, 658 ] = SS[512, 212]

     32-fold covered by C4[ 512, 659 ] = SS[512, 213]

     32-fold covered by C4[ 512, 660 ] = SS[512, 214]

     32-fold covered by C4[ 512, 661 ] = SS[512, 215]

BGCG dissections of this graph

     Base Graph: C4[ 8, 1 ] = K_4,4   connection graph:  [K_1]

Graphs which have this one as the base graph in a BGCG dissection:

      C4[ 32, 4 ] = MPS( 4, 16; 3)    with connection graph  [K_1]

      C4[ 64, 3 ] = {4, 4}_[ 8, 4]    with connection graph  [K_2]

      C4[ 64, 4 ] = {4, 4}_< 10, 6>    with connection graph  [K_2]

      C4[ 64, 5 ] = PS( 8, 16; 3)    with connection graph  [K_2]

      C4[ 64, 8 ] = PX( 8, 3)    with connection graph  [K_2]

      C4[ 64, 9 ] = PL(MSY( 4, 8, 3, 0))    with connection graph  [K_2]

      C4[ 64, 12 ] = PL(LoPr_ 8( 1, 4, 2, 4, 1), [4^8, 8^4])    with connection graph  [K_2]

      C4[ 64, 13 ] = KE_16(1,7,2,11,1)    with connection graph  [K_2]

      C4[ 64, 14 ] = PL(Curtain_8(1,4,2,3,6),[4^8,16^2])    with connection graph  [K_2]

      C4[ 128, 6 ] = PS( 16, 16; 3)    with connection graph  [C_4]

      C4[ 128, 7 ] = MPS( 16, 16; 3)    with connection graph  [C_4]

      C4[ 128, 9 ] = PS( 8, 32; 7)    with connection graph  [C_4]

      C4[ 128, 14 ] = PL(MSY( 4, 16, 7, 0))    with connection graph  [C_4]

      C4[ 128, 15 ] = PL(MSY( 4, 16, 7, 8))    with connection graph  [C_4]

      C4[ 128, 16 ] = PL(MSY( 8, 8, 3, 0))    with connection graph  [C_4]

      C4[ 128, 17 ] = MSY( 8, 16, 9, 8)    with connection graph  [C_4]

      C4[ 128, 18 ] = PL(LoPr_ 16( 1, 8, 2, 8, 1), [4^16, 16^4])    with connection graph  [C_4]

      C4[ 128, 19 ] = PL(LoPr_ 16( 1, 8, 2, 8, 3), [4^16, 16^4])    with connection graph  [C_4]

      C4[ 128, 22 ] = PL(Curtain_16(1,8,1,6,14),[4^16,4^16])    with connection graph  [C_4]

      C4[ 128, 24 ] = PL(Curtain_16(1,8,6,9,14),[4^16,8^8])    with connection graph  [C_4]

      C4[ 128, 25 ] = CPM( 8, 2, 4, 1)    with connection graph  [C_4]

      C4[ 128, 26 ] = AMC( 8, 8, [ 1. 1: 0. 1])    with connection graph  [C_4]

      C4[ 128, 28 ] = PL(SoP( 4, 8))    with connection graph  [C_4]

      C4[ 128, 31 ] = UG(ATD[128,21])    with connection graph  [C_4]

      C4[ 128, 34 ] = UG(ATD[128,46])    with connection graph  [C_4]

      C4[ 128, 36 ] = UG(ATD[128,54])    with connection graph  [C_4]

      C4[ 128, 37 ] = UG(ATD[128,57])    with connection graph  [C_4]

      C4[ 128, 38 ] = UG(ATD[128,60])    with connection graph  [C_4]

      C4[ 128, 39 ] = UG(ATD[128,63])    with connection graph  [C_4]

      C4[ 128, 40 ] = UG(ATD[128,66])    with connection graph  [C_4]

      C4[ 128, 41 ] = UG(ATD[128,69])    with connection graph  [C_4]

      C4[ 128, 42 ] = PL(ATD[8,1]#ATD[8,2])    with connection graph  [C_4]

      C4[ 128, 43 ] = PL(ATD[8,2]#ATD[16,2])    with connection graph  [C_4]

      C4[ 128, 49 ] = BGCG({4, 4}_ 8, 0; K1;{2, 7, 10, 11})    with connection graph  [C_4]

      C4[ 128, 50 ] = BGCG({4, 4}_ 8, 0; K1;{12, 15})    with connection graph  [C_4]

      C4[ 128, 51 ] = BGCG({4, 4}_ 8, 0; K1;{17, 19})    with connection graph  [C_4]

      C4[ 128, 54 ] = SS[128, 12]    with connection graph  [C_4]

      C4[ 128, 55 ] = SS[128, 16]    with connection graph  [C_4]

      C4[ 128, 56 ] = SS[128, 19]    with connection graph  [C_4]

      C4[ 192, 12 ] = PS( 16, 24; 5)    with connection graph  [C_6]

      C4[ 192, 13 ] = MPS( 16, 24; 5)    with connection graph  [C_6]

      C4[ 192, 14 ] = MPS( 12, 32; 7)    with connection graph  [C_6]

      C4[ 192, 15 ] = PS( 8, 48; 5)    with connection graph  [C_6]

      C4[ 192, 26 ] = PL(MSY( 4, 24, 5, 0))    with connection graph  [C_6]

      C4[ 192, 28 ] = PL(MSY( 4, 24, 17, 0))    with connection graph  [C_6]

      C4[ 192, 30 ] = PL(MSY( 6, 16, 7, 0))    with connection graph  [C_6]

      C4[ 192, 31 ] = PL(MSY( 6, 16, 7, 8))    with connection graph  [C_6]

      C4[ 192, 32 ] = PL(MSY( 8, 12, 5, 0))    with connection graph  [C_6]

      C4[ 192, 36 ] = PL(MSZ ( 12, 8, 3, 3), [4^24, 12^8])    with connection graph  [C_6]

      C4[ 192, 37 ] = PL(MC3( 6, 16, 1, 9, 7, 0, 1), [4^24, 6^16])    with connection graph  [C_6]

      C4[ 192, 38 ] = PL(MC3( 6, 16, 1, 9, 7, 8, 1), [4^24, 12^8])    with connection graph  [C_6]

      C4[ 192, 40 ] = PL(LoPr_ 24( 1, 12, 2, 12, 5), [4^24, 24^4])    with connection graph  [C_6]

      C4[ 192, 41 ] = PL(LoPr_ 24( 3, 4, 6, 4, 3), [8^12, 12^8])    with connection graph  [C_6]

      C4[ 192, 42 ] = PL(LoPr_ 24( 3, 8, 6, 8, 3), [6^16, 8^12])    with connection graph  [C_6]

      C4[ 192, 45 ] = PL(KE_24(3,7,6,23,3),[8^12,12^8])    with connection graph  [C_6]

      C4[ 192, 46 ] = KE_48(1,11,2,39,1)    with connection graph  [C_6]

      C4[ 192, 47 ] = KE_48(1,15,2,35,1)    with connection graph  [C_6]

      C4[ 192, 50 ] = KE_48(1,21,8,5,7)    with connection graph  [octahedron]

      C4[ 192, 54 ] = KE_48(1,3,16,19,17)    with connection graph  [octahedron]

      C4[ 192, 55 ] = KE_48(1,9,22,37,23)    with connection graph  [C_6]

      C4[ 192, 56 ] = KE_48(1,33,22,13,23)    with connection graph  [C_6]

      C4[ 192, 65 ] = PL(Curtain_24(1,12,3,10,22),[4^24,48^2])    with connection graph  [C_6]

      C4[ 192, 70 ] = PL(MBr( 2, 48; 7))    with connection graph  [C_6]

      C4[ 192, 109 ] = UG(ATD[192,171])    with connection graph  [octahedron]

      C4[ 192, 110 ] = UG(ATD[192,177])    with connection graph  [octahedron]

      C4[ 192, 114 ] = UG(ATD[192,192])    with connection graph  [octahedron]

      C4[ 192, 115 ] = UG(ATD[192,195])    with connection graph  [octahedron]

      C4[ 192, 138 ] = PL(CSI(Octahedron[ 3^ 4], 8))    with connection graph  [octahedron]

      C4[ 192, 142 ] = PL(CS(R_ 12( 11, 4)[ 12^ 4], 0))    with connection graph  [octahedron]

      C4[ 192, 143 ] = PL(CS(R_ 12( 11, 4)[ 12^ 4], 1))    with connection graph  [octahedron]

      C4[ 192, 146 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 0))    with connection graph  [octahedron]

      C4[ 192, 147 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 1))    with connection graph  [octahedron]

      C4[ 192, 148 ] = PL(CS(R_ 12( 5, 10)[ 6^ 8], 0))    with connection graph  [octahedron]

      C4[ 192, 149 ] = PL(CS(R_ 12( 5, 10)[ 6^ 8], 1))    with connection graph  [octahedron]

      C4[ 192, 164 ] = BGCG(KE_24(1,11,8,3,7); K1;11)    with connection graph  [octahedron]

      C4[ 192, 178 ] = SS[192, 63]    with connection graph  [C_6]

      C4[ 192, 179 ] = SS[192, 64]    with connection graph  [C_6]

      C4[ 192, 180 ] = SS[192, 65]    with connection graph  [C_6]

      C4[ 192, 181 ] = SS[192, 66]    with connection graph  [C_6]

      C4[ 192, 186 ] = SS[192, 73]    with connection graph  [C_6]

      C4[ 192, 187 ] = SS[192, 74]    with connection graph  [C_6]

      C4[ 192, 188 ] = SS[192, 75]    with connection graph  [C_6]

      C4[ 192, 189 ] = SS[192, 76]    with connection graph  [C_6]

      C4[ 192, 194 ] = SS[192, 82]    with connection graph  [C_6]

      C4[ 192, 204 ] = SS[192, 98]    with connection graph  [octahedron]

      C4[ 192, 205 ] = SS[192, 99]    with connection graph  [octahedron]

      C4[ 192, 210 ] = SS[192, 110]    with connection graph  [octahedron]

      C4[ 192, 211 ] = SS[192, 111]    with connection graph  [octahedron]

      C4[ 256, 10 ] = PS( 16, 32; 7)    with connection graph  [C_8]

      C4[ 256, 12 ] = MPS( 16, 32; 7)    with connection graph  [C_8]

      C4[ 256, 22 ] = PL(MSY( 8, 16, 7, 0))    with connection graph  [C_8]

      C4[ 256, 23 ] = PL(MSY( 8, 16, 7, 8))    with connection graph  [C_8]

      C4[ 256, 26 ] = PL(MSZ ( 8, 16, 2, 7), [8^16, 16^8])    with connection graph  [C_8]

      C4[ 256, 27 ] = MSZ ( 16, 16, 3, 7)    with connection graph  [C_8]

      C4[ 256, 29 ] = PL(LoPr_ 32( 1, 16, 6, 16, 1), [4^32, 32^4])    with connection graph  [C_8]

      C4[ 256, 30 ] = PL(LoPr_ 32( 1, 16, 2, 16, 7), [4^32, 32^4])    with connection graph  [C_8]

      C4[ 256, 40 ] = PL(RC( 4, 8), [4^32, 8^16])    with connection graph  [K_4,4]

      C4[ 256, 51 ] = UG(ATD[256,55])    with connection graph  [C_8]

      C4[ 256, 52 ] = UG(ATD[256,64])    with connection graph  [C_8]

      C4[ 256, 54 ] = UG(ATD[256,76])    with connection graph  [K_4,4]

      C4[ 256, 56 ] = UG(ATD[256,82])    with connection graph  [C_8]

      C4[ 256, 56 ] = UG(ATD[256,82])    with connection graph  [K_4,4]

      C4[ 256, 57 ] = UG(ATD[256,85])    with connection graph  [C_8]

      C4[ 256, 66 ] = UG(ATD[256,111])    with connection graph  [K_4,4]

      C4[ 256, 67 ] = UG(ATD[256,114])    with connection graph  [K_4,4]

      C4[ 256, 73 ] = UG(ATD[256,131])    with connection graph  [K_4,4]

      C4[ 256, 74 ] = UG(ATD[256,134])    with connection graph  [K_4,4]

      C4[ 256, 76 ] = UG(ATD[256,140])    with connection graph  [K_4,4]

      C4[ 256, 77 ] = UG(ATD[256,143])    with connection graph  [K_4,4]

      C4[ 256, 81 ] = UG(ATD[256,155])    with connection graph  [C_8]

      C4[ 256, 83 ] = UG(ATD[256,161])    with connection graph  [K_4,4]

      C4[ 256, 84 ] = UG(ATD[256,164])    with connection graph  [K_4,4]

      C4[ 256, 87 ] = UG(ATD[256,173])    with connection graph  [K_4,4]

      C4[ 256, 88 ] = UG(ATD[256,176])    with connection graph  [K_4,4]

      C4[ 256, 91 ] = UG(ATD[256,185])    with connection graph  [K_4,4]

      C4[ 256, 92 ] = UG(ATD[256,188])    with connection graph  [K_4,4]

      C4[ 256, 94 ] = UG(ATD[256,194])    with connection graph  [K_4,4]

      C4[ 256, 95 ] = UG(ATD[256,197])    with connection graph  [K_4,4]

      C4[ 256, 104 ] = PL(ATD[8,1]#ATD[16,2])    with connection graph  [K_4,4]

      C4[ 256, 105 ] = PL(ATD[8,1]#ATD[16,5])    with connection graph  [C_8]

      C4[ 256, 105 ] = PL(ATD[8,1]#ATD[16,5])    with connection graph  [K_4,4]

      C4[ 256, 107 ] = PL(ATD[8,2]#ATD[32,1])    with connection graph  [C_8]

      C4[ 256, 108 ] = PL(ATD[8,2]#ATD[32,2])    with connection graph  [C_8]

      C4[ 256, 110 ] = PL(ATD[8,2]#ATD[32,4])    with connection graph  [K_4,4]

      C4[ 256, 111 ] = PL(ATD[8,2]#ATD[32,7])    with connection graph  [K_4,4]

      C4[ 256, 112 ] = PL(ATD[8,2]#ATD[32,8])    with connection graph  [C_8]

      C4[ 256, 123 ] = PL(CS({4, 4}_ 4, 4[ 8^ 8], 1))    with connection graph  [C_8]

      C4[ 256, 124 ] = PL(CS(MPS( 4, 16; 3)[ 8^ 8], 1))    with connection graph  [K_4,4]

      C4[ 256, 125 ] = PL(CS(MSY( 4, 8, 5, 4)[ 8^ 8], 1))    with connection graph  [K_4,4]

      C4[ 256, 126 ] = BGCG({4, 4}_ 8, 0; K2;{12, 15, 17, 19})    with connection graph  [K_4,4]

      C4[ 256, 135 ] = BGCG({4, 4}_ 8, 8; K1;{15, 16, 18, 20})    with connection graph  [K_4,4]

      C4[ 256, 136 ] = BGCG(PX( 8, 4); K1;{1, 4})    with connection graph  [K_4,4]

      C4[ 256, 140 ] = BGCG(UG(ATD[128,42]); K1;{8, 11})    with connection graph  [K_4,4]

      C4[ 256, 141 ] = BGCG(UG(ATD[128,42]); K1;{9, 10})    with connection graph  [K_4,4]

      C4[ 256, 146 ] = BGCG(UG(ATD[128,57]); K1;{5, 12})    with connection graph  [K_4,4]

      C4[ 256, 149 ] = BGCG(UG(ATD[128,69]); K1;{3, 4})    with connection graph  [K_4,4]

      C4[ 256, 150 ] = SS[256, 1]    with connection graph  [K_4,4]

      C4[ 256, 151 ] = SS[256, 2]    with connection graph  [K_4,4]

      C4[ 256, 152 ] = SS[256, 11]    with connection graph  [K_4,4]

      C4[ 256, 153 ] = SS[256, 12]    with connection graph  [K_4,4]

      C4[ 256, 154 ] = SS[256, 13]    with connection graph  [K_4,4]

      C4[ 256, 155 ] = SS[256, 14]    with connection graph  [K_4,4]

      C4[ 256, 156 ] = SS[256, 15]    with connection graph  [K_4,4]

      C4[ 256, 157 ] = SS[256, 16]    with connection graph  [K_4,4]

      C4[ 256, 163 ] = SS[256, 23]    with connection graph  [K_4,4]

      C4[ 256, 164 ] = SS[256, 30]    with connection graph  [C_8]

      C4[ 256, 165 ] = SS[256, 31]    with connection graph  [C_8]

      C4[ 256, 170 ] = SS[256, 36]    with connection graph  [K_4,4]

      C4[ 256, 171 ] = SS[256, 37]    with connection graph  [K_4,4]

      C4[ 256, 172 ] = SS[256, 38]    with connection graph  [K_4,4]

      C4[ 288, 141 ] = PL(ATD[8,1]#ATD[18,2])    with connection graph  [DW( 3, 3)]

      C4[ 288, 148 ] = PL(ATD[18,2]#DCyc[8])    with connection graph  [DW( 3, 3)]

      C4[ 288, 238 ] = BGCG(UG(ATD[144,8]); K1;5)    with connection graph  [K_9]

      C4[ 288, 239 ] = BGCG(UG(ATD[144,8]); K1;7)    with connection graph  [K_9]

      C4[ 288, 240 ] = BGCG(UG(ATD[144,12]); K1;1)    with connection graph  [DW( 3, 3)]

      C4[ 288, 241 ] = BGCG(UG(ATD[144,12]); K1;4)    with connection graph  [DW( 3, 3)]

      C4[ 320, 16 ] = PS( 20, 32; 7)    with connection graph  [C_10]

      C4[ 320, 17 ] = MPS( 20, 32; 7)    with connection graph  [C_10]

      C4[ 320, 19 ] = PS( 16, 40; 9)    with connection graph  [C_10]

      C4[ 320, 23 ] = PS( 8, 80; 11)    with connection graph  [C_10]

      C4[ 320, 37 ] = PL(MSY( 4, 40, 11, 0))    with connection graph  [C_10]

      C4[ 320, 41 ] = PL(MSY( 4, 40, 9, 0))    with connection graph  [C_10]

      C4[ 320, 43 ] = PL(MSY( 8, 20, 11, 0))    with connection graph  [C_10]

      C4[ 320, 44 ] = PL(MSY( 8, 20, 11, 10))    with connection graph  [C_10]

      C4[ 320, 45 ] = PL(MSY( 10, 16, 7, 0))    with connection graph  [C_10]

      C4[ 320, 50 ] = PL(MSZ ( 20, 8, 5, 3), [4^40, 20^8])    with connection graph  [C_10]

      C4[ 320, 54 ] = PL(MC3( 10, 16, 1, 9, 7, 0, 1), [4^40, 10^16])    with connection graph  [C_10]

      C4[ 320, 55 ] = PL(MC3( 10, 16, 1, 9, 7, 8, 1), [4^40, 20^8])    with connection graph  [C_10]

      C4[ 320, 59 ] = PL(LoPr_ 40( 1, 20, 2, 20, 9), [4^40, 40^4])    with connection graph  [C_10]

      C4[ 320, 61 ] = PL(LoPr_ 40( 5, 4, 10, 4, 5), [8^20, 20^8])    with connection graph  [C_10]

      C4[ 320, 62 ] = PL(LoPr_ 40( 5, 8, 10, 8, 5), [8^20, 10^16])    with connection graph  [C_10]

      C4[ 320, 65 ] = PL(KE_40(5,1,10,9,5),[8^20,20^8])    with connection graph  [C_10]

      C4[ 320, 74 ] = PL(Curtain_40(1,20,7,18,38),[4^40,80^2])    with connection graph  [C_10]

      C4[ 320, 78 ] = PL(MBr( 2, 80; 9))    with connection graph  [C_10]

      C4[ 320, 98 ] = UG(ATD[320,88])    with connection graph  [C_10]

      C4[ 320, 103 ] = UG(ATD[320,124])    with connection graph  [C_10]

      C4[ 320, 107 ] = UG(ATD[320,132])    with connection graph  [C_10]

      C4[ 320, 111 ] = UG(ATD[320,140])    with connection graph  [C_10]

      C4[ 384, 17 ] = PS( 24, 32; 7)    with connection graph  [C_12]

      C4[ 384, 19 ] = MPS( 24, 32; 7)    with connection graph  [C_12]

      C4[ 384, 22 ] = PS( 16, 48; 11)    with connection graph  [C_12]

      C4[ 384, 45 ] = PL(MSY( 8, 24, 11, 0))    with connection graph  [C_12]

      C4[ 384, 46 ] = PL(MSY( 8, 24, 11, 12))    with connection graph  [C_12]

      C4[ 384, 51 ] = PL(MSY( 12, 16, 7, 0))    with connection graph  [C_12]

      C4[ 384, 54 ] = MSY( 8, 48, 25, 8)    with connection graph  [C_12]

      C4[ 384, 56 ] = PL(MSZ ( 8, 24, 2, 11), [8^24, 24^8])    with connection graph  [C_12]

      C4[ 384, 62 ] = PL(LoPr_ 48( 1, 24, 10, 24, 1), [4^48, 48^4])    with connection graph  [C_12]

      C4[ 384, 63 ] = PL(LoPr_ 48( 1, 24, 2, 24, 11), [4^48, 48^4])    with connection graph  [C_12]

      C4[ 384, 92 ] = PL(Curtain_48(1,24,9,10,34),[4^48,24^8])    with connection graph  [C_12]

      C4[ 384, 93 ] = PL(Curtain_48(1,24,9,22,46),[4^48,24^8])    with connection graph  [C_12]

      C4[ 384, 94 ] = PL(Curtain_48(1,24,10,33,34),[4^48,12^16])    with connection graph  [C_12]

      C4[ 384, 98 ] = PL(Curtain_48(1,24,22,33,46),[4^48,12^16])    with connection graph  [C_12]

      C4[ 384, 169 ] = UG(ATD[384,140])    with connection graph  [W( 6, 2)]

      C4[ 384, 174 ] = UG(ATD[384,156])    with connection graph  [W( 6, 2)]

      C4[ 384, 175 ] = UG(ATD[384,159])    with connection graph  [W( 6, 2)]

      C4[ 384, 177 ] = UG(ATD[384,167])    with connection graph  [W( 6, 2)]

      C4[ 384, 205 ] = UG(ATD[384,285])    with connection graph  [C_12]

      C4[ 384, 208 ] = UG(ATD[384,321])    with connection graph  [W( 6, 2)]

      C4[ 384, 210 ] = UG(ATD[384,327])    with connection graph  [W( 6, 2)]

      C4[ 384, 212 ] = UG(ATD[384,333])    with connection graph  [C_12]

      C4[ 384, 216 ] = UG(ATD[384,354])    with connection graph  [C_12]

      C4[ 384, 217 ] = UG(ATD[384,357])    with connection graph  [C_12]

      C4[ 384, 221 ] = UG(ATD[384,369])    with connection graph  [W( 6, 2)]

      C4[ 384, 222 ] = UG(ATD[384,372])    with connection graph  [W( 6, 2)]

      C4[ 384, 224 ] = UG(ATD[384,378])    with connection graph  [W( 6, 2)]

      C4[ 384, 228 ] = UG(ATD[384,390])    with connection graph  [W( 6, 2)]

      C4[ 384, 230 ] = UG(ATD[384,398])    with connection graph  [W( 6, 2)]

      C4[ 384, 234 ] = UG(ATD[384,412])    with connection graph  [W( 6, 2)]

      C4[ 384, 239 ] = UG(ATD[384,427])    with connection graph  [W( 6, 2)]

      C4[ 384, 241 ] = UG(ATD[384,433])    with connection graph  [W( 6, 2)]

      C4[ 384, 246 ] = UG(ATD[384,448])    with connection graph  [W( 6, 2)]

      C4[ 384, 247 ] = UG(ATD[384,451])    with connection graph  [W( 6, 2)]

      C4[ 384, 267 ] = UG(ATD[384,509])    with connection graph  [W( 6, 2)]

      C4[ 384, 269 ] = UG(ATD[384,515])    with connection graph  [W( 6, 2)]

      C4[ 384, 271 ] = UG(ATD[384,521])    with connection graph  [W( 6, 2)]

      C4[ 384, 273 ] = UG(ATD[384,527])    with connection graph  [W( 6, 2)]

      C4[ 384, 278 ] = UG(ATD[384,542])    with connection graph  [W( 6, 2)]

      C4[ 384, 279 ] = UG(ATD[384,545])    with connection graph  [W( 6, 2)]

      C4[ 384, 280 ] = UG(ATD[384,548])    with connection graph  [W( 6, 2)]

      C4[ 384, 281 ] = UG(ATD[384,551])    with connection graph  [W( 6, 2)]

      C4[ 384, 292 ] = UG(ATD[384,585])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 293 ] = UG(ATD[384,588])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 294 ] = UG(ATD[384,591])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 295 ] = UG(ATD[384,594])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 300 ] = UG(ATD[384,609])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 301 ] = UG(ATD[384,611])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 302 ] = UG(ATD[384,614])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 305 ] = UG(ATD[384,618])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 306 ] = UG(ATD[384,620])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 307 ] = UG(ATD[384,623])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 328 ] = PL(ATD[8,1]#ATD[12,1])    with connection graph  [W( 6, 2)]

      C4[ 384, 334 ] = PL(ATD[8,1]#ATD[24,12])    with connection graph  [C_12]

      C4[ 384, 336 ] = PL(ATD[8,2]#ATD[24,2])    with connection graph  [C_12]

      C4[ 384, 338 ] = PL(ATD[8,2]#ATD[48,12])    with connection graph  [C_12]

      C4[ 384, 341 ] = PL(ATD[12,1]#DCyc[8])    with connection graph  [W( 6, 2)]

      C4[ 384, 352 ] = PL(ATD[24,8]#DCyc[4])    with connection graph  [W( 6, 2)]

      C4[ 384, 355 ] = PL(ATD[48,20]#DCyc[4])    with connection graph  [W( 6, 2)]

      C4[ 384, 390 ] = PL(CS(R_ 24( 20, 7)[ 12^ 8], 1))    with connection graph  [W( 6, 2)]

      C4[ 384, 391 ] = PL(CS(R_ 24( 20, 7)[ 24^ 4], 0))    with connection graph  [W( 6, 2)]

      C4[ 384, 392 ] = PL(CS(R_ 24( 20, 7)[ 24^ 4], 1))    with connection graph  [W( 6, 2)]

      C4[ 384, 394 ] = PL(CS(R_ 24( 8, 19)[ 24^ 4], 0))    with connection graph  [W( 6, 2)]

      C4[ 384, 395 ] = PL(CS(R_ 24( 8, 19)[ 24^ 4], 1))    with connection graph  [W( 6, 2)]

      C4[ 384, 397 ] = BGCG(R_ 24( 8, 19), C_ 4, {1, 2})    with connection graph  [W( 6, 2)]

      C4[ 384, 407 ] = PL(CS(KE_12(1,7,4,9,1)[ 12^ 8], 1))    with connection graph  [W( 6, 2)]

      C4[ 384, 475 ] = BGCG(UG(ATD[192,20]); K1;1)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 476 ] = BGCG(UG(ATD[192,20]); K1;3)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 488 ] = BGCG(UG(ATD[192,44]); K1;2)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 490 ] = BGCG(UG(ATD[192,44]); K1;6)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 530 ] = BGCG(UG(ATD[192,199]); K1;3)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 531 ] = BGCG(UG(ATD[192,199]); K1;5)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 532 ] = BGCG(UG(ATD[192,201]); K1;7)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 533 ] = BGCG(UG(ATD[192,203]); K1;1)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 534 ] = BGCG(UG(ATD[192,203]); K1;6)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 535 ] = BGCG(UG(ATD[192,205]); K1;5)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 384, 554 ] = SS[384, 47]    with connection graph  [W( 6, 2)]

      C4[ 384, 555 ] = SS[384, 48]    with connection graph  [W( 6, 2)]

      C4[ 448, 12 ] = PS( 28, 32; 7)    with connection graph  [C_14]

      C4[ 448, 13 ] = MPS( 28, 32; 7)    with connection graph  [C_14]

      C4[ 448, 14 ] = PS( 16, 56; 13)    with connection graph  [C_14]

      C4[ 448, 15 ] = PS( 8,112; 13)    with connection graph  [C_14]

      C4[ 448, 24 ] = PL(MSY( 4, 56, 13, 0))    with connection graph  [C_14]

      C4[ 448, 26 ] = PL(MSY( 4, 56, 15, 0))    with connection graph  [C_14]

      C4[ 448, 30 ] = PL(MSY( 8, 28, 13, 0))    with connection graph  [C_14]

      C4[ 448, 31 ] = PL(MSY( 8, 28, 13, 14))    with connection graph  [C_14]

      C4[ 448, 32 ] = PL(MSY( 14, 16, 7, 0))    with connection graph  [C_14]

      C4[ 448, 36 ] = PL(MSZ ( 28, 8, 7, 3), [4^56, 28^8])    with connection graph  [C_14]

      C4[ 448, 37 ] = PL(MC3( 14, 16, 1, 9, 7, 0, 1), [4^56, 14^16])    with connection graph  [C_14]

      C4[ 448, 38 ] = PL(MC3( 14, 16, 1, 9, 7, 8, 1), [4^56, 28^8])    with connection graph  [C_14]

      C4[ 448, 40 ] = PL(LoPr_ 56( 1, 28, 2, 28, 13), [4^56, 56^4])    with connection graph  [C_14]

      C4[ 448, 41 ] = PL(LoPr_ 56( 7, 4, 14, 4, 7), [8^28, 28^8])    with connection graph  [C_14]

      C4[ 448, 42 ] = PL(LoPr_ 56( 7, 8, 14, 8, 7), [8^28, 14^16])    with connection graph  [C_14]

      C4[ 448, 45 ] = PL(KE_56(7,3,14,11,7),[8^28,28^8])    with connection graph  [C_14]

      C4[ 448, 54 ] = PL(Curtain_56(1,28,11,26,54),[4^56,112^2])    with connection graph  [C_14]

      C4[ 448, 57 ] = PL(MBr( 2, 112; 15))    with connection graph  [C_14]

      C4[ 448, 63 ] = UG(ATD[448,34])    with connection graph  [C_14]

      C4[ 448, 66 ] = UG(ATD[448,67])    with connection graph  [C_14]

      C4[ 448, 68 ] = UG(ATD[448,73])    with connection graph  [C_14]

      C4[ 448, 70 ] = UG(ATD[448,79])    with connection graph  [C_14]

      C4[ 480, 356 ] = PL(CSI(TAG(F 10)[ 5^ 12], 8))    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 504 ] = BGCG(UG(ATD[240,156]); K1;2)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 505 ] = BGCG(UG(ATD[240,156]); K1;3)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 507 ] = BGCG(UG(ATD[240,156]); K1;5)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 508 ] = BGCG(UG(ATD[240,156]); K1;6)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 514 ] = BGCG(UG(ATD[240,157]); K1;{12, 15})    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 517 ] = BGCG(UG(ATD[240,158]); K1;5)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 480, 518 ] = BGCG(UG(ATD[240,158]); K1;6)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 512, 11 ] = PS( 32, 32; 7)    with connection graph  [C_16]

      C4[ 512, 13 ] = MPS( 32, 32; 7)    with connection graph  [C_16]

      C4[ 512, 17 ] = PS( 16, 64; 15)    with connection graph  [C_16]

      C4[ 512, 31 ] = PL(MSY( 8, 32, 15, 0))    with connection graph  [C_16]

      C4[ 512, 32 ] = PL(MSY( 8, 32, 15, 16))    with connection graph  [C_16]

      C4[ 512, 33 ] = PL(MSY( 16, 16, 7, 0))    with connection graph  [C_16]

      C4[ 512, 38 ] = PL(MSZ ( 8, 32, 2, 15), [8^32, 32^8])    with connection graph  [C_16]

      C4[ 512, 40 ] = MSZ ( 16, 32, 3, 15)    with connection graph  [C_16]

      C4[ 512, 43 ] = PL(LoPr_ 64( 1, 32, 14, 32, 1), [4^64, 64^4])    with connection graph  [C_16]

      C4[ 512, 44 ] = PL(LoPr_ 64( 1, 32, 2, 32, 15), [4^64, 64^4])    with connection graph  [C_16]

      C4[ 512, 118 ] = UG(ATD[512,174])    with connection graph  [C_16]

      C4[ 512, 119 ] = UG(ATD[512,186])    with connection graph  [C_16]

      C4[ 512, 123 ] = UG(ATD[512,204])    with connection graph  [C_16]

      C4[ 512, 124 ] = UG(ATD[512,207])    with connection graph  [C_16]

      C4[ 512, 135 ] = UG(ATD[512,245])    with connection graph  [W( 8, 2)]

      C4[ 512, 136 ] = UG(ATD[512,248])    with connection graph  [W( 8, 2)]

      C4[ 512, 142 ] = UG(ATD[512,266])    with connection graph  [W( 8, 2)]

      C4[ 512, 143 ] = UG(ATD[512,269])    with connection graph  [W( 8, 2)]

      C4[ 512, 153 ] = UG(ATD[512,299])    with connection graph  [K_8,8]

      C4[ 512, 155 ] = UG(ATD[512,305])    with connection graph  [W( 8, 2)]

      C4[ 512, 156 ] = UG(ATD[512,308])    with connection graph  [W( 8, 2)]

      C4[ 512, 157 ] = UG(ATD[512,311])    with connection graph  [W( 8, 2)]

      C4[ 512, 158 ] = UG(ATD[512,314])    with connection graph  [W( 8, 2)]

      C4[ 512, 163 ] = UG(ATD[512,329])    with connection graph  [K_8,8]

      C4[ 512, 165 ] = UG(ATD[512,335])    with connection graph  [W( 8, 2)]

      C4[ 512, 166 ] = UG(ATD[512,338])    with connection graph  [W( 8, 2)]

      C4[ 512, 172 ] = UG(ATD[512,356])    with connection graph  [W( 8, 2)]

      C4[ 512, 173 ] = UG(ATD[512,359])    with connection graph  [W( 8, 2)]

      C4[ 512, 176 ] = UG(ATD[512,368])    with connection graph  [W( 8, 2)]

      C4[ 512, 177 ] = UG(ATD[512,371])    with connection graph  [W( 8, 2)]

      C4[ 512, 180 ] = UG(ATD[512,380])    with connection graph  [W( 8, 2)]

      C4[ 512, 181 ] = UG(ATD[512,383])    with connection graph  [W( 8, 2)]

      C4[ 512, 183 ] = UG(ATD[512,389])    with connection graph  [W( 8, 2)]

      C4[ 512, 184 ] = UG(ATD[512,392])    with connection graph  [W( 8, 2)]

      C4[ 512, 196 ] = UG(ATD[512,414])    with connection graph  [K_8,8]

      C4[ 512, 199 ] = UG(ATD[512,423])    with connection graph  [K_8,8]

      C4[ 512, 220 ] = UG(ATD[512,482])    with connection graph  [K_8,8]

      C4[ 512, 226 ] = UG(ATD[512,498])    with connection graph  [K_8,8]

      C4[ 512, 228 ] = UG(ATD[512,504])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 229 ] = UG(ATD[512,507])    with connection graph  [K_8,8]

      C4[ 512, 231 ] = UG(ATD[512,513])    with connection graph  [K_8,8]

      C4[ 512, 232 ] = UG(ATD[512,516])    with connection graph  [K_8,8]

      C4[ 512, 241 ] = UG(ATD[512,543])    with connection graph  [K_8,8]

      C4[ 512, 242 ] = UG(ATD[512,546])    with connection graph  [K_8,8]

      C4[ 512, 245 ] = UG(ATD[512,554])    with connection graph  [W( 8, 2)]

      C4[ 512, 246 ] = UG(ATD[512,557])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 247 ] = UG(ATD[512,560])    with connection graph  [K_8,8]

      C4[ 512, 248 ] = UG(ATD[512,563])    with connection graph  [K_8,8]

      C4[ 512, 249 ] = UG(ATD[512,566])    with connection graph  [K_8,8]

      C4[ 512, 250 ] = UG(ATD[512,569])    with connection graph  [K_8,8]

      C4[ 512, 251 ] = UG(ATD[512,572])    with connection graph  [K_8,8]

      C4[ 512, 258 ] = UG(ATD[512,587])    with connection graph  [W( 8, 2)]

      C4[ 512, 259 ] = UG(ATD[512,590])    with connection graph  [W( 8, 2)]

      C4[ 512, 262 ] = UG(ATD[512,599])    with connection graph  [W( 8, 2)]

      C4[ 512, 263 ] = UG(ATD[512,602])    with connection graph  [W( 8, 2)]

      C4[ 512, 266 ] = UG(ATD[512,611])    with connection graph  [W( 8, 2)]

      C4[ 512, 267 ] = UG(ATD[512,614])    with connection graph  [W( 8, 2)]

      C4[ 512, 269 ] = UG(ATD[512,620])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 271 ] = UG(ATD[512,626])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 272 ] = UG(ATD[512,629])    with connection graph  [K_8,8]

      C4[ 512, 273 ] = UG(ATD[512,632])    with connection graph  [K_8,8]

      C4[ 512, 274 ] = UG(ATD[512,635])    with connection graph  [K_8,8]

      C4[ 512, 275 ] = UG(ATD[512,638])    with connection graph  [K_8,8]

      C4[ 512, 276 ] = UG(ATD[512,641])    with connection graph  [K_8,8]

      C4[ 512, 277 ] = UG(ATD[512,644])    with connection graph  [K_8,8]

      C4[ 512, 278 ] = UG(ATD[512,647])    with connection graph  [K_8,8]

      C4[ 512, 279 ] = UG(ATD[512,650])    with connection graph  [K_8,8]

      C4[ 512, 282 ] = UG(ATD[512,659])    with connection graph  [K_8,8]

      C4[ 512, 283 ] = UG(ATD[512,662])    with connection graph  [K_8,8]

      C4[ 512, 284 ] = UG(ATD[512,665])    with connection graph  [K_8,8]

      C4[ 512, 286 ] = UG(ATD[512,671])    with connection graph  [K_8,8]

      C4[ 512, 310 ] = PL(ATD[8,1]#ATD[32,6])    with connection graph  [C_16]

      C4[ 512, 311 ] = PL(ATD[8,1]#ATD[32,7])    with connection graph  [W( 8, 2)]

      C4[ 512, 312 ] = PL(ATD[8,1]#ATD[32,8])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 313 ] = PL(ATD[8,1]#ATD[32,9])    with connection graph  [W( 8, 2)]

      C4[ 512, 314 ] = PL(ATD[8,1]#ATD[32,11])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 318 ] = PL(ATD[8,2]#ATD[64,1])    with connection graph  [C_16]

      C4[ 512, 319 ] = PL(ATD[8,2]#ATD[64,3])    with connection graph  [C_16]

      C4[ 512, 320 ] = PL(ATD[8,2]#ATD[64,4])    with connection graph  [C_16]

      C4[ 512, 322 ] = PL(ATD[8,2]#ATD[64,6])    with connection graph  [C_16]

      C4[ 512, 324 ] = PL(ATD[8,2]#ATD[64,8])    with connection graph  [K_8,8]

      C4[ 512, 328 ] = PL(ATD[8,2]#ATD[64,13])    with connection graph  [W( 8, 2)]

      C4[ 512, 329 ] = PL(ATD[8,2]#ATD[64,14])    with connection graph  [W( 8, 2)]

      C4[ 512, 330 ] = PL(ATD[8,2]#ATD[64,15])    with connection graph  [K_8,8]

      C4[ 512, 333 ] = PL(ATD[8,2]#ATD[64,18])    with connection graph  [W( 8, 2)]

      C4[ 512, 334 ] = PL(ATD[8,2]#ATD[64,19])    with connection graph  [W( 8, 2)]

      C4[ 512, 377 ] = PL(CS({4, 4}_ 8, 0[ 16^ 8], 1))    with connection graph  [K_8,8]

      C4[ 512, 379 ] = PL(CS({4, 4}_[ 8, 4][ 16^ 8], 1))    with connection graph  [C_16]

      C4[ 512, 380 ] = PL(CS({4, 4}_[ 8, 4][ 16^ 8], 1))    with connection graph  [C_16]

      C4[ 512, 382 ] = PL(CS(PS( 8, 16; 3)[ 16^ 8], 1))    with connection graph  [W( 8, 2)]

      C4[ 512, 383 ] = PL(CS(PS( 8, 16; 3)[ 16^ 8], 1))    with connection graph  [W( 8, 2)]

      C4[ 512, 387 ] = PL(CS(MPS( 8, 16; 3)[ 16^ 8], 1))    with connection graph  [K_8,8]

      C4[ 512, 396 ] = PL(CS(KE_16(1,7,2,11,1)[ 16^ 8], 1))    with connection graph  [W( 8, 2)]

      C4[ 512, 397 ] = PL(CS(KE_16(1,7,2,11,1)[ 16^ 8], 1))    with connection graph  [W( 8, 2)]

      C4[ 512, 400 ] = BGCG({4, 4}_ 8, 8; K2;{15, 16, 18, 20})    with connection graph  [K_8,8]

      C4[ 512, 407 ] = BGCG(PX( 8, 4); K2;{1, 4, 5, 14})    with connection graph  [K_8,8]

      C4[ 512, 411 ] = BGCG(UG(ATD[128,42]); K2;{8, 9, 10, 11})    with connection graph  [K_8,8]

      C4[ 512, 411 ] = BGCG(UG(ATD[128,42]); K2;{8, 9, 10, 11})    with connection graph  [W( 8, 2)]

      C4[ 512, 425 ] = BGCG(UG(ATD[128,69]); K2;{3, 4})    with connection graph  [K_8,8]

      C4[ 512, 428 ] = BGCG({4, 4}_ 16, 0; K1;{9, 13, 14, 17})    with connection graph  [W( 8, 2)]

      C4[ 512, 431 ] = BGCG({4, 4}_ 16, 0; K1;{25, 29})    with connection graph  [K_8,8]

      C4[ 512, 432 ] = BGCG({4, 4}_ 16, 0; K1;{30, 33})    with connection graph  [K_8,8]

      C4[ 512, 432 ] = BGCG({4, 4}_ 16, 0; K1;{30, 33})    with connection graph  [W( 8, 2)]

      C4[ 512, 438 ] = BGCG(UG(ATD[256,73]); K1;{8, 9, 10, 11})    with connection graph  [W( 8, 2)]

      C4[ 512, 445 ] = BGCG(UG(ATD[256,109]); K1;{1, 4, 6, 7})    with connection graph  [K_8,8]

      C4[ 512, 446 ] = BGCG(UG(ATD[256,109]); K1;{9, 11})    with connection graph  [K_8,8]

      C4[ 512, 447 ] = BGCG(UG(ATD[256,123]); K1;{16, 21, 22, 23})    with connection graph  [K_8,8]

      C4[ 512, 448 ] = BGCG(UG(ATD[256,123]); K1;{17, 18})    with connection graph  [K_8,8]

      C4[ 512, 448 ] = BGCG(UG(ATD[256,123]); K1;{17, 18})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 449 ] = BGCG(UG(ATD[256,123]); K1;{19, 20})    with connection graph  [K_8,8]

      C4[ 512, 453 ] = BGCG(UG(ATD[256,128]); K1;{18, 25})    with connection graph  [K_8,8]

      C4[ 512, 454 ] = BGCG(UG(ATD[256,137]); K1;{2, 4, 5, 7})    with connection graph  [K_8,8]

      C4[ 512, 455 ] = BGCG(UG(ATD[256,137]); K1;{3, 6, 9, 14})    with connection graph  [K_8,8]

      C4[ 512, 456 ] = BGCG(UG(ATD[256,137]); K1;{29, 31, 33, 35})    with connection graph  [K_8,8]

      C4[ 512, 457 ] = BGCG(UG(ATD[256,137]); K1;{36, 38, 39, 41})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 458 ] = BGCG(UG(ATD[256,137]); K1;{37, 40, 42, 43})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 459 ] = BGCG(UG(ATD[256,140]); K1;{2, 9})    with connection graph  [K_8,8]

      C4[ 512, 460 ] = BGCG(UG(ATD[256,140]); K1;{7, 8})    with connection graph  [K_8,8]

      C4[ 512, 461 ] = BGCG(UG(ATD[256,140]); K1;{12, 14})    with connection graph  [K_8,8]

      C4[ 512, 461 ] = BGCG(UG(ATD[256,140]); K1;{12, 14})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 462 ] = BGCG(UG(ATD[256,140]); K1;{13, 15})    with connection graph  [K_8,8]

      C4[ 512, 462 ] = BGCG(UG(ATD[256,140]); K1;{13, 15})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 463 ] = BGCG(UG(ATD[256,155]); K1;{3, 8})    with connection graph  [W( 8, 2)]

      C4[ 512, 464 ] = BGCG(UG(ATD[256,155]); K1;{6, 10})    with connection graph  [K_8,8]

      C4[ 512, 465 ] = BGCG(UG(ATD[256,158]); K1;{5, 7})    with connection graph  [W( 8, 2)]

      C4[ 512, 466 ] = BGCG(UG(ATD[256,164]); K1;{1, 3})    with connection graph  [K_8,8]

      C4[ 512, 467 ] = BGCG(UG(ATD[256,167]); K1;{1, 5, 17, 29, 41, 53})    with connection graph  [K_8,8]

      C4[ 512, 469 ] = BGCG(UG(ATD[256,167]); K1;{12, 13, 14, 15})    with connection graph  [K_8,8]

      C4[ 512, 475 ] = BGCG(UG(ATD[256,170]); K1;{1, 11, 13, 15})    with connection graph  [K_8,8]

      C4[ 512, 478 ] = BGCG(UG(ATD[256,173]); K1;{1, 4, 11, 12})    with connection graph  [K_8,8]

      C4[ 512, 478 ] = BGCG(UG(ATD[256,173]); K1;{1, 4, 11, 12})    with connection graph  [W( 8, 2)]

      C4[ 512, 479 ] = BGCG(UG(ATD[256,176]); K1;{1, 6})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 480 ] = BGCG(UG(ATD[256,176]); K1;{2, 4, 8, 9})    with connection graph  [K_8,8]

      C4[ 512, 480 ] = BGCG(UG(ATD[256,176]); K1;{2, 4, 8, 9})    with connection graph  [W( 8, 2)]

      C4[ 512, 482 ] = BGCG(UG(ATD[256,176]); K1;{7, 10})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 484 ] = BGCG(UG(ATD[256,179]); K1;{1, 10})    with connection graph  [W( 8, 2)]

      C4[ 512, 486 ] = BGCG(UG(ATD[256,182]); K1;{2, 7})    with connection graph  [W( 8, 2)]

      C4[ 512, 488 ] = BGCG(UG(ATD[256,188]); K1;1)    with connection graph  [K_8,8]

      C4[ 512, 490 ] = BGCG(UG(ATD[256,188]); K1;7)    with connection graph  [K_8,8]

      C4[ 512, 493 ] = BGCG(UG(ATD[256,194]); K1;{2, 3, 6, 7})    with connection graph  [W( 8, 2)]

      C4[ 512, 494 ] = BGCG(UG(ATD[256,200]); K1;{19, 20, 21, 23})    with connection graph  [K_8,8]

      C4[ 512, 495 ] = BGCG(UG(ATD[256,206]); K1;{13, 16, 19, 22})    with connection graph  [K_8,8]

      C4[ 512, 495 ] = BGCG(UG(ATD[256,206]); K1;{13, 16, 19, 22})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 496 ] = BGCG(UG(ATD[256,206]); K1;{14, 15, 18, 23})    with connection graph  [K_8,8]

      C4[ 512, 496 ] = BGCG(UG(ATD[256,206]); K1;{14, 15, 18, 23})    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 499 ] = BGCG(UG(ATD[256,206]); K1;{33, 36, 39, 42})    with connection graph  [K_8,8]

      C4[ 512, 500 ] = BGCG(UG(ATD[256,206]); K1;{34, 35, 38, 43})    with connection graph  [K_8,8]

      C4[ 512, 501 ] = SS[512, 1]    with connection graph  [W( 8, 2)]

      C4[ 512, 502 ] = SS[512, 3]    with connection graph  [W( 8, 2)]

      C4[ 512, 503 ] = SS[512, 4]    with connection graph  [K_8,8]

      C4[ 512, 503 ] = SS[512, 4]    with connection graph  [W( 8, 2)]

      C4[ 512, 505 ] = SS[512, 6]    with connection graph  [W( 8, 2)]

      C4[ 512, 509 ] = SS[512, 10]    with connection graph  [W( 8, 2)]

      C4[ 512, 510 ] = SS[512, 11]    with connection graph  [K_8,8]

      C4[ 512, 510 ] = SS[512, 11]    with connection graph  [W( 8, 2)]

      C4[ 512, 512 ] = SS[512, 13]    with connection graph  [K_8,8]

      C4[ 512, 513 ] = SS[512, 14]    with connection graph  [W( 8, 2)]

      C4[ 512, 515 ] = SS[512, 16]    with connection graph  [W( 8, 2)]

      C4[ 512, 518 ] = SS[512, 41]    with connection graph  [K_8,8]

      C4[ 512, 519 ] = SS[512, 42]    with connection graph  [K_8,8]

      C4[ 512, 522 ] = SS[512, 45]    with connection graph  [K_8,8]

      C4[ 512, 523 ] = SS[512, 55]    with connection graph  [W( 8, 2)]

      C4[ 512, 528 ] = SS[512, 61]    with connection graph  [K_8,8]

      C4[ 512, 530 ] = SS[512, 63]    with connection graph  [K_8,8]

      C4[ 512, 530 ] = SS[512, 63]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 532 ] = SS[512, 65]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 533 ] = SS[512, 66]    with connection graph  [K_8,8]

      C4[ 512, 534 ] = SS[512, 67]    with connection graph  [K_8,8]

      C4[ 512, 535 ] = SS[512, 68]    with connection graph  [K_8,8]

      C4[ 512, 535 ] = SS[512, 68]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 536 ] = SS[512, 69]    with connection graph  [K_8,8]

      C4[ 512, 537 ] = SS[512, 70]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 542 ] = SS[512, 75]    with connection graph  [K_8,8]

      C4[ 512, 546 ] = SS[512, 79]    with connection graph  [K_8,8]

      C4[ 512, 547 ] = SS[512, 80]    with connection graph  [K_8,8]

      C4[ 512, 550 ] = SS[512, 83]    with connection graph  [K_8,8]

      C4[ 512, 551 ] = SS[512, 84]    with connection graph  [K_8,8]

      C4[ 512, 553 ] = SS[512, 88]    with connection graph  [K_8,8]

      C4[ 512, 556 ] = SS[512, 91]    with connection graph  [K_8,8]

      C4[ 512, 557 ] = SS[512, 92]    with connection graph  [K_8,8]

      C4[ 512, 558 ] = SS[512, 93]    with connection graph  [K_8,8]

      C4[ 512, 558 ] = SS[512, 93]    with connection graph  [W( 8, 2)]

      C4[ 512, 559 ] = SS[512, 94]    with connection graph  [W( 8, 2)]

      C4[ 512, 564 ] = SS[512, 99]    with connection graph  [K_8,8]

      C4[ 512, 565 ] = SS[512, 100]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 566 ] = SS[512, 101]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 567 ] = SS[512, 102]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 568 ] = SS[512, 103]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 512, 572 ] = SS[512, 107]    with connection graph  [K_8,8]

      C4[ 512, 573 ] = SS[512, 108]    with connection graph  [K_8,8]

      C4[ 512, 574 ] = SS[512, 109]    with connection graph  [K_8,8]

      C4[ 512, 575 ] = SS[512, 110]    with connection graph  [K_8,8]

      C4[ 512, 576 ] = SS[512, 111]    with connection graph  [K_8,8]

      C4[ 512, 577 ] = SS[512, 112]    with connection graph  [K_8,8]

      C4[ 512, 578 ] = SS[512, 113]    with connection graph  [K_8,8]

      C4[ 512, 592 ] = SS[512, 129]    with connection graph  [K_8,8]

      C4[ 512, 598 ] = SS[512, 135]    with connection graph  [K_8,8]

      C4[ 512, 601 ] = SS[512, 138]    with connection graph  [K_8,8]

      C4[ 512, 602 ] = SS[512, 139]    with connection graph  [K_8,8]

      C4[ 512, 603 ] = SS[512, 140]    with connection graph  [K_8,8]

      C4[ 512, 606 ] = SS[512, 143]    with connection graph  [K_8,8]

      C4[ 512, 621 ] = SS[512, 175]    with connection graph  [C_16]

      C4[ 512, 622 ] = SS[512, 176]    with connection graph  [C_16]

      C4[ 512, 623 ] = SS[512, 177]    with connection graph  [W( 8, 2)]

      C4[ 512, 630 ] = SS[512, 184]    with connection graph  [K_8,8]

      C4[ 512, 631 ] = SS[512, 185]    with connection graph  [K_8,8]

      C4[ 512, 632 ] = SS[512, 186]    with connection graph  [K_8,8]

      C4[ 512, 632 ] = SS[512, 186]    with connection graph  [W( 8, 2)]

      C4[ 512, 633 ] = SS[512, 187]    with connection graph  [K_8,8]

      C4[ 512, 634 ] = SS[512, 188]    with connection graph  [K_8,8]

      C4[ 512, 634 ] = SS[512, 188]    with connection graph  [W( 8, 2)]

      C4[ 512, 637 ] = SS[512, 191]    with connection graph  [K_8,8]

      C4[ 512, 638 ] = SS[512, 192]    with connection graph  [K_8,8]

      C4[ 512, 640 ] = SS[512, 194]    with connection graph  [K_8,8]

      C4[ 512, 643 ] = SS[512, 197]    with connection graph  [K_8,8]

      C4[ 512, 645 ] = SS[512, 199]    with connection graph  [K_8,8]

      C4[ 512, 647 ] = SS[512, 201]    with connection graph  [K_8,8]

      C4[ 512, 648 ] = SS[512, 202]    with connection graph  [K_8,8]

      C4[ 512, 652 ] = SS[512, 206]    with connection graph  [K_8,8]

      C4[ 512, 653 ] = SS[512, 207]    with connection graph  [K_8,8]

      C4[ 512, 655 ] = SS[512, 209]    with connection graph  [K_8,8]

      C4[ 512, 657 ] = SS[512, 211]    with connection graph  [K_8,8]

      C4[ 512, 664 ] = SS[512, 218]    with connection graph  [K_8,8]

Aut-Orbital graphs of this one:

      C4[ 8, 1 ] = K_4,4

      C4[ 16, 1 ] = W( 8, 2)