#BEGIN: [Tue Sep 26 08:06:25 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance020_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph002.col /benchmark/random_instance/random_instance020_graph002_01.dat
c /benchmark/random_instance/random_instance020_graph002.col
c /benchmark/random_instance/random_instance020_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID ab73b34397350d2b4f587a72affd5b88acbc4aa6c6c59759c8a22bbf37a27a80
s 247 215 16 14 57 140 66 27 101 257 160 237 256 108 34 141 254 127 89 204 128 146 23 99 132 37 48 224 42 29 148 9 216 212 45 258 75 150 149 203 225 38 25 176 196 234 244 39 137 179 13 188 71 115 74 131 167 161 76 69 190 118 123 32 7 223 33 41 121 46 40 10 64 219 202 151 144 85 166 98 235 251 155 171
t 1 160 121 202 99 249 109 93 186 104 114 123 86 32 137 197 51 46 251 146 204 82 163 131 217 88 216 62 78 13 143 77 198 156 64 66 83 192 259 135 11 75 174 49 89 87 151 24 206 194 140 70 257 94 162 124 260 97 12 239 54 59 118 253 55 102 176 149 219 103 170 236 74 205 50 5 35 213 225 187 169 26 224 27
a YES
a 7 9 10 13 14 16 23 25 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 166 167 171 176 179 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257 258
a 7 10 13 14 16 23 25 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 176 179 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257 258
a 7 8 10 13 14 16 23 25 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 176 179 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257 258
a 7 8 10 13 14 16 23 25 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 176 178 179 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257
a 7 8 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 176 178 179 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257
a 7 8 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 176 179 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257 258
a 7 8 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 176 179 187 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257
a 7 8 10 13 14 16 23 25 26 27 29 31 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 148 149 150 151 155 160 161 162 166 167 171 176 179 187 188 190 196 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257
a 7 8 10 13 14 16 23 25 26 27 29 31 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 148 149 150 151 155 160 161 162 166 167 171 179 187 188 190 196 202 203 204 207 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257
a 7 8 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 179 187 188 190 196 202 203 204 207 212 215 216 219 223 224 225 234 235 237 244 247 251 254 256 257
a 7 8 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 59 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 162 166 167 171 179 187 188 190 196 202 203 204 207 212 215 216 219 223 224 225 234 235 244 247 251 254 256 257
a 7 8 9 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 59 64 66 69 71 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 166 167 171 179 187 188 190 196 202 203 204 207 212 215 216 219 223 224 225 234 235 244 247 251 254 256 257
a 7 9 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 59 64 66 69 71 74 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 166 167 171 179 187 188 190 196 202 203 204 207 212 215 216 219 223 224 225 234 235 244 247 251 254 256 257
a 7 9 10 13 14 16 23 25 26 27 29 32 33 34 37 38 39 40 41 42 45 46 48 57 59 64 66 69 71 74 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 223 224 225 234 235 244 247 251 254 256 257 258
a 7 9 10 13 14 16 23 25 26 27 29 32 33 34 37 38 40 41 42 45 46 48 57 59 64 66 69 71 74 75 76 85 89 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 225 234 235 244 247 251 254 256 257 258
a 7 9 10 13 14 16 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 59 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 148 149 150 151 155 160 161 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 225 234 235 244 247 251 254 256 257 258
a 7 9 10 13 14 16 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 59 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 155 160 161 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 225 231 234 235 244 247 251 254 256 257 258
a 7 10 13 14 16 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 59 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 155 160 161 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 225 231 234 235 244 247 251 254 256 257 258
a 7 10 13 14 16 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 225 231 234 235 244 247 251 254 256 257 258
a 7 10 13 14 16 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 225 231 234 235 244 247 251 256 257 258
a 7 10 13 14 16 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 202 203 204 207 212 215 216 219 220 223 224 231 234 235 244 247 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 48 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 198 202 203 204 207 212 215 216 219 220 223 224 231 234 235 244 247 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 66 69 71 74 75 76 85 89 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 198 202 203 204 207 212 215 216 219 220 223 224 231 234 235 244 247 249 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 89 98 99 101 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 198 202 203 204 207 212 215 216 219 220 223 224 231 234 235 244 247 249 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 59 64 69 71 74 75 76 85 89 98 99 101 108 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 198 202 203 204 207 212 215 216 219 220 223 224 231 234 235 244 247 249 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 59 64 69 71 74 75 76 85 98 99 101 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 198 202 203 204 207 212 215 216 219 220 223 224 231 234 235 244 247 249 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 98 99 101 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 179 188 190 196 198 202 203 204 207 212 215 216 219 220 223 224 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 98 99 101 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 155 160 161 162 166 167 171 176 179 188 190 196 198 202 203 204 212 215 216 219 220 223 224 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 98 99 101 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 160 161 162 166 167 171 176 179 188 190 196 198 202 203 204 212 215 216 219 220 223 224 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 98 99 101 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 160 161 162 166 167 171 176 179 188 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 98 99 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 160 161 162 166 167 171 176 179 186 188 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 98 99 108 112 115 116 118 121 123 127 128 131 132 137 140 141 144 146 149 150 151 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 98 99 108 112 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 22 23 25 27 29 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 22 23 25 27 29 33 34 35 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 89 98 99 108 115 116 118 121 123 127 128 131 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 22 23 25 27 29 33 34 35 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 98 99 108 112 115 116 118 121 123 127 128 131 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 35 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 98 99 108 112 116 118 121 123 127 128 131 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 35 37 38 40 41 42 45 46 57 64 69 71 74 75 76 85 86 98 99 108 112 115 116 118 121 123 127 128 131 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 22 23 25 27 29 32 33 34 35 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 98 99 108 115 116 118 121 123 127 128 131 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 22 23 25 27 29 32 33 34 35 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 98 99 108 115 116 118 121 123 127 128 131 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 256 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 202 203 204 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 166 167 171 176 179 186 190 196 198 200 202 203 204 212 215 216 219 223 224 225 234 235 237 244 247 249 251 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 167 171 176 179 186 190 196 198 200 202 203 204 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 167 171 176 179 186 190 196 198 200 202 203 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 256 257 258
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 167 171 176 179 186 190 196 198 200 202 203 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 256 257
a 7 10 13 14 22 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 167 171 176 179 186 190 196 198 200 202 203 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 256 258
a 7 10 13 14 22 23 25 27 29 32 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 160 161 162 167 171 176 179 186 190 196 198 200 202 203 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 23 25 27 29 32 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 167 171 176 179 186 190 196 198 200 202 203 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 23 25 27 29 32 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 196 198 200 202 203 212 215 216 219 223 224 225 231 234 235 237 244 247 249 251 254 256
a 7 10 13 14 23 25 27 29 32 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 196 198 200 202 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256
a 7 10 13 14 23 25 27 29 32 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 196 198 200 202 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257
a 7 10 13 14 23 25 27 29 32 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 196 198 200 202 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 196 198 200 202 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 193 198 200 202 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 193 198 200 202 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 176 179 186 190 193 198 200 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 193 198 200 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 193 198 200 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 193 198 200 202 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256 257
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 193 198 200 202 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 256 257
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 193 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 256
a 7 10 13 14 23 25 27 29 32 33 34 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 193 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 256 257
a 7 10 13 14 23 25 27 29 32 33 34 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 256 257
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 256
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 258
a 7 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 258
a 7 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 257
a 7 13 14 23 25 27 29 32 33 34 37 38 40 41 42 45 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 257 258
a 7 13 14 23 25 27 29 32 33 34 37 38 40 41 42 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 257 258
a 7 13 23 25 27 29 32 33 34 37 38 40 41 42 46 57 64 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 116 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 13 23 25 27 29 32 33 34 37 38 40 41 42 46 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 13 14 23 25 27 29 32 33 34 37 38 40 41 42 46 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 162 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 249 251 254 257 258
a 7 13 14 23 25 27 29 32 33 34 37 38 40 41 42 46 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 10 13 14 23 25 27 29 32 33 34 37 38 40 41 42 46 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 257 258
a 7 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 10 13 14 23 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 144 146 149 150 152 155 160 161 166 167 171 179 186 190 196 198 200 202 203 207 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 10 13 14 23 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 166 167 171 179 186 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 10 13 14 23 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 166 167 171 179 186 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 10 13 14 23 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257 258
a 7 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 257
a 7 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 74 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251 254
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 231 234 235 237 244 247 249 251
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 257
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 256 257
a 7 8 10 13 14 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 256 257
a 7 8 10 13 14 25 27 32 33 34 37 38 40 41 42 46 49 50 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 178 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 249 251 256 257
a 7 8 10 13 14 25 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 178 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 249 251 254 256 257
a 7 8 10 13 14 25 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 256 257
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 257
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 152 155 160 161 162 166 167 171 179 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 57 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 127 128 131 132 136 137 140 141 146 149 150 155 160 161 162 166 167 171 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 136 137 140 141 146 149 150 155 160 161 162 166 167 171 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 149 150 155 160 161 162 166 167 171 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 149 150 155 160 161 162 166 167 171 173 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 149 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 256
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 45 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 149 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 45 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 149 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 254
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 45 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 254
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 45 46 49 64 66 69 71 75 76 79 85 86 87 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 150 155 160 161 162 166 167 171 178 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 45 46 49 64 66 69 71 75 76 79 85 86 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 133 136 137 140 141 146 148 150 155 160 161 162 166 167 171 178 179 184 190 196 198 200 202 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254
a 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 42 45 46 49 64 66 69 71 75 76 79 85 86 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 64 66 69 71 75 76 79 85 86 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 254
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 64 66 69 71 75 76 79 85 86 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 237 244 247 249 251 256
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 64 66 69 71 75 76 79 85 86 89 92 98 99 101 108 115 118 121 123 124 127 128 131 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 251 256
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 64 66 69 71 75 76 79 85 86 89 92 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 251 256
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 85 86 89 92 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 251
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 85 86 89 92 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 141 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 256
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 85 86 89 92 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 141 146 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 256 257
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 85 86 89 92 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 146 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 234 235 244 247 249 251 256 257
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 85 86 89 92 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 196 198 200 202 203 207 208 212 215 216 219 220 223 224 225 235 244 247 249 251 256 257
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 85 86 89 92 97 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 198 200 202 203 207 208 212 215 216 219 220 223 224 225 235 244 247 249 251 256 257
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 83 85 86 89 92 97 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 190 198 200 202 203 207 208 212 215 216 219 220 223 224 225 235 244 247 249 251 257
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 83 85 86 89 92 97 98 99 101 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 187 190 198 202 203 207 208 212 215 216 219 220 223 224 225 235 244 247 249 251 257
a 2 7 8 10 13 14 23 25 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 187 190 198 202 203 207 208 212 215 216 219 220 224 225 235 244 247 249 251 257
a 2 7 8 10 13 14 23 27 32 33 34 37 38 40 41 45 46 49 50 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 187 190 198 202 203 207 208 212 215 216 219 220 224 225 235 244 247 249 251 257
a 7 8 10 13 14 23 27 32 33 34 37 38 40 41 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 178 179 184 187 190 198 202 203 207 208 212 215 216 219 220 224 225 235 244 247 249 251 257
a 7 8 10 13 14 23 27 32 33 34 37 38 40 41 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 176 178 179 184 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257
a 7 8 10 13 14 23 27 32 33 34 37 38 41 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 174 176 178 179 184 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257
a 7 8 10 13 14 23 27 32 33 34 37 38 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 136 137 140 146 148 150 155 160 161 162 166 167 171 173 174 176 178 179 184 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 27 32 33 34 37 38 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 132 135 136 137 140 146 148 150 155 160 162 166 167 171 173 174 176 178 179 184 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 27 32 33 34 35 37 38 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 101 102 106 108 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 166 167 171 173 174 176 178 179 184 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 27 32 33 34 35 37 38 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 98 99 102 106 108 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 166 167 171 173 174 176 178 179 184 186 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 26 27 32 33 34 35 37 38 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 99 102 106 108 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 166 167 171 173 174 176 178 179 184 186 187 190 198 202 203 208 212 215 216 219 220 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 26 27 32 33 34 35 37 38 45 46 49 50 54 64 66 69 71 75 76 79 82 83 85 86 89 92 97 99 102 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 166 167 171 173 174 176 178 179 184 186 187 190 198 202 203 208 212 215 216 219 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 26 27 32 33 34 35 37 38 46 49 50 54 62 64 66 69 71 75 76 79 82 83 85 86 89 92 97 99 102 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 166 167 171 173 174 176 178 179 184 186 187 190 198 202 203 208 212 215 216 219 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 26 27 32 33 34 35 37 38 46 49 50 54 62 64 66 69 71 75 76 79 82 83 85 86 89 92 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 171 173 174 176 178 179 184 186 187 190 198 202 203 208 212 215 216 219 224 225 235 244 247 249 251 257 260
a 7 8 10 13 14 23 26 27 32 33 34 35 37 38 46 49 50 54 62 64 66 69 71 75 76 79 82 83 85 86 89 92 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 171 173 174 176 178 179 184 186 187 190 192 198 202 203 208 212 216 219 224 225 235 244 247 249 251 257 260
a 7 10 13 14 23 26 27 32 33 34 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 171 173 174 176 178 179 184 186 187 190 192 198 202 203 208 212 216 219 224 225 235 244 247 249 251 257 260
a 7 10 13 14 23 26 27 32 33 34 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 171 173 174 176 178 179 184 186 187 190 192 198 202 203 206 208 212 216 219 224 225 235 247 249 251 257 260
a 7 10 13 14 23 26 27 32 33 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 169 171 173 174 176 178 179 184 186 187 190 192 198 202 203 206 208 212 216 219 224 225 235 247 249 251 257 260
a 7 10 13 14 23 26 27 32 33 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 169 171 173 174 176 178 179 184 186 187 190 192 198 202 203 206 212 216 219 224 225 235 247 249 251 257 260
a 7 10 13 14 23 26 27 32 33 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 169 173 174 176 178 179 184 186 187 190 192 198 202 203 206 212 216 219 224 225 235 239 247 249 251 257 260
a 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 169 173 174 176 178 179 184 186 187 190 192 198 202 203 205 206 212 216 219 224 225 235 239 247 249 251 257 260
a 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 169 170 173 174 176 178 179 184 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 257 260
a 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 136 137 140 146 148 150 155 160 162 167 169 170 173 174 176 178 184 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 253 257 260
a 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 148 150 155 160 162 167 169 170 173 174 176 178 184 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 253 257 260
a 5 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 71 74 75 76 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 148 150 155 160 162 167 169 170 173 174 176 184 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 253 257 260
a 5 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 71 74 75 76 78 79 82 83 85 86 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 148 150 155 160 162 167 169 170 173 174 176 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 253 257 260
a 5 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 71 74 75 76 78 79 82 83 85 86 87 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 150 155 160 162 167 169 170 173 174 176 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 253 257 260
a 1 5 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 74 75 76 78 79 82 83 85 86 87 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 150 155 160 162 167 169 170 173 174 176 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 247 249 251 253 257 260
a 1 5 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 79 82 83 85 86 87 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 150 155 160 162 167 169 170 173 174 176 186 187 190 192 198 202 203 205 206 216 219 224 225 235 239 249 251 253 257 260
a 1 5 7 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 150 155 160 162 167 169 170 173 174 176 186 187 190 192 194 198 202 203 205 206 216 219 224 225 235 239 249 251 253 257 260
a 1 5 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 150 151 155 160 162 167 169 170 173 174 176 186 187 190 192 194 198 202 203 205 206 216 219 224 225 235 239 249 251 253 257 260
a 1 5 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 92 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 151 155 160 162 167 169 170 173 174 176 186 187 190 192 194 198 202 203 205 206 216 217 219 224 225 235 239 249 251 253 257 260
a 1 5 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 151 155 160 162 167 169 170 173 174 176 186 187 190 192 194 198 202 203 204 205 206 216 217 219 224 225 235 239 249 251 253 257 260
a 1 5 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 151 155 160 162 169 170 173 174 176 186 187 190 192 194 198 202 203 204 205 206 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 14 23 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 151 155 160 162 169 170 173 174 176 186 187 190 192 194 198 202 204 205 206 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 14 26 27 32 33 35 37 38 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 151 155 160 162 169 170 173 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 14 26 27 32 33 35 37 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 146 151 155 156 160 162 169 170 173 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 26 27 32 33 35 37 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 143 146 151 155 156 160 162 169 170 173 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 26 27 32 33 35 37 46 49 50 54 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 143 146 151 155 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 26 27 32 35 37 46 49 50 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 106 108 114 115 118 121 123 124 127 128 135 137 140 143 146 151 155 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 26 27 32 35 37 46 49 50 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 108 114 115 118 121 123 124 127 128 131 135 137 140 143 146 151 155 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 26 27 32 35 37 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 108 114 115 118 121 123 124 127 128 131 135 137 140 143 146 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 26 27 32 35 37 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 108 114 115 118 121 123 124 128 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 37 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 89 94 97 99 102 103 114 115 118 121 123 124 128 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 37 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 88 89 94 97 99 102 103 114 118 121 123 124 128 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 78 82 83 85 86 87 88 89 94 97 99 102 103 109 114 118 121 123 124 128 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 235 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 77 78 82 83 85 86 87 88 89 94 97 99 102 103 109 114 118 121 123 124 128 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 77 78 82 83 86 87 88 89 93 94 97 99 102 103 109 114 118 121 123 124 128 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 69 70 74 75 76 77 78 82 83 86 87 88 89 93 94 97 99 102 103 104 109 114 118 121 123 124 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 236 239 249 251 253 257 260
a 1 5 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 69 70 74 75 77 78 82 83 86 87 88 89 93 94 97 99 102 103 104 109 114 118 121 123 124 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 236 239 249 251 253 257 259 260
a 1 5 11 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 70 74 75 77 78 82 83 86 87 88 89 93 94 97 99 102 103 104 109 114 118 121 123 124 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 190 192 194 198 202 204 205 206 213 216 217 219 224 225 236 239 249 251 253 257 259 260
a 1 5 11 12 13 24 26 27 32 35 46 49 50 51 54 55 59 62 64 66 70 74 75 77 78 82 83 86 87 88 89 93 94 97 99 102 103 104 109 114 118 121 123 124 131 135 137 140 143 146 149 151 156 160 162 163 169 170 174 176 186 187 192 194 197 198 202 204 205 206 213 216 217 219 224 225 236 239 249 251 253 257 259 260
c Step: 168
#END: [Tue Sep 26 08:36:25 2023]