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

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