#BEGIN: [Mon Sep 4 22:42:03 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance024_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat c /benchmark/random_instance/random_instance024_graph002.col c /benchmark/random_instance/random_instance024_graph002_01.dat s 209 25 253 259 102 144 282 182 23 159 298 61 73 33 136 184 8 83 290 283 84 292 134 148 35 174 120 175 164 214 261 195 264 30 21 242 167 211 122 170 90 247 135 77 248 132 43 225 177 116 117 178 273 110 158 266 262 97 29 311 305 64 65 70 40 297 254 128 154 12 304 138 198 150 62 14 95 24 82 34 137 245 233 293 17 201 237 194 39 227 146 232 190 277 287 105 104 308 296 206 57 50 t 239 279 62 117 135 256 137 164 245 274 31 77 39 142 97 9 58 60 183 251 159 110 294 67 12 207 147 66 304 52 25 276 148 150 3 265 37 43 310 269 94 199 119 22 120 78 2 157 73 278 297 258 85 59 64 190 189 277 54 114 8 89 257 172 50 306 282 82 261 123 160 11 175 28 168 101 206 34 296 196 57 124 260 111 215 230 174 201 237 287 115 7 227 178 133 32 165 214 253 13 98 49 a YES a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 205 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 177 178 182 184 190 194 195 198 201 205 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 27 29 30 34 35 39 40 43 50 57 61 64 65 70 73 77 82 83 84 90 95 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 177 178 182 184 190 194 195 198 201 205 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 27 29 30 34 35 39 40 43 50 57 61 64 65 70 73 77 82 83 84 90 95 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 177 178 182 184 190 194 195 198 201 205 206 209 211 214 225 227 232 233 237 242 245 247 248 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 27 29 30 34 35 37 39 40 43 50 57 61 64 65 70 73 77 82 83 84 90 95 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 27 29 30 34 35 37 39 40 43 50 57 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 27 29 30 34 35 37 39 40 43 50 57 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 85 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 85 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 184 190 194 195 198 201 205 206 211 214 225 227 232 233 237 242 245 247 248 251 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 154 158 159 164 167 170 174 175 178 182 184 190 194 195 198 201 205 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 184 190 194 195 198 201 205 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 34 35 37 39 40 43 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 184 190 194 195 198 201 205 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 256 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 37 39 40 43 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 184 190 194 195 198 201 205 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 184 190 194 195 198 201 205 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 178 182 190 194 195 198 201 205 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 37 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 178 182 190 194 195 198 201 206 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 168 170 174 175 178 182 190 194 195 198 201 206 209 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 215 225 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 215 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 85 90 95 97 102 104 105 110 114 115 116 117 120 122 128 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 215 227 232 233 237 242 245 247 248 251 253 258 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 85 90 95 97 102 104 105 110 114 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 85 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 85 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 182 190 194 195 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 8 12 14 17 21 23 24 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 54 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 54 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 54 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 257 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 a 6 8 12 14 17 21 23 29 30 33 34 35 39 40 43 50 54 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 257 258 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 115 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 257 258 259 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 257 258 259 262 264 266 273 277 282 283 287 290 292 293 296 297 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 114 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 257 258 259 262 264 266 273 277 282 287 290 292 293 296 297 304 305 308 309 311 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 257 258 259 262 264 266 273 277 282 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 259 262 264 266 273 277 282 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 61 62 64 65 70 73 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 262 264 266 273 277 282 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 54 57 61 62 64 65 70 73 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 311 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 54 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 34 35 39 40 43 54 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 34 35 39 40 43 54 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 309 a 6 8 12 14 17 21 23 28 29 30 34 35 39 40 43 54 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 34 35 39 40 43 54 57 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 115 116 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 309 a 6 8 12 14 17 21 23 28 29 30 34 35 39 40 43 50 54 57 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 115 116 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 115 116 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 54 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 184 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 184 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 28 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 184 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 305 308 a 6 8 12 14 17 21 23 25 28 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 305 308 a 6 8 12 14 17 21 23 25 28 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 305 308 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 84 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 305 308 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 305 308 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 209 211 214 227 232 233 237 242 245 247 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 242 245 247 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 57 61 62 64 65 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 124 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 242 245 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 62 64 65 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 124 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 242 245 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 59 62 64 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 124 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 242 245 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 59 62 64 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 124 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 242 245 248 251 253 254 256 257 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 59 62 64 70 73 74 77 82 83 85 90 95 97 102 104 105 110 116 117 120 122 124 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 242 245 248 251 253 256 257 258 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 59 62 64 70 73 74 77 82 83 85 90 95 97 102 104 105 110 117 120 122 124 128 131 135 136 137 138 144 146 147 148 150 154 157 158 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 59 62 64 70 73 74 77 82 83 85 90 95 97 102 104 105 110 115 117 120 122 124 128 131 135 136 137 144 146 147 148 150 154 157 158 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 57 59 62 64 70 73 74 77 82 83 85 90 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 158 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 54 57 59 62 64 70 73 74 77 82 83 85 90 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 262 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 54 57 59 60 62 64 70 73 74 77 82 83 85 90 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 264 266 273 277 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 54 57 59 60 62 64 70 73 77 82 83 85 90 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 264 266 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 54 57 59 60 62 64 70 73 77 82 83 85 90 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 227 232 233 237 239 242 245 248 251 253 256 257 258 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 12 14 17 21 23 25 28 29 30 34 35 39 40 43 50 52 54 57 59 60 62 64 70 73 77 82 83 85 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 233 237 239 242 245 248 251 253 256 257 258 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 9 12 14 17 21 23 25 28 29 30 34 39 40 43 50 52 54 57 59 60 62 64 70 73 77 82 83 85 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 233 237 239 242 245 248 251 253 256 257 258 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 9 12 17 21 23 25 28 29 30 34 39 40 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 233 237 239 242 245 248 251 253 256 257 258 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 9 12 17 21 22 23 25 28 29 30 34 39 40 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 237 239 242 245 248 251 253 256 257 258 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 9 12 17 21 22 23 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 237 239 242 245 248 251 253 256 257 258 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 9 12 17 21 22 23 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 237 239 242 245 251 253 256 257 258 260 261 264 273 277 278 282 283 287 290 292 296 297 298 304 305 a 6 8 9 12 17 21 22 23 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 237 239 242 245 251 253 256 257 258 260 261 264 273 277 278 282 283 287 292 296 297 298 304 305 a 6 8 9 12 17 21 22 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 190 194 195 196 198 201 206 207 209 211 214 215 227 232 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 283 287 292 296 297 298 304 305 a 6 8 9 12 17 21 22 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 189 190 194 195 196 198 201 206 207 209 211 214 215 227 232 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 283 287 292 296 297 298 304 a 6 8 9 12 17 21 22 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 189 190 194 195 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 283 287 292 296 297 298 304 306 a 6 8 9 12 17 21 22 25 28 29 30 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 189 190 194 195 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 287 292 296 297 298 304 306 a 6 8 9 12 17 21 22 25 28 29 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 167 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 287 292 296 297 298 304 306 a 6 8 9 12 13 17 21 22 25 28 29 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 95 97 98 102 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 287 292 296 297 298 304 306 a 6 8 9 12 13 17 21 22 25 28 29 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 104 105 110 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 287 292 296 297 298 304 306 a 6 8 9 12 13 17 21 22 25 28 29 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 104 105 110 114 115 117 120 122 124 128 135 136 137 144 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 273 276 277 278 282 287 292 296 297 304 306 a 6 8 9 12 13 17 21 22 25 28 29 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 104 105 110 114 115 117 120 122 124 128 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 211 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 265 273 276 277 278 282 287 292 296 297 304 306 a 6 8 9 12 13 17 21 22 25 28 29 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 104 105 110 114 115 117 119 120 122 124 128 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 237 239 242 245 251 253 256 257 258 260 261 264 265 273 276 277 278 282 287 292 296 297 304 306 a 6 8 9 12 13 17 21 22 25 28 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 104 105 110 114 115 117 119 120 122 124 128 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 264 265 273 276 277 278 282 287 292 296 297 304 306 a 6 8 9 12 13 17 21 22 25 28 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 124 128 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 264 265 273 276 277 278 282 287 292 296 297 304 306 a 8 9 12 13 17 21 22 25 28 30 32 34 39 43 50 52 54 57 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 124 128 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 264 265 273 276 277 278 282 287 292 296 297 304 306 310 a 8 9 12 13 17 21 22 25 28 30 32 34 39 43 50 52 54 57 58 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 124 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 264 265 273 276 277 278 282 287 292 296 297 304 306 310 a 8 9 12 13 17 21 22 25 28 30 32 34 39 43 50 52 54 57 58 59 60 62 64 66 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 146 147 148 150 154 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 273 276 277 278 282 287 292 296 297 304 306 310 a 8 9 12 13 17 21 22 25 28 30 32 34 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 146 147 148 150 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 209 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 273 276 277 278 282 287 292 296 297 304 306 310 a 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 146 147 148 150 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 273 276 277 278 282 287 292 296 297 304 306 310 a 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 146 147 148 150 157 159 160 164 168 170 174 175 178 183 189 190 194 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 146 147 148 150 157 159 160 164 168 170 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 95 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 142 146 147 148 150 157 159 160 164 168 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 97 98 105 110 111 114 115 117 119 120 122 123 124 135 136 137 142 146 147 148 150 157 159 160 164 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 7 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 97 98 105 110 111 114 115 117 119 120 122 123 124 135 137 142 146 147 148 150 157 159 160 164 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 3 7 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 83 85 89 94 97 98 110 111 114 115 117 119 120 122 123 124 135 137 142 146 147 148 150 157 159 160 164 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 3 7 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 122 123 124 133 135 137 142 146 147 148 150 157 159 160 164 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 3 7 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 273 276 277 278 282 287 296 297 304 306 310 a 2 3 7 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 242 245 251 253 256 257 258 260 261 265 269 276 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 12 13 17 21 22 25 28 30 32 34 37 39 43 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 12 13 21 22 25 28 30 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 12 13 21 22 25 28 30 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 a 2 3 7 8 9 12 13 22 25 28 30 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 70 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 22 25 28 30 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 22 25 28 30 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 c Step: 113 #END: [Mon Sep 4 22:50:15 2023]