#BEGIN: [Mon Sep  4 17:07:55 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance013_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance013_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat
c /benchmark/random_instance/random_instance013_graph001.col
c /benchmark/random_instance/random_instance013_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID acdbf2e6a7eae0e6f124b4f93ae900d8e468cade2ca8ea7c27c800b5d627b055
s 145 149 29 102 77 148 159 111 16 129 100 27 8 101 162 95 140 40 168 83 52 115 80 59 113 119 87 49 128 78 120 147 130 21 91 12 107 45 28 105 66 69 47 35 55 118 126 154 139 158 44 15 18
t 60 87 151 125 152 156 130 55 77 158 123 9 73 161 84 121 51 67 112 21 95 12 76 13 128 159 63 139 80 114 54 45 111 85 81 58 169 62 17 28 146 49 155 89 75 7 40 140 166 104 164 162 109
a YES
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 96 100 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 96 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 96 100 101 102 105 106 107 111 113 115 118 119 120 126 128 129 130 139 140 145 148 149 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 59 66 69 75 77 78 80 83 87 91 95 96 100 101 102 105 106 107 111 115 118 119 120 126 128 129 130 139 140 145 148 149 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 59 66 69 75 77 78 80 83 87 91 95 96 100 101 105 106 107 111 115 118 119 120 126 128 129 130 139 140 145 148 149 154 158 159 162 165 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 59 66 69 75 77 78 80 83 87 91 95 96 100 101 105 107 111 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 165 168
a 8 12 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 66 69 75 77 78 80 83 87 91 95 96 100 101 105 107 111 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 165 168
a 8 12 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 66 69 75 77 78 83 87 91 95 96 100 101 105 107 111 115 118 119 120 126 128 129 130 139 140 141 145 147 148 149 154 158 159 162 165 168
a 8 12 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 66 69 75 77 78 83 87 91 95 96 100 101 105 107 111 115 118 119 120 126 128 129 130 137 139 140 141 145 147 148 149 154 158 159 165 168
a 8 12 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 87 91 95 96 100 101 105 107 111 115 118 119 120 126 128 129 130 137 139 140 141 145 147 148 149 154 158 159 165
a 8 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 139 140 141 145 147 148 149 154 158 159 165
a 8 15 18 21 27 28 29 30 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 139 140 141 145 147 148 149 154 158 159
a 8 15 18 21 27 28 29 30 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 147 148 149 154 158 159 165
a 8 15 18 21 27 28 29 30 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 147 148 149 154 158 159 163 165
a 8 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 147 148 149 154 158 159 162 163 165
a 8 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 147 148 149 154 158 159 162 163 168
a 8 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 147 148 149 154 158 159 162 168
a 8 15 18 21 27 28 29 35 44 45 47 49 52 54 55 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 146 147 148 149 154 158 159 162
a 8 15 18 21 27 28 29 35 44 47 49 52 54 55 56 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 146 147 148 149 154 158 159 162
a 8 12 15 18 21 27 28 29 35 44 47 49 52 54 55 56 59 61 66 69 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 146 147 148 149 154 158 159
a 12 15 18 21 27 28 29 35 44 47 49 52 54 55 56 59 61 66 69 72 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 146 147 148 149 154 158 159
a 12 15 18 21 27 28 29 35 44 47 52 54 55 56 59 61 66 69 72 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 146 147 148 149 154 158 159 160
a 12 15 18 21 27 28 29 35 44 45 47 52 54 55 59 61 66 69 72 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 140 141 145 146 147 148 149 154 158 159 160
a 12 15 18 21 28 29 35 44 45 47 52 54 55 59 61 66 69 72 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 154 158 159 160
a 8 12 15 18 21 28 29 35 44 45 47 52 54 55 59 61 66 69 72 75 77 78 83 87 91 95 96 100 101 103 105 107 111 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 158 159 160
a 8 12 15 18 21 28 29 35 44 45 47 52 54 55 59 61 66 69 72 74 75 77 78 83 87 91 95 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 158 159 160
a 8 12 15 18 21 28 29 35 44 45 47 52 54 55 59 61 69 72 74 75 77 78 83 87 91 95 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 154 158 159 160
a 8 12 15 18 21 28 29 35 44 45 52 54 55 59 61 69 72 74 75 77 78 83 87 89 91 95 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 154 158 159 160
a 8 12 15 18 21 28 29 35 44 45 52 54 55 59 61 69 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158 159 160
a 8 15 18 21 28 29 35 44 45 52 54 55 59 61 66 69 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158 159 160
a 8 15 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 148 149 153 154 159 160
a 8 15 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 149 153 154 158 159 160
a 8 12 15 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 149 153 154 158 160
a 8 15 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 119 120 126 128 129 130 137 139 140 141 145 146 147 149 153 154 158 160
a 8 15 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 126 128 129 130 137 139 140 141 145 146 147 149 153 154 158 160
a 8 15 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 126 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158
a 8 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 126 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158 160
a 8 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 126 128 129 130 137 139 140 141 145 146 147 148 149 154 158 159 160
a 8 18 21 27 28 29 35 44 45 52 54 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 126 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158 159 160
a 8 18 21 27 28 29 35 44 45 52 54 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 126 128 129 130 137 139 140 141 145 147 148 149 153 154 158 159 160 168
a 8 13 18 21 27 28 29 35 44 45 52 54 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 103 105 107 112 115 118 120 128 129 130 137 139 140 141 145 147 148 149 153 154 158 159 160 168
a 8 13 18 21 27 28 29 35 44 45 52 54 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158 159 160 168
a 8 13 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 78 83 87 89 91 96 100 101 102 103 105 107 112 115 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158 159 160 168
a 8 13 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158 160 168
a 8 13 18 21 27 28 29 35 44 45 49 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158 168
a 8 13 18 21 27 28 29 30 35 44 45 49 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158
a 8 13 18 21 27 28 29 30 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158 160
a 8 13 18 21 27 28 29 30 35 44 45 52 54 55 59 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 116 118 120 128 129 130 139 140 141 145 147 148 149 153 154 158 160
a 13 18 21 27 28 29 30 35 44 45 52 54 55 59 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 116 118 120 127 128 129 130 139 140 141 145 147 148 149 153 154 158 160
a 13 18 21 27 28 29 35 44 45 52 54 55 59 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 116 118 120 127 128 129 130 139 140 141 145 147 148 149 153 154 158 160 168
a 13 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 112 115 116 118 120 127 128 129 130 139 140 141 145 147 149 153 154 158 160 168
a 13 18 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 120 127 128 129 130 139 140 141 145 147 149 153 154 158 168
a 13 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 120 127 128 129 130 139 140 141 145 147 149 153 154 158 160 168
a 13 21 27 28 29 35 44 45 52 54 55 59 61 66 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 120 127 128 129 139 140 141 145 147 149 153 154 158 159 160 168
a 13 21 27 28 29 35 44 45 52 54 55 61 66 68 69 71 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 120 127 128 129 139 140 141 145 147 149 153 154 158 159 160 168
a 13 21 27 28 29 35 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 119 120 127 128 129 139 140 141 145 147 149 153 154 158 159 160 168
a 13 21 27 28 29 30 35 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 119 120 127 128 129 139 140 145 147 149 153 154 158 159 160 168
a 13 21 27 28 29 30 35 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 119 120 127 128 129 139 140 141 145 147 149 154 158 159 160 168
a 13 21 27 28 29 30 35 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 119 120 127 128 129 139 140 141 145 147 148 149 154 158 159 160
a 13 21 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 118 119 120 127 128 129 139 140 141 145 147 148 149 154 158 159 160
a 13 21 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 119 120 127 128 129 139 140 141 145 147 148 149 153 154 158 159 160
a 13 21 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 153 154 158 159
a 13 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 153 154 158
a 13 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 154 158 159
a 13 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 74 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 153 154 159
a 13 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 111 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 153 154 159
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 87 89 91 96 100 101 102 103 105 107 110 111 112 115 116 119 120 127 128 129 130 140 141 145 147 148 149 153 154 159
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 87 89 91 100 101 102 103 105 107 110 111 112 115 116 119 120 127 128 129 130 140 141 145 147 148 149 153 154 159 168
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 102 103 105 107 110 111 112 115 116 119 120 127 128 129 130 140 141 145 147 148 149 153 154 159 168
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 102 103 105 107 110 111 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 153 154 168
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 102 103 105 107 110 111 112 115 116 119 120 127 128 129 130 139 140 141 145 147 148 149 153 154 159
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 103 105 107 110 111 112 115 116 119 120 127 128 129 130 137 139 140 141 145 147 148 149 153 154 159
a 13 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159
a 13 18 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 130 137 139 140 141 145 148 149 153 154 159
a 18 20 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 130 137 139 140 141 145 148 149 153 154 159
a 18 20 21 27 28 29 30 35 42 44 45 49 52 54 55 61 68 69 72 75 77 78 83 86 89 91 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159
a 18 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159
a 21 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159
a 18 21 27 28 29 30 35 42 44 45 49 52 54 55 61 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159
a 18 27 28 29 30 35 42 44 45 49 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159
a 18 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159 160
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 142 145 148 149 153 154 159 160
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 142 145 148 149 153 154 159 160 168
a 18 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 141 145 148 149 153 154 159 160 168
a 18 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 145 148 149 153 154 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 66 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 145 148 149 153 154 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 145 148 149 153 154 159 160
a 18 21 27 28 29 30 35 42 45 52 54 55 61 66 68 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 145 148 149 153 154 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 145 148 149 154 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 116 118 119 120 127 128 129 130 137 139 140 145 148 149 153 154 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 80 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 145 148 149 153 154 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 80 83 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 145 148 149 153 154 158 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 83 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 148 149 153 154 158 159 160 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 83 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 153 154 158 159 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 147 148 149 153 154 158 159 168
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 68 69 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 153 154 158 159
a 18 21 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159
a 18 21 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159
a 18 21 27 28 29 35 42 44 45 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159
a 18 27 28 29 35 42 44 45 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159 168
a 18 27 28 29 30 35 42 44 45 52 54 55 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159 168
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159 163 168
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 77 78 83 86 89 91 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159 168
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 105 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159 168
a 12 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 154 158 159 168
a 12 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 145 147 148 149 153 154 158 159
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 158 159
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 160
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 163
a 18 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 160 163
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 83 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 126 127 128 129 137 139 140 141 142 145 147 148 149 153 154 159 160 163
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 137 139 140 141 142 145 147 148 149 153 154 159 160 163
a 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 160 163
a 12 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 160 163
a 12 27 28 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 160 163
a 12 27 28 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 153 154 159 160 163 168
a 12 27 28 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 153 154 158 159 160 168
a 12 18 27 28 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 153 154 158 159 160
a 12 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 154 158 159 160
a 12 18 27 28 29 30 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 100 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 154 159 160 168
a 12 18 27 28 29 30 31 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 154 159 160 168
a 12 18 27 28 29 30 31 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 153 154 159 168
a 12 18 27 28 29 30 31 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 154 158 159 168
a 12 27 28 29 30 31 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 140 141 142 145 147 148 149 153 154 158 159 168
a 12 27 28 29 30 31 35 42 44 45 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 168
a 27 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 147 148 149 153 154 159 168
a 27 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 147 148 149 153 154 159
a 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 147 148 149 153 154 158 159
a 9 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 147 148 149 153 154 158
a 9 18 28 29 30 35 42 44 45 49 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 147 148 149 153 154 158
a 9 18 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 72 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 148 149 153 154 158
a 9 18 27 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 75 78 86 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 148 149 153 154 158
a 18 27 28 29 30 31 35 42 44 45 49 52 54 61 66 68 69 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 142 145 146 148 149 153 154 158
a 18 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 148 149 153 154 158
a 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158
a 27 28 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158
a 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158
a 18 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 147 148 149 153 154 158
a 18 27 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 148 149 153 154 158
a 18 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 141 145 146 149 153 154 158
a 18 21 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 145 146 149 153 154 158
a 18 21 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 86 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158 166
a 18 21 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 72 75 78 87 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158 166
a 18 21 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 75 78 80 87 89 91 92 96 101 103 105 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158 166
a 9 18 21 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 75 78 80 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158 166
a 9 12 18 21 27 28 29 30 31 35 42 44 45 49 52 54 55 61 66 68 69 75 78 80 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158
a 9 12 18 21 27 28 29 30 31 35 42 44 45 49 54 55 61 63 66 68 69 75 78 80 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158
a 9 12 18 21 27 28 29 30 31 35 42 44 45 49 54 55 61 63 68 69 75 78 80 84 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 149 153 154 158
a 9 12 18 21 27 28 29 30 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 153 154 158
a 9 12 18 21 27 28 30 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 126 127 128 129 130 137 139 140 146 153 154 158 166
a 9 12 13 18 21 27 28 30 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 103 107 110 111 112 115 118 119 120 123 127 128 129 130 137 139 140 146 153 154 158 166
a 9 12 13 21 27 28 30 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 103 107 109 110 111 112 115 118 119 120 123 127 128 129 130 137 139 140 146 153 154 158 166
a 9 12 13 21 27 28 30 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 107 109 110 111 112 114 115 118 119 120 123 127 128 129 130 137 139 140 146 153 154 158 166
a 9 12 13 21 27 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 107 109 110 111 112 114 115 118 119 120 123 127 128 129 130 137 139 140 146 153 154 158 162 166
a 9 12 13 21 27 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 78 80 84 87 89 91 92 96 101 107 109 110 111 112 114 115 118 119 120 121 123 127 128 129 130 137 139 140 146 153 158 162 166
a 9 12 13 21 27 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 77 78 80 84 87 89 91 96 101 107 109 110 111 112 114 115 118 119 120 121 123 127 128 129 130 137 139 140 146 153 158 162 166
a 9 12 13 21 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 77 78 80 84 87 89 91 96 101 107 109 110 111 112 114 115 118 119 120 121 123 127 128 129 130 137 139 140 146 153 158 159 162 166
a 9 12 13 21 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 77 78 80 84 85 87 89 91 96 107 109 110 111 112 114 115 118 119 120 121 123 127 128 129 130 137 139 140 146 153 158 159 162 166
a 9 12 13 17 21 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 77 78 80 84 85 87 89 91 96 107 109 110 111 112 114 115 119 120 121 123 127 128 129 130 137 139 140 146 153 158 159 162 166
a 9 12 13 17 21 28 31 35 42 44 45 49 54 55 61 62 63 68 69 75 77 80 84 85 87 89 91 96 107 109 110 111 112 114 115 119 120 121 123 127 128 129 130 137 139 140 146 153 158 159 162 164 166
a 9 12 13 17 21 28 31 35 42 45 49 54 55 58 61 62 63 68 69 75 77 80 84 85 87 89 91 96 107 109 110 111 112 114 115 119 120 121 123 127 128 129 130 137 139 140 146 153 158 159 162 164 166
a 9 12 13 17 21 28 31 35 42 45 49 54 55 58 61 62 63 68 69 75 77 80 84 85 87 89 91 96 107 109 110 111 112 114 115 119 120 121 123 128 129 130 137 139 140 146 151 153 158 159 162 164 166
a 9 12 13 17 21 28 31 35 42 45 49 54 55 58 61 62 63 67 68 69 75 77 80 84 85 87 89 91 96 107 109 110 111 112 114 115 119 120 121 123 128 130 137 139 140 146 151 153 158 159 162 164 166
a 9 12 13 17 21 28 31 35 42 45 49 54 55 58 61 62 63 67 68 69 75 77 80 84 85 87 89 91 95 96 107 109 110 111 112 114 115 119 120 121 123 128 130 137 139 140 146 151 158 159 162 164 166
a 9 12 13 17 21 28 31 35 42 45 49 54 55 58 61 62 63 67 68 69 75 77 80 84 85 87 89 91 95 96 107 109 110 111 112 114 115 120 121 123 128 130 137 139 140 146 151 155 158 159 162 164 166
a 9 12 13 17 21 28 31 35 42 45 49 54 55 58 60 61 62 63 67 68 69 75 77 80 84 85 87 89 91 95 107 109 110 111 112 114 115 120 121 123 128 130 137 139 140 146 151 155 158 159 162 164 166
a 7 9 12 13 17 21 28 31 35 42 45 49 54 55 58 60 61 62 63 67 68 69 75 77 80 84 85 87 89 91 95 107 109 110 111 112 114 120 121 123 128 130 137 139 140 146 151 155 158 159 162 164 166
a 7 9 12 13 17 21 28 31 35 45 49 54 55 58 60 61 62 63 67 68 69 75 77 80 84 85 87 89 91 95 107 109 110 111 112 114 120 121 123 128 130 137 139 140 146 151 155 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 35 45 49 54 55 58 60 61 62 63 67 68 69 75 77 80 84 85 87 89 91 95 107 109 110 111 112 114 121 123 128 130 137 139 140 146 151 152 155 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 35 40 45 49 54 55 58 60 62 63 67 68 69 75 77 80 84 85 87 89 91 95 107 109 110 111 112 114 121 123 128 130 137 139 140 146 151 152 155 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 35 40 45 49 54 55 58 60 62 63 67 69 75 77 80 84 85 87 89 91 95 107 109 110 111 112 114 121 123 128 130 137 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 40 45 49 54 55 58 60 62 63 67 69 75 77 80 81 84 85 87 89 91 95 107 109 110 111 112 114 121 123 128 130 137 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 40 45 49 54 55 58 60 62 63 67 69 75 76 77 80 81 84 85 87 89 95 107 109 110 111 112 114 121 123 128 130 137 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 40 45 49 54 55 58 60 62 63 67 69 75 76 77 80 81 84 85 87 89 95 109 110 111 112 114 121 123 125 128 130 137 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 21 28 31 40 45 49 54 55 58 60 62 63 67 69 75 76 77 80 81 84 85 87 89 95 109 111 112 114 121 123 125 128 130 137 139 140 146 151 152 155 156 158 159 161 162 164 166 169
a 7 9 12 13 17 21 28 31 40 45 49 54 55 58 60 62 63 67 69 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169
a 7 9 12 13 17 21 28 40 45 49 51 54 55 58 60 62 63 67 69 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169
a 7 9 12 13 17 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169
c Step: 179
#END: [Mon Sep  4 17:37:55 2023]