#BEGIN: [Mon Sep 4 12:26:52 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance034_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat c /benchmark/random_instance/random_instance034_graph005.col c /benchmark/random_instance/random_instance034_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 205 380 125 311 262 344 57 196 435 189 27 148 128 176 355 350 243 81 70 52 5 398 234 298 285 438 117 407 110 324 364 54 140 38 188 168 157 252 23 280 156 230 216 178 246 348 417 158 131 175 263 277 112 372 124 265 410 428 169 84 1 391 107 136 422 419 55 49 85 397 194 121 289 442 337 223 281 305 295 343 58 231 431 412 270 88 10 327 284 69 347 365 64 145 210 282 307 56 273 106 411 149 9 13 44 12 177 332 294 197 226 385 424 274 90 111 258 290 83 366 401 416 45 299 229 61 318 182 41 360 255 432 433 222 24 384 99 199 333 t 370 312 125 100 196 181 102 116 205 441 200 364 438 219 282 390 296 174 394 431 92 278 273 161 241 382 114 120 134 227 419 242 46 350 215 149 5 42 101 12 246 335 83 121 399 184 396 342 119 151 314 344 69 435 53 79 287 170 346 84 164 403 203 57 25 129 171 56 328 95 230 226 356 52 135 238 347 55 140 374 103 58 323 173 322 285 371 262 77 411 313 16 111 17 14 113 360 359 65 288 109 225 87 223 363 309 338 106 366 148 231 429 35 54 299 71 275 432 177 252 27 144 197 305 301 180 179 168 99 315 72 283 433 290 228 292 327 284 160 a YES a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 358 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 358 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 35 38 41 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 276 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 276 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 217 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 217 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 117 121 122 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 217 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 117 121 122 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 182 188 189 194 196 197 199 205 210 216 217 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 327 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 323 324 327 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 222 223 226 227 229 230 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 317 318 323 324 327 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 218 222 223 227 229 230 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 317 318 323 324 327 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 218 222 223 227 229 230 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 317 318 324 327 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 218 222 223 227 229 230 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 317 318 324 327 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 218 222 223 227 229 230 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 317 318 324 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 182 188 189 194 196 197 199 205 210 216 217 218 222 223 227 229 230 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 317 318 324 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 178 182 188 189 194 196 197 199 205 210 216 217 218 222 223 229 230 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 317 318 324 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 178 182 188 189 194 196 197 199 205 210 211 216 217 218 222 223 230 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 317 318 324 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 178 182 188 189 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 318 324 328 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 1 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 178 182 188 189 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 318 328 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 1 5 9 10 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 168 169 175 177 178 182 188 189 190 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 318 328 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 169 175 177 178 182 188 189 190 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 311 318 328 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 169 175 177 178 182 188 189 190 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 328 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 188 189 190 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 328 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 328 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 332 333 337 343 344 346 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 324 332 333 337 343 344 347 348 350 355 360 364 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 324 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 121 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 300 305 307 318 319 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 332 333 337 343 344 347 348 350 355 360 365 366 372 380 384 391 397 398 401 407 410 411 412 416 419 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 332 333 337 343 344 347 350 355 360 365 366 372 380 384 391 397 398 401 407 410 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 332 333 337 342 343 344 347 350 355 360 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 332 333 337 342 343 344 347 350 355 360 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 332 333 342 343 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 332 333 342 343 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 181 182 183 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 333 342 343 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 145 148 149 156 157 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 333 342 343 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 144 145 148 149 156 157 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 333 342 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 442 a 5 9 10 12 13 23 24 27 38 39 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 99 106 107 110 111 112 116 117 122 124 125 128 131 136 140 144 145 148 149 156 157 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 333 342 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 136 140 144 145 148 149 156 157 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 318 319 324 333 342 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 136 140 144 145 148 149 156 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 318 319 324 333 342 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 136 140 144 145 148 149 156 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 318 324 333 342 344 347 350 355 360 364 365 366 372 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 318 324 333 342 344 347 350 355 360 364 365 366 380 384 391 397 398 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 312 318 324 333 342 344 347 350 355 360 364 365 366 380 384 391 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 312 318 323 324 333 342 344 347 350 355 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 312 318 323 333 342 344 346 347 350 355 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 281 282 284 285 289 290 294 295 296 298 299 305 307 312 318 323 333 342 344 346 347 350 355 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 270 273 274 277 281 282 284 285 290 294 295 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 210 211 216 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 273 274 277 281 282 284 285 290 294 295 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 210 211 217 218 222 223 228 230 231 234 243 246 248 252 255 258 262 263 265 269 273 274 277 281 282 284 285 290 294 295 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 210 211 217 218 222 223 228 230 231 234 243 246 248 252 258 262 263 265 269 273 274 277 281 282 284 285 290 294 295 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 210 211 217 218 222 223 228 230 231 234 243 246 248 252 258 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 156 158 160 161 168 175 177 178 179 181 182 188 189 193 194 196 197 199 205 211 217 218 222 223 228 230 231 234 243 246 248 252 258 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 168 175 177 178 179 181 182 189 193 194 196 197 199 205 211 217 218 222 223 228 230 231 234 243 246 248 252 258 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 168 175 177 178 179 181 182 189 193 194 196 197 199 205 211 217 218 223 228 230 231 234 241 243 246 248 252 258 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 39 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 168 175 177 178 179 181 182 189 193 194 196 197 199 205 211 217 218 223 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 168 175 177 178 179 181 182 189 193 194 196 197 199 205 211 217 218 223 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 168 175 177 179 181 182 189 193 194 196 197 199 205 211 217 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 365 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 168 175 177 179 181 182 189 193 194 196 197 199 205 211 217 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 85 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 90 92 95 99 106 107 110 111 112 116 117 121 122 124 125 128 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 13 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 90 92 95 99 106 107 109 110 111 112 116 117 121 122 124 125 128 134 136 140 144 145 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 333 342 344 346 347 350 355 356 360 364 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 90 92 95 99 106 107 109 110 111 112 116 117 121 122 124 125 128 134 136 140 144 145 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 333 338 342 344 346 347 350 355 356 360 364 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 434 435 438 a 5 9 10 12 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 90 92 95 99 106 107 109 110 111 112 116 117 121 122 124 125 128 134 136 140 144 145 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 394 397 401 407 411 412 416 419 420 422 424 428 429 431 432 433 435 438 a 5 9 10 12 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 82 83 84 90 92 95 99 106 107 109 110 111 112 116 117 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 394 397 399 401 407 411 412 416 419 420 422 424 428 429 431 432 433 435 438 a 5 9 10 12 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 106 107 109 110 111 112 116 117 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 193 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 424 428 429 431 432 433 435 438 a 5 9 10 12 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 424 428 429 431 432 433 435 438 a 5 9 10 12 23 24 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 424 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 194 196 197 199 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 263 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 424 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 194 196 197 199 200 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 265 269 273 274 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 424 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 175 177 179 181 182 189 194 196 197 199 200 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 90 92 95 99 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 173 175 177 179 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 173 175 177 179 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 294 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 234 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 136 140 144 148 149 151 156 158 160 161 164 168 170 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 382 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 106 107 109 110 111 112 116 117 119 121 122 124 125 128 134 140 144 148 149 151 156 158 160 161 164 168 170 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 382 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 158 160 161 164 168 170 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 382 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 380 382 384 390 394 397 399 401 407 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 274 275 277 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 338 342 344 346 347 350 355 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 284 285 290 292 296 298 299 301 305 307 312 315 318 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 38 41 44 45 52 54 55 56 57 58 64 69 70 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 284 285 288 290 292 296 298 299 301 305 307 312 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 35 38 41 44 45 52 54 55 56 57 58 64 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 284 285 288 290 292 296 298 299 301 305 307 312 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 35 41 44 45 52 54 55 56 57 58 64 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 284 285 288 290 292 296 298 299 301 305 307 312 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 35 41 44 45 52 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 284 285 288 290 292 296 298 299 301 305 307 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 35 41 44 45 52 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 218 223 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 23 25 27 35 41 44 45 52 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 a 5 9 10 12 16 25 27 35 41 44 45 52 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 401 411 412 416 419 420 422 429 431 432 433 435 438 441 a 5 9 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 397 399 411 412 416 419 420 422 429 431 432 433 435 438 441 a 5 9 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 396 397 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 9 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 242 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 364 366 374 380 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 81 83 84 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 242 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 380 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 83 84 87 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 242 243 246 248 252 262 265 269 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 380 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 83 84 87 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 226 227 228 230 231 241 242 243 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 380 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 83 84 87 90 92 95 99 100 102 103 106 107 109 110 111 112 113 116 119 121 122 124 125 128 134 140 144 148 149 151 156 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 380 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 83 84 87 90 92 95 99 100 102 103 106 107 109 110 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 380 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 25 27 35 41 44 45 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 102 103 106 107 109 110 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 382 384 390 394 396 399 411 416 419 420 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 102 103 106 107 109 110 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 382 384 390 394 396 399 411 416 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 102 103 106 107 109 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 374 382 384 390 394 396 399 411 416 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 102 103 106 107 109 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 265 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 102 103 106 107 109 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 333 335 338 342 344 346 347 350 356 360 363 364 366 370 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 102 103 106 107 109 111 112 113 114 116 119 121 122 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 101 102 103 106 107 109 111 112 113 114 116 119 121 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 281 282 283 284 285 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 101 102 103 106 107 109 111 112 113 114 116 119 121 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 282 283 284 285 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 44 45 46 52 53 54 55 56 57 58 69 72 83 84 87 90 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 282 283 284 285 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 41 45 46 52 53 54 55 56 57 58 65 69 72 83 84 87 90 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 282 283 284 285 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 83 84 87 90 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 282 283 284 285 287 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 248 252 262 273 275 277 278 282 283 284 285 287 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 184 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 277 278 282 283 284 285 287 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 184 194 196 197 199 200 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 298 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 184 194 196 197 199 200 203 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 184 194 196 197 199 200 203 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 182 184 194 196 197 200 203 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 45 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 124 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 10 12 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 211 223 225 226 227 228 230 231 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 12 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 211 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 422 429 431 432 433 435 438 441 a 5 12 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 125 128 129 134 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 211 215 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 125 128 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 215 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 194 196 197 200 203 205 215 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 182 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat" User time (seconds): 558.95 System time (seconds): 6.18 Percent of CPU this job got: 153% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:09.16 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): 13169148 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4543354 Voluntary context switches: 310314 Involuntary context switches: 1412 Swaps: 0 File system inputs: 0 File system outputs: 912 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:33:02 2023]