#BEGIN: [Mon Sep 4 14:55:06 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-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 -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.001 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 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 275 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 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 126 130 132 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 275 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 419 420 422 425 427 432 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 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 21 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 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 21 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 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 177 179 181 182 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 21 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 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 177 179 181 182 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 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 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 177 179 181 182 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 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 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 177 179 181 182 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 271 272 273 275 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 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 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 166 167 170 172 177 179 181 182 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 271 272 273 275 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 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 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 166 167 170 172 177 179 181 182 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 275 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 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 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 166 167 170 172 177 179 181 182 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 166 167 170 172 177 179 181 182 184 185 186 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 275 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 166 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 271 272 273 275 278 281 284 287 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 253 268 271 272 273 275 278 281 284 287 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 419 420 422 425 427 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 271 272 273 275 278 281 284 287 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 419 420 422 425 427 431 432 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 271 272 273 275 278 281 284 287 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 419 420 422 427 431 432 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 271 272 273 275 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 419 420 422 427 432 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 271 272 273 275 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 432 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 271 272 273 275 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 454 457 462 464 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 271 272 273 275 278 280 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 462 464 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 202 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 462 464 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 82 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 462 464 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 462 464 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 450 452 453 457 464 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 452 453 457 462 464 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 452 453 457 462 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 376 378 392 396 398 399 402 404 407 410 419 420 422 425 427 431 432 436 443 448 452 453 457 462 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 246 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 376 378 392 396 398 399 402 404 410 419 420 422 425 427 431 432 436 443 448 452 453 457 462 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 376 378 392 396 398 399 402 404 410 419 420 422 425 427 431 432 436 443 448 452 453 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 77 82 85 86 87 89 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 205 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 376 378 392 396 398 399 402 404 410 419 420 422 425 427 431 432 436 443 448 452 453 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 77 82 85 86 87 89 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 359 365 369 372 376 378 392 396 398 399 402 404 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 82 85 86 87 89 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 365 369 372 376 378 392 396 398 399 402 404 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 38 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 82 85 86 87 89 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 365 369 372 376 378 392 396 398 399 402 404 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 38 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 82 85 86 87 89 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 365 369 372 376 378 392 396 398 399 402 404 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 38 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 365 369 372 376 378 392 396 398 399 402 404 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 468 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 38 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 365 369 372 376 378 392 396 398 399 402 404 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 37 38 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 132 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 376 378 392 396 398 399 402 404 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 47 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 376 378 392 396 398 399 402 404 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 131 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 376 378 392 396 398 399 402 404 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 376 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 448 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 112 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 376 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 376 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 28 29 32 36 37 38 39 42 43 44 45 52 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 351 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 431 432 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 162 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 432 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 432 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 345 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 291 292 295 296 297 299 302 306 307 310 313 315 324 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 179 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 291 292 295 296 297 299 306 307 310 313 315 324 325 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 6 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 181 182 184 185 186 191 192 194 200 201 203 211 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 181 182 184 185 186 191 192 194 200 201 203 211 214 215 217 218 224 230 231 236 239 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 86 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 181 182 184 185 186 191 192 194 200 201 203 211 212 214 215 217 218 224 230 231 236 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 110 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 181 182 184 185 186 191 192 194 200 201 203 211 212 214 215 217 218 224 230 231 236 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 174 177 181 182 184 185 186 191 192 194 200 201 203 204 211 212 214 215 217 218 224 230 231 236 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 338 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 200 201 203 204 211 212 214 215 217 218 224 230 231 236 240 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 200 203 204 211 212 214 215 217 218 224 230 231 236 240 243 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 13 17 21 23 27 29 32 36 37 38 39 42 43 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 218 224 230 231 236 240 243 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 218 224 230 231 236 240 243 247 248 251 252 268 269 271 272 273 275 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 218 224 230 231 236 240 243 247 248 251 252 268 269 271 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 65 66 67 71 73 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 231 234 236 240 243 247 248 251 252 268 269 271 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 65 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 231 234 236 240 243 247 248 251 252 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 65 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 234 236 240 243 247 248 251 252 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 177 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 234 236 240 243 247 248 251 252 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 42 43 45 52 53 58 59 64 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 234 236 240 243 247 248 251 252 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 234 236 240 243 247 248 251 252 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 315 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 215 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 378 390 392 396 398 399 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 71 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 390 392 396 398 399 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 431 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 85 87 89 96 97 106 109 117 119 120 124 125 126 128 130 136 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 10 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 85 87 89 96 97 109 117 119 120 124 125 126 128 130 136 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 85 87 89 95 96 97 109 117 119 120 124 125 126 128 130 136 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 168 170 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 85 87 89 95 96 97 109 117 119 120 124 125 126 128 130 136 139 140 142 143 145 148 149 150 152 154 155 157 165 167 168 170 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 17 21 23 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 87 89 95 96 97 109 117 119 120 124 125 126 128 130 136 139 140 142 143 145 148 149 150 152 154 155 157 165 167 168 170 171 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 87 89 95 96 97 109 117 119 120 124 125 126 128 130 136 139 140 142 143 145 148 149 150 152 154 155 157 165 167 168 170 171 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 67 73 74 77 87 89 95 96 97 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 170 171 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 73 74 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 170 171 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 73 74 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 453 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 182 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 52 53 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 53 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 249 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 291 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 53 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 249 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 313 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 224 230 234 236 240 243 247 248 249 251 252 255 261 268 269 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 219 224 230 234 236 240 243 247 248 249 251 252 255 261 268 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 219 224 230 234 236 240 243 247 248 249 251 255 261 268 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 348 349 356 361 369 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 174 181 184 185 186 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 348 349 356 361 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 139 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 174 181 184 185 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 174 181 184 185 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 436 437 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 27 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 181 184 185 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 434 436 437 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 181 184 185 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 430 433 434 436 437 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 181 184 185 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 462 466 467 a 1 2 5 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 181 185 191 192 194 195 200 203 204 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 459 462 466 467 a 1 2 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 152 154 155 157 158 165 167 168 171 172 173 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 459 462 466 467 a 1 2 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 140 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 459 462 466 467 a 1 2 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 459 462 466 467 a 1 2 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 87 89 95 96 97 108 109 117 119 120 125 126 128 130 136 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 459 462 466 467 a 1 2 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 130 136 137 143 145 148 149 150 154 155 157 158 165 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 452 454 456 457 459 462 466 467 a 1 2 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 130 136 137 143 145 148 149 150 151 154 155 157 158 165 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 130 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 427 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 17 21 29 31 32 36 37 38 39 43 45 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 423 425 427 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 17 21 29 31 32 36 37 38 39 40 43 45 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 32 33 36 37 38 39 40 43 45 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 284 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 318 322 324 325 326 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 404 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 356 361 372 377 378 386 390 396 398 399 401 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 372 377 378 386 390 396 398 399 401 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 17 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 155 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 200 203 204 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 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 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 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 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 413 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 108 109 117 119 120 125 126 128 135 136 137 143 145 148 149 150 151 154 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 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 411 413 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 101 108 109 117 120 125 126 128 135 136 137 143 145 148 149 150 151 154 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 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 411 413 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 89 95 96 97 101 108 109 117 120 125 126 128 135 136 137 143 145 148 149 150 151 154 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 289 292 293 295 296 297 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 84 89 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 289 292 293 295 296 297 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 84 89 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 289 292 293 295 296 297 306 307 310 318 322 324 325 326 327 330 333 344 347 348 349 353 356 361 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 8 9 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 59 64 66 73 74 77 78 84 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 289 292 293 295 296 297 306 307 310 318 322 324 325 326 327 330 333 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 447 454 456 457 459 462 466 467 a 1 8 9 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 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 289 292 293 295 296 297 306 307 310 318 322 324 325 326 327 333 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 447 454 456 457 459 462 466 467 a 1 8 9 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 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 289 292 293 295 296 297 306 307 318 322 324 325 326 327 333 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 a 1 8 9 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 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 289 292 293 295 296 297 306 307 318 322 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 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 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 289 292 293 295 296 297 306 307 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 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 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 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 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): 574.06 System time (seconds): 7.75 Percent of CPU this job got: 156% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:12.81 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): 23330004 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7464867 Voluntary context switches: 698898 Involuntary context switches: 2298 Swaps: 0 File system inputs: 0 File system outputs: 984 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:01:19 2023]