c nb_vertices=154 nb_token=71
c LENGTH 5
a YES
a 2 5 6 9 10 13 14 20 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 153 
a 2 4 6 9 10 13 14 20 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 153 
a 2 4 6 10 13 14 20 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 153 
a 2 4 6 8 10 13 14 20 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 
a 2 4 8 10 13 14 20 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 151 
a 2 4 8 10 13 14 17 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 151