formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.spin.input.trail

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4840
   4 2:3:4760
   5 3:3:4763
   6 4:3:4763
   7 5:3:4766
   8 6:3:4774
   9 7:3:4774
  10 8:3:4777
  11 9:3:4783
  12 10:3:4787
  13 11:3:4787
  14 12:3:4790
  15 13:3:4800
  16 14:3:4808
  17 15:3:4808
  18 16:3:4811
  19 17:3:4817
  20 18:3:4821
  21 19:3:4821
  22 20:3:4824
  23 21:3:4830
  24 22:3:4834
  25 23:3:4835
  26 24:0:4840
  27 25:3:4837
  28 26:0:4840
  29 27:2:2871
  30 28:0:4840
  31 29:2:2877
  32 30:0:4840
  33 31:2:2878
  34 32:0:4840
  35 33:2:2880
  36 34:0:4840
  37 35:2:2881
  38 36:0:4840
  39 37:2:2882
  40 38:2:2883
  41 39:2:2887
  42 40:2:2888
  43 41:2:2896
  44 42:2:2897
  45 43:2:2901
  46 44:2:2902
  47 45:2:2910
  48 46:2:2915
  49 47:2:2919
  50 48:2:2920
  51 49:2:2928
  52 50:2:2929
  53 51:2:2933
  54 52:2:2934
  55 53:2:2928
  56 54:2:2929
  57 55:2:2933
  58 56:2:2934
  59 57:2:2942
  60 58:2:2947
  61 59:2:2948
  62 60:2:2959
  63 61:2:2960
  64 62:2:2961
  65 63:2:2972
  66 64:2:2977
  67 65:2:2978
  68 66:2:2989
  69 67:2:2990
  70 68:2:2991
  71 69:2:2989
  72 70:2:2990
  73 71:2:2991
  74 72:2:3002
  75 73:2:3010
  76 74:0:4840
  77 75:2:2881
  78 76:0:4840
  79 77:2:3014
  80 78:2:3018
  81 79:2:3019
  82 80:2:3023
  83 81:2:3027
  84 82:2:3028
  85 83:2:3032
  86 84:2:3040
  87 85:2:3041
  88 86:2:3045
  89 87:2:3049
  90 88:2:3050
  91 89:2:3045
  92 90:2:3046
  93 91:2:3054
  94 92:0:4840
  95 93:2:2881
  96 94:0:4840
  97 95:2:3062
  98 96:2:3063
  99 97:2:3064
 100 98:0:4840
 101 99:2:2881
 102 100:0:4840
 103 101:2:3069
 104 102:0:4840
 105 103:2:3969
 106 104:2:3970
 107 105:2:3974
 108 106:2:3978
 109 107:2:3979
 110 108:2:3983
 111 109:2:3988
 112 110:2:3996
 113 111:2:4000
 114 112:2:4001
 115 113:2:3996
 116 114:2:4000
 117 115:2:4001
 118 116:2:4005
 119 117:2:4012
 120 118:2:4019
 121 119:2:4020
 122 120:2:4027
 123 121:2:4032
 124 122:2:4039
 125 123:2:4040
 126 124:2:4039
 127 125:2:4040
 128 126:2:4047
 129 127:2:4051
 130 128:0:4840
 131 129:2:4056
 132 130:0:4840
 133 131:2:4057
 134 132:0:4840
 135 133:2:4058
 136 134:0:4840
 137 135:2:4059
 138 136:0:4840
 139 137:1:2
 140 138:0:4840
 141 139:1:8
 142 140:0:4840
 143 141:2:4060
 144 142:0:4840
 145 143:1:9
 146 144:0:4840
 147 145:2:4059
 148 146:0:4840
 149 147:1:10
 150 148:0:4840
 151 149:2:4060
 152 150:0:4838
 153 151:1:11
 154 152:0:4844
 155 153:1:12
 156 154:0:4844
 157 155:1:13
 158 156:0:4844
 159 157:1:14
 160 158:0:4844
 161 159:1:15
 162 160:0:4844
 163 161:1:16
 164 162:0:4844
 165 163:1:17
 166 164:0:4844
 167 165:1:26
 168 166:0:4844
 169 167:1:30
 170 168:1:31
 171 169:1:35
 172 170:1:39
 173 171:1:40
 174 172:1:44
 175 173:1:52
 176 174:1:53
 177 175:1:57
 178 176:1:61
 179 177:1:62
 180 178:1:57
 181 179:1:61
 182 180:1:62
 183 181:1:66
 184 182:1:73
 185 183:1:80
 186 184:1:81
 187 185:1:88
 188 186:1:93
 189 187:1:100
 190 188:1:101
 191 189:1:100
 192 190:1:101
 193 191:1:108
 194 192:1:112
 195 193:0:4844
 196 194:1:117
 197 195:0:4844
 198 196:2:4061
 199 197:0:4844
 200 198:2:4066
 201 199:0:4844
 202 200:2:4067
 203 201:0:4844
 204 202:2:4075
 205 203:2:4076
 206 204:2:4080
 207 205:2:4084
 208 206:2:4085
 209 207:2:4089
 210 208:2:4097
 211 209:2:4098
 212 210:2:4102
 213 211:2:4106
 214 212:2:4107
 215 213:2:4102
 216 214:2:4106
 217 215:2:4107
 218 216:2:4111
 219 217:2:4118
 220 218:2:4125
 221 219:2:4126
 222 220:2:4133
 223 221:2:4138
 224 222:2:4145
 225 223:2:4146
 226 224:2:4145
 227 225:2:4146
 228 226:2:4153
 229 227:2:4157
 230 228:0:4844
 231 229:2:3071
 232 230:2:3753
 233 231:0:4844
 234 232:2:2881
 235 233:0:4844
 236 234:2:3072
 237 235:0:4844
 238 236:2:2881
 239 237:0:4844
 240 238:2:3075
 241 239:2:3076
 242 240:2:3080
 243 241:2:3081
 244 242:2:3089
 245 243:2:3090
 246 244:2:3094
 247 245:2:3095
 248 246:2:3103
 249 247:2:3108
 250 248:2:3112
 251 249:2:3113
 252 250:2:3121
 253 251:2:3122
 254 252:2:3126
 255 253:2:3127
 256 254:2:3121
 257 255:2:3122
 258 256:2:3126
 259 257:2:3127
 260 258:2:3135
 261 259:2:3140
 262 260:2:3141
 263 261:2:3152
 264 262:2:3153
 265 263:2:3154
 266 264:2:3165
 267 265:2:3170
 268 266:2:3171
 269 267:2:3182
 270 268:2:3183
 271 269:2:3184
 272 270:2:3182
 273 271:2:3183
 274 272:2:3184
 275 273:2:3195
 276 274:2:3202
 277 275:0:4844
 278 276:2:2881
 279 277:0:4844
 280 278:2:3206
 281 279:2:3207
 282 280:2:3208
 283 281:2:3220
 284 282:2:3221
 285 283:2:3225
 286 284:2:3226
 287 285:2:3234
 288 286:2:3239
 289 287:2:3243
 290 288:2:3244
 291 289:2:3252
 292 290:2:3253
 293 291:2:3257
 294 292:2:3258
 295 293:2:3252
 296 294:2:3253
 297 295:2:3257
 298 296:2:3258
 299 297:2:3266
 300 298:2:3271
 301 299:2:3272
 302 300:2:3283
 303 301:2:3284
 304 302:2:3285
 305 303:2:3296
 306 304:2:3301
 307 305:2:3302
 308 306:2:3313
 309 307:2:3314
 310 308:2:3315
 311 309:2:3313
 312 310:2:3314
 313 311:2:3315
 314 312:2:3326
 315 313:2:3337
 316 314:2:3338
 317 315:0:4844
 318 316:2:2881
 319 317:0:4844
 320 318:2:3344
 321 319:2:3345
 322 320:2:3349
 323 321:2:3350
 324 322:2:3358
 325 323:2:3359
 326 324:2:3363
 327 325:2:3364
 328 326:2:3372
 329 327:2:3377
 330 328:2:3381
 331 329:2:3382
 332 330:2:3390
 333 331:2:3391
 334 332:2:3395
 335 333:2:3396
 336 334:2:3390
 337 335:2:3391
 338 336:2:3395
 339 337:2:3396
 340 338:2:3404
 341 339:2:3409
 342 340:2:3410
 343 341:2:3421
 344 342:2:3422
 345 343:2:3423
 346 344:2:3434
 347 345:2:3439
 348 346:2:3440
 349 347:2:3451
 350 348:2:3452
 351 349:2:3453
 352 350:2:3451
 353 351:2:3452
 354 352:2:3453
 355 353:2:3464
 356 354:0:4844
 357 355:2:2881
 358 356:0:4844
 359 357:2:3473
 360 358:2:3474
 361 359:2:3478
 362 360:2:3479
 363 361:2:3487
 364 362:2:3488
 365 363:2:3492
 366 364:2:3493
 367 365:2:3501
 368 366:2:3506
 369 367:2:3510
 370 368:2:3511
 371 369:2:3519
 372 370:2:3520
 373 371:2:3524
 374 372:2:3525
 375 373:2:3519
 376 374:2:3520
 377 375:2:3524
 378 376:2:3525
 379 377:2:3533
 380 378:2:3538
 381 379:2:3539
 382 380:2:3550
 383 381:2:3551
 384 382:2:3552
 385 383:2:3563
 386 384:2:3568
 387 385:2:3569
 388 386:2:3580
 389 387:2:3581
 390 388:2:3582
 391 389:2:3580
 392 390:2:3581
 393 391:2:3582
 394 392:2:3593
 395 393:2:3600
 396 394:0:4844
 397 395:2:2881
 398 396:0:4844
 399 397:2:3604
 400 398:2:3605
 401 399:2:3606
 402 400:2:3618
 403 401:2:3619
 404 402:2:3623
 405 403:2:3624
 406 404:2:3632
 407 405:2:3637
 408 406:2:3641
 409 407:2:3642
 410 408:2:3650
 411 409:2:3651
 412 410:2:3655
 413 411:2:3656
 414 412:2:3650
 415 413:2:3651
 416 414:2:3655
 417 415:2:3656
 418 416:2:3664
 419 417:2:3669
 420 418:2:3670
 421 419:2:3681
 422 420:2:3682
 423 421:2:3683
 424 422:2:3694
 425 423:2:3699
 426 424:2:3700
 427 425:2:3711
 428 426:2:3712
 429 427:2:3713
 430 428:2:3711
 431 429:2:3712
 432 430:2:3713
 433 431:2:3724
 434 432:2:3734
 435 433:2:3735
 436 434:0:4844
 437 435:2:2881
 438 436:0:4844
 439 437:2:3741
 440 438:0:4844
 441 439:2:4563
 442 440:2:4564
 443 441:2:4568
 444 442:2:4572
 445 443:2:4573
 446 444:2:4577
 447 445:2:4585
 448 446:2:4586
 449 447:2:4590
 450 448:2:4594
 451 449:2:4595
 452 450:2:4590
 453 451:2:4594
 454 452:2:4595
 455 453:2:4599
 456 454:2:4606
 457 455:2:4613
 458 456:2:4614
 459 457:2:4621
 460 458:2:4626
 461 459:2:4633
 462 460:2:4634
 463 461:2:4633
 464 462:2:4634
 465 463:2:4641
 466 464:2:4645
 467 465:0:4844
 468 466:2:4650
 469 467:0:4844
 470 468:2:4651
 471 469:0:4844
 472 470:2:4652
 473 471:0:4844
 474 472:1:26
 475 473:0:4844
 476 474:1:30
 477 475:1:31
 478 476:1:35
 479 477:1:39
 480 478:1:40
 481 479:1:44
 482 480:1:52
 483 481:1:53
 484 482:1:57
 485 483:1:61
 486 484:1:62
 487 485:1:57
 488 486:1:61
 489 487:1:62
 490 488:1:66
 491 489:1:73
 492 490:1:80
 493 491:1:81
 494 492:1:88
 495 493:1:93
 496 494:1:100
 497 495:1:101
 498 496:1:100
 499 497:1:101
 500 498:1:108
 501 499:1:112
 502 500:0:4844
 503 501:1:117
 504 502:0:4844
 505 503:2:4655
 506 504:0:4844
 507 505:2:4660
 508 506:0:4844
 509 507:2:4661
 510 508:0:4844
 511 509:2:4669
 512 510:2:4670
 513 511:2:4674
 514 512:2:4678
 515 513:2:4679
 516 514:2:4683
 517 515:2:4691
 518 516:2:4692
 519 517:2:4696
 520 518:2:4700
 521 519:2:4701
 522 520:2:4696
 523 521:2:4700
 524 522:2:4701
 525 523:2:4705
 526 524:2:4712
 527 525:2:4719
 528 526:2:4720
 529 527:2:4727
 530 528:2:4732
 531 529:2:4739
 532 530:2:4740
 533 531:2:4739
 534 532:2:4740
 535 533:2:4747
 536 534:2:4751
 537 535:0:4844
 538 536:2:3743
 539 537:2:3753
 540 538:0:4844
 541 539:2:2881
 542 540:0:4844
 543 541:2:3744
 544 542:2:3745
 545 543:0:4844
 546 544:2:2881
 547 545:0:4844
 548 546:2:3749
 549 547:0:4844
 550 548:2:3757
 551 549:0:4844
 552 550:2:2878
 553 551:0:4844
 554 552:2:2880
 555 553:0:4844
 556 554:2:2881
 557 555:0:4844
 558 556:2:2882
 559 557:2:2883
 560 558:2:2887
 561 559:2:2888
 562 560:2:2896
 563 561:2:2897
 564 562:2:2901
 565 563:2:2902
 566 564:2:2910
 567 565:2:2915
 568 566:2:2919
 569 567:2:2920
 570 568:2:2928
 571 569:2:2929
 572 570:2:2930
 573 571:2:2928
 574 572:2:2929
 575 573:2:2933
 576 574:2:2934
 577 575:2:2942
 578 576:2:2947
 579 577:2:2948
 580 578:2:2959
 581 579:2:2960
 582 580:2:2961
 583 581:2:2972
 584 582:2:2977
 585 583:2:2978
 586 584:2:2989
 587 585:2:2990
 588 586:2:2991
 589 587:2:2989
 590 588:2:2990
 591 589:2:2991
 592 590:2:3002
 593 591:2:3010
 594 592:0:4844
 595 593:2:2881
 596 594:0:4844
 597 595:2:3014
 598 596:2:3018
 599 597:2:3019
 600 598:2:3023
 601 599:2:3027
 602 600:2:3028
 603 601:2:3032
 604 602:2:3040
 605 603:2:3041
 606 604:2:3045
 607 605:2:3046
 608 606:2:3045
 609 607:2:3049
 610 608:2:3050
 611 609:2:3054
 612 610:0:4844
 613 611:2:2881
 614 612:0:4844
 615 613:2:3062
 616 614:2:3063
 617 615:2:3064
 618 616:0:4844
 619 617:2:2881
 620 618:0:4844
 621 619:2:3069
 622 620:0:4844
 623 621:2:3969
 624 622:2:3970
 625 623:2:3974
 626 624:2:3978
 627 625:2:3979
 628 626:2:3983
 629 627:2:3988
 630 628:2:3996
 631 629:2:4000
 632 630:2:4001
 633 631:2:3996
 634 632:2:4000
 635 633:2:4001
 636 634:2:4005
 637 635:2:4012
 638 636:2:4019
 639 637:2:4020
 640 638:2:4027
 641 639:2:4032
 642 640:2:4039
 643 641:2:4040
 644 642:2:4039
 645 643:2:4040
 646 644:2:4047
 647 645:2:4051
 648 646:0:4844
 649 647:2:4056
 650 648:0:4844
 651 649:2:4057
 652 650:0:4844
 653 651:2:4058
 654 652:0:4844
 655 653:1:26
 656 654:0:4844
 657 655:1:30
 658 656:1:31
 659 657:1:35
 660 658:1:39
 661 659:1:40
 662 660:1:44
 663 661:1:52
 664 662:1:53
 665 663:1:57
 666 664:1:61
 667 665:1:62
 668 666:1:57
 669 667:1:61
 670 668:1:62
 671 669:1:66
 672 670:1:73
 673 671:1:80
 674 672:1:81
 675 673:1:88
 676 674:1:93
 677 675:1:100
 678 676:1:101
 679 677:1:100
 680 678:1:101
 681 679:1:108
 682 680:1:112
 683 681:0:4844
 684 682:1:117
 685 683:0:4844
 686 684:2:4061
 687 685:0:4844
 688 686:2:4066
 689 687:0:4844
 690 688:2:4067
 691 689:0:4844
 692 690:2:4075
 693 691:2:4076
 694 692:2:4080
 695 693:2:4084
 696 694:2:4085
 697 695:2:4089
 698 696:2:4097
 699 697:2:4098
 700 698:2:4102
 701 699:2:4106
 702 700:2:4107
 703 701:2:4102
 704 702:2:4106
 705 703:2:4107
 706 704:2:4111
 707 705:2:4118
 708 706:2:4125
 709 707:2:4126
 710 708:2:4133
 711 709:2:4138
 712 710:2:4145
 713 711:2:4146
 714 712:2:4145
 715 713:2:4146
 716 714:2:4153
 717 715:2:4157
 718 716:0:4844
 719 717:2:3071
 720 718:2:3753
 721 719:0:4844
 722 720:2:2881
 723 721:0:4844
 724 722:2:3072
 725 723:0:4844
 726 724:2:2881
 727 725:0:4844
 728 726:2:3075
 729 727:2:3076
 730 728:2:3080
 731 729:2:3081
 732 730:2:3089
 733 731:2:3090
 734 732:2:3094
 735 733:2:3095
 736 734:2:3103
 737 735:2:3108
 738 736:2:3112
 739 737:2:3113
 740 738:2:3121
 741 739:2:3122
 742 740:2:3126
 743 741:2:3127
 744 742:2:3121
 745 743:2:3122
 746 744:2:3126
 747 745:2:3127
 748 746:2:3135
 749 747:2:3140
 750 748:2:3141
 751 749:2:3152
 752 750:2:3153
 753 751:2:3154
 754 752:2:3165
 755 753:2:3170
 756 754:2:3171
 757 755:2:3182
 758 756:2:3183
 759 757:2:3184
 760 758:2:3182
 761 759:2:3183
 762 760:2:3184
 763 761:2:3195
 764 762:2:3202
 765 763:0:4844
 766 764:2:2881
 767 765:0:4844
 768 766:2:3206
 769 767:2:3207
 770 768:2:3208
 771 769:2:3220
 772 770:2:3221
 773 771:2:3225
 774 772:2:3226
 775 773:2:3234
 776 774:2:3239
 777 775:2:3243
 778 776:2:3244
 779 777:2:3252
 780 778:2:3253
 781 779:2:3257
 782 780:2:3258
 783 781:2:3252
 784 782:2:3253
 785 783:2:3257
 786 784:2:3258
 787 785:2:3266
 788 786:2:3271
 789 787:2:3272
 790 788:2:3283
 791 789:2:3284
 792 790:2:3285
 793 791:2:3296
 794 792:2:3301
 795 793:2:3302
 796 794:2:3313
 797 795:2:3314
 798 796:2:3315
 799 797:2:3313
 800 798:2:3314
 801 799:2:3315
 802 800:2:3326
 803 801:2:3337
 804 802:2:3338
 805 803:0:4844
 806 804:2:2881
 807 805:0:4844
 808 806:2:3344
 809 807:2:3345
 810 808:2:3349
 811 809:2:3350
 812 810:2:3358
 813 811:2:3359
 814 812:2:3363
 815 813:2:3364
 816 814:2:3372
 817 815:2:3377
 818 816:2:3381
 819 817:2:3382
 820 818:2:3390
 821 819:2:3391
 822 820:2:3395
 823 821:2:3396
 824 822:2:3390
 825 823:2:3391
 826 824:2:3395
 827 825:2:3396
 828 826:2:3404
 829 827:2:3409
 830 828:2:3410
 831 829:2:3421
 832 830:2:3422
 833 831:2:3423
 834 832:2:3434
 835 833:2:3439
 836 834:2:3440
 837 835:2:3451
 838 836:2:3452
 839 837:2:3453
 840 838:2:3451
 841 839:2:3452
 842 840:2:3453
 843 841:2:3464
 844 842:0:4844
 845 843:2:2881
 846 844:0:4844
 847 845:2:3473
 848 846:2:3474
 849 847:2:3478
 850 848:2:3479
 851 849:2:3487
 852 850:2:3488
 853 851:2:3492
 854 852:2:3493
 855 853:2:3501
 856 854:2:3506
 857 855:2:3510
 858 856:2:3511
 859 857:2:3519
 860 858:2:3520
 861 859:2:3524
 862 860:2:3525
 863 861:2:3519
 864 862:2:3520
 865 863:2:3524
 866 864:2:3525
 867 865:2:3533
 868 866:2:3538
 869 867:2:3539
 870 868:2:3550
 871 869:2:3551
 872 870:2:3552
 873 871:2:3563
 874 872:2:3568
 875 873:2:3569
 876 874:2:3580
 877 875:2:3581
 878 876:2:3582
 879 877:2:3580
 880 878:2:3581
 881 879:2:3582
 882 880:2:3593
 883 881:2:3600
 884 882:0:4844
 885 883:2:2881
 886 884:0:4844
 887 885:2:3604
 888 886:2:3605
 889 887:2:3606
 890 888:2:3618
 891 889:2:3619
 892 890:2:3623
 893 891:2:3624
 894 892:2:3632
 895 893:2:3637
 896 894:2:3641
 897 895:2:3642
 898 896:2:3650
 899 897:2:3651
 900 898:2:3655
 901 899:2:3656
 902 900:2:3650
 903 901:2:3651
 904 902:2:3655
 905 903:2:3656
 906 904:2:3664
 907 905:2:3669
 908 906:2:3670
 909 907:2:3681
 910 908:2:3682
 911 909:2:3683
 912 910:2:3694
 913 911:2:3699
 914 912:2:3700
 915 913:2:3711
 916 914:2:3712
 917 915:2:3713
 918 916:2:3711
 919 917:2:3712
 920 918:2:3713
 921 919:2:3724
 922 920:2:3734
 923 921:2:3735
 924 922:0:4844
 925 923:2:2881
 926 924:0:4844
 927 925:2:3741
 928 926:0:4844
 929 927:2:4563
 930 928:2:4564
 931 929:2:4568
 932 930:2:4572
 933 931:2:4573
 934 932:2:4577
 935 933:2:4585
 936 934:2:4586
 937 935:2:4590
 938 936:2:4594
 939 937:2:4595
 940 938:2:4590
 941 939:2:4594
 942 940:2:4595
 943 941:2:4599
 944 942:2:4606
 945 943:2:4613
 946 944:2:4614
 947 945:2:4621
 948 946:2:4626
 949 947:2:4633
 950 948:2:4634
 951 949:2:4633
 952 950:2:4634
 953 951:2:4641
 954 952:2:4645
 955 953:0:4844
 956 954:2:4650
 957 955:0:4844
 958 956:2:4651
 959 957:0:4844
 960 958:2:4652
 961 959:0:4844
 962 960:1:26
 963 961:0:4844
 964 962:1:30
 965 963:1:31
 966 964:1:35
 967 965:1:39
 968 966:1:40
 969 967:1:44
 970 968:1:52
 971 969:1:53
 972 970:1:57
 973 971:1:61
 974 972:1:62
 975 973:1:57
 976 974:1:61
 977 975:1:62
 978 976:1:66
 979 977:1:73
 980 978:1:80
 981 979:1:81
 982 980:1:88
 983 981:1:93
 984 982:1:100
 985 983:1:101
 986 984:1:100
 987 985:1:101
 988 986:1:108
 989 987:1:112
 990 988:0:4844
 991 989:1:117
 992 990:0:4844
 993 991:2:4655
 994 992:0:4844
 995 993:2:4660
 996 994:0:4844
 997 995:2:4661
 998 996:0:4844
 999 997:2:4669
1000 998:2:4670
1001 999:2:4674
1002 1000:2:4678
1003 1001:2:4679
1004 1002:2:4683
1005 1003:2:4691
1006 1004:2:4692
1007 1005:2:4696
1008 1006:2:4700
1009 1007:2:4701
1010 1008:2:4696
1011 1009:2:4700
1012 1010:2:4701
1013 1011:2:4705
1014 1012:2:4712
1015 1013:2:4719
1016 1014:2:4720
1017 1015:2:4727
1018 1016:2:4732
1019 1017:2:4739
1020 1018:2:4740
1021 1019:2:4739
1022 1020:2:4740
1023 1021:2:4747
1024 1022:2:4751
1025 1023:0:4844
1026 1024:2:3743
1027 1025:2:3753
1028 1026:0:4844
1029 1027:2:2881
1030 1028:0:4844
1031 1029:2:3744
1032 1030:2:3745
1033 1031:0:4844
1034 1032:2:2881
1035 1033:0:4844
1036 1034:2:3749
1037 1035:0:4844
1038 1036:2:3757
1039 1037:0:4844
1040 1038:2:2878
1041 1039:0:4844
1042 1040:2:2880
1043 1041:0:4844
1044 1042:2:2881
1045 1043:0:4844
1046 1044:2:2882
1047 1045:2:2883
1048 1046:2:2887
1049 1047:2:2888
1050 1048:2:2896
1051 1049:2:2897
1052 1050:2:2901
1053 1051:2:2902
1054 1052:2:2910
1055 1053:2:2915
1056 1054:2:2919
1057 1055:2:2920
1058 1056:2:2928
1059 1057:2:2929
1060 1058:2:2933
1061 1059:2:2934
1062 1060:2:2928
1063 1061:2:2929
1064 1062:2:2930
1065 1063:2:2942
1066 1064:2:2947
1067 1065:2:2948
1068 1066:2:2959
1069 1067:2:2960
1070 1068:2:2961
1071 1069:2:2972
1072 1070:2:2977
1073 1071:2:2978
1074 1072:2:2989
1075 1073:2:2990
1076 1074:2:2991
1077 1075:2:2989
1078 1076:2:2990
1079 1077:2:2991
1080 1078:2:3002
1081 1079:2:3010
1082 1080:0:4844
1083 1081:2:2881
1084 1082:0:4844
1085 1083:2:3014
1086 1084:2:3018
1087 1085:2:3019
1088 1086:2:3023
1089 1087:2:3027
1090 1088:2:3028
1091 1089:2:3032
1092 1090:2:3040
1093 1091:2:3041
1094 1092:2:3045
1095 1093:2:3049
1096 1094:2:3050
1097 1095:2:3045
1098 1096:2:3046
1099 1097:2:3054
1100 1098:0:4844
1101 1099:2:2881
1102 1100:0:4844
1103 1101:2:3062
1104 1102:2:3063
1105 1103:2:3064
1106 1104:0:4844
1107 1105:2:2881
1108 1106:0:4844
1109 1107:2:3069
1110 1108:0:4844
1111 1109:2:3969
1112 1110:2:3970
1113 1111:2:3974
1114 1112:2:3978
1115 1113:2:3979
1116 1114:2:3983
1117 1115:2:3988
1118 1116:2:3996
1119 1117:2:4000
1120 1118:2:4001
1121 1119:2:3996
1122 1120:2:4000
1123 1121:2:4001
1124 1122:2:4005
1125 1123:2:4012
1126 1124:2:4019
1127 1125:2:4020
1128 1126:2:4027
1129 1127:2:4032
1130 1128:2:4039
1131 1129:2:4040
1132 1130:2:4039
1133 1131:2:4040
1134 1132:2:4047
1135 1133:2:4051
1136 1134:0:4844
1137 1135:2:4056
1138 1136:0:4844
1139 1137:2:4057
1140 1138:0:4844
1141 1139:2:4058
1142 1140:0:4844
1143 1141:1:26
1144 1142:0:4844
1145 1143:1:30
1146 1144:1:31
1147 1145:1:35
1148 1146:1:39
1149 1147:1:40
1150 1148:1:44
1151 1149:1:52
1152 1150:1:53
1153 1151:1:57
1154 1152:1:61
1155 1153:1:62
1156 1154:1:57
1157 1155:1:61
1158 1156:1:62
1159 1157:1:66
1160 1158:1:73
1161 1159:1:80
1162 1160:1:81
1163 1161:1:88
1164 1162:1:93
1165 1163:1:100
1166 1164:1:101
1167 1165:1:100
1168 1166:1:101
1169 1167:1:108
1170 1168:1:112
1171 1169:0:4844
1172 1170:1:117
1173 1171:0:4844
1174 1172:2:4061
1175 1173:0:4844
1176 1174:2:4066
1177 1175:0:4844
1178 1176:2:4067
1179 1177:0:4844
1180 1178:2:4075
1181 1179:2:4076
1182 1180:2:4080
1183 1181:2:4084
1184 1182:2:4085
1185 1183:2:4089
1186 1184:2:4097
1187 1185:2:4098
1188 1186:2:4102
1189 1187:2:4106
1190 1188:2:4107
1191 1189:2:4102
1192 1190:2:4106
1193 1191:2:4107
1194 1192:2:4111
1195 1193:2:4118
1196 1194:2:4125
1197 1195:2:4126
1198 1196:2:4133
1199 1197:2:4138
1200 1198:2:4145
1201 1199:2:4146
1202 1200:2:4145
1203 1201:2:4146
1204 1202:2:4153
1205 1203:2:4157
1206 1204:0:4844
1207 1205:2:3071
1208 1206:2:3753
1209 1207:0:4844
1210 1208:2:2881
1211 1209:0:4844
1212 1210:2:3072
1213 1211:0:4844
1214 1212:2:2881
1215 1213:0:4844
1216 1214:2:3075
1217 1215:2:3076
1218 1216:2:3080
1219 1217:2:3081
1220 1218:2:3089
1221 1219:2:3090
1222 1220:2:3094
1223 1221:2:3095
1224 1222:2:3103
1225 1223:2:3108
1226 1224:2:3112
1227 1225:2:3113
1228 1226:2:3121
1229 1227:2:3122
1230 1228:2:3126
1231 1229:2:3127
1232 1230:2:3121
1233 1231:2:3122
1234 1232:2:3126
1235 1233:2:3127
1236 1234:2:3135
1237 1235:2:3140
1238 1236:2:3141
1239 1237:2:3152
1240 1238:2:3153
1241 1239:2:3154
1242 1240:2:3165
1243 1241:2:3170
1244 1242:2:3171
1245 1243:2:3182
1246 1244:2:3183
1247 1245:2:3184
1248 1246:2:3182
1249 1247:2:3183
1250 1248:2:3184
1251 1249:2:3195
1252 1250:2:3202
1253 1251:0:4844
1254 1252:2:2881
1255 1253:0:4844
1256 1254:2:3206
1257 1255:2:3207
1258 1256:2:3208
1259 1257:2:3220
1260 1258:2:3221
1261 1259:2:3225
1262 1260:2:3226
1263 1261:2:3234
1264 1262:2:3239
1265 1263:2:3243
1266 1264:2:3244
1267 1265:2:3252
1268 1266:2:3253
1269 1267:2:3257
1270 1268:2:3258
1271 1269:2:3252
1272 1270:2:3253
1273 1271:2:3257
1274 1272:2:3258
1275 1273:2:3266
1276 1274:2:3271
1277 1275:2:3272
1278 1276:2:3283
1279 1277:2:3284
1280 1278:2:3285
1281 1279:2:3296
1282 1280:2:3301
1283 1281:2:3302
1284 1282:2:3313
1285 1283:2:3314
1286 1284:2:3315
1287 1285:2:3313
1288 1286:2:3314
1289 1287:2:3315
1290 1288:2:3326
1291 1289:2:3337
1292 1290:2:3338
1293 1291:0:4844
1294 1292:2:2881
1295 1293:0:4844
1296 1294:2:3344
1297 1295:2:3345
1298 1296:2:3349
1299 1297:2:3350
1300 1298:2:3358
1301 1299:2:3359
1302 1300:2:3363
1303 1301:2:3364
1304 1302:2:3372
1305 1303:2:3377
1306 1304:2:3381
1307 1305:2:3382
1308 1306:2:3390
1309 1307:2:3391
1310 1308:2:3395
1311 1309:2:3396
1312 1310:2:3390
1313 1311:2:3391
1314 1312:2:3395
1315 1313:2:3396
1316 1314:2:3404
1317 1315:2:3409
1318 1316:2:3410
1319 1317:2:3421
1320 1318:2:3422
1321 1319:2:3423
1322 1320:2:3434
1323 1321:2:3439
1324 1322:2:3440
1325 1323:2:3451
1326 1324:2:3452
1327 1325:2:3453
1328 1326:2:3451
1329 1327:2:3452
1330 1328:2:3453
1331 1329:2:3464
1332 1330:0:4844
1333 1331:2:2881
1334 1332:0:4844
1335 1333:2:3473
1336 1334:2:3474
1337 1335:2:3478
1338 1336:2:3479
1339 1337:2:3487
1340 1338:2:3488
1341 1339:2:3492
1342 1340:2:3493
1343 1341:2:3501
1344 1342:2:3506
1345 1343:2:3510
1346 1344:2:3511
1347 1345:2:3519
1348 1346:2:3520
1349 1347:2:3524
1350 1348:2:3525
1351 1349:2:3519
1352 1350:2:3520
1353 1351:2:3524
1354 1352:2:3525
1355 1353:2:3533
1356 1354:2:3538
1357 1355:2:3539
1358 1356:2:3550
1359 1357:2:3551
1360 1358:2:3552
1361 1359:2:3563
1362 1360:2:3568
1363 1361:2:3569
1364 1362:2:3580
1365 1363:2:3581
1366 1364:2:3582
1367 1365:2:3580
1368 1366:2:3581
1369 1367:2:3582
1370 1368:2:3593
1371 1369:2:3600
1372 1370:0:4844
1373 1371:2:2881
1374 1372:0:4844
1375 1373:2:3604
1376 1374:2:3605
1377 1375:2:3606
1378 1376:2:3618
1379 1377:2:3619
1380 1378:2:3623
1381 1379:2:3624
1382 1380:2:3632
1383 1381:2:3637
1384 1382:2:3641
1385 1383:2:3642
1386 1384:2:3650
1387 1385:2:3651
1388 1386:2:3655
1389 1387:2:3656
1390 1388:2:3650
1391 1389:2:3651
1392 1390:2:3655
1393 1391:2:3656
1394 1392:2:3664
1395 1393:2:3669
1396 1394:2:3670
1397 1395:2:3681
1398 1396:2:3682
1399 1397:2:3683
1400 1398:2:3694
1401 1399:2:3699
1402 1400:2:3700
1403 1401:2:3711
1404 1402:2:3712
1405 1403:2:3713
1406 1404:2:3711
1407 1405:2:3712
1408 1406:2:3713
1409 1407:2:3724
1410 1408:2:3734
1411 1409:2:3735
1412 1410:0:4844
1413 1411:2:2881
1414 1412:0:4844
1415 1413:2:3741
1416 1414:0:4844
1417 1415:2:4563
1418 1416:2:4564
1419 1417:2:4568
1420 1418:2:4572
1421 1419:2:4573
1422 1420:2:4577
1423 1421:2:4585
1424 1422:2:4586
1425 1423:2:4590
1426 1424:2:4594
1427 1425:2:4595
1428 1426:2:4590
1429 1427:2:4594
1430 1428:2:4595
1431 1429:2:4599
1432 1430:2:4606
1433 1431:2:4613
1434 1432:2:4614
1435 1433:2:4621
1436 1434:2:4626
1437 1435:2:4633
1438 1436:2:4634
1439 1437:2:4633
1440 1438:2:4634
1441 1439:2:4641
1442 1440:2:4645
1443 1441:0:4844
1444 1442:2:4650
1445 1443:0:4844
1446 1444:2:4651
1447 1445:0:4844
1448 1446:2:4652
1449 1447:0:4844
1450 1448:1:26
1451 1449:0:4844
1452 1450:1:30
1453 1451:1:31
1454 1452:1:35
1455 1453:1:39
1456 1454:1:40
1457 1455:1:44
1458 1456:1:52
1459 1457:1:53
1460 1458:1:57
1461 1459:1:61
1462 1460:1:62
1463 1461:1:57
1464 1462:1:61
1465 1463:1:62
1466 1464:1:66
1467 1465:1:73
1468 1466:1:80
1469 1467:1:81
1470 1468:1:88
1471 1469:1:93
1472 1470:1:100
1473 1471:1:101
1474 1472:1:100
1475 1473:1:101
1476 1474:1:108
1477 1475:1:112
1478 1476:0:4844
1479 1477:1:117
1480 1478:0:4844
1481 1479:2:4655
1482 1480:0:4844
1483 1481:2:4660
1484 1482:0:4844
1485 1483:2:4661
1486 1484:0:4844
1487 1485:2:4669
1488 1486:2:4670
1489 1487:2:4674
1490 1488:2:4678
1491 1489:2:4679
1492 1490:2:4683
1493 1491:2:4691
1494 1492:2:4692
1495 1493:2:4696
1496 1494:2:4700
1497 1495:2:4701
1498 1496:2:4696
1499 1497:2:4700
1500 1498:2:4701
1501 1499:2:4705
1502 1500:2:4712
1503 1501:2:4719
1504 1502:2:4720
1505 1503:2:4727
1506 1504:2:4732
1507 1505:2:4739
1508 1506:2:4740
1509 1507:2:4739
1510 1508:2:4740
1511 1509:2:4747
1512 1510:2:4751
1513 1511:0:4844
1514 1512:2:3743
1515 1513:2:3753
1516 1514:0:4844
1517 1515:2:2881
1518 1516:0:4844
1519 1517:2:3744
1520 1518:2:3745
1521 1519:0:4844
1522 1520:2:2881
1523 1521:0:4844
1524 1522:2:3749
1525 1523:0:4844
1526 1524:2:3757
1527 1525:0:4844
1528 1526:2:3758
1529 1527:0:4844
1530 1528:2:3763
1531 1529:0:4844
1532 1530:2:3767
1533 1531:2:3768
1534 1532:2:3772
1535 1533:2:3776
1536 1534:2:3777
1537 1535:2:3781
1538 1536:2:3789
1539 1537:2:3790
1540 1538:2:3794
1541 1539:2:3795
1542 1540:2:3794
1543 1541:2:3798
1544 1542:2:3799
1545 1543:2:3803
1546 1544:2:3810
1547 1545:2:3817
1548 1546:2:3818
1549 1547:2:3825
1550 1548:2:3830
1551 1549:2:3837
1552 1550:2:3838
1553 1551:2:3837
1554 1552:2:3838
1555 1553:2:3845
1556 1554:2:3849
1557 1555:0:4844
1558 1556:2:3854
1559 1557:0:4844
1560 1558:2:3855
1561 1559:0:4844
1562 1560:2:3856
1563 1561:0:4844
1564 1562:1:26
1565 1563:0:4844
1566 1564:1:30
1567 1565:1:31
1568 1566:1:35
1569 1567:1:39
1570 1568:1:40
1571 1569:1:44
1572 1570:1:52
1573 1571:1:53
1574 1572:1:57
1575 1573:1:61
1576 1574:1:62
1577 1575:1:57
1578 1576:1:61
1579 1577:1:62
1580 1578:1:66
1581 1579:1:73
1582 1580:1:80
1583 1581:1:81
1584 1582:1:88
1585 1583:1:93
1586 1584:1:100
1587 1585:1:101
1588 1586:1:100
1589 1587:1:101
1590 1588:1:108
1591 1589:1:112
1592 1590:0:4844
1593 1591:1:117
1594 1592:0:4844
1595 1593:2:3859
1596 1594:0:4844
1597 1595:2:3864
1598 1596:0:4844
1599 1597:2:3865
1600 1598:0:4844
1601 1599:2:3873
1602 1600:2:3874
1603 1601:2:3878
1604 1602:2:3882
1605 1603:2:3883
1606 1604:2:3887
1607 1605:2:3895
1608 1606:2:3896
1609 1607:2:3900
1610 1608:2:3904
1611 1609:2:3905
1612 1610:2:3900
1613 1611:2:3904
1614 1612:2:3905
1615 1613:2:3909
1616 1614:2:3916
1617 1615:2:3923
1618 1616:2:3924
1619 1617:2:3931
1620 1618:2:3936
1621 1619:2:3943
1622 1620:2:3944
1623 1621:2:3943
1624 1622:2:3944
1625 1623:2:3951
1626 1624:2:3955
1627 1625:0:4844
1628 1626:2:3961
1629 1627:0:4844
1630 1628:2:3763
1631 1629:0:4844
1632 1630:2:3767
1633 1631:2:3768
1634 1632:2:3772
1635 1633:2:3776
1636 1634:2:3777
1637 1635:2:3781
1638 1636:2:3789
1639 1637:2:3790
1640 1638:2:3794
1641 1639:2:3798
1642 1640:2:3799
1643 1641:2:3794
1644 1642:2:3798
1645 1643:2:3799
1646 1644:2:3803
1647 1645:2:3810
1648 1646:2:3817
1649 1647:2:3818
1650 1648:2:3825
1651 1649:2:3830
1652 1650:2:3837
1653 1651:2:3838
1654 1652:2:3837
1655 1653:2:3838
1656 1654:2:3845
1657 1655:2:3849
1658 1656:0:4844
1659 1657:2:3854
1660 1658:0:4844
1661 1659:2:3855
1662 1660:0:4844
1663 1661:2:3856
1664 1662:0:4844
1665 1663:1:26
1666 -1:-1:-1
1667 1664:0:4844
1668 1665:1:30
1669 1666:1:31
1670 1667:1:35
1671 1668:1:39
1672 1669:1:40
1673 1670:1:44
1674 1671:1:52
1675 1672:1:53
1676 1673:1:57
1677 1674:1:61
1678 1675:1:62
1679 1676:1:57
1680 1677:1:61
1681 1678:1:62
1682 1679:1:66
1683 1680:1:73
1684 1681:1:80
1685 1682:1:81
1686 1683:1:88
1687 1684:1:93
1688 1685:1:100
1689 1686:1:101
1690 1687:1:100
1691 1688:1:101
1692 1689:1:108
1693 1690:1:112
1694 1691:0:4844
1695 1692:1:117
1696 1693:0:4844
1697 1694:2:3859
1698 1695:0:4844
1699 1696:2:3864
1700 1697:0:4844
1701 1698:2:3865
1702 1699:0:4844
1703 1700:2:3873
1704 1701:2:3874
1705 1702:2:3878
1706 1703:2:3882
1707 1704:2:3883
1708 1705:2:3887
1709 1706:2:3895
1710 1707:2:3896
1711 1708:2:3900
1712 1709:2:3904
1713 1710:2:3905
1714 1711:2:3900
1715 1712:2:3904
1716 1713:2:3905
1717 1714:2:3909
1718 1715:2:3916
1719 1716:2:3923
1720 1717:2:3924
1721 1718:2:3931
1722 1719:2:3936
1723 1720:2:3943
1724 1721:2:3944
1725 1722:2:3943
1726 1723:2:3944
1727 1724:2:3951
1728 1725:2:3955
1729 1726:0:4844
1730 1727:2:3961
1731 1728:0:4844
1732 1729:2:3763
1733 1730:0:4844
1734 1731:2:3767
1735 1732:2:3768
1736 1733:2:3772
1737 1734:2:3776
1738 1735:2:3777
1739 1736:2:3781
1740 1737:2:3789
1741 1738:2:3790
1742 1739:2:3794
1743 1740:2:3798
1744 1741:2:3799
1745 1742:2:3794
1746 1743:2:3798
1747 1744:2:3799
1748 1745:2:3803
1749 1746:2:3810
1750 1747:2:3817
1751 1748:2:3818
1752 1749:2:3825
1753 1750:2:3830
1754 1751:2:3837
1755 1752:2:3838
1756 1753:2:3837
1757 1754:2:3838
1758 1755:2:3845
1759 1756:2:3849
1760 1757:0:4844
1761 1758:2:3854
1762 1759:0:4844
1763 1760:2:3855
1764 1761:0:4844
1765 1762:2:3856
1766 1763:0:4844
1767 1764:1:26