#BEGIN: [Tue Sep 26 07:40:58 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-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 -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 TIMEOUT 1800 c send SIGTERM to CID fcae2128b03ef1ec3776492ec6a17fe1b75280b59b59396174f2a07687e6392f 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 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 78 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 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 78 81 84 85 88 92 95 97 98 104 105 109 115 118 122 123 127 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 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 78 81 84 85 88 92 95 97 98 104 105 109 115 118 122 123 127 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 78 81 84 85 88 92 95 97 98 104 105 109 115 118 122 123 127 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 78 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 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 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 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 20 21 25 26 30 37 38 39 42 47 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 137 138 139 140 146 147 153 165 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 92 95 98 104 109 115 118 122 123 127 137 138 139 140 146 147 153 165 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 74 75 76 78 81 84 85 88 92 95 98 104 109 115 118 122 123 127 137 138 139 140 146 147 153 165 169 173 175 176 179 181 182 185 187 189 192 194 a 5 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 74 75 76 78 81 84 85 88 92 95 98 104 109 115 118 122 123 127 129 137 138 139 140 146 147 153 165 169 173 175 176 179 181 182 185 187 189 194 a 5 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 140 146 147 153 165 169 173 175 176 179 181 182 185 187 189 a 5 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 140 146 147 153 161 165 169 173 175 176 179 181 182 185 189 a 5 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 137 138 139 140 146 147 153 161 165 169 173 175 176 179 181 182 185 189 a 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 140 146 147 153 161 165 169 173 175 176 179 181 182 185 189 a 6 9 10 11 14 16 20 21 25 26 29 30 37 38 39 42 47 50 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 138 139 140 146 147 153 161 165 169 173 175 176 179 181 182 185 189 a 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 140 146 147 153 161 165 169 173 175 176 179 181 182 185 189 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 54 58 59 60 62 64 66 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 140 146 147 153 161 165 169 173 175 176 179 181 182 185 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 54 58 59 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 146 147 153 161 165 169 173 175 176 179 181 182 185 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 54 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 122 123 127 129 137 138 139 146 147 153 161 165 169 173 175 176 179 181 182 185 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 153 161 165 169 173 175 176 179 181 182 185 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 153 161 165 169 173 175 176 179 181 182 189 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 153 161 165 169 173 175 176 179 181 182 187 a 5 6 9 10 11 14 16 20 21 25 26 29 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 a 5 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 a 5 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 195 a 5 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 129 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 195 a 5 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 192 195 a 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 95 98 104 109 115 118 119 122 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 189 192 195 a 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 93 95 98 104 109 115 118 119 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 189 192 195 a 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 118 119 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 189 192 195 a 5 6 9 10 11 14 16 20 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 118 119 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 189 192 a 5 6 9 10 11 14 16 21 25 26 30 38 39 42 47 50 51 53 58 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 116 118 119 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 116 118 119 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 181 182 185 189 192 a 5 6 9 10 11 14 16 25 26 30 36 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 116 118 119 123 127 137 138 139 146 147 149 153 161 165 169 173 175 176 179 182 185 189 192 a 5 6 9 10 11 14 16 25 26 30 36 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 116 118 119 123 127 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 182 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 47 50 51 53 58 59 60 62 64 66 74 75 76 78 79 81 84 85 88 90 92 93 95 98 104 109 115 116 118 119 123 127 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 47 50 51 53 58 59 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 93 95 98 104 109 115 116 118 119 123 127 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 47 50 51 53 58 59 60 62 64 66 72 74 75 76 78 81 84 85 88 90 92 93 95 98 104 109 116 118 119 123 127 134 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 47 48 50 51 53 58 59 60 62 64 66 72 75 76 78 81 84 85 88 90 92 93 95 98 104 109 116 118 119 123 127 134 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 47 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 104 109 116 118 119 123 127 134 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 47 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 104 109 118 119 123 127 134 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 104 109 118 119 123 127 134 137 138 139 146 147 149 153 161 165 169 172 173 175 176 179 181 182 189 192 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 165 169 172 173 175 176 179 181 182 192 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 169 172 173 175 176 179 181 182 187 192 a 5 6 9 10 11 14 16 17 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 169 172 173 175 176 179 181 182 187 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 169 172 173 175 176 179 181 182 187 189 192 a 5 6 9 10 11 14 16 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 95 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 169 172 173 175 176 179 181 182 187 189 a 5 6 9 10 11 14 16 25 26 30 38 39 42 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 169 172 173 175 176 179 181 182 186 187 189 a 5 6 9 10 11 14 16 25 26 30 38 39 42 46 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 169 172 175 176 179 181 182 186 187 189 a 5 6 9 10 11 14 16 25 26 30 38 39 42 46 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 169 172 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 25 26 30 38 39 42 43 46 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 97 98 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 172 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 25 26 30 38 39 42 43 46 48 50 51 53 58 59 60 62 64 66 75 76 78 81 84 85 88 90 92 93 97 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 172 174 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 25 26 30 38 39 42 43 46 48 50 51 53 58 59 60 62 64 66 75 76 78 79 81 84 88 90 92 93 97 99 104 109 118 119 123 127 134 137 138 139 140 146 147 149 153 161 167 172 174 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 58 59 60 62 64 66 75 76 78 79 81 84 88 90 92 93 97 99 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 174 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 75 76 78 79 81 84 88 90 92 93 97 99 100 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 174 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 88 90 92 93 97 99 100 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 64 66 70 75 76 78 79 81 84 88 90 92 93 97 99 100 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 174 176 179 181 182 183 186 187 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 64 66 70 75 76 78 79 81 84 88 90 92 93 97 99 100 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 174 176 179 180 181 182 183 186 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 174 176 179 180 181 182 183 186 189 190 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 134 137 138 139 140 146 149 153 161 167 172 174 176 179 180 181 182 183 186 187 190 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 167 172 174 176 179 180 181 182 183 186 187 189 190 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 167 172 174 176 179 180 181 182 183 186 187 190 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 167 172 174 176 179 180 181 182 183 186 187 189 a 5 6 9 10 11 14 16 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 165 167 172 174 176 179 180 181 182 183 186 187 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 165 167 172 174 179 180 181 182 183 186 187 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 165 167 172 174 179 180 181 182 183 186 189 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 66 70 75 76 78 79 81 84 90 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 165 167 172 174 179 180 181 182 183 186 189 192 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 165 167 172 174 179 180 181 182 183 186 189 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 137 138 139 140 146 149 153 161 165 167 172 174 179 180 181 182 183 186 190 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 138 139 140 146 149 153 161 162 165 167 172 174 179 180 181 182 183 186 190 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 138 139 140 146 149 153 161 162 165 167 172 174 179 180 181 182 183 190 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 146 149 153 161 162 165 167 172 174 179 180 181 182 183 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 146 149 153 161 162 165 167 174 179 180 181 182 183 186 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 146 149 153 161 162 165 167 172 174 179 180 181 182 183 186 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 146 149 153 161 162 165 167 172 174 176 179 180 181 182 183 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 146 149 153 161 162 165 167 172 174 176 179 180 181 182 190 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 146 149 153 161 162 165 167 172 174 176 179 180 181 183 190 a 5 6 9 10 11 14 16 17 20 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 138 139 140 146 149 153 161 162 165 167 172 174 176 179 180 181 183 190 a 5 6 9 10 11 14 16 17 25 26 30 32 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 138 139 140 146 149 153 161 162 165 167 172 174 176 179 180 181 183 190 a 5 6 9 10 11 14 16 17 25 26 30 32 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 183 190 a 5 6 9 10 11 14 16 17 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 183 190 a 5 6 9 10 11 14 16 17 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 183 186 190 a 5 6 9 10 11 14 16 17 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 183 186 a 5 6 9 10 11 14 16 17 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 97 99 100 104 109 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 186 189 a 5 6 9 10 11 14 16 17 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 97 100 104 109 116 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 186 189 a 5 6 9 10 11 14 17 25 26 30 38 39 42 43 46 48 50 51 53 59 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 97 100 104 109 116 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 186 189 192 a 5 6 9 10 11 14 17 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 97 100 104 109 116 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 186 189 a 5 6 9 10 11 14 17 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 100 104 109 116 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 189 a 5 6 9 10 11 17 19 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 100 104 109 116 118 119 123 127 134 138 139 140 149 153 161 162 165 167 172 174 176 179 180 181 182 189 a 5 6 9 10 11 17 19 25 26 30 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 100 104 109 116 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 189 a 5 6 9 10 11 17 19 25 26 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 100 104 109 116 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 189 192 a 5 6 9 10 11 17 19 25 26 38 39 42 43 46 48 50 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 100 104 109 116 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 189 191 192 a 5 6 9 10 11 17 19 25 26 38 39 42 43 46 48 50 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 189 191 192 a 5 6 9 10 11 17 25 26 38 39 42 43 46 48 50 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 183 189 191 192 a 5 6 9 10 11 17 25 26 38 39 42 43 46 48 50 51 53 59 60 62 64 66 70 75 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 183 189 192 a 5 6 9 10 11 17 25 26 38 39 42 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 182 183 189 192 a 5 6 9 10 11 17 25 26 31 38 39 42 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 84 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 183 189 192 a 5 6 9 10 11 17 25 26 31 38 39 42 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 183 184 189 192 a 5 6 9 10 11 17 19 25 26 31 39 42 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 179 180 181 183 184 189 192 a 5 6 9 10 11 17 19 25 26 31 39 42 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 178 179 180 181 183 184 192 a 5 6 9 10 11 17 19 25 26 31 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 178 179 180 181 183 184 191 192 a 5 6 9 10 11 17 19 20 25 26 31 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 162 165 166 167 172 174 176 178 179 180 181 183 184 191 a 5 6 9 10 11 17 19 20 25 26 31 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 165 166 167 172 174 176 178 179 180 181 183 184 187 191 a 5 6 9 10 11 17 19 20 25 26 31 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 79 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 165 166 167 172 174 176 178 179 180 181 183 184 187 192 a 5 6 9 10 11 17 19 20 25 26 31 37 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 165 166 167 172 174 176 178 179 180 181 183 184 187 192 a 5 6 9 10 11 17 19 20 25 26 31 37 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 165 166 167 172 174 176 178 179 180 181 183 184 191 192 a 5 6 9 10 17 19 20 25 26 31 37 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 149 161 165 166 167 172 174 176 178 179 180 181 183 184 189 191 192 a 5 6 9 17 19 20 25 26 31 37 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 161 165 166 167 172 174 176 178 179 180 181 183 184 189 191 192 a 5 6 9 17 19 20 25 26 37 39 43 45 46 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 161 165 166 167 172 174 176 178 179 180 181 182 183 184 189 191 192 a 5 6 9 17 19 20 25 26 37 39 43 45 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 156 161 165 166 167 172 174 176 178 179 180 181 182 183 184 189 191 192 a 5 6 9 17 19 20 25 26 37 39 45 48 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 156 161 165 166 167 169 172 174 176 178 179 180 181 182 183 184 189 191 192 a 5 6 9 17 19 20 25 26 37 38 39 45 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 156 161 165 166 167 169 172 174 176 178 179 180 181 182 183 184 189 191 192 a 5 6 9 17 19 25 26 37 38 39 45 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 156 161 165 166 167 169 172 174 176 178 179 180 181 182 183 184 187 189 191 192 a 5 6 9 17 19 25 26 37 38 39 45 46 50 51 53 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 100 104 109 118 119 123 127 134 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 184 187 189 191 192 a 5 6 9 17 19 25 26 37 38 39 45 46 50 51 53 58 59 60 62 64 66 70 76 77 78 81 90 91 92 93 95 97 99 104 109 118 119 123 127 134 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 184 187 189 191 192 a 5 6 9 17 19 25 26 37 38 39 45 46 50 51 53 58 59 60 62 64 70 76 77 78 81 90 91 92 93 95 97 99 104 109 118 119 123 127 132 134 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 184 187 189 191 192 a 5 6 9 17 19 25 26 37 38 39 45 46 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 104 109 118 119 123 127 132 134 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 191 192 a 5 6 9 17 19 25 26 37 38 39 45 46 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 104 109 118 119 123 127 132 134 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 a 5 6 9 17 19 25 26 37 38 39 45 46 48 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 104 109 118 119 123 127 132 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 a 6 9 17 19 25 26 37 38 39 45 46 48 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 104 109 118 119 123 127 132 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 46 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 104 109 111 118 119 123 127 132 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 46 50 51 53 58 59 60 62 64 67 70 76 77 78 81 84 90 91 92 93 95 97 99 104 111 118 119 123 127 132 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 50 51 53 56 58 59 60 62 64 67 70 76 77 78 81 84 90 91 92 93 95 97 99 104 111 118 119 123 127 132 138 139 140 141 149 161 165 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 50 51 53 56 58 59 60 62 64 67 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 111 118 119 123 127 132 138 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 48 50 51 53 56 58 59 60 62 64 67 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 132 138 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 48 50 51 53 56 58 59 60 62 64 67 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 132 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 48 50 51 53 56 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 132 134 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 6 9 17 19 25 26 37 38 39 45 46 48 50 51 53 56 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 132 134 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 192 a 9 17 19 25 26 37 38 39 45 46 48 50 51 53 56 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 132 134 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 9 17 19 25 26 37 38 39 45 46 48 50 51 53 56 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 9 17 19 25 26 30 37 38 39 45 46 48 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 187 189 190 191 192 a 9 17 19 25 26 28 30 37 38 39 45 46 48 50 51 53 58 59 60 62 64 70 76 77 78 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 19 25 26 28 30 38 39 45 46 48 50 51 53 58 59 60 62 64 70 76 77 78 79 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 25 26 28 30 38 39 45 46 48 50 51 53 58 59 60 62 64 66 70 76 77 78 79 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 25 28 30 38 39 42 45 46 48 50 51 53 58 59 60 62 64 66 70 76 77 78 79 81 84 90 91 92 93 95 97 99 102 104 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 25 28 30 38 39 42 45 46 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 91 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 141 149 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 25 28 30 38 39 42 45 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 91 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 141 149 156 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 25 28 30 38 39 42 45 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 141 149 151 156 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 191 192 a 9 17 25 28 30 38 39 42 45 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 141 147 149 151 156 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 192 a 9 10 17 25 28 30 38 39 42 45 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 147 149 151 156 161 166 167 169 172 174 176 178 179 180 181 182 183 189 190 192 a 9 10 17 25 28 30 38 39 42 45 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 147 149 151 156 161 166 167 169 172 173 174 176 178 179 180 181 182 183 189 190 a 9 10 17 25 28 30 31 38 39 42 45 48 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 102 104 109 118 119 123 127 131 134 137 139 140 147 149 151 156 161 166 167 169 172 173 174 176 178 179 180 181 183 189 190 a 9 10 17 25 28 30 31 38 39 42 45 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 102 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 156 161 166 167 169 172 173 174 176 178 179 180 181 183 189 190 a 9 10 17 25 28 30 31 38 39 42 45 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 156 161 165 166 167 169 172 173 174 176 178 179 180 181 183 189 190 a 5 9 10 17 25 28 31 38 39 42 45 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 156 161 165 166 167 169 172 173 174 176 178 179 180 181 183 189 190 a 5 9 10 14 17 25 28 31 38 39 42 45 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 156 161 165 167 169 172 173 174 176 178 179 180 181 183 189 190 a 5 9 10 14 17 25 28 31 38 39 42 45 50 51 53 58 59 60 62 64 66 76 77 78 79 81 84 90 92 93 95 97 99 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 156 161 165 167 169 172 173 174 176 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 31 38 39 42 45 50 51 53 58 59 60 62 64 66 74 76 77 78 79 81 84 90 92 93 95 97 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 156 161 165 167 169 172 173 174 176 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 31 38 39 42 45 50 51 53 58 59 60 62 64 66 74 76 77 78 79 81 84 90 92 93 95 97 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 152 156 161 165 167 169 172 173 174 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 31 38 39 42 50 51 53 55 58 59 60 62 64 66 74 76 77 78 79 81 84 90 92 93 95 97 104 109 111 118 119 123 127 131 134 137 139 140 147 149 151 152 156 161 165 167 169 172 173 174 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 31 38 39 42 50 51 53 55 58 59 60 62 64 66 74 76 77 78 79 81 84 90 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 147 151 152 156 161 165 167 169 172 173 174 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 31 38 39 42 50 51 53 55 58 59 60 62 64 66 74 76 77 78 79 81 84 90 91 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 38 39 42 50 51 53 55 58 59 60 62 64 66 70 74 76 77 78 79 81 84 90 91 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 30 38 39 42 50 51 53 55 58 59 60 64 66 70 74 76 77 78 79 81 84 90 91 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 189 192 a 5 9 10 14 17 25 28 30 38 39 42 50 51 53 55 58 59 60 64 66 70 74 76 77 78 79 81 84 90 91 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 190 192 a 5 9 10 14 17 25 28 30 38 39 42 45 50 51 53 55 58 59 60 64 66 70 74 76 77 78 79 81 84 90 91 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 190 a 5 9 10 14 17 25 28 30 38 39 42 45 50 51 53 55 58 59 60 64 66 70 74 76 78 79 81 84 90 91 92 93 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 146 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 190 a 5 9 10 14 17 25 28 30 38 39 42 45 50 51 53 55 58 59 60 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 144 146 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 190 a 5 9 10 14 17 25 26 28 30 38 39 42 45 50 51 53 55 58 59 60 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 131 134 137 139 140 144 146 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 a 5 9 10 17 25 26 28 30 38 39 42 45 50 51 53 55 58 59 60 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 a 5 9 10 17 25 26 28 30 38 42 45 50 51 53 55 58 59 60 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 167 169 172 173 174 178 179 180 181 183 190 a 5 9 10 17 25 26 28 30 38 42 45 50 51 53 55 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 167 169 172 173 174 178 179 181 183 190 a 5 9 10 17 25 26 28 30 34 38 42 45 50 51 53 55 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 167 169 172 173 174 178 179 181 183 190 a 5 9 10 17 25 26 28 30 38 42 45 50 51 53 55 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 173 174 178 179 181 183 190 a 5 9 10 17 25 26 28 30 38 42 45 50 51 52 53 55 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 173 174 178 179 181 183 190 a 5 9 10 17 25 26 28 30 38 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 173 174 178 179 181 183 190 a 5 9 10 16 17 25 26 28 30 38 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 173 174 178 179 181 183 a 5 9 10 16 17 25 26 28 30 38 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 173 174 178 179 181 182 a 5 7 9 10 16 17 25 26 28 30 38 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 173 174 178 179 182 a 5 7 9 10 16 17 25 26 28 30 38 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 173 174 178 179 a 5 7 9 10 16 17 25 26 28 30 38 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 172 174 178 179 182 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 174 178 179 182 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 152 156 161 165 166 167 169 174 178 179 189 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 151 152 156 161 165 166 167 169 174 178 179 189 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 118 119 123 127 129 131 134 137 139 140 144 146 147 151 152 156 161 165 166 167 169 174 179 189 190 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 137 139 140 144 146 147 151 152 156 161 165 166 167 169 174 179 189 190 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 137 139 140 144 146 151 152 156 161 165 166 167 169 173 174 179 189 190 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 137 139 140 144 146 151 152 156 161 165 166 167 169 173 174 183 189 190 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 151 152 156 161 162 165 166 167 169 173 174 183 189 190 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 151 152 156 161 162 165 166 167 169 173 174 183 189 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 151 152 156 161 162 165 166 167 169 173 174 178 183 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 151 152 156 161 162 165 166 167 169 173 174 178 189 a 5 7 9 10 16 17 25 26 28 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 151 152 156 161 162 165 166 167 169 174 178 183 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 151 152 156 161 162 165 166 167 169 174 178 183 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 151 152 156 161 162 165 166 167 169 174 183 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 151 152 156 161 162 165 166 169 173 174 183 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 151 152 156 161 162 165 166 169 173 174 182 183 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 151 152 156 161 162 165 166 169 172 173 174 182 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 151 152 156 161 162 165 166 169 172 173 174 181 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 151 152 156 161 162 165 166 169 172 173 174 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 92 95 97 104 105 109 111 118 119 123 127 129 131 134 139 140 144 146 147 151 152 156 161 162 165 166 169 172 173 174 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 79 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 189 a 5 7 9 10 11 16 17 25 26 30 38 39 42 45 50 51 52 53 58 59 60 62 64 66 69 70 74 76 78 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 182 189 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 84 90 91 92 95 97 104 105 109 111 118 119 123 127 129 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 182 189 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 84 90 91 92 95 97 104 105 109 118 119 123 127 129 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 182 189 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 84 90 91 92 95 97 104 105 109 118 119 123 127 129 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 179 182 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 84 90 91 92 95 97 104 105 109 118 119 123 127 129 131 134 139 140 144 146 147 152 156 161 162 165 166 167 169 172 173 174 178 179 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 84 90 91 92 95 97 104 105 109 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 167 169 172 173 174 178 179 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 84 90 91 92 95 97 104 105 109 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 167 169 172 173 178 179 181 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 109 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 167 169 172 173 178 179 181 184 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 167 169 172 173 178 179 181 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 167 169 172 173 178 181 184 a 5 7 9 10 11 16 17 25 26 30 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 181 184 a 5 7 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 109 111 116 118 119 123 127 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 184 a 5 7 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 106 109 111 116 118 119 127 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 184 a 5 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 55 58 59 60 62 64 66 69 70 73 74 76 78 81 90 91 92 95 97 104 105 106 109 111 116 118 119 127 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 184 a 5 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 95 97 104 105 106 111 116 118 119 127 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 173 174 178 184 a 5 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 95 97 104 105 106 111 116 118 119 127 131 134 139 140 144 146 147 152 156 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 95 97 104 105 106 111 116 118 119 127 134 138 139 140 144 146 147 152 156 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 16 17 25 26 30 31 38 39 45 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 95 97 104 105 106 111 115 116 118 119 127 138 139 140 144 146 147 152 156 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 16 17 25 26 30 31 32 38 39 45 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 97 104 105 106 111 115 116 118 119 127 138 139 140 144 146 147 152 156 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 17 25 26 30 31 32 38 39 45 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 97 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 156 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 17 25 26 30 31 32 38 39 45 46 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 76 78 81 90 91 92 97 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 17 25 26 30 31 32 38 39 46 50 51 52 53 55 58 59 60 62 64 66 67 69 70 73 74 75 76 78 81 90 91 92 97 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 17 25 26 30 31 32 38 39 46 50 51 52 53 55 58 59 60 61 62 64 66 67 69 73 74 75 76 78 81 90 91 92 97 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 165 166 169 172 174 178 183 184 a 5 9 10 11 17 25 26 30 31 32 38 39 46 50 51 52 53 55 58 59 60 61 62 64 66 67 69 73 74 75 76 78 81 90 91 92 97 102 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 183 184 a 3 5 10 11 17 25 26 30 31 32 38 39 46 50 51 52 53 55 58 59 60 61 62 64 66 67 69 73 74 75 76 78 81 90 91 92 97 102 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 183 184 a 3 5 10 11 17 25 26 30 31 32 38 39 46 50 51 52 53 55 58 59 60 61 62 64 66 67 73 74 75 76 78 79 81 90 91 92 97 102 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 183 184 a 3 5 10 11 17 25 26 30 31 32 38 39 46 50 51 52 55 58 59 60 61 62 64 66 67 73 74 75 76 78 79 81 90 91 92 97 102 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 180 183 184 a 3 5 10 11 17 25 26 30 31 32 38 39 46 50 51 52 55 58 59 61 62 64 66 67 73 74 75 76 78 79 81 90 91 92 97 102 103 104 105 106 107 111 115 116 118 119 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 180 183 184 a 3 5 10 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 64 66 67 73 74 75 76 78 79 81 90 91 92 97 102 103 104 105 106 107 111 115 116 118 119 125 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 180 183 184 a 3 4 5 10 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 81 90 91 92 97 102 103 104 105 106 107 111 115 116 118 119 125 127 138 139 140 144 146 147 152 161 162 166 169 172 174 178 180 183 184 a 3 4 5 10 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 81 90 92 97 102 103 104 105 106 107 111 115 116 118 119 125 127 138 139 140 144 146 147 152 155 161 162 166 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 81 90 92 97 102 103 104 105 106 107 111 115 116 118 119 125 127 138 139 140 144 146 147 148 152 155 161 162 166 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 81 90 97 102 103 104 105 106 107 111 115 116 118 119 125 127 138 139 140 144 146 147 148 152 154 155 161 162 166 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 81 90 97 102 103 104 105 106 107 108 111 115 116 118 119 125 127 138 139 144 146 147 148 152 154 155 161 162 166 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 90 97 102 103 104 105 106 107 108 111 115 116 118 119 125 127 138 139 143 144 146 147 148 152 154 155 161 162 166 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 90 97 102 103 104 105 106 107 108 111 115 116 118 119 125 127 138 139 143 144 146 147 148 152 153 154 155 161 162 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 34 38 39 46 50 51 52 55 58 59 61 62 66 67 73 74 75 76 78 79 90 97 102 103 104 105 106 107 108 111 115 116 118 125 127 138 139 143 144 146 147 148 152 153 154 155 161 162 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 34 39 46 50 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 90 97 102 103 104 105 106 107 108 111 115 116 118 125 127 138 139 143 144 146 147 148 152 153 154 155 161 162 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 34 39 46 50 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 90 97 102 103 104 106 107 108 111 115 116 118 125 127 138 139 143 144 146 147 148 152 153 154 155 161 162 169 172 174 178 180 183 184 a 3 4 5 11 17 25 26 31 32 34 39 46 50 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 90 97 102 103 104 106 107 108 111 115 116 118 125 127 138 139 143 144 146 147 148 152 153 154 155 161 169 172 174 177 178 180 183 184 a 3 4 5 11 17 25 26 31 32 34 39 46 50 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 138 139 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 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 139 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: 235 #END: [Tue Sep 26 08:10:58 2023]