#BEGIN: [Tue Sep 26 06:35:16 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance022_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance022_graph005.col /benchmark/random_instance/random_instance022_graph005_01.dat
c /benchmark/random_instance/random_instance022_graph005.col
c /benchmark/random_instance/random_instance022_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 0381b3f7df9f86cef1ab3b9453ccbda30b007e4fa5149a9d23ee5844e7a5df3a
s 55 107 161 22 186 172 141 183 213 65 52 249 224 36 106 189 157 80 180 109 257 11 96 271 276 6 123 272 56 144 164 209 42 91 98 15 227 76 77 244 255 90 74 176 286 243 241 203 282 27 70 40 192 116 99 142 277 251 117 119 100 200 153 212 85 104 195 37 149 60 188 232 273 82 129 71 46 10 122 147 166 87 218 12 145 20 94 133 185 86 79 205 160 155 159 92 217
t 192 82 69 107 68 270 116 60 2 96 166 280 154 271 99 81 91 246 237 117 53 89 41 277 7 98 260 243 183 197 221 276 22 245 187 227 257 174 185 73 27 36 231 213 62 8 200 80 190 217 143 85 42 224 109 44 130 157 118 28 17 235 136 119 164 65 126 212 247 238 193 16 253 103 273 10 232 269 258 254 97 145 284 11 50 33 86 74 15 160 255 159 46 203 121 92 172
a YES
a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286
a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 255 257 271 272 273 276 277 282 286
a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 255 257 272 273 276 277 282 286
a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 272 273 276 277 282 286
a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 269 272 273 276 277 282 286
a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 269 272 273 276 277 282 286
a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 272 273 276 277 282 286
a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 251 255 257 272 273 276 277 282 286
a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 55 56 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 251 255 257 272 273 276 277 282 286
a 6 10 11 15 20 22 27 36 40 42 43 46 52 55 56 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 286
a 2 6 10 11 15 20 22 27 36 40 42 43 46 52 55 56 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 286
a 2 6 10 11 15 20 22 27 36 40 42 43 46 52 55 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 96 98 99 100 104 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 284 286
a 2 6 10 11 15 20 22 27 36 40 42 43 46 52 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 94 96 98 99 100 105 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 284 286
a 2 6 10 11 20 22 27 36 40 42 43 46 52 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 94 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 141 142 144 145 147 149 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 284 286
a 2 6 10 11 20 22 27 36 40 42 43 46 52 53 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 94 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 284 286
a 2 6 10 11 20 22 27 36 40 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 284 286
a 2 6 10 11 20 22 27 36 40 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 251 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 20 22 27 36 40 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 15 20 22 27 36 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 15 20 22 27 36 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 239 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 27 36 42 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 239 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 27 36 40 42 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 116 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 42 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 42 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 117 119 122 123 127 129 130 133 142 144 145 147 149 155 159 160 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 42 46 52 53 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 117 119 122 123 127 129 130 133 142 144 145 147 149 155 159 160 166 172 176 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 269 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 166 172 176 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 269 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 166 172 176 183 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 269 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 166 172 176 183 184 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 269 272 273 276 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 162 166 172 176 183 184 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 241 243 244 245 249 250 255 257 269 272 273 276 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 162 166 172 176 183 184 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 240 241 243 244 245 249 250 255 257 272 273 276 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 162 166 172 176 183 184 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 250 255 257 273 276 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 155 159 160 162 166 172 176 183 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 250 255 257 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 255 257 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 190 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 144 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 277 282 283 284 286
a 2 6 10 11 12 15 20 22 24 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 284 286
a 2 6 10 11 12 15 20 22 27 36 40 41 42 46 52 54 55 60 65 70 71 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 118 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 284 286
a 2 6 10 11 12 15 20 22 27 36 40 41 42 46 52 54 55 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 117 118 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 2 6 10 11 12 15 20 22 27 36 40 41 42 46 52 54 55 60 65 70 71 73 74 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 116 117 118 119 122 123 127 129 130 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 2 6 10 11 12 15 20 22 27 36 40 41 42 46 52 54 55 56 60 65 70 71 73 74 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 2 6 10 11 12 15 20 22 27 36 40 41 42 46 52 54 55 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 2 6 10 11 12 15 20 22 27 36 40 41 42 46 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283
a 2 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283
a 2 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 2 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 2 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 283 286
a 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 141 142 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 70 71 73 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 145 147 149 153 155 159 162 166 172 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 145 147 149 153 155 159 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 145 147 149 153 155 159 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 145 147 149 153 155 159 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283 286
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 145 147 149 153 155 159 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283
a 6 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 145 147 149 153 155 159 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 283
a 6 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 283
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276
a 6 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 283
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 283
a 6 10 11 12 15 20 22 27 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282
a 6 10 11 12 15 20 22 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282
a 6 10 11 12 15 20 22 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 219 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282
a 6 10 11 12 15 20 22 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 105 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 219 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 286
a 6 10 11 12 15 20 22 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 219 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 286
a 6 10 11 12 15 20 22 36 40 41 42 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 286
a 6 10 11 12 15 20 22 36 40 41 42 45 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 180 184 185 186 188 192 195 200 203 205 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 286
a 6 10 11 12 15 20 22 36 40 41 42 45 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 286
a 10 11 12 15 20 22 36 40 41 42 45 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 286
a 10 11 15 20 22 36 40 41 42 43 45 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 286
a 10 15 20 22 27 36 40 41 42 43 45 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 257 263 272 273 276 282 286
a 10 15 20 22 27 36 40 41 42 43 45 52 54 55 56 60 65 66 70 71 73 74 76 77 79 80 81 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 15 20 22 27 36 40 41 42 43 45 52 54 55 56 60 65 70 71 73 74 76 77 79 80 81 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 15 20 22 27 36 40 41 42 43 45 52 54 55 56 60 65 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 272 273 276 282 283 286
a 10 11 20 22 27 36 40 41 42 43 45 52 54 55 56 60 65 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 272 273 276 282 283 286
a 10 11 20 22 27 36 40 41 42 43 45 52 54 55 56 60 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 272 273 276 282 283 286
a 10 11 20 22 27 36 40 41 42 43 45 52 54 55 56 60 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 133 137 141 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 11 20 22 27 36 40 41 42 43 52 54 55 56 60 70 71 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 11 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 6 10 11 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 11 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 222 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283 286
a 10 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 105 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283
a 10 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 282 283
a 10 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276 283
a 10 15 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 240 241 243 244 245 249 251 255 263 272 273 276
a 10 15 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 241 243 244 245 249 251 255 263 269 272 273 276
a 10 15 20 22 27 36 40 41 42 43 52 54 55 56 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 263 269 273 276
a 10 15 20 22 27 36 40 41 42 43 52 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 263 269 273 276 284
a 8 10 15 20 22 27 36 40 41 42 43 52 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 102 106 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 269 273 276 284
a 8 10 15 20 22 27 36 40 41 42 43 52 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 106 107 109 113 116 117 118 119 122 123 127 129 133 137 141 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 269 273 276 284
a 8 10 15 20 22 27 36 40 41 42 43 52 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 106 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 22 27 36 40 41 42 43 52 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 106 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 22 27 36 41 42 43 52 53 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 106 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 22 27 36 41 42 43 52 53 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 238 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 16 22 27 36 41 42 43 53 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 232 235 238 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 16 22 27 36 41 42 53 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 206 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 16 22 27 28 36 41 42 53 54 55 60 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 16 22 27 28 36 41 42 53 54 60 65 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 249 251 255 269 273 276 284
a 8 10 11 15 16 22 27 28 36 41 42 53 54 60 65 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 162 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 251 254 255 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 53 54 60 65 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 142 143 145 147 149 153 155 159 160 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 251 254 255 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 90 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 143 145 147 149 153 155 159 160 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 251 254 255 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 107 109 113 116 117 118 119 122 123 127 129 130 133 137 143 145 147 149 153 155 159 160 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 241 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 107 109 113 116 117 118 119 122 123 126 127 129 130 133 137 143 145 147 149 153 155 159 160 166 172 174 176 183 184 185 186 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 107 109 113 116 117 118 119 122 126 127 129 130 133 137 143 145 147 149 153 155 159 160 166 172 174 176 183 184 185 186 187 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 176 183 184 185 186 187 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 50 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 183 184 185 186 187 188 192 195 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 22 27 28 36 41 42 50 53 54 60 62 65 70 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 183 184 185 186 187 188 192 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 183 184 185 186 187 188 192 200 203 205 208 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 183 184 185 186 187 188 192 200 203 205 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 73 74 76 77 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 183 184 185 187 188 192 193 200 203 205 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 68 73 74 76 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 137 143 145 147 149 153 159 160 166 172 174 183 184 185 187 188 192 193 200 203 205 209 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 68 73 74 76 79 80 81 82 84 85 86 87 91 92 96 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 136 137 143 145 147 149 153 159 160 166 172 174 183 184 185 187 188 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 68 73 74 76 79 80 81 82 84 85 86 87 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 127 129 130 133 136 143 145 147 149 153 159 160 166 172 174 183 184 185 187 188 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 84 85 86 87 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 127 130 133 136 143 145 147 149 153 159 160 166 172 174 183 184 185 187 188 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 44 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 84 85 86 87 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 127 130 136 143 145 147 149 153 159 160 166 172 174 183 184 185 187 188 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 44 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 84 85 86 87 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 130 136 143 145 147 149 153 159 160 164 166 172 174 183 184 185 187 188 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 44 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 130 136 143 145 147 149 153 159 160 164 166 172 174 183 184 185 187 188 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 251 254 255 258 269 273 276 284
a 7 8 10 11 15 16 17 22 27 28 36 41 42 44 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 130 136 143 145 147 149 153 159 160 164 166 172 174 183 184 185 187 188 190 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 254 255 258 269 273 276 284
a 2 7 8 10 11 15 16 17 22 27 28 36 41 42 44 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 130 136 143 145 147 153 159 160 164 166 172 174 183 184 185 187 188 190 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 254 255 258 269 273 276 284
a 2 7 8 10 11 15 16 17 22 27 28 36 41 42 44 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 113 116 117 118 119 121 122 126 130 136 143 145 147 153 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 254 255 258 269 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 36 41 42 44 46 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 147 153 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 205 212 213 217 218 219 222 224 227 231 232 235 238 243 244 245 247 254 255 258 269 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 36 41 42 44 46 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 147 153 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 205 212 213 217 218 219 221 222 224 227 231 232 235 238 243 245 247 254 255 258 269 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 36 41 42 44 46 50 53 54 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 147 153 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 205 212 213 217 219 221 222 224 227 231 232 235 238 243 245 247 254 255 258 269 270 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 147 153 157 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 205 212 213 217 219 221 222 224 227 231 232 235 238 243 245 247 254 255 258 269 270 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 157 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 205 212 213 217 219 221 222 224 227 231 232 235 238 243 245 247 254 255 258 269 270 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 79 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 212 213 217 219 221 222 224 227 231 232 235 238 243 245 247 254 255 258 269 270 273 276 277 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 212 213 217 219 221 222 224 227 231 232 235 238 243 245 247 254 255 258 269 270 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 80 81 82 85 86 87 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 212 213 217 219 221 224 227 231 232 235 238 243 245 247 254 255 258 269 270 271 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 188 190 192 193 200 203 212 213 217 219 221 224 227 231 232 235 238 243 245 246 247 254 255 258 269 270 271 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 76 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 190 192 193 200 203 212 213 217 219 221 224 227 231 232 235 238 243 245 246 247 254 255 258 260 269 270 271 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 122 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 190 192 193 200 203 212 213 217 219 221 224 227 231 232 235 237 238 243 245 246 247 254 255 258 260 269 270 271 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 153 154 157 159 160 164 166 172 174 183 185 187 190 192 193 197 200 203 212 213 217 219 221 224 227 231 232 235 237 238 243 245 246 247 254 255 258 260 269 270 271 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 154 157 159 160 164 166 172 174 183 185 187 190 192 193 197 200 203 212 213 217 219 221 224 227 231 232 235 237 238 243 245 246 247 253 254 255 258 260 269 270 271 273 276 277 280 284
a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 154 157 159 160 164 166 172 174 183 185 187 190 192 193 197 200 203 212 213 217 221 224 227 231 232 235 237 238 243 245 246 247 253 254 255 257 258 260 269 270 271 273 276 277 280 284
c Step: 141
#END: [Tue Sep 26 07:05:16 2023]