#BEGIN: [Mon Sep 4 11:25:41 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance034_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph004_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_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat c /benchmark/random_instance/random_instance034_graph004.col c /benchmark/random_instance/random_instance034_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 439 228 147 220 415 175 59 306 433 348 8 4 118 53 302 30 223 294 119 240 135 29 394 322 132 239 398 166 225 85 427 399 237 256 371 56 391 261 258 93 122 103 437 161 50 80 98 269 106 284 244 396 241 105 83 296 213 146 352 111 201 128 159 108 315 15 3 164 319 417 279 33 318 234 38 192 144 57 176 153 165 266 27 88 421 313 117 290 316 414 299 32 375 183 16 205 378 341 204 130 276 367 13 324 94 35 377 293 420 67 283 253 309 422 1 233 260 383 221 81 434 72 425 76 174 372 435 6 126 177 101 136 196 102 354 224 416 173 5 180 262 335 52 331 34 43 362 66 t 400 365 37 41 321 264 415 442 372 141 5 76 344 239 367 427 218 192 274 397 243 386 161 211 226 210 409 205 38 173 315 106 431 357 187 307 69 75 216 189 241 411 418 254 390 72 404 29 149 67 229 97 277 351 129 314 280 7 57 370 360 71 126 253 108 30 147 377 186 414 270 387 23 364 204 64 422 217 34 374 299 338 316 287 259 319 281 332 238 98 256 62 290 331 132 437 32 111 16 343 426 35 273 396 276 103 154 363 4 122 328 434 43 127 195 81 266 212 279 393 293 93 300 407 341 371 163 8 311 352 244 138 110 346 31 366 159 33 83 165 385 225 40 375 395 368 180 260 a YES a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 229 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 383 391 394 396 398 399 414 415 416 417 420 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 229 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 229 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 229 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 229 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 286 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 204 205 213 220 221 223 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 286 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 204 205 213 220 221 223 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 286 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 426 427 431 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 432 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 432 433 434 435 437 439 a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 432 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 432 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 434 435 437 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 434 435 437 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 421 422 425 426 427 431 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 38 42 43 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 256 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 434 435 437 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 434 435 437 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 434 435 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 432 434 435 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 418 420 422 425 426 427 431 432 434 435 439 a 1 3 4 5 6 13 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 294 296 299 302 306 308 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 439 a 1 3 4 5 6 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 67 72 76 80 81 83 88 93 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 439 a 1 3 4 5 6 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 439 a 1 3 4 5 6 15 16 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 a 1 3 4 5 6 15 16 27 29 30 32 33 34 35 42 43 48 50 52 53 56 57 59 66 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 6 15 16 27 29 30 32 33 34 35 42 43 48 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 6 15 16 27 29 30 32 33 35 38 42 43 48 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 15 16 19 27 29 30 32 33 35 38 42 43 48 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 223 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 15 16 19 27 29 30 32 33 35 38 42 43 48 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 16 19 27 29 30 32 33 34 35 38 42 43 48 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 16 19 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 174 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 16 19 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 435 437 a 1 3 4 5 16 19 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 417 418 420 422 425 426 427 431 432 434 437 a 1 3 4 5 16 19 27 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 432 434 437 a 1 3 4 5 16 19 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 432 434 437 a 1 3 4 5 16 19 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 183 184 192 196 201 204 205 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 269 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 16 19 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 183 184 192 196 201 204 205 210 220 221 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 16 19 29 30 32 33 34 35 38 42 43 50 52 53 56 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 183 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 183 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 244 253 255 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 183 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 244 253 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 244 253 256 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 398 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 64 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 244 253 256 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 348 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 64 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 164 165 166 173 175 176 177 180 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 243 244 253 256 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 352 354 362 363 366 367 371 372 375 377 378 383 391 394 396 397 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 64 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 192 196 201 204 205 210 220 224 225 228 233 237 239 240 241 243 244 253 256 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 335 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 50 52 53 57 59 64 72 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 256 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 64 72 75 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 256 258 259 260 261 262 266 274 276 279 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 399 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 64 72 75 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 118 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 64 72 75 76 80 81 83 88 93 94 101 102 103 105 106 108 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 64 72 75 76 80 81 83 88 93 94 102 103 105 106 108 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 294 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 64 72 75 76 80 81 83 88 93 94 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 354 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 62 64 72 75 76 80 81 83 88 93 94 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 201 204 205 210 218 220 224 225 228 233 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 62 64 72 75 76 80 81 83 88 93 94 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 201 204 205 210 218 220 224 225 228 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 52 53 57 59 62 64 72 75 76 80 81 83 88 93 94 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 218 220 224 225 228 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 94 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 228 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 315 316 318 319 321 322 324 327 328 331 341 352 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 94 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 228 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 315 316 318 319 321 324 327 328 331 332 341 352 360 362 363 366 367 371 372 375 377 378 383 391 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 94 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 226 228 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 315 316 318 319 321 324 327 328 331 332 341 352 360 362 363 366 367 371 372 375 377 378 383 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 94 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 226 228 229 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 315 316 318 319 321 324 327 328 331 332 341 352 360 362 363 366 367 371 372 375 377 383 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 226 228 229 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 315 316 318 319 321 324 327 328 331 332 341 352 360 362 363 366 367 371 372 375 377 383 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 226 228 229 237 239 240 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 341 352 360 362 363 366 367 371 372 375 377 383 394 396 397 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 261 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 341 352 360 362 363 366 367 371 372 375 377 383 394 396 397 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 220 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 360 362 363 366 367 371 372 375 377 383 394 396 397 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 3 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 360 362 363 366 367 371 372 375 377 383 394 395 396 397 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 360 362 363 365 366 367 371 372 375 377 383 394 395 396 397 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 32 33 34 35 37 38 42 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 360 363 365 366 367 371 372 374 375 377 383 394 395 396 397 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 296 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 360 363 365 366 367 371 372 374 375 377 383 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 153 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 360 363 365 366 367 371 372 374 375 377 383 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 136 138 142 144 145 146 147 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 274 276 279 281 283 287 290 293 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 357 360 363 365 366 367 371 372 374 375 377 383 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 88 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 145 146 147 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 357 360 363 365 366 367 371 372 374 375 377 383 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 145 146 147 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 212 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 308 309 313 314 315 316 319 321 324 327 328 331 332 338 341 352 357 360 363 365 366 367 371 372 374 375 377 383 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 145 146 147 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 212 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 308 313 314 315 316 319 321 324 327 328 331 332 338 341 352 357 360 363 365 366 367 371 372 374 375 377 383 385 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 93 97 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 212 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 308 313 314 315 316 319 321 324 327 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 192 196 204 205 210 212 216 218 224 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 327 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 19 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 327 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 327 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 128 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 425 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 129 132 135 138 142 144 146 147 159 161 165 166 173 175 176 177 180 184 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 142 144 147 159 161 165 166 173 175 176 177 180 184 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 328 331 332 338 341 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 142 144 147 159 161 165 166 173 175 176 177 180 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 306 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 144 147 159 161 165 166 173 175 176 177 180 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 390 394 395 396 397 404 407 411 414 415 416 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 144 147 159 161 165 166 173 175 176 177 180 187 189 192 196 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 144 147 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 43 53 57 59 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 147 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 147 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 266 270 273 274 276 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 420 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 72 75 76 80 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 147 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 264 266 270 273 274 276 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 72 75 76 81 83 93 97 98 102 103 105 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 147 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 264 266 270 273 274 276 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 135 138 141 142 147 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 135 138 141 147 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 324 328 331 332 338 341 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 135 138 141 147 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 262 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 328 331 332 338 341 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 135 138 141 147 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 328 331 332 338 341 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 383 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 135 138 141 147 149 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 328 331 332 338 341 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 138 141 147 149 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 237 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 328 331 332 338 341 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 53 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 138 141 147 149 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 313 314 315 316 319 321 328 331 332 338 341 343 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 138 141 147 149 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 212 216 218 225 226 228 229 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 302 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 138 141 147 149 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 283 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 138 141 147 149 154 159 161 165 166 173 175 176 177 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 117 119 122 126 127 129 132 138 141 147 149 154 159 161 165 173 175 176 177 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 165 173 175 176 177 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 385 386 390 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 165 173 175 177 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 177 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 371 372 374 375 377 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 313 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 390 393 394 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 1 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 218 225 226 228 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 119 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 258 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 71 72 75 76 81 83 93 97 98 102 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 c Step: 126 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat" User time (seconds): 361.86 System time (seconds): 4.82 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.71 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): 14125056 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4704140 Voluntary context switches: 27 Involuntary context switches: 647 Swaps: 0 File system inputs: 0 File system outputs: 960 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:31:49 2023]