#BEGIN: [Mon Sep 4 12:24:08 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds 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 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 113 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 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 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 112 113 118 119 123 124 126 128 129 131 133 134 139 141 146 147 148 155 156 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 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 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 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 44 46 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 285 288 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 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 285 288 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 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 285 288 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 421 424 a 1 10 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 246 255 258 270 271 272 274 278 285 288 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 421 424 a 1 10 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 306 308 310 315 319 322 324 328 330 334 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 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 306 308 310 315 319 322 324 328 330 334 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 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 315 319 322 324 328 330 334 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 421 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 315 319 322 324 328 330 334 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 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 271 272 274 278 285 288 299 302 304 306 308 310 315 319 322 324 328 330 334 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 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 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 271 272 274 278 285 288 299 302 304 306 308 310 315 319 322 324 328 330 334 339 340 347 350 353 356 357 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 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 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 319 322 324 328 330 334 339 340 347 350 353 356 357 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 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 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 378 379 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 419 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 75 80 84 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 378 379 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 419 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 75 80 84 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 378 379 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 419 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 75 80 84 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 378 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 419 421 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 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 378 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 419 421 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 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 421 a 1 18 20 22 27 34 40 44 48 51 52 59 60 63 64 65 73 74 80 84 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 228 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 421 a 1 18 20 22 27 34 40 44 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 228 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 a 1 18 20 22 27 34 40 44 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 228 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 419 424 a 1 18 20 22 27 34 40 44 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 140 141 145 146 147 148 155 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 228 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 421 424 a 1 18 20 22 27 34 40 44 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 228 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 141 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 394 400 402 406 408 409 410 413 417 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 393 394 400 402 408 409 410 413 417 421 424 a 1 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 393 394 400 402 408 409 410 413 417 419 421 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 390 391 393 394 400 402 408 409 410 413 417 419 421 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 393 394 400 402 408 409 410 413 417 419 421 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 84 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 421 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 421 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 172 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 421 424 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 305 306 308 310 312 313 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 380 382 383 385 388 390 391 394 400 402 406 408 409 410 413 417 419 421 424 a 18 20 22 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 305 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 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 421 424 a 18 20 22 25 27 34 40 44 46 48 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 305 306 308 310 313 319 322 324 328 330 334 339 340 347 350 353 356 357 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 421 424 a 18 20 22 25 27 34 40 43 44 46 48 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 302 304 305 306 308 313 319 322 324 328 330 334 339 340 347 350 353 356 357 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 421 424 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 93 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 304 305 306 308 313 319 322 324 328 330 334 339 340 347 350 353 356 357 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 421 424 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 304 305 306 308 313 315 319 322 324 328 330 334 339 340 347 350 353 356 357 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 421 424 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 138 139 145 146 147 148 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 304 305 306 308 313 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 368 372 373 377 379 380 382 383 385 388 390 391 394 402 406 408 409 410 417 419 421 424 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 138 139 145 146 147 148 151 155 157 163 164 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 304 305 306 308 313 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 402 406 408 409 410 417 419 421 424 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 138 139 145 146 147 148 151 155 157 163 164 166 169 180 182 183 190 200 201 202 207 208 210 211 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 305 306 308 313 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 402 406 408 409 410 417 419 421 424 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 138 139 145 146 147 148 151 155 157 163 164 166 169 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 305 306 308 313 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 402 406 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 305 306 308 313 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 394 402 406 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 224 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 305 306 308 313 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 402 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 305 306 308 313 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 402 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 80 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 246 255 258 270 271 272 274 278 285 288 299 305 306 308 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 402 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 48 50 51 52 59 60 63 64 65 73 74 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 299 305 306 308 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 385 388 390 391 393 394 402 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 299 305 306 308 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 299 305 306 315 319 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 419 421 a 18 20 22 25 27 34 40 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 299 305 306 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 419 a 18 20 22 25 27 34 40 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 175 180 182 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 299 305 306 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 a 18 20 22 25 27 34 40 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 299 305 306 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 a 18 22 25 27 34 40 41 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 217 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 299 305 306 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 a 18 22 25 27 34 40 41 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 299 305 306 315 319 322 324 328 330 334 339 340 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 428 a 18 22 25 27 34 40 41 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 299 305 306 315 319 322 324 328 330 334 339 347 350 353 356 357 358 360 363 365 366 372 373 377 379 380 382 383 388 390 391 393 394 402 408 409 410 417 428 a 18 22 25 27 34 40 41 43 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 299 305 306 315 319 322 324 328 330 334 339 347 350 353 356 357 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 218 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 299 305 306 310 315 319 322 324 328 330 334 339 347 350 353 356 357 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 202 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 305 306 310 315 319 322 324 328 330 334 339 347 350 353 356 357 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 163 164 166 169 172 175 180 183 190 200 201 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 305 306 310 315 319 322 324 328 330 334 339 347 350 353 356 357 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 162 163 164 166 169 172 175 180 183 190 200 201 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 278 285 288 296 305 306 310 315 319 322 324 328 330 334 339 347 350 353 356 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 162 163 164 166 169 172 175 180 190 200 201 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 285 288 296 305 306 310 315 319 322 324 328 330 334 339 347 350 353 356 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 162 163 164 166 169 172 175 180 190 200 201 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 285 288 296 305 306 307 310 315 319 322 324 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 410 417 428 a 18 22 25 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 162 163 164 166 169 172 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 285 296 305 306 307 310 315 319 322 324 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 410 417 428 a 18 22 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 157 162 163 164 166 169 172 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 285 296 305 306 307 310 315 319 322 324 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 410 413 417 428 a 18 22 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 285 296 305 306 307 310 315 319 322 324 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 18 22 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 174 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 255 258 270 271 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 18 22 27 34 40 41 44 46 47 48 50 51 52 59 60 63 64 65 73 74 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 174 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 258 270 271 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 174 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 258 270 271 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 97 98 100 105 110 112 113 118 119 123 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 174 175 180 190 200 201 204 207 208 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 97 98 100 105 110 112 113 118 119 124 126 128 129 131 133 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 97 98 100 105 110 112 113 118 119 124 126 128 129 131 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 169 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 91 97 98 100 105 110 112 113 118 119 124 126 128 129 131 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 138 139 141 145 146 147 148 151 155 156 157 162 163 164 166 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 141 145 146 147 148 151 156 157 162 163 164 166 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 145 146 147 148 151 156 162 163 164 166 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 274 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 145 146 147 148 151 156 162 163 164 166 172 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 19 22 27 34 40 41 44 47 48 50 51 52 59 60 63 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 145 146 147 148 151 156 162 163 164 166 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 19 22 27 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 19 22 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 388 390 391 393 394 401 402 403 408 409 413 417 428 a 10 18 19 22 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 190 200 201 204 207 208 209 210 211 212 216 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 388 390 391 393 401 402 403 408 409 413 417 428 a 10 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 190 200 201 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 388 390 391 393 401 402 403 408 409 413 417 428 a 10 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 190 200 201 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 390 391 393 398 401 402 403 408 409 413 417 428 a 10 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 390 391 393 398 401 402 403 408 409 413 417 428 a 10 12 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 90 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 390 391 393 398 401 402 403 409 413 417 428 a 10 12 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 339 347 350 352 353 358 360 363 365 372 373 375 377 379 380 382 383 390 391 393 398 401 402 403 409 413 417 428 a 10 12 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 138 139 140 141 143 145 146 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 347 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 383 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 138 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 347 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 383 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 65 73 74 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 138 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 347 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 138 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 347 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 34 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 347 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 28 34 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 285 296 305 306 307 310 315 319 322 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 28 34 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 212 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 296 305 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 28 34 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 296 305 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 128 129 131 134 135 136 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 305 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 417 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 127 128 129 131 134 135 136 139 140 141 143 145 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 305 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 73 74 79 81 85 86 88 91 97 98 105 110 112 113 118 119 124 126 127 128 129 131 134 135 136 139 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 298 305 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 73 74 75 79 81 85 86 88 91 97 98 105 112 113 118 119 124 126 127 128 129 131 134 135 136 139 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 298 305 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 73 74 75 79 81 85 86 88 91 97 98 105 112 113 118 119 124 126 127 128 129 131 134 135 136 139 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 70 73 74 75 79 81 85 86 88 91 97 98 105 112 113 118 119 124 126 127 128 129 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 70 73 74 75 79 81 85 86 88 91 97 98 105 113 118 119 124 126 127 128 129 130 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 377 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 118 119 124 126 127 128 129 130 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 230 235 238 243 246 249 251 258 270 272 277 278 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 226 227 235 238 243 246 249 251 258 270 272 277 278 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 258 270 272 277 278 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 258 270 272 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 350 351 352 353 358 360 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 22 23 26 28 40 41 44 47 48 50 51 52 59 60 64 67 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 258 270 272 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 360 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 64 67 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 258 270 272 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 360 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 64 67 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 258 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 363 365 372 373 375 379 380 382 390 391 393 398 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 64 67 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 363 365 372 373 375 379 380 382 390 391 393 398 399 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 64 67 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 200 204 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 64 67 70 73 74 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 204 206 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 64 67 70 73 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 204 206 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 330 332 334 351 352 353 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 413 427 428 a 1 10 12 16 18 19 23 26 28 40 41 44 47 48 50 51 52 57 59 60 67 70 73 75 79 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 129 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 204 206 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 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 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 163 164 166 174 175 180 181 184 190 204 206 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 358 365 372 373 375 379 380 382 390 391 393 396 398 399 400 401 402 403 409 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 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 207 208 209 210 211 218 221 223 227 235 238 243 246 249 251 260 270 272 276 277 280 296 298 306 307 310 315 319 322 325 328 329 330 332 334 351 352 353 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 81 85 86 88 91 97 98 105 111 113 117 118 119 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 207 208 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 319 322 325 328 329 330 332 334 351 352 353 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 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 207 208 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 319 322 325 328 329 330 332 334 351 352 353 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 113 117 118 119 122 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 204 206 207 208 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 319 322 325 328 329 330 332 334 351 352 353 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 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 181 184 190 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 319 322 325 328 329 330 332 334 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 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 128 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 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 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 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 180 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 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 174 175 176 180 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 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 79 81 85 86 88 91 97 105 111 113 117 118 119 122 124 126 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 164 166 173 174 175 176 180 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 113 117 118 119 122 124 126 127 130 131 132 134 135 136 140 141 143 147 148 151 156 162 166 173 174 175 176 180 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 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 180 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 -t4 /benchmark/random_instance/random_instance033_graph003.col /benchmark/random_instance/random_instance033_graph003_01.dat" User time (seconds): 546.95 System time (seconds): 10.64 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.77 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): 11709480 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4099094 Voluntary context switches: 3552454 Involuntary context switches: 2499 Swaps: 0 File system inputs: 0 File system outputs: 840 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:30:15 2023]