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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4651
   4 2:2:2896
   5 3:2:2901
   6 4:2:2905
   7 5:2:2913
   8 6:2:2917
   9 7:2:2921
  10 8:0:4651
  11 9:1:0
  12 10:1:5
  13 11:1:9
  14 12:1:17
  15 13:1:21
  16 14:1:25
  17 15:0:4651
  18 16:3:4621
  19 17:3:4624
  20 18:3:4631
  21 19:3:4638
  22 20:3:4641
  23 21:3:4645
  24 22:3:4646
  25 23:0:4651
  26 24:3:4648
  27 25:0:4651
  28 26:2:2925
  29 27:0:4651
  30 28:2:2931
  31 29:0:4651
  32 30:2:2932
  33 31:0:4651
  34 32:2:2934
  35 33:0:4651
  36 34:2:2935
  37 35:0:4651
  38 36:2:2936
  39 37:0:4651
  40 38:2:2937
  41 39:0:4651
  42 40:2:2938
  43 41:0:4651
  44 42:2:2939
  45 43:0:4651
  46 44:2:2940
  47 45:2:2941
  48 46:2:2945
  49 47:2:2946
  50 48:2:2954
  51 49:2:2955
  52 50:2:2959
  53 51:2:2960
  54 52:2:2968
  55 53:2:2973
  56 54:2:2977
  57 55:2:2978
  58 56:2:2986
  59 57:2:2987
  60 58:2:2991
  61 59:2:2992
  62 60:2:2986
  63 61:2:2987
  64 62:2:2991
  65 63:2:2992
  66 64:2:3000
  67 65:2:3005
  68 66:2:3006
  69 67:2:3017
  70 68:2:3018
  71 69:2:3019
  72 70:2:3030
  73 71:2:3035
  74 72:2:3036
  75 73:2:3047
  76 74:2:3048
  77 75:2:3049
  78 76:2:3047
  79 77:2:3048
  80 78:2:3049
  81 79:2:3060
  82 80:2:3068
  83 81:0:4651
  84 82:2:2939
  85 83:0:4651
  86 84:2:3072
  87 85:2:3076
  88 86:2:3077
  89 87:2:3081
  90 88:2:3085
  91 89:2:3086
  92 90:2:3090
  93 91:2:3098
  94 92:2:3099
  95 93:2:3103
  96 94:2:3107
  97 95:2:3108
  98 96:2:3103
  99 97:2:3104
 100 98:2:3112
 101 99:0:4651
 102 100:2:2939
 103 101:0:4651
 104 102:2:3120
 105 103:2:3121
 106 104:2:3122
 107 105:0:4651
 108 106:2:2939
 109 107:0:4651
 110 108:2:3127
 111 109:0:4651
 112 110:2:3830
 113 111:2:3831
 114 112:2:3835
 115 113:2:3839
 116 114:2:3840
 117 115:2:3844
 118 116:2:3849
 119 117:2:3857
 120 118:2:3861
 121 119:2:3862
 122 120:2:3857
 123 121:2:3861
 124 122:2:3862
 125 123:2:3866
 126 124:2:3873
 127 125:2:3880
 128 126:2:3881
 129 127:2:3888
 130 128:2:3893
 131 129:2:3900
 132 130:2:3901
 133 131:2:3900
 134 132:2:3901
 135 133:2:3908
 136 134:2:3912
 137 135:0:4651
 138 136:2:3917
 139 137:0:4651
 140 138:2:3918
 141 139:0:4651
 142 140:2:3919
 143 141:0:4651
 144 142:2:3920
 145 143:0:4651
 146 144:1:29
 147 145:0:4651
 148 146:2:3921
 149 147:0:4651
 150 148:1:35
 151 149:0:4651
 152 150:1:36
 153 151:0:4651
 154 152:2:3920
 155 153:0:4651
 156 154:1:37
 157 155:0:4651
 158 156:2:3921
 159 157:0:4651
 160 158:1:38
 161 159:0:4651
 162 160:2:3920
 163 161:0:4651
 164 162:1:39
 165 163:0:4651
 166 164:2:3921
 167 165:0:4651
 168 166:1:40
 169 167:0:4651
 170 168:2:3920
 171 169:0:4651
 172 170:1:41
 173 171:0:4651
 174 172:2:3921
 175 173:0:4651
 176 174:1:42
 177 175:0:4651
 178 176:1:43
 179 177:0:4651
 180 178:2:3920
 181 179:0:4651
 182 180:1:44
 183 181:0:4651
 184 182:2:3921
 185 183:0:4651
 186 184:1:53
 187 185:0:4651
 188 186:2:3920
 189 187:0:4651
 190 188:1:57
 191 189:1:58
 192 190:1:62
 193 191:1:66
 194 192:1:67
 195 193:1:71
 196 194:1:79
 197 195:1:80
 198 196:1:84
 199 197:1:88
 200 198:1:89
 201 199:1:84
 202 200:1:88
 203 201:1:89
 204 202:1:93
 205 203:1:100
 206 204:1:107
 207 205:1:108
 208 206:1:115
 209 207:1:120
 210 208:1:127
 211 209:1:128
 212 210:1:127
 213 211:1:128
 214 212:1:135
 215 213:1:139
 216 214:0:4651
 217 215:2:3921
 218 216:0:4651
 219 217:1:144
 220 218:0:4651
 221 219:2:3922
 222 220:0:4651
 223 221:2:3927
 224 222:0:4651
 225 223:2:3928
 226 224:0:4651
 227 225:2:3936
 228 226:2:3937
 229 227:2:3941
 230 228:2:3945
 231 229:2:3946
 232 230:2:3950
 233 231:2:3958
 234 232:2:3959
 235 233:2:3963
 236 234:2:3967
 237 235:2:3968
 238 236:2:3963
 239 237:2:3967
 240 238:2:3968
 241 239:2:3972
 242 240:2:3979
 243 241:2:3986
 244 242:2:3987
 245 243:2:3994
 246 244:2:3999
 247 245:2:4006
 248 246:2:4007
 249 247:2:4006
 250 248:2:4007
 251 249:2:4014
 252 250:2:4018
 253 251:0:4651
 254 252:2:3129
 255 253:2:3811
 256 254:0:4651
 257 255:2:2939
 258 256:0:4651
 259 257:2:3130
 260 258:0:4651
 261 259:2:2939
 262 260:0:4651
 263 261:2:3133
 264 262:2:3134
 265 263:2:3138
 266 264:2:3139
 267 265:2:3147
 268 266:2:3148
 269 267:2:3152
 270 268:2:3153
 271 269:2:3161
 272 270:2:3166
 273 271:2:3170
 274 272:2:3171
 275 273:2:3179
 276 274:2:3180
 277 275:2:3184
 278 276:2:3185
 279 277:2:3179
 280 278:2:3180
 281 279:2:3184
 282 280:2:3185
 283 281:2:3193
 284 282:2:3198
 285 283:2:3199
 286 284:2:3210
 287 285:2:3211
 288 286:2:3212
 289 287:2:3223
 290 288:2:3228
 291 289:2:3229
 292 290:2:3240
 293 291:2:3241
 294 292:2:3242
 295 293:2:3240
 296 294:2:3241
 297 295:2:3242
 298 296:2:3253
 299 297:2:3260
 300 298:0:4651
 301 299:2:2939
 302 300:0:4651
 303 301:2:3264
 304 302:2:3265
 305 303:2:3266
 306 304:2:3278
 307 305:2:3279
 308 306:2:3283
 309 307:2:3284
 310 308:2:3292
 311 309:2:3297
 312 310:2:3301
 313 311:2:3302
 314 312:2:3310
 315 313:2:3311
 316 314:2:3315
 317 315:2:3316
 318 316:2:3310
 319 317:2:3311
 320 318:2:3315
 321 319:2:3316
 322 320:2:3324
 323 321:2:3329
 324 322:2:3330
 325 323:2:3341
 326 324:2:3342
 327 325:2:3343
 328 326:2:3354
 329 327:2:3359
 330 328:2:3360
 331 329:2:3371
 332 330:2:3372
 333 331:2:3373
 334 332:2:3371
 335 333:2:3372
 336 334:2:3373
 337 335:2:3384
 338 336:2:3394
 339 337:2:3395
 340 338:0:4651
 341 339:2:2939
 342 340:0:4651
 343 341:2:3799
 344 342:0:4651
 345 343:2:4424
 346 344:2:4425
 347 345:2:4429
 348 346:2:4433
 349 347:2:4434
 350 348:2:4438
 351 349:2:4446
 352 350:2:4447
 353 351:2:4451
 354 352:2:4455
 355 353:2:4456
 356 354:2:4451
 357 355:2:4455
 358 356:2:4456
 359 357:2:4460
 360 358:2:4467
 361 359:2:4474
 362 360:2:4475
 363 361:2:4482
 364 362:2:4487
 365 363:2:4494
 366 364:2:4495
 367 365:2:4494
 368 366:2:4495
 369 367:2:4502
 370 368:2:4506
 371 369:0:4651
 372 370:2:4511
 373 371:0:4651
 374 372:2:4512
 375 373:0:4651
 376 374:2:4513
 377 375:0:4651
 378 376:2:4514
 379 377:0:4651
 380 378:1:145
 381 379:0:4651
 382 380:2:4515
 383 381:0:4651
 384 382:1:147
 385 383:0:4651
 386 384:2:4514
 387 385:0:4651
 388 386:1:46
 389 387:0:4651
 390 388:2:4515
 391 389:0:4651
 392 390:1:153
 393 391:1:154
 394 392:1:158
 395 393:1:159
 396 394:1:167
 397 395:1:168
 398 396:1:172
 399 397:1:173
 400 398:1:181
 401 399:1:186
 402 400:1:190
 403 401:1:191
 404 402:1:199
 405 403:1:200
 406 404:1:204
 407 405:1:205
 408 406:1:199
 409 407:1:200
 410 408:1:204
 411 409:1:205
 412 410:1:213
 413 411:1:225
 414 412:1:226
 415 413:1:230
 416 414:1:231
 417 415:1:232
 418 416:1:243
 419 417:1:248
 420 418:1:249
 421 419:1:260
 422 420:1:261
 423 421:1:262
 424 422:1:260
 425 423:1:261
 426 424:1:262
 427 425:1:273
 428 426:0:4651
 429 427:1:42
 430 428:0:4651
 431 429:1:43
 432 430:0:4651
 433 431:2:4514
 434 432:0:4651
 435 433:1:44
 436 434:0:4651
 437 435:2:4515
 438 436:0:4651
 439 437:1:145
 440 438:0:4651
 441 439:1:147
 442 440:0:4651
 443 441:2:4514
 444 442:0:4651
 445 443:1:46
 446 444:0:4651
 447 445:2:4515
 448 446:0:4651
 449 447:1:282
 450 448:1:283
 451 449:0:4651
 452 450:1:42
 453 451:0:4651
 454 452:1:43
 455 453:0:4651
 456 454:2:4514
 457 455:0:4651
 458 456:1:44
 459 457:0:4651
 460 458:2:4515
 461 459:0:4651
 462 460:1:145
 463 461:0:4651
 464 462:1:147
 465 463:0:4651
 466 464:2:4514
 467 465:0:4651
 468 466:1:46
 469 467:0:4651
 470 468:2:4515
 471 469:0:4651
 472 470:1:289
 473 471:1:290
 474 472:1:294
 475 473:1:295
 476 474:1:303
 477 475:1:304
 478 476:1:308
 479 477:1:309
 480 478:1:317
 481 479:1:322
 482 480:1:326
 483 481:1:327
 484 482:1:335
 485 483:1:336
 486 484:1:340
 487 485:1:341
 488 486:1:335
 489 487:1:336
 490 488:1:340
 491 489:1:341
 492 490:1:349
 493 491:1:361
 494 492:1:362
 495 493:1:366
 496 494:1:367
 497 495:1:368
 498 496:1:379
 499 497:1:384
 500 498:1:385
 501 499:1:396
 502 500:1:397
 503 501:1:398
 504 502:1:396
 505 503:1:397
 506 504:1:398
 507 505:1:409
 508 506:0:4651
 509 507:1:42
 510 508:0:4651
 511 509:1:43
 512 510:0:4651
 513 511:2:4514
 514 512:0:4651
 515 513:1:44
 516 514:0:4651
 517 515:2:4515
 518 516:0:4651
 519 517:1:53
 520 518:0:4651
 521 519:2:4514
 522 520:0:4651
 523 521:1:57
 524 522:1:58
 525 523:1:62
 526 524:1:66
 527 525:1:67
 528 526:1:71
 529 527:1:79
 530 528:1:80
 531 529:1:84
 532 530:1:88
 533 531:1:89
 534 532:1:84
 535 533:1:88
 536 534:1:89
 537 535:1:93
 538 536:1:100
 539 537:1:107
 540 538:1:108
 541 539:1:115
 542 540:1:120
 543 541:1:127
 544 542:1:128
 545 543:1:127
 546 544:1:128
 547 545:1:135
 548 546:1:139
 549 547:0:4651
 550 548:2:4515
 551 549:0:4651
 552 550:1:144
 553 551:0:4651
 554 552:2:4516
 555 553:0:4651
 556 554:2:4521
 557 555:0:4651
 558 556:2:4522
 559 557:0:4651
 560 558:2:4530
 561 559:2:4531
 562 560:2:4535
 563 561:2:4539
 564 562:2:4540
 565 563:2:4544
 566 564:2:4552
 567 565:2:4553
 568 566:2:4557
 569 567:2:4561
 570 568:2:4562
 571 569:2:4557
 572 570:2:4561
 573 571:2:4562
 574 572:2:4566
 575 573:2:4573
 576 574:2:4580
 577 575:2:4581
 578 576:2:4588
 579 577:2:4593
 580 578:2:4600
 581 579:2:4601
 582 580:2:4600
 583 581:2:4601
 584 582:2:4608
 585 583:2:4612
 586 584:0:4651
 587 585:2:3801
 588 586:2:3811
 589 587:0:4651
 590 588:2:2939
 591 589:0:4651
 592 590:2:3802
 593 591:2:3803
 594 592:0:4651
 595 593:2:2939
 596 594:0:4651
 597 595:2:3807
 598 596:0:4651
 599 597:2:3815
 600 598:0:4651
 601 599:2:2932
 602 600:0:4651
 603 601:2:2934
 604 602:0:4651
 605 603:2:2935
 606 604:0:4651
 607 605:2:2936
 608 606:0:4651
 609 607:2:2937
 610 608:0:4651
 611 609:2:2938
 612 610:0:4651
 613 611:2:2939
 614 612:0:4651
 615 613:2:2940
 616 614:2:2941
 617 615:2:2945
 618 616:2:2946
 619 617:2:2954
 620 618:2:2955
 621 619:2:2959
 622 620:2:2960
 623 621:2:2968
 624 622:2:2973
 625 623:2:2977
 626 624:2:2978
 627 625:2:2986
 628 626:2:2987
 629 627:2:2988
 630 628:2:2986
 631 629:2:2987
 632 630:2:2991
 633 631:2:2992
 634 632:2:3000
 635 633:2:3005
 636 634:2:3006
 637 635:2:3017
 638 636:2:3018
 639 637:2:3019
 640 638:2:3030
 641 639:2:3035
 642 640:2:3036
 643 641:2:3047
 644 642:2:3048
 645 643:2:3049
 646 644:2:3047
 647 645:2:3048
 648 646:2:3049
 649 647:2:3060
 650 648:2:3068
 651 649:0:4651
 652 650:2:2939
 653 651:0:4651
 654 652:2:3072
 655 653:2:3076
 656 654:2:3077
 657 655:2:3081
 658 656:2:3085
 659 657:2:3086
 660 658:2:3090
 661 659:2:3098
 662 660:2:3099
 663 661:2:3103
 664 662:2:3104
 665 663:2:3103
 666 664:2:3107
 667 665:2:3108
 668 666:2:3112
 669 667:0:4651
 670 668:2:2939
 671 669:0:4651
 672 670:2:3120
 673 671:2:3121
 674 672:2:3122
 675 673:0:4651
 676 674:2:2939
 677 675:0:4651
 678 676:2:3127
 679 677:0:4651
 680 678:2:3830
 681 679:2:3831
 682 680:2:3835
 683 681:2:3839
 684 682:2:3840
 685 683:2:3844
 686 684:2:3849
 687 685:2:3857
 688 686:2:3861
 689 687:2:3862
 690 688:2:3857
 691 689:2:3861
 692 690:2:3862
 693 691:2:3866
 694 692:2:3873
 695 693:2:3880
 696 694:2:3881
 697 695:2:3888
 698 696:2:3893
 699 697:2:3900
 700 698:2:3901
 701 699:2:3900
 702 700:2:3901
 703 701:2:3908
 704 702:2:3912
 705 703:0:4651
 706 704:2:3917
 707 705:0:4651
 708 706:2:3918
 709 707:0:4651
 710 708:2:3919
 711 709:0:4651
 712 710:2:3920
 713 711:0:4651
 714 712:1:145
 715 713:0:4651
 716 714:2:3921
 717 715:0:4651
 718 716:1:147
 719 717:0:4651
 720 718:2:3920
 721 719:0:4651
 722 720:1:46
 723 721:0:4651
 724 722:2:3921
 725 723:0:4651
 726 724:1:418
 727 725:1:419
 728 726:1:423
 729 727:1:424
 730 728:1:432
 731 729:1:433
 732 730:1:437
 733 731:1:438
 734 732:1:446
 735 733:1:451
 736 734:1:455
 737 735:1:456
 738 736:1:464
 739 737:1:465
 740 738:1:469
 741 739:1:470
 742 740:1:464
 743 741:1:465
 744 742:1:469
 745 743:1:470
 746 744:1:478
 747 745:1:483
 748 746:1:484
 749 747:1:495
 750 748:1:496
 751 749:1:497
 752 750:1:508
 753 751:1:520
 754 752:1:521
 755 753:1:525
 756 754:1:526
 757 755:1:527
 758 756:1:525
 759 757:1:526
 760 758:1:527
 761 759:1:538
 762 760:1:545
 763 761:0:4651
 764 762:1:42
 765 763:0:4651
 766 764:1:43
 767 765:0:4651
 768 766:2:3920
 769 767:0:4651
 770 768:1:44
 771 769:0:4651
 772 770:2:3921
 773 771:0:4651
 774 772:1:145
 775 773:0:4651
 776 774:1:147
 777 775:0:4651
 778 776:2:3920
 779 777:0:4651
 780 778:1:46
 781 779:0:4651
 782 780:2:3921
 783 781:0:4651
 784 782:1:683
 785 783:1:684
 786 784:1:688
 787 785:1:689
 788 786:1:697
 789 787:1:698
 790 788:1:699
 791 789:1:711
 792 790:1:716
 793 791:1:720
 794 792:1:721
 795 793:1:729
 796 794:1:730
 797 795:1:734
 798 796:1:735
 799 797:1:729
 800 798:1:730
 801 799:1:734
 802 800:1:735
 803 801:1:743
 804 802:1:748
 805 803:1:749
 806 804:1:760
 807 805:1:761
 808 806:1:762
 809 807:1:773
 810 808:1:785
 811 809:1:786
 812 810:1:790
 813 811:1:791
 814 812:1:792
 815 813:1:790
 816 814:1:791
 817 815:1:792
 818 816:1:803
 819 817:0:4651
 820 818:1:42
 821 819:0:4651
 822 820:1:43
 823 821:0:4651
 824 822:2:3920
 825 823:0:4651
 826 824:1:44
 827 825:0:4651
 828 826:2:3921
 829 827:0:4651
 830 828:1:145
 831 829:0:4651
 832 830:1:147
 833 831:0:4651
 834 832:2:3920
 835 833:0:4651
 836 834:1:46
 837 835:0:4651
 838 836:2:3921
 839 837:0:4651
 840 838:1:812
 841 839:1:815
 842 840:1:816
 843 841:0:4651
 844 842:1:42
 845 843:0:4651
 846 844:1:43
 847 845:0:4651
 848 846:2:3920
 849 847:0:4651
 850 848:1:44
 851 849:0:4651
 852 850:2:3921
 853 851:0:4651
 854 852:1:145
 855 853:0:4651
 856 854:1:147
 857 855:0:4651
 858 856:2:3920
 859 857:0:4651
 860 858:1:46
 861 859:0:4651
 862 860:2:3921
 863 861:0:4651
 864 862:1:819
 865 863:1:820
 866 864:1:824
 867 865:1:825
 868 866:1:833
 869 867:1:834
 870 868:1:838
 871 869:1:839
 872 870:1:847
 873 871:1:852
 874 872:1:856
 875 873:1:857
 876 874:1:865
 877 875:1:866
 878 876:1:870
 879 877:1:871
 880 878:1:865
 881 879:1:866
 882 880:1:870
 883 881:1:871
 884 882:1:879
 885 883:1:884
 886 884:1:885
 887 885:1:896
 888 886:1:897
 889 887:1:898
 890 888:1:909
 891 889:1:921
 892 890:1:922
 893 891:1:926
 894 892:1:927
 895 893:1:928
 896 894:1:926
 897 895:1:927
 898 896:1:928
 899 897:1:939
 900 898:0:4651
 901 899:1:42
 902 900:0:4651
 903 901:1:43
 904 902:0:4651
 905 903:2:3920
 906 904:0:4651
 907 905:1:44
 908 906:0:4651
 909 907:2:3921
 910 908:0:4651
 911 909:1:145
 912 910:0:4651
 913 911:1:147
 914 912:0:4651
 915 913:2:3920
 916 914:0:4651
 917 915:1:46
 918 916:0:4651
 919 917:2:3921
 920 918:0:4651
 921 919:1:1079
 922 920:1:1080
 923 921:1:1084
 924 922:1:1085
 925 923:1:1093
 926 924:1:1094
 927 925:1:1098
 928 926:1:1099
 929 927:1:1107
 930 928:1:1112
 931 929:1:1116
 932 930:1:1117
 933 931:1:1125
 934 932:1:1126
 935 933:1:1130
 936 934:1:1131
 937 935:1:1125
 938 936:1:1126
 939 937:1:1130
 940 938:1:1131
 941 939:1:1139
 942 940:1:1144
 943 941:1:1145
 944 942:1:1156
 945 943:1:1157
 946 944:1:1158
 947 945:1:1169
 948 946:1:1181
 949 947:1:1182
 950 948:1:1186
 951 949:1:1187
 952 950:1:1188
 953 951:1:1186
 954 952:1:1187
 955 953:1:1188
 956 954:1:1199
 957 955:1:1206
 958 956:1:1210
 959 957:0:4651
 960 958:1:42
 961 959:0:4651
 962 960:1:43
 963 961:0:4651
 964 962:2:3920
 965 963:0:4651
 966 964:1:44
 967 965:0:4651
 968 966:2:3921
 969 967:0:4651
 970 968:1:145
 971 969:0:4651
 972 970:1:147
 973 971:0:4651
 974 972:2:3920
 975 973:0:4651
 976 974:1:46
 977 975:0:4651
 978 976:2:3921
 979 977:0:4651
 980 978:1:1211
 981 979:1:1212
 982 980:1:1216
 983 981:1:1217
 984 982:1:1225
 985 983:1:1226
 986 984:1:1227
 987 985:1:1239
 988 986:1:1244
 989 987:1:1248
 990 988:1:1249
 991 989:1:1257
 992 990:1:1258
 993 991:1:1262
 994 992:1:1263
 995 993:1:1257
 996 994:1:1258
 997 995:1:1262
 998 996:1:1263
 999 997:1:1271
1000 998:1:1276
1001 999:1:1277
1002 1000:1:1288
1003 1001:1:1289
1004 1002:1:1290
1005 1003:1:1301
1006 1004:1:1313
1007 1005:1:1314
1008 1006:1:1318
1009 1007:1:1319
1010 1008:1:1320
1011 1009:1:1318
1012 1010:1:1319
1013 1011:1:1320
1014 1012:1:1331
1015 1013:0:4651
1016 1014:1:42
1017 1015:0:4651
1018 1016:1:43
1019 1017:0:4651
1020 1018:2:3920
1021 1019:0:4651
1022 1020:1:44
1023 1021:0:4651
1024 1022:2:3921
1025 1023:0:4651
1026 1024:1:53
1027 1025:0:4651
1028 1026:2:3920
1029 1027:0:4651
1030 1028:1:57
1031 1029:1:58
1032 1030:1:62
1033 1031:1:66
1034 1032:1:67
1035 1033:1:71
1036 1034:1:79
1037 1035:1:80
1038 1036:1:84
1039 1037:1:88
1040 1038:1:89
1041 1039:1:84
1042 1040:1:88
1043 1041:1:89
1044 1042:1:93
1045 1043:1:100
1046 1044:1:107
1047 1045:1:108
1048 1046:1:115
1049 1047:1:120
1050 1048:1:127
1051 1049:1:128
1052 1050:1:127
1053 1051:1:128
1054 1052:1:135
1055 1053:1:139
1056 1054:0:4651
1057 1055:2:3921
1058 1056:0:4651
1059 1057:1:144
1060 1058:0:4651
1061 1059:2:3922
1062 1060:0:4651
1063 1061:2:3927
1064 1062:0:4651
1065 1063:2:3928
1066 1064:0:4651
1067 1065:2:3936
1068 1066:2:3937
1069 1067:2:3941
1070 1068:2:3945
1071 1069:2:3946
1072 1070:2:3950
1073 1071:2:3958
1074 1072:2:3959
1075 1073:2:3963
1076 1074:2:3967
1077 1075:2:3968
1078 1076:2:3963
1079 1077:2:3967
1080 1078:2:3968
1081 1079:2:3972
1082 1080:2:3979
1083 1081:2:3986
1084 1082:2:3987
1085 1083:2:3994
1086 1084:2:3999
1087 1085:2:4006
1088 1086:2:4007
1089 1087:2:4006
1090 1088:2:4007
1091 1089:2:4014
1092 1090:2:4018
1093 1091:0:4651
1094 1092:2:3129
1095 1093:2:3811
1096 1094:0:4651
1097 1095:2:2939
1098 1096:0:4651
1099 1097:2:3130
1100 1098:0:4651
1101 1099:2:2939
1102 1100:0:4651
1103 1101:2:3133
1104 1102:2:3134
1105 1103:2:3138
1106 1104:2:3139
1107 1105:2:3147
1108 1106:2:3148
1109 1107:2:3152
1110 1108:2:3153
1111 1109:2:3161
1112 1110:2:3166
1113 1111:2:3170
1114 1112:2:3171
1115 1113:2:3179
1116 1114:2:3180
1117 1115:2:3184
1118 1116:2:3185
1119 1117:2:3179
1120 1118:2:3180
1121 1119:2:3184
1122 1120:2:3185
1123 1121:2:3193
1124 1122:2:3198
1125 1123:2:3199
1126 1124:2:3210
1127 1125:2:3211
1128 1126:2:3212
1129 1127:2:3223
1130 1128:2:3228
1131 1129:2:3229
1132 1130:2:3240
1133 1131:2:3241
1134 1132:2:3242
1135 1133:2:3240
1136 1134:2:3241
1137 1135:2:3242
1138 1136:2:3253
1139 1137:2:3260
1140 1138:0:4651
1141 1139:2:2939
1142 1140:0:4651
1143 1141:2:3264
1144 1142:2:3265
1145 1143:2:3266
1146 1144:2:3278
1147 1145:2:3279
1148 1146:2:3283
1149 1147:2:3284
1150 1148:2:3292
1151 1149:2:3297
1152 1150:2:3301
1153 1151:2:3302
1154 1152:2:3310
1155 1153:2:3311
1156 1154:2:3315
1157 1155:2:3316
1158 1156:2:3310
1159 1157:2:3311
1160 1158:2:3315
1161 1159:2:3316
1162 1160:2:3324
1163 1161:2:3329
1164 1162:2:3330
1165 1163:2:3341
1166 1164:2:3342
1167 1165:2:3343
1168 1166:2:3354
1169 1167:2:3359
1170 1168:2:3360
1171 1169:2:3371
1172 1170:2:3372
1173 1171:2:3373
1174 1172:2:3371
1175 1173:2:3372
1176 1174:2:3373
1177 1175:2:3384
1178 1176:2:3394
1179 1177:2:3395
1180 1178:0:4651
1181 1179:2:2939
1182 1180:0:4651
1183 1181:2:3799
1184 1182:0:4651
1185 1183:2:4424
1186 1184:2:4425
1187 1185:2:4429
1188 1186:2:4433
1189 1187:2:4434
1190 1188:2:4438
1191 1189:2:4446
1192 1190:2:4447
1193 1191:2:4451
1194 1192:2:4455
1195 1193:2:4456
1196 1194:2:4451
1197 1195:2:4455
1198 1196:2:4456
1199 1197:2:4460
1200 1198:2:4467
1201 1199:2:4474
1202 1200:2:4475
1203 1201:2:4482
1204 1202:2:4487
1205 1203:2:4494
1206 1204:2:4495
1207 1205:2:4494
1208 1206:2:4495
1209 1207:2:4502
1210 1208:2:4506
1211 1209:0:4651
1212 1210:2:4511
1213 1211:0:4651
1214 1212:2:4512
1215 1213:0:4651
1216 1214:2:4513
1217 1215:0:4651
1218 1216:2:4514
1219 1217:0:4651
1220 1218:1:53
1221 1219:0:4651
1222 1220:2:4515
1223 1221:0:4651
1224 1222:1:57
1225 1223:1:58
1226 1224:1:62
1227 1225:1:66
1228 1226:1:67
1229 1227:1:71
1230 1228:1:79
1231 1229:1:80
1232 1230:1:84
1233 1231:1:88
1234 1232:1:89
1235 1233:1:84
1236 1234:1:88
1237 1235:1:89
1238 1236:1:93
1239 1237:1:100
1240 1238:1:107
1241 1239:1:108
1242 1240:1:115
1243 1241:1:120
1244 1242:1:127
1245 1243:1:128
1246 1244:1:127
1247 1245:1:128
1248 1246:1:135
1249 1247:1:139
1250 1248:0:4651
1251 1249:2:4514
1252 1250:0:4651
1253 1251:1:144
1254 1252:0:4651
1255 1253:2:4515
1256 1254:0:4651
1257 1255:2:4516
1258 1256:0:4651
1259 1257:2:4521
1260 1258:0:4651
1261 1259:2:4522
1262 1260:0:4651
1263 1261:2:4530
1264 1262:2:4531
1265 1263:2:4535
1266 1264:2:4539
1267 1265:2:4540
1268 1266:2:4544
1269 1267:2:4552
1270 1268:2:4553
1271 1269:2:4557
1272 1270:2:4561
1273 1271:2:4562
1274 1272:2:4557
1275 1273:2:4561
1276 1274:2:4562
1277 1275:2:4566
1278 1276:2:4573
1279 1277:2:4580
1280 1278:2:4581
1281 1279:2:4588
1282 1280:2:4593
1283 1281:2:4600
1284 1282:2:4601
1285 1283:2:4600
1286 1284:2:4601
1287 1285:2:4608
1288 1286:2:4612
1289 1287:0:4651
1290 1288:2:3801
1291 1289:2:3811
1292 1290:0:4651
1293 1291:2:2939
1294 1292:0:4651
1295 1293:2:3802
1296 1294:2:3803
1297 1295:0:4651
1298 1296:2:2939
1299 1297:0:4651
1300 1298:2:3807
1301 1299:0:4651
1302 1300:2:3815
1303 1301:0:4651
1304 1302:2:2932
1305 1303:0:4651
1306 1304:2:2934
1307 1305:0:4651
1308 1306:2:2935
1309 1307:0:4651
1310 1308:2:2936
1311 1309:0:4651
1312 1310:2:2937
1313 1311:0:4651
1314 1312:2:2938
1315 1313:0:4651
1316 1314:2:2939
1317 1315:0:4651
1318 1316:2:2940
1319 1317:2:2941
1320 1318:2:2945
1321 1319:2:2946
1322 1320:2:2954
1323 1321:2:2955
1324 1322:2:2959
1325 1323:2:2960
1326 1324:2:2968
1327 1325:2:2973
1328 1326:2:2977
1329 1327:2:2978
1330 1328:2:2986
1331 1329:2:2987
1332 1330:2:2991
1333 1331:2:2992
1334 1332:2:2986
1335 1333:2:2987
1336 1334:2:2988
1337 1335:2:3000
1338 1336:2:3005
1339 1337:2:3006
1340 1338:2:3017
1341 1339:2:3018
1342 1340:2:3019
1343 1341:2:3030
1344 1342:2:3035
1345 1343:2:3036
1346 1344:2:3047
1347 1345:2:3048
1348 1346:2:3049
1349 1347:2:3047
1350 1348:2:3048
1351 1349:2:3049
1352 1350:2:3060
1353 1351:2:3068
1354 1352:0:4651
1355 1353:2:2939
1356 1354:0:4651
1357 1355:1:145
1358 1356:0:4651
1359 1357:1:147
1360 1358:0:4651
1361 1359:1:46
1362 1360:0:4651
1363 1361:1:1340
1364 1362:0:4651
1365 1363:1:2804
1366 1364:1:2811
1367 1365:1:2812
1368 1366:1:2819
1369 1367:1:2824
1370 1368:1:2831
1371 1369:1:2832
1372 1370:1:2831
1373 1371:1:2832
1374 1372:1:2839
1375 1373:1:2843
1376 1374:0:4651
1377 1375:2:3072
1378 1376:2:3076
1379 1377:2:3077
1380 1378:2:3081
1381 1379:2:3085
1382 1380:2:3086
1383 1381:2:3090
1384 1382:2:3098
1385 1383:2:3099
1386 1384:2:3103
1387 1385:2:3107
1388 1386:2:3108
1389 1387:2:3103
1390 1388:2:3104
1391 1389:2:3112
1392 1390:0:4651
1393 1391:2:2939
1394 1392:0:4651
1395 1393:2:3120
1396 1394:2:3121
1397 1395:2:3122
1398 1396:0:4651
1399 1397:2:2939
1400 1398:0:4651
1401 1399:2:3127
1402 1400:0:4651
1403 1401:2:3830
1404 1402:2:3831
1405 1403:2:3835
1406 1404:2:3839
1407 1405:2:3840
1408 1406:2:3844
1409 1407:2:3849
1410 1408:2:3857
1411 1409:2:3861
1412 1410:2:3862
1413 1411:2:3857
1414 1412:2:3861
1415 1413:2:3862
1416 1414:2:3866
1417 1415:2:3873
1418 1416:2:3880
1419 1417:2:3881
1420 1418:2:3888
1421 1419:2:3893
1422 1420:2:3900
1423 1421:2:3901
1424 1422:2:3900
1425 1423:2:3901
1426 1424:2:3908
1427 1425:2:3912
1428 1426:0:4651
1429 1427:2:3917
1430 1428:0:4651
1431 1429:2:3918
1432 1430:0:4651
1433 1431:2:3919
1434 1432:0:4651
1435 1433:2:3920
1436 1434:0:4651
1437 1435:1:1342
1438 1436:1:1343
1439 1437:0:4649
1440 1438:2:3921
1441 1439:0:4655
1442 1440:1:2458