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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4178
   4 2:3:4098
   5 3:3:4101
   6 4:3:4101
   7 5:3:4104
   8 6:3:4112
   9 7:3:4112
  10 8:3:4115
  11 9:3:4121
  12 10:3:4125
  13 11:3:4125
  14 12:3:4128
  15 13:3:4138
  16 14:3:4146
  17 15:3:4146
  18 16:3:4149
  19 17:3:4155
  20 18:3:4159
  21 19:3:4159
  22 20:3:4162
  23 21:3:4168
  24 22:3:4172
  25 23:3:4173
  26 24:0:4178
  27 25:3:4175
  28 26:0:4178
  29 27:2:2511
  30 28:0:4178
  31 29:2:2517
  32 30:0:4178
  33 31:2:2518
  34 32:0:4178
  35 33:2:2520
  36 34:0:4178
  37 35:2:2521
  38 36:0:4178
  39 37:2:2522
  40 38:0:4178
  41 39:2:2523
  42 40:0:4178
  43 41:2:2524
  44 42:0:4178
  45 43:2:2525
  46 44:0:4178
  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:4178
  80 78:2:2525
  81 79:0:4178
  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:4178
  98 96:2:2525
  99 97:0:4178
 100 98:2:2688
 101 99:2:2689
 102 100:2:2690
 103 101:0:4178
 104 102:2:2525
 105 103:0:4178
 106 104:2:2695
 107 105:0:4178
 108 106:2:3307
 109 107:2:3308
 110 108:2:3312
 111 109:2:3316
 112 110:2:3317
 113 111:2:3321
 114 112:2:3326
 115 113:2:3334
 116 114:2:3338
 117 115:2:3339
 118 116:2:3334
 119 117:2:3338
 120 118:2:3339
 121 119:2:3343
 122 120:2:3350
 123 121:2:3357
 124 122:2:3358
 125 123:2:3365
 126 124:2:3370
 127 125:2:3377
 128 126:2:3378
 129 127:2:3377
 130 128:2:3378
 131 129:2:3385
 132 130:2:3389
 133 131:0:4178
 134 132:2:3394
 135 133:0:4178
 136 134:2:3395
 137 135:0:4178
 138 136:2:3396
 139 137:0:4178
 140 138:2:3397
 141 139:0:4178
 142 140:1:2
 143 141:0:4178
 144 142:2:3398
 145 143:0:4178
 146 144:1:8
 147 145:0:4178
 148 146:1:9
 149 147:0:4178
 150 148:2:3397
 151 149:0:4178
 152 150:1:10
 153 151:0:4178
 154 152:2:3398
 155 153:0:4178
 156 154:1:11
 157 155:0:4178
 158 156:2:3397
 159 157:0:4178
 160 158:1:12
 161 159:0:4178
 162 160:2:3398
 163 161:0:4178
 164 162:1:13
 165 163:0:4178
 166 164:2:3397
 167 165:0:4178
 168 166:1:14
 169 167:0:4178
 170 168:2:3398
 171 169:0:4178
 172 170:1:15
 173 171:0:4178
 174 172:1:16
 175 173:0:4178
 176 174:2:3397
 177 175:0:4178
 178 176:1:17
 179 177:0:4178
 180 178:2:3398
 181 179:0:4178
 182 180:1:26
 183 181:0:4178
 184 182:2:3397
 185 183:0:4178
 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:4178
 213 211:2:3398
 214 212:0:4178
 215 213:1:117
 216 214:0:4178
 217 215:2:3399
 218 216:0:4178
 219 217:2:3404
 220 218:0:4178
 221 219:2:3405
 222 220:0:4178
 223 221:2:3413
 224 222:2:3414
 225 223:2:3418
 226 224:2:3422
 227 225:2:3423
 228 226:2:3427
 229 227:2:3435
 230 228:2:3436
 231 229:2:3440
 232 230:2:3444
 233 231:2:3445
 234 232:2:3440
 235 233:2:3444
 236 234:2:3445
 237 235:2:3449
 238 236:2:3456
 239 237:2:3463
 240 238:2:3464
 241 239:2:3471
 242 240:2:3476
 243 241:2:3483
 244 242:2:3484
 245 243:2:3483
 246 244:2:3484
 247 245:2:3491
 248 246:2:3495
 249 247:0:4178
 250 248:2:2697
 251 249:2:3288
 252 250:0:4178
 253 251:2:2525
 254 252:0:4178
 255 253:2:2698
 256 254:0:4178
 257 255:2:2525
 258 256:0:4178
 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:4178
 292 290:2:2525
 293 291:0:4178
 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:4178
 328 326:2:2525
 329 327:0:4178
 330 328:2:3276
 331 329:0:4178
 332 330:1:118
 333 331:0:4178
 334 332:1:120
 335 333:0:4178
 336 334:1:19
 337 335:0:4178
 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:4178
 370 368:1:15
 371 369:0:4178
 372 370:1:16
 373 371:0:4178
 374 372:1:17
 375 373:0:4178
 376 374:1:118
 377 375:0:4178
 378 376:1:120
 379 377:0:4178
 380 378:1:19
 381 379:0:4178
 382 380:1:237
 383 381:1:238
 384 382:0:4178
 385 383:1:15
 386 384:0:4178
 387 385:1:16
 388 386:0:4178
 389 387:1:17
 390 388:0:4178
 391 389:1:118
 392 390:0:4178
 393 391:1:120
 394 392:0:4178
 395 393:1:19
 396 394:0:4178
 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:4178
 429 427:1:15
 430 428:0:4178
 431 429:1:16
 432 430:0:4178
 433 431:2:3898
 434 432:2:3906
 435 433:2:3910
 436 434:2:3911
 437 435:2:3915
 438 436:2:3923
 439 437:2:3924
 440 438:2:3928
 441 439:2:3932
 442 440:2:3933
 443 441:2:3928
 444 442:2:3932
 445 443:2:3933
 446 444:2:3937
 447 445:2:3944
 448 446:2:3951
 449 447:2:3952
 450 448:2:3959
 451 449:2:3964
 452 450:2:3971
 453 451:2:3972
 454 452:2:3971
 455 453:2:3972
 456 454:2:3979
 457 455:2:3983
 458 456:0:4178
 459 457:2:3988
 460 458:0:4178
 461 459:2:3989
 462 460:0:4178
 463 461:2:3990
 464 462:0:4178
 465 463:2:3991
 466 464:0:4178
 467 465:1:17
 468 466:0:4178
 469 467:2:3992
 470 468:0:4178
 471 469:1:26
 472 470:0:4178
 473 471:2:3991
 474 472:0:4178
 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:4178
 502 500:2:3992
 503 501:0:4178
 504 502:1:117
 505 503:0:4178
 506 504:2:3993
 507 505:0:4178
 508 506:2:3998
 509 507:0:4178
 510 508:2:3999
 511 509:0:4178
 512 510:2:4007
 513 511:2:4008
 514 512:2:4012
 515 513:2:4016
 516 514:2:4017
 517 515:2:4021
 518 516:2:4029
 519 517:2:4030
 520 518:2:4034
 521 519:2:4038
 522 520:2:4039
 523 521:2:4034
 524 522:2:4038
 525 523:2:4039
 526 524:2:4043
 527 525:2:4050
 528 526:2:4057
 529 527:2:4058
 530 528:2:4065
 531 529:2:4070
 532 530:2:4077
 533 531:2:4078
 534 532:2:4077
 535 533:2:4078
 536 534:2:4085
 537 535:2:4089
 538 536:0:4178
 539 537:2:3278
 540 538:2:3288
 541 539:0:4178
 542 540:2:2525
 543 541:0:4178
 544 542:2:3279
 545 543:2:3280
 546 544:0:4178
 547 545:2:2525
 548 546:0:4178
 549 547:2:3284
 550 548:0:4178
 551 549:2:3292
 552 550:0:4178
 553 551:2:2518
 554 552:0:4178
 555 553:2:2520
 556 554:0:4178
 557 555:2:2521
 558 556:0:4178
 559 557:2:2522
 560 558:0:4178
 561 559:2:2523
 562 560:0:4178
 563 561:2:2524
 564 562:0:4178
 565 563:2:2525
 566 564:0:4178
 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:4178
 599 597:2:2525
 600 598:0:4178
 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:4178
 617 615:2:2525
 618 616:0:4178
 619 617:2:2688
 620 618:2:2689
 621 619:2:2690
 622 620:0:4178
 623 621:2:2525
 624 622:0:4178
 625 623:2:2695
 626 624:0:4178
 627 625:1:118
 628 626:0:4178
 629 627:1:120
 630 628:0:4178
 631 629:1:19
 632 630:0:4178
 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:4178
 666 664:1:15
 667 665:0:4178
 668 666:1:16
 669 667:0:4178
 670 668:1:17
 671 669:0:4178
 672 670:1:118
 673 671:0:4178
 674 672:1:120
 675 673:0:4178
 676 674:1:19
 677 675:0:4178
 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:4178
 709 707:1:15
 710 708:0:4178
 711 709:1:16
 712 710:0:4178
 713 711:1:17
 714 712:0:4178
 715 713:1:118
 716 714:0:4178
 717 715:1:120
 718 716:0:4178
 719 717:1:19
 720 718:0:4178
 721 719:1:695
 722 720:1:698
 723 721:1:699
 724 722:0:4178
 725 723:1:15
 726 724:0:4178
 727 725:1:16
 728 726:0:4178
 729 727:1:17
 730 728:0:4178
 731 729:1:118
 732 730:0:4178
 733 731:1:120
 734 732:0:4178
 735 733:1:19
 736 734:0:4178
 737 735:1:926
 738 736:1:927
 739 737:1:931
 740 738:1:932
 741 739:1:940
 742 740:1:941
 743 741:1:945
 744 742:1:946
 745 743:1:954
 746 744:1:959
 747 745:1:963
 748 746:1:964
 749 747:1:972
 750 748:1:973
 751 749:1:977
 752 750:1:978
 753 751:1:972
 754 752:1:973
 755 753:1:977
 756 754:1:978
 757 755:1:986
 758 756:1:991
 759 757:1:998
 760 758:1:999
 761 759:1:1006
 762 760:1:1011
 763 761:1:1018
 764 762:1:1019
 765 763:1:1018
 766 764:1:1019
 767 765:1:1026
 768 766:1:1035
 769 767:1:1039
 770 768:0:4178
 771 769:1:15
 772 770:0:4178
 773 771:1:16
 774 772:0:4178
 775 773:1:17
 776 774:0:4178
 777 775:1:118
 778 776:0:4178
 779 777:1:120
 780 778:0:4178
 781 779:1:19
 782 780:0:4178
 783 781:1:1040
 784 782:1:1041
 785 783:1:1045
 786 784:1:1046
 787 785:1:1054
 788 786:1:1055
 789 787:1:1056
 790 788:1:1068
 791 789:1:1073
 792 790:1:1077
 793 791:1:1078
 794 792:1:1086
 795 793:1:1087
 796 794:1:1091
 797 795:1:1092
 798 796:1:1086
 799 797:1:1087
 800 798:1:1091
 801 799:1:1092
 802 800:1:1100
 803 801:1:1105
 804 802:1:1112
 805 803:1:1113
 806 804:1:1120
 807 805:1:1125
 808 806:1:1132
 809 807:1:1133
 810 808:1:1132
 811 809:1:1133
 812 810:1:1140
 813 811:0:4178
 814 812:1:15
 815 813:0:4178
 816 814:1:16
 817 815:0:4178
 818 816:2:3307
 819 817:2:3308
 820 818:2:3312
 821 819:2:3316
 822 820:2:3317
 823 821:2:3321
 824 822:2:3326
 825 823:2:3334
 826 824:2:3338
 827 825:2:3339
 828 826:2:3334
 829 827:2:3338
 830 828:2:3339
 831 829:2:3343
 832 830:2:3350
 833 831:2:3357
 834 832:2:3358
 835 833:2:3365
 836 834:2:3370
 837 835:2:3377
 838 836:2:3378
 839 837:2:3377
 840 838:2:3378
 841 839:2:3385
 842 840:2:3389
 843 841:0:4178
 844 842:2:3394
 845 843:0:4178
 846 844:2:3395
 847 845:0:4178
 848 846:2:3396
 849 847:0:4178
 850 848:2:3397
 851 849:0:4178
 852 850:1:17
 853 851:0:4178
 854 852:2:3398
 855 853:0:4178
 856 854:1:26
 857 855:0:4178
 858 856:2:3397
 859 857:0:4178
 860 858:1:30
 861 859:1:31
 862 860:1:35
 863 861:1:39
 864 862:1:40
 865 863:1:44
 866 864:1:52
 867 865:1:53
 868 866:1:57
 869 867:1:61
 870 868:1:62
 871 869:1:57
 872 870:1:61
 873 871:1:62
 874 872:1:66
 875 873:1:73
 876 874:1:80
 877 875:1:81
 878 876:1:88
 879 877:1:93
 880 878:1:100
 881 879:1:101
 882 880:1:100
 883 881:1:101
 884 882:1:108
 885 883:1:112
 886 884:0:4178
 887 885:2:3398
 888 886:0:4178
 889 887:1:117
 890 888:0:4178
 891 889:2:3399
 892 890:0:4178
 893 891:2:3404
 894 892:0:4178
 895 893:2:3405
 896 894:0:4178
 897 895:2:3413
 898 896:2:3414
 899 897:2:3418
 900 898:2:3422
 901 899:2:3423
 902 900:2:3427
 903 901:2:3435
 904 902:2:3436
 905 903:2:3440
 906 904:2:3444
 907 905:2:3445
 908 906:2:3440
 909 907:2:3444
 910 908:2:3445
 911 909:2:3449
 912 910:2:3456
 913 911:2:3463
 914 912:2:3464
 915 913:2:3471
 916 914:2:3476
 917 915:2:3483
 918 916:2:3484
 919 917:2:3483
 920 918:2:3484
 921 919:2:3491
 922 920:2:3495
 923 921:0:4178
 924 922:2:2697
 925 923:2:3288
 926 924:0:4178
 927 925:2:2525
 928 926:0:4178
 929 927:2:2698
 930 928:0:4178
 931 929:2:2525
 932 930:0:4178
 933 931:2:2701
 934 932:2:2702
 935 933:2:2706
 936 934:2:2707
 937 935:2:2715
 938 936:2:2716
 939 937:2:2720
 940 938:2:2721
 941 939:2:2729
 942 940:2:2734
 943 941:2:2738
 944 942:2:2739
 945 943:2:2747
 946 944:2:2748
 947 945:2:2752
 948 946:2:2753
 949 947:2:2747
 950 948:2:2748
 951 949:2:2752
 952 950:2:2753
 953 951:2:2761
 954 952:2:2766
 955 953:2:2773
 956 954:2:2774
 957 955:2:2781
 958 956:2:2786
 959 957:2:2793
 960 958:2:2794
 961 959:2:2793
 962 960:2:2794
 963 961:2:2801
 964 962:2:2810
 965 963:0:4178
 966 964:2:2525
 967 965:0:4178
 968 966:2:2814
 969 967:2:2815
 970 968:2:2816
 971 969:2:2828
 972 970:2:2829
 973 971:2:2833
 974 972:2:2834
 975 973:2:2842
 976 974:2:2847
 977 975:2:2851
 978 976:2:2852
 979 977:2:2860
 980 978:2:2861
 981 979:2:2865
 982 980:2:2866
 983 981:2:2860
 984 982:2:2861
 985 983:2:2865
 986 984:2:2866
 987 985:2:2874
 988 986:2:2879
 989 987:2:2886
 990 988:2:2887
 991 989:2:2894
 992 990:2:2899
 993 991:2:2906
 994 992:2:2907
 995 993:2:2906
 996 994:2:2907
 997 995:2:2914
 998 996:2:2926
 999 997:2:2927
1000 998:0:4178
1001 999:2:2525
1002 1000:0:4178
1003 1001:2:3276
1004 1002:0:4178
1005 1003:2:3901
1006 1004:2:3902
1007 1005:2:3906
1008 1006:2:3910
1009 1007:2:3911
1010 1008:2:3915
1011 1009:2:3923
1012 1010:2:3924
1013 1011:2:3928
1014 1012:2:3932
1015 1013:2:3933
1016 1014:2:3928
1017 1015:2:3932
1018 1016:2:3933
1019 1017:2:3937
1020 1018:2:3944
1021 1019:2:3951
1022 1020:2:3952
1023 1021:2:3959
1024 1022:2:3964
1025 1023:2:3971
1026 1024:2:3972
1027 1025:2:3971
1028 1026:2:3972
1029 1027:2:3979
1030 1028:2:3983
1031 1029:0:4178
1032 1030:2:3988
1033 1031:0:4178
1034 1032:2:3989
1035 1033:0:4178
1036 1034:2:3990
1037 1035:0:4178
1038 1036:2:3991
1039 1037:0:4178
1040 1038:1:26
1041 1039:0:4178
1042 1040:2:3992
1043 1041:0:4178
1044 1042:1:30
1045 1043:1:31
1046 1044:1:35
1047 1045:1:39
1048 1046:1:40
1049 1047:1:44
1050 1048:1:52
1051 1049:1:53
1052 1050:1:57
1053 1051:1:61
1054 1052:1:62
1055 1053:1:57
1056 1054:1:61
1057 1055:1:62
1058 1056:1:66
1059 1057:1:73
1060 1058:1:80
1061 1059:1:81
1062 1060:1:88
1063 1061:1:93
1064 1062:1:100
1065 1063:1:101
1066 1064:1:100
1067 1065:1:101
1068 1066:1:108
1069 1067:1:112
1070 1068:0:4178
1071 1069:2:3991
1072 1070:0:4178
1073 1071:1:117
1074 1072:0:4178
1075 1073:2:3992
1076 1074:0:4178
1077 1075:2:3993
1078 1076:0:4178
1079 1077:2:3998
1080 1078:0:4178
1081 1079:2:3999
1082 1080:0:4178
1083 1081:2:4007
1084 1082:2:4008
1085 1083:2:4012
1086 1084:2:4016
1087 1085:2:4017
1088 1086:2:4021
1089 1087:2:4029
1090 1088:2:4030
1091 1089:2:4034
1092 1090:2:4038
1093 1091:2:4039
1094 1092:2:4034
1095 1093:2:4038
1096 1094:2:4039
1097 1095:2:4043
1098 1096:2:4050
1099 1097:2:4057
1100 1098:2:4058
1101 1099:2:4065
1102 1100:2:4070
1103 1101:2:4077
1104 1102:2:4078
1105 1103:2:4077
1106 1104:2:4078
1107 1105:2:4085
1108 1106:2:4089
1109 1107:0:4178
1110 1108:2:3278
1111 1109:2:3288
1112 1110:0:4178
1113 1111:2:2525
1114 1112:0:4178
1115 1113:2:3279
1116 1114:2:3280
1117 1115:0:4178
1118 1116:2:2525
1119 1117:0:4178
1120 1118:2:3284
1121 1119:0:4178
1122 1120:2:3292
1123 1121:0:4178
1124 1122:2:2518
1125 1123:0:4178
1126 1124:2:2520
1127 1125:0:4178
1128 1126:2:2521
1129 1127:0:4178
1130 1128:2:2522
1131 1129:0:4178
1132 1130:2:2523
1133 1131:0:4178
1134 1132:2:2524
1135 1133:0:4178
1136 1134:2:2525
1137 1135:0:4178
1138 1136:2:2526
1139 1137:2:2527
1140 1138:2:2531
1141 1139:2:2532
1142 1140:2:2540
1143 1141:2:2541
1144 1142:2:2545
1145 1143:2:2546
1146 1144:2:2554
1147 1145:2:2559
1148 1146:2:2563
1149 1147:2:2564
1150 1148:2:2572
1151 1149:2:2573
1152 1150:2:2577
1153 1151:2:2578
1154 1152:2:2572
1155 1153:2:2573
1156 1154:2:2574
1157 1155:2:2586
1158 1156:2:2591
1159 1157:2:2598
1160 1158:2:2599
1161 1159:2:2606
1162 1160:2:2611
1163 1161:2:2618
1164 1162:2:2619
1165 1163:2:2618
1166 1164:2:2619
1167 1165:2:2626
1168 1166:2:2636
1169 1167:0:4178
1170 1168:2:2525
1171 1169:0:4178
1172 1170:1:118
1173 1171:0:4178
1174 1172:1:120
1175 1173:0:4178
1176 1174:1:19
1177 1175:0:4178
1178 1176:1:1151
1179 1177:0:4178
1180 1178:1:2417
1181 1179:1:2424
1182 1180:1:2425
1183 1181:1:2432
1184 1182:1:2437
1185 1183:1:2444
1186 1184:1:2445
1187 1185:1:2444
1188 1186:1:2445
1189 1187:1:2452
1190 1188:1:2456
1191 1189:0:4178
1192 1190:2:2640
1193 1191:2:2644
1194 1192:2:2645
1195 1193:2:2649
1196 1194:2:2653
1197 1195:2:2654
1198 1196:2:2658
1199 1197:2:2666
1200 1198:2:2667
1201 1199:2:2671
1202 1200:2:2675
1203 1201:2:2676
1204 1202:2:2671
1205 1203:2:2672
1206 1204:2:2680
1207 1205:0:4178
1208 1206:2:2525
1209 1207:0:4178
1210 1208:2:2688
1211 1209:2:2689
1212 1210:2:2690
1213 1211:0:4178
1214 1212:2:2525
1215 1213:0:4178
1216 1214:2:2695
1217 1215:0:4178
1218 1216:2:3307
1219 1217:2:3308
1220 1218:2:3312
1221 1219:2:3316
1222 1220:2:3317
1223 1221:2:3321
1224 1222:2:3326
1225 1223:2:3334
1226 1224:2:3338
1227 1225:2:3339
1228 1226:2:3334
1229 1227:2:3338
1230 1228:2:3339
1231 1229:2:3343
1232 1230:2:3350
1233 1231:2:3357
1234 1232:2:3358
1235 1233:2:3365
1236 1234:2:3370
1237 1235:2:3377
1238 1236:2:3378
1239 1237:2:3377
1240 1238:2:3378
1241 1239:2:3385
1242 1240:2:3389
1243 1241:0:4178
1244 1242:2:3394
1245 1243:0:4178
1246 1244:2:3395
1247 1245:0:4178
1248 1246:2:3396
1249 1247:0:4178
1250 1248:2:3397
1251 1249:0:4178
1252 1250:1:1153
1253 1251:1:1154
1254 1252:0:4176
1255 1253:2:3398
1256 1254:0:4182
1257 1255:1:2145