#BEGIN: [Tue Sep  5 02:24:27 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance021_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat
c /benchmark/random_instance/random_instance021_graph002.col
c /benchmark/random_instance/random_instance021_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 275a0fe397be59d28b8a4b5e0451a1621240a5c35213638ad793a66bdd3cd51d
s 70 117 7 64 120 144 53 12 75 60 80 173 184 213 179 125 203 111 259 266 232 89 129 138 94 247 183 43 42 170 23 106 231 134 194 243 118 210 254 41 33 37 65 264 141 175 28 272 57 257 216 30 242 122 99 149 147 148 161 56 191 171 20 58 189 116 79 207 187 9 50 198 151 192 140 103 220 115 155 265 62 218 14
t 263 152 199 54 232 226 2 237 239 38 140 257 175 93 220 178 118 85 186 136 250 242 185 128 74 87 204 35 207 130 55 60 49 158 273 30 171 173 45 41 84 165 109 122 81 12 6 127 206 117 40 208 169 88 198 243 221 102 52 137 216 65 194 255 188 230 233 139 163 62 18 115 5 23 251 116 151 244 156 59 123 44 138
a YES
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 111 113 115 116 117 118 120 122 125 129 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 111 113 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 111 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 111 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 111 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 111 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 266 272
a 7 9 12 14 20 23 28 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 5 7 9 12 14 20 23 28 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 5 7 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 234 239 242 243 254 257 259 264 265 266 272
a 5 7 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 184 187 189 191 192 194 198 199 203 204 207 210 216 218 220 231 232 239 242 243 254 257 259 264 265 266 272
a 5 7 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 170 171 173 175 179 184 187 189 191 192 194 198 199 203 204 206 207 210 216 218 220 231 232 239 242 243 254 257 264 265 266 272
a 5 7 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 171 173 175 179 184 187 189 191 192 194 198 199 203 204 206 207 208 210 216 218 220 231 232 239 242 243 254 257 264 265 266 272
a 5 7 12 14 20 23 28 30 33 37 41 42 43 50 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 171 173 175 179 184 187 189 191 192 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 239 242 243 254 257 264 265 266 272
a 5 7 12 20 23 28 30 33 37 41 42 43 50 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 171 173 175 179 184 187 189 191 192 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 266 272
a 5 7 12 20 23 28 30 33 41 42 43 50 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 171 173 175 179 184 187 189 191 192 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 266 272 273
a 5 7 12 20 23 28 30 33 41 42 43 50 56 57 58 60 62 64 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 171 173 175 179 184 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 266 272 273
a 5 7 12 20 23 30 33 41 42 43 50 56 57 58 60 62 64 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 171 173 175 179 184 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 266 272 273
a 5 7 12 20 23 30 33 40 41 42 43 50 56 57 58 60 62 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 171 173 175 179 184 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 266 272 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 125 129 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 266 272 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 123 125 129 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 272 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 123 125 129 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 60 62 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 123 125 127 129 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 254 257 264 265 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 60 62 65 75 79 80 88 89 94 99 103 106 113 115 116 117 118 120 122 123 125 127 129 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 250 254 257 264 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 60 62 65 75 79 80 88 89 94 99 103 106 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 231 232 233 239 242 243 250 254 257 264 273
a 5 7 12 20 23 30 33 35 40 41 42 43 50 56 57 60 62 65 75 79 80 88 89 94 99 103 106 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 5 7 12 23 30 33 35 40 41 42 43 50 56 57 60 62 65 75 79 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 141 147 148 149 151 155 161 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 5 7 12 23 30 33 35 40 41 42 43 50 56 57 60 62 65 75 79 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 147 148 149 151 155 161 163 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 5 7 12 23 30 33 35 40 41 42 43 50 56 57 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 147 148 149 151 155 161 163 165 171 173 175 179 184 185 187 189 191 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 5 7 12 23 30 33 35 40 41 42 43 50 56 57 59 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 147 148 149 151 155 161 163 165 171 173 175 179 184 185 187 189 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 2 5 12 23 30 33 35 40 41 42 43 50 56 57 59 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 138 139 140 147 148 149 151 155 161 163 165 171 173 175 179 184 185 187 189 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 2 5 12 23 30 33 35 40 41 42 43 50 56 57 59 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 179 184 185 187 194 198 199 203 204 206 207 208 210 216 218 220 221 226 231 232 233 239 242 243 250 257 264 273
a 2 5 12 18 23 30 33 35 40 41 42 43 50 56 57 59 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 179 184 185 187 194 198 199 203 204 206 207 208 210 216 218 220 221 226 232 233 239 242 243 250 257 264 273
a 2 5 12 18 23 30 33 35 40 41 42 43 44 50 56 57 59 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 184 185 187 194 198 199 203 204 206 207 208 210 216 218 220 221 226 232 233 239 242 243 250 257 264 273
a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 50 56 57 59 60 62 65 74 75 80 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 185 187 194 198 199 203 204 206 207 208 210 216 218 220 221 226 232 233 239 242 243 250 257 264 273
a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 50 56 57 59 60 62 65 74 75 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 185 187 194 198 199 203 204 206 207 208 210 216 218 220 221 226 230 232 233 239 242 243 250 257 264 273
a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 50 56 57 59 60 62 65 74 75 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 185 187 194 198 199 203 204 206 207 208 210 216 218 220 221 226 230 232 233 239 242 243 250 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 50 56 57 59 60 62 65 74 75 88 89 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 185 187 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 50 56 57 59 60 62 65 74 75 85 88 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 134 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 185 187 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 50 56 57 59 60 62 65 74 75 85 88 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 137 138 139 140 147 148 149 151 155 161 163 165 171 173 175 185 186 187 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 75 85 88 94 99 103 106 109 115 116 117 118 120 122 123 125 127 129 130 137 138 139 140 147 148 149 151 155 156 161 163 165 171 173 175 185 186 187 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 75 85 88 94 99 103 106 109 115 116 117 118 120 122 123 125 127 128 129 130 137 138 139 140 147 148 149 151 155 156 161 163 165 171 173 175 185 186 187 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 75 85 88 94 99 103 106 109 115 116 117 118 120 122 123 125 127 128 130 137 138 139 140 147 148 149 151 155 156 158 161 163 165 171 173 175 185 186 187 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 75 85 88 94 99 103 109 115 116 117 118 120 122 123 125 127 128 130 137 138 139 140 147 148 149 151 155 156 158 161 163 165 171 173 175 185 186 187 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 85 88 94 99 102 103 109 115 116 117 118 120 122 123 125 127 128 130 137 138 139 140 147 148 149 151 155 156 158 161 163 165 171 173 175 185 186 187 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 85 87 88 94 99 102 103 109 115 116 117 118 120 122 123 127 128 130 137 138 139 140 147 148 149 151 155 156 158 161 163 165 171 173 175 185 186 187 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 81 85 87 88 94 99 102 103 109 115 116 117 118 120 122 123 127 128 130 137 138 139 140 147 148 149 151 156 158 161 163 165 171 173 175 185 186 187 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 33 35 40 41 42 44 49 50 56 57 59 60 62 65 74 81 85 87 88 94 99 102 103 109 115 116 117 118 120 122 123 127 128 130 137 138 139 140 147 148 149 151 156 158 161 163 165 171 173 175 185 186 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 35 40 41 42 44 49 50 56 57 59 60 62 65 74 81 85 87 88 94 99 102 103 109 115 116 117 118 120 122 123 127 128 130 137 138 139 140 147 148 149 151 152 156 158 161 163 165 171 173 175 185 186 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 35 40 41 42 44 49 50 56 57 59 60 62 65 74 81 85 87 88 94 102 103 109 115 116 117 118 120 122 123 127 128 130 136 137 138 139 140 147 148 149 151 152 156 158 161 163 165 171 173 175 185 186 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 35 40 41 44 49 50 54 56 57 59 60 62 65 74 81 85 87 88 94 102 103 109 115 116 117 118 120 122 123 127 128 130 136 137 138 139 140 147 148 149 151 152 156 158 161 163 165 171 173 175 185 186 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 273
a 2 5 6 12 18 23 30 35 40 41 44 49 50 54 56 57 59 60 62 65 74 81 85 87 88 94 102 103 109 115 116 117 118 120 122 123 127 128 130 136 137 138 139 140 148 149 151 152 156 158 161 163 165 171 173 175 185 186 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 50 54 56 57 59 60 62 65 74 81 85 87 88 94 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 148 149 151 152 156 158 161 163 165 171 173 175 185 186 194 198 199 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 50 54 56 57 59 60 62 65 74 81 85 87 88 94 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 148 149 151 152 156 158 161 163 165 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 54 56 57 59 60 62 65 74 81 85 87 88 94 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 148 149 151 152 156 158 161 163 165 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 54 56 57 59 60 62 65 74 81 85 87 88 93 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 148 149 151 152 156 158 161 163 165 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 54 56 57 59 60 62 65 74 81 84 85 87 88 93 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 149 151 152 156 158 161 163 165 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 54 55 56 57 59 60 62 65 74 81 84 85 87 88 93 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 161 163 165 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 54 55 56 59 60 62 65 74 81 84 85 87 88 93 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 161 163 165 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 52 54 55 56 59 60 62 65 74 81 84 85 87 88 93 102 103 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 40 41 44 45 49 52 54 55 56 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273
c Step: 69
#END: [Tue Sep  5 02:54:27 2023]