#BEGIN: [Mon Sep 4 11:29:20 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #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 /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): INTERRUPTED by signal! 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 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 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 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 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 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 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 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 249 259 261 263 265 273 275 277 278 280 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 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 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 249 250 259 261 263 265 273 275 277 278 280 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 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 249 250 259 261 263 265 273 275 277 278 280 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 249 259 261 263 265 273 275 277 278 280 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 249 259 261 263 265 273 275 277 278 280 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 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 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 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 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 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 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 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 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 199 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 379 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 199 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 162 177 180 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 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 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 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 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 445 448 449 454 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 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 445 448 449 454 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 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 340 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 340 347 350 352 355 356 360 368 372 375 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 340 347 350 352 355 356 360 368 372 375 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 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 324 330 331 335 339 340 347 350 352 355 356 360 368 372 375 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 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 324 330 331 335 339 340 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 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 324 331 335 337 339 340 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 331 335 337 339 340 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 118 120 125 129 130 131 133 135 142 148 149 151 153 154 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 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 324 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 118 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 118 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 330 331 335 337 339 346 347 350 352 355 356 360 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 61 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 330 331 335 337 339 346 347 350 352 355 356 360 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 148 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 330 331 335 337 339 340 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 145 148 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 330 331 335 337 339 340 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 145 148 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 434 435 437 439 442 443 448 449 454 a 4 8 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 145 148 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 143 145 148 151 153 154 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 386 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 115 120 125 129 130 131 133 135 142 143 145 148 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 120 125 129 130 131 133 135 142 143 145 148 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 309 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 27 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 120 125 130 131 133 135 142 143 145 148 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 309 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 229 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 309 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 265 273 275 277 278 280 281 285 287 296 309 310 311 312 314 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 29 30 31 33 40 44 45 46 48 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 273 275 277 278 280 281 285 287 296 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 273 275 277 278 280 281 285 287 296 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 183 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 273 275 277 278 280 281 285 287 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 373 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 18 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 373 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 350 352 355 356 360 368 372 373 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 352 355 356 360 368 372 373 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 244 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 443 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 244 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 401 405 409 410 413 415 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 235 236 237 240 242 243 244 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 324 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 409 410 413 415 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 66 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 235 236 237 240 241 242 243 244 249 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 409 410 413 415 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 235 236 237 240 241 242 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 409 410 413 415 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 409 410 413 415 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 413 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 120 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 299 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 63 72 74 75 77 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 234 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 299 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 91 96 98 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 195 196 198 199 200 201 204 207 208 212 215 220 222 233 234 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 299 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 96 98 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 204 207 208 212 215 220 222 233 234 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 299 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 204 207 208 212 215 220 222 233 234 235 236 237 240 241 243 244 249 252 259 261 263 273 275 277 278 280 281 285 287 297 299 303 309 310 311 312 314 315 316 317 318 328 330 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 204 207 208 212 215 220 222 233 234 235 236 237 240 241 243 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 297 299 303 309 310 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 204 207 208 212 215 220 222 233 234 235 236 237 240 241 243 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 297 299 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 49 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 202 204 207 208 212 215 222 233 234 235 236 237 240 241 243 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 297 299 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 72 74 75 77 79 80 82 84 86 87 89 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 202 204 207 208 212 215 222 233 234 235 236 237 240 241 243 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 297 299 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 387 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 159 160 162 177 180 181 188 195 196 198 199 200 201 202 204 207 208 212 215 222 233 234 235 236 237 240 241 243 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 387 388 392 395 400 405 406 409 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 156 159 160 162 177 180 181 188 195 196 198 199 200 201 202 204 207 208 212 215 222 233 234 235 236 237 240 241 243 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 156 159 160 162 177 180 181 188 195 196 198 199 200 201 202 204 207 208 212 215 222 233 234 235 236 237 240 241 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 156 159 160 162 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 222 233 234 235 236 237 240 241 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 439 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 113 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 156 159 160 162 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 222 233 234 235 236 237 240 241 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 156 159 160 162 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 222 233 234 235 236 237 240 241 244 249 252 259 260 261 263 273 275 277 278 280 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 142 143 145 148 149 151 153 154 156 159 160 162 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 222 233 234 235 236 237 240 241 244 247 249 252 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 142 143 145 148 149 151 154 156 159 160 162 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 222 233 234 235 236 237 240 241 244 247 249 252 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 142 143 145 148 149 151 154 156 159 160 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 311 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 139 142 143 145 148 149 151 154 156 159 160 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 312 314 315 316 317 318 328 331 335 337 339 346 347 352 355 356 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 139 142 143 145 148 149 151 154 156 159 160 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 312 314 315 316 317 318 328 331 335 337 339 346 352 355 356 358 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 131 133 135 139 142 143 145 148 149 151 154 156 159 160 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 346 352 355 356 358 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 261 263 273 275 277 278 281 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 346 352 355 356 358 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 25 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 281 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 346 352 355 356 358 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 25 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 346 352 355 356 358 359 360 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 25 26 29 30 31 33 40 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 25 26 29 30 31 33 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 195 196 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 23 25 26 29 30 31 33 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 44 45 46 52 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 44 45 46 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 335 337 339 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 44 45 46 54 55 56 69 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 339 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 44 45 46 54 55 56 69 70 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 273 275 277 278 285 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 45 46 54 55 56 69 70 72 74 75 77 79 80 82 84 86 87 90 96 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 272 273 275 277 278 285 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 45 46 54 55 56 69 70 72 74 75 77 79 80 82 84 86 87 90 96 97 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 201 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 272 273 275 277 278 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 45 46 54 55 56 69 70 72 74 75 77 79 80 82 84 86 87 90 96 97 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 272 273 275 277 278 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 4 8 11 12 16 17 22 25 26 29 30 31 33 45 46 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 272 273 275 277 278 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 259 260 263 272 273 275 277 278 286 287 295 297 299 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 107 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 240 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 116 121 123 125 130 133 135 137 139 142 143 145 148 149 151 154 156 159 160 173 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 173 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 392 395 400 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 383 387 388 395 400 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 105 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 233 234 235 236 237 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 204 207 212 215 218 222 228 233 234 235 237 241 244 247 249 252 256 260 263 272 273 275 277 278 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 233 234 235 237 241 244 247 249 252 256 260 263 272 273 275 277 278 279 286 287 295 297 299 300 302 303 309 312 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 82 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 233 234 235 237 241 244 247 249 252 256 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 309 315 316 317 318 328 331 337 338 345 346 352 355 356 358 359 369 372 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 233 234 235 237 241 244 247 249 252 256 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 309 315 316 317 318 328 331 337 338 344 345 346 352 355 356 358 359 369 372 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 22 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 233 234 235 237 241 244 247 249 252 256 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 309 315 316 317 318 328 331 334 337 338 344 345 346 352 355 356 358 359 369 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 233 234 235 237 241 244 247 249 252 256 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 309 315 316 317 318 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 87 90 96 97 101 102 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 164 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 233 234 237 241 244 247 249 252 256 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 309 315 316 317 318 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 87 90 96 97 101 116 121 123 125 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 164 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 116 121 123 125 128 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 164 169 173 174 176 177 180 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 378 379 381 383 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 12 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 116 121 123 125 128 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 378 379 381 383 384 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 116 121 123 125 128 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 378 379 381 383 384 387 388 395 405 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 116 121 123 125 128 130 133 135 137 139 141 142 143 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 378 379 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 116 121 123 125 128 130 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 379 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 16 17 25 26 28 29 30 31 33 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 109 116 121 123 125 128 130 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 16 17 25 26 28 29 30 31 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 109 116 121 123 125 128 130 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 320 325 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 11 16 17 25 26 28 29 30 31 45 46 47 54 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 109 116 121 123 125 128 130 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 320 325 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 90 96 97 101 109 116 121 123 125 128 130 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 207 212 215 218 222 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 90 96 97 101 109 116 121 123 125 128 130 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 212 215 218 222 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 143 144 145 148 149 154 156 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 206 212 215 218 222 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 143 144 145 149 154 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 198 199 200 202 206 212 215 218 222 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 143 144 145 149 154 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 410 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 143 144 145 149 154 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 417 421 422 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 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 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 373 376 381 383 384 387 388 395 406 408 417 421 422 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 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 228 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 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 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 441 442 448 449 452 a 11 16 17 25 26 28 29 30 31 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 133 135 137 139 141 142 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 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 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 31 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 133 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 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 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 31 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 133 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 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 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 a 11 16 17 25 26 28 29 30 31 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 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 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 /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat" User time (seconds): 360.79 System time (seconds): 3.90 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.75 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): 14610588 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4821490 Voluntary context switches: 27 Involuntary context switches: 2086 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 11:35:25 2023]