#BEGIN: [Tue Sep  5 07:31:56 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance015_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance015_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance015_graph002.col /benchmark/random_instance/random_instance015_graph002_01.dat
c /benchmark/random_instance/random_instance015_graph002.col
c /benchmark/random_instance/random_instance015_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID aa5c0759a913d5b89361c7c4be01c135ac4da768b38d69f522e19d7195dc648b
s 2 8 191 87 43 97 120 185 9 57 35 84 18 151 93 110 184 109 29 194 147 70 92 30 114 45 66 111 80 46 144 155 101 76 140 193 180 133 11 75 5 131 16 130 161 60 162 113 116 64 132 112 21 119 15 68 176 137 106 143 85
t 173 187 129 64 152 29 110 170 9 186 162 45 154 43 123 87 19 92 117 172 157 69 179 3 144 21 149 131 53 13 115 111 127 42 32 70 93 114 100 137 16 168 101 82 143 81 5 15 126 66 185 167 67 130 2 135 106 85 174 26 61
a YES
a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 46 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194
a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 46 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193 194
a 1 5 8 9 11 15 16 18 21 29 30 35 43 45 46 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193 194
a 1 5 8 9 11 16 18 21 29 30 35 43 44 45 46 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193 194
a 5 8 9 11 15 16 18 21 29 30 35 43 44 45 46 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193 194
a 1 5 8 9 11 15 16 18 21 29 30 43 44 45 46 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193 194
a 1 5 8 9 11 15 16 18 21 29 30 43 44 45 46 51 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193 194
a 1 5 8 9 11 15 16 18 21 29 30 35 43 44 45 46 51 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 109 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193
a 1 5 8 9 11 15 16 18 21 29 30 35 43 44 45 46 51 57 60 64 66 68 70 72 75 76 84 85 87 92 93 97 101 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 193
a 1 5 8 9 11 15 16 18 21 29 30 35 43 44 45 46 51 57 60 64 66 68 70 72 75 76 84 85 87 92 93 97 101 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191 194
a 1 5 8 9 11 15 16 18 21 29 30 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191
a 1 5 8 9 11 15 16 18 21 30 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191
a 1 5 9 11 15 16 18 21 28 30 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187 191
a 1 5 8 9 11 15 16 18 21 28 30 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 187
a 1 5 8 9 11 15 16 18 21 28 30 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 193
a 1 5 8 9 11 15 16 18 21 28 30 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 130 131 132 133 137 140 143 144 147 149 151 155 161 162 176 180 184 185 193
a 1 5 8 9 11 15 16 18 21 28 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 129 130 131 132 133 137 140 143 144 147 149 151 155 161 162 176 180 184 185 193
a 1 5 8 9 11 15 16 18 21 28 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 129 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 193
a 1 8 9 11 15 16 18 21 28 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 129 130 131 132 133 137 140 143 144 147 151 155 161 162 163 176 180 184 185 193
a 1 8 9 11 15 16 18 21 28 35 43 44 45 46 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 163 176 180 184 185 193
a 1 8 9 11 15 16 18 21 28 35 43 44 45 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 161 162 163 176 180 184 185 193
a 1 8 9 11 15 16 18 21 28 35 43 44 45 51 57 60 62 64 66 68 70 72 75 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 161 162 163 176 180 184 187 193
a 1 8 9 11 15 16 18 21 28 35 43 44 45 51 54 57 60 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 161 162 163 176 180 184 187 193
a 1 8 9 11 15 16 18 21 28 35 43 44 45 51 54 57 60 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 187 193 194
a 1 3 8 9 11 15 16 18 21 28 35 43 44 45 54 57 60 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 187 193 194
a 1 3 8 9 15 16 18 21 28 35 43 44 45 54 57 60 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 186 187 193 194
a 1 3 8 9 15 16 18 21 28 35 43 44 45 54 57 60 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 186 187 191 193
a 1 3 8 9 16 18 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 186 187 191 193
a 1 3 8 9 16 18 21 28 35 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 186 187 191
a 1 3 8 9 16 21 28 35 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 176 180 184 185 186 187 191
a 1 3 9 16 21 28 35 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 172 176 180 184 185 186 187 191
a 1 3 9 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 172 176 180 184 185 186 187 191 193
a 1 3 9 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 172 176 180 184 185 186 187 191 194
a 1 3 9 15 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 99 101 104 106 109 111 112 113 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 162 163 172 176 180 184 185 186 187 191
a 1 3 9 15 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 119 120 123 129 130 131 132 133 137 140 143 144 147 151 155 162 163 172 176 180 184 185 186 187 191
a 1 3 9 15 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 120 123 129 130 131 132 133 137 140 143 144 147 151 155 162 163 172 176 180 182 184 185 186 187 191
a 1 3 9 15 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 111 112 113 116 120 123 129 130 131 132 133 136 137 140 143 144 147 151 155 163 172 176 180 182 184 185 186 187 191
a 1 3 9 15 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 184 185 186 187 191
a 1 3 9 15 16 21 28 35 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 119 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 184 185 186 187 191
a 1 3 9 15 16 21 28 35 41 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 119 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 184 185 186 187
a 1 3 9 15 16 21 28 35 41 43 44 45 54 57 60 61 62 64 66 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 184 185 186 187
a 1 9 15 16 21 28 35 41 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 184 185 186 187
a 1 15 16 21 28 35 39 41 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 184 185 186 187
a 1 15 16 21 28 35 39 41 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 84 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187
a 1 3 15 16 21 28 35 39 41 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187
a 1 3 11 15 16 21 28 35 39 43 44 45 54 57 60 61 62 64 66 67 68 70 72 76 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187
a 1 3 11 15 16 21 28 35 39 43 44 45 54 57 60 61 62 64 66 68 70 72 76 85 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 15 16 21 28 35 39 43 44 45 54 57 60 61 62 64 66 68 70 72 76 87 92 93 97 101 104 106 109 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 15 16 21 28 35 39 43 44 45 53 54 57 60 61 62 64 66 68 70 72 76 87 92 93 97 101 104 106 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 15 16 21 28 35 39 43 44 45 53 54 57 60 61 62 64 66 68 70 72 76 87 92 93 97 101 104 106 112 113 116 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 184 185 187 191 193
a 1 3 5 11 13 15 16 21 28 35 39 43 44 45 53 54 57 60 61 62 64 66 68 70 72 76 87 92 93 97 101 104 106 112 113 116 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 184 185 187 191 193
a 1 3 5 11 13 15 16 21 28 35 39 43 44 45 53 54 57 60 61 62 64 66 68 70 72 76 87 92 93 97 101 104 106 112 113 116 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 13 15 16 21 28 35 39 43 44 45 53 54 57 60 61 64 66 68 70 72 76 87 92 93 97 101 104 106 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 13 15 16 21 28 35 39 43 44 45 53 54 57 60 61 64 66 67 68 70 72 76 87 92 93 97 101 104 106 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187
a 1 3 5 11 13 15 16 21 28 35 39 43 44 45 53 54 57 60 61 64 66 67 68 70 72 76 87 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 187
a 1 3 5 11 13 15 16 21 28 35 39 43 44 45 53 54 57 60 61 64 66 68 70 72 76 87 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 187 193
a 1 3 5 11 15 16 21 28 35 39 43 44 45 53 54 57 60 61 64 66 68 70 72 76 87 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 57 60 61 66 68 70 72 76 87 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 187 193
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 68 70 72 76 87 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 193
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 70 72 76 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 182 183 184 185 193
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 70 72 76 87 91 92 93 97 100 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 185 193
a 1 3 5 11 15 16 21 24 28 30 35 39 43 44 45 53 54 55 57 60 61 66 70 72 76 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 185 193
a 1 3 5 11 15 16 21 24 28 30 35 39 43 44 45 53 54 55 57 60 61 66 70 72 76 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 187 193
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 70 72 76 87 91 92 93 97 100 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 187 193
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 70 72 76 87 91 92 93 97 100 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 187
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 70 72 76 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 185 187
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 70 72 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 133 136 137 139 140 143 144 147 151 155 163 172 176 180 183 184 187
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 70 72 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 184 187
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 55 57 60 61 66 67 70 72 75 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 184 187
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 55 57 60 61 66 67 70 72 75 76 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 184 185 187
a 1 3 5 11 15 16 21 24 28 35 39 43 44 45 53 55 57 60 61 66 67 70 72 75 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 180 184 185
a 1 5 11 15 16 21 24 28 35 39 43 44 45 53 55 57 60 61 66 67 70 72 75 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 129 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 184 185
a 1 5 11 15 16 21 24 28 35 39 43 44 45 53 55 57 60 61 66 67 70 72 75 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 184 185 194
a 1 5 11 15 16 21 24 28 35 39 43 44 45 53 55 57 60 61 66 67 71 72 75 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 184 185 194
a 1 5 11 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 71 72 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 184 185 194
a 1 5 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 71 72 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 184 185 186 194
a 1 5 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 71 72 76 77 87 91 92 93 97 101 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 184 185 191 194
a 1 5 15 16 21 24 28 35 39 43 44 45 53 54 55 57 60 61 66 67 71 72 76 77 87 91 92 93 97 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 182 184 185 191 194
a 1 5 15 16 21 24 28 35 39 43 44 53 54 55 57 60 61 66 67 71 72 76 77 78 87 91 92 93 97 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 180 182 184 185 191 194
a 1 5 15 16 21 24 28 35 39 43 44 53 54 55 57 60 61 66 67 71 72 76 77 78 87 91 92 93 97 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 161 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 24 28 35 39 43 44 53 54 55 57 60 61 66 67 71 72 76 77 78 87 91 92 93 97 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 53 54 55 57 60 61 64 66 67 71 72 76 77 78 87 91 92 93 97 104 106 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 147 151 155 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 53 54 55 57 60 61 64 66 67 71 72 76 77 78 87 91 92 93 97 104 106 108 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 151 155 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 53 54 55 57 60 61 64 66 67 70 72 76 77 78 87 91 92 93 97 104 106 108 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 151 155 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 54 55 57 60 61 64 66 67 70 72 76 77 78 87 91 92 93 97 104 106 108 110 112 113 116 118 120 123 130 131 132 133 136 137 139 140 143 144 151 155 160 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 54 55 57 59 60 61 64 66 67 70 72 76 77 78 87 91 92 93 97 104 106 108 110 112 113 116 118 120 123 130 131 132 133 136 137 140 143 144 151 155 160 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 54 55 57 59 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 120 123 130 131 132 133 136 137 140 143 144 151 155 160 163 172 176 182 184 185 186 191 194
a 1 3 5 15 16 21 28 35 39 43 44 54 55 57 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 120 123 130 131 132 133 136 137 140 143 144 151 155 160 163 172 176 182 184 185 186 187 191 194
a 1 3 15 16 21 28 35 39 43 44 54 55 56 57 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 120 123 130 131 132 133 136 137 140 143 144 151 155 160 163 172 176 182 184 185 186 187 191 194
a 1 3 15 16 21 28 35 39 43 44 54 55 56 57 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 120 123 126 130 131 132 133 136 137 140 143 144 155 160 163 172 176 182 184 185 186 187 191 194
a 1 3 13 15 16 21 28 35 39 43 44 54 55 56 57 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 120 123 126 130 131 133 136 137 140 143 144 155 160 163 172 176 182 184 185 186 187 191 194
a 1 3 13 15 16 21 28 35 39 43 44 54 55 56 57 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 123 126 130 131 133 136 137 140 143 144 152 155 160 163 172 176 182 184 185 186 187 191 194
a 1 3 13 15 16 21 28 35 39 43 44 54 55 56 57 59 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 123 126 130 131 133 136 137 140 143 144 152 155 160 163 172 176 182 184 185 186 191 194
a 1 3 13 15 16 21 28 35 39 43 44 54 55 57 59 60 61 64 66 67 70 76 77 78 87 91 92 93 97 104 106 108 110 112 113 115 116 118 123 126 130 131 133 136 137 140 143 144 152 155 160 163 172 176 182 184 185 186 190 191 194
a 1 3 13 15 16 21 28 35 39 43 44 54 55 57 59 60 61 64 66 67 70 76 77 78 87 91 92 93 97 99 104 106 108 112 113 115 116 118 123 126 130 131 133 136 137 140 143 144 152 155 160 163 172 176 182 184 185 186 190 191 194
a 1 3 13 15 16 21 28 35 39 43 44 54 55 57 59 60 61 64 66 67 70 76 77 78 87 91 92 93 97 99 104 106 108 112 113 115 116 118 123 130 131 133 136 137 140 143 144 152 155 160 163 172 176 180 182 184 185 186 190 191 194
a 1 3 13 15 16 21 28 35 39 43 44 49 54 55 57 60 61 64 66 67 70 76 77 78 87 91 92 93 97 99 104 106 108 112 113 115 116 118 123 130 131 133 136 137 140 143 144 152 155 160 163 172 176 180 182 184 185 186 190 191 194
a 1 3 13 15 16 21 24 28 35 39 43 44 49 54 55 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 104 106 108 112 113 115 116 118 123 130 131 133 136 137 140 143 144 152 155 160 163 172 176 180 182 184 185 186 190 191 194
a 1 3 13 15 21 24 28 35 39 43 44 49 54 55 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 104 106 108 112 113 115 116 118 123 124 130 131 133 136 137 140 143 144 152 155 160 163 172 176 180 182 184 185 186 190 191 194
a 1 3 13 15 21 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 104 106 108 112 113 115 116 118 123 124 130 131 133 136 137 140 143 144 152 155 160 163 172 176 180 182 184 185 186 191 194
a 1 3 13 15 21 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 106 108 112 113 115 116 118 123 124 130 131 133 136 137 140 141 143 144 152 155 160 163 172 176 180 182 184 185 186 191 194
a 1 3 13 15 21 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 106 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 144 155 160 163 172 176 180 182 184 185 186 191 194
a 1 3 13 15 21 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 106 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 144 155 160 163 172 176 178 180 182 184 185 186 191
a 1 3 13 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 106 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 144 155 160 163 172 176 178 180 182 184 185 186 191 194
a 3 13 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 100 106 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 144 155 160 163 172 176 178 180 182 184 185 186 191 194
a 3 13 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 97 99 100 102 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 144 155 160 163 172 176 178 180 182 184 185 186 191 194
a 3 13 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 144 155 160 163 172 175 176 178 180 182 184 185 186 191 194
a 3 13 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 89 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 133 136 137 139 140 141 143 155 160 163 172 175 176 178 180 182 184 185 186 191 194
a 3 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 89 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 163 172 175 176 178 180 182 184 185 186 191 194
a 3 15 24 28 35 39 43 44 49 54 55 56 57 60 61 66 67 70 76 77 78 87 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 139 140 141 143 144 155 160 163 172 175 176 178 180 182 184 185 186 191 194
a 3 15 24 28 35 39 43 44 49 54 55 56 57 59 60 61 66 67 70 76 77 78 87 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 144 155 160 163 172 175 176 178 180 182 184 185 186 191 194
a 3 15 24 28 35 39 43 44 49 54 55 56 57 59 60 61 66 67 70 76 77 78 87 91 92 93 99 100 102 108 112 113 115 116 118 120 123 124 130 131 132 133 136 137 140 141 143 144 155 160 163 172 176 178 180 182 184 185 186 191 194
a 3 15 24 28 35 39 43 44 49 54 55 56 57 59 60 61 66 67 70 76 77 78 87 88 91 92 93 99 100 102 108 112 113 115 116 118 120 123 124 130 131 132 133 136 137 140 141 143 144 155 160 163 172 176 178 180 182 184 185 186 191
a 3 15 24 28 35 39 43 44 49 54 55 56 57 59 60 61 66 67 70 76 77 78 87 88 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 144 155 160 163 172 175 176 178 180 182 184 185 186 191
a 3 15 24 28 35 39 43 44 49 54 55 56 57 59 60 61 66 67 70 76 77 78 87 88 89 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 155 160 163 172 175 176 178 180 182 184 185 186 191
a 3 4 15 24 28 35 39 43 44 49 54 55 56 59 60 61 66 67 70 76 77 78 87 88 89 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 155 160 163 172 175 176 178 180 182 184 185 186 191
a 3 4 15 23 24 28 35 39 43 49 54 55 56 59 60 61 66 67 70 76 77 78 87 88 89 91 92 93 99 100 102 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 155 160 163 172 175 176 178 180 182 184 185 186 191
a 3 4 15 23 24 28 35 39 43 49 54 55 56 59 60 61 66 67 70 76 77 78 87 88 89 91 92 93 99 100 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 155 160 163 169 172 175 176 178 180 182 184 185 186 191
a 3 4 15 23 24 26 28 35 39 43 49 54 55 56 59 60 61 66 67 70 76 77 78 87 88 89 91 92 93 99 100 108 112 113 115 116 118 123 124 130 131 132 133 136 137 140 141 143 155 160 163 169 172 175 176 178 180 182 184 185 186
a 3 4 15 23 24 26 28 35 39 43 49 54 55 56 60 61 66 67 70 76 77 78 87 88 89 91 92 93 99 100 108 112 113 115 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 163 169 172 175 176 178 180 182 184 185 186
a 3 4 15 23 24 26 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 87 88 89 91 92 93 99 100 108 112 113 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 163 169 172 175 176 178 180 182 184 185 186
a 3 4 15 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 87 88 89 91 92 93 99 100 108 112 113 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 163 169 172 175 176 178 180 182 184 185 186 191
a 4 15 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 87 88 89 91 92 93 99 100 108 112 113 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 161 163 169 172 175 176 178 180 182 184 185 186 191
a 4 15 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 87 88 89 91 92 93 99 100 108 112 113 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 161 163 169 172 175 176 178 180 182 184 185 186 194
a 4 15 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 80 87 88 89 91 92 93 99 108 112 113 116 118 123 124 130 131 132 133 136 137 139 140 141 143 155 160 161 163 169 172 175 176 178 180 182 184 185 186 194
a 4 15 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 80 87 88 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 133 136 137 139 140 141 143 155 160 161 163 169 172 176 178 180 182 184 185 186 194
a 4 15 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 133 136 137 139 140 141 143 155 160 161 163 169 172 176 178 180 182 184 185 186 194
a 4 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 133 136 137 139 140 141 143 155 160 161 163 169 172 176 178 180 182 184 185 186 191 194
a 4 23 24 28 35 39 43 49 54 55 56 60 61 66 67 69 70 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 161 163 169 172 176 178 180 182 184 185 186 191 194
a 4 23 24 28 35 39 43 49 54 55 56 60 61 66 67 69 70 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 154 155 160 161 163 169 172 176 178 180 182 185 186 191 194
a 4 20 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 154 155 160 161 163 169 172 176 178 180 182 185 186 191 194
a 20 23 24 28 35 39 43 49 54 55 56 60 61 66 67 70 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 154 155 160 161 163 169 171 172 176 178 180 182 185 186 191 194
a 20 23 24 28 35 39 43 49 54 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 154 155 160 161 163 169 171 172 176 178 180 182 185 186 191 194
a 20 23 24 28 35 39 43 49 54 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 161 163 169 171 172 176 178 180 182 184 185 186 191 194
a 20 23 24 28 39 43 49 54 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 161 163 169 171 172 176 178 180 182 184 185 186 191 194
a 10 20 23 24 28 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 113 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 161 163 169 171 172 176 178 180 182 184 185 186 191 194
a 10 17 20 23 24 28 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 161 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 33 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 171 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 33 39 43 49 55 56 61 66 67 71 72 76 77 78 79 80 82 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 171 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 30 33 39 43 49 55 56 61 66 67 71 72 76 77 78 79 80 82 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 30 33 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 30 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 17 20 23 24 28 30 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 99 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191
a 3 10 17 20 23 24 28 30 39 43 49 55 56 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 108 112 116 118 120 123 124 129 130 131 132 136 137 139 140 141 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191
a 3 10 20 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 108 112 116 118 120 123 124 129 130 131 132 136 137 139 140 141 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191
a 3 10 20 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 108 110 112 116 118 120 123 124 129 130 131 132 136 137 139 140 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191
a 3 10 20 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 79 80 87 89 91 92 93 108 110 112 116 118 120 123 124 130 131 132 136 137 139 140 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 20 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 80 87 88 89 91 92 93 108 110 112 116 118 120 123 124 130 131 132 136 137 139 140 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 20 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 80 87 88 89 91 92 93 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 20 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 80 87 88 91 92 93 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 144 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 30 39 43 49 55 56 57 60 61 66 67 71 72 76 77 78 80 87 88 91 92 93 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 144 151 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 30 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 91 92 93 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 144 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 30 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 89 91 92 93 108 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 30 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 89 91 92 93 108 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 172 175 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 30 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 89 91 92 93 108 110 112 116 118 123 124 130 131 132 136 137 139 140 143 155 157 160 163 169 172 175 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 89 91 92 93 108 110 112 116 118 123 124 130 131 132 136 137 139 140 143 155 157 160 163 169 171 172 175 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 89 91 92 93 97 108 110 112 116 118 123 124 130 131 132 136 137 139 140 143 155 157 160 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 80 87 88 89 91 92 93 97 108 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 66 67 69 71 72 76 77 78 87 88 89 91 92 93 97 100 108 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 66 67 68 69 71 72 76 77 78 87 88 89 92 93 97 100 108 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 157 160 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 35 39 43 49 55 56 57 60 61 66 67 68 69 71 72 76 77 78 87 88 89 92 93 97 100 108 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191 194
a 3 10 18 23 24 28 35 39 43 49 55 56 57 60 61 66 67 68 69 71 72 76 77 78 87 88 89 92 93 97 100 108 109 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 62 66 67 68 69 71 72 76 77 78 87 88 89 92 93 97 100 108 109 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191
a 3 10 18 23 24 28 39 43 49 55 56 57 60 61 62 66 67 68 69 71 72 76 77 78 87 88 89 92 97 100 108 109 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191 195
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 71 72 76 77 78 82 87 88 89 92 97 100 108 109 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191 195
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 70 72 76 77 78 82 87 88 89 92 97 100 108 109 112 116 118 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191 195
a 3 10 18 23 24 28 39 43 49 55 56 57 62 66 67 68 69 70 72 76 77 78 82 87 88 89 92 97 100 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 186 191 195
a 3 10 18 23 24 28 39 43 49 55 56 57 62 66 67 68 69 70 72 75 76 77 78 82 87 88 89 92 97 100 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 191 195
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 70 72 75 76 77 78 82 87 88 89 92 97 100 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 195
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 70 72 75 76 77 78 82 87 88 89 92 97 100 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 70 75 76 77 78 82 87 88 89 92 97 100 102 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 70 75 76 77 78 82 88 89 90 92 97 100 102 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 69 70 75 76 77 78 82 88 89 90 92 97 100 102 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 155 160 163 169 171 172 176 178 180 182 184 185 191
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 75 76 77 78 82 88 89 90 92 97 100 102 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 151 155 160 163 169 171 172 176 178 180 182 184 185 191
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 75 76 77 78 82 88 89 90 92 97 100 108 109 112 116 118 120 123 124 130 131 132 136 137 139 140 141 143 151 155 160 163 169 171 172 176 178 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 75 76 77 78 82 88 89 90 92 94 97 100 108 109 112 116 118 120 123 124 130 131 132 136 137 140 141 143 151 155 160 163 169 171 172 176 178 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 75 76 77 78 82 88 89 90 92 94 97 100 108 109 110 112 116 118 120 123 124 130 131 132 136 137 140 143 151 155 160 163 169 171 172 176 178 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 75 76 77 78 82 88 89 90 92 94 97 100 107 108 109 110 112 116 118 120 123 124 130 131 132 136 137 140 143 151 155 160 163 169 171 172 176 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 88 89 92 94 97 100 107 108 109 110 112 116 118 120 123 124 130 131 132 136 137 140 143 151 155 160 163 169 171 172 176 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 88 89 92 94 97 100 107 108 109 110 112 116 118 120 123 130 131 132 136 137 140 143 151 155 160 163 169 171 172 176 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 88 89 92 94 97 100 107 108 109 110 112 116 118 122 123 130 131 132 136 137 140 143 151 155 160 163 169 171 172 176 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 88 89 92 94 97 100 107 108 109 110 112 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184 185 191 194
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 88 89 92 94 97 100 101 107 108 109 110 112 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184 185 191
a 3 10 18 23 24 28 39 43 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 88 89 92 94 97 100 101 107 108 109 110 112 113 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184 191
a 3 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 88 89 92 94 97 100 101 107 108 109 110 112 113 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184 191
a 3 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 94 97 100 101 104 107 108 109 110 112 113 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184 191
a 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 104 107 108 109 110 112 113 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184 191
a 3 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 104 107 108 109 110 112 113 116 122 123 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 180 182 184
a 3 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 104 107 108 109 110 112 113 116 122 123 124 130 131 132 136 137 140 143 146 151 155 160 163 169 171 172 176 182 184
a 3 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 104 107 108 109 110 112 113 116 122 123 124 130 131 132 136 137 140 143 146 151 160 163 164 169 171 172 176 182 184
a 3 10 18 24 28 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 104 107 108 109 112 113 116 122 123 124 130 131 132 136 137 140 143 146 151 160 163 164 169 171 172 176 182 184
a 3 10 18 24 28 35 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 104 107 108 109 112 113 116 123 124 130 131 132 136 137 140 143 146 151 160 163 164 169 171 172 176 182 184
a 3 10 18 24 28 35 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 104 107 108 109 112 113 116 118 123 124 130 131 132 136 137 140 143 151 160 163 164 169 171 172 176 182 184
a 3 10 18 24 28 35 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 107 108 109 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 160 163 164 169 171 172 176 182 184
a 3 10 15 18 24 28 35 39 43 44 49 55 56 57 61 62 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 107 108 109 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 160 163 164 169 171 172 176 182
a 3 10 15 18 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 107 108 109 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 160 163 164 169 171 172 176 182
a 3 10 15 18 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 107 108 109 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 160 163 164 169 171 172 182 185
a 3 10 15 18 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 107 108 109 111 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 160 163 164 169 171 172 185
a 3 10 15 18 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 106 107 108 109 111 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 160 163 164 169 172 185
a 3 10 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 99 100 101 106 107 108 109 111 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 154 160 163 164 169 172 185
a 3 10 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 106 107 108 109 111 112 113 116 118 123 124 130 131 132 136 137 140 141 143 151 154 160 163 164 167 169 172 185
a 3 10 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 106 107 108 109 111 112 113 116 123 124 129 130 131 132 136 137 140 141 143 151 154 160 163 164 167 169 172 185
a 3 10 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 106 107 108 109 110 111 112 113 116 123 124 129 130 131 132 136 137 140 143 151 154 160 163 164 167 169 172 185
a 3 10 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 106 107 108 109 110 111 113 116 123 124 129 130 131 132 136 137 140 143 151 154 160 163 164 167 169 172 173 185
a 3 10 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 106 107 108 109 110 111 113 116 123 124 126 129 130 131 132 136 137 140 143 154 160 163 164 167 169 172 173 185
a 3 10 13 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 77 78 82 87 89 92 93 94 97 100 101 106 107 108 109 110 111 113 116 123 124 126 129 130 131 136 137 140 143 154 160 163 164 167 169 172 173 185
a 3 10 13 15 28 35 39 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 108 109 110 111 113 116 123 124 126 129 130 131 136 137 140 143 149 154 160 163 164 167 169 172 173 185
a 3 10 13 15 28 35 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 108 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 160 163 164 167 169 172 173 185
a 3 10 13 15 28 32 35 43 44 49 55 56 57 61 62 64 66 67 68 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 160 163 164 167 169 172 173 185
a 3 9 10 13 15 28 32 35 43 44 49 56 57 61 62 64 66 67 68 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 160 163 164 167 169 172 173 185
a 3 9 10 13 15 28 32 35 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 160 163 164 167 169 172 173 185
a 3 9 10 13 15 28 32 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 157 160 163 164 167 169 172 173 185
a 3 9 10 13 15 26 32 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 78 82 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 157 160 163 164 167 169 172 173 185
a 3 9 10 13 15 26 32 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 136 137 140 143 149 154 157 160 163 164 167 169 172 173 185
a 3 9 10 13 15 26 32 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 124 126 129 130 131 135 137 140 143 149 154 157 160 163 164 167 169 172 173 185
a 3 9 10 13 15 16 26 32 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 140 143 149 154 157 160 163 164 167 169 172 173 185
a 3 9 10 13 15 16 26 29 32 43 49 56 57 61 62 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 140 143 149 154 157 160 164 167 169 172 173 185
a 3 9 10 13 15 16 26 29 32 43 56 57 61 62 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 140 143 149 154 157 160 162 164 167 169 172 173 185
a 2 3 9 10 13 15 16 26 29 32 43 56 57 61 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 140 143 149 154 157 160 162 164 167 169 172 173 185
a 2 3 9 10 13 15 16 26 29 32 43 56 57 61 64 66 67 68 69 70 72 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 185 187
a 2 3 9 10 13 15 16 26 29 32 43 56 57 61 64 66 67 68 69 70 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 179 185 187
a 2 3 5 9 10 13 15 16 26 29 32 43 57 61 64 66 67 68 69 70 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 179 185 187
a 2 3 5 9 10 13 15 16 26 29 32 43 61 64 66 67 68 69 70 75 76 82 85 87 89 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 174 179 185 187
a 2 3 5 9 10 13 15 16 26 29 32 42 43 61 64 66 67 68 69 70 75 76 82 85 87 92 93 94 97 100 101 106 107 109 110 111 113 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 174 179 185 187
a 2 3 5 9 10 13 15 16 26 29 32 42 43 61 64 66 67 69 70 75 76 82 85 87 92 93 94 97 100 101 106 107 109 110 111 113 115 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 174 179 185 187
a 2 3 5 9 10 13 15 16 26 29 32 42 43 61 64 66 67 69 70 76 82 85 87 92 93 94 97 100 101 106 107 109 110 111 113 115 116 117 123 126 129 130 131 135 137 143 149 154 157 160 162 164 167 169 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 26 29 32 42 43 61 64 66 67 69 70 76 82 85 87 92 93 94 97 100 101 106 107 109 110 111 113 115 116 117 123 126 129 130 131 135 137 143 149 152 154 157 160 162 164 167 169 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 26 29 32 42 43 61 64 66 67 69 70 76 82 85 87 92 93 94 97 100 101 106 107 109 110 111 113 114 115 116 117 123 126 129 130 131 135 137 143 149 152 154 157 162 164 167 169 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 26 29 32 42 43 61 64 66 67 69 70 76 82 85 87 92 93 94 97 100 101 106 107 109 110 111 113 114 115 116 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 169 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 26 29 32 42 43 53 61 64 66 67 69 70 76 82 85 87 92 93 94 97 100 101 106 107 110 111 113 114 115 116 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 169 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 26 29 32 42 43 53 61 64 66 67 69 70 76 82 85 87 92 93 94 97 100 101 106 107 110 111 114 115 116 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 169 170 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 26 29 32 42 43 53 61 64 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 107 110 111 114 115 116 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 169 170 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 21 26 29 32 42 43 53 61 64 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 107 110 111 114 115 116 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 170 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 21 26 29 32 42 43 45 53 61 64 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 116 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 170 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 170 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 76 81 82 85 87 92 93 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 186 187
a 2 3 5 9 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 81 82 85 87 92 93 100 101 106 110 111 114 115 117 123 126 127 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 186 187
c Step: 237
#END: [Tue Sep  5 08:01:56 2023]