c nb_vertices=905 nb_token=79
c LENGTH 16
a YES
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 114 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 107 108 110 114 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 107 108 110 114 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 107 108 110 114 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 213 220 222 224 247 260 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 213 220 222 224 247 260 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 134 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 260 310 343 349 445 464 553 
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 445 464 553 
a 5 7 10 15 19 33 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 445 464 553 
a 5 7 10 15 19 33 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 445 464 553 
a 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 445 464 553 
a 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 120 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 445 464 553 
a 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 413 445 464 553 
a 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 413 425 445 464 
a 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 413 425 445 464 588