#BEGIN: [Tue Sep  5 01:30:42 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance016_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance016_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat
c /benchmark/random_instance/random_instance016_graph002.col
c /benchmark/random_instance/random_instance016_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID c6cd1f28e6c3e41a037980cbfc27587aff96e5580c1a33fc286dbce8e99f676d
s 191 98 164 150 157 39 128 50 123 124 202 19 105 69 138 22 175 64 110 63 73 91 97 62 141 188 112 38 177 74 71 85 113 137 180 176 35 148 144 60 40 190 121 108 129 4 48 194 77 104 153 115 59 125 84 43 42 139 58 82 111 156 200 192 96 45
t 175 204 195 34 166 171 164 69 121 156 95 191 138 55 206 154 91 193 117 64 155 174 126 32 90 6 97 94 152 103 139 7 71 11 49 107 192 199 134 137 59 148 168 147 38 118 186 198 81 180 162 63 48 105 88 123 106 111 101 165 119 45 158 120 47 114
a YES
a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202
a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 195 200 202
a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 64 69 71 73 74 77 82 84 85 91 96 97 98 99 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 195 200 202
a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 64 69 71 73 74 77 82 84 85 91 96 97 98 99 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202
a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 64 69 71 73 74 77 82 84 85 86 91 96 97 98 99 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 180 188 190 191 192 194 200 202
a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 64 69 71 73 74 77 82 84 85 86 91 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 180 188 190 191 192 194 200 202
a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 69 71 73 74 77 82 84 85 86 91 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 167 175 176 180 188 190 191 192 194 200 202
a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 69 71 73 74 77 82 84 85 91 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202
a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 69 71 73 74 77 82 84 85 91 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 147 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 69 71 73 74 77 82 84 85 91 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 139 141 144 147 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 69 71 73 74 77 82 84 85 91 95 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 91 95 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 175 176 180 188 190 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 104 105 106 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 175 176 180 188 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 175 176 180 188 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 155 156 157 164 167 175 176 180 188 191 192 194 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 155 156 157 164 167 175 176 180 188 191 192 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 175 176 180 188 190 191 192 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 188 190 191 200
a 4 19 22 35 38 39 40 42 43 48 58 59 60 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 188 190 191 200 208
a 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 188 190 191 200 208
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 188 190 191 208
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 188 190 191
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 182 188 190 191
a 4 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 176 180 182 188 191 194
a 4 10 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 180 182 188 191 194
a 4 10 12 19 22 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 180 188 191 194
a 4 10 12 19 35 38 39 40 42 43 48 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 148 150 153 156 157 164 167 171 175 180 188 190 191 194
a 4 10 12 19 35 38 39 40 42 43 48 58 59 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 188 190 191 194
a 4 10 12 19 35 38 39 40 42 43 48 58 59 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 191 194
a 4 10 12 19 38 39 40 42 43 48 49 58 59 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 191 194
a 4 10 11 12 19 38 39 40 42 43 48 49 58 59 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 156 157 164 167 171 175 180 190 191 194
a 4 10 11 12 19 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 191 194
a 4 10 11 12 19 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 191 192 194
a 4 10 11 12 19 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 192 194
a 4 10 11 12 19 22 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 194
a 4 10 11 12 19 22 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 129 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190
a 4 9 10 11 12 19 22 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190
a 4 9 10 11 12 22 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 113 115 119 121 123 124 125 128 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 200
a 4 9 10 11 12 22 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 121 123 124 125 128 134 136 137 138 141 144 147 150 153 156 157 164 167 171 175 180 190 200
a 4 9 10 11 12 22 38 39 40 42 43 48 49 58 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 120 121 123 124 125 128 134 136 137 138 144 147 150 153 156 157 164 167 171 175 180 190 200
a 4 9 10 11 12 22 38 39 40 42 43 48 49 58 59 60 62 66 67 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 120 121 123 124 125 128 134 136 137 138 144 147 150 153 156 157 164 167 171 175 180 190
a 4 9 10 11 12 22 38 39 40 42 43 48 49 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 120 121 123 124 125 128 134 136 137 138 144 147 148 150 153 156 157 164 167 171 175 180 190
a 4 9 11 12 22 38 39 40 42 43 48 49 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 120 121 123 124 125 128 134 136 137 138 144 147 148 150 152 153 156 157 164 167 171 175 180 190
a 4 9 10 11 12 22 38 40 42 43 48 49 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 120 121 123 124 125 128 134 136 137 138 144 147 148 150 152 153 156 157 164 167 171 175 180 190
a 4 9 10 11 12 22 38 40 42 43 48 49 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 150 152 153 156 157 164 167 171 175 180 190
a 4 10 11 12 22 38 39 40 42 43 48 49 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 150 152 153 156 157 164 167 171 175 180 190
a 4 10 11 12 22 38 39 40 42 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 150 152 156 157 164 167 171 175 180 190
a 4 10 11 12 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 150 152 156 157 164 167 171 175 180 190
a 4 9 10 11 12 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 113 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 150 152 156 157 164 167 171 175 180
a 4 9 10 11 12 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 180
a 9 10 11 12 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 180
a 4 9 10 11 12 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175
a 4 9 10 11 12 19 22 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 200
a 4 9 10 11 12 19 22 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 192 200
a 4 9 10 11 12 19 22 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 191 192 200
a 4 9 10 11 12 19 22 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 180 192 200
a 4 9 10 11 12 19 22 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 99 102 105 106 107 108 111 112 115 119 121 123 124 125 128 134 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 180 190 192 200
a 4 9 10 11 12 19 22 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 99 102 105 106 107 108 110 111 112 115 119 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 180 190 192 200
a 4 9 11 12 19 22 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 99 102 105 106 107 108 110 111 112 115 119 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 176 180 190 192 200
a 9 11 12 19 22 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 98 99 102 105 106 107 108 110 111 112 115 119 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 176 180 190 192 200
a 9 11 12 19 22 38 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 98 99 102 105 106 107 108 110 111 112 115 119 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 164 167 171 175 176 180 190 192
a 9 12 19 22 38 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 96 97 98 99 102 105 106 107 108 110 111 112 115 119 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 161 164 167 171 175 176 180 190 192
a 9 19 22 38 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 119 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 161 164 167 171 175 176 180 190 192
a 4 9 19 22 38 39 40 42 43 48 49 54 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 161 164 167 171 175 176 180 190 192
a 4 9 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 144 147 148 149 152 156 157 161 164 167 171 175 176 180 190 192
a 4 9 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 144 147 148 149 150 152 156 157 161 164 167 171 175 176 180 190 192
a 4 9 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 147 148 149 150 152 156 157 161 164 167 171 175 176 180 190 192
a 4 9 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 147 148 149 152 156 157 160 161 164 167 171 175 176 180 190 192
a 9 19 22 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 147 148 149 152 154 156 157 160 161 164 167 171 175 176 180 190 192
a 9 19 22 32 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 128 136 137 138 141 147 148 149 152 154 156 157 160 161 164 167 171 175 176 180 192
a 9 19 22 32 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 136 137 138 141 147 148 149 152 154 156 157 160 161 164 167 168 171 175 176 180 192
a 11 19 22 32 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 121 123 124 125 136 137 138 141 147 148 149 152 154 156 157 160 161 164 167 168 171 175 176 180 192
a 11 19 22 32 38 39 40 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 120 121 123 124 125 136 137 138 147 148 149 152 154 156 157 160 161 164 167 168 171 175 176 180 192
a 11 19 22 32 38 39 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 110 111 112 115 117 120 121 123 124 125 136 137 138 147 148 149 152 154 156 157 160 161 164 167 168 171 175 176 180 192
a 11 19 22 32 38 39 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 136 137 138 147 148 149 152 154 156 157 160 161 164 167 168 171 175 176 180 192
a 11 19 32 38 39 42 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 157 160 161 164 167 168 171 175 176 180 192
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 157 160 161 162 164 167 168 171 175 176 180 192
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 157 160 161 162 164 167 168 171 175 180 192 204
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 70 71 73 74 77 82 84 85 86 91 94 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 157 160 162 164 167 168 171 175 180 192 204
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 94 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 157 160 162 164 167 168 171 175 180 192 204
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 94 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 157 162 164 167 168 171 175 180 186 192 204
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 91 94 95 96 97 98 99 102 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 162 164 167 168 171 175 180 186 192 198 204
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 115 117 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 162 164 167 168 171 175 180 186 192 198 204
a 11 19 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 162 164 167 168 171 175 180 186 192 198 204
a 11 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 85 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 158 162 164 167 168 171 175 180 186 192 198 204
a 11 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 82 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 158 162 164 167 168 171 175 180 186 192 193 198 204
a 11 32 38 39 43 48 49 54 58 59 60 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 158 162 164 167 168 171 175 180 186 192 193 198 204
a 11 32 38 39 48 49 54 58 59 60 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 124 125 126 134 136 137 138 147 148 149 152 154 156 158 162 164 167 168 171 175 180 186 191 192 193 198 204
a 11 32 38 39 48 49 54 58 59 60 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 136 137 138 147 148 149 152 154 156 158 162 164 167 168 171 175 180 186 191 192 193 198 204 206
a 11 32 38 48 49 54 58 59 60 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 136 137 138 139 147 148 149 152 154 156 158 162 164 167 168 171 175 180 186 191 192 193 198 204 206
a 11 32 38 48 49 54 58 59 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 136 137 138 139 147 148 149 152 154 156 158 162 164 167 168 171 174 175 180 186 191 192 193 198 204 206
a 11 32 38 45 48 49 54 58 59 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 137 138 139 147 148 149 152 154 156 158 162 164 167 168 171 174 175 180 186 191 192 193 198 204 206
a 11 32 38 45 48 49 54 58 59 62 66 69 71 73 74 77 84 86 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 137 138 139 147 148 149 152 154 156 158 162 164 166 168 171 174 175 180 186 191 192 193 198 204 206
a 11 32 38 45 47 48 49 54 58 59 62 66 69 71 73 74 77 84 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 137 138 139 147 148 149 152 154 156 158 162 164 166 168 171 174 175 180 186 191 192 193 198 204 206
a 11 32 38 45 47 48 49 54 58 59 62 69 71 73 74 77 84 88 91 94 95 96 97 98 99 105 106 107 108 111 112 117 118 119 120 121 123 125 126 134 137 138 139 147 148 149 152 154 156 158 162 164 166 168 171 174 175 180 186 191 192 193 195 198 204 206
a 11 32 38 45 47 48 49 54 58 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 98 99 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 147 148 149 152 154 156 158 162 164 166 168 171 174 175 180 186 191 192 193 195 198 204 206
a 6 11 32 38 45 47 48 49 58 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 98 99 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 147 148 149 152 154 156 158 162 164 166 168 171 174 175 180 186 191 192 193 195 198 204 206
a 6 11 32 38 45 47 48 49 58 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 98 99 105 106 107 108 111 117 118 119 120 121 123 126 134 137 138 139 147 148 149 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 204 206
a 6 11 32 38 45 47 48 49 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 98 99 105 106 107 108 111 117 118 119 120 121 123 126 134 137 138 139 147 148 149 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 38 45 47 48 49 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 98 99 101 105 106 107 108 111 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 38 45 47 48 49 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 99 101 103 105 106 107 108 111 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 99 101 103 105 106 107 111 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 55 59 62 64 69 71 73 74 77 84 88 91 94 95 96 97 101 103 105 106 107 111 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 55 59 62 64 69 71 73 74 84 88 90 91 94 95 96 97 101 103 105 106 107 111 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 55 59 63 64 69 71 73 74 84 88 90 91 94 95 96 97 101 103 105 106 107 111 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 55 59 63 64 69 71 73 74 88 90 91 94 95 96 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 55 59 63 64 69 71 74 88 90 91 94 95 96 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 96 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206
c Step: 108
#END: [Tue Sep  5 02:00:42 2023]