#BEGIN: [Mon Sep 4 14:47:04 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #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 -t4 /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): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds 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 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 175 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 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 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 175 176 177 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 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 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 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 175 176 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 270 271 272 274 279 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 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 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 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 279 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 367 368 371 377 384 387 391 392 401 409 410 416 a 6 7 9 15 18 20 22 24 26 30 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 111 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 176 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 268 270 271 272 274 279 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 367 368 371 377 384 387 391 392 401 409 410 416 a 6 7 9 15 18 20 22 24 26 30 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 111 112 117 119 120 122 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 225 227 230 232 233 235 244 247 251 255 257 261 263 270 271 272 274 279 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 367 368 371 377 384 387 391 392 401 409 410 416 a 6 7 9 15 18 20 22 24 26 30 37 38 39 40 44 46 47 50 54 59 61 65 69 73 75 83 84 85 90 91 94 107 109 110 111 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 224 225 227 230 232 233 235 244 247 251 255 257 261 263 270 271 272 274 279 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 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 91 94 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 207 208 210 215 224 225 227 230 232 233 235 244 247 251 255 257 261 263 270 271 272 274 279 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 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 91 94 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 247 251 255 257 261 263 270 271 272 274 279 284 285 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 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 91 94 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 247 251 255 257 260 261 263 270 271 272 274 279 284 285 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 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 67 69 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 247 251 255 257 260 261 263 270 271 272 274 279 284 285 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 183 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 247 251 255 257 260 261 263 270 271 272 274 279 284 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 180 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 279 284 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 138 151 154 155 156 161 162 163 164 166 175 176 179 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 279 280 284 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 161 162 163 164 166 175 176 179 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 261 263 270 271 272 274 279 280 284 300 302 309 310 314 316 317 319 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 161 162 163 164 166 175 176 179 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 261 263 270 271 272 274 279 280 284 300 302 309 310 314 316 317 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 161 162 163 164 166 175 176 179 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 279 280 284 300 302 309 310 314 316 317 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 384 387 391 401 409 410 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 279 280 284 300 302 309 310 314 316 317 321 325 326 329 331 335 336 344 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 279 280 284 300 302 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 279 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 177 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 177 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 401 409 410 416 a 6 7 9 15 16 18 20 22 24 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 177 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 416 a 6 7 9 14 15 16 18 20 22 24 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 177 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 416 a 6 7 9 14 15 16 18 20 22 24 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 177 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 409 410 416 a 6 7 9 14 15 16 18 20 22 24 25 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 177 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 410 416 a 6 7 9 14 15 16 18 20 22 24 25 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 377 387 391 401 410 416 a 6 7 9 14 16 18 20 22 24 25 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 410 416 a 6 7 9 14 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 410 416 a 6 7 9 14 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 342 344 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 410 416 a 6 7 9 14 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 342 344 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 410 416 a 6 7 9 14 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 181 186 189 191 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 314 316 317 321 325 326 329 331 335 336 342 344 350 351 352 353 354 355 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 14 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 181 186 189 191 194 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 344 350 351 352 353 354 355 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 14 15 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 189 191 194 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 344 350 351 352 353 354 355 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 14 15 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 194 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 14 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 194 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 194 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 15 16 18 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 176 179 181 186 187 189 191 194 198 200 204 205 208 210 215 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 15 16 18 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 179 181 186 187 189 191 194 198 200 204 205 208 210 215 218 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 9 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 179 181 186 187 189 191 194 198 200 204 205 208 210 215 218 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 15 16 18 20 22 24 25 26 30 37 38 39 40 44 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 179 181 186 187 189 191 194 198 200 204 205 208 210 215 218 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 342 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 15 16 18 20 22 24 25 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 163 164 166 175 179 181 186 187 189 191 194 198 200 204 205 208 210 215 218 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 15 16 18 20 22 24 25 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 179 181 186 187 189 191 194 198 200 204 205 208 210 215 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 15 16 18 20 22 24 25 26 30 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 118 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 367 368 371 376 377 387 391 401 409 410 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 306 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 376 377 387 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 376 377 387 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 374 376 377 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 224 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 374 377 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 361 362 367 368 371 374 377 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 107 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 325 326 329 331 335 336 350 351 352 353 354 355 359 362 367 368 369 371 374 377 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 324 325 326 329 331 335 336 350 351 352 353 354 355 359 362 367 368 369 371 374 377 391 401 409 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 324 325 326 329 331 335 336 349 350 351 352 353 354 355 359 362 367 368 369 371 374 377 391 401 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 50 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 284 300 302 309 310 316 317 321 324 325 326 329 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 401 416 a 6 7 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 282 284 300 302 309 310 316 317 321 324 325 326 329 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 401 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 69 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 282 284 302 309 310 316 317 321 324 325 326 329 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 401 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 282 284 296 302 309 310 316 317 321 324 325 326 329 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 401 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 282 284 296 302 309 310 316 317 321 324 325 326 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 401 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 274 280 282 284 296 302 309 310 316 321 324 325 326 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 401 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 109 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 280 282 284 296 302 309 310 316 321 324 325 326 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 109 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 187 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 282 284 296 302 309 310 316 321 324 325 326 331 335 336 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 109 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 186 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 282 284 296 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 352 354 355 359 362 367 368 369 371 374 377 391 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 109 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 282 284 296 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 352 354 355 359 362 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 263 270 271 272 274 282 284 296 301 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 352 354 355 359 362 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 151 154 155 156 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 217 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 270 271 272 274 282 284 296 301 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 352 354 355 359 362 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 217 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 270 271 272 274 282 284 296 301 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 352 354 355 359 362 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 270 271 272 274 282 284 296 301 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 352 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 102 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 270 271 272 274 282 284 296 301 302 309 310 316 321 324 325 326 331 335 336 344 349 350 351 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 102 110 112 117 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 265 270 271 272 274 282 284 296 301 302 309 310 316 321 324 326 331 335 336 344 349 350 351 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 102 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 244 245 247 251 255 257 260 261 265 270 271 272 274 282 284 295 296 301 302 309 310 316 321 324 326 331 335 336 344 349 350 351 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 83 84 85 90 91 94 102 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 245 247 251 255 257 260 261 265 270 271 272 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 33 37 38 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 245 247 251 257 260 261 265 270 271 272 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 245 247 251 257 260 261 265 270 271 272 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 359 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 164 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 245 247 251 257 260 261 265 270 271 272 273 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 186 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 245 247 251 257 260 261 265 270 271 272 273 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 191 194 198 200 202 204 205 208 210 215 217 218 222 225 227 230 232 233 235 245 247 251 257 260 261 265 270 271 272 273 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 194 198 200 202 204 205 208 210 213 215 217 218 222 225 227 230 232 233 235 245 247 251 257 260 261 265 270 271 272 273 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 72 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 194 198 200 202 204 205 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 257 260 261 265 270 271 272 273 274 282 284 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 25 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 194 198 200 202 204 205 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 257 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 6 7 9 15 16 18 20 22 24 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 127 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 194 198 200 202 204 205 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 254 257 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 20 22 24 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 194 198 200 202 204 205 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 254 257 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 20 22 24 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 161 162 165 166 175 177 179 181 183 189 194 198 200 202 204 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 20 22 24 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 166 175 177 179 181 183 189 194 198 202 204 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 20 22 24 26 30 31 33 37 39 40 44 46 47 54 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 166 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 22 24 26 30 31 33 37 39 40 44 46 47 54 58 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 166 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 367 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 22 24 26 30 31 33 37 39 40 44 46 47 54 58 59 61 65 67 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 166 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 22 24 26 30 31 33 37 39 40 44 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 166 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 22 24 26 30 31 33 37 39 40 44 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 94 102 104 110 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 4 6 7 9 15 16 18 22 24 26 30 31 33 37 40 44 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 110 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 3 4 6 7 9 15 16 18 22 24 26 30 31 33 37 40 44 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 44 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 189 194 198 199 202 208 210 213 215 217 218 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 194 198 199 202 208 210 213 215 217 218 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 309 310 316 321 324 326 331 332 335 336 344 349 350 351 354 355 368 369 371 374 377 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 194 198 199 202 208 210 213 215 217 218 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 309 310 316 321 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 194 198 199 202 208 210 213 215 217 218 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 136 137 138 139 150 151 154 155 157 159 161 162 165 175 177 179 181 183 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 120 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 181 183 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 54 58 59 61 65 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 181 183 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 323 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 65 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 181 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 323 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 65 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 323 324 326 331 332 334 335 336 344 349 350 354 355 368 369 371 374 377 379 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 323 324 326 331 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 250 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 321 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 128 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 73 75 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 260 261 265 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 24 26 30 31 33 37 40 46 47 58 59 61 73 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 222 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 260 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 37 40 46 47 58 59 61 73 76 80 81 83 84 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 220 222 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 260 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 37 40 46 47 58 59 61 73 76 80 81 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 220 222 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 260 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 37 40 46 47 58 59 61 73 76 80 81 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 208 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 37 40 47 58 59 61 73 76 80 81 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 138 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 208 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 37 40 47 58 59 61 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 208 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 34 37 40 47 58 59 61 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 326 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 34 37 40 47 58 59 61 62 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 316 323 324 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 34 37 40 47 58 59 61 62 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 295 296 301 302 308 310 323 324 332 334 335 336 344 346 349 350 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 33 34 37 40 47 58 59 61 62 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 139 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 350 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 132 134 135 137 139 140 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 350 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 125 131 134 135 137 139 140 150 151 154 155 157 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 350 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 124 125 131 134 135 137 139 140 150 151 154 155 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 350 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 124 125 131 134 135 137 139 140 150 151 154 155 159 161 162 165 170 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 222 223 225 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 124 125 131 134 135 137 139 140 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 225 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 282 284 286 293 294 295 296 301 302 308 310 323 324 332 334 335 344 346 349 354 355 368 369 371 374 377 379 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 90 91 92 94 102 104 112 119 122 124 125 131 134 135 139 140 150 151 154 155 159 161 162 165 170 173 175 176 177 179 183 184 194 198 199 202 203 210 213 215 217 220 223 225 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 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 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 134 135 139 140 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 225 226 227 230 233 235 239 240 242 243 245 247 249 250 251 254 257 259 261 265 266 270 271 272 273 274 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 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 73 76 80 81 82 83 85 89 90 91 92 94 102 104 112 119 122 124 125 131 134 135 139 140 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 274 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 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 134 135 139 140 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 274 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 408 411 413 415 416 a 3 4 7 9 15 16 18 22 26 30 31 34 37 40 47 58 59 61 62 70 71 73 76 80 81 82 83 85 89 90 91 92 94 102 104 119 122 124 125 131 134 135 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 408 411 413 415 416 a 3 4 7 9 15 16 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 408 411 413 415 416 a 3 4 7 9 16 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 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 -t4 /benchmark/random_instance/random_instance032_graph003.col /benchmark/random_instance/random_instance032_graph003_01.dat" User time (seconds): 569.60 System time (seconds): 11.47 Percent of CPU this job got: 155% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:13.08 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): 11702232 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4032543 Voluntary context switches: 3475345 Involuntary context switches: 1295 Swaps: 0 File system inputs: 0 File system outputs: 840 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:53:17 2023]