# DEGREE 3, DIAMETER 7: 200 VERTICES # ---------------------------------- # 200 vertices, 300 undirected edges, every vertex of degree 3, every pair of vertices within 7 steps # of each other. # # Voltage lift over G = Z_5 x|_4 Z_8 = of a 5-vertex base graph # (link 0 -> 1 with voltage 1; link 0 -> 2 with voltage 1; link 0 -> 3 with voltage 1; link 1 -> 4 # with voltage 1; link 1 -> 2 with voltage y; semi-edge at 2 with voltage y^4; loop at 3 with voltage # x y^2; loop at 4 with voltage x^2 y^2): (u, g) is joined to (v, g a) for every dart u -> v with # voltage a. # # Vertex 40 v + i + 5 j is the pair (v, x^i y^j). # # One edge "u v" per line, vertices numbered 0..199; README.md describes the construction. # loop at base vertex 3, voltage x y^2: (3, g) -- (3, g x y^2) 120 131 121 132 122 133 123 134 124 130 125 139 126 135 127 136 128 137 129 138 130 141 131 142 132 143 133 144 134 140 135 149 136 145 137 146 138 147 139 148 140 151 141 152 142 153 143 154 144 150 145 159 146 155 147 156 148 157 149 158 150 121 151 122 152 123 153 124 154 120 155 129 156 125 157 126 158 127 159 128 # loop at base vertex 4, voltage x^2 y^2: (4, g) -- (4, g x^2 y^2) 160 172 161 173 162 174 163 170 164 171 165 178 166 179 167 175 168 176 169 177 170 182 171 183 172 184 173 180 174 181 175 188 176 189 177 185 178 186 179 187 180 192 181 193 182 194 183 190 184 191 185 198 186 199 187 195 188 196 189 197 190 162 191 163 192 164 193 160 194 161 195 168 196 169 197 165 198 166 199 167 # semi-edge at base vertex 2, voltage y^4: (2, g) -- (2, g y^4), each pair once 80 100 81 101 82 102 83 103 84 104 85 105 86 106 87 107 88 108 89 109 90 110 91 111 92 112 93 113 94 114 95 115 96 116 97 117 98 118 99 119 # link 0 -> 1, voltage 1: (0, g) -- (1, g 1) 0 40 1 41 2 42 3 43 4 44 5 45 6 46 7 47 8 48 9 49 10 50 11 51 12 52 13 53 14 54 15 55 16 56 17 57 18 58 19 59 20 60 21 61 22 62 23 63 24 64 25 65 26 66 27 67 28 68 29 69 30 70 31 71 32 72 33 73 34 74 35 75 36 76 37 77 38 78 39 79 # link 0 -> 2, voltage 1: (0, g) -- (2, g 1) 0 80 1 81 2 82 3 83 4 84 5 85 6 86 7 87 8 88 9 89 10 90 11 91 12 92 13 93 14 94 15 95 16 96 17 97 18 98 19 99 20 100 21 101 22 102 23 103 24 104 25 105 26 106 27 107 28 108 29 109 30 110 31 111 32 112 33 113 34 114 35 115 36 116 37 117 38 118 39 119 # link 0 -> 3, voltage 1: (0, g) -- (3, g 1) 0 120 1 121 2 122 3 123 4 124 5 125 6 126 7 127 8 128 9 129 10 130 11 131 12 132 13 133 14 134 15 135 16 136 17 137 18 138 19 139 20 140 21 141 22 142 23 143 24 144 25 145 26 146 27 147 28 148 29 149 30 150 31 151 32 152 33 153 34 154 35 155 36 156 37 157 38 158 39 159 # link 1 -> 4, voltage 1: (1, g) -- (4, g 1) 40 160 41 161 42 162 43 163 44 164 45 165 46 166 47 167 48 168 49 169 50 170 51 171 52 172 53 173 54 174 55 175 56 176 57 177 58 178 59 179 60 180 61 181 62 182 63 183 64 184 65 185 66 186 67 187 68 188 69 189 70 190 71 191 72 192 73 193 74 194 75 195 76 196 77 197 78 198 79 199 # link 1 -> 2, voltage y: (1, g) -- (2, g y) 40 85 41 86 42 87 43 88 44 89 45 90 46 91 47 92 48 93 49 94 50 95 51 96 52 97 53 98 54 99 55 100 56 101 57 102 58 103 59 104 60 105 61 106 62 107 63 108 64 109 65 110 66 111 67 112 68 113 69 114 70 115 71 116 72 117 73 118 74 119 75 80 76 81 77 82 78 83 79 84