#BEGIN: [Mon Sep 4 10:36:09 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance032_graph005.col /benchmark/random_instance/random_instance032_graph005_01.dat c /benchmark/random_instance/random_instance032_graph005.col c /benchmark/random_instance/random_instance032_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! s 324 351 381 150 194 171 227 120 77 39 298 415 73 72 208 260 283 81 267 133 302 13 327 360 238 177 88 34 294 105 130 289 203 66 78 46 99 403 341 350 312 68 132 59 213 331 254 340 64 104 318 286 290 276 337 256 370 211 5 25 284 264 355 384 343 377 309 243 229 253 87 181 346 117 42 217 390 37 268 65 54 136 402 102 29 21 308 412 332 190 379 33 383 155 173 266 410 223 299 91 11 352 183 225 345 109 165 364 288 62 63 124 143 228 316 103 12 210 31 393 249 314 167 158 204 401 354 152 75 71 138 321 52 t 385 414 165 187 42 224 290 257 204 218 101 8 282 192 194 246 176 400 330 68 314 346 269 151 59 143 167 258 371 335 195 299 145 284 25 54 135 19 283 49 222 347 91 248 256 53 372 362 173 241 18 255 238 73 219 124 251 183 403 250 370 304 206 294 209 26 220 365 1 278 74 156 130 307 289 215 369 313 136 216 328 303 323 146 117 249 373 27 23 327 112 172 401 310 286 158 348 39 72 180 277 233 99 51 210 182 144 157 70 43 147 35 89 67 361 243 133 239 259 387 268 55 225 134 34 186 254 63 230 320 138 38 358 a YES a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 179 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 360 364 370 377 379 381 383 384 390 393 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 179 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 360 364 370 377 379 381 383 384 390 393 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 171 173 177 179 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 360 364 370 377 379 381 383 384 390 393 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 171 173 177 179 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 360 364 370 377 379 381 383 384 390 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 90 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 173 177 179 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 360 364 370 377 379 381 383 384 390 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 90 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 173 177 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 213 217 223 225 227 228 229 233 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 217 223 225 227 228 229 233 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 102 103 104 105 109 117 120 124 130 132 133 136 138 143 146 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 102 103 104 105 109 117 118 120 124 130 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 194 203 204 208 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 102 103 104 105 109 117 118 120 124 129 130 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 194 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 326 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 102 103 104 105 109 117 118 120 124 129 130 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 194 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 129 130 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 194 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 129 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 194 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 129 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 132 133 136 138 143 146 152 155 158 165 167 171 177 181 183 190 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 165 167 171 177 181 183 190 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 210 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 88 91 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 228 229 238 243 249 253 254 256 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 228 229 238 243 249 253 254 256 257 260 264 266 267 268 270 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 228 229 238 243 249 253 254 256 257 260 264 266 267 268 276 283 286 288 289 290 292 294 298 299 302 308 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 286 288 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 286 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 391 393 399 401 402 403 408 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 286 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 399 401 402 403 408 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 415 a 6 11 12 13 20 21 25 29 31 33 37 39 42 45 52 54 59 62 63 64 65 66 71 72 73 75 76 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 415 a 5 6 11 12 13 20 21 25 29 31 33 37 39 42 45 52 54 59 62 63 64 65 66 71 72 73 75 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 415 a 5 6 11 12 13 20 21 25 29 31 33 37 39 42 45 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 415 a 5 6 11 12 13 20 21 25 29 31 33 37 39 42 45 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 a 5 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 a 5 6 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 109 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 375 377 379 381 383 384 390 393 401 402 403 408 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 183 190 203 204 209 210 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 401 402 403 408 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 384 390 393 401 402 403 408 410 412 413 415 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 384 390 393 401 402 403 408 410 412 413 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 223 225 228 229 238 243 249 251 253 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 384 390 393 401 402 403 408 410 412 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 223 225 228 229 238 243 249 251 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 390 393 401 402 403 408 410 412 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 305 309 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 390 393 400 401 402 403 408 410 412 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 303 305 312 314 316 318 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 390 393 400 401 402 403 408 410 412 a 5 11 12 13 20 21 25 29 31 33 37 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 390 393 400 401 402 403 408 410 412 a 5 11 12 13 20 21 25 29 31 33 37 38 39 42 52 54 59 62 63 64 65 66 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 393 400 401 402 403 408 410 412 a 5 11 12 13 20 21 25 29 31 33 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 393 400 401 402 403 408 410 a 5 11 12 13 20 21 25 29 31 33 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 258 260 264 266 267 268 276 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 393 400 401 402 403 408 410 a 5 11 12 13 20 21 25 29 31 33 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 192 203 204 209 210 211 213 217 225 228 229 238 243 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 393 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 33 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 152 155 158 167 171 177 181 182 183 190 192 203 204 209 210 211 213 217 222 225 228 229 238 243 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 393 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 209 210 211 213 217 222 225 228 229 238 243 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 393 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 118 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 211 213 217 222 225 228 229 238 243 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 211 213 217 222 225 228 229 238 243 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 377 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 211 213 217 222 225 228 229 238 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 211 213 217 222 225 228 229 238 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 213 217 222 225 228 229 238 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 316 321 322 324 327 331 337 340 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 213 216 217 222 225 228 229 238 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 314 321 322 324 327 331 337 340 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 203 204 206 209 210 213 216 217 222 225 229 238 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 313 314 321 322 324 327 331 337 340 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 213 216 217 222 225 229 238 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 298 299 302 303 305 310 312 313 314 321 322 324 327 331 337 340 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 213 216 217 222 225 229 238 241 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 299 302 303 305 310 312 313 314 321 322 324 327 331 337 340 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 213 216 217 222 225 229 238 241 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 299 302 303 305 310 312 313 314 321 322 324 327 331 337 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 216 217 222 225 229 238 241 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 299 302 303 305 310 312 313 314 321 322 324 327 331 337 341 343 345 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 216 217 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 267 268 278 283 284 286 288 289 290 292 294 299 302 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 216 217 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 268 269 278 283 284 286 288 289 290 292 294 299 302 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 105 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 216 217 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 190 192 195 204 206 209 210 215 216 217 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 370 379 381 384 387 400 401 402 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 369 370 379 381 384 387 400 401 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 256 257 258 260 264 266 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 369 370 379 381 387 400 401 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 337 341 343 346 350 352 354 355 360 362 364 369 370 379 381 387 400 401 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 322 324 327 331 335 337 341 343 346 350 354 355 360 362 364 369 370 379 381 387 400 401 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 132 133 134 136 137 138 143 144 146 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 310 312 313 314 321 324 327 331 335 337 341 343 346 350 354 355 360 362 364 369 370 379 381 387 400 401 403 408 410 a 5 11 12 13 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 133 134 136 137 138 143 144 146 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 350 354 355 360 362 364 369 370 379 381 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 102 103 104 117 120 124 130 133 134 136 137 138 143 144 146 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 350 354 355 360 362 364 369 370 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 78 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 354 355 360 362 364 369 370 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 75 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 354 355 360 362 364 369 370 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 354 355 360 362 364 369 370 373 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 354 355 360 362 364 369 370 373 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 156 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 354 355 360 362 364 369 370 373 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 156 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 354 355 362 364 369 370 373 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 156 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 362 364 369 370 373 379 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 156 158 165 167 171 177 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 155 156 158 165 167 171 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 11 12 18 20 21 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 11 12 18 21 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 361 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 12 18 21 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 64 65 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 358 361 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 12 18 21 25 27 31 34 35 37 38 39 42 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 87 91 99 103 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 358 361 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 12 18 21 25 27 31 34 35 37 38 39 42 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 87 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 358 361 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 8 12 18 21 25 27 31 34 35 37 38 39 42 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 355 358 361 362 364 369 370 373 381 385 387 400 401 403 408 410 a 5 8 12 18 21 25 27 31 34 35 37 38 39 42 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 321 324 327 331 335 337 341 343 346 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 a 1 5 8 12 18 21 25 27 31 34 35 37 38 39 42 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 324 327 331 335 337 341 343 346 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 a 1 5 8 12 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 324 327 331 335 337 343 346 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 a 1 5 8 12 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 324 327 331 335 337 343 346 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 324 327 331 335 337 343 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 146 147 151 152 156 157 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 324 327 331 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 171 180 181 182 183 186 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 288 289 290 292 294 299 303 305 307 310 312 313 314 324 327 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 120 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 171 180 181 182 183 186 187 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 305 307 310 312 313 314 324 327 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 171 180 181 182 183 186 187 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 305 307 310 312 313 314 323 324 327 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 86 91 99 104 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 190 192 195 204 206 209 210 215 216 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 305 307 310 312 313 314 323 324 327 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 21 25 27 31 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 190 192 195 204 206 209 210 215 216 218 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 305 307 310 312 313 314 323 324 327 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 190 192 195 204 206 209 210 215 216 218 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 305 307 310 312 313 314 323 324 327 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 195 204 206 209 210 215 216 218 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 305 307 310 312 313 314 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 410 414 a 1 5 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 195 204 206 209 210 215 216 218 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 304 305 307 310 312 313 314 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 381 385 387 400 401 403 408 414 a 1 5 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 195 204 206 209 210 215 216 218 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 304 305 307 310 312 313 314 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 408 414 a 1 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 195 204 206 209 210 215 216 218 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 304 305 307 310 312 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 408 414 a 1 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 195 204 206 209 210 215 216 218 219 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 292 294 299 303 304 305 307 310 312 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 37 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 222 224 225 230 233 238 241 243 246 248 249 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 312 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 136 137 138 143 144 145 146 147 151 152 156 157 158 165 167 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 222 224 225 230 233 238 241 243 246 248 249 250 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 312 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 136 137 138 143 144 145 146 147 151 156 157 158 165 167 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 312 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 77 81 91 99 104 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 81 91 99 104 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 64 67 70 72 73 74 91 99 104 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 67 70 72 73 74 91 99 104 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 324 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 26 27 34 35 38 39 42 43 49 51 52 54 55 59 62 63 67 70 72 73 74 91 99 104 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 26 27 34 35 38 39 42 43 49 51 52 54 55 59 63 67 70 72 73 74 91 99 104 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 176 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 373 385 387 400 401 403 414 a 1 8 18 19 21 25 26 27 34 35 38 39 42 43 49 51 52 54 55 59 63 67 70 72 73 74 91 99 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 176 180 181 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 21 25 26 27 34 35 38 39 42 43 49 51 52 54 55 59 63 67 70 72 73 74 89 91 99 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 335 337 346 347 348 350 358 361 362 364 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 21 25 26 27 34 35 38 39 42 43 49 51 52 54 55 59 63 67 70 72 73 74 89 91 99 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 330 335 337 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 25 26 27 34 35 38 39 42 43 49 51 52 53 54 55 59 63 67 70 72 73 74 89 91 99 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 330 335 337 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 305 307 310 313 314 320 323 327 328 330 335 337 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 137 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 337 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 260 268 269 277 278 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 337 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 268 269 277 278 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 337 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 268 269 277 278 282 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 346 347 348 350 358 361 362 365 369 370 372 373 385 387 400 401 403 414 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 268 269 277 278 282 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 385 387 400 401 403 414 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance032_graph005.col /benchmark/random_instance/random_instance032_graph005_01.dat" User time (seconds): 63.79 System time (seconds): 0.12 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.92 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): 297080 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 110270 Voluntary context switches: 23 Involuntary context switches: 329 Swaps: 0 File system inputs: 0 File system outputs: 840 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:37:13 2023]