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

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

Graphs which cover this one

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

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

     2-fold covered by C4[ 24, 4 ] = R_ 12( 8, 7)

     2-fold covered by C4[ 24, 7 ] = SDD(Octahedron)

     3-fold covered by C4[ 36, 2 ] = DW( 12, 3)

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

     4-fold covered by C4[ 48, 3 ] = C_ 48(1, 17)

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

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

     4-fold covered by C4[ 48, 7 ] = R_ 24( 20, 7)

     4-fold covered by C4[ 48, 8 ] = R_ 24( 8, 19)

     4-fold covered by C4[ 48, 9 ] = PX( 6, 3)

     4-fold covered by C4[ 48, 10 ] = PL(WH_ 8( 2, 0, 1, 5), [3^8, 4^6])

     4-fold covered by C4[ 48, 11 ] = PL(WH_ 8( 2, 1, 4, 5), [4^6, 6^4])

     4-fold covered by C4[ 48, 12 ] = KE_12(1,7,4,9,1)

     4-fold covered by C4[ 48, 13 ] = PL(Curtain_6(1,3,2,4,5),[4^6,8^3])

     4-fold covered by C4[ 48, 15 ] = SDD(R_ 6( 5, 4))

     5-fold covered by C4[ 60, 3 ] = C_ 60(1, 19)

     5-fold covered by C4[ 60, 4 ] = {4, 4}_< 8, 2>

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

     6-fold covered by C4[ 72, 2 ] = C_ 72(1, 17)

     6-fold covered by C4[ 72, 3 ] = C_ 72(1, 19)

     6-fold covered by C4[ 72, 4 ] = DW( 24, 3)

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

     6-fold covered by C4[ 72, 15 ] = PL(WH_ 12( 2, 0, 1, 5), [3^12, 6^6])

     6-fold covered by C4[ 72, 21 ] = UG(ATD[72,13])

     6-fold covered by C4[ 72, 22 ] = PL(ATD[6,1]#DCyc[3])

     6-fold covered by C4[ 72, 25 ] = PL(CS(DW( 3, 3)[ 6^ 3], 1))

     7-fold covered by C4[ 84, 3 ] = C_ 84(1, 29)

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

     7-fold covered by C4[ 84, 6 ] = PS( 3, 28; 3)

     8-fold covered by C4[ 96, 2 ] = C_ 96(1, 17)

     8-fold covered by C4[ 96, 3 ] = C_ 96(1, 31)

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

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

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

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

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

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

     8-fold covered by C4[ 96, 12 ] = R_ 48( 38, 13)

     8-fold covered by C4[ 96, 14 ] = PX( 6, 4)

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

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

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

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

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

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

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

     8-fold covered by C4[ 96, 23 ] = KE_24(1,13,10,21,1)

     8-fold covered by C4[ 96, 24 ] = KE_24(1,13,4,21,5)

     8-fold covered by C4[ 96, 25 ] = KE_24(1,9,8,5,5)

     8-fold covered by C4[ 96, 26 ] = KE_24(1,1,4,21,7)

     8-fold covered by C4[ 96, 27 ] = KE_24(1,11,8,3,7)

     8-fold covered by C4[ 96, 28 ] = KE_24(1,11,2,3,11)

     8-fold covered by C4[ 96, 29 ] = PL(Curtain_12(1,6,1,5,11),[4^12,4^12])

     8-fold covered by C4[ 96, 31 ] = PL(Curtain_12(1,6,5,7,11),[4^12,8^6])

     8-fold covered by C4[ 96, 32 ] = AMC( 6, 8, [ 5. 5: 5. 2])

     8-fold covered by C4[ 96, 33 ] = PL(ProjLR(3,4))

     8-fold covered by C4[ 96, 34 ] = PL(PLR2'(3)

     8-fold covered by C4[ 96, 35 ] = UG(ATD[96,4])

     8-fold covered by C4[ 96, 38 ] = UG(ATD[96,48])

     8-fold covered by C4[ 96, 39 ] = UG(ATD[96,55])

     8-fold covered by C4[ 96, 40 ] = UG(ATD[96,61])

     8-fold covered by C4[ 96, 41 ] = XI(Rmap(48,7){4,6|4}_12)

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

     8-fold covered by C4[ 96, 45 ] = PL(CS(W( 6, 2)[ 6^ 4], 0))

     8-fold covered by C4[ 96, 46 ] = PL(CS(W( 6, 2)[ 6^ 4], 1))

     8-fold covered by C4[ 96, 47 ] = PL(CS(R_ 6( 5, 4)[ 6^ 4], 0))

     8-fold covered by C4[ 96, 48 ] = PL(CS(R_ 6( 5, 4)[ 6^ 4], 1))

     8-fold covered by C4[ 96, 49 ] = PL(CS(R_ 6( 5, 4)[ 3^ 8], 1))

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

     8-fold covered by C4[ 96, 51 ] = SDD(R_ 12( 11, 4))

     8-fold covered by C4[ 96, 52 ] = SDD(R_ 12( 5, 10))

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

     8-fold covered by C4[ 96, 54 ] = SS[ 96, 14]

     8-fold covered by C4[ 96, 55 ] = SS[ 96, 15]

     8-fold covered by C4[ 96, 56 ] = SS[ 96, 21]

     8-fold covered by C4[ 96, 57 ] = SS[ 96, 22]

     9-fold covered by C4[ 108, 2 ] = DW( 36, 3)

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

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

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

     9-fold covered by C4[ 108, 6 ] = PS( 3, 36; 11)

     9-fold covered by C4[ 108, 7 ] = PS( 6, 36; 5)

     9-fold covered by C4[ 108, 11 ] = AMC( 12, 3, [ 0. 1: 2. 2])

     9-fold covered by C4[ 108, 17 ] = UG(ATD[108,14])

     9-fold covered by C4[ 108, 23 ] = XI(Rmap(54,6){6,6|6}_6)

     10-fold covered by C4[ 120, 3 ] = C_120(1, 19)

     10-fold covered by C4[ 120, 4 ] = C_120(1, 29)

     10-fold covered by C4[ 120, 5 ] = C_120(1, 31)

     10-fold covered by C4[ 120, 6 ] = C_120(1, 41)

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

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

     10-fold covered by C4[ 120, 13 ] = PS( 10, 24; 7)

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

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

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

     10-fold covered by C4[ 120, 21 ] = PL(MSY( 4, 15, 11, 0))

     10-fold covered by C4[ 120, 22 ] = PL(MC3( 4, 15, 1, 14, 4, 0, 1), [4^15, 30^2])

     10-fold covered by C4[ 120, 26 ] = PL(WH_ 20( 2, 0, 3, 7), [3^20, 10^6])

     10-fold covered by C4[ 120, 27 ] = KE_30(1,3,10,13,11)

     10-fold covered by C4[ 120, 28 ] = PL(Curtain_15(1,4,11,14,15),[4^15,10^6])

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

     10-fold covered by C4[ 120, 32 ] = PL(BC_30({ 0, 15 }, { 1, 4 })

     10-fold covered by C4[ 120, 53 ] = SDD(C_ 30(1, 11))

     11-fold covered by C4[ 132, 3 ] = C_132(1, 43)

     11-fold covered by C4[ 132, 4 ] = {4, 4}_< 14, 8>

     12-fold covered by C4[ 144, 2 ] = C_144(1, 17)

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

     12-fold covered by C4[ 144, 4 ] = DW( 48, 3)

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

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

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

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

     12-fold covered by C4[ 144, 11 ] = MPS( 12, 24; 5)

     12-fold covered by C4[ 144, 15 ] = R_ 72( 56, 19)

     12-fold covered by C4[ 144, 16 ] = R_ 72( 20, 55)

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

     12-fold covered by C4[ 144, 21 ] = PL(MC3( 6, 12, 1, 7, 5, 0, 1), [4^18, 6^12])

     12-fold covered by C4[ 144, 22 ] = PL(MC3( 6, 12, 1, 7, 5, 6, 1), [4^18, 12^6])

     12-fold covered by C4[ 144, 25 ] = KE_36(1,19,16,33,1)

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

     12-fold covered by C4[ 144, 38 ] = UG(ATD[144,36])

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

     12-fold covered by C4[ 144, 40 ] = UG(ATD[144,69])

     12-fold covered by C4[ 144, 41 ] = UG(ATD[144,72])

     12-fold covered by C4[ 144, 42 ] = UG(ATD[144,77])

     12-fold covered by C4[ 144, 43 ] = UG(ATD[144,82])

     12-fold covered by C4[ 144, 44 ] = PL(ATD[9,1]#ATD[12,4])

     12-fold covered by C4[ 144, 45 ] = PL(ATD[12,1]#DCyc[3])

     12-fold covered by C4[ 144, 47 ] = SDD(Pr_ 12( 1, 1, 5, 5))

     12-fold covered by C4[ 144, 50 ] = SDD(DW( 12, 3))

     12-fold covered by C4[ 144, 53 ] = PL(CSI(Octahedron[ 3^ 4], 6))

     12-fold covered by C4[ 144, 54 ] = PL(CSI(W( 6, 2)[ 6^ 4], 3))

     12-fold covered by C4[ 144, 55 ] = PL(CS(W( 9, 2)[ 9^ 4], 0))

     12-fold covered by C4[ 144, 56 ] = PL(CS(W( 9, 2)[ 9^ 4], 1))

     12-fold covered by C4[ 144, 60 ] = BGCG(R_ 12( 8, 7), C_ 3, {7, 8})

     13-fold covered by C4[ 156, 3 ] = C_156(1, 53)

     13-fold covered by C4[ 156, 4 ] = {4, 4}_< 16, 10>

     13-fold covered by C4[ 156, 8 ] = PS( 3, 52; 9)

     13-fold covered by C4[ 156, 9 ] = PS( 6, 52; 3)

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

     14-fold covered by C4[ 168, 3 ] = C_168(1, 29)

     14-fold covered by C4[ 168, 4 ] = C_168(1, 41)

     14-fold covered by C4[ 168, 5 ] = C_168(1, 43)

     14-fold covered by C4[ 168, 6 ] = C_168(1, 55)

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

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

     14-fold covered by C4[ 168, 11 ] = PS( 14, 24; 7)

     14-fold covered by C4[ 168, 12 ] = PS( 12, 28; 3)

     14-fold covered by C4[ 168, 14 ] = PS( 3, 56; 9)

     14-fold covered by C4[ 168, 15 ] = PS( 6, 56; 3)

     14-fold covered by C4[ 168, 16 ] = PS( 6, 56; 5)

     14-fold covered by C4[ 168, 22 ] = PL(MSY( 4, 21, 13, 0))

     14-fold covered by C4[ 168, 23 ] = PL(MC3( 4, 21, 1, 20, 8, 0, 1), [4^21, 42^2])

     14-fold covered by C4[ 168, 28 ] = PL(WH_ 28( 2, 0, 5, 9), [3^28, 14^6])

     14-fold covered by C4[ 168, 29 ] = KE_42(1,17,14,3,13)

     14-fold covered by C4[ 168, 31 ] = PL(Curtain_21(1,9,1,2,14),[4^21,14^6])

     14-fold covered by C4[ 168, 33 ] = PL(BC_42({ 0, 21 }, { 1, 34 })

     14-fold covered by C4[ 168, 35 ] = UG(ATD[168,3])

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

     15-fold covered by C4[ 180, 2 ] = C_180(1, 19)

     15-fold covered by C4[ 180, 4 ] = DW( 60, 3)

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

     15-fold covered by C4[ 180, 7 ] = {4, 4}_[ 15, 6]

     15-fold covered by C4[ 180, 8 ] = {4, 4}_< 18, 12>

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

     15-fold covered by C4[ 180, 11 ] = PS( 12, 15; 4)

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

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

     15-fold covered by C4[ 180, 17 ] = PL(MC3( 6, 15, 1, 4, 11, 0, 1), [6^15, 10^9])

     16-fold covered by C4[ 192, 2 ] = C_192(1, 31)

     16-fold covered by C4[ 192, 3 ] = C_192(1, 65)

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

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 192, 20 ] = R_ 96( 74, 25)

     16-fold covered by C4[ 192, 23 ] = PX( 6, 5)

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 192, 35 ] = MSY( 4, 48, 13, 4)

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

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 192, 49 ] = KE_48(1,25,22,45,1)

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

     16-fold covered by C4[ 192, 51 ] = KE_48(1,27,16,19,7)

     16-fold covered by C4[ 192, 52 ] = KE_48(1,25,10,45,11)

     16-fold covered by C4[ 192, 53 ] = KE_48(1,11,8,3,17)

     16-fold covered by C4[ 192, 54 ] = KE_48(1,3,16,19,17)

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 192, 66 ] = PL(Curtain_24(1,12,5,7,17),[4^24,16^6])

     16-fold covered by C4[ 192, 67 ] = PL(Curtain_24(1,12,7,11,23),[4^24,16^6])

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

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

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

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

     16-fold covered by C4[ 192, 73 ] = PL(Proj2LR'(3))

     16-fold covered by C4[ 192, 74 ] = UG(ATD[192,1])

     16-fold covered by C4[ 192, 75 ] = UG(ATD[192,3])

     16-fold covered by C4[ 192, 76 ] = UG(ATD[192,5])

     16-fold covered by C4[ 192, 77 ] = UG(ATD[192,7])

     16-fold covered by C4[ 192, 78 ] = UG(ATD[192,11])

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

     16-fold covered by C4[ 192, 81 ] = UG(ATD[192,19])

     16-fold covered by C4[ 192, 82 ] = UG(ATD[192,20])

     16-fold covered by C4[ 192, 83 ] = UG(ATD[192,26])

     16-fold covered by C4[ 192, 84 ] = UG(ATD[192,32])

     16-fold covered by C4[ 192, 85 ] = UG(ATD[192,35])

     16-fold covered by C4[ 192, 86 ] = UG(ATD[192,38])

     16-fold covered by C4[ 192, 87 ] = UG(ATD[192,41])

     16-fold covered by C4[ 192, 88 ] = UG(ATD[192,44])

     16-fold covered by C4[ 192, 89 ] = UG(ATD[192,47])

     16-fold covered by C4[ 192, 90 ] = UG(ATD[192,49])

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

     16-fold covered by C4[ 192, 92 ] = UG(ATD[192,52])

     16-fold covered by C4[ 192, 93 ] = UG(ATD[192,55])

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

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

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

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

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

     16-fold covered by C4[ 192, 100 ] = UG(ATD[192,141])

     16-fold covered by C4[ 192, 101 ] = UG(ATD[192,146])

     16-fold covered by C4[ 192, 102 ] = UG(ATD[192,151])

     16-fold covered by C4[ 192, 103 ] = UG(ATD[192,153])

     16-fold covered by C4[ 192, 104 ] = UG(ATD[192,155])

     16-fold covered by C4[ 192, 105 ] = UG(ATD[192,158])

     16-fold covered by C4[ 192, 106 ] = UG(ATD[192,161])

     16-fold covered by C4[ 192, 107 ] = UG(ATD[192,163])

     16-fold covered by C4[ 192, 108 ] = UG(ATD[192,165])

     16-fold covered by C4[ 192, 109 ] = UG(ATD[192,171])

     16-fold covered by C4[ 192, 110 ] = UG(ATD[192,177])

     16-fold covered by C4[ 192, 111 ] = UG(ATD[192,183])

     16-fold covered by C4[ 192, 112 ] = UG(ATD[192,186])

     16-fold covered by C4[ 192, 113 ] = UG(ATD[192,189])

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

     16-fold covered by C4[ 192, 115 ] = UG(ATD[192,195])

     16-fold covered by C4[ 192, 120 ] = UG(ATD[192,207])

     16-fold covered by C4[ 192, 121 ] = UG(ATD[192,208])

     16-fold covered by C4[ 192, 122 ] = UG(ATD[192,209])

     16-fold covered by C4[ 192, 123 ] = UG(ATD[192,210])

     16-fold covered by C4[ 192, 124 ] = PL(ATD[6,1]#ATD[24,7])

     16-fold covered by C4[ 192, 125 ] = PL(ATD[6,1]#ATD[24,9])

     16-fold covered by C4[ 192, 126 ] = PL(ATD[12,1]#DCyc[4])

     16-fold covered by C4[ 192, 127 ] = XI(Rmap(96,3){3,8|8}_12)

     16-fold covered by C4[ 192, 128 ] = SDD(AMC( 3, 8, [ 5. 5: 5. 2]))

     16-fold covered by C4[ 192, 129 ] = XI(Rmap(96,7){4,6|8}_24)

     16-fold covered by C4[ 192, 130 ] = SDD(PX( 6, 3))

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

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

     16-fold covered by C4[ 192, 135 ] = SDD(R_ 24( 8, 19))

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

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

     16-fold covered by C4[ 192, 138 ] = PL(CSI(Octahedron[ 3^ 4], 8))

     16-fold covered by C4[ 192, 139 ] = PL(CS(W( 12, 2)[ 12^ 4], 0))

     16-fold covered by C4[ 192, 140 ] = PL(CS(W( 12, 2)[ 12^ 4], 1))

     16-fold covered by C4[ 192, 141 ] = PL(CS(R_ 12( 8, 7)[ 6^ 8], 1))

     16-fold covered by C4[ 192, 142 ] = PL(CS(R_ 12( 11, 4)[ 12^ 4], 0))

     16-fold covered by C4[ 192, 143 ] = PL(CS(R_ 12( 11, 4)[ 12^ 4], 1))

     16-fold covered by C4[ 192, 144 ] = PL(CS(R_ 12( 11, 4)[ 3^ 16], 0))

     16-fold covered by C4[ 192, 145 ] = PL(CS(R_ 12( 11, 4)[ 3^ 16], 1))

     16-fold covered by C4[ 192, 146 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 0))

     16-fold covered by C4[ 192, 147 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 1))

     16-fold covered by C4[ 192, 148 ] = PL(CS(R_ 12( 5, 10)[ 6^ 8], 0))

     16-fold covered by C4[ 192, 149 ] = PL(CS(R_ 12( 5, 10)[ 6^ 8], 1))

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

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

     16-fold covered by C4[ 192, 152 ] = SDD(R_ 24( 20, 7))

     16-fold covered by C4[ 192, 153 ] = BGCG(R_ 24( 20, 7); K2;{8, 9})

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

     16-fold covered by C4[ 192, 155 ] = SDD(KE_12(1,7,4,9,1))

     16-fold covered by C4[ 192, 156 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]); K2;2)

     16-fold covered by C4[ 192, 157 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]); K2;4)

     16-fold covered by C4[ 192, 158 ] = BGCG(PX( 6, 4); K1;{3, 9})

     16-fold covered by C4[ 192, 159 ] = BGCG(KE_24(1,13,4,21,5); K1;{2, 3})

     16-fold covered by C4[ 192, 160 ] = BGCG(KE_24(1,13,4,21,5); K1;{6, 7})

     16-fold covered by C4[ 192, 161 ] = BGCG(KE_24(1,9,8,5,5); K1;3)

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

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

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

     16-fold covered by C4[ 192, 165 ] = BGCG(AMC( 6, 8, [ 5. 5: 5. 2]); K1;{7, 8})

     16-fold covered by C4[ 192, 166 ] = BGCG(UG(ATD[96,4]); K1;{2, 4})

     16-fold covered by C4[ 192, 167 ] = BGCG(UG(ATD[96,4]); K1;{3, 5})

     16-fold covered by C4[ 192, 168 ] = BGCG(UG(ATD[96,48]); K1;{1, 3})

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

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

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

     16-fold covered by C4[ 192, 172 ] = SS[192, 57]

     16-fold covered by C4[ 192, 173 ] = SS[192, 58]

     16-fold covered by C4[ 192, 174 ] = SS[192, 59]

     16-fold covered by C4[ 192, 175 ] = SS[192, 60]

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

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

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

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

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

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

     16-fold covered by C4[ 192, 182 ] = SS[192, 67]

     16-fold covered by C4[ 192, 183 ] = SS[192, 68]

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

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

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

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

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

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

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

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

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

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

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

     16-fold covered by C4[ 192, 195 ] = SS[192, 83]

     16-fold covered by C4[ 192, 196 ] = SS[192, 84]

     16-fold covered by C4[ 192, 197 ] = SS[192, 86]

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

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

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

     16-fold covered by C4[ 192, 201 ] = SS[192, 93]

     16-fold covered by C4[ 192, 202 ] = SS[192, 94]

     16-fold covered by C4[ 192, 203 ] = SS[192, 95]

     16-fold covered by C4[ 192, 204 ] = SS[192, 98]

     16-fold covered by C4[ 192, 205 ] = SS[192, 99]

     16-fold covered by C4[ 192, 206 ] = SS[192, 102]

     16-fold covered by C4[ 192, 207 ] = SS[192, 103]

     16-fold covered by C4[ 192, 208 ] = SS[192, 107]

     16-fold covered by C4[ 192, 209 ] = SS[192, 108]

     16-fold covered by C4[ 192, 210 ] = SS[192, 110]

     16-fold covered by C4[ 192, 211 ] = SS[192, 111]

     16-fold covered by C4[ 192, 212 ] = SS[192, 112]

     16-fold covered by C4[ 192, 213 ] = SS[192, 113]

     16-fold covered by C4[ 192, 214 ] = SS[192, 114]

     16-fold covered by C4[ 192, 215 ] = SS[192, 115]

     16-fold covered by C4[ 192, 216 ] = SS[192, 116]

     17-fold covered by C4[ 204, 3 ] = C_204(1, 67)

     17-fold covered by C4[ 204, 4 ] = {4, 4}_< 20, 14>

     17-fold covered by C4[ 204, 7 ] = PS( 4, 51; 4)

     18-fold covered by C4[ 216, 2 ] = C_216(1, 53)

     18-fold covered by C4[ 216, 3 ] = C_216(1, 55)

     18-fold covered by C4[ 216, 4 ] = DW( 72, 3)

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

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

     18-fold covered by C4[ 216, 7 ] = {4, 4}_[ 18, 6]

     18-fold covered by C4[ 216, 8 ] = {4, 4}_< 21, 15>

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

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

     18-fold covered by C4[ 216, 11 ] = PS( 18, 24; 7)

     18-fold covered by C4[ 216, 12 ] = PS( 12, 36; 5)

     18-fold covered by C4[ 216, 13 ] = MPS( 12, 36; 5)

     18-fold covered by C4[ 216, 14 ] = PS( 3, 72; 23)

     18-fold covered by C4[ 216, 15 ] = PS( 6, 72; 5)

     18-fold covered by C4[ 216, 16 ] = PS( 6, 72; 7)

     18-fold covered by C4[ 216, 17 ] = PS( 6, 72; 11)

     18-fold covered by C4[ 216, 24 ] = PL(WH_ 36( 2, 0, 7, 11), [3^36, 18^6])

     18-fold covered by C4[ 216, 28 ] = AMC( 24, 3, [ 0. 1: 2. 2])

     18-fold covered by C4[ 216, 31 ] = PL(ProjLR(3,6))

     18-fold covered by C4[ 216, 32 ] = PL(ProjLR(4,3))

     18-fold covered by C4[ 216, 33 ] = UG(ATD[216,1])

     18-fold covered by C4[ 216, 34 ] = UG(ATD[216,3])

     18-fold covered by C4[ 216, 35 ] = UG(ATD[216,5])

     18-fold covered by C4[ 216, 39 ] = UG(ATD[216,13])

     18-fold covered by C4[ 216, 40 ] = UG(ATD[216,15])

     18-fold covered by C4[ 216, 48 ] = UG(ATD[216,45])

     18-fold covered by C4[ 216, 49 ] = UG(ATD[216,51])

     18-fold covered by C4[ 216, 51 ] = UG(ATD[216,56])

     18-fold covered by C4[ 216, 53 ] = UG(ATD[216,62])

     18-fold covered by C4[ 216, 54 ] = UG(ATD[216,65])

     18-fold covered by C4[ 216, 55 ] = UG(ATD[216,68])

     18-fold covered by C4[ 216, 56 ] = UG(ATD[216,71])

     18-fold covered by C4[ 216, 64 ] = UG(ATD[216,117])

     18-fold covered by C4[ 216, 69 ] = PL(ATD[6,1]#DCyc[9])

     18-fold covered by C4[ 216, 72 ] = PL(ATD[18,2]#DCyc[3])

     18-fold covered by C4[ 216, 77 ] = SDD(DW( 18, 3))

     18-fold covered by C4[ 216, 78 ] = XI(Rmap(108,45){9,18|18}_12)

     18-fold covered by C4[ 216, 80 ] = BGCG(W( 6, 2), C_ 9, 3)

     18-fold covered by C4[ 216, 81 ] = PL(CSI(DW( 6, 3)[ 4^ 9], 3))

     18-fold covered by C4[ 216, 87 ] = BGCG({4, 4}_ 6, 0, C_ 3, {3, 5, 9, 10})

     18-fold covered by C4[ 216, 88 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 3, 1)

     18-fold covered by C4[ 216, 91 ] = BGCG(AMC( 12, 3, [ 0. 1: 2. 2]); K1;{1, 7})

     18-fold covered by C4[ 216, 92 ] = BGCG(AMC( 12, 3, [ 0. 1: 2. 2]); K1;{2, 4})

     18-fold covered by C4[ 216, 95 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K1;{1, 7})

     18-fold covered by C4[ 216, 96 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K1;3)

     18-fold covered by C4[ 216, 97 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K1;6)

     18-fold covered by C4[ 216, 98 ] = BGCG(UG(ATD[108,14]); K1;6)

     19-fold covered by C4[ 228, 3 ] = C_228(1, 77)

     19-fold covered by C4[ 228, 4 ] = {4, 4}_< 22, 16>

     19-fold covered by C4[ 228, 6 ] = PS( 3, 76; 27)

     19-fold covered by C4[ 228, 7 ] = PS( 6, 76; 7)

     20-fold covered by C4[ 240, 2 ] = C_240(1, 31)

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

     20-fold covered by C4[ 240, 6 ] = C_240(1, 79)

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

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

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

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

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

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

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

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

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

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

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

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

     20-fold covered by C4[ 240, 22 ] = MPS( 12, 40; 9)

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

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

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

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

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

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

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

     20-fold covered by C4[ 240, 31 ] = R_120( 92, 31)

     20-fold covered by C4[ 240, 32 ] = R_120( 32, 91)

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

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

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

     20-fold covered by C4[ 240, 38 ] = PL(MSY( 6, 20, 11, 10))

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

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

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

     20-fold covered by C4[ 240, 43 ] = PL(MC3( 6, 20, 1, 11, 9, 0, 1), [4^30, 6^20])

     20-fold covered by C4[ 240, 44 ] = PL(MC3( 6, 20, 1, 11, 9, 10, 1), [4^30, 12^10])

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

     20-fold covered by C4[ 240, 47 ] = PL(MC3( 10, 12, 1, 7, 5, 0, 1), [4^30, 10^12])

     20-fold covered by C4[ 240, 48 ] = PL(MC3( 10, 12, 1, 7, 5, 6, 1), [4^30, 20^6])

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

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

     20-fold covered by C4[ 240, 51 ] = KE_60(1,23,2,39,1)

     20-fold covered by C4[ 240, 52 ] = KE_60(1,31,28,57,1)

     20-fold covered by C4[ 240, 53 ] = KE_60(1,33,10,13,11)

     20-fold covered by C4[ 240, 54 ] = KE_60(1,27,20,17,11)

     20-fold covered by C4[ 240, 57 ] = KE_60(1,3,10,13,19)

     20-fold covered by C4[ 240, 58 ] = KE_60(1,23,20,3,19)

     20-fold covered by C4[ 240, 59 ] = PL(Curtain_30(1,4,11,14,30),[4^30,20^6])

     20-fold covered by C4[ 240, 62 ] = PL(Curtain_30(1,12,1,5,17),[4^30,10^12])

     20-fold covered by C4[ 240, 65 ] = PL(MBr( 2, 60; 11))

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

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

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

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

     20-fold covered by C4[ 240, 74 ] = UG(ATD[240,40])

     20-fold covered by C4[ 240, 76 ] = UG(ATD[240,105])

     20-fold covered by C4[ 240, 77 ] = UG(ATD[240,110])

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

     20-fold covered by C4[ 240, 105 ] = PL(ATD[12,1]#DCyc[5])

     20-fold covered by C4[ 240, 115 ] = XI(Rmap(120,39){20,6|4}_30)

     20-fold covered by C4[ 240, 116 ] = SDD(Pr_ 20( 1, 13, 17, 9))

     20-fold covered by C4[ 240, 117 ] = SDD(C_ 60(1, 19))

     20-fold covered by C4[ 240, 119 ] = SDD(C_ 60(1, 11))

     20-fold covered by C4[ 240, 120 ] = SDD({4, 4}_< 8, 2>)

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

     20-fold covered by C4[ 240, 125 ] = PL(CSI(W( 6, 2)[ 6^ 4], 5))

     20-fold covered by C4[ 240, 127 ] = PL(CS(W( 15, 2)[ 15^ 4], 0))

     20-fold covered by C4[ 240, 128 ] = PL(CS(W( 15, 2)[ 15^ 4], 1))

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

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

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

     21-fold covered by C4[ 252, 2 ] = C_252(1, 55)

     21-fold covered by C4[ 252, 4 ] = DW( 84, 3)

     21-fold covered by C4[ 252, 5 ] = {4, 4}_< 16, 2>

     21-fold covered by C4[ 252, 6 ] = {4, 4}_[ 21, 6]

     21-fold covered by C4[ 252, 7 ] = {4, 4}_< 24, 18>

     21-fold covered by C4[ 252, 9 ] = PS( 9, 28; 3)

     21-fold covered by C4[ 252, 10 ] = PS( 18, 28; 5)

     21-fold covered by C4[ 252, 11 ] = PS( 12, 21; 2)

     21-fold covered by C4[ 252, 12 ] = PS( 12, 21; 4)

     21-fold covered by C4[ 252, 13 ] = PS( 12, 21; 8)

     21-fold covered by C4[ 252, 14 ] = PS( 3, 84; 25)

     21-fold covered by C4[ 252, 15 ] = PS( 6, 84; 5)

     21-fold covered by C4[ 252, 17 ] = PS( 6, 84; 19)

     21-fold covered by C4[ 252, 20 ] = PL(MSY( 6, 21, 13, 0))

     21-fold covered by C4[ 252, 22 ] = PL(MC3( 6, 21, 1, 13, 8, 0, 1), [6^21, 14^9])

     22-fold covered by C4[ 264, 3 ] = C_264(1, 43)

     22-fold covered by C4[ 264, 4 ] = C_264(1, 65)

     22-fold covered by C4[ 264, 5 ] = C_264(1, 67)

     22-fold covered by C4[ 264, 6 ] = C_264(1, 89)

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

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

     22-fold covered by C4[ 264, 10 ] = PS( 22, 24; 7)

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

     22-fold covered by C4[ 264, 16 ] = PL(MC3( 4, 33, 1, 32, 10, 0, 1), [4^33, 66^2])

     22-fold covered by C4[ 264, 19 ] = PL(WH_ 44( 2, 0, 9, 13), [3^44, 22^6])

     22-fold covered by C4[ 264, 20 ] = KE_66(1,3,22,25,23)

     22-fold covered by C4[ 264, 21 ] = PL(Curtain_33(1,10,23,32,33),[4^33,22^6])

     22-fold covered by C4[ 264, 23 ] = PL(BC_66({ 0, 33 }, { 1, 10 })

     22-fold covered by C4[ 264, 25 ] = SDD(C_ 66(1, 23))

     23-fold covered by C4[ 276, 3 ] = C_276(1, 91)

     23-fold covered by C4[ 276, 4 ] = {4, 4}_< 26, 20>

     24-fold covered by C4[ 288, 2 ] = C_288(1, 17)

     24-fold covered by C4[ 288, 3 ] = C_288(1,127)

     24-fold covered by C4[ 288, 4 ] = DW( 96, 3)

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

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

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

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

     24-fold covered by C4[ 288, 10 ] = {4, 4}_< 27, 21>

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 288, 25 ] = R_144(110, 37)

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

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

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

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

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

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

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

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

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

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

     24-fold covered by C4[ 288, 41 ] = PL(MSZ ( 12, 12, 3, 5), [4^36, 12^12])

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

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

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

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

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

     24-fold covered by C4[ 288, 47 ] = PL(MC3( 6, 24, 1, 13, 11, 0, 1), [4^36, 6^24])

     24-fold covered by C4[ 288, 48 ] = PL(MC3( 6, 24, 1, 13, 11, 12, 1), [4^36, 12^12])

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

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

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

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

     24-fold covered by C4[ 288, 70 ] = UG(ATD[288,19])

     24-fold covered by C4[ 288, 90 ] = UG(ATD[288,84])

     24-fold covered by C4[ 288, 91 ] = UG(ATD[288,87])

     24-fold covered by C4[ 288, 92 ] = UG(ATD[288,88])

     24-fold covered by C4[ 288, 93 ] = UG(ATD[288,91])

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

     24-fold covered by C4[ 288, 95 ] = UG(ATD[288,97])

     24-fold covered by C4[ 288, 96 ] = UG(ATD[288,100])

     24-fold covered by C4[ 288, 97 ] = UG(ATD[288,103])

     24-fold covered by C4[ 288, 98 ] = UG(ATD[288,106])

     24-fold covered by C4[ 288, 99 ] = UG(ATD[288,109])

     24-fold covered by C4[ 288, 100 ] = UG(ATD[288,112])

     24-fold covered by C4[ 288, 101 ] = UG(ATD[288,115])

     24-fold covered by C4[ 288, 102 ] = UG(ATD[288,118])

     24-fold covered by C4[ 288, 103 ] = UG(ATD[288,121])

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

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

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

     24-fold covered by C4[ 288, 113 ] = UG(ATD[288,199])

     24-fold covered by C4[ 288, 114 ] = UG(ATD[288,200])

     24-fold covered by C4[ 288, 115 ] = UG(ATD[288,203])

     24-fold covered by C4[ 288, 116 ] = UG(ATD[288,206])

     24-fold covered by C4[ 288, 117 ] = UG(ATD[288,209])

     24-fold covered by C4[ 288, 118 ] = UG(ATD[288,212])

     24-fold covered by C4[ 288, 119 ] = UG(ATD[288,215])

     24-fold covered by C4[ 288, 120 ] = UG(ATD[288,218])

     24-fold covered by C4[ 288, 121 ] = UG(ATD[288,221])

     24-fold covered by C4[ 288, 122 ] = UG(ATD[288,224])

     24-fold covered by C4[ 288, 123 ] = UG(ATD[288,227])

     24-fold covered by C4[ 288, 124 ] = UG(ATD[288,230])

     24-fold covered by C4[ 288, 125 ] = UG(ATD[288,233])

     24-fold covered by C4[ 288, 126 ] = UG(ATD[288,236])

     24-fold covered by C4[ 288, 127 ] = UG(ATD[288,239])

     24-fold covered by C4[ 288, 128 ] = UG(ATD[288,242])

     24-fold covered by C4[ 288, 129 ] = UG(ATD[288,245])

     24-fold covered by C4[ 288, 130 ] = UG(ATD[288,248])

     24-fold covered by C4[ 288, 131 ] = UG(ATD[288,251])

     24-fold covered by C4[ 288, 138 ] = PL(ATD[6,1]#ATD[12,1])

     24-fold covered by C4[ 288, 139 ] = PL(ATD[6,1]#ATD[12,3])

     24-fold covered by C4[ 288, 140 ] = PL(ATD[6,1]#ATD[36,6])

     24-fold covered by C4[ 288, 143 ] = PL(ATD[9,1]#ATD[24,7])

     24-fold covered by C4[ 288, 144 ] = PL(ATD[9,1]#ATD[24,9])

     24-fold covered by C4[ 288, 145 ] = PL(ATD[9,1]#ATD[24,14])

     24-fold covered by C4[ 288, 146 ] = PL(ATD[12,1]#DCyc[6])

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

     24-fold covered by C4[ 288, 149 ] = PL(ATD[24,8]#DCyc[3])

     24-fold covered by C4[ 288, 150 ] = PL(ATD[24,10]#DCyc[3])

     24-fold covered by C4[ 288, 152 ] = PL(ATD[36,7]#DCyc[4])

     24-fold covered by C4[ 288, 153 ] = XI(Rmap(144,3){3,6|6}_24)

     24-fold covered by C4[ 288, 156 ] = XI(Rmap(144,17){6,6|12}_24)

     24-fold covered by C4[ 288, 157 ] = XI(Rmap(144,18){6,6|12}_24)

     24-fold covered by C4[ 288, 158 ] = XI(Rmap(144,20){4,18|4}_36)

     24-fold covered by C4[ 288, 161 ] = SDD(UG(ATD[72,13]))

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

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

     24-fold covered by C4[ 288, 165 ] = XI(Rmap(144,190){4,18|4}_18)

     24-fold covered by C4[ 288, 166 ] = XI(Rmap(144,198){8,18|8}_9)

     24-fold covered by C4[ 288, 169 ] = PL(CSI(Octahedron[ 3^ 4], 12))

     24-fold covered by C4[ 288, 170 ] = PL(CSI(W( 12, 2)[ 12^ 4], 3))

     24-fold covered by C4[ 288, 171 ] = BGCG(R_ 12( 8, 7), C_ 6, {7, 8})

     24-fold covered by C4[ 288, 172 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 3))

     24-fold covered by C4[ 288, 173 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 3))

     24-fold covered by C4[ 288, 174 ] = PL(CS(W( 18, 2)[ 18^ 4], 0))

     24-fold covered by C4[ 288, 175 ] = PL(CS(W( 18, 2)[ 18^ 4], 1))

     24-fold covered by C4[ 288, 176 ] = PL(CS(DW( 12, 3)[ 12^ 6], 1))

     24-fold covered by C4[ 288, 178 ] = PL(CS({4, 4}_ 6, 0[ 12^ 6], 1))

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

     24-fold covered by C4[ 288, 183 ] = PL(CS(R_ 18( 11, 10)[ 9^ 8], 1))

     24-fold covered by C4[ 288, 184 ] = PL(CS(R_ 18( 11, 10)[ 18^ 4], 0))

     24-fold covered by C4[ 288, 185 ] = PL(CS(R_ 18( 11, 10)[ 18^ 4], 1))

     24-fold covered by C4[ 288, 186 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 12^ 6], 1))

     24-fold covered by C4[ 288, 187 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 6^ 12], 1))

     24-fold covered by C4[ 288, 188 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 3^ 24], 1))

     24-fold covered by C4[ 288, 189 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 4, 1)

     24-fold covered by C4[ 288, 191 ] = BGCG(MPS( 4, 24; 5), C_ 3, 3)

     24-fold covered by C4[ 288, 192 ] = BGCG(R_ 24( 20, 7), C_ 3, {3, 5})

     24-fold covered by C4[ 288, 193 ] = BGCG(R_ 24( 20, 7), C_ 3, {4, 6})

     24-fold covered by C4[ 288, 194 ] = BGCG(R_ 24( 8, 19), C_ 3, 1)

     24-fold covered by C4[ 288, 195 ] = BGCG(R_ 24( 8, 19), C_ 3, 2)

     24-fold covered by C4[ 288, 196 ] = BGCG(R_ 24( 8, 19), C_ 3, {3, 6})

     24-fold covered by C4[ 288, 197 ] = BGCG(R_ 24( 8, 19), C_ 3, {4, 5})

     24-fold covered by C4[ 288, 198 ] = BGCG(PX( 6, 3), C_ 3, {1, 2})

     24-fold covered by C4[ 288, 199 ] = BGCG(PX( 6, 3), C_ 3, 6)

     24-fold covered by C4[ 288, 200 ] = BGCG(PX( 6, 3), C_ 3, 7)

     24-fold covered by C4[ 288, 201 ] = BGCG(PX( 6, 3), C_ 3, 8)

     24-fold covered by C4[ 288, 202 ] = BGCG(PX( 6, 3), C_ 3, 9)

     24-fold covered by C4[ 288, 203 ] = BGCG(PX( 6, 3), C_ 3, 10)

     24-fold covered by C4[ 288, 204 ] = BGCG(KE_12(1,7,4,9,1), C_ 3, 10)

     24-fold covered by C4[ 288, 205 ] = BGCG(KE_12(1,7,4,9,1), C_ 3, 11)

     24-fold covered by C4[ 288, 206 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]), C_ 3, 2)

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

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

     24-fold covered by C4[ 288, 212 ] = SDD(R_ 36( 29, 10))

     24-fold covered by C4[ 288, 213 ] = SDD(R_ 36( 11, 28))

     24-fold covered by C4[ 288, 215 ] = SDD(Pr_ 24( 1, 1, 5, 5))

     24-fold covered by C4[ 288, 216 ] = SDD(Pr_ 24( 1, 13, 17, 5))

     24-fold covered by C4[ 288, 245 ] = BGCG(UG(ATD[144,32]); K1;{6, 9})

     24-fold covered by C4[ 288, 246 ] = BGCG(UG(ATD[144,33]); K1;3)

     24-fold covered by C4[ 288, 247 ] = BGCG(UG(ATD[144,77]); K1;2)

     24-fold covered by C4[ 288, 248 ] = SS[288, 1]

     24-fold covered by C4[ 288, 263 ] = SS[288, 27]

     24-fold covered by C4[ 288, 264 ] = SS[288, 28]

     25-fold covered by C4[ 300, 3 ] = C_300(1,101)

     25-fold covered by C4[ 300, 4 ] = {4, 4}_[ 15, 10]

     25-fold covered by C4[ 300, 5 ] = {4, 4}_< 20, 10>

     25-fold covered by C4[ 300, 6 ] = {4, 4}_< 28, 22>

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

     25-fold covered by C4[ 300, 10 ] = PS( 20, 15; 4)

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

     25-fold covered by C4[ 300, 15 ] = PL(MSY( 10, 15, 11, 0))

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

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

     25-fold covered by C4[ 300, 19 ] = PL(MC3( 10, 15, 1, 11, 4, 0, 1), [6^25, 10^15])

     25-fold covered by C4[ 300, 28 ] = UG(ATD[300,1])

     25-fold covered by C4[ 300, 30 ] = UG(ATD[300,21])

     25-fold covered by C4[ 300, 31 ] = UG(ATD[300,24])

     25-fold covered by C4[ 300, 32 ] = UG(ATD[300,27])

     25-fold covered by C4[ 300, 50 ] = BGCG(AMC( 3, 5, [ 0. 1: 4. 4]); K2;{1, 3})

     25-fold covered by C4[ 300, 51 ] = BGCG(AMC( 3, 5, [ 0. 1: 4. 4]); K2;5)

     26-fold covered by C4[ 312, 3 ] = C_312(1, 53)

     26-fold covered by C4[ 312, 4 ] = C_312(1, 77)

     26-fold covered by C4[ 312, 5 ] = C_312(1, 79)

     26-fold covered by C4[ 312, 6 ] = C_312(1,103)

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

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

     26-fold covered by C4[ 312, 10 ] = PS( 26, 24; 7)

     26-fold covered by C4[ 312, 14 ] = PS( 12, 52; 3)

     26-fold covered by C4[ 312, 16 ] = PS( 12, 52; 7)

     26-fold covered by C4[ 312, 20 ] = PS( 8, 39; 5)

     26-fold covered by C4[ 312, 21 ] = PS( 3,104; 9)

     26-fold covered by C4[ 312, 22 ] = PS( 6,104; 3)

     26-fold covered by C4[ 312, 23 ] = PS( 6,104; 17)

     26-fold covered by C4[ 312, 24 ] = PS( 6,104; 29)

     26-fold covered by C4[ 312, 25 ] = PS( 4,156; 5)

     26-fold covered by C4[ 312, 26 ] = MPS( 4,156; 5)

     26-fold covered by C4[ 312, 31 ] = PL(MSY( 4, 39, 14, 0))

     26-fold covered by C4[ 312, 32 ] = PL(MC3( 4, 39, 1, 38, 14, 0, 1), [4^39, 78^2])

     26-fold covered by C4[ 312, 36 ] = PL(WH_ 52( 2, 0, 11, 15), [3^52, 26^6])

     26-fold covered by C4[ 312, 38 ] = PL(Curtain_39(1,15,1,2,26),[4^39,26^6])

     26-fold covered by C4[ 312, 40 ] = PL(Br( 6, 26; 5))

     26-fold covered by C4[ 312, 42 ] = PL(BC_78({ 0, 39 }, { 1, 64 })

     26-fold covered by C4[ 312, 43 ] = UG(ATD[312,1])

     26-fold covered by C4[ 312, 44 ] = UG(ATD[312,3])

     26-fold covered by C4[ 312, 47 ] = UG(ATD[312,35])

     26-fold covered by C4[ 312, 48 ] = UG(ATD[312,38])

     26-fold covered by C4[ 312, 49 ] = SDD(C_ 78(1, 25))

     26-fold covered by C4[ 312, 52 ] = SS[312, 1]

     27-fold covered by C4[ 324, 2 ] = DW(108, 3)

     27-fold covered by C4[ 324, 4 ] = {4, 4}_[ 18, 9]

     27-fold covered by C4[ 324, 5 ] = {4, 4}_[ 27, 6]

     27-fold covered by C4[ 324, 6 ] = {4, 4}_< 30, 24>

     27-fold covered by C4[ 324, 7 ] = PS( 36, 9; 2)

     27-fold covered by C4[ 324, 8 ] = PS( 9, 36; 11)

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

     27-fold covered by C4[ 324, 10 ] = PS( 12, 27; 8)

     27-fold covered by C4[ 324, 11 ] = PS( 3,108; 35)

     27-fold covered by C4[ 324, 12 ] = PS( 6,108; 17)

     27-fold covered by C4[ 324, 18 ] = AMC( 36, 3, [ 0. 1: 2. 2])

     27-fold covered by C4[ 324, 28 ] = UG(ATD[324,13])

     27-fold covered by C4[ 324, 29 ] = UG(ATD[324,21])

     27-fold covered by C4[ 324, 30 ] = UG(ATD[324,23])

     27-fold covered by C4[ 324, 35 ] = UG(ATD[324,35])

     27-fold covered by C4[ 324, 36 ] = UG(ATD[324,38])

     27-fold covered by C4[ 324, 37 ] = UG(ATD[324,39])

     27-fold covered by C4[ 324, 39 ] = UG(ATD[324,42])

     27-fold covered by C4[ 324, 40 ] = UG(ATD[324,45])

     27-fold covered by C4[ 324, 41 ] = UG(ATD[324,55])

     27-fold covered by C4[ 324, 42 ] = UG(ATD[324,58])

     27-fold covered by C4[ 324, 55 ] = UG(ATD[324,90])

     27-fold covered by C4[ 324, 56 ] = UG(ATD[324,93])

     27-fold covered by C4[ 324, 57 ] = UG(ATD[324,96])

     27-fold covered by C4[ 324, 59 ] = UG(ATD[324,112])

     27-fold covered by C4[ 324, 60 ] = UG(ATD[324,115])

     27-fold covered by C4[ 324, 61 ] = UG(ATD[324,118])

     27-fold covered by C4[ 324, 62 ] = UG(ATD[324,121])

     27-fold covered by C4[ 324, 63 ] = UG(ATD[324,127])

     27-fold covered by C4[ 324, 64 ] = UG(ATD[324,130])

     27-fold covered by C4[ 324, 65 ] = UG(ATD[324,133])

     27-fold covered by C4[ 324, 66 ] = UG(ATD[324,139])

     27-fold covered by C4[ 324, 67 ] = UG(ATD[324,142])

     27-fold covered by C4[ 324, 68 ] = UG(ATD[324,145])

     27-fold covered by C4[ 324, 69 ] = PL(ATD[9,1]#DCyc[9])

     27-fold covered by C4[ 324, 70 ] = PL(ATD[9,1]#ATD[27,5])

     27-fold covered by C4[ 324, 72 ] = XI(Rmap(162,7){6,6|6}_6)

     27-fold covered by C4[ 324, 74 ] = XI(Rmap(162,11){6,6|6}_18)

     27-fold covered by C4[ 324, 76 ] = XI(Rmap(162,14){6,18|6}_6)

     27-fold covered by C4[ 324, 77 ] = XI(Rmap(162,17){6,18|6}_18)

     27-fold covered by C4[ 324, 78 ] = XI(Rmap(162,18){6,18|6}_18)

     27-fold covered by C4[ 324, 79 ] = XI(Rmap(162,19){6,18|6}_18)

     27-fold covered by C4[ 324, 84 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 3, {1, 11})

     27-fold covered by C4[ 324, 85 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 3, {2, 12})

     27-fold covered by C4[ 324, 87 ] = BGCG(CPM( 3, 3, 1, 1); K2;{2, 3})

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

     27-fold covered by C4[ 324, 89 ] = BGCG(UG(ATD[81,12]); K2;{1, 3})

     27-fold covered by C4[ 324, 90 ] = BGCG(UG(ATD[81,14]); K2;{2, 3})

     27-fold covered by C4[ 324, 93 ] = BGCG(AMC( 18, 3, [ 0. 1: 2. 2]); K1;{4, 5})

     27-fold covered by C4[ 324, 94 ] = BGCG(UG(ATD[162,7]); K1;{2, 3})

     27-fold covered by C4[ 324, 95 ] = BGCG(UG(ATD[162,8]); K1;1)

     27-fold covered by C4[ 324, 96 ] = BGCG(UG(ATD[162,26]); K1;{5, 7})

     27-fold covered by C4[ 324, 97 ] = BGCG(UG(ATD[162,29]); K1;{2, 3})

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

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

     28-fold covered by C4[ 336, 6 ] = C_336(1,113)

     28-fold covered by C4[ 336, 7 ] = C_336(1,127)

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

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

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

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

     28-fold covered by C4[ 336, 12 ] = {4, 4}_< 44, 40>

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

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

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

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

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

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

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

     28-fold covered by C4[ 336, 22 ] = MPS( 12, 56; 3)

     28-fold covered by C4[ 336, 23 ] = MPS( 12, 56; 5)

     28-fold covered by C4[ 336, 24 ] = MPS( 12, 56; 13)

     28-fold covered by C4[ 336, 25 ] = PS( 3,112; 31)

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

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

     28-fold covered by C4[ 336, 30 ] = R_168(128, 43)

     28-fold covered by C4[ 336, 31 ] = R_168( 44, 127)

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

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

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

     28-fold covered by C4[ 336, 37 ] = PL(MSY( 6, 28, 13, 14))

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

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

     28-fold covered by C4[ 336, 41 ] = PL(MC3( 6, 28, 1, 15, 13, 0, 1), [4^42, 6^28])

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

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

     28-fold covered by C4[ 336, 44 ] = PL(MC3( 14, 12, 1, 7, 5, 0, 1), [4^42, 14^12])

     28-fold covered by C4[ 336, 45 ] = PL(MC3( 14, 12, 1, 7, 5, 6, 1), [4^42, 28^6])

     28-fold covered by C4[ 336, 47 ] = PL(Curtain_42(1,9,1,14,23),[4^42,28^6])

     28-fold covered by C4[ 336, 48 ] = PL(Curtain_42(1,13,8,20,42),[4^42,14^12])

     28-fold covered by C4[ 336, 51 ] = PL(MBr( 2, 84; 13))

     28-fold covered by C4[ 336, 54 ] = UG(ATD[336,5])

     28-fold covered by C4[ 336, 55 ] = UG(ATD[336,7])

     28-fold covered by C4[ 336, 56 ] = UG(ATD[336,9])

     28-fold covered by C4[ 336, 57 ] = UG(ATD[336,25])

     28-fold covered by C4[ 336, 58 ] = UG(ATD[336,27])

     28-fold covered by C4[ 336, 59 ] = UG(ATD[336,35])

     28-fold covered by C4[ 336, 60 ] = UG(ATD[336,37])

     28-fold covered by C4[ 336, 61 ] = UG(ATD[336,39])

     28-fold covered by C4[ 336, 62 ] = UG(ATD[336,41])

     28-fold covered by C4[ 336, 65 ] = UG(ATD[336,47])

     28-fold covered by C4[ 336, 66 ] = UG(ATD[336,50])

     28-fold covered by C4[ 336, 67 ] = UG(ATD[336,53])

     28-fold covered by C4[ 336, 68 ] = UG(ATD[336,104])

     28-fold covered by C4[ 336, 69 ] = UG(ATD[336,110])

     28-fold covered by C4[ 336, 70 ] = UG(ATD[336,113])

     28-fold covered by C4[ 336, 71 ] = UG(ATD[336,116])

     28-fold covered by C4[ 336, 72 ] = UG(ATD[336,121])

     28-fold covered by C4[ 336, 73 ] = UG(ATD[336,126])

     28-fold covered by C4[ 336, 107 ] = PL(ATD[12,1]#DCyc[7])

     28-fold covered by C4[ 336, 119 ] = XI(Rmap(168,47){28,6|4}_42)

     28-fold covered by C4[ 336, 120 ] = SDD(Pr_ 28( 1, 5, 9, 13))

     28-fold covered by C4[ 336, 121 ] = SDD(C_ 84(1, 29))

     28-fold covered by C4[ 336, 123 ] = SDD(C_ 84(1, 13))

     28-fold covered by C4[ 336, 124 ] = SDD({4, 4}_< 10, 4>)

     28-fold covered by C4[ 336, 135 ] = PL(CSI(W( 6, 2)[ 6^ 4], 7))

     28-fold covered by C4[ 336, 136 ] = PL(CS(W( 21, 2)[ 21^ 4], 0))

     28-fold covered by C4[ 336, 137 ] = PL(CS(W( 21, 2)[ 21^ 4], 1))

     29-fold covered by C4[ 348, 3 ] = C_348(1,115)

     29-fold covered by C4[ 348, 4 ] = {4, 4}_< 32, 26>

     29-fold covered by C4[ 348, 6 ] = PS( 4, 87; 17)

     30-fold covered by C4[ 360, 2 ] = C_360(1, 19)

     30-fold covered by C4[ 360, 4 ] = C_360(1, 89)

     30-fold covered by C4[ 360, 5 ] = C_360(1, 91)

     30-fold covered by C4[ 360, 7 ] = C_360(1,161)

     30-fold covered by C4[ 360, 8 ] = DW(120, 3)

     30-fold covered by C4[ 360, 9 ] = {4, 4}_[ 15, 12]

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

     30-fold covered by C4[ 360, 12 ] = {4, 4}_< 21, 9>

     30-fold covered by C4[ 360, 13 ] = {4, 4}_[ 30, 6]

     30-fold covered by C4[ 360, 14 ] = {4, 4}_< 33, 27>

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

     30-fold covered by C4[ 360, 19 ] = PS( 30, 24; 7)

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

     30-fold covered by C4[ 360, 21 ] = PS( 24, 15; 4)

     30-fold covered by C4[ 360, 22 ] = PS( 18, 40; 9)

     30-fold covered by C4[ 360, 23 ] = PS( 18, 40; 11)

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

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

     30-fold covered by C4[ 360, 27 ] = MPS( 12, 60; 11)

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

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

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

     30-fold covered by C4[ 360, 37 ] = PL(MSY( 4, 45, 26, 0))

     30-fold covered by C4[ 360, 38 ] = PL(MSY( 6, 30, 11, 0))

     30-fold covered by C4[ 360, 39 ] = PL(MSY( 6, 30, 11, 15))

     30-fold covered by C4[ 360, 40 ] = PL(MSY( 12, 15, 11, 0))

     30-fold covered by C4[ 360, 44 ] = PL(MC3( 4, 45, 1, 44, 19, 0, 1), [4^45, 90^2])

     30-fold covered by C4[ 360, 46 ] = PL(MC3( 6, 30, 1, 19, 11, 0, 1), [6^30, 10^18])

     30-fold covered by C4[ 360, 47 ] = PL(MC3( 6, 30, 1, 16, 11, 3, 1), [4^45, 60^3])

     30-fold covered by C4[ 360, 48 ] = PL(MC3( 6, 30, 1, 16, 11, 18, 1), [4^45, 30^6])

     30-fold covered by C4[ 360, 54 ] = PL(WH_ 60( 2, 0, 13, 17), [3^60, 30^6])

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

     30-fold covered by C4[ 360, 74 ] = UG(ATD[360,47])

     30-fold covered by C4[ 360, 75 ] = UG(ATD[360,50])

     30-fold covered by C4[ 360, 76 ] = UG(ATD[360,53])

     30-fold covered by C4[ 360, 77 ] = UG(ATD[360,56])

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

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

     30-fold covered by C4[ 360, 145 ] = SDD(DW( 30, 3))

     30-fold covered by C4[ 360, 146 ] = SDD(C_ 90(1, 19))

     30-fold covered by C4[ 360, 153 ] = XI(Rmap(180,165){12,30|4}_15)

     30-fold covered by C4[ 360, 154 ] = XI(Rmap(180,168){20,18|4}_45)

     30-fold covered by C4[ 360, 167 ] = BGCG({4, 4}_ 6, 0, C_ 5, 1)

     30-fold covered by C4[ 360, 168 ] = BGCG({4, 4}_ 6, 0, C_ 5, 2)

     30-fold covered by C4[ 360, 170 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 5, 1)

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

     31-fold covered by C4[ 372, 3 ] = C_372(1,125)

     31-fold covered by C4[ 372, 4 ] = {4, 4}_< 34, 28>

     31-fold covered by C4[ 372, 6 ] = PS( 3,124; 5)

     31-fold covered by C4[ 372, 7 ] = PS( 6,124; 37)

     32-fold covered by C4[ 384, 2 ] = C_384(1, 65)

     32-fold covered by C4[ 384, 3 ] = C_384(1,127)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 384, 33 ] = R_192(146, 49)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 384, 91 ] = PL(Curtain_48(1,24,8,13,32),[4^48,16^12])

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

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

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

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

     32-fold covered by C4[ 384, 96 ] = PL(Curtain_48(1,24,13,20,44),[4^48,16^12])

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

     32-fold covered by C4[ 384, 100 ] = CPM( 8, 3, 1, 1)

     32-fold covered by C4[ 384, 101 ] = CPM( 8, 3, 2, 3)

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 384, 110 ] = PL(AffLR( 3, 4))$

     32-fold covered by C4[ 384, 111 ] = PL(ProjLR(3,8))

     32-fold covered by C4[ 384, 112 ] = UG(ATD[384,1])

     32-fold covered by C4[ 384, 113 ] = UG(ATD[384,3])

     32-fold covered by C4[ 384, 114 ] = UG(ATD[384,5])

     32-fold covered by C4[ 384, 115 ] = UG(ATD[384,7])

     32-fold covered by C4[ 384, 116 ] = UG(ATD[384,9])

     32-fold covered by C4[ 384, 117 ] = UG(ATD[384,11])

     32-fold covered by C4[ 384, 118 ] = UG(ATD[384,13])

     32-fold covered by C4[ 384, 119 ] = UG(ATD[384,15])

     32-fold covered by C4[ 384, 120 ] = UG(ATD[384,17])

     32-fold covered by C4[ 384, 121 ] = UG(ATD[384,19])

     32-fold covered by C4[ 384, 124 ] = UG(ATD[384,25])

     32-fold covered by C4[ 384, 125 ] = UG(ATD[384,27])

     32-fold covered by C4[ 384, 126 ] = UG(ATD[384,29])

     32-fold covered by C4[ 384, 127 ] = UG(ATD[384,31])

     32-fold covered by C4[ 384, 128 ] = UG(ATD[384,33])

     32-fold covered by C4[ 384, 129 ] = UG(ATD[384,35])

     32-fold covered by C4[ 384, 130 ] = UG(ATD[384,37])

     32-fold covered by C4[ 384, 131 ] = UG(ATD[384,39])

     32-fold covered by C4[ 384, 132 ] = UG(ATD[384,41])

     32-fold covered by C4[ 384, 133 ] = UG(ATD[384,43])

     32-fold covered by C4[ 384, 134 ] = UG(ATD[384,45])

     32-fold covered by C4[ 384, 135 ] = UG(ATD[384,47])

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

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

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

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

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

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

     32-fold covered by C4[ 384, 142 ] = UG(ATD[384,73])

     32-fold covered by C4[ 384, 143 ] = UG(ATD[384,75])

     32-fold covered by C4[ 384, 144 ] = UG(ATD[384,77])

     32-fold covered by C4[ 384, 145 ] = UG(ATD[384,79])

     32-fold covered by C4[ 384, 146 ] = UG(ATD[384,81])

     32-fold covered by C4[ 384, 147 ] = UG(ATD[384,83])

     32-fold covered by C4[ 384, 148 ] = UG(ATD[384,85])

     32-fold covered by C4[ 384, 149 ] = UG(ATD[384,87])

     32-fold covered by C4[ 384, 150 ] = UG(ATD[384,89])

     32-fold covered by C4[ 384, 151 ] = UG(ATD[384,92])

     32-fold covered by C4[ 384, 152 ] = UG(ATD[384,95])

     32-fold covered by C4[ 384, 153 ] = UG(ATD[384,98])

     32-fold covered by C4[ 384, 154 ] = UG(ATD[384,99])

     32-fold covered by C4[ 384, 155 ] = UG(ATD[384,102])

     32-fold covered by C4[ 384, 156 ] = UG(ATD[384,106])

     32-fold covered by C4[ 384, 157 ] = UG(ATD[384,109])

     32-fold covered by C4[ 384, 158 ] = UG(ATD[384,112])

     32-fold covered by C4[ 384, 159 ] = UG(ATD[384,115])

     32-fold covered by C4[ 384, 160 ] = UG(ATD[384,119])

     32-fold covered by C4[ 384, 161 ] = UG(ATD[384,122])

     32-fold covered by C4[ 384, 168 ] = UG(ATD[384,137])

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

     32-fold covered by C4[ 384, 170 ] = UG(ATD[384,143])

     32-fold covered by C4[ 384, 171 ] = UG(ATD[384,146])

     32-fold covered by C4[ 384, 172 ] = UG(ATD[384,149])

     32-fold covered by C4[ 384, 173 ] = UG(ATD[384,153])

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

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

     32-fold covered by C4[ 384, 176 ] = UG(ATD[384,162])

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

     32-fold covered by C4[ 384, 178 ] = UG(ATD[384,170])

     32-fold covered by C4[ 384, 179 ] = UG(ATD[384,174])

     32-fold covered by C4[ 384, 180 ] = UG(ATD[384,175])

     32-fold covered by C4[ 384, 181 ] = UG(ATD[384,178])

     32-fold covered by C4[ 384, 182 ] = UG(ATD[384,181])

     32-fold covered by C4[ 384, 183 ] = UG(ATD[384,182])

     32-fold covered by C4[ 384, 184 ] = UG(ATD[384,185])

     32-fold covered by C4[ 384, 185 ] = UG(ATD[384,188])

     32-fold covered by C4[ 384, 186 ] = UG(ATD[384,189])

     32-fold covered by C4[ 384, 187 ] = UG(ATD[384,192])

     32-fold covered by C4[ 384, 188 ] = UG(ATD[384,193])

     32-fold covered by C4[ 384, 189 ] = UG(ATD[384,196])

     32-fold covered by C4[ 384, 190 ] = UG(ATD[384,197])

     32-fold covered by C4[ 384, 191 ] = UG(ATD[384,200])

     32-fold covered by C4[ 384, 192 ] = UG(ATD[384,203])

     32-fold covered by C4[ 384, 193 ] = UG(ATD[384,206])

     32-fold covered by C4[ 384, 194 ] = UG(ATD[384,209])

     32-fold covered by C4[ 384, 195 ] = UG(ATD[384,212])

     32-fold covered by C4[ 384, 196 ] = UG(ATD[384,215])

     32-fold covered by C4[ 384, 197 ] = UG(ATD[384,218])

     32-fold covered by C4[ 384, 198 ] = UG(ATD[384,221])

     32-fold covered by C4[ 384, 199 ] = UG(ATD[384,224])

     32-fold covered by C4[ 384, 200 ] = UG(ATD[384,227])

     32-fold covered by C4[ 384, 201 ] = UG(ATD[384,230])

     32-fold covered by C4[ 384, 202 ] = UG(ATD[384,233])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 384, 248 ] = UG(ATD[384,454])

     32-fold covered by C4[ 384, 249 ] = UG(ATD[384,457])

     32-fold covered by C4[ 384, 250 ] = UG(ATD[384,460])

     32-fold covered by C4[ 384, 251 ] = UG(ATD[384,463])

     32-fold covered by C4[ 384, 252 ] = UG(ATD[384,466])

     32-fold covered by C4[ 384, 253 ] = UG(ATD[384,469])

     32-fold covered by C4[ 384, 254 ] = UG(ATD[384,472])

     32-fold covered by C4[ 384, 255 ] = UG(ATD[384,475])

     32-fold covered by C4[ 384, 256 ] = UG(ATD[384,478])

     32-fold covered by C4[ 384, 257 ] = UG(ATD[384,481])

     32-fold covered by C4[ 384, 258 ] = UG(ATD[384,484])

     32-fold covered by C4[ 384, 259 ] = UG(ATD[384,485])

     32-fold covered by C4[ 384, 260 ] = UG(ATD[384,488])

     32-fold covered by C4[ 384, 261 ] = UG(ATD[384,491])

     32-fold covered by C4[ 384, 262 ] = UG(ATD[384,494])

     32-fold covered by C4[ 384, 263 ] = UG(ATD[384,497])

     32-fold covered by C4[ 384, 264 ] = UG(ATD[384,500])

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 384, 278 ] = UG(ATD[384,542])

     32-fold covered by C4[ 384, 279 ] = UG(ATD[384,545])

     32-fold covered by C4[ 384, 280 ] = UG(ATD[384,548])

     32-fold covered by C4[ 384, 281 ] = UG(ATD[384,551])

     32-fold covered by C4[ 384, 282 ] = UG(ATD[384,554])

     32-fold covered by C4[ 384, 283 ] = UG(ATD[384,557])

     32-fold covered by C4[ 384, 284 ] = UG(ATD[384,560])

     32-fold covered by C4[ 384, 285 ] = UG(ATD[384,563])

     32-fold covered by C4[ 384, 286 ] = UG(ATD[384,566])

     32-fold covered by C4[ 384, 287 ] = UG(ATD[384,569])

     32-fold covered by C4[ 384, 288 ] = UG(ATD[384,573])

     32-fold covered by C4[ 384, 289 ] = UG(ATD[384,576])

     32-fold covered by C4[ 384, 290 ] = UG(ATD[384,579])

     32-fold covered by C4[ 384, 291 ] = UG(ATD[384,582])

     32-fold covered by C4[ 384, 292 ] = UG(ATD[384,585])

     32-fold covered by C4[ 384, 293 ] = UG(ATD[384,588])

     32-fold covered by C4[ 384, 294 ] = UG(ATD[384,591])

     32-fold covered by C4[ 384, 295 ] = UG(ATD[384,594])

     32-fold covered by C4[ 384, 296 ] = UG(ATD[384,597])

     32-fold covered by C4[ 384, 297 ] = UG(ATD[384,600])

     32-fold covered by C4[ 384, 298 ] = UG(ATD[384,603])

     32-fold covered by C4[ 384, 299 ] = UG(ATD[384,606])

     32-fold covered by C4[ 384, 300 ] = UG(ATD[384,609])

     32-fold covered by C4[ 384, 301 ] = UG(ATD[384,611])

     32-fold covered by C4[ 384, 302 ] = UG(ATD[384,614])

     32-fold covered by C4[ 384, 303 ] = UG(ATD[384,616])

     32-fold covered by C4[ 384, 304 ] = UG(ATD[384,617])

     32-fold covered by C4[ 384, 305 ] = UG(ATD[384,618])

     32-fold covered by C4[ 384, 306 ] = UG(ATD[384,620])

     32-fold covered by C4[ 384, 307 ] = UG(ATD[384,623])

     32-fold covered by C4[ 384, 308 ] = UG(ATD[384,625])

     32-fold covered by C4[ 384, 309 ] = UG(ATD[384,628])

     32-fold covered by C4[ 384, 310 ] = UG(ATD[384,630])

     32-fold covered by C4[ 384, 311 ] = UG(ATD[384,632])

     32-fold covered by C4[ 384, 312 ] = UG(ATD[384,634])

     32-fold covered by C4[ 384, 313 ] = UG(ATD[384,636])

     32-fold covered by C4[ 384, 314 ] = UG(ATD[384,639])

     32-fold covered by C4[ 384, 315 ] = UG(ATD[384,640])

     32-fold covered by C4[ 384, 316 ] = UG(ATD[384,641])

     32-fold covered by C4[ 384, 317 ] = UG(ATD[384,642])

     32-fold covered by C4[ 384, 318 ] = UG(ATD[384,643])

     32-fold covered by C4[ 384, 319 ] = UG(ATD[384,644])

     32-fold covered by C4[ 384, 320 ] = UG(ATD[384,645])

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

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

     32-fold covered by C4[ 384, 323 ] = PL(ATD[6,1]#ATD[48,1])

     32-fold covered by C4[ 384, 324 ] = PL(ATD[6,1]#ATD[48,16])

     32-fold covered by C4[ 384, 325 ] = PL(ATD[6,1]#ATD[48,19])

     32-fold covered by C4[ 384, 326 ] = PL(ATD[6,1]#ATD[48,21])

     32-fold covered by C4[ 384, 327 ] = PL(ATD[6,1]#ATD[48,29])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     32-fold covered by C4[ 384, 347 ] = PL(ATD[12,4]#DCyc[8])

     32-fold covered by C4[ 384, 348 ] = PL(ATD[12,4]#ATD[24,7])

     32-fold covered by C4[ 384, 349 ] = PL(ATD[12,4]#ATD[24,9])

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

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

     32-fold covered by C4[ 384, 352 ] = PL(ATD[24,8]#DCyc[4])

     32-fold covered by C4[ 384, 353 ] = PL(ATD[48,15]#DCyc[4])

     32-fold covered by C4[ 384, 354 ] = PL(ATD[48,18]#DCyc[4])

     32-fold covered by C4[ 384, 355 ] = PL(ATD[48,20]#DCyc[4])

     32-fold covered by C4[ 384, 356 ] = PL(ATD[48,23]#DCyc[4])

     32-fold covered by C4[ 384, 357 ] = PL(ATD[48,24]#DCyc[4])

     32-fold covered by C4[ 384, 358 ] = XI(Rmap(192,5){4,6|8}_6)

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

     32-fold covered by C4[ 384, 360 ] = SDD(UG(ATD[96,11]))

     32-fold covered by C4[ 384, 361 ] = SDD(PX( 6, 4))

     32-fold covered by C4[ 384, 362 ] = SDD(KE_24(1,9,8,5,5))

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

     32-fold covered by C4[ 384, 364 ] = XI(Rmap(192,27){6,6|3}_8)

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

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

     32-fold covered by C4[ 384, 369 ] = XI(Rmap(192,66){8,6|8}_12)

     32-fold covered by C4[ 384, 372 ] = SDD(KE_24(1,11,8,3,7))

     32-fold covered by C4[ 384, 373 ] = SDD(AMC( 6, 8, [ 5. 5: 5. 2]))

     32-fold covered by C4[ 384, 374 ] = SDD(UG(ATD[96,61]))

     32-fold covered by C4[ 384, 375 ] = SDD(C_ 96(1, 31))

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

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

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

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

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

     32-fold covered by C4[ 384, 382 ] = PL(CSI(Octahedron[ 3^ 4], 16))

     32-fold covered by C4[ 384, 383 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 8))

     32-fold covered by C4[ 384, 384 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 8))

     32-fold covered by C4[ 384, 385 ] = PL(CS(W( 24, 2)[ 24^ 4], 0))

     32-fold covered by C4[ 384, 386 ] = PL(CS(W( 24, 2)[ 24^ 4], 1))

     32-fold covered by C4[ 384, 387 ] = PL(CS(C_ 48(1, 7)[ 48^ 2], 1))

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

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

     32-fold covered by C4[ 384, 390 ] = PL(CS(R_ 24( 20, 7)[ 12^ 8], 1))

     32-fold covered by C4[ 384, 391 ] = PL(CS(R_ 24( 20, 7)[ 24^ 4], 0))

     32-fold covered by C4[ 384, 392 ] = PL(CS(R_ 24( 20, 7)[ 24^ 4], 1))

     32-fold covered by C4[ 384, 393 ] = BGCG(R_ 24( 20, 7), C_ 4, {3, 4, 5, 6})

     32-fold covered by C4[ 384, 394 ] = PL(CS(R_ 24( 8, 19)[ 24^ 4], 0))

     32-fold covered by C4[ 384, 395 ] = PL(CS(R_ 24( 8, 19)[ 24^ 4], 1))

     32-fold covered by C4[ 384, 396 ] = PL(CS(R_ 24( 8, 19)[ 6^ 16], 1))

     32-fold covered by C4[ 384, 397 ] = BGCG(R_ 24( 8, 19), C_ 4, {1, 2})

     32-fold covered by C4[ 384, 398 ] = BGCG(R_ 24( 8, 19), C_ 4, {3, 4, 5, 6})

     32-fold covered by C4[ 384, 399 ] = PL(CS(PX( 6, 3)[ 4^ 24], 1))

     32-fold covered by C4[ 384, 400 ] = PL(CS(PX( 6, 3)[ 6^ 16], 0))

     32-fold covered by C4[ 384, 401 ] = PL(CS(PX( 6, 3)[ 6^ 16], 1))

     32-fold covered by C4[ 384, 402 ] = PL(CS(PX( 6, 3)[ 12^ 8], 1))

     32-fold covered by C4[ 384, 403 ] = PL(CS(PX( 6, 3)[ 6^ 16], 1))

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

     32-fold covered by C4[ 384, 405 ] = BGCG(PX( 6, 3), C_ 4, {7, 10})

     32-fold covered by C4[ 384, 406 ] = BGCG(PX( 6, 3), C_ 4, {8, 9})

     32-fold covered by C4[ 384, 407 ] = PL(CS(KE_12(1,7,4,9,1)[ 12^ 8], 1))

     32-fold covered by C4[ 384, 408 ] = PL(CS(KE_12(1,7,4,9,1)[ 6^ 16], 1))

     32-fold covered by C4[ 384, 409 ] = PL(CS(KE_12(1,7,4,9,1)[ 8^ 12], 1))

     32-fold covered by C4[ 384, 410 ] = BGCG(KE_12(1,7,4,9,1), C_ 4, {10, 11})

     32-fold covered by C4[ 384, 411 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 8^ 12], 1))

     32-fold covered by C4[ 384, 412 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 3^ 32], 1))

     32-fold covered by C4[ 384, 413 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 6^ 16], 0))

     32-fold covered by C4[ 384, 414 ] = PL(CS(AMC( 3, 8, [ 5. 5: 5. 2])[ 6^ 16], 1))

     32-fold covered by C4[ 384, 415 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]), C_ 4, 2)

     32-fold covered by C4[ 384, 416 ] = SDD(C_ 96(1, 17))

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

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

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

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

     32-fold covered by C4[ 384, 421 ] = SDD(R_ 48( 38, 13))

     32-fold covered by C4[ 384, 422 ] = BGCG(R_ 48( 38, 13); K2;{2, 3})

     32-fold covered by C4[ 384, 423 ] = BGCG(PX( 6, 4); K2;{2, 3, 9, 10})

     32-fold covered by C4[ 384, 425 ] = SDD(KE_24(1,13,10,21,1))

     32-fold covered by C4[ 384, 426 ] = SDD(KE_24(1,13,4,21,5))

     32-fold covered by C4[ 384, 427 ] = BGCG(KE_24(1,13,4,21,5); K2;{2, 3})

     32-fold covered by C4[ 384, 428 ] = BGCG(KE_24(1,13,4,21,5); K2;{6, 7})

     32-fold covered by C4[ 384, 429 ] = BGCG(KE_24(1,9,8,5,5); K2;{2, 3})

     32-fold covered by C4[ 384, 430 ] = SDD(KE_24(1,1,4,21,7))

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

     32-fold covered by C4[ 384, 432 ] = BGCG(KE_24(1,11,8,3,7); K2;{3, 6})

     32-fold covered by C4[ 384, 433 ] = SDD(KE_24(1,11,2,3,11))

     32-fold covered by C4[ 384, 435 ] = SDD(UG(ATD[96,4]))

     32-fold covered by C4[ 384, 436 ] = BGCG(UG(ATD[96,4]); K2;{2, 4})

     32-fold covered by C4[ 384, 437 ] = BGCG(UG(ATD[96,4]); K2;{3, 5})

     32-fold covered by C4[ 384, 438 ] = BGCG(UG(ATD[96,11]); K2;{3, 4})

     32-fold covered by C4[ 384, 439 ] = SDD(UG(ATD[96,13]))

     32-fold covered by C4[ 384, 440 ] = BGCG(UG(ATD[96,13]); K2;{1, 6})

     32-fold covered by C4[ 384, 441 ] = SDD(UG(ATD[96,48]))

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

     32-fold covered by C4[ 384, 443 ] = BGCG(UG(ATD[96,48]); K2;{4, 7})

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

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

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

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

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

     32-fold covered by C4[ 384, 450 ] = BGCG(PX( 12, 4); K1;{17, 18})

     32-fold covered by C4[ 384, 451 ] = BGCG(PX( 12, 4); K1;{20, 21})

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

     32-fold covered by C4[ 384, 453 ] = BGCG(PX( 6, 5); K1;9)

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

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

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

     32-fold covered by C4[ 384, 459 ] = BGCG(KE_48(1,27,16,19,7); K1;4)

     32-fold covered by C4[ 384, 460 ] = BGCG(KE_48(1,27,16,19,7); K1;5)

     32-fold covered by C4[ 384, 461 ] = BGCG(KE_48(1,25,10,45,11); K1;{2, 3})

     32-fold covered by C4[ 384, 462 ] = BGCG(KE_48(1,3,16,19,17); K1;7)

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

     32-fold covered by C4[ 384, 464 ] = BGCG(UG(ATD[192,11]); K1;{1, 3})

     32-fold covered by C4[ 384, 465 ] = BGCG(UG(ATD[192,11]); K1;{2, 5})

     32-fold covered by C4[ 384, 466 ] = BGCG(UG(ATD[192,11]); K1;{7, 9})

     32-fold covered by C4[ 384, 467 ] = BGCG(UG(ATD[192,11]); K1;18)

     32-fold covered by C4[ 384, 468 ] = BGCG(UG(ATD[192,14]); K1;{6, 9})

     32-fold covered by C4[ 384, 469 ] = BGCG(UG(ATD[192,16]); K1;{2, 11})

     32-fold covered by C4[ 384, 470 ] = BGCG(UG(ATD[192,16]); K1;{3, 6})

     32-fold covered by C4[ 384, 471 ] = BGCG(UG(ATD[192,19]); K1;{2, 6})

     32-fold covered by C4[ 384, 472 ] = BGCG(UG(ATD[192,19]); K1;{3, 8})

     32-fold covered by C4[ 384, 473 ] = BGCG(UG(ATD[192,19]); K1;{4, 11})

     32-fold covered by C4[ 384, 474 ] = BGCG(UG(ATD[192,19]); K1;{5, 10})

     32-fold covered by C4[ 384, 475 ] = BGCG(UG(ATD[192,20]); K1;1)

     32-fold covered by C4[ 384, 476 ] = BGCG(UG(ATD[192,20]); K1;3)

     32-fold covered by C4[ 384, 477 ] = BGCG(UG(ATD[192,26]); K1;{2, 5})

     32-fold covered by C4[ 384, 478 ] = BGCG(UG(ATD[192,26]); K1;{3, 4})

     32-fold covered by C4[ 384, 479 ] = BGCG(UG(ATD[192,26]); K1;{9, 10})

     32-fold covered by C4[ 384, 480 ] = BGCG(UG(ATD[192,38]); K1;{1, 6})

     32-fold covered by C4[ 384, 481 ] = BGCG(UG(ATD[192,38]); K1;4)

     32-fold covered by C4[ 384, 482 ] = BGCG(UG(ATD[192,38]); K1;5)

     32-fold covered by C4[ 384, 483 ] = BGCG(UG(ATD[192,38]); K1;7)

     32-fold covered by C4[ 384, 484 ] = BGCG(UG(ATD[192,38]); K1;{8, 10})

     32-fold covered by C4[ 384, 486 ] = BGCG(UG(ATD[192,41]); K1;3)

     32-fold covered by C4[ 384, 487 ] = BGCG(UG(ATD[192,41]); K1;8)

     32-fold covered by C4[ 384, 488 ] = BGCG(UG(ATD[192,44]); K1;2)

     32-fold covered by C4[ 384, 489 ] = BGCG(UG(ATD[192,44]); K1;4)

     32-fold covered by C4[ 384, 490 ] = BGCG(UG(ATD[192,44]); K1;6)

     32-fold covered by C4[ 384, 491 ] = BGCG(UG(ATD[192,44]); K1;8)

     32-fold covered by C4[ 384, 492 ] = BGCG(UG(ATD[192,44]); K1;11)

     32-fold covered by C4[ 384, 493 ] = BGCG(UG(ATD[192,47]); K1;{9, 14})

     32-fold covered by C4[ 384, 494 ] = BGCG(UG(ATD[192,47]); K1;{12, 13})

     32-fold covered by C4[ 384, 495 ] = BGCG(UG(ATD[192,47]); K1;{16, 17, 18, 19})

     32-fold covered by C4[ 384, 496 ] = BGCG(UG(ATD[192,49]); K1;{1, 5})

     32-fold covered by C4[ 384, 497 ] = BGCG(UG(ATD[192,49]); K1;{2, 6})

     32-fold covered by C4[ 384, 498 ] = BGCG(UG(ATD[192,55]); K1;{1, 3})

     32-fold covered by C4[ 384, 499 ] = BGCG(UG(ATD[192,55]); K1;{4, 5})

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

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

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

     32-fold covered by C4[ 384, 505 ] = BGCG(UG(ATD[192,146]); K1;{11, 12})

     32-fold covered by C4[ 384, 506 ] = BGCG(UG(ATD[192,151]); K1;3)

     32-fold covered by C4[ 384, 507 ] = BGCG(UG(ATD[192,151]); K1;4)

     32-fold covered by C4[ 384, 508 ] = BGCG(UG(ATD[192,151]); K1;7)

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

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

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

     32-fold covered by C4[ 384, 512 ] = BGCG(UG(ATD[192,153]); K1;5)

     32-fold covered by C4[ 384, 513 ] = BGCG(UG(ATD[192,153]); K1;6)

     32-fold covered by C4[ 384, 514 ] = BGCG(UG(ATD[192,155]); K1;1)

     32-fold covered by C4[ 384, 515 ] = BGCG(UG(ATD[192,155]); K1;3)

     32-fold covered by C4[ 384, 516 ] = BGCG(UG(ATD[192,155]); K1;6)

     32-fold covered by C4[ 384, 517 ] = BGCG(UG(ATD[192,155]); K1;8)

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

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

     32-fold covered by C4[ 384, 520 ] = BGCG(UG(ATD[192,158]); K1;3)

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

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

     32-fold covered by C4[ 384, 523 ] = BGCG(UG(ATD[192,161]); K1;{9, 10})

     32-fold covered by C4[ 384, 524 ] = BGCG(UG(ATD[192,161]); K1;{11, 14})

     32-fold covered by C4[ 384, 525 ] = BGCG(UG(ATD[192,161]); K1;{13, 15})

     32-fold covered by C4[ 384, 526 ] = BGCG(UG(ATD[192,177]); K1;3)

     32-fold covered by C4[ 384, 527 ] = BGCG(UG(ATD[192,177]); K1;5)

     32-fold covered by C4[ 384, 528 ] = BGCG(UG(ATD[192,183]); K1;{12, 14})

     32-fold covered by C4[ 384, 529 ] = BGCG(UG(ATD[192,183]); K1;{13, 15})

     32-fold covered by C4[ 384, 530 ] = BGCG(UG(ATD[192,199]); K1;3)

     32-fold covered by C4[ 384, 531 ] = BGCG(UG(ATD[192,199]); K1;5)

     32-fold covered by C4[ 384, 532 ] = BGCG(UG(ATD[192,201]); K1;7)

     32-fold covered by C4[ 384, 533 ] = BGCG(UG(ATD[192,203]); K1;1)

     32-fold covered by C4[ 384, 534 ] = BGCG(UG(ATD[192,203]); K1;6)

     32-fold covered by C4[ 384, 535 ] = BGCG(UG(ATD[192,205]); K1;5)

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

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

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

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

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

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

     32-fold covered by C4[ 384, 542 ] = SS[384, 5]

     32-fold covered by C4[ 384, 543 ] = SS[384, 7]

     32-fold covered by C4[ 384, 544 ] = SS[384, 11]

     32-fold covered by C4[ 384, 545 ] = SS[384, 17]

     32-fold covered by C4[ 384, 546 ] = SS[384, 29]

     32-fold covered by C4[ 384, 547 ] = SS[384, 30]

     32-fold covered by C4[ 384, 548 ] = SS[384, 39]

     32-fold covered by C4[ 384, 549 ] = SS[384, 40]

     32-fold covered by C4[ 384, 550 ] = SS[384, 41]

     32-fold covered by C4[ 384, 551 ] = SS[384, 42]

     32-fold covered by C4[ 384, 552 ] = SS[384, 43]

     32-fold covered by C4[ 384, 553 ] = SS[384, 44]

     32-fold covered by C4[ 384, 554 ] = SS[384, 47]

     32-fold covered by C4[ 384, 555 ] = SS[384, 48]

     32-fold covered by C4[ 384, 556 ] = SS[384, 49]

     32-fold covered by C4[ 384, 557 ] = SS[384, 50]

     32-fold covered by C4[ 384, 558 ] = SS[384, 51]

     32-fold covered by C4[ 384, 559 ] = SS[384, 52]

     32-fold covered by C4[ 384, 560 ] = SS[384, 53]

     32-fold covered by C4[ 384, 561 ] = SS[384, 54]

     32-fold covered by C4[ 384, 562 ] = SS[384, 55]

     33-fold covered by C4[ 396, 2 ] = C_396(1, 89)

     33-fold covered by C4[ 396, 4 ] = DW(132, 3)

     33-fold covered by C4[ 396, 5 ] = {4, 4}_< 20, 2>

     33-fold covered by C4[ 396, 6 ] = {4, 4}_[ 33, 6]

     33-fold covered by C4[ 396, 7 ] = {4, 4}_< 36, 30>

     33-fold covered by C4[ 396, 8 ] = PS( 12, 33; 10)

     33-fold covered by C4[ 396, 11 ] = PL(MSY( 6, 33, 23, 0))

     33-fold covered by C4[ 396, 12 ] = PL(MC3( 6, 33, 1, 10, 23, 0, 1), [6^33, 22^9])

     34-fold covered by C4[ 408, 3 ] = C_408(1, 67)

     34-fold covered by C4[ 408, 4 ] = C_408(1,101)

     34-fold covered by C4[ 408, 5 ] = C_408(1,103)

     34-fold covered by C4[ 408, 6 ] = C_408(1,137)

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

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

     34-fold covered by C4[ 408, 10 ] = PS( 34, 24; 7)

     34-fold covered by C4[ 408, 17 ] = PS( 8, 51; 2)

     34-fold covered by C4[ 408, 18 ] = PS( 8, 51; 4)

     34-fold covered by C4[ 408, 19 ] = PS( 8, 51; 8)

     34-fold covered by C4[ 408, 20 ] = PS( 4,204; 13)

     34-fold covered by C4[ 408, 21 ] = MPS( 4,204; 13)

     34-fold covered by C4[ 408, 26 ] = PL(MSY( 4, 51, 35, 0))

     34-fold covered by C4[ 408, 28 ] = PL(MC3( 4, 51, 1, 50, 16, 0, 1), [4^51, 102^2])

     34-fold covered by C4[ 408, 31 ] = PL(WH_ 68( 2, 0, 15, 19), [3^68, 34^6])

     34-fold covered by C4[ 408, 32 ] = PL(Curtain_51(1,16,35,50,51),[4^51,34^6])

     34-fold covered by C4[ 408, 35 ] = PL(Br( 6, 34; 13))

     34-fold covered by C4[ 408, 36 ] = PL(BC_102({ 0, 51 }, { 1, 16 })

     34-fold covered by C4[ 408, 38 ] = UG(ATD[408,17])

     34-fold covered by C4[ 408, 39 ] = UG(ATD[408,20])

     34-fold covered by C4[ 408, 40 ] = SDD(C_102(1, 35))

     34-fold covered by C4[ 408, 44 ] = SS[408, 1]

     35-fold covered by C4[ 420, 2 ] = C_420(1, 29)

     35-fold covered by C4[ 420, 3 ] = C_420(1, 41)

     35-fold covered by C4[ 420, 5 ] = C_420(1,139)

     35-fold covered by C4[ 420, 8 ] = {4, 4}_< 22, 8>

     35-fold covered by C4[ 420, 9 ] = {4, 4}_< 26, 16>

     35-fold covered by C4[ 420, 10 ] = {4, 4}_< 38, 32>

     35-fold covered by C4[ 420, 13 ] = PS( 15, 28; 3)

     35-fold covered by C4[ 420, 14 ] = PS( 30, 28; 5)

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

     35-fold covered by C4[ 420, 16 ] = PS( 28, 15; 4)

     35-fold covered by C4[ 420, 17 ] = PS( 20, 21; 8)

     35-fold covered by C4[ 420, 24 ] = PS( 3,140; 19)

     35-fold covered by C4[ 420, 25 ] = PS( 6,140; 9)

     35-fold covered by C4[ 420, 26 ] = PS( 6,140; 11)

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

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

     35-fold covered by C4[ 420, 32 ] = PL(MSY( 10, 21, 13, 0))

     35-fold covered by C4[ 420, 33 ] = PL(MSY( 14, 15, 11, 0))

     35-fold covered by C4[ 420, 34 ] = PL(MC3( 6, 35, 1, 29, 6, 0, 1), [6^35, 10^21])

     35-fold covered by C4[ 420, 36 ] = PL(MC3( 6, 35, 1, 6, 29, 0, 1), [6^35, 14^15])

     35-fold covered by C4[ 420, 37 ] = PL(MC3( 10, 21, 1, 13, 8, 0, 1), [10^21, 14^15])

     36-fold covered by C4[ 432, 2 ] = C_432(1, 55)

     36-fold covered by C4[ 432, 3 ] = C_432(1,161)

     36-fold covered by C4[ 432, 4 ] = DW(144, 3)

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

     36-fold covered by C4[ 432, 6 ] = {4, 4}_< 21, 3>

     36-fold covered by C4[ 432, 7 ] = {4, 4}_[ 24, 9]

     36-fold covered by C4[ 432, 8 ] = {4, 4}_< 24, 12>

     36-fold covered by C4[ 432, 9 ] = {4, 4}_[ 36, 6]

     36-fold covered by C4[ 432, 10 ] = {4, 4}_< 39, 33>

     36-fold covered by C4[ 432, 11 ] = {4, 4}_[ 54, 4]

     36-fold covered by C4[ 432, 12 ] = {4, 4}_< 56, 52>

     36-fold covered by C4[ 432, 13 ] = PS( 48, 9; 2)

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

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

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

     36-fold covered by C4[ 432, 17 ] = MPS( 24, 36; 5)

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

     36-fold covered by C4[ 432, 19 ] = PS( 18, 48; 17)

     36-fold covered by C4[ 432, 20 ] = PS( 12, 72; 5)

     36-fold covered by C4[ 432, 21 ] = PS( 12, 72; 11)

     36-fold covered by C4[ 432, 22 ] = MPS( 12, 72; 5)

     36-fold covered by C4[ 432, 23 ] = MPS( 12, 72; 11)

     36-fold covered by C4[ 432, 24 ] = MPS( 12, 72; 17)

     36-fold covered by C4[ 432, 25 ] = PS( 3,144; 47)

     36-fold covered by C4[ 432, 26 ] = PS( 6,144; 7)

     36-fold covered by C4[ 432, 27 ] = PS( 6,144; 23)

     36-fold covered by C4[ 432, 28 ] = PS( 6,144; 31)

     36-fold covered by C4[ 432, 30 ] = R_216(164, 55)

     36-fold covered by C4[ 432, 31 ] = R_216( 56, 163)

     36-fold covered by C4[ 432, 34 ] = PL(MSY( 6, 36, 17, 0))

     36-fold covered by C4[ 432, 35 ] = PL(MSY( 6, 36, 17, 18))

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

     36-fold covered by C4[ 432, 37 ] = MSY( 6, 72, 13, 6)

     36-fold covered by C4[ 432, 38 ] = PL(MC3( 6, 36, 1, 19, 17, 0, 1), [4^54, 6^36])

     36-fold covered by C4[ 432, 39 ] = PL(MC3( 6, 36, 1, 19, 17, 18, 1), [4^54, 12^18])

     36-fold covered by C4[ 432, 40 ] = PL(MC3( 6, 36, 1, 17, 19, 0, 1), [6^36, 18^12])

     36-fold covered by C4[ 432, 41 ] = PL(MC3( 18, 12, 1, 7, 5, 0, 1), [4^54, 18^12])

     36-fold covered by C4[ 432, 42 ] = PL(MC3( 18, 12, 1, 7, 5, 6, 1), [4^54, 36^6])

     36-fold covered by C4[ 432, 43 ] = PL(WH_ 72( 9, 1, 24, 55), [8^27, 9^24])

     36-fold covered by C4[ 432, 44 ] = PL(WH_ 72( 9, 1, 55, 60), [8^27, 18^12])

     36-fold covered by C4[ 432, 48 ] = AMC( 48, 3, [ 0. 1: 2. 2])

     36-fold covered by C4[ 432, 50 ] = PL(RC( 6, 3), [6^36, 6^36])

     36-fold covered by C4[ 432, 52 ] = UG(ATD[432,3])

     36-fold covered by C4[ 432, 53 ] = UG(ATD[432,5])

     36-fold covered by C4[ 432, 54 ] = UG(ATD[432,7])

     36-fold covered by C4[ 432, 55 ] = UG(ATD[432,9])

     36-fold covered by C4[ 432, 56 ] = UG(ATD[432,11])

     36-fold covered by C4[ 432, 57 ] = UG(ATD[432,13])

     36-fold covered by C4[ 432, 58 ] = UG(ATD[432,15])

     36-fold covered by C4[ 432, 59 ] = UG(ATD[432,17])

     36-fold covered by C4[ 432, 63 ] = UG(ATD[432,25])

     36-fold covered by C4[ 432, 64 ] = UG(ATD[432,27])

     36-fold covered by C4[ 432, 65 ] = UG(ATD[432,29])

     36-fold covered by C4[ 432, 66 ] = UG(ATD[432,31])

     36-fold covered by C4[ 432, 67 ] = UG(ATD[432,33])

     36-fold covered by C4[ 432, 68 ] = UG(ATD[432,35])

     36-fold covered by C4[ 432, 72 ] = UG(ATD[432,57])

     36-fold covered by C4[ 432, 73 ] = UG(ATD[432,69])

     36-fold covered by C4[ 432, 74 ] = UG(ATD[432,71])

     36-fold covered by C4[ 432, 75 ] = UG(ATD[432,73])

     36-fold covered by C4[ 432, 76 ] = UG(ATD[432,75])

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

     36-fold covered by C4[ 432, 78 ] = UG(ATD[432,79])

     36-fold covered by C4[ 432, 79 ] = UG(ATD[432,81])

     36-fold covered by C4[ 432, 80 ] = UG(ATD[432,83])

     36-fold covered by C4[ 432, 83 ] = UG(ATD[432,88])

     36-fold covered by C4[ 432, 84 ] = UG(ATD[432,91])

     36-fold covered by C4[ 432, 85 ] = UG(ATD[432,94])

     36-fold covered by C4[ 432, 86 ] = UG(ATD[432,99])

     36-fold covered by C4[ 432, 89 ] = UG(ATD[432,106])

     36-fold covered by C4[ 432, 90 ] = UG(ATD[432,109])

     36-fold covered by C4[ 432, 91 ] = UG(ATD[432,112])

     36-fold covered by C4[ 432, 92 ] = UG(ATD[432,115])

     36-fold covered by C4[ 432, 95 ] = UG(ATD[432,122])

     36-fold covered by C4[ 432, 97 ] = UG(ATD[432,128])

     36-fold covered by C4[ 432, 98 ] = UG(ATD[432,131])

     36-fold covered by C4[ 432, 99 ] = UG(ATD[432,134])

     36-fold covered by C4[ 432, 101 ] = UG(ATD[432,142])

     36-fold covered by C4[ 432, 102 ] = UG(ATD[432,145])

     36-fold covered by C4[ 432, 103 ] = UG(ATD[432,147])

     36-fold covered by C4[ 432, 110 ] = UG(ATD[432,160])

     36-fold covered by C4[ 432, 111 ] = UG(ATD[432,163])

     36-fold covered by C4[ 432, 112 ] = UG(ATD[432,166])

     36-fold covered by C4[ 432, 113 ] = UG(ATD[432,169])

     36-fold covered by C4[ 432, 114 ] = UG(ATD[432,172])

     36-fold covered by C4[ 432, 115 ] = UG(ATD[432,175])

     36-fold covered by C4[ 432, 116 ] = UG(ATD[432,178])

     36-fold covered by C4[ 432, 117 ] = UG(ATD[432,181])

     36-fold covered by C4[ 432, 118 ] = UG(ATD[432,184])

     36-fold covered by C4[ 432, 119 ] = UG(ATD[432,187])

     36-fold covered by C4[ 432, 139 ] = UG(ATD[432,262])

     36-fold covered by C4[ 432, 140 ] = UG(ATD[432,277])

     36-fold covered by C4[ 432, 141 ] = UG(ATD[432,298])

     36-fold covered by C4[ 432, 142 ] = UG(ATD[432,301])

     36-fold covered by C4[ 432, 143 ] = UG(ATD[432,304])

     36-fold covered by C4[ 432, 144 ] = UG(ATD[432,307])

     36-fold covered by C4[ 432, 145 ] = UG(ATD[432,310])

     36-fold covered by C4[ 432, 146 ] = UG(ATD[432,313])

     36-fold covered by C4[ 432, 147 ] = UG(ATD[432,316])

     36-fold covered by C4[ 432, 148 ] = UG(ATD[432,319])

     36-fold covered by C4[ 432, 149 ] = UG(ATD[432,322])

     36-fold covered by C4[ 432, 150 ] = UG(ATD[432,325])

     36-fold covered by C4[ 432, 151 ] = UG(ATD[432,330])

     36-fold covered by C4[ 432, 152 ] = UG(ATD[432,333])

     36-fold covered by C4[ 432, 153 ] = UG(ATD[432,336])

     36-fold covered by C4[ 432, 154 ] = UG(ATD[432,341])

     36-fold covered by C4[ 432, 155 ] = UG(ATD[432,344])

     36-fold covered by C4[ 432, 156 ] = UG(ATD[432,347])

     36-fold covered by C4[ 432, 158 ] = PL(ATD[6,1]#ATD[54,5])

     36-fold covered by C4[ 432, 159 ] = PL(ATD[9,1]#ATD[12,1])

     36-fold covered by C4[ 432, 160 ] = PL(ATD[9,1]#ATD[12,3])

     36-fold covered by C4[ 432, 161 ] = PL(ATD[9,1]#DCyc[12])

     36-fold covered by C4[ 432, 162 ] = PL(ATD[9,1]#ATD[36,6])

     36-fold covered by C4[ 432, 164 ] = PL(ATD[12,1]#DCyc[9])

     36-fold covered by C4[ 432, 165 ] = PL(ATD[12,2]#ATD[36,4])

     36-fold covered by C4[ 432, 166 ] = PL(ATD[12,3]#ATD[18,2])

     36-fold covered by C4[ 432, 167 ] = PL(ATD[12,4]#DCyc[9])

     36-fold covered by C4[ 432, 168 ] = PL(ATD[12,4]#ATD[27,5])

     36-fold covered by C4[ 432, 169 ] = PL(ATD[18,2]#DCyc[12])

     36-fold covered by C4[ 432, 170 ] = PL(ATD[36,2]#DCyc[3])

     36-fold covered by C4[ 432, 171 ] = PL(ATD[36,7]#DCyc[3])

     36-fold covered by C4[ 432, 172 ] = PL(ATD[36,10]#DCyc[3])

     36-fold covered by C4[ 432, 175 ] = PL(ATD[54,9]#DCyc[4])

     36-fold covered by C4[ 432, 176 ] = SDD(AMC( 3, 12, [ 1. 1: 9. 10]))

     36-fold covered by C4[ 432, 179 ] = SDD(UG(ATD[108,14]))

     36-fold covered by C4[ 432, 180 ] = XI(Rmap(216,13){6,6|6}_12)

     36-fold covered by C4[ 432, 182 ] = SDD(Pr_ 36( 1, 25, 29, 17))

     36-fold covered by C4[ 432, 184 ] = SDD(AMC( 12, 3, [ 0. 1: 2. 2]))

     36-fold covered by C4[ 432, 186 ] = SDD(DW( 36, 3))

     36-fold covered by C4[ 432, 187 ] = XI(Rmap(216,82){12,12|3}_12)

     36-fold covered by C4[ 432, 188 ] = SDD(UG(ATD[108,18]))

     36-fold covered by C4[ 432, 190 ] = XI(Rmap(216,101){12,18|4}_18)

     36-fold covered by C4[ 432, 191 ] = SDD({4, 4}_< 12, 6>)

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

     36-fold covered by C4[ 432, 193 ] = XI(Cmap(216,9){4,24|6}_24)

     36-fold covered by C4[ 432, 195 ] = XI(Cmap(216,30){12,8|6}_24)

     36-fold covered by C4[ 432, 196 ] = PL(CSI(Octahedron[ 3^ 4], 18))

     36-fold covered by C4[ 432, 198 ] = PL(CSI(W( 6, 2)[ 6^ 4], 9))

     36-fold covered by C4[ 432, 199 ] = BGCG(R_ 12( 8, 7), C_ 9, {7, 8})

     36-fold covered by C4[ 432, 201 ] = PL(CSI(W( 18, 2)[ 18^ 4], 3))

     36-fold covered by C4[ 432, 202 ] = BGCG({4, 4}_ 6, 0, C_ 6, {3, 5, 9, 10})

     36-fold covered by C4[ 432, 203 ] = BGCG({4, 4}_ 6, 0, C_ 6, {6, 7})

     36-fold covered by C4[ 432, 204 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 6, 1)

     36-fold covered by C4[ 432, 205 ] = PL(CS(W( 27, 2)[ 27^ 4], 0))

     36-fold covered by C4[ 432, 206 ] = PL(CS(W( 27, 2)[ 27^ 4], 1))

     36-fold covered by C4[ 432, 207 ] = PL(CS(DW( 18, 3)[ 18^ 6], 1))

     36-fold covered by C4[ 432, 211 ] = BGCG(MC3( 6, 9, 1, 6, 2, 0, 1), C_ 4, {1, 2, 3, 4, 5, 6})

     36-fold covered by C4[ 432, 213 ] = PL(CS(AMC( 6, 3, [ 0. 1: 2. 2])[ 6^ 18], 1))

     36-fold covered by C4[ 432, 216 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {1, 11})

     36-fold covered by C4[ 432, 217 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {2, 12})

     36-fold covered by C4[ 432, 218 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {4, 13})

     36-fold covered by C4[ 432, 225 ] = BGCG(PS( 6, 24; 7), C_ 3, {3, 4, 9, 14})

     36-fold covered by C4[ 432, 226 ] = BGCG(PS( 6, 24; 7), C_ 3, {5, 13})

     36-fold covered by C4[ 432, 227 ] = BGCG(PS( 6, 24; 7), C_ 3, {6, 7, 11, 12})

     36-fold covered by C4[ 432, 228 ] = BGCG(PS( 6, 24; 7), C_ 3, {8, 10})

     36-fold covered by C4[ 432, 230 ] = BGCG(UG(ATD[72,13]), C_ 3, 1)

     36-fold covered by C4[ 432, 231 ] = BGCG(UG(ATD[72,13]), C_ 3, 3)

     36-fold covered by C4[ 432, 232 ] = BGCG(UG(ATD[72,13]), C_ 3, 7)

     36-fold covered by C4[ 432, 233 ] = BGCG(UG(ATD[72,13]), C_ 3, 8)

     36-fold covered by C4[ 432, 234 ] = BGCG(UG(ATD[72,13]), C_ 3, 10)

     36-fold covered by C4[ 432, 235 ] = BGCG(AMC( 12, 3, [ 0. 1: 2. 2]); K2;{1, 2, 4, 7})

     36-fold covered by C4[ 432, 237 ] = BGCG(AMC( 12, 3, [ 0. 1: 1. 2]); K2;{2, 3})

     36-fold covered by C4[ 432, 238 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;{1, 7})

     36-fold covered by C4[ 432, 239 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;3)

     36-fold covered by C4[ 432, 240 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;4)

     36-fold covered by C4[ 432, 241 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;5)

     36-fold covered by C4[ 432, 242 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;6)

     36-fold covered by C4[ 432, 243 ] = BGCG(UG(ATD[108,14]); K2;6)

     36-fold covered by C4[ 432, 247 ] = BGCG(AMC( 24, 3, [ 0. 1: 2. 2]); K1;{2, 3})

     36-fold covered by C4[ 432, 248 ] = BGCG(AMC( 24, 3, [ 0. 1: 2. 2]); K1;{5, 6})

     36-fold covered by C4[ 432, 253 ] = BGCG(UG(ATD[216,45]); K1;3)

     36-fold covered by C4[ 432, 254 ] = BGCG(UG(ATD[216,54]); K1;{5, 7})

     36-fold covered by C4[ 432, 256 ] = BGCG(UG(ATD[216,56]); K1;1)

     36-fold covered by C4[ 432, 257 ] = BGCG(UG(ATD[216,56]); K1;2)

     36-fold covered by C4[ 432, 258 ] = BGCG(UG(ATD[216,71]); K1;{1, 8})

     36-fold covered by C4[ 432, 259 ] = BGCG(UG(ATD[216,71]); K1;2)

     36-fold covered by C4[ 432, 260 ] = BGCG(UG(ATD[216,71]); K1;3)

     36-fold covered by C4[ 432, 261 ] = BGCG(UG(ATD[216,71]); K1;4)

     36-fold covered by C4[ 432, 262 ] = BGCG(UG(ATD[216,71]); K1;6)

     36-fold covered by C4[ 432, 263 ] = BGCG(UG(ATD[216,71]); K1;7)

     36-fold covered by C4[ 432, 264 ] = BGCG(UG(ATD[216,71]); K1;{9, 13})

     36-fold covered by C4[ 432, 265 ] = BGCG(UG(ATD[216,71]); K1;12)

     36-fold covered by C4[ 432, 278 ] = BGCG(UG(ATD[216,138]); K1;{1, 7})

     36-fold covered by C4[ 432, 279 ] = BGCG(UG(ATD[216,138]); K1;{3, 5})

     36-fold covered by C4[ 432, 280 ] = BGCG(UG(ATD[216,140]); K1;{2, 7})

     36-fold covered by C4[ 432, 281 ] = BGCG(UG(ATD[216,140]); K1;{4, 6})

     36-fold covered by C4[ 432, 282 ] = SS[432, 5]

     37-fold covered by C4[ 444, 3 ] = C_444(1,149)

     37-fold covered by C4[ 444, 4 ] = {4, 4}_< 40, 34>

     37-fold covered by C4[ 444, 8 ] = PS( 3,148; 11)

     37-fold covered by C4[ 444, 9 ] = PS( 6,148; 47)

     37-fold covered by C4[ 444, 10 ] = PS( 4,111; 31)

     38-fold covered by C4[ 456, 3 ] = C_456(1, 77)

     38-fold covered by C4[ 456, 4 ] = C_456(1,113)

     38-fold covered by C4[ 456, 5 ] = C_456(1,115)

     38-fold covered by C4[ 456, 6 ] = C_456(1,151)

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

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

     38-fold covered by C4[ 456, 10 ] = PS( 38, 24; 7)

     38-fold covered by C4[ 456, 12 ] = PS( 12, 76; 7)

     38-fold covered by C4[ 456, 14 ] = PS( 3,152; 31)

     38-fold covered by C4[ 456, 15 ] = PS( 6,152; 7)

     38-fold covered by C4[ 456, 16 ] = PS( 6,152; 11)

     38-fold covered by C4[ 456, 17 ] = PS( 6,152; 27)

     38-fold covered by C4[ 456, 22 ] = PL(MSY( 4, 57, 37, 0))

     38-fold covered by C4[ 456, 23 ] = PL(MC3( 4, 57, 1, 56, 20, 0, 1), [4^57, 114^2])

     38-fold covered by C4[ 456, 26 ] = PL(WH_ 76( 2, 0, 17, 21), [3^76, 38^6])

     38-fold covered by C4[ 456, 28 ] = PL(Curtain_57(1,21,1,2,38),[4^57,38^6])

     38-fold covered by C4[ 456, 30 ] = PL(BC_114({ 0, 57 }, { 1, 94 })

     38-fold covered by C4[ 456, 31 ] = UG(ATD[456,1])

     38-fold covered by C4[ 456, 34 ] = UG(ATD[456,21])

     38-fold covered by C4[ 456, 35 ] = SDD(C_114(1, 37))

     39-fold covered by C4[ 468, 2 ] = C_468(1, 53)

     39-fold covered by C4[ 468, 4 ] = DW(156, 3)

     39-fold covered by C4[ 468, 6 ] = {4, 4}_< 22, 4>

     39-fold covered by C4[ 468, 7 ] = {4, 4}_[ 39, 6]

     39-fold covered by C4[ 468, 8 ] = {4, 4}_< 42, 36>

     39-fold covered by C4[ 468, 12 ] = PS( 9, 52; 9)

     39-fold covered by C4[ 468, 13 ] = PS( 18, 52; 3)

     39-fold covered by C4[ 468, 14 ] = PS( 12, 39; 2)

     39-fold covered by C4[ 468, 15 ] = PS( 12, 39; 4)

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

     39-fold covered by C4[ 468, 17 ] = PS( 12, 39; 7)

     39-fold covered by C4[ 468, 18 ] = PS( 12, 39; 14)

     39-fold covered by C4[ 468, 19 ] = PS( 12, 39; 16)

     39-fold covered by C4[ 468, 20 ] = PS( 3,156; 23)

     39-fold covered by C4[ 468, 21 ] = PS( 6,156; 17)

     39-fold covered by C4[ 468, 22 ] = PS( 6,156; 29)

     39-fold covered by C4[ 468, 23 ] = PS( 6,156; 35)

     39-fold covered by C4[ 468, 25 ] = PS( 4,117; 8)

     39-fold covered by C4[ 468, 27 ] = PL(MSY( 6, 39, 14, 0))

     39-fold covered by C4[ 468, 29 ] = PL(MC3( 6, 39, 1, 25, 14, 0, 1), [6^39, 26^9])

     40-fold covered by C4[ 480, 2 ] = C_480(1, 31)

     40-fold covered by C4[ 480, 4 ] = C_480(1, 79)

     40-fold covered by C4[ 480, 5 ] = C_480(1,161)

     40-fold covered by C4[ 480, 7 ] = C_480(1,209)

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

     40-fold covered by C4[ 480, 9 ] = {4, 4}_< 22, 2>

     40-fold covered by C4[ 480, 10 ] = {4, 4}_[ 24, 10]

     40-fold covered by C4[ 480, 11 ] = {4, 4}_< 26, 14>

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

     40-fold covered by C4[ 480, 13 ] = {4, 4}_< 34, 26>

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

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

     40-fold covered by C4[ 480, 16 ] = {4, 4}_< 62, 58>

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

     40-fold covered by C4[ 480, 19 ] = MPS( 60, 16; 3)

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

     40-fold covered by C4[ 480, 23 ] = MPS( 40, 24; 5)

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

     40-fold covered by C4[ 480, 25 ] = PS( 32, 15; 4)

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

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

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

     40-fold covered by C4[ 480, 29 ] = MPS( 24, 40; 9)

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

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

     40-fold covered by C4[ 480, 32 ] = MPS( 20, 48; 5)

     40-fold covered by C4[ 480, 33 ] = MPS( 20, 48; 7)

     40-fold covered by C4[ 480, 34 ] = MPS( 20, 48; 11)

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

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

     40-fold covered by C4[ 480, 37 ] = MPS( 16, 60; 11)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     40-fold covered by C4[ 480, 57 ] = R_240(182, 61)

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

     40-fold covered by C4[ 480, 62 ] = PL(MSY( 4, 60, 11, 30))

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

     40-fold covered by C4[ 480, 64 ] = PL(MSY( 4, 60, 29, 30))

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

     40-fold covered by C4[ 480, 66 ] = PL(MSY( 4, 60, 19, 30))

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

     40-fold covered by C4[ 480, 68 ] = PL(MSY( 6, 40, 11, 20))

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

     40-fold covered by C4[ 480, 70 ] = PL(MSY( 6, 40, 19, 20))

     40-fold covered by C4[ 480, 71 ] = PL(MSY( 6, 40, 9, 0))

     40-fold covered by C4[ 480, 72 ] = PL(MSY( 6, 40, 9, 20))

     40-fold covered by C4[ 480, 73 ] = PL(MSY( 8, 30, 11, 0))

     40-fold covered by C4[ 480, 74 ] = PL(MSY( 8, 30, 11, 15))

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

     40-fold covered by C4[ 480, 76 ] = PL(MSY( 10, 24, 11, 12))

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

     40-fold covered by C4[ 480, 78 ] = PL(MSY( 10, 24, 5, 12))

     40-fold covered by C4[ 480, 79 ] = PL(MSY( 10, 24, 17, 0))

     40-fold covered by C4[ 480, 80 ] = PL(MSY( 10, 24, 17, 12))

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

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

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

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

     40-fold covered by C4[ 480, 86 ] = MSY( 4,120, 61, 44)

     40-fold covered by C4[ 480, 87 ] = PL(MSZ ( 12, 20, 3, 9), [4^60, 12^20])

     40-fold covered by C4[ 480, 88 ] = PL(MSZ ( 20, 12, 5, 5), [4^60, 20^12])

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

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

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

     40-fold covered by C4[ 480, 94 ] = PL(MC3( 6, 40, 1, 31, 9, 0, 1), [6^40, 8^30])

     40-fold covered by C4[ 480, 95 ] = PL(MC3( 6, 40, 1, 21, 9, 10, 1), [4^60, 24^10])

     40-fold covered by C4[ 480, 96 ] = PL(MC3( 6, 40, 1, 11, 9, 20, 1), [8^30, 12^20])

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

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

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

     40-fold covered by C4[ 480, 100 ] = PL(MC3( 6, 40, 1, 21, 11, 28, 1), [4^60, 60^4])

     40-fold covered by C4[ 480, 101 ] = PL(MC3( 6, 40, 1, 21, 19, 0, 1), [4^60, 6^40])

     40-fold covered by C4[ 480, 102 ] = PL(MC3( 6, 40, 1, 21, 19, 20, 1), [4^60, 12^20])

     40-fold covered by C4[ 480, 103 ] = PL(MC3( 6, 40, 1, 29, 19, 20, 1), [12^20, 20^12])

     40-fold covered by C4[ 480, 104 ] = PL(MC3( 6, 40, 1, 31, 19, 20, 1), [8^30, 12^20])

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

     40-fold covered by C4[ 480, 106 ] = PL(MC3( 6, 40, 1, 9, 31, 0, 1), [6^40, 10^24])

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

     40-fold covered by C4[ 480, 108 ] = PL(MC3( 10, 24, 1, 13, 5, 6, 1), [4^60, 40^6])

     40-fold covered by C4[ 480, 109 ] = PL(MC3( 10, 24, 1, 7, 5, 12, 1), [8^30, 20^12])

     40-fold covered by C4[ 480, 110 ] = PL(MC3( 10, 24, 1, 13, 11, 0, 1), [4^60, 10^24])

     40-fold covered by C4[ 480, 111 ] = PL(MC3( 10, 24, 1, 13, 11, 12, 1), [4^60, 20^12])

     40-fold covered by C4[ 480, 112 ] = PL(MC3( 10, 24, 1, 19, 11, 12, 1), [8^30, 20^12])

     40-fold covered by C4[ 480, 113 ] = PL(MC3( 10, 24, 1, 7, 17, 0, 1), [8^30, 10^24])

     40-fold covered by C4[ 480, 115 ] = PL(LoPr_ 60( 1, 30, 22, 30, 1), [4^60, 60^4])

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

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

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

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

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

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

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

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

     40-fold covered by C4[ 480, 124 ] = PL(KE_60(15,1,30,59,15),[4^60,120^2])

     40-fold covered by C4[ 480, 125 ] = PL(Curtain_60(1,4,11,14,30),[8^30,40^6])

     40-fold covered by C4[ 480, 126 ] = PL(Curtain_60(1,11,19,29,60),[4^60,12^20])

     40-fold covered by C4[ 480, 127 ] = PL(Curtain_60(1,12,1,20,32),[4^60,10^24])

     40-fold covered by C4[ 480, 128 ] = PL(Curtain_60(1,12,5,17,31),[8^30,10^24])

     40-fold covered by C4[ 480, 129 ] = PL(Curtain_60(1,12,31,35,47),[8^30,10^24])

     40-fold covered by C4[ 480, 130 ] = PL(Curtain_60(1,19,11,29,60),[4^60,20^12])

     40-fold covered by C4[ 480, 131 ] = PL(Curtain_60(1,20,1,12,32),[4^60,6^40])

     40-fold covered by C4[ 480, 132 ] = PL(Curtain_60(1,27,17,31,50),[8^30,40^6])

     40-fold covered by C4[ 480, 135 ] = PL(Curtain_60(1,30,7,8,38),[4^60,40^6])

     40-fold covered by C4[ 480, 136 ] = PL(Curtain_60(1,30,8,37,38),[4^60,20^12])

     40-fold covered by C4[ 480, 138 ] = PL(Curtain_60(1,30,21,22,52),[4^60,12^20])

     40-fold covered by C4[ 480, 139 ] = PL(Curtain_60(1,30,22,51,52),[4^60,24^10])

     40-fold covered by C4[ 480, 141 ] = PL(MBr( 2, 120; 11))

     40-fold covered by C4[ 480, 142 ] = PL(MBr( 2, 120; 19))

     40-fold covered by C4[ 480, 145 ] = UG(ATD[480,5])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

     40-fold covered by C4[ 480, 168 ] = UG(ATD[480,93])

     40-fold covered by C4[ 480, 169 ] = UG(ATD[480,96])

     40-fold covered by C4[ 480, 170 ] = UG(ATD[480,99])

     40-fold covered by C4[ 480, 171 ] = UG(ATD[480,102])

     40-fold covered by C4[ 480, 172 ] = UG(ATD[480,105])

     40-fold covered by C4[ 480, 174 ] = UG(ATD[480,109])

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

     40-fold covered by C4[ 480, 176 ] = UG(ATD[480,113])

     40-fold covered by C4[ 480, 177 ] = UG(ATD[480,116])

     40-fold covered by C4[ 480, 178 ] = UG(ATD[480,119])

     40-fold covered by C4[ 480, 179 ] = UG(ATD[480,122])

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

     40-fold covered by C4[ 480, 181 ] = UG(ATD[480,126])

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

     40-fold covered by C4[ 480, 183 ] = UG(ATD[480,130])

     40-fold covered by C4[ 480, 184 ] = UG(ATD[480,133])

     40-fold covered by C4[ 480, 185 ] = UG(ATD[480,136])

     40-fold covered by C4[ 480, 190 ] = UG(ATD[480,228])

     40-fold covered by C4[ 480, 192 ] = UG(ATD[480,232])

     40-fold covered by C4[ 480, 193 ] = UG(ATD[480,235])

     40-fold covered by C4[ 480, 194 ] = UG(ATD[480,238])

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

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

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

     40-fold covered by C4[ 480, 200 ] = UG(ATD[480,272])

     40-fold covered by C4[ 480, 202 ] = UG(ATD[480,276])

     40-fold covered by C4[ 480, 203 ] = UG(ATD[480,277])

     40-fold covered by C4[ 480, 204 ] = UG(ATD[480,280])

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

     40-fold covered by C4[ 480, 206 ] = UG(ATD[480,284])

     40-fold covered by C4[ 480, 207 ] = UG(ATD[480,287])

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

     40-fold covered by C4[ 480, 209 ] = UG(ATD[480,291])

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

     40-fold covered by C4[ 480, 211 ] = UG(ATD[480,295])

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

     40-fold covered by C4[ 480, 213 ] = UG(ATD[480,299])

     40-fold covered by C4[ 480, 214 ] = UG(ATD[480,302])

     40-fold covered by C4[ 480, 215 ] = UG(ATD[480,305])

     40-fold covered by C4[ 480, 216 ] = UG(ATD[480,308])

     40-fold covered by C4[ 480, 217 ] = UG(ATD[480,311])

     40-fold covered by C4[ 480, 218 ] = UG(ATD[480,314])

     40-fold covered by C4[ 480, 219 ] = UG(ATD[480,317])

     40-fold covered by C4[ 480, 220 ] = UG(ATD[480,320])

     40-fold covered by C4[ 480, 221 ] = UG(ATD[480,323])

     40-fold covered by C4[ 480, 222 ] = UG(ATD[480,326])

     40-fold covered by C4[ 480, 223 ] = UG(ATD[480,329])

     40-fold covered by C4[ 480, 224 ] = UG(ATD[480,332])

     40-fold covered by C4[ 480, 288 ] = PL(ATD[6,1]#ATD[60,3])

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

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

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

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

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

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

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

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

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

     40-fold covered by C4[ 480, 299 ] = PL(ATD[10,2]#ATD[12,1])

     40-fold covered by C4[ 480, 300 ] = PL(ATD[12,1]#DCyc[10])

     40-fold covered by C4[ 480, 302 ] = PL(ATD[24,8]#DCyc[5])

     40-fold covered by C4[ 480, 303 ] = PL(ATD[24,10]#DCyc[5])

     40-fold covered by C4[ 480, 322 ] = XI(Rmap(240,26){4,30|4}_60)

     40-fold covered by C4[ 480, 329 ] = XI(Rmap(240,49){15,6|6}_40)

     40-fold covered by C4[ 480, 331 ] = XI(Rmap(240,63){20,6|4}_60)

     40-fold covered by C4[ 480, 332 ] = XI(Rmap(240,68){6,30|12}_40)

     40-fold covered by C4[ 480, 333 ] = XI(Rmap(240,70){30,6|12}_40)

     40-fold covered by C4[ 480, 334 ] = SDD(KE_30(1,3,10,13,11))

     40-fold covered by C4[ 480, 335 ] = SDD(C_120(1, 41))

     40-fold covered by C4[ 480, 336 ] = SDD(C_120(1, 49))

     40-fold covered by C4[ 480, 337 ] = SDD({4, 4}_[ 10, 6])

     40-fold covered by C4[ 480, 338 ] = SDD(C_120(1, 31))

     40-fold covered by C4[ 480, 339 ] = SDD(PS( 10, 24; 7))

     40-fold covered by C4[ 480, 342 ] = XI(Rmap(240,313){4,30|4}_30)

     40-fold covered by C4[ 480, 346 ] = XI(Rmap(240,345){8,30|8}_15)

     40-fold covered by C4[ 480, 350 ] = PL(CSI(W( 12, 2)[ 12^ 4], 5))

     40-fold covered by C4[ 480, 351 ] = PL(CSI(R_ 12( 11, 4)[ 3^ 16], 5))

     40-fold covered by C4[ 480, 352 ] = PL(CSI(R_ 12( 5, 10)[ 6^ 8], 5))

     40-fold covered by C4[ 480, 359 ] = BGCG(MPS( 4, 24; 5), C_ 5, 3)

     40-fold covered by C4[ 480, 360 ] = BGCG(R_ 24( 8, 19), C_ 5, 1)

     40-fold covered by C4[ 480, 361 ] = BGCG(R_ 24( 8, 19), C_ 5, 2)

     40-fold covered by C4[ 480, 362 ] = BGCG(R_ 24( 8, 19), C_ 5, {3, 6})

     40-fold covered by C4[ 480, 363 ] = BGCG(R_ 24( 8, 19), C_ 5, {4, 5})

     40-fold covered by C4[ 480, 364 ] = BGCG(PX( 6, 3), C_ 5, {1, 2})

     40-fold covered by C4[ 480, 365 ] = BGCG(PX( 6, 3), C_ 5, 3)

     40-fold covered by C4[ 480, 366 ] = BGCG(PX( 6, 3), C_ 5, 6)

     40-fold covered by C4[ 480, 367 ] = BGCG(PX( 6, 3), C_ 5, 7)

     40-fold covered by C4[ 480, 368 ] = BGCG(PX( 6, 3), C_ 5, 8)

     40-fold covered by C4[ 480, 369 ] = BGCG(PX( 6, 3), C_ 5, 9)

     40-fold covered by C4[ 480, 370 ] = BGCG(PX( 6, 3), C_ 5, 10)

     40-fold covered by C4[ 480, 371 ] = BGCG(KE_12(1,7,4,9,1), C_ 5, 10)

     40-fold covered by C4[ 480, 372 ] = BGCG(KE_12(1,7,4,9,1), C_ 5, 11)

     40-fold covered by C4[ 480, 373 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]), C_ 5, 2)

     40-fold covered by C4[ 480, 374 ] = PL(CS(W( 30, 2)[ 30^ 4], 0))

     40-fold covered by C4[ 480, 375 ] = PL(CS(W( 30, 2)[ 30^ 4], 1))

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

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

     40-fold covered by C4[ 480, 379 ] = PL(CS(R_ 30( 17, 16)[ 15^ 8], 1))

     40-fold covered by C4[ 480, 380 ] = PL(CS(R_ 30( 17, 16)[ 30^ 4], 0))

     40-fold covered by C4[ 480, 381 ] = PL(CS(R_ 30( 17, 16)[ 30^ 4], 1))

     40-fold covered by C4[ 480, 382 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 6^ 20], 1))

     40-fold covered by C4[ 480, 383 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 20^ 6], 1))

     40-fold covered by C4[ 480, 384 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 15^ 8], 1))

     40-fold covered by C4[ 480, 432 ] = SDD(C_120(1, 11))

     40-fold covered by C4[ 480, 433 ] = SDD(C_120(1, 19))

     40-fold covered by C4[ 480, 434 ] = SDD(C_120(1, 29))

     40-fold covered by C4[ 480, 438 ] = SDD(PS( 10, 24; 5))

     40-fold covered by C4[ 480, 439 ] = SDD(R_ 60( 47, 16))

     40-fold covered by C4[ 480, 440 ] = SDD(R_ 60( 17, 46))

     40-fold covered by C4[ 480, 441 ] = SDD(Pr_ 40( 1, 13, 17, 29))

     40-fold covered by C4[ 480, 442 ] = SDD(Pr_ 40( 1, 33, 37, 29))

     40-fold covered by C4[ 480, 446 ] = BGCG(UG(ATD[120,10]); K2;28)

     40-fold covered by C4[ 480, 447 ] = BGCG(UG(ATD[120,10]); K2;29)

     40-fold covered by C4[ 480, 461 ] = BGCG(KE_60(1,23,20,3,19); K1;4)

     40-fold covered by C4[ 480, 462 ] = BGCG(UG(ATD[240,33]); K1;3)

     40-fold covered by C4[ 480, 463 ] = BGCG(UG(ATD[240,33]); K1;4)

     40-fold covered by C4[ 480, 464 ] = BGCG(UG(ATD[240,33]); K1;6)

     40-fold covered by C4[ 480, 465 ] = BGCG(UG(ATD[240,33]); K1;7)

     40-fold covered by C4[ 480, 468 ] = BGCG(UG(ATD[240,110]); K1;3)

     40-fold covered by C4[ 480, 528 ] = SS[480, 1]

     40-fold covered by C4[ 480, 531 ] = SS[480, 5]

     40-fold covered by C4[ 480, 532 ] = SS[480, 6]

     40-fold covered by C4[ 480, 533 ] = SS[480, 7]

     40-fold covered by C4[ 480, 534 ] = SS[480, 8]

     40-fold covered by C4[ 480, 535 ] = SS[480, 9]

     40-fold covered by C4[ 480, 536 ] = SS[480, 10]

     40-fold covered by C4[ 480, 553 ] = SS[480, 37]

     40-fold covered by C4[ 480, 554 ] = SS[480, 38]

     41-fold covered by C4[ 492, 3 ] = C_492(1,163)

     41-fold covered by C4[ 492, 4 ] = {4, 4}_< 44, 38>

     41-fold covered by C4[ 492, 7 ] = PS( 4,123; 32)

     42-fold covered by C4[ 504, 2 ] = C_504(1, 55)

     42-fold covered by C4[ 504, 4 ] = C_504(1,125)

     42-fold covered by C4[ 504, 5 ] = C_504(1,127)

     42-fold covered by C4[ 504, 7 ] = C_504(1,197)

     42-fold covered by C4[ 504, 8 ] = DW(168, 3)

     42-fold covered by C4[ 504, 9 ] = {4, 4}_[ 18, 14]

     42-fold covered by C4[ 504, 10 ] = {4, 4}_[ 21, 12]

     42-fold covered by C4[ 504, 11 ] = {4, 4}_< 27, 15>

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

     42-fold covered by C4[ 504, 13 ] = {4, 4}_< 45, 39>

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

     42-fold covered by C4[ 504, 16 ] = PS( 42, 24; 7)

     42-fold covered by C4[ 504, 17 ] = PS( 36, 28; 3)

     42-fold covered by C4[ 504, 19 ] = PS( 24, 21; 2)

     42-fold covered by C4[ 504, 20 ] = PS( 24, 21; 4)

     42-fold covered by C4[ 504, 21 ] = PS( 24, 21; 8)

     42-fold covered by C4[ 504, 22 ] = PS( 9, 56; 9)

     42-fold covered by C4[ 504, 23 ] = PS( 18, 56; 3)

     42-fold covered by C4[ 504, 24 ] = PS( 18, 56; 5)

     42-fold covered by C4[ 504, 25 ] = PS( 18, 56; 13)

     42-fold covered by C4[ 504, 26 ] = PS( 18, 56; 15)

     42-fold covered by C4[ 504, 27 ] = PS( 18, 56; 17)

     42-fold covered by C4[ 504, 28 ] = PS( 12, 84; 5)

     42-fold covered by C4[ 504, 29 ] = PS( 12, 84; 11)

     42-fold covered by C4[ 504, 31 ] = MPS( 12, 84; 5)

     42-fold covered by C4[ 504, 32 ] = MPS( 12, 84; 11)

     42-fold covered by C4[ 504, 33 ] = MPS( 12, 84; 13)

     42-fold covered by C4[ 504, 34 ] = PS( 3,168; 25)

     42-fold covered by C4[ 504, 35 ] = PS( 6,168; 5)

     42-fold covered by C4[ 504, 36 ] = PS( 6,168; 11)

     42-fold covered by C4[ 504, 37 ] = PS( 6,168; 17)

     42-fold covered by C4[ 504, 38 ] = PS( 6,168; 19)

     42-fold covered by C4[ 504, 41 ] = PS( 6,168; 31)

     42-fold covered by C4[ 504, 42 ] = PS( 6,168; 37)

     42-fold covered by C4[ 504, 48 ] = PL(MSY( 4, 63, 55, 0))

     42-fold covered by C4[ 504, 49 ] = PL(MSY( 6, 42, 13, 0))

     42-fold covered by C4[ 504, 50 ] = PL(MSY( 6, 42, 13, 21))

     42-fold covered by C4[ 504, 51 ] = PL(MSY( 12, 21, 13, 0))

     42-fold covered by C4[ 504, 52 ] = PL(MC3( 4, 63, 1, 62, 8, 0, 1), [4^63, 126^2])

     42-fold covered by C4[ 504, 57 ] = PL(MC3( 6, 42, 1, 13, 29, 0, 1), [6^42, 14^18])

     42-fold covered by C4[ 504, 58 ] = PL(MC3( 6, 42, 1, 22, 29, 12, 1), [4^63, 42^6])

     42-fold covered by C4[ 504, 59 ] = PL(MC3( 6, 42, 1, 22, 29, 33, 1), [4^63, 84^3])

     42-fold covered by C4[ 504, 62 ] = PL(WH_ 84( 2, 0, 19, 23), [3^84, 42^6])

     42-fold covered by C4[ 504, 76 ] = UG(ATD[504,13])

     42-fold covered by C4[ 504, 77 ] = UG(ATD[504,15])

     42-fold covered by C4[ 504, 78 ] = UG(ATD[504,17])

     42-fold covered by C4[ 504, 79 ] = UG(ATD[504,19])

     42-fold covered by C4[ 504, 80 ] = UG(ATD[504,21])

     42-fold covered by C4[ 504, 90 ] = UG(ATD[504,94])

     42-fold covered by C4[ 504, 91 ] = UG(ATD[504,97])

     42-fold covered by C4[ 504, 92 ] = UG(ATD[504,100])

     42-fold covered by C4[ 504, 93 ] = UG(ATD[504,103])

     42-fold covered by C4[ 504, 135 ] = PL(ATD[42,3]#DCyc[3])

     42-fold covered by C4[ 504, 142 ] = SDD(DW( 42, 3))

     42-fold covered by C4[ 504, 143 ] = SDD(C_126(1, 55))

     42-fold covered by C4[ 504, 149 ] = XI(Rmap(252,203){12,42|4}_21)

     42-fold covered by C4[ 504, 150 ] = XI(Rmap(252,206){28,18|4}_63)

     42-fold covered by C4[ 504, 158 ] = BGCG({4, 4}_ 6, 0, C_ 7, 1)

     42-fold covered by C4[ 504, 159 ] = BGCG({4, 4}_ 6, 0, C_ 7, 2)

     42-fold covered by C4[ 504, 161 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 7, 1)

BGCG dissections of this graph

     Base Graph: C4[ 6, 1 ] = Octahedron   connection graph:  [K_1]

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

      C4[ 24, 2 ] = C_ 24(1, 5)    with connection graph  [K_1]

      C4[ 24, 3 ] = C_ 24(1, 7)    with connection graph  [K_1]

      C4[ 24, 4 ] = R_ 12( 8, 7)    with connection graph  [K_1]

      C4[ 24, 7 ] = SDD(Octahedron)    with connection graph  [K_1]

      C4[ 48, 4 ] = {4, 4}_[ 6, 4]    with connection graph  [K_2]

      C4[ 48, 5 ] = {4, 4}_< 8, 4>    with connection graph  [K_2]

      C4[ 72, 7 ] = PS( 6, 24; 5)    with connection graph  [C_3]

      C4[ 72, 8 ] = PS( 6, 24; 7)    with connection graph  [C_3]

      C4[ 72, 15 ] = PL(WH_ 12( 2, 0, 1, 5), [3^12, 6^6])    with connection graph  [C_3]

      C4[ 72, 16 ] = PL(WH_ 12( 3, 0, 1, 7), [3^12, 4^9])    with connection graph  [C_3]

      C4[ 72, 17 ] = PL(WH_ 12( 3, 1, 6, 7), [4^9, 6^6])    with connection graph  [C_3]

      C4[ 72, 21 ] = UG(ATD[72,13])    with connection graph  [C_3]

      C4[ 72, 22 ] = PL(ATD[6,1]#DCyc[3])    with connection graph  [C_3]

      C4[ 72, 25 ] = PL(CS(DW( 3, 3)[ 6^ 3], 1))    with connection graph  [C_3]

      C4[ 96, 8 ] = PS( 12, 16; 3)    with connection graph  [C_4]

      C4[ 96, 9 ] = MPS( 12, 16; 3)    with connection graph  [C_4]

      C4[ 96, 10 ] = PS( 8, 24; 5)    with connection graph  [C_4]

      C4[ 96, 15 ] = PL(MSY( 4, 12, 5, 0))    with connection graph  [C_4]

      C4[ 96, 16 ] = PL(MSY( 4, 12, 5, 6))    with connection graph  [C_4]

      C4[ 96, 17 ] = PL(MSY( 6, 8, 3, 0))    with connection graph  [C_4]

      C4[ 96, 19 ] = PL(MC3( 6, 8, 1, 5, 3, 0, 1), [4^12, 6^8])    with connection graph  [C_4]

      C4[ 96, 21 ] = PL(KE_12(3,1,6,11,3),[4^12,24^2])    with connection graph  [C_4]

      C4[ 96, 22 ] = KE_24(1,11,2,15,1)    with connection graph  [C_4]

      C4[ 96, 24 ] = KE_24(1,13,4,21,5)    with connection graph  [K_4]

      C4[ 96, 29 ] = PL(Curtain_12(1,6,1,5,11),[4^12,4^12])    with connection graph  [K_4]

      C4[ 96, 30 ] = PL(Curtain_12(1,6,2,7,8),[4^12,8^6])    with connection graph  [C_4]

      C4[ 96, 30 ] = PL(Curtain_12(1,6,2,7,8),[4^12,8^6])    with connection graph  [K_4]

      C4[ 96, 31 ] = PL(Curtain_12(1,6,5,7,11),[4^12,8^6])    with connection graph  [K_4]

      C4[ 96, 41 ] = XI(Rmap(48,7){4,6|4}_12)    with connection graph  [K_4]

      C4[ 96, 45 ] = PL(CS(W( 6, 2)[ 6^ 4], 0))    with connection graph  [K_4]

      C4[ 96, 46 ] = PL(CS(W( 6, 2)[ 6^ 4], 1))    with connection graph  [K_4]

      C4[ 96, 49 ] = PL(CS(R_ 6( 5, 4)[ 3^ 8], 1))    with connection graph  [K_4]

      C4[ 96, 53 ] = SS[ 96, 13]    with connection graph  [K_4]

      C4[ 120, 12 ] = PS( 10, 24; 5)    with connection graph  [C_5]

      C4[ 120, 13 ] = PS( 10, 24; 7)    with connection graph  [C_5]

      C4[ 120, 21 ] = PL(MSY( 4, 15, 11, 0))    with connection graph  [C_5]

      C4[ 120, 22 ] = PL(MC3( 4, 15, 1, 14, 4, 0, 1), [4^15, 30^2])    with connection graph  [C_5]

      C4[ 120, 28 ] = PL(Curtain_15(1,4,11,14,15),[4^15,10^6])    with connection graph  [C_5]

      C4[ 120, 32 ] = PL(BC_30({ 0, 15 }, { 1, 4 })    with connection graph  [C_5]

      C4[ 120, 36 ] = UG(ATD[120,53])    with connection graph  [K_5]

      C4[ 120, 54 ] = XI(Rmap(60,57){4,6|6}_10)    with connection graph  [K_5]

      C4[ 120, 65 ] = BGCG(Pr_ 10( 2, 3, 1, 4); K2;{2, 3})    with connection graph  [K_5]

      C4[ 120, 66 ] = BGCG(TAG(F 10); K2;1)    with connection graph  [K_5]

      C4[ 144, 10 ] = PS( 12, 24; 5)    with connection graph  [C_6]

      C4[ 144, 11 ] = MPS( 12, 24; 5)    with connection graph  [C_6]

      C4[ 144, 19 ] = PL(MSY( 6, 12, 5, 0))    with connection graph  [C_6]

      C4[ 144, 20 ] = PL(MSY( 6, 12, 5, 6))    with connection graph  [C_6]

      C4[ 144, 21 ] = PL(MC3( 6, 12, 1, 7, 5, 0, 1), [4^18, 6^12])    with connection graph  [C_6]

      C4[ 144, 21 ] = PL(MC3( 6, 12, 1, 7, 5, 0, 1), [4^18, 6^12])    with connection graph  [K_3,3]

      C4[ 144, 22 ] = PL(MC3( 6, 12, 1, 7, 5, 6, 1), [4^18, 12^6])    with connection graph  [C_6]

      C4[ 144, 22 ] = PL(MC3( 6, 12, 1, 7, 5, 6, 1), [4^18, 12^6])    with connection graph  [K_3,3]

      C4[ 144, 29 ] = AMC( 4, 12, [ 9. 5: 4. 9])    with connection graph  [C_6]

      C4[ 144, 33 ] = UG(ATD[144,12])    with connection graph  [C_6]

      C4[ 144, 37 ] = UG(ATD[144,33])    with connection graph  [octahedron]

      C4[ 144, 38 ] = UG(ATD[144,36])    with connection graph  [C_6]

      C4[ 144, 39 ] = UG(ATD[144,39])    with connection graph  [octahedron]

      C4[ 144, 45 ] = PL(ATD[12,1]#DCyc[3])    with connection graph  [octahedron]

      C4[ 144, 46 ] = PL(ATD[18,2]#DCyc[4])    with connection graph  [C_6]

      C4[ 144, 53 ] = PL(CSI(Octahedron[ 3^ 4], 6))    with connection graph  [octahedron]

      C4[ 144, 54 ] = PL(CSI(W( 6, 2)[ 6^ 4], 3))    with connection graph  [C_6]

      C4[ 144, 57 ] = PL(CS(DW( 6, 3)[ 6^ 6], 1))    with connection graph  [C_6]

      C4[ 144, 58 ] = PL(CS(DW( 6, 3)[ 4^ 9], 0))    with connection graph  [K_3,3]

      C4[ 144, 59 ] = PL(CS(DW( 6, 3)[ 4^ 9], 1))    with connection graph  [K_3,3]

      C4[ 144, 63 ] = BGCG({4, 4}_ 6, 6; K1;{2, 5})    with connection graph  [K_3,3]

      C4[ 144, 64 ] = BGCG({4, 4}_ 6, 6; K1;{13, 16})    with connection graph  [K_3,3]

      C4[ 144, 72 ] = SS[144, 26]    with connection graph  [K_3,3]

      C4[ 168, 10 ] = PS( 14, 24; 5)    with connection graph  [C_7]

      C4[ 168, 11 ] = PS( 14, 24; 7)    with connection graph  [C_7]

      C4[ 168, 22 ] = PL(MSY( 4, 21, 13, 0))    with connection graph  [C_7]

      C4[ 168, 23 ] = PL(MC3( 4, 21, 1, 20, 8, 0, 1), [4^21, 42^2])    with connection graph  [C_7]

      C4[ 168, 31 ] = PL(Curtain_21(1,9,1,2,14),[4^21,14^6])    with connection graph  [C_7]

      C4[ 168, 33 ] = PL(BC_42({ 0, 21 }, { 1, 34 })    with connection graph  [C_7]

      C4[ 168, 40 ] = UG(ATD[168,64])    with connection graph  [K_7]

      C4[ 168, 51 ] = UG(ATD[168,81])    with connection graph  [K_7]

      C4[ 168, 62 ] = BGCG(L(F 28); K2;{1, 2})    with connection graph  [K_7]

      C4[ 168, 65 ] = BGCG(L(F 56C); K1;{6, 9})    with connection graph  [K_7]

      C4[ 168, 66 ] = BGCG(UG(Rmap(168,16){8,4|6}_14); K1;{3, 4})    with connection graph  [K_7]

      C4[ 192, 12 ] = PS( 16, 24; 5)    with connection graph  [C_8]

      C4[ 192, 13 ] = MPS( 16, 24; 5)    with connection graph  [C_8]

      C4[ 192, 14 ] = MPS( 12, 32; 7)    with connection graph  [C_8]

      C4[ 192, 28 ] = PL(MSY( 4, 24, 17, 0))    with connection graph  [C_8]

      C4[ 192, 30 ] = PL(MSY( 6, 16, 7, 0))    with connection graph  [C_8]

      C4[ 192, 31 ] = PL(MSY( 6, 16, 7, 8))    with connection graph  [C_8]

      C4[ 192, 32 ] = PL(MSY( 8, 12, 5, 0))    with connection graph  [C_8]

      C4[ 192, 42 ] = PL(LoPr_ 24( 3, 8, 6, 8, 3), [6^16, 8^12])    with connection graph  [C_8]

      C4[ 192, 44 ] = PL(LoPr_ 24( 3, 8, 6, 8, 9), [6^16, 8^12])    with connection graph  [K_4,4]

      C4[ 192, 47 ] = KE_48(1,15,2,35,1)    with connection graph  [C_8]

      C4[ 192, 56 ] = KE_48(1,33,22,13,23)    with connection graph  [K_4,4]

      C4[ 192, 60 ] = PL(Curtain_24(1,7,17,23,24),[4^24,8^12])    with connection graph  [C_8]

      C4[ 192, 61 ] = PL(Curtain_24(1,8,1,6,14),[4^24,6^16])    with connection graph  [K_4,4]

      C4[ 192, 66 ] = PL(Curtain_24(1,12,5,7,17),[4^24,16^6])    with connection graph  [Q_3]

      C4[ 192, 70 ] = PL(MBr( 2, 48; 7))    with connection graph  [C_8]

      C4[ 192, 71 ] = PL(BC_48({ 0, 24 }, { 1, 7 })    with connection graph  [C_8]

      C4[ 192, 83 ] = UG(ATD[192,26])    with connection graph  [DK_8]

      C4[ 192, 95 ] = UG(ATD[192,119])    with connection graph  [K_4,4]

      C4[ 192, 121 ] = UG(ATD[192,208])    with connection graph  [DK_8]

      C4[ 192, 125 ] = PL(ATD[6,1]#ATD[24,9])    with connection graph  [Q_3]

      C4[ 192, 126 ] = PL(ATD[12,1]#DCyc[4])    with connection graph  [Q_3]

      C4[ 192, 141 ] = PL(CS(R_ 12( 8, 7)[ 6^ 8], 1))    with connection graph  [Q_3]

      C4[ 192, 146 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 0))    with connection graph  [Q_3]

      C4[ 192, 147 ] = PL(CS(R_ 12( 5, 10)[ 12^ 4], 1))    with connection graph  [Q_3]

      C4[ 192, 154 ] = BGCG(PX( 6, 3); K2;{1, 5})    with connection graph  [K_4,4]

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

      C4[ 192, 163 ] = BGCG(KE_24(1,11,8,3,7); K1;{3, 6})    with connection graph  [DK_8]

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

      C4[ 192, 172 ] = SS[192, 57]    with connection graph  [DK_8]

      C4[ 192, 176 ] = SS[192, 61]    with connection graph  [K_4,4]

      C4[ 192, 178 ] = SS[192, 63]    with connection graph  [K_4,4]

      C4[ 192, 180 ] = SS[192, 65]    with connection graph  [K_4,4]

      C4[ 192, 182 ] = SS[192, 67]    with connection graph  [DK_8]

      C4[ 192, 182 ] = SS[192, 67]    with connection graph  [Q_3]

      C4[ 192, 183 ] = SS[192, 68]    with connection graph  [Q_3]

      C4[ 192, 184 ] = SS[192, 71]    with connection graph  [K_4,4]

      C4[ 192, 185 ] = SS[192, 72]    with connection graph  [K_4,4]

      C4[ 192, 186 ] = SS[192, 73]    with connection graph  [K_4,4]

      C4[ 192, 187 ] = SS[192, 74]    with connection graph  [K_4,4]

      C4[ 192, 188 ] = SS[192, 75]    with connection graph  [K_4,4]

      C4[ 192, 190 ] = SS[192, 77]    with connection graph  [K_4,4]

      C4[ 192, 191 ] = SS[192, 78]    with connection graph  [K_4,4]

      C4[ 192, 194 ] = SS[192, 82]    with connection graph  [K_4,4]

      C4[ 192, 198 ] = SS[192, 88]    with connection graph  [K_4,4]

      C4[ 192, 201 ] = SS[192, 93]    with connection graph  [DK_8]

      C4[ 192, 205 ] = SS[192, 99]    with connection graph  [DK_8]

      C4[ 192, 208 ] = SS[192, 107]    with connection graph  [DK_8]

      C4[ 192, 209 ] = SS[192, 108]    with connection graph  [DK_8]

      C4[ 192, 210 ] = SS[192, 110]    with connection graph  [DK_8]

      C4[ 192, 210 ] = SS[192, 110]    with connection graph  [Q_3]

      C4[ 192, 211 ] = SS[192, 111]    with connection graph  [Q_3]

      C4[ 216, 10 ] = PS( 18, 24; 5)    with connection graph  [C_9]

      C4[ 216, 11 ] = PS( 18, 24; 7)    with connection graph  [C_9]

      C4[ 216, 25 ] = PL(WH_ 36( 9, 1, 6, 19), [4^27, 18^6])    with connection graph  [C_9]

      C4[ 216, 26 ] = PL(WH_ 36( 9, 1, 19, 24), [4^27, 9^12])    with connection graph  [C_9]

      C4[ 216, 49 ] = UG(ATD[216,51])    with connection graph  [DW( 3, 3)]

      C4[ 216, 53 ] = UG(ATD[216,62])    with connection graph  [DW( 3, 3)]

      C4[ 216, 54 ] = UG(ATD[216,65])    with connection graph  [C_9]

      C4[ 216, 58 ] = UG(ATD[216,75])    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 216, 62 ] = UG(ATD[216,87])    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 216, 69 ] = PL(ATD[6,1]#DCyc[9])    with connection graph  [C_9]

      C4[ 216, 71 ] = PL(ATD[6,1]#ATD[27,5])    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 216, 72 ] = PL(ATD[18,2]#DCyc[3])    with connection graph  [DW( 3, 3)]

      C4[ 216, 78 ] = XI(Rmap(108,45){9,18|18}_12)    with connection graph  [C_9]

      C4[ 216, 80 ] = BGCG(W( 6, 2), C_ 9, 3)    with connection graph  [C_9]

      C4[ 216, 81 ] = PL(CSI(DW( 6, 3)[ 4^ 9], 3))    with connection graph  [DW( 3, 3)]

      C4[ 216, 85 ] = PL(CS(AMC( 3, 3, [ 0. 1: 2. 2])[ 6^ 9], 1))    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 216, 87 ] = BGCG({4, 4}_ 6, 0, C_ 3, {3, 5, 9, 10})    with connection graph  [DW( 3, 3)]

      C4[ 216, 95 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K1;{1, 7})    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 216, 96 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K1;3)    with connection graph  [CV = 9, Cdeg = 6]

      C4[ 216, 98 ] = BGCG(UG(ATD[108,14]); K1;6)    with connection graph  [DW( 3, 3)]

      C4[ 240, 16 ] = PS( 20, 24; 5)    with connection graph  [C_10]

      C4[ 240, 17 ] = MPS( 20, 24; 5)    with connection graph  [C_10]

      C4[ 240, 22 ] = MPS( 12, 40; 9)    with connection graph  [C_10]

      C4[ 240, 35 ] = PL(MSY( 4, 30, 11, 0))    with connection graph  [C_10]

      C4[ 240, 37 ] = PL(MSY( 6, 20, 11, 0))    with connection graph  [C_10]

      C4[ 240, 38 ] = PL(MSY( 6, 20, 11, 10))    with connection graph  [C_10]

      C4[ 240, 40 ] = PL(MSY( 10, 12, 5, 0))    with connection graph  [C_10]

      C4[ 240, 45 ] = PL(MC3( 6, 20, 1, 9, 11, 0, 1), [6^20, 10^12])    with connection graph  [C_10]

      C4[ 240, 47 ] = PL(MC3( 10, 12, 1, 7, 5, 0, 1), [4^30, 10^12])    with connection graph  [C_10]

      C4[ 240, 48 ] = PL(MC3( 10, 12, 1, 7, 5, 6, 1), [4^30, 20^6])    with connection graph  [C_10]

      C4[ 240, 51 ] = KE_60(1,23,2,39,1)    with connection graph  [C_10]

      C4[ 240, 65 ] = PL(MBr( 2, 60; 11))    with connection graph  [C_10]

      C4[ 240, 85 ] = UG(ATD[240,136])    with connection graph  [CV = 10, Cdeg = 6]

      C4[ 240, 86 ] = UG(ATD[240,139])    with connection graph  [CV = 10, Cdeg = 6]

      C4[ 240, 87 ] = UG(ATD[240,142])    with connection graph  [CV = 10, Cdeg = 6]

      C4[ 240, 89 ] = UG(ATD[240,147])    with connection graph  [CV = 10, Cdeg = 6]

      C4[ 240, 94 ] = UG(ATD[240,156])    with connection graph  [CV = 10, Cdeg = 6]

      C4[ 240, 96 ] = UG(ATD[240,158])    with connection graph  [CV = 10, Cdeg = 6]

      C4[ 240, 131 ] = PL(CS(PS( 6, 5; 2)[ 10^ 6], 0))    with connection graph  [Petersen]

      C4[ 240, 132 ] = PL(CS(PS( 6, 5; 2)[ 10^ 6], 1))    with connection graph  [Petersen]

      C4[ 240, 141 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 10^ 6], 0))    with connection graph  [Petersen]

      C4[ 240, 142 ] = PL(CS(Pr_ 10( 1, 4, 3, 2)[ 10^ 6], 1))    with connection graph  [Petersen]

      C4[ 240, 159 ] = BGCG(UG(ATD[60,15]); K2;{2, 3})    with connection graph  [C_ 10(1, 3)]

      C4[ 240, 161 ] = BGCG(UG(ATD[60,16]); K2;{12, 13, 14, 15})    with connection graph  [C_ 10(1, 3)]

      C4[ 240, 172 ] = BGCG(UG(ATD[120,53]); K1;2)    with connection graph  [Petersen]

      C4[ 240, 173 ] = BGCG(UG(ATD[120,53]); K1;6)    with connection graph  [Petersen]

      C4[ 264, 9 ] = PS( 22, 24; 5)    with connection graph  [C_11]

      C4[ 264, 10 ] = PS( 22, 24; 7)    with connection graph  [C_11]

      C4[ 264, 15 ] = PL(MSY( 4, 33, 23, 0))    with connection graph  [C_11]

      C4[ 264, 16 ] = PL(MC3( 4, 33, 1, 32, 10, 0, 1), [4^33, 66^2])    with connection graph  [C_11]

      C4[ 264, 21 ] = PL(Curtain_33(1,10,23,32,33),[4^33,22^6])    with connection graph  [C_11]

      C4[ 264, 23 ] = PL(BC_66({ 0, 33 }, { 1, 10 })    with connection graph  [C_11]

      C4[ 288, 15 ] = PS( 24, 24; 5)    with connection graph  [C_12]

      C4[ 288, 16 ] = MPS( 24, 24; 5)    with connection graph  [C_12]

      C4[ 288, 20 ] = MPS( 12, 48; 11)    with connection graph  [C_12]

      C4[ 288, 31 ] = PL(MSY( 6, 24, 11, 0))    with connection graph  [C_12]

      C4[ 288, 32 ] = PL(MSY( 6, 24, 11, 12))    with connection graph  [C_12]

      C4[ 288, 37 ] = PL(MSY( 12, 12, 5, 0))    with connection graph  [C_12]

      C4[ 288, 41 ] = PL(MSZ ( 12, 12, 3, 5), [4^36, 12^12])    with connection graph  [C_12]

      C4[ 288, 43 ] = PL(MC3( 6, 24, 1, 13, 5, 6, 1), [4^36, 24^6])    with connection graph  [C_12]

      C4[ 288, 79 ] = UG(ATD[288,43])    with connection graph  [W( 6, 2)]

      C4[ 288, 80 ] = UG(ATD[288,46])    with connection graph  [W( 6, 2)]

      C4[ 288, 82 ] = UG(ATD[288,52])    with connection graph  [W( 6, 2)]

      C4[ 288, 83 ] = UG(ATD[288,55])    with connection graph  [W( 6, 2)]

      C4[ 288, 93 ] = UG(ATD[288,91])    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 288, 96 ] = UG(ATD[288,100])    with connection graph  [C_12]

      C4[ 288, 99 ] = UG(ATD[288,109])    with connection graph  [W( 6, 2)]

      C4[ 288, 101 ] = UG(ATD[288,115])    with connection graph  [W( 6, 2)]

      C4[ 288, 110 ] = UG(ATD[288,181])    with connection graph  [C_12]

      C4[ 288, 112 ] = UG(ATD[288,196])    with connection graph  [W( 6, 2)]

      C4[ 288, 139 ] = PL(ATD[6,1]#ATD[12,3])    with connection graph  [K_6,6]

      C4[ 288, 140 ] = PL(ATD[6,1]#ATD[36,6])    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 146 ] = PL(ATD[12,1]#DCyc[6])    with connection graph  [W( 6, 2)]

      C4[ 288, 147 ] = PL(ATD[12,2]#ATD[12,3])    with connection graph  [C_12]

      C4[ 288, 152 ] = PL(ATD[36,7]#DCyc[4])    with connection graph  [C_12]

      C4[ 288, 170 ] = PL(CSI(W( 12, 2)[ 12^ 4], 3))    with connection graph  [C_12]

      C4[ 288, 176 ] = PL(CS(DW( 12, 3)[ 12^ 6], 1))    with connection graph  [C_12]

      C4[ 288, 178 ] = PL(CS({4, 4}_ 6, 0[ 12^ 6], 1))    with connection graph  [K_6,6]

      C4[ 288, 180 ] = BGCG({4, 4}_ 6, 0, C_ 4, {1, 2})    with connection graph  [K_6,6]

      C4[ 288, 180 ] = BGCG({4, 4}_ 6, 0, C_ 4, {1, 2})    with connection graph  [W( 6, 2)]

      C4[ 288, 181 ] = BGCG({4, 4}_ 6, 0, C_ 4, {3, 5, 9, 10})    with connection graph  [K_6,6]

      C4[ 288, 186 ] = PL(CS(Pr_ 12( 1, 1, 5, 5)[ 12^ 6], 1))    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 189 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 4, 1)    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 189 ] = BGCG(Pr_ 12( 1, 1, 5, 5), C_ 4, 1)    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 191 ] = BGCG(MPS( 4, 24; 5), C_ 3, 3)    with connection graph  [W( 6, 2)]

      C4[ 288, 194 ] = BGCG(R_ 24( 8, 19), C_ 3, 1)    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 194 ] = BGCG(R_ 24( 8, 19), C_ 3, 1)    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 195 ] = BGCG(R_ 24( 8, 19), C_ 3, 2)    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 195 ] = BGCG(R_ 24( 8, 19), C_ 3, 2)    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 196 ] = BGCG(R_ 24( 8, 19), C_ 3, {3, 6})    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 197 ] = BGCG(R_ 24( 8, 19), C_ 3, {4, 5})    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 198 ] = BGCG(PX( 6, 3), C_ 3, {1, 2})    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 288, 199 ] = BGCG(PX( 6, 3), C_ 3, 6)    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 199 ] = BGCG(PX( 6, 3), C_ 3, 6)    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 200 ] = BGCG(PX( 6, 3), C_ 3, 7)    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 203 ] = BGCG(PX( 6, 3), C_ 3, 10)    with connection graph  [R_ 6( 5, 4)]

      C4[ 288, 206 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]), C_ 3, 2)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 288, 208 ] = BGCG({4, 4}_ 6, 6; K2;{2, 5})    with connection graph  [K_6,6]

      C4[ 288, 209 ] = BGCG({4, 4}_ 6, 6; K2;{13, 16})    with connection graph  [K_6,6]

      C4[ 288, 209 ] = BGCG({4, 4}_ 6, 6; K2;{13, 16})    with connection graph  [W( 6, 2)]

      C4[ 288, 224 ] = BGCG(PL(MSY( 6, 12, 5, 6)); K1;2)    with connection graph  [K_6,6]

      C4[ 288, 227 ] = BGCG(PL(MSY( 6, 12, 5, 6)); K1;6)    with connection graph  [K_6,6]

      C4[ 288, 232 ] = BGCG(AMC( 4, 12, [ 9. 5: 4. 9]); K1;{8, 10})    with connection graph  [W( 6, 2)]

      C4[ 288, 234 ] = BGCG(UG(ATD[144,3]); K1;1)    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 288, 235 ] = BGCG(UG(ATD[144,3]); K1;2)    with connection graph  [K_6,6]

      C4[ 288, 238 ] = BGCG(UG(ATD[144,8]); K1;5)    with connection graph  [K_6,6]

      C4[ 288, 239 ] = BGCG(UG(ATD[144,8]); K1;7)    with connection graph  [K_6,6]

      C4[ 288, 244 ] = BGCG(UG(ATD[144,32]); K1;5)    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 245 ] = BGCG(UG(ATD[144,32]); K1;{6, 9})    with connection graph  [CV = 12, Cdeg = 6]

      C4[ 288, 251 ] = SS[288, 6]    with connection graph  [CV = 12, Cdeg = 8]

      C4[ 288, 255 ] = SS[288, 11]    with connection graph  [W( 6, 2)]

      C4[ 288, 258 ] = SS[288, 20]    with connection graph  [K_6,6]

      C4[ 312, 9 ] = PS( 26, 24; 5)    with connection graph  [C_13]

      C4[ 312, 10 ] = PS( 26, 24; 7)    with connection graph  [C_13]

      C4[ 312, 31 ] = PL(MSY( 4, 39, 14, 0))    with connection graph  [C_13]

      C4[ 312, 32 ] = PL(MC3( 4, 39, 1, 38, 14, 0, 1), [4^39, 78^2])    with connection graph  [C_13]

      C4[ 312, 38 ] = PL(Curtain_39(1,15,1,2,26),[4^39,26^6])    with connection graph  [C_13]

      C4[ 312, 42 ] = PL(BC_78({ 0, 39 }, { 1, 64 })    with connection graph  [C_13]

      C4[ 336, 14 ] = PS( 28, 24; 5)    with connection graph  [C_14]

      C4[ 336, 15 ] = MPS( 28, 24; 5)    with connection graph  [C_14]

      C4[ 336, 24 ] = MPS( 12, 56; 13)    with connection graph  [C_14]

      C4[ 336, 34 ] = PL(MSY( 4, 42, 13, 0))    with connection graph  [C_14]

      C4[ 336, 36 ] = PL(MSY( 6, 28, 13, 0))    with connection graph  [C_14]

      C4[ 336, 37 ] = PL(MSY( 6, 28, 13, 14))    with connection graph  [C_14]

      C4[ 336, 39 ] = PL(MSY( 14, 12, 5, 0))    with connection graph  [C_14]

      C4[ 336, 43 ] = PL(MC3( 6, 28, 1, 13, 15, 0, 1), [6^28, 14^12])    with connection graph  [C_14]

      C4[ 336, 44 ] = PL(MC3( 14, 12, 1, 7, 5, 0, 1), [4^42, 14^12])    with connection graph  [C_14]

      C4[ 336, 45 ] = PL(MC3( 14, 12, 1, 7, 5, 6, 1), [4^42, 28^6])    with connection graph  [C_14]

      C4[ 336, 51 ] = PL(MBr( 2, 84; 13))    with connection graph  [C_14]

      C4[ 336, 68 ] = UG(ATD[336,104])    with connection graph  [C_14]

      C4[ 336, 98 ] = UG(ATD[336,174])    with connection graph  [CV = 14, Cdeg = 6]

      C4[ 336, 99 ] = UG(ATD[336,175])    with connection graph  [DK_14]

      C4[ 336, 105 ] = UG(ATD[336,181])    with connection graph  [CV = 14, Cdeg = 6]

      C4[ 336, 128 ] = XI(Rmap(168,137){4,8|8}_6)    with connection graph  [BC_ 7( 0, 1, 2, 4)]

      C4[ 336, 144 ] = BGCG(MC3( 6, 14, 1, 10, 3, 0, 1); K2;{1, 3})    with connection graph  [BC_ 7( 0, 1, 2, 4)]

      C4[ 336, 147 ] = BGCG(UG(ATD[84,23]); K2;{4, 5, 6, 7})    with connection graph  [DK_14]

      C4[ 336, 149 ] = BGCG(L(F 56C); K2;{6, 7, 8, 9})    with connection graph  [DK_14]

      C4[ 336, 151 ] = BGCG(UG(Rmap(168,16){8,4|6}_14); K2;{1, 3, 4, 5})    with connection graph  [CV = 14, Cdeg = 6]

      C4[ 336, 153 ] = BGCG(MG(Rmap(84,49){4,6|8}_8); K2;1)    with connection graph  [BC_ 7( 0, 1, 2, 4)]

      C4[ 336, 154 ] = BGCG(MG(Rmap(84,49){4,6|8}_8); K2;5)    with connection graph  [BC_ 7( 0, 1, 2, 4)]

      C4[ 336, 161 ] = BGCG(UG(Rmap(336,307){8,4|6}_28); K1;{1, 5})    with connection graph  [CV = 14, Cdeg = 6]

      C4[ 336, 162 ] = SS[336, 9]    with connection graph  [CV = 14, Cdeg = 3]

      C4[ 336, 163 ] = SS[336, 10]    with connection graph  [CV = 14, Cdeg = 3]

      C4[ 360, 18 ] = PS( 30, 24; 5)    with connection graph  [C_15]

      C4[ 360, 19 ] = PS( 30, 24; 7)    with connection graph  [C_15]

      C4[ 360, 47 ] = PL(MC3( 6, 30, 1, 16, 11, 3, 1), [4^45, 60^3])    with connection graph  [C_15]

      C4[ 360, 48 ] = PL(MC3( 6, 30, 1, 16, 11, 18, 1), [4^45, 30^6])    with connection graph  [C_15]

      C4[ 360, 57 ] = PL(WH_ 60( 15, 1, 24, 31), [4^45, 15^12])    with connection graph  [C_15]

      C4[ 360, 58 ] = PL(WH_ 60( 15, 1, 31, 54), [4^45, 30^6])    with connection graph  [C_15]

      C4[ 360, 71 ] = UG(ATD[360,30])    with connection graph  [C_ 15(1, 4)]

      C4[ 360, 73 ] = UG(ATD[360,44])    with connection graph  [C_ 15(1, 4)]

      C4[ 360, 77 ] = UG(ATD[360,56])    with connection graph  [C_15]

      C4[ 360, 94 ] = UG(ATD[360,150])    with connection graph  [CV = 15, Cdeg = 6]

      C4[ 360, 97 ] = UG(ATD[360,153])    with connection graph  [CV = 15, Cdeg = 6]

      C4[ 360, 109 ] = UG(ATD[360,173])    with connection graph  [CV = 15, Cdeg = 12]

      C4[ 360, 149 ] = XI(Rmap(180,134){6,10|4}_12)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 360, 153 ] = XI(Rmap(180,165){12,30|4}_15)    with connection graph  [C_15]

      C4[ 360, 165 ] = PL(CSI(TAG(F 10)[ 6^ 10], 3))    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 360, 166 ] = BGCG(TAG(F 10), C_ 6, 1)    with connection graph  [CV = 15, Cdeg = 12]

      C4[ 360, 167 ] = BGCG({4, 4}_ 6, 0, C_ 5, 1)    with connection graph  [C_ 15(1, 4)]

      C4[ 360, 168 ] = BGCG({4, 4}_ 6, 0, C_ 5, 2)    with connection graph  [C_ 15(1, 4)]

      C4[ 360, 176 ] = BGCG(UG(ATD[60,15]), C_ 3, 1)    with connection graph  [CV = 15, Cdeg = 12]

      C4[ 360, 178 ] = BGCG(UG(ATD[60,16]), C_ 3, {1, 4})    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 360, 182 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 1)    with connection graph  [CV = 15, Cdeg = 8]

      C4[ 360, 183 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 3)    with connection graph  [CV = 15, Cdeg = 8]

      C4[ 360, 185 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 10)    with connection graph  [CV = 15, Cdeg = 12]

      C4[ 360, 204 ] = BGCG(UG(ATD[180,44]); K1;1)    with connection graph  [Pr_ 5( 1, 1, 2, 2)]

      C4[ 360, 211 ] = BGCG(UG(Rmap(360,345){6,4|10}_8); K1;{2, 7})    with connection graph  [CV = 15, Cdeg = 6]

      C4[ 360, 214 ] = BGCG(UG(Rmap(360,353){8,4|10}_10); K1;{6, 7})    with connection graph  [CV = 15, Cdeg = 8]

      C4[ 360, 215 ] = SS[360, 1]    with connection graph  [CV = 15, Cdeg = 6]

      C4[ 360, 225 ] = SS[360, 17]    with connection graph  [CV = 15, Cdeg = 6]

      C4[ 384, 14 ] = PS( 32, 24; 5)    with connection graph  [C_16]

      C4[ 384, 15 ] = MPS( 32, 24; 5)    with connection graph  [C_16]

      C4[ 384, 25 ] = MPS( 12, 64; 15)    with connection graph  [C_16]

      C4[ 384, 39 ] = PL(MSY( 4, 48, 17, 0))    with connection graph  [C_16]

      C4[ 384, 43 ] = PL(MSY( 6, 32, 15, 0))    with connection graph  [C_16]

      C4[ 384, 44 ] = PL(MSY( 6, 32, 15, 16))    with connection graph  [C_16]

      C4[ 384, 52 ] = PL(MSY( 16, 12, 5, 0))    with connection graph  [C_16]

      C4[ 384, 67 ] = PL(LoPr_ 48( 3, 16, 6, 16, 3), [6^32, 16^12])    with connection graph  [C_16]

      C4[ 384, 72 ] = PL(LoPr_ 48( 3, 16, 18, 16, 21), [6^32, 16^12])    with connection graph  [W( 8, 2)]

      C4[ 384, 86 ] = PL(Curtain_48(1,18,1,2,32),[4^48,16^12])    with connection graph  [C_16]

      C4[ 384, 101 ] = CPM( 8, 3, 2, 3)    with connection graph  [CV = 16, Cdeg = 12]

      C4[ 384, 102 ] = PL(MBr( 2, 96; 17))    with connection graph  [C_16]

      C4[ 384, 105 ] = PL(BC_96({ 0, 48 }, { 1, 31 })    with connection graph  [C_16]

      C4[ 384, 152 ] = UG(ATD[384,95])    with connection graph  [CV = 16, Cdeg = 12]

      C4[ 384, 203 ] = UG(ATD[384,261])    with connection graph  [C_16]

      C4[ 384, 208 ] = UG(ATD[384,321])    with connection graph  [W( 8, 2)]

      C4[ 384, 209 ] = UG(ATD[384,324])    with connection graph  [W( 8, 2)]

      C4[ 384, 235 ] = UG(ATD[384,415])    with connection graph  [K_8,8]

      C4[ 384, 236 ] = UG(ATD[384,418])    with connection graph  [K_8,8]

      C4[ 384, 315 ] = UG(ATD[384,640])    with connection graph  [CV = 16, Cdeg = 12]

      C4[ 384, 343 ] = PL(ATD[12,2]#ATD[32,7])    with connection graph  [W( 8, 2)]

      C4[ 384, 344 ] = PL(ATD[12,2]#ATD[32,8])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 384, 345 ] = PL(ATD[12,2]#ATD[32,11])    with connection graph  [{4, 4}_ 4, 0]

      C4[ 384, 352 ] = PL(ATD[24,8]#DCyc[4])    with connection graph  [CV = 16, Cdeg = 3]

      C4[ 384, 357 ] = PL(ATD[48,24]#DCyc[4])    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 397 ] = BGCG(R_ 24( 8, 19), C_ 4, {1, 2})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 398 ] = BGCG(R_ 24( 8, 19), C_ 4, {3, 4, 5, 6})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 402 ] = PL(CS(PX( 6, 3)[ 12^ 8], 1))    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 404 ] = BGCG(PX( 6, 3), C_ 4, {1, 2})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 405 ] = BGCG(PX( 6, 3), C_ 4, {7, 10})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 407 ] = PL(CS(KE_12(1,7,4,9,1)[ 12^ 8], 1))    with connection graph  [CV = 16, Cdeg = 3]

      C4[ 384, 415 ] = BGCG(AMC( 3, 8, [ 5. 5: 5. 2]), C_ 4, 2)    with connection graph  [CV = 16, Cdeg = 6]

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

      C4[ 384, 436 ] = BGCG(UG(ATD[96,4]); K2;{2, 4})    with connection graph  [CV = 16, Cdeg = 12]

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

      C4[ 384, 451 ] = BGCG(PX( 12, 4); K1;{20, 21})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 452 ] = BGCG(PX( 6, 5); K1;6)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 454 ] = BGCG(PX( 6, 5); K1;11)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 467 ] = BGCG(UG(ATD[192,11]); K1;18)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 489 ] = BGCG(UG(ATD[192,44]); K1;4)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 491 ] = BGCG(UG(ATD[192,44]); K1;8)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 493 ] = BGCG(UG(ATD[192,47]); K1;{9, 14})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 494 ] = BGCG(UG(ATD[192,47]); K1;{12, 13})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 519 ] = BGCG(UG(ATD[192,158]); K1;2)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 520 ] = BGCG(UG(ATD[192,158]); K1;3)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 521 ] = BGCG(UG(ATD[192,158]); K1;5)    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 524 ] = BGCG(UG(ATD[192,161]); K1;{11, 14})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 525 ] = BGCG(UG(ATD[192,161]); K1;{13, 15})    with connection graph  [CV = 16, Cdeg = 6]

      C4[ 384, 532 ] = BGCG(UG(ATD[192,201]); K1;7)    with connection graph  [CV = 16, Cdeg = 3]

      C4[ 384, 536 ] = BGCG(UG(ATD[192,207]); K1;1)    with connection graph  [{4, 4}_ 4, 0]

      C4[ 384, 539 ] = BGCG(UG(ATD[192,209]); K1;5)    with connection graph  [{4, 4}_ 4, 0]

      C4[ 384, 556 ] = SS[384, 49]    with connection graph  [CV = 16, Cdeg = 12]

      C4[ 384, 557 ] = SS[384, 50]    with connection graph  [CV = 16, Cdeg = 12]

      C4[ 408, 9 ] = PS( 34, 24; 5)    with connection graph  [C_17]

      C4[ 408, 10 ] = PS( 34, 24; 7)    with connection graph  [C_17]

      C4[ 408, 26 ] = PL(MSY( 4, 51, 35, 0))    with connection graph  [C_17]

      C4[ 408, 28 ] = PL(MC3( 4, 51, 1, 50, 16, 0, 1), [4^51, 102^2])    with connection graph  [C_17]

      C4[ 408, 32 ] = PL(Curtain_51(1,16,35,50,51),[4^51,34^6])    with connection graph  [C_17]

      C4[ 408, 36 ] = PL(BC_102({ 0, 51 }, { 1, 16 })    with connection graph  [C_17]

      C4[ 432, 14 ] = PS( 36, 24; 5)    with connection graph  [C_18]

      C4[ 432, 15 ] = MPS( 36, 24; 5)    with connection graph  [C_18]

      C4[ 432, 24 ] = MPS( 12, 72; 17)    with connection graph  [C_18]

      C4[ 432, 34 ] = PL(MSY( 6, 36, 17, 0))    with connection graph  [C_18]

      C4[ 432, 35 ] = PL(MSY( 6, 36, 17, 18))    with connection graph  [C_18]

      C4[ 432, 36 ] = PL(MSY( 18, 12, 5, 0))    with connection graph  [C_18]

      C4[ 432, 40 ] = PL(MC3( 6, 36, 1, 17, 19, 0, 1), [6^36, 18^12])    with connection graph  [C_18]

      C4[ 432, 41 ] = PL(MC3( 18, 12, 1, 7, 5, 0, 1), [4^54, 18^12])    with connection graph  [C_18]

      C4[ 432, 42 ] = PL(MC3( 18, 12, 1, 7, 5, 6, 1), [4^54, 36^6])    with connection graph  [C_18]

      C4[ 432, 50 ] = PL(RC( 6, 3), [6^36, 6^36])    with connection graph  [DW( 6, 3)]

      C4[ 432, 90 ] = UG(ATD[432,109])    with connection graph  [DW( 6, 3)]

      C4[ 432, 92 ] = UG(ATD[432,115])    with connection graph  [DW( 6, 3)]

      C4[ 432, 97 ] = UG(ATD[432,128])    with connection graph  [DW( 6, 3)]

      C4[ 432, 98 ] = UG(ATD[432,131])    with connection graph  [DW( 6, 3)]

      C4[ 432, 111 ] = UG(ATD[432,163])    with connection graph  [C_18]

      C4[ 432, 113 ] = UG(ATD[432,169])    with connection graph  [W( 9, 2)]

      C4[ 432, 118 ] = UG(ATD[432,184])    with connection graph  [W( 9, 2)]

      C4[ 432, 124 ] = UG(ATD[432,198])    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 127 ] = UG(ATD[432,207])    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 132 ] = UG(ATD[432,220])    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 134 ] = UG(ATD[432,226])    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 142 ] = UG(ATD[432,301])    with connection graph  [C_18]

      C4[ 432, 170 ] = PL(ATD[36,2]#DCyc[3])    with connection graph  [DW( 6, 3)]

      C4[ 432, 172 ] = PL(ATD[36,10]#DCyc[3])    with connection graph  [W( 9, 2)]

      C4[ 432, 175 ] = PL(ATD[54,9]#DCyc[4])    with connection graph  [C_18]

      C4[ 432, 190 ] = XI(Rmap(216,101){12,18|4}_18)    with connection graph  [W( 9, 2)]

      C4[ 432, 201 ] = PL(CSI(W( 18, 2)[ 18^ 4], 3))    with connection graph  [C_18]

      C4[ 432, 202 ] = BGCG({4, 4}_ 6, 0, C_ 6, {3, 5, 9, 10})    with connection graph  [DW( 6, 3)]

      C4[ 432, 207 ] = PL(CS(DW( 18, 3)[ 18^ 6], 1))    with connection graph  [C_18]

      C4[ 432, 209 ] = PL(CS(MC3( 6, 9, 1, 6, 2, 0, 1)[ 12^ 9], 0))    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 210 ] = PL(CS(MC3( 6, 9, 1, 6, 2, 0, 1)[ 12^ 9], 1))    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 211 ] = BGCG(MC3( 6, 9, 1, 6, 2, 0, 1), C_ 4, {1, 2, 3, 4, 5, 6})    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 211 ] = BGCG(MC3( 6, 9, 1, 6, 2, 0, 1), C_ 4, {1, 2, 3, 4, 5, 6})    with connection graph  [DW( 6, 3)]

      C4[ 432, 214 ] = PL(CS(AMC( 6, 3, [ 0. 1: 2. 2])[ 12^ 9], 0))    with connection graph  [CV = 18, Cdeg = 3]

      C4[ 432, 215 ] = PL(CS(AMC( 6, 3, [ 0. 1: 2. 2])[ 12^ 9], 1))    with connection graph  [CV = 18, Cdeg = 3]

      C4[ 432, 216 ] = BGCG(AMC( 6, 3, [ 0. 1: 2. 2]), C_ 4, {1, 11})    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 219 ] = PL(CS(PL(ProjLR(3,3))[ 12^ 9], 0))    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 220 ] = PL(CS(PL(ProjLR(3,3))[ 12^ 9], 1))    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 230 ] = BGCG(UG(ATD[72,13]), C_ 3, 1)    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 231 ] = BGCG(UG(ATD[72,13]), C_ 3, 3)    with connection graph  [CV = 18, Cdeg = 8]

      C4[ 432, 232 ] = BGCG(UG(ATD[72,13]), C_ 3, 7)    with connection graph  [CV = 18, Cdeg = 8]

      C4[ 432, 233 ] = BGCG(UG(ATD[72,13]), C_ 3, 8)    with connection graph  [CV = 18, Cdeg = 8]

      C4[ 432, 238 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;{1, 7})    with connection graph  [CV = 18, Cdeg = 12]

      C4[ 432, 239 ] = BGCG(AMC( 3, 12, [ 1. 1: 9. 10]); K2;3)    with connection graph  [CV = 18, Cdeg = 12]

      C4[ 432, 243 ] = BGCG(UG(ATD[108,14]); K2;6)    with connection graph  [DW( 6, 3)]

      C4[ 432, 253 ] = BGCG(UG(ATD[216,45]); K1;3)    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 254 ] = BGCG(UG(ATD[216,54]); K1;{5, 7})    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 255 ] = BGCG(UG(ATD[216,54]); K1;{13, 15})    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 258 ] = BGCG(UG(ATD[216,71]); K1;{1, 8})    with connection graph  [CV = 18, Cdeg = 12]

      C4[ 432, 260 ] = BGCG(UG(ATD[216,71]); K1;3)    with connection graph  [CV = 18, Cdeg = 12]

      C4[ 432, 261 ] = BGCG(UG(ATD[216,71]); K1;4)    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 264 ] = BGCG(UG(ATD[216,71]); K1;{9, 13})    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 273 ] = BGCG(UG(ATD[216,81]); K1;4)    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 275 ] = BGCG(UG(ATD[216,81]); K1;7)    with connection graph  [CV = 18, Cdeg = 6]

      C4[ 432, 276 ] = BGCG(UG(ATD[216,84]); K1;{6, 9})    with connection graph  [CV = 18, Cdeg = 12]

      C4[ 432, 276 ] = BGCG(UG(ATD[216,84]); K1;{6, 9})    with connection graph  [CV = 18, Cdeg = 3]

      C4[ 432, 277 ] = BGCG(UG(ATD[216,84]); K1;{12, 15})    with connection graph  [CV = 18, Cdeg = 3]

      C4[ 432, 286 ] = SS[432, 10]    with connection graph  [CV = 18, Cdeg = 3]

      C4[ 456, 9 ] = PS( 38, 24; 5)    with connection graph  [C_19]

      C4[ 456, 10 ] = PS( 38, 24; 7)    with connection graph  [C_19]

      C4[ 456, 22 ] = PL(MSY( 4, 57, 37, 0))    with connection graph  [C_19]

      C4[ 456, 23 ] = PL(MC3( 4, 57, 1, 56, 20, 0, 1), [4^57, 114^2])    with connection graph  [C_19]

      C4[ 456, 28 ] = PL(Curtain_57(1,21,1,2,38),[4^57,38^6])    with connection graph  [C_19]

      C4[ 456, 30 ] = PL(BC_114({ 0, 57 }, { 1, 94 })    with connection graph  [C_19]

      C4[ 480, 22 ] = PS( 40, 24; 5)    with connection graph  [C_20]

      C4[ 480, 23 ] = MPS( 40, 24; 5)    with connection graph  [C_20]

      C4[ 480, 42 ] = MPS( 12, 80; 19)    with connection graph  [C_20]

      C4[ 480, 65 ] = PL(MSY( 4, 60, 19, 0))    with connection graph  [C_20]

      C4[ 480, 69 ] = PL(MSY( 6, 40, 19, 0))    with connection graph  [C_20]

      C4[ 480, 70 ] = PL(MSY( 6, 40, 19, 20))    with connection graph  [C_20]

      C4[ 480, 83 ] = PL(MSY( 20, 12, 5, 0))    with connection graph  [C_20]

      C4[ 480, 88 ] = PL(MSZ ( 20, 12, 5, 5), [4^60, 20^12])    with connection graph  [C_20]

      C4[ 480, 108 ] = PL(MC3( 10, 24, 1, 13, 5, 6, 1), [4^60, 40^6])    with connection graph  [C_20]

      C4[ 480, 118 ] = PL(LoPr_ 60( 3, 20, 6, 20, 3), [6^40, 20^12])    with connection graph  [C_20]

      C4[ 480, 142 ] = PL(MBr( 2, 120; 19))    with connection graph  [C_20]

      C4[ 480, 166 ] = UG(ATD[480,89])    with connection graph  [CV = 20, Cdeg = 8]

      C4[ 480, 192 ] = UG(ATD[480,232])    with connection graph  [C_20]

      C4[ 480, 198 ] = UG(ATD[480,265])    with connection graph  [W( 10, 2)]

      C4[ 480, 199 ] = UG(ATD[480,268])    with connection graph  [W( 10, 2)]

      C4[ 480, 245 ] = UG(ATD[480,372])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 247 ] = UG(ATD[480,378])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 252 ] = UG(ATD[480,393])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 254 ] = UG(ATD[480,399])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 257 ] = UG(ATD[480,408])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 258 ] = UG(ATD[480,411])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 259 ] = UG(ATD[480,414])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 260 ] = UG(ATD[480,417])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 263 ] = UG(ATD[480,426])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 264 ] = UG(ATD[480,429])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 265 ] = UG(ATD[480,432])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 266 ] = UG(ATD[480,435])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 288 ] = PL(ATD[6,1]#ATD[60,3])    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 332 ] = XI(Rmap(240,68){6,30|12}_40)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 345 ] = XI(Rmap(240,344){12,10|4}_15)    with connection graph  [R_ 10( 7, 6)]

      C4[ 480, 360 ] = BGCG(R_ 24( 8, 19), C_ 5, 1)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 361 ] = BGCG(R_ 24( 8, 19), C_ 5, 2)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 365 ] = BGCG(PX( 6, 3), C_ 5, 3)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 366 ] = BGCG(PX( 6, 3), C_ 5, 6)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 377 ] = BGCG({4, 4}_< 8, 2>, C_ 4, {3, 4})    with connection graph  [W( 10, 2)]

      C4[ 480, 383 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 20^ 6], 1))    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 384 ] = PL(CS(Pr_ 20( 1, 13, 17, 9)[ 15^ 8], 1))    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 390 ] = BGCG(UG(ATD[60,15]), C_ 4, {1, 2})    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 390 ] = BGCG(UG(ATD[60,15]), C_ 4, {1, 2})    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 396 ] = BGCG(UG(ATD[60,16]), C_ 4, {1, 4})    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 424 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 1)    with connection graph  [CV = 20, Cdeg = 8]

      C4[ 480, 426 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 3)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 426 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 3)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 426 ] = BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 4, 3)    with connection graph  [CV = 20, Cdeg = 8]

      C4[ 480, 430 ] = BGCG(PX( 5, 4), C_ 3, {1, 4})    with connection graph  [CV = 20, Cdeg = 8]

      C4[ 480, 430 ] = BGCG(PX( 5, 4), C_ 3, {1, 4})    with connection graph  [R_ 10( 7, 6)]

      C4[ 480, 449 ] = BGCG(UG(ATD[120,53]); K2;{2, 6})    with connection graph  [CV = 20, Cdeg = 3]

      C4[ 480, 450 ] = BGCG(UG(ATD[120,54]); K2;{8, 9, 10, 11})    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 472 ] = BGCG(UG(ATD[240,124]); K1;9)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 473 ] = BGCG(UG(ATD[240,124]); K1;15)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 482 ] = BGCG(UG(ATD[240,130]); K1;4)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 492 ] = BGCG(UG(ATD[240,142]); K1;1)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 493 ] = BGCG(UG(ATD[240,142]); K1;8)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 527 ] = BGCG(UG(Rmap(480,771){5,4|6}_12); K1;4)    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 541 ] = SS[480, 23]    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 544 ] = SS[480, 26]    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 545 ] = SS[480, 27]    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 548 ] = SS[480, 30]    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 550 ] = SS[480, 33]    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 551 ] = SS[480, 34]    with connection graph  [CV = 20, Cdeg = 6]

      C4[ 480, 552 ] = SS[480, 35]    with connection graph  [CV = 20, Cdeg = 3]

      C4[ 504, 15 ] = PS( 42, 24; 5)    with connection graph  [C_21]

      C4[ 504, 16 ] = PS( 42, 24; 7)    with connection graph  [C_21]

      C4[ 504, 58 ] = PL(MC3( 6, 42, 1, 22, 29, 12, 1), [4^63, 42^6])    with connection graph  [C_21]

      C4[ 504, 59 ] = PL(MC3( 6, 42, 1, 22, 29, 33, 1), [4^63, 84^3])    with connection graph  [C_21]

      C4[ 504, 65 ] = PL(WH_ 84( 21, 1, 12, 43), [4^63, 21^12])    with connection graph  [C_21]

      C4[ 504, 66 ] = PL(WH_ 84( 21, 1, 43, 54), [4^63, 42^6])    with connection graph  [C_21]

      C4[ 504, 87 ] = UG(ATD[504,79])    with connection graph  [C_ 21(1, 8)]

      C4[ 504, 89 ] = UG(ATD[504,91])    with connection graph  [C_ 21(1, 8)]

      C4[ 504, 93 ] = UG(ATD[504,103])    with connection graph  [C_21]

      C4[ 504, 99 ] = UG(ATD[504,180])    with connection graph  [CV = 21, Cdeg = 12]

      C4[ 504, 132 ] = UG(ATD[504,233])    with connection graph  [CV = 21, Cdeg = 12]

      C4[ 504, 149 ] = XI(Rmap(252,203){12,42|4}_21)    with connection graph  [C_21]

      C4[ 504, 158 ] = BGCG({4, 4}_ 6, 0, C_ 7, 1)    with connection graph  [C_ 21(1, 8)]

      C4[ 504, 159 ] = BGCG({4, 4}_ 6, 0, C_ 7, 2)    with connection graph  [C_ 21(1, 8)]

Aut-Orbital graphs of this one:

      C4[ 6, 1 ] = Octahedron

      C4[ 12, 1 ] = W( 6, 2)