#BEGIN: [Mon Sep 4 12:29:36 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance036_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph002_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_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat c /benchmark/random_instance/random_instance036_graph002.col c /benchmark/random_instance/random_instance036_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 152 404 182 177 157 124 2 106 132 170 109 69 450 281 139 185 37 468 295 278 194 248 148 47 454 167 120 95 359 67 240 39 179 44 402 313 52 315 425 64 464 29 217 292 97 184 190 154 237 43 284 380 82 306 126 246 310 202 407 6 59 224 172 247 453 183 125 27 58 89 166 140 110 399 396 327 164 287 291 296 297 85 252 76 419 45 466 73 13 253 5 307 86 448 71 294 117 130 236 9 392 411 155 302 150 271 65 135 203 349 369 218 378 191 326 452 201 457 410 231 372 32 338 345 200 87 330 215 398 142 23 186 273 165 427 324 230 28 443 333 251 272 181 42 149 299 1 205 420 119 422 351 436 t 204 405 347 88 394 412 259 401 314 37 8 29 454 74 158 150 386 306 462 281 77 43 171 456 437 318 151 143 297 467 280 55 261 46 109 457 125 167 324 398 209 443 31 185 391 101 172 295 273 95 278 40 54 38 272 128 466 433 11 409 39 192 181 73 137 214 120 45 157 428 408 411 191 323 175 236 232 19 277 430 434 224 445 78 325 21 447 97 344 333 327 356 274 390 66 348 234 326 243 195 135 216 292 108 423 117 422 413 36 168 84 307 459 149 53 219 194 396 155 240 361 249 145 251 148 33 211 296 419 1 255 136 96 217 64 156 293 203 436 20 340 212 173 353 289 410 322 407 399 377 349 230 420 a YES a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 309 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 309 310 313 315 324 326 327 330 331 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 331 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 331 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 331 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 429 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 331 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 429 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 331 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 429 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 37 39 42 43 44 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 266 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 331 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 429 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 266 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 429 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 266 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 429 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 240 246 247 248 251 252 253 266 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 429 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 429 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 429 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 275 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 429 432 436 443 448 450 452 453 454 457 464 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 275 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 464 468 a 1 2 5 6 9 13 17 23 27 28 29 32 35 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 330 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 468 a 1 2 5 6 9 13 17 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 468 a 1 2 5 6 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 468 a 1 2 5 6 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 268 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 468 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 266 268 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 468 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 410 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 464 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 273 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 461 464 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 359 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 461 464 468 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 461 464 468 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 461 464 466 468 a 1 2 4 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 461 464 466 468 a 1 2 4 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 461 464 466 a 1 2 4 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 461 466 a 1 2 5 9 13 17 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 461 466 a 1 2 5 9 13 17 23 27 28 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 457 458 461 466 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 266 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 461 466 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 461 466 468 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 215 217 218 224 230 231 234 236 239 240 246 247 248 251 252 253 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 466 468 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 466 468 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 372 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 275 278 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 376 378 380 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 23 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 376 378 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 349 351 356 369 376 378 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 348 349 351 356 369 376 378 392 396 398 399 402 404 407 419 420 422 425 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 345 348 349 351 356 369 376 378 392 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 278 280 281 284 291 292 295 296 297 302 306 307 310 313 315 324 326 330 333 345 348 349 351 356 369 376 378 392 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 302 306 307 310 313 315 324 326 330 333 345 348 349 351 356 369 376 378 392 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 302 306 307 310 313 315 324 326 327 330 333 345 348 349 351 356 369 376 378 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 246 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 313 315 324 325 326 327 330 333 345 348 349 351 356 369 376 378 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 313 315 324 325 326 327 330 333 345 348 349 351 356 369 376 378 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 28 32 37 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 313 315 324 325 326 327 330 333 345 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 313 315 324 325 326 327 330 333 345 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 247 248 251 252 253 268 271 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 74 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 218 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 74 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 130 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 74 82 83 85 86 89 95 97 106 109 110 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 110 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 47 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 204 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 168 170 172 174 177 179 180 181 182 183 184 185 186 190 191 193 194 195 198 200 201 202 203 204 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 152 154 155 157 158 165 167 168 170 172 174 177 179 180 181 183 184 185 186 190 191 193 194 195 198 200 201 202 203 204 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 361 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 183 184 185 186 190 191 193 194 195 198 200 201 202 203 204 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 361 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 351 356 361 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 376 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 448 450 452 453 454 458 462 466 a 1 2 4 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 447 448 450 452 453 454 458 462 466 a 1 2 5 9 13 17 27 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 432 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 13 17 32 37 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 85 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 13 17 32 37 39 40 42 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 13 17 32 37 39 40 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 32 37 39 40 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 177 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 430 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 32 37 39 40 43 44 45 52 53 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 430 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 32 37 39 40 43 45 52 53 54 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 429 430 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 31 32 37 39 40 43 45 52 53 54 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 119 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 430 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 31 32 37 39 40 43 45 52 53 54 58 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 31 32 37 39 40 43 45 52 53 54 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 458 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 291 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 268 272 273 275 277 278 280 281 284 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 179 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 202 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 203 204 205 211 212 214 215 217 224 230 231 234 236 240 247 248 251 252 253 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 408 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 203 204 205 211 212 214 215 217 224 230 231 234 236 240 243 247 248 251 252 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 402 404 407 408 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 101 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 203 204 205 211 212 214 215 217 224 230 231 234 236 240 243 247 248 251 252 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 396 398 399 404 407 408 410 412 419 420 422 423 430 432 433 436 443 447 448 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 67 71 73 74 83 86 89 95 96 97 101 106 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 203 204 205 211 212 214 215 217 224 230 231 234 236 240 243 247 248 251 252 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 83 86 89 95 96 97 101 106 108 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 203 204 205 211 212 214 215 217 224 230 231 234 236 240 243 247 248 251 252 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 83 86 89 95 96 97 101 106 108 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 190 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 224 230 231 234 236 240 243 247 248 251 252 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 89 95 96 97 101 106 108 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 224 230 231 234 236 240 243 247 248 251 252 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 224 230 231 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 132 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 378 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 453 454 457 462 466 a 1 2 5 9 11 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 140 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 324 325 326 327 330 333 345 347 348 349 356 361 369 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 a 1 2 5 9 11 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 345 347 348 349 356 361 369 386 390 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 a 1 2 5 9 11 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 83 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 369 386 390 391 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 a 1 2 5 9 11 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 71 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 369 386 390 391 396 398 399 404 405 407 408 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 467 a 1 2 5 9 11 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 201 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 369 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 467 a 1 2 5 9 11 17 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 369 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 467 a 1 2 5 9 11 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 171 172 173 174 175 180 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 369 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 467 a 1 2 5 9 11 21 31 32 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 369 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 467 a 1 2 5 9 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 443 447 450 452 454 457 462 466 467 a 1 2 5 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 5 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 139 142 143 145 148 149 150 154 155 157 158 165 167 168 170 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 347 348 349 356 361 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 5 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 139 142 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 347 348 349 356 361 386 390 391 396 398 399 404 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 5 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 139 142 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 174 175 181 184 185 186 191 192 193 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 165 167 168 171 172 173 174 175 181 184 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 174 175 181 184 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 462 466 467 a 1 2 11 21 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 174 175 181 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 11 21 29 31 32 33 36 37 39 40 43 45 52 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 247 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 405 407 408 409 410 412 419 420 422 423 428 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 86 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 248 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 275 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 200 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 139 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 205 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 450 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 89 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 198 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 2 8 11 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 8 11 19 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 248 249 251 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 315 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 8 11 19 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 248 249 251 255 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 447 452 454 457 459 462 466 467 a 1 8 11 19 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 318 322 323 324 325 326 327 330 333 340 347 348 349 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 445 447 452 454 457 459 462 466 467 a 1 8 11 19 21 29 31 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 295 296 297 306 307 318 322 323 324 325 326 327 330 333 340 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 445 447 452 454 457 459 462 466 467 a 1 8 11 19 21 29 31 33 36 37 38 39 40 43 45 53 54 55 59 64 65 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 293 295 296 297 306 307 318 322 323 324 325 326 327 333 340 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 445 447 452 454 457 459 462 466 467 a 1 8 11 19 21 29 31 33 36 37 38 39 40 43 45 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 445 447 452 454 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 142 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 445 447 452 454 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 432 433 434 436 437 443 445 447 452 454 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 452 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 53 54 55 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 284 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 452 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 53 54 55 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 284 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 452 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 53 54 55 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 452 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat" User time (seconds): 546.17 System time (seconds): 7.48 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.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): 23207600 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7451853 Voluntary context switches: 861525 Involuntary context switches: 2282 Swaps: 0 File system inputs: 0 File system outputs: 976 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:35:42 2023]