#BEGIN: [Mon Sep 4 12:32:50 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance037_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance037_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance037_graph005.col /benchmark/random_instance/random_instance037_graph005_01.dat c /benchmark/random_instance/random_instance037_graph005.col c /benchmark/random_instance/random_instance037_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 148 147 88 303 386 109 256 192 220 11 382 355 73 380 288 352 33 24 248 436 127 451 260 427 81 18 369 426 181 448 465 422 387 414 53 197 292 199 472 325 56 156 327 287 75 183 459 322 266 52 101 92 28 254 189 432 47 328 196 36 370 310 272 430 85 283 358 128 246 245 201 9 143 123 381 134 72 136 140 1 145 232 277 463 423 106 13 323 110 247 124 255 469 318 445 177 471 44 42 326 312 64 340 330 173 131 398 263 298 172 276 48 180 100 71 87 236 118 57 86 348 319 350 129 468 281 239 364 317 461 218 476 208 384 441 424 343 365 371 39 151 84 389 393 26 165 21 428 93 10 29 314 153 38 t 284 433 263 274 86 155 199 363 216 379 89 446 439 47 55 154 203 227 78 28 220 465 27 267 298 91 19 195 396 142 466 473 163 75 138 240 172 187 426 25 326 309 454 26 472 351 304 236 81 3 447 147 58 468 418 79 345 35 189 403 338 218 59 134 179 11 188 308 435 173 51 4 460 14 161 332 413 73 244 157 105 390 452 305 429 294 348 132 325 53 316 395 383 13 23 110 99 52 64 319 164 434 106 200 320 60 119 85 92 329 405 8 148 131 242 442 178 21 88 101 201 124 166 285 249 264 399 185 352 39 280 56 262 222 118 361 370 464 246 94 470 74 407 30 29 307 108 277 80 229 122 306 349 162 a YES a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 220 232 236 239 245 246 247 248 254 255 256 260 263 266 272 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 328 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 459 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 328 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 459 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 142 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 328 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 459 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 142 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 328 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 142 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 330 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 468 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 276 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 469 471 472 476 a 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 200 201 208 218 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 139 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 451 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 139 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 382 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 436 441 445 448 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 139 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 292 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 463 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 266 272 273 277 281 283 287 288 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 143 145 148 151 153 156 158 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 272 273 277 281 283 287 288 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 143 145 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 272 273 277 281 283 287 288 298 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 272 273 277 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 389 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 272 273 277 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 393 398 401 414 422 423 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 232 236 239 245 246 247 248 254 255 256 260 263 272 273 277 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 225 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 381 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 98 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 225 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 1 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 94 98 100 101 106 109 110 118 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 225 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 94 98 100 101 106 109 110 118 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 225 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 476 a 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 94 98 100 101 106 109 110 118 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 151 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 208 218 225 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 94 98 100 101 106 109 110 118 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 208 218 225 228 236 239 245 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 345 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 345 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 469 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 44 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 339 340 343 345 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 338 339 340 343 345 347 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 148 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 448 452 461 465 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 287 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 452 461 465 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 445 452 461 465 471 472 a 11 13 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 254 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 329 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 123 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 329 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 60 64 71 72 73 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 329 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 386 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 60 64 71 72 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 329 330 334 338 339 340 343 345 348 350 352 355 356 358 364 365 369 370 371 380 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 60 64 71 72 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 327 329 330 334 338 339 340 343 345 348 350 351 352 355 356 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 8 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 60 64 71 72 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 334 338 339 340 343 345 348 350 351 352 355 356 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 8 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 334 338 339 340 343 345 348 350 351 352 355 356 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 8 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 334 338 340 343 345 348 350 351 352 355 356 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 8 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 225 228 236 239 246 247 248 255 256 260 263 272 273 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 356 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 8 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 356 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 452 461 465 471 472 a 8 11 13 14 18 21 24 26 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 436 441 446 452 461 465 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 358 364 365 369 370 371 383 384 387 393 398 401 414 422 424 426 427 428 430 432 433 441 446 452 461 465 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 358 364 365 369 370 371 383 384 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 461 465 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 364 365 369 370 371 383 384 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 461 465 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 57 60 64 71 73 74 75 80 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 364 365 369 370 371 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 461 465 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 355 364 365 369 370 371 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 461 465 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 303 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 364 365 369 370 371 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 461 465 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 127 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 364 365 369 370 371 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 461 465 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 192 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 364 365 369 370 371 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 140 142 143 145 147 148 153 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 364 365 369 370 371 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 140 142 143 147 148 153 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 350 351 352 364 365 369 370 371 379 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 138 140 142 143 147 148 153 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 318 319 322 325 326 329 330 338 340 343 345 348 351 352 364 365 369 370 371 379 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 138 140 142 143 147 148 153 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 255 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 351 352 364 365 369 370 371 379 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 138 140 142 143 147 148 153 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 256 260 263 272 277 278 281 283 288 294 298 302 305 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 351 352 364 365 369 370 371 379 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 138 140 142 143 147 148 153 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 364 365 369 370 371 379 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 24 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 138 140 142 143 147 148 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 364 365 369 370 371 379 383 387 393 398 414 422 424 426 427 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 136 138 140 142 143 147 148 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 364 365 369 370 371 379 383 387 393 398 405 414 422 424 426 427 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 364 365 369 370 371 379 383 387 393 398 405 414 422 424 426 427 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 398 405 414 422 424 426 427 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 398 405 414 422 424 426 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 8 11 13 14 18 21 26 27 28 29 33 36 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 398 405 414 422 426 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 3 8 11 13 14 18 21 26 27 28 29 33 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 398 405 414 422 426 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 3 4 8 11 13 14 18 21 26 27 28 29 33 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 98 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 405 414 422 426 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 3 4 8 11 13 14 18 21 26 27 28 29 33 35 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 405 414 422 426 428 430 432 433 441 446 447 452 454 460 461 465 466 468 471 472 a 3 4 8 11 13 14 18 21 26 27 28 29 33 35 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 177 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 405 414 422 426 428 430 433 441 446 447 452 454 460 461 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 26 27 28 29 30 33 35 38 39 42 46 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 405 414 422 426 428 430 433 441 446 447 452 454 460 461 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 310 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 414 422 426 428 430 433 441 446 447 452 454 460 461 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 180 181 183 185 189 196 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 228 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 312 314 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 413 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 130 131 134 138 140 142 143 147 148 154 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 236 239 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 413 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 236 239 240 244 246 247 248 256 260 263 272 277 281 283 288 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 413 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 239 240 244 246 247 248 256 260 263 272 277 281 288 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 393 403 405 413 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 239 240 244 246 247 248 256 260 263 272 277 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 33 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 256 260 263 272 277 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 422 426 428 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 256 260 263 272 277 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 422 426 428 429 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 272 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 422 426 428 429 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 165 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 272 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 426 428 429 430 433 441 446 447 452 454 460 461 464 465 466 468 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 272 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 426 428 429 430 433 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 71 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 426 428 429 430 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 364 365 369 370 371 379 383 390 393 403 405 413 414 426 428 429 430 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 38 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 365 369 370 371 379 383 390 393 403 405 413 414 426 428 429 430 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 218 220 222 225 229 236 240 244 246 247 248 260 263 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 365 369 370 371 379 383 390 393 403 405 407 413 414 426 428 429 430 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 218 220 222 225 229 236 240 244 246 247 260 263 277 280 281 294 298 302 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 365 369 370 371 379 383 390 393 403 405 407 413 414 426 428 429 430 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 218 220 222 225 229 236 240 244 246 247 260 263 277 280 281 294 298 302 304 305 307 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 365 369 370 371 379 383 390 403 405 407 413 414 426 428 429 430 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 218 220 222 225 229 236 240 244 246 247 260 263 277 280 281 294 298 302 304 305 307 309 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 365 369 370 371 379 383 390 403 405 407 413 414 426 428 429 433 439 441 446 447 452 454 460 461 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 260 263 277 280 281 294 298 302 304 305 307 309 312 316 317 319 322 325 326 329 330 338 340 343 345 348 349 351 352 361 365 369 370 371 379 383 390 403 405 407 413 414 426 428 429 433 439 441 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 260 263 264 277 280 281 294 298 302 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 369 370 371 379 383 390 403 405 407 413 414 426 428 429 433 439 441 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 260 263 264 277 280 281 294 298 302 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 435 439 441 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 260 263 264 277 280 281 294 298 302 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 249 260 263 264 277 280 281 294 298 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 164 172 173 178 180 181 183 185 189 197 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 163 164 172 173 178 180 181 183 185 189 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 225 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 312 316 317 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 93 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 225 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 312 316 319 322 325 326 329 330 338 343 345 348 349 351 352 361 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 225 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 312 316 319 322 325 326 329 330 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 84 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 225 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 316 319 322 325 326 329 330 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 395 403 405 407 413 414 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 225 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 307 309 316 319 322 325 326 329 330 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 395 403 405 407 413 414 418 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 225 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 306 307 309 316 319 322 325 326 329 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 395 403 405 407 413 414 418 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 180 181 185 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 306 307 309 316 319 322 325 326 329 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 395 403 405 407 413 414 418 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 306 307 309 316 319 322 325 326 329 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 395 403 405 407 413 414 418 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 306 307 309 316 319 325 326 329 338 343 345 348 349 351 352 361 363 365 370 371 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 18 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 247 249 260 263 264 277 280 294 298 304 305 306 307 309 316 319 325 326 329 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 247 249 260 263 264 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 247 249 263 264 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 109 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 263 264 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 180 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 263 264 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 21 23 25 26 27 28 29 30 35 39 42 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 263 264 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 87 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 263 264 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 129 131 134 138 140 142 143 147 148 154 157 161 162 163 164 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 263 264 267 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 129 131 134 138 140 142 147 148 154 157 161 162 163 164 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 428 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 129 131 134 138 140 142 147 148 154 155 157 161 162 163 164 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 128 131 132 134 138 140 142 147 148 154 155 157 161 162 163 164 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 140 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 365 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 308 309 316 319 325 326 329 332 338 343 345 348 349 351 352 361 363 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 48 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 308 309 316 319 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 195 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 277 280 284 294 298 304 305 306 307 308 309 316 319 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 403 405 407 413 414 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 195 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 277 280 284 285 294 298 304 305 306 307 308 309 316 319 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 403 405 407 413 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 471 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 100 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 195 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 277 280 284 285 294 298 304 305 306 307 308 309 316 319 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 399 403 405 407 413 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 195 199 200 201 203 208 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 274 277 280 284 285 294 298 304 305 306 307 308 309 316 319 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 399 403 405 407 413 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 472 473 a 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 195 199 200 201 203 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 274 277 280 284 285 294 298 304 305 306 307 308 309 316 319 320 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 399 403 405 407 413 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 472 473 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance037_graph005.col /benchmark/random_instance/random_instance037_graph005_01.dat" User time (seconds): 589.72 System time (seconds): 7.81 Percent of CPU this job got: 158% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:16.63 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): 23405956 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7601808 Voluntary context switches: 697429 Involuntary context switches: 2707 Swaps: 0 File system inputs: 0 File system outputs: 992 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:39:07 2023]