#BEGIN: [Thu Sep 7 17:09:53 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance036_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat s 52 105 193 419 1 156 46 210 273 386 129 428 137 461 329 119 152 269 57 24 155 247 365 92 11 109 450 304 133 281 320 444 468 396 467 161 313 446 366 355 279 5 40 154 291 108 438 398 456 88 447 254 435 265 423 411 244 431 27 436 35 449 410 311 195 373 86 325 331 14 346 233 28 388 452 76 416 341 441 266 306 297 263 208 460 364 96 229 250 199 63 415 287 16 343 43 36 197 251 282 153 188 377 223 352 274 248 68 130 451 56 162 135 17 399 15 397 73 296 395 19 74 295 334 106 186 459 242 212 59 45 173 102 131 371 93 310 132 286 4 167 218 277 158 349 6 294 83 71 20 379 194 t 39 344 5 221 446 213 324 97 419 402 457 58 220 260 218 461 85 185 122 329 141 456 70 396 281 366 468 84 332 162 347 240 297 38 199 303 18 295 268 44 352 190 160 265 248 330 87 83 96 271 86 410 29 300 451 418 272 48 61 359 9 334 169 136 153 274 310 282 60 37 11 243 361 257 390 40 79 81 389 134 258 301 54 201 119 371 168 392 12 132 452 154 50 346 455 144 35 244 379 427 380 276 279 298 166 148 156 241 222 400 364 435 447 321 386 353 20 63 30 15 43 180 433 143 80 114 217 356 465 71 453 336 308 229 224 340 394 313 139 325 62 388 207 397 277 237 395 113 95 104 226 256 a YES a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 4 5 6 11 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 6 11 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 6 11 15 16 17 19 20 27 28 35 36 40 43 45 46 52 56 57 59 61 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 6 11 15 16 17 19 20 28 35 36 40 43 45 46 52 56 57 59 61 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 11 15 16 17 19 20 28 35 36 40 43 45 46 52 56 57 59 61 63 68 71 73 74 76 83 85 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 11 15 16 17 19 20 28 35 36 40 43 45 52 56 57 59 61 63 68 71 73 74 76 83 85 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 11 15 16 17 19 20 28 35 36 40 43 45 56 57 59 61 63 68 71 73 74 76 83 85 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 11 15 16 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 73 74 76 83 85 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 11 15 16 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 16 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 105 106 108 109 119 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 105 106 109 119 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 135 136 137 139 144 152 153 154 155 156 158 161 162 167 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 137 139 144 152 153 154 155 156 158 161 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 152 153 154 155 156 158 161 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 19 20 28 35 36 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 155 156 158 161 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 20 28 35 36 38 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 155 156 158 161 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 20 28 35 36 38 40 43 45 56 57 61 63 68 71 74 76 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 156 158 161 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 17 20 28 35 36 38 40 43 45 56 57 61 63 68 71 74 76 81 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 156 158 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 28 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 81 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 156 158 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 229 233 237 242 244 247 248 250 251 254 263 265 266 269 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 81 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 156 158 162 167 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 81 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 156 158 162 168 173 186 188 190 193 194 195 197 199 207 208 210 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 81 83 85 86 92 93 96 104 105 106 109 119 129 131 132 136 139 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 208 210 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 80 81 83 85 86 92 93 96 104 105 106 109 119 131 132 136 139 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 208 210 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 208 210 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 210 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 212 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 36 38 40 43 45 56 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 38 40 43 45 56 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 223 224 229 233 237 242 244 247 248 250 251 254 258 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 20 30 35 38 40 43 45 56 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 233 237 242 244 247 248 250 251 254 258 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 18 20 30 35 38 40 43 56 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 233 237 242 244 247 248 250 251 254 258 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 105 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 233 237 242 244 247 248 250 251 254 258 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 106 109 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 233 237 242 244 247 248 250 251 254 258 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 106 119 131 132 136 139 143 144 153 154 156 158 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 233 237 242 244 247 248 250 251 254 258 260 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 106 119 131 132 136 139 143 144 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 242 244 247 248 250 251 254 258 260 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 92 96 104 106 119 131 132 136 139 143 144 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 242 244 248 250 251 254 258 260 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 240 242 244 248 250 251 254 258 260 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 240 242 244 248 251 254 258 260 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 240 242 244 248 251 258 260 263 265 266 269 271 272 273 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 240 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 286 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 57 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 304 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 44 57 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 173 186 190 193 194 195 197 199 207 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 44 57 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 173 186 190 193 194 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 306 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 30 35 38 40 43 44 57 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 194 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 308 310 311 313 320 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 57 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 194 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 308 310 311 313 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 194 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 308 310 311 313 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 294 295 296 297 298 300 303 308 310 311 313 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 122 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 311 313 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 122 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 331 334 336 340 341 343 346 347 349 352 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 122 131 132 136 139 143 144 148 153 154 156 158 160 162 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 331 334 336 340 341 346 347 349 352 353 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 122 131 132 136 139 143 144 148 153 154 156 160 162 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 331 334 336 340 341 346 347 349 352 353 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 68 71 74 76 80 81 83 85 86 96 104 106 119 122 131 132 136 139 143 144 148 153 154 156 160 162 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 346 347 352 353 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 119 122 131 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 346 347 352 353 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 257 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 346 347 352 353 355 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 113 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 242 244 248 251 257 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 346 347 352 353 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 113 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 244 248 251 257 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 365 366 371 373 377 379 386 388 389 390 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 113 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 244 248 251 257 258 260 263 265 266 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 398 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 113 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 207 213 217 218 222 224 229 237 240 241 244 248 251 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 411 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 74 76 80 81 83 85 86 96 104 106 113 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 222 224 229 237 240 241 244 248 251 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 76 80 81 83 85 86 96 104 106 113 114 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 222 224 229 237 240 241 244 248 251 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 416 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 76 80 81 83 85 86 96 104 106 113 114 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 222 224 229 237 240 241 244 248 251 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 85 86 96 104 106 113 114 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 222 224 229 237 240 241 244 248 251 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 428 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 85 86 96 104 106 113 114 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 222 224 229 237 240 241 244 248 251 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 431 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 222 224 229 237 240 241 244 248 251 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 438 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 136 139 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 251 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 193 197 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 197 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 276 277 279 281 282 287 291 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 331 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 38 40 43 44 48 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 436 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 37 38 40 43 44 48 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 441 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 80 81 83 84 85 86 96 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 80 81 83 84 85 86 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 263 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 444 446 447 449 450 451 452 453 456 459 460 461 465 467 468 a 5 9 11 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 80 81 83 84 85 86 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 444 446 447 449 450 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 80 81 83 84 85 86 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 265 266 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 446 447 449 450 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 265 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 446 447 449 450 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 265 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 446 447 450 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 265 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 377 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 180 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 244 248 256 257 258 260 265 268 269 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 180 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 180 186 190 199 201 207 213 217 218 220 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 423 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 180 186 190 199 201 207 213 217 218 220 221 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 186 190 199 201 207 213 217 218 220 221 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 186 190 199 201 207 213 217 218 220 221 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 435 446 447 451 452 453 456 457 459 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 186 190 199 201 207 213 217 218 220 221 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 435 446 447 451 452 453 456 457 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 433 435 446 447 451 452 453 456 457 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 456 457 460 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 287 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 296 297 298 300 301 303 308 310 313 321 324 325 329 330 334 336 340 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 344 346 347 352 353 356 359 361 364 366 371 373 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 344 346 347 352 353 356 359 361 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 467 468 a 5 9 11 12 15 18 20 29 30 35 37 38 39 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 344 346 347 352 353 356 359 361 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat" User time (seconds): 0.24 System time (seconds): 0.02 Percent of CPU this job got: 98% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.27 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): 20852 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13160 Voluntary context switches: 26 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 512 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 17:09:54 2023]