#BEGIN: [Tue Sep  5 02:01:40 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance020_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance020_graph001_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_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat
c /benchmark/random_instance/random_instance020_graph001.col
c /benchmark/random_instance/random_instance020_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID f2aad3ac3a71a4478498ea89693e2718bcbc354411647c40a97998a8b83ec568
s 66 21 50 92 123 159 25 142 243 143 138 196 189 227 93 3 41 55 12 83 54 15 107 33 180 48 184 133 65 63 17 168 118 232 104 126 163 99 238 260 42 59 255 191 198 244 96 154 78 10 112 150 75 74 97 162 20 5 46 76 61 11 120 32 28 215 172 22 100 210 181 239 199 254 114 235 241 130 58 146 152
t 107 186 160 165 154 143 65 184 240 81 119 28 212 75 169 179 226 117 64 244 220 95 171 158 193 108 80 87 49 140 37 205 58 146 123 19 163 92 215 22 144 115 162 187 225 223 39 133 114 245 217 85 40 35 161 260 72 82 202 177 15 214 59 97 242 21 20 241 110 175 96 124 106 1 232 102 237 206 191 56 70
a YES
a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 162 163 168 172 180 181 184 189 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 172 180 181 184 189 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 254 255 260
a 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 239 241 243 244 245 254 255 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 3 5 6 9 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 12 15 17 20 21 22 25 28 32 41 42 46 48 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 184 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 15 17 20 21 22 25 28 32 39 41 42 46 48 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 184 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 15 16 17 20 21 22 25 28 32 39 41 42 46 48 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 6 9 10 11 15 16 17 20 21 22 25 28 32 39 41 42 46 48 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 15 16 17 20 21 22 25 28 32 39 41 42 46 48 54 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 15 17 20 21 22 25 28 32 39 41 42 46 48 54 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 184 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 15 17 21 22 25 28 32 39 41 42 46 48 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 184 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 9 10 11 15 17 21 22 25 28 32 39 41 42 44 46 48 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 184 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 10 11 15 17 21 22 25 28 32 39 41 42 44 46 48 50 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 149 150 152 154 160 162 163 168 170 172 180 181 184 189 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 10 11 15 17 21 22 25 28 32 39 41 42 44 46 48 50 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255
a 3 5 6 10 11 15 17 21 22 25 28 32 39 41 42 44 46 48 50 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 3 5 6 10 11 15 17 21 22 25 28 29 32 39 42 44 46 48 50 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 3 5 6 10 11 15 17 21 22 25 28 29 32 39 42 44 46 48 50 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 205 210 215 227 232 235 238 239 241 243 244 245 254 255 260
a 3 5 6 10 11 15 17 21 22 25 28 29 32 39 42 44 46 48 50 54 55 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 205 210 215 227 232 235 238 239 243 244 245 254 255 260
a 3 5 6 10 11 15 17 20 21 22 25 28 29 32 39 42 44 46 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 205 210 215 227 232 235 238 239 243 244 245 254 255 260
a 3 5 6 10 11 15 17 20 21 22 25 28 32 39 42 44 46 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 108 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 205 210 215 227 232 235 238 239 243 244 245 254 255 260
a 3 5 6 10 11 15 17 20 21 22 25 28 32 39 42 44 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 108 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 205 210 215 227 232 235 237 238 239 243 244 245 254 255 260
a 3 5 6 10 11 15 17 20 21 22 25 28 32 39 42 44 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 255 260
a 3 5 6 10 11 15 17 20 21 22 25 28 32 39 42 44 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 260
a 3 5 6 10 11 15 17 20 21 22 25 28 32 39 41 42 44 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 44 48 50 54 58 59 61 63 65 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 260
a 3 5 6 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 54 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 260
a 3 5 6 8 10 11 12 15 17 20 21 22 25 28 32 41 42 50 54 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 260
a 3 5 6 8 10 11 12 15 17 20 21 22 25 28 32 41 42 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 239 243 244 245 260
a 3 5 6 8 10 11 12 15 17 20 21 22 25 28 32 41 42 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 260
a 3 5 6 8 10 11 12 15 17 20 21 22 25 28 32 41 42 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 243 244 245 260
a 3 5 6 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 243 244 245
a 3 5 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 238 239 243 244 245 260
a 3 5 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 260
a 3 5 8 10 11 12 15 17 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 54 55 58 59 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 54 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 243 244 245 254 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 138 142 143 146 150 152 154 160 162 163 168 170 172 180 181 184 189 191 198 199 205 210 215 227 232 235 237 238 239 240 243 244 245 254 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 232 235 237 238 239 240 243 244 245 254 260
a 3 5 8 10 11 12 15 17 21 22 25 28 32 41 42 48 50 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 232 235 237 238 239 240 241 243 244 245 254 260
a 3 5 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 138 142 143 146 150 152 154 159 160 163 168 170 172 180 181 184 189 191 198 199 210 215 227 232 235 237 238 239 240 241 243 244 245 254 260
a 3 5 8 10 11 12 15 17 20 21 22 25 32 41 42 48 50 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 232 235 237 238 239 240 241 243 244 245 254 260
a 3 5 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 55 58 59 61 63 65 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 215 227 232 235 237 238 239 240 241 243 244 245 254 260
a 3 5 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 213 215 227 232 235 237 238 239 240 241 243 244 245 254 260
a 3 5 8 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 213 215 227 232 235 237 238 240 241 243 244 245 254 260
a 3 5 8 9 10 11 12 15 17 20 21 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 213 215 227 232 235 237 238 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 213 215 227 232 235 237 238 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 232 235 237 238 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 238 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 232 235 237 238 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 232 235 237 238 239 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 215 232 235 237 238 239 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 215 227 232 235 237 238 239 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 227 232 235 237 238 239 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 227 232 235 237 239 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 215 227 232 235 239 240 241 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 215 227 232 235 239 240 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 41 42 48 50 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 191 198 199 210 213 215 227 232 235 237 239 240 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 41 42 48 50 55 58 59 61 63 66 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 239 240 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 41 42 48 50 55 58 59 61 63 66 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 240 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 41 42 48 50 54 55 58 59 61 63 66 75 76 79 82 83 92 93 96 97 99 100 104 107 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 41 42 48 50 54 55 58 59 61 63 66 75 76 79 82 83 92 93 96 97 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 41 42 48 50 54 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 41 42 48 50 54 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 50 54 55 58 59 61 63 66 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 28 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 21 22 25 28 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 21 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 243 244 245 254
a 3 5 8 9 10 11 12 15 17 20 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 243 244 245 254
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 111 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 55 58 59 63 66 69 74 75 76 79 82 83 92 93 96 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 55 58 59 63 66 69 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 55 58 59 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 42 48 54 55 58 59 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 15 17 20 22 25 32 41 42 48 54 55 58 59 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 9 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 215 227 231 232 235 237 242 243 244 245 254 255
a 3 9 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 213 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 9 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 227 231 232 235 237 239 242 243 244 245 254 255
a 3 9 10 11 12 15 17 22 25 32 41 42 46 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 227 231 232 235 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 46 48 54 55 58 59 61 63 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 213 227 231 232 235 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 46 48 54 55 58 59 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 227 231 232 235 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 46 48 54 55 58 59 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 118 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 46 48 54 55 58 59 61 63 65 66 69 74 75 76 79 82 83 84 92 96 97 99 100 101 104 112 113 114 118 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 48 54 55 58 59 61 63 65 66 69 74 75 76 79 82 83 84 92 96 97 99 100 101 104 112 113 114 118 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 48 54 55 58 61 63 65 66 69 74 75 76 79 82 83 84 92 96 97 99 100 101 104 112 113 114 116 118 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 84 92 96 97 99 100 101 104 112 113 114 116 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 162 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 84 92 96 97 99 100 101 104 112 113 114 116 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 99 100 101 104 112 113 114 116 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 232 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 104 112 113 114 116 118 120 123 126 130 133 138 142 143 146 150 151 152 154 159 160 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 104 112 114 116 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 163 168 170 172 180 181 184 189 191 198 199 210 215 227 231 235 237 239 242 243 244 245 254 255
a 3 5 9 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 104 112 114 116 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 161 163 168 170 172 180 181 184 189 191 199 210 215 227 231 235 237 239 242 243 244 245 254 255
a 3 5 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 104 112 114 116 118 120 123 126 130 133 137 138 142 143 146 150 151 152 154 159 160 161 163 168 170 172 180 181 184 189 191 199 210 215 227 231 235 237 239 242 243 244 245 254 255 260
a 3 5 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 112 114 116 118 120 123 126 130 133 137 138 142 143 144 146 150 151 152 154 159 160 161 163 168 170 172 180 181 184 189 191 199 210 215 227 231 235 237 239 242 243 244 245 254 255 260
a 5 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 112 114 116 118 120 123 126 130 133 137 138 142 143 144 146 150 151 152 154 159 160 161 163 168 170 172 180 181 184 189 191 199 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 10 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 112 114 116 118 120 123 126 130 133 137 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 172 180 181 184 189 191 199 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 11 12 15 17 20 22 25 32 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 112 114 116 118 120 123 126 130 133 137 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 199 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 11 12 15 17 20 22 25 32 40 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 101 112 114 116 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 199 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 11 12 15 17 20 22 25 32 40 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 107 112 114 116 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 199 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 11 12 15 17 20 22 25 40 41 42 48 54 58 61 63 65 66 69 74 75 76 79 82 83 92 93 96 97 98 99 100 107 112 114 116 117 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 199 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 11 12 15 17 20 22 25 40 41 42 48 54 58 61 63 65 66 69 70 74 75 76 79 82 83 92 93 96 97 98 99 100 107 112 114 116 117 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 11 12 15 17 20 22 25 40 41 42 48 54 58 61 63 65 66 69 70 75 76 79 82 83 92 93 96 97 98 99 100 107 108 112 114 116 117 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 12 15 17 20 22 25 40 41 42 48 54 58 61 63 65 66 69 70 75 76 79 82 83 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 210 215 227 231 235 237 239 241 242 243 244 245 254 255 260
a 12 15 17 20 22 25 28 40 41 42 48 54 58 61 63 65 66 69 70 75 76 79 82 83 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 138 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 210 215 227 235 237 239 241 242 243 244 245 254 255 260
a 12 15 17 20 22 25 28 40 41 42 48 54 58 61 63 65 66 69 70 75 76 79 82 83 85 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 189 191 210 215 227 235 237 239 241 242 243 244 245 254 255 260
a 12 15 17 20 22 25 28 40 41 42 48 54 58 61 63 65 66 69 70 75 76 79 82 83 85 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 227 235 237 239 241 242 243 244 245 254 255 260
a 12 15 20 22 25 28 40 41 42 48 54 58 61 63 65 66 69 70 75 76 79 82 83 85 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 217 227 235 237 239 241 242 243 244 245 254 255 260
a 12 15 20 22 25 28 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 217 227 235 237 239 240 241 242 243 244 245 254 255 260
a 15 20 22 25 28 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 217 220 227 235 237 239 240 241 242 243 244 245 254 255 260
a 15 20 22 28 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 217 220 227 235 237 239 240 241 242 243 244 245 254 255 260
a 15 20 22 28 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 119 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 217 220 227 235 237 239 240 241 242 243 244 245 255 260
a 15 20 22 28 39 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 119 120 123 126 130 133 142 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 215 217 220 227 235 237 239 240 241 242 243 244 245 260
a 15 20 22 28 39 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 98 99 100 107 108 110 112 114 116 117 118 119 120 123 126 130 133 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 214 215 217 220 227 235 237 239 240 241 242 243 244 245 260
a 15 20 22 28 39 40 41 42 48 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 98 99 100 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 214 215 217 220 227 235 237 239 240 241 242 244 245 260
a 15 20 22 28 39 40 41 42 48 56 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 98 99 100 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 214 215 217 220 227 237 239 240 241 242 244 245 260
a 15 20 22 28 39 40 41 42 48 56 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 99 100 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 143 144 146 150 151 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 39 40 41 42 48 56 58 61 63 65 66 69 70 75 76 79 82 83 85 87 92 93 96 97 99 100 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 143 144 146 150 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 39 40 41 42 48 56 58 61 63 65 66 70 75 76 79 82 83 85 87 92 93 96 97 99 100 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 140 143 144 146 150 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 39 40 41 42 48 56 58 61 65 66 70 75 76 79 82 83 85 87 92 93 96 97 99 100 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 140 143 144 146 150 152 154 159 160 161 162 163 168 170 171 172 180 181 184 191 193 206 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 39 40 41 42 48 56 58 61 65 66 70 75 76 79 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 116 117 118 119 120 123 126 130 133 140 143 144 146 150 152 154 159 160 161 162 163 165 168 170 171 172 180 181 184 191 193 206 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 48 56 58 61 65 66 70 75 76 79 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 116 117 119 120 123 126 130 133 140 143 144 146 150 152 154 159 160 161 162 163 165 168 170 171 172 180 181 184 191 193 206 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 48 56 58 61 65 66 70 75 76 79 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 116 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 180 181 184 191 193 206 210 214 215 217 220 227 232 237 239 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 48 56 58 61 65 66 70 75 76 79 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 116 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 180 181 184 191 193 206 210 212 214 215 217 220 227 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 48 56 58 61 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 116 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 180 181 184 191 193 206 210 212 214 215 217 220 227 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 48 56 58 59 61 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 180 181 184 191 193 206 210 212 214 215 217 220 227 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 56 58 59 61 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 175 180 181 184 191 193 206 210 212 214 215 217 220 227 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 61 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 175 180 181 184 191 193 206 210 212 214 215 217 220 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 175 180 181 184 186 191 193 206 210 212 214 215 217 220 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 126 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 175 180 181 184 186 191 193 205 206 212 214 215 217 220 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 175 180 181 184 186 191 193 202 205 206 212 214 215 217 220 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 124 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 172 175 181 184 186 191 193 202 205 206 212 214 215 217 220 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 65 66 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 124 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 175 181 184 186 191 193 202 205 206 212 214 215 217 220 223 232 237 240 241 242 244 245 260
a 15 20 21 22 28 35 39 40 41 42 49 56 58 59 65 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 124 130 133 140 143 144 146 150 152 154 158 160 161 162 163 165 168 170 171 175 181 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 65 70 75 79 81 82 83 85 87 92 93 96 97 99 102 107 108 110 112 114 117 119 120 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 170 171 175 181 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 65 70 75 79 81 82 83 85 87 92 93 95 96 97 99 102 107 108 110 112 114 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 170 171 175 181 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 64 65 70 75 79 81 82 85 87 92 93 95 96 97 99 102 107 108 110 112 114 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 170 171 175 181 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 64 65 70 75 79 81 82 85 87 92 93 95 96 97 99 102 107 108 110 112 114 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 179 181 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 64 65 70 75 79 81 82 85 87 92 93 95 96 97 99 102 107 108 110 112 114 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 179 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 39 40 41 49 56 58 59 64 65 70 75 79 81 82 85 87 92 93 95 96 97 99 102 107 108 110 112 114 115 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 179 184 186 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 39 40 41 49 56 58 59 64 65 70 75 79 81 82 85 87 92 93 95 96 97 102 107 108 110 112 114 115 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 79 81 82 85 87 92 93 95 96 97 102 107 108 110 112 114 115 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 79 81 82 85 87 92 95 96 97 102 107 108 110 112 114 115 117 119 123 124 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 79 81 82 85 87 92 95 96 97 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 79 80 81 82 85 87 92 95 96 97 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 79 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260
a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260
c Step: 162
#END: [Tue Sep  5 02:31:40 2023]