#BEGIN: [Tue Sep 5 08:24:47 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance019_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph004_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_instance019_graph004.col /benchmark/random_instance/random_instance019_graph004_01.dat c /benchmark/random_instance/random_instance019_graph004.col c /benchmark/random_instance/random_instance019_graph004_01.dat TIMEOUT 1800 c send SIGTERM to CID 5cd61f14caab5007cafb69a2c470b86192a0bb3bef3bc712fbc99b6620e5069a s 145 209 65 225 147 69 88 110 101 150 224 53 35 175 218 94 67 70 13 195 167 173 124 73 60 76 10 62 23 186 149 201 1 129 226 229 33 230 196 6 116 14 32 245 144 46 5 154 119 68 163 207 155 191 179 137 77 100 3 99 172 231 142 183 243 45 213 22 98 57 7 55 211 166 234 66 52 105 238 148 t 204 161 70 219 40 231 71 78 83 66 1 164 155 89 106 141 23 217 61 5 35 31 151 145 84 191 242 20 225 39 38 169 116 135 127 87 4 144 171 91 216 220 166 118 211 194 153 236 239 53 230 46 105 90 101 201 24 8 52 17 157 97 174 76 130 149 69 48 131 50 238 112 25 199 175 12 72 159 138 207 a YES a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 69 70 73 76 77 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 76 77 98 99 100 101 104 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 22 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 74 76 77 98 99 100 101 104 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 22 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 104 105 110 116 119 124 129 137 142 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 22 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 74 75 77 98 99 100 101 104 105 110 116 119 124 129 137 142 145 147 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 74 75 77 98 99 100 101 104 105 110 116 119 124 129 137 140 142 145 147 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 137 140 142 145 147 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 32 33 35 45 46 52 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 137 140 142 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 32 33 35 39 45 46 52 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 137 140 142 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 245 a 1 2 3 5 6 7 9 10 13 23 32 33 35 39 45 46 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 137 140 142 144 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 245 a 1 2 3 5 6 7 9 10 13 19 23 32 33 35 39 45 46 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 137 140 142 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 245 a 1 2 3 5 6 7 9 10 13 19 23 32 33 35 39 45 46 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 1 3 5 6 7 9 10 13 19 23 32 33 35 39 45 46 53 55 57 60 62 65 67 69 70 73 74 75 76 77 98 99 100 101 104 105 110 116 119 124 129 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 1 3 5 6 7 9 10 13 19 23 32 33 35 39 45 46 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 104 105 110 116 119 124 129 131 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 1 3 5 6 7 9 10 13 23 28 32 33 35 39 45 46 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 104 105 110 116 119 124 129 131 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 1 3 5 6 7 9 10 13 23 28 32 33 35 45 46 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 104 105 110 116 119 124 129 131 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 9 10 13 23 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 131 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 131 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 131 137 140 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 2 3 5 6 7 9 10 13 23 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 28 32 33 35 45 46 52 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 173 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 45 46 52 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 119 124 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 124 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 22 23 25 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 124 129 131 137 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 22 23 25 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 129 131 137 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 45 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 98 99 100 101 105 110 116 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 91 98 99 100 101 105 110 116 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 39 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 91 98 99 100 101 105 110 116 129 131 137 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 39 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 91 98 99 100 101 105 110 116 119 129 131 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 245 a 1 2 3 5 6 7 9 10 13 23 25 28 32 33 35 39 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 91 98 99 100 101 105 110 116 119 127 129 131 140 144 145 148 149 150 154 155 163 164 166 167 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 245 a 1 2 3 4 5 6 7 9 10 13 23 25 28 32 33 35 39 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 91 98 99 100 101 105 110 116 119 127 129 131 140 144 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 224 225 226 229 230 231 234 238 245 a 1 2 3 4 5 6 7 9 10 13 23 25 28 32 33 35 39 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 91 98 99 100 101 105 110 116 119 127 129 131 140 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 245 a 1 2 3 4 5 6 7 9 10 13 23 25 32 33 35 39 46 52 53 55 57 60 65 67 69 70 73 74 75 76 77 87 91 98 99 100 101 105 110 116 119 127 129 131 140 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 245 a 1 2 3 4 5 6 7 9 10 13 23 25 32 33 35 39 46 52 53 55 60 65 67 69 70 73 74 75 76 77 87 91 92 98 99 100 101 105 110 116 119 127 129 131 140 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 245 a 1 2 3 4 5 6 7 9 10 13 23 25 32 33 35 39 46 52 53 55 65 67 69 70 73 74 75 76 77 87 89 91 92 98 99 100 101 105 110 116 119 127 129 131 140 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 245 a 2 3 4 5 6 7 9 10 13 23 25 32 33 35 39 46 52 53 55 65 67 69 70 73 74 75 76 77 87 89 91 92 98 99 100 101 105 110 116 119 127 129 131 140 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 3 4 5 6 7 9 10 13 23 25 32 33 35 39 46 52 53 55 65 67 69 70 73 74 75 76 77 87 89 91 92 98 99 100 101 105 110 116 119 127 129 131 140 141 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 3 4 5 6 7 9 13 23 25 32 33 35 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 87 89 91 92 98 99 100 101 105 110 116 119 127 129 131 140 141 145 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 218 221 224 225 226 229 230 231 234 238 245 a 3 4 5 6 7 9 13 23 25 32 33 35 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 87 89 91 92 98 99 100 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 245 a 1 3 4 5 6 7 9 13 23 25 32 33 35 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 87 89 91 92 98 99 100 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 a 1 3 4 5 6 7 9 13 23 25 32 33 35 39 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 87 89 91 98 99 100 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 195 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 a 1 3 4 5 6 7 9 13 23 25 30 32 33 35 39 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 87 89 91 98 99 100 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 234 238 a 1 3 4 5 6 7 9 13 23 25 30 32 33 35 39 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 87 89 91 98 99 100 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 187 191 194 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 238 a 1 3 4 5 6 7 9 13 19 23 25 30 32 33 35 39 46 48 53 55 57 65 67 69 70 73 74 75 76 77 87 89 91 98 99 100 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 187 191 194 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 238 a 1 3 4 5 6 7 9 13 19 23 25 30 31 32 33 35 39 46 48 53 55 57 65 67 69 70 73 74 75 76 77 87 89 91 98 99 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 187 191 194 196 199 201 207 209 211 213 218 221 224 225 226 229 230 231 238 a 1 3 4 5 6 7 9 13 19 23 25 30 31 32 33 35 39 46 48 53 55 57 65 67 69 70 74 75 76 77 87 89 91 98 99 101 105 110 116 119 127 129 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 187 191 194 196 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 238 a 1 2 3 4 5 6 7 9 13 19 23 25 30 31 32 33 35 39 46 48 53 55 57 65 67 69 70 74 75 76 77 87 89 91 98 99 101 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 187 191 194 196 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 238 a 1 2 3 4 5 6 7 9 13 19 23 25 30 31 32 33 35 39 46 48 53 55 57 65 67 69 70 74 75 76 77 87 89 91 98 99 101 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 196 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 1 2 3 4 5 6 7 9 13 19 23 25 30 31 32 33 35 39 46 48 53 55 57 65 67 69 70 74 75 76 77 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 1 2 3 4 5 6 7 9 13 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 1 2 3 4 5 6 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 1 2 3 4 6 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 1 2 3 4 6 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 87 89 91 98 99 101 104 105 110 116 119 127 131 141 145 147 148 149 150 154 155 157 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 1 2 3 4 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 141 145 147 148 149 150 154 155 157 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 2 3 4 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 141 145 147 148 149 150 154 155 157 163 164 166 172 175 179 181 183 186 189 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 2 3 4 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 189 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 a 2 3 4 7 9 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 218 219 221 224 225 226 229 230 231 234 238 245 a 2 3 4 7 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 218 219 220 221 224 225 226 229 230 231 234 238 245 a 2 3 4 7 23 25 30 31 32 33 35 39 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 218 220 221 224 225 226 229 230 231 234 238 245 a 2 3 4 7 23 25 30 31 32 33 39 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 83 85 87 89 91 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 234 238 245 a 2 3 4 7 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 83 85 87 89 91 92 98 99 101 104 105 110 116 119 127 131 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 183 186 191 194 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 234 238 245 a 2 3 4 7 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 83 85 87 89 91 92 98 99 101 104 105 110 116 119 127 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 234 238 245 a 2 3 4 7 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 83 85 87 89 91 92 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 234 238 a 2 3 4 7 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 85 87 89 91 92 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 234 238 a 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 85 87 89 91 92 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 238 a 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 74 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 224 225 226 229 230 231 a 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 69 70 73 74 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 222 224 225 226 229 230 231 a 1 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 69 70 73 74 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 222 224 225 226 229 230 a 1 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 69 70 73 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 222 224 225 226 229 230 238 a 1 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 69 70 73 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 222 225 226 229 230 238 239 a 1 2 3 4 7 13 23 25 30 31 32 33 39 46 48 52 53 55 65 67 69 70 73 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 238 239 a 1 2 3 4 7 13 23 25 30 31 32 33 46 48 52 53 55 65 67 69 70 73 75 76 77 85 87 89 91 92 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 238 239 245 a 1 2 3 4 7 13 23 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 75 76 77 85 87 89 91 98 99 101 104 105 107 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 238 239 245 a 1 2 3 4 7 13 23 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 75 76 77 85 87 89 91 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 236 238 239 245 a 1 2 3 4 7 13 23 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 85 89 91 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 236 238 239 245 a 1 2 3 4 6 7 13 23 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 181 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 236 238 239 245 a 1 2 3 4 5 6 7 13 23 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 236 238 239 245 a 1 2 3 4 5 6 7 13 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 96 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 236 238 239 245 a 1 2 3 4 5 6 7 9 13 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 96 98 99 101 104 105 110 116 119 127 129 131 136 140 141 145 147 148 149 150 154 155 163 164 166 172 175 179 186 191 194 196 199 201 207 209 211 213 215 218 220 221 225 226 229 230 236 238 239 a 1 2 3 4 5 6 7 9 13 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 96 98 99 101 104 105 110 116 119 127 129 131 136 140 141 144 145 147 148 149 150 154 155 163 164 166 172 175 179 186 191 194 196 199 201 207 209 211 213 215 218 220 225 226 229 230 236 238 239 a 1 2 3 4 5 6 7 9 13 25 30 31 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 96 98 99 101 104 105 110 116 119 127 129 131 140 141 144 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 225 226 229 230 236 238 239 a 1 2 3 4 5 6 7 9 13 25 30 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 96 98 99 101 104 105 110 116 119 127 129 131 140 141 144 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 225 226 229 230 236 238 239 243 a 1 2 3 4 5 6 7 9 13 25 30 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 89 91 96 98 99 101 104 105 110 116 119 127 129 131 139 140 144 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 225 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 30 32 33 46 48 52 53 55 57 65 67 69 70 73 74 75 76 77 85 89 91 96 98 99 101 104 105 110 116 119 127 129 131 139 140 144 145 147 148 149 150 154 155 163 164 166 172 175 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 225 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 30 32 33 46 48 52 53 55 57 65 67 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 116 119 127 129 131 139 140 144 145 147 148 149 150 154 155 163 164 166 172 175 176 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 225 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 30 32 33 46 48 52 53 55 57 65 67 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 119 127 129 131 139 140 144 145 147 148 149 150 154 155 163 164 166 172 175 176 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 30 32 33 46 48 52 53 55 57 65 67 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 119 127 129 131 139 140 144 145 147 149 150 154 155 163 164 166 172 175 176 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 30 32 33 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 127 129 131 139 140 144 145 147 149 150 154 155 163 164 166 172 175 176 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 30 32 33 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 127 129 131 134 139 140 144 147 149 150 154 155 163 164 166 172 175 176 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 29 30 32 33 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 176 179 183 186 191 194 196 199 201 207 209 211 213 215 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 29 30 32 33 46 48 52 53 55 57 65 69 70 73 75 76 77 84 85 89 91 96 98 99 101 104 105 110 114 116 118 119 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 176 179 183 191 194 196 199 201 207 209 211 213 215 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 84 85 89 91 96 98 99 101 104 105 110 114 116 118 119 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 176 179 183 191 194 196 199 201 207 209 211 213 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 84 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 176 179 183 191 196 199 201 207 209 211 213 218 220 226 229 230 236 238 239 243 a 1 2 3 4 5 7 9 13 25 26 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 84 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 176 179 183 191 196 199 201 207 209 211 213 218 220 226 229 230 236 238 239 a 1 2 3 4 7 9 13 25 26 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 84 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 176 179 183 191 196 199 201 207 209 211 213 218 220 222 226 229 230 236 238 239 a 1 2 3 4 7 9 13 23 25 26 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 84 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 179 183 191 196 199 201 207 209 211 213 218 220 222 226 229 230 236 238 239 a 1 2 3 4 7 9 13 23 25 26 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 134 139 140 144 147 149 154 155 163 164 166 172 175 179 183 186 191 196 199 201 207 209 211 213 218 220 222 226 229 230 236 238 239 a 1 2 3 4 7 9 13 23 25 26 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 139 140 144 145 147 149 154 155 163 164 166 172 175 179 183 186 191 196 199 201 207 209 211 213 218 220 222 226 229 230 236 238 239 a 1 2 3 4 7 9 13 23 25 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 139 140 144 145 147 149 154 155 163 164 166 172 175 179 183 186 191 196 199 201 207 209 211 213 218 220 222 226 229 230 236 238 239 245 a 1 2 3 4 7 9 13 23 25 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 139 140 144 145 147 149 154 155 163 164 166 172 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 226 229 230 236 238 245 a 1 2 3 4 7 9 13 23 25 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 114 116 118 119 124 127 129 131 139 140 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 229 230 236 238 245 a 1 2 3 4 7 9 13 23 25 28 29 30 32 33 35 46 48 52 53 55 57 65 69 70 73 75 76 77 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 236 238 245 a 1 2 3 4 7 9 13 23 25 28 29 30 32 33 35 46 48 50 52 53 55 57 65 69 70 73 75 76 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 236 238 245 a 1 2 3 4 7 9 13 23 25 28 29 30 32 33 35 46 48 50 52 53 55 57 65 69 70 73 75 76 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 236 238 a 1 2 3 7 9 13 23 25 28 29 30 32 33 35 46 48 50 52 53 55 57 65 69 70 73 74 75 76 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 236 238 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 50 52 53 55 57 65 69 70 73 74 75 76 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 231 236 238 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 52 53 55 57 65 69 70 73 74 75 76 77 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 231 236 238 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 52 53 55 57 65 69 70 73 74 75 77 85 89 91 96 98 99 101 104 105 110 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 231 236 238 245 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 52 53 55 57 65 69 70 73 74 75 77 85 89 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 180 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 231 236 238 245 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 52 53 55 57 65 69 70 73 74 75 77 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 180 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 231 232 236 238 245 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 50 52 53 55 57 65 69 70 73 74 75 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 180 183 186 187 191 196 199 201 207 209 211 213 218 220 222 225 229 230 231 232 236 238 245 a 1 2 3 7 9 13 23 25 28 30 32 33 35 46 48 50 52 53 55 57 65 69 70 74 75 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 180 183 186 187 191 196 199 201 207 209 211 213 218 219 220 222 225 229 230 231 232 236 238 245 a 1 2 3 7 9 23 25 28 30 32 33 35 46 48 50 52 53 55 57 58 65 69 70 74 75 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 180 183 186 187 191 196 199 201 207 209 211 213 218 219 220 222 225 229 230 231 232 236 238 245 a 1 2 3 7 9 23 25 28 30 32 33 35 46 48 50 52 53 55 57 58 65 69 70 74 75 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 145 147 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 218 219 220 222 225 229 230 231 232 236 238 a 1 2 3 7 9 23 25 28 30 32 33 35 46 48 50 52 53 55 57 58 65 69 70 74 75 76 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 147 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 218 219 220 222 225 229 230 231 232 236 238 a 1 2 3 7 9 23 25 28 30 32 33 35 46 48 50 52 53 55 57 58 65 69 70 74 75 76 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 3 7 9 23 25 28 30 32 33 35 46 48 50 52 53 55 57 58 60 65 69 70 74 75 85 91 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 3 7 9 23 25 28 30 32 33 35 45 46 48 50 52 53 55 57 58 60 65 69 70 74 75 85 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 7 9 23 25 28 30 32 33 35 45 46 48 50 52 53 55 57 58 60 65 69 70 74 75 76 85 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 32 33 35 45 46 48 50 52 53 57 58 60 65 69 70 74 75 76 85 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 32 33 35 45 46 48 52 53 57 58 60 65 69 70 74 75 76 77 85 96 98 99 101 104 105 116 118 119 124 127 129 131 139 140 142 144 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 32 33 35 45 46 48 52 53 57 58 60 65 69 70 74 75 76 77 85 96 98 99 101 104 105 116 119 124 127 129 131 139 140 142 144 148 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 32 33 35 45 46 48 52 53 55 57 58 60 65 69 70 74 75 76 77 85 96 98 99 104 105 116 119 124 127 129 131 139 140 142 144 148 149 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 32 33 35 45 46 48 52 53 55 57 58 60 65 69 70 74 75 76 85 96 98 99 104 105 116 119 124 127 129 131 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 32 33 35 45 46 48 52 53 55 57 58 60 65 69 70 74 75 76 85 96 98 99 104 105 116 119 124 127 129 131 139 140 142 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 238 a 1 2 4 7 9 23 25 28 30 31 32 33 35 45 46 48 52 53 55 57 58 60 65 69 70 74 75 76 85 96 98 99 104 105 116 119 124 127 129 131 139 140 142 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 a 1 2 4 7 9 23 25 28 31 32 33 35 45 46 48 52 53 55 57 58 60 65 69 70 74 75 76 85 96 98 99 104 105 116 119 124 127 129 131 139 140 142 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 a 1 2 4 7 9 10 23 25 28 31 32 33 35 45 46 52 53 55 57 58 60 65 69 70 74 75 76 85 96 98 99 104 105 116 119 124 127 129 131 139 140 142 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 a 1 2 4 7 9 10 23 25 28 31 32 33 35 45 46 52 53 55 58 60 65 69 70 74 75 76 85 96 98 99 104 105 116 117 119 124 127 129 131 139 140 142 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 a 1 2 4 7 9 10 23 25 28 31 32 33 35 45 46 52 53 55 58 60 65 69 70 74 75 76 85 98 99 104 105 116 117 119 124 127 129 131 137 139 140 142 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 236 a 1 2 4 7 9 10 23 25 28 31 32 33 35 45 46 52 53 55 58 60 65 69 70 74 75 76 85 98 99 104 105 116 117 119 124 127 129 131 137 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 a 1 2 4 7 9 10 23 25 28 31 32 33 35 41 45 46 52 53 55 58 60 65 69 70 74 76 85 98 99 104 105 116 117 119 124 127 129 131 137 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 232 a 1 2 3 4 7 9 10 23 25 28 31 32 33 35 41 45 46 52 53 55 58 60 65 69 70 74 76 85 98 99 104 105 116 117 119 124 127 129 131 137 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 187 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 a 1 2 3 4 7 9 10 23 25 28 31 32 33 35 41 45 46 52 53 55 58 60 65 69 70 74 76 85 98 99 104 105 116 117 119 124 127 129 131 137 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 239 a 1 2 3 4 7 9 10 23 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 69 70 74 76 85 98 99 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 239 a 1 2 3 4 7 10 23 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 85 98 99 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 172 174 175 179 180 181 182 183 186 191 195 196 199 201 207 209 211 213 216 218 219 220 222 225 229 230 231 239 a 1 2 3 4 7 10 23 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 85 98 99 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 174 175 179 180 181 182 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 229 230 231 239 a 1 2 3 4 7 10 16 23 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 85 98 99 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 174 175 179 180 181 182 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 229 230 239 a 1 2 3 4 7 10 16 23 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 77 85 98 99 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 174 175 179 180 181 182 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 229 230 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 77 85 98 99 101 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 174 175 179 180 181 182 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 229 230 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 77 85 98 99 101 104 105 116 117 119 124 127 131 137 139 140 142 144 148 149 150 154 155 163 164 166 174 175 179 180 181 182 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 229 239 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 77 85 98 99 101 104 105 116 117 119 124 127 131 137 139 140 142 144 145 148 149 150 154 155 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 229 239 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 77 85 98 99 101 104 105 116 117 119 124 127 131 137 139 140 142 144 145 148 149 150 154 155 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 236 239 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 74 76 77 85 98 99 101 104 105 116 117 119 124 127 131 137 139 142 144 145 148 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 236 239 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 77 85 98 99 101 104 105 116 117 119 124 127 131 135 137 139 142 144 145 148 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 236 239 a 1 2 3 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 77 85 98 99 101 104 105 116 117 119 124 127 131 135 137 142 144 145 148 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 231 236 239 a 1 2 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 77 85 98 99 101 104 105 116 117 119 124 127 131 135 137 142 144 145 148 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 230 231 236 239 a 1 2 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 77 85 98 99 101 104 105 116 117 119 124 127 131 135 137 142 144 145 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 230 231 236 239 242 a 1 2 4 7 10 16 25 28 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 104 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 218 219 220 222 225 230 231 236 239 242 a 1 2 4 7 10 16 25 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 104 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 222 225 230 231 236 239 242 a 1 2 4 7 10 12 16 25 31 32 33 35 41 43 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 104 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 239 242 a 1 2 4 7 10 12 16 23 25 31 32 33 35 41 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 104 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 239 242 a 1 2 4 7 10 12 16 23 25 31 32 33 35 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 104 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 163 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 10 12 16 23 25 31 32 33 35 39 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 104 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 10 12 16 23 25 31 32 33 35 38 39 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 105 116 117 118 119 124 127 131 135 137 142 144 145 149 150 154 155 157 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 10 12 16 23 25 31 32 33 35 38 39 40 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 105 116 117 118 119 124 127 131 135 142 144 145 149 150 154 155 157 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 16 23 25 31 32 33 35 38 39 40 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 105 116 117 118 119 124 127 131 135 142 144 145 149 150 155 157 164 166 174 175 179 180 181 183 186 191 195 196 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 16 23 25 31 32 33 35 38 39 40 45 46 52 53 55 58 60 65 68 69 70 76 85 98 99 101 105 116 117 118 119 124 127 131 135 142 144 145 149 150 155 157 164 166 171 174 175 179 180 181 183 186 191 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 16 23 25 31 32 33 35 38 39 40 45 46 52 53 55 58 60 65 68 69 70 76 78 98 99 101 105 116 117 118 119 124 127 131 135 142 144 145 149 150 155 157 164 166 171 174 175 179 180 181 183 186 191 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 16 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 65 68 69 70 76 78 98 99 101 105 116 117 118 119 124 127 131 135 142 144 145 149 150 155 157 164 166 171 174 175 179 180 181 183 191 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 16 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 65 68 69 70 76 78 98 99 101 105 116 117 118 119 124 127 131 135 141 144 145 149 150 155 157 164 166 171 174 175 179 180 181 183 191 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 65 68 69 70 76 78 83 98 99 101 105 116 117 118 119 124 127 131 135 141 144 145 149 150 155 157 164 166 171 174 175 179 180 181 183 191 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 65 68 69 70 76 78 83 98 99 101 105 116 117 118 119 127 131 135 141 144 145 149 150 155 157 164 166 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 65 68 69 70 76 78 83 98 99 101 105 116 117 118 119 127 131 135 141 144 145 149 155 157 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 68 69 70 76 78 83 87 98 99 101 105 116 117 118 119 127 131 135 141 144 145 149 155 157 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 61 68 69 70 76 78 83 87 98 99 101 105 116 117 118 127 131 135 141 144 145 149 155 157 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 33 35 38 39 40 45 46 50 52 53 55 58 60 61 68 69 70 76 78 83 87 98 101 105 116 117 118 127 131 135 141 144 145 149 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 25 31 32 35 38 39 40 45 46 50 52 53 55 58 60 61 68 69 70 72 76 78 83 87 98 101 105 116 117 118 127 131 135 141 144 145 149 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 24 25 31 32 35 38 39 40 45 46 50 52 53 55 60 61 68 69 70 72 76 78 83 87 98 101 105 116 117 118 127 131 135 141 144 145 149 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 24 25 31 32 35 38 39 40 45 46 50 52 53 60 61 68 69 70 72 76 78 83 87 98 101 105 116 117 118 127 131 135 141 144 145 149 151 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 24 25 31 32 35 38 39 40 46 50 52 53 60 61 68 69 70 72 76 78 83 84 87 98 101 105 116 117 118 127 131 135 141 144 145 149 151 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 24 25 31 32 35 38 39 40 46 50 52 53 60 61 68 69 70 72 76 78 83 84 87 91 101 105 116 117 118 127 131 135 141 144 145 149 151 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 24 25 31 32 35 38 39 40 46 50 52 53 61 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 131 135 141 144 145 149 151 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 195 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 23 24 25 31 32 35 38 39 40 46 50 52 53 61 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 131 135 138 141 144 145 149 151 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 199 201 204 207 209 211 213 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 17 23 24 25 31 32 35 38 39 40 46 50 52 53 61 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 131 135 138 141 144 145 149 151 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 199 201 204 207 209 211 216 217 218 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 17 23 24 25 31 32 35 38 39 40 46 50 52 53 61 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 131 135 138 141 144 145 149 151 153 155 157 159 164 166 169 171 174 175 179 180 181 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 2 4 7 8 10 12 17 23 24 25 31 32 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 131 135 138 141 144 145 149 151 153 155 157 159 164 166 169 171 174 175 179 181 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 2 4 5 7 8 10 12 17 23 24 25 31 32 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 131 135 138 141 144 145 149 151 153 155 157 159 164 166 169 171 174 175 179 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 2 4 5 7 8 10 12 17 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 91 101 105 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 164 166 169 171 174 175 179 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 2 4 5 8 10 12 17 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 90 91 101 105 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 164 166 169 171 174 175 179 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 10 12 17 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 90 91 101 105 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 179 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 10 12 17 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 90 91 101 105 106 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 183 191 194 199 201 204 207 209 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 10 12 17 20 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 90 91 101 105 106 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 183 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 72 76 78 83 84 87 89 90 91 97 101 105 106 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 183 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 116 117 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 50 52 53 61 66 68 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 c Step: 191 #END: [Tue Sep 5 08:54:47 2023]