#BEGIN: [Mon Sep 4 13:46:25 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance032_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance032_graph003.col /benchmark/random_instance/random_instance032_graph003_01.dat c /benchmark/random_instance/random_instance032_graph003.col c /benchmark/random_instance/random_instance032_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 367 191 272 387 164 359 336 261 319 135 268 300 361 138 166 6 15 210 128 325 392 263 156 355 30 350 46 54 317 371 354 176 344 208 368 177 285 181 230 83 377 24 353 180 205 409 232 122 271 131 117 127 22 44 125 91 270 20 225 233 274 69 186 155 7 161 183 84 362 112 200 329 314 26 384 132 75 410 40 50 401 391 227 162 244 94 316 73 65 235 204 151 47 18 352 326 38 255 284 37 107 39 207 351 335 247 90 136 110 163 251 189 119 310 9 59 179 120 331 61 33 154 109 321 85 416 198 257 309 t 165 47 34 265 243 184 102 85 215 154 26 254 140 61 40 4 9 392 369 242 80 259 223 270 217 349 170 412 150 70 3 250 30 83 7 294 71 79 183 89 81 262 310 122 293 346 249 355 151 226 379 202 261 271 139 408 413 272 332 177 220 213 411 239 251 286 368 131 125 324 416 91 301 134 124 344 62 247 92 295 161 415 159 58 374 296 302 273 147 176 37 175 104 119 94 266 377 284 179 230 371 308 162 210 245 203 233 227 18 235 76 282 354 323 334 82 59 31 194 198 22 257 240 335 73 292 90 173 199 a YES a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 91 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 6 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 6 7 9 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 344 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 284 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 93 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 6 7 9 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 93 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 6 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 93 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 93 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 177 179 180 181 183 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 93 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 171 176 177 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 300 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 93 94 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 171 176 177 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 413 416 a 5 7 9 15 18 20 22 24 26 30 33 38 39 40 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 413 416 a 5 7 9 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 401 409 410 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 350 351 352 353 354 355 359 362 367 368 371 377 384 387 391 392 401 409 410 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 351 352 353 354 355 359 360 362 367 368 371 377 384 387 391 392 401 409 410 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 151 154 155 156 161 162 163 164 166 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 351 352 353 354 355 359 360 361 362 367 368 371 377 384 387 391 392 409 410 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 351 352 353 354 355 359 360 361 362 367 368 371 377 384 387 391 392 409 410 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 233 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 351 352 353 354 355 359 360 361 362 367 368 371 377 384 387 391 392 406 409 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 351 352 353 354 355 359 360 361 362 367 368 371 377 384 387 391 392 406 409 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 325 326 328 329 331 335 336 351 352 353 354 355 359 360 361 362 367 368 371 377 384 387 391 392 401 406 409 410 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 409 410 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 179 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 410 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 156 161 162 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 410 413 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 156 161 162 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 162 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 360 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 275 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 319 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 163 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 416 a 5 7 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 156 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 235 244 247 251 255 257 263 268 270 271 272 274 285 296 309 310 314 316 317 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 46 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 322 325 326 328 329 331 335 336 349 350 351 352 353 354 359 361 362 367 368 371 377 384 387 391 392 398 399 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 41 44 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 325 326 328 329 331 335 336 349 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 398 399 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 151 154 155 161 164 166 168 171 176 177 178 180 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 325 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 398 399 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 176 177 178 181 186 187 189 191 198 200 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 325 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 398 399 401 406 410 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 325 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 398 399 401 406 413 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 325 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 384 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 268 270 271 272 274 296 309 310 314 316 317 321 325 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 268 270 271 272 274 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 83 84 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 175 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 171 175 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 361 362 367 368 371 377 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 143 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 205 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 362 367 368 371 377 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 93 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 362 367 368 371 377 387 391 392 398 399 401 413 416 a 5 7 9 14 15 18 20 22 24 26 30 33 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 284 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 362 367 368 371 377 387 391 392 398 399 401 413 416 a 7 9 14 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 284 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 352 353 354 355 359 362 367 368 371 377 387 391 392 398 399 401 413 416 a 7 9 14 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 232 233 235 244 247 251 255 257 263 265 270 271 272 274 284 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 353 354 355 359 362 367 368 371 377 387 391 392 398 399 401 413 416 a 7 9 14 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 233 235 244 247 251 255 257 263 265 270 271 272 274 284 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 353 354 355 359 362 367 368 371 374 377 387 391 392 398 399 401 413 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 150 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 233 235 244 247 251 255 257 263 265 270 271 272 274 284 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 353 354 355 359 362 367 368 371 374 377 387 391 392 398 399 401 413 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 150 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 233 235 244 247 251 255 257 263 265 270 271 272 273 274 284 296 309 310 314 316 317 321 326 328 329 331 335 336 342 349 350 351 353 354 355 362 367 368 371 374 377 387 391 392 398 399 401 413 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 150 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 198 200 202 204 207 208 210 222 225 227 230 233 235 244 247 251 255 257 263 265 270 271 272 273 274 284 296 309 310 316 317 321 326 328 329 331 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 150 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 194 198 200 202 204 207 208 210 222 225 227 230 233 235 244 247 251 255 257 263 265 270 271 272 273 274 284 296 309 310 316 317 321 326 328 329 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 150 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 191 194 198 200 202 204 207 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 296 309 310 316 317 321 326 328 329 332 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 132 136 138 139 143 150 151 154 155 161 164 166 168 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 207 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 296 309 310 316 317 321 326 328 329 332 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 207 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 296 309 310 316 317 321 326 328 329 332 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 107 109 110 112 117 119 120 122 125 127 128 131 132 136 138 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 296 302 309 310 316 317 321 326 328 329 332 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 78 80 82 83 85 90 102 106 109 110 112 117 119 120 122 125 127 128 131 132 136 138 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 296 302 309 310 316 317 321 324 326 328 329 332 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 102 106 109 110 112 117 119 120 122 125 127 128 131 132 136 138 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 296 302 309 310 316 321 324 326 328 329 332 335 336 342 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 39 40 44 47 50 54 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 102 106 109 110 112 117 119 120 122 125 127 128 131 132 136 138 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 50 54 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 109 110 112 117 119 120 122 125 127 128 131 132 136 138 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 50 54 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 109 110 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 213 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 50 54 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 109 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 213 222 225 227 230 233 235 247 251 255 257 263 265 270 271 272 273 274 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 50 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 109 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 213 222 225 227 230 233 235 247 251 255 257 263 265 266 270 271 272 273 274 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 109 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 204 208 210 213 222 225 227 230 233 235 247 251 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 222 225 227 230 233 235 247 251 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 399 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 38 40 44 47 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 222 225 227 230 233 235 239 247 251 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 40 44 47 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 222 225 227 230 233 235 239 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 367 368 369 371 374 377 387 391 392 398 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 33 37 40 44 47 57 59 61 65 69 72 73 75 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 222 223 225 227 230 233 235 239 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 368 369 371 374 377 387 391 392 398 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 72 73 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 222 223 225 227 230 233 235 239 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 350 351 353 354 355 362 368 369 371 374 377 387 391 392 398 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 222 223 225 227 230 233 235 239 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 309 310 316 321 324 326 328 329 332 335 336 349 351 353 354 355 362 368 369 371 374 377 387 391 392 398 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 220 222 223 225 227 230 233 235 239 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 302 310 316 321 324 326 328 329 332 335 336 349 351 353 354 355 362 368 369 371 374 377 387 391 392 398 401 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 220 222 223 225 227 230 233 235 239 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 301 302 310 316 321 324 326 328 329 332 335 336 349 351 353 354 355 362 368 369 371 374 377 387 391 392 398 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 220 222 223 225 227 230 233 235 239 240 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 301 302 310 316 321 324 326 328 329 332 335 336 349 351 353 354 355 368 369 371 374 377 387 391 392 398 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 225 227 230 233 235 239 240 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 301 302 310 316 321 324 326 329 332 335 336 349 351 353 354 355 368 369 371 374 377 387 391 392 398 413 416 a 3 4 7 9 15 18 20 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 91 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 301 302 310 316 321 324 326 329 332 335 336 349 351 353 354 355 368 369 371 374 377 387 391 392 398 413 416 a 3 4 7 9 15 18 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 80 82 83 85 90 91 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 255 257 263 265 266 270 271 272 273 274 282 284 293 296 301 302 310 316 321 324 326 329 332 335 336 349 351 353 354 355 368 369 371 374 377 387 391 392 398 413 416 a 3 4 7 9 15 18 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 82 83 85 90 91 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 255 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 326 329 332 335 336 349 351 353 354 355 368 369 371 374 377 387 391 392 398 413 416 a 3 4 7 9 15 18 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 82 83 85 90 91 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 255 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 326 329 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 398 411 413 416 a 3 4 7 9 15 18 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 82 83 85 90 91 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 179 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 255 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 329 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 398 411 413 416 a 3 4 7 9 15 18 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 179 181 186 187 189 194 198 200 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 329 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 398 411 413 416 a 3 4 7 9 15 18 22 24 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 179 181 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 329 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 398 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 106 112 117 119 120 122 125 127 128 131 132 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 179 181 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 329 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 398 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 106 112 117 119 120 122 125 127 128 131 132 134 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 179 181 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 398 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 106 112 117 119 120 122 125 127 128 131 132 134 136 139 143 150 151 154 155 161 164 166 170 171 175 176 177 178 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 112 117 119 120 122 125 127 128 131 132 134 136 139 143 150 151 154 155 161 162 164 166 170 171 175 176 177 178 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 112 117 119 120 122 125 127 128 131 132 134 136 139 143 150 151 154 155 161 162 164 166 170 171 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 112 117 119 120 122 125 127 128 131 132 134 139 143 150 151 154 155 161 162 164 166 170 171 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 90 91 92 94 102 112 117 119 122 125 127 128 131 132 134 139 143 150 151 154 155 161 162 164 166 170 171 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 222 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 57 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 127 128 131 132 134 139 143 150 151 154 155 161 162 164 166 170 171 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 127 128 131 132 134 139 143 150 151 154 155 161 162 164 166 170 171 173 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 127 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 171 173 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 171 173 175 176 177 179 181 183 186 187 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 171 173 175 176 177 179 183 186 187 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 346 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 173 175 176 177 179 183 186 187 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 346 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 72 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 310 316 321 324 332 335 336 344 346 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 308 310 316 321 324 332 335 336 344 346 349 353 354 355 368 369 371 374 377 379 387 391 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 293 296 301 302 308 310 316 321 324 332 335 336 344 346 349 353 354 355 368 369 371 374 377 379 387 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 65 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 286 293 296 301 302 308 310 316 321 324 332 335 336 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 413 416 a 3 4 7 9 15 18 22 26 30 31 33 37 40 44 47 58 59 61 62 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 286 293 296 301 302 308 310 316 321 324 332 335 336 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 413 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 128 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 286 293 296 301 302 308 310 316 321 324 332 335 336 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 412 413 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 117 119 122 125 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 286 293 296 301 302 308 310 316 321 324 332 335 336 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 69 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 125 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 261 263 265 266 270 271 272 273 282 284 286 293 295 296 301 302 308 310 316 321 324 332 335 336 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 125 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 259 261 263 265 266 270 271 272 273 282 284 286 293 295 296 301 302 308 310 316 321 324 332 335 336 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 259 261 263 265 266 270 271 272 273 282 284 286 293 295 296 301 302 308 310 316 321 324 332 335 344 346 349 354 355 368 369 371 374 377 379 387 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 132 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 184 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 245 247 251 254 257 259 261 263 265 266 270 271 272 273 282 284 286 293 295 296 301 302 308 310 316 321 324 332 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 155 159 161 162 165 166 170 173 175 176 177 179 183 184 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 251 254 257 259 261 263 265 266 270 271 272 273 282 284 286 293 295 296 301 302 308 310 316 321 324 332 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 184 186 189 194 198 199 202 203 204 208 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 251 254 257 259 261 263 265 266 270 271 272 273 282 284 286 293 295 296 301 302 308 310 316 321 323 324 332 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 184 186 189 194 198 199 202 203 208 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 251 254 257 259 261 263 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 321 323 324 332 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 208 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 251 254 257 259 261 262 263 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 321 323 324 332 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 208 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 321 323 324 332 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 208 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 321 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 143 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 321 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 321 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 217 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 295 296 301 302 308 310 316 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 33 34 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 217 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 44 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 217 220 223 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 78 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 79 80 81 82 83 85 89 90 91 92 94 102 112 119 122 124 125 131 134 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 186 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 79 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 134 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 a 3 4 7 9 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 79 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 134 139 140 147 150 151 154 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 262 265 266 270 271 272 273 282 284 286 292 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 392 408 411 412 413 415 416 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance032_graph003.col /benchmark/random_instance/random_instance032_graph003_01.dat" User time (seconds): 360.45 System time (seconds): 3.08 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.56 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): 11652160 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3926898 Voluntary context switches: 24 Involuntary context switches: 2071 Swaps: 0 File system inputs: 0 File system outputs: 832 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:52:29 2023]