#BEGIN: [Mon Sep 4 14:51:31 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance034_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat c /benchmark/random_instance/random_instance034_graph005.col c /benchmark/random_instance/random_instance034_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 205 380 125 311 262 344 57 196 435 189 27 148 128 176 355 350 243 81 70 52 5 398 234 298 285 438 117 407 110 324 364 54 140 38 188 168 157 252 23 280 156 230 216 178 246 348 417 158 131 175 263 277 112 372 124 265 410 428 169 84 1 391 107 136 422 419 55 49 85 397 194 121 289 442 337 223 281 305 295 343 58 231 431 412 270 88 10 327 284 69 347 365 64 145 210 282 307 56 273 106 411 149 9 13 44 12 177 332 294 197 226 385 424 274 90 111 258 290 83 366 401 416 45 299 229 61 318 182 41 360 255 432 433 222 24 384 99 199 333 t 370 312 125 100 196 181 102 116 205 441 200 364 438 219 282 390 296 174 394 431 92 278 273 161 241 382 114 120 134 227 419 242 46 350 215 149 5 42 101 12 246 335 83 121 399 184 396 342 119 151 314 344 69 435 53 79 287 170 346 84 164 403 203 57 25 129 171 56 328 95 230 226 356 52 135 238 347 55 140 374 103 58 323 173 322 285 371 262 77 411 313 16 111 17 14 113 360 359 65 288 109 225 87 223 363 309 338 106 366 148 231 429 35 54 299 71 275 432 177 252 27 144 197 305 301 180 179 168 99 315 72 283 433 290 228 292 327 284 160 a YES a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 72 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 384 385 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 72 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 250 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 348 350 355 360 364 365 366 372 384 385 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 72 73 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 250 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 348 350 355 360 364 365 366 372 384 385 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 250 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 250 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 348 350 355 360 364 365 366 372 380 384 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 3 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 391 397 398 401 406 407 410 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 391 397 398 401 406 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 397 398 401 406 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 145 148 149 156 157 158 168 169 175 176 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 176 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 176 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 176 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 176 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 142 145 148 149 157 158 168 169 175 176 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 438 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 230 231 234 243 246 252 255 257 258 262 265 269 270 273 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 230 231 234 243 246 252 255 257 258 262 265 269 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 a 1 5 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 218 222 223 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 435 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 428 431 432 433 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 417 419 420 422 424 428 431 432 433 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 156 157 158 168 169 175 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 417 419 420 422 424 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 157 158 168 169 175 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 417 419 420 422 424 427 428 431 432 433 435 438 442 a 1 5 9 10 13 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 158 168 169 175 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 442 a 1 5 9 10 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 410 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 442 a 1 5 9 10 23 24 38 39 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 441 442 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 107 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 338 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 441 442 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 338 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 441 442 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 110 111 112 116 117 121 124 125 128 131 136 142 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 338 342 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 411 412 416 417 419 420 422 424 427 428 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 338 342 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 411 412 416 417 419 420 424 427 428 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 338 342 343 344 347 350 355 360 365 366 372 380 384 386 397 398 401 406 407 411 412 416 417 419 420 424 427 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 318 323 324 332 333 337 338 342 343 344 347 350 355 360 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 427 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 318 323 324 333 337 338 342 343 344 347 350 355 360 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 427 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 315 318 323 324 333 337 338 342 343 344 347 350 355 360 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 315 318 323 333 337 338 342 343 344 346 347 350 355 360 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 128 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 315 318 323 333 338 342 343 344 346 347 350 355 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 73 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 298 299 305 307 315 318 323 333 338 342 343 344 346 347 350 355 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 38 41 44 45 49 52 54 55 56 57 61 64 69 70 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 199 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 305 307 315 318 323 333 338 342 343 344 346 347 350 355 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 305 307 315 318 323 333 338 342 343 344 346 347 350 355 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 81 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 305 307 315 318 323 333 335 338 342 343 344 346 347 350 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 226 229 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 256 257 258 262 265 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 142 144 145 148 149 158 164 168 169 174 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 256 257 258 262 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 164 168 169 174 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 256 257 258 262 270 273 277 281 282 283 284 285 289 290 294 295 296 298 299 301 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 164 168 169 174 175 177 178 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 256 257 258 262 270 273 277 281 282 283 284 285 290 294 295 296 298 299 301 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 164 168 169 174 175 177 178 180 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 256 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 164 168 169 174 175 177 178 180 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 417 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 82 83 84 85 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 164 168 169 174 175 177 178 180 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 1 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 82 83 84 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 82 83 84 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 194 196 197 200 205 210 216 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 105 106 110 111 112 116 117 121 124 125 131 136 144 145 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 343 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 105 106 110 111 112 113 116 117 121 124 125 131 136 144 145 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 105 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 318 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 380 384 386 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 105 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 380 384 386 390 397 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 190 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 380 384 386 390 397 399 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 380 384 386 390 397 399 401 406 407 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 90 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 374 380 384 386 390 397 399 401 406 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 295 296 298 299 301 305 307 312 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 374 380 384 386 390 397 399 401 403 406 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 374 380 384 386 390 397 399 401 403 406 411 412 416 419 420 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 372 374 380 384 386 390 397 399 401 403 406 411 412 416 419 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 372 374 380 384 386 390 397 399 401 403 406 411 412 419 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 380 384 386 390 397 399 401 403 406 411 412 419 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 210 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 384 386 390 397 399 401 403 406 411 412 419 424 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 158 160 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 384 386 390 397 399 401 403 406 411 412 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 188 189 196 197 200 205 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 384 386 390 397 399 401 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 189 196 197 200 205 216 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 384 386 390 397 399 401 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 189 196 197 200 205 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 277 281 282 283 284 285 290 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 384 386 390 397 399 401 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 189 196 197 200 205 219 222 223 225 226 230 231 234 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 384 386 390 397 399 401 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 136 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 397 399 401 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 401 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 41 44 45 49 52 53 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 24 25 27 35 38 41 44 45 49 52 53 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 24 25 27 35 41 44 45 49 52 53 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 24 25 27 35 44 45 49 52 53 54 55 56 57 58 61 64 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 281 282 283 284 285 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 10 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 424 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 243 246 252 255 257 258 262 270 273 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 396 397 399 403 406 411 419 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 243 246 252 255 257 262 270 273 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 394 396 397 399 403 406 411 419 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 243 246 252 255 257 262 270 273 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 394 396 399 403 406 411 419 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 243 246 252 255 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 394 396 399 403 406 411 419 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 243 246 252 255 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 255 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 333 335 338 342 344 346 347 350 356 360 364 365 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 9 12 14 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 255 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 255 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 307 312 313 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 87 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 255 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 72 82 83 84 87 88 92 99 102 106 110 111 112 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 82 83 84 87 88 92 99 102 106 110 111 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 183 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 82 83 84 87 88 92 99 102 106 110 111 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 257 262 273 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 88 92 99 102 106 110 111 113 116 117 119 121 124 125 129 131 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 257 262 273 275 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 88 92 99 102 106 110 111 113 114 116 117 119 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 169 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 257 262 273 275 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 88 92 99 102 106 109 110 111 113 114 116 117 119 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 257 262 273 275 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 88 92 99 101 102 106 109 110 111 113 114 116 117 119 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 384 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 88 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 205 215 219 222 223 225 226 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 298 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 64 65 69 71 72 83 84 87 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 45 49 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 49 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 124 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 49 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 49 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 99 101 102 106 109 110 111 113 114 116 117 119 120 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 95 99 101 102 106 109 110 111 113 114 116 117 119 120 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 174 175 177 178 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 95 99 101 102 106 109 110 111 113 114 116 117 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 174 175 177 178 179 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 95 99 101 102 106 109 110 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 175 177 178 179 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 46 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 95 99 101 102 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 175 177 178 179 180 181 182 184 189 196 197 200 203 205 215 219 222 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 46 52 53 54 55 56 57 58 61 65 69 71 72 77 83 84 87 92 95 99 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 175 177 178 179 180 181 182 184 189 196 197 200 203 205 215 219 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 24 25 27 35 42 46 52 53 54 55 56 57 58 61 65 69 71 72 77 79 83 84 87 92 95 99 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 175 177 178 179 180 181 184 189 196 197 200 203 205 215 219 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 61 65 69 71 72 77 79 83 84 87 92 95 99 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 178 179 180 181 184 189 196 197 200 203 205 215 219 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 61 65 69 71 72 77 79 83 84 87 92 95 99 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 200 203 205 215 219 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 200 203 205 215 219 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 386 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 200 203 205 215 219 223 225 226 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 189 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat" User time (seconds): 556.47 System time (seconds): 7.46 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:09.12 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 13169252 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4540110 Voluntary context switches: 566773 Involuntary context switches: 1342 Swaps: 0 File system inputs: 0 File system outputs: 912 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:57:41 2023]