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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4497
   4 2:3:4417
   5 3:3:4420
   6 4:3:4420
   7 5:3:4423
   8 6:3:4431
   9 7:3:4431
  10 8:3:4434
  11 9:3:4440
  12 10:3:4444
  13 11:3:4444
  14 12:3:4447
  15 13:3:4457
  16 14:3:4465
  17 15:3:4465
  18 16:3:4468
  19 17:3:4474
  20 18:3:4478
  21 19:3:4478
  22 20:3:4481
  23 21:3:4487
  24 22:3:4491
  25 23:3:4492
  26 24:0:4497
  27 25:3:4494
  28 26:0:4497
  29 27:2:2871
  30 28:0:4497
  31 29:2:2877
  32 30:0:4497
  33 31:2:2878
  34 32:0:4497
  35 33:2:2879
  36 34:0:4497
  37 35:2:2880
  38 36:0:4497
  39 37:2:2881
  40 38:0:4497
  41 39:2:2882
  42 40:2:2883
  43 41:2:2887
  44 42:2:2888
  45 43:2:2896
  46 44:2:2897
  47 45:2:2901
  48 46:2:2902
  49 47:2:2910
  50 48:2:2915
  51 49:2:2919
  52 50:2:2920
  53 51:2:2928
  54 52:2:2929
  55 53:2:2933
  56 54:2:2934
  57 55:2:2928
  58 56:2:2929
  59 57:2:2933
  60 58:2:2934
  61 59:2:2942
  62 60:2:2947
  63 61:2:2948
  64 62:2:2959
  65 63:2:2960
  66 64:2:2961
  67 65:2:2972
  68 66:2:2977
  69 67:2:2978
  70 68:2:2989
  71 69:2:2990
  72 70:2:2991
  73 71:2:2989
  74 72:2:2990
  75 73:2:2991
  76 74:2:3002
  77 75:2:3010
  78 76:0:4497
  79 77:2:2881
  80 78:0:4497
  81 79:2:3014
  82 80:2:3018
  83 81:2:3019
  84 82:2:3023
  85 83:2:3027
  86 84:2:3028
  87 85:2:3032
  88 86:2:3040
  89 87:2:3041
  90 88:2:3045
  91 89:2:3049
  92 90:2:3050
  93 91:2:3045
  94 92:2:3046
  95 93:2:3054
  96 94:0:4497
  97 95:2:2881
  98 96:0:4497
  99 97:2:3062
 100 98:2:3063
 101 99:2:3064
 102 100:0:4497
 103 101:2:2881
 104 102:0:4497
 105 103:2:3069
 106 104:0:4497
 107 105:2:4022
 108 106:2:4023
 109 107:2:4027
 110 108:2:4031
 111 109:2:4032
 112 110:2:4036
 113 111:2:4041
 114 112:2:4049
 115 113:2:4053
 116 114:2:4054
 117 115:2:4049
 118 116:2:4053
 119 117:2:4054
 120 118:2:4058
 121 119:2:4065
 122 120:2:4072
 123 121:2:4073
 124 122:2:4080
 125 123:2:4085
 126 124:2:4092
 127 125:2:4093
 128 126:2:4092
 129 127:2:4093
 130 128:2:4100
 131 129:2:4104
 132 130:0:4497
 133 131:2:4109
 134 132:0:4497
 135 133:2:4110
 136 134:0:4497
 137 135:2:4111
 138 136:0:4497
 139 137:2:4112
 140 138:0:4497
 141 139:1:2
 142 140:0:4497
 143 141:1:8
 144 142:0:4497
 145 143:1:9
 146 144:0:4497
 147 145:2:4113
 148 146:0:4497
 149 147:1:10
 150 148:0:4497
 151 149:2:4112
 152 150:0:4497
 153 151:1:11
 154 152:0:4497
 155 153:2:4113
 156 154:0:4497
 157 155:1:12
 158 156:0:4497
 159 157:2:4112
 160 158:0:4497
 161 159:1:13
 162 160:0:4497
 163 161:2:4113
 164 162:0:4497
 165 163:1:14
 166 164:0:4497
 167 165:1:15
 168 166:0:4497
 169 167:1:16
 170 168:0:4497
 171 169:2:4112
 172 170:0:4497
 173 171:1:17
 174 172:0:4497
 175 173:2:4113
 176 174:0:4497
 177 175:1:26
 178 176:0:4497
 179 177:2:4112
 180 178:0:4497
 181 179:1:30
 182 180:1:31
 183 181:1:35
 184 182:1:39
 185 183:1:40
 186 184:1:44
 187 185:1:52
 188 186:1:53
 189 187:1:57
 190 188:1:61
 191 189:1:62
 192 190:1:57
 193 191:1:61
 194 192:1:62
 195 193:1:66
 196 194:1:73
 197 195:1:80
 198 196:1:81
 199 197:1:88
 200 198:1:93
 201 199:1:100
 202 200:1:101
 203 201:1:100
 204 202:1:101
 205 203:1:108
 206 204:1:112
 207 205:0:4497
 208 206:2:4113
 209 207:0:4497
 210 208:1:117
 211 209:0:4497
 212 210:2:4114
 213 211:0:4497
 214 212:2:4119
 215 213:0:4497
 216 214:2:4120
 217 215:0:4497
 218 216:2:4128
 219 217:2:4129
 220 218:2:4133
 221 219:2:4137
 222 220:2:4138
 223 221:2:4142
 224 222:2:4150
 225 223:2:4151
 226 224:2:4155
 227 225:2:4159
 228 226:2:4160
 229 227:2:4155
 230 228:2:4159
 231 229:2:4160
 232 230:2:4164
 233 231:2:4171
 234 232:2:4178
 235 233:2:4179
 236 234:2:4186
 237 235:2:4191
 238 236:2:4198
 239 237:2:4199
 240 238:2:4198
 241 239:2:4199
 242 240:2:4206
 243 241:2:4210
 244 242:0:4497
 245 243:2:3071
 246 244:2:4003
 247 245:0:4497
 248 246:2:2881
 249 247:0:4497
 250 248:2:3072
 251 249:0:4497
 252 250:2:2881
 253 251:0:4497
 254 252:2:3075
 255 253:2:3076
 256 254:2:3080
 257 255:2:3081
 258 256:2:3089
 259 257:2:3090
 260 258:2:3094
 261 259:2:3095
 262 260:2:3103
 263 261:2:3108
 264 262:2:3112
 265 263:2:3113
 266 264:2:3121
 267 265:2:3122
 268 266:2:3126
 269 267:2:3127
 270 268:2:3121
 271 269:2:3122
 272 270:2:3126
 273 271:2:3127
 274 272:2:3135
 275 273:2:3140
 276 274:2:3141
 277 275:2:3152
 278 276:2:3153
 279 277:2:3154
 280 278:2:3165
 281 279:2:3170
 282 280:2:3171
 283 281:2:3182
 284 282:2:3183
 285 283:2:3184
 286 284:2:3182
 287 285:2:3183
 288 286:2:3184
 289 287:2:3195
 290 288:2:3202
 291 289:0:4497
 292 290:2:2881
 293 291:0:4497
 294 292:2:3206
 295 293:2:3207
 296 294:2:3208
 297 295:2:3220
 298 296:2:3221
 299 297:2:3225
 300 298:2:3226
 301 299:2:3234
 302 300:2:3239
 303 301:2:3243
 304 302:2:3244
 305 303:2:3252
 306 304:2:3253
 307 305:2:3257
 308 306:2:3258
 309 307:2:3252
 310 308:2:3253
 311 309:2:3257
 312 310:2:3258
 313 311:2:3266
 314 312:2:3271
 315 313:2:3272
 316 314:2:3283
 317 315:2:3284
 318 316:2:3285
 319 317:2:3296
 320 318:2:3301
 321 319:2:3302
 322 320:2:3313
 323 321:2:3314
 324 322:2:3315
 325 323:2:3313
 326 324:2:3314
 327 325:2:3315
 328 326:2:3326
 329 327:2:3337
 330 328:2:3338
 331 329:0:4497
 332 330:2:2881
 333 331:0:4497
 334 332:2:3469
 335 333:2:3470
 336 334:2:3474
 337 335:2:3475
 338 336:2:3483
 339 337:2:3484
 340 338:2:3488
 341 339:2:3489
 342 340:2:3497
 343 341:2:3502
 344 342:2:3506
 345 343:2:3507
 346 344:2:3515
 347 345:2:3516
 348 346:2:3520
 349 347:2:3521
 350 348:2:3515
 351 349:2:3516
 352 350:2:3520
 353 351:2:3521
 354 352:2:3529
 355 353:2:3534
 356 354:2:3535
 357 355:2:3546
 358 356:2:3547
 359 357:2:3548
 360 358:2:3559
 361 359:2:3564
 362 360:2:3565
 363 361:2:3576
 364 362:2:3577
 365 363:2:3578
 366 364:2:3576
 367 365:2:3577
 368 366:2:3578
 369 367:2:3589
 370 368:0:4497
 371 369:2:2881
 372 370:0:4497
 373 371:2:3598
 374 372:2:3599
 375 373:2:3603
 376 374:2:3604
 377 375:2:3612
 378 376:2:3613
 379 377:2:3617
 380 378:2:3618
 381 379:2:3626
 382 380:2:3631
 383 381:2:3635
 384 382:2:3636
 385 383:2:3644
 386 384:2:3645
 387 385:2:3649
 388 386:2:3650
 389 387:2:3644
 390 388:2:3645
 391 389:2:3649
 392 390:2:3650
 393 391:2:3658
 394 392:2:3663
 395 393:2:3664
 396 394:2:3675
 397 395:2:3676
 398 396:2:3677
 399 397:2:3688
 400 398:2:3693
 401 399:2:3694
 402 400:2:3705
 403 401:2:3706
 404 402:2:3707
 405 403:2:3705
 406 404:2:3706
 407 405:2:3707
 408 406:2:3718
 409 407:2:3725
 410 408:0:4497
 411 409:2:2881
 412 410:0:4497
 413 411:2:3729
 414 412:2:3730
 415 413:2:3731
 416 414:2:3743
 417 415:2:3744
 418 416:2:3748
 419 417:2:3749
 420 418:2:3757
 421 419:2:3762
 422 420:2:3766
 423 421:2:3767
 424 422:2:3775
 425 423:2:3776
 426 424:2:3780
 427 425:2:3781
 428 426:2:3775
 429 427:2:3776
 430 428:2:3780
 431 429:2:3781
 432 430:2:3789
 433 431:2:3794
 434 432:2:3795
 435 433:2:3806
 436 434:2:3807
 437 435:2:3808
 438 436:2:3819
 439 437:2:3824
 440 438:2:3825
 441 439:2:3836
 442 440:2:3837
 443 441:2:3838
 444 442:2:3836
 445 443:2:3837
 446 444:2:3838
 447 445:2:3849
 448 446:2:3859
 449 447:2:3860
 450 448:0:4497
 451 449:2:2881
 452 450:0:4497
 453 451:2:3991
 454 452:0:4497
 455 453:2:4220
 456 454:2:4221
 457 455:2:4225
 458 456:2:4229
 459 457:2:4230
 460 458:2:4234
 461 459:2:4242
 462 460:2:4243
 463 461:2:4247
 464 462:2:4251
 465 463:2:4252
 466 464:2:4247
 467 465:2:4251
 468 466:2:4252
 469 467:2:4256
 470 468:2:4263
 471 469:2:4270
 472 470:2:4271
 473 471:2:4278
 474 472:2:4283
 475 473:2:4290
 476 474:2:4291
 477 475:2:4290
 478 476:2:4291
 479 477:2:4298
 480 478:2:4302
 481 479:0:4497
 482 480:2:4307
 483 481:0:4497
 484 482:2:4308
 485 483:0:4497
 486 484:2:4309
 487 485:0:4497
 488 486:2:4310
 489 487:0:4497
 490 488:1:26
 491 489:0:4497
 492 490:2:4311
 493 491:0:4497
 494 492:1:30
 495 493:1:31
 496 494:1:35
 497 495:1:39
 498 496:1:40
 499 497:1:44
 500 498:1:52
 501 499:1:53
 502 500:1:57
 503 501:1:61
 504 502:1:62
 505 503:1:57
 506 504:1:61
 507 505:1:62
 508 506:1:66
 509 507:1:73
 510 508:1:80
 511 509:1:81
 512 510:1:88
 513 511:1:93
 514 512:1:100
 515 513:1:101
 516 514:1:100
 517 515:1:101
 518 516:1:108
 519 517:1:112
 520 518:0:4497
 521 519:2:4310
 522 520:0:4497
 523 521:1:117
 524 522:0:4497
 525 523:2:4311
 526 524:0:4497
 527 525:2:4312
 528 526:0:4497
 529 527:2:4317
 530 528:0:4497
 531 529:2:4318
 532 530:0:4497
 533 531:2:4326
 534 532:2:4327
 535 533:2:4331
 536 534:2:4335
 537 535:2:4336
 538 536:2:4340
 539 537:2:4348
 540 538:2:4349
 541 539:2:4353
 542 540:2:4357
 543 541:2:4358
 544 542:2:4353
 545 543:2:4357
 546 544:2:4358
 547 545:2:4362
 548 546:2:4369
 549 547:2:4376
 550 548:2:4377
 551 549:2:4384
 552 550:2:4389
 553 551:2:4396
 554 552:2:4397
 555 553:2:4396
 556 554:2:4397
 557 555:2:4404
 558 556:2:4408
 559 557:0:4497
 560 558:2:3993
 561 559:2:4003
 562 560:0:4497
 563 561:2:2881
 564 562:0:4497
 565 563:2:3994
 566 564:2:3995
 567 565:0:4497
 568 566:2:2881
 569 567:0:4497
 570 568:2:3999
 571 569:0:4497
 572 570:2:4007
 573 571:0:4497
 574 572:2:2878
 575 573:0:4497
 576 574:2:2879
 577 575:0:4497
 578 576:2:2880
 579 577:0:4497
 580 578:2:2881
 581 579:0:4497
 582 580:2:2882
 583 581:2:2883
 584 582:2:2887
 585 583:2:2888
 586 584:2:2896
 587 585:2:2897
 588 586:2:2901
 589 587:2:2902
 590 588:2:2910
 591 589:2:2915
 592 590:2:2919
 593 591:2:2920
 594 592:2:2928
 595 593:2:2929
 596 594:2:2930
 597 595:2:2928
 598 596:2:2929
 599 597:2:2933
 600 598:2:2934
 601 599:2:2942
 602 600:2:2947
 603 601:2:2948
 604 602:2:2959
 605 603:2:2960
 606 604:2:2961
 607 605:2:2972
 608 606:2:2977
 609 607:2:2978
 610 608:2:2989
 611 609:2:2990
 612 610:2:2991
 613 611:2:2989
 614 612:2:2990
 615 613:2:2991
 616 614:2:3002
 617 615:2:3010
 618 616:0:4497
 619 617:2:2881
 620 618:0:4497
 621 619:2:3014
 622 620:2:3018
 623 621:2:3019
 624 622:2:3023
 625 623:2:3027
 626 624:2:3028
 627 625:2:3032
 628 626:2:3040
 629 627:2:3041
 630 628:2:3045
 631 629:2:3046
 632 630:2:3045
 633 631:2:3049
 634 632:2:3050
 635 633:2:3054
 636 634:0:4497
 637 635:2:2881
 638 636:0:4497
 639 637:2:3062
 640 638:2:3063
 641 639:2:3064
 642 640:0:4497
 643 641:2:2881
 644 642:0:4497
 645 643:2:3069
 646 644:0:4497
 647 645:2:4022
 648 646:2:4023
 649 647:2:4027
 650 648:2:4031
 651 649:2:4032
 652 650:2:4036
 653 651:2:4041
 654 652:2:4049
 655 653:2:4053
 656 654:2:4054
 657 655:2:4049
 658 656:2:4053
 659 657:2:4054
 660 658:2:4058
 661 659:2:4065
 662 660:2:4072
 663 661:2:4073
 664 662:2:4080
 665 663:2:4085
 666 664:2:4092
 667 665:2:4093
 668 666:2:4092
 669 667:2:4093
 670 668:2:4100
 671 669:2:4104
 672 670:0:4497
 673 671:2:4109
 674 672:0:4497
 675 673:2:4110
 676 674:0:4497
 677 675:2:4111
 678 676:0:4497
 679 677:2:4112
 680 678:0:4497
 681 679:1:26
 682 680:0:4497
 683 681:2:4113
 684 682:0:4497
 685 683:1:30
 686 684:1:31
 687 685:1:35
 688 686:1:39
 689 687:1:40
 690 688:1:44
 691 689:1:52
 692 690:1:53
 693 691:1:57
 694 692:1:61
 695 693:1:62
 696 694:1:57
 697 695:1:61
 698 696:1:62
 699 697:1:66
 700 698:1:73
 701 699:1:80
 702 700:1:81
 703 701:1:88
 704 702:1:93
 705 703:1:100
 706 704:1:101
 707 705:1:100
 708 706:1:101
 709 707:1:108
 710 708:1:112
 711 709:0:4497
 712 710:2:4112
 713 711:0:4497
 714 712:1:117
 715 713:0:4497
 716 714:2:4113
 717 715:0:4497
 718 716:2:4114
 719 717:0:4497
 720 718:2:4119
 721 719:0:4497
 722 720:2:4120
 723 721:0:4497
 724 722:2:4128
 725 723:2:4129
 726 724:2:4133
 727 725:2:4137
 728 726:2:4138
 729 727:2:4142
 730 728:2:4150
 731 729:2:4151
 732 730:2:4155
 733 731:2:4159
 734 732:2:4160
 735 733:2:4155
 736 734:2:4159
 737 735:2:4160
 738 736:2:4164
 739 737:2:4171
 740 738:2:4178
 741 739:2:4179
 742 740:2:4186
 743 741:2:4191
 744 742:2:4198
 745 743:2:4199
 746 744:2:4198
 747 745:2:4199
 748 746:2:4206
 749 747:2:4210
 750 748:0:4497
 751 749:2:3071
 752 750:2:4003
 753 751:0:4497
 754 752:2:2881
 755 753:0:4497
 756 754:2:3072
 757 755:0:4497
 758 756:2:2881
 759 757:0:4497
 760 758:2:3075
 761 759:2:3076
 762 760:2:3080
 763 761:2:3081
 764 762:2:3089
 765 763:2:3090
 766 764:2:3094
 767 765:2:3095
 768 766:2:3103
 769 767:2:3108
 770 768:2:3112
 771 769:2:3113
 772 770:2:3121
 773 771:2:3122
 774 772:2:3126
 775 773:2:3127
 776 774:2:3121
 777 775:2:3122
 778 776:2:3126
 779 777:2:3127
 780 778:2:3135
 781 779:2:3140
 782 780:2:3141
 783 781:2:3152
 784 782:2:3153
 785 783:2:3154
 786 784:2:3165
 787 785:2:3170
 788 786:2:3171
 789 787:2:3182
 790 788:2:3183
 791 789:2:3184
 792 790:2:3182
 793 791:2:3183
 794 792:2:3184
 795 793:2:3195
 796 794:2:3202
 797 795:0:4497
 798 796:2:2881
 799 797:0:4497
 800 798:2:3206
 801 799:2:3207
 802 800:2:3208
 803 801:2:3220
 804 802:2:3221
 805 803:2:3225
 806 804:2:3226
 807 805:2:3234
 808 806:2:3239
 809 807:2:3243
 810 808:2:3244
 811 809:2:3252
 812 810:2:3253
 813 811:2:3257
 814 812:2:3258
 815 813:2:3252
 816 814:2:3253
 817 815:2:3257
 818 816:2:3258
 819 817:2:3266
 820 818:2:3271
 821 819:2:3272
 822 820:2:3283
 823 821:2:3284
 824 822:2:3285
 825 823:2:3296
 826 824:2:3301
 827 825:2:3302
 828 826:2:3313
 829 827:2:3314
 830 828:2:3315
 831 829:2:3313
 832 830:2:3314
 833 831:2:3315
 834 832:2:3326
 835 833:2:3337
 836 834:2:3338
 837 835:0:4497
 838 836:2:2881
 839 837:0:4497
 840 838:2:3469
 841 839:2:3470
 842 840:2:3474
 843 841:2:3475
 844 842:2:3483
 845 843:2:3484
 846 844:2:3488
 847 845:2:3489
 848 846:2:3497
 849 847:2:3502
 850 848:2:3506
 851 849:2:3507
 852 850:2:3515
 853 851:2:3516
 854 852:2:3520
 855 853:2:3521
 856 854:2:3515
 857 855:2:3516
 858 856:2:3520
 859 857:2:3521
 860 858:2:3529
 861 859:2:3534
 862 860:2:3535
 863 861:2:3546
 864 862:2:3547
 865 863:2:3548
 866 864:2:3559
 867 865:2:3564
 868 866:2:3565
 869 867:2:3576
 870 868:2:3577
 871 869:2:3578
 872 870:2:3576
 873 871:2:3577
 874 872:2:3578
 875 873:2:3589
 876 874:0:4497
 877 875:2:2881
 878 876:0:4497
 879 877:2:3598
 880 878:2:3599
 881 879:2:3603
 882 880:2:3604
 883 881:2:3612
 884 882:2:3613
 885 883:2:3617
 886 884:2:3618
 887 885:2:3626
 888 886:2:3631
 889 887:2:3635
 890 888:2:3636
 891 889:2:3644
 892 890:2:3645
 893 891:2:3649
 894 892:2:3650
 895 893:2:3644
 896 894:2:3645
 897 895:2:3649
 898 896:2:3650
 899 897:2:3658
 900 898:2:3663
 901 899:2:3664
 902 900:2:3675
 903 901:2:3676
 904 902:2:3677
 905 903:2:3688
 906 904:2:3693
 907 905:2:3694
 908 906:2:3705
 909 907:2:3706
 910 908:2:3707
 911 909:2:3705
 912 910:2:3706
 913 911:2:3707
 914 912:2:3718
 915 913:2:3725
 916 914:0:4497
 917 915:2:2881
 918 916:0:4497
 919 917:2:3729
 920 918:2:3730
 921 919:2:3731
 922 920:2:3743
 923 921:2:3744
 924 922:2:3748
 925 923:2:3749
 926 924:2:3757
 927 925:2:3762
 928 926:2:3766
 929 927:2:3767
 930 928:2:3775
 931 929:2:3776
 932 930:2:3780
 933 931:2:3781
 934 932:2:3775
 935 933:2:3776
 936 934:2:3780
 937 935:2:3781
 938 936:2:3789
 939 937:2:3794
 940 938:2:3795
 941 939:2:3806
 942 940:2:3807
 943 941:2:3808
 944 942:2:3819
 945 943:2:3824
 946 944:2:3825
 947 945:2:3836
 948 946:2:3837
 949 947:2:3838
 950 948:2:3836
 951 949:2:3837
 952 950:2:3838
 953 951:2:3849
 954 952:2:3859
 955 953:2:3860
 956 954:0:4497
 957 955:2:2881
 958 956:0:4497
 959 957:2:3991
 960 958:0:4497
 961 959:2:4220
 962 960:2:4221
 963 961:2:4225
 964 962:2:4229
 965 963:2:4230
 966 964:2:4234
 967 965:2:4242
 968 966:2:4243
 969 967:2:4247
 970 968:2:4251
 971 969:2:4252
 972 970:2:4247
 973 971:2:4251
 974 972:2:4252
 975 973:2:4256
 976 974:2:4263
 977 975:2:4270
 978 976:2:4271
 979 977:2:4278
 980 978:2:4283
 981 979:2:4290
 982 980:2:4291
 983 981:2:4290
 984 982:2:4291
 985 983:2:4298
 986 984:2:4302
 987 985:0:4497
 988 986:2:4307
 989 987:0:4497
 990 988:2:4308
 991 989:0:4497
 992 990:2:4309
 993 991:0:4497
 994 992:2:4310
 995 993:0:4497
 996 994:1:26
 997 995:0:4497
 998 996:2:4311
 999 997:0:4497
1000 998:1:30
1001 999:1:31
1002 1000:1:35
1003 1001:1:39
1004 1002:1:40
1005 1003:1:44
1006 1004:1:52
1007 1005:1:53
1008 1006:1:57
1009 1007:1:61
1010 1008:1:62
1011 1009:1:57
1012 1010:1:61
1013 1011:1:62
1014 1012:1:66
1015 1013:1:73
1016 1014:1:80
1017 1015:1:81
1018 1016:1:88
1019 1017:1:93
1020 1018:1:100
1021 1019:1:101
1022 1020:1:100
1023 1021:1:101
1024 1022:1:108
1025 1023:1:112
1026 1024:0:4497
1027 1025:2:4310
1028 1026:0:4497
1029 1027:1:117
1030 1028:0:4497
1031 1029:2:4311
1032 1030:0:4497
1033 1031:2:4312
1034 1032:0:4497
1035 1033:2:4317
1036 1034:0:4497
1037 1035:2:4318
1038 1036:0:4497
1039 1037:2:4326
1040 1038:2:4327
1041 1039:2:4331
1042 1040:2:4335
1043 1041:2:4336
1044 1042:2:4340
1045 1043:2:4348
1046 1044:2:4349
1047 1045:2:4353
1048 1046:2:4357
1049 1047:2:4358
1050 1048:2:4353
1051 1049:2:4357
1052 1050:2:4358
1053 1051:2:4362
1054 1052:2:4369
1055 1053:2:4376
1056 1054:2:4377
1057 1055:2:4384
1058 1056:2:4389
1059 1057:2:4396
1060 1058:2:4397
1061 1059:2:4396
1062 1060:2:4397
1063 1061:2:4404
1064 1062:2:4408
1065 1063:0:4497
1066 1064:2:3993
1067 1065:2:4003
1068 1066:0:4497
1069 1067:2:2881
1070 1068:0:4497
1071 1069:2:3994
1072 1070:2:3995
1073 1071:0:4497
1074 1072:2:2881
1075 1073:0:4497
1076 1074:2:3999
1077 1075:0:4497
1078 1076:2:4007
1079 1077:0:4497
1080 1078:2:2878
1081 1079:0:4497
1082 1080:2:2879
1083 1081:0:4497
1084 1082:2:2880
1085 1083:0:4497
1086 1084:2:2881
1087 1085:0:4497
1088 1086:2:2882
1089 1087:2:2883
1090 1088:2:2887
1091 1089:2:2888
1092 1090:2:2896
1093 1091:2:2897
1094 1092:2:2901
1095 1093:2:2902
1096 1094:2:2910
1097 1095:2:2915
1098 1096:2:2919
1099 1097:2:2920
1100 1098:2:2928
1101 1099:2:2929
1102 1100:2:2933
1103 1101:2:2934
1104 1102:2:2928
1105 1103:2:2929
1106 1104:2:2930
1107 1105:2:2942
1108 1106:2:2947
1109 1107:2:2948
1110 1108:2:2959
1111 1109:2:2960
1112 1110:2:2961
1113 1111:2:2972
1114 1112:2:2977
1115 1113:2:2978
1116 1114:2:2989
1117 1115:2:2990
1118 1116:2:2991
1119 1117:2:2989
1120 1118:2:2990
1121 1119:2:2991
1122 1120:2:3002
1123 1121:2:3010
1124 1122:0:4497
1125 1123:2:2881
1126 1124:0:4497
1127 1125:2:3014
1128 1126:2:3018
1129 1127:2:3019
1130 1128:2:3023
1131 1129:2:3027
1132 1130:2:3028
1133 1131:2:3032
1134 1132:2:3040
1135 1133:2:3041
1136 1134:2:3045
1137 1135:2:3049
1138 1136:2:3050
1139 1137:2:3045
1140 1138:2:3046
1141 1139:2:3054
1142 1140:0:4497
1143 1141:2:2881
1144 1142:0:4497
1145 1143:2:3062
1146 1144:2:3063
1147 1145:2:3064
1148 1146:0:4497
1149 1147:2:2881
1150 1148:0:4497
1151 1149:2:3069
1152 1150:0:4497
1153 1151:2:4022
1154 1152:2:4023
1155 1153:2:4027
1156 1154:2:4031
1157 1155:2:4032
1158 1156:2:4036
1159 1157:2:4041
1160 1158:2:4049
1161 1159:2:4053
1162 1160:2:4054
1163 1161:2:4049
1164 1162:2:4053
1165 1163:2:4054
1166 1164:2:4058
1167 1165:2:4065
1168 1166:2:4072
1169 1167:2:4073
1170 1168:2:4080
1171 1169:2:4085
1172 1170:2:4092
1173 1171:2:4093
1174 1172:2:4092
1175 1173:2:4093
1176 1174:2:4100
1177 1175:2:4104
1178 1176:0:4497
1179 1177:2:4109
1180 1178:0:4497
1181 1179:2:4110
1182 1180:0:4497
1183 1181:2:4111
1184 1182:0:4497
1185 1183:2:4112
1186 1184:0:4497
1187 1185:1:26
1188 1186:0:4497
1189 1187:2:4113
1190 1188:0:4497
1191 1189:1:30
1192 1190:1:31
1193 1191:1:35
1194 1192:1:39
1195 1193:1:40
1196 1194:1:44
1197 1195:1:52
1198 1196:1:53
1199 1197:1:57
1200 1198:1:61
1201 1199:1:62
1202 1200:1:57
1203 1201:1:61
1204 1202:1:62
1205 1203:1:66
1206 1204:1:73
1207 1205:1:80
1208 1206:1:81
1209 1207:1:88
1210 1208:1:93
1211 1209:1:100
1212 1210:1:101
1213 1211:1:100
1214 1212:1:101
1215 1213:1:108
1216 1214:1:112
1217 1215:0:4497
1218 1216:2:4112
1219 1217:0:4497
1220 1218:1:117
1221 1219:0:4497
1222 1220:2:4113
1223 1221:0:4497
1224 1222:2:4114
1225 1223:0:4497
1226 1224:2:4119
1227 1225:0:4497
1228 1226:2:4120
1229 1227:0:4497
1230 1228:2:4128
1231 1229:2:4129
1232 1230:2:4133
1233 1231:2:4137
1234 1232:2:4138
1235 1233:2:4142
1236 1234:2:4150
1237 1235:2:4151
1238 1236:2:4155
1239 1237:2:4159
1240 1238:2:4160
1241 1239:2:4155
1242 1240:2:4159
1243 1241:2:4160
1244 1242:2:4164
1245 1243:2:4171
1246 1244:2:4178
1247 1245:2:4179
1248 1246:2:4186
1249 1247:2:4191
1250 1248:2:4198
1251 1249:2:4199
1252 1250:2:4198
1253 1251:2:4199
1254 1252:2:4206
1255 1253:2:4210
1256 1254:0:4497
1257 1255:2:3071
1258 1256:2:4003
1259 1257:0:4497
1260 1258:2:2881
1261 1259:0:4497
1262 1260:2:3072
1263 1261:0:4497
1264 1262:2:2881
1265 1263:0:4497
1266 1264:2:3075
1267 1265:2:3076
1268 1266:2:3080
1269 1267:2:3081
1270 1268:2:3089
1271 1269:2:3090
1272 1270:2:3094
1273 1271:2:3095
1274 1272:2:3103
1275 1273:2:3108
1276 1274:2:3112
1277 1275:2:3113
1278 1276:2:3121
1279 1277:2:3122
1280 1278:2:3126
1281 1279:2:3127
1282 1280:2:3121
1283 1281:2:3122
1284 1282:2:3126
1285 1283:2:3127
1286 1284:2:3135
1287 1285:2:3140
1288 1286:2:3141
1289 1287:2:3152
1290 1288:2:3153
1291 1289:2:3154
1292 1290:2:3165
1293 1291:2:3170
1294 1292:2:3171
1295 1293:2:3182
1296 1294:2:3183
1297 1295:2:3184
1298 1296:2:3182
1299 1297:2:3183
1300 1298:2:3184
1301 1299:2:3195
1302 1300:2:3202
1303 1301:0:4497
1304 1302:2:2881
1305 1303:0:4497
1306 1304:2:3206
1307 1305:2:3207
1308 1306:2:3208
1309 1307:2:3220
1310 1308:2:3221
1311 1309:2:3225
1312 1310:2:3226
1313 1311:2:3234
1314 1312:2:3239
1315 1313:2:3243
1316 1314:2:3244
1317 1315:2:3252
1318 1316:2:3253
1319 1317:2:3257
1320 1318:2:3258
1321 1319:2:3252
1322 1320:2:3253
1323 1321:2:3257
1324 1322:2:3258
1325 1323:2:3266
1326 1324:2:3271
1327 1325:2:3272
1328 1326:2:3283
1329 1327:2:3284
1330 1328:2:3285
1331 1329:2:3296
1332 1330:2:3301
1333 1331:2:3302
1334 1332:2:3313
1335 1333:2:3314
1336 1334:2:3315
1337 1335:2:3313
1338 1336:2:3314
1339 1337:2:3315
1340 1338:2:3326
1341 1339:2:3337
1342 1340:2:3338
1343 1341:0:4497
1344 1342:2:2881
1345 1343:0:4497
1346 1344:2:3469
1347 1345:2:3470
1348 1346:2:3474
1349 1347:2:3475
1350 1348:2:3483
1351 1349:2:3484
1352 1350:2:3488
1353 1351:2:3489
1354 1352:2:3497
1355 1353:2:3502
1356 1354:2:3506
1357 1355:2:3507
1358 1356:2:3515
1359 1357:2:3516
1360 1358:2:3520
1361 1359:2:3521
1362 1360:2:3515
1363 1361:2:3516
1364 1362:2:3520
1365 1363:2:3521
1366 1364:2:3529
1367 1365:2:3534
1368 1366:2:3535
1369 1367:2:3546
1370 1368:2:3547
1371 1369:2:3548
1372 1370:2:3559
1373 1371:2:3564
1374 1372:2:3565
1375 1373:2:3576
1376 1374:2:3577
1377 1375:2:3578
1378 1376:2:3576
1379 1377:2:3577
1380 1378:2:3578
1381 1379:2:3589
1382 1380:0:4497
1383 1381:2:2881
1384 1382:0:4497
1385 1383:2:3598
1386 1384:2:3599
1387 1385:2:3603
1388 1386:2:3604
1389 1387:2:3612
1390 1388:2:3613
1391 1389:2:3617
1392 1390:2:3618
1393 1391:2:3626
1394 1392:2:3631
1395 1393:2:3635
1396 1394:2:3636
1397 1395:2:3644
1398 1396:2:3645
1399 1397:2:3649
1400 1398:2:3650
1401 1399:2:3644
1402 1400:2:3645
1403 1401:2:3649
1404 1402:2:3650
1405 1403:2:3658
1406 1404:2:3663
1407 1405:2:3664
1408 1406:2:3675
1409 1407:2:3676
1410 1408:2:3677
1411 1409:2:3688
1412 1410:2:3693
1413 1411:2:3694
1414 1412:2:3705
1415 1413:2:3706
1416 1414:2:3707
1417 1415:2:3705
1418 1416:2:3706
1419 1417:2:3707
1420 1418:2:3718
1421 1419:2:3725
1422 1420:0:4497
1423 1421:2:2881
1424 1422:0:4497
1425 1423:1:118
1426 1424:0:4497
1427 1425:1:120
1428 1426:0:4497
1429 1427:1:19
1430 1428:0:4497
1431 1429:1:126
1432 1430:1:127
1433 1431:1:131
1434 1432:1:132
1435 1433:1:140
1436 1434:1:141
1437 1435:1:145
1438 1436:1:146
1439 1437:1:154
1440 1438:1:159
1441 1439:1:163
1442 1440:1:164
1443 1441:1:172
1444 1442:1:173
1445 1443:1:177
1446 1444:1:178
1447 1445:1:172
1448 1446:1:173
1449 1447:1:177
1450 1448:1:178
1451 1449:1:186
1452 1450:1:191
1453 1451:1:192
1454 1452:1:203
1455 1453:1:204
1456 1454:1:205
1457 1455:1:216
1458 1456:1:221
1459 1457:1:222
1460 1458:1:233
1461 1459:1:234
1462 1460:1:235
1463 1461:1:233
1464 1462:1:234
1465 1463:1:235
1466 1464:1:246
1467 1465:0:4497
1468 1466:1:15
1469 1467:0:4497
1470 1468:1:16
1471 1469:0:4497
1472 1470:1:17
1473 1471:0:4497
1474 1472:1:118
1475 1473:0:4497
1476 1474:1:120
1477 1475:0:4497
1478 1476:1:19
1479 1477:0:4497
1480 1478:1:255
1481 1479:1:256
1482 1480:0:4497
1483 1481:1:15
1484 1482:0:4497
1485 1483:1:16
1486 1484:0:4497
1487 1485:1:17
1488 1486:0:4497
1489 1487:1:118
1490 1488:0:4497
1491 1489:1:120
1492 1490:0:4497
1493 1491:1:19
1494 1492:0:4497
1495 1493:1:262
1496 1494:1:263
1497 1495:1:267
1498 1496:1:268
1499 1497:1:276
1500 1498:1:277
1501 1499:1:281
1502 1500:1:282
1503 1501:1:290
1504 1502:1:295
1505 1503:1:299
1506 1504:1:300
1507 1505:1:308
1508 1506:1:309
1509 1507:1:313
1510 1508:1:314
1511 1509:1:308
1512 1510:1:309
1513 1511:1:313
1514 1512:1:314
1515 1513:1:322
1516 1514:1:327
1517 1515:1:328
1518 1516:1:339
1519 1517:1:340
1520 1518:1:341
1521 1519:1:352
1522 1520:1:357
1523 1521:1:358
1524 1522:1:369
1525 1523:1:370
1526 1524:1:371
1527 1525:1:369
1528 1526:1:370
1529 1527:1:371
1530 1528:1:382
1531 1529:0:4497
1532 1530:1:15
1533 1531:0:4497
1534 1532:1:16
1535 1533:0:4497
1536 1534:1:17
1537 1535:0:4497
1538 1536:1:118
1539 1537:0:4497
1540 1538:1:120
1541 1539:0:4497
1542 1540:1:19
1543 1541:0:4497
1544 1542:1:391
1545 1543:1:392
1546 1544:1:396
1547 1545:1:397
1548 1546:1:405
1549 1547:1:406
1550 1548:1:410
1551 1549:1:411
1552 1550:1:419
1553 1551:1:424
1554 1552:1:428
1555 1553:1:429
1556 1554:1:437
1557 1555:1:438
1558 1556:1:442
1559 1557:1:443
1560 1558:1:437
1561 1559:1:438
1562 1560:1:442
1563 1561:1:443
1564 1562:1:451
1565 1563:1:456
1566 1564:1:457
1567 1565:1:468
1568 1566:1:469
1569 1567:1:470
1570 1568:1:481
1571 1569:1:486
1572 1570:1:487
1573 1571:1:498
1574 1572:1:499
1575 1573:1:500
1576 1574:1:498
1577 1575:1:499
1578 1576:1:500
1579 1577:1:511
1580 1578:1:518
1581 1579:0:4497
1582 1580:1:15
1583 1581:0:4497
1584 1582:1:16
1585 1583:0:4497
1586 1584:1:17
1587 1585:0:4497
1588 1586:1:118
1589 1587:0:4497
1590 1588:1:120
1591 1589:0:4495
1592 1590:1:19
1593 1591:0:4501
1594 1592:1:1184
1595 1593:1:1185
1596 1594:1:1189
1597 1595:1:1190
1598 1596:1:1198
1599 1597:1:1199
1600 1598:1:1200
1601 1599:1:1212
1602 1600:1:1217
1603 1601:1:1221
1604 1602:1:1222
1605 1603:1:1230
1606 1604:1:1231
1607 1605:1:1235
1608 1606:1:1236
1609 1607:1:1230
1610 1608:1:1231
1611 1609:1:1235
1612 1610:1:1236
1613 1611:1:1244
1614 1612:1:1249
1615 1613:1:1250
1616 1614:1:1261
1617 1615:1:1262
1618 1616:1:1263
1619 1617:1:1274
1620 1618:1:1279
1621 1619:1:1280
1622 1620:1:1291
1623 1621:1:1292
1624 1622:1:1293
1625 1623:1:1291
1626 1624:1:1292
1627 1625:1:1293
1628 1626:1:1304
1629 1627:0:4501
1630 1628:1:15
1631 1629:0:4501
1632 1630:1:16
1633 1631:0:4501
1634 1632:2:3729
1635 1633:2:3730
1636 1634:2:3731
1637 1635:2:3743
1638 1636:2:3744
1639 1637:2:3748
1640 1638:2:3749
1641 1639:2:3757
1642 1640:2:3762
1643 1641:2:3766
1644 1642:2:3767
1645 1643:2:3775
1646 1644:2:3776
1647 1645:2:3780
1648 1646:2:3781
1649 1647:2:3775
1650 1648:2:3776
1651 1649:2:3780
1652 1650:2:3781
1653 1651:2:3789
1654 1652:2:3794
1655 1653:2:3795
1656 1654:2:3806
1657 1655:2:3807
1658 1656:2:3808
1659 1657:2:3819
1660 1658:2:3824
1661 1659:2:3825
1662 1660:2:3836
1663 1661:2:3837
1664 1662:2:3838
1665 1663:2:3836
1666 1664:2:3837
1667 1665:2:3838
1668 1666:2:3849
1669 1667:2:3857
1670 1668:0:4501
1671 1669:2:2881
1672 -1:-1:-1
1673 1670:0:4501
1674 1671:2:3863
1675 1672:2:3864
1676 1673:2:3868
1677 1674:2:3869
1678 1675:2:3877
1679 1676:2:3878
1680 1677:2:3882
1681 1678:2:3883
1682 1679:2:3891
1683 1680:2:3896
1684 1681:2:3900
1685 1682:2:3901
1686 1683:2:3909
1687 1684:2:3910
1688 1685:2:3914
1689 1686:2:3915
1690 1687:2:3909
1691 1688:2:3910
1692 1689:2:3914
1693 1690:2:3915
1694 1691:2:3923
1695 1692:2:3928
1696 1693:2:3929
1697 1694:2:3940
1698 1695:2:3941
1699 1696:2:3942
1700 1697:2:3953
1701 1698:2:3958
1702 1699:2:3959
1703 1700:2:3970
1704 1701:2:3971
1705 1702:2:3972
1706 1703:2:3970
1707 1704:2:3971
1708 1705:2:3972
1709 1706:2:3983
1710 1707:0:4501
1711 1708:2:2881
1712 1709:0:4501
1713 1710:2:3729
1714 1711:2:3730
1715 1712:2:3734
1716 1713:2:3735
1717 1714:2:3743
1718 1715:2:3744
1719 1716:2:3748
1720 1717:2:3749
1721 1718:2:3757
1722 1719:2:3762
1723 1720:2:3766
1724 1721:2:3767
1725 1722:2:3775
1726 1723:2:3776
1727 1724:2:3780
1728 1725:2:3781
1729 1726:2:3775
1730 1727:2:3776
1731 1728:2:3780
1732 1729:2:3781
1733 1730:2:3789
1734 1731:2:3794
1735 1732:2:3795
1736 1733:2:3806
1737 1734:2:3807
1738 1735:2:3808
1739 1736:2:3819
1740 1737:2:3824
1741 1738:2:3825
1742 1739:2:3836
1743 1740:2:3837
1744 1741:2:3838
1745 1742:2:3836
1746 1743:2:3837
1747 1744:2:3838
1748 1745:2:3849
1749 1746:2:3857
1750 1747:0:4501
1751 1748:2:2881
1752 1749:0:4501
1753 1750:2:3863
1754 1751:2:3864
1755 1752:2:3868
1756 1753:2:3869
1757 1754:2:3877
1758 1755:2:3878
1759 1756:2:3882
1760 1757:2:3883
1761 1758:2:3891
1762 1759:2:3896
1763 1760:2:3900
1764 1761:2:3901
1765 1762:2:3909
1766 1763:2:3910
1767 1764:2:3914
1768 1765:2:3915
1769 1766:2:3909
1770 1767:2:3910
1771 1768:2:3914
1772 1769:2:3915
1773 1770:2:3923
1774 1771:2:3928
1775 1772:2:3929
1776 1773:2:3940
1777 1774:2:3941
1778 1775:2:3942
1779 1776:2:3953
1780 1777:2:3958
1781 1778:2:3959
1782 1779:2:3970
1783 1780:2:3971
1784 1781:2:3972
1785 1782:2:3970
1786 1783:2:3971
1787 1784:2:3972
1788 1785:2:3983
1789 1786:0:4501
1790 1787:2:2881
1791 1788:0:4501
1792 1789:2:3729
1793 1790:2:3730
1794 1791:2:3734
1795 1792:2:3735
1796 1793:2:3743
1797 1794:2:3744
1798 1795:2:3748
1799 1796:2:3749
1800 1797:2:3757
1801 1798:2:3762
1802 1799:2:3766
1803 1800:2:3767
1804 1801:2:3775
1805 1802:2:3776
1806 1803:2:3780
1807 1804:2:3781
1808 1805:2:3775
1809 1806:2:3776
1810 1807:2:3780
1811 1808:2:3781
1812 1809:2:3789
1813 1810:2:3794
1814 1811:2:3795
1815 1812:2:3806
1816 1813:2:3807
1817 1814:2:3808
1818 1815:2:3819
1819 1816:2:3824
1820 1817:2:3825
1821 1818:2:3836
1822 1819:2:3837
1823 1820:2:3838
1824 1821:2:3836
1825 1822:2:3837
1826 1823:2:3838
1827 1824:2:3849
1828 1825:2:3857
1829 1826:0:4501
1830 1827:2:2881