#BEGIN: [Mon Sep  4 22:10:44 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance013_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance013_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_instance013_graph003.col /benchmark/random_instance/random_instance013_graph003_01.dat
c /benchmark/random_instance/random_instance013_graph003.col
c /benchmark/random_instance/random_instance013_graph003_01.dat
s 63 121 39 80 135 21 169 156 78 70 37 136 5 35 158 109 151 142 138 20 67 32 87 90 68 47 123 3 137 124 150 147 71 96 84 30 60 95 166 127 15 113 38 12 168 167 31 7 93
t 129 165 148 87 135 79 110 18 75 169 64 168 7 52 80 10 60 132 37 27 145 41 28 139 136 158 154 63 40 106 150 88 121 123 72 144 115 8 92 100 143 36 137 20 30 147 149 93 116
a YES
a 3 5 7 12 15 20 21 30 31 32 35 37 38 39 47 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169
a 3 5 7 12 15 20 21 30 31 32 35 37 38 39 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169
a 3 5 7 10 12 15 20 21 30 31 32 35 37 38 39 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 167 168 169
a 5 7 8 10 12 15 20 21 30 31 32 35 37 38 39 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 167 168 169
a 5 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 142 147 150 151 156 158 167 168 169
a 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 142 147 150 151 156 158 167 168 169
a 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 45 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 142 147 150 151 156 158 167 169
a 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 45 59 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 142 147 150 151 156 167 169
a 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 137 142 147 150 151 156 167 169
a 7 8 10 12 15 20 21 29 30 31 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 109 110 113 123 124 127 135 137 142 147 150 151 156 167 169
a 7 8 10 12 15 20 21 29 30 31 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 100 109 110 113 123 124 127 135 137 142 147 150 151 167 169
a 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 78 79 80 84 87 90 93 95 96 100 109 110 113 121 123 124 127 135 137 142 147 150 151 167 169
a 5 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 78 80 84 87 90 93 95 96 100 109 110 113 121 123 124 127 135 137 142 147 150 151 167 169
a 5 7 8 10 12 15 20 21 30 31 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 137 142 147 150 151 156 167 169
a 5 7 8 10 12 15 20 21 30 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 137 142 147 150 151 156 167 169
a 5 7 8 10 12 15 20 21 26 30 32 35 37 38 39 41 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 109 110 113 121 123 124 127 135 137 142 147 150 151 156 167 169
a 5 7 8 10 12 15 20 21 26 30 32 35 37 38 39 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 109 110 113 121 123 124 127 135 137 138 142 147 150 151 156 167 169
a 5 7 8 10 12 15 21 26 30 32 35 37 38 39 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 109 110 113 121 123 124 127 135 137 138 142 147 148 150 151 156 167 169
a 5 7 8 10 12 15 21 26 30 32 35 37 38 39 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 100 109 110 113 121 123 124 127 135 137 138 142 147 148 150 151 167 169
a 5 7 8 12 15 20 21 26 30 32 35 37 38 39 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 100 109 110 113 121 123 124 127 135 137 138 142 147 148 150 151 167 169
a 5 7 8 12 15 20 21 26 30 32 35 37 38 39 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 109 110 113 121 123 124 127 135 137 138 142 147 148 150 151 156 167 169
a 5 7 8 12 15 20 26 30 32 35 37 38 39 40 45 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 109 110 113 121 123 124 127 135 137 138 142 147 148 150 151 156 167 169
a 5 7 8 12 15 20 26 30 32 35 37 38 39 40 45 48 58 59 60 63 67 68 70 71 72 78 80 84 87 90 93 96 109 110 113 121 123 124 135 137 138 142 147 148 150 151 156 167 169
a 5 7 8 12 15 20 26 30 32 35 37 38 39 40 45 48 58 59 60 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 137 138 141 142 147 148 150 151 156 167 169
a 5 7 8 12 15 20 26 30 32 34 35 37 38 39 40 45 48 58 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 137 138 141 142 147 148 150 151 156 167 169
a 7 8 10 12 15 20 26 30 32 34 35 37 38 39 40 45 48 58 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 137 138 141 142 147 148 150 151 156 167 169
a 7 8 10 12 15 20 26 30 32 34 35 37 38 39 40 48 58 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 137 138 141 142 147 148 150 151 156 167 168 169
a 5 7 8 12 15 20 26 30 32 34 35 37 38 39 40 48 58 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 137 138 141 142 147 148 150 151 156 167 168 169
a 5 7 8 12 15 20 26 30 32 34 35 37 38 39 40 48 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 136 137 138 141 142 147 148 150 151 156 167 168 169
a 5 7 8 10 12 15 20 26 30 32 34 35 37 38 39 40 48 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 136 137 138 141 142 147 148 150 151 156 167 168
a 5 7 8 12 15 20 26 30 32 34 35 37 38 39 40 48 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 135 136 137 138 141 142 147 148 150 151 156 166 167 168
a 5 7 8 12 15 26 30 32 34 35 37 38 39 40 48 59 63 67 68 70 71 72 78 80 84 86 90 93 96 109 110 113 121 123 124 135 136 137 138 141 142 147 148 150 151 156 166 167 168
a 5 7 8 12 15 26 30 32 34 35 37 38 39 40 48 59 63 67 68 70 71 72 78 80 84 86 90 93 96 109 110 113 121 123 124 135 136 137 138 141 142 147 148 150 151 156 166 167 169
a 5 7 8 12 15 26 30 32 34 35 37 38 39 40 48 59 63 67 68 70 71 72 78 84 86 90 93 96 109 110 113 121 123 124 135 136 137 138 141 142 147 148 150 151 156 166 167 168 169
a 5 7 8 12 15 26 30 32 34 35 37 38 39 40 59 63 67 68 70 71 72 78 84 86 90 93 96 109 110 113 121 123 124 127 135 136 137 138 141 142 147 148 150 151 156 166 167 168 169
a 5 7 8 12 15 26 30 32 34 35 37 38 39 40 59 63 67 68 70 71 72 78 80 84 86 90 93 96 109 110 113 121 123 124 127 135 136 137 138 141 142 147 148 150 151 156 166 167 168
a 5 7 8 12 15 26 30 32 34 35 37 38 39 59 63 67 68 70 71 72 78 80 84 86 90 93 96 109 110 113 121 123 124 127 135 136 137 138 141 142 147 148 150 151 156 166 167 168 169
a 5 7 8 12 15 20 26 30 32 34 35 37 38 39 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 123 124 127 135 136 137 138 141 142 147 148 150 151 156 166 167 168 169
a 5 7 8 12 15 20 30 32 34 35 37 38 39 59 63 67 68 70 71 72 78 80 84 90 93 96 109 110 113 121 122 123 124 127 135 136 137 138 141 142 147 148 150 151 156 166 167 168 169
a 5 7 8 12 15 20 30 32 34 35 37 38 39 40 59 63 67 68 71 72 78 80 84 90 93 96 109 110 113 121 122 123 124 127 135 136 137 138 141 142 147 148 150 151 156 166 167 168 169
a 5 7 8 12 15 20 30 32 34 35 37 38 39 40 59 63 67 68 71 72 78 80 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 138 141 142 147 148 151 156 166 167 168 169
a 5 7 8 12 15 20 30 31 32 34 35 37 38 39 40 59 63 67 68 71 78 80 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 138 141 142 147 148 151 156 166 167 168 169
a 3 5 7 12 15 20 30 31 32 34 35 37 38 39 40 59 63 67 68 71 78 80 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 138 141 142 147 148 151 156 166 167 168 169
a 3 5 7 12 15 20 31 32 34 35 37 38 39 40 59 63 67 68 70 71 78 80 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 138 141 142 147 148 151 156 166 167 168 169
a 3 5 12 15 20 31 32 34 35 37 38 39 40 43 59 63 67 68 70 71 78 80 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 138 141 142 147 148 151 156 166 167 168 169
a 3 5 12 15 20 31 32 34 35 37 38 39 40 41 43 59 63 67 68 70 71 78 80 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 141 142 147 148 151 156 166 167 168 169
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 59 63 67 68 70 71 78 80 81 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 141 142 147 148 151 156 166 167 168 169
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 90 93 96 109 110 113 121 122 123 124 126 127 135 136 137 141 142 147 148 151 156 158 166 167 168 169
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 90 93 96 110 113 121 122 123 124 126 127 135 136 137 141 142 147 148 149 151 156 158 166 167 168 169
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 90 93 96 110 113 121 122 123 124 126 127 134 135 136 137 141 142 147 148 149 151 156 158 166 167 168
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 87 90 93 96 110 113 121 122 123 124 126 127 134 135 136 137 142 147 148 149 151 156 158 166 167 168
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 87 90 93 95 96 110 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166 167 168
a 3 5 12 15 20 31 34 35 37 38 39 40 41 43 47 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166 167 168
a 3 5 7 12 15 20 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166 167 168
a 3 5 7 12 15 20 30 31 34 35 37 39 40 41 43 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166 167 168
a 3 5 7 12 15 20 30 31 34 35 37 38 39 40 41 43 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 166 167 168
a 3 5 12 15 20 30 31 34 35 37 38 39 40 41 43 47 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 166 167 168
a 3 5 12 15 20 30 31 34 35 38 39 40 41 43 47 56 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 166 167 168
a 3 5 7 12 15 20 30 31 34 35 38 39 40 41 43 47 56 63 67 68 70 71 78 80 81 84 87 90 93 95 96 113 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 167 168
a 3 5 7 12 15 20 30 31 34 35 38 39 40 41 43 47 56 63 68 70 71 78 80 81 84 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 167 168
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 167 168
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 168
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 168
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 158 166 167
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 166 167
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 67 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 166 167
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 166
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 141 142 147 149 151 156 166
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 141 142 147 151 156 158 166
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 141 142 151 156 158 166 168
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 80 81 84 85 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 141 142 149 151 156 158 166 168
a 3 5 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 158 166 168
a 3 5 6 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 158 166 168
a 3 5 6 7 12 15 20 30 31 34 35 38 40 41 43 47 56 63 67 68 70 71 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 158 166
a 3 5 6 7 12 15 20 30 31 34 35 38 40 41 47 56 63 67 68 70 71 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166
a 3 5 6 7 12 15 20 30 31 34 35 38 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 93 95 96 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 158 166
a 3 5 7 12 15 20 30 31 34 35 38 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 158 166
a 3 5 6 7 12 15 20 30 31 34 35 38 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 166
a 3 6 7 12 15 20 30 31 34 35 38 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 166
a 3 5 6 7 12 15 20 30 31 34 35 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 149 151 156 166
a 3 5 6 7 12 15 20 30 31 34 35 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156
a 3 5 6 7 12 15 20 30 31 34 35 40 41 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 156 158
a 3 5 6 7 12 15 20 30 31 34 35 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 156
a 3 5 6 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 156
a 3 5 6 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 166
a 3 5 6 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 71 78 80 81 84 85 87 90 91 93 95 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 151 166
a 3 5 6 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 87 90 91 93 95 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 166
a 3 5 6 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 87 90 91 93 95 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 158 166
a 3 5 6 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 87 90 91 93 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 158 166
a 3 5 7 12 15 20 27 30 31 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 87 90 91 93 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166
a 3 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 87 90 91 93 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166
a 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 87 90 91 93 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158 166
a 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 78 80 81 84 85 90 91 93 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 157 158 166
a 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 90 91 93 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 156 157 158 166
a 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 90 91 93 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 157 158
a 3 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 90 91 93 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 151 156 157 158
a 3 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 156 157 158
a 3 5 6 7 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 156 157 158
a 3 5 6 7 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158
a 3 5 6 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 80 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 72 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 15 20 27 30 34 35 40 41 43 47 56 67 68 70 71 72 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 158
a 3 5 6 7 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 151 158
a 3 5 6 7 12 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 127 134 135 136 137 142 147 149 158
a 3 5 6 7 12 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 134 135 136 137 142 147 149 151 158
a 3 5 6 7 12 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 124 126 134 135 136 137 142 147 151 158 166
a 3 5 6 7 12 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 126 134 135 136 137 142 147 149 151 158 166
a 3 5 6 7 12 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 113 120 121 122 123 126 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 12 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 120 121 122 123 126 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 12 15 20 27 30 34 35 40 41 43 47 56 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 120 121 122 123 126 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 120 121 122 123 126 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 120 121 122 126 133 134 135 136 137 142 147 149 151 156 158 166
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 101 120 121 122 123 126 133 134 136 137 142 147 149 151 156 158 166
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 120 121 122 123 126 133 134 135 136 137 142 147 149 151 156 158 166
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 120 121 122 123 126 127 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 120 121 122 123 126 127 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 91 93 95 96 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 6 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 93 95 96 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 6 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 93 95 96 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 158
a 3 5 6 12 15 20 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 95 96 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 95 96 101 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156 158
a 3 5 6 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 93 95 96 101 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 12 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 76 78 81 84 85 87 90 93 95 96 101 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156 158
a 3 5 12 15 27 30 34 35 40 41 43 47 56 67 68 70 71 72 76 78 81 84 85 87 90 93 95 96 101 111 112 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156 158
a 3 5 12 15 20 27 30 34 35 40 41 43 47 56 67 68 70 71 72 76 78 81 84 85 87 90 93 95 96 101 111 112 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 12 15 20 27 30 34 35 40 41 43 47 56 67 68 70 71 72 73 76 78 81 84 85 87 90 93 95 96 101 111 112 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 12 15 20 27 30 34 35 40 43 47 56 67 68 70 71 72 73 76 78 81 84 85 87 90 93 95 96 101 111 112 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 6 12 15 20 27 30 34 35 40 43 47 56 67 68 70 71 72 73 76 78 81 84 85 87 90 93 95 96 101 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 6 12 15 27 30 34 35 40 43 47 56 67 68 70 71 72 73 76 78 81 84 85 86 87 90 93 95 96 101 111 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 6 12 15 27 30 34 35 40 43 47 56 67 68 70 71 72 73 76 78 81 84 85 86 87 90 95 96 101 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151 156
a 3 5 6 12 15 27 30 34 35 40 41 43 47 56 67 68 70 71 72 73 76 78 81 84 85 86 87 90 95 96 101 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151
a 3 5 6 12 15 27 30 34 35 40 41 43 47 56 67 68 70 71 72 73 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151
a 3 5 6 7 12 15 27 30 34 35 40 43 47 56 67 68 70 71 72 73 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 151
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 67 68 70 71 72 73 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 151
a 3 5 6 7 12 15 27 30 34 35 40 41 43 47 56 67 68 70 71 72 73 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 168
a 3 5 6 7 15 27 30 34 35 40 41 43 47 56 67 68 70 71 72 73 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 168
a 3 6 7 15 27 30 34 35 40 41 43 47 56 63 67 68 70 71 72 73 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 168
a 3 6 7 15 27 30 34 35 40 41 43 47 56 63 67 70 71 72 73 75 76 78 81 85 86 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 168
a 3 6 7 15 20 27 30 34 35 40 41 43 47 56 63 67 70 71 72 73 75 76 78 81 85 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 168
a 3 6 7 10 15 20 27 30 34 35 40 41 43 47 63 67 70 71 72 73 75 76 78 81 85 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 147 149 168
a 3 7 10 15 20 27 30 34 35 40 41 43 47 63 67 70 71 72 73 75 76 78 81 85 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 145 147 149 168
a 3 7 10 15 20 27 30 35 40 41 43 47 63 67 70 71 72 73 75 76 78 81 85 87 90 95 96 101 108 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 145 147 149 158 168
a 3 7 10 15 20 27 30 35 40 41 43 47 63 67 70 71 72 73 75 76 78 79 81 85 87 90 95 96 101 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 145 147 149 158 168
a 3 7 10 15 20 27 30 35 37 40 41 43 47 63 67 70 71 72 73 75 76 78 79 81 85 87 90 95 96 111 114 120 121 122 123 124 126 127 133 134 135 136 137 142 145 147 149 158 168
a 3 7 10 15 20 27 30 37 40 41 43 47 63 67 70 71 72 73 75 76 78 79 81 85 87 90 95 96 111 114 120 121 122 123 124 126 127 132 133 134 135 136 137 142 145 147 149 158 168
a 3 7 10 15 20 27 30 37 40 41 43 47 63 67 70 71 72 73 75 76 78 79 81 85 87 90 95 111 114 120 121 122 123 124 126 127 132 133 134 135 136 137 142 145 147 149 158 168 169
a 3 7 10 15 20 27 30 37 40 41 43 47 63 67 70 71 72 73 75 76 78 79 81 85 87 90 95 111 114 120 121 122 123 124 126 127 132 133 135 136 137 142 145 147 149 154 158 168 169
a 3 7 10 15 20 27 30 37 40 41 43 47 52 63 67 70 71 72 73 75 76 78 79 85 87 90 95 111 114 120 121 122 123 124 126 127 132 133 135 136 137 142 145 147 149 154 158 168 169
a 3 7 10 15 20 27 30 37 40 41 43 47 52 63 67 70 71 72 75 76 78 79 85 87 90 95 100 111 114 120 121 122 123 124 126 127 132 133 135 136 137 142 145 147 149 154 158 168 169
a 3 7 10 15 20 27 30 37 40 41 43 47 52 63 64 67 71 72 75 76 78 79 85 87 90 95 100 111 114 120 121 122 123 124 126 127 132 133 135 136 137 142 145 147 149 154 158 168 169
a 3 7 10 20 27 30 37 40 41 43 47 52 63 64 67 71 72 75 76 78 79 85 87 90 95 100 111 114 116 120 121 122 123 124 126 127 132 133 135 136 137 142 145 147 149 154 158 168 169
a 3 7 10 20 27 30 37 40 41 43 47 52 63 64 67 71 72 75 76 78 79 85 87 90 95 100 111 114 116 120 121 122 123 124 126 127 132 133 135 136 137 145 147 149 154 158 165 168 169
a 3 7 10 20 27 30 37 40 41 43 47 52 63 64 67 72 75 76 78 79 85 87 90 95 100 111 114 116 120 121 122 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 3 7 10 20 27 30 36 37 40 41 43 47 52 63 64 67 72 75 76 78 79 87 90 95 100 111 114 116 120 121 122 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 3 7 10 20 27 30 36 37 40 41 43 47 52 63 64 67 72 75 76 78 79 87 90 93 95 100 111 116 120 121 122 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 7 10 20 27 28 30 36 37 40 41 43 47 52 63 64 67 72 75 76 78 79 87 90 93 95 100 111 116 120 121 122 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 7 10 20 27 28 30 36 37 40 41 43 47 52 60 63 64 67 72 75 76 78 79 87 90 93 95 100 111 116 120 121 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 7 10 20 27 28 30 36 37 40 41 43 47 52 60 63 64 67 72 75 76 79 87 90 93 95 100 106 111 116 120 121 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 7 8 10 20 27 28 30 36 37 40 41 47 52 60 63 64 67 72 75 76 79 87 90 93 95 100 106 111 116 120 121 123 124 126 127 132 133 135 136 137 143 145 147 149 154 158 165 168 169
a 7 8 10 20 27 28 30 36 37 40 41 47 52 60 63 64 67 72 75 76 79 87 90 93 95 100 106 111 116 120 121 123 124 126 127 132 135 136 137 143 144 145 147 149 154 158 165 168 169
a 7 8 10 20 27 28 30 36 37 40 41 52 60 63 64 67 72 75 76 79 87 90 93 95 100 106 110 111 116 120 121 123 124 126 127 132 135 136 137 143 144 145 147 149 154 158 165 168 169
a 7 8 10 20 27 28 30 36 37 40 41 52 60 63 64 72 75 76 79 87 90 92 93 95 100 106 110 111 116 120 121 123 124 126 127 132 135 136 137 143 144 145 147 149 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 76 79 87 90 92 93 95 100 106 110 111 116 120 121 123 124 126 132 135 136 137 143 144 145 147 149 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 76 79 87 90 92 93 100 106 110 111 116 120 121 123 124 126 132 135 136 137 139 143 144 145 147 149 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 76 79 87 90 92 93 100 106 110 111 116 121 123 124 126 132 135 136 137 139 143 144 145 147 148 149 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 76 79 87 90 92 93 100 106 110 111 116 121 123 124 129 132 135 136 137 139 143 144 145 147 148 149 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 76 79 87 90 92 93 100 106 110 111 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 79 87 90 92 93 100 106 110 111 115 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 79 80 87 90 92 93 100 106 110 115 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 79 80 87 88 92 93 100 106 110 115 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169
c Step: 173
#END: [Mon Sep  4 22:19:34 2023]