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

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

Graphs which this one covers

     2-fold cover of C4[ 5, 1 ] = K5

Graphs which cover this one

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

     3-fold covered by C4[ 30, 3 ] = PS( 6, 5; 2)

     4-fold covered by C4[ 40, 4 ] = {4, 4}_ 6, 2

     4-fold covered by C4[ 40, 5 ] = PS( 8, 5; 2)

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

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

     4-fold covered by C4[ 40, 10 ] = PL(Br( 4, 5; 2))

     5-fold covered by C4[ 50, 2 ] = C_ 50(1, 7)

     5-fold covered by C4[ 50, 4 ] = PS( 10, 5; 2)

     6-fold covered by C4[ 60, 5 ] = PS( 12, 5; 2)

     6-fold covered by C4[ 60, 6 ] = PS( 4, 15; 2)

     6-fold covered by C4[ 60, 9 ] = PL(Br( 6, 5; 2))

     6-fold covered by C4[ 60, 10 ] = UG(ATD[60,15])

     6-fold covered by C4[ 60, 11 ] = UG(ATD[60,16])

     6-fold covered by C4[ 60, 15 ] = UG(ATD[60,22])

     6-fold covered by C4[ 60, 16 ] = HC(F 10)

     6-fold covered by C4[ 60, 20 ] = SDD(Pr_ 5( 1, 1, 2, 2))

     6-fold covered by C4[ 60, 21 ] = BGCG(Pr_ 10( 2, 3, 1, 4); K1;{2, 3})

     7-fold covered by C4[ 70, 3 ] = PS( 14, 5; 2)

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

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

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

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

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

     8-fold covered by C4[ 80, 11 ] = MPS( 4, 40; 3)

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

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

     8-fold covered by C4[ 80, 17 ] = KE_20(1,7,2,15,1)

     8-fold covered by C4[ 80, 21 ] = PL(Br( 8, 5; 2))

     8-fold covered by C4[ 80, 25 ] = PL(CS(C_ 10(1, 3)[ 10^ 2], 1))

     8-fold covered by C4[ 80, 26 ] = SDD({4, 4}_ 4, 2)

     9-fold covered by C4[ 90, 4 ] = {4, 4}_ 9, 3

     9-fold covered by C4[ 90, 5 ] = PS( 18, 5; 2)

     10-fold covered by C4[ 100, 2 ] = {4, 4}_ 8, 6

     10-fold covered by C4[ 100, 5 ] = PS( 20, 5; 2)

     10-fold covered by C4[ 100, 7 ] = MSZ ( 20, 5, 9, 2)

     10-fold covered by C4[ 100, 9 ] = PL(Br( 10, 5; 2))

     10-fold covered by C4[ 100, 11 ] = SDD(C_ 25(1, 7))

     11-fold covered by C4[ 110, 3 ] = PS( 22, 5; 2)

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

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

     12-fold covered by C4[ 120, 11 ] = MPS( 12, 20; 3)

     12-fold covered by C4[ 120, 14 ] = PS( 8, 15; 2)

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

     12-fold covered by C4[ 120, 16 ] = MPS( 4, 60; 7)

     12-fold covered by C4[ 120, 23 ] = PL(MC3( 4, 15, 1, 4, 7, 10, 1), [10^6, 12^5])

     12-fold covered by C4[ 120, 30 ] = PL(Br( 12, 5; 2))

     12-fold covered by C4[ 120, 31 ] = PL(Br( 6, 10; 3))

     12-fold covered by C4[ 120, 34 ] = UG(ATD[120,10])

     12-fold covered by C4[ 120, 35 ] = UG(ATD[120,50])

     12-fold covered by C4[ 120, 36 ] = UG(ATD[120,53])

     12-fold covered by C4[ 120, 37 ] = UG(ATD[120,54])

     12-fold covered by C4[ 120, 38 ] = UG(ATD[120,55])

     12-fold covered by C4[ 120, 39 ] = UG(ATD[120,57])

     12-fold covered by C4[ 120, 42 ] = UG(ATD[120,62])

     12-fold covered by C4[ 120, 43 ] = UG(ATD[120,63])

     12-fold covered by C4[ 120, 48 ] = HC(F 20A)

     12-fold covered by C4[ 120, 49 ] = SDD(Pr_ 10( 1, 1, 2, 2))

     12-fold covered by C4[ 120, 50 ] = XI(Rmap(60,7){4,6|3}_10)

     12-fold covered by C4[ 120, 51 ] = XI(Rmap(60,13){6,6|5}_6)

     12-fold covered by C4[ 120, 52 ] = SDD(Pr_ 10( 2, 3, 1, 4))

     12-fold covered by C4[ 120, 54 ] = XI(Rmap(60,57){4,6|6}_10)

     12-fold covered by C4[ 120, 55 ] = SDD(TAG(F 10))

     12-fold covered by C4[ 120, 57 ] = HC(Rmap(30,2){3,5|5}_10)

     12-fold covered by C4[ 120, 58 ] = PL(CS(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 0))

     12-fold covered by C4[ 120, 59 ] = PL(CS(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 1))

     12-fold covered by C4[ 120, 60 ] = PL(CS(Pr_ 5( 1, 1, 2, 2)[ 3^ 10], 1))

     12-fold covered by C4[ 120, 62 ] = BGCG(PS( 6, 5; 2); K2;{4, 5})

     12-fold covered by C4[ 120, 63 ] = SDD(Pr_ 10( 1, 4, 3, 2))

     12-fold covered by C4[ 120, 64 ] = SDD(Pr_ 10( 1, 1, 3, 3))

     12-fold covered by C4[ 120, 65 ] = BGCG(Pr_ 10( 2, 3, 1, 4); K2;{2, 3})

     12-fold covered by C4[ 120, 66 ] = BGCG(TAG(F 10); K2;1)

     12-fold covered by C4[ 120, 67 ] = BGCG(UG(ATD[60,16]); K1;{13, 14})

     12-fold covered by C4[ 120, 68 ] = BGCG(UG(ATD[60,16]); K1;{16, 17})

     12-fold covered by C4[ 120, 69 ] = BGCG(UG(ATD[60,19]); K1;{1, 4})

     13-fold covered by C4[ 130, 2 ] = C_130(1, 47)

     13-fold covered by C4[ 130, 4 ] = C_130(1, 57)

     13-fold covered by C4[ 130, 5 ] = PS( 26, 5; 2)

     14-fold covered by C4[ 140, 5 ] = PS( 28, 5; 2)

     14-fold covered by C4[ 140, 6 ] = PS( 4, 35; 8)

     14-fold covered by C4[ 140, 8 ] = PL(Br( 14, 5; 2))

     15-fold covered by C4[ 150, 4 ] = PS( 30, 5; 2)

     15-fold covered by C4[ 150, 6 ] = PS( 6, 25; 7)

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

     16-fold covered by C4[ 160, 9 ] = PS( 32, 5; 2)

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 160, 28 ] = MSY( 4, 40, 21, 12)

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

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

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

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

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

     16-fold covered by C4[ 160, 40 ] = KE_40(1,5,18,33,19)

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

     16-fold covered by C4[ 160, 45 ] = PL(Br( 16, 5; 2))

     16-fold covered by C4[ 160, 46 ] = UG(ATD[160,1])

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

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

     16-fold covered by C4[ 160, 49 ] = UG(ATD[160,19])

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

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

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

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

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

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

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

     16-fold covered by C4[ 160, 73 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K1;3)

     16-fold covered by C4[ 160, 74 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K1;4)

     16-fold covered by C4[ 160, 75 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K1;5)

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

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

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

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

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

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

     16-fold covered by C4[ 160, 83 ] = SS[160, 29]

     16-fold covered by C4[ 160, 84 ] = SS[160, 30]

     17-fold covered by C4[ 170, 2 ] = C_170(1, 13)

     17-fold covered by C4[ 170, 3 ] = C_170(1, 47)

     17-fold covered by C4[ 170, 5 ] = PS( 34, 5; 2)

     18-fold covered by C4[ 180, 5 ] = {4, 4}_ 12, 6

     18-fold covered by C4[ 180, 9 ] = PS( 36, 5; 2)

     18-fold covered by C4[ 180, 10 ] = PS( 12, 15; 2)

     18-fold covered by C4[ 180, 13 ] = PS( 4, 45; 8)

     18-fold covered by C4[ 180, 16 ] = MSZ ( 12, 15, 5, 2)

     18-fold covered by C4[ 180, 22 ] = PL(Br( 18, 5; 2))

     18-fold covered by C4[ 180, 27 ] = UG(ATD[180,44])

     18-fold covered by C4[ 180, 28 ] = UG(ATD[180,45])

     18-fold covered by C4[ 180, 31 ] = UG(ATD[180,50])

     18-fold covered by C4[ 180, 46 ] = XI(Rmap(90,27){3,10|10}_15)

     18-fold covered by C4[ 180, 47 ] = PL(CSI(Pr_ 5( 1, 1, 2, 2)[ 3^ 10], 3))

     18-fold covered by C4[ 180, 48 ] = BGCG(TAG(F 10), C_ 3, 1)

     18-fold covered by C4[ 180, 49 ] = SDD({4, 4}_ 6, 3)

     18-fold covered by C4[ 180, 53 ] = SS[180, 10]

     19-fold covered by C4[ 190, 3 ] = PS( 38, 5; 2)

     20-fold covered by C4[ 200, 5 ] = {4, 4}_ 14, 2

     20-fold covered by C4[ 200, 8 ] = PS( 40, 5; 2)

     20-fold covered by C4[ 200, 9 ] = PS( 20, 20; 3)

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

     20-fold covered by C4[ 200, 13 ] = PS( 8, 25; 7)

     20-fold covered by C4[ 200, 14 ] = MPS( 4,100; 7)

     20-fold covered by C4[ 200, 17 ] = MSZ ( 20, 10, 9, 3)

     20-fold covered by C4[ 200, 18 ] = MSZ ( 40, 5, 9, 2)

     20-fold covered by C4[ 200, 19 ] = MSZ ( 40, 5, 11, 2)

     20-fold covered by C4[ 200, 20 ] = PL(MC3( 4, 25, 1, 24, 7, 0, 1), [4^25, 50^2])

     20-fold covered by C4[ 200, 21 ] = PL(MC3( 20, 5, 1, 4, 2, 0, 1), [10^10, 20^5])

     20-fold covered by C4[ 200, 23 ] = PL(Br( 20, 5; 2))

     20-fold covered by C4[ 200, 24 ] = PL(Br( 10, 10; 3))

     20-fold covered by C4[ 200, 25 ] = PL(Br( 4, 25; 7))

     20-fold covered by C4[ 200, 34 ] = SDD(C_ 50(1, 7))

     20-fold covered by C4[ 200, 37 ] = SDD(PS( 10, 5; 2))

     20-fold covered by C4[ 200, 40 ] = SS[200, 12]

     20-fold covered by C4[ 200, 41 ] = SS[200, 13]

     21-fold covered by C4[ 210, 5 ] = PS( 42, 5; 2)

     22-fold covered by C4[ 220, 5 ] = PS( 44, 5; 2)

     22-fold covered by C4[ 220, 12 ] = PS( 4, 55; 12)

     22-fold covered by C4[ 220, 14 ] = PL(Br( 22, 5; 2))

     23-fold covered by C4[ 230, 3 ] = PS( 46, 5; 2)

     24-fold covered by C4[ 240, 13 ] = PS( 48, 5; 2)

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

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

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

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

     24-fold covered by C4[ 240, 21 ] = MPS( 12, 40; 3)

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

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

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

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

     24-fold covered by C4[ 240, 28 ] = MPS( 4,120; 7)

     24-fold covered by C4[ 240, 29 ] = MPS( 4,120; 13)

     24-fold covered by C4[ 240, 41 ] = MSZ ( 20, 12, 3, 5)

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

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

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

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

     24-fold covered by C4[ 240, 64 ] = PL(Br( 24, 5; 2))

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

     24-fold covered by C4[ 240, 68 ] = UG(ATD[240,23])

     24-fold covered by C4[ 240, 69 ] = UG(ATD[240,25])

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

     24-fold covered by C4[ 240, 75 ] = UG(ATD[240,98])

     24-fold covered by C4[ 240, 78 ] = UG(ATD[240,118])

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

     24-fold covered by C4[ 240, 81 ] = UG(ATD[240,124])

     24-fold covered by C4[ 240, 82 ] = UG(ATD[240,127])

     24-fold covered by C4[ 240, 83 ] = UG(ATD[240,130])

     24-fold covered by C4[ 240, 84 ] = UG(ATD[240,133])

     24-fold covered by C4[ 240, 85 ] = UG(ATD[240,136])

     24-fold covered by C4[ 240, 86 ] = UG(ATD[240,139])

     24-fold covered by C4[ 240, 87 ] = UG(ATD[240,142])

     24-fold covered by C4[ 240, 88 ] = UG(ATD[240,145])

     24-fold covered by C4[ 240, 89 ] = UG(ATD[240,147])

     24-fold covered by C4[ 240, 90 ] = UG(ATD[240,150])

     24-fold covered by C4[ 240, 91 ] = UG(ATD[240,152])

     24-fold covered by C4[ 240, 92 ] = UG(ATD[240,153])

     24-fold covered by C4[ 240, 93 ] = UG(ATD[240,154])

     24-fold covered by C4[ 240, 94 ] = UG(ATD[240,156])

     24-fold covered by C4[ 240, 95 ] = UG(ATD[240,157])

     24-fold covered by C4[ 240, 96 ] = UG(ATD[240,158])

     24-fold covered by C4[ 240, 97 ] = UG(ATD[240,159])

     24-fold covered by C4[ 240, 98 ] = UG(ATD[240,160])

     24-fold covered by C4[ 240, 99 ] = UG(ATD[240,163])

     24-fold covered by C4[ 240, 100 ] = UG(ATD[240,166])

     24-fold covered by C4[ 240, 101 ] = UG(ATD[240,167])

     24-fold covered by C4[ 240, 102 ] = UG(ATD[240,168])

     24-fold covered by C4[ 240, 103 ] = UG(ATD[240,169])

     24-fold covered by C4[ 240, 104 ] = PL(ATD[6,1]#ATD[10,1])

     24-fold covered by C4[ 240, 107 ] = XI(Rmap(120,3){4,6|6}_10)

     24-fold covered by C4[ 240, 108 ] = SDD(UG(ATD[60,19]))

     24-fold covered by C4[ 240, 109 ] = XI(Rmap(120,7){5,6|8}_8)

     24-fold covered by C4[ 240, 110 ] = SDD(UG(ATD[60,17]))

     24-fold covered by C4[ 240, 111 ] = SDD(UG(ATD[60,15]))

     24-fold covered by C4[ 240, 112 ] = XI(Rmap(120,13){6,6|10}_6)

     24-fold covered by C4[ 240, 114 ] = SDD(UG(ATD[60,20]))

     24-fold covered by C4[ 240, 121 ] = XI(Rmap(120,137){4,10|6}_12)

     24-fold covered by C4[ 240, 122 ] = SDD(UG(ATD[60,16]))

     24-fold covered by C4[ 240, 123 ] = SDD(UG(ATD[60,22]))

     24-fold covered by C4[ 240, 124 ] = XI(Cmap(120,9){12,12|15}_20)

     24-fold covered by C4[ 240, 126 ] = PL(CSI(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 4))

     24-fold covered by C4[ 240, 129 ] = PL(CS(PS( 6, 5; 2)[ 6^ 10], 0))

     24-fold covered by C4[ 240, 130 ] = PL(CS(PS( 6, 5; 2)[ 6^ 10], 1))

     24-fold covered by C4[ 240, 131 ] = PL(CS(PS( 6, 5; 2)[ 10^ 6], 0))

     24-fold covered by C4[ 240, 132 ] = PL(CS(PS( 6, 5; 2)[ 10^ 6], 1))

     24-fold covered by C4[ 240, 133 ] = PL(CS(PS( 6, 5; 2)[ 10^ 6], 1))

     24-fold covered by C4[ 240, 134 ] = PL(CS(Pr_ 10( 1, 1, 2, 2)[ 3^ 20], 0))

     24-fold covered by C4[ 240, 135 ] = PL(CS(Pr_ 10( 1, 1, 2, 2)[ 3^ 20], 1))

     24-fold covered by C4[ 240, 136 ] = PL(CS(Pr_ 10( 1, 1, 2, 2)[ 10^ 6], 0))

     24-fold covered by C4[ 240, 137 ] = PL(CS(Pr_ 10( 1, 1, 2, 2)[ 10^ 6], 1))

     24-fold covered by C4[ 240, 138 ] = PL(CS(Pr_ 10( 1, 1, 2, 2)[ 5^ 12], 0))

     24-fold covered by C4[ 240, 139 ] = PL(CS(Pr_ 10( 1, 1, 2, 2)[ 5^ 12], 1))

     24-fold covered by C4[ 240, 140 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 5^ 12], 1))

     24-fold covered by C4[ 240, 141 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 10^ 6], 0))

     24-fold covered by C4[ 240, 142 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 10^ 6], 1))

     24-fold covered by C4[ 240, 143 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 6^ 10], 0))

     24-fold covered by C4[ 240, 144 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 6^ 10], 1))

     24-fold covered by C4[ 240, 145 ] = PL(CS(Pr_ 10( 1, 1, 3, 3)[ 3^ 20], 1))

     24-fold covered by C4[ 240, 146 ] = PL(CS(Pr_ 10( 1, 1, 3, 3)[ 10^ 6], 0))

     24-fold covered by C4[ 240, 147 ] = PL(CS(Pr_ 10( 1, 1, 3, 3)[ 10^ 6], 1))

     24-fold covered by C4[ 240, 148 ] = PL(CS(Pr_ 10( 2, 3, 1, 4)[ 6^ 10], 0))

     24-fold covered by C4[ 240, 149 ] = PL(CS(Pr_ 10( 2, 3, 1, 4)[ 6^ 10], 1))

     24-fold covered by C4[ 240, 150 ] = PL(CS(Pr_ 10( 2, 3, 1, 4)[ 5^ 12], 0))

     24-fold covered by C4[ 240, 151 ] = PL(CS(Pr_ 10( 2, 3, 1, 4)[ 5^ 12], 1))

     24-fold covered by C4[ 240, 152 ] = PL(CS(TAG(F 10)[ 4^ 15], 0))

     24-fold covered by C4[ 240, 153 ] = PL(CS(TAG(F 10)[ 4^ 15], 1))

     24-fold covered by C4[ 240, 154 ] = PL(CS(TAG(F 10)[ 5^ 12], 1))

     24-fold covered by C4[ 240, 155 ] = PL(CS(TAG(F 10)[ 6^ 10], 0))

     24-fold covered by C4[ 240, 156 ] = PL(CS(TAG(F 10)[ 6^ 10], 1))

     24-fold covered by C4[ 240, 157 ] = BGCG(TAG(F 10), C_ 4, 1)

     24-fold covered by C4[ 240, 158 ] = SDD(PS( 12, 5; 2))

     24-fold covered by C4[ 240, 159 ] = BGCG(UG(ATD[60,15]); K2;{2, 3})

     24-fold covered by C4[ 240, 160 ] = BGCG(UG(ATD[60,16]); K2;{8, 9, 10, 11})

     24-fold covered by C4[ 240, 161 ] = BGCG(UG(ATD[60,16]); K2;{12, 13, 14, 15})

     24-fold covered by C4[ 240, 162 ] = BGCG(UG(ATD[60,16]); K2;{16, 17})

     24-fold covered by C4[ 240, 163 ] = SDD(UG(Rmap(120,140){10,4|6}_12))

     24-fold covered by C4[ 240, 164 ] = SDD(MG(Rmap(60,57){4,6|6}_10))

     24-fold covered by C4[ 240, 165 ] = BGCG(UG(ATD[120,10]); K1;{16, 17})

     24-fold covered by C4[ 240, 166 ] = BGCG(UG(ATD[120,10]); K1;{18, 19})

     24-fold covered by C4[ 240, 167 ] = BGCG(UG(ATD[120,10]); K1;{20, 21})

     24-fold covered by C4[ 240, 168 ] = BGCG(UG(ATD[120,10]); K1;{22, 23})

     24-fold covered by C4[ 240, 169 ] = BGCG(UG(ATD[120,10]); K1;{26, 27})

     24-fold covered by C4[ 240, 170 ] = BGCG(UG(ATD[120,10]); K1;28)

     24-fold covered by C4[ 240, 171 ] = BGCG(UG(ATD[120,10]); K1;29)

     24-fold covered by C4[ 240, 172 ] = BGCG(UG(ATD[120,53]); K1;2)

     24-fold covered by C4[ 240, 173 ] = BGCG(UG(ATD[120,53]); K1;6)

     24-fold covered by C4[ 240, 174 ] = BGCG(UG(ATD[120,54]); K1;{3, 6})

     24-fold covered by C4[ 240, 175 ] = BGCG(UG(ATD[120,54]); K1;{12, 14})

     24-fold covered by C4[ 240, 176 ] = BGCG(UG(ATD[120,54]); K1;{13, 15})

     24-fold covered by C4[ 240, 177 ] = BGCG(UG(ATD[120,55]); K1;{2, 6})

     24-fold covered by C4[ 240, 178 ] = BGCG(UG(ATD[120,55]); K1;{5, 7})

     24-fold covered by C4[ 240, 179 ] = BGCG(UG(ATD[120,55]); K1;{12, 14})

     24-fold covered by C4[ 240, 180 ] = BGCG(UG(ATD[120,55]); K1;{13, 15})

     24-fold covered by C4[ 240, 181 ] = SS[240, 2]

     25-fold covered by C4[ 250, 2 ] = C_250(1, 57)

     25-fold covered by C4[ 250, 3 ] = {4, 4}_ 15, 5

     25-fold covered by C4[ 250, 5 ] = PS( 50, 5; 2)

     25-fold covered by C4[ 250, 6 ] = PS( 10, 25; 2)

     25-fold covered by C4[ 250, 7 ] = PS( 10, 25; 3)

     25-fold covered by C4[ 250, 9 ] = PS( 10, 25; 7)

     25-fold covered by C4[ 250, 13 ] = AMC( 10, 5, [ 0. 2: 3. 1])

     25-fold covered by C4[ 250, 16 ] = SS[250, 1]

     25-fold covered by C4[ 250, 17 ] = SS[250, 2]

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

     26-fold covered by C4[ 260, 5 ] = {4, 4}_ 16, 2

     26-fold covered by C4[ 260, 7 ] = PS( 52, 5; 2)

     26-fold covered by C4[ 260, 9 ] = PS( 4, 65; 12)

     26-fold covered by C4[ 260, 12 ] = PL(Br( 26, 5; 2))

     26-fold covered by C4[ 260, 15 ] = SDD(C_ 65(1, 8))

     26-fold covered by C4[ 260, 16 ] = SDD(C_ 65(1, 18))

     26-fold covered by C4[ 260, 17 ] = SS[260, 1]

     27-fold covered by C4[ 270, 5 ] = PS( 54, 5; 2)

     27-fold covered by C4[ 270, 12 ] = UG(ATD[270,1])

     27-fold covered by C4[ 270, 13 ] = UG(ATD[270,11])

     27-fold covered by C4[ 270, 16 ] = UG(ATD[270,15])

     28-fold covered by C4[ 280, 9 ] = PS( 56, 5; 2)

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

     28-fold covered by C4[ 280, 11 ] = MPS( 28, 20; 3)

     28-fold covered by C4[ 280, 14 ] = PS( 8, 35; 8)

     28-fold covered by C4[ 280, 15 ] = PS( 4,140; 13)

     28-fold covered by C4[ 280, 16 ] = MPS( 4,140; 13)

     28-fold covered by C4[ 280, 21 ] = PL(MC3( 4, 35, 1, 29, 8, 5, 1), [10^14, 28^5])

     28-fold covered by C4[ 280, 24 ] = PL(Br( 28, 5; 2))

     28-fold covered by C4[ 280, 25 ] = PL(Br( 14, 10; 3))

     28-fold covered by C4[ 280, 31 ] = SDD(PS( 14, 5; 2))

     29-fold covered by C4[ 290, 2 ] = C_290(1, 17)

     29-fold covered by C4[ 290, 4 ] = C_290(1,133)

     29-fold covered by C4[ 290, 5 ] = PS( 58, 5; 2)

     30-fold covered by C4[ 300, 8 ] = PS( 60, 5; 2)

     30-fold covered by C4[ 300, 9 ] = PS( 20, 15; 2)

     30-fold covered by C4[ 300, 11 ] = PS( 12, 25; 7)

     30-fold covered by C4[ 300, 13 ] = PS( 4, 75; 7)

     30-fold covered by C4[ 300, 16 ] = MSZ ( 20, 15, 9, 2)

     30-fold covered by C4[ 300, 17 ] = MSZ ( 60, 5, 11, 2)

     30-fold covered by C4[ 300, 18 ] = MSZ ( 60, 5, 29, 2)

     30-fold covered by C4[ 300, 25 ] = PL(Br( 30, 5; 2))

     30-fold covered by C4[ 300, 26 ] = PL(Br( 6, 25; 7))

     30-fold covered by C4[ 300, 36 ] = UG(ATD[300,65])

     30-fold covered by C4[ 300, 37 ] = UG(ATD[300,66])

     30-fold covered by C4[ 300, 41 ] = UG(ATD[300,73])

     30-fold covered by C4[ 300, 46 ] = XI(Rmap(150,33){5,6|10}_5)

     30-fold covered by C4[ 300, 47 ] = XI(Rmap(150,35){5,10|6}_15)

     30-fold covered by C4[ 300, 49 ] = BGCG(TAG(F 10), C_ 5, 1)

     31-fold covered by C4[ 310, 3 ] = PS( 62, 5; 2)

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

     32-fold covered by C4[ 320, 11 ] = PS( 64, 5; 2)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 320, 77 ] = PL(Br( 32, 5; 2))

     32-fold covered by C4[ 320, 81 ] = UG(ATD[320,1])

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 320, 95 ] = UG(ATD[320,53])

     32-fold covered by C4[ 320, 96 ] = UG(ATD[320,55])

     32-fold covered by C4[ 320, 97 ] = UG(ATD[320,57])

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 320, 115 ] = UG(ATD[320,147])

     32-fold covered by C4[ 320, 116 ] = UG(ATD[320,148])

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

     32-fold covered by C4[ 320, 134 ] = UG(ATD[320,189])

     32-fold covered by C4[ 320, 135 ] = UG(ATD[320,190])

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 320, 176 ] = SDD(UG(Cmap(160,9){8,4|5}_10))

     32-fold covered by C4[ 320, 177 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K2;2)

     32-fold covered by C4[ 320, 178 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K2;3)

     32-fold covered by C4[ 320, 179 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K2;4)

     32-fold covered by C4[ 320, 180 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K2;5)

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

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

     32-fold covered by C4[ 320, 189 ] = BGCG(UG(ATD[160,19]); K1;1)

     32-fold covered by C4[ 320, 190 ] = BGCG(UG(ATD[160,19]); K1;3)

     32-fold covered by C4[ 320, 192 ] = BGCG(UG(ATD[160,19]); K1;5)

     32-fold covered by C4[ 320, 197 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;1)

     32-fold covered by C4[ 320, 198 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;3)

     32-fold covered by C4[ 320, 199 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;4)

     32-fold covered by C4[ 320, 200 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;5)

     32-fold covered by C4[ 320, 201 ] = BGCG(UG(Cmap(320,26){8,4|5}_20); K1;3)

     32-fold covered by C4[ 320, 202 ] = BGCG(UG(Cmap(320,26){8,4|5}_20); K1;5)

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

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

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

     32-fold covered by C4[ 320, 206 ] = SS[320, 15]

     32-fold covered by C4[ 320, 207 ] = SS[320, 16]

     32-fold covered by C4[ 320, 208 ] = SS[320, 17]

     32-fold covered by C4[ 320, 209 ] = SS[320, 18]

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

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

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

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

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

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

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

     32-fold covered by C4[ 320, 217 ] = SS[320, 26]

     32-fold covered by C4[ 320, 218 ] = SS[320, 30]

     32-fold covered by C4[ 320, 219 ] = SS[320, 31]

     32-fold covered by C4[ 320, 220 ] = SS[320, 32]

     32-fold covered by C4[ 320, 221 ] = SS[320, 33]

     32-fold covered by C4[ 320, 224 ] = AT[320, 77]

     33-fold covered by C4[ 330, 5 ] = PS( 66, 5; 2)

     34-fold covered by C4[ 340, 4 ] = {4, 4}_ 14, 12

     34-fold covered by C4[ 340, 5 ] = {4, 4}_ 18, 4

     34-fold covered by C4[ 340, 7 ] = PS( 68, 5; 2)

     34-fold covered by C4[ 340, 11 ] = PS( 4, 85; 18)

     34-fold covered by C4[ 340, 13 ] = PL(Br( 34, 5; 2))

     34-fold covered by C4[ 340, 16 ] = SDD(C_ 85(1, 13))

     34-fold covered by C4[ 340, 17 ] = SDD(C_ 85(1, 38))

     34-fold covered by C4[ 340, 18 ] = SS[340, 1]

     35-fold covered by C4[ 350, 4 ] = PS( 70, 5; 2)

     35-fold covered by C4[ 350, 5 ] = PS( 14, 25; 7)

     36-fold covered by C4[ 360, 10 ] = {4, 4}_ 18, 6

     36-fold covered by C4[ 360, 15 ] = PS( 72, 5; 2)

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

     36-fold covered by C4[ 360, 17 ] = MPS( 36, 20; 3)

     36-fold covered by C4[ 360, 20 ] = PS( 24, 15; 2)

     36-fold covered by C4[ 360, 24 ] = PS( 12, 60; 7)

     36-fold covered by C4[ 360, 26 ] = MPS( 12, 60; 7)

     36-fold covered by C4[ 360, 28 ] = PS( 8, 45; 8)

     36-fold covered by C4[ 360, 31 ] = PS( 4,180; 17)

     36-fold covered by C4[ 360, 32 ] = MPS( 4,180; 17)

     36-fold covered by C4[ 360, 41 ] = MSY( 6, 60, 31, 18)

     36-fold covered by C4[ 360, 42 ] = MSZ ( 24, 15, 5, 2)

     36-fold covered by C4[ 360, 43 ] = MSZ ( 24, 15, 7, 2)

     36-fold covered by C4[ 360, 45 ] = PL(MC3( 4, 45, 1, 19, 28, 25, 1), [10^18, 36^5])

     36-fold covered by C4[ 360, 51 ] = MC3( 6, 60, 1, 5, 31, 24, 1)

     36-fold covered by C4[ 360, 61 ] = PL(Br( 36, 5; 2))

     36-fold covered by C4[ 360, 62 ] = PL(Br( 18, 10; 3))

     36-fold covered by C4[ 360, 65 ] = UG(ATD[360,3])

     36-fold covered by C4[ 360, 69 ] = UG(ATD[360,27])

     36-fold covered by C4[ 360, 70 ] = UG(ATD[360,28])

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

     36-fold covered by C4[ 360, 79 ] = UG(ATD[360,93])

     36-fold covered by C4[ 360, 103 ] = UG(ATD[360,159])

     36-fold covered by C4[ 360, 104 ] = UG(ATD[360,162])

     36-fold covered by C4[ 360, 105 ] = UG(ATD[360,164])

     36-fold covered by C4[ 360, 106 ] = UG(ATD[360,167])

     36-fold covered by C4[ 360, 107 ] = UG(ATD[360,170])

     36-fold covered by C4[ 360, 108 ] = UG(ATD[360,171])

     36-fold covered by C4[ 360, 109 ] = UG(ATD[360,173])

     36-fold covered by C4[ 360, 110 ] = UG(ATD[360,174])

     36-fold covered by C4[ 360, 115 ] = UG(ATD[360,183])

     36-fold covered by C4[ 360, 116 ] = UG(ATD[360,186])

     36-fold covered by C4[ 360, 117 ] = UG(ATD[360,187])

     36-fold covered by C4[ 360, 128 ] = PL(ATD[9,1]#ATD[10,1])

     36-fold covered by C4[ 360, 129 ] = PL(ATD[10,1]#ATD[18,2])

     36-fold covered by C4[ 360, 131 ] = PL(ATD[30,5]#DCyc[3])

     36-fold covered by C4[ 360, 132 ] = PL(ATD[30,6]#DCyc[3])

     36-fold covered by C4[ 360, 133 ] = HC(F 60)

     36-fold covered by C4[ 360, 134 ] = PL(L(C3SS120))

     36-fold covered by C4[ 360, 139 ] = XI(Rmap(180,5){3,10|10}_30)

     36-fold covered by C4[ 360, 140 ] = SDD(UG(ATD[90,11]))

     36-fold covered by C4[ 360, 141 ] = XI(Rmap(180,10){6,6|15}_6)

     36-fold covered by C4[ 360, 143 ] = XI(Rmap(180,23){6,12|3}_10)

     36-fold covered by C4[ 360, 149 ] = XI(Rmap(180,134){6,10|4}_12)

     36-fold covered by C4[ 360, 150 ] = XI(Rmap(180,137){10,6|4}_12)

     36-fold covered by C4[ 360, 152 ] = SDD(UG(ATD[90,12]))

     36-fold covered by C4[ 360, 155 ] = PL(CSI(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 6))

     36-fold covered by C4[ 360, 157 ] = PL(CSI(PS( 6, 5; 2)[ 6^ 10], 3))

     36-fold covered by C4[ 360, 158 ] = PL(CSI(PS( 6, 5; 2)[ 10^ 6], 3))

     36-fold covered by C4[ 360, 159 ] = PL(CSI(Pr_ 10( 1, 1, 2, 2)[ 3^ 20], 3))

     36-fold covered by C4[ 360, 160 ] = PL(CSI(Pr_ 10( 1, 4, 3, 2)[ 10^ 6], 3))

     36-fold covered by C4[ 360, 161 ] = PL(CSI(Pr_ 10( 1, 4, 3, 2)[ 6^ 10], 3))

     36-fold covered by C4[ 360, 162 ] = PL(CSI(Pr_ 10( 1, 1, 3, 3)[ 10^ 6], 3))

     36-fold covered by C4[ 360, 163 ] = PL(CSI(Pr_ 10( 2, 3, 1, 4)[ 5^ 12], 3))

     36-fold covered by C4[ 360, 164 ] = PL(CSI(TAG(F 10)[ 4^ 15], 3))

     36-fold covered by C4[ 360, 165 ] = PL(CSI(TAG(F 10)[ 6^ 10], 3))

     36-fold covered by C4[ 360, 166 ] = BGCG(TAG(F 10), C_ 6, 1)

     36-fold covered by C4[ 360, 172 ] = PL(CS({4, 4}_ 6, 3[ 15^ 6], 0))

     36-fold covered by C4[ 360, 173 ] = PL(CS({4, 4}_ 6, 3[ 15^ 6], 1))

     36-fold covered by C4[ 360, 176 ] = BGCG(UG(ATD[60,15]), C_ 3, 1)

     36-fold covered by C4[ 360, 177 ] = BGCG(UG(ATD[60,15]), C_ 3, 2)

     36-fold covered by C4[ 360, 178 ] = BGCG(UG(ATD[60,16]), C_ 3, {1, 4})

     36-fold covered by C4[ 360, 179 ] = BGCG(UG(ATD[60,16]), C_ 3, {5, 6})

     36-fold covered by C4[ 360, 180 ] = BGCG(UG(ATD[60,16]), C_ 3, {7, 8})

     36-fold covered by C4[ 360, 181 ] = BGCG(UG(ATD[60,22]), C_ 3, 4)

     36-fold covered by C4[ 360, 182 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 1)

     36-fold covered by C4[ 360, 183 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 3)

     36-fold covered by C4[ 360, 184 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 9)

     36-fold covered by C4[ 360, 185 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 10)

     36-fold covered by C4[ 360, 186 ] = SDD({4, 4}_ 9, 3)

     36-fold covered by C4[ 360, 187 ] = SDD(PS( 18, 5; 2))

     36-fold covered by C4[ 360, 193 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;{1, 6})

     36-fold covered by C4[ 360, 194 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;2)

     36-fold covered by C4[ 360, 195 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;3)

     36-fold covered by C4[ 360, 196 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;4)

     36-fold covered by C4[ 360, 197 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;5)

     36-fold covered by C4[ 360, 198 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;7)

     36-fold covered by C4[ 360, 204 ] = BGCG(UG(ATD[180,44]); K1;1)

     36-fold covered by C4[ 360, 205 ] = BGCG(UG(ATD[180,45]); K1;{2, 5})

     36-fold covered by C4[ 360, 217 ] = SS[360, 7]

     36-fold covered by C4[ 360, 218 ] = SS[360, 9]

     36-fold covered by C4[ 360, 219 ] = SS[360, 10]

     36-fold covered by C4[ 360, 220 ] = SS[360, 11]

     36-fold covered by C4[ 360, 221 ] = SS[360, 12]

     36-fold covered by C4[ 360, 222 ] = SS[360, 13]

     36-fold covered by C4[ 360, 224 ] = SS[360, 15]

     37-fold covered by C4[ 370, 2 ] = C_370(1, 43)

     37-fold covered by C4[ 370, 3 ] = C_370(1,117)

     37-fold covered by C4[ 370, 5 ] = PS( 74, 5; 2)

     38-fold covered by C4[ 380, 5 ] = PS( 76, 5; 2)

     38-fold covered by C4[ 380, 6 ] = PS( 4, 95; 18)

     38-fold covered by C4[ 380, 8 ] = PL(Br( 38, 5; 2))

     39-fold covered by C4[ 390, 5 ] = PS( 78, 5; 2)

     39-fold covered by C4[ 390, 10 ] = PS( 6, 65; 2)

     39-fold covered by C4[ 390, 12 ] = PS( 6, 65; 7)

     39-fold covered by C4[ 390, 13 ] = PS( 6, 65; 8)

     39-fold covered by C4[ 390, 15 ] = PS( 6, 65; 18)

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

     40-fold covered by C4[ 400, 11 ] = PS( 80, 5; 2)

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

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

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

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

     40-fold covered by C4[ 400, 18 ] = PS( 16, 25; 7)

     40-fold covered by C4[ 400, 21 ] = PS( 8,100; 7)

     40-fold covered by C4[ 400, 22 ] = MPS( 8,100; 7)

     40-fold covered by C4[ 400, 23 ] = PS( 4,200; 7)

     40-fold covered by C4[ 400, 24 ] = MPS( 4,200; 7)

     40-fold covered by C4[ 400, 30 ] = MSZ ( 20, 20, 9, 3)

     40-fold covered by C4[ 400, 31 ] = MSZ ( 20, 20, 3, 9)

     40-fold covered by C4[ 400, 32 ] = MSZ ( 40, 10, 9, 3)

     40-fold covered by C4[ 400, 33 ] = MSZ ( 80, 5, 9, 2)

     40-fold covered by C4[ 400, 34 ] = MSZ ( 80, 5, 31, 2)

     40-fold covered by C4[ 400, 35 ] = PL(MC3( 4, 50, 1, 49, 7, 0, 1), [4^50, 50^4])

     40-fold covered by C4[ 400, 36 ] = PL(MC3( 8, 25, 1, 24, 7, 0, 1), [8^25, 50^4])

     40-fold covered by C4[ 400, 39 ] = PL(MC3( 20, 10, 1, 9, 3, 0, 1), [10^20, 20^10])

     40-fold covered by C4[ 400, 40 ] = PL(MC3( 40, 5, 1, 4, 2, 0, 1), [10^20, 40^5])

     40-fold covered by C4[ 400, 43 ] = PL(Br( 40, 5; 2))

     40-fold covered by C4[ 400, 44 ] = PL(Br( 8, 25; 7))

     40-fold covered by C4[ 400, 48 ] = UG(ATD[400,13])

     40-fold covered by C4[ 400, 49 ] = UG(ATD[400,21])

     40-fold covered by C4[ 400, 50 ] = UG(ATD[400,23])

     40-fold covered by C4[ 400, 51 ] = UG(ATD[400,27])

     40-fold covered by C4[ 400, 52 ] = UG(ATD[400,29])

     40-fold covered by C4[ 400, 59 ] = UG(ATD[400,90])

     40-fold covered by C4[ 400, 60 ] = UG(ATD[400,91])

     40-fold covered by C4[ 400, 64 ] = PL(ATD[10,1]#ATD[10,2])

     40-fold covered by C4[ 400, 65 ] = PL(ATD[10,1]#ATD[20,2])

     40-fold covered by C4[ 400, 66 ] = PL(ATD[10,1]#ATD[20,3])

     40-fold covered by C4[ 400, 76 ] = PL(CS(C_ 50(1, 7)[ 50^ 2], 1))

     40-fold covered by C4[ 400, 80 ] = PL(CS(PS( 10, 5; 2)[ 10^ 10], 1))

     40-fold covered by C4[ 400, 81 ] = SDD({4, 4}_ 8, 6)

     40-fold covered by C4[ 400, 83 ] = SDD(PS( 20, 5; 2))

     40-fold covered by C4[ 400, 97 ] = SS[400, 1]

     40-fold covered by C4[ 400, 98 ] = SS[400, 2]

     40-fold covered by C4[ 400, 101 ] = SS[400, 7]

     40-fold covered by C4[ 400, 102 ] = SS[400, 11]

     40-fold covered by C4[ 400, 103 ] = SS[400, 12]

     40-fold covered by C4[ 400, 106 ] = SS[400, 15]

     40-fold covered by C4[ 400, 107 ] = SS[400, 16]

     41-fold covered by C4[ 410, 2 ] = C_410(1, 73)

     41-fold covered by C4[ 410, 4 ] = C_410(1,173)

     41-fold covered by C4[ 410, 5 ] = PS( 82, 5; 2)

     42-fold covered by C4[ 420, 11 ] = PS( 84, 5; 2)

     42-fold covered by C4[ 420, 15 ] = PS( 28, 15; 2)

     42-fold covered by C4[ 420, 19 ] = PS( 12, 35; 2)

     42-fold covered by C4[ 420, 20 ] = PS( 12, 35; 3)

     42-fold covered by C4[ 420, 22 ] = PS( 12, 35; 8)

     42-fold covered by C4[ 420, 28 ] = PS( 4,105; 8)

     42-fold covered by C4[ 420, 29 ] = PS( 4,105; 22)

     42-fold covered by C4[ 420, 39 ] = PL(Br( 42, 5; 2))

     42-fold covered by C4[ 420, 46 ] = UG(ATD[420,83])

     42-fold covered by C4[ 420, 47 ] = UG(ATD[420,84])

     42-fold covered by C4[ 420, 51 ] = UG(ATD[420,91])

     42-fold covered by C4[ 420, 59 ] = XI(Rmap(210,38){35,6|10}_35)

     42-fold covered by C4[ 420, 60 ] = XI(Rmap(210,40){21,10|10}_35)

     42-fold covered by C4[ 420, 61 ] = BGCG(TAG(F 10), C_ 7, 1)

     43-fold covered by C4[ 430, 3 ] = PS( 86, 5; 2)

     44-fold covered by C4[ 440, 9 ] = PS( 88, 5; 2)

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

     44-fold covered by C4[ 440, 11 ] = MPS( 44, 20; 3)

     44-fold covered by C4[ 440, 28 ] = PS( 8, 55; 12)

     44-fold covered by C4[ 440, 29 ] = PS( 4,220; 23)

     44-fold covered by C4[ 440, 30 ] = MPS( 4,220; 23)

     44-fold covered by C4[ 440, 34 ] = PL(MC3( 4, 55, 1, 34, 12, 20, 1), [10^22, 44^5])

     44-fold covered by C4[ 440, 38 ] = PL(Br( 44, 5; 2))

     44-fold covered by C4[ 440, 39 ] = PL(Br( 22, 10; 3))

     44-fold covered by C4[ 440, 44 ] = SDD(PS( 22, 5; 2))

     45-fold covered by C4[ 450, 5 ] = {4, 4}_ 21, 3

     45-fold covered by C4[ 450, 7 ] = PS( 90, 5; 2)

     45-fold covered by C4[ 450, 9 ] = PS( 18, 25; 7)

     45-fold covered by C4[ 450, 12 ] = MSZ ( 30, 15, 3, 4)

     46-fold covered by C4[ 460, 5 ] = PS( 92, 5; 2)

     46-fold covered by C4[ 460, 6 ] = PS( 4,115; 22)

     46-fold covered by C4[ 460, 8 ] = PL(Br( 46, 5; 2))

     47-fold covered by C4[ 470, 3 ] = PS( 94, 5; 2)

     48-fold covered by C4[ 480, 17 ] = PS( 96, 5; 2)

     48-fold covered by C4[ 480, 20 ] = PS( 48, 20; 3)

     48-fold covered by C4[ 480, 21 ] = MPS( 48, 20; 3)

     48-fold covered by C4[ 480, 24 ] = PS( 32, 15; 2)

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

     48-fold covered by C4[ 480, 28 ] = MPS( 24, 40; 3)

     48-fold covered by C4[ 480, 35 ] = PS( 16, 60; 7)

     48-fold covered by C4[ 480, 36 ] = MPS( 16, 60; 7)

     48-fold covered by C4[ 480, 38 ] = PS( 12, 80; 3)

     48-fold covered by C4[ 480, 39 ] = PS( 12, 80; 7)

     48-fold covered by C4[ 480, 40 ] = MPS( 12, 80; 3)

     48-fold covered by C4[ 480, 41 ] = MPS( 12, 80; 7)

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

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

     48-fold covered by C4[ 480, 46 ] = MPS( 8,120; 7)

     48-fold covered by C4[ 480, 47 ] = MPS( 8,120; 13)

     48-fold covered by C4[ 480, 48 ] = PS( 4,240; 7)

     48-fold covered by C4[ 480, 49 ] = PS( 4,240; 13)

     48-fold covered by C4[ 480, 50 ] = PS( 4,240; 23)

     48-fold covered by C4[ 480, 51 ] = PS( 4,240; 43)

     48-fold covered by C4[ 480, 52 ] = MPS( 4,240; 7)

     48-fold covered by C4[ 480, 53 ] = MPS( 4,240; 13)

     48-fold covered by C4[ 480, 54 ] = MPS( 4,240; 23)

     48-fold covered by C4[ 480, 55 ] = MPS( 4,240; 43)

     48-fold covered by C4[ 480, 89 ] = MSZ ( 20, 24, 3, 11)

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

     48-fold covered by C4[ 480, 91 ] = PL(MC3( 4, 60, 1, 49, 7, 10, 1), [10^24, 24^10])

     48-fold covered by C4[ 480, 93 ] = PL(MC3( 4, 60, 1, 49, 13, 10, 1), [10^24, 24^10])

     48-fold covered by C4[ 480, 114 ] = PL(MC3( 16, 15, 1, 4, 7, 10, 1), [10^24, 48^5])

     48-fold covered by C4[ 480, 117 ] = PL(LoPr_ 60( 3, 10, 18, 10, 3), [12^20, 20^12])

     48-fold covered by C4[ 480, 119 ] = PL(LoPr_ 60( 3, 20, 18, 20, 3), [6^40, 20^12])

     48-fold covered by C4[ 480, 120 ] = PL(LoPr_ 60( 3, 10, 18, 10, 27), [12^20, 20^12])

     48-fold covered by C4[ 480, 121 ] = PL(LoPr_ 60( 3, 20, 18, 20, 27), [6^40, 20^12])

     48-fold covered by C4[ 480, 140 ] = PL(Br( 48, 5; 2))

     48-fold covered by C4[ 480, 144 ] = UG(ATD[480,3])

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

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

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

     48-fold covered by C4[ 480, 149 ] = UG(ATD[480,31])

     48-fold covered by C4[ 480, 150 ] = UG(ATD[480,33])

     48-fold covered by C4[ 480, 151 ] = UG(ATD[480,47])

     48-fold covered by C4[ 480, 152 ] = UG(ATD[480,49])

     48-fold covered by C4[ 480, 153 ] = UG(ATD[480,51])

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

     48-fold covered by C4[ 480, 155 ] = UG(ATD[480,67])

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

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

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

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

     48-fold covered by C4[ 480, 160 ] = UG(ATD[480,77])

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

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

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

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

     48-fold covered by C4[ 480, 167 ] = UG(ATD[480,92])

     48-fold covered by C4[ 480, 173 ] = UG(ATD[480,106])

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

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

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

     48-fold covered by C4[ 480, 191 ] = UG(ATD[480,231])

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

     48-fold covered by C4[ 480, 196 ] = UG(ATD[480,261])

     48-fold covered by C4[ 480, 201 ] = UG(ATD[480,275])

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

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

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

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

     48-fold covered by C4[ 480, 243 ] = UG(ATD[480,366])

     48-fold covered by C4[ 480, 244 ] = UG(ATD[480,369])

     48-fold covered by C4[ 480, 245 ] = UG(ATD[480,372])

     48-fold covered by C4[ 480, 246 ] = UG(ATD[480,375])

     48-fold covered by C4[ 480, 247 ] = UG(ATD[480,378])

     48-fold covered by C4[ 480, 248 ] = UG(ATD[480,381])

     48-fold covered by C4[ 480, 249 ] = UG(ATD[480,384])

     48-fold covered by C4[ 480, 250 ] = UG(ATD[480,387])

     48-fold covered by C4[ 480, 251 ] = UG(ATD[480,390])

     48-fold covered by C4[ 480, 252 ] = UG(ATD[480,393])

     48-fold covered by C4[ 480, 253 ] = UG(ATD[480,396])

     48-fold covered by C4[ 480, 254 ] = UG(ATD[480,399])

     48-fold covered by C4[ 480, 255 ] = UG(ATD[480,402])

     48-fold covered by C4[ 480, 256 ] = UG(ATD[480,405])

     48-fold covered by C4[ 480, 257 ] = UG(ATD[480,408])

     48-fold covered by C4[ 480, 258 ] = UG(ATD[480,411])

     48-fold covered by C4[ 480, 259 ] = UG(ATD[480,414])

     48-fold covered by C4[ 480, 260 ] = UG(ATD[480,417])

     48-fold covered by C4[ 480, 261 ] = UG(ATD[480,420])

     48-fold covered by C4[ 480, 262 ] = UG(ATD[480,423])

     48-fold covered by C4[ 480, 263 ] = UG(ATD[480,426])

     48-fold covered by C4[ 480, 264 ] = UG(ATD[480,429])

     48-fold covered by C4[ 480, 265 ] = UG(ATD[480,432])

     48-fold covered by C4[ 480, 266 ] = UG(ATD[480,435])

     48-fold covered by C4[ 480, 267 ] = UG(ATD[480,438])

     48-fold covered by C4[ 480, 268 ] = UG(ATD[480,441])

     48-fold covered by C4[ 480, 269 ] = UG(ATD[480,442])

     48-fold covered by C4[ 480, 270 ] = UG(ATD[480,443])

     48-fold covered by C4[ 480, 271 ] = UG(ATD[480,444])

     48-fold covered by C4[ 480, 272 ] = UG(ATD[480,445])

     48-fold covered by C4[ 480, 273 ] = UG(ATD[480,446])

     48-fold covered by C4[ 480, 274 ] = UG(ATD[480,447])

     48-fold covered by C4[ 480, 275 ] = UG(ATD[480,448])

     48-fold covered by C4[ 480, 276 ] = UG(ATD[480,451])

     48-fold covered by C4[ 480, 277 ] = UG(ATD[480,454])

     48-fold covered by C4[ 480, 278 ] = UG(ATD[480,457])

     48-fold covered by C4[ 480, 279 ] = UG(ATD[480,460])

     48-fold covered by C4[ 480, 280 ] = UG(ATD[480,463])

     48-fold covered by C4[ 480, 281 ] = UG(ATD[480,466])

     48-fold covered by C4[ 480, 282 ] = UG(ATD[480,467])

     48-fold covered by C4[ 480, 283 ] = UG(ATD[480,468])

     48-fold covered by C4[ 480, 284 ] = UG(ATD[480,469])

     48-fold covered by C4[ 480, 285 ] = UG(ATD[480,470])

     48-fold covered by C4[ 480, 287 ] = PL(ATD[6,1]#ATD[20,1])

     48-fold covered by C4[ 480, 289 ] = PL(ATD[8,1]#ATD[30,4])

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

     48-fold covered by C4[ 480, 292 ] = PL(ATD[10,1]#ATD[12,4])

     48-fold covered by C4[ 480, 293 ] = PL(ATD[10,1]#ATD[24,1])

     48-fold covered by C4[ 480, 294 ] = PL(ATD[10,1]#ATD[24,2])

     48-fold covered by C4[ 480, 295 ] = PL(ATD[10,1]#ATD[24,3])

     48-fold covered by C4[ 480, 296 ] = PL(ATD[10,1]#ATD[24,5])

     48-fold covered by C4[ 480, 297 ] = PL(ATD[10,1]#ATD[24,6])

     48-fold covered by C4[ 480, 298 ] = PL(ATD[10,1]#ATD[24,12])

     48-fold covered by C4[ 480, 304 ] = PL(ATD[30,5]#DCyc[4])

     48-fold covered by C4[ 480, 305 ] = PL(ATD[30,6]#DCyc[4])

     48-fold covered by C4[ 480, 306 ] = PL(ATD[60,15]#DCyc[4])

     48-fold covered by C4[ 480, 307 ] = UG(Rmap(960,1958){10,4|6}_12)

     48-fold covered by C4[ 480, 317 ] = XI(Rmap(240,3){4,6|6}_20)

     48-fold covered by C4[ 480, 318 ] = XI(Rmap(240,5){4,10|6}_12)

     48-fold covered by C4[ 480, 319 ] = SDD(UG(ATD[120,50]))

     48-fold covered by C4[ 480, 320 ] = XI(Rmap(240,9){6,6|20}_12)

     48-fold covered by C4[ 480, 321 ] = SDD(UG(ATD[120,57]))

     48-fold covered by C4[ 480, 324 ] = SDD(UG(ATD[120,58]))

     48-fold covered by C4[ 480, 325 ] = XI(Rmap(240,32){6,10|20}_10)

     48-fold covered by C4[ 480, 326 ] = XI(Rmap(240,34){10,6|20}_10)

     48-fold covered by C4[ 480, 330 ] = SDD(UG(ATD[120,55]))

     48-fold covered by C4[ 480, 340 ] = XI(Rmap(240,305){5,6|5}_5)

     48-fold covered by C4[ 480, 343 ] = SDD(UG(ATD[120,53]))

     48-fold covered by C4[ 480, 344 ] = SDD(UG(ATD[120,54]))

     48-fold covered by C4[ 480, 347 ] = SDD(UG(ATD[120,62]))

     48-fold covered by C4[ 480, 348 ] = PL(CSI(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 8))

     48-fold covered by C4[ 480, 349 ] = PL(CSI(Pr_ 5( 1, 1, 2, 2)[ 3^ 10], 8))

     48-fold covered by C4[ 480, 353 ] = PL(CSI(Pr_ 10( 1, 4, 3, 2)[ 10^ 6], 4))

     48-fold covered by C4[ 480, 354 ] = PL(CSI(Pr_ 10( 1, 4, 3, 2)[ 6^ 10], 4))

     48-fold covered by C4[ 480, 355 ] = PL(CSI(TAG(F 10)[ 4^ 15], 4))

     48-fold covered by C4[ 480, 356 ] = PL(CSI(TAG(F 10)[ 5^ 12], 8))

     48-fold covered by C4[ 480, 357 ] = PL(CSI(TAG(F 10)[ 6^ 10], 4))

     48-fold covered by C4[ 480, 358 ] = BGCG(TAG(F 10), C_ 8, 1)

     48-fold covered by C4[ 480, 378 ] = PL(CS(PS( 12, 5; 2)[ 10^ 12], 1))

     48-fold covered by C4[ 480, 385 ] = PL(CS(UG(ATD[60,15])[ 6^ 20], 0))

     48-fold covered by C4[ 480, 386 ] = PL(CS(UG(ATD[60,15])[ 6^ 20], 1))

     48-fold covered by C4[ 480, 387 ] = PL(CS(UG(ATD[60,15])[ 4^ 30], 0))

     48-fold covered by C4[ 480, 388 ] = PL(CS(UG(ATD[60,15])[ 4^ 30], 1))

     48-fold covered by C4[ 480, 389 ] = PL(CS(UG(ATD[60,15])[ 10^ 12], 1))

     48-fold covered by C4[ 480, 390 ] = BGCG(UG(ATD[60,15]), C_ 4, {1, 2})

     48-fold covered by C4[ 480, 391 ] = PL(CS(UG(ATD[60,16])[ 6^ 20], 1))

     48-fold covered by C4[ 480, 392 ] = PL(CS(UG(ATD[60,16])[ 6^ 20], 0))

     48-fold covered by C4[ 480, 393 ] = PL(CS(UG(ATD[60,16])[ 6^ 20], 1))

     48-fold covered by C4[ 480, 394 ] = PL(CS(UG(ATD[60,16])[ 10^ 12], 0))

     48-fold covered by C4[ 480, 395 ] = PL(CS(UG(ATD[60,16])[ 10^ 12], 1))

     48-fold covered by C4[ 480, 396 ] = BGCG(UG(ATD[60,16]), C_ 4, {1, 4})

     48-fold covered by C4[ 480, 397 ] = BGCG(UG(ATD[60,16]), C_ 4, {5, 6})

     48-fold covered by C4[ 480, 398 ] = BGCG(UG(ATD[60,16]), C_ 4, {7, 8})

     48-fold covered by C4[ 480, 399 ] = PL(CS(UG(ATD[60,17])[ 5^ 24], 1))

     48-fold covered by C4[ 480, 400 ] = PL(CS(UG(ATD[60,17])[ 6^ 20], 0))

     48-fold covered by C4[ 480, 401 ] = PL(CS(UG(ATD[60,17])[ 6^ 20], 1))

     48-fold covered by C4[ 480, 402 ] = PL(CS(UG(ATD[60,17])[ 4^ 30], 0))

     48-fold covered by C4[ 480, 403 ] = PL(CS(UG(ATD[60,17])[ 4^ 30], 1))

     48-fold covered by C4[ 480, 404 ] = PL(CS(UG(ATD[60,19])[ 3^ 40], 1))

     48-fold covered by C4[ 480, 405 ] = PL(CS(UG(ATD[60,19])[ 10^ 12], 0))

     48-fold covered by C4[ 480, 406 ] = PL(CS(UG(ATD[60,19])[ 10^ 12], 1))

     48-fold covered by C4[ 480, 407 ] = PL(CS(UG(ATD[60,20])[ 5^ 24], 1))

     48-fold covered by C4[ 480, 408 ] = PL(CS(UG(ATD[60,20])[ 6^ 20], 0))

     48-fold covered by C4[ 480, 409 ] = PL(CS(UG(ATD[60,20])[ 6^ 20], 1))

     48-fold covered by C4[ 480, 410 ] = PL(CS(UG(ATD[60,20])[ 10^ 12], 0))

     48-fold covered by C4[ 480, 411 ] = PL(CS(UG(ATD[60,20])[ 10^ 12], 1))

     48-fold covered by C4[ 480, 412 ] = PL(CS(UG(ATD[60,22])[ 6^ 20], 0))

     48-fold covered by C4[ 480, 413 ] = PL(CS(UG(ATD[60,22])[ 6^ 20], 1))

     48-fold covered by C4[ 480, 414 ] = PL(CS(UG(ATD[60,22])[ 10^ 12], 0))

     48-fold covered by C4[ 480, 415 ] = PL(CS(UG(ATD[60,22])[ 10^ 12], 1))

     48-fold covered by C4[ 480, 416 ] = PL(CS(UG(ATD[60,22])[ 10^ 12], 1))

     48-fold covered by C4[ 480, 417 ] = BGCG(UG(ATD[60,22]), C_ 4, {3, 4})

     48-fold covered by C4[ 480, 418 ] = PL(CS(UG(Rmap(120,140){10,4|6}_12)[ 6^ 20], 1))

     48-fold covered by C4[ 480, 419 ] = PL(CS(UG(Rmap(120,140){10,4|6}_12)[ 10^ 12], 1))

     48-fold covered by C4[ 480, 420 ] = PL(CS(MG(Rmap(60,57){4,6|6}_10)[ 4^ 30], 1))

     48-fold covered by C4[ 480, 421 ] = PL(CS(MG(Rmap(60,57){4,6|6}_10)[ 6^ 20], 1))

     48-fold covered by C4[ 480, 422 ] = PL(CS(MG(Rmap(60,57){4,6|6}_10)[ 10^ 12], 0))

     48-fold covered by C4[ 480, 423 ] = PL(CS(MG(Rmap(60,57){4,6|6}_10)[ 10^ 12], 1))

     48-fold covered by C4[ 480, 424 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 1)

     48-fold covered by C4[ 480, 425 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 2)

     48-fold covered by C4[ 480, 426 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 3)

     48-fold covered by C4[ 480, 427 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 8)

     48-fold covered by C4[ 480, 428 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, {9, 10})

     48-fold covered by C4[ 480, 431 ] = BGCG(UG(Cmap(160,9){8,4|5}_10), C_ 3, 2)

     48-fold covered by C4[ 480, 435 ] = SDD(PS( 24, 5; 2))

     48-fold covered by C4[ 480, 436 ] = SDD(PS( 12, 20; 3))

     48-fold covered by C4[ 480, 437 ] = SDD(MPS( 12, 20; 3))

     48-fold covered by C4[ 480, 443 ] = BGCG(UG(ATD[120,10]); K2;{16, 17, 18, 19})

     48-fold covered by C4[ 480, 444 ] = BGCG(UG(ATD[120,10]); K2;{20, 21, 22, 23})

     48-fold covered by C4[ 480, 445 ] = BGCG(UG(ATD[120,10]); K2;{24, 25, 26, 27})

     48-fold covered by C4[ 480, 446 ] = BGCG(UG(ATD[120,10]); K2;28)

     48-fold covered by C4[ 480, 447 ] = BGCG(UG(ATD[120,10]); K2;29)

     48-fold covered by C4[ 480, 448 ] = BGCG(UG(ATD[120,10]); K2;30)

     48-fold covered by C4[ 480, 449 ] = BGCG(UG(ATD[120,53]); K2;{2, 6})

     48-fold covered by C4[ 480, 450 ] = BGCG(UG(ATD[120,54]); K2;{8, 9, 10, 11})

     48-fold covered by C4[ 480, 451 ] = BGCG(UG(ATD[120,54]); K2;{12, 13, 14, 15})

     48-fold covered by C4[ 480, 452 ] = BGCG(UG(ATD[120,55]); K2;{2, 5, 6, 7})

     48-fold covered by C4[ 480, 453 ] = BGCG(UG(ATD[120,55]); K2;{12, 13, 14, 15})

     48-fold covered by C4[ 480, 454 ] = SDD(UG(ATD[120,60]))

     48-fold covered by C4[ 480, 456 ] = SDD(UG(ATD[120,64]))

     48-fold covered by C4[ 480, 457 ] = SDD(UG(ATD[120,65]))

     48-fold covered by C4[ 480, 458 ] = SDD(UG(ATD[120,67]))

     48-fold covered by C4[ 480, 459 ] = SDD(UG(ATD[120,69]))

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

     48-fold covered by C4[ 480, 463 ] = BGCG(UG(ATD[240,33]); K1;4)

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

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

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

     48-fold covered by C4[ 480, 467 ] = BGCG(UG(ATD[240,98]); K1;{5, 7})

     48-fold covered by C4[ 480, 469 ] = BGCG(UG(ATD[240,118]); K1;{2, 5})

     48-fold covered by C4[ 480, 470 ] = BGCG(UG(ATD[240,118]); K1;{3, 4})

     48-fold covered by C4[ 480, 471 ] = BGCG(UG(ATD[240,118]); K1;{7, 9})

     48-fold covered by C4[ 480, 472 ] = BGCG(UG(ATD[240,124]); K1;9)

     48-fold covered by C4[ 480, 473 ] = BGCG(UG(ATD[240,124]); K1;15)

     48-fold covered by C4[ 480, 474 ] = BGCG(UG(ATD[240,127]); K1;{2, 13})

     48-fold covered by C4[ 480, 475 ] = BGCG(UG(ATD[240,127]); K1;{3, 6})

     48-fold covered by C4[ 480, 476 ] = BGCG(UG(ATD[240,127]); K1;{4, 8})

     48-fold covered by C4[ 480, 477 ] = BGCG(UG(ATD[240,127]); K1;{9, 11})

     48-fold covered by C4[ 480, 478 ] = BGCG(UG(ATD[240,127]); K1;{32, 34})

     48-fold covered by C4[ 480, 479 ] = BGCG(UG(ATD[240,127]); K1;{33, 37})

     48-fold covered by C4[ 480, 480 ] = BGCG(UG(ATD[240,127]); K1;{35, 39})

     48-fold covered by C4[ 480, 481 ] = BGCG(UG(ATD[240,127]); K1;{36, 38})

     48-fold covered by C4[ 480, 483 ] = BGCG(UG(ATD[240,130]); K1;10)

     48-fold covered by C4[ 480, 484 ] = BGCG(UG(ATD[240,133]); K1;9)

     48-fold covered by C4[ 480, 485 ] = BGCG(UG(ATD[240,136]); K1;{1, 6})

     48-fold covered by C4[ 480, 486 ] = BGCG(UG(ATD[240,136]); K1;{5, 8})

     48-fold covered by C4[ 480, 487 ] = BGCG(UG(ATD[240,139]); K1;1)

     48-fold covered by C4[ 480, 488 ] = BGCG(UG(ATD[240,139]); K1;4)

     48-fold covered by C4[ 480, 489 ] = BGCG(UG(ATD[240,139]); K1;6)

     48-fold covered by C4[ 480, 490 ] = BGCG(UG(ATD[240,139]); K1;8)

     48-fold covered by C4[ 480, 491 ] = BGCG(UG(ATD[240,139]); K1;9)

     48-fold covered by C4[ 480, 492 ] = BGCG(UG(ATD[240,142]); K1;1)

     48-fold covered by C4[ 480, 493 ] = BGCG(UG(ATD[240,142]); K1;8)

     48-fold covered by C4[ 480, 494 ] = BGCG(UG(ATD[240,145]); K1;{18, 21})

     48-fold covered by C4[ 480, 495 ] = BGCG(UG(ATD[240,145]); K1;{19, 20})

     48-fold covered by C4[ 480, 496 ] = BGCG(UG(ATD[240,150]); K1;{8, 10})

     48-fold covered by C4[ 480, 497 ] = BGCG(UG(ATD[240,150]); K1;{9, 11})

     48-fold covered by C4[ 480, 498 ] = BGCG(UG(ATD[240,150]); K1;{12, 14})

     48-fold covered by C4[ 480, 499 ] = BGCG(UG(ATD[240,150]); K1;{13, 15})

     48-fold covered by C4[ 480, 500 ] = BGCG(UG(ATD[240,152]); K1;1)

     48-fold covered by C4[ 480, 501 ] = BGCG(UG(ATD[240,153]); K1;4)

     48-fold covered by C4[ 480, 502 ] = BGCG(UG(ATD[240,154]); K1;{16, 19})

     48-fold covered by C4[ 480, 503 ] = BGCG(UG(ATD[240,154]); K1;{17, 18})

     48-fold covered by C4[ 480, 504 ] = BGCG(UG(ATD[240,156]); K1;2)

     48-fold covered by C4[ 480, 505 ] = BGCG(UG(ATD[240,156]); K1;3)

     48-fold covered by C4[ 480, 506 ] = BGCG(UG(ATD[240,156]); K1;4)

     48-fold covered by C4[ 480, 507 ] = BGCG(UG(ATD[240,156]); K1;5)

     48-fold covered by C4[ 480, 508 ] = BGCG(UG(ATD[240,156]); K1;6)

     48-fold covered by C4[ 480, 509 ] = BGCG(UG(ATD[240,156]); K1;7)

     48-fold covered by C4[ 480, 510 ] = BGCG(UG(ATD[240,157]); K1;{1, 2})

     48-fold covered by C4[ 480, 511 ] = BGCG(UG(ATD[240,157]); K1;3)

     48-fold covered by C4[ 480, 512 ] = BGCG(UG(ATD[240,157]); K1;{8, 11})

     48-fold covered by C4[ 480, 513 ] = BGCG(UG(ATD[240,157]); K1;{9, 10})

     48-fold covered by C4[ 480, 514 ] = BGCG(UG(ATD[240,157]); K1;{12, 15})

     48-fold covered by C4[ 480, 515 ] = BGCG(UG(ATD[240,157]); K1;{16, 17})

     48-fold covered by C4[ 480, 516 ] = BGCG(UG(ATD[240,157]); K1;{18, 19})

     48-fold covered by C4[ 480, 517 ] = BGCG(UG(ATD[240,158]); K1;5)

     48-fold covered by C4[ 480, 518 ] = BGCG(UG(ATD[240,158]); K1;6)

     48-fold covered by C4[ 480, 519 ] = BGCG(UG(ATD[240,159]); K1;{12, 13})

     48-fold covered by C4[ 480, 520 ] = BGCG(UG(ATD[240,159]); K1;{14, 15})

     48-fold covered by C4[ 480, 521 ] = BGCG(UG(ATD[240,159]); K1;{16, 18})

     48-fold covered by C4[ 480, 522 ] = BGCG(UG(ATD[240,166]); K1;3)

     48-fold covered by C4[ 480, 523 ] = BGCG(UG(ATD[240,166]); K1;4)

     48-fold covered by C4[ 480, 524 ] = BGCG(UG(ATD[240,167]); K1;3)

     48-fold covered by C4[ 480, 525 ] = BGCG(UG(ATD[240,167]); K1;7)

     48-fold covered by C4[ 480, 526 ] = BGCG(UG(Rmap(480,771){5,4|6}_12); K1;3)

     48-fold covered by C4[ 480, 527 ] = BGCG(UG(Rmap(480,771){5,4|6}_12); K1;4)

     48-fold covered by C4[ 480, 529 ] = SS[480, 3]

     48-fold covered by C4[ 480, 530 ] = SS[480, 4]

     48-fold covered by C4[ 480, 531 ] = SS[480, 5]

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

     48-fold covered by C4[ 480, 533 ] = SS[480, 7]

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

     48-fold covered by C4[ 480, 535 ] = SS[480, 9]

     48-fold covered by C4[ 480, 536 ] = SS[480, 10]

     48-fold covered by C4[ 480, 537 ] = SS[480, 11]

     48-fold covered by C4[ 480, 538 ] = SS[480, 12]

     48-fold covered by C4[ 480, 539 ] = SS[480, 13]

     48-fold covered by C4[ 480, 540 ] = SS[480, 22]

     48-fold covered by C4[ 480, 541 ] = SS[480, 23]

     48-fold covered by C4[ 480, 542 ] = SS[480, 24]

     48-fold covered by C4[ 480, 543 ] = SS[480, 25]

     48-fold covered by C4[ 480, 544 ] = SS[480, 26]

     48-fold covered by C4[ 480, 545 ] = SS[480, 27]

     48-fold covered by C4[ 480, 546 ] = SS[480, 28]

     48-fold covered by C4[ 480, 547 ] = SS[480, 29]

     48-fold covered by C4[ 480, 549 ] = SS[480, 32]

     48-fold covered by C4[ 480, 550 ] = SS[480, 33]

     48-fold covered by C4[ 480, 551 ] = SS[480, 34]

     48-fold covered by C4[ 480, 552 ] = SS[480, 35]

     48-fold covered by C4[ 480, 555 ] = SS[480, 39]

     48-fold covered by C4[ 480, 556 ] = SS[480, 41]

     48-fold covered by C4[ 480, 557 ] = SS[480, 42]

     48-fold covered by C4[ 480, 558 ] = SS[480, 43]

     49-fold covered by C4[ 490, 3 ] = {4, 4}_ 21, 7

     49-fold covered by C4[ 490, 5 ] = PS( 98, 5; 2)

     50-fold covered by C4[ 500, 2 ] = {4, 4}_ 20, 10

     50-fold covered by C4[ 500, 3 ] = {4, 4}_ 22, 4

     50-fold covered by C4[ 500, 7 ] = PS(100, 5; 2)

     50-fold covered by C4[ 500, 8 ] = PS( 20, 25; 2)

     50-fold covered by C4[ 500, 9 ] = PS( 20, 25; 3)

     50-fold covered by C4[ 500, 11 ] = PS( 20, 25; 7)

     50-fold covered by C4[ 500, 18 ] = MSZ ( 20, 25, 9, 7)

     50-fold covered by C4[ 500, 19 ] = MSZ (100, 5, 49, 2)

     50-fold covered by C4[ 500, 23 ] = AMC( 20, 5, [ 0. 2: 3. 1])

     50-fold covered by C4[ 500, 24 ] = PL(Br( 50, 5; 2))

     50-fold covered by C4[ 500, 25 ] = PL(Br( 10, 25; 7))

     50-fold covered by C4[ 500, 27 ] = UG(ATD[500,1])

     50-fold covered by C4[ 500, 28 ] = UG(ATD[500,15])

     50-fold covered by C4[ 500, 34 ] = UG(ATD[500,56])

     50-fold covered by C4[ 500, 40 ] = SDD(C_125(1, 57))

     50-fold covered by C4[ 500, 41 ] = SDD({4, 4}_ 10, 5)

     50-fold covered by C4[ 500, 46 ] = BGCG(AMC( 10, 5, [ 0. 2: 3. 1]); K1;1)

     50-fold covered by C4[ 500, 47 ] = BGCG(AMC( 10, 5, [ 0. 2: 3. 1]); K1;2)

     50-fold covered by C4[ 500, 48 ] = BGCG(AMC( 10, 5, [ 0. 2: 3. 1]); K1;3)

     50-fold covered by C4[ 500, 49 ] = BGCG(AMC( 10, 5, [ 0. 2: 3. 1]); K1;4)

     50-fold covered by C4[ 500, 50 ] = BGCG(AMC( 10, 5, [ 0. 2: 3. 1]); K1;5)

     50-fold covered by C4[ 500, 51 ] = SS[500, 1]

     50-fold covered by C4[ 500, 52 ] = SS[500, 4]

     50-fold covered by C4[ 500, 53 ] = SS[500, 5]

     51-fold covered by C4[ 510, 5 ] = PS(102, 5; 2)

     51-fold covered by C4[ 510, 8 ] = PS( 6, 85; 13)

     51-fold covered by C4[ 510, 9 ] = PS( 6, 85; 38)

BGCG dissections of this graph

     Base Graph: C4[ 5, 1 ] = K5   connection graph:  [K_1]

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

      C4[ 20, 4 ] = SDD(K5)    with connection graph  [K_1]

      C4[ 40, 4 ] = {4, 4}_ 6, 2    with connection graph  [K_2]

      C4[ 40, 6 ] = MPS( 4, 20; 3)    with connection graph  [K_2]

      C4[ 40, 9 ] = PL(MC3( 4, 5, 1, 4, 2, 0, 1), [4^5, 10^2])    with connection graph  [K_2]

      C4[ 80, 8 ] = PS( 8, 20; 3)    with connection graph  [C_4]

      C4[ 80, 9 ] = MPS( 8, 20; 3)    with connection graph  [C_4]

      C4[ 80, 15 ] = PL(MC3( 4, 10, 1, 9, 3, 0, 1), [4^10, 10^4])    with connection graph  [C_4]

      C4[ 80, 16 ] = PL(MC3( 8, 5, 1, 4, 2, 0, 1), [8^5, 10^4])    with connection graph  [C_4]

      C4[ 100, 8 ] = AMC( 4, 5, [ 1. 2: 1. 4])    with connection graph  [K_5]

      C4[ 100, 10 ] = BGCG(K5, K55)    with connection graph  [K_5]

      C4[ 120, 10 ] = PS( 12, 20; 3)    with connection graph  [C_6]

      C4[ 120, 11 ] = MPS( 12, 20; 3)    with connection graph  [C_6]

      C4[ 120, 23 ] = PL(MC3( 4, 15, 1, 4, 7, 10, 1), [10^6, 12^5])    with connection graph  [C_6]

      C4[ 120, 31 ] = PL(Br( 6, 10; 3))    with connection graph  [C_6]

      C4[ 120, 37 ] = UG(ATD[120,54])    with connection graph  [K_6]

      C4[ 120, 62 ] = BGCG(PS( 6, 5; 2); K2;{4, 5})    with connection graph  [K_6]

      C4[ 120, 62 ] = BGCG(PS( 6, 5; 2); K2;{4, 5})    with connection graph  [octahedron]

      C4[ 120, 65 ] = BGCG(Pr_ 10( 2, 3, 1, 4); K2;{2, 3})    with connection graph  [K_6]

      C4[ 120, 67 ] = BGCG(UG(ATD[60,16]); K1;{13, 14})    with connection graph  [K_6]

      C4[ 120, 68 ] = BGCG(UG(ATD[60,16]); K1;{16, 17})    with connection graph  [K_6]

      C4[ 120, 69 ] = BGCG(UG(ATD[60,19]); K1;{1, 4})    with connection graph  [K_6]

      C4[ 160, 12 ] = PS( 16, 20; 3)    with connection graph  [C_8]

      C4[ 160, 13 ] = MPS( 16, 20; 3)    with connection graph  [C_8]

      C4[ 160, 31 ] = PL(MC3( 4, 20, 1, 9, 13, 10, 1), [8^10, 10^8])    with connection graph  [C_8]

      C4[ 160, 34 ] = PL(MC3( 16, 5, 1, 4, 2, 0, 1), [10^8, 16^5])    with connection graph  [C_8]

      C4[ 160, 77 ] = SS[160, 20]    with connection graph  [K_4,4]

      C4[ 160, 78 ] = SS[160, 21]    with connection graph  [K_4,4]

      C4[ 160, 80 ] = SS[160, 26]    with connection graph  [K_4,4]

      C4[ 160, 81 ] = SS[160, 27]    with connection graph  [K_4,4]

      C4[ 180, 53 ] = SS[180, 10]    with connection graph  [DW( 3, 3)]

      C4[ 200, 9 ] = PS( 20, 20; 3)    with connection graph  [C_10]

      C4[ 200, 10 ] = MPS( 20, 20; 3)    with connection graph  [C_10]

      C4[ 200, 21 ] = PL(MC3( 20, 5, 1, 4, 2, 0, 1), [10^10, 20^5])    with connection graph  [C_10]

      C4[ 200, 24 ] = PL(Br( 10, 10; 3))    with connection graph  [C_10]

      C4[ 200, 35 ] = BGCG({4, 4}_ 5, 5; K2;{2, 5})    with connection graph  [C_ 10(1, 3)]

      C4[ 200, 36 ] = BGCG({4, 4}_ 5, 5; K2;{7, 9})    with connection graph  [K_5,5]

      C4[ 200, 38 ] = BGCG({4, 4}_ 10, 0; K1;{12, 14})    with connection graph  [C_ 10(1, 3)]

      C4[ 200, 38 ] = BGCG({4, 4}_ 10, 0; K1;{12, 14})    with connection graph  [K_5,5]

      C4[ 200, 40 ] = SS[200, 12]    with connection graph  [C_ 10(1, 3)]

      C4[ 200, 41 ] = SS[200, 13]    with connection graph  [C_ 10(1, 3)]

      C4[ 220, 17 ] = BGCG(MSY( 5, 11, 5, 0); K2;1)    with connection graph  [K_11]

      C4[ 220, 18 ] = BGCG(MSY( 5, 22, 5, 11); K1;{2, 3})    with connection graph  [K_11]

      C4[ 240, 14 ] = PS( 24, 20; 3)    with connection graph  [C_12]

      C4[ 240, 15 ] = MPS( 24, 20; 3)    with connection graph  [C_12]

      C4[ 240, 42 ] = PL(MC3( 4, 30, 1, 19, 7, 10, 1), [10^12, 12^10])    with connection graph  [C_12]

      C4[ 240, 46 ] = PL(MC3( 8, 15, 1, 4, 7, 10, 1), [10^12, 24^5])    with connection graph  [C_12]

      C4[ 240, 95 ] = UG(ATD[240,157])    with connection graph  [DK_12]

      C4[ 240, 160 ] = BGCG(UG(ATD[60,16]); K2;{8, 9, 10, 11})    with connection graph  [DK_12]

      C4[ 240, 161 ] = BGCG(UG(ATD[60,16]); K2;{12, 13, 14, 15})    with connection graph  [B(K_6)]

      C4[ 240, 162 ] = BGCG(UG(ATD[60,16]); K2;{16, 17})    with connection graph  [B(K_6)]

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

      C4[ 240, 167 ] = BGCG(UG(ATD[120,10]); K1;{20, 21})    with connection graph  [B(K_6)]

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

      C4[ 240, 174 ] = BGCG(UG(ATD[120,54]); K1;{3, 6})    with connection graph  [B(K_6)]

      C4[ 240, 176 ] = BGCG(UG(ATD[120,54]); K1;{13, 15})    with connection graph  [B(K_6)]

      C4[ 240, 177 ] = BGCG(UG(ATD[120,55]); K1;{2, 6})    with connection graph  [DK_12]

      C4[ 240, 178 ] = BGCG(UG(ATD[120,55]); K1;{5, 7})    with connection graph  [B(K_6)]

      C4[ 240, 178 ] = BGCG(UG(ATD[120,55]); K1;{5, 7})    with connection graph  [DK_12]

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

      C4[ 240, 181 ] = SS[240, 2]    with connection graph  [W( 6, 2)]

      C4[ 280, 10 ] = PS( 28, 20; 3)    with connection graph  [C_14]

      C4[ 280, 11 ] = MPS( 28, 20; 3)    with connection graph  [C_14]

      C4[ 280, 21 ] = PL(MC3( 4, 35, 1, 29, 8, 5, 1), [10^14, 28^5])    with connection graph  [C_14]

      C4[ 280, 25 ] = PL(Br( 14, 10; 3))    with connection graph  [C_14]

      C4[ 320, 14 ] = PS( 32, 20; 3)    with connection graph  [C_16]

      C4[ 320, 15 ] = MPS( 32, 20; 3)    with connection graph  [C_16]

      C4[ 320, 53 ] = PL(MC3( 4, 40, 1, 9, 17, 30, 1), [10^16, 16^10])    with connection graph  [C_16]

      C4[ 320, 56 ] = PL(MC3( 32, 5, 1, 4, 2, 0, 1), [10^16, 32^5])    with connection graph  [C_16]

      C4[ 320, 179 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K2;4)    with connection graph  [CV = 16, Cdeg = 10]

      C4[ 320, 180 ] = BGCG(UG(Cmap(160,9){8,4|5}_10); K2;5)    with connection graph  [CV = 16, Cdeg = 5]

      C4[ 320, 189 ] = BGCG(UG(ATD[160,19]); K1;1)    with connection graph  [CV = 16, Cdeg = 10]

      C4[ 320, 190 ] = BGCG(UG(ATD[160,19]); K1;3)    with connection graph  [CV = 16, Cdeg = 5]

      C4[ 320, 191 ] = BGCG(UG(ATD[160,19]); K1;4)    with connection graph  [CV = 16, Cdeg = 10]

      C4[ 320, 197 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;1)    with connection graph  [CV = 16, Cdeg = 5]

      C4[ 320, 198 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;3)    with connection graph  [CV = 16, Cdeg = 5]

      C4[ 320, 199 ] = BGCG(UG(Cmap(320,21){8,4|10}_20); K1;4)    with connection graph  [CV = 16, Cdeg = 5]

      C4[ 320, 201 ] = BGCG(UG(Cmap(320,26){8,4|5}_20); K1;3)    with connection graph  [CV = 16, Cdeg = 5]

      C4[ 320, 210 ] = SS[320, 19]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 320, 214 ] = SS[320, 23]    with connection graph  [W( 8, 2)]

      C4[ 320, 215 ] = SS[320, 24]    with connection graph  [{4, 4}_ 4, 0]

      C4[ 320, 216 ] = SS[320, 25]    with connection graph  [W( 8, 2)]

      C4[ 320, 223 ] = SS[320, 35]    with connection graph  [CV = 16, Cdeg = 10]

      C4[ 360, 16 ] = PS( 36, 20; 3)    with connection graph  [C_18]

      C4[ 360, 17 ] = MPS( 36, 20; 3)    with connection graph  [C_18]

      C4[ 360, 45 ] = PL(MC3( 4, 45, 1, 19, 28, 25, 1), [10^18, 36^5])    with connection graph  [C_18]

      C4[ 360, 62 ] = PL(Br( 18, 10; 3))    with connection graph  [C_18]

      C4[ 360, 184 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 9)    with connection graph  [CV = 18, Cdeg = 10]

      C4[ 360, 185 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 10)    with connection graph  [CV = 18, Cdeg = 10]

      C4[ 360, 198 ] = BGCG(MSZ ( 12, 15, 5, 2); K1;7)    with connection graph  [DW( 6, 3)]

      C4[ 360, 218 ] = SS[360, 9]    with connection graph  [DW( 6, 3)]

      C4[ 360, 219 ] = SS[360, 10]    with connection graph  [DW( 6, 3)]

      C4[ 360, 224 ] = SS[360, 15]    with connection graph  [W( 9, 2)]

      C4[ 400, 12 ] = PS( 40, 20; 3)    with connection graph  [C_20]

      C4[ 400, 13 ] = MPS( 40, 20; 3)    with connection graph  [C_20]

      C4[ 400, 39 ] = PL(MC3( 20, 10, 1, 9, 3, 0, 1), [10^20, 20^10])    with connection graph  [C_20]

      C4[ 400, 40 ] = PL(MC3( 40, 5, 1, 4, 2, 0, 1), [10^20, 40^5])    with connection graph  [C_20]

      C4[ 400, 82 ] = BGCG({4, 4}_ 10, 0; K2;{12, 14, 15, 16})    with connection graph  [K_10,10]

      C4[ 400, 90 ] = BGCG(PS( 10, 40; 9); K1;{13, 16})    with connection graph  [K_10,10]

      C4[ 400, 94 ] = BGCG(UG(ATD[200,11]); K1;1)    with connection graph  [K_10,10]

      C4[ 400, 97 ] = SS[400, 1]    with connection graph  [{4, 4}_ 4, 2]

      C4[ 400, 98 ] = SS[400, 2]    with connection graph  [{4, 4}_ 4, 2]

      C4[ 400, 104 ] = SS[400, 13]    with connection graph  [K_10,10]

      C4[ 420, 62 ] = SS[420, 1]    with connection graph  [CV = 21, Cdeg = 10]

      C4[ 420, 63 ] = SS[420, 2]    with connection graph  [CV = 21, Cdeg = 10]

      C4[ 440, 10 ] = PS( 44, 20; 3)    with connection graph  [C_22]

      C4[ 440, 11 ] = MPS( 44, 20; 3)    with connection graph  [C_22]

      C4[ 440, 34 ] = PL(MC3( 4, 55, 1, 34, 12, 20, 1), [10^22, 44^5])    with connection graph  [C_22]

      C4[ 440, 39 ] = PL(Br( 22, 10; 3))    with connection graph  [C_22]

      C4[ 440, 46 ] = BGCG(MSY( 5, 22, 5, 11); K2;{2, 3})    with connection graph  [CV = 22, Cdeg = 10]

      C4[ 480, 20 ] = PS( 48, 20; 3)    with connection graph  [C_24]

      C4[ 480, 21 ] = MPS( 48, 20; 3)    with connection graph  [C_24]

      C4[ 480, 93 ] = PL(MC3( 4, 60, 1, 49, 13, 10, 1), [10^24, 24^10])    with connection graph  [C_24]

      C4[ 480, 114 ] = PL(MC3( 16, 15, 1, 4, 7, 10, 1), [10^24, 48^5])    with connection graph  [C_24]

      C4[ 480, 428 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, {9, 10})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 443 ] = BGCG(UG(ATD[120,10]); K2;{16, 17, 18, 19})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 444 ] = BGCG(UG(ATD[120,10]); K2;{20, 21, 22, 23})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 446 ] = BGCG(UG(ATD[120,10]); K2;28)    with connection graph  [R_ 12( 8, 7)]

      C4[ 480, 451 ] = BGCG(UG(ATD[120,54]); K2;{12, 13, 14, 15})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 452 ] = BGCG(UG(ATD[120,55]); K2;{2, 5, 6, 7})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 453 ] = BGCG(UG(ATD[120,55]); K2;{12, 13, 14, 15})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 463 ] = BGCG(UG(ATD[240,33]); K1;4)    with connection graph  [W( 12, 2)]

      C4[ 480, 464 ] = BGCG(UG(ATD[240,33]); K1;6)    with connection graph  [R_ 12( 8, 7)]

      C4[ 480, 469 ] = BGCG(UG(ATD[240,118]); K1;{2, 5})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 474 ] = BGCG(UG(ATD[240,127]); K1;{2, 13})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 475 ] = BGCG(UG(ATD[240,127]); K1;{3, 6})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 477 ] = BGCG(UG(ATD[240,127]); K1;{9, 11})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 478 ] = BGCG(UG(ATD[240,127]); K1;{32, 34})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 479 ] = BGCG(UG(ATD[240,127]); K1;{33, 37})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 480 ] = BGCG(UG(ATD[240,127]); K1;{35, 39})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 494 ] = BGCG(UG(ATD[240,145]); K1;{18, 21})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 498 ] = BGCG(UG(ATD[240,150]); K1;{12, 14})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 502 ] = BGCG(UG(ATD[240,154]); K1;{16, 19})    with connection graph  [CV = 24, Cdeg = 5]

      C4[ 480, 512 ] = BGCG(UG(ATD[240,157]); K1;{8, 11})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 515 ] = BGCG(UG(ATD[240,157]); K1;{16, 17})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 519 ] = BGCG(UG(ATD[240,159]); K1;{12, 13})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 521 ] = BGCG(UG(ATD[240,159]); K1;{16, 18})    with connection graph  [CV = 24, Cdeg = 10]

      C4[ 480, 529 ] = SS[480, 3]    with connection graph  [W( 12, 2)]

      C4[ 480, 530 ] = SS[480, 4]    with connection graph  [W( 12, 2)]

      C4[ 480, 531 ] = SS[480, 5]    with connection graph  [R_ 12( 8, 7)]

      C4[ 480, 532 ] = SS[480, 6]    with connection graph  [R_ 12( 8, 7)]

      C4[ 480, 533 ] = SS[480, 7]    with connection graph  [W( 12, 2)]

      C4[ 500, 33 ] = UG(ATD[500,41])    with connection graph  [CV = 25, Cdeg = 20]

Aut-Orbital graphs of this one:

      C4[ 5, 1 ] = K5

      C4[ 10, 2 ] = C_ 10(1, 3)