#BEGIN: [Mon Sep 4 22:10:16 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance012_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance012_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance012_graph004.col /benchmark/random_instance/random_instance012_graph004_01.dat c /benchmark/random_instance/random_instance012_graph004.col c /benchmark/random_instance/random_instance012_graph004_01.dat s 66 27 70 152 104 74 144 133 108 46 83 116 49 112 76 121 11 29 10 47 106 62 73 24 135 115 126 6 23 15 138 150 98 20 93 142 65 149 40 145 19 137 148 72 81 12 105 t 138 113 55 93 90 53 89 140 121 125 134 105 71 15 76 110 50 4 99 62 9 83 79 58 10 145 86 70 6 31 123 137 64 77 101 94 42 33 136 118 120 52 61 39 106 103 68 a YES a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 133 135 137 138 142 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 142 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 55 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 55 62 63 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 149 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 55 58 62 63 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 55 58 62 63 65 66 70 72 73 74 76 81 83 93 98 103 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 93 98 103 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 150 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 89 93 98 103 104 105 106 108 112 113 121 126 133 135 137 138 144 145 148 150 a 6 10 12 15 19 20 23 24 27 29 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 89 93 98 103 104 105 106 108 112 113 121 126 133 135 136 137 138 144 145 148 150 a 6 10 12 15 19 20 23 24 27 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 89 93 98 103 104 105 106 108 112 113 121 126 133 135 136 137 138 144 145 148 149 150 a 6 10 12 15 19 20 23 24 27 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 89 93 98 104 105 106 108 112 113 121 126 133 135 136 137 138 144 145 148 149 150 152 a 6 10 12 15 19 20 23 24 27 40 46 47 49 58 62 65 66 70 72 73 74 76 81 83 89 93 98 104 105 106 108 112 113 121 126 133 135 136 137 138 142 144 145 148 149 150 152 a 6 10 12 15 19 20 23 24 27 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 89 93 98 104 105 106 108 112 113 121 126 133 135 136 137 138 142 144 145 148 149 152 a 6 10 12 15 19 20 23 24 27 40 45 46 47 49 58 62 63 65 66 70 72 73 74 76 81 89 93 98 104 105 106 108 112 113 121 126 133 135 136 137 138 142 144 145 148 149 152 a 6 10 12 15 19 20 23 24 27 40 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 104 105 106 108 112 113 121 126 133 135 136 137 138 142 144 145 148 149 152 a 6 10 12 15 19 20 23 24 27 40 41 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 104 105 106 108 112 113 121 133 135 136 137 138 142 144 145 148 149 152 a 6 10 12 15 19 20 23 24 27 29 40 41 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 104 105 106 108 112 113 121 133 135 137 138 142 144 145 148 149 152 a 6 10 12 15 19 20 23 24 27 29 40 41 44 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 104 105 106 108 112 113 121 133 135 137 138 142 144 145 148 149 a 6 10 12 15 19 20 23 24 27 29 40 41 44 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 103 104 105 106 108 112 113 121 133 135 137 138 144 145 148 149 a 6 10 12 15 19 20 23 24 27 29 40 41 44 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 103 104 105 106 108 112 113 121 135 136 137 138 144 145 148 149 a 6 10 12 15 19 20 23 24 27 29 40 41 44 45 46 47 49 56 58 62 63 65 70 72 73 74 76 81 89 93 98 103 105 106 108 112 113 121 133 135 136 137 138 144 145 148 149 a 6 10 12 15 19 20 23 24 27 29 40 41 44 46 47 49 56 58 62 63 65 70 72 73 74 76 81 83 89 93 98 103 105 106 108 112 113 121 133 135 136 137 138 144 145 148 149 a 6 10 12 15 19 20 23 24 27 29 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 89 93 98 103 105 106 108 112 113 121 133 135 136 137 138 144 145 148 a 6 10 12 15 19 20 23 24 27 29 40 41 44 45 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 89 93 98 103 105 106 108 112 113 121 133 135 136 137 138 144 145 148 a 6 12 15 19 20 23 24 27 29 40 41 44 45 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 88 89 93 98 103 105 106 108 112 113 121 133 135 136 137 138 144 145 148 a 6 15 19 20 23 24 27 29 40 41 44 45 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 88 89 93 98 103 104 105 106 108 112 113 121 133 135 136 137 138 144 145 148 a 6 15 19 20 23 24 27 29 40 41 44 45 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 88 89 98 103 104 105 106 108 112 113 121 133 135 136 137 138 142 144 145 148 a 6 15 19 20 23 24 27 29 40 41 44 45 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 88 89 91 98 103 104 105 106 108 112 113 121 133 135 136 137 138 144 145 148 a 6 15 19 20 23 24 27 29 40 41 44 45 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 89 91 98 103 104 105 106 108 112 113 121 133 135 136 137 138 144 145 148 149 a 6 15 19 20 23 24 27 29 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 89 91 98 103 104 105 106 108 112 113 121 133 135 136 137 138 144 145 148 149 a 6 15 19 20 23 24 27 29 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 89 91 98 104 105 106 108 112 113 121 133 135 136 137 138 144 145 148 149 152 a 6 15 19 20 23 24 27 29 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 88 89 91 98 104 105 106 108 112 113 121 133 135 136 137 138 144 145 148 149 a 6 15 19 20 23 24 27 29 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 88 89 91 98 104 105 106 108 112 113 121 133 135 136 137 138 144 148 149 152 a 6 15 19 20 23 24 27 29 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 88 89 91 98 104 105 106 108 112 113 121 133 135 136 137 138 142 144 148 149 a 6 15 19 20 23 24 27 29 40 41 44 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 88 89 91 98 101 104 105 106 108 112 113 121 133 135 136 137 138 142 144 148 149 a 6 15 19 20 23 24 27 29 31 40 41 44 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 88 89 91 98 101 105 106 108 112 113 121 133 135 136 137 138 142 144 148 149 a 6 15 19 20 23 24 27 29 31 40 41 44 46 47 49 54 56 58 62 63 65 70 72 73 74 76 81 83 88 89 91 98 105 106 108 112 113 121 133 135 136 137 138 142 144 148 149 a 6 15 19 23 24 27 29 31 40 41 44 46 47 49 54 56 58 60 62 63 65 70 72 73 74 76 81 83 88 89 91 98 105 106 108 112 113 121 133 135 136 137 138 142 144 148 149 a 6 12 15 19 23 24 27 29 31 40 41 44 46 47 49 54 56 58 60 62 63 65 70 72 73 74 76 81 83 88 89 91 98 105 106 108 112 113 121 133 135 137 138 142 144 148 149 a 6 12 15 19 23 24 27 29 31 40 41 44 46 47 49 54 56 58 60 62 63 65 70 72 73 74 81 83 88 89 91 98 100 105 106 108 112 113 121 133 135 137 138 142 144 148 149 a 6 12 15 19 23 24 27 29 31 40 41 44 46 47 49 54 56 58 60 62 63 65 70 72 73 81 83 88 89 91 98 100 105 106 108 112 113 121 133 135 137 138 142 144 148 149 152 a 6 12 15 19 23 24 27 29 31 40 41 44 46 47 49 56 58 60 62 63 65 70 72 73 81 83 88 89 91 98 100 105 106 108 112 113 121 133 135 137 138 142 144 145 148 149 152 a 6 12 15 19 23 24 27 29 31 40 41 44 46 47 49 56 58 60 62 63 65 70 72 73 76 81 83 88 89 91 98 105 106 108 112 113 121 133 135 137 138 142 144 145 148 149 152 a 6 12 15 19 23 24 27 29 31 40 41 44 46 49 56 58 60 62 63 65 70 72 73 76 81 83 88 89 90 91 98 105 106 108 112 113 121 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 41 46 49 56 58 60 62 63 65 70 72 73 76 81 83 88 89 90 91 98 105 106 108 112 113 121 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 56 58 60 62 63 65 70 72 73 76 81 83 88 89 90 91 98 105 106 108 112 113 121 126 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 56 58 60 62 63 65 70 72 73 75 76 81 83 88 90 91 98 105 106 108 112 113 121 126 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 56 58 60 62 63 65 70 72 73 75 76 81 83 88 90 93 98 105 106 108 112 113 121 126 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 56 58 62 63 65 70 72 73 75 76 81 83 88 90 93 98 105 106 108 112 113 121 126 130 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 56 58 60 62 65 70 72 73 75 76 81 83 88 90 93 98 105 106 108 112 113 121 126 130 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 56 58 60 62 65 70 71 72 73 75 76 81 83 88 90 93 98 105 106 108 113 121 126 130 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 70 71 72 73 75 76 81 83 88 90 93 98 105 106 108 113 116 121 126 130 133 135 137 138 142 144 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 66 70 71 72 73 75 76 81 83 88 90 93 98 105 106 108 113 116 121 126 130 133 135 137 138 142 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 66 70 71 72 73 75 76 79 81 83 88 90 98 105 106 108 113 116 121 126 130 133 135 137 138 142 145 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 63 65 66 70 71 72 73 75 76 79 81 83 88 90 98 105 106 108 113 116 121 126 130 133 135 137 138 142 145 148 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 63 65 66 70 71 72 73 75 76 79 81 83 88 90 98 105 106 108 113 116 121 126 130 135 137 138 142 145 147 148 152 a 6 11 12 15 19 23 24 27 29 31 36 40 49 58 60 62 63 65 66 70 71 72 73 75 76 79 81 83 88 90 98 105 106 108 113 116 121 126 130 135 137 138 142 145 147 148 152 a 6 11 12 15 19 23 24 27 29 31 36 40 49 58 60 62 63 65 66 68 70 71 72 73 75 76 79 81 83 88 90 98 105 106 108 113 116 121 126 130 135 137 138 145 147 148 152 a 6 11 12 15 19 24 27 29 31 36 40 49 58 60 62 63 65 66 68 70 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 121 126 130 135 137 138 145 147 148 152 a 6 11 12 15 19 24 27 29 31 36 40 49 58 60 62 63 65 66 68 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 121 126 130 135 137 138 145 147 148 149 152 a 6 11 12 15 19 24 27 29 31 36 40 49 58 60 63 65 66 68 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 135 137 138 145 147 148 149 152 a 6 11 12 15 19 23 24 27 31 36 40 49 58 60 63 65 66 68 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 135 137 138 145 147 148 149 152 a 6 11 12 15 19 23 24 27 31 36 40 49 58 60 63 65 66 68 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 133 135 137 138 145 148 149 152 a 6 12 15 19 23 24 27 31 36 40 49 58 60 63 65 66 68 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 152 a 6 12 15 19 23 24 27 31 36 38 49 58 60 63 65 66 68 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 152 a 12 15 19 23 24 27 31 36 38 49 58 60 63 65 66 68 70 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 152 a 12 15 19 23 24 27 31 38 46 49 58 60 63 65 66 68 70 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 152 a 12 15 19 23 24 27 31 38 46 49 58 60 65 66 68 70 71 72 73 75 76 79 81 83 88 90 93 98 105 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 150 152 a 11 12 15 19 23 24 27 31 38 46 49 58 60 65 66 68 70 71 72 73 75 76 79 81 83 88 90 98 105 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 150 152 a 11 12 15 19 23 24 27 31 38 46 49 58 60 65 66 68 70 71 72 73 75 76 79 81 83 88 90 91 98 106 108 113 116 117 121 126 130 133 135 137 138 142 145 148 149 150 152 a 11 12 15 19 23 24 27 31 38 46 49 58 60 65 66 68 70 72 73 75 76 79 81 83 88 90 91 98 106 108 112 113 116 117 121 126 130 133 135 137 138 142 145 148 149 150 152 a 11 12 15 19 23 24 27 31 38 46 49 58 60 63 65 66 68 70 72 73 75 76 79 81 83 88 90 91 98 106 108 112 113 116 117 121 126 130 133 135 137 138 142 145 148 149 152 a 11 12 15 19 23 24 27 29 31 38 46 49 58 60 63 65 66 68 70 72 73 75 76 79 81 83 88 90 91 98 106 108 112 113 116 117 121 126 130 133 135 137 138 145 148 149 152 a 10 11 12 15 19 23 24 27 29 31 38 46 49 58 60 63 65 66 68 70 72 73 75 76 79 81 83 90 91 98 106 108 112 113 116 117 121 126 130 133 135 137 138 145 148 149 152 a 10 11 12 15 19 23 24 27 29 31 38 46 49 58 60 63 65 66 68 70 72 73 75 76 79 81 83 90 93 98 106 108 112 113 116 117 121 126 130 133 135 137 138 145 148 149 152 a 10 11 12 15 19 23 24 27 29 31 38 46 49 58 60 63 65 66 68 70 72 73 75 76 79 81 83 90 93 98 106 108 112 113 116 117 121 126 130 135 137 138 145 147 148 149 152 a 11 12 15 19 23 24 27 29 31 38 46 49 58 60 63 65 66 68 70 72 73 75 76 79 81 83 88 90 93 98 106 108 112 113 116 117 121 126 130 135 137 138 145 147 148 149 152 a 11 12 15 19 23 24 27 29 31 38 46 49 58 60 63 65 68 70 72 73 75 76 79 81 83 87 88 90 93 98 106 108 112 113 116 117 121 126 130 135 137 138 145 147 148 149 152 a 11 12 15 19 23 24 27 29 31 40 46 49 58 60 63 65 68 70 72 73 75 76 79 81 83 87 88 90 93 98 106 108 112 113 116 117 121 126 130 135 137 138 145 147 148 149 152 a 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 63 65 68 70 72 73 75 76 79 81 83 87 88 90 93 98 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 152 a 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 88 90 93 98 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 152 a 11 12 15 19 23 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 88 90 93 98 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 152 a 6 11 12 15 19 23 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 88 93 98 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 152 a 6 11 12 15 19 23 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 88 90 93 98 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 a 6 11 12 15 19 23 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 88 90 98 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 88 90 98 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 152 a 6 11 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 90 98 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 152 a 6 11 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 135 137 138 145 147 148 149 150 152 a 6 11 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 143 145 147 148 149 150 152 a 6 10 11 12 15 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 143 145 147 148 149 150 152 a 6 10 11 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 72 73 75 76 79 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 143 145 147 148 149 150 152 a 6 10 11 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 143 145 147 148 149 150 a 6 10 11 12 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 79 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 142 143 145 147 148 149 150 a 6 10 11 12 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 142 143 144 145 147 148 149 150 a 6 10 11 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 142 143 144 145 147 148 150 a 6 10 11 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 81 83 87 90 98 101 105 106 108 112 113 116 121 126 130 137 138 142 143 144 147 148 149 150 a 6 10 12 15 19 23 24 27 29 31 40 49 58 60 62 65 68 70 72 73 75 76 81 83 87 90 93 98 101 105 106 108 112 113 116 121 126 130 137 138 142 143 144 147 148 149 150 a 6 10 12 15 19 23 24 27 29 31 40 46 49 58 60 62 65 68 70 72 73 75 76 81 83 87 90 93 98 105 106 108 112 113 116 121 126 130 137 138 142 143 144 147 148 149 150 a 6 10 12 15 19 23 24 27 29 31 40 46 49 58 60 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 121 126 130 137 138 142 143 144 147 148 149 150 a 6 10 12 15 19 23 24 27 29 31 40 46 49 58 60 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 150 a 6 10 12 15 19 23 24 27 29 31 40 46 49 58 60 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 135 137 138 144 147 148 149 150 a 6 10 12 13 15 19 23 24 27 29 40 46 49 58 60 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 135 137 138 144 147 148 149 150 a 6 10 12 13 15 19 23 24 27 29 40 46 49 58 60 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 150 a 6 10 12 13 15 19 23 24 27 29 40 46 49 54 58 60 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 a 6 10 12 13 15 19 23 24 27 29 40 46 49 54 58 65 68 70 72 73 75 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 152 a 6 10 12 13 15 19 23 24 27 29 40 46 49 54 58 60 65 68 70 72 73 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 152 a 10 12 13 15 19 23 24 27 29 31 40 46 49 54 58 60 65 68 70 72 73 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 152 a 10 12 13 15 19 23 24 27 29 30 31 40 46 49 54 58 65 68 70 72 73 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 152 a 12 13 15 19 23 24 27 29 30 31 40 46 49 54 58 65 67 68 70 72 73 76 81 83 87 90 92 93 98 105 106 108 112 113 116 120 121 126 130 137 138 143 144 147 148 149 152 a 12 13 15 19 23 24 27 29 30 31 40 42 46 49 54 58 65 67 68 70 72 73 76 81 83 87 90 92 93 98 105 106 108 112 113 120 121 126 130 137 138 143 144 147 148 149 152 a 12 13 15 19 23 24 27 29 30 31 40 42 46 47 49 54 58 65 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 112 113 120 121 126 130 137 138 143 144 147 148 149 152 a 12 13 15 19 23 24 27 29 30 31 40 42 46 47 49 54 58 65 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 109 112 113 120 121 126 130 137 138 143 144 147 148 149 a 12 13 15 19 23 24 27 29 30 31 40 42 46 47 49 54 55 58 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 109 112 113 120 121 126 130 137 138 143 144 147 148 149 a 12 13 15 19 23 24 27 29 30 31 40 42 46 47 49 54 55 58 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 109 112 113 120 121 126 130 137 138 143 147 148 149 152 a 12 13 15 19 23 24 27 29 30 31 40 42 44 46 47 49 54 55 58 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 152 a 12 13 15 19 23 24 29 30 31 40 42 44 46 47 49 54 55 58 60 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 152 a 12 13 15 19 23 24 27 29 30 31 40 42 44 46 47 49 54 55 58 60 67 70 72 73 76 81 83 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 a 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 54 55 58 60 67 70 72 73 76 81 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 a 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 54 55 58 60 65 67 70 72 76 81 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 a 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 54 55 60 65 67 70 72 76 81 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 145 147 148 149 a 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 54 55 60 65 67 70 72 73 76 81 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 a 6 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 54 55 60 65 67 70 72 73 76 87 90 92 93 98 105 106 108 109 112 113 120 121 130 137 138 143 147 148 149 a 6 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 54 55 60 65 67 70 72 73 76 87 89 90 92 93 98 105 106 108 109 112 113 120 121 137 138 143 147 148 149 a 6 12 13 15 19 23 24 27 29 30 31 40 42 44 45 46 47 49 52 54 55 60 65 67 70 72 73 76 87 89 90 92 93 98 105 106 108 109 113 120 121 137 138 143 147 148 149 a 6 12 13 15 19 23 24 27 29 30 31 40 42 44 45 47 49 52 54 55 60 65 67 70 72 73 76 87 89 90 92 93 98 101 105 106 108 109 113 120 121 137 138 143 147 148 149 a 6 13 15 19 23 24 27 29 30 31 40 42 44 45 47 49 52 54 55 60 65 67 70 72 73 76 87 89 90 92 93 98 101 105 106 108 109 113 120 121 137 138 143 145 147 148 149 a 6 13 15 19 23 24 27 29 30 31 40 42 44 45 47 49 52 54 55 65 67 70 72 73 76 87 89 90 92 93 98 101 103 105 106 108 109 113 120 121 137 138 143 145 147 148 149 a 6 13 15 19 23 24 27 29 30 31 40 42 44 45 49 52 54 55 65 67 68 70 72 73 76 87 89 90 92 93 98 101 103 105 106 108 109 113 120 121 137 138 143 145 147 148 149 a 6 13 15 19 23 24 27 29 30 31 40 42 44 45 49 52 54 55 65 67 68 70 72 73 76 86 87 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 148 149 a 6 13 15 19 23 24 27 30 31 40 42 44 45 49 52 54 55 58 65 67 68 70 72 73 76 86 87 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 148 149 a 6 13 15 23 24 27 30 31 40 42 44 45 49 52 54 55 58 65 67 68 70 72 73 76 77 86 87 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 148 149 a 6 13 15 23 24 27 30 31 39 40 42 44 45 49 52 54 55 58 65 67 68 70 72 73 76 77 86 87 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 148 a 6 13 15 23 24 27 30 31 39 40 42 44 49 52 54 55 58 65 67 68 70 72 73 76 77 83 86 87 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 148 a 6 13 15 23 24 27 30 31 33 39 40 42 44 49 52 54 55 58 65 67 68 70 72 73 76 77 83 86 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 148 a 6 9 13 15 23 24 27 30 31 33 39 40 42 44 49 52 54 55 58 65 67 68 70 72 73 76 77 83 86 89 90 92 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 a 6 9 13 15 23 24 27 30 31 33 39 40 42 44 49 52 54 55 58 65 67 68 70 71 72 73 76 77 83 86 89 90 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 a 4 6 9 13 15 24 27 30 31 33 39 40 42 44 49 52 54 55 58 65 67 68 70 71 72 73 76 77 83 86 89 90 93 98 101 103 105 106 109 113 120 121 137 138 143 145 147 a 4 6 9 13 15 24 27 30 31 33 39 40 42 44 49 52 54 55 58 65 67 68 70 71 72 73 76 77 83 86 89 90 93 98 101 103 105 106 110 113 120 121 137 138 143 145 147 a 4 6 9 13 15 24 27 30 31 33 39 40 42 44 49 52 55 58 62 65 67 68 70 71 72 73 76 77 83 86 89 90 93 98 101 103 105 106 110 113 120 121 137 138 143 145 147 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 44 49 52 55 58 62 65 68 70 71 72 73 76 77 83 86 89 90 93 98 101 103 105 106 110 113 120 121 137 138 143 145 147 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 44 49 52 55 58 62 65 68 70 71 72 73 76 77 79 83 86 89 90 93 98 101 103 105 106 110 113 120 121 137 138 145 147 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 44 49 52 55 58 62 65 68 70 71 72 73 76 77 79 83 86 89 90 93 98 101 103 105 106 110 113 118 120 121 137 138 145 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 49 52 55 58 61 62 65 68 70 71 72 73 76 77 79 83 86 89 90 93 98 101 103 105 106 110 113 118 120 121 137 138 145 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 49 52 55 58 61 62 65 68 70 71 72 73 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 137 138 145 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 52 53 55 58 61 62 65 68 70 71 72 73 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 137 138 145 a 4 6 9 10 13 15 24 27 30 31 33 39 40 42 52 53 55 58 61 62 68 70 71 72 73 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 137 138 140 145 a 4 6 9 10 15 24 27 30 31 33 39 40 42 52 53 55 58 61 62 68 70 71 72 73 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 136 137 138 140 145 a 4 6 9 10 15 27 30 31 33 39 40 42 52 53 55 58 61 62 68 70 71 72 73 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 123 136 137 138 140 145 a 4 6 9 10 15 27 31 33 39 40 42 52 53 55 58 61 62 68 70 71 72 73 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 123 134 136 137 138 140 145 a 4 6 9 10 15 27 31 33 39 40 42 52 53 55 58 61 62 68 70 71 73 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 134 136 137 138 140 145 a 4 6 9 10 15 27 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 134 136 137 138 140 145 a 4 6 9 10 15 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145 a 4 6 9 10 15 31 33 39 42 50 52 53 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145 c Step: 152 #END: [Mon Sep 4 22:18:54 2023]