#BEGIN: [Tue Sep 26 01:22:57 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance029_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance029_graph001.col /benchmark/random_instance/random_instance029_graph001_01.dat c /benchmark/random_instance/random_instance029_graph001.col c /benchmark/random_instance/random_instance029_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 145 327 294 196 344 38 31 359 73 67 210 207 37 279 329 119 76 372 224 362 343 319 84 68 216 301 246 240 187 44 263 292 139 80 180 174 221 365 160 291 124 123 272 193 316 20 146 91 50 293 324 183 176 243 208 238 323 21 204 276 349 281 274 278 285 3 213 282 367 111 354 189 15 355 321 312 273 374 277 18 370 150 340 268 122 116 77 40 95 284 300 90 41 126 152 337 239 358 227 320 35 303 326 117 47 134 79 56 54 118 314 81 225 34 265 209 109 237 290 52 172 39 128 331 297 164 t 4 288 135 327 175 192 62 72 369 356 304 285 128 235 32 95 350 45 233 272 117 262 361 169 321 244 182 293 216 246 67 221 150 199 231 329 206 53 20 70 172 340 19 370 106 35 125 77 122 139 335 71 99 228 278 112 260 69 280 348 178 28 44 65 342 269 152 39 354 100 207 15 254 355 284 159 50 218 94 227 347 299 85 52 237 257 7 29 174 322 143 34 83 127 316 274 187 249 320 170 358 373 3 300 194 283 98 73 81 103 308 54 291 111 101 298 126 183 259 223 193 113 158 239 267 337 a YES a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 292 293 294 297 300 301 303 312 314 316 319 320 321 323 324 326 327 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 292 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 292 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 292 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 292 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 358 359 362 365 367 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 292 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 358 359 362 365 367 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 160 164 172 174 176 180 183 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 366 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 160 164 172 174 176 180 183 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 366 367 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 160 164 172 174 176 180 183 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 366 367 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 160 164 172 174 176 180 183 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 366 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 160 164 172 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 365 366 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 278 279 281 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 278 279 281 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 263 265 268 272 273 274 276 277 278 279 281 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 263 265 268 272 273 274 276 277 278 279 281 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 347 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 276 277 278 279 281 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 204 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 204 208 209 210 213 216 221 224 225 227 235 237 238 240 243 244 246 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 204 208 209 210 213 216 221 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 221 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 359 362 365 366 368 370 371 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 357 358 362 365 366 368 370 371 372 374 a 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 355 357 358 362 365 366 368 370 371 372 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 355 358 362 365 366 368 370 371 372 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 362 365 366 368 370 371 372 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 362 365 366 368 370 372 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 227 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 293 294 297 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 366 368 370 372 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 366 368 370 372 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 352 354 355 358 359 362 365 366 368 370 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 208 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 352 354 355 357 358 359 362 365 368 370 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 352 354 355 357 358 359 362 365 368 370 374 a 2 3 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 352 354 355 357 358 359 362 365 368 370 374 a 2 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 324 326 329 331 337 340 343 344 349 352 354 355 357 358 359 362 365 368 370 374 a 2 3 15 18 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 324 326 329 331 337 340 343 344 349 352 354 355 357 358 359 362 365 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 68 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 365 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 68 71 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 265 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 68 69 71 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 109 110 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 319 320 321 322 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 224 225 235 237 238 239 240 243 244 246 248 263 268 272 273 274 276 277 278 279 282 283 285 290 291 293 294 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 176 180 183 187 189 193 196 204 209 210 213 216 218 224 225 235 237 238 239 240 243 244 246 248 263 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 180 183 187 189 193 196 204 209 210 213 216 218 224 225 231 235 237 238 239 240 243 244 246 248 263 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 172 173 174 180 183 187 189 193 196 204 209 210 213 216 218 224 225 231 235 237 238 239 240 243 244 246 248 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 204 209 210 213 216 218 224 225 231 235 237 238 239 240 243 244 246 248 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 344 347 349 352 354 355 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 204 209 210 213 216 218 224 225 231 235 237 238 239 240 243 244 246 248 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 347 349 352 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 204 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 248 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 331 337 340 343 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 204 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 248 268 272 273 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 337 340 343 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 204 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 248 268 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 337 340 343 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 204 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 248 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 337 340 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 248 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 326 329 337 340 342 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 127 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 248 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 127 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 357 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 38 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 127 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 358 359 362 370 374 a 2 3 15 20 21 28 29 31 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 113 116 117 118 119 122 123 124 126 127 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 358 359 362 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 84 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 268 269 272 274 276 277 278 279 282 283 285 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 358 359 362 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 134 139 145 150 152 153 154 160 164 170 172 173 174 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 268 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 358 359 362 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 178 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 268 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 358 359 362 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 337 340 342 347 349 354 355 356 358 359 362 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 300 301 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 210 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 298 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 83 90 91 95 99 106 109 110 111 112 113 116 117 118 119 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 298 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 71 73 76 77 79 80 81 83 90 91 95 99 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 259 269 272 274 276 277 278 279 282 283 285 288 290 291 293 297 298 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 70 71 73 76 77 79 80 81 83 90 91 95 99 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 213 216 218 224 225 227 231 235 237 238 239 240 243 244 246 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 70 71 73 76 77 79 80 81 83 90 91 95 99 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 145 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 70 71 73 76 77 79 80 81 83 90 91 95 99 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 70 71 73 76 77 79 80 81 83 90 95 99 100 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 150 152 153 154 160 164 170 172 173 174 175 178 180 183 187 189 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 69 70 71 73 76 77 79 80 81 83 90 95 99 100 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 150 152 153 154 160 164 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 65 69 70 71 73 76 77 79 80 81 83 90 95 99 100 106 109 110 111 112 113 116 117 118 122 123 124 126 127 128 139 150 152 153 154 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 65 69 70 71 73 76 77 79 80 81 83 90 95 99 100 106 110 111 112 113 116 117 118 122 123 124 126 127 128 139 150 152 153 154 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 308 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 65 69 70 71 73 76 77 79 80 81 83 90 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 308 312 314 316 318 320 321 322 324 329 335 337 340 342 347 349 354 355 356 358 359 370 374 a 2 3 15 20 21 28 29 34 35 37 39 40 41 44 45 47 50 52 54 65 69 70 71 73 76 77 79 80 81 83 85 90 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 308 312 314 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 47 50 52 53 54 65 69 70 71 73 76 77 79 80 81 83 85 90 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 308 312 314 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 47 50 52 53 54 65 69 70 71 73 76 77 79 80 81 83 85 90 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 282 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 47 50 52 53 54 65 69 70 71 73 76 77 79 80 81 83 85 90 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 159 160 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 47 50 52 53 54 65 69 70 71 73 76 77 80 81 83 85 90 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 47 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 123 124 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 47 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 123 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 123 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 279 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 359 369 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 123 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 259 260 269 272 274 276 278 279 283 285 288 290 291 293 297 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 369 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 123 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 369 370 374 a 2 3 15 20 28 29 34 35 37 39 40 41 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 123 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 15 20 28 29 32 34 35 37 39 40 41 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 153 154 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 302 303 308 312 316 318 320 321 322 324 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 15 20 28 29 32 34 35 37 39 40 41 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 153 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 302 303 308 312 316 318 320 321 322 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 153 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 302 303 308 312 316 318 320 321 322 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 302 303 308 312 316 318 320 321 322 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 269 272 274 276 278 279 283 285 288 290 291 293 298 299 300 303 308 312 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 209 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 267 269 272 274 278 279 283 285 288 290 291 293 298 299 300 303 308 312 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 193 207 213 216 218 223 225 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 290 291 293 298 299 300 303 308 312 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 207 213 216 218 223 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 290 291 293 298 299 300 303 308 312 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 20 28 29 32 34 35 37 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 290 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 238 239 240 243 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 290 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 80 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 290 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 354 355 356 358 369 370 a 2 3 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 290 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 350 354 355 356 358 369 370 a 2 3 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 279 280 283 285 288 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 350 354 355 356 358 369 370 a 2 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 350 354 355 356 358 369 370 a 2 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 154 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 2 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 303 308 316 318 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 303 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 76 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 199 206 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 126 127 128 139 143 150 152 158 159 160 169 170 172 173 174 175 178 180 182 183 187 192 193 194 199 206 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 125 126 127 128 139 143 150 152 158 159 160 169 170 172 173 174 175 178 182 183 187 192 193 194 199 206 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 173 174 175 178 182 183 187 192 193 194 199 206 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 106 110 111 112 113 116 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 173 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 116 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 173 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 116 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 173 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 116 117 122 125 126 127 128 135 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 135 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 135 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 361 369 370 373 c Step: 127 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance029_graph001.col /benchmark/random_instance/random_instance029_graph001_01.dat" User time (seconds): 361.34 System time (seconds): 2.01 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.38 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): 7612244 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 2529823 Voluntary context switches: 26 Involuntary context switches: 2024 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:29:01 2023]