#BEGIN: [Mon Sep  4 22:19:35 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance016_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance016_graph005_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_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat
c /benchmark/random_instance/random_instance016_graph005.col
c /benchmark/random_instance/random_instance016_graph005_01.dat
s 66 4 205 62 156 36 116 35 75 104 99 158 152 78 198 11 145 91 97 120 2 71 194 42 203 50 168 139 161 34 13 180 187 46 133 166 135 33 94 174 84 140 192 5 160 10 181 90 28 40 165 98 55 108 23 184 102 147 77 131 127 26 186 101 162 54 193 150 129 188 115 196
t 46 200 70 171 192 19 62 5 52 122 137 177 48 25 110 4 135 44 134 194 43 120 147 170 92 114 51 99 58 208 55 60 169 189 100 138 37 32 108 121 89 91 191 183 142 42 56 11 6 196 145 139 64 129 69 3 166 109 186 88 118 175 102 98 57 53 31 181 72 184 36 123
a YES
a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205
a 2 4 5 10 11 13 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205
a 2 4 5 10 11 13 26 28 33 34 35 36 40 41 42 46 50 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 205
a 2 4 5 10 11 13 26 28 33 34 35 36 40 41 42 46 50 52 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203
a 2 4 10 11 13 14 26 28 33 34 35 36 40 41 42 46 50 52 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203
a 2 4 10 11 13 14 26 28 33 34 35 36 40 41 42 46 50 52 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 10 11 13 14 22 26 28 33 34 35 36 40 41 42 46 50 52 54 55 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 13 22 26 28 33 34 35 36 40 41 42 46 50 52 54 55 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 13 22 26 28 33 34 35 36 40 41 42 46 50 52 54 55 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203
a 2 4 5 10 11 13 22 26 33 34 35 36 40 41 42 46 50 52 54 55 58 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203
a 2 4 5 10 11 13 22 26 33 34 35 36 40 41 42 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203
a 2 4 5 10 11 13 22 25 26 33 35 36 40 41 42 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203
a 2 4 5 10 11 13 22 25 26 33 35 36 40 41 42 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 201
a 2 4 5 10 11 13 22 25 26 33 35 40 41 42 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 13 22 25 26 33 35 36 40 41 42 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 193 194 196 198 201
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 145 147 150 152 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 50 52 54 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 50 52 54 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 120 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 120 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 196 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 166 168 174 180 181 184 186 187 188 193 194 196 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 135 139 140 145 147 150 156 158 160 161 166 168 174 180 181 184 186 187 188 193 194 196 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 168 174 180 181 184 186 187 188 193 194 196 198 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 165 168 174 180 181 184 186 187 188 193 194 196 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 165 174 180 181 184 186 187 188 193 194 196 201 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 165 180 181 184 186 187 188 193 194 196 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 43 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 165 174 180 181 184 186 187 188 193 194 196 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 174 180 181 184 186 187 188 193 194 196 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 198 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 198 201 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 198 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 198 201
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 201
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 193 194 196 198
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 161 162 165 166 174 180 181 184 186 187 193 194 196 198 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 11 22 25 26 33 35 36 40 41 42 46 48 50 52 54 55 58 60 62 66 69 75 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 75 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198 207
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 98 99 101 102 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 198
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 196 198
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 198
a 2 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 198 207
a 2 5 10 11 22 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 198 201 207
a 2 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 198 201 207
a 2 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 198 201
a 2 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 201 207
a 2 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 201 207
a 2 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 196 201
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 116 120 123 126 127 129 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 201 207
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 149 150 156 158 160 161 162 165 166 174 180 181 184 186 187 188 193 194 207
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 52 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 207
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 207
a 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 115 116 120 123 126 127 129 131 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 207
a 2 4 5 10 11 22 25 26 28 33 35 36 40 41 42 46 48 50 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 207
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 46 48 50 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 207
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 46 48 50 54 55 60 62 66 69 71 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 201 207
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 201 207
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 115 116 120 123 126 127 129 133 135 138 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 201
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 116 120 123 126 127 129 133 135 138 139 140 145 147 150 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 43 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 116 120 123 126 127 129 133 135 138 139 140 145 147 150 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 26 28 33 34 35 36 40 41 42 43 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 94 95 98 99 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 140 145 147 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 26 28 32 33 34 35 36 40 41 42 43 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 95 98 99 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 140 145 147 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 66 67 69 75 77 78 84 90 91 92 95 98 99 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 140 145 147 156 158 160 161 165 166 168 174 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 140 145 147 156 158 160 161 165 166 168 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 145 147 156 158 160 161 165 166 168 180 181 184 186 187 188 193 194 201
a 2 4 5 10 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 145 147 156 158 160 161 165 166 168 180 181 184 186 187 193 194 201 208
a 2 4 5 10 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 123 126 127 129 133 135 138 139 142 145 147 156 158 160 161 165 166 180 181 184 186 187 193 194 201 208
a 2 4 5 10 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 135 138 139 142 145 147 156 158 160 161 165 166 181 184 186 187 193 194 201 208
a 2 4 5 11 22 25 26 28 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 138 139 142 145 147 156 158 160 161 165 166 181 184 186 187 193 194 201 208
a 2 4 5 11 22 25 26 32 33 35 36 40 41 42 43 46 48 50 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 138 139 142 145 147 156 158 160 161 165 166 181 184 186 187 193 194 196 201 208
a 2 4 5 11 22 25 26 32 33 35 36 40 41 42 43 46 48 50 53 54 55 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 138 139 142 145 147 156 158 161 165 166 181 184 186 187 193 194 196 201 208
a 4 5 11 22 25 26 32 33 35 36 40 41 42 43 46 48 50 53 54 55 58 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 138 139 142 145 147 156 158 161 165 166 181 184 186 187 193 194 196 201 208
a 4 5 11 22 25 26 32 33 35 36 40 41 42 43 46 48 53 54 55 58 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 158 161 165 166 181 184 186 187 193 194 196 201 208
a 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 54 55 58 60 62 64 66 67 69 75 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 158 161 165 166 181 184 186 187 192 193 194 196 201 208
a 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 54 55 58 60 62 64 66 67 69 77 78 84 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 158 161 165 166 175 181 184 186 187 192 193 194 196 201 208
a 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 54 55 58 60 62 64 66 67 69 77 78 84 89 90 91 92 95 98 99 100 101 102 104 108 110 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 187 192 193 194 196 201 208
a 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 55 58 60 62 64 66 67 69 77 78 84 89 90 91 92 95 98 99 100 101 102 104 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 187 192 193 194 196 201 208
a 3 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 55 58 60 62 64 66 67 69 77 78 84 89 90 91 92 95 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 187 192 193 194 196 201 208
a 3 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 55 58 60 62 64 66 67 69 77 78 84 88 89 90 91 92 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 187 192 193 194 196 201 208
a 3 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 55 58 60 62 64 67 69 77 78 84 88 89 90 91 92 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 187 192 193 194 196 200 201 208
a 3 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 53 55 57 58 60 62 64 67 69 77 78 84 88 89 91 92 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 187 192 193 194 196 200 201 208
a 3 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 52 53 55 57 58 60 62 64 67 69 77 78 84 88 89 91 92 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 161 165 166 175 181 184 186 192 193 194 196 200 201 208
a 3 4 5 11 22 25 26 32 33 35 36 40 42 43 46 48 52 53 55 56 57 58 60 62 64 67 69 77 78 84 88 89 91 92 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 175 181 184 186 192 193 194 196 200 201 208
a 3 4 5 11 22 25 26 32 33 35 36 37 40 42 43 46 48 52 53 55 56 57 58 60 62 64 67 69 77 78 88 89 91 92 98 99 100 101 102 108 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 175 181 184 186 192 193 194 196 200 201 208
a 3 4 5 11 22 25 32 33 35 36 37 40 42 43 46 48 52 53 55 56 57 58 60 62 64 67 69 77 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 175 181 184 186 192 193 194 196 200 201 208
a 3 4 5 11 22 25 32 33 35 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 67 69 77 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 175 181 184 186 192 194 196 200 201 208
a 3 4 5 11 22 25 32 35 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 67 69 77 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 22 25 32 35 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 67 69 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 170 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 22 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 67 69 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 133 134 135 137 138 139 142 145 147 156 165 166 170 171 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 22 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 67 69 70 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 134 135 137 138 139 142 145 147 156 165 166 170 171 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 19 22 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 69 70 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 123 126 127 129 134 135 137 138 139 142 145 147 156 165 166 170 171 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 19 22 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 69 70 78 88 89 91 92 98 99 100 101 102 108 109 110 114 116 120 121 122 123 126 127 129 134 135 137 138 139 142 145 147 156 166 170 171 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 19 22 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 101 102 108 109 110 114 120 121 122 123 126 127 129 134 135 137 138 139 142 145 147 156 166 170 171 175 181 184 186 191 192 194 196 200 201 208
a 3 4 5 11 19 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 101 102 108 109 110 114 120 121 122 123 126 127 129 134 135 137 138 139 142 145 147 156 166 170 171 175 181 183 184 186 191 192 194 196 200 201 208
a 3 4 5 11 19 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 101 102 108 109 110 114 120 121 122 123 126 129 134 135 137 138 139 142 145 147 156 166 169 170 171 175 181 183 184 186 191 192 194 196 200 201 208
a 3 4 5 11 19 25 32 36 37 40 42 43 44 46 48 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 101 102 108 109 110 114 120 121 122 123 126 129 134 135 137 138 139 142 145 147 166 169 170 171 175 181 183 184 186 189 191 192 194 196 200 201 208
a 3 4 5 11 19 25 32 36 37 40 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 101 102 108 109 110 114 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 181 183 184 186 189 191 192 194 196 200 201 208
a 3 4 5 11 19 25 32 36 37 40 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 102 108 109 110 114 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 201 208
a 3 4 5 6 11 19 25 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 102 108 109 110 114 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 201 208
a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 78 88 89 91 92 98 99 100 102 108 109 110 114 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208
a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208
c Step: 115
#END: [Mon Sep  4 22:27:35 2023]