#BEGIN: [Tue Sep 26 05:36:18 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance014_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance014_graph002_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_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat
c /benchmark/random_instance/random_instance014_graph002.col
c /benchmark/random_instance/random_instance014_graph002_01.dat
s 64 155 60 108 107 152 35 172 12 171 6 71 134 97 133 96 24 165 174 116 66 94 29 127 170 135 67 90 178 126 23 39 161 100 102 101 40 32 21 8 34 122 139 51 181 136 18 15 5 137 41 149 3 119 167 103 13 22 140
t 91 181 160 114 32 61 143 137 115 83 70 9 64 25 107 4 146 8 92 14 22 13 3 30 23 60 98 46 130 55 128 111 38 123 81 119 182 86 166 174 109 106 120 90 66 131 7 51 171 40 168 20 170 37 69 175 96 42 11
a YES
a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 181
a 3 5 6 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 34 35 39 40 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 58 60 64 66 67 71 90 91 94 96 97 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 58 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 35 39 40 41 51 58 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 51 58 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 58 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 91 94 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 91 94 95 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 91 94 95 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 40 41 51 53 58 60 64 66 67 71 91 94 95 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 13 15 18 21 22 23 24 26 29 32 34 35 40 41 51 53 58 60 64 66 67 71 90 91 94 95 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 40 41 51 53 58 60 64 66 67 71 90 94 95 96 97 100 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 90 94 95 96 97 101 102 103 107 108 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 90 94 95 96 97 100 101 102 103 107 115 116 119 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 51 53 58 60 64 66 67 71 90 94 95 96 97 100 101 102 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 71 90 94 95 96 97 100 101 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 71 90 91 94 95 96 97 100 101 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 91 94 95 96 100 101 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 91 94 95 96 100 101 103 107 108 115 116 122 126 127 133 134 135 136 137 139 140 149 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 91 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 145 149 165 167 170 171 172 174
a 3 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 145 149 155 165 167 170 171 172 174
a 3 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 91 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172 174
a 3 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 58 60 64 66 67 70 71 90 91 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172 174 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 58 60 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172 174 181
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 53 58 60 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 53 58 60 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172 174
a 3 5 6 7 8 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 53 57 58 60 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172
a 3 5 6 7 8 10 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 53 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 149 155 165 167 170 171 172
a 5 6 7 8 10 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 53 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 145 149 155 165 167 170 171 172
a 5 6 7 8 10 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 108 115 116 119 122 126 127 133 134 135 136 137 140 145 149 155 165 167 170 171 172 181
a 5 6 7 8 10 13 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 115 116 119 122 126 127 133 134 135 136 137 140 145 149 155 165 167 170 171 172 180 181
a 5 6 7 8 10 15 18 21 22 23 24 26 29 32 34 35 39 40 41 44 49 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 155 165 167 170 171 172 180 181
a 5 6 7 8 10 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 155 165 167 170 171 172 180 181
a 5 6 7 8 10 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 95 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 155 165 167 170 171 180 181
a 5 6 7 8 10 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 155 161 165 167 170 171 180 181
a 5 6 7 8 10 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 155 161 165 167 170 171 174 180
a 5 6 7 8 10 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 180
a 5 6 7 8 10 15 18 21 22 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 180
a 5 6 7 8 10 15 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 180
a 5 6 7 8 10 13 15 21 22 23 24 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 180
a 5 6 7 8 10 13 15 18 21 22 23 24 32 34 35 39 40 41 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 180
a 5 6 7 8 10 13 15 18 21 22 23 24 26 32 34 35 39 40 41 49 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 180
a 5 6 7 8 10 13 15 18 21 22 23 24 26 32 34 35 39 40 41 49 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 5 6 7 8 10 13 15 18 21 22 23 24 25 26 32 34 35 39 40 41 49 57 58 64 66 67 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 5 6 7 8 10 15 18 21 22 23 24 25 26 32 34 35 39 40 41 49 51 57 58 64 66 67 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 3 5 6 7 8 10 15 18 21 22 23 24 25 26 32 34 35 39 40 41 49 51 57 58 64 66 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 3 5 6 7 8 10 15 18 21 22 23 24 25 32 34 35 39 40 41 49 51 57 58 64 66 67 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 3 5 6 7 8 10 15 18 22 23 24 25 29 32 34 35 39 40 41 49 51 57 58 64 66 67 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 3 5 6 7 8 15 18 22 23 24 25 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 180
a 3 5 6 7 8 15 18 22 23 24 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 180
a 3 5 6 7 8 18 22 23 24 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 180
a 3 5 6 7 15 18 22 23 24 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 180
a 3 5 6 7 15 18 22 23 24 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 181
a 3 5 6 7 15 18 22 23 24 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 180 181
a 3 5 6 7 15 18 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 180
a 3 5 6 7 8 15 18 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 174 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 140 149 152 155 161 165 167 170 171 172 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 140 145 152 155 161 165 167 170 171 172 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 137 139 140 145 152 155 161 165 167 170 171 172 180
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 137 139 140 145 152 155 161 165 167 170 171 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 137 139 140 145 149 152 155 161 165 170 171 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 180 181
a 3 5 6 7 8 15 18 21 22 23 26 29 32 34 35 39 40 41 49 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172 180 181
a 3 5 6 7 8 15 18 21 22 23 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172 174 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 171 174 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 171 174 180
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 171 174 180
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 171 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 32 34 35 39 40 41 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 174 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 174 180 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 161 165 167 170 172 174 180
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 172 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 64 66 67 70 71 90 94 96 100 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 64 66 67 70 71 90 94 96 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 174
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 180
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 101 103 107 115 116 117 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 101 103 107 112 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 172 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 172 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 35 39 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 171 172 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 171 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 117 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 174 181
a 3 6 7 8 15 18 21 22 23 24 26 29 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 71 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 174 181
a 3 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 174 181
a 3 5 6 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 174 181
a 3 5 6 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 45 49 51 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 172 174 181
a 3 5 6 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 45 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 172 174 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 172 174 181
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 140 145 149 152 155 161 165 167 170 172 174
a 3 5 6 7 8 15 21 22 23 24 26 29 31 34 35 39 40 41 44 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172 174
a 3 5 6 7 8 15 21 22 23 24 26 29 31 34 35 39 40 41 44 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 21 22 23 24 26 29 34 35 39 40 41 44 45 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 21 23 24 26 29 31 34 35 39 40 41 44 45 49 57 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 18 21 23 24 26 29 31 34 35 39 40 41 44 45 49 58 60 64 66 67 70 90 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 45 49 58 60 64 66 67 70 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 45 49 58 60 64 66 67 70 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 162 165 167 170 171
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 45 49 57 58 60 64 66 67 70 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 45 57 58 60 64 66 67 70 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 40 41 44 45 49 57 58 60 64 66 67 70 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 3 5 6 7 8 15 18 21 22 23 24 26 29 31 34 35 39 40 41 44 45 49 57 58 60 64 66 67 70 94 96 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172
a 3 5 6 7 8 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 49 57 58 60 64 66 67 70 94 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172
a 3 5 6 7 8 15 18 21 22 23 24 25 26 29 31 34 35 37 39 40 41 44 45 49 57 58 60 64 66 67 70 100 101 103 107 108 112 115 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172
a 3 5 6 7 8 15 18 21 22 23 24 25 26 29 31 34 35 37 39 40 41 44 45 49 57 58 60 64 66 67 70 81 100 101 103 107 108 112 115 116 119 122 126 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172
a 3 5 6 7 8 15 18 21 22 23 24 25 26 29 31 34 35 37 39 40 41 44 45 49 57 58 60 64 66 67 70 81 96 100 101 103 107 108 112 115 116 119 122 126 133 134 135 136 137 139 140 145 149 152 155 165 167 170 172
a 3 5 6 7 8 18 21 22 23 24 25 26 29 31 34 35 37 39 40 41 44 45 49 57 58 60 64 66 67 70 81 96 100 101 103 107 108 112 115 116 119 122 126 133 134 135 136 137 139 140 145 149 152 155 165 167 170 172 181
a 3 5 6 7 8 18 21 22 23 24 25 26 29 31 34 35 37 39 40 41 44 45 49 57 58 60 64 66 67 70 81 96 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 139 140 145 149 152 155 165 167 170 172 181
a 3 5 6 7 8 18 21 22 23 24 25 26 29 31 34 35 37 39 40 41 44 45 49 57 58 60 64 66 67 70 81 96 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 139 140 145 149 152 155 165 167 170 171 181
a 3 5 6 7 8 18 21 22 23 24 25 26 29 31 34 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 96 98 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 139 140 145 149 152 155 165 167 170 171 181
a 3 5 6 7 8 18 21 22 23 24 25 26 29 31 34 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 96 98 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 139 140 145 149 152 155 165 170 171 174 181
a 3 5 6 7 8 18 21 22 23 24 25 26 29 31 34 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 90 96 98 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 140 145 149 152 155 165 170 171 174 181
a 3 5 6 7 8 13 18 21 22 23 24 25 26 29 31 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 90 96 98 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 140 145 149 152 155 165 170 171 174 181
a 3 5 6 7 8 13 18 21 22 23 24 25 26 29 31 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 83 90 96 98 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 140 145 149 152 165 170 171 174 181
a 3 5 6 7 8 13 18 21 22 23 25 26 29 31 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 83 90 96 98 100 101 103 107 108 112 114 115 116 119 122 126 133 134 136 137 140 145 149 152 165 168 170 171 174 181
a 3 5 6 7 8 13 21 22 23 25 26 29 31 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 83 90 96 98 100 101 103 107 108 112 114 115 116 119 122 126 130 133 134 136 137 140 145 149 152 165 168 170 171 174 181
a 3 5 6 7 8 13 21 22 23 25 26 29 31 35 37 39 40 44 45 49 57 58 60 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 126 130 133 134 136 137 140 145 149 152 168 170 171 174 181
a 3 5 6 7 8 13 22 23 25 26 29 31 35 37 39 40 44 45 49 55 57 58 60 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 126 130 133 134 136 137 140 145 149 152 168 170 171 174 181
a 3 5 6 7 8 13 22 23 25 26 29 31 35 37 39 40 44 45 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 126 130 133 134 136 137 140 145 149 152 168 170 171 174 181
a 3 5 6 7 8 13 22 23 25 26 29 31 35 37 40 44 45 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 133 134 136 137 140 145 149 152 168 170 171 174 181
a 3 5 6 7 8 13 22 23 25 26 29 31 35 37 40 45 51 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 133 134 136 137 140 145 149 152 168 170 171 174 181
a 3 5 6 7 8 13 22 23 25 26 29 31 35 37 40 45 51 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 133 134 136 137 140 145 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 31 35 37 40 42 45 51 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 134 136 137 140 145 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 35 37 40 42 45 51 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 134 137 140 145 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 37 40 42 45 51 55 57 58 60 61 64 66 67 70 81 83 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 37 40 42 45 51 55 57 60 61 64 66 67 70 81 83 86 90 92 96 98 100 101 103 107 108 112 114 115 116 119 122 123 126 130 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 37 40 42 45 51 55 60 61 64 66 67 70 81 83 86 90 92 96 98 100 101 103 107 108 109 112 114 115 116 119 122 123 126 130 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 37 40 42 45 51 55 60 61 64 66 67 70 81 83 86 90 92 96 98 100 101 103 106 107 108 109 112 114 115 119 122 123 126 130 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 37 40 42 51 55 60 61 64 66 67 70 81 83 86 90 92 96 98 100 101 103 106 107 108 109 112 114 115 119 122 123 126 130 131 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 22 23 25 26 29 30 31 37 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 92 96 98 100 101 103 106 107 108 109 112 114 115 119 123 126 130 131 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 14 22 23 25 26 29 30 31 37 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 92 96 98 100 101 106 107 108 109 112 114 115 119 123 126 130 131 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 6 7 8 13 14 22 23 25 29 30 31 37 38 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 92 96 98 100 101 106 107 108 109 112 114 115 119 123 126 130 131 134 137 140 145 146 149 168 170 171 174 175 181
a 3 5 7 8 13 14 22 23 25 29 30 31 37 38 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 92 96 98 100 101 106 107 108 109 112 114 115 119 123 126 130 131 134 137 140 143 145 146 149 168 170 171 174 175 181
a 3 5 7 8 13 14 22 23 25 29 30 31 37 38 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 92 96 98 101 106 107 108 109 111 112 114 115 119 123 126 130 131 134 137 140 143 145 146 149 168 170 171 174 175 181
a 3 5 7 8 13 14 22 23 25 29 30 31 37 38 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 101 106 107 108 109 111 112 114 115 119 123 126 130 131 134 137 140 143 146 149 168 170 171 174 175 181
a 3 4 5 7 8 13 14 22 23 25 30 31 37 38 40 42 51 55 60 61 64 66 67 69 70 81 83 86 90 91 92 96 98 101 106 107 108 109 111 112 114 115 119 123 126 130 131 134 137 140 143 146 149 168 170 171 174 175 181
a 3 4 5 7 8 13 14 22 23 25 30 31 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 101 106 107 108 109 111 112 114 115 119 123 126 130 131 134 137 140 143 146 149 168 170 171 174 175 181
a 3 4 5 7 8 13 14 20 22 23 25 30 31 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 112 114 115 119 123 126 130 131 134 137 140 143 146 149 168 170 171 174 175 181
a 3 4 5 7 8 13 14 20 22 23 25 30 31 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 112 114 115 119 123 126 130 131 137 140 143 146 149 168 170 171 174 175 181 182
a 3 4 5 7 8 13 14 20 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 123 126 130 131 137 140 143 146 149 168 170 171 174 175 181 182
a 3 4 5 7 8 13 14 20 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 123 126 130 131 137 140 143 146 166 168 170 171 174 175 181 182
a 3 4 7 8 9 13 14 20 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 108 109 111 114 115 119 123 126 130 131 137 140 143 146 166 168 170 171 174 175 181 182
a 3 4 7 8 9 13 14 20 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 123 126 128 130 131 137 140 143 146 166 168 170 171 174 175 181 182
a 3 4 7 8 9 13 14 20 22 23 25 30 31 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 126 128 130 131 137 143 146 166 168 170 171 174 175 181 182
a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 126 128 130 131 137 143 146 166 168 170 171 174 175 181 182
a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 168 170 171 174 175 181 182
c Step: 166
#END: [Tue Sep 26 05:44:56 2023]