#BEGIN: [Mon Sep 4 13:37:05 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance027_graph004.col /benchmark/random_instance/random_instance027_graph004_01.dat c /benchmark/random_instance/random_instance027_graph004.col c /benchmark/random_instance/random_instance027_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 101 112 61 312 66 100 21 18 187 179 131 196 43 261 275 336 78 144 283 281 50 265 15 317 233 228 253 240 167 284 209 293 60 235 290 95 165 294 86 349 156 213 345 323 313 254 325 23 124 90 185 347 249 5 343 172 47 96 238 4 201 20 218 136 44 285 330 81 315 22 89 52 319 73 331 328 134 126 163 88 153 64 16 62 203 35 214 168 58 264 36 70 327 340 159 106 271 137 57 190 176 31 71 99 289 204 295 173 93 350 32 t 193 254 160 233 76 214 310 285 251 223 68 258 194 277 102 284 230 69 211 157 229 267 213 198 244 225 170 316 182 41 177 298 63 88 255 210 93 197 4 350 61 301 106 212 239 173 232 167 77 253 215 216 304 344 100 32 125 249 176 119 168 322 123 42 209 112 335 148 242 171 127 6 37 204 163 307 219 319 172 145 303 90 236 287 247 20 154 59 266 99 34 165 351 85 31 202 185 62 296 23 270 57 161 250 142 92 98 261 256 200 231 a YES a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 201 203 204 209 213 214 218 228 233 235 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 201 203 204 209 213 214 218 219 228 233 235 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 201 203 204 209 213 214 218 219 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 285 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 195 196 201 203 204 209 213 214 218 219 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 134 136 137 144 153 156 159 162 163 165 167 168 172 173 176 179 185 187 190 195 196 201 203 204 209 213 214 218 219 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 176 179 185 187 190 195 196 201 203 204 209 213 214 218 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 176 179 182 185 187 190 195 196 201 203 204 209 213 214 218 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 330 331 336 340 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 176 179 182 185 187 190 195 196 199 201 203 204 209 213 214 218 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 330 331 336 340 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 176 179 182 187 190 195 196 199 201 203 204 209 213 214 218 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 330 331 336 340 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 134 136 137 144 153 156 159 162 163 165 167 168 172 173 176 179 182 187 190 195 196 199 201 203 204 209 213 214 218 219 228 233 235 238 240 249 253 254 261 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 330 331 336 340 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 187 190 195 196 199 201 203 204 209 213 214 218 219 228 233 235 238 240 249 253 254 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 330 331 336 340 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 187 190 195 196 199 201 203 204 209 211 213 214 218 219 228 233 235 238 240 249 253 254 264 265 271 275 278 281 283 289 290 293 294 295 312 313 315 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 187 190 195 196 199 201 203 204 209 211 213 214 218 219 228 233 235 238 240 249 253 254 264 265 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 187 190 195 196 199 201 203 204 209 211 213 214 218 228 233 235 238 240 249 253 254 264 265 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 88 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 187 190 196 199 201 203 204 209 211 213 214 218 228 233 235 238 240 249 253 254 264 265 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 187 190 196 199 201 203 204 209 211 213 214 218 228 233 235 238 240 249 253 254 264 265 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 187 190 196 199 201 203 204 209 211 213 214 218 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 89 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 187 190 196 199 201 203 204 208 209 211 213 218 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 89 90 93 95 96 100 101 106 112 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 187 190 196 199 201 203 204 208 209 211 213 218 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 72 73 78 81 86 89 90 93 95 96 100 101 106 112 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 190 196 199 201 203 204 208 209 211 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 67 70 71 72 73 78 81 86 90 93 95 96 100 101 106 112 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 190 196 199 201 203 204 208 209 211 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 112 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 211 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 319 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 112 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 211 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 112 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 112 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 262 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 121 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 262 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 90 93 95 96 100 101 106 121 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 262 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 144 153 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 262 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 144 153 156 159 162 163 165 167 168 172 173 175 176 179 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 138 144 153 156 159 162 163 165 167 168 172 173 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 138 144 153 156 159 162 163 165 167 168 172 173 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 138 144 153 156 159 162 163 165 167 168 172 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 124 126 131 134 136 137 138 144 153 156 159 162 163 165 167 168 172 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 136 137 138 144 153 156 159 162 163 165 167 168 172 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 262 264 265 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 264 265 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 195 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 349 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 349 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 293 294 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 287 289 290 293 294 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 196 199 201 203 204 208 209 213 218 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 287 289 290 293 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 23 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 71 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 327 330 331 336 343 345 347 350 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 327 330 331 336 343 345 347 350 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 240 249 253 254 264 265 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 350 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 345 347 349 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 347 349 351 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 156 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 347 350 351 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 126 131 134 137 138 144 153 155 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 330 331 336 343 347 350 351 a 4 5 6 16 18 20 21 22 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 331 336 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 162 163 165 167 168 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 211 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 290 294 295 312 313 315 317 318 319 322 325 327 331 336 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 162 163 165 167 168 171 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 211 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 312 313 315 317 318 319 322 325 327 331 336 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 81 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 162 163 165 167 168 171 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 211 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 312 313 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 162 163 165 167 168 171 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 211 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 312 313 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 162 163 165 167 168 171 172 173 175 176 182 183 185 190 196 199 201 203 204 208 209 211 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 196 197 199 201 203 204 208 209 211 213 218 223 224 228 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 199 201 203 204 208 209 211 213 218 223 224 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 199 201 203 204 208 209 211 213 218 223 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 208 209 211 213 218 223 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 50 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 233 235 238 249 253 254 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 43 44 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 233 235 238 249 253 254 255 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 5 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 233 235 238 249 253 254 255 258 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 233 235 238 247 249 253 254 255 258 264 265 266 269 270 271 275 278 281 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 78 86 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 233 235 238 247 249 253 254 255 258 264 265 266 269 270 271 275 278 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 78 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 231 233 235 238 247 249 253 254 255 258 264 265 266 269 270 271 275 278 283 285 287 289 294 295 296 304 307 312 315 317 318 319 322 325 327 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 78 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 196 197 201 203 204 209 211 213 214 218 223 231 233 235 238 247 249 253 254 255 258 261 264 265 266 269 270 271 275 278 283 285 287 289 294 295 296 304 307 312 317 318 319 322 325 327 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 78 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 264 265 266 269 270 271 275 278 283 285 287 289 294 295 296 304 307 312 317 318 319 322 325 327 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 264 265 266 269 270 271 275 278 283 285 287 289 294 295 296 304 307 312 317 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 264 265 266 269 270 271 275 283 284 285 287 289 294 295 296 304 307 312 317 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 101 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 264 265 266 269 270 271 275 283 284 285 287 289 295 296 304 307 312 316 317 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 35 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 101 102 106 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 264 265 266 269 270 271 275 283 284 285 287 289 295 296 304 307 312 316 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 101 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 264 265 266 269 270 271 275 283 284 285 287 289 295 296 304 307 312 316 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 101 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 265 266 269 270 271 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 64 66 67 70 73 76 78 88 90 92 93 95 96 100 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 265 266 269 270 271 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 64 67 70 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 233 235 238 244 247 249 253 254 255 258 261 265 266 269 270 271 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 64 67 70 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 232 233 235 238 244 247 249 253 254 255 258 261 265 266 269 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 64 67 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 232 233 235 238 244 247 249 253 254 255 258 261 265 266 269 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 335 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 126 127 131 134 137 138 144 153 155 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 232 233 235 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 335 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 127 131 134 137 138 144 153 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 201 203 204 209 211 213 214 218 223 231 232 233 235 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 331 335 343 347 350 351 a 4 6 16 18 20 21 24 31 32 34 36 42 44 52 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 127 131 134 137 138 144 153 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 200 201 203 204 209 211 213 214 218 223 231 232 233 235 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 36 42 44 52 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 127 131 134 137 138 144 153 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 36 42 44 52 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 100 102 106 119 121 123 127 131 134 137 138 142 144 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 36 42 44 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 127 131 134 137 138 142 144 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 36 42 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 127 131 134 137 138 142 144 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 42 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 127 131 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 265 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 37 42 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 127 131 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 24 31 32 34 37 42 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 213 214 218 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 31 32 34 37 42 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 213 214 218 219 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 303 304 307 312 316 318 319 322 325 335 343 347 350 351 a 4 6 16 20 21 31 32 34 37 42 57 58 61 62 63 64 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 213 214 218 219 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 312 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 31 32 34 37 42 57 58 61 62 63 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 183 185 190 193 197 198 200 201 203 204 209 211 212 213 214 218 219 223 231 232 233 235 236 238 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 312 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 31 32 34 37 42 57 58 61 62 63 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 185 190 193 197 198 200 201 203 204 209 211 212 213 214 218 219 223 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 312 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 31 32 34 37 41 42 57 58 61 62 63 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 138 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 185 190 193 197 198 200 201 203 204 209 211 212 213 214 218 219 223 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 31 32 34 37 41 42 57 58 61 62 63 67 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 185 190 193 197 198 200 201 203 204 209 211 212 213 214 216 218 219 223 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 73 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 185 190 193 197 198 200 201 203 204 209 211 212 213 214 216 218 219 223 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 185 190 193 197 198 200 201 203 204 209 211 212 213 214 216 218 219 223 230 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 163 165 167 168 171 172 173 175 176 177 182 185 190 193 197 198 200 201 203 204 209 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 76 77 78 88 90 92 93 95 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 76 77 78 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 137 142 144 148 155 157 159 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 16 20 21 23 31 32 34 37 41 42 57 58 61 62 63 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 148 155 157 159 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 20 21 23 31 32 34 37 41 42 57 58 59 61 62 63 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 148 155 157 159 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 148 154 155 157 159 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 295 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 148 154 155 157 159 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 296 298 301 303 304 307 316 318 319 322 325 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 148 154 155 157 159 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 229 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 296 298 301 303 304 307 316 319 322 325 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 148 154 155 157 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 229 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 296 298 301 303 304 307 310 316 319 322 325 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 134 142 144 145 148 154 155 157 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 229 230 231 232 233 235 236 238 239 242 244 247 249 253 254 255 258 261 266 270 275 283 284 285 287 289 296 298 301 303 304 307 310 316 319 322 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 144 145 148 154 155 157 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 229 230 231 232 233 235 236 238 239 242 244 247 249 250 253 254 255 258 261 266 270 275 283 284 285 287 289 296 298 301 303 304 307 310 316 319 322 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 144 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 201 204 209 210 211 212 213 214 216 219 223 229 230 231 232 233 235 236 238 239 242 244 247 249 250 253 254 255 258 261 266 270 275 283 284 285 287 296 298 301 303 304 307 310 316 319 322 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 144 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 204 209 210 211 212 213 214 216 219 223 225 229 230 231 232 233 235 236 238 239 242 244 247 249 250 253 254 255 258 261 266 270 275 283 284 285 287 296 298 301 303 304 307 310 316 319 322 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 144 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 204 209 210 211 212 213 214 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 253 254 255 256 258 261 266 270 275 283 284 285 287 296 298 301 303 304 307 310 316 319 322 335 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 204 209 210 211 212 213 214 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 253 254 255 256 258 261 266 270 275 283 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 202 204 209 210 211 212 213 214 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 253 254 255 256 258 261 266 270 275 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 347 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 121 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 202 204 209 210 211 212 213 214 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 253 254 255 256 258 261 266 267 270 275 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 175 176 177 182 185 190 193 197 198 200 202 204 209 210 211 212 213 214 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 275 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 190 193 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 275 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 76 77 88 90 92 93 96 98 100 102 106 119 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 275 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 69 76 77 88 90 92 93 96 98 100 102 106 119 123 125 127 142 145 148 154 155 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 69 76 77 88 90 92 93 96 98 100 102 106 112 119 123 125 127 142 145 148 154 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 58 59 61 62 63 68 69 76 77 88 90 92 93 96 98 99 100 102 106 112 119 123 125 127 142 145 148 154 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 59 61 62 63 68 69 76 77 88 90 92 93 96 98 99 100 102 106 112 119 123 125 127 142 145 148 154 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 125 127 142 145 148 154 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance027_graph004.col /benchmark/random_instance/random_instance027_graph004_01.dat" User time (seconds): 355.81 System time (seconds): 7.67 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.51 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 27149808 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9538542 Voluntary context switches: 25 Involuntary context switches: 2268 Swaps: 0 File system inputs: 0 File system outputs: 720 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:43:09 2023]