c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.1.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.1_01.dat
c array.sh: name:     DSJR500.1_01
c array.sh: task:     25
c array.sh: host:     c3n13
c array.sh: uname:    Linux c3n13 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:15:29 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0040: solving longest 21950178-25-DSJR500_1_01
c 0.0040: Upper bound on solution length 1000000000
c 0.0040: Makespan 1
c 0.0080: Makespan 2
c 0.0150: Makespan 3
c 0.0220: Makespan 4
c 0.0440: Makespan 5
c 0.0920: Makespan 6
c 0.2720: Makespan 7
c 1.0230: Makespan 8
c 1.0730: Found solution, length 9
c 1.0760: Makespan 9
c 1.5820: Found solution, length 10
c 1.5840: Makespan 10
c 3.3350: Found solution, length 11
c 3.3370: Makespan 11
c 7.4170: Found solution, length 12
c 7.4200: Makespan 12
c 7.6960: Found solution, length 13
c 7.6980: Makespan 13
c 10.2400: Found solution, length 14
c 10.2420: Makespan 14
c 15.8900: Found solution, length 15
c 15.8920: Makespan 15
c 19.7540: Found solution, length 16
c 19.7560: Makespan 16
c 20.9970: Found solution, length 17
c 21.0000: Makespan 17
c 24.1810: Found solution, length 18
c 24.1850: Makespan 18
c 24.5450: Found solution, length 19
c 24.5480: Makespan 19
c 32.4770: Found solution, length 20
c 32.4800: Makespan 20
c 37.6050: Found solution, length 21
c 37.6080: Makespan 21
c 39.1580: Found solution, length 22
c 39.1610: Makespan 22
c 46.0150: Found solution, length 23
c 46.0180: Makespan 23
c 46.6820: Found solution, length 24
c 46.6860: Makespan 24
c 47.1320: Found solution, length 25
c 47.1350: Makespan 25
c 54.4430: Found solution, length 26
c 54.4470: Makespan 26
c 54.5990: Found solution, length 27
c 54.6020: Makespan 27
c 55.2160: Found solution, length 28
c 55.2190: Makespan 28
c 90.3680: Found solution, length 29
c 90.3720: Makespan 29
c 94.8710: Found solution, length 30
c 94.8750: Makespan 30
c 106.5620: Found solution, length 31
c 106.5670: Makespan 31
c 131.0130: Found solution, length 32
c 131.0180: Makespan 32
c 148.8590: Found solution, length 33
c 148.8640: Makespan 33
c 163.5100: Found solution, length 34
c 163.5150: Makespan 34
c 182.2950: Found solution, length 35
c 182.3010: Makespan 35
c 196.6310: Found solution, length 36
c 196.6360: Makespan 36
c 221.3950: Found solution, length 37
c 221.4000: Makespan 37
c 234.9480: Found solution, length 38
c 234.9530: Makespan 38
c 242.3560: Found solution, length 39
c 242.3610: Makespan 39
c 268.1210: Found solution, length 40
c 268.1270: Makespan 40
c 314.0240: Found solution, length 41
c 314.0300: Makespan 41
c 322.0570: Found solution, length 42
c 322.0630: Makespan 42
c 388.8500: Found solution, length 43
c 388.8570: Makespan 43
c 406.0670: Found solution, length 44
c 406.0740: Makespan 44
c 428.3310: Found solution, length 45
c 428.3420: Makespan 45
c 446.3540: Found solution, length 46
c 446.3650: Makespan 46
c 470.7820: Found solution, length 47
c 470.7900: Makespan 47
c 501.9380: Found solution, length 48
c 501.9450: Makespan 48
c 528.1570: Found solution, length 49
c 528.1650: Makespan 49
c 559.3010: Found solution, length 50
c 559.3090: Makespan 50
c 562.5500: Found solution, length 51
c 562.5580: Makespan 51
c 588.8410: Found solution, length 52
c 588.8500: Makespan 52
c 755.0040: Found solution, length 53
c 755.0130: Makespan 53
c 785.3600: Found solution, length 54
c 785.3690: Makespan 54
c 829.1980: Found solution, length 55
c 829.2070: Makespan 55
c 851.0080: Found solution, length 56
c 851.0170: Makespan 56
c 917.9040: Found solution, length 57
c 917.9130: Makespan 57
c 1041.0810: Found solution, length 58
c 1041.0910: Makespan 58
c 1069.0920: Found solution, length 59
c 1069.1020: Makespan 59
c 1079.4280: Found solution, length 60
c 1079.4380: Makespan 60
c 1434.5760: Found solution, length 61
c 1434.5870: Makespan 61
c 1575.6870: Found solution, length 62
c 1575.6990: Makespan 62
c 1724.6770: Found solution, length 63
c 1724.6870: Makespan 63
c 1788.5830: Found solution, length 64
c 1788.5940: Makespan 64
c 1793.2550: Found solution, length 65
c 1793.2660: Makespan 65
c 1844.0060: Found solution, length 66
c 1844.0170: Makespan 66
c 1845.4780: Found solution, length 67
c 1845.4900: Makespan 67
c 2223.3080: Found solution, length 68
c 2223.3210: Makespan 68
c 2329.3450: Found solution, length 69
c 2329.3580: Makespan 69
c 2647.7890: Found solution, length 70
c 2647.8010: Makespan 70
c 2651.5700: Found solution, length 71
c 2651.5820: Makespan 71
c 2711.5890: Found solution, length 72
c 2711.6020: Makespan 72
c 2976.1970: Found solution, length 73
c 2976.2110: Makespan 73
c 3145.3280: Found solution, length 74
c 3145.3410: Makespan 74
c 3147.9740: Found solution, length 75
c 3147.9880: Makespan 75
c 3204.6600: Found solution, length 76
c 3204.6740: Makespan 76
c 3399.4890: Found solution, length 77
c 3399.5040: Makespan 77
c 3563.2000: Found solution, length 78
c 3563.2150: Makespan 78
c 3715.3570: Found solution, length 79
c 3715.3710: Makespan 79
c 3735.1090: Found solution, length 80
c 3735.1250: Makespan 80
c 4258.6630: Found solution, length 81
c 4258.6780: Makespan 81
c 4308.2380: Found solution, length 82
c 4308.2540: Makespan 82
c 4443.1180: Found solution, length 83
c 4443.1340: Makespan 83
c 4546.1700: Found solution, length 84
c 4546.1860: Makespan 84
c 4556.5800: Found solution, length 85
c 4556.5960: Makespan 85
c 4673.8190: Found solution, length 86
c 4673.8360: Makespan 86
c 4966.1010: Found solution, length 87
c 4966.1280: Makespan 87
c 4994.7080: Found solution, length 88
c 4994.7260: Makespan 88
c array.sh: end:      Fri 27 May 2022 04:38:49 PM CEST
s 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
t 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a YES
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 262 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 262 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 498
a 1 19 20 22 26 44 47 52 53 55 57 59 62 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 262 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 62 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 498
a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 498
a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 106 114 115 132 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 78 81 88 92 106 114 115 132 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 481 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 481 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 255 269 295 298 301 306 309 319 323 324 326 331 343 344 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 481 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 255 269 295 298 301 306 309 319 323 324 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 73 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 298 301 306 309 319 323 324 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 37 44 47 52 53 55 57 59 64 73 78 81 88 92 99 106 114 115 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 255 269 295 298 301 306 309 319 323 324 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 255 269 295 298 301 306 309 319 323 324 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 255 269 295 298 301 306 309 314 319 323 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 298 301 306 309 314 319 323 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 255 269 287 298 301 306 309 314 319 323 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492
a 1 19 20 22 26 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 287 298 301 306 309 314 319 323 326 331 343 344 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492
a 1 19 20 22 26 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 287 298 301 306 309 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 106 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 287 298 301 306 309 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 287 298 301 306 309 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 270 287 298 306 309 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 114 115 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 270 287 298 306 309 310 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 114 115 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 255 269 270 298 306 309 310 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 235 255 269 270 298 306 309 310 314 319 323 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 235 255 269 270 298 306 309 310 314 319 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 202 203 206 215 223 230 235 255 269 270 298 306 309 310 314 319 326 330 331 343 344 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 73 78 81 88 92 99 105 114 115 138 148 155 160 165 167 169 174 180 185 186 193 198 199 202 203 206 215 223 230 235 255 269 270 298 306 309 310 314 319 326 330 343 344 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 160 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 235 255 269 270 298 306 309 310 314 319 326 330 343 344 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 160 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 235 251 255 269 270 298 306 309 310 314 319 326 330 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 235 251 255 269 270 298 306 309 310 314 319 326 330 331 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 330 331 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 57 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 251 255 262 269 270 295 298 306 309 310 314 319 326 330 331 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 251 255 262 269 270 295 298 306 309 310 314 319 326 330 331 332 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 330 331 332 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 193 198 199 202 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 330 331 332 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 198 199 202 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 330 331 332 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 92 99 105 114 115 121 138 148 155 165 167 169 174 180 185 186 198 199 202 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 331 332 343 349 361 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 92 99 105 114 115 121 138 148 155 165 167 169 174 180 185 186 198 202 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 331 332 343 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 121 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 331 332 343 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 251 255 269 270 295 298 306 309 310 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 251 255 269 295 298 301 306 309 310 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 8 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 251 255 269 295 298 301 306 309 310 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 8 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 235 251 255 269 298 301 306 309 310 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 105 114 115 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 235 251 255 269 287 298 301 306 309 310 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 114 115 138 148 155 165 167 169 174 180 185 186 198 203 206 215 223 230 235 251 255 269 287 298 301 306 309 310 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 114 115 138 148 155 160 165 167 169 174 180 185 186 198 203 206 215 223 230 235 251 255 269 287 298 301 306 309 310 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 114 115 138 148 155 160 165 167 169 174 180 185 186 198 203 206 215 223 230 235 240 251 255 269 287 298 301 306 310 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 114 115 132 138 148 155 160 165 167 169 174 180 185 186 198 203 206 215 223 230 235 240 251 255 269 287 298 301 306 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 36 44 47 52 53 55 59 64 71 73 78 81 88 92 99 114 115 132 138 148 155 160 165 167 169 174 180 185 186 198 203 206 215 223 230 235 240 251 255 269 287 298 301 306 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 493
a 1 19 20 22 26 36 44 47 52 53 55 59 64 71 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 251 255 269 287 298 301 306 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 493
a 1 19 20 22 26 36 44 47 52 53 55 59 64 71 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 269 287 298 301 306 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 269 287 298 301 306 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 71 73 78 81 88 92 114 115 122 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 332 343 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 71 73 78 81 88 92 114 115 122 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 262 269 298 301 306 314 319 323 326 332 343 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 71 73 78 81 88 114 115 122 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 262 269 275 298 301 306 314 319 323 326 332 343 349 361 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 71 73 78 81 88 114 115 122 132 138 148 155 160 165 167 169 174 180 185 186 196 198 203 206 215 223 230 235 240 249 255 262 269 275 298 301 306 314 319 323 326 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 114 115 122 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 249 255 262 269 275 298 301 306 314 319 323 326 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 114 115 122 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 249 255 269 275 298 301 306 314 319 323 326 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 249 255 269 275 298 301 306 314 319 323 326 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 105 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 249 255 269 275 298 301 306 314 319 326 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 105 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 249 255 269 275 298 301 306 314 319 326 330 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 105 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 199 202 203 206 215 223 230 235 240 249 255 269 275 298 301 306 314 319 326 330 332 343 349 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 105 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 199 202 203 206 215 223 230 235 240 249 255 269 270 275 298 306 314 319 326 330 332 343 349 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 36 44 47 52 53 55 59 64 73 78 81 88 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 199 202 203 206 215 223 230 235 240 249 255 269 270 275 298 306 314 319 323 326 330 332 343 349 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 199 202 203 206 215 223 230 235 240 249 255 269 270 275 298 306 314 319 323 326 330 332 343 349 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 199 202 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 323 326 330 332 343 349 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 199 202 203 206 215 223 230 235 240 255 269 270 298 306 314 319 323 326 330 332 343 344 349 370 376 394 399 407 408 409 415 416 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 255 269 270 298 306 314 319 323 326 330 332 343 344 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 255 269 298 301 306 314 319 323 326 330 332 343 344 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 36 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 196 198 202 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 330 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 160 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 330 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 330 331 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 476 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 73 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 262 269 298 301 306 314 319 323 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 262 269 298 301 306 314 319 323 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 262 269 298 301 306 314 319 323 326 330 331 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 330 331 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 71 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 330 331 332 343 349 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 71 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 323 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 298 301 306 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 29 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 262 269 270 298 306 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 262 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498