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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4811
   4 2:3:4731
   5 3:3:4734
   6 4:3:4734
   7 5:3:4737
   8 6:3:4745
   9 7:3:4745
  10 8:3:4748
  11 9:3:4754
  12 10:3:4758
  13 11:3:4758
  14 12:3:4761
  15 13:3:4771
  16 14:3:4779
  17 15:3:4779
  18 16:3:4782
  19 17:3:4788
  20 18:3:4792
  21 19:3:4792
  22 20:3:4795
  23 21:3:4801
  24 22:3:4805
  25 23:3:4806
  26 24:0:4811
  27 25:3:4808
  28 26:0:4811
  29 27:2:3039
  30 28:0:4811
  31 29:2:3045
  32 30:0:4811
  33 31:2:3046
  34 32:0:4811
  35 33:2:3048
  36 34:0:4811
  37 35:2:3049
  38 36:0:4811
  39 37:2:3050
  40 38:2:3051
  41 39:2:3055
  42 40:2:3056
  43 41:2:3064
  44 42:2:3065
  45 43:2:3069
  46 44:2:3070
  47 45:2:3078
  48 46:2:3083
  49 47:2:3087
  50 48:2:3088
  51 49:2:3096
  52 50:2:3097
  53 51:2:3101
  54 52:2:3102
  55 53:2:3096
  56 54:2:3097
  57 55:2:3101
  58 56:2:3102
  59 57:2:3110
  60 58:2:3115
  61 59:2:3116
  62 60:2:3127
  63 61:2:3128
  64 62:2:3129
  65 63:2:3140
  66 64:2:3145
  67 65:2:3146
  68 66:2:3157
  69 67:2:3158
  70 68:2:3159
  71 69:2:3157
  72 70:2:3158
  73 71:2:3159
  74 72:2:3170
  75 73:2:3178
  76 74:0:4811
  77 75:2:3049
  78 76:0:4811
  79 77:2:3182
  80 78:2:3186
  81 79:2:3187
  82 80:2:3191
  83 81:2:3195
  84 82:2:3196
  85 83:2:3200
  86 84:2:3208
  87 85:2:3209
  88 86:2:3213
  89 87:2:3217
  90 88:2:3218
  91 89:2:3213
  92 90:2:3214
  93 91:2:3222
  94 92:0:4811
  95 93:2:3049
  96 94:0:4811
  97 95:2:3230
  98 96:2:3231
  99 97:2:3232
 100 98:0:4811
 101 99:2:3049
 102 100:0:4811
 103 101:2:3237
 104 102:0:4811
 105 103:2:3940
 106 104:2:3941
 107 105:2:3945
 108 106:2:3949
 109 107:2:3950
 110 108:2:3954
 111 109:2:3959
 112 110:2:3967
 113 111:2:3971
 114 112:2:3972
 115 113:2:3967
 116 114:2:3971
 117 115:2:3972
 118 116:2:3976
 119 117:2:3983
 120 118:2:3990
 121 119:2:3991
 122 120:2:3998
 123 121:2:4003
 124 122:2:4010
 125 123:2:4011
 126 124:2:4010
 127 125:2:4011
 128 126:2:4018
 129 127:2:4022
 130 128:0:4811
 131 129:2:4027
 132 130:0:4811
 133 131:2:4028
 134 132:0:4811
 135 133:2:4029
 136 134:0:4811
 137 135:2:4030
 138 136:0:4811
 139 137:1:2
 140 138:0:4811
 141 139:2:4031
 142 140:0:4811
 143 141:1:8
 144 142:0:4811
 145 143:1:9
 146 144:0:4811
 147 145:2:4030
 148 146:0:4811
 149 147:1:10
 150 148:0:4811
 151 149:2:4031
 152 150:0:4811
 153 151:1:11
 154 152:0:4811
 155 153:2:4030
 156 154:0:4811
 157 155:1:12
 158 156:0:4811
 159 157:2:4031
 160 158:0:4811
 161 159:1:13
 162 160:0:4811
 163 161:2:4030
 164 162:0:4811
 165 163:1:14
 166 164:0:4811
 167 165:2:4031
 168 166:0:4811
 169 167:1:15
 170 168:0:4811
 171 169:1:16
 172 170:0:4811
 173 171:2:4030
 174 172:0:4811
 175 173:1:17
 176 174:0:4811
 177 175:2:4031
 178 176:0:4811
 179 177:1:26
 180 178:0:4811
 181 179:2:4030
 182 180:0:4811
 183 181:1:30
 184 182:1:31
 185 183:1:35
 186 184:1:39
 187 185:1:40
 188 186:1:44
 189 187:1:52
 190 188:1:53
 191 189:1:57
 192 190:1:61
 193 191:1:62
 194 192:1:57
 195 193:1:61
 196 194:1:62
 197 195:1:66
 198 196:1:73
 199 197:1:80
 200 198:1:81
 201 199:1:88
 202 200:1:93
 203 201:1:100
 204 202:1:101
 205 203:1:100
 206 204:1:101
 207 205:1:108
 208 206:1:112
 209 207:0:4811
 210 208:2:4031
 211 209:0:4811
 212 210:1:117
 213 211:0:4811
 214 212:2:4032
 215 213:0:4811
 216 214:2:4037
 217 215:0:4811
 218 216:2:4038
 219 217:0:4811
 220 218:2:4046
 221 219:2:4047
 222 220:2:4051
 223 221:2:4055
 224 222:2:4056
 225 223:2:4060
 226 224:2:4068
 227 225:2:4069
 228 226:2:4073
 229 227:2:4077
 230 228:2:4078
 231 229:2:4073
 232 230:2:4077
 233 231:2:4078
 234 232:2:4082
 235 233:2:4089
 236 234:2:4096
 237 235:2:4097
 238 236:2:4104
 239 237:2:4109
 240 238:2:4116
 241 239:2:4117
 242 240:2:4116
 243 241:2:4117
 244 242:2:4124
 245 243:2:4128
 246 244:0:4811
 247 245:2:3239
 248 246:2:3921
 249 247:0:4811
 250 248:2:3049
 251 249:0:4811
 252 250:2:3240
 253 251:0:4811
 254 252:2:3049
 255 253:0:4811
 256 254:2:3243
 257 255:2:3244
 258 256:2:3248
 259 257:2:3249
 260 258:2:3257
 261 259:2:3258
 262 260:2:3262
 263 261:2:3263
 264 262:2:3271
 265 263:2:3276
 266 264:2:3280
 267 265:2:3281
 268 266:2:3289
 269 267:2:3290
 270 268:2:3294
 271 269:2:3295
 272 270:2:3289
 273 271:2:3290
 274 272:2:3294
 275 273:2:3295
 276 274:2:3303
 277 275:2:3308
 278 276:2:3309
 279 277:2:3320
 280 278:2:3321
 281 279:2:3322
 282 280:2:3333
 283 281:2:3338
 284 282:2:3339
 285 283:2:3350
 286 284:2:3351
 287 285:2:3352
 288 286:2:3350
 289 287:2:3351
 290 288:2:3352
 291 289:2:3363
 292 290:2:3370
 293 291:0:4811
 294 292:2:3049
 295 293:0:4811
 296 294:2:3374
 297 295:2:3375
 298 296:2:3376
 299 297:2:3388
 300 298:2:3389
 301 299:2:3393
 302 300:2:3394
 303 301:2:3402
 304 302:2:3407
 305 303:2:3411
 306 304:2:3412
 307 305:2:3420
 308 306:2:3421
 309 307:2:3425
 310 308:2:3426
 311 309:2:3420
 312 310:2:3421
 313 311:2:3425
 314 312:2:3426
 315 313:2:3434
 316 314:2:3439
 317 315:2:3440
 318 316:2:3451
 319 317:2:3452
 320 318:2:3453
 321 319:2:3464
 322 320:2:3469
 323 321:2:3470
 324 322:2:3481
 325 323:2:3482
 326 324:2:3483
 327 325:2:3481
 328 326:2:3482
 329 327:2:3483
 330 328:2:3494
 331 329:2:3505
 332 330:2:3506
 333 331:0:4811
 334 332:2:3049
 335 333:0:4811
 336 334:2:3512
 337 335:2:3513
 338 336:2:3517
 339 337:2:3518
 340 338:2:3526
 341 339:2:3527
 342 340:2:3531
 343 341:2:3532
 344 342:2:3540
 345 343:2:3545
 346 344:2:3549
 347 345:2:3550
 348 346:2:3558
 349 347:2:3559
 350 348:2:3563
 351 349:2:3564
 352 350:2:3558
 353 351:2:3559
 354 352:2:3563
 355 353:2:3564
 356 354:2:3572
 357 355:2:3577
 358 356:2:3578
 359 357:2:3589
 360 358:2:3590
 361 359:2:3591
 362 360:2:3602
 363 361:2:3607
 364 362:2:3608
 365 363:2:3619
 366 364:2:3620
 367 365:2:3621
 368 366:2:3619
 369 367:2:3620
 370 368:2:3621
 371 369:2:3632
 372 370:0:4811
 373 371:2:3049
 374 372:0:4811
 375 373:2:3641
 376 374:2:3642
 377 375:2:3646
 378 376:2:3647
 379 377:2:3655
 380 378:2:3656
 381 379:2:3660
 382 380:2:3661
 383 381:2:3669
 384 382:2:3674
 385 383:2:3678
 386 384:2:3679
 387 385:2:3687
 388 386:2:3688
 389 387:2:3692
 390 388:2:3693
 391 389:2:3687
 392 390:2:3688
 393 391:2:3692
 394 392:2:3693
 395 393:2:3701
 396 394:2:3706
 397 395:2:3707
 398 396:2:3718
 399 397:2:3719
 400 398:2:3720
 401 399:2:3731
 402 400:2:3736
 403 401:2:3737
 404 402:2:3748
 405 403:2:3749
 406 404:2:3750
 407 405:2:3748
 408 406:2:3749
 409 407:2:3750
 410 408:2:3761
 411 409:2:3768
 412 410:0:4811
 413 411:2:3049
 414 412:0:4811
 415 413:2:3772
 416 414:2:3773
 417 415:2:3774
 418 416:2:3786
 419 417:2:3787
 420 418:2:3791
 421 419:2:3792
 422 420:2:3800
 423 421:2:3805
 424 422:2:3809
 425 423:2:3810
 426 424:2:3818
 427 425:2:3819
 428 426:2:3823
 429 427:2:3824
 430 428:2:3818
 431 429:2:3819
 432 430:2:3823
 433 431:2:3824
 434 432:2:3832
 435 433:2:3837
 436 434:2:3838
 437 435:2:3849
 438 436:2:3850
 439 437:2:3851
 440 438:2:3862
 441 439:2:3867
 442 440:2:3868
 443 441:2:3879
 444 442:2:3880
 445 443:2:3881
 446 444:2:3879
 447 445:2:3880
 448 446:2:3881
 449 447:2:3892
 450 448:2:3902
 451 449:2:3903
 452 450:0:4811
 453 451:2:3049
 454 452:0:4811
 455 453:2:3909
 456 454:0:4811
 457 455:2:4534
 458 456:2:4535
 459 457:2:4539
 460 458:2:4543
 461 459:2:4544
 462 460:2:4548
 463 461:2:4556
 464 462:2:4557
 465 463:2:4561
 466 464:2:4565
 467 465:2:4566
 468 466:2:4561
 469 467:2:4565
 470 468:2:4566
 471 469:2:4570
 472 470:2:4577
 473 471:2:4584
 474 472:2:4585
 475 473:2:4592
 476 474:2:4597
 477 475:2:4604
 478 476:2:4605
 479 477:2:4604
 480 478:2:4605
 481 479:2:4612
 482 480:2:4616
 483 481:0:4811
 484 482:2:4621
 485 483:0:4811
 486 484:2:4622
 487 485:0:4811
 488 486:2:4623
 489 487:0:4811
 490 488:2:4624
 491 489:0:4811
 492 490:1:26
 493 491:0:4811
 494 492:2:4625
 495 493:0:4811
 496 494:1:30
 497 495:1:31
 498 496:1:35
 499 497:1:39
 500 498:1:40
 501 499:1:44
 502 500:1:52
 503 501:1:53
 504 502:1:57
 505 503:1:61
 506 504:1:62
 507 505:1:57
 508 506:1:61
 509 507:1:62
 510 508:1:66
 511 509:1:73
 512 510:1:80
 513 511:1:81
 514 512:1:88
 515 513:1:93
 516 514:1:100
 517 515:1:101
 518 516:1:100
 519 517:1:101
 520 518:1:108
 521 519:1:112
 522 520:0:4811
 523 521:2:4624
 524 522:0:4811
 525 523:1:117
 526 524:0:4811
 527 525:2:4625
 528 526:0:4811
 529 527:2:4626
 530 528:0:4811
 531 529:2:4631
 532 530:0:4811
 533 531:2:4632
 534 532:0:4811
 535 533:2:4640
 536 534:2:4641
 537 535:2:4645
 538 536:2:4649
 539 537:2:4650
 540 538:2:4654
 541 539:2:4662
 542 540:2:4663
 543 541:2:4667
 544 542:2:4671
 545 543:2:4672
 546 544:2:4667
 547 545:2:4671
 548 546:2:4672
 549 547:2:4676
 550 548:2:4683
 551 549:2:4690
 552 550:2:4691
 553 551:2:4698
 554 552:2:4703
 555 553:2:4710
 556 554:2:4711
 557 555:2:4710
 558 556:2:4711
 559 557:2:4718
 560 558:2:4722
 561 559:0:4811
 562 560:2:3911
 563 561:2:3921
 564 562:0:4811
 565 563:2:3049
 566 564:0:4811
 567 565:2:3912
 568 566:2:3913
 569 567:0:4811
 570 568:2:3049
 571 569:0:4811
 572 570:2:3917
 573 571:0:4811
 574 572:2:3925
 575 573:0:4811
 576 574:2:3046
 577 575:0:4811
 578 576:2:3048
 579 577:0:4811
 580 578:2:3049
 581 579:0:4811
 582 580:2:3050
 583 581:2:3051
 584 582:2:3055
 585 583:2:3056
 586 584:2:3064
 587 585:2:3065
 588 586:2:3069
 589 587:2:3070
 590 588:2:3078
 591 589:2:3083
 592 590:2:3087
 593 591:2:3088
 594 592:2:3096
 595 593:2:3097
 596 594:2:3098
 597 595:2:3096
 598 596:2:3097
 599 597:2:3101
 600 598:2:3102
 601 599:2:3110
 602 600:2:3115
 603 601:2:3116
 604 602:2:3127
 605 603:2:3128
 606 604:2:3129
 607 605:2:3140
 608 606:2:3145
 609 607:2:3146
 610 608:2:3157
 611 609:2:3158
 612 610:2:3159
 613 611:2:3157
 614 612:2:3158
 615 613:2:3159
 616 614:2:3170
 617 615:2:3178
 618 616:0:4811
 619 617:2:3049
 620 618:0:4811
 621 619:2:3182
 622 620:2:3186
 623 621:2:3187
 624 622:2:3191
 625 623:2:3195
 626 624:2:3196
 627 625:2:3200
 628 626:2:3208
 629 627:2:3209
 630 628:2:3213
 631 629:2:3214
 632 630:2:3213
 633 631:2:3217
 634 632:2:3218
 635 633:2:3222
 636 634:0:4811
 637 635:2:3049
 638 636:0:4811
 639 637:2:3230
 640 638:2:3231
 641 639:2:3232
 642 640:0:4811
 643 641:2:3049
 644 642:0:4811
 645 643:2:3237
 646 644:0:4811
 647 645:2:3940
 648 646:2:3941
 649 647:2:3945
 650 648:2:3949
 651 649:2:3950
 652 650:2:3954
 653 651:2:3959
 654 652:2:3967
 655 653:2:3971
 656 654:2:3972
 657 655:2:3967
 658 656:2:3971
 659 657:2:3972
 660 658:2:3976
 661 659:2:3983
 662 660:2:3990
 663 661:2:3991
 664 662:2:3998
 665 663:2:4003
 666 664:2:4010
 667 665:2:4011
 668 666:2:4010
 669 667:2:4011
 670 668:2:4018
 671 669:2:4022
 672 670:0:4811
 673 671:2:4027
 674 672:0:4811
 675 673:2:4028
 676 674:0:4811
 677 675:2:4029
 678 676:0:4811
 679 677:2:4030
 680 678:0:4811
 681 679:1:26
 682 680:0:4811
 683 681:2:4031
 684 682:0:4811
 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:4811
 712 710:2:4030
 713 711:0:4811
 714 712:1:117
 715 713:0:4811
 716 714:2:4031
 717 715:0:4811
 718 716:2:4032
 719 717:0:4811
 720 718:2:4037
 721 719:0:4811
 722 720:2:4038
 723 721:0:4811
 724 722:2:4046
 725 723:2:4047
 726 724:2:4051
 727 725:2:4055
 728 726:2:4056
 729 727:2:4060
 730 728:2:4068
 731 729:2:4069
 732 730:2:4073
 733 731:2:4077
 734 732:2:4078
 735 733:2:4073
 736 734:2:4077
 737 735:2:4078
 738 736:2:4082
 739 737:2:4089
 740 738:2:4096
 741 739:2:4097
 742 740:2:4104
 743 741:2:4109
 744 742:2:4116
 745 743:2:4117
 746 744:2:4116
 747 745:2:4117
 748 746:2:4124
 749 747:2:4128
 750 748:0:4811
 751 749:2:3239
 752 750:2:3921
 753 751:0:4811
 754 752:2:3049
 755 753:0:4811
 756 754:2:3240
 757 755:0:4811
 758 756:2:3049
 759 757:0:4811
 760 758:2:3243
 761 759:2:3244
 762 760:2:3248
 763 761:2:3249
 764 762:2:3257
 765 763:2:3258
 766 764:2:3262
 767 765:2:3263
 768 766:2:3271
 769 767:2:3276
 770 768:2:3280
 771 769:2:3281
 772 770:2:3289
 773 771:2:3290
 774 772:2:3294
 775 773:2:3295
 776 774:2:3289
 777 775:2:3290
 778 776:2:3294
 779 777:2:3295
 780 778:2:3303
 781 779:2:3308
 782 780:2:3309
 783 781:2:3320
 784 782:2:3321
 785 783:2:3322
 786 784:2:3333
 787 785:2:3338
 788 786:2:3339
 789 787:2:3350
 790 788:2:3351
 791 789:2:3352
 792 790:2:3350
 793 791:2:3351
 794 792:2:3352
 795 793:2:3363
 796 794:2:3370
 797 795:0:4811
 798 796:2:3049
 799 797:0:4811
 800 798:2:3374
 801 799:2:3375
 802 800:2:3376
 803 801:2:3388
 804 802:2:3389
 805 803:2:3393
 806 804:2:3394
 807 805:2:3402
 808 806:2:3407
 809 807:2:3411
 810 808:2:3412
 811 809:2:3420
 812 810:2:3421
 813 811:2:3425
 814 812:2:3426
 815 813:2:3420
 816 814:2:3421
 817 815:2:3425
 818 816:2:3426
 819 817:2:3434
 820 818:2:3439
 821 819:2:3440
 822 820:2:3451
 823 821:2:3452
 824 822:2:3453
 825 823:2:3464
 826 824:2:3469
 827 825:2:3470
 828 826:2:3481
 829 827:2:3482
 830 828:2:3483
 831 829:2:3481
 832 830:2:3482
 833 831:2:3483
 834 832:2:3494
 835 833:2:3505
 836 834:2:3506
 837 835:0:4811
 838 836:2:3049
 839 837:0:4811
 840 838:2:3512
 841 839:2:3513
 842 840:2:3517
 843 841:2:3518
 844 842:2:3526
 845 843:2:3527
 846 844:2:3531
 847 845:2:3532
 848 846:2:3540
 849 847:2:3545
 850 848:2:3549
 851 849:2:3550
 852 850:2:3558
 853 851:2:3559
 854 852:2:3563
 855 853:2:3564
 856 854:2:3558
 857 855:2:3559
 858 856:2:3563
 859 857:2:3564
 860 858:2:3572
 861 859:2:3577
 862 860:2:3578
 863 861:2:3589
 864 862:2:3590
 865 863:2:3591
 866 864:2:3602
 867 865:2:3607
 868 866:2:3608
 869 867:2:3619
 870 868:2:3620
 871 869:2:3621
 872 870:2:3619
 873 871:2:3620
 874 872:2:3621
 875 873:2:3632
 876 874:0:4811
 877 875:2:3049
 878 876:0:4811
 879 877:2:3641
 880 878:2:3642
 881 879:2:3646
 882 880:2:3647
 883 881:2:3655
 884 882:2:3656
 885 883:2:3660
 886 884:2:3661
 887 885:2:3669
 888 886:2:3674
 889 887:2:3678
 890 888:2:3679
 891 889:2:3687
 892 890:2:3688
 893 891:2:3692
 894 892:2:3693
 895 893:2:3687
 896 894:2:3688
 897 895:2:3692
 898 896:2:3693
 899 897:2:3701
 900 898:2:3706
 901 899:2:3707
 902 900:2:3718
 903 901:2:3719
 904 902:2:3720
 905 903:2:3731
 906 904:2:3736
 907 905:2:3737
 908 906:2:3748
 909 907:2:3749
 910 908:2:3750
 911 909:2:3748
 912 910:2:3749
 913 911:2:3750
 914 912:2:3761
 915 913:2:3768
 916 914:0:4811
 917 915:2:3049
 918 916:0:4811
 919 917:2:3772
 920 918:2:3773
 921 919:2:3774
 922 920:2:3786
 923 921:2:3787
 924 922:2:3791
 925 923:2:3792
 926 924:2:3800
 927 925:2:3805
 928 926:2:3809
 929 927:2:3810
 930 928:2:3818
 931 929:2:3819
 932 930:2:3823
 933 931:2:3824
 934 932:2:3818
 935 933:2:3819
 936 934:2:3823
 937 935:2:3824
 938 936:2:3832
 939 937:2:3837
 940 938:2:3838
 941 939:2:3849
 942 940:2:3850
 943 941:2:3851
 944 942:2:3862
 945 943:2:3867
 946 944:2:3868
 947 945:2:3879
 948 946:2:3880
 949 947:2:3881
 950 948:2:3879
 951 949:2:3880
 952 950:2:3881
 953 951:2:3892
 954 952:2:3902
 955 953:2:3903
 956 954:0:4811
 957 955:2:3049
 958 956:0:4811
 959 957:2:3909
 960 958:0:4811
 961 959:2:4534
 962 960:2:4535
 963 961:2:4539
 964 962:2:4543
 965 963:2:4544
 966 964:2:4548
 967 965:2:4556
 968 966:2:4557
 969 967:2:4561
 970 968:2:4565
 971 969:2:4566
 972 970:2:4561
 973 971:2:4565
 974 972:2:4566
 975 973:2:4570
 976 974:2:4577
 977 975:2:4584
 978 976:2:4585
 979 977:2:4592
 980 978:2:4597
 981 979:2:4604
 982 980:2:4605
 983 981:2:4604
 984 982:2:4605
 985 983:2:4612
 986 984:2:4616
 987 985:0:4811
 988 986:2:4621
 989 987:0:4811
 990 988:2:4622
 991 989:0:4811
 992 990:2:4623
 993 991:0:4811
 994 992:2:4624
 995 993:0:4811
 996 994:1:26
 997 995:0:4811
 998 996:2:4625
 999 997:0:4811
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:4811
1027 1025:2:4624
1028 1026:0:4811
1029 1027:1:117
1030 1028:0:4811
1031 1029:2:4625
1032 1030:0:4811
1033 1031:2:4626
1034 1032:0:4811
1035 1033:2:4631
1036 1034:0:4811
1037 1035:2:4632
1038 1036:0:4811
1039 1037:2:4640
1040 1038:2:4641
1041 1039:2:4645
1042 1040:2:4649
1043 1041:2:4650
1044 1042:2:4654
1045 1043:2:4662
1046 1044:2:4663
1047 1045:2:4667
1048 1046:2:4671
1049 1047:2:4672
1050 1048:2:4667
1051 1049:2:4671
1052 1050:2:4672
1053 1051:2:4676
1054 1052:2:4683
1055 1053:2:4690
1056 1054:2:4691
1057 1055:2:4698
1058 1056:2:4703
1059 1057:2:4710
1060 1058:2:4711
1061 1059:2:4710
1062 1060:2:4711
1063 1061:2:4718
1064 1062:2:4722
1065 1063:0:4811
1066 1064:2:3911
1067 1065:2:3921
1068 1066:0:4811
1069 1067:2:3049
1070 1068:0:4811
1071 1069:2:3912
1072 1070:2:3913
1073 1071:0:4811
1074 1072:2:3049
1075 1073:0:4811
1076 1074:2:3917
1077 1075:0:4811
1078 1076:2:3925
1079 1077:0:4811
1080 1078:2:3046
1081 1079:0:4811
1082 1080:2:3048
1083 1081:0:4811
1084 1082:2:3049
1085 1083:0:4811
1086 1084:2:3050
1087 1085:2:3051
1088 1086:2:3055
1089 1087:2:3056
1090 1088:2:3064
1091 1089:2:3065
1092 1090:2:3069
1093 1091:2:3070
1094 1092:2:3078
1095 1093:2:3083
1096 1094:2:3087
1097 1095:2:3088
1098 1096:2:3096
1099 1097:2:3097
1100 1098:2:3101
1101 1099:2:3102
1102 1100:2:3096
1103 1101:2:3097
1104 1102:2:3098
1105 1103:2:3110
1106 1104:2:3115
1107 1105:2:3116
1108 1106:2:3127
1109 1107:2:3128
1110 1108:2:3129
1111 1109:2:3140
1112 1110:2:3145
1113 1111:2:3146
1114 1112:2:3157
1115 1113:2:3158
1116 1114:2:3159
1117 1115:2:3157
1118 1116:2:3158
1119 1117:2:3159
1120 1118:2:3170
1121 1119:2:3178
1122 1120:0:4811
1123 1121:2:3049
1124 1122:0:4811
1125 1123:1:118
1126 1124:0:4811
1127 1125:1:120
1128 1126:0:4811
1129 1127:1:19
1130 1128:0:4811
1131 1129:1:126
1132 1130:1:127
1133 1131:1:131
1134 1132:1:132
1135 1133:1:140
1136 1134:1:141
1137 1135:1:145
1138 1136:1:146
1139 1137:1:154
1140 1138:1:159
1141 1139:1:163
1142 1140:1:164
1143 1141:1:172
1144 1142:1:173
1145 1143:1:177
1146 1144:1:178
1147 1145:1:172
1148 1146:1:173
1149 1147:1:177
1150 1148:1:178
1151 1149:1:186
1152 1150:1:191
1153 1151:1:192
1154 1152:1:203
1155 1153:1:204
1156 1154:1:205
1157 1155:1:216
1158 1156:1:221
1159 1157:1:222
1160 1158:1:233
1161 1159:1:234
1162 1160:1:235
1163 1161:1:233
1164 1162:1:234
1165 1163:1:235
1166 1164:1:246
1167 1165:0:4811
1168 1166:1:15
1169 1167:0:4811
1170 1168:1:16
1171 1169:0:4811
1172 1170:2:3182
1173 1171:2:3186
1174 1172:2:3187
1175 1173:2:3191
1176 1174:2:3195
1177 1175:2:3196
1178 1176:2:3200
1179 1177:2:3208
1180 1178:2:3209
1181 1179:2:3213
1182 1180:2:3217
1183 1181:2:3218
1184 1182:2:3213
1185 1183:2:3214
1186 1184:2:3222
1187 1185:0:4811
1188 1186:2:3049
1189 1187:0:4811
1190 1188:2:3230
1191 1189:2:3231
1192 1190:2:3232
1193 1191:0:4811
1194 1192:2:3049
1195 1193:0:4811
1196 1194:2:3237
1197 1195:0:4811
1198 1196:2:3940
1199 1197:2:3941
1200 1198:2:3945
1201 1199:2:3949
1202 1200:2:3950
1203 1201:2:3954
1204 1202:2:3959
1205 1203:2:3967
1206 1204:2:3971
1207 1205:2:3972
1208 1206:2:3967
1209 1207:2:3971
1210 1208:2:3972
1211 1209:2:3976
1212 1210:2:3983
1213 1211:2:3990
1214 1212:2:3991
1215 1213:2:3998
1216 1214:2:4003
1217 1215:2:4010
1218 1216:2:4011
1219 1217:2:4010
1220 1218:2:4011
1221 1219:2:4018
1222 1220:2:4022
1223 1221:0:4811
1224 1222:2:4027
1225 1223:0:4811
1226 1224:2:4028
1227 1225:0:4811
1228 1226:2:4029
1229 1227:0:4811
1230 1228:2:4030
1231 1229:0:4811
1232 1230:1:17
1233 1231:0:4811
1234 1232:2:4031
1235 1233:0:4811
1236 1234:1:118
1237 1235:0:4811
1238 1236:1:120
1239 1237:0:4811
1240 1238:2:4030
1241 1239:0:4811
1242 1240:1:19
1243 1241:0:4811
1244 1242:2:4031
1245 1243:0:4811
1246 1244:1:255
1247 1245:1:256
1248 1246:0:4811
1249 1247:1:15
1250 1248:0:4811
1251 1249:1:16
1252 1250:0:4811
1253 1251:2:4030
1254 1252:0:4811
1255 1253:1:17
1256 1254:0:4811
1257 1255:2:4031
1258 1256:0:4811
1259 1257:1:118
1260 1258:0:4811
1261 1259:1:120
1262 1260:0:4811
1263 1261:2:4030
1264 1262:0:4811
1265 1263:1:19
1266 1264:0:4811
1267 1265:2:4031
1268 1266:0:4811
1269 1267:1:262
1270 1268:1:263
1271 1269:1:267
1272 1270:1:268
1273 1271:1:276
1274 1272:1:277
1275 1273:1:281
1276 1274:1:282
1277 1275:1:290
1278 1276:1:295
1279 1277:1:299
1280 1278:1:300
1281 1279:1:308
1282 1280:1:309
1283 1281:1:313
1284 1282:1:314
1285 1283:1:308
1286 1284:1:309
1287 1285:1:313
1288 1286:1:314
1289 1287:1:322
1290 1288:1:327
1291 1289:1:328
1292 1290:1:339
1293 1291:1:340
1294 1292:1:341
1295 1293:1:352
1296 1294:1:357
1297 1295:1:358
1298 1296:1:369
1299 1297:1:370
1300 1298:1:371
1301 1299:1:369
1302 1300:1:377
1303 1301:1:378
1304 1302:1:382
1305 1303:0:4811
1306 1304:1:15
1307 1305:0:4811
1308 1306:1:16
1309 1307:0:4811
1310 1308:2:4030
1311 1309:0:4811
1312 1310:1:17
1313 1311:0:4811
1314 1312:2:4031
1315 1313:0:4811
1316 1314:1:118
1317 1315:0:4811
1318 1316:1:120
1319 1317:0:4811
1320 1318:2:4030
1321 1319:0:4811
1322 1320:1:19
1323 1321:0:4811
1324 1322:2:4031
1325 1323:0:4811
1326 1324:1:391
1327 1325:1:392
1328 1326:1:396
1329 1327:1:397
1330 1328:1:405
1331 1329:1:406
1332 1330:1:410
1333 1331:1:411
1334 1332:1:419
1335 1333:1:424
1336 1334:1:428
1337 1335:1:429
1338 1336:1:437
1339 1337:1:438
1340 1338:1:442
1341 1339:1:443
1342 1340:1:437
1343 1341:1:438
1344 1342:1:442
1345 1343:1:443
1346 1344:1:451
1347 1345:1:456
1348 1346:1:457
1349 1347:1:468
1350 1348:1:469
1351 1349:1:470
1352 1350:1:481
1353 1351:1:486
1354 1352:1:487
1355 1353:1:498
1356 1354:1:499
1357 1355:1:500
1358 1356:1:498
1359 1357:1:506
1360 1358:1:507
1361 1359:1:511
1362 1360:1:518
1363 1361:0:4811
1364 1362:1:15
1365 1363:0:4811
1366 1364:1:16
1367 1365:0:4811
1368 1366:2:4030
1369 1367:0:4811
1370 1368:1:17
1371 1369:0:4811
1372 1370:2:4031
1373 1371:0:4811
1374 1372:1:118
1375 1373:0:4811
1376 1374:1:120
1377 1375:0:4811
1378 1376:2:4030
1379 1377:0:4811
1380 1378:1:19
1381 1379:0:4811
1382 1380:2:4031
1383 1381:0:4811
1384 1382:1:656
1385 1383:1:657
1386 1384:1:661
1387 1385:1:662
1388 1386:1:670
1389 1387:1:671
1390 1388:1:672
1391 1389:1:684
1392 1390:1:689
1393 1391:1:693
1394 1392:1:694
1395 1393:1:702
1396 1394:1:703
1397 1395:1:707
1398 1396:1:708
1399 1397:1:702
1400 1398:1:703
1401 1399:1:707
1402 1400:1:708
1403 1401:1:716
1404 1402:1:721
1405 1403:1:722
1406 1404:1:733
1407 1405:1:734
1408 1406:1:735
1409 1407:1:746
1410 1408:1:751
1411 1409:1:752
1412 1410:1:763
1413 1411:1:764
1414 1412:1:765
1415 1413:1:763
1416 1414:1:771
1417 1415:1:772
1418 1416:1:776
1419 1417:0:4811
1420 1418:1:15
1421 1419:0:4811
1422 1420:1:16
1423 1421:0:4811
1424 1422:2:4030
1425 1423:0:4811
1426 1424:1:17
1427 1425:0:4811
1428 1426:2:4031
1429 1427:0:4811
1430 1428:1:118
1431 1429:0:4811
1432 1430:1:120
1433 1431:0:4811
1434 1432:2:4030
1435 1433:0:4811
1436 1434:1:19
1437 1435:0:4811
1438 1436:2:4031
1439 1437:0:4811
1440 1438:1:785
1441 1439:1:788
1442 1440:1:789
1443 1441:0:4811
1444 1442:1:15
1445 1443:0:4811
1446 1444:1:16
1447 1445:0:4811
1448 1446:2:4030
1449 1447:0:4811
1450 1448:1:17
1451 1449:0:4811
1452 1450:2:4031
1453 1451:0:4811
1454 1452:1:118
1455 1453:0:4811
1456 1454:1:120
1457 1455:0:4811
1458 1456:2:4030
1459 1457:0:4811
1460 1458:1:19
1461 1459:0:4811
1462 1460:2:4031
1463 1461:0:4811
1464 1462:1:1052
1465 1463:1:1053
1466 1464:1:1057
1467 1465:1:1058
1468 1466:1:1066
1469 1467:1:1067
1470 1468:1:1071
1471 1469:1:1072
1472 1470:1:1080
1473 1471:1:1085
1474 1472:1:1089
1475 1473:1:1090
1476 1474:1:1098
1477 1475:1:1099
1478 1476:1:1103
1479 1477:1:1104
1480 1478:1:1098
1481 1479:1:1099
1482 1480:1:1103
1483 1481:1:1104
1484 1482:1:1112
1485 1483:1:1117
1486 1484:1:1118
1487 1485:1:1129
1488 1486:1:1130
1489 1487:1:1131
1490 1488:1:1142
1491 1489:1:1147
1492 1490:1:1148
1493 1491:1:1159
1494 1492:1:1160
1495 1493:1:1161
1496 1494:1:1159
1497 1495:1:1167
1498 1496:1:1168
1499 1497:1:1172
1500 1498:1:1179
1501 1499:1:1183
1502 1500:0:4811
1503 1501:1:15
1504 1502:0:4811
1505 1503:1:16
1506 1504:0:4811
1507 1505:2:4030
1508 1506:0:4811
1509 1507:1:17
1510 1508:0:4811
1511 1509:2:4031
1512 1510:0:4811
1513 1511:1:118
1514 1512:0:4811
1515 1513:1:120
1516 1514:0:4811
1517 1515:2:4030
1518 1516:0:4811
1519 1517:1:19
1520 1518:0:4811
1521 1519:2:4031
1522 1520:0:4811
1523 1521:1:1184
1524 1522:1:1185
1525 1523:1:1189
1526 1524:1:1190
1527 1525:1:1198
1528 1526:1:1199
1529 1527:1:1200
1530 1528:1:1212
1531 1529:1:1217
1532 1530:1:1221
1533 1531:1:1222
1534 1532:1:1230
1535 1533:1:1231
1536 1534:1:1235
1537 1535:1:1236
1538 1536:1:1230
1539 1537:1:1231
1540 1538:1:1235
1541 1539:1:1236
1542 1540:1:1244
1543 1541:1:1249
1544 1542:1:1250
1545 1543:1:1261
1546 1544:1:1262
1547 1545:1:1263
1548 1546:1:1274
1549 1547:1:1279
1550 1548:1:1280
1551 1549:1:1291
1552 1550:1:1292
1553 1551:1:1293
1554 1552:1:1291
1555 1553:1:1299
1556 1554:1:1300
1557 1555:1:1304
1558 1556:0:4811
1559 1557:1:15
1560 1558:0:4811
1561 1559:1:16
1562 1560:0:4811
1563 1561:2:4030
1564 1562:0:4811
1565 1563:1:17
1566 1564:0:4811
1567 1565:2:4031
1568 1566:0:4811
1569 1567:1:118
1570 1568:0:4811
1571 1569:1:120
1572 1570:0:4811
1573 1571:2:4030
1574 1572:0:4811
1575 1573:1:19
1576 1574:0:4811
1577 1575:2:4031
1578 1576:0:4811
1579 1577:1:1313
1580 1578:0:4811
1581 1579:2:4030
1582 1580:0:4811
1583 1581:1:2777
1584 1582:1:2781
1585 1583:1:2782
1586 1584:1:2790
1587 1585:1:2791
1588 1586:1:2795
1589 1587:1:2796
1590 1588:1:2804
1591 1589:1:2809
1592 1590:1:2813
1593 1591:1:2814
1594 1592:1:2822
1595 1593:1:2823
1596 1594:1:2827
1597 1595:1:2828
1598 1596:1:2822
1599 1597:1:2823
1600 1598:1:2827
1601 1599:1:2828
1602 1600:1:2836
1603 1601:1:2841
1604 1602:1:2842
1605 1603:1:2853
1606 1604:1:2854
1607 1605:1:2855
1608 1606:1:2866
1609 1607:1:2871
1610 1608:1:2872
1611 1609:1:2883
1612 1610:1:2884
1613 1611:1:2885
1614 1612:1:2883
1615 1613:1:2891
1616 1614:1:2892
1617 1615:1:2896
1618 1616:1:2900
1619 1617:0:4811
1620 1618:2:4031
1621 1619:0:4811
1622 1620:1:1315
1623 1621:1:1316
1624 1622:0:4809
1625 1623:1:15
1626 1624:0:4815
1627 1625:1:120