#BEGIN: [Tue Sep 26 02:52:13 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.015 seconds 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 2 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 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 2 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 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 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 318 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 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 318 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 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 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 313 314 316 318 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 12 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 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 224 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 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 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 145 146 150 152 153 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 224 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 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 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 145 146 150 152 153 160 164 172 174 176 183 187 189 193 196 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 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 183 187 189 193 196 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 289 290 291 292 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 367 370 372 374 a 2 3 12 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 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 289 290 291 292 293 294 297 300 301 302 303 312 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 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 125 126 128 134 139 145 146 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 289 290 291 292 293 294 297 300 301 302 303 312 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 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 125 126 128 134 145 146 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 289 290 291 292 293 294 297 300 301 302 303 312 313 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 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 125 126 128 134 145 146 150 152 160 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 126 128 134 145 146 150 152 160 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 67 68 73 76 77 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 126 128 134 145 146 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 58 67 68 73 76 77 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 146 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 58 67 68 73 77 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 146 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 146 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 367 368 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 367 368 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 292 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 293 294 297 300 301 302 303 312 313 314 316 318 319 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 18 20 21 31 34 35 37 38 40 41 44 47 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 293 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 293 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 44 47 50 52 54 56 58 67 68 73 77 79 80 81 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 293 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 47 50 52 54 56 58 67 68 73 77 79 80 81 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 293 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 15 18 20 21 31 34 35 37 38 40 41 47 50 52 54 56 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 293 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 47 50 52 54 56 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 47 50 52 54 56 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 47 50 52 54 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 365 367 368 370 372 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 125 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 365 367 368 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 365 367 368 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 365 367 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 71 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 367 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 71 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 367 368 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 71 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 255 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 368 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 71 73 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 368 372 374 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 71 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 368 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 109 111 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 67 68 71 73 76 77 79 81 84 90 91 95 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 67 68 71 73 76 77 79 81 84 90 91 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 359 362 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 67 68 71 73 76 77 79 81 84 90 91 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 208 209 210 213 216 224 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 208 209 210 213 216 224 227 235 237 238 239 240 243 244 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 370 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 208 209 210 213 216 224 227 235 237 238 239 240 243 244 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 208 209 210 213 216 224 227 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 124 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 372 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 204 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 370 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 368 370 a 2 3 12 15 18 20 21 27 31 34 35 37 38 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 128 134 145 150 152 153 160 164 165 172 173 174 176 183 187 189 193 196 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 31 34 35 37 38 39 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 326 329 331 337 340 343 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 31 34 35 37 38 39 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 113 116 117 118 119 122 123 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 329 331 337 340 343 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 112 113 116 117 118 119 122 123 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 312 313 314 316 318 320 321 323 324 329 331 337 340 343 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 112 113 116 117 118 119 122 123 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 337 340 343 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 47 50 52 54 58 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 112 113 116 117 118 119 122 123 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 337 340 342 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 47 50 52 54 67 68 71 73 76 77 79 81 84 90 91 95 99 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 263 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 337 340 342 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 47 50 52 54 67 68 71 73 76 77 79 81 84 90 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 265 268 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 337 340 342 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 50 52 54 67 68 71 73 76 77 79 81 84 90 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 337 340 342 344 349 351 354 355 358 362 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 50 52 54 67 68 71 73 76 77 79 81 84 90 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 232 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 50 52 54 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 228 232 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 289 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 50 52 54 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 228 232 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 300 301 302 303 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 34 35 37 38 39 40 41 43 44 50 52 54 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 208 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 300 302 303 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 37 38 39 40 41 43 44 50 52 54 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 300 302 303 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 37 38 39 40 41 43 44 50 52 54 62 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 300 302 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 38 39 40 41 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 300 302 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 298 300 302 313 314 316 318 320 321 323 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 298 300 302 313 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 126 127 128 134 139 145 150 152 153 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 298 300 302 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 210 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 298 300 302 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 27 28 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 294 297 298 300 302 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 28 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 109 111 112 113 116 117 118 119 122 123 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 293 294 297 298 300 302 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 109 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 279 281 282 283 284 285 290 291 292 293 294 297 298 300 302 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 4 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 109 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 292 293 294 297 298 300 302 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 4 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 224 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 292 293 294 297 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 370 a 2 3 4 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 227 228 232 233 235 237 238 239 240 243 246 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 292 293 294 297 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 227 228 232 233 235 237 238 239 240 243 244 246 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 294 297 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 218 227 228 232 233 235 237 238 239 240 243 244 246 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 297 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 344 349 351 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 349 351 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 302 308 314 316 318 320 321 324 329 331 335 337 340 342 349 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 160 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 308 314 316 318 320 321 324 327 329 331 335 337 340 342 349 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 164 165 172 174 176 183 187 189 193 196 199 201 207 209 213 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 308 314 316 318 320 321 324 327 329 331 335 337 340 342 349 354 355 358 369 370 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 164 165 172 174 176 183 187 189 193 196 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 308 314 316 318 320 321 324 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 68 71 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 164 165 170 172 174 176 183 187 189 193 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 308 314 316 318 320 321 324 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 164 165 170 172 174 176 183 187 189 193 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 290 291 293 298 300 308 314 316 318 320 321 322 324 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 119 122 125 126 127 128 134 139 145 150 152 164 165 170 172 174 176 183 187 189 193 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 324 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 134 139 145 150 152 164 165 170 172 174 176 183 187 189 193 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 259 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 324 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 134 139 145 150 152 158 164 165 170 172 174 176 183 187 189 193 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 243 244 246 249 254 257 259 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 134 139 145 150 152 158 164 165 170 172 174 176 183 187 189 193 199 201 207 209 216 218 227 228 232 233 235 237 238 239 240 244 246 249 254 257 259 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 134 139 145 150 152 158 164 165 170 172 174 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 331 335 337 340 342 349 354 355 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 134 139 145 150 152 158 164 170 172 174 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 331 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 40 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 139 145 150 152 158 164 170 172 174 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 331 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 331 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 84 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 178 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 291 293 298 300 308 314 316 318 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 79 81 83 91 94 95 99 101 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 178 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 314 316 318 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 81 83 91 94 95 98 99 101 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 178 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 314 316 318 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 178 183 187 189 193 199 201 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 316 318 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 178 183 187 189 193 199 201 206 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 268 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 265 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 18 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 69 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 269 272 274 276 277 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 21 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 69 70 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 269 272 274 276 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 69 70 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 269 272 274 276 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 69 70 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 145 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 267 269 272 274 278 281 282 283 284 285 288 291 293 298 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 38 39 43 44 45 50 52 54 62 67 69 70 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 116 117 118 122 125 126 127 128 135 139 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 267 269 272 274 278 281 282 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 38 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 76 77 81 83 91 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 262 267 269 272 274 278 281 282 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 38 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 91 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 164 169 170 172 174 175 178 183 187 189 193 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 281 282 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 38 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 91 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 164 169 170 172 174 175 178 183 187 189 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 281 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 91 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 183 187 189 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 281 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 349 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 91 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 183 187 189 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 281 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 183 187 189 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 281 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 183 187 189 192 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 369 370 373 a 2 3 4 7 12 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 183 187 189 192 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 361 369 370 373 a 2 3 4 7 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 183 187 189 192 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 361 369 370 373 a 2 3 4 7 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 182 183 187 192 193 194 199 201 206 207 209 216 218 223 227 228 231 232 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 361 369 370 373 a 2 3 4 7 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 182 183 187 192 193 194 199 201 206 207 209 216 218 223 227 228 231 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 361 369 370 373 a 3 4 7 15 20 28 29 32 34 35 39 43 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 182 183 187 192 193 194 199 201 206 207 209 216 218 221 223 227 228 231 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 348 354 355 356 358 361 369 370 373 a 3 4 7 15 20 28 29 32 34 35 39 44 45 50 52 53 54 62 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 118 122 125 126 127 128 135 139 150 152 158 159 164 169 170 172 174 175 178 182 183 187 192 193 194 199 201 206 207 209 216 218 221 223 227 228 231 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 347 348 354 355 356 358 361 369 370 373 a 3 4 7 15 20 28 29 32 34 35 39 44 45 50 52 53 54 62 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 164 169 170 172 174 175 178 182 183 187 192 193 194 199 201 206 207 209 216 218 221 223 227 228 231 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 347 348 354 355 356 358 361 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 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 164 169 170 172 174 175 178 182 183 187 192 193 194 199 201 206 207 216 218 221 223 227 228 231 233 235 237 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 316 320 321 322 327 329 335 337 340 342 347 348 354 355 356 358 361 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 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 164 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 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 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 361 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 238 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 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 361 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: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance029_graph001.col /benchmark/random_instance/random_instance029_graph001_01.dat" User time (seconds): 540.75 System time (seconds): 7.83 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.44 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): 7567308 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 2597081 Voluntary context switches: 2296311 Involuntary context switches: 2151 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 02:58:18 2023]