Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
2 677 164 21 130 1 522 203 231 473 257 365 170 574 419 564 416 37 363 493 80 382 550 249 24 650 514 606 396 194 388 271 192 288 47 571 590 234 306 195 290 289 228 654 415 279 364 572 499 305 505 60 385 636 558 361 372 584 79 526 310 485 185 637 545 98 128 518 657 440 311 309 662 327 555 160 278 145 620 159 596 646 376 407 663 644 494 652 371 274 617 457 285 112 252 121 677 476 441 61 423 315 267 54 139 26 175 425 87 163 162 479 541 308 369 633 43 510 525 672 129 110 100 521 648 75 176 277 575 503 674 16 126 380 52 552 469 482 280 210 156 358 599 471 318 109 658 374 15 319 91 225 488 359 20 647 418 334 655 30 46 414 335 31 472 29 628 189 484 168 439 25 642 670 581 353 543 149 497 665 138 141 148 446 158 405 275 346 413 239 116 379 491 448 490 207 83 551 188 9 27 244 340 8 106 89 339 349 71 90 656 356 466 570 610 557 19 342 645 137 375 124 615 263 281 205 424 398 283 286 348 133 520 4 618 500 73 155 666 179 313 174 196 345 41 131 486 393 625 154 264 394 117 455 607 224 70 406 65 528 14 507 57 426 299 651 127 420 235 105 594 298 316 220 563 516 341 111 272 544 197 270 568 582 140 611 370 354 53 213 157 266 320 352 431 460 548 208 387 136 556 338 675 92 300 445 461 408 496 291 350 243 261 612 569 589 397 383 495 583 428 103 135 513 567 668 622 250 18 78 123 177 517 604 211 524 449 84 143 17 605 474 614 436 55 119 45 411 489 508 59 36 64 58 307 529 562 171 465 422 531 219 40 13 229 50 107 603 561 390 35 669 608 199 314 506 265 643 586 28 146 597 609 430 598 193 378 215 401 450 404 330 515 326 626 579 6 245 641 276 69 591 269 573 255 172 433 303 214 381 190 325 113 377 547 68 200 421 565 88 660 212 527 630 295 5 273 94 459 566 559 132 619 616 475 470 302 114 355 576 147 464 649 502 392 427 259 292 480 323 595 256 216 62 81 434 403 412 248 410 102 347 294 463 49 443 253 368 223 165 51 432 664 634 468 481 509 537 293 534 251 241 447 453 409 351 638 77 362 483 268 206 467 554 328 42 498 150 331 22 501 444 587 82 201 122 456 93 108 232 72 258 429 296 166 10 48 96 373 254 542 384 38 227 511 3 287 12 580 477 399 242 312 23 329 144 204 67 391 454 221 667 530 593 478 284 437 632 536 95 676 357 101 161 452 629 343 297 360 623 301 417 32 395 487 7 671 532 523 451 577 134 56 153 125 209 218 304 324 186 167 11 76 588 336 282 187 180 198 539 435 366 458 66 578 44 178 322 63 142 337 635 538 120 247 601 151 627 184 639 104 152 661 560 585 222 260 99 202 217 85 492 602 246 553 333 462 33 592 344 233 512 97 402 236 238 549 659 182 181 332 169 317 240 118 74 600 673 262 191 39 438 540 546 400 533 613 386 621 640 442 321 653 183 519 237 226 173 367 230 631 624 504 34 535 389 115 86 2 559 363 238 199 558 170 265 494 173 536 88 310 17 7 517 155 162 520 492 370 37 532 302 515 284 250 183 326 159 418 297 486 66 132 222 212 435 350 285 294 43 46 211 283 500 375 188 91 26 557 327 556 307 125 348 195 361 552 197 103 116 223 264 102 230 428 555 496 13 298 48 451 143 205 534 19 67 15 254 118 148 175 393 415 241 549 50 408 425 299 204 59 30 259 461 18 234 196 213 99 202 36 75 83 345 189 437 282 98 77 513 319 226 438 20 359 271 94 303 483 391 397 164 367 480 429 406 140 233 531 278 358 484 325 269 316 504 481 543 49 395 542 380 341 3 366 468 522 29 119 255 54 180 290 266 457 374 503 387 450 287 455 179 38 422 328 378 471 242 126 218 53 177 84 184 306 174 545 31 384 420 372 247 39 158 21 80 139 281 424 340 396 166 402 412 1 89 153 157 329 236 96 51 526 320 10 528 448 270 104 194 339 511 237 134 347 317 309 467 45 506 313 368 447 207 334 279 544 182 466 530 509 131 436 216 225 6 527 130 304 100 452 176 262 85 138 362 151 243 479 554 145 64 478 459 440 308 47 288 342 413 295 214 426 244 76 337 324 485 409 57 376 40 277 493 273 490 296 489 135 220 382 258 16 52 541 475 62 300 261 65 512 344 120 82 70 385 394 81 123 248 392 423 499 35 365 23 464 407 198 8 114 444 508 280 352 431 71 32 469 548 516 113 115 171 106 63 551 427 403 523 192 74 388 133 240 505 256 191 263 419 55 227 398 383 5 121 495 69 260 229 86 108 323 559 9 318 473 389 356 453 245 42 200 535 4 95 497 501 144 127 411 219 349 443 161 538 274 34 275 463 533 60 482 336 56 360 12 346 156 289 470 169 228 206 454 92 458 190 465 445 510 410 78 253 539 187 400 172 110 142 498 537 525 311 167 401 209 414 446 371 152 476 456 231 529 553 257 27 369 519 379 332 72 267 185 201 381 312 160 25 249 491 146 168 550 305 417 224 292 101 210 433 14 33 178 22 540 354 58 430 44 330 546 514 154 73 432 107 547 286 488 150 124 90 460 117 462 111 276 268 193 112 364 136 322 291 221 208 434 321 442 217 149 377 521 293 333 109 251 2 272 105 373 215 518 386 239 449 61 355 11 338 502 68 404 147 351 186 343 137 487 474 181 235 28 441 335 232 203 97 439 87 314 246 390 79 472 399 524 301 24 165 507 331 128 141 252 122 41 163 93 416 405 421 477 353 357 129 315
2136834253 1032679404
121 175 8 9