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

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

Graphs which cover this one

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

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

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

     2-fold covered by C4[ 64, 16 ] = SDD({4, 4}_ 4, 0)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     4-fold covered by C4[ 128, 51 ] = BGCG({4, 4}_ 8, 0; K1;{17, 19})

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

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

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

     4-fold covered by C4[ 128, 55 ] = SS[128, 16]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     6-fold covered by C4[ 192, 132 ] = XI(Rmap(96,17){6,6|3}_8)

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

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

     6-fold covered by C4[ 192, 154 ] = BGCG(PX( 6, 3); K2;{1, 5})

     6-fold covered by C4[ 192, 162 ] = BGCG(KE_24(1,11,8,3,7); K1;{1, 5})

     6-fold covered by C4[ 192, 169 ] = BGCG(UG(ATD[96,48]); K1;{8, 9})

     6-fold covered by C4[ 192, 170 ] = BGCG(UG(ATD[96,48]); K1;{10, 11})

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 256, 137 ] = BGCG(PX( 8, 4); K1;{5, 14})

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

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

     8-fold covered by C4[ 256, 141 ] = BGCG(UG(ATD[128,42]); K1;{9, 10})

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 256, 157 ] = SS[256, 16]

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

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

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

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

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

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

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

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

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

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

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

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

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

     8-fold covered by C4[ 256, 171 ] = SS[256, 37]

     8-fold covered by C4[ 256, 172 ] = SS[256, 38]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     12-fold covered by C4[ 384, 342 ] = PL(ATD[12,2]#ATD[32,4])

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

     12-fold covered by C4[ 384, 344 ] = PL(ATD[12,2]#ATD[32,8])

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

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

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

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

     12-fold covered by C4[ 384, 363 ] = XI(Rmap(192,26){6,6|6}_8)

     12-fold covered by C4[ 384, 376 ] = SDD(PS( 8, 24; 5))

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

     12-fold covered by C4[ 384, 378 ] = SDD({4, 4}_[ 8, 6])

     12-fold covered by C4[ 384, 379 ] = SDD({4, 4}_[ 12, 4])

     12-fold covered by C4[ 384, 380 ] = XI(Rmap(192,458){8,6|4}_12)

     12-fold covered by C4[ 384, 381 ] = XI(Rmap(192,459){8,6|4}_12)

     12-fold covered by C4[ 384, 389 ] = PL(CS(MPS( 4, 24; 5)[ 12^ 8], 1))

     12-fold covered by C4[ 384, 404 ] = BGCG(PX( 6, 3), C_ 4, {1, 2})

     12-fold covered by C4[ 384, 417 ] = SDD({4, 4}_< 10, 2>)

     12-fold covered by C4[ 384, 418 ] = SDD({4, 4}_< 14, 10>)

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

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

     12-fold covered by C4[ 384, 424 ] = SDD(MSY( 4, 24, 13, 4))

     12-fold covered by C4[ 384, 431 ] = BGCG(KE_24(1,11,8,3,7); K2;{1, 2, 4, 5})

     12-fold covered by C4[ 384, 442 ] = BGCG(UG(ATD[96,48]); K2;{1, 3, 5, 6})

     12-fold covered by C4[ 384, 444 ] = BGCG(UG(ATD[96,48]); K2;{8, 9, 10, 11})

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

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

     12-fold covered by C4[ 384, 449 ] = BGCG(MPS( 8, 48; 7); K1;{16, 17})

     12-fold covered by C4[ 384, 452 ] = BGCG(PX( 6, 5); K1;6)

     12-fold covered by C4[ 384, 454 ] = BGCG(PX( 6, 5); K1;11)

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

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

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

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

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

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

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

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

     12-fold covered by C4[ 384, 503 ] = BGCG(UG(ATD[192,138]); K1;3)

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

     12-fold covered by C4[ 384, 509 ] = BGCG(UG(ATD[192,151]); K1;{8, 12})

     12-fold covered by C4[ 384, 510 ] = BGCG(UG(ATD[192,151]); K1;{9, 10})

     12-fold covered by C4[ 384, 511 ] = BGCG(UG(ATD[192,151]); K1;{11, 15})

     12-fold covered by C4[ 384, 518 ] = BGCG(UG(ATD[192,158]); K1;1)

     12-fold covered by C4[ 384, 519 ] = BGCG(UG(ATD[192,158]); K1;2)

     12-fold covered by C4[ 384, 521 ] = BGCG(UG(ATD[192,158]); K1;5)

     12-fold covered by C4[ 384, 522 ] = BGCG(UG(ATD[192,158]); K1;7)

     12-fold covered by C4[ 384, 536 ] = BGCG(UG(ATD[192,207]); K1;1)

     12-fold covered by C4[ 384, 537 ] = BGCG(UG(ATD[192,208]); K1;4)

     12-fold covered by C4[ 384, 538 ] = BGCG(UG(ATD[192,209]); K1;4)

     12-fold covered by C4[ 384, 539 ] = BGCG(UG(ATD[192,209]); K1;5)

     12-fold covered by C4[ 384, 540 ] = BGCG(UG(ATD[192,210]); K1;2)

     12-fold covered by C4[ 384, 541 ] = BGCG(UG(ATD[192,210]); K1;3)

     13-fold covered by C4[ 416, 27 ] = PL(MSY( 26, 8, 3, 0))

     13-fold covered by C4[ 416, 32 ] = PL(MC3( 4, 52, 1, 25, 31, 26, 1), [8^26, 26^8])

     13-fold covered by C4[ 416, 34 ] = PL(MC3( 26, 8, 1, 5, 3, 0, 1), [4^52, 26^8])

     13-fold covered by C4[ 416, 48 ] = PL(ATD[8,2]#ATD[26,1])

     13-fold covered by C4[ 416, 59 ] = SS[416, 3]

     13-fold covered by C4[ 416, 60 ] = SS[416, 4]

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

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

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

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

     14-fold covered by C4[ 448, 39 ] = PL(LoPr_ 56( 1, 28, 2, 28, 1), [4^56, 56^4])

     14-fold covered by C4[ 448, 40 ] = PL(LoPr_ 56( 1, 28, 2, 28, 13), [4^56, 56^4])

     14-fold covered by C4[ 448, 41 ] = PL(LoPr_ 56( 7, 4, 14, 4, 7), [8^28, 28^8])

     14-fold covered by C4[ 448, 42 ] = PL(LoPr_ 56( 7, 8, 14, 8, 7), [8^28, 14^16])

     14-fold covered by C4[ 448, 43 ] = PL(LoPr_ 56( 7, 4, 14, 4, 21), [8^28, 28^8])

     14-fold covered by C4[ 448, 44 ] = PL(LoPr_ 56( 7, 8, 14, 8, 21), [8^28, 14^16])

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

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

     14-fold covered by C4[ 448, 50 ] = PL(Curtain_56(1,16,1,14,30),[4^56,14^16])

     14-fold covered by C4[ 448, 54 ] = PL(Curtain_56(1,28,11,26,54),[4^56,112^2])

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

     14-fold covered by C4[ 448, 59 ] = PL(BC_112({ 0, 56 }, { 1, 27 })

     14-fold covered by C4[ 448, 90 ] = SDD({4, 4}_[ 14, 4])

     14-fold covered by C4[ 448, 93 ] = SDD({4, 4}_< 16, 12>)

     15-fold covered by C4[ 480, 67 ] = PL(MSY( 6, 40, 11, 0))

     15-fold covered by C4[ 480, 69 ] = PL(MSY( 6, 40, 19, 0))

     15-fold covered by C4[ 480, 75 ] = PL(MSY( 10, 24, 11, 0))

     15-fold covered by C4[ 480, 77 ] = PL(MSY( 10, 24, 5, 0))

     15-fold covered by C4[ 480, 84 ] = PL(MSY( 30, 8, 3, 0))

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

     15-fold covered by C4[ 480, 92 ] = PL(MC3( 4, 60, 1, 29, 11, 30, 1), [8^30, 30^8])

     15-fold covered by C4[ 480, 97 ] = PL(MC3( 6, 40, 1, 29, 11, 0, 1), [6^40, 20^12])

     15-fold covered by C4[ 480, 98 ] = PL(MC3( 6, 40, 1, 21, 11, 8, 1), [4^60, 30^8])

     15-fold covered by C4[ 480, 99 ] = PL(MC3( 6, 40, 1, 9, 11, 20, 1), [10^24, 12^20])

     15-fold covered by C4[ 480, 105 ] = PL(MC3( 6, 40, 1, 11, 29, 0, 1), [6^40, 8^30])

     15-fold covered by C4[ 480, 107 ] = PL(MC3( 10, 24, 1, 19, 5, 0, 1), [8^30, 10^24])

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

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

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

     15-fold covered by C4[ 480, 122 ] = PL(LoPr_ 60( 5, 12, 10, 12, 5), [10^24, 12^20])

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

     15-fold covered by C4[ 480, 290 ] = PL(ATD[8,2]#ATD[30,2])

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

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

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

     15-fold covered by C4[ 480, 529 ] = SS[480, 3]

     15-fold covered by C4[ 480, 530 ] = SS[480, 4]

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

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

     16-fold covered by C4[ 512, 42 ] = PL(LoPr_ 64( 1, 32, 2, 32, 1), [4^64, 64^4])

     16-fold covered by C4[ 512, 43 ] = PL(LoPr_ 64( 1, 32, 14, 32, 1), [4^64, 64^4])

     16-fold covered by C4[ 512, 44 ] = PL(LoPr_ 64( 1, 32, 2, 32, 15), [4^64, 64^4])

     16-fold covered by C4[ 512, 45 ] = PL(LoPr_ 64( 1, 32, 14, 32, 15), [4^64, 64^4])

     16-fold covered by C4[ 512, 48 ] = PL(Curtain_64(1,32,2,17,34),[4^64,16^16])

     16-fold covered by C4[ 512, 54 ] = PL(RC( 8, 4), [4^64, 8^32])

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

     16-fold covered by C4[ 512, 56 ] = PL(SoP( 8, 16))

     16-fold covered by C4[ 512, 57 ] = PL(SoP( 16, 8))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 401 ] = SDD({4, 4}_< 12, 4>)

     16-fold covered by C4[ 512, 402 ] = SDD({4, 4}_[ 16, 4])

     16-fold covered by C4[ 512, 403 ] = SDD({4, 4}_< 18, 14>)

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 416 ] = BGCG(UG(ATD[128,54]); K2;{12, 13, 14, 16})

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 431 ] = BGCG({4, 4}_ 16, 0; K1;{25, 29})

     16-fold covered by C4[ 512, 432 ] = BGCG({4, 4}_ 16, 0; K1;{30, 33})

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

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

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

     16-fold covered by C4[ 512, 436 ] = BGCG(KE_64(1,31,2,35,1); K1;{2, 3})

     16-fold covered by C4[ 512, 438 ] = BGCG(UG(ATD[256,73]); K1;{8, 9, 10, 11})

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

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

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

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

     16-fold covered by C4[ 512, 445 ] = BGCG(UG(ATD[256,109]); K1;{1, 4, 6, 7})

     16-fold covered by C4[ 512, 446 ] = BGCG(UG(ATD[256,109]); K1;{9, 11})

     16-fold covered by C4[ 512, 447 ] = BGCG(UG(ATD[256,123]); K1;{16, 21, 22, 23})

     16-fold covered by C4[ 512, 448 ] = BGCG(UG(ATD[256,123]); K1;{17, 18})

     16-fold covered by C4[ 512, 449 ] = BGCG(UG(ATD[256,123]); K1;{19, 20})

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

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

     16-fold covered by C4[ 512, 453 ] = BGCG(UG(ATD[256,128]); K1;{18, 25})

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

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

     16-fold covered by C4[ 512, 456 ] = BGCG(UG(ATD[256,137]); K1;{29, 31, 33, 35})

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 468 ] = BGCG(UG(ATD[256,167]); K1;{6, 10})

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

     16-fold covered by C4[ 512, 470 ] = BGCG(UG(ATD[256,167]); K1;{22, 32, 46, 56})

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 488 ] = BGCG(UG(ATD[256,188]); K1;1)

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

     16-fold covered by C4[ 512, 490 ] = BGCG(UG(ATD[256,188]); K1;7)

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 504 ] = SS[512, 5]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 531 ] = SS[512, 64]

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

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

     16-fold covered by C4[ 512, 534 ] = SS[512, 67]

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 544 ] = SS[512, 77]

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

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

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

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

     16-fold covered by C4[ 512, 550 ] = SS[512, 83]

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

     16-fold covered by C4[ 512, 552 ] = SS[512, 85]

     16-fold covered by C4[ 512, 553 ] = SS[512, 88]

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

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

     16-fold covered by C4[ 512, 556 ] = SS[512, 91]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 512, 619 ] = SS[512, 173]

     16-fold covered by C4[ 512, 620 ] = SS[512, 174]

     16-fold covered by C4[ 512, 621 ] = SS[512, 175]

     16-fold covered by C4[ 512, 622 ] = SS[512, 176]

     16-fold covered by C4[ 512, 623 ] = SS[512, 177]

     16-fold covered by C4[ 512, 624 ] = SS[512, 178]

     16-fold covered by C4[ 512, 625 ] = SS[512, 179]

     16-fold covered by C4[ 512, 626 ] = SS[512, 180]

     16-fold covered by C4[ 512, 627 ] = SS[512, 181]

     16-fold covered by C4[ 512, 630 ] = SS[512, 184]

     16-fold covered by C4[ 512, 631 ] = SS[512, 185]

     16-fold covered by C4[ 512, 632 ] = SS[512, 186]

     16-fold covered by C4[ 512, 633 ] = SS[512, 187]

     16-fold covered by C4[ 512, 634 ] = SS[512, 188]

     16-fold covered by C4[ 512, 635 ] = SS[512, 189]

     16-fold covered by C4[ 512, 636 ] = SS[512, 190]

     16-fold covered by C4[ 512, 637 ] = SS[512, 191]

     16-fold covered by C4[ 512, 638 ] = SS[512, 192]

     16-fold covered by C4[ 512, 639 ] = SS[512, 193]

     16-fold covered by C4[ 512, 640 ] = SS[512, 194]

     16-fold covered by C4[ 512, 641 ] = SS[512, 195]

     16-fold covered by C4[ 512, 642 ] = SS[512, 196]

     16-fold covered by C4[ 512, 643 ] = SS[512, 197]

     16-fold covered by C4[ 512, 644 ] = SS[512, 198]

     16-fold covered by C4[ 512, 645 ] = SS[512, 199]

     16-fold covered by C4[ 512, 646 ] = SS[512, 200]

     16-fold covered by C4[ 512, 647 ] = SS[512, 201]

     16-fold covered by C4[ 512, 648 ] = SS[512, 202]

     16-fold covered by C4[ 512, 649 ] = SS[512, 203]

     16-fold covered by C4[ 512, 650 ] = SS[512, 204]

     16-fold covered by C4[ 512, 651 ] = SS[512, 205]

     16-fold covered by C4[ 512, 652 ] = SS[512, 206]

     16-fold covered by C4[ 512, 653 ] = SS[512, 207]

     16-fold covered by C4[ 512, 654 ] = SS[512, 208]

     16-fold covered by C4[ 512, 655 ] = SS[512, 209]

     16-fold covered by C4[ 512, 656 ] = SS[512, 210]

     16-fold covered by C4[ 512, 657 ] = SS[512, 211]

     16-fold covered by C4[ 512, 658 ] = SS[512, 212]

     16-fold covered by C4[ 512, 659 ] = SS[512, 213]

     16-fold covered by C4[ 512, 660 ] = SS[512, 214]

     16-fold covered by C4[ 512, 661 ] = SS[512, 215]

     16-fold covered by C4[ 512, 662 ] = SS[512, 216]

     16-fold covered by C4[ 512, 663 ] = SS[512, 217]

     16-fold covered by C4[ 512, 664 ] = SS[512, 218]