#BEGIN: [Mon Sep  4 22:01:17 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance009_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance009_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance009_graph003.col /benchmark/random_instance/random_instance009_graph003_01.dat
c /benchmark/random_instance/random_instance009_graph003.col
c /benchmark/random_instance/random_instance009_graph003_01.dat
s 33 23 21 31 20 76 18 38 2 99 34 53 8 43 25 98 71 19 32 108 22 65 104 59 78 45 60 86 3 47 85 36 42 100 46 9 50 82
t 80 35 108 5 111 54 72 15 86 33 61 1 10 103 18 95 14 117 42 7 51 43 68 74 63 19 101 90 24 60 57 84 112 99 27 98 8 79
a YES
a 2 3 8 9 18 19 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 65 71 76 78 82 85 86 98 99 100 104 108
a 2 3 5 8 9 18 19 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 36 38 39 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 98 99 100 104
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 59 60 71 76 82 85 86 93 98 99 100 104
a 2 3 5 8 9 18 19 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 59 60 71 76 82 85 86 98 99 100 104
a 2 3 5 8 9 18 19 20 21 22 23 25 31 32 33 34 36 38 39 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 98 99 100 104
a 2 3 8 9 18 19 20 21 22 23 25 31 32 33 34 36 38 39 42 43 45 46 47 50 53 59 60 65 71 76 78 82 85 86 98 99 100 104
a 2 3 8 9 18 20 21 22 23 25 31 32 33 34 36 38 39 42 43 45 46 47 50 53 59 60 65 71 76 78 82 85 86 93 98 99 100 104
a 2 3 8 9 20 21 22 23 25 31 32 33 34 36 38 39 40 42 43 45 46 47 50 53 59 60 65 71 76 78 82 85 86 93 98 99 100 104
a 2 3 8 9 20 21 22 23 25 31 32 33 34 36 38 40 42 43 45 46 47 50 53 59 60 65 71 76 78 82 85 86 93 98 99 100 104 108
a 2 3 8 9 20 21 22 23 25 31 32 33 34 36 38 40 42 43 44 45 46 47 50 53 59 60 65 71 76 78 82 85 86 93 98 100 104 108
a 2 3 5 8 9 20 21 22 23 25 31 32 33 34 36 38 40 42 43 44 45 46 47 50 53 59 60 71 76 78 82 85 86 93 98 100 104 108
a 2 3 5 8 9 20 21 22 23 25 31 32 33 34 38 40 42 43 44 45 46 47 50 53 59 60 69 71 76 78 82 85 86 93 98 100 104 108
a 2 3 8 9 20 21 22 23 25 31 32 33 34 38 40 42 43 44 45 46 47 50 53 59 60 65 69 71 76 78 82 85 86 93 98 100 104 108
a 2 3 8 9 20 21 22 23 25 31 32 33 34 38 39 40 42 43 44 45 46 47 50 53 59 60 65 69 71 76 78 82 85 86 93 98 100 104
a 2 3 8 9 20 21 22 23 25 31 32 33 34 36 38 39 40 42 43 44 45 46 47 50 53 59 60 65 71 76 78 82 85 86 93 98 100 104
a 2 3 8 9 20 21 22 23 25 31 32 33 34 36 38 39 40 42 43 44 45 46 47 50 59 60 65 71 76 78 82 85 86 93 98 100 104 117
a 2 3 6 8 9 20 21 22 23 25 31 32 33 34 36 39 40 42 43 44 45 46 47 50 59 60 65 71 76 78 82 85 86 93 98 100 104 117
a 2 3 6 8 9 20 21 22 23 25 31 32 33 34 36 40 42 43 44 45 46 47 50 59 60 65 71 76 78 82 85 86 93 98 100 104 108 117
a 2 3 6 8 9 15 20 21 22 25 31 32 33 34 36 40 42 43 44 45 46 47 50 59 60 65 71 76 78 82 85 86 93 98 100 104 108 117
a 2 3 6 8 9 15 20 21 22 25 31 32 33 34 36 40 42 43 44 45 46 47 50 53 59 60 65 71 76 78 82 85 86 93 98 100 104 108
a 2 3 5 6 8 9 15 20 21 22 25 31 32 33 34 36 40 42 43 44 45 46 47 50 53 59 60 71 76 78 82 85 86 93 98 100 104 108
a 2 3 5 6 8 9 15 19 20 21 22 25 31 32 33 34 36 40 42 43 44 45 46 47 50 53 59 60 71 76 78 82 85 86 98 100 104 108
a 2 3 6 8 9 15 19 20 21 22 25 27 31 32 33 34 36 40 42 43 44 45 46 47 50 53 59 60 71 76 78 82 85 86 98 100 104 108
a 2 3 6 8 9 15 19 20 21 22 25 27 31 32 33 34 35 36 40 42 43 44 45 46 47 50 53 59 60 71 76 82 85 86 98 100 104 108
a 2 3 5 6 8 9 15 19 20 21 22 25 27 31 32 33 34 35 36 40 42 43 44 45 46 47 50 53 59 71 76 82 85 86 98 100 104 108
a 2 3 5 6 8 9 15 19 20 21 22 25 27 31 32 33 34 35 36 40 42 43 44 45 46 47 50 59 71 76 82 85 86 98 100 104 108 117
a 2 3 5 6 8 9 15 19 20 21 22 25 27 31 32 33 34 35 36 40 42 43 45 46 47 50 59 71 76 82 85 86 98 99 100 104 108 117
a 2 3 5 6 8 9 14 15 19 20 21 22 25 27 31 32 33 34 35 36 40 42 43 46 47 50 59 71 76 82 85 86 98 99 100 104 108 117
a 2 3 5 6 8 9 14 15 16 19 20 21 22 25 27 31 32 33 34 35 36 40 42 43 46 50 59 71 76 82 85 86 98 99 100 104 108 117
a 2 3 5 6 8 9 14 15 16 19 20 21 22 24 25 27 31 32 33 34 35 36 40 42 43 46 50 59 71 76 85 86 98 99 100 104 108 117
a 2 3 5 6 8 9 15 16 19 20 21 22 24 25 27 31 32 33 34 35 36 40 42 43 45 46 50 59 71 76 85 86 98 99 100 104 108 117
a 2 3 5 6 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 40 42 43 45 46 50 59 71 76 85 86 98 99 100 101 104 108 117
a 2 3 5 6 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 42 43 45 46 50 59 71 76 85 86 89 98 99 100 101 104 108 117
a 2 3 5 6 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 42 43 45 46 50 58 59 71 85 86 89 98 99 100 101 104 108 117
a 2 3 5 6 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 42 43 44 45 46 50 58 59 71 85 86 89 98 100 101 104 108 117
a 2 3 5 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 42 43 44 45 46 50 58 59 60 71 85 86 89 98 100 101 104 108 117
a 2 3 5 6 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 42 43 44 45 46 50 58 59 60 71 85 86 89 98 100 101 108 117
a 2 3 5 6 8 9 15 16 19 20 21 24 25 27 31 32 33 34 35 36 42 43 44 45 46 50 59 60 71 76 85 86 89 98 100 101 108 117
a 2 3 5 6 8 9 13 15 16 19 20 21 24 25 27 31 32 33 34 35 42 43 44 45 46 50 59 60 71 76 85 86 89 98 100 101 108 117
a 2 3 5 8 9 13 15 16 19 20 21 24 25 27 31 32 33 34 35 42 43 44 45 46 50 59 60 71 76 85 86 89 94 98 100 101 108 117
a 2 3 5 8 9 13 15 16 19 20 21 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 85 86 89 94 98 100 101 108 117
a 2 3 5 8 9 13 15 16 19 20 21 25 27 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 82 85 86 89 94 98 100 101 108 117
a 2 3 5 8 9 13 15 16 19 20 21 25 27 32 33 34 35 38 42 43 45 46 50 59 60 71 76 82 85 86 89 94 98 100 101 104 108 117
a 2 3 5 8 9 13 15 16 19 20 21 25 27 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 82 85 89 94 98 100 101 104 108 117
a 2 3 5 8 9 13 15 16 19 20 21 25 27 31 32 33 35 38 42 43 44 45 46 50 59 60 71 76 82 85 89 94 98 100 101 104 108 117
a 2 3 5 9 13 15 16 19 20 21 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 82 85 89 94 98 100 101 104 108 117
a 2 3 5 9 13 15 16 19 20 21 25 27 31 32 33 34 35 38 42 43 44 45 46 59 60 71 76 82 85 86 89 94 98 100 101 104 108 117
a 2 3 5 9 13 15 16 19 20 21 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 71 76 82 85 86 89 94 98 100 101 104 108 117
a 2 3 5 8 9 13 15 16 19 20 21 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 71 76 82 85 86 89 94 98 100 101 104 117
a 2 3 5 8 9 13 15 16 19 20 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 71 76 82 85 86 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 16 19 20 25 31 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 82 85 86 89 94 98 100 101 104 112 117
a 2 3 8 9 13 15 16 19 20 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 82 85 86 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 16 19 20 25 27 31 32 33 34 35 38 42 43 44 45 46 50 59 60 71 76 82 85 86 89 94 98 100 101 104 112
a 2 3 5 8 9 13 15 19 20 25 27 31 32 33 34 35 38 42 43 44 45 46 47 50 59 60 71 76 82 85 86 89 94 98 100 101 104 112
a 2 3 5 8 9 13 15 19 25 27 31 32 33 34 35 38 42 43 44 45 46 47 50 59 60 69 71 76 82 85 86 89 94 98 100 101 104 112
a 2 3 5 8 9 13 15 19 20 25 27 31 32 33 34 35 38 42 43 44 45 46 47 50 59 60 69 71 76 82 85 89 94 98 100 101 104 112
a 2 3 5 8 9 13 15 19 20 25 27 31 32 33 34 38 42 43 44 45 46 47 50 59 60 69 71 76 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 19 20 25 27 31 32 33 34 38 42 43 44 45 46 47 50 59 60 69 71 76 78 82 85 89 94 98 100 101 112 117
a 2 3 5 8 9 13 15 19 20 25 27 31 32 33 34 38 42 43 44 45 46 47 59 60 69 71 76 78 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 19 20 25 27 31 32 33 38 42 43 44 45 46 47 50 59 60 69 71 76 78 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 19 20 25 27 31 32 38 42 43 44 45 46 47 50 59 60 62 69 71 76 78 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 71 78 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 9 13 15 19 20 25 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 71 76 78 82 85 89 94 98 100 101 104 112 117
a 2 3 8 9 13 15 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 71 76 78 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 13 15 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 71 76 78 82 85 89 94 98 100 101 104 112 117
a 2 3 5 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 71 76 78 82 85 89 94 98 100 101 104 108 112 117
a 3 5 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 71 76 78 82 85 89 94 98 100 101 104 108 110 112 117
a 3 5 7 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 76 78 82 85 89 94 98 100 101 104 108 110 112 117
a 2 3 5 7 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 50 59 60 62 69 76 78 82 85 89 94 98 100 101 104 108 110 112 117
a 2 3 5 7 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 69 76 78 82 85 89 94 98 100 101 104 108 110 112 117
a 2 3 5 7 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 76 78 82 85 89 94 98 101 104 108 110 112 117
a 2 3 5 7 8 13 19 20 25 27 31 32 34 42 43 44 45 46 47 50 59 60 62 69 76 78 82 85 89 94 98 100 101 104 108 110 112 117
a 2 3 5 7 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 76 78 82 85 89 98 100 101 104 108 110 112 117
a 2 3 5 7 8 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 76 78 82 85 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 59 60 62 69 76 78 82 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 60 62 69 78 82 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 104 108 110
a 2 3 5 7 8 9 13 19 20 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 108 110 117
a 2 3 5 7 8 9 13 20 21 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 108 110 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 108 110 117
a 2 3 5 7 8 9 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 86 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 104 108 110 117
a 2 3 5 8 9 13 18 19 20 21 25 27 31 32 34 38 42 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 104 108 110
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 86 89 94 98 100 101 104 108
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 85 86 89 98 100 101 104 108
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 85 86 89 94 98 100 101 104
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 85 86 89 94 98 100 101 104 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 60 62 69 78 85 86 89 94 98 100 101 104 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 60 62 69 78 86 89 94 98 100 101 104 110 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 62 69 78 82 86 89 94 98 100 101 104 110 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 62 78 82 86 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 42 43 44 45 46 47 50 58 59 62 69 78 82 86 89 94 98 100 101 104 108 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 43 44 45 46 47 50 58 59 62 69 78 82 85 86 89 94 98 100 101 104 108 117
a 2 3 5 7 8 9 13 19 20 21 25 27 31 32 34 38 43 45 46 47 50 58 59 62 69 78 82 85 86 89 94 98 100 101 104 108 110 117
a 2 3 5 7 9 13 18 19 20 21 25 27 31 32 34 38 43 45 46 47 50 58 59 62 69 78 82 85 86 89 94 98 100 101 104 108 110 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 43 45 46 47 50 58 59 62 69 78 82 85 86 89 94 100 101 104 108 110 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 62 69 78 82 85 86 89 94 100 101 104 108 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 62 69 78 82 85 86 89 100 101 104 108 114 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 85 86 89 100 101 104 114 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 114 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 114 115
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 104 114
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 114 117
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 108 114
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 104 108 114
a 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 104 108 110 114
a 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 104 108 110 114
a 2 5 7 8 9 13 18 19 20 21 25 27 31 32 34 38 42 43 45 46 47 50 58 59 60 62 69 78 82 83 85 86 89 100 101 104 108 110
a 2 5 7 8 9 13 18 19 20 21 25 27 31 32 34 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 108 110
a 2 5 7 8 9 13 18 19 20 21 25 27 31 32 34 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 108 117
a 2 3 5 8 9 13 18 19 20 21 25 27 31 32 34 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 108 117
a 2 3 5 8 9 13 18 19 20 21 25 27 31 32 34 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 108 110
a 2 3 5 7 8 9 13 18 19 20 21 25 27 31 32 34 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 101 104 108 110
a 2 3 5 7 8 9 10 13 18 19 20 21 25 27 31 32 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 101 104 108 110
a 2 3 5 7 8 9 10 13 18 19 20 21 25 27 31 32 35 38 42 43 45 46 47 50 58 59 60 62 69 82 83 85 86 89 100 101 104 108
a 2 3 5 7 8 9 10 13 18 19 20 21 25 27 31 32 35 38 42 43 45 46 47 50 58 59 62 69 82 83 85 86 89 94 100 101 104 108
a 2 3 7 8 9 10 13 18 19 20 21 25 27 31 32 35 38 42 43 45 46 47 50 58 59 62 69 82 83 85 86 89 94 100 101 104 108 117
a 2 3 7 8 9 10 13 18 19 20 21 25 27 31 32 35 38 42 43 45 46 47 50 58 59 60 69 82 83 85 86 89 94 100 101 104 108 117
a 2 3 7 8 9 10 13 18 19 20 21 23 25 31 32 35 38 42 43 45 46 47 50 58 59 60 69 82 83 85 86 89 94 100 101 104 108 117
a 2 3 7 8 9 10 13 18 19 20 21 23 25 31 32 35 38 39 42 43 45 46 47 50 58 59 60 69 82 83 85 86 89 94 100 101 104 117
a 2 3 7 8 9 10 13 18 19 20 21 23 25 31 32 35 38 39 42 43 45 46 47 50 58 59 60 69 82 85 86 89 94 98 100 101 104 117
a 2 3 7 8 9 10 13 18 19 20 21 23 25 31 32 35 38 39 42 43 45 46 47 50 58 59 60 69 82 85 86 89 94 98 100 101 104 110
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 32 35 38 39 42 43 45 46 47 50 58 59 60 69 82 85 86 89 94 98 100 101 110
a 2 3 7 8 9 10 13 18 19 20 21 23 25 31 32 33 35 38 39 42 43 45 46 47 50 58 59 60 69 82 85 86 89 94 98 100 101 110
a 2 5 7 8 9 10 13 18 19 20 21 23 25 31 32 33 35 38 39 42 43 45 46 47 50 58 59 60 69 82 85 86 89 94 98 100 101 110
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 32 33 35 38 39 42 43 45 46 47 50 58 59 60 69 82 85 86 89 94 98 100 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 33 35 38 39 42 43 45 46 47 50 56 58 59 60 69 82 85 86 89 94 98 100 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 33 35 38 39 42 43 45 46 47 50 56 57 58 60 69 82 85 86 89 94 98 100 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 33 35 38 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 100 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 33 35 38 39 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 100 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 33 35 38 39 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 101 117
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 33 35 38 39 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 35 38 39 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 100 101
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 35 38 39 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 100 117
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 32 35 38 39 42 43 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 100 110
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 39 42 43 45 46 47 49 50 56 57 58 59 60 69 82 85 86 89 94 98 100 110
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 39 42 43 45 46 47 49 50 56 57 59 60 69 76 82 85 86 89 94 98 100 110
a 2 3 5 8 9 10 13 18 19 20 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 69 76 82 85 86 89 94 98 100 110
a 3 5 8 9 10 13 18 19 20 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 69 76 82 85 86 89 94 98 100 104 110
a 3 5 8 9 10 13 18 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 69 76 82 85 86 89 94 98 100 104
a 2 3 5 8 9 10 13 18 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 69 76 82 85 86 89 98 100 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 69 76 82 85 86 89 98 100 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 76 82 85 86 89 98 99 100 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 82 85 86 89 94 98 99 100 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 46 47 49 50 56 57 59 60 76 82 85 86 89 94 98 99 100 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 76 82 85 86 89 94 98 99 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 76 82 85 86 94 98 99 101 104
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 76 82 85 86 94 98 99 100 101
a 2 3 5 7 8 9 10 13 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 49 50 56 57 59 60 76 82 85 86 89 94 98 99 100
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 50 56 57 59 60 76 82 85 86 89 94 98 99 100
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 39 42 43 45 46 47 50 56 57 59 60 76 82 86 89 94 98 99 100 104
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 39 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 104
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 39 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 110
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 108 110
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 104 108
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 104 117
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 101 104
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 86 89 94 98 99 100 101
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 86 89 94 99 100 101 117
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 49 50 56 57 59 60 76 82 86 89 94 98 99 100 101 117
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 76 82 86 89 94 98 99 100 101 117
a 2 3 5 7 8 9 10 13 18 20 21 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 86 89 94 98 99 100 101 117
a 2 3 5 7 8 9 10 13 18 19 20 21 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 89 94 98 99 100 101 117
a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 89 94 98 99 100 101 112 117
a 2 3 5 7 8 9 10 13 18 19 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 89 94 98 99 100 101 104 112 117
a 2 3 5 7 8 9 10 13 18 19 23 25 31 33 35 38 42 43 45 46 47 49 50 56 57 59 60 76 82 89 94 98 99 100 101 108 112 117
a 2 3 5 7 8 9 10 13 18 19 23 25 31 33 35 38 42 43 45 46 47 49 50 54 56 57 60 76 82 89 94 98 99 100 101 108 112 117
a 2 3 5 7 8 9 10 13 18 19 23 31 33 35 38 42 43 45 46 47 49 50 54 56 57 60 74 76 82 89 94 98 99 100 101 108 112 117
a 2 3 5 7 8 9 10 13 18 19 23 31 33 35 38 42 43 45 46 47 49 50 54 56 57 60 74 76 82 86 89 94 98 99 101 108 112 117
a 2 3 5 7 8 9 10 13 18 19 23 33 35 38 42 43 45 46 47 49 50 54 56 57 60 61 74 76 82 86 89 94 98 99 101 108 112 117
a 2 3 5 7 8 10 13 18 19 23 33 35 38 42 43 45 46 47 49 50 54 56 57 60 61 74 76 82 86 89 90 94 98 99 101 108 112 117
a 2 3 5 7 8 10 13 18 19 23 33 35 38 42 43 45 46 47 49 50 51 54 56 57 60 61 74 82 86 89 90 94 98 99 101 108 112 117
a 3 5 7 8 10 13 18 19 23 33 35 38 42 43 45 46 47 49 50 51 54 56 57 60 61 63 74 82 86 89 90 94 98 99 101 108 112 117
a 3 5 7 8 10 13 15 18 19 33 35 38 42 43 45 46 47 49 50 51 54 56 57 60 61 63 74 82 86 89 90 94 98 99 101 108 112 117
a 5 7 8 10 13 15 18 19 33 35 38 42 43 45 46 47 49 50 51 54 56 57 60 61 63 74 82 86 89 90 94 98 99 101 103 108 112 117
a 5 7 8 10 13 15 18 19 33 35 38 42 43 45 46 47 50 51 54 56 57 60 61 63 74 82 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 13 15 18 19 33 35 38 42 43 45 47 50 51 54 56 57 60 61 63 74 79 82 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 13 15 18 19 27 33 35 38 42 43 45 47 50 51 54 57 60 61 63 74 79 82 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 13 15 18 19 27 33 35 38 42 43 47 50 51 54 57 60 61 63 68 74 79 82 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 13 15 18 19 27 33 35 38 42 43 50 51 54 57 60 61 63 68 74 79 82 84 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 15 18 19 27 33 35 38 42 43 50 51 54 57 60 61 63 68 72 74 79 82 84 86 89 90 94 95 98 99 101 103 108 112 117
a 1 5 7 8 10 15 18 19 27 33 35 42 43 50 51 54 57 60 61 63 68 72 74 79 82 84 86 89 90 94 95 98 99 101 103 108 112 117
a 1 5 7 8 10 14 15 18 19 27 33 35 42 43 50 51 54 57 60 61 63 68 72 74 79 82 84 86 89 90 95 98 99 101 103 108 112 117
a 1 5 7 8 10 14 15 18 19 27 33 35 42 43 50 51 54 57 60 61 63 68 72 74 79 82 84 86 90 95 98 99 101 103 108 111 112 117
a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 50 51 54 57 60 61 63 68 72 74 79 84 86 90 95 98 99 101 103 108 111 112 117
a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 60 61 63 68 72 74 79 80 84 86 90 95 98 99 101 103 108 111 112 117
c Step: 189
#END: [Mon Sep  4 22:10:15 2023]