c nb_vertices=87 nb_token=35 c LENGTH 9 a YES a 1 3 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 70 75 77 78 81 82 84 85 86 a 1 3 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 54 56 57 61 62 64 65 69 75 77 78 81 82 84 85 86 a 1 3 7 8 10 11 18 21 24 25 26 29 30 36 38 41 44 47 48 50 54 56 57 61 62 64 65 69 75 77 78 81 82 85 86 a 1 3 7 8 10 11 21 24 25 26 29 30 36 38 41 44 47 48 50 54 56 57 59 61 62 64 65 69 75 77 78 81 82 85 86 a 1 3 7 8 10 11 21 24 25 26 28 29 30 36 38 41 44 47 48 50 54 56 57 59 61 62 64 65 75 77 78 81 82 85 86 a 1 3 7 8 10 11 21 24 25 26 28 29 30 36 38 41 44 47 48 50 53 54 56 57 59 61 62 64 65 75 77 78 82 85 86 a 1 3 7 8 10 11 21 24 25 26 28 29 30 36 38 41 44 48 50 53 54 55 56 57 59 61 62 64 65 75 77 78 82 85 86 a 1 3 6 7 8 10 11 21 24 25 26 28 29 30 36 38 41 44 48 50 53 54 55 56 57 59 61 62 64 65 75 77 78 82 86 a 3 6 7 8 10 11 21 24 25 26 28 29 30 36 38 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 82 86 a 3 6 7 8 10 11 24 25 26 28 29 30 36 38 41 44 48 50 53 54 55 56 57 59 60 61 62 64 65 75 77 78 79 82 86