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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4646
   4 2:3:4566
   5 3:3:4569
   6 4:3:4569
   7 5:3:4572
   8 6:3:4580
   9 7:3:4580
  10 8:3:4583
  11 9:3:4589
  12 10:3:4593
  13 11:3:4593
  14 12:3:4596
  15 13:3:4606
  16 14:3:4614
  17 15:3:4614
  18 16:3:4617
  19 17:3:4623
  20 18:3:4627
  21 19:3:4627
  22 20:3:4630
  23 21:3:4636
  24 22:3:4640
  25 23:3:4641
  26 24:0:4646
  27 25:3:4643
  28 26:0:4646
  29 27:2:2871
  30 28:0:4646
  31 29:2:2877
  32 30:0:4646
  33 31:2:2878
  34 32:0:4646
  35 33:2:2880
  36 34:0:4646
  37 35:2:2881
  38 36:0:4646
  39 37:2:2882
  40 38:0:4646
  41 39:2:2883
  42 40:0:4646
  43 41:2:2884
  44 42:0:4646
  45 43:2:2885
  46 44:0:4646
  47 45:2:2886
  48 46:2:2887
  49 47:2:2891
  50 48:2:2892
  51 49:2:2900
  52 50:2:2901
  53 51:2:2905
  54 52:2:2906
  55 53:2:2914
  56 54:2:2919
  57 55:2:2923
  58 56:2:2924
  59 57:2:2932
  60 58:2:2933
  61 59:2:2937
  62 60:2:2938
  63 61:2:2932
  64 62:2:2933
  65 63:2:2937
  66 64:2:2938
  67 65:2:2946
  68 66:2:2951
  69 67:2:2952
  70 68:2:2963
  71 69:2:2964
  72 70:2:2965
  73 71:2:2976
  74 72:2:2981
  75 73:2:2982
  76 74:2:2993
  77 75:2:2994
  78 76:2:2995
  79 77:2:2993
  80 78:2:2994
  81 79:2:2995
  82 80:2:3006
  83 81:2:3014
  84 82:0:4646
  85 83:2:2885
  86 84:0:4646
  87 85:2:3018
  88 86:2:3022
  89 87:2:3023
  90 88:2:3027
  91 89:2:3031
  92 90:2:3032
  93 91:2:3036
  94 92:2:3044
  95 93:2:3045
  96 94:2:3049
  97 95:2:3053
  98 96:2:3054
  99 97:2:3049
 100 98:2:3050
 101 99:2:3058
 102 100:0:4646
 103 101:2:2885
 104 102:0:4646
 105 103:2:3066
 106 104:2:3067
 107 105:2:3068
 108 106:0:4646
 109 107:2:2885
 110 108:0:4646
 111 109:2:3073
 112 110:0:4646
 113 111:2:3775
 114 112:2:3776
 115 113:2:3780
 116 114:2:3784
 117 115:2:3785
 118 116:2:3789
 119 117:2:3794
 120 118:2:3802
 121 119:2:3806
 122 120:2:3807
 123 121:2:3802
 124 122:2:3806
 125 123:2:3807
 126 124:2:3811
 127 125:2:3818
 128 126:2:3825
 129 127:2:3826
 130 128:2:3833
 131 129:2:3838
 132 130:2:3845
 133 131:2:3846
 134 132:2:3845
 135 133:2:3846
 136 134:2:3853
 137 135:2:3857
 138 136:0:4646
 139 137:2:3862
 140 138:0:4646
 141 139:2:3863
 142 140:0:4646
 143 141:2:3864
 144 142:0:4646
 145 143:2:3865
 146 144:0:4646
 147 145:1:2
 148 146:0:4646
 149 147:2:3866
 150 148:0:4646
 151 149:1:8
 152 150:0:4646
 153 151:1:9
 154 152:0:4646
 155 153:2:3865
 156 154:0:4646
 157 155:1:10
 158 156:0:4646
 159 157:2:3866
 160 158:0:4646
 161 159:1:11
 162 160:0:4646
 163 161:2:3865
 164 162:0:4646
 165 163:1:12
 166 164:0:4646
 167 165:2:3866
 168 166:0:4646
 169 167:1:13
 170 168:0:4646
 171 169:2:3865
 172 170:0:4646
 173 171:1:14
 174 172:0:4646
 175 173:2:3866
 176 174:0:4646
 177 175:1:15
 178 176:0:4646
 179 177:1:16
 180 178:0:4646
 181 179:2:3865
 182 180:0:4646
 183 181:1:17
 184 182:0:4646
 185 183:2:3866
 186 184:0:4646
 187 185:1:26
 188 186:0:4646
 189 187:2:3865
 190 188:0:4646
 191 189:1:30
 192 190:1:31
 193 191:1:35
 194 192:1:39
 195 193:1:40
 196 194:1:44
 197 195:1:52
 198 196:1:53
 199 197:1:57
 200 198:1:61
 201 199:1:62
 202 200:1:57
 203 201:1:61
 204 202:1:62
 205 203:1:66
 206 204:1:73
 207 205:1:80
 208 206:1:81
 209 207:1:88
 210 208:1:93
 211 209:1:100
 212 210:1:101
 213 211:1:100
 214 212:1:101
 215 213:1:108
 216 214:1:112
 217 215:0:4646
 218 216:2:3866
 219 217:0:4646
 220 218:1:117
 221 219:0:4646
 222 220:2:3867
 223 221:0:4646
 224 222:2:3872
 225 223:0:4646
 226 224:2:3873
 227 225:0:4646
 228 226:2:3881
 229 227:2:3882
 230 228:2:3886
 231 229:2:3890
 232 230:2:3891
 233 231:2:3895
 234 232:2:3903
 235 233:2:3904
 236 234:2:3908
 237 235:2:3912
 238 236:2:3913
 239 237:2:3908
 240 238:2:3912
 241 239:2:3913
 242 240:2:3917
 243 241:2:3924
 244 242:2:3931
 245 243:2:3932
 246 244:2:3939
 247 245:2:3944
 248 246:2:3951
 249 247:2:3952
 250 248:2:3951
 251 249:2:3952
 252 250:2:3959
 253 251:2:3963
 254 252:0:4646
 255 253:2:3075
 256 254:2:3756
 257 255:0:4646
 258 256:2:2885
 259 257:0:4646
 260 258:2:3076
 261 259:0:4646
 262 260:2:2885
 263 261:0:4646
 264 262:2:3079
 265 263:2:3080
 266 264:2:3084
 267 265:2:3085
 268 266:2:3093
 269 267:2:3094
 270 268:2:3098
 271 269:2:3099
 272 270:2:3107
 273 271:2:3112
 274 272:2:3116
 275 273:2:3117
 276 274:2:3125
 277 275:2:3126
 278 276:2:3130
 279 277:2:3131
 280 278:2:3125
 281 279:2:3126
 282 280:2:3130
 283 281:2:3131
 284 282:2:3139
 285 283:2:3144
 286 284:2:3145
 287 285:2:3156
 288 286:2:3157
 289 287:2:3158
 290 288:2:3169
 291 289:2:3174
 292 290:2:3175
 293 291:2:3186
 294 292:2:3187
 295 293:2:3188
 296 294:2:3186
 297 295:2:3187
 298 296:2:3188
 299 297:2:3199
 300 298:2:3206
 301 299:0:4646
 302 300:2:2885
 303 301:0:4646
 304 302:2:3210
 305 303:2:3211
 306 304:2:3212
 307 305:2:3224
 308 306:2:3225
 309 307:2:3229
 310 308:2:3230
 311 309:2:3238
 312 310:2:3243
 313 311:2:3247
 314 312:2:3248
 315 313:2:3256
 316 314:2:3257
 317 315:2:3261
 318 316:2:3262
 319 317:2:3256
 320 318:2:3257
 321 319:2:3261
 322 320:2:3262
 323 321:2:3270
 324 322:2:3275
 325 323:2:3276
 326 324:2:3287
 327 325:2:3288
 328 326:2:3289
 329 327:2:3300
 330 328:2:3305
 331 329:2:3306
 332 330:2:3317
 333 331:2:3318
 334 332:2:3319
 335 333:2:3317
 336 334:2:3318
 337 335:2:3319
 338 336:2:3330
 339 337:2:3340
 340 338:2:3341
 341 339:0:4646
 342 340:2:2885
 343 341:0:4646
 344 342:2:3744
 345 343:0:4646
 346 344:2:4369
 347 345:2:4370
 348 346:2:4374
 349 347:2:4378
 350 348:2:4379
 351 349:2:4383
 352 350:2:4391
 353 351:2:4392
 354 352:2:4396
 355 353:2:4400
 356 354:2:4401
 357 355:2:4396
 358 356:2:4400
 359 357:2:4401
 360 358:2:4405
 361 359:2:4412
 362 360:2:4419
 363 361:2:4420
 364 362:2:4427
 365 363:2:4432
 366 364:2:4439
 367 365:2:4440
 368 366:2:4439
 369 367:2:4440
 370 368:2:4447
 371 369:2:4451
 372 370:0:4646
 373 371:2:4456
 374 372:0:4646
 375 373:2:4457
 376 374:0:4646
 377 375:2:4458
 378 376:0:4646
 379 377:2:4459
 380 378:0:4646
 381 379:1:118
 382 380:0:4646
 383 381:2:4460
 384 382:0:4646
 385 383:1:120
 386 384:0:4646
 387 385:2:4459
 388 386:0:4646
 389 387:1:19
 390 388:0:4646
 391 389:2:4460
 392 390:0:4646
 393 391:1:126
 394 392:1:127
 395 393:1:131
 396 394:1:132
 397 395:1:140
 398 396:1:141
 399 397:1:145
 400 398:1:146
 401 399:1:154
 402 400:1:159
 403 401:1:163
 404 402:1:164
 405 403:1:172
 406 404:1:173
 407 405:1:177
 408 406:1:178
 409 407:1:172
 410 408:1:173
 411 409:1:177
 412 410:1:178
 413 411:1:186
 414 412:1:198
 415 413:1:199
 416 414:1:203
 417 415:1:204
 418 416:1:205
 419 417:1:216
 420 418:1:221
 421 419:1:222
 422 420:1:233
 423 421:1:234
 424 422:1:235
 425 423:1:233
 426 424:1:234
 427 425:1:235
 428 426:1:246
 429 427:0:4646
 430 428:1:15
 431 429:0:4646
 432 430:1:16
 433 431:0:4646
 434 432:2:4459
 435 433:0:4646
 436 434:1:17
 437 435:0:4646
 438 436:2:4460
 439 437:0:4646
 440 438:1:118
 441 439:0:4646
 442 440:1:120
 443 441:0:4646
 444 442:2:4459
 445 443:0:4646
 446 444:1:19
 447 445:0:4646
 448 446:2:4460
 449 447:0:4646
 450 448:1:255
 451 449:1:256
 452 450:0:4646
 453 451:1:15
 454 452:0:4646
 455 453:1:16
 456 454:0:4646
 457 455:2:4459
 458 456:0:4646
 459 457:1:17
 460 458:0:4646
 461 459:2:4460
 462 460:0:4646
 463 461:1:118
 464 462:0:4646
 465 463:1:120
 466 464:0:4646
 467 465:2:4459
 468 466:0:4646
 469 467:1:19
 470 468:0:4646
 471 469:2:4460
 472 470:0:4646
 473 471:1:262
 474 472:1:263
 475 473:1:267
 476 474:1:268
 477 475:1:276
 478 476:1:277
 479 477:1:281
 480 478:1:282
 481 479:1:290
 482 480:1:295
 483 481:1:299
 484 482:1:300
 485 483:1:308
 486 484:1:309
 487 485:1:313
 488 486:1:314
 489 487:1:308
 490 488:1:309
 491 489:1:313
 492 490:1:314
 493 491:1:322
 494 492:1:334
 495 493:1:335
 496 494:1:339
 497 495:1:340
 498 496:1:341
 499 497:1:352
 500 498:1:357
 501 499:1:358
 502 500:1:369
 503 501:1:370
 504 502:1:371
 505 503:1:369
 506 504:1:370
 507 505:1:371
 508 506:1:382
 509 507:0:4646
 510 508:1:15
 511 509:0:4646
 512 510:1:16
 513 511:0:4646
 514 512:2:4459
 515 513:0:4646
 516 514:1:17
 517 515:0:4646
 518 516:2:4460
 519 517:0:4646
 520 518:1:26
 521 519:0:4646
 522 520:2:4459
 523 521:0:4646
 524 522:1:30
 525 523:1:31
 526 524:1:35
 527 525:1:39
 528 526:1:40
 529 527:1:44
 530 528:1:52
 531 529:1:53
 532 530:1:57
 533 531:1:61
 534 532:1:62
 535 533:1:57
 536 534:1:61
 537 535:1:62
 538 536:1:66
 539 537:1:73
 540 538:1:80
 541 539:1:81
 542 540:1:88
 543 541:1:93
 544 542:1:100
 545 543:1:101
 546 544:1:100
 547 545:1:101
 548 546:1:108
 549 547:1:112
 550 548:0:4646
 551 549:2:4460
 552 550:0:4646
 553 551:1:117
 554 552:0:4646
 555 553:2:4461
 556 554:0:4646
 557 555:2:4466
 558 556:0:4646
 559 557:2:4467
 560 558:0:4646
 561 559:2:4475
 562 560:2:4476
 563 561:2:4480
 564 562:2:4484
 565 563:2:4485
 566 564:2:4489
 567 565:2:4497
 568 566:2:4498
 569 567:2:4502
 570 568:2:4506
 571 569:2:4507
 572 570:2:4502
 573 571:2:4506
 574 572:2:4507
 575 573:2:4511
 576 574:2:4518
 577 575:2:4525
 578 576:2:4526
 579 577:2:4533
 580 578:2:4538
 581 579:2:4545
 582 580:2:4546
 583 581:2:4545
 584 582:2:4546
 585 583:2:4553
 586 584:2:4557
 587 585:0:4646
 588 586:2:3746
 589 587:2:3756
 590 588:0:4646
 591 589:2:2885
 592 590:0:4646
 593 591:2:3747
 594 592:2:3748
 595 593:0:4646
 596 594:2:2885
 597 595:0:4646
 598 596:2:3752
 599 597:0:4646
 600 598:2:3760
 601 599:0:4646
 602 600:2:2878
 603 601:0:4646
 604 602:2:2880
 605 603:0:4646
 606 604:2:2881
 607 605:0:4646
 608 606:2:2882
 609 607:0:4646
 610 608:2:2883
 611 609:0:4646
 612 610:2:2884
 613 611:0:4646
 614 612:2:2885
 615 613:0:4646
 616 614:2:2886
 617 615:2:2887
 618 616:2:2891
 619 617:2:2892
 620 618:2:2900
 621 619:2:2901
 622 620:2:2905
 623 621:2:2906
 624 622:2:2914
 625 623:2:2919
 626 624:2:2923
 627 625:2:2924
 628 626:2:2932
 629 627:2:2933
 630 628:2:2934
 631 629:2:2932
 632 630:2:2933
 633 631:2:2937
 634 632:2:2938
 635 633:2:2946
 636 634:2:2951
 637 635:2:2952
 638 636:2:2963
 639 637:2:2964
 640 638:2:2965
 641 639:2:2976
 642 640:2:2981
 643 641:2:2982
 644 642:2:2993
 645 643:2:2994
 646 644:2:2995
 647 645:2:2993
 648 646:2:2994
 649 647:2:2995
 650 648:2:3006
 651 649:2:3014
 652 650:0:4646
 653 651:2:2885
 654 652:0:4646
 655 653:2:3018
 656 654:2:3022
 657 655:2:3023
 658 656:2:3027
 659 657:2:3031
 660 658:2:3032
 661 659:2:3036
 662 660:2:3044
 663 661:2:3045
 664 662:2:3049
 665 663:2:3050
 666 664:2:3049
 667 665:2:3053
 668 666:2:3054
 669 667:2:3058
 670 668:0:4646
 671 669:2:2885
 672 670:0:4646
 673 671:2:3066
 674 672:2:3067
 675 673:2:3068
 676 674:0:4646
 677 675:2:2885
 678 676:0:4646
 679 677:2:3073
 680 678:0:4646
 681 679:2:3775
 682 680:2:3776
 683 681:2:3780
 684 682:2:3784
 685 683:2:3785
 686 684:2:3789
 687 685:2:3794
 688 686:2:3802
 689 687:2:3806
 690 688:2:3807
 691 689:2:3802
 692 690:2:3806
 693 691:2:3807
 694 692:2:3811
 695 693:2:3818
 696 694:2:3825
 697 695:2:3826
 698 696:2:3833
 699 697:2:3838
 700 698:2:3845
 701 699:2:3846
 702 700:2:3845
 703 701:2:3846
 704 702:2:3853
 705 703:2:3857
 706 704:0:4646
 707 705:2:3862
 708 706:0:4646
 709 707:2:3863
 710 708:0:4646
 711 709:2:3864
 712 710:0:4646
 713 711:2:3865
 714 712:0:4646
 715 713:1:118
 716 714:0:4646
 717 715:2:3866
 718 716:0:4646
 719 717:1:120
 720 718:0:4646
 721 719:2:3865
 722 720:0:4646
 723 721:1:19
 724 722:0:4646
 725 723:2:3866
 726 724:0:4646
 727 725:1:391
 728 726:1:392
 729 727:1:396
 730 728:1:397
 731 729:1:405
 732 730:1:406
 733 731:1:410
 734 732:1:411
 735 733:1:419
 736 734:1:424
 737 735:1:428
 738 736:1:429
 739 737:1:437
 740 738:1:438
 741 739:1:442
 742 740:1:443
 743 741:1:437
 744 742:1:438
 745 743:1:442
 746 744:1:443
 747 745:1:451
 748 746:1:456
 749 747:1:457
 750 748:1:468
 751 749:1:469
 752 750:1:470
 753 751:1:481
 754 752:1:493
 755 753:1:494
 756 754:1:498
 757 755:1:499
 758 756:1:500
 759 757:1:498
 760 758:1:499
 761 759:1:500
 762 760:1:511
 763 761:1:518
 764 762:0:4646
 765 763:1:15
 766 764:0:4646
 767 765:1:16
 768 766:0:4646
 769 767:2:3865
 770 768:0:4646
 771 769:1:17
 772 770:0:4646
 773 771:2:3866
 774 772:0:4646
 775 773:1:118
 776 774:0:4646
 777 775:1:120
 778 776:0:4646
 779 777:2:3865
 780 778:0:4646
 781 779:1:19
 782 780:0:4646
 783 781:2:3866
 784 782:0:4646
 785 783:1:656
 786 784:1:657
 787 785:1:661
 788 786:1:662
 789 787:1:670
 790 788:1:671
 791 789:1:672
 792 790:1:684
 793 791:1:689
 794 792:1:693
 795 793:1:694
 796 794:1:702
 797 795:1:703
 798 796:1:707
 799 797:1:708
 800 798:1:702
 801 799:1:703
 802 800:1:707
 803 801:1:708
 804 802:1:716
 805 803:1:721
 806 804:1:722
 807 805:1:733
 808 806:1:734
 809 807:1:735
 810 808:1:746
 811 809:1:758
 812 810:1:759
 813 811:1:763
 814 812:1:764
 815 813:1:765
 816 814:1:763
 817 815:1:764
 818 816:1:765
 819 817:1:776
 820 818:0:4646
 821 819:1:15
 822 820:0:4646
 823 821:1:16
 824 822:0:4646
 825 823:2:3865
 826 824:0:4646
 827 825:1:17
 828 826:0:4646
 829 827:2:3866
 830 828:0:4646
 831 829:1:118
 832 830:0:4646
 833 831:1:120
 834 832:0:4646
 835 833:2:3865
 836 834:0:4646
 837 835:1:19
 838 836:0:4646
 839 837:2:3866
 840 838:0:4646
 841 839:1:785
 842 840:1:788
 843 841:1:789
 844 842:0:4646
 845 843:1:15
 846 844:0:4646
 847 845:1:16
 848 846:0:4646
 849 847:2:3865
 850 848:0:4646
 851 849:1:17
 852 850:0:4646
 853 851:2:3866
 854 852:0:4646
 855 853:1:118
 856 854:0:4646
 857 855:1:120
 858 856:0:4646
 859 857:2:3865
 860 858:0:4646
 861 859:1:19
 862 860:0:4646
 863 861:2:3866
 864 862:0:4646
 865 863:1:1052
 866 864:1:1053
 867 865:1:1057
 868 866:1:1058
 869 867:1:1066
 870 868:1:1067
 871 869:1:1071
 872 870:1:1072
 873 871:1:1080
 874 872:1:1085
 875 873:1:1089
 876 874:1:1090
 877 875:1:1098
 878 876:1:1099
 879 877:1:1103
 880 878:1:1104
 881 879:1:1098
 882 880:1:1099
 883 881:1:1103
 884 882:1:1104
 885 883:1:1112
 886 884:1:1117
 887 885:1:1118
 888 886:1:1129
 889 887:1:1130
 890 888:1:1131
 891 889:1:1142
 892 890:1:1154
 893 891:1:1155
 894 892:1:1159
 895 893:1:1160
 896 894:1:1161
 897 895:1:1159
 898 896:1:1160
 899 897:1:1161
 900 898:1:1172
 901 899:1:1179
 902 900:1:1183
 903 901:0:4646
 904 902:1:15
 905 903:0:4646
 906 904:1:16
 907 905:0:4646
 908 906:2:3865
 909 907:0:4646
 910 908:1:17
 911 909:0:4646
 912 910:2:3866
 913 911:0:4646
 914 912:1:118
 915 913:0:4646
 916 914:1:120
 917 915:0:4646
 918 916:2:3865
 919 917:0:4646
 920 918:1:19
 921 919:0:4646
 922 920:2:3866
 923 921:0:4646
 924 922:1:1184
 925 923:1:1185
 926 924:1:1189
 927 925:1:1190
 928 926:1:1198
 929 927:1:1199
 930 928:1:1200
 931 929:1:1212
 932 930:1:1217
 933 931:1:1221
 934 932:1:1222
 935 933:1:1230
 936 934:1:1231
 937 935:1:1235
 938 936:1:1236
 939 937:1:1230
 940 938:1:1231
 941 939:1:1235
 942 940:1:1236
 943 941:1:1244
 944 942:1:1249
 945 943:1:1250
 946 944:1:1261
 947 945:1:1262
 948 946:1:1263
 949 947:1:1274
 950 948:1:1286
 951 949:1:1287
 952 950:1:1291
 953 951:1:1292
 954 952:1:1293
 955 953:1:1291
 956 954:1:1292
 957 955:1:1293
 958 956:1:1304
 959 957:0:4646
 960 958:1:15
 961 959:0:4646
 962 960:1:16
 963 961:0:4646
 964 962:2:3865
 965 963:0:4646
 966 964:1:17
 967 965:0:4646
 968 966:2:3866
 969 967:0:4646
 970 968:1:26
 971 969:0:4646
 972 970:2:3865
 973 971:0:4646
 974 972:1:30
 975 973:1:31
 976 974:1:35
 977 975:1:39
 978 976:1:40
 979 977:1:44
 980 978:1:52
 981 979:1:53
 982 980:1:57
 983 981:1:61
 984 982:1:62
 985 983:1:57
 986 984:1:61
 987 985:1:62
 988 986:1:66
 989 987:1:73
 990 988:1:80
 991 989:1:81
 992 990:1:88
 993 991:1:93
 994 992:1:100
 995 993:1:101
 996 994:1:100
 997 995:1:101
 998 996:1:108
 999 997:1:112
1000 998:0:4646
1001 999:2:3866
1002 1000:0:4646
1003 1001:1:117
1004 1002:0:4646
1005 1003:2:3867
1006 1004:0:4646
1007 1005:2:3872
1008 1006:0:4646
1009 1007:2:3873
1010 1008:0:4646
1011 1009:2:3881
1012 1010:2:3882
1013 1011:2:3886
1014 1012:2:3890
1015 1013:2:3891
1016 1014:2:3895
1017 1015:2:3903
1018 1016:2:3904
1019 1017:2:3908
1020 1018:2:3912
1021 1019:2:3913
1022 1020:2:3908
1023 1021:2:3912
1024 1022:2:3913
1025 1023:2:3917
1026 1024:2:3924
1027 1025:2:3931
1028 1026:2:3932
1029 1027:2:3939
1030 1028:2:3944
1031 1029:2:3951
1032 1030:2:3952
1033 1031:2:3951
1034 1032:2:3952
1035 1033:2:3959
1036 1034:2:3963
1037 1035:0:4646
1038 1036:2:3075
1039 1037:2:3756
1040 1038:0:4646
1041 1039:2:2885
1042 1040:0:4646
1043 1041:2:3076
1044 1042:0:4646
1045 1043:2:2885
1046 1044:0:4646
1047 1045:2:3079
1048 1046:2:3080
1049 1047:2:3084
1050 1048:2:3085
1051 1049:2:3093
1052 1050:2:3094
1053 1051:2:3098
1054 1052:2:3099
1055 1053:2:3107
1056 1054:2:3112
1057 1055:2:3116
1058 1056:2:3117
1059 1057:2:3125
1060 1058:2:3126
1061 1059:2:3130
1062 1060:2:3131
1063 1061:2:3125
1064 1062:2:3126
1065 1063:2:3130
1066 1064:2:3131
1067 1065:2:3139
1068 1066:2:3144
1069 1067:2:3145
1070 1068:2:3156
1071 1069:2:3157
1072 1070:2:3158
1073 1071:2:3169
1074 1072:2:3174
1075 1073:2:3175
1076 1074:2:3186
1077 1075:2:3187
1078 1076:2:3188
1079 1077:2:3186
1080 1078:2:3187
1081 1079:2:3188
1082 1080:2:3199
1083 1081:2:3206
1084 1082:0:4646
1085 1083:2:2885
1086 1084:0:4646
1087 1085:2:3210
1088 1086:2:3211
1089 1087:2:3212
1090 1088:2:3224
1091 1089:2:3225
1092 1090:2:3229
1093 1091:2:3230
1094 1092:2:3238
1095 1093:2:3243
1096 1094:2:3247
1097 1095:2:3248
1098 1096:2:3256
1099 1097:2:3257
1100 1098:2:3261
1101 1099:2:3262
1102 1100:2:3256
1103 1101:2:3257
1104 1102:2:3261
1105 1103:2:3262
1106 1104:2:3270
1107 1105:2:3275
1108 1106:2:3276
1109 1107:2:3287
1110 1108:2:3288
1111 1109:2:3289
1112 1110:2:3300
1113 1111:2:3305
1114 1112:2:3306
1115 1113:2:3317
1116 1114:2:3318
1117 1115:2:3319
1118 1116:2:3317
1119 1117:2:3318
1120 1118:2:3319
1121 1119:2:3330
1122 1120:2:3340
1123 1121:2:3341
1124 1122:0:4646
1125 1123:2:2885
1126 1124:0:4646
1127 1125:2:3744
1128 1126:0:4646
1129 1127:2:4369
1130 1128:2:4370
1131 1129:2:4374
1132 1130:2:4378
1133 1131:2:4379
1134 1132:2:4383
1135 1133:2:4391
1136 1134:2:4392
1137 1135:2:4396
1138 1136:2:4400
1139 1137:2:4401
1140 1138:2:4396
1141 1139:2:4400
1142 1140:2:4401
1143 1141:2:4405
1144 1142:2:4412
1145 1143:2:4419
1146 1144:2:4420
1147 1145:2:4427
1148 1146:2:4432
1149 1147:2:4439
1150 1148:2:4440
1151 1149:2:4439
1152 1150:2:4440
1153 1151:2:4447
1154 1152:2:4451
1155 1153:0:4646
1156 1154:2:4456
1157 1155:0:4646
1158 1156:2:4457
1159 1157:0:4646
1160 1158:2:4458
1161 1159:0:4646
1162 1160:2:4459
1163 1161:0:4646
1164 1162:1:26
1165 1163:0:4646
1166 1164:2:4460
1167 1165:0:4646
1168 1166:1:30
1169 1167:1:31
1170 1168:1:35
1171 1169:1:39
1172 1170:1:40
1173 1171:1:44
1174 1172:1:52
1175 1173:1:53
1176 1174:1:57
1177 1175:1:61
1178 1176:1:62
1179 1177:1:57
1180 1178:1:61
1181 1179:1:62
1182 1180:1:66
1183 1181:1:73
1184 1182:1:80
1185 1183:1:81
1186 1184:1:88
1187 1185:1:93
1188 1186:1:100
1189 1187:1:101
1190 1188:1:100
1191 1189:1:101
1192 1190:1:108
1193 1191:1:112
1194 1192:0:4646
1195 1193:2:4459
1196 1194:0:4646
1197 1195:1:117
1198 1196:0:4646
1199 1197:2:4460
1200 1198:0:4646
1201 1199:2:4461
1202 1200:0:4646
1203 1201:2:4466
1204 1202:0:4646
1205 1203:2:4467
1206 1204:0:4646
1207 1205:2:4475
1208 1206:2:4476
1209 1207:2:4480
1210 1208:2:4484
1211 1209:2:4485
1212 1210:2:4489
1213 1211:2:4497
1214 1212:2:4498
1215 1213:2:4502
1216 1214:2:4506
1217 1215:2:4507
1218 1216:2:4502
1219 1217:2:4506
1220 1218:2:4507
1221 1219:2:4511
1222 1220:2:4518
1223 1221:2:4525
1224 1222:2:4526
1225 1223:2:4533
1226 1224:2:4538
1227 1225:2:4545
1228 1226:2:4546
1229 1227:2:4545
1230 1228:2:4546
1231 1229:2:4553
1232 1230:2:4557
1233 1231:0:4646
1234 1232:2:3746
1235 1233:2:3756
1236 1234:0:4646
1237 1235:2:2885
1238 1236:0:4646
1239 1237:2:3747
1240 1238:2:3748
1241 1239:0:4646
1242 1240:2:2885
1243 1241:0:4646
1244 1242:2:3752
1245 1243:0:4646
1246 1244:2:3760
1247 1245:0:4646
1248 1246:2:2878
1249 1247:0:4646
1250 1248:2:2880
1251 1249:0:4646
1252 1250:2:2881
1253 1251:0:4646
1254 1252:2:2882
1255 1253:0:4646
1256 1254:2:2883
1257 1255:0:4646
1258 1256:2:2884
1259 1257:0:4646
1260 1258:2:2885
1261 1259:0:4646
1262 1260:2:2886
1263 1261:2:2887
1264 1262:2:2891
1265 1263:2:2892
1266 1264:2:2900
1267 1265:2:2901
1268 1266:2:2905
1269 1267:2:2906
1270 1268:2:2914
1271 1269:2:2919
1272 1270:2:2923
1273 1271:2:2924
1274 1272:2:2932
1275 1273:2:2933
1276 1274:2:2937
1277 1275:2:2938
1278 1276:2:2932
1279 1277:2:2933
1280 1278:2:2934
1281 1279:2:2946
1282 1280:2:2951
1283 1281:2:2952
1284 1282:2:2963
1285 1283:2:2964
1286 1284:2:2965
1287 1285:2:2976
1288 1286:2:2981
1289 1287:2:2982
1290 1288:2:2993
1291 1289:2:2994
1292 1290:2:2995
1293 1291:2:2993
1294 1292:2:2994
1295 1293:2:2995
1296 1294:2:3006
1297 1295:2:3014
1298 1296:0:4646
1299 1297:2:2885
1300 1298:0:4646
1301 1299:1:118
1302 1300:0:4646
1303 1301:1:120
1304 1302:0:4646
1305 1303:1:19
1306 1304:0:4646
1307 1305:1:1313
1308 1306:0:4646
1309 1307:1:2777
1310 1308:1:2784
1311 1309:1:2785
1312 1310:1:2792
1313 1311:1:2797
1314 1312:1:2804
1315 1313:1:2805
1316 1314:1:2804
1317 1315:1:2805
1318 1316:1:2812
1319 1317:1:2816
1320 1318:0:4646
1321 1319:2:3018
1322 1320:2:3022
1323 1321:2:3023
1324 1322:2:3027
1325 1323:2:3031
1326 1324:2:3032
1327 1325:2:3036
1328 1326:2:3044
1329 1327:2:3045
1330 1328:2:3049
1331 1329:2:3053
1332 1330:2:3054
1333 1331:2:3049
1334 1332:2:3050
1335 1333:2:3058
1336 1334:0:4646
1337 1335:2:2885
1338 1336:0:4646
1339 1337:2:3066
1340 1338:2:3067
1341 1339:2:3068
1342 1340:0:4646
1343 1341:2:2885
1344 1342:0:4646
1345 1343:2:3073
1346 1344:0:4646
1347 1345:2:3775
1348 1346:2:3776
1349 1347:2:3780
1350 1348:2:3784
1351 1349:2:3785
1352 1350:2:3789
1353 1351:2:3794
1354 1352:2:3802
1355 1353:2:3806
1356 1354:2:3807
1357 1355:2:3802
1358 1356:2:3806
1359 1357:2:3807
1360 1358:2:3811
1361 1359:2:3818
1362 1360:2:3825
1363 1361:2:3826
1364 1362:2:3833
1365 1363:2:3838
1366 1364:2:3845
1367 1365:2:3846
1368 1366:2:3845
1369 1367:2:3846
1370 1368:2:3853
1371 1369:2:3857
1372 1370:0:4646
1373 1371:2:3862
1374 1372:0:4646
1375 1373:2:3863
1376 1374:0:4646
1377 1375:2:3864
1378 1376:0:4646
1379 1377:2:3865
1380 1378:0:4646
1381 1379:1:1315
1382 1380:1:1316
1383 1381:0:4644
1384 1382:2:3866
1385 1383:0:4650
1386 1384:1:2431