#BEGIN: [Tue Sep 26 05:37:02 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance015_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph005_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_instance015_graph005.col /benchmark/random_instance/random_instance015_graph005_01.dat c /benchmark/random_instance/random_instance015_graph005.col c /benchmark/random_instance/random_instance015_graph005_01.dat s 37 133 81 84 11 62 13 147 105 127 139 173 140 19 25 194 182 115 175 51 123 75 109 26 10 30 38 118 95 138 169 153 192 16 137 92 20 54 88 50 42 146 185 176 187 47 60 189 76 21 39 104 58 179 85 6 122 74 64 66 181 98 9 59 t 59 144 4 5 184 116 46 54 102 125 74 40 178 194 106 111 75 152 32 155 73 135 177 62 104 174 161 17 85 143 147 34 169 138 108 154 51 148 107 127 66 31 97 79 26 180 67 11 55 183 103 3 115 78 76 25 146 61 118 39 52 58 153 172 a YES a 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 19 20 21 25 26 30 37 38 39 42 47 50 51 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 119 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 19 21 25 26 30 37 38 39 42 47 50 51 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 116 118 119 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 19 21 25 26 30 37 38 39 42 47 50 51 58 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 116 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 19 21 25 26 30 38 39 42 47 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 92 95 98 104 105 109 115 116 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 19 21 25 26 30 38 39 42 47 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 115 116 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 182 185 187 189 192 a 5 6 9 10 11 16 19 20 21 25 26 30 38 39 42 47 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 115 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 182 185 187 189 192 a 5 6 9 11 16 19 20 21 25 26 30 38 39 42 47 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 182 185 187 189 192 a 5 6 9 11 16 17 19 20 21 25 26 30 38 39 42 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 182 185 187 189 192 a 5 6 9 11 16 17 19 20 21 25 26 30 31 38 39 42 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 26 30 31 38 39 42 47 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 50 51 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 110 112 115 118 119 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 50 51 54 58 60 62 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 49 50 51 54 58 60 64 66 74 75 76 79 81 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 49 50 51 54 58 60 64 66 74 75 76 79 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 195 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 50 51 54 58 60 64 66 74 75 76 78 79 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 195 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 50 51 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 50 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 133 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 195 a 5 6 9 11 16 19 20 21 25 30 31 38 39 42 47 50 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 110 112 115 118 122 123 127 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 195 a 5 6 9 11 16 19 20 21 25 26 30 31 38 39 42 47 50 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 153 157 169 173 175 176 179 181 185 187 189 192 195 a 5 6 9 11 16 19 20 21 25 26 30 31 38 39 42 47 50 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 153 157 165 169 173 175 176 179 181 185 187 189 192 a 5 6 9 11 16 19 20 21 25 26 30 31 38 39 42 47 50 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 153 157 161 165 169 173 175 176 179 181 185 187 189 a 5 6 9 11 19 20 21 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 153 157 161 165 169 173 175 176 179 181 185 187 189 a 5 6 9 11 19 20 21 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 152 153 157 161 165 169 173 175 179 181 185 187 189 a 5 6 9 11 19 20 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 152 153 157 161 165 169 173 175 179 181 185 187 189 a 5 6 9 11 19 20 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 152 153 157 161 165 169 173 175 179 181 185 187 192 a 5 6 9 11 19 20 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 152 153 157 161 165 169 173 179 181 185 187 192 a 5 6 9 11 19 20 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 115 118 122 123 127 137 138 139 140 146 147 152 153 157 161 165 169 173 174 179 181 185 187 192 a 5 6 9 11 19 20 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 115 118 122 123 127 137 138 139 140 146 152 153 157 161 165 169 173 174 179 181 185 187 189 192 a 5 9 11 19 20 25 26 30 31 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 152 153 157 161 165 169 173 174 179 181 185 187 189 192 a 5 9 11 19 25 26 30 31 32 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 152 153 157 161 165 169 173 174 179 181 185 187 189 192 a 5 9 11 19 25 26 30 31 32 35 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 152 153 157 161 165 173 174 179 181 185 187 189 192 a 5 9 11 19 25 26 30 32 35 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 152 153 157 161 165 173 174 179 181 182 185 187 189 192 a 5 9 11 19 25 26 30 32 35 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 152 153 157 161 165 173 174 179 180 181 182 187 189 192 a 5 9 11 19 25 26 30 32 35 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 148 152 153 157 161 165 173 174 180 181 182 187 189 192 a 5 9 11 19 25 26 30 32 35 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 92 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 173 174 180 181 182 187 192 a 5 9 11 19 25 26 30 32 34 35 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 173 174 180 181 182 187 192 a 5 9 11 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 84 85 88 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 192 a 5 9 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 82 84 85 88 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 192 a 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 82 84 85 88 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 192 a 3 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 60 64 66 70 74 75 76 78 79 81 82 84 85 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 192 a 3 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 64 66 70 74 75 76 78 79 81 82 84 85 90 95 97 98 103 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 192 a 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 64 66 70 74 75 76 78 79 81 82 84 85 90 95 97 98 103 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 192 195 a 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 54 58 64 66 70 74 75 76 78 79 81 82 84 85 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 189 192 195 a 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 85 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 189 192 195 a 3 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 189 192 195 a 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 58 60 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 147 148 152 153 157 161 165 169 173 174 180 181 182 187 189 192 195 a 5 16 19 25 26 30 32 34 38 39 42 47 50 51 53 58 60 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 169 173 174 180 181 182 187 189 191 192 195 a 5 16 19 25 26 30 31 32 34 38 39 42 47 50 51 53 58 60 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 169 173 174 180 181 187 189 191 192 195 a 5 16 19 25 26 30 31 32 34 38 39 42 47 50 51 53 58 60 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 147 148 152 153 157 161 165 169 173 174 180 181 187 189 192 195 a 5 16 19 25 26 30 31 32 34 38 39 42 47 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 147 148 152 153 157 161 165 169 173 174 180 181 187 189 192 195 a 5 16 19 25 26 30 31 32 34 38 39 42 47 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 148 152 153 157 161 165 169 173 174 180 181 187 189 191 192 195 a 5 16 19 25 26 30 31 32 34 35 38 39 42 47 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 148 152 153 157 161 165 173 174 180 181 187 189 191 192 195 a 5 16 19 25 26 30 31 32 34 35 38 39 42 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 148 152 153 157 161 165 173 174 180 181 187 189 190 191 192 195 a 5 16 19 25 26 30 31 32 34 35 38 39 42 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 147 148 152 153 157 161 165 173 174 180 181 187 189 190 192 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 51 53 58 64 66 70 74 75 76 78 79 81 82 84 90 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 147 148 152 153 157 161 165 172 173 174 180 181 187 189 190 192 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 64 66 70 74 75 76 78 79 81 82 84 90 91 95 97 98 104 105 109 112 115 118 122 123 127 128 137 138 139 140 141 146 147 148 152 153 157 161 165 172 173 174 180 181 187 189 190 192 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 76 78 79 81 82 84 90 91 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 147 148 152 153 157 161 165 172 173 174 180 181 187 189 190 192 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 76 78 79 81 82 84 90 91 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 172 173 174 180 181 187 189 190 191 192 195 a 1 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 78 79 81 82 84 90 91 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 172 173 174 180 181 187 189 190 191 192 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 78 79 81 82 84 90 91 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 172 173 174 180 181 187 189 190 191 192 193 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 104 105 109 112 115 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 104 105 109 112 118 122 123 127 137 138 139 140 141 146 148 152 153 157 161 165 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 16 19 25 26 30 31 32 34 35 38 42 50 53 58 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 104 105 109 112 118 123 127 137 138 139 140 141 145 146 148 152 153 157 161 165 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 16 19 25 26 30 31 32 34 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 90 91 95 97 98 104 105 109 112 118 123 127 137 138 139 140 141 145 146 148 152 153 157 161 165 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 16 19 25 26 30 31 32 34 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 90 91 95 97 98 99 104 109 112 118 123 127 137 138 139 140 141 145 146 148 152 153 157 161 165 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 16 19 25 26 30 31 34 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 90 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 153 157 161 165 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 16 19 25 26 30 31 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 90 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 153 157 161 165 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 16 19 25 26 30 31 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 90 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 16 19 25 26 30 31 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 194 195 a 5 6 16 19 25 26 30 31 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 16 19 25 26 30 31 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 194 195 a 5 6 16 19 25 26 30 31 35 38 42 48 50 53 58 60 64 66 70 75 78 79 81 82 90 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 195 a 5 6 16 19 25 26 30 31 35 38 42 45 48 50 53 58 60 64 66 70 78 79 81 82 90 91 95 97 98 99 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 195 a 5 6 16 19 20 25 26 30 31 35 38 42 45 48 50 53 58 60 64 66 70 78 79 81 82 90 91 95 97 98 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 195 a 5 6 16 19 20 25 26 30 31 35 38 39 42 45 48 50 53 58 60 64 66 70 78 79 81 82 90 91 95 97 98 104 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 195 a 5 6 19 20 25 26 30 31 35 38 39 42 45 48 50 53 58 60 64 66 70 78 79 81 82 90 91 95 97 98 104 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 19 20 25 26 30 31 35 38 39 42 45 48 50 53 60 64 66 70 78 79 81 82 90 91 95 97 98 100 104 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 19 20 25 26 30 31 35 38 39 42 45 50 53 60 64 66 70 74 78 79 81 82 90 91 95 97 98 100 104 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 19 20 25 26 30 31 35 38 39 42 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 104 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 193 195 a 5 6 19 20 25 26 30 31 35 38 39 42 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 104 109 112 118 123 127 134 137 138 139 140 141 145 146 148 149 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 195 a 5 6 19 20 25 26 30 31 35 38 39 42 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 191 192 195 a 5 6 19 20 25 26 30 31 35 38 39 42 47 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 191 192 195 a 5 6 9 19 20 25 26 30 31 35 38 39 42 47 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 192 195 a 5 6 9 19 20 25 26 30 31 35 38 39 42 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 192 195 a 5 6 9 19 20 25 26 30 31 35 39 42 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 190 192 195 a 5 6 9 19 20 25 26 30 31 35 39 42 47 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 148 152 157 161 165 166 167 172 173 174 180 181 184 187 189 192 195 a 5 6 9 19 20 25 26 30 31 35 39 42 47 50 53 60 64 66 70 74 75 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 189 192 195 a 5 6 9 19 20 25 26 30 31 35 39 47 50 53 60 64 66 70 73 74 75 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 118 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 189 192 195 a 5 6 9 19 20 25 26 30 31 35 39 47 50 53 60 64 66 70 73 74 75 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 189 191 192 195 a 5 6 9 19 20 25 26 30 31 35 39 47 50 51 53 60 64 66 70 73 74 75 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 189 191 192 a 5 6 9 19 20 25 26 30 31 35 39 47 50 51 53 60 64 66 70 73 74 75 76 78 79 81 82 90 91 95 97 100 101 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 189 191 192 a 5 6 9 19 20 25 26 30 31 35 39 47 50 51 53 60 64 66 70 73 74 75 76 78 79 81 82 90 91 95 97 98 100 101 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 191 192 a 5 6 9 19 20 25 26 30 31 35 39 47 50 51 53 64 66 70 73 74 75 76 78 79 81 82 90 91 95 97 98 100 101 103 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 191 192 a 5 6 19 20 25 26 30 31 35 39 47 50 51 53 64 66 70 73 74 75 76 78 79 81 82 88 90 91 95 97 98 100 101 103 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 191 192 a 5 6 19 20 25 26 30 35 39 47 50 51 53 64 66 70 73 74 75 76 78 79 81 82 88 90 91 95 97 98 100 101 103 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 191 192 193 a 5 6 9 19 20 25 26 30 35 39 47 50 51 53 64 66 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 103 104 105 109 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 191 192 193 a 5 6 9 19 20 25 26 30 35 39 47 50 51 53 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 103 104 105 112 123 127 134 137 138 139 140 141 145 146 152 157 161 165 166 167 172 173 174 179 180 181 184 187 191 192 193 a 5 6 9 19 20 25 26 30 35 39 47 50 51 53 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 103 104 105 112 123 127 134 137 138 139 140 141 145 146 157 161 165 166 167 172 173 174 176 179 180 181 184 187 191 192 193 a 5 6 9 19 20 25 26 30 35 39 47 50 51 53 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 123 127 134 137 138 139 140 141 145 146 157 161 165 166 167 172 173 174 176 179 180 181 184 187 189 191 192 193 a 5 6 9 19 20 25 26 30 35 39 47 50 51 53 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 123 127 134 137 138 139 140 141 145 146 157 161 165 166 167 172 173 174 176 179 180 181 184 187 189 191 192 195 a 5 6 9 19 20 25 26 30 35 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 123 127 134 137 138 139 140 141 145 146 157 161 165 166 167 172 173 174 176 179 180 181 184 187 189 192 195 a 5 6 9 19 20 25 26 30 31 35 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 123 127 134 137 138 139 140 141 145 157 161 165 166 167 172 173 174 176 179 180 181 184 187 189 192 195 a 5 6 9 16 19 20 25 26 30 31 35 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 123 127 134 137 138 139 140 141 145 157 161 165 166 167 172 173 174 176 179 180 181 184 187 192 195 a 5 6 9 16 19 20 25 26 30 31 35 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 118 123 127 134 137 138 139 140 141 145 157 161 165 166 167 172 173 174 176 179 180 181 187 192 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 118 123 127 134 137 138 139 140 141 145 157 161 165 166 167 169 172 173 174 176 179 180 181 187 192 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 75 76 78 79 81 82 88 90 91 95 97 98 100 101 104 105 112 118 123 127 134 137 138 139 140 141 145 157 161 165 166 167 169 172 173 174 176 179 180 181 187 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 90 91 95 97 98 100 101 104 105 112 118 123 127 134 137 138 139 140 141 145 157 161 165 166 167 169 172 173 174 176 179 180 181 187 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 90 91 95 97 98 100 101 104 105 112 118 123 127 134 137 138 139 140 141 145 157 161 165 166 167 169 172 173 174 176 179 180 181 189 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 90 91 95 97 98 100 101 104 105 118 123 127 134 137 138 139 140 141 145 154 157 161 165 166 167 169 172 173 174 176 179 180 181 189 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 105 118 123 127 134 137 138 139 140 141 145 154 157 161 165 166 167 169 172 173 174 176 179 180 181 189 194 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 105 118 123 127 134 137 138 139 140 141 145 154 156 157 161 165 166 167 169 172 173 174 176 179 180 181 194 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 105 118 123 127 134 137 138 139 140 141 145 154 156 157 161 165 166 167 169 172 173 174 176 179 180 193 194 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 105 118 123 127 134 137 138 139 140 141 145 154 156 157 161 165 166 167 169 172 173 174 176 180 181 193 194 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 51 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 118 123 127 134 137 138 139 140 141 145 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 193 194 195 a 5 6 9 16 19 20 25 26 30 31 39 47 50 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 118 123 127 134 137 138 139 140 141 145 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 192 193 194 195 a 5 6 9 16 19 20 26 30 31 39 45 47 50 53 60 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 118 123 127 134 137 138 139 140 141 145 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 192 193 194 195 a 5 6 9 16 19 20 26 30 31 39 45 47 50 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 95 97 98 100 101 104 118 123 127 134 137 138 139 140 141 145 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 192 194 195 a 5 6 9 16 19 20 26 30 31 39 45 47 50 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 97 98 100 101 104 118 123 127 134 137 138 139 140 141 145 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 186 192 194 195 a 5 6 9 16 19 20 26 30 31 39 45 47 50 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 118 123 127 134 137 138 139 140 141 145 149 156 157 161 165 166 167 169 172 173 174 176 180 181 186 192 194 195 a 5 6 9 16 19 26 30 31 39 45 47 50 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 112 118 123 127 134 137 138 139 140 141 145 149 156 157 161 165 166 167 169 172 173 174 176 180 181 186 192 194 195 a 5 6 9 16 19 26 30 31 32 39 45 47 50 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 112 118 123 127 137 138 139 140 141 145 149 156 157 161 165 166 167 169 172 173 174 176 180 181 186 192 194 195 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 112 118 123 127 137 138 139 140 141 145 149 156 157 161 165 166 167 169 172 173 174 176 180 181 186 192 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 112 118 123 127 137 138 139 140 141 145 149 156 157 161 165 166 167 169 172 173 174 176 180 181 186 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 112 116 118 123 127 137 138 139 140 141 145 149 156 157 161 165 166 167 169 172 173 174 176 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 92 97 98 100 101 104 112 116 118 123 127 138 139 140 141 145 147 149 156 157 161 165 166 167 169 172 173 174 176 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 97 98 100 101 104 112 116 118 123 127 138 139 140 141 145 147 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 97 98 100 101 104 112 116 118 123 127 138 139 141 145 146 147 149 154 156 157 161 165 166 167 169 172 173 174 176 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 82 84 88 91 97 98 100 101 104 112 116 118 123 127 138 139 141 145 146 147 148 149 154 156 157 161 165 166 167 169 172 173 174 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 84 88 91 97 98 100 101 104 112 116 118 123 127 138 139 141 145 146 147 148 149 152 154 156 157 161 165 166 167 169 172 173 174 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 40 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 84 88 91 97 98 100 101 104 112 116 118 123 127 138 141 145 146 147 148 149 152 154 156 157 161 165 166 167 169 172 173 174 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 40 45 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 84 88 91 97 98 100 101 104 112 115 116 118 123 127 138 141 145 146 147 148 149 152 154 156 157 161 165 166 169 172 173 174 180 181 194 a 5 6 9 16 19 25 26 30 31 32 39 40 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 84 88 91 97 98 100 101 104 108 112 115 116 118 123 127 138 141 145 146 147 148 149 152 154 156 157 161 165 166 169 172 173 174 180 181 194 a 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 60 62 64 66 67 70 73 74 76 78 79 81 84 88 91 97 98 100 101 104 108 112 115 116 118 123 127 138 145 146 147 148 149 152 154 156 157 161 165 166 169 172 173 174 180 181 194 a 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 60 62 64 66 67 70 73 74 75 76 78 79 81 84 88 91 97 98 100 101 104 108 112 115 116 118 123 127 138 145 146 147 148 149 152 154 157 161 165 166 169 172 173 174 180 181 194 a 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 60 62 64 66 67 70 73 74 75 76 78 79 81 84 88 91 97 98 100 101 104 108 112 115 116 118 123 127 138 144 145 146 147 148 149 152 154 161 165 166 169 172 173 174 180 181 194 a 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 60 62 64 66 67 70 73 74 75 76 78 79 81 88 91 97 98 100 101 104 108 112 115 116 118 123 127 138 144 145 146 147 148 149 152 154 161 165 166 169 172 173 174 180 181 184 194 a 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 60 62 64 66 67 70 73 74 75 76 78 79 81 88 91 97 98 101 104 108 112 115 116 118 123 127 138 144 145 146 147 148 149 152 154 161 165 166 169 172 173 174 180 181 184 194 a 4 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 60 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 101 104 108 112 115 116 118 123 127 138 144 145 146 147 148 149 152 154 161 165 166 169 172 173 174 180 181 184 194 a 4 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 60 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 101 104 108 111 112 115 116 118 123 127 138 144 146 147 148 149 152 154 161 165 166 169 172 173 174 180 181 184 194 a 4 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 59 60 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 104 108 111 112 115 116 118 123 127 138 144 146 147 148 149 152 154 161 165 166 169 172 173 174 180 181 184 194 a 4 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 59 60 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 104 108 111 112 115 116 118 123 127 138 144 146 147 148 149 152 153 154 161 165 169 172 173 174 180 181 184 194 a 4 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 59 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 103 104 108 111 112 115 116 118 123 127 138 144 146 147 148 149 152 153 154 161 165 169 172 173 174 180 181 184 194 a 4 5 6 9 11 16 19 25 26 30 31 32 39 40 47 50 51 53 58 59 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 103 104 108 111 115 116 118 123 127 138 144 146 147 148 149 152 153 154 161 165 169 172 173 174 180 181 183 184 194 a 4 5 9 11 16 19 25 26 30 31 32 39 40 47 50 51 52 53 58 59 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 103 104 108 111 115 116 118 123 127 138 144 146 147 148 149 152 153 154 161 165 169 172 173 174 180 181 183 184 194 a 4 5 9 11 16 25 26 30 31 32 39 40 47 50 51 52 53 58 59 61 62 66 67 70 73 74 75 76 78 79 81 88 91 97 98 103 104 108 111 115 116 118 123 127 138 144 146 147 148 149 152 153 154 161 165 169 172 173 174 180 181 183 184 194 a 4 5 9 11 16 25 26 30 31 32 39 40 47 50 51 52 53 58 59 61 62 66 67 70 73 74 75 76 78 79 81 91 97 98 103 104 108 111 115 116 118 123 127 138 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 4 5 9 11 16 25 26 30 31 32 39 40 47 50 51 52 53 58 59 61 62 66 67 70 73 74 75 76 78 79 91 97 98 103 104 108 111 115 116 118 123 127 138 143 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 4 5 9 11 16 17 25 26 30 31 32 39 40 50 51 52 53 58 59 61 62 66 67 70 73 74 75 76 78 79 91 97 98 103 104 108 111 115 116 118 123 127 138 143 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 30 31 32 39 40 50 51 52 53 58 59 61 62 66 67 70 73 74 75 76 78 79 91 97 98 103 104 108 111 115 116 118 123 127 138 143 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 30 31 32 34 39 40 50 51 52 58 59 61 62 66 67 70 73 74 75 76 78 79 91 97 98 103 104 108 111 115 116 118 123 127 138 143 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 50 51 52 58 59 61 62 66 67 70 73 74 75 76 78 79 91 97 98 103 104 108 111 115 116 118 123 125 127 138 143 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 50 51 52 55 58 59 61 62 66 67 70 73 74 75 76 78 79 91 97 103 104 108 111 115 116 118 123 125 127 138 143 144 146 147 148 149 152 153 154 161 165 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 91 97 103 104 108 111 115 116 118 123 125 127 138 143 144 146 147 148 149 152 153 154 155 161 165 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 91 97 102 103 104 108 111 115 116 118 123 125 127 138 143 144 146 147 148 149 152 153 154 155 161 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 50 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 97 102 103 104 108 111 115 116 118 123 125 127 138 143 144 146 147 148 149 152 153 154 155 161 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 97 102 103 104 108 111 115 116 118 123 125 127 135 138 143 144 146 147 148 149 152 153 154 155 161 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 108 111 115 116 118 125 127 135 138 143 144 146 147 148 149 152 153 154 155 161 169 172 173 174 178 180 181 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 108 111 115 116 118 125 127 135 138 143 144 146 147 148 149 152 153 154 155 161 169 172 173 174 177 178 180 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 106 108 111 115 116 118 125 127 135 138 143 144 146 147 148 152 153 154 155 161 169 172 173 174 177 178 180 183 184 194 a 3 4 5 11 16 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 106 108 111 115 116 118 125 127 135 138 143 144 146 147 148 152 153 154 155 161 169 172 174 177 178 180 183 184 194 a 3 4 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 106 107 108 111 115 116 118 125 127 135 138 143 144 146 147 148 152 153 154 155 161 169 172 174 177 178 180 183 184 194 c Step: 162 #END: [Tue Sep 26 05:45:39 2023]