#BEGIN: [Mon Sep 4 12:28:45 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance035_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat c /benchmark/random_instance/random_instance035_graph005.col c /benchmark/random_instance/random_instance035_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.005 seconds s 247 287 454 339 220 442 177 413 342 240 120 318 409 90 261 392 160 368 33 331 153 129 102 135 130 415 212 150 29 105 27 372 296 98 148 273 350 117 448 383 31 80 311 45 14 401 88 242 52 281 229 32 151 40 233 149 434 30 46 243 352 400 316 265 386 48 422 56 89 162 340 180 445 306 22 317 360 113 87 439 115 314 77 196 449 355 208 75 335 337 11 44 225 312 347 18 23 387 310 195 55 63 72 133 259 4 61 421 344 275 237 395 101 183 201 249 207 84 17 125 154 412 278 235 66 437 356 12 107 388 222 285 405 263 277 131 215 96 198 142 91 443 330 236 86 435 t 233 260 309 181 72 331 341 160 247 315 434 442 97 244 84 428 11 263 79 430 75 344 144 318 452 212 302 164 158 279 83 295 455 123 449 325 425 206 352 28 190 286 358 135 328 345 174 272 59 30 169 300 448 199 365 202 395 29 128 227 215 327 101 320 74 234 96 435 297 256 249 241 376 177 369 346 303 159 290 299 270 116 156 228 176 139 56 173 417 304 427 70 137 141 218 55 373 145 130 441 356 287 26 370 200 189 143 408 252 109 384 25 273 125 387 222 121 36 433 80 355 381 232 278 406 46 17 359 47 188 16 69 437 195 86 237 440 317 334 277 316 338 149 275 383 337 a YES a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 356 360 368 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 356 360 368 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 356 360 368 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 287 296 306 309 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 296 306 309 310 311 312 314 316 317 318 323 330 331 335 337 339 340 342 344 347 350 352 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 296 306 309 310 311 312 314 316 317 318 323 330 331 335 337 339 340 342 344 346 347 350 352 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 296 306 310 311 312 314 316 317 318 323 330 331 335 337 339 340 342 344 346 347 350 352 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 152 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 287 296 306 310 311 312 314 316 317 318 323 330 331 335 337 339 340 342 344 346 347 352 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 287 296 306 310 311 312 314 316 317 318 323 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 287 296 310 311 312 314 316 317 318 323 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 282 285 287 296 310 311 312 314 316 317 318 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 282 285 287 296 310 311 312 314 316 317 318 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 282 285 287 296 310 311 312 314 316 317 318 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 282 285 287 296 310 311 312 314 316 317 318 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 a 4 9 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 a 4 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 a 4 11 12 16 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 445 448 449 a 4 11 12 16 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 379 383 386 388 392 395 400 401 402 405 409 412 413 415 421 422 434 435 437 439 442 448 449 a 4 11 12 16 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 401 402 405 409 412 413 415 421 422 434 435 437 439 442 448 449 a 4 11 12 16 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 401 402 405 409 412 413 415 421 422 434 435 437 439 443 448 449 a 4 11 12 16 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 443 448 449 454 a 4 11 12 16 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 443 448 449 454 a 4 11 12 16 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 11 12 16 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 211 212 215 220 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 16 17 18 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 211 212 215 220 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 451 454 a 4 11 16 17 18 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 201 207 208 211 212 215 220 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 451 454 a 4 11 16 17 18 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 33 40 44 45 46 48 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 215 220 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 33 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 33 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 249 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 402 405 409 412 413 415 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 33 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 249 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 405 409 412 413 415 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 249 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 368 372 383 386 388 392 395 400 405 409 412 413 415 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 244 249 261 263 265 273 275 276 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 244 249 261 263 265 273 275 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 162 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 244 249 261 263 265 273 275 277 278 280 281 282 285 287 296 306 310 311 312 314 316 317 318 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 244 249 261 263 265 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 316 317 318 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 422 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 244 249 252 261 263 265 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 316 317 318 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 439 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 229 233 235 236 237 240 242 243 244 249 252 261 263 265 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 316 317 318 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 105 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 233 235 236 237 240 242 243 244 249 252 261 263 265 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 316 317 318 323 324 325 330 331 335 337 339 340 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 233 235 236 237 240 242 243 244 249 252 261 263 265 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 233 235 236 237 240 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 451 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 207 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 310 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 49 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 202 207 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 360 372 383 386 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 202 207 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 360 372 383 386 387 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 52 55 56 59 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 360 372 383 386 387 388 392 395 400 405 409 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 52 55 56 59 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 180 183 195 196 198 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 383 386 387 388 392 395 400 405 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 52 55 56 59 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 383 384 386 387 388 392 395 400 405 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 23 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 383 384 386 387 388 392 395 400 405 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 115 117 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 376 383 384 386 387 388 392 395 400 405 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 115 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 323 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 376 383 384 386 387 388 392 395 400 405 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 115 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 376 383 384 386 387 388 392 395 400 405 412 413 415 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 115 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 376 383 384 386 387 388 392 395 400 405 406 412 413 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 372 376 383 384 386 387 388 392 395 400 405 406 412 413 417 421 433 434 435 437 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 107 113 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 376 383 384 386 387 388 392 395 400 405 406 412 413 417 421 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 113 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 360 376 383 384 386 387 388 392 395 400 405 406 412 413 417 421 427 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 113 116 120 123 125 129 130 131 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 113 116 120 123 125 129 130 133 135 142 145 148 149 150 151 153 154 176 177 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 113 116 120 123 125 129 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 242 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 120 123 125 129 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 123 125 129 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 235 236 237 240 241 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 123 125 129 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 208 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 27 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 123 125 129 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 27 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 249 252 261 263 273 275 277 278 280 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 27 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 247 249 252 261 263 273 275 277 278 281 282 285 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 27 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 90 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 27 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 206 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 201 202 206 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 299 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 202 206 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 299 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 338 339 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 88 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 202 206 211 212 215 220 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 299 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 88 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 299 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 282 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 160 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 330 331 334 335 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 160 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 281 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 160 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 240 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 160 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 392 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 113 116 123 125 130 133 135 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 445 448 449 a 4 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 376 383 384 386 387 388 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 445 448 449 a 11 16 17 18 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 369 376 383 384 386 387 388 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 445 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 89 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 346 347 352 355 356 358 359 360 369 376 383 384 386 387 388 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 360 369 376 383 384 386 387 388 395 400 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 360 369 376 383 384 386 387 388 395 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 183 195 196 198 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 195 196 198 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 413 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 47 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 195 196 198 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 47 52 55 56 59 61 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 18 25 26 29 30 31 40 44 45 46 47 52 55 56 59 69 70 72 75 77 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 25 26 29 30 31 40 44 45 46 47 52 55 56 59 69 70 72 74 75 77 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 52 55 56 59 69 70 72 74 75 77 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 225 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 52 55 56 59 69 70 72 74 75 77 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 52 55 56 59 69 70 72 74 75 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 386 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 52 55 56 59 69 70 72 74 75 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 443 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 52 55 56 59 69 70 72 74 75 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 159 160 169 173 176 177 181 195 196 199 200 202 206 211 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 52 55 56 59 69 70 72 74 75 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 159 160 169 173 176 177 181 195 196 199 200 202 206 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 148 149 151 153 154 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 149 151 153 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 a 11 16 17 25 26 28 29 30 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 142 143 145 149 151 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 142 143 145 149 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 421 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 142 143 145 149 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 232 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 330 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 142 143 145 149 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 232 233 234 235 236 237 241 243 244 247 249 252 260 263 273 275 277 278 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 142 143 145 149 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 243 244 247 249 252 260 263 273 275 277 278 279 285 286 287 296 297 299 300 302 303 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 143 145 149 154 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 243 244 247 249 252 260 263 273 275 277 278 279 285 286 287 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 388 395 405 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 143 145 149 154 156 158 159 160 169 173 176 177 181 190 195 196 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 243 244 247 249 252 260 263 273 275 277 278 279 285 286 287 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 405 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 143 145 149 154 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 285 286 287 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 405 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 143 144 145 149 154 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 285 286 287 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 101 102 109 116 121 123 125 130 133 135 137 141 143 144 145 149 154 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 244 247 249 252 260 263 272 273 275 277 278 279 285 286 287 295 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 102 109 116 121 123 125 130 133 135 137 141 143 144 145 149 154 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 244 247 249 252 260 263 272 273 275 277 278 279 285 286 287 295 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 154 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 244 247 249 252 260 263 270 272 273 275 277 278 279 285 286 287 295 296 297 299 300 302 303 304 306 309 311 312 314 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 154 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 296 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 40 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 296 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 296 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 91 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 96 97 101 109 116 121 123 125 130 133 135 137 141 143 144 145 149 156 158 159 160 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 306 309 315 316 317 318 320 324 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 96 97 101 109 116 121 123 125 130 133 135 137 139 141 143 144 145 149 156 158 159 160 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 306 309 315 316 317 318 320 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 96 97 101 109 116 121 123 125 130 133 135 137 139 141 143 144 145 149 156 158 159 160 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 87 96 97 101 109 116 121 123 125 130 135 137 139 141 143 144 145 149 156 158 159 160 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 130 135 137 139 141 143 144 145 149 156 158 159 160 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 235 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 331 334 337 338 340 341 342 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 331 334 337 338 341 342 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat" User time (seconds): 546.84 System time (seconds): 5.46 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.30 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): 14606944 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4912902 Voluntary context switches: 459877 Involuntary context switches: 2244 Swaps: 0 File system inputs: 0 File system outputs: 936 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:34:51 2023]