formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.spin.input.trail

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4179
   4 2:3:4099
   5 3:3:4102
   6 4:3:4102
   7 5:3:4105
   8 6:3:4113
   9 7:3:4113
  10 8:3:4116
  11 9:3:4122
  12 10:3:4126
  13 11:3:4126
  14 12:3:4129
  15 13:3:4139
  16 14:3:4147
  17 15:3:4147
  18 16:3:4150
  19 17:3:4156
  20 18:3:4160
  21 19:3:4160
  22 20:3:4163
  23 21:3:4169
  24 22:3:4173
  25 23:3:4174
  26 24:0:4179
  27 25:3:4176
  28 26:0:4179
  29 27:2:2511
  30 28:0:4179
  31 29:2:2517
  32 30:0:4179
  33 31:2:2518
  34 32:0:4179
  35 33:2:2520
  36 34:0:4179
  37 35:2:2521
  38 36:0:4179
  39 37:2:2522
  40 38:0:4179
  41 39:2:2523
  42 40:0:4179
  43 41:2:2524
  44 42:0:4179
  45 43:2:2525
  46 44:0:4179
  47 45:2:2526
  48 46:2:2527
  49 47:2:2531
  50 48:2:2532
  51 49:2:2540
  52 50:2:2541
  53 51:2:2545
  54 52:2:2546
  55 53:2:2554
  56 54:2:2559
  57 55:2:2563
  58 56:2:2564
  59 57:2:2572
  60 58:2:2573
  61 59:2:2577
  62 60:2:2578
  63 61:2:2572
  64 62:2:2573
  65 63:2:2577
  66 64:2:2578
  67 65:2:2586
  68 66:2:2591
  69 67:2:2598
  70 68:2:2599
  71 69:2:2606
  72 70:2:2611
  73 71:2:2618
  74 72:2:2619
  75 73:2:2618
  76 74:2:2619
  77 75:2:2626
  78 76:2:2636
  79 77:0:4179
  80 78:2:2525
  81 79:0:4179
  82 80:2:2640
  83 81:2:2644
  84 82:2:2645
  85 83:2:2649
  86 84:2:2653
  87 85:2:2654
  88 86:2:2658
  89 87:2:2666
  90 88:2:2667
  91 89:2:2671
  92 90:2:2675
  93 91:2:2676
  94 92:2:2671
  95 93:2:2672
  96 94:2:2680
  97 95:0:4179
  98 96:2:2525
  99 97:0:4179
 100 98:2:2688
 101 99:2:2689
 102 100:2:2690
 103 101:0:4179
 104 102:2:2525
 105 103:0:4179
 106 104:2:2695
 107 105:0:4179
 108 106:2:3308
 109 107:2:3309
 110 108:2:3313
 111 109:2:3317
 112 110:2:3318
 113 111:2:3322
 114 112:2:3327
 115 113:2:3335
 116 114:2:3339
 117 115:2:3340
 118 116:2:3335
 119 117:2:3339
 120 118:2:3340
 121 119:2:3344
 122 120:2:3351
 123 121:2:3358
 124 122:2:3359
 125 123:2:3366
 126 124:2:3371
 127 125:2:3378
 128 126:2:3379
 129 127:2:3378
 130 128:2:3379
 131 129:2:3386
 132 130:2:3390
 133 131:0:4179
 134 132:2:3395
 135 133:0:4179
 136 134:2:3396
 137 135:0:4179
 138 136:2:3397
 139 137:0:4179
 140 138:2:3398
 141 139:0:4179
 142 140:1:2
 143 141:0:4179
 144 142:2:3399
 145 143:0:4179
 146 144:1:8
 147 145:0:4179
 148 146:1:9
 149 147:0:4179
 150 148:2:3398
 151 149:0:4179
 152 150:1:10
 153 151:0:4179
 154 152:2:3399
 155 153:0:4179
 156 154:1:11
 157 155:0:4179
 158 156:2:3398
 159 157:0:4179
 160 158:1:12
 161 159:0:4179
 162 160:2:3399
 163 161:0:4179
 164 162:1:13
 165 163:0:4179
 166 164:2:3398
 167 165:0:4179
 168 166:1:14
 169 167:0:4179
 170 168:2:3399
 171 169:0:4179
 172 170:1:15
 173 171:0:4179
 174 172:1:16
 175 173:0:4179
 176 174:2:3398
 177 175:0:4179
 178 176:1:17
 179 177:0:4179
 180 178:2:3399
 181 179:0:4179
 182 180:1:26
 183 181:0:4179
 184 182:2:3398
 185 183:0:4179
 186 184:1:30
 187 185:1:31
 188 186:1:35
 189 187:1:39
 190 188:1:40
 191 189:1:44
 192 190:1:52
 193 191:1:53
 194 192:1:57
 195 193:1:61
 196 194:1:62
 197 195:1:57
 198 196:1:61
 199 197:1:62
 200 198:1:66
 201 199:1:73
 202 200:1:80
 203 201:1:81
 204 202:1:88
 205 203:1:93
 206 204:1:100
 207 205:1:101
 208 206:1:100
 209 207:1:101
 210 208:1:108
 211 209:1:112
 212 210:0:4179
 213 211:2:3399
 214 212:0:4179
 215 213:1:117
 216 214:0:4179
 217 215:2:3400
 218 216:0:4179
 219 217:2:3405
 220 218:0:4179
 221 219:2:3406
 222 220:0:4179
 223 221:2:3414
 224 222:2:3415
 225 223:2:3419
 226 224:2:3423
 227 225:2:3424
 228 226:2:3428
 229 227:2:3436
 230 228:2:3437
 231 229:2:3441
 232 230:2:3445
 233 231:2:3446
 234 232:2:3441
 235 233:2:3445
 236 234:2:3446
 237 235:2:3450
 238 236:2:3457
 239 237:2:3464
 240 238:2:3465
 241 239:2:3472
 242 240:2:3477
 243 241:2:3484
 244 242:2:3485
 245 243:2:3484
 246 244:2:3485
 247 245:2:3492
 248 246:2:3496
 249 247:0:4179
 250 248:2:2697
 251 249:2:3289
 252 250:0:4179
 253 251:2:2525
 254 252:0:4179
 255 253:2:2698
 256 254:0:4179
 257 255:2:2525
 258 256:0:4179
 259 257:2:2701
 260 258:2:2702
 261 259:2:2706
 262 260:2:2707
 263 261:2:2715
 264 262:2:2716
 265 263:2:2720
 266 264:2:2721
 267 265:2:2729
 268 266:2:2734
 269 267:2:2738
 270 268:2:2739
 271 269:2:2747
 272 270:2:2748
 273 271:2:2752
 274 272:2:2753
 275 273:2:2747
 276 274:2:2748
 277 275:2:2752
 278 276:2:2753
 279 277:2:2761
 280 278:2:2766
 281 279:2:2773
 282 280:2:2774
 283 281:2:2781
 284 282:2:2786
 285 283:2:2793
 286 284:2:2794
 287 285:2:2793
 288 286:2:2794
 289 287:2:2801
 290 288:2:2810
 291 289:0:4179
 292 290:2:2525
 293 291:0:4179
 294 292:2:2814
 295 293:2:2823
 296 294:2:2824
 297 295:2:2828
 298 296:2:2829
 299 297:2:2833
 300 298:2:2834
 301 299:2:2842
 302 300:2:2847
 303 301:2:2851
 304 302:2:2852
 305 303:2:2860
 306 304:2:2861
 307 305:2:2865
 308 306:2:2866
 309 307:2:2860
 310 308:2:2861
 311 309:2:2865
 312 310:2:2866
 313 311:2:2874
 314 312:2:2881
 315 313:2:2882
 316 314:2:2886
 317 315:2:2887
 318 316:2:2894
 319 317:2:2899
 320 318:2:2906
 321 319:2:2907
 322 320:2:2906
 323 321:2:2907
 324 322:2:2914
 325 323:2:2926
 326 324:2:2927
 327 325:0:4179
 328 326:2:2525
 329 327:0:4179
 330 328:2:3277
 331 329:0:4179
 332 330:1:118
 333 331:0:4179
 334 332:1:120
 335 333:0:4179
 336 334:1:19
 337 335:0:4179
 338 336:1:126
 339 337:1:127
 340 338:1:131
 341 339:1:132
 342 340:1:140
 343 341:1:141
 344 342:1:145
 345 343:1:146
 346 344:1:154
 347 345:1:159
 348 346:1:163
 349 347:1:164
 350 348:1:172
 351 349:1:173
 352 350:1:177
 353 351:1:178
 354 352:1:172
 355 353:1:173
 356 354:1:177
 357 355:1:178
 358 356:1:186
 359 357:1:191
 360 358:1:198
 361 359:1:199
 362 360:1:206
 363 361:1:211
 364 362:1:218
 365 363:1:219
 366 364:1:218
 367 365:1:219
 368 366:1:226
 369 367:0:4179
 370 368:1:15
 371 369:0:4179
 372 370:1:16
 373 371:0:4179
 374 372:1:17
 375 373:0:4179
 376 374:1:118
 377 375:0:4179
 378 376:1:120
 379 377:0:4179
 380 378:1:19
 381 379:0:4179
 382 380:1:237
 383 381:1:238
 384 382:0:4179
 385 383:1:15
 386 384:0:4179
 387 385:1:16
 388 386:0:4179
 389 387:1:17
 390 388:0:4179
 391 389:1:118
 392 390:0:4179
 393 391:1:120
 394 392:0:4179
 395 393:1:19
 396 394:0:4179
 397 395:1:244
 398 396:1:245
 399 397:1:249
 400 398:1:250
 401 399:1:258
 402 400:1:259
 403 401:1:263
 404 402:1:264
 405 403:1:272
 406 404:1:277
 407 405:1:281
 408 406:1:282
 409 407:1:290
 410 408:1:291
 411 409:1:295
 412 410:1:296
 413 411:1:290
 414 412:1:291
 415 413:1:295
 416 414:1:296
 417 415:1:304
 418 416:1:309
 419 417:1:316
 420 418:1:317
 421 419:1:324
 422 420:1:329
 423 421:1:336
 424 422:1:337
 425 423:1:336
 426 424:1:337
 427 425:1:344
 428 426:0:4179
 429 427:1:15
 430 428:0:4179
 431 429:1:16
 432 430:0:4179
 433 431:2:3899
 434 432:2:3907
 435 433:2:3911
 436 434:2:3912
 437 435:2:3916
 438 436:2:3924
 439 437:2:3925
 440 438:2:3929
 441 439:2:3933
 442 440:2:3934
 443 441:2:3929
 444 442:2:3933
 445 443:2:3934
 446 444:2:3938
 447 445:2:3945
 448 446:2:3952
 449 447:2:3953
 450 448:2:3960
 451 449:2:3965
 452 450:2:3972
 453 451:2:3973
 454 452:2:3972
 455 453:2:3973
 456 454:2:3980
 457 455:2:3984
 458 456:0:4179
 459 457:2:3989
 460 458:0:4179
 461 459:2:3990
 462 460:0:4179
 463 461:2:3991
 464 462:0:4179
 465 463:2:3992
 466 464:0:4179
 467 465:1:17
 468 466:0:4179
 469 467:2:3993
 470 468:0:4179
 471 469:1:26
 472 470:0:4179
 473 471:2:3992
 474 472:0:4179
 475 473:1:30
 476 474:1:31
 477 475:1:35
 478 476:1:39
 479 477:1:40
 480 478:1:44
 481 479:1:52
 482 480:1:53
 483 481:1:57
 484 482:1:61
 485 483:1:62
 486 484:1:57
 487 485:1:61
 488 486:1:62
 489 487:1:66
 490 488:1:73
 491 489:1:80
 492 490:1:81
 493 491:1:88
 494 492:1:93
 495 493:1:100
 496 494:1:101
 497 495:1:100
 498 496:1:101
 499 497:1:108
 500 498:1:112
 501 499:0:4179
 502 500:2:3993
 503 501:0:4179
 504 502:1:117
 505 503:0:4179
 506 504:2:3994
 507 505:0:4179
 508 506:2:3999
 509 507:0:4179
 510 508:2:4000
 511 509:0:4179
 512 510:2:4008
 513 511:2:4009
 514 512:2:4013
 515 513:2:4017
 516 514:2:4018
 517 515:2:4022
 518 516:2:4030
 519 517:2:4031
 520 518:2:4035
 521 519:2:4039
 522 520:2:4040
 523 521:2:4035
 524 522:2:4039
 525 523:2:4040
 526 524:2:4044
 527 525:2:4051
 528 526:2:4058
 529 527:2:4059
 530 528:2:4066
 531 529:2:4071
 532 530:2:4078
 533 531:2:4079
 534 532:2:4078
 535 533:2:4079
 536 534:2:4086
 537 535:2:4090
 538 536:0:4179
 539 537:2:3279
 540 538:2:3289
 541 539:0:4179
 542 540:2:2525
 543 541:0:4179
 544 542:2:3280
 545 543:2:3281
 546 544:0:4179
 547 545:2:2525
 548 546:0:4179
 549 547:2:3285
 550 548:0:4179
 551 549:2:3293
 552 550:0:4179
 553 551:2:2518
 554 552:0:4179
 555 553:2:2520
 556 554:0:4179
 557 555:2:2521
 558 556:0:4179
 559 557:2:2522
 560 558:0:4179
 561 559:2:2523
 562 560:0:4179
 563 561:2:2524
 564 562:0:4179
 565 563:2:2525
 566 564:0:4179
 567 565:2:2526
 568 566:2:2527
 569 567:2:2531
 570 568:2:2532
 571 569:2:2540
 572 570:2:2541
 573 571:2:2545
 574 572:2:2546
 575 573:2:2554
 576 574:2:2559
 577 575:2:2563
 578 576:2:2564
 579 577:2:2572
 580 578:2:2573
 581 579:2:2574
 582 580:2:2572
 583 581:2:2573
 584 582:2:2577
 585 583:2:2578
 586 584:2:2586
 587 585:2:2591
 588 586:2:2598
 589 587:2:2599
 590 588:2:2606
 591 589:2:2611
 592 590:2:2618
 593 591:2:2619
 594 592:2:2618
 595 593:2:2619
 596 594:2:2626
 597 595:2:2636
 598 596:0:4179
 599 597:2:2525
 600 598:0:4179
 601 599:2:2640
 602 600:2:2644
 603 601:2:2645
 604 602:2:2649
 605 603:2:2653
 606 604:2:2654
 607 605:2:2658
 608 606:2:2666
 609 607:2:2667
 610 608:2:2671
 611 609:2:2672
 612 610:2:2671
 613 611:2:2675
 614 612:2:2676
 615 613:2:2680
 616 614:0:4179
 617 615:2:2525
 618 616:0:4179
 619 617:2:2688
 620 618:2:2689
 621 619:2:2690
 622 620:0:4179
 623 621:2:2525
 624 622:0:4179
 625 623:2:2695
 626 624:0:4179
 627 625:1:118
 628 626:0:4179
 629 627:1:120
 630 628:0:4179
 631 629:1:19
 632 630:0:4179
 633 631:1:355
 634 632:1:356
 635 633:1:360
 636 634:1:361
 637 635:1:369
 638 636:1:370
 639 637:1:374
 640 638:1:375
 641 639:1:383
 642 640:1:388
 643 641:1:392
 644 642:1:393
 645 643:1:401
 646 644:1:402
 647 645:1:406
 648 646:1:407
 649 647:1:401
 650 648:1:402
 651 649:1:406
 652 650:1:407
 653 651:1:415
 654 652:1:420
 655 653:1:427
 656 654:1:428
 657 655:1:435
 658 656:1:440
 659 657:1:447
 660 658:1:448
 661 659:1:447
 662 660:1:448
 663 661:1:455
 664 662:1:464
 665 663:0:4179
 666 664:1:15
 667 665:0:4179
 668 666:1:16
 669 667:0:4179
 670 668:1:17
 671 669:0:4179
 672 670:1:118
 673 671:0:4179
 674 672:1:120
 675 673:0:4179
 676 674:1:19
 677 675:0:4179
 678 676:1:584
 679 677:1:585
 680 678:1:589
 681 679:1:590
 682 680:1:598
 683 681:1:599
 684 682:1:600
 685 683:1:612
 686 684:1:617
 687 685:1:621
 688 686:1:622
 689 687:1:630
 690 688:1:631
 691 689:1:635
 692 690:1:636
 693 691:1:630
 694 692:1:631
 695 693:1:635
 696 694:1:636
 697 695:1:644
 698 696:1:649
 699 697:1:656
 700 698:1:657
 701 699:1:664
 702 700:1:669
 703 701:1:676
 704 702:1:677
 705 703:1:676
 706 704:1:677
 707 705:1:684
 708 706:0:4179
 709 707:1:15
 710 708:0:4179
 711 709:1:16
 712 710:0:4179
 713 711:1:17
 714 712:0:4179
 715 713:1:118
 716 714:0:4179
 717 715:1:120
 718 716:0:4179
 719 717:1:19
 720 718:0:4179
 721 719:1:695
 722 720:1:698
 723 721:1:699
 724 722:0:4179
 725 723:1:15
 726 724:0:4179
 727 725:1:16
 728 726:0:4179
 729 727:1:17
 730 728:0:4179
 731 729:1:118
 732 730:0:4179
 733 731:1:120
 734 732:0:4179
 735 733:1:19
 736 734:0:4179
 737 735:1:702
 738 736:1:703
 739 737:1:707
 740 738:1:708
 741 739:1:716
 742 740:1:717
 743 741:1:721
 744 742:1:722
 745 743:1:730
 746 744:1:735
 747 745:1:739
 748 746:1:740
 749 747:1:748
 750 748:1:749
 751 749:1:753
 752 750:1:754
 753 751:1:748
 754 752:1:749
 755 753:1:753
 756 754:1:754
 757 755:1:762
 758 756:1:767
 759 757:1:774
 760 758:1:775
 761 759:1:782
 762 760:1:787
 763 761:1:794
 764 762:1:795
 765 763:1:794
 766 764:1:795
 767 765:1:802
 768 766:0:4179
 769 767:1:15
 770 768:0:4179
 771 769:1:16
 772 770:0:4179
 773 771:1:17
 774 772:0:4179
 775 773:1:118
 776 774:0:4179
 777 775:1:120
 778 776:0:4179
 779 777:1:19
 780 778:0:4179
 781 779:1:926
 782 780:1:927
 783 781:1:931
 784 782:1:932
 785 783:1:940
 786 784:1:941
 787 785:1:945
 788 786:1:946
 789 787:1:954
 790 788:1:959
 791 789:1:963
 792 790:1:964
 793 791:1:972
 794 792:1:973
 795 793:1:977
 796 794:1:978
 797 795:1:972
 798 796:1:973
 799 797:1:977
 800 798:1:978
 801 799:1:986
 802 800:1:991
 803 801:1:998
 804 802:1:999
 805 803:1:1006
 806 804:1:1011
 807 805:1:1018
 808 806:1:1019
 809 807:1:1018
 810 808:1:1019
 811 809:1:1026
 812 810:1:1035
 813 811:1:1039
 814 812:0:4179
 815 813:1:15
 816 814:0:4179
 817 815:1:16
 818 816:0:4179
 819 817:1:17
 820 818:0:4179
 821 819:1:118
 822 820:0:4179
 823 821:1:120
 824 822:0:4179
 825 823:1:19
 826 824:0:4179
 827 825:1:1040
 828 826:1:1041
 829 827:1:1045
 830 828:1:1046
 831 829:1:1054
 832 830:1:1055
 833 831:1:1056
 834 832:1:1068
 835 833:1:1073
 836 834:1:1077
 837 835:1:1078
 838 836:1:1086
 839 837:1:1087
 840 838:1:1091
 841 839:1:1092
 842 840:1:1086
 843 841:1:1087
 844 842:1:1091
 845 843:1:1092
 846 844:1:1100
 847 845:1:1105
 848 846:1:1112
 849 847:1:1113
 850 848:1:1120
 851 849:1:1125
 852 850:1:1132
 853 851:1:1133
 854 852:1:1132
 855 853:1:1133
 856 854:1:1140
 857 855:0:4179
 858 856:1:15
 859 857:0:4179
 860 858:1:16
 861 859:0:4179
 862 860:2:3308
 863 861:2:3309
 864 862:2:3313
 865 863:2:3317
 866 864:2:3318
 867 865:2:3322
 868 866:2:3327
 869 867:2:3335
 870 868:2:3339
 871 869:2:3340
 872 870:2:3335
 873 871:2:3339
 874 872:2:3340
 875 873:2:3344
 876 874:2:3351
 877 875:2:3358
 878 876:2:3359
 879 877:2:3366
 880 878:2:3371
 881 879:2:3378
 882 880:2:3379
 883 881:2:3378
 884 882:2:3379
 885 883:2:3386
 886 884:2:3390
 887 885:0:4179
 888 886:2:3395
 889 887:0:4179
 890 888:2:3396
 891 889:0:4179
 892 890:2:3397
 893 891:0:4179
 894 892:2:3398
 895 893:0:4179
 896 894:1:17
 897 895:0:4179
 898 896:2:3399
 899 897:0:4179
 900 898:1:26
 901 899:0:4179
 902 900:2:3398
 903 901:0:4179
 904 902:1:30
 905 903:1:31
 906 904:1:35
 907 905:1:39
 908 906:1:40
 909 907:1:44
 910 908:1:52
 911 909:1:53
 912 910:1:57
 913 911:1:61
 914 912:1:62
 915 913:1:57
 916 914:1:61
 917 915:1:62
 918 916:1:66
 919 917:1:73
 920 918:1:80
 921 919:1:81
 922 920:1:88
 923 921:1:93
 924 922:1:100
 925 923:1:101
 926 924:1:100
 927 925:1:101
 928 926:1:108
 929 927:1:112
 930 928:0:4179
 931 929:2:3399
 932 930:0:4179
 933 931:1:117
 934 932:0:4179
 935 933:2:3400
 936 934:0:4179
 937 935:2:3405
 938 936:0:4179
 939 937:2:3406
 940 938:0:4179
 941 939:2:3414
 942 940:2:3415
 943 941:2:3419
 944 942:2:3423
 945 943:2:3424
 946 944:2:3428
 947 945:2:3436
 948 946:2:3437
 949 947:2:3441
 950 948:2:3445
 951 949:2:3446
 952 950:2:3441
 953 951:2:3445
 954 952:2:3446
 955 953:2:3450
 956 954:2:3457
 957 955:2:3464
 958 956:2:3465
 959 957:2:3472
 960 958:2:3477
 961 959:2:3484
 962 960:2:3485
 963 961:2:3484
 964 962:2:3485
 965 963:2:3492
 966 964:2:3496
 967 965:0:4179
 968 966:2:2697
 969 967:2:3289
 970 968:0:4179
 971 969:2:2525
 972 970:0:4179
 973 971:2:2698
 974 972:0:4179
 975 973:2:2525
 976 974:0:4179
 977 975:2:2701
 978 976:2:2702
 979 977:2:2706
 980 978:2:2707
 981 979:2:2715
 982 980:2:2716
 983 981:2:2720
 984 982:2:2721
 985 983:2:2729
 986 984:2:2734
 987 985:2:2738
 988 986:2:2739
 989 987:2:2747
 990 988:2:2748
 991 989:2:2752
 992 990:2:2753
 993 991:2:2747
 994 992:2:2748
 995 993:2:2752
 996 994:2:2753
 997 995:2:2761
 998 996:2:2766
 999 997:2:2773
1000 998:2:2774
1001 999:2:2781
1002 1000:2:2786
1003 1001:2:2793
1004 1002:2:2794
1005 1003:2:2793
1006 1004:2:2794
1007 1005:2:2801
1008 1006:2:2810
1009 1007:0:4179
1010 1008:2:2525
1011 1009:0:4179
1012 1010:2:2814
1013 1011:2:2815
1014 1012:2:2816
1015 1013:2:2828
1016 1014:2:2829
1017 1015:2:2833
1018 1016:2:2834
1019 1017:2:2842
1020 1018:2:2847
1021 1019:2:2851
1022 1020:2:2852
1023 1021:2:2860
1024 1022:2:2861
1025 1023:2:2865
1026 1024:2:2866
1027 1025:2:2860
1028 1026:2:2861
1029 1027:2:2865
1030 1028:2:2866
1031 1029:2:2874
1032 1030:2:2879
1033 1031:2:2886
1034 1032:2:2887
1035 1033:2:2894
1036 1034:2:2899
1037 1035:2:2906
1038 1036:2:2907
1039 1037:2:2906
1040 1038:2:2907
1041 1039:2:2914
1042 1040:2:2926
1043 1041:2:2927
1044 1042:0:4179
1045 1043:2:2525
1046 1044:0:4179
1047 1045:2:3277
1048 1046:0:4179
1049 1047:2:3902
1050 1048:2:3903
1051 1049:2:3907
1052 1050:2:3911
1053 1051:2:3912
1054 1052:2:3916
1055 1053:2:3924
1056 1054:2:3925
1057 1055:2:3929
1058 1056:2:3933
1059 1057:2:3934
1060 1058:2:3929
1061 1059:2:3933
1062 1060:2:3934
1063 1061:2:3938
1064 1062:2:3945
1065 1063:2:3952
1066 1064:2:3953
1067 1065:2:3960
1068 1066:2:3965
1069 1067:2:3972
1070 1068:2:3973
1071 1069:2:3972
1072 1070:2:3973
1073 1071:2:3980
1074 1072:2:3984
1075 1073:0:4179
1076 1074:2:3989
1077 1075:0:4179
1078 1076:2:3990
1079 1077:0:4179
1080 1078:2:3991
1081 1079:0:4179
1082 1080:2:3992
1083 1081:0:4179
1084 1082:1:26
1085 1083:0:4179
1086 1084:2:3993
1087 1085:0:4179
1088 1086:1:30
1089 1087:1:31
1090 1088:1:35
1091 1089:1:39
1092 1090:1:40
1093 1091:1:44
1094 1092:1:52
1095 1093:1:53
1096 1094:1:57
1097 1095:1:61
1098 1096:1:62
1099 1097:1:57
1100 1098:1:61
1101 1099:1:62
1102 1100:1:66
1103 1101:1:73
1104 1102:1:80
1105 1103:1:81
1106 1104:1:88
1107 1105:1:93
1108 1106:1:100
1109 1107:1:101
1110 1108:1:100
1111 1109:1:101
1112 1110:1:108
1113 1111:1:112
1114 1112:0:4179
1115 1113:2:3992
1116 1114:0:4179
1117 1115:1:117
1118 1116:0:4179
1119 1117:2:3993
1120 1118:0:4179
1121 1119:2:3994
1122 1120:0:4179
1123 1121:2:3999
1124 1122:0:4179
1125 1123:2:4000
1126 1124:0:4179
1127 1125:2:4008
1128 1126:2:4009
1129 1127:2:4013
1130 1128:2:4017
1131 1129:2:4018
1132 1130:2:4022
1133 1131:2:4030
1134 1132:2:4031
1135 1133:2:4035
1136 1134:2:4039
1137 1135:2:4040
1138 1136:2:4035
1139 1137:2:4039
1140 1138:2:4040
1141 1139:2:4044
1142 1140:2:4051
1143 1141:2:4058
1144 1142:2:4059
1145 1143:2:4066
1146 1144:2:4071
1147 1145:2:4078
1148 1146:2:4079
1149 1147:2:4078
1150 1148:2:4079
1151 1149:2:4086
1152 1150:2:4090
1153 1151:0:4179
1154 1152:2:3279
1155 1153:2:3289
1156 1154:0:4179
1157 1155:2:2525
1158 1156:0:4179
1159 1157:2:3280
1160 1158:2:3281
1161 1159:0:4179
1162 1160:2:2525
1163 1161:0:4179
1164 1162:2:3285
1165 1163:0:4179
1166 1164:2:3293
1167 1165:0:4179
1168 1166:2:2518
1169 1167:0:4179
1170 1168:2:2520
1171 1169:0:4179
1172 1170:2:2521
1173 1171:0:4179
1174 1172:2:2522
1175 1173:0:4179
1176 1174:2:2523
1177 1175:0:4179
1178 1176:2:2524
1179 1177:0:4179
1180 1178:2:2525
1181 1179:0:4179
1182 1180:2:2526
1183 1181:2:2527
1184 1182:2:2531
1185 1183:2:2532
1186 1184:2:2540
1187 1185:2:2541
1188 1186:2:2545
1189 1187:2:2546
1190 1188:2:2554
1191 1189:2:2559
1192 1190:2:2563
1193 1191:2:2564
1194 1192:2:2572
1195 1193:2:2573
1196 1194:2:2577
1197 1195:2:2578
1198 1196:2:2572
1199 1197:2:2573
1200 1198:2:2574
1201 1199:2:2586
1202 1200:2:2591
1203 1201:2:2598
1204 1202:2:2599
1205 1203:2:2606
1206 1204:2:2611
1207 1205:2:2618
1208 1206:2:2619
1209 1207:2:2618
1210 1208:2:2619
1211 1209:2:2626
1212 1210:2:2636
1213 1211:0:4179
1214 1212:2:2525
1215 1213:0:4179
1216 1214:1:118
1217 1215:0:4179
1218 1216:1:120
1219 1217:0:4179
1220 1218:1:19
1221 1219:0:4179
1222 1220:1:1151
1223 1221:0:4179
1224 1222:1:2417
1225 1223:1:2424
1226 1224:1:2425
1227 1225:1:2432
1228 1226:1:2437
1229 1227:1:2444
1230 1228:1:2445
1231 1229:1:2444
1232 1230:1:2445
1233 1231:1:2452
1234 1232:1:2456
1235 1233:0:4179
1236 1234:2:2640
1237 1235:2:2644
1238 1236:2:2645
1239 1237:2:2649
1240 1238:2:2653
1241 1239:2:2654
1242 1240:2:2658
1243 1241:2:2666
1244 1242:2:2667
1245 1243:2:2671
1246 1244:2:2675
1247 1245:2:2676
1248 1246:2:2671
1249 1247:2:2672
1250 1248:2:2680
1251 1249:0:4179
1252 1250:2:2525
1253 1251:0:4179
1254 1252:2:2688
1255 1253:2:2689
1256 1254:2:2690
1257 1255:0:4179
1258 1256:2:2525
1259 1257:0:4179
1260 1258:2:2695
1261 1259:0:4179
1262 1260:2:3308
1263 1261:2:3309
1264 1262:2:3313
1265 1263:2:3317
1266 1264:2:3318
1267 1265:2:3322
1268 1266:2:3327
1269 1267:2:3335
1270 1268:2:3339
1271 1269:2:3340
1272 1270:2:3335
1273 1271:2:3339
1274 1272:2:3340
1275 1273:2:3344
1276 1274:2:3351
1277 1275:2:3358
1278 1276:2:3359
1279 1277:2:3366
1280 1278:2:3371
1281 1279:2:3378
1282 1280:2:3379
1283 1281:2:3378
1284 1282:2:3379
1285 1283:2:3386
1286 1284:2:3390
1287 1285:0:4179
1288 1286:2:3395
1289 1287:0:4179
1290 1288:2:3396
1291 1289:0:4179
1292 1290:2:3397
1293 1291:0:4179
1294 1292:2:3398
1295 1293:0:4179
1296 1294:1:1153
1297 1295:1:1154
1298 1296:0:4177
1299 1297:2:3399
1300 1298:0:4183
1301 1299:1:2145