#BEGIN: [Mon Sep 4 14:54:32 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-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 -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): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 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 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 195 196 198 201 207 208 212 215 220 222 225 229 231 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 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 195 196 198 201 207 208 212 215 220 222 225 229 231 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 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 149 150 151 152 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 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 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 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 173 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 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 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 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 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 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 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 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 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 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 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 198 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 247 249 259 261 263 265 272 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 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 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 113 115 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 247 249 259 261 263 265 272 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 427 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 113 115 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 263 265 272 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 427 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 113 115 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 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 427 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 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 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 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 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 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 125 129 130 131 133 135 142 148 149 150 151 153 154 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 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 375 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 120 125 129 130 131 133 135 142 148 149 151 153 154 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 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 375 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 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 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 375 383 386 387 388 392 395 400 401 405 409 412 413 415 421 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 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 229 235 236 237 242 243 247 249 259 261 262 263 265 272 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 388 392 395 400 401 405 409 410 412 413 415 421 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 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 272 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 388 392 395 400 401 405 409 410 412 413 415 421 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 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 272 273 275 277 278 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 375 383 386 387 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 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 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 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 375 383 386 387 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 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 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 375 386 387 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 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 386 387 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 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 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 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 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 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 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 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 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 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 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 116 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 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 116 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 387 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 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 116 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 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 116 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 a 4 8 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 116 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 434 435 437 439 442 443 445 448 a 4 8 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 116 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 445 a 4 8 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 95 96 98 101 102 105 107 113 116 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 a 4 8 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 95 96 98 101 102 105 107 113 116 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 a 4 8 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 95 96 98 101 102 105 107 113 116 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 386 388 392 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 a 4 8 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 95 96 98 101 102 105 107 113 116 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 388 392 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 a 4 8 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 95 96 98 101 102 105 107 113 116 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 330 331 335 337 339 340 344 347 350 352 355 356 360 368 372 375 383 388 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 a 4 8 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 95 96 98 101 102 105 107 113 116 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 443 a 4 8 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 95 96 98 101 102 105 107 113 116 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 401 405 409 410 412 413 415 421 422 433 434 435 437 439 442 a 4 8 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 95 96 98 101 102 105 107 113 116 123 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 401 405 409 410 412 413 421 422 433 434 435 437 439 442 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 107 113 116 123 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 401 405 409 410 412 413 421 422 433 434 435 437 439 442 448 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 107 113 116 123 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 433 434 435 437 439 442 448 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 32 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 107 113 116 123 125 129 130 131 133 135 142 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 433 434 435 437 439 442 448 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 107 113 116 123 125 129 130 131 133 135 142 145 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 265 273 275 277 278 281 285 287 296 306 309 311 312 314 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 433 434 435 437 439 442 448 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 107 113 116 123 125 129 130 131 133 135 142 145 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 296 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 433 434 435 437 439 442 448 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 153 154 159 160 162 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 296 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 427 433 434 435 437 439 442 448 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 95 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 296 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 183 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 296 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 48 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 296 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 409 410 412 413 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 296 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 375 383 388 395 400 405 406 409 410 412 413 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 373 375 383 388 395 400 405 406 409 410 412 413 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 360 372 373 375 383 388 395 400 405 406 409 412 413 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 413 417 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 417 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 18 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 417 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 22 23 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 417 421 422 427 433 434 435 437 439 442 448 452 a 4 8 9 11 12 14 17 22 27 29 30 31 40 44 45 46 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 281 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 417 421 422 427 433 434 435 437 439 442 448 449 452 a 4 8 9 11 12 14 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 417 421 422 427 433 434 435 437 439 442 448 449 452 a 4 8 9 11 12 14 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 372 373 375 383 388 395 400 405 406 409 412 417 421 422 427 433 434 435 437 442 448 449 452 a 4 8 9 11 12 14 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 330 331 334 335 337 339 340 344 347 350 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 433 434 435 437 442 448 449 452 a 4 8 9 11 12 14 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 328 330 331 334 335 337 339 344 347 350 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 433 434 435 437 442 448 449 452 a 4 8 9 11 12 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 242 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 328 330 331 334 335 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 433 434 435 437 442 448 449 452 a 4 8 9 11 12 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 328 330 331 334 335 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 433 434 435 437 442 448 449 452 a 4 8 9 11 12 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 77 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 186 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 243 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 72 74 75 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 207 208 212 215 220 222 225 235 236 237 241 243 244 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 69 72 74 75 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 207 212 215 220 222 225 235 236 237 241 243 244 247 248 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 69 72 74 75 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 207 212 215 220 222 225 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 383 388 395 400 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 69 72 74 75 80 84 86 87 88 89 90 96 98 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 207 212 215 220 222 225 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 69 72 74 75 80 84 86 87 88 89 90 96 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 207 212 215 220 222 225 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 69 72 74 75 80 84 86 87 88 89 96 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 225 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 66 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 225 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 123 125 129 130 131 133 135 142 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 225 234 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 61 63 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 123 125 129 130 131 133 135 142 143 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 63 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 131 133 135 142 143 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 63 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 131 135 142 143 145 148 149 151 154 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 372 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 63 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 131 135 142 143 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 373 375 381 383 388 395 405 406 412 417 421 422 427 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 63 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 261 262 263 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 373 375 381 383 388 395 405 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 196 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 261 262 263 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 373 375 381 383 388 395 405 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 69 72 74 75 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 261 262 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 347 352 355 356 358 373 375 381 383 388 395 405 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 4 8 9 11 14 16 17 22 27 29 30 31 40 44 45 46 47 49 55 56 69 72 74 75 79 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 261 262 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 352 355 356 358 373 375 381 383 388 395 405 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 72 74 75 79 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 261 262 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 352 355 356 358 373 375 381 383 388 395 405 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 72 74 75 79 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 261 262 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 339 344 345 352 355 356 358 373 375 381 383 388 395 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 72 74 75 79 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 261 262 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 370 373 375 381 383 388 395 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 72 74 75 79 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 370 373 375 381 383 388 395 406 412 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 72 74 75 79 80 84 86 87 88 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 375 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 84 86 87 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 375 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 220 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 105 109 113 116 121 123 125 129 130 135 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 27 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 113 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 25 27 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 259 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 22 25 27 28 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 344 345 352 355 356 358 359 370 373 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 49 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 341 344 345 352 355 356 358 359 370 373 381 383 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 260 262 263 272 273 275 277 278 285 286 287 297 302 303 306 309 311 312 314 315 316 317 318 320 325 327 328 330 331 334 337 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 201 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 260 262 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 311 312 315 316 317 318 320 325 327 328 330 331 334 337 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 234 235 236 237 241 243 244 247 249 252 260 262 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 311 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 234 235 236 237 241 243 244 247 249 252 260 262 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 233 234 235 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 87 96 101 102 109 116 121 123 125 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 164 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 129 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 164 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 352 355 356 358 359 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 14 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 164 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 352 355 356 358 359 369 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 142 143 144 145 148 149 151 154 156 159 160 162 164 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 142 143 144 145 148 149 151 154 156 159 160 164 169 173 176 177 180 181 188 190 195 198 199 200 202 206 207 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 142 143 144 145 148 149 151 154 156 159 160 164 169 173 176 177 180 181 188 190 195 198 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 387 388 395 406 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 142 143 144 145 148 149 151 154 156 159 160 164 169 173 176 177 180 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 9 11 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 142 143 144 145 148 149 151 154 156 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 442 448 449 452 a 8 11 16 17 25 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 142 143 144 145 148 149 151 154 156 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 8 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 143 144 145 148 149 151 154 156 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 8 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 148 149 154 156 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 441 442 448 449 452 a 8 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 421 422 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 381 383 384 387 388 395 406 408 417 422 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 a 11 16 17 25 26 27 28 29 30 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 285 286 287 297 300 302 303 306 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 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 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 285 286 287 297 299 300 302 303 306 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 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 31 36 40 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 306 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 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 31 36 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 304 306 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 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 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 190 195 199 200 202 206 212 215 218 222 228 232 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 304 306 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 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 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 228 232 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 304 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 387 388 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 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 154 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 304 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 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 44 45 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 304 309 312 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 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 256 260 263 272 273 275 277 278 279 285 286 287 297 299 300 302 303 304 309 312 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 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 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 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 309 312 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 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 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 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 309 312 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 102 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 272 273 275 277 278 279 286 287 295 297 299 300 302 303 304 309 312 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 102 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 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: 127 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): 549.76 System time (seconds): 5.88 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.21 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): 14607124 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4921191 Voluntary context switches: 577968 Involuntary context switches: 1514 Swaps: 0 File system inputs: 0 File system outputs: 944 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:00:39 2023]