c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC125.1.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC125.1_02.dat c array.sh: name: DSJC125.1_02 c array.sh: task: 8 c array.sh: host: c3n12 c array.sh: uname: Linux c3n12 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:38 PM CEST c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0010: solving longest 21950178-8-DSJC125_1_02 c 0.0010: Upper bound on solution length 1000000000 c 0.0010: Makespan 1 c 0.0020: Makespan 2 c 0.0030: Makespan 3 c 0.0050: Makespan 4 c 0.0100: Makespan 5 c 0.0140: Found solution, length 6 c 0.0150: Makespan 6 c 0.0210: Found solution, length 7 c 0.0230: Makespan 7 c 0.0290: Found solution, length 8 c 0.0300: Makespan 8 c 0.0450: Found solution, length 9 c 0.0460: Makespan 9 c 0.0570: Found solution, length 10 c 0.0590: Makespan 10 c 0.0890: Found solution, length 11 c 0.0910: Makespan 11 c 0.0990: Found solution, length 12 c 0.1010: Makespan 12 c 0.2180: Found solution, length 13 c 0.2200: Makespan 13 c 0.2530: Found solution, length 14 c 0.2540: Makespan 14 c 0.2900: Found solution, length 15 c 0.2920: Makespan 15 c 0.3360: Found solution, length 16 c 0.3380: Makespan 16 c 0.5600: Found solution, length 17 c 0.5610: Makespan 17 c 0.6180: Found solution, length 18 c 0.6190: Makespan 18 c 0.8960: Found solution, length 19 c 0.8980: Makespan 19 c 2.7330: Found solution, length 20 c 2.7350: Makespan 20 c 2.9760: Found solution, length 21 c 2.9770: Makespan 21 c 3.5200: Found solution, length 22 c 3.5220: Makespan 22 c 3.5750: Found solution, length 23 c 3.5770: Makespan 23 c 4.2510: Found solution, length 24 c 4.2530: Makespan 24 c 4.3640: Found solution, length 25 c 4.3650: Makespan 25 c 4.4210: Found solution, length 26 c 4.4230: Makespan 26 c 4.5080: Found solution, length 27 c 4.5100: Makespan 27 c 4.7470: Found solution, length 28 c 4.7500: Makespan 28 c 5.1170: Found solution, length 29 c 5.1190: Makespan 29 c 9.9950: Found solution, length 30 c 9.9970: Makespan 30 c 10.0750: Found solution, length 31 c 10.0770: Makespan 31 c 10.2080: Found solution, length 32 c 10.2110: Makespan 32 c 11.1020: Found solution, length 33 c 11.1040: Makespan 33 c 14.8480: Found solution, length 34 c 14.8500: Makespan 34 c 15.1300: Found solution, length 35 c 15.1320: Makespan 35 c 15.1820: Found solution, length 36 c 15.1850: Makespan 36 c 17.8240: Found solution, length 37 c 17.8270: Makespan 37 c 19.6630: Found solution, length 38 c 19.6650: Makespan 38 c 21.2020: Found solution, length 39 c 21.2040: Makespan 39 c 25.6880: Found solution, length 40 c 25.6910: Makespan 40 c 30.6900: Found solution, length 41 c 30.6930: Makespan 41 c 32.6310: Found solution, length 42 c 32.6330: Makespan 42 c 36.3200: Found solution, length 43 c 36.3230: Makespan 43 c 37.7340: Found solution, length 44 c 37.7370: Makespan 44 c 42.2280: Found solution, length 45 c 42.2310: Makespan 45 c 55.0960: Found solution, length 46 c 55.0980: Makespan 46 c 68.1320: Found solution, length 47 c 68.1350: Makespan 47 c 74.1890: Found solution, length 48 c 74.1920: Makespan 48 c 82.4600: Found solution, length 49 c 82.4630: Makespan 49 c 82.7250: Found solution, length 50 c 82.7280: Makespan 50 c 84.1070: Found solution, length 51 c 84.1100: Makespan 51 c 92.3220: Found solution, length 52 c 92.3250: Makespan 52 c 94.0480: Found solution, length 53 c 94.0510: Makespan 53 c 95.5190: Found solution, length 54 c 95.5220: Makespan 54 c 101.7510: Found solution, length 55 c 101.7540: Makespan 55 c 121.1660: Found solution, length 56 c 121.1690: Makespan 56 c 128.6690: Found solution, length 57 c 128.6730: Makespan 57 c 129.0240: Found solution, length 58 c 129.0270: Makespan 58 c 129.5070: Found solution, length 59 c 129.5110: Makespan 59 c 156.1940: Found solution, length 60 c 156.1980: Makespan 60 c 164.5070: Found solution, length 61 c 164.5110: Makespan 61 c 167.3920: Found solution, length 62 c 167.3960: Makespan 62 c 196.9840: Found solution, length 63 c 196.9880: Makespan 63 c 225.8130: Found solution, length 64 c 225.8170: Makespan 64 c 229.1470: Found solution, length 65 c 229.1510: Makespan 65 c 257.4520: Found solution, length 66 c 257.4560: Makespan 66 c 259.0490: Found solution, length 67 c 259.0530: Makespan 67 c 274.8120: Found solution, length 68 c 274.8160: Makespan 68 c 287.3760: Found solution, length 69 c 287.3800: Makespan 69 c 294.1530: Found solution, length 70 c 294.1570: Makespan 70 c 302.4190: Found solution, length 71 c 302.4230: Makespan 71 c 302.8930: Found solution, length 72 c 302.8980: Makespan 72 c 384.3060: Found solution, length 73 c 384.3110: Makespan 73 c 408.6750: Found solution, length 74 c 408.6800: Makespan 74 c 414.9190: Found solution, length 75 c 414.9240: Makespan 75 c 431.8800: Found solution, length 76 c 431.8850: Makespan 76 c 450.7320: Found solution, length 77 c 450.7370: Makespan 77 c 461.3080: Found solution, length 78 c 461.3130: Makespan 78 c 462.3270: Found solution, length 79 c 462.3320: Makespan 79 c 462.6010: Found solution, length 80 c 462.6060: Makespan 80 c 501.2890: Found solution, length 81 c 501.2950: Makespan 81 c 520.8500: Found solution, length 82 c 520.8550: Makespan 82 c 521.2390: Found solution, length 83 c 521.2440: Makespan 83 c 628.7730: Found solution, length 84 c 628.7790: Makespan 84 c 635.4470: Found solution, length 85 c 635.4530: Makespan 85 c 656.2240: Found solution, length 86 c 656.2300: Makespan 86 c 683.9300: Found solution, length 87 c 683.9360: Makespan 87 c 731.2530: Found solution, length 88 c 731.2600: Makespan 88 c 749.8130: Found solution, length 89 c 749.8200: Makespan 89 c 807.2710: Found solution, length 90 c 807.2780: Makespan 90 c 818.8120: Found solution, length 91 c 818.8190: Makespan 91 c 859.5990: Found solution, length 92 c 859.6050: Makespan 92 c 885.6640: Found solution, length 93 c 885.6700: Makespan 93 c 886.0450: Found solution, length 94 c 886.0520: Makespan 94 c 908.1210: Found solution, length 95 c 908.1270: Makespan 95 c 954.7080: Found solution, length 96 c 954.7150: Makespan 96 c 980.8320: Found solution, length 97 c 980.8390: Makespan 97 c 1130.9150: Found solution, length 98 c 1130.9220: Makespan 98 c 1247.9560: Found solution, length 99 c 1247.9630: Makespan 99 c 1281.4480: Found solution, length 100 c 1281.4550: Makespan 100 c 1488.5030: Found solution, length 101 c 1488.5100: Makespan 101 c 1522.4280: Found solution, length 102 c 1522.4360: Makespan 102 c 1763.7750: Found solution, length 103 c 1763.7830: Makespan 103 c 1829.6800: Found solution, length 104 c 1829.6880: Makespan 104 c 1835.0510: Found solution, length 105 c 1835.0590: Makespan 105 c 1872.3880: Found solution, length 106 c 1872.3970: Makespan 106 c 2019.0480: Found solution, length 107 c 2019.0560: Makespan 107 c 2189.9000: Found solution, length 108 c 2189.9080: Makespan 108 c 2221.5260: Found solution, length 109 c 2221.5350: Makespan 109 c 2481.9740: Found solution, length 110 c 2481.9830: Makespan 110 c 2630.2260: Found solution, length 111 c 2630.2350: Makespan 111 c 2679.0620: Found solution, length 112 c 2679.0700: Makespan 112 c 2851.7800: Found solution, length 113 c 2851.7890: Makespan 113 c 2868.6020: Found solution, length 114 c 2868.6110: Makespan 114 c 2869.7280: Found solution, length 115 c 2869.7370: Makespan 115 c 3088.1430: Found solution, length 116 c 3088.1530: Makespan 116 c 3254.1360: Found solution, length 117 c 3254.1450: Makespan 117 c 3519.2330: Found solution, length 118 c 3519.2410: Makespan 118 c 3597.3270: Found solution, length 119 c 3597.3370: Makespan 119 c 4114.6050: Found solution, length 120 c 4114.6160: Makespan 120 c 4125.5340: Found solution, length 121 c 4125.5440: Makespan 121 c 4175.7000: Found solution, length 122 c 4175.7100: Makespan 122 c 4214.2550: Found solution, length 123 c 4214.2650: Makespan 123 c 4323.1410: Found solution, length 124 c 4323.1520: Makespan 124 c 4328.3540: Found solution, length 125 c 4328.3640: Makespan 125 c 4559.2780: Found solution, length 126 c 4559.2880: Makespan 126 c 4590.3880: Found solution, length 127 c 4590.3980: Makespan 127 c 4637.4290: Found solution, length 128 c 4637.4390: Makespan 128 c 4668.9110: Found solution, length 129 c 4668.9220: Makespan 129 c 4819.2880: Found solution, length 130 c 4819.2990: Makespan 130 c array.sh: end: Fri 27 May 2022 04:36:58 PM CEST s 1 3 4 7 15 20 23 24 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 t 1 4 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117 a YES a 1 3 4 7 15 20 23 24 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 3 4 7 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 a 1 3 4 7 11 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 86 87 89 90 100 101 104 107 108 109 114 117 a 1 3 4 7 11 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 78 86 87 89 90 100 101 104 107 108 109 114 117 a 1 3 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 a 1 3 4 7 15 20 23 24 27 28 34 39 40 46 54 59 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 3 4 7 15 20 23 24 27 28 34 39 40 46 54 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 a 1 3 4 7 15 17 20 23 24 27 34 39 40 46 54 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 a 1 3 4 7 15 17 20 23 24 27 34 39 40 46 54 59 65 67 78 86 87 89 90 95 96 100 101 104 107 108 109 114 121 a 1 3 4 7 15 20 23 24 27 28 34 39 40 46 54 59 65 67 78 86 87 89 90 95 96 100 101 104 107 108 109 114 121 a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 56 59 65 67 78 86 87 89 90 95 96 100 101 104 107 108 109 114 121 a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 56 59 65 67 78 86 87 89 90 95 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 56 59 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 27 28 34 39 40 43 46 54 56 59 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 25 27 28 34 39 40 43 54 56 59 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 25 27 28 34 39 40 43 54 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 25 27 28 34 40 43 54 56 59 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 15 20 23 25 27 28 34 40 43 54 56 59 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 15 20 23 25 27 28 34 40 43 56 59 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 a 1 4 7 15 20 23 25 27 28 34 40 43 56 59 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 a 1 4 7 15 20 23 25 27 28 40 43 56 59 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125 a 1 4 7 15 20 23 25 27 28 39 40 43 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125 a 1 4 7 15 20 23 25 27 28 39 40 43 54 56 59 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 23 25 27 28 39 40 43 54 56 59 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 23 25 27 28 34 39 40 43 54 56 59 61 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 15 20 23 25 27 28 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 25 27 28 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 7 15 17 20 23 25 27 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 7 17 20 23 25 27 30 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 7 17 20 23 25 27 30 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 7 15 17 20 23 25 27 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 7 15 20 23 25 27 28 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 7 15 20 23 25 27 28 39 40 43 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125 a 1 4 15 20 23 25 27 28 39 40 43 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125 a 1 4 15 20 23 25 27 28 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 17 20 23 25 27 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 17 19 20 23 25 27 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 23 25 27 39 40 43 54 56 59 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 23 25 27 40 43 54 56 59 63 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 19 20 23 25 27 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 20 23 25 27 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 17 20 23 25 27 34 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 15 17 20 23 25 27 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 15 17 19 20 23 25 27 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 7 15 17 19 20 23 25 27 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 7 17 19 20 23 25 27 30 34 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 7 17 19 20 23 25 27 30 39 40 43 54 56 59 65 67 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 19 20 23 25 27 30 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 20 23 25 27 30 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 17 20 23 25 27 30 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 17 20 21 23 25 27 30 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 17 20 21 23 25 27 30 34 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 a 1 4 17 20 21 23 25 27 30 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125 a 1 4 17 20 21 23 25 27 30 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 17 19 20 21 23 25 27 30 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 19 20 21 23 25 27 30 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 125 a 1 4 17 19 20 21 23 25 27 30 34 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 a 1 4 17 19 20 21 23 25 27 30 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 17 19 20 23 25 27 30 34 39 40 43 54 56 59 65 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 17 18 19 20 23 25 27 30 34 39 40 43 54 56 59 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 17 18 19 20 23 25 27 30 39 40 43 54 56 59 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 18 19 20 23 25 30 39 40 43 54 56 59 65 67 70 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 18 19 20 21 23 25 30 39 40 43 54 56 59 67 70 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 18 19 20 21 23 25 27 30 39 40 43 54 56 59 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 17 18 19 20 21 23 25 27 30 34 39 40 43 54 56 59 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 15 17 18 19 20 21 23 25 27 34 39 40 43 54 56 59 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 15 17 18 19 20 21 23 25 27 34 40 43 54 56 59 63 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 15 17 18 19 20 23 25 27 34 40 43 54 56 59 63 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 15 17 18 19 20 23 25 27 34 39 40 43 54 56 59 65 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 7 15 17 18 19 20 23 25 27 34 39 40 43 54 56 59 65 67 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 7 15 17 18 19 20 23 25 27 34 40 43 54 56 59 63 65 67 86 87 89 91 95 100 101 104 107 108 109 117 121 a 1 4 7 15 17 18 19 20 23 25 27 40 43 54 56 59 63 65 67 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 7 15 17 18 19 20 23 25 27 39 40 43 54 56 59 65 67 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 7 15 17 18 19 20 23 25 39 40 43 54 56 59 65 67 70 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 7 15 17 18 19 20 23 25 40 43 54 56 59 63 65 67 70 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 23 25 40 43 54 56 59 63 65 67 70 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 23 25 39 40 43 54 56 59 65 67 70 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 21 23 25 39 40 43 54 56 59 67 70 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 21 23 25 40 43 54 56 59 63 67 70 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 21 23 25 27 40 43 54 56 59 63 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 18 19 20 21 23 25 27 39 40 43 54 56 59 67 73 86 87 89 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 19 20 21 23 25 27 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 19 20 21 23 25 27 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 125 a 1 4 15 17 19 20 21 23 25 27 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 125 a 1 4 15 17 19 20 21 23 25 27 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 125 a 1 4 15 17 19 20 21 23 25 27 34 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 15 17 19 20 21 23 25 27 34 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 a 1 4 15 17 19 20 21 23 25 27 34 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 117 121 a 1 4 15 17 19 20 21 23 25 27 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 117 121 a 1 4 15 17 20 21 23 25 27 34 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 15 17 20 21 23 25 27 34 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 a 1 4 15 17 20 21 23 25 27 34 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 a 1 4 15 17 20 21 23 25 27 34 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 15 17 20 21 23 25 27 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 17 20 21 23 25 27 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125 a 1 4 15 17 20 21 23 25 27 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125 a 1 4 15 17 20 21 23 25 27 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 61 67 73 75 86 87 89 90 91 100 101 104 107 108 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 54 56 59 61 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 61 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 61 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 67 73 75 86 87 89 90 91 95 100 101 104 107 108 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 39 40 43 56 59 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 56 59 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 125 a 1 4 15 20 21 23 25 27 28 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 125 a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 63 67 73 86 87 89 90 91 95 100 101 104 107 108 109 114 117 121 a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 100 101 104 107 108 114 117 121 a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 61 63 67 73 75 86 87 89 90 91 100 101 104 107 108 114 117 121 a 1 4 15 20 21 23 25 27 28 34 40 43 54 56 59 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 15 20 21 23 25 27 28 34 40 43 54 59 60 61 63 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 15 20 23 25 27 28 34 40 43 54 59 60 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 4 15 20 23 25 27 28 34 40 43 59 60 61 63 65 67 73 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 a 1 4 7 15 20 23 25 27 28 34 40 43 59 60 61 63 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 a 1 4 7 15 20 23 25 27 28 34 39 40 43 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 112 114 117 121 a 1 4 7 15 20 23 25 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 3 4 7 15 20 23 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 91 100 101 104 107 108 109 114 117 121 a 1 3 4 7 15 20 23 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 27 28 34 39 40 43 46 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 78 86 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 27 28 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 121 a 1 4 7 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 67 68 78 87 89 90 100 101 104 107 108 109 114 117 a 1 4 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117