#BEGIN: [Tue Sep  5 01:01:18 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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
TIMEOUT 1800
c send SIGTERM to CID 80bc3f9325e646223d983149beaa3cfe769d7ce7417c81658e923294fa8d0c47
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 47 52 60 63 67 68 70 71 78 80 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 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 87 90 93 95 96 109 113 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 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 109 113 123 124 127 135 136 137 138 141 142 147 150 151 156 158 166 167 168 169
a 3 7 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 109 113 123 124 127 135 136 137 138 141 142 147 150 151 156 158 166 167 168 169
a 3 7 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 109 113 123 124 127 135 136 137 138 141 142 147 150 151 156 158 166 167 168 169
a 3 7 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 150 151 156 158 166 167 168 169
a 3 7 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 158 166 168 169
a 3 7 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 69 70 71 78 79 80 90 93 95 96 108 113 123 124 127 135 136 137 138 142 147 149 150 151 156 158 166 168 169
a 3 7 10 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 69 70 71 78 79 80 90 93 95 96 108 113 123 124 127 135 136 137 138 142 147 149 150 151 156 158 168 169
a 3 5 7 10 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 69 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 142 147 149 150 151 156 158 168 169
a 3 5 7 10 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 158 168 169
a 3 5 10 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 168 169
a 5 7 10 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 168 169
a 5 7 10 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 167 168 169
a 5 7 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 166 167 168 169
a 5 12 15 20 25 30 31 32 35 37 38 39 40 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 166 167 168 169
a 5 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 166 167 168 169
a 5 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 156 157 158 166 167 168
a 5 7 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 149 150 151 156 157 158 166 167 168
a 5 7 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 127 135 136 137 138 141 142 147 149 150 151 157 158 166 167 168
a 5 7 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 157 158 166 167 168
a 5 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 166 167 168
a 5 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 157 158 166 167 168 169
a 8 12 15 20 21 25 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 157 158 166 167 168 169
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 157 158 167 168 169
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 157 158 166 167 168
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 79 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 166 168
a 5 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 166 168
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 166 168
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 167 168
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 166 167
a 5 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 166
a 5 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 127 135 137 138 141 142 147 149 150 151 156 157 158 167
a 5 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 126 127 135 137 138 141 142 147 149 151 156 157 158 167
a 5 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 126 127 135 137 138 141 142 147 149 151 156 157 158 166 167
a 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 58 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 126 127 135 137 138 141 142 147 149 151 156 157 158 166 167 168
a 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 126 127 135 137 138 141 142 147 149 151 156 157 158 166 167 168 169
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 47 52 60 63 67 68 70 71 78 80 90 93 95 96 103 108 113 123 124 126 127 135 137 138 141 142 147 149 151 156 157 158 166 167 169
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 45 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 126 127 135 137 138 141 142 147 149 151 156 157 158 166 167 169
a 8 12 15 20 21 25 29 30 31 32 35 37 38 39 45 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 156 157 158 167 169
a 8 12 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 80 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 156 157 158 167 169
a 8 12 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 156 157 158 167 169
a 5 8 12 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 156 157 158 167
a 5 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 157 158 167
a 5 8 12 14 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 157 158 166 167
a 5 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 157 158 166 167
a 5 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 151 157 158 166
a 5 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 123 124 126 127 135 136 137 138 141 142 147 149 157 158 166
a 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 158 166
a 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 142 147 149 157 158 166
a 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151 157
a 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151 169
a 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151 158
a 5 7 8 12 14 15 20 25 29 30 31 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 151 158
a 5 7 8 12 14 15 20 25 29 30 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 151 158
a 5 7 8 12 14 15 20 25 29 30 32 35 37 38 39 40 45 47 52 60 63 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 5 7 8 12 14 15 20 25 29 30 32 35 37 38 39 40 45 47 52 63 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 151
a 5 7 8 12 14 15 20 25 29 30 32 35 37 39 40 45 47 52 63 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 151 157
a 5 8 12 14 15 20 25 29 30 32 35 37 38 39 40 45 47 52 63 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 151 157
a 5 8 12 14 15 20 25 29 30 32 35 37 38 39 40 45 47 52 63 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 5 8 12 14 15 20 25 29 30 32 33 35 37 38 39 40 45 47 52 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 5 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 67 68 70 71 72 78 89 90 93 95 96 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 5 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 67 68 70 71 72 77 78 89 90 93 95 100 108 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 5 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 89 90 93 95 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 89 90 93 95 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 158
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 100 108 113 120 123 124 126 127 135 136 137 141 142 147 149 157 158 169
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 100 108 113 120 123 124 126 127 135 136 137 141 142 147 149 151 157 169
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 151 157 169
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 100 108 113 120 123 124 126 127 135 136 137 138 142 147 149 151 157 169
a 8 12 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 169
a 8 12 14 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 169
a 8 14 15 20 25 29 30 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 72 77 78 79 80 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 169
a 8 14 15 20 25 29 30 31 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 138 141 142 147 149 157 169
a 8 14 15 20 25 29 30 31 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 135 137 138 141 142 147 149 157 169
a 8 14 15 20 25 29 30 31 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 135 136 137 141 142 147 149 157 169
a 8 14 15 20 25 29 30 31 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 113 120 123 124 126 127 135 136 137 141 142 147 149 151 157 169
a 8 14 15 20 25 29 30 31 32 33 35 38 39 40 45 47 52 56 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 8 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 60 67 68 70 71 77 78 79 80 90 93 95 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 158 169
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 141 142 147 149 151 157 158 169
a 8 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 141 142 147 149 151 157 158 169
a 8 15 20 25 29 30 31 32 33 35 37 38 39 40 41 45 47 52 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 141 142 147 149 151 157 158
a 8 15 20 25 29 30 31 32 33 35 37 38 39 40 41 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 141 142 147 149 151 157
a 8 14 15 20 25 29 30 31 32 33 35 37 38 39 40 41 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 141 142 147 151 157
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 41 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 141 142 147 151 157 169
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 151 157 169
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 59 60 67 68 70 71 77 78 79 80 90 95 96 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 15 20 25 29 30 31 32 33 35 37 38 39 40 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 15 20 25 30 31 32 33 35 37 38 39 40 43 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 20 25 30 31 32 33 35 37 38 39 40 43 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 20 21 25 30 31 32 33 35 37 38 39 43 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157 169
a 14 15 20 21 25 30 31 32 33 35 37 38 39 43 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 136 137 138 141 142 147 149 151 157
a 15 20 21 25 30 31 32 33 35 37 38 39 43 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151 157
a 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151 157
a 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 126 127 135 136 137 138 141 142 147 149 151 157
a 12 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 126 127 135 136 137 138 141 142 147 151 157
a 12 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151 157
a 12 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 12 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151 157
a 12 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 12 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 12 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 14 15 20 21 25 30 31 32 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 3 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 120 123 124 126 135 136 137 138 141 142 147 149 151
a 3 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 120 123 124 126 135 136 137 138 141 142 147 151
a 3 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 120 123 124 126 135 136 137 138 141 142 147 151
a 3 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 113 120 123 124 126 135 136 137 138 141 142 151
a 3 7 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 135 136 137 138 141 142 151
a 3 7 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 135 136 137 138 142 149 151
a 7 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 142 149 151
a 7 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 127 135 136 137 138 141 142 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 127 135 136 137 138 141 142 147 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 127 135 136 137 138 141 142 147 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 7 12 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 56 59 60 68 70 71 77 78 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149
a 7 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 7 14 15 20 21 25 30 31 32 33 35 38 39 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149
a 7 14 15 20 21 25 30 31 32 33 35 38 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 7 12 14 15 20 21 25 30 31 32 33 35 38 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 12 14 15 20 21 25 30 31 32 33 35 38 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 12 14 15 17 20 21 25 31 32 33 35 38 43 45 47 52 56 59 60 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 12 15 17 20 21 25 31 32 33 35 38 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 12 15 17 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 12 15 17 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 60 67 68 70 71 77 78 79 80 90 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 166
a 12 15 17 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 166
a 12 15 17 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 12 14 15 17 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 151
a 14 15 17 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 14 15 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 151
a 14 15 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149 166
a 7 14 15 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 149 166
a 7 14 15 20 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 138 141 142 147 149 166
a 7 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 138 141 142 147 149 166
a 7 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 123 124 126 127 135 136 137 138 141 142 147 149
a 7 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149
a 7 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 142 149
a 7 14 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 142 147 149
a 7 14 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 142 149 157
a 7 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 149 157
a 7 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 149 166
a 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 136 137 138 141 149 157 166
a 14 15 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 137 138 141 142 149 157 166
a 14 15 17 21 25 31 32 33 35 38 39 43 45 47 52 56 59 67 68 70 71 77 78 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 137 138 141 142 149 157 166
a 14 15 17 21 25 31 32 33 35 38 39 43 44 45 47 52 56 59 67 68 70 71 77 78 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 137 138 141 142 149 157
a 14 15 17 21 25 31 32 33 35 38 39 43 44 45 47 52 56 59 67 68 70 71 78 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 137 138 141 142 147 149 157
a 14 15 17 21 25 31 32 33 35 38 39 43 44 45 47 52 56 59 67 68 70 71 77 78 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 137 138 141 142 147 157
a 7 14 17 21 25 31 32 33 35 38 39 43 44 45 47 52 56 59 67 68 70 71 77 78 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 135 137 138 141 142 147 157
a 7 14 17 21 25 31 32 33 35 38 39 43 44 45 47 52 56 59 67 70 71 77 78 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 157
a 7 14 17 21 25 31 32 33 38 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 157
a 7 14 17 21 25 31 32 33 35 38 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 113 120 122 123 124 126 127 131 135 137 138 141 142 147 157
a 7 14 17 21 25 31 32 33 34 35 38 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 113 120 122 123 124 126 127 131 135 137 138 141 142 147
a 14 17 21 25 31 32 33 34 35 38 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147
a 14 21 25 31 32 33 34 35 38 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149
a 14 17 21 25 31 32 33 34 35 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149
a 14 17 21 25 31 32 33 34 35 38 39 43 44 45 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 108 112 113 120 122 123 124 126 127 131 135 137 138 141 147 149
a 14 17 21 25 31 32 33 34 35 38 39 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 147 149
a 14 21 25 31 32 33 34 35 38 39 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149
a 14 21 25 31 32 33 34 35 38 39 43 44 47 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149 157
a 14 21 25 31 32 33 34 35 38 39 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 135 137 138 141 142 147 149 157
a 14 21 25 31 32 33 34 35 38 39 43 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149 157
a 14 25 31 32 33 34 35 38 39 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149 157
a 7 14 25 31 32 33 34 35 38 39 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147 149
a 7 14 21 25 31 32 33 34 35 38 39 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 138 141 142 147
a 7 14 21 25 31 32 33 34 35 38 39 41 43 44 47 52 56 59 67 70 71 77 78 79 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 142 147
a 7 14 21 25 31 32 33 34 35 38 39 41 43 44 47 52 56 59 67 70 71 77 78 80 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 142 147 149
a 7 14 21 25 31 32 33 34 35 38 39 41 43 44 47 52 56 59 67 70 71 76 77 78 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 142 147 149
a 7 14 21 25 31 32 33 34 35 38 39 41 43 44 47 52 56 59 67 70 71 76 77 78 79 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 142 147
a 14 21 25 31 32 33 34 35 38 39 41 43 44 47 52 56 59 67 70 71 76 77 78 79 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 142 147 149
a 7 14 21 25 31 32 33 34 35 38 39 41 43 44 47 52 56 59 67 70 71 76 77 78 79 86 90 91 93 94 95 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 147 149
a 7 14 21 25 31 32 33 34 35 36 38 39 41 43 44 47 52 56 59 67 70 71 76 77 78 79 86 90 91 93 94 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 147 149
a 7 14 21 25 31 32 33 34 35 36 38 39 41 43 44 47 52 56 59 67 70 76 77 78 79 86 90 91 93 94 96 100 103 108 112 113 120 122 123 124 126 127 131 135 137 141 147 149 169
a 7 14 21 25 31 32 33 34 35 36 38 39 41 43 44 47 52 56 59 67 70 76 77 78 79 86 90 91 93 94 96 100 103 108 112 113 120 122 123 124 127 131 135 137 141 147 149 168 169
a 7 14 25 31 32 33 34 35 36 38 39 40 41 43 44 47 52 56 59 67 70 76 77 78 79 86 90 91 93 94 96 100 103 108 112 113 120 122 123 124 127 131 135 137 141 147 149 168 169
a 7 14 25 32 33 34 35 36 38 39 40 41 43 44 47 52 56 59 67 70 72 76 77 78 79 86 90 91 93 94 96 100 103 108 112 113 120 122 123 124 127 131 135 137 141 147 149 168 169
a 7 10 25 32 33 34 35 36 38 39 40 41 43 44 47 52 56 59 67 70 72 76 77 78 79 86 90 91 93 94 96 100 103 108 112 113 120 122 123 124 127 131 135 137 141 147 149 168 169
a 7 10 20 25 32 33 34 35 36 38 39 40 41 43 44 47 52 56 59 67 70 72 76 77 78 79 90 91 93 94 96 100 103 108 112 113 120 122 123 124 127 131 135 137 141 147 149 168 169
a 7 10 20 25 32 33 34 35 36 38 39 40 41 43 44 47 52 56 59 67 70 72 76 77 78 79 90 91 93 94 96 100 103 108 112 113 120 122 123 124 127 135 137 141 144 147 149 168 169
a 7 10 20 25 32 33 34 35 36 38 39 40 41 43 44 47 52 56 59 67 70 72 76 77 78 79 90 91 93 94 100 103 108 112 113 120 122 123 124 127 135 137 141 144 147 149 154 168 169
a 7 10 20 25 30 32 33 34 35 36 38 39 40 41 43 47 52 56 59 67 70 72 76 77 78 79 90 91 93 94 100 103 108 112 113 120 122 123 124 127 135 137 141 144 147 149 154 168 169
a 7 10 20 25 30 32 33 34 35 36 38 39 40 41 43 52 56 59 67 70 72 76 77 78 79 90 91 93 94 100 103 108 110 112 113 120 122 123 124 127 135 137 141 144 147 149 154 168 169
a 7 10 20 25 30 32 33 34 35 36 38 39 40 41 43 52 56 59 67 70 72 76 77 78 79 90 91 93 94 100 108 110 112 113 120 122 123 124 127 135 136 137 141 144 147 149 154 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 59 67 70 72 76 77 78 79 90 91 93 94 100 108 110 112 113 120 122 123 124 127 135 136 137 141 144 147 149 154 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 59 67 70 72 77 78 79 80 90 91 93 94 100 108 110 112 113 120 122 123 124 127 135 136 137 141 144 147 149 154 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 67 70 72 77 78 79 80 90 91 93 94 100 108 110 112 113 120 122 123 124 127 135 136 137 141 144 147 149 154 158 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 67 70 72 77 78 79 80 90 91 93 100 108 110 112 113 116 120 122 123 124 127 135 136 137 141 144 147 149 154 158 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 67 70 72 77 78 79 80 88 91 93 100 108 110 112 113 116 120 122 123 124 127 135 136 137 141 144 147 149 154 158 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 67 70 72 77 78 79 80 88 91 93 100 108 110 112 113 116 122 123 124 127 135 136 137 141 144 147 149 150 154 158 168 169
a 7 8 10 20 25 30 32 33 34 35 36 38 39 40 41 52 56 70 72 77 78 79 80 88 91 92 93 100 108 110 112 113 116 122 123 124 127 135 136 137 141 144 147 149 150 154 158 168 169
a 7 8 10 20 25 30 32 34 35 36 38 39 40 41 52 56 70 72 77 78 79 80 88 91 92 93 100 108 110 112 113 116 122 123 124 127 135 136 137 141 144 147 149 150 154 158 165 168 169
a 7 8 10 18 20 25 30 32 34 35 36 38 39 40 41 52 56 70 72 77 78 79 80 88 91 92 93 100 108 110 112 113 116 122 123 124 135 136 137 141 144 147 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 35 36 38 39 40 41 52 56 70 72 77 78 79 80 88 91 92 93 100 108 110 112 113 116 122 123 124 135 136 137 141 144 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 35 36 39 40 41 52 56 70 72 77 78 79 80 88 91 92 93 100 108 110 112 113 116 122 123 124 129 135 136 137 141 144 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 35 36 39 40 41 52 56 70 72 78 79 80 88 91 92 93 100 108 110 112 113 116 121 122 123 124 129 135 136 137 141 144 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 35 36 39 40 41 52 56 63 70 72 78 79 80 88 91 92 93 100 108 110 113 116 121 122 123 124 129 135 136 137 141 144 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 35 36 39 40 41 52 63 70 72 78 79 80 88 91 92 93 100 108 110 113 116 121 122 123 124 129 135 136 137 141 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 35 36 39 40 41 52 63 70 72 78 79 80 87 88 91 92 93 100 108 110 113 116 121 122 123 124 129 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 36 39 40 41 52 63 70 72 78 79 80 87 88 91 92 93 100 108 110 113 116 121 122 123 124 129 132 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 30 32 34 36 39 40 41 52 63 70 72 78 79 80 87 88 91 92 93 100 108 110 113 115 116 121 122 123 129 132 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 30 34 36 39 40 41 52 63 70 72 78 79 80 87 88 91 92 93 100 108 110 113 115 116 121 122 123 129 132 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 30 34 36 37 39 40 41 52 63 70 72 78 79 80 87 88 92 93 100 108 110 113 115 116 121 122 123 129 132 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 30 34 36 37 39 40 41 52 63 70 72 79 80 87 88 92 93 100 106 108 110 113 115 116 121 122 123 129 132 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 30 34 36 37 39 40 41 52 63 70 72 75 79 80 87 88 92 93 100 106 110 113 115 116 121 122 123 129 132 135 136 137 144 145 147 148 149 150 154 158 165 168 169
a 7 8 10 18 20 27 28 30 36 37 39 40 41 52 63 70 72 75 79 80 87 88 92 93 100 106 110 113 115 116 121 122 123 129 132 135 136 137 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 63 70 72 75 79 80 87 88 92 93 100 106 110 113 115 116 121 122 123 129 132 135 136 137 139 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 70 72 75 79 80 87 88 92 93 100 106 110 113 115 116 121 123 129 132 135 136 137 139 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 72 75 79 80 87 88 92 93 100 106 110 113 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: 217
#END: [Tue Sep  5 01:31:18 2023]