#BEGIN: [Tue Sep 26 05:37:00 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance015_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph004_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_graph004.col /benchmark/random_instance/random_instance015_graph004_01.dat c /benchmark/random_instance/random_instance015_graph004.col c /benchmark/random_instance/random_instance015_graph004_01.dat s 143 141 154 58 158 90 24 187 191 103 31 126 22 10 194 156 150 192 34 139 128 163 113 11 144 60 134 124 102 53 20 162 43 127 119 89 39 122 174 183 161 82 133 132 157 137 167 5 9 47 111 146 65 54 112 135 68 123 108 149 136 125 72 115 145 t 155 66 117 108 43 75 88 10 72 70 55 76 176 143 182 190 45 61 40 124 171 169 145 41 54 9 31 53 122 46 154 131 97 146 36 14 106 96 132 165 151 26 141 138 30 115 22 187 50 188 7 193 68 150 144 90 112 79 111 38 125 184 52 56 39 a YES a 5 9 10 11 20 22 24 31 34 39 43 47 53 54 58 60 65 68 72 82 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 141 143 144 145 146 149 150 154 156 157 158 161 162 163 167 174 183 187 191 192 194 a 5 9 10 11 20 22 24 31 34 39 43 47 53 54 58 60 65 66 68 72 82 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 141 143 144 145 146 149 150 154 156 157 158 161 162 163 167 174 183 187 192 194 a 5 9 10 11 20 22 24 31 34 39 43 47 53 54 58 60 65 66 68 72 82 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 158 161 162 163 167 174 183 187 192 194 a 5 9 10 11 20 22 24 31 34 39 43 47 53 54 58 60 65 68 72 82 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 158 161 162 163 167 174 183 187 191 192 194 a 5 9 10 11 20 22 24 31 34 39 43 47 53 54 58 60 65 68 72 82 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 183 187 191 192 193 194 a 5 9 10 11 20 22 24 31 34 39 43 47 53 54 58 60 65 68 72 82 88 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 191 192 193 194 a 5 9 10 11 20 22 24 31 34 39 47 53 54 58 60 65 68 72 82 88 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 191 192 193 194 195 a 5 9 10 11 20 22 24 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 193 194 195 a 5 9 10 11 14 20 22 24 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 193 195 a 5 9 10 11 14 20 22 24 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 158 161 162 163 167 174 187 192 195 a 5 9 10 14 20 22 24 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 94 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 139 143 144 145 146 149 150 153 154 156 157 158 161 162 163 167 174 187 192 195 a 5 9 10 14 20 22 24 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 94 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 138 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 195 a 5 9 10 14 20 22 24 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 112 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 138 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 193 195 a 5 9 10 14 20 22 24 29 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 138 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 193 195 a 5 9 10 14 20 22 24 29 31 34 39 47 53 54 58 60 65 66 68 72 82 85 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 137 138 139 143 144 145 146 149 150 153 154 156 157 161 162 163 174 187 192 193 195 a 5 9 10 11 14 20 22 24 29 31 34 39 47 53 54 58 60 65 66 68 72 82 85 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 143 144 145 146 149 150 153 154 156 157 161 162 163 174 187 192 193 195 a 5 9 10 11 14 20 22 24 29 31 34 39 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 143 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 193 195 a 5 9 10 11 14 20 22 24 29 31 34 39 42 47 53 54 58 60 65 66 68 72 82 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 167 174 187 192 193 195 a 5 9 10 11 14 20 22 24 29 31 34 39 42 47 53 54 58 60 65 66 68 72 82 85 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 174 187 192 193 195 a 5 9 10 11 14 20 22 24 29 31 34 39 42 47 53 54 58 60 65 66 68 72 77 82 85 88 89 90 102 103 108 111 113 115 119 122 123 124 125 126 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 174 187 192 193 195 a 5 9 10 11 14 20 22 24 29 31 34 39 42 47 53 54 58 60 65 66 68 72 77 82 85 88 89 90 102 103 108 111 115 119 122 123 124 125 126 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 187 192 193 195 a 5 9 10 14 20 22 24 29 31 34 39 42 47 53 54 58 60 63 65 66 68 72 77 82 85 88 89 90 102 103 108 111 115 119 122 123 124 125 126 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 187 192 193 195 a 5 9 10 14 20 22 24 29 31 34 39 42 47 53 54 58 60 62 63 65 66 68 72 77 82 85 88 89 90 102 103 108 111 115 119 122 123 124 125 126 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 187 192 195 a 5 9 10 14 20 22 24 29 31 34 39 42 43 47 53 54 58 60 62 63 65 66 68 72 77 82 85 88 89 90 102 103 108 111 115 119 122 123 124 125 126 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 187 192 a 5 9 10 14 20 22 24 29 31 34 39 42 43 47 53 54 58 60 62 63 65 66 68 72 82 85 88 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 187 192 a 5 9 10 11 14 20 22 24 29 31 34 39 42 43 47 53 54 58 60 62 65 66 68 72 82 85 88 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 187 192 a 5 9 10 11 14 20 22 24 29 31 34 39 42 43 47 53 54 58 60 62 65 66 68 72 82 85 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 183 187 192 a 5 9 10 11 14 20 22 24 29 31 34 39 42 43 47 54 58 60 62 65 66 68 72 82 85 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 183 187 192 193 a 5 10 11 12 14 20 22 24 29 31 34 39 42 43 47 54 58 60 62 65 66 68 72 82 85 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 174 183 187 192 193 a 5 10 11 12 14 19 20 22 24 29 31 34 39 42 43 47 54 58 60 62 65 66 68 72 82 85 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 183 187 192 193 a 5 10 12 14 19 20 22 24 29 31 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 183 187 192 193 a 5 10 12 14 15 19 20 22 24 29 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 183 187 192 193 a 5 10 12 14 15 19 20 22 24 29 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 183 187 192 a 5 10 12 14 15 19 20 22 24 29 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 a 5 10 12 15 19 20 22 24 29 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 194 a 5 12 15 19 20 22 24 29 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 160 161 162 163 169 181 183 187 194 a 5 12 19 20 22 24 29 31 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 160 161 162 163 169 181 183 187 194 a 5 12 19 20 22 24 29 31 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 5 12 15 19 20 22 24 29 34 39 42 43 47 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 125 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 5 12 15 19 20 22 24 29 34 39 42 43 47 51 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 139 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 5 12 15 19 20 22 24 29 34 39 42 43 47 48 51 54 58 60 62 63 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 12 15 19 20 22 24 29 34 39 42 43 47 48 51 54 58 60 62 65 66 68 72 82 85 89 90 94 102 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 144 145 146 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 12 15 19 20 22 24 29 34 39 42 43 47 48 51 54 58 60 62 65 66 68 72 82 85 89 90 94 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 144 145 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 12 15 19 20 22 24 29 34 39 42 43 47 48 51 54 58 60 62 65 66 68 72 80 82 85 89 90 94 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 10 12 15 19 20 22 24 29 34 39 42 43 47 48 51 54 58 60 62 65 66 68 72 82 85 89 90 94 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 10 12 15 19 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 82 85 89 90 94 103 108 111 115 119 122 123 124 126 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 10 12 15 19 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 85 89 90 94 103 108 111 115 118 119 122 123 124 126 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 5 10 12 15 19 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 85 89 90 103 108 111 115 118 119 122 123 124 126 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 5 10 11 12 15 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 85 89 90 103 108 111 115 118 119 122 123 124 126 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 5 10 12 15 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 85 89 90 94 103 108 111 115 118 119 122 123 124 126 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 5 10 12 15 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 73 85 89 90 94 103 108 111 115 118 119 122 123 124 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 5 10 11 12 15 20 22 24 29 34 39 42 43 47 51 54 58 60 62 65 66 68 72 73 85 89 90 103 108 111 115 118 119 122 123 124 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 5 10 11 12 15 20 22 24 29 34 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 103 108 111 115 118 119 122 123 124 125 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 5 10 11 12 15 20 22 24 29 38 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 103 108 111 115 118 119 122 123 124 125 127 128 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 10 11 12 15 20 22 24 29 38 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 103 108 111 115 118 119 122 123 124 125 127 128 129 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 190 192 194 a 1 10 11 12 15 20 22 24 29 38 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 10 12 15 20 22 24 29 38 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 133 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 10 12 15 20 22 24 29 38 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 194 a 1 10 12 14 15 20 22 24 29 38 39 42 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 a 1 10 12 14 15 20 22 24 29 38 39 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 a 10 12 14 15 20 22 24 29 38 39 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 143 144 146 148 149 150 153 154 156 157 161 162 163 169 181 183 187 192 a 10 12 14 15 20 22 24 29 38 39 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 140 143 144 146 148 149 150 153 156 157 161 162 163 169 181 183 187 192 a 10 12 14 15 20 22 24 29 38 39 43 47 54 58 60 62 65 66 68 72 73 76 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 140 143 144 146 148 149 150 153 156 157 161 162 163 169 181 183 187 192 a 10 12 14 15 19 20 22 24 29 38 39 43 47 54 58 60 62 65 66 68 72 73 76 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 140 143 144 146 148 149 150 153 156 157 162 163 169 181 183 187 192 a 10 12 14 15 19 20 22 24 29 38 39 43 47 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 140 143 144 146 148 149 150 153 156 157 162 163 169 181 183 187 192 a 10 12 14 15 19 20 22 24 29 38 39 43 54 58 60 62 65 66 68 72 73 85 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 183 187 192 a 10 12 14 15 19 20 22 24 29 38 39 43 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 187 192 a 10 12 14 15 19 20 22 24 29 34 39 43 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 187 192 a 5 10 12 14 15 19 20 22 24 29 34 39 43 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 187 192 a 5 10 12 14 15 20 22 24 29 34 39 43 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 174 181 187 192 a 5 10 12 14 15 20 22 24 29 32 34 39 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 174 181 187 192 a 5 10 12 14 15 19 20 22 24 29 32 34 39 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 187 192 a 5 10 12 13 14 15 19 20 22 24 29 32 34 39 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 192 a 10 12 13 14 15 19 20 22 24 29 32 34 39 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 140 143 144 146 148 149 150 151 153 156 157 162 163 169 181 192 a 10 12 13 14 15 19 20 22 24 29 32 34 39 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 143 144 146 148 149 150 151 153 154 156 157 162 163 169 181 192 a 10 12 14 15 19 20 22 24 29 32 34 39 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 125 127 128 129 132 134 135 136 137 138 139 143 144 146 148 149 150 151 153 154 156 157 162 163 169 181 187 192 a 10 12 14 15 19 20 22 24 29 32 34 39 51 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 144 146 148 149 150 151 153 154 156 157 162 163 169 181 187 192 a 10 12 13 14 15 19 20 22 24 29 32 34 39 51 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 144 146 148 149 150 151 153 154 156 157 162 163 169 181 192 a 10 12 13 14 15 19 20 22 24 29 32 34 39 51 54 58 60 62 65 66 68 72 73 85 88 89 90 94 95 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 144 146 149 150 151 153 154 156 157 162 163 169 181 192 a 10 12 13 14 15 19 20 22 24 29 32 34 39 51 54 60 62 65 66 68 72 73 85 88 89 90 94 95 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 144 146 149 150 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 25 29 32 34 39 51 54 60 62 65 66 68 72 73 85 88 89 90 94 95 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 146 149 150 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 25 29 32 34 39 51 53 54 60 62 65 66 68 72 73 85 88 89 90 94 95 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 146 149 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 25 29 32 34 39 51 53 54 60 62 65 66 68 72 73 85 88 89 90 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 134 135 136 137 138 139 143 146 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 25 29 32 34 39 41 51 53 54 60 62 65 66 68 72 73 85 88 89 90 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 135 136 137 138 139 143 146 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 25 29 32 38 39 41 51 53 54 60 62 65 66 68 72 73 85 88 89 90 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 129 132 135 136 137 138 139 143 146 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 25 29 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 132 135 136 137 138 139 143 146 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 29 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 132 135 136 137 138 139 143 144 146 151 153 154 156 157 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 24 29 32 38 39 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 132 135 136 137 138 139 143 144 146 151 153 154 156 157 162 163 169 181 184 188 192 a 10 12 13 14 15 19 20 22 24 29 32 38 39 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 136 137 138 139 143 144 146 151 153 154 156 157 162 163 169 181 184 188 192 a 10 12 13 14 15 19 20 22 24 29 32 38 39 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 143 144 146 151 153 154 156 157 161 162 163 169 181 184 188 192 a 10 12 13 14 15 19 20 22 29 32 38 39 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 143 144 146 151 153 154 156 157 161 162 163 169 181 184 188 192 a 10 12 13 14 15 19 20 22 29 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 85 88 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 143 144 146 151 153 154 156 157 161 162 163 169 181 184 192 a 10 12 13 14 15 19 20 22 29 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 143 144 146 151 153 154 156 157 161 162 163 169 181 183 184 192 a 1 10 12 13 14 15 19 20 22 29 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 144 146 151 153 154 156 157 161 162 163 169 181 183 184 192 a 1 10 12 13 14 15 20 22 29 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 144 146 151 153 154 156 157 161 162 163 169 181 183 184 192 a 1 10 12 13 14 20 22 29 31 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 144 146 151 153 154 156 157 161 162 163 169 181 183 184 192 a 1 10 12 14 20 22 29 31 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 142 144 146 151 153 154 156 157 161 162 163 169 181 183 184 187 192 a 1 10 12 14 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 70 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 135 137 138 139 144 146 151 153 154 156 157 161 162 163 169 181 183 184 187 192 a 1 10 12 14 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 129 135 137 138 139 144 146 151 153 154 156 157 161 162 163 169 181 183 184 187 192 a 1 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 129 135 137 138 139 144 146 151 153 154 156 157 161 162 163 169 181 183 184 187 192 a 1 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 118 119 121 122 123 124 127 128 129 135 137 138 139 144 146 151 153 154 156 157 161 162 163 169 181 183 184 187 188 a 1 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 81 85 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 139 144 146 151 153 154 156 157 161 162 163 169 181 183 187 188 a 1 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 144 146 151 153 154 156 157 161 162 163 169 181 183 187 188 a 1 12 14 17 20 22 24 29 30 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 129 135 137 138 144 146 151 153 154 156 157 161 162 163 169 181 183 187 188 a 1 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 129 135 137 138 144 146 151 153 154 156 157 161 162 163 169 181 183 187 188 192 a 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 129 135 137 138 143 144 146 151 153 154 156 157 161 162 163 169 181 183 187 188 192 a 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 151 153 154 156 157 161 162 163 169 181 183 187 192 a 12 14 17 20 22 24 29 31 32 38 39 41 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 151 153 154 156 157 161 163 169 181 183 187 192 a 12 14 17 20 22 24 29 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 153 154 156 157 161 163 169 181 183 187 192 a 12 14 17 20 22 24 29 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 153 154 156 157 161 163 169 181 187 192 a 12 14 17 20 22 24 29 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 153 154 156 157 161 163 169 181 184 192 a 12 14 17 20 22 24 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 153 154 156 157 161 163 169 181 184 188 192 a 12 14 17 20 22 24 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 143 144 146 153 154 156 157 161 163 169 181 187 188 192 a 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 187 188 192 a 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 80 81 85 88 89 90 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 142 143 144 146 153 154 156 157 161 163 169 176 181 187 188 192 a 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 129 135 137 138 142 143 144 145 146 153 154 156 157 161 163 169 176 181 187 188 192 a 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 135 137 138 142 143 144 145 146 153 154 156 157 161 163 169 176 181 184 187 188 192 a 4 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 127 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 176 181 184 187 188 192 a 4 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 127 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 176 181 184 187 188 190 192 a 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 127 128 135 137 138 142 143 144 145 146 153 154 156 157 161 163 169 176 181 184 187 188 190 192 a 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 127 128 135 137 138 142 143 144 145 146 153 154 156 157 161 163 169 181 184 187 188 190 192 a 4 12 14 17 20 22 31 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 127 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 190 192 a 4 12 14 15 17 20 22 32 38 39 41 47 51 53 54 60 62 65 66 68 72 73 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 127 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 190 192 a 4 12 14 15 17 22 32 38 39 41 47 51 53 54 57 60 62 65 66 68 72 73 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 127 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 190 192 a 4 12 14 15 17 22 32 38 39 41 47 51 53 54 57 60 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 122 123 124 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 190 192 a 4 12 14 15 17 22 32 38 39 41 47 51 53 54 57 60 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 192 a 4 5 12 14 15 17 22 32 38 39 47 51 53 54 57 60 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 128 135 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 192 a 4 5 12 14 15 17 22 32 38 39 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 107 108 111 115 116 118 119 121 122 123 124 128 137 138 142 143 144 146 153 154 156 157 161 163 169 181 184 187 188 192 a 4 5 12 14 15 17 22 32 38 39 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 169 181 184 187 188 192 a 4 12 14 15 17 22 32 38 39 41 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 169 181 184 187 188 192 a 4 14 15 17 22 32 38 39 41 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 181 184 187 188 192 a 4 10 14 15 22 32 38 39 41 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 102 103 108 111 115 116 118 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 181 184 187 188 192 a 4 10 14 15 22 32 38 39 41 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 103 108 111 115 116 118 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 181 182 184 187 188 192 a 4 10 14 15 22 32 38 39 41 45 47 51 53 54 57 60 61 62 65 66 68 72 73 77 81 85 88 89 90 91 94 95 97 103 108 111 115 116 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 181 182 184 187 188 192 a 4 10 14 15 22 32 38 39 41 45 47 51 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 91 94 95 97 103 108 111 115 116 119 121 122 123 124 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 181 182 184 187 188 192 a 4 10 14 15 22 32 38 39 41 45 47 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 91 94 95 97 103 108 111 115 116 119 121 122 123 124 125 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 181 182 184 187 188 192 a 4 10 14 15 22 32 38 39 41 45 47 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 108 111 115 116 119 121 122 123 124 125 128 137 138 142 143 144 146 150 153 154 156 157 161 163 165 169 176 181 182 184 187 188 192 a 4 10 14 15 22 32 38 39 41 45 47 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 108 111 115 116 119 121 122 123 124 125 128 138 142 143 144 146 150 153 154 156 157 161 163 165 169 176 181 182 184 187 188 192 a 4 10 14 15 22 32 38 39 41 45 47 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 106 108 111 115 116 119 121 122 123 124 125 128 138 142 143 144 146 150 153 154 156 157 161 163 165 169 176 181 182 184 187 188 a 4 10 14 15 22 38 39 41 43 45 47 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 106 108 111 115 116 119 121 122 123 124 125 128 138 142 143 144 146 150 153 154 156 157 161 163 165 169 176 181 182 184 187 188 a 4 10 14 15 22 38 39 41 43 45 47 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 153 154 156 157 161 163 165 169 176 181 182 184 187 188 190 a 4 10 14 15 22 38 39 41 43 45 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 163 165 169 176 181 182 184 187 188 190 a 4 10 14 22 31 38 39 41 43 45 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 163 165 169 176 181 182 184 187 188 190 a 4 10 14 22 30 31 38 39 41 43 45 50 53 54 60 61 62 65 66 68 72 73 76 77 81 85 88 89 90 94 95 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 4 10 14 22 30 31 38 39 41 43 45 50 52 53 54 60 61 62 65 66 68 72 73 76 77 81 88 89 90 94 95 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 4 10 14 22 30 31 38 39 41 43 45 50 52 53 54 60 61 62 66 68 70 72 73 76 77 81 88 89 90 94 95 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 4 10 14 22 30 31 38 39 41 43 45 50 52 53 54 56 60 61 62 66 68 70 72 73 76 77 81 88 89 90 94 97 103 106 108 111 115 116 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 4 9 10 14 22 30 31 38 39 41 43 45 50 52 53 54 56 60 61 62 66 68 70 72 73 76 77 81 88 89 90 94 97 103 106 108 111 115 119 122 123 124 125 128 138 142 143 144 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 9 10 14 22 30 31 38 39 41 43 45 50 52 53 54 56 60 61 62 66 68 70 72 73 76 77 81 88 89 90 94 97 103 106 108 111 115 119 122 123 124 125 128 138 142 143 144 145 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 9 10 14 22 30 31 38 39 40 41 43 45 50 52 53 54 56 60 61 66 68 70 72 73 76 77 81 88 89 90 94 97 103 106 108 111 115 119 122 123 124 125 128 138 142 143 144 145 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 a 9 10 14 22 30 31 38 39 40 41 43 45 50 52 53 54 56 60 61 66 68 70 72 73 76 77 81 88 89 90 97 103 106 108 111 115 119 122 123 124 125 128 138 142 143 144 145 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 193 a 9 10 14 22 30 31 38 39 40 41 43 45 50 52 53 54 56 60 61 66 68 70 72 73 76 77 81 88 89 90 96 97 103 106 108 111 115 119 122 124 125 128 138 142 143 144 145 146 150 151 153 154 156 157 161 165 169 176 181 182 184 187 188 190 193 a 9 10 14 22 30 31 38 39 40 41 43 45 50 52 53 54 56 60 61 66 68 70 72 73 76 77 81 88 89 90 96 97 103 106 108 111 115 119 122 124 125 138 142 143 144 145 146 150 151 153 154 155 156 157 161 165 169 176 181 182 184 187 188 190 193 a 9 10 14 22 30 31 38 39 40 41 43 45 50 52 53 54 56 60 61 66 68 70 72 73 75 76 77 81 88 89 90 96 97 103 106 108 111 115 119 122 124 125 138 142 143 144 145 146 150 151 153 154 155 156 157 165 169 176 181 182 184 187 188 190 193 a 9 10 14 22 26 30 31 38 39 40 41 43 45 50 52 53 54 56 60 61 66 68 70 72 73 75 76 77 81 88 89 90 96 97 103 106 108 111 115 122 124 125 138 142 143 144 145 146 150 151 153 154 155 156 157 165 169 176 181 182 184 187 188 190 193 a 9 10 14 22 26 30 31 38 39 40 41 43 45 50 52 53 54 55 56 60 61 66 68 70 72 73 75 76 77 81 88 90 96 97 103 106 108 111 115 122 124 125 138 142 143 144 145 146 150 151 153 154 155 156 157 165 169 176 181 182 184 187 188 190 193 a 9 10 14 22 26 30 31 38 39 40 41 43 45 50 52 53 54 55 56 60 61 66 68 70 72 73 75 76 77 81 88 90 96 97 103 106 108 111 115 122 124 125 132 138 143 144 145 146 150 151 153 154 155 156 157 165 169 176 181 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 38 39 40 41 43 45 50 52 53 54 55 56 60 61 66 68 70 72 73 75 76 77 81 88 90 96 97 103 106 108 111 115 122 124 125 132 138 143 144 145 146 150 151 153 154 155 156 165 169 176 181 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 38 39 40 41 43 45 50 52 53 54 55 56 60 61 66 68 70 72 73 75 76 77 79 81 88 90 96 97 103 106 108 111 115 122 124 125 132 138 143 144 145 146 150 151 153 154 155 165 169 176 181 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 38 39 40 41 43 45 46 50 52 53 54 55 56 60 61 66 68 70 72 73 75 76 77 79 81 88 90 96 97 103 106 108 111 115 122 124 125 132 138 143 144 145 146 150 151 153 154 155 165 169 176 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 38 39 40 41 43 45 46 50 52 53 54 55 56 60 61 66 68 70 72 73 75 76 77 79 81 88 90 96 97 106 108 111 112 115 122 124 125 132 138 143 144 145 146 150 151 153 154 155 165 169 176 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 36 38 39 40 41 43 45 46 50 52 53 54 55 56 61 66 68 70 72 73 75 76 77 79 81 88 90 96 97 106 108 111 112 115 122 124 125 132 138 143 144 145 146 150 151 153 154 155 165 169 176 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 36 38 39 40 41 43 45 46 50 52 53 54 55 56 61 66 68 70 72 73 75 76 79 81 88 90 96 97 106 108 111 112 115 122 124 125 131 132 138 143 144 145 146 150 151 153 154 155 165 169 176 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 36 38 39 40 41 43 45 46 50 52 53 54 55 56 61 66 68 70 72 73 75 76 79 88 90 96 97 106 108 111 112 115 122 124 125 131 132 138 143 144 145 146 150 151 153 154 155 165 169 171 176 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 36 38 39 40 41 43 45 46 50 52 53 54 55 56 61 66 68 70 72 73 75 76 79 88 90 96 97 106 108 111 112 115 122 124 125 131 132 138 141 143 144 145 146 150 151 154 155 165 169 171 176 182 184 187 188 190 193 a 7 9 10 14 22 26 30 31 36 38 39 40 41 43 45 46 50 52 53 54 55 56 61 66 68 70 72 75 76 79 88 90 96 97 106 108 111 112 115 117 122 124 125 131 132 138 141 143 144 145 146 150 151 154 155 165 169 171 176 182 184 187 188 190 193 c Step: 165 #END: [Tue Sep 26 05:45:45 2023]