#BEGIN: [Mon Sep  4 19:11:16 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance027_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance027_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance027_graph001.col /benchmark/random_instance/random_instance027_graph001_01.dat
c /benchmark/random_instance/random_instance027_graph001.col
c /benchmark/random_instance/random_instance027_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 065cd5dc2685819e3803e30803ded5f1d3ca8fe931778b95d4fb293b41bd081a
s 118 328 278 227 217 320 253 70 294 119 222 261 221 301 57 160 4 51 178 100 117 322 79 267 247 235 88 331 137 245 248 264 185 61 306 113 75 231 300 189 97 157 177 345 280 43 259 93 134 276 244 340 316 148 53 107 232 164 224 166 287 334 64 23 302 123 109 229 121 183 343 44 22 191 333 66 13 128 242 122 120 240 32 170 39 132 138 71 87 252 52 187 9 275 2 239 111 36 72 3 161 76 200 112 59 28 258 196 63 305 135 46 337 146 180 223 127 341 27 266 103
t 288 51 37 79 345 142 113 81 266 22 10 94 259 205 83 305 263 196 294 89 334 177 76 316 243 306 29 264 283 8 75 178 117 295 229 333 304 252 144 226 90 326 261 257 190 223 59 30 11 49 21 66 135 253 189 291 132 184 309 256 181 187 84 287 123 3 64 191 311 281 341 169 63 44 133 300 183 119 339 276 207 12 217 331 185 162 240 244 267 328 343 111 65 248 335 9 1 134 118 161 121 43 285 17 160 2 342 39 124 54 52 292 102 32 239 337 4 27 97 296 108
a YES
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 287 294 300 301 302 305 306 309 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 287 294 300 301 302 305 306 309 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 287 294 300 301 302 305 306 309 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 237 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 206 217 221 222 223 224 227 229 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 153 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 206 217 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 153 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 206 217 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 153 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 206 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 153 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 206 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 142 146 153 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 328 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 177 178 180 183 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 328 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 166 170 177 178 180 181 183 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 185 187 189 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 185 187 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 343 345
a 2 3 4 9 13 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 185 187 191 196 200 206 208 221 222 223 224 227 231 232 235 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 13 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 13 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 13 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 13 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 258 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 345
a 2 3 4 9 12 13 22 25 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 65 66 71 72 73 75 76 79 87 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 345
a 2 3 4 9 12 13 22 25 27 28 32 36 39 43 44 46 51 52 57 59 61 63 64 65 66 71 72 73 75 76 79 87 93 94 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 312 316 320 322 330 331 333 334 337 340 341 342 345
a 2 3 4 9 12 13 22 25 27 28 32 36 39 43 44 46 51 52 57 59 61 63 64 65 66 71 72 73 75 76 79 87 93 94 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 61 63 64 65 66 71 72 73 75 76 79 84 87 93 94 97 100 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 61 63 64 65 66 71 72 73 75 76 79 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 247 248 252 253 261 264 266 267 275 276 287 294 300 301 305 306 309 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 61 63 64 65 66 71 72 73 75 76 79 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 330 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 61 63 64 65 66 71 72 73 75 76 79 81 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 237 239 240 241 242 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 227 231 232 239 240 241 242 243 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 157 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 226 227 232 239 240 241 242 243 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 22 25 27 28 29 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 87 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 226 227 232 239 240 241 242 243 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 127 128 132 134 137 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 226 227 232 239 240 241 242 243 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 221 222 223 224 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 137 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 222 223 224 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 57 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 222 223 224 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 120 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 222 223 224 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 292 294 300 301 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 222 223 224 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 292 294 300 301 304 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 222 223 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 292 294 300 301 304 305 306 309 316 320 322 326 331 333 334 335 337 340 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 180 181 183 184 185 187 191 196 200 206 208 222 223 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 331 333 334 335 337 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 227 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 54 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 232 239 240 242 243 244 245 248 252 253 261 264 266 267 275 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 54 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 109 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 232 239 240 242 243 244 245 248 252 253 261 264 266 267 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 54 59 63 64 65 66 71 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 232 239 240 242 243 244 245 248 252 253 261 264 266 267 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 54 59 63 64 65 66 72 73 75 76 79 81 84 93 94 97 100 102 103 107 108 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 232 239 240 242 243 244 245 248 252 253 256 261 264 266 267 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 36 39 43 44 46 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 93 94 97 100 102 107 108 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 232 239 240 242 243 244 245 248 252 253 256 261 264 266 267 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 93 94 97 100 102 107 108 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 200 206 208 222 223 226 232 239 240 242 243 244 245 248 252 253 256 257 261 264 266 267 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 93 94 97 100 102 107 108 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 200 206 208 223 226 232 239 240 242 243 244 245 248 252 253 256 257 261 264 266 267 276 285 287 288 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 93 94 97 100 102 108 111 112 113 117 118 119 121 122 123 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 200 206 208 223 226 232 239 240 242 243 244 245 248 252 253 256 257 261 264 266 267 276 285 287 288 291 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 93 94 97 100 102 108 111 112 113 117 118 119 121 122 123 124 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 191 196 206 208 223 226 232 239 240 242 243 244 245 248 252 253 256 257 261 264 266 267 276 285 287 288 291 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 208 223 226 232 239 240 242 243 244 245 248 252 253 256 257 261 264 266 267 276 285 287 288 291 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 208 223 226 232 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 285 287 288 291 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 232 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 283 285 287 288 291 292 294 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 153 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 304 305 306 309 316 320 322 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 304 305 306 309 316 320 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 21 22 25 27 28 29 32 39 43 44 46 49 51 52 54 59 63 64 65 66 72 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 21 22 25 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 146 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 17 21 22 25 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 17 21 22 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 73 75 76 79 81 83 84 89 93 94 97 100 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 205 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 17 21 22 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 73 75 76 79 81 83 84 89 93 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 170 177 178 181 183 184 185 187 190 191 196 205 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 341 342 343 345
a 1 2 3 4 9 11 12 17 21 22 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 73 75 76 79 81 83 84 89 93 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 177 178 181 183 184 185 187 190 191 196 205 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 11 12 17 21 22 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 93 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 177 178 181 183 184 185 187 189 190 191 196 205 206 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 11 12 17 21 22 27 28 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 177 178 181 183 184 185 187 189 190 191 196 205 206 207 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 39 43 44 46 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 166 169 177 178 181 183 184 185 187 189 190 191 196 205 206 207 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 46 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 206 207 223 226 229 239 240 243 244 245 248 252 253 256 257 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 46 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 311 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 113 117 118 119 121 123 124 127 128 132 133 134 135 138 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 311 316 320 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 113 117 118 119 121 123 124 127 128 132 133 134 135 138 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 113 117 118 119 121 123 124 127 128 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 94 97 102 108 111 113 117 118 119 121 123 124 128 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 245 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345
a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345
c Step: 74
#END: [Mon Sep  4 19:41:16 2023]