#BEGIN: [Mon Sep 4 13:49:09 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance033_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance033_graph003.col /benchmark/random_instance/random_instance033_graph003_01.dat c /benchmark/random_instance/random_instance033_graph003.col c /benchmark/random_instance/random_instance033_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 112 368 382 356 385 202 328 408 80 74 379 65 211 52 360 227 172 128 380 417 288 299 383 373 406 298 105 366 400 169 200 308 63 44 339 118 135 64 255 141 207 390 413 27 324 183 402 278 226 182 155 223 419 274 201 358 246 133 258 350 190 126 18 271 134 216 98 22 310 302 139 388 394 157 338 391 363 163 51 146 100 284 124 218 129 164 409 73 322 334 353 119 1 306 97 377 319 60 46 147 131 84 365 224 270 285 230 347 148 424 330 210 180 48 208 40 315 123 20 428 272 156 235 59 340 34 410 372 t 97 251 134 325 127 328 204 427 209 75 400 412 351 143 381 173 345 117 176 330 382 10 113 358 73 298 130 396 399 329 249 86 402 48 243 175 135 355 352 398 391 306 91 270 136 124 353 403 119 409 12 40 260 413 390 334 379 70 79 174 332 372 16 26 59 141 132 319 322 162 393 57 140 315 47 52 50 296 221 310 23 307 81 151 67 262 235 166 277 276 375 238 256 316 111 272 28 206 78 365 211 41 401 18 223 373 122 147 428 246 148 156 280 11 374 88 1 227 131 218 19 105 51 44 85 184 181 118 a YES a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 306 308 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 140 141 146 147 148 155 156 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 140 141 146 147 148 155 156 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 319 322 324 328 330 334 338 339 340 346 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 140 141 146 147 155 156 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 319 322 324 328 330 334 338 339 340 346 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 97 98 100 105 112 118 119 123 124 126 128 129 131 133 134 135 139 140 141 146 147 155 156 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 319 322 324 328 330 334 338 339 340 346 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 97 98 100 105 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 146 147 155 156 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 319 322 324 328 330 334 338 339 340 346 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 97 98 100 105 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 146 147 155 156 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 97 98 100 105 112 117 118 119 123 124 126 128 129 131 133 134 135 141 146 147 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 97 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 146 147 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 97 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 146 147 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 319 322 324 328 330 334 338 339 340 347 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 97 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 146 147 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 319 322 324 328 330 334 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 146 147 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 319 322 324 328 330 334 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 319 322 324 328 330 334 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 4 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 322 324 328 330 334 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 4 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 4 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 299 302 305 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 4 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 299 302 305 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 4 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 1 4 18 20 22 25 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 146 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 1 4 16 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 4 16 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 424 428 a 4 16 18 20 22 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 90 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 310 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 140 141 147 155 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 155 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 377 379 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 43 44 46 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 155 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 428 a 4 16 18 20 22 25 27 34 35 40 43 44 46 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 155 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 a 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 155 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 318 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 a 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 274 278 284 285 288 298 299 302 305 306 308 315 318 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 a 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 278 284 285 288 298 299 302 305 306 308 315 318 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 278 284 285 288 298 299 302 306 308 315 318 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 147 149 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 417 419 424 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 147 149 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 419 424 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 147 149 155 157 163 164 166 169 172 180 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 419 424 428 a 1 4 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 146 147 149 155 157 163 164 166 169 172 180 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 408 409 410 419 424 428 a 1 4 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 146 147 149 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 408 409 410 419 424 428 a 1 4 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 146 147 149 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 409 410 419 424 428 a 1 4 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 146 147 149 155 157 163 164 166 169 172 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 410 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 147 149 155 157 163 164 166 169 172 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 410 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 74 80 84 88 98 100 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 147 149 155 157 163 164 166 169 172 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 410 417 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 74 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 147 149 155 157 163 164 166 169 172 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 410 417 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 74 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 157 163 164 166 169 172 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 410 417 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 157 163 164 166 169 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 410 417 419 424 428 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 74 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 410 417 419 424 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 410 417 419 424 a 1 4 16 18 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 406 410 417 424 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 410 417 424 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 188 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 400 402 410 417 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 284 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 410 417 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 155 157 163 164 166 169 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 410 417 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 157 163 164 166 169 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 410 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 410 428 a 1 4 16 18 19 20 22 25 27 34 35 40 43 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 285 288 298 299 302 306 308 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 409 428 a 1 4 16 18 19 20 22 25 27 34 35 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 285 288 298 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 409 428 a 1 4 16 18 19 20 22 25 27 35 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 400 402 409 428 a 1 4 16 18 19 20 22 25 27 35 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 299 302 306 308 310 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 35 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 302 306 308 310 315 318 319 322 324 328 330 338 339 340 346 350 352 353 356 358 360 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 35 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 302 306 308 310 315 318 319 322 324 328 330 338 340 346 350 352 353 356 358 360 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 35 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 302 306 308 310 315 318 319 322 324 328 330 338 340 346 350 352 353 356 358 360 365 366 372 373 377 379 380 382 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 302 306 308 310 315 318 319 322 324 328 330 334 338 340 346 350 352 353 356 358 360 365 366 372 373 377 379 380 382 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 44 46 48 51 52 59 60 63 64 65 72 73 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 302 306 307 308 310 315 318 319 322 324 328 330 334 338 340 346 350 352 353 358 360 365 366 372 373 377 379 380 382 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 44 46 48 50 51 52 59 60 63 64 65 72 73 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 338 340 346 350 352 353 358 360 365 366 372 373 377 379 380 382 385 388 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 44 46 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 129 131 133 134 135 140 141 147 149 151 155 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 338 340 346 350 352 353 358 360 365 366 372 373 377 379 380 382 385 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 44 46 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 338 340 346 350 352 353 358 360 365 366 372 373 377 379 380 382 385 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 163 164 166 169 175 180 182 183 190 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 338 340 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 163 164 166 169 175 180 182 183 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 246 250 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 338 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 163 164 166 169 175 180 182 183 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 238 246 250 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 163 164 166 169 175 180 182 183 200 201 202 207 208 210 211 216 218 221 223 224 226 227 230 232 235 238 246 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 163 164 166 169 175 180 182 183 200 201 207 208 210 211 216 218 221 223 224 226 227 230 232 235 238 246 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 64 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 162 163 164 166 169 175 180 182 200 201 207 208 210 211 216 218 221 223 224 226 227 230 232 235 238 246 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 162 163 164 166 169 175 180 182 200 201 207 208 210 211 216 218 221 223 224 226 227 230 232 235 238 246 255 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 155 156 162 163 164 166 169 175 180 182 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 156 162 163 164 166 169 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 352 353 358 360 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 156 162 163 164 166 169 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 258 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 366 372 373 377 379 380 382 390 391 393 394 396 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 140 141 147 149 151 156 162 163 164 166 169 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 366 372 373 377 379 380 382 390 391 393 394 396 399 400 402 403 409 428 a 1 4 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 147 149 151 156 162 163 164 166 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 366 372 373 377 379 380 382 390 391 393 394 396 399 400 402 403 409 428 a 1 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 147 149 151 156 162 163 164 166 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 366 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 63 65 72 73 75 80 84 86 88 91 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 147 149 151 156 162 163 164 166 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 86 88 91 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 180 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 11 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 86 88 91 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 318 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 11 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 200 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 270 271 272 277 278 280 285 288 298 306 307 308 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 11 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 201 207 208 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 260 270 271 272 277 278 280 285 288 298 306 307 308 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 11 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 201 207 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 260 270 271 272 277 278 280 285 288 298 306 307 308 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 11 16 18 19 20 22 25 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 201 207 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 260 270 271 272 277 278 280 285 288 298 306 307 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 428 a 1 11 16 18 19 20 22 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 201 207 210 211 216 218 221 223 224 226 227 230 235 238 246 255 256 260 270 271 272 277 278 280 285 288 298 306 307 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 413 428 a 1 11 16 18 19 20 22 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 201 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 255 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 413 428 a 1 11 12 16 18 19 20 22 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 255 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 324 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 413 428 a 1 11 12 16 18 19 20 22 27 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 255 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 413 428 a 1 11 12 16 18 19 20 22 27 28 40 41 44 46 47 48 50 51 52 59 60 65 72 73 75 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 413 428 a 1 11 12 16 18 19 20 22 27 28 40 41 44 46 47 48 50 51 52 59 60 72 73 75 79 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 394 396 398 399 400 402 403 409 413 428 a 1 11 12 16 18 19 20 22 27 28 40 41 44 46 47 48 50 51 52 59 60 72 73 75 79 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 133 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 22 27 28 40 41 44 46 47 48 50 51 52 59 60 72 73 75 79 80 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 22 27 28 40 41 44 46 47 48 50 51 52 59 60 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 27 28 40 41 44 46 47 48 50 51 52 57 59 60 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 350 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 27 28 40 41 44 46 47 48 50 51 52 57 59 60 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 206 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 351 352 353 355 358 365 372 373 377 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 27 28 40 41 44 46 47 48 50 51 52 57 59 60 67 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 206 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 334 340 345 346 351 352 353 355 358 365 372 373 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 27 28 40 41 44 46 47 48 50 51 52 57 59 60 67 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 206 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 182 184 206 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 149 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 296 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 224 226 227 230 235 238 243 246 251 256 260 270 272 277 278 280 285 288 296 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 413 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 72 73 75 79 84 85 86 88 91 97 98 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 224 226 227 235 238 243 246 251 256 260 270 272 277 278 280 285 288 296 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 72 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 224 226 227 235 238 243 246 251 256 260 270 272 277 278 280 285 288 296 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 224 226 227 235 238 243 246 251 256 260 270 272 277 278 280 285 288 296 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 277 278 280 285 288 296 298 306 307 310 315 319 322 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 123 124 126 127 128 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 206 207 210 211 216 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 277 278 280 288 296 298 306 307 310 315 319 322 325 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 128 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 206 207 209 210 211 216 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 277 278 280 288 296 298 306 307 310 315 319 322 325 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 206 207 209 210 211 216 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 277 278 280 288 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 204 206 207 209 210 211 216 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 277 278 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 346 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 204 206 207 209 210 211 216 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 276 277 278 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 23 28 40 41 44 46 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 184 204 206 207 209 210 211 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 276 277 278 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 20 23 28 40 41 44 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 210 211 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 276 277 278 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 28 40 41 44 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 210 211 218 221 223 226 227 235 238 243 246 249 251 256 260 270 272 276 277 278 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 210 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 278 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 67 70 73 75 79 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 210 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 91 97 105 111 112 113 117 118 119 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 210 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 84 85 86 88 91 97 105 111 112 113 117 118 119 122 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 79 81 85 86 88 91 97 105 111 112 113 117 118 119 122 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 207 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 112 113 117 118 119 122 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 380 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 112 113 117 118 119 122 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 173 174 175 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 112 113 117 118 119 122 124 126 127 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 173 174 175 176 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 112 113 117 118 119 122 124 127 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 173 174 175 176 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 173 174 175 176 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 a 1 10 11 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 67 70 73 75 78 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 181 184 204 206 209 211 218 221 223 227 235 238 243 246 249 251 256 260 262 270 272 276 277 280 296 298 306 307 310 315 316 319 322 325 328 329 330 332 334 345 351 352 353 355 358 365 372 373 374 375 379 381 382 390 391 393 396 398 399 400 401 402 403 409 412 413 427 428 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance033_graph003.col /benchmark/random_instance/random_instance033_graph003_01.dat" User time (seconds): 361.38 System time (seconds): 3.37 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.78 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): 11734352 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3999782 Voluntary context switches: 26 Involuntary context switches: 2166 Swaps: 0 File system inputs: 0 File system outputs: 832 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:55:15 2023]