[Home] [Table] [Glossary]
[Families]
On this page are all graphs related to C4[ 6, 1 ].
Graphs which cover this one
2-fold covered by
C4[ 12, 2 ]
= R_ 6( 5, 4)
4-fold covered by
C4[ 24, 5 ]
= R_ 12( 11, 4)
4-fold covered by
C4[ 24, 6 ]
= R_ 12( 5, 10)
6-fold covered by
C4[ 36, 5 ]
= Pr_ 12( 1, 1, 5, 5)
8-fold covered by
C4[ 48, 7 ]
= R_ 24( 20, 7)
8-fold covered by
C4[ 48, 8 ]
= R_ 24( 8, 19)
8-fold covered by
C4[ 48, 12 ]
= KE_12(1,7,4,9,1)
8-fold covered by
C4[ 48, 14 ]
= AMC( 3, 8, [ 5. 5: 5. 2])
10-fold covered by
C4[ 60, 8 ]
= Pr_ 20( 1, 13, 17, 9)
12-fold covered by
C4[ 72, 10 ]
= R_ 36( 29, 10)
12-fold covered by
C4[ 72, 11 ]
= R_ 36( 11, 28)
12-fold covered by
C4[ 72, 13 ]
= Pr_ 24( 1, 1, 5, 5)
12-fold covered by
C4[ 72, 14 ]
= Pr_ 24( 1, 13, 17, 5)
12-fold covered by
C4[ 72, 21 ]
= UG(ATD[72,13])
14-fold covered by
C4[ 84, 13 ]
= Pr_ 28( 1, 5, 9, 13)
14-fold covered by
C4[ 84, 14 ]
= UG(ATD[84,1])
16-fold covered by
C4[ 96, 12 ]
= R_ 48( 38, 13)
16-fold covered by
C4[ 96, 14 ]
= PX( 6, 4)
16-fold covered by
C4[ 96, 23 ]
= KE_24(1,13,10,21,1)
16-fold covered by
C4[ 96, 25 ]
= KE_24(1,9,8,5,5)
16-fold covered by
C4[ 96, 26 ]
= KE_24(1,1,4,21,7)
16-fold covered by
C4[ 96, 28 ]
= KE_24(1,11,2,3,11)
16-fold covered by
C4[ 96, 32 ]
= AMC( 6, 8, [ 5. 5: 5. 2])
16-fold covered by
C4[ 96, 35 ]
= UG(ATD[96,4])
16-fold covered by
C4[ 96, 36 ]
= UG(ATD[96,11])
16-fold covered by
C4[ 96, 37 ]
= UG(ATD[96,13])
16-fold covered by
C4[ 96, 38 ]
= UG(ATD[96,48])
16-fold covered by
C4[ 96, 39 ]
= UG(ATD[96,55])
16-fold covered by
C4[ 96, 40 ]
= UG(ATD[96,61])
18-fold covered by
C4[ 108, 9 ]
= Pr_ 36( 1, 25, 29, 17)
18-fold covered by
C4[ 108, 13 ]
= AMC( 3, 12, [ 1. 1: 9. 10])
18-fold covered by
C4[ 108, 15 ]
= UG(ATD[108,1])
18-fold covered by
C4[ 108, 16 ]
= UG(ATD[108,3])
18-fold covered by
C4[ 108, 18 ]
= UG(ATD[108,18])
20-fold covered by
C4[ 120, 18 ]
= R_ 60( 47, 16)
20-fold covered by
C4[ 120, 19 ]
= R_ 60( 17, 46)
20-fold covered by
C4[ 120, 24 ]
= Pr_ 40( 1, 13, 17, 29)
20-fold covered by
C4[ 120, 25 ]
= Pr_ 40( 1, 33, 37, 29)
20-fold covered by
C4[ 120, 27 ]
= KE_30(1,3,10,13,11)
22-fold covered by
C4[ 132, 6 ]
= Pr_ 44( 1, 9, 13, 21)
24-fold covered by
C4[ 144, 15 ]
= R_ 72( 56, 19)
24-fold covered by
C4[ 144, 16 ]
= R_ 72( 20, 55)
24-fold covered by
C4[ 144, 25 ]
= KE_36(1,19,16,33,1)
24-fold covered by
C4[ 144, 28 ]
= AMC( 9, 8, [ 5. 5: 5. 2])
24-fold covered by
C4[ 144, 35 ]
= UG(ATD[144,30])
24-fold covered by
C4[ 144, 37 ]
= UG(ATD[144,33])
24-fold covered by
C4[ 144, 38 ]
= UG(ATD[144,36])
24-fold covered by
C4[ 144, 39 ]
= UG(ATD[144,39])
24-fold covered by
C4[ 144, 40 ]
= UG(ATD[144,69])
24-fold covered by
C4[ 144, 41 ]
= UG(ATD[144,72])
24-fold covered by
C4[ 144, 42 ]
= UG(ATD[144,77])
24-fold covered by
C4[ 144, 43 ]
= UG(ATD[144,82])
26-fold covered by
C4[ 156, 12 ]
= Pr_ 52( 1, 37, 41, 25)
26-fold covered by
C4[ 156, 14 ]
= UG(ATD[156,1])
27-fold covered by
C4[ 162, 11 ]
= UG(ATD[162,7])
27-fold covered by
C4[ 162, 12 ]
= UG(ATD[162,8])
27-fold covered by
C4[ 162, 13 ]
= UG(ATD[162,9])
28-fold covered by
C4[ 168, 19 ]
= R_ 84( 65, 22)
28-fold covered by
C4[ 168, 20 ]
= R_ 84( 23, 64)
28-fold covered by
C4[ 168, 26 ]
= Pr_ 56( 1, 5, 9, 13)
28-fold covered by
C4[ 168, 27 ]
= Pr_ 56( 1, 33, 37, 13)
28-fold covered by
C4[ 168, 29 ]
= KE_42(1,17,14,3,13)
28-fold covered by
C4[ 168, 35 ]
= UG(ATD[168,3])
28-fold covered by
C4[ 168, 36 ]
= UG(ATD[168,17])
28-fold covered by
C4[ 168, 37 ]
= UG(ATD[168,19])
30-fold covered by
C4[ 180, 18 ]
= Pr_ 60( 1, 13, 17, 29)
30-fold covered by
C4[ 180, 20 ]
= KE_45(1,8,20,3,19)
30-fold covered by
C4[ 180, 24 ]
= UG(ATD[180,17])
32-fold covered by
C4[ 192, 20 ]
= R_ 96( 74, 25)
32-fold covered by
C4[ 192, 23 ]
= PX( 6, 5)
32-fold covered by
C4[ 192, 49 ]
= KE_48(1,25,22,45,1)
32-fold covered by
C4[ 192, 50 ]
= KE_48(1,21,8,5,7)
32-fold covered by
C4[ 192, 51 ]
= KE_48(1,27,16,19,7)
32-fold covered by
C4[ 192, 53 ]
= KE_48(1,11,8,3,17)
32-fold covered by
C4[ 192, 54 ]
= KE_48(1,3,16,19,17)
32-fold covered by
C4[ 192, 74 ]
= UG(ATD[192,1])
32-fold covered by
C4[ 192, 75 ]
= UG(ATD[192,3])
32-fold covered by
C4[ 192, 76 ]
= UG(ATD[192,5])
32-fold covered by
C4[ 192, 77 ]
= UG(ATD[192,7])
32-fold covered by
C4[ 192, 79 ]
= UG(ATD[192,14])
32-fold covered by
C4[ 192, 80 ]
= UG(ATD[192,16])
32-fold covered by
C4[ 192, 81 ]
= UG(ATD[192,19])
32-fold covered by
C4[ 192, 82 ]
= UG(ATD[192,20])
32-fold covered by
C4[ 192, 85 ]
= UG(ATD[192,35])
32-fold covered by
C4[ 192, 86 ]
= UG(ATD[192,38])
32-fold covered by
C4[ 192, 87 ]
= UG(ATD[192,41])
32-fold covered by
C4[ 192, 88 ]
= UG(ATD[192,44])
32-fold covered by
C4[ 192, 89 ]
= UG(ATD[192,47])
32-fold covered by
C4[ 192, 90 ]
= UG(ATD[192,49])
32-fold covered by
C4[ 192, 91 ]
= UG(ATD[192,50])
32-fold covered by
C4[ 192, 92 ]
= UG(ATD[192,52])
32-fold covered by
C4[ 192, 93 ]
= UG(ATD[192,55])
32-fold covered by
C4[ 192, 102 ]
= UG(ATD[192,151])
32-fold covered by
C4[ 192, 103 ]
= UG(ATD[192,153])
32-fold covered by
C4[ 192, 104 ]
= UG(ATD[192,155])
32-fold covered by
C4[ 192, 105 ]
= UG(ATD[192,158])
32-fold covered by
C4[ 192, 106 ]
= UG(ATD[192,161])
32-fold covered by
C4[ 192, 107 ]
= UG(ATD[192,163])
32-fold covered by
C4[ 192, 108 ]
= UG(ATD[192,165])
32-fold covered by
C4[ 192, 109 ]
= UG(ATD[192,171])
32-fold covered by
C4[ 192, 110 ]
= UG(ATD[192,177])
32-fold covered by
C4[ 192, 111 ]
= UG(ATD[192,183])
32-fold covered by
C4[ 192, 112 ]
= UG(ATD[192,186])
32-fold covered by
C4[ 192, 113 ]
= UG(ATD[192,189])
32-fold covered by
C4[ 192, 114 ]
= UG(ATD[192,192])
32-fold covered by
C4[ 192, 115 ]
= UG(ATD[192,195])
32-fold covered by
C4[ 192, 116 ]
= UG(ATD[192,199])
32-fold covered by
C4[ 192, 117 ]
= UG(ATD[192,201])
32-fold covered by
C4[ 192, 118 ]
= UG(ATD[192,203])
32-fold covered by
C4[ 192, 119 ]
= UG(ATD[192,205])
32-fold covered by
C4[ 192, 120 ]
= UG(ATD[192,207])
32-fold covered by
C4[ 192, 121 ]
= UG(ATD[192,208])
32-fold covered by
C4[ 192, 122 ]
= UG(ATD[192,209])
32-fold covered by
C4[ 192, 123 ]
= UG(ATD[192,210])
34-fold covered by
C4[ 204, 9 ]
= Pr_ 68( 1, 49, 53, 33)
36-fold covered by
C4[ 216, 19 ]
= R_108( 83, 28)
36-fold covered by
C4[ 216, 20 ]
= R_108( 29, 82)
36-fold covered by
C4[ 216, 22 ]
= Pr_ 72( 1, 25, 29, 53)
36-fold covered by
C4[ 216, 23 ]
= Pr_ 72( 1, 61, 65, 53)
36-fold covered by
C4[ 216, 37 ]
= UG(ATD[216,9])
36-fold covered by
C4[ 216, 38 ]
= UG(ATD[216,11])
36-fold covered by
C4[ 216, 39 ]
= UG(ATD[216,13])
36-fold covered by
C4[ 216, 40 ]
= UG(ATD[216,15])
36-fold covered by
C4[ 216, 44 ]
= UG(ATD[216,37])
36-fold covered by
C4[ 216, 45 ]
= UG(ATD[216,39])
36-fold covered by
C4[ 216, 46 ]
= UG(ATD[216,41])
36-fold covered by
C4[ 216, 47 ]
= UG(ATD[216,43])
36-fold covered by
C4[ 216, 48 ]
= UG(ATD[216,45])
36-fold covered by
C4[ 216, 54 ]
= UG(ATD[216,65])
36-fold covered by
C4[ 216, 55 ]
= UG(ATD[216,68])
36-fold covered by
C4[ 216, 56 ]
= UG(ATD[216,71])
36-fold covered by
C4[ 216, 65 ]
= UG(ATD[216,130])
36-fold covered by
C4[ 216, 66 ]
= UG(ATD[216,132])
36-fold covered by
C4[ 216, 67 ]
= UG(ATD[216,138])
36-fold covered by
C4[ 216, 68 ]
= UG(ATD[216,140])
38-fold covered by
C4[ 228, 9 ]
= Pr_ 76( 1, 17, 21, 37)
38-fold covered by
C4[ 228, 10 ]
= UG(ATD[228,1])
40-fold covered by
C4[ 240, 31 ]
= R_120( 92, 31)
40-fold covered by
C4[ 240, 32 ]
= R_120( 32, 91)
40-fold covered by
C4[ 240, 52 ]
= KE_60(1,31,28,57,1)
40-fold covered by
C4[ 240, 53 ]
= KE_60(1,33,10,13,11)
40-fold covered by
C4[ 240, 54 ]
= KE_60(1,27,20,17,11)
40-fold covered by
C4[ 240, 57 ]
= KE_60(1,3,10,13,19)
40-fold covered by
C4[ 240, 58 ]
= KE_60(1,23,20,3,19)
40-fold covered by
C4[ 240, 67 ]
= UG(ATD[240,3])
40-fold covered by
C4[ 240, 71 ]
= UG(ATD[240,29])
40-fold covered by
C4[ 240, 72 ]
= UG(ATD[240,31])
40-fold covered by
C4[ 240, 73 ]
= UG(ATD[240,33])
40-fold covered by
C4[ 240, 74 ]
= UG(ATD[240,40])
40-fold covered by
C4[ 240, 76 ]
= UG(ATD[240,105])
40-fold covered by
C4[ 240, 77 ]
= UG(ATD[240,110])
40-fold covered by
C4[ 240, 79 ]
= UG(ATD[240,120])
42-fold covered by
C4[ 252, 23 ]
= Pr_ 84( 1, 61, 65, 41)
42-fold covered by
C4[ 252, 25 ]
= KE_63(1,24,7,10,8)
42-fold covered by
C4[ 252, 27 ]
= UG(ATD[252,1])
42-fold covered by
C4[ 252, 28 ]
= UG(ATD[252,3])
42-fold covered by
C4[ 252, 29 ]
= UG(ATD[252,5])
42-fold covered by
C4[ 252, 31 ]
= UG(ATD[252,34])
44-fold covered by
C4[ 264, 12 ]
= R_132(101, 34)
44-fold covered by
C4[ 264, 13 ]
= R_132( 35, 100)
44-fold covered by
C4[ 264, 17 ]
= Pr_ 88( 1, 9, 13, 21)
44-fold covered by
C4[ 264, 18 ]
= Pr_ 88( 1, 53, 57, 21)
44-fold covered by
C4[ 264, 20 ]
= KE_66(1,3,22,25,23)
46-fold covered by
C4[ 276, 6 ]
= Pr_ 92( 1, 21, 25, 45)
48-fold covered by
C4[ 288, 25 ]
= R_144(110, 37)
48-fold covered by
C4[ 288, 70 ]
= UG(ATD[288,19])
48-fold covered by
C4[ 288, 90 ]
= UG(ATD[288,84])
48-fold covered by
C4[ 288, 91 ]
= UG(ATD[288,87])
48-fold covered by
C4[ 288, 92 ]
= UG(ATD[288,88])
48-fold covered by
C4[ 288, 93 ]
= UG(ATD[288,91])
48-fold covered by
C4[ 288, 94 ]
= UG(ATD[288,94])
48-fold covered by
C4[ 288, 95 ]
= UG(ATD[288,97])
48-fold covered by
C4[ 288, 96 ]
= UG(ATD[288,100])
48-fold covered by
C4[ 288, 98 ]
= UG(ATD[288,106])
48-fold covered by
C4[ 288, 99 ]
= UG(ATD[288,109])
48-fold covered by
C4[ 288, 100 ]
= UG(ATD[288,112])
48-fold covered by
C4[ 288, 101 ]
= UG(ATD[288,115])
48-fold covered by
C4[ 288, 102 ]
= UG(ATD[288,118])
48-fold covered by
C4[ 288, 104 ]
= UG(ATD[288,124])
48-fold covered by
C4[ 288, 105 ]
= UG(ATD[288,126])
48-fold covered by
C4[ 288, 106 ]
= UG(ATD[288,128])
48-fold covered by
C4[ 288, 107 ]
= UG(ATD[288,130])
48-fold covered by
C4[ 288, 108 ]
= UG(ATD[288,132])
48-fold covered by
C4[ 288, 109 ]
= UG(ATD[288,134])
48-fold covered by
C4[ 288, 113 ]
= UG(ATD[288,199])
48-fold covered by
C4[ 288, 114 ]
= UG(ATD[288,200])
48-fold covered by
C4[ 288, 115 ]
= UG(ATD[288,203])
48-fold covered by
C4[ 288, 116 ]
= UG(ATD[288,206])
48-fold covered by
C4[ 288, 117 ]
= UG(ATD[288,209])
48-fold covered by
C4[ 288, 118 ]
= UG(ATD[288,212])
48-fold covered by
C4[ 288, 119 ]
= UG(ATD[288,215])
48-fold covered by
C4[ 288, 120 ]
= UG(ATD[288,218])
48-fold covered by
C4[ 288, 121 ]
= UG(ATD[288,221])
48-fold covered by
C4[ 288, 122 ]
= UG(ATD[288,224])
48-fold covered by
C4[ 288, 123 ]
= UG(ATD[288,227])
48-fold covered by
C4[ 288, 124 ]
= UG(ATD[288,230])
48-fold covered by
C4[ 288, 125 ]
= UG(ATD[288,233])
48-fold covered by
C4[ 288, 126 ]
= UG(ATD[288,236])
48-fold covered by
C4[ 288, 127 ]
= UG(ATD[288,239])
48-fold covered by
C4[ 288, 128 ]
= UG(ATD[288,242])
48-fold covered by
C4[ 288, 129 ]
= UG(ATD[288,245])
48-fold covered by
C4[ 288, 130 ]
= UG(ATD[288,248])
48-fold covered by
C4[ 288, 131 ]
= UG(ATD[288,251])
50-fold covered by
C4[ 300, 20 ]
= Pr_100( 1, 73, 77, 49)
50-fold covered by
C4[ 300, 29 ]
= UG(ATD[300,15])
50-fold covered by
C4[ 300, 33 ]
= UG(ATD[300,34])
52-fold covered by
C4[ 312, 28 ]
= R_156(119, 40)
52-fold covered by
C4[ 312, 29 ]
= R_156( 41, 118)
52-fold covered by
C4[ 312, 34 ]
= Pr_104( 1, 37, 41, 77)
52-fold covered by
C4[ 312, 35 ]
= Pr_104( 1, 89, 93, 77)
52-fold covered by
C4[ 312, 43 ]
= UG(ATD[312,1])
52-fold covered by
C4[ 312, 44 ]
= UG(ATD[312,3])
52-fold covered by
C4[ 312, 45 ]
= UG(ATD[312,31])
52-fold covered by
C4[ 312, 46 ]
= UG(ATD[312,33])
52-fold covered by
C4[ 312, 47 ]
= UG(ATD[312,35])
52-fold covered by
C4[ 312, 48 ]
= UG(ATD[312,38])
54-fold covered by
C4[ 324, 14 ]
= Pr_108( 1, 25, 29, 53)
54-fold covered by
C4[ 324, 24 ]
= UG(ATD[324,1])
54-fold covered by
C4[ 324, 25 ]
= UG(ATD[324,3])
54-fold covered by
C4[ 324, 26 ]
= UG(ATD[324,5])
54-fold covered by
C4[ 324, 27 ]
= UG(ATD[324,7])
54-fold covered by
C4[ 324, 31 ]
= UG(ATD[324,27])
54-fold covered by
C4[ 324, 32 ]
= UG(ATD[324,29])
54-fold covered by
C4[ 324, 33 ]
= UG(ATD[324,31])
54-fold covered by
C4[ 324, 34 ]
= UG(ATD[324,33])
54-fold covered by
C4[ 324, 36 ]
= UG(ATD[324,38])
54-fold covered by
C4[ 324, 37 ]
= UG(ATD[324,39])
54-fold covered by
C4[ 324, 38 ]
= UG(ATD[324,40])
54-fold covered by
C4[ 324, 40 ]
= UG(ATD[324,45])
54-fold covered by
C4[ 324, 43 ]
= UG(ATD[324,62])
54-fold covered by
C4[ 324, 44 ]
= UG(ATD[324,66])
54-fold covered by
C4[ 324, 45 ]
= UG(ATD[324,68])
54-fold covered by
C4[ 324, 46 ]
= UG(ATD[324,70])
54-fold covered by
C4[ 324, 47 ]
= UG(ATD[324,72])
54-fold covered by
C4[ 324, 48 ]
= UG(ATD[324,74])
54-fold covered by
C4[ 324, 49 ]
= UG(ATD[324,76])
54-fold covered by
C4[ 324, 50 ]
= UG(ATD[324,78])
54-fold covered by
C4[ 324, 51 ]
= UG(ATD[324,80])
54-fold covered by
C4[ 324, 52 ]
= UG(ATD[324,82])
56-fold covered by
C4[ 336, 30 ]
= R_168(128, 43)
56-fold covered by
C4[ 336, 31 ]
= R_168( 44, 127)
56-fold covered by
C4[ 336, 53 ]
= UG(ATD[336,3])
56-fold covered by
C4[ 336, 54 ]
= UG(ATD[336,5])
56-fold covered by
C4[ 336, 55 ]
= UG(ATD[336,7])
56-fold covered by
C4[ 336, 56 ]
= UG(ATD[336,9])
56-fold covered by
C4[ 336, 59 ]
= UG(ATD[336,35])
56-fold covered by
C4[ 336, 60 ]
= UG(ATD[336,37])
56-fold covered by
C4[ 336, 61 ]
= UG(ATD[336,39])
56-fold covered by
C4[ 336, 62 ]
= UG(ATD[336,41])
56-fold covered by
C4[ 336, 63 ]
= UG(ATD[336,43])
56-fold covered by
C4[ 336, 64 ]
= UG(ATD[336,45])
56-fold covered by
C4[ 336, 65 ]
= UG(ATD[336,47])
56-fold covered by
C4[ 336, 66 ]
= UG(ATD[336,50])
56-fold covered by
C4[ 336, 67 ]
= UG(ATD[336,53])
56-fold covered by
C4[ 336, 69 ]
= UG(ATD[336,110])
56-fold covered by
C4[ 336, 70 ]
= UG(ATD[336,113])
56-fold covered by
C4[ 336, 71 ]
= UG(ATD[336,116])
56-fold covered by
C4[ 336, 72 ]
= UG(ATD[336,121])
56-fold covered by
C4[ 336, 73 ]
= UG(ATD[336,126])
58-fold covered by
C4[ 348, 8 ]
= Pr_116( 1, 85, 89, 57)
60-fold covered by
C4[ 360, 34 ]
= R_180(137, 46)
60-fold covered by
C4[ 360, 35 ]
= R_180( 47, 136)
60-fold covered by
C4[ 360, 52 ]
= Pr_120( 1, 13, 17, 29)
60-fold covered by
C4[ 360, 53 ]
= Pr_120( 1, 73, 77, 29)
60-fold covered by
C4[ 360, 74 ]
= UG(ATD[360,47])
60-fold covered by
C4[ 360, 75 ]
= UG(ATD[360,50])
60-fold covered by
C4[ 360, 76 ]
= UG(ATD[360,53])
60-fold covered by
C4[ 360, 77 ]
= UG(ATD[360,56])
60-fold covered by
C4[ 360, 78 ]
= UG(ATD[360,59])
60-fold covered by
C4[ 360, 80 ]
= UG(ATD[360,124])
60-fold covered by
C4[ 360, 81 ]
= UG(ATD[360,126])
60-fold covered by
C4[ 360, 82 ]
= UG(ATD[360,128])
60-fold covered by
C4[ 360, 83 ]
= UG(ATD[360,130])
60-fold covered by
C4[ 360, 101 ]
= UG(ATD[360,157])
60-fold covered by
C4[ 360, 102 ]
= UG(ATD[360,158])
62-fold covered by
C4[ 372, 9 ]
= Pr_124( 1, 29, 33, 61)
62-fold covered by
C4[ 372, 10 ]
= UG(ATD[372,1])
64-fold covered by
C4[ 384, 33 ]
= R_192(146, 49)
64-fold covered by
C4[ 384, 112 ]
= UG(ATD[384,1])
64-fold covered by
C4[ 384, 113 ]
= UG(ATD[384,3])
64-fold covered by
C4[ 384, 114 ]
= UG(ATD[384,5])
64-fold covered by
C4[ 384, 115 ]
= UG(ATD[384,7])
64-fold covered by
C4[ 384, 116 ]
= UG(ATD[384,9])
64-fold covered by
C4[ 384, 117 ]
= UG(ATD[384,11])
64-fold covered by
C4[ 384, 118 ]
= UG(ATD[384,13])
64-fold covered by
C4[ 384, 119 ]
= UG(ATD[384,15])
64-fold covered by
C4[ 384, 120 ]
= UG(ATD[384,17])
64-fold covered by
C4[ 384, 121 ]
= UG(ATD[384,19])
64-fold covered by
C4[ 384, 122 ]
= UG(ATD[384,21])
64-fold covered by
C4[ 384, 123 ]
= UG(ATD[384,23])
64-fold covered by
C4[ 384, 124 ]
= UG(ATD[384,25])
64-fold covered by
C4[ 384, 125 ]
= UG(ATD[384,27])
64-fold covered by
C4[ 384, 126 ]
= UG(ATD[384,29])
64-fold covered by
C4[ 384, 127 ]
= UG(ATD[384,31])
64-fold covered by
C4[ 384, 128 ]
= UG(ATD[384,33])
64-fold covered by
C4[ 384, 129 ]
= UG(ATD[384,35])
64-fold covered by
C4[ 384, 130 ]
= UG(ATD[384,37])
64-fold covered by
C4[ 384, 131 ]
= UG(ATD[384,39])
64-fold covered by
C4[ 384, 132 ]
= UG(ATD[384,41])
64-fold covered by
C4[ 384, 133 ]
= UG(ATD[384,43])
64-fold covered by
C4[ 384, 134 ]
= UG(ATD[384,45])
64-fold covered by
C4[ 384, 135 ]
= UG(ATD[384,47])
64-fold covered by
C4[ 384, 142 ]
= UG(ATD[384,73])
64-fold covered by
C4[ 384, 143 ]
= UG(ATD[384,75])
64-fold covered by
C4[ 384, 144 ]
= UG(ATD[384,77])
64-fold covered by
C4[ 384, 145 ]
= UG(ATD[384,79])
64-fold covered by
C4[ 384, 146 ]
= UG(ATD[384,81])
64-fold covered by
C4[ 384, 147 ]
= UG(ATD[384,83])
64-fold covered by
C4[ 384, 148 ]
= UG(ATD[384,85])
64-fold covered by
C4[ 384, 149 ]
= UG(ATD[384,87])
64-fold covered by
C4[ 384, 150 ]
= UG(ATD[384,89])
64-fold covered by
C4[ 384, 151 ]
= UG(ATD[384,92])
64-fold covered by
C4[ 384, 154 ]
= UG(ATD[384,99])
64-fold covered by
C4[ 384, 155 ]
= UG(ATD[384,102])
64-fold covered by
C4[ 384, 156 ]
= UG(ATD[384,106])
64-fold covered by
C4[ 384, 157 ]
= UG(ATD[384,109])
64-fold covered by
C4[ 384, 158 ]
= UG(ATD[384,112])
64-fold covered by
C4[ 384, 159 ]
= UG(ATD[384,115])
64-fold covered by
C4[ 384, 160 ]
= UG(ATD[384,119])
64-fold covered by
C4[ 384, 161 ]
= UG(ATD[384,122])
64-fold covered by
C4[ 384, 162 ]
= UG(ATD[384,125])
64-fold covered by
C4[ 384, 163 ]
= UG(ATD[384,127])
64-fold covered by
C4[ 384, 164 ]
= UG(ATD[384,129])
64-fold covered by
C4[ 384, 165 ]
= UG(ATD[384,131])
64-fold covered by
C4[ 384, 166 ]
= UG(ATD[384,133])
64-fold covered by
C4[ 384, 167 ]
= UG(ATD[384,135])
64-fold covered by
C4[ 384, 168 ]
= UG(ATD[384,137])
64-fold covered by
C4[ 384, 169 ]
= UG(ATD[384,140])
64-fold covered by
C4[ 384, 170 ]
= UG(ATD[384,143])
64-fold covered by
C4[ 384, 174 ]
= UG(ATD[384,156])
64-fold covered by
C4[ 384, 175 ]
= UG(ATD[384,159])
64-fold covered by
C4[ 384, 177 ]
= UG(ATD[384,167])
64-fold covered by
C4[ 384, 179 ]
= UG(ATD[384,174])
64-fold covered by
C4[ 384, 181 ]
= UG(ATD[384,178])
64-fold covered by
C4[ 384, 182 ]
= UG(ATD[384,181])
64-fold covered by
C4[ 384, 184 ]
= UG(ATD[384,185])
64-fold covered by
C4[ 384, 185 ]
= UG(ATD[384,188])
64-fold covered by
C4[ 384, 186 ]
= UG(ATD[384,189])
64-fold covered by
C4[ 384, 187 ]
= UG(ATD[384,192])
64-fold covered by
C4[ 384, 188 ]
= UG(ATD[384,193])
64-fold covered by
C4[ 384, 189 ]
= UG(ATD[384,196])
64-fold covered by
C4[ 384, 190 ]
= UG(ATD[384,197])
64-fold covered by
C4[ 384, 191 ]
= UG(ATD[384,200])
64-fold covered by
C4[ 384, 192 ]
= UG(ATD[384,203])
64-fold covered by
C4[ 384, 193 ]
= UG(ATD[384,206])
64-fold covered by
C4[ 384, 194 ]
= UG(ATD[384,209])
64-fold covered by
C4[ 384, 195 ]
= UG(ATD[384,212])
64-fold covered by
C4[ 384, 196 ]
= UG(ATD[384,215])
64-fold covered by
C4[ 384, 197 ]
= UG(ATD[384,218])
64-fold covered by
C4[ 384, 198 ]
= UG(ATD[384,221])
64-fold covered by
C4[ 384, 199 ]
= UG(ATD[384,224])
64-fold covered by
C4[ 384, 200 ]
= UG(ATD[384,227])
64-fold covered by
C4[ 384, 201 ]
= UG(ATD[384,230])
64-fold covered by
C4[ 384, 248 ]
= UG(ATD[384,454])
64-fold covered by
C4[ 384, 249 ]
= UG(ATD[384,457])
64-fold covered by
C4[ 384, 250 ]
= UG(ATD[384,460])
64-fold covered by
C4[ 384, 251 ]
= UG(ATD[384,463])
64-fold covered by
C4[ 384, 252 ]
= UG(ATD[384,466])
64-fold covered by
C4[ 384, 253 ]
= UG(ATD[384,469])
64-fold covered by
C4[ 384, 254 ]
= UG(ATD[384,472])
64-fold covered by
C4[ 384, 255 ]
= UG(ATD[384,475])
64-fold covered by
C4[ 384, 256 ]
= UG(ATD[384,478])
64-fold covered by
C4[ 384, 257 ]
= UG(ATD[384,481])
64-fold covered by
C4[ 384, 258 ]
= UG(ATD[384,484])
64-fold covered by
C4[ 384, 259 ]
= UG(ATD[384,485])
64-fold covered by
C4[ 384, 260 ]
= UG(ATD[384,488])
64-fold covered by
C4[ 384, 261 ]
= UG(ATD[384,491])
64-fold covered by
C4[ 384, 262 ]
= UG(ATD[384,494])
64-fold covered by
C4[ 384, 263 ]
= UG(ATD[384,497])
64-fold covered by
C4[ 384, 264 ]
= UG(ATD[384,500])
64-fold covered by
C4[ 384, 265 ]
= UG(ATD[384,503])
64-fold covered by
C4[ 384, 266 ]
= UG(ATD[384,506])
64-fold covered by
C4[ 384, 267 ]
= UG(ATD[384,509])
64-fold covered by
C4[ 384, 268 ]
= UG(ATD[384,512])
64-fold covered by
C4[ 384, 269 ]
= UG(ATD[384,515])
64-fold covered by
C4[ 384, 270 ]
= UG(ATD[384,518])
64-fold covered by
C4[ 384, 271 ]
= UG(ATD[384,521])
64-fold covered by
C4[ 384, 272 ]
= UG(ATD[384,524])
64-fold covered by
C4[ 384, 273 ]
= UG(ATD[384,527])
64-fold covered by
C4[ 384, 274 ]
= UG(ATD[384,530])
64-fold covered by
C4[ 384, 275 ]
= UG(ATD[384,533])
64-fold covered by
C4[ 384, 276 ]
= UG(ATD[384,536])
64-fold covered by
C4[ 384, 277 ]
= UG(ATD[384,539])
64-fold covered by
C4[ 384, 278 ]
= UG(ATD[384,542])
64-fold covered by
C4[ 384, 279 ]
= UG(ATD[384,545])
64-fold covered by
C4[ 384, 280 ]
= UG(ATD[384,548])
64-fold covered by
C4[ 384, 281 ]
= UG(ATD[384,551])
64-fold covered by
C4[ 384, 282 ]
= UG(ATD[384,554])
64-fold covered by
C4[ 384, 283 ]
= UG(ATD[384,557])
64-fold covered by
C4[ 384, 284 ]
= UG(ATD[384,560])
64-fold covered by
C4[ 384, 285 ]
= UG(ATD[384,563])
64-fold covered by
C4[ 384, 286 ]
= UG(ATD[384,566])
64-fold covered by
C4[ 384, 287 ]
= UG(ATD[384,569])
64-fold covered by
C4[ 384, 288 ]
= UG(ATD[384,573])
64-fold covered by
C4[ 384, 289 ]
= UG(ATD[384,576])
64-fold covered by
C4[ 384, 290 ]
= UG(ATD[384,579])
64-fold covered by
C4[ 384, 291 ]
= UG(ATD[384,582])
64-fold covered by
C4[ 384, 292 ]
= UG(ATD[384,585])
64-fold covered by
C4[ 384, 293 ]
= UG(ATD[384,588])
64-fold covered by
C4[ 384, 294 ]
= UG(ATD[384,591])
64-fold covered by
C4[ 384, 295 ]
= UG(ATD[384,594])
64-fold covered by
C4[ 384, 296 ]
= UG(ATD[384,597])
64-fold covered by
C4[ 384, 297 ]
= UG(ATD[384,600])
64-fold covered by
C4[ 384, 298 ]
= UG(ATD[384,603])
64-fold covered by
C4[ 384, 299 ]
= UG(ATD[384,606])
64-fold covered by
C4[ 384, 300 ]
= UG(ATD[384,609])
64-fold covered by
C4[ 384, 301 ]
= UG(ATD[384,611])
64-fold covered by
C4[ 384, 302 ]
= UG(ATD[384,614])
64-fold covered by
C4[ 384, 303 ]
= UG(ATD[384,616])
64-fold covered by
C4[ 384, 304 ]
= UG(ATD[384,617])
64-fold covered by
C4[ 384, 305 ]
= UG(ATD[384,618])
64-fold covered by
C4[ 384, 306 ]
= UG(ATD[384,620])
64-fold covered by
C4[ 384, 307 ]
= UG(ATD[384,623])
64-fold covered by
C4[ 384, 308 ]
= UG(ATD[384,625])
64-fold covered by
C4[ 384, 309 ]
= UG(ATD[384,628])
64-fold covered by
C4[ 384, 310 ]
= UG(ATD[384,630])
64-fold covered by
C4[ 384, 311 ]
= UG(ATD[384,632])
64-fold covered by
C4[ 384, 312 ]
= UG(ATD[384,634])
64-fold covered by
C4[ 384, 313 ]
= UG(ATD[384,636])
64-fold covered by
C4[ 384, 314 ]
= UG(ATD[384,639])
64-fold covered by
C4[ 384, 315 ]
= UG(ATD[384,640])
64-fold covered by
C4[ 384, 316 ]
= UG(ATD[384,641])
64-fold covered by
C4[ 384, 317 ]
= UG(ATD[384,642])
64-fold covered by
C4[ 384, 318 ]
= UG(ATD[384,643])
64-fold covered by
C4[ 384, 319 ]
= UG(ATD[384,644])
66-fold covered by
C4[ 396, 13 ]
= Pr_132( 1, 97,101, 65)
66-fold covered by
C4[ 396, 17 ]
= UG(ATD[396,8])
66-fold covered by
C4[ 396, 18 ]
= UG(ATD[396,12])
68-fold covered by
C4[ 408, 23 ]
= R_204(155, 52)
68-fold covered by
C4[ 408, 24 ]
= R_204( 53, 154)
68-fold covered by
C4[ 408, 29 ]
= Pr_136( 1, 49, 53,101)
68-fold covered by
C4[ 408, 30 ]
= Pr_136( 1,117,121,101)
68-fold covered by
C4[ 408, 38 ]
= UG(ATD[408,17])
68-fold covered by
C4[ 408, 39 ]
= UG(ATD[408,20])
70-fold covered by
C4[ 420, 38 ]
= Pr_140( 1, 33, 37, 69)
70-fold covered by
C4[ 420, 40 ]
= UG(ATD[420,1])
70-fold covered by
C4[ 420, 41 ]
= UG(ATD[420,3])
70-fold covered by
C4[ 420, 42 ]
= UG(ATD[420,33])
70-fold covered by
C4[ 420, 43 ]
= UG(ATD[420,35])
72-fold covered by
C4[ 432, 30 ]
= R_216(164, 55)
72-fold covered by
C4[ 432, 31 ]
= R_216( 56, 163)
72-fold covered by
C4[ 432, 58 ]
= UG(ATD[432,15])
72-fold covered by
C4[ 432, 59 ]
= UG(ATD[432,17])
72-fold covered by
C4[ 432, 60 ]
= UG(ATD[432,19])
72-fold covered by
C4[ 432, 61 ]
= UG(ATD[432,21])
72-fold covered by
C4[ 432, 62 ]
= UG(ATD[432,23])
72-fold covered by
C4[ 432, 63 ]
= UG(ATD[432,25])
72-fold covered by
C4[ 432, 64 ]
= UG(ATD[432,27])
72-fold covered by
C4[ 432, 65 ]
= UG(ATD[432,29])
72-fold covered by
C4[ 432, 66 ]
= UG(ATD[432,31])
72-fold covered by
C4[ 432, 67 ]
= UG(ATD[432,33])
72-fold covered by
C4[ 432, 68 ]
= UG(ATD[432,35])
72-fold covered by
C4[ 432, 73 ]
= UG(ATD[432,69])
72-fold covered by
C4[ 432, 74 ]
= UG(ATD[432,71])
72-fold covered by
C4[ 432, 75 ]
= UG(ATD[432,73])
72-fold covered by
C4[ 432, 76 ]
= UG(ATD[432,75])
72-fold covered by
C4[ 432, 77 ]
= UG(ATD[432,77])
72-fold covered by
C4[ 432, 78 ]
= UG(ATD[432,79])
72-fold covered by
C4[ 432, 79 ]
= UG(ATD[432,81])
72-fold covered by
C4[ 432, 80 ]
= UG(ATD[432,83])
72-fold covered by
C4[ 432, 83 ]
= UG(ATD[432,88])
72-fold covered by
C4[ 432, 84 ]
= UG(ATD[432,91])
72-fold covered by
C4[ 432, 85 ]
= UG(ATD[432,94])
72-fold covered by
C4[ 432, 102 ]
= UG(ATD[432,145])
72-fold covered by
C4[ 432, 103 ]
= UG(ATD[432,147])
72-fold covered by
C4[ 432, 104 ]
= UG(ATD[432,149])
72-fold covered by
C4[ 432, 105 ]
= UG(ATD[432,151])
72-fold covered by
C4[ 432, 106 ]
= UG(ATD[432,153])
72-fold covered by
C4[ 432, 107 ]
= UG(ATD[432,155])
72-fold covered by
C4[ 432, 109 ]
= UG(ATD[432,158])
72-fold covered by
C4[ 432, 110 ]
= UG(ATD[432,160])
72-fold covered by
C4[ 432, 111 ]
= UG(ATD[432,163])
72-fold covered by
C4[ 432, 112 ]
= UG(ATD[432,166])
72-fold covered by
C4[ 432, 113 ]
= UG(ATD[432,169])
72-fold covered by
C4[ 432, 114 ]
= UG(ATD[432,172])
72-fold covered by
C4[ 432, 115 ]
= UG(ATD[432,175])
72-fold covered by
C4[ 432, 116 ]
= UG(ATD[432,178])
72-fold covered by
C4[ 432, 117 ]
= UG(ATD[432,181])
72-fold covered by
C4[ 432, 118 ]
= UG(ATD[432,184])
72-fold covered by
C4[ 432, 119 ]
= UG(ATD[432,187])
72-fold covered by
C4[ 432, 143 ]
= UG(ATD[432,304])
72-fold covered by
C4[ 432, 144 ]
= UG(ATD[432,307])
72-fold covered by
C4[ 432, 145 ]
= UG(ATD[432,310])
72-fold covered by
C4[ 432, 146 ]
= UG(ATD[432,313])
72-fold covered by
C4[ 432, 147 ]
= UG(ATD[432,316])
72-fold covered by
C4[ 432, 148 ]
= UG(ATD[432,319])
72-fold covered by
C4[ 432, 149 ]
= UG(ATD[432,322])
72-fold covered by
C4[ 432, 150 ]
= UG(ATD[432,325])
72-fold covered by
C4[ 432, 151 ]
= UG(ATD[432,330])
72-fold covered by
C4[ 432, 152 ]
= UG(ATD[432,333])
72-fold covered by
C4[ 432, 153 ]
= UG(ATD[432,336])
72-fold covered by
C4[ 432, 154 ]
= UG(ATD[432,341])
72-fold covered by
C4[ 432, 155 ]
= UG(ATD[432,344])
72-fold covered by
C4[ 432, 156 ]
= UG(ATD[432,347])
74-fold covered by
C4[ 444, 12 ]
= Pr_148( 1,109,113, 73)
74-fold covered by
C4[ 444, 14 ]
= UG(ATD[444,1])
76-fold covered by
C4[ 456, 19 ]
= R_228(173, 58)
76-fold covered by
C4[ 456, 20 ]
= R_228( 59, 172)
76-fold covered by
C4[ 456, 24 ]
= Pr_152( 1, 17, 21, 37)
76-fold covered by
C4[ 456, 25 ]
= Pr_152( 1, 93, 97, 37)
76-fold covered by
C4[ 456, 31 ]
= UG(ATD[456,1])
76-fold covered by
C4[ 456, 32 ]
= UG(ATD[456,17])
76-fold covered by
C4[ 456, 33 ]
= UG(ATD[456,19])
76-fold covered by
C4[ 456, 34 ]
= UG(ATD[456,21])
78-fold covered by
C4[ 468, 30 ]
= Pr_156( 1, 37, 41, 77)
78-fold covered by
C4[ 468, 34 ]
= UG(ATD[468,1])
78-fold covered by
C4[ 468, 35 ]
= UG(ATD[468,3])
78-fold covered by
C4[ 468, 36 ]
= UG(ATD[468,5])
78-fold covered by
C4[ 468, 38 ]
= UG(ATD[468,43])
78-fold covered by
C4[ 468, 39 ]
= UG(ATD[468,47])
80-fold covered by
C4[ 480, 57 ]
= R_240(182, 61)
80-fold covered by
C4[ 480, 145 ]
= UG(ATD[480,5])
80-fold covered by
C4[ 480, 146 ]
= UG(ATD[480,7])
80-fold covered by
C4[ 480, 147 ]
= UG(ATD[480,9])
80-fold covered by
C4[ 480, 148 ]
= UG(ATD[480,11])
80-fold covered by
C4[ 480, 161 ]
= UG(ATD[480,79])
80-fold covered by
C4[ 480, 162 ]
= UG(ATD[480,81])
80-fold covered by
C4[ 480, 163 ]
= UG(ATD[480,83])
80-fold covered by
C4[ 480, 164 ]
= UG(ATD[480,85])
80-fold covered by
C4[ 480, 168 ]
= UG(ATD[480,93])
80-fold covered by
C4[ 480, 169 ]
= UG(ATD[480,96])
80-fold covered by
C4[ 480, 170 ]
= UG(ATD[480,99])
80-fold covered by
C4[ 480, 171 ]
= UG(ATD[480,102])
80-fold covered by
C4[ 480, 172 ]
= UG(ATD[480,105])
80-fold covered by
C4[ 480, 174 ]
= UG(ATD[480,109])
80-fold covered by
C4[ 480, 175 ]
= UG(ATD[480,112])
80-fold covered by
C4[ 480, 176 ]
= UG(ATD[480,113])
80-fold covered by
C4[ 480, 178 ]
= UG(ATD[480,119])
80-fold covered by
C4[ 480, 179 ]
= UG(ATD[480,122])
80-fold covered by
C4[ 480, 180 ]
= UG(ATD[480,125])
80-fold covered by
C4[ 480, 181 ]
= UG(ATD[480,126])
80-fold covered by
C4[ 480, 182 ]
= UG(ATD[480,129])
80-fold covered by
C4[ 480, 183 ]
= UG(ATD[480,130])
80-fold covered by
C4[ 480, 184 ]
= UG(ATD[480,133])
80-fold covered by
C4[ 480, 186 ]
= UG(ATD[480,139])
80-fold covered by
C4[ 480, 187 ]
= UG(ATD[480,141])
80-fold covered by
C4[ 480, 188 ]
= UG(ATD[480,143])
80-fold covered by
C4[ 480, 189 ]
= UG(ATD[480,145])
80-fold covered by
C4[ 480, 202 ]
= UG(ATD[480,276])
80-fold covered by
C4[ 480, 203 ]
= UG(ATD[480,277])
80-fold covered by
C4[ 480, 204 ]
= UG(ATD[480,280])
80-fold covered by
C4[ 480, 205 ]
= UG(ATD[480,283])
80-fold covered by
C4[ 480, 206 ]
= UG(ATD[480,284])
80-fold covered by
C4[ 480, 207 ]
= UG(ATD[480,287])
80-fold covered by
C4[ 480, 208 ]
= UG(ATD[480,290])
80-fold covered by
C4[ 480, 209 ]
= UG(ATD[480,291])
80-fold covered by
C4[ 480, 210 ]
= UG(ATD[480,294])
80-fold covered by
C4[ 480, 211 ]
= UG(ATD[480,295])
80-fold covered by
C4[ 480, 212 ]
= UG(ATD[480,298])
80-fold covered by
C4[ 480, 213 ]
= UG(ATD[480,299])
80-fold covered by
C4[ 480, 214 ]
= UG(ATD[480,302])
80-fold covered by
C4[ 480, 215 ]
= UG(ATD[480,305])
80-fold covered by
C4[ 480, 216 ]
= UG(ATD[480,308])
80-fold covered by
C4[ 480, 217 ]
= UG(ATD[480,311])
80-fold covered by
C4[ 480, 218 ]
= UG(ATD[480,314])
80-fold covered by
C4[ 480, 219 ]
= UG(ATD[480,317])
80-fold covered by
C4[ 480, 220 ]
= UG(ATD[480,320])
80-fold covered by
C4[ 480, 221 ]
= UG(ATD[480,323])
80-fold covered by
C4[ 480, 222 ]
= UG(ATD[480,326])
80-fold covered by
C4[ 480, 223 ]
= UG(ATD[480,329])
80-fold covered by
C4[ 480, 224 ]
= UG(ATD[480,332])
81-fold covered by
C4[ 486, 35 ]
= UG(ATD[486,49])
81-fold covered by
C4[ 486, 36 ]
= UG(ATD[486,50])
81-fold covered by
C4[ 486, 37 ]
= UG(ATD[486,51])
82-fold covered by
C4[ 492, 9 ]
= Pr_164( 1,121,125, 81)
84-fold covered by
C4[ 504, 45 ]
= R_252(191, 64)
84-fold covered by
C4[ 504, 46 ]
= R_252( 65, 190)
84-fold covered by
C4[ 504, 60 ]
= Pr_168( 1, 61, 65,125)
84-fold covered by
C4[ 504, 61 ]
= Pr_168( 1,145,149,125)
84-fold covered by
C4[ 504, 76 ]
= UG(ATD[504,13])
84-fold covered by
C4[ 504, 77 ]
= UG(ATD[504,15])
84-fold covered by
C4[ 504, 78 ]
= UG(ATD[504,17])
84-fold covered by
C4[ 504, 79 ]
= UG(ATD[504,19])
84-fold covered by
C4[ 504, 80 ]
= UG(ATD[504,21])
84-fold covered by
C4[ 504, 81 ]
= UG(ATD[504,63])
84-fold covered by
C4[ 504, 82 ]
= UG(ATD[504,65])
84-fold covered by
C4[ 504, 83 ]
= UG(ATD[504,67])
84-fold covered by
C4[ 504, 84 ]
= UG(ATD[504,69])
84-fold covered by
C4[ 504, 85 ]
= UG(ATD[504,71])
84-fold covered by
C4[ 504, 86 ]
= UG(ATD[504,73])
84-fold covered by
C4[ 504, 90 ]
= UG(ATD[504,94])
84-fold covered by
C4[ 504, 91 ]
= UG(ATD[504,97])
84-fold covered by
C4[ 504, 92 ]
= UG(ATD[504,100])
84-fold covered by
C4[ 504, 93 ]
= UG(ATD[504,103])
84-fold covered by
C4[ 504, 94 ]
= UG(ATD[504,167])
84-fold covered by
C4[ 504, 95 ]
= UG(ATD[504,169])
84-fold covered by
C4[ 504, 96 ]
= UG(ATD[504,171])
84-fold covered by
C4[ 504, 97 ]
= UG(ATD[504,173])
Graphs which have this one as the base graph in a BGCG dissection:
C4[ 12, 1 ]
= W( 6, 2)
with connection graph [K_1]
C4[ 24, 4 ]
= R_ 12( 8, 7)
with connection graph [K_2]
C4[ 24, 7 ]
= SDD(Octahedron)
with connection graph [K_2]
C4[ 48, 9 ]
= PX( 6, 3)
with connection graph [K_4]
C4[ 48, 10 ]
= PL(WH_ 8( 2, 0, 1, 5), [3^8, 4^6])
with connection graph [K_4]
C4[ 48, 11 ]
= PL(WH_ 8( 2, 1, 4, 5), [4^6, 6^4])
with connection graph [K_4]
C4[ 48, 13 ]
= PL(Curtain_6(1,3,2,4,5),[4^6,8^3])
with connection graph [K_4]
C4[ 60, 10 ]
= UG(ATD[60,15])
with connection graph [K_5]
C4[ 60, 21 ]
= BGCG(Pr_ 10( 2, 3, 1, 4); K1;{2, 3})
with connection graph [K_5]
C4[ 72, 22 ]
= PL(ATD[6,1]#DCyc[3])
with connection graph [K_3,3]
C4[ 72, 25 ]
= PL(CS(DW( 3, 3)[ 6^ 3], 1))
with connection graph [K_3,3]
C4[ 84, 11 ]
= MC3( 6, 14, 1, 10, 3, 0, 1)
with connection graph [K_7]
C4[ 84, 12 ]
= MC3( 6, 14, 1, 12, 3, 0, 1)
with connection graph [K_7]
C4[ 84, 23 ]
= BGCG(L(F 28); K1;{1, 2})
with connection graph [K_7]
C4[ 96, 27 ]
= KE_24(1,11,8,3,7)
with connection graph [DK_8]
C4[ 96, 29 ]
= PL(Curtain_12(1,6,1,5,11),[4^12,4^12])
with connection graph [Q_3]
C4[ 96, 31 ]
= PL(Curtain_12(1,6,5,7,11),[4^12,8^6])
with connection graph [Q_3]
C4[ 96, 34 ]
= PL(PLR2'(3)
with connection graph [K_4,4]
C4[ 96, 47 ]
= PL(CS(R_ 6( 5, 4)[ 6^ 4], 0))
with connection graph [Q_3]
C4[ 96, 48 ]
= PL(CS(R_ 6( 5, 4)[ 6^ 4], 1))
with connection graph [Q_3]
C4[ 96, 53 ]
= SS[ 96, 13]
with connection graph [DK_8]
C4[ 96, 54 ]
= SS[ 96, 14]
with connection graph [K_4,4]
C4[ 120, 50 ]
= XI(Rmap(60,7){4,6|3}_10)
with connection graph [C_ 10(1, 3)]
C4[ 120, 58 ]
= PL(CS(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 0))
with connection graph [Petersen]
C4[ 120, 59 ]
= PL(CS(Pr_ 5( 1, 1, 2, 2)[ 5^ 6], 1))
with connection graph [Petersen]
C4[ 120, 67 ]
= BGCG(UG(ATD[60,16]); K1;{13, 14})
with connection graph [C_ 10(1, 3)]
C4[ 144, 71 ]
= SS[144, 23]
with connection graph [K_6,6]
C4[ 168, 39 ]
= UG(ATD[168,63])
with connection graph [DK_14]
C4[ 168, 57 ]
= XI(Rmap(84,46){3,8|8}_8)
with connection graph [BC_ 7( 0, 1, 2, 4)]
C4[ 168, 63 ]
= BGCG(MC3( 6, 14, 1, 10, 3, 0, 1); K1;{1, 3})
with connection graph [BC_ 7( 0, 1, 2, 4)]
C4[ 168, 64 ]
= BGCG(UG(ATD[84,23]); K1;{4, 6})
with connection graph [DK_14]
C4[ 168, 65 ]
= BGCG(L(F 56C); K1;{6, 9})
with connection graph [CV = 14, Cdeg = 6]
C4[ 168, 66 ]
= BGCG(UG(Rmap(168,16){8,4|6}_14); K1;{3, 4})
with connection graph [CV = 14, Cdeg = 6]
C4[ 180, 27 ]
= UG(ATD[180,44])
with connection graph [CV = 15, Cdeg = 12]
C4[ 180, 40 ]
= UG(Rmap(360,29){10,4|8}_10)
with connection graph [CV = 15, Cdeg = 6]
C4[ 180, 43 ]
= UG(Rmap(360,359){10,4|8}_10)
with connection graph [CV = 15, Cdeg = 6]
C4[ 180, 48 ]
= BGCG(TAG(F 10), C_ 3, 1)
with connection graph [CV = 15, Cdeg = 12]
C4[ 180, 52 ]
= SS[180, 8]
with connection graph [CV = 15, Cdeg = 6]
C4[ 192, 67 ]
= PL(Curtain_24(1,12,7,11,23),[4^24,16^6])
with connection graph [CV = 16, Cdeg = 3]
C4[ 192, 78 ]
= UG(ATD[192,11])
with connection graph [CV = 16, Cdeg = 12]
C4[ 192, 120 ]
= UG(ATD[192,207])
with connection graph [CV = 16, Cdeg = 12]
C4[ 192, 124 ]
= PL(ATD[6,1]#ATD[24,7])
with connection graph [CV = 16, Cdeg = 3]
C4[ 192, 132 ]
= XI(Rmap(96,17){6,6|3}_8)
with connection graph [{4, 4}_ 4, 0]
C4[ 192, 142 ]
= PL(CS(R_ 12( 11, 4)[ 12^ 4], 0))
with connection graph [CV = 16, Cdeg = 3]
C4[ 192, 143 ]
= PL(CS(R_ 12( 11, 4)[ 12^ 4], 1))
with connection graph [CV = 16, Cdeg = 3]
C4[ 192, 169 ]
= BGCG(UG(ATD[96,48]); K1;{8, 9})
with connection graph [{4, 4}_ 4, 0]
C4[ 192, 172 ]
= SS[192, 57]
with connection graph [CV = 16, Cdeg = 6]
C4[ 192, 173 ]
= SS[192, 58]
with connection graph [CV = 16, Cdeg = 6]
C4[ 192, 197 ]
= SS[192, 86]
with connection graph [CV = 16, Cdeg = 12]
C4[ 192, 204 ]
= SS[192, 98]
with connection graph [CV = 16, Cdeg = 6]
C4[ 192, 205 ]
= SS[192, 99]
with connection graph [CV = 16, Cdeg = 6]
C4[ 192, 212 ]
= SS[192, 112]
with connection graph [CV = 16, Cdeg = 12]
C4[ 216, 71 ]
= PL(ATD[6,1]#ATD[27,5])
with connection graph [CV = 18, Cdeg = 3]
C4[ 216, 85 ]
= PL(CS(AMC( 3, 3, [ 0. 1: 2. 2])[ 6^ 9], 1))
with connection graph [CV = 18, Cdeg = 3]
C4[ 240, 136 ]
= PL(CS(Pr_ 10( 1, 1, 2, 2)[ 10^ 6], 0))
with connection graph [CV = 20, Cdeg = 3]
C4[ 240, 137 ]
= PL(CS(Pr_ 10( 1, 1, 2, 2)[ 10^ 6], 1))
with connection graph [CV = 20, Cdeg = 3]
C4[ 240, 146 ]
= PL(CS(Pr_ 10( 1, 1, 3, 3)[ 10^ 6], 0))
with connection graph [CV = 20, Cdeg = 3]
C4[ 240, 147 ]
= PL(CS(Pr_ 10( 1, 1, 3, 3)[ 10^ 6], 1))
with connection graph [CV = 20, Cdeg = 3]
C4[ 288, 140 ]
= PL(ATD[6,1]#ATD[36,6])
with connection graph [CV = 24, Cdeg = 3]
C4[ 288, 186 ]
= PL(CS(Pr_ 12( 1, 1, 5, 5)[ 12^ 6], 1))
with connection graph [CV = 24, Cdeg = 3]
C4[ 288, 198 ]
= BGCG(PX( 6, 3), C_ 3, {1, 2})
with connection graph [K_12,12]
C4[ 288, 242 ]
= BGCG(UG(ATD[144,32]); K1;{1, 2})
with connection graph [K_12,12]
C4[ 288, 243 ]
= BGCG(UG(ATD[144,32]); K1;4)
with connection graph [CV = 24, Cdeg = 6]
C4[ 288, 249 ]
= SS[288, 4]
with connection graph [CV = 24, Cdeg = 6]
C4[ 288, 250 ]
= SS[288, 5]
with connection graph [K_12,12]
C4[ 288, 253 ]
= SS[288, 9]
with connection graph [K_12,12]
C4[ 324, 39 ]
= UG(ATD[324,42])
with connection graph [CV = 27, Cdeg = 12]
C4[ 324, 95 ]
= BGCG(UG(ATD[162,8]); K1;1)
with connection graph [CV = 27, Cdeg = 12]
C4[ 336, 129 ]
= XI(Rmap(168,144){6,6|4}_8)
with connection graph [BC_ 14( 0, 1, 4, 6)]
C4[ 336, 157 ]
= BGCG(UG(ATD[168,64]); K1;{8, 9})
with connection graph [BC_ 14( 0, 1, 4, 6)]
C4[ 336, 158 ]
= BGCG(UG(ATD[168,65]); K1;{18, 19})
with connection graph [CV = 28, Cdeg = 12]
C4[ 336, 159 ]
= BGCG(UG(ATD[168,74]); K1;{10, 12})
with connection graph [CV = 28, Cdeg = 12]
C4[ 336, 164 ]
= SS[336, 13]
with connection graph [CV = 28, Cdeg = 12]
C4[ 336, 166 ]
= SS[336, 15]
with connection graph [CV = 28, Cdeg = 12]
C4[ 360, 150 ]
= XI(Rmap(180,137){10,6|4}_12)
with connection graph [PS( 6, 5; 2)]
C4[ 360, 177 ]
= BGCG(UG(ATD[60,15]), C_ 3, 2)
with connection graph [CV = 30, Cdeg = 12]
C4[ 360, 180 ]
= BGCG(UG(ATD[60,16]), C_ 3, {7, 8})
with connection graph [PS( 6, 5; 2)]
C4[ 360, 184 ]
= BGCG(MG(Rmap(60,57){4,6|6}_10), C_ 3, 9)
with connection graph [CV = 30, Cdeg = 12]
C4[ 360, 207 ]
= BGCG(L(F120A); K1;5)
with connection graph [CV = 30, Cdeg = 12]
C4[ 360, 208 ]
= BGCG(UG(Rmap(360,19){8,4|4}_10); K1;4)
with connection graph [CV = 30, Cdeg = 12]
C4[ 360, 215 ]
= SS[360, 1]
with connection graph [CV = 30, Cdeg = 6]
C4[ 360, 225 ]
= SS[360, 17]
with connection graph [CV = 30, Cdeg = 6]
C4[ 384, 100 ]
= CPM( 8, 3, 1, 1)
with connection graph [CV = 32, Cdeg = 12]
C4[ 384, 364 ]
= XI(Rmap(192,27){6,6|3}_8)
with connection graph [MSY( 4, 8, 5, 4)]
C4[ 384, 380 ]
= XI(Rmap(192,458){8,6|4}_12)
with connection graph [MSY( 4, 8, 5, 4)]
C4[ 384, 464 ]
= BGCG(UG(ATD[192,11]); K1;{1, 3})
with connection graph [CV = 32, Cdeg = 12]
C4[ 384, 465 ]
= BGCG(UG(ATD[192,11]); K1;{2, 5})
with connection graph [MSY( 4, 8, 5, 4)]
C4[ 384, 466 ]
= BGCG(UG(ATD[192,11]); K1;{7, 9})
with connection graph [CV = 32, Cdeg = 12]
C4[ 384, 530 ]
= BGCG(UG(ATD[192,199]); K1;3)
with connection graph [CV = 32, Cdeg = 6]
C4[ 384, 538 ]
= BGCG(UG(ATD[192,209]); K1;4)
with connection graph [MSY( 4, 8, 5, 4)]
C4[ 432, 284 ]
= SS[432, 7]
with connection graph [CV = 36, Cdeg = 6]
C4[ 480, 540 ]
= SS[480, 22]
with connection graph [CV = 40, Cdeg = 6]
C4[ 480, 542 ]
= SS[480, 24]
with connection graph [CV = 40, Cdeg = 12]
C4[ 480, 547 ]
= SS[480, 29]
with connection graph [CV = 40, Cdeg = 6]
C4[ 480, 555 ]
= SS[480, 39]
with connection graph [CV = 40, Cdeg = 12]
C4[ 480, 556 ]
= SS[480, 41]
with connection graph [CV = 40, Cdeg = 6]
C4[ 504, 100 ]
= UG(ATD[504,181])
with connection graph [CV = 42, Cdeg = 12]
C4[ 504, 165 ]
= BGCG(L(F 56C), C_ 3, {3, 4})
with connection graph [CV = 42, Cdeg = 12]