c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC1000.1.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC1000.1_02.dat c array.sh: name: DSJC1000.1_02 c array.sh: task: 2 c array.sh: host: c3n32 c array.sh: uname: Linux c3n32 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:13:31 PM CEST c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0620: solving longest 21950178-2-DSJC1000_1_02 c 0.0630: Upper bound on solution length 1000000000 c 0.0630: Makespan 1 c 0.0840: Makespan 2 c 0.1100: Makespan 3 c 0.1400: Found solution, length 4 c 0.1410: Makespan 4 c 0.1770: Found solution, length 5 c 0.1780: Makespan 5 c 0.2190: Found solution, length 6 c 0.2210: Makespan 6 c 0.2750: Found solution, length 7 c 0.2770: Makespan 7 c 0.3240: Found solution, length 8 c 0.3260: Makespan 8 c 0.3760: Found solution, length 9 c 0.3780: Makespan 9 c 0.4370: Found solution, length 10 c 0.4390: Makespan 10 c 0.4950: Found solution, length 11 c 0.4970: Makespan 11 c 0.5620: Found solution, length 12 c 0.5650: Makespan 12 c 0.6290: Found solution, length 13 c 0.6310: Makespan 13 c 0.7320: Found solution, length 14 c 0.7350: Makespan 14 c 0.8240: Found solution, length 15 c 0.8270: Makespan 15 c 0.9190: Found solution, length 16 c 0.9220: Makespan 16 c 1.0230: Found solution, length 17 c 1.0260: Makespan 17 c 1.2690: Found solution, length 18 c 1.2720: Makespan 18 c 2.8250: Found solution, length 19 c 2.8290: Makespan 19 c 7.4570: Found solution, length 20 c 7.4610: Makespan 20 c 10.4190: Found solution, length 21 c 10.4230: Makespan 21 c 12.7570: Found solution, length 22 c 12.7610: Makespan 22 c 13.2160: Found solution, length 23 c 13.2200: Makespan 23 c 13.5710: Found solution, length 24 c 13.5760: Makespan 24 c 13.8000: Found solution, length 25 c 13.8050: Makespan 25 c 14.5570: Found solution, length 26 c 14.5620: Makespan 26 c 31.4090: Found solution, length 27 c 31.4170: Makespan 27 c 31.8330: Found solution, length 28 c 31.8380: Makespan 28 c 32.1630: Found solution, length 29 c 32.1680: Makespan 29 c 32.5760: Found solution, length 30 c 32.5810: Makespan 30 c 57.8170: Found solution, length 31 c 57.8230: Makespan 31 c 58.4620: Found solution, length 32 c 58.4690: Makespan 32 c 127.8240: Found solution, length 33 c 127.8310: Makespan 33 c 129.3470: Found solution, length 34 c 129.3530: Makespan 34 c 131.2300: Found solution, length 35 c 131.2370: Makespan 35 c 198.3070: Found solution, length 36 c 198.3140: Makespan 36 c 199.2310: Found solution, length 37 c 199.2390: Makespan 37 c 221.4460: Found solution, length 38 c 221.4540: Makespan 38 c 291.3680: Found solution, length 39 c 291.3760: Makespan 39 c 311.1410: Found solution, length 40 c 311.1500: Makespan 40 c 312.0810: Found solution, length 41 c 312.0900: Makespan 41 c 393.2370: Found solution, length 42 c 393.2460: Makespan 42 c 406.8960: Found solution, length 43 c 406.9060: Makespan 43 c 431.2860: Found solution, length 44 c 431.2960: Makespan 44 c 517.9770: Found solution, length 45 c 517.9870: Makespan 45 c 520.0840: Found solution, length 46 c 520.0940: Makespan 46 c 539.5490: Found solution, length 47 c 539.5600: Makespan 47 c 585.2750: Found solution, length 48 c 585.2860: Makespan 48 c 675.1330: Found solution, length 49 c 675.1450: Makespan 49 c 741.6850: Found solution, length 50 c 741.6980: Makespan 50 c 750.5140: Found solution, length 51 c 750.5270: Makespan 51 c 919.5670: Found solution, length 52 c 919.5800: Makespan 52 c 1142.5300: Found solution, length 53 c 1142.5430: Makespan 53 c 1357.6560: Found solution, length 54 c 1357.6700: Makespan 54 c 1954.9080: Found solution, length 55 c 1954.9240: Makespan 55 c 2042.4830: Found solution, length 56 c 2042.5000: Makespan 56 c 2392.4450: Found solution, length 57 c 2392.4780: Makespan 57 c 2431.9110: Found solution, length 58 c 2431.9280: Makespan 58 c 2693.4790: Found solution, length 59 c 2693.4950: Makespan 59 c 2859.2780: Found solution, length 60 c 2859.2950: Makespan 60 c 3142.9380: Found solution, length 61 c 3142.9550: Makespan 61 c 3275.5030: Found solution, length 62 c 3275.5210: Makespan 62 c 3644.0860: Found solution, length 63 c 3644.1040: Makespan 63 c 3685.2540: Found solution, length 64 c 3685.2730: Makespan 64 c 4078.8220: Found solution, length 65 c 4078.8400: Makespan 65 c 4083.1460: Found solution, length 66 c 4083.1640: Makespan 66 c 4220.2510: Found solution, length 67 c 4220.2710: Makespan 67 c 4430.5980: Found solution, length 68 c 4430.6180: Makespan 68 c array.sh: end: Fri 27 May 2022 04:36:52 PM CEST s 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989 t 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 855 872 930 959 965 973 988 989 a YES a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 973 988 989 a 17 42 47 51 56 76 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 731 736 754 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 188 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 a 17 42 47 51 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 42 47 51 84 100 101 102 126 127 130 135 136 158 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 42 47 51 84 100 101 102 126 127 130 135 136 158 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 42 47 51 84 100 101 102 126 127 130 135 136 158 188 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 989 a 42 47 51 84 100 101 102 126 127 130 135 136 158 188 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 989 a 42 47 51 84 100 101 102 127 130 135 136 158 188 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 887 930 959 965 973 989 a 42 47 51 84 100 101 102 127 130 135 136 158 188 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 887 930 959 965 973 989 a 42 47 51 84 100 101 102 127 130 135 136 158 188 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 723 727 731 736 754 759 796 830 835 851 872 887 959 965 973 989 a 42 47 51 84 100 101 102 127 130 135 136 158 188 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 723 727 736 740 754 759 796 830 835 851 872 887 959 965 973 989 a 42 47 51 84 100 101 102 127 130 135 136 158 197 201 233 245 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 723 727 736 740 754 759 796 830 835 851 872 887 959 965 973 988 989 a 42 47 51 56 84 100 101 102 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 723 727 736 740 754 759 796 830 835 851 872 887 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 723 727 736 740 754 759 796 830 835 851 872 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 835 851 872 930 959 965 973 988 989 a 17 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 255 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 835 851 872 930 959 965 973 988 989 a 17 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989 a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 855 872 930 959 965 973 988 989