c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.1.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.1_02.dat
c array.sh: name:     DSJC500.1_02
c array.sh: task:     20
c array.sh: host:     c3n22
c array.sh: uname:    Linux c3n22 5.4.0-110-generic #124-Ubuntu SMP Thu Apr 14 19:46:19 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux
c array.sh: start:    Fri 27 May 2022 03:14:28 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0260: solving longest 21950178-20-DSJC500_1_02
c 0.0270: Upper bound on solution length 1000000000
c 0.0270: Makespan 1
c 0.0380: Makespan 2
c 0.0510: Makespan 3
c 0.0620: Makespan 4
c 0.0780: Makespan 5
c 0.1330: Makespan 6
c 0.1570: Found solution, length 7
c 0.1590: Makespan 7
c 0.1780: Found solution, length 8
c 0.1800: Makespan 8
c 0.2080: Found solution, length 9
c 0.2100: Makespan 9
c 0.2380: Found solution, length 10
c 0.2400: Makespan 10
c 0.2660: Found solution, length 11
c 0.2690: Makespan 11
c 0.3080: Found solution, length 12
c 0.3100: Makespan 12
c 0.3420: Found solution, length 13
c 0.3440: Makespan 13
c 0.3870: Found solution, length 14
c 0.3890: Makespan 14
c 0.4220: Found solution, length 15
c 0.4250: Makespan 15
c 0.5400: Found solution, length 16
c 0.5430: Makespan 16
c 0.6570: Found solution, length 17
c 0.6590: Makespan 17
c 1.1050: Found solution, length 18
c 1.1070: Makespan 18
c 1.1640: Found solution, length 19
c 1.1670: Makespan 19
c 1.5700: Found solution, length 20
c 1.5730: Makespan 20
c 1.6820: Found solution, length 21
c 1.6850: Makespan 21
c 2.2390: Found solution, length 22
c 2.2420: Makespan 22
c 2.3450: Found solution, length 23
c 2.3470: Makespan 23
c 2.4210: Found solution, length 24
c 2.4240: Makespan 24
c 2.5580: Found solution, length 25
c 2.5610: Makespan 25
c 2.8850: Found solution, length 26
c 2.8880: Makespan 26
c 3.0880: Found solution, length 27
c 3.0910: Makespan 27
c 3.3930: Found solution, length 28
c 3.3960: Makespan 28
c 3.5270: Found solution, length 29
c 3.5300: Makespan 29
c 3.7200: Found solution, length 30
c 3.7240: Makespan 30
c 4.3190: Found solution, length 31
c 4.3230: Makespan 31
c 4.4580: Found solution, length 32
c 4.4610: Makespan 32
c 4.5960: Found solution, length 33
c 4.6000: Makespan 33
c 4.7340: Found solution, length 34
c 4.7380: Makespan 34
c 4.9130: Found solution, length 35
c 4.9180: Makespan 35
c 5.0970: Found solution, length 36
c 5.1010: Makespan 36
c 5.2640: Found solution, length 37
c 5.2680: Makespan 37
c 5.5420: Found solution, length 38
c 5.5460: Makespan 38
c 5.7470: Found solution, length 39
c 5.7520: Makespan 39
c 9.9880: Found solution, length 40
c 9.9930: Makespan 40
c 10.3810: Found solution, length 41
c 10.3870: Makespan 41
c 10.6380: Found solution, length 42
c 10.6430: Makespan 42
c 11.7750: Found solution, length 43
c 11.7800: Makespan 43
c 12.1010: Found solution, length 44
c 12.1070: Makespan 44
c 26.0220: Found solution, length 45
c 26.0280: Makespan 45
c 90.6700: Found solution, length 46
c 90.6800: Makespan 46
c 94.4650: Found solution, length 47
c 94.4740: Makespan 47
c 109.9370: Found solution, length 48
c 109.9440: Makespan 48
c 119.8970: Found solution, length 49
c 119.9040: Makespan 49
c 141.8340: Found solution, length 50
c 141.8410: Makespan 50
c 243.2180: Found solution, length 51
c 243.2250: Makespan 51
c 243.8900: Found solution, length 52
c 243.8970: Makespan 52
c 273.6870: Found solution, length 53
c 273.6940: Makespan 53
c 304.1200: Found solution, length 54
c 304.1280: Makespan 54
c 351.5410: Found solution, length 55
c 351.5490: Makespan 55
c 433.7830: Found solution, length 56
c 433.7910: Makespan 56
c 454.9000: Found solution, length 57
c 454.9090: Makespan 57
c 485.9520: Found solution, length 58
c 485.9620: Makespan 58
c 550.3990: Found solution, length 59
c 550.4090: Makespan 59
c 561.5160: Found solution, length 60
c 561.5260: Makespan 60
c 684.8450: Found solution, length 61
c 684.8540: Makespan 61
c 697.1950: Found solution, length 62
c 697.2040: Makespan 62
c 713.7450: Found solution, length 63
c 713.7550: Makespan 63
c 1120.5570: Found solution, length 64
c 1120.5680: Makespan 64
c 1133.6950: Found solution, length 65
c 1133.7060: Makespan 65
c 1135.4730: Found solution, length 66
c 1135.4830: Makespan 66
c 1284.9590: Found solution, length 67
c 1284.9690: Makespan 67
c 1291.3890: Found solution, length 68
c 1291.4000: Makespan 68
c 1292.2800: Found solution, length 69
c 1292.2920: Makespan 69
c 1647.8590: Found solution, length 70
c 1647.8710: Makespan 70
c 1652.5860: Found solution, length 71
c 1652.5980: Makespan 71
c 1764.2870: Found solution, length 72
c 1764.3000: Makespan 72
c 1971.9010: Found solution, length 73
c 1971.9220: Makespan 73
c 2098.2780: Found solution, length 74
c 2098.3000: Makespan 74
c 2182.7170: Found solution, length 75
c 2182.7310: Makespan 75
c 2274.3570: Found solution, length 76
c 2274.3700: Makespan 76
c 2365.6780: Found solution, length 77
c 2365.6920: Makespan 77
c 2602.1560: Found solution, length 78
c 2602.1690: Makespan 78
c 2871.2120: Found solution, length 79
c 2871.2260: Makespan 79
c 3043.8300: Found solution, length 80
c 3043.8450: Makespan 80
c 3154.7670: Found solution, length 81
c 3154.7820: Makespan 81
c 3774.5230: Found solution, length 82
c 3774.5380: Makespan 82
c 3924.3550: Found solution, length 83
c 3924.3700: Makespan 83
c 4388.4770: Found solution, length 84
c 4388.4920: Makespan 84
c 4555.7450: Found solution, length 85
c 4555.7610: Makespan 85
c 4567.3790: Found solution, length 86
c 4567.3950: Makespan 86
c 4928.5720: Found solution, length 87
c 4928.5880: Makespan 87
c array.sh: end:      Fri 27 May 2022 04:37:49 PM CEST
s 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497
t 9 10 15 25 31 35 36 59 66 73 77 99 102 107 113 125 133 148 154 160 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 309 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495
a YES
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 231 237 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 77 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 222 231 237 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 77 102 107 113 125 129 133 154 157 160 162 171 178 186 194 200 209 214 219 222 231 237 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 77 102 107 113 125 129 133 154 157 160 162 171 178 186 194 200 209 214 219 222 231 237 254 269 271 273 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 77 102 107 113 125 129 133 148 154 157 160 162 171 178 186 194 200 209 214 219 222 231 254 269 271 273 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 77 102 107 113 125 129 133 148 154 157 160 162 171 178 186 194 200 209 214 219 222 231 254 269 271 273 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 77 102 107 113 125 129 133 148 154 157 160 162 171 178 186 194 200 209 214 219 222 231 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 157 160 162 171 178 186 194 200 209 214 219 231 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 427 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 59 66 73 77 99 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 484 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 129 133 148 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 325 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 410 422 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 345 358 363 370 387 396 408 410 422 426 427 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497
a 9 10 15 25 31 35 36 59 66 73 77 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 77 102 107 113 125 133 148 154 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 77 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 99 102 107 113 125 133 148 154 160 162 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 77 99 102 107 113 125 133 148 154 160 171 175 178 184 186 194 200 209 214 219 231 254 263 269 271 284 302 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495
a 9 10 15 25 31 35 36 59 66 73 77 99 102 107 113 125 133 148 154 160 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 309 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495