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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4649
   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:4649
  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:4649
  18 16:3:4619
  19 17:3:4622
  20 18:3:4629
  21 19:3:4636
  22 20:3:4639
  23 21:3:4643
  24 22:3:4644
  25 23:0:4649
  26 24:3:4646
  27 25:0:4649
  28 26:2:2925
  29 27:0:4649
  30 28:2:2931
  31 29:0:4649
  32 30:2:2932
  33 31:0:4649
  34 32:2:2934
  35 33:0:4649
  36 34:2:2935
  37 35:0:4649
  38 36:2:2936
  39 37:0:4649
  40 38:2:2937
  41 39:2:2938
  42 40:2:2942
  43 41:2:2943
  44 42:2:2951
  45 43:2:2952
  46 44:2:2956
  47 45:2:2957
  48 46:2:2965
  49 47:2:2970
  50 48:2:2974
  51 49:2:2975
  52 50:2:2983
  53 51:2:2984
  54 52:2:2988
  55 53:2:2989
  56 54:2:2983
  57 55:2:2984
  58 56:2:2988
  59 57:2:2989
  60 58:2:2997
  61 59:2:3002
  62 60:2:3003
  63 61:2:3014
  64 62:2:3015
  65 63:2:3016
  66 64:2:3027
  67 65:2:3032
  68 66:2:3033
  69 67:2:3044
  70 68:2:3045
  71 69:2:3046
  72 70:2:3044
  73 71:2:3045
  74 72:2:3046
  75 73:2:3057
  76 74:2:3065
  77 75:0:4649
  78 76:2:2936
  79 77:0:4649
  80 78:2:3117
  81 79:2:3118
  82 80:2:3119
  83 81:0:4649
  84 82:2:2936
  85 83:0:4649
  86 84:2:3124
  87 85:0:4649
  88 86:2:3828
  89 87:2:3829
  90 88:2:3833
  91 89:2:3837
  92 90:2:3838
  93 91:2:3842
  94 92:2:3847
  95 93:2:3855
  96 94:2:3859
  97 95:2:3860
  98 96:2:3855
  99 97:2:3856
 100 98:2:3864
 101 99:2:3871
 102 100:2:3878
 103 101:2:3879
 104 102:2:3886
 105 103:2:3891
 106 104:2:3898
 107 105:2:3899
 108 106:2:3898
 109 107:2:3899
 110 108:2:3906
 111 109:2:3910
 112 110:0:4649
 113 111:2:3915
 114 112:0:4649
 115 113:2:3916
 116 114:0:4649
 117 115:2:3917
 118 116:0:4649
 119 117:2:3918
 120 118:0:4649
 121 119:1:29
 122 120:0:4649
 123 121:2:3919
 124 122:0:4649
 125 123:1:35
 126 124:0:4649
 127 125:1:36
 128 126:0:4649
 129 127:2:3918
 130 128:0:4649
 131 129:1:37
 132 130:0:4649
 133 131:2:3919
 134 132:0:4649
 135 133:1:38
 136 134:0:4649
 137 135:2:3918
 138 136:0:4649
 139 137:1:39
 140 138:0:4649
 141 139:2:3919
 142 140:0:4649
 143 141:1:40
 144 142:0:4649
 145 143:2:3918
 146 144:0:4649
 147 145:1:41
 148 146:0:4649
 149 147:2:3919
 150 148:0:4649
 151 149:1:42
 152 150:0:4649
 153 151:1:43
 154 152:0:4649
 155 153:2:3918
 156 154:0:4649
 157 155:1:44
 158 156:0:4649
 159 157:2:3919
 160 158:0:4649
 161 159:1:53
 162 160:0:4649
 163 161:2:3918
 164 162:0:4649
 165 163:1:57
 166 164:1:58
 167 165:1:62
 168 166:1:66
 169 167:1:67
 170 168:1:71
 171 169:1:79
 172 170:1:80
 173 171:1:84
 174 172:1:88
 175 173:1:89
 176 174:1:84
 177 175:1:88
 178 176:1:89
 179 177:1:93
 180 178:1:100
 181 179:1:107
 182 180:1:108
 183 181:1:115
 184 182:1:120
 185 183:1:127
 186 184:1:128
 187 185:1:127
 188 186:1:128
 189 187:1:135
 190 188:1:139
 191 189:0:4649
 192 190:2:3919
 193 191:0:4649
 194 192:1:144
 195 193:0:4649
 196 194:2:3920
 197 195:0:4649
 198 196:2:3925
 199 197:0:4649
 200 198:2:3926
 201 199:0:4649
 202 200:2:3934
 203 201:2:3935
 204 202:2:3939
 205 203:2:3943
 206 204:2:3944
 207 205:2:3948
 208 206:2:3956
 209 207:2:3957
 210 208:2:3961
 211 209:2:3965
 212 210:2:3966
 213 211:2:3961
 214 212:2:3965
 215 213:2:3966
 216 214:2:3970
 217 215:2:3977
 218 216:2:3984
 219 217:2:3985
 220 218:2:3992
 221 219:2:3997
 222 220:2:4004
 223 221:2:4005
 224 222:2:4004
 225 223:2:4005
 226 224:2:4012
 227 225:2:4016
 228 226:0:4649
 229 227:2:3126
 230 228:2:3809
 231 229:0:4649
 232 230:2:2936
 233 231:0:4649
 234 232:2:3127
 235 233:0:4649
 236 234:2:2936
 237 235:0:4649
 238 236:2:3130
 239 237:2:3131
 240 238:2:3135
 241 239:2:3136
 242 240:2:3144
 243 241:2:3145
 244 242:2:3149
 245 243:2:3150
 246 244:2:3158
 247 245:2:3163
 248 246:2:3167
 249 247:2:3168
 250 248:2:3176
 251 249:2:3177
 252 250:2:3181
 253 251:2:3182
 254 252:2:3176
 255 253:2:3177
 256 254:2:3181
 257 255:2:3182
 258 256:2:3190
 259 257:2:3195
 260 258:2:3196
 261 259:2:3207
 262 260:2:3208
 263 261:2:3209
 264 262:2:3220
 265 263:2:3225
 266 264:2:3226
 267 265:2:3237
 268 266:2:3238
 269 267:2:3239
 270 268:2:3237
 271 269:2:3238
 272 270:2:3239
 273 271:2:3250
 274 272:2:3257
 275 273:0:4649
 276 274:2:2936
 277 275:0:4649
 278 276:2:3261
 279 277:2:3262
 280 278:2:3263
 281 279:2:3275
 282 280:2:3276
 283 281:2:3280
 284 282:2:3281
 285 283:2:3289
 286 284:2:3294
 287 285:2:3298
 288 286:2:3299
 289 287:2:3307
 290 288:2:3308
 291 289:2:3312
 292 290:2:3313
 293 291:2:3307
 294 292:2:3308
 295 293:2:3312
 296 294:2:3313
 297 295:2:3321
 298 296:2:3326
 299 297:2:3327
 300 298:2:3338
 301 299:2:3339
 302 300:2:3340
 303 301:2:3351
 304 302:2:3356
 305 303:2:3357
 306 304:2:3368
 307 305:2:3369
 308 306:2:3370
 309 307:2:3368
 310 308:2:3369
 311 309:2:3370
 312 310:2:3381
 313 311:2:3392
 314 312:2:3393
 315 313:0:4649
 316 314:2:2936
 317 315:0:4649
 318 316:2:3400
 319 317:2:3401
 320 318:2:3405
 321 319:2:3406
 322 320:2:3414
 323 321:2:3415
 324 322:2:3419
 325 323:2:3420
 326 324:2:3428
 327 325:2:3433
 328 326:2:3437
 329 327:2:3438
 330 328:2:3446
 331 329:2:3447
 332 330:2:3451
 333 331:2:3452
 334 332:2:3446
 335 333:2:3447
 336 334:2:3451
 337 335:2:3452
 338 336:2:3460
 339 337:2:3465
 340 338:2:3466
 341 339:2:3477
 342 340:2:3478
 343 341:2:3479
 344 342:2:3490
 345 343:2:3495
 346 344:2:3496
 347 345:2:3507
 348 346:2:3508
 349 347:2:3509
 350 348:2:3507
 351 349:2:3508
 352 350:2:3509
 353 351:2:3520
 354 352:0:4649
 355 353:2:2936
 356 354:0:4649
 357 355:2:3529
 358 356:2:3530
 359 357:2:3534
 360 358:2:3535
 361 359:2:3543
 362 360:2:3544
 363 361:2:3548
 364 362:2:3549
 365 363:2:3557
 366 364:2:3562
 367 365:2:3566
 368 366:2:3567
 369 367:2:3575
 370 368:2:3576
 371 369:2:3580
 372 370:2:3581
 373 371:2:3575
 374 372:2:3576
 375 373:2:3580
 376 374:2:3581
 377 375:2:3589
 378 376:2:3594
 379 377:2:3595
 380 378:2:3606
 381 379:2:3607
 382 380:2:3608
 383 381:2:3619
 384 382:2:3624
 385 383:2:3625
 386 384:2:3636
 387 385:2:3637
 388 386:2:3638
 389 387:2:3636
 390 388:2:3637
 391 389:2:3638
 392 390:2:3649
 393 391:2:3656
 394 392:0:4649
 395 393:2:2936
 396 394:0:4649
 397 395:2:3660
 398 396:2:3661
 399 397:2:3662
 400 398:2:3674
 401 399:2:3675
 402 400:2:3679
 403 401:2:3680
 404 402:2:3688
 405 403:2:3693
 406 404:2:3697
 407 405:2:3698
 408 406:2:3706
 409 407:2:3707
 410 408:2:3711
 411 409:2:3712
 412 410:2:3706
 413 411:2:3707
 414 412:2:3711
 415 413:2:3712
 416 414:2:3720
 417 415:2:3725
 418 416:2:3726
 419 417:2:3737
 420 418:2:3738
 421 419:2:3739
 422 420:2:3750
 423 421:2:3755
 424 422:2:3756
 425 423:2:3767
 426 424:2:3768
 427 425:2:3769
 428 426:2:3767
 429 427:2:3768
 430 428:2:3769
 431 429:2:3780
 432 430:2:3790
 433 431:2:3791
 434 432:0:4649
 435 433:2:2936
 436 434:0:4649
 437 435:2:3797
 438 436:0:4649
 439 437:2:4422
 440 438:2:4423
 441 439:2:4427
 442 440:2:4431
 443 441:2:4432
 444 442:2:4436
 445 443:2:4444
 446 444:2:4445
 447 445:2:4449
 448 446:2:4453
 449 447:2:4454
 450 448:2:4449
 451 449:2:4453
 452 450:2:4454
 453 451:2:4458
 454 452:2:4465
 455 453:2:4472
 456 454:2:4473
 457 455:2:4480
 458 456:2:4485
 459 457:2:4492
 460 458:2:4493
 461 459:2:4492
 462 460:2:4493
 463 461:2:4500
 464 462:2:4504
 465 463:0:4649
 466 464:2:4509
 467 465:0:4649
 468 466:2:4510
 469 467:0:4649
 470 468:2:4511
 471 469:0:4649
 472 470:2:4512
 473 471:0:4649
 474 472:1:53
 475 473:0:4649
 476 474:2:4513
 477 475:0:4649
 478 476:1:57
 479 477:1:58
 480 478:1:62
 481 479:1:66
 482 480:1:67
 483 481:1:71
 484 482:1:79
 485 483:1:80
 486 484:1:84
 487 485:1:88
 488 486:1:89
 489 487:1:84
 490 488:1:88
 491 489:1:89
 492 490:1:93
 493 491:1:100
 494 492:1:107
 495 493:1:108
 496 494:1:115
 497 495:1:120
 498 496:1:127
 499 497:1:128
 500 498:1:127
 501 499:1:128
 502 500:1:135
 503 501:1:139
 504 502:0:4649
 505 503:2:4512
 506 504:0:4649
 507 505:1:144
 508 506:0:4649
 509 507:2:4513
 510 508:0:4649
 511 509:2:4514
 512 510:0:4649
 513 511:2:4519
 514 512:0:4649
 515 513:2:4520
 516 514:0:4649
 517 515:2:4528
 518 516:2:4529
 519 517:2:4533
 520 518:2:4537
 521 519:2:4538
 522 520:2:4542
 523 521:2:4550
 524 522:2:4551
 525 523:2:4555
 526 524:2:4559
 527 525:2:4560
 528 526:2:4555
 529 527:2:4559
 530 528:2:4560
 531 529:2:4564
 532 530:2:4571
 533 531:2:4578
 534 532:2:4579
 535 533:2:4586
 536 534:2:4591
 537 535:2:4598
 538 536:2:4599
 539 537:2:4598
 540 538:2:4599
 541 539:2:4606
 542 540:2:4610
 543 541:0:4649
 544 542:2:3799
 545 543:2:3809
 546 544:0:4649
 547 545:2:2936
 548 546:0:4649
 549 547:2:3800
 550 548:2:3801
 551 549:0:4649
 552 550:2:2936
 553 551:0:4649
 554 552:2:3805
 555 553:0:4649
 556 554:2:3813
 557 555:0:4649
 558 556:2:2932
 559 557:0:4649
 560 558:2:2934
 561 559:0:4649
 562 560:2:2935
 563 561:0:4649
 564 562:2:2936
 565 563:0:4649
 566 564:2:3117
 567 565:2:3118
 568 566:2:3119
 569 567:0:4649
 570 568:2:2936
 571 569:0:4649
 572 570:2:2937
 573 571:2:2938
 574 572:2:2942
 575 573:2:2943
 576 574:2:2951
 577 575:2:2952
 578 576:2:2956
 579 577:2:2957
 580 578:2:2965
 581 579:2:2970
 582 580:2:2971
 583 581:2:2983
 584 582:2:2984
 585 583:2:2985
 586 584:2:2983
 587 585:2:2984
 588 586:2:2988
 589 587:2:2989
 590 588:2:2997
 591 589:2:3002
 592 590:2:3003
 593 591:2:3014
 594 592:2:3015
 595 593:2:3016
 596 594:2:3027
 597 595:2:3032
 598 596:2:3033
 599 597:2:3044
 600 598:2:3045
 601 599:2:3046
 602 600:2:3044
 603 601:2:3045
 604 602:2:3046
 605 603:2:3057
 606 604:2:3065
 607 605:0:4649
 608 606:2:2936
 609 607:0:4649
 610 608:2:3124
 611 609:0:4649
 612 610:2:3828
 613 611:2:3829
 614 612:2:3833
 615 613:2:3837
 616 614:2:3838
 617 615:2:3842
 618 616:2:3850
 619 617:2:3851
 620 618:2:3855
 621 619:2:3856
 622 620:2:3855
 623 621:2:3859
 624 622:2:3860
 625 623:2:3864
 626 624:2:3871
 627 625:2:3878
 628 626:2:3879
 629 627:2:3886
 630 628:2:3891
 631 629:2:3898
 632 630:2:3899
 633 631:2:3898
 634 632:2:3899
 635 633:2:3906
 636 634:2:3910
 637 635:0:4649
 638 636:2:3915
 639 637:0:4649
 640 638:2:3916
 641 639:0:4649
 642 640:2:3917
 643 641:0:4649
 644 642:2:3918
 645 643:0:4649
 646 644:1:53
 647 645:0:4649
 648 646:2:3919
 649 647:0:4649
 650 648:1:57
 651 649:1:58
 652 650:1:62
 653 651:1:66
 654 652:1:67
 655 653:1:71
 656 654:1:79
 657 655:1:80
 658 656:1:84
 659 657:1:88
 660 658:1:89
 661 659:1:84
 662 660:1:88
 663 661:1:89
 664 662:1:93
 665 663:1:100
 666 664:1:107
 667 665:1:108
 668 666:1:115
 669 667:1:120
 670 668:1:127
 671 669:1:128
 672 670:1:127
 673 671:1:128
 674 672:1:135
 675 673:1:139
 676 674:0:4649
 677 675:2:3918
 678 676:0:4649
 679 677:1:144
 680 678:0:4649
 681 679:2:3919
 682 680:0:4649
 683 681:2:3920
 684 682:0:4649
 685 683:2:3925
 686 684:0:4649
 687 685:2:3926
 688 686:0:4649
 689 687:2:3934
 690 688:2:3935
 691 689:2:3939
 692 690:2:3943
 693 691:2:3944
 694 692:2:3948
 695 693:2:3956
 696 694:2:3957
 697 695:2:3961
 698 696:2:3965
 699 697:2:3966
 700 698:2:3961
 701 699:2:3965
 702 700:2:3966
 703 701:2:3970
 704 702:2:3977
 705 703:2:3984
 706 704:2:3985
 707 705:2:3992
 708 706:2:3997
 709 707:2:4004
 710 708:2:4005
 711 709:2:4004
 712 710:2:4005
 713 711:2:4012
 714 712:2:4016
 715 713:0:4649
 716 714:2:3126
 717 715:2:3809
 718 716:0:4649
 719 717:2:2936
 720 718:0:4649
 721 719:2:3127
 722 720:0:4649
 723 721:2:2936
 724 722:0:4649
 725 723:2:3130
 726 724:2:3131
 727 725:2:3135
 728 726:2:3136
 729 727:2:3144
 730 728:2:3145
 731 729:2:3149
 732 730:2:3150
 733 731:2:3158
 734 732:2:3163
 735 733:2:3167
 736 734:2:3168
 737 735:2:3176
 738 736:2:3177
 739 737:2:3181
 740 738:2:3182
 741 739:2:3176
 742 740:2:3177
 743 741:2:3181
 744 742:2:3182
 745 743:2:3190
 746 744:2:3195
 747 745:2:3196
 748 746:2:3207
 749 747:2:3208
 750 748:2:3209
 751 749:2:3220
 752 750:2:3225
 753 751:2:3226
 754 752:2:3237
 755 753:2:3238
 756 754:2:3239
 757 755:2:3237
 758 756:2:3238
 759 757:2:3239
 760 758:2:3250
 761 759:2:3257
 762 760:0:4649
 763 761:2:2936
 764 762:0:4649
 765 763:2:3261
 766 764:2:3262
 767 765:2:3263
 768 766:2:3275
 769 767:2:3276
 770 768:2:3280
 771 769:2:3281
 772 770:2:3289
 773 771:2:3294
 774 772:2:3298
 775 773:2:3299
 776 774:2:3307
 777 775:2:3308
 778 776:2:3312
 779 777:2:3313
 780 778:2:3307
 781 779:2:3308
 782 780:2:3312
 783 781:2:3313
 784 782:2:3321
 785 783:2:3326
 786 784:2:3327
 787 785:2:3338
 788 786:2:3339
 789 787:2:3340
 790 788:2:3351
 791 789:2:3356
 792 790:2:3357
 793 791:2:3368
 794 792:2:3369
 795 793:2:3370
 796 794:2:3368
 797 795:2:3369
 798 796:2:3370
 799 797:2:3381
 800 798:2:3392
 801 799:2:3393
 802 800:0:4649
 803 801:2:2936
 804 802:0:4649
 805 803:2:3400
 806 804:2:3401
 807 805:2:3405
 808 806:2:3406
 809 807:2:3414
 810 808:2:3415
 811 809:2:3419
 812 810:2:3420
 813 811:2:3428
 814 812:2:3433
 815 813:2:3437
 816 814:2:3438
 817 815:2:3446
 818 816:2:3447
 819 817:2:3451
 820 818:2:3452
 821 819:2:3446
 822 820:2:3447
 823 821:2:3451
 824 822:2:3452
 825 823:2:3460
 826 824:2:3465
 827 825:2:3466
 828 826:2:3477
 829 827:2:3478
 830 828:2:3479
 831 829:2:3490
 832 830:2:3495
 833 831:2:3496
 834 832:2:3507
 835 833:2:3508
 836 834:2:3509
 837 835:2:3507
 838 836:2:3508
 839 837:2:3509
 840 838:2:3520
 841 839:0:4649
 842 840:2:2936
 843 841:0:4649
 844 842:2:3529
 845 843:2:3530
 846 844:2:3534
 847 845:2:3535
 848 846:2:3543
 849 847:2:3544
 850 848:2:3548
 851 849:2:3549
 852 850:2:3557
 853 851:2:3562
 854 852:2:3566
 855 853:2:3567
 856 854:2:3575
 857 855:2:3576
 858 856:2:3580
 859 857:2:3581
 860 858:2:3575
 861 859:2:3576
 862 860:2:3580
 863 861:2:3581
 864 862:2:3589
 865 863:2:3594
 866 864:2:3595
 867 865:2:3606
 868 866:2:3607
 869 867:2:3608
 870 868:2:3619
 871 869:2:3624
 872 870:2:3625
 873 871:2:3636
 874 872:2:3637
 875 873:2:3638
 876 874:2:3636
 877 875:2:3637
 878 876:2:3638
 879 877:2:3649
 880 878:2:3656
 881 879:0:4649
 882 880:2:2936
 883 881:0:4649
 884 882:2:3660
 885 883:2:3661
 886 884:2:3662
 887 885:2:3674
 888 886:2:3675
 889 887:2:3679
 890 888:2:3680
 891 889:2:3688
 892 890:2:3693
 893 891:2:3697
 894 892:2:3698
 895 893:2:3706
 896 894:2:3707
 897 895:2:3711
 898 896:2:3712
 899 897:2:3706
 900 898:2:3707
 901 899:2:3711
 902 900:2:3712
 903 901:2:3720
 904 902:2:3725
 905 903:2:3726
 906 904:2:3737
 907 905:2:3738
 908 906:2:3739
 909 907:2:3750
 910 908:2:3755
 911 909:2:3756
 912 910:2:3767
 913 911:2:3768
 914 912:2:3769
 915 913:2:3767
 916 914:2:3768
 917 915:2:3769
 918 916:2:3780
 919 917:2:3790
 920 918:2:3791
 921 919:0:4649
 922 920:2:2936
 923 921:0:4649
 924 922:2:3797
 925 923:0:4649
 926 924:2:4422
 927 925:2:4423
 928 926:2:4427
 929 927:2:4431
 930 928:2:4432
 931 929:2:4436
 932 930:2:4444
 933 931:2:4445
 934 932:2:4449
 935 933:2:4453
 936 934:2:4454
 937 935:2:4449
 938 936:2:4453
 939 937:2:4454
 940 938:2:4458
 941 939:2:4465
 942 940:2:4472
 943 941:2:4473
 944 942:2:4480
 945 943:2:4485
 946 944:2:4492
 947 945:2:4493
 948 946:2:4492
 949 947:2:4493
 950 948:2:4500
 951 949:2:4504
 952 950:0:4649
 953 951:2:4509
 954 952:0:4649
 955 953:2:4510
 956 954:0:4649
 957 955:2:4511
 958 956:0:4649
 959 957:2:4512
 960 958:0:4649
 961 959:1:53
 962 960:0:4649
 963 961:2:4513
 964 962:0:4649
 965 963:1:57
 966 964:1:58
 967 965:1:62
 968 966:1:66
 969 967:1:67
 970 968:1:71
 971 969:1:79
 972 970:1:80
 973 971:1:84
 974 972:1:88
 975 973:1:89
 976 974:1:84
 977 975:1:88
 978 976:1:89
 979 977:1:93
 980 978:1:100
 981 979:1:107
 982 980:1:108
 983 981:1:115
 984 982:1:120
 985 983:1:127
 986 984:1:128
 987 985:1:127
 988 986:1:128
 989 987:1:135
 990 988:1:139
 991 989:0:4649
 992 990:2:4512
 993 991:0:4649
 994 992:1:144
 995 993:0:4649
 996 994:2:4513
 997 995:0:4649
 998 996:2:4514
 999 997:0:4649
1000 998:2:4519
1001 999:0:4649
1002 1000:2:4520
1003 1001:0:4649
1004 1002:2:4528
1005 1003:2:4529
1006 1004:2:4533
1007 1005:2:4537
1008 1006:2:4538
1009 1007:2:4542
1010 1008:2:4550
1011 1009:2:4551
1012 1010:2:4555
1013 1011:2:4559
1014 1012:2:4560
1015 1013:2:4555
1016 1014:2:4559
1017 1015:2:4560
1018 1016:2:4564
1019 1017:2:4571
1020 1018:2:4578
1021 1019:2:4579
1022 1020:2:4586
1023 1021:2:4591
1024 1022:2:4598
1025 1023:2:4599
1026 1024:2:4598
1027 1025:2:4599
1028 1026:2:4606
1029 1027:2:4610
1030 1028:0:4649
1031 1029:2:3799
1032 1030:2:3809
1033 1031:0:4649
1034 1032:2:2936
1035 1033:0:4649
1036 1034:2:3800
1037 1035:2:3801
1038 1036:0:4649
1039 1037:2:2936
1040 1038:0:4649
1041 1039:2:3805
1042 1040:0:4649
1043 1041:2:3813
1044 1042:0:4649
1045 1043:2:2932
1046 1044:0:4649
1047 1045:2:2934
1048 1046:0:4649
1049 1047:2:2935
1050 1048:0:4649
1051 1049:2:2936
1052 1050:0:4649
1053 1051:2:2937
1054 1052:2:2938
1055 1053:2:2942
1056 1054:2:2943
1057 1055:2:2951
1058 1056:2:2952
1059 1057:2:2956
1060 1058:2:2957
1061 1059:2:2965
1062 1060:2:2970
1063 1061:2:2974
1064 1062:2:2975
1065 1063:2:2983
1066 1064:2:2984
1067 1065:2:2988
1068 1066:2:2989
1069 1067:2:2983
1070 1068:2:2984
1071 1069:2:2985
1072 1070:2:2997
1073 1071:2:3002
1074 1072:2:3003
1075 1073:2:3014
1076 1074:2:3015
1077 1075:2:3016
1078 1076:2:3027
1079 1077:2:3032
1080 1078:2:3033
1081 1079:2:3044
1082 1080:2:3045
1083 1081:2:3046
1084 1082:2:3044
1085 1083:2:3045
1086 1084:2:3046
1087 1085:2:3057
1088 1086:2:3065
1089 1087:0:4649
1090 1088:2:2936
1091 1089:0:4649
1092 1090:2:3117
1093 1091:2:3118
1094 1092:2:3119
1095 1093:0:4649
1096 1094:2:2936
1097 1095:0:4649
1098 1096:2:3124
1099 1097:0:4649
1100 1098:1:145
1101 1099:0:4649
1102 1100:1:147
1103 1101:0:4649
1104 1102:1:46
1105 1103:0:4649
1106 1104:1:153
1107 1105:1:154
1108 1106:1:158
1109 1107:1:159
1110 1108:1:167
1111 1109:1:168
1112 1110:1:172
1113 1111:1:173
1114 1112:1:181
1115 1113:1:186
1116 1114:1:190
1117 1115:1:191
1118 1116:1:199
1119 1117:1:200
1120 1118:1:204
1121 1119:1:205
1122 1120:1:199
1123 1121:1:200
1124 1122:1:204
1125 1123:1:205
1126 1124:1:213
1127 1125:1:218
1128 1126:1:219
1129 1127:1:230
1130 1128:1:231
1131 1129:1:232
1132 1130:1:243
1133 1131:1:248
1134 1132:1:249
1135 1133:1:260
1136 1134:1:261
1137 1135:1:262
1138 1136:1:260
1139 1137:1:261
1140 1138:1:262
1141 1139:1:273
1142 1140:0:4649
1143 1141:1:42
1144 1142:0:4649
1145 1143:1:43
1146 1144:0:4649
1147 1145:1:44
1148 1146:0:4649
1149 1147:1:145
1150 1148:0:4649
1151 1149:1:147
1152 1150:0:4649
1153 1151:1:46
1154 1152:0:4649
1155 1153:1:282
1156 1154:1:283
1157 1155:0:4649
1158 1156:1:42
1159 1157:0:4649
1160 1158:1:43
1161 1159:0:4649
1162 1160:1:44
1163 1161:0:4649
1164 1162:1:145
1165 1163:0:4649
1166 1164:1:147
1167 1165:0:4649
1168 1166:1:46
1169 1167:0:4649
1170 1168:1:289
1171 1169:1:290
1172 1170:1:294
1173 1171:1:295
1174 1172:1:303
1175 1173:1:304
1176 1174:1:308
1177 1175:1:309
1178 1176:1:317
1179 1177:1:322
1180 1178:1:326
1181 1179:1:327
1182 1180:1:335
1183 1181:1:336
1184 1182:1:340
1185 1183:1:341
1186 1184:1:335
1187 1185:1:336
1188 1186:1:340
1189 1187:1:341
1190 1188:1:349
1191 1189:1:354
1192 1190:1:355
1193 1191:1:366
1194 1192:1:367
1195 1193:1:368
1196 1194:1:379
1197 1195:1:384
1198 1196:1:385
1199 1197:1:396
1200 1198:1:397
1201 1199:1:398
1202 1200:1:396
1203 1201:1:397
1204 1202:1:398
1205 1203:1:409
1206 1204:0:4649
1207 1205:1:42
1208 1206:0:4649
1209 1207:1:43
1210 1208:0:4649
1211 1209:1:44
1212 1210:0:4649
1213 1211:1:145
1214 1212:0:4649
1215 1213:1:147
1216 1214:0:4649
1217 1215:1:46
1218 1216:0:4649
1219 1217:1:418
1220 1218:1:419
1221 1219:1:423
1222 1220:1:424
1223 1221:1:432
1224 1222:1:433
1225 1223:1:437
1226 1224:1:438
1227 1225:1:446
1228 1226:1:451
1229 1227:1:455
1230 1228:1:456
1231 1229:1:464
1232 1230:1:465
1233 1231:1:469
1234 1232:1:470
1235 1233:1:464
1236 1234:1:465
1237 1235:1:469
1238 1236:1:470
1239 1237:1:478
1240 1238:1:483
1241 1239:1:484
1242 1240:1:495
1243 1241:1:496
1244 1242:1:497
1245 1243:1:508
1246 1244:1:513
1247 1245:1:514
1248 1246:1:525
1249 1247:1:526
1250 1248:1:527
1251 1249:1:525
1252 1250:1:526
1253 1251:1:527
1254 1252:1:538
1255 1253:1:545
1256 1254:0:4649
1257 1255:1:42
1258 1256:0:4649
1259 1257:1:43
1260 1258:0:4649
1261 1259:1:44
1262 1260:0:4649
1263 1261:1:145
1264 1262:0:4649
1265 1263:1:147
1266 1264:0:4649
1267 1265:1:46
1268 1266:0:4649
1269 1267:1:683
1270 1268:1:684
1271 1269:1:688
1272 1270:1:689
1273 1271:1:697
1274 1272:1:698
1275 1273:1:699
1276 1274:1:711
1277 1275:1:716
1278 1276:1:720
1279 1277:1:721
1280 1278:1:729
1281 1279:1:730
1282 1280:1:734
1283 1281:1:735
1284 1282:1:729
1285 1283:1:730
1286 1284:1:734
1287 1285:1:735
1288 1286:1:743
1289 1287:1:748
1290 1288:1:749
1291 1289:1:760
1292 1290:1:761
1293 1291:1:762
1294 1292:1:773
1295 1293:1:778
1296 1294:1:779
1297 1295:1:790
1298 1296:1:791
1299 1297:1:792
1300 1298:1:790
1301 1299:1:791
1302 1300:1:792
1303 1301:1:803
1304 1302:0:4649
1305 1303:1:42
1306 1304:0:4649
1307 1305:1:43
1308 1306:0:4649
1309 1307:1:44
1310 1308:0:4649
1311 1309:1:145
1312 1310:0:4649
1313 1311:1:147
1314 1312:0:4649
1315 1313:1:46
1316 1314:0:4649
1317 1315:1:812
1318 1316:1:815
1319 1317:1:816
1320 1318:0:4649
1321 1319:1:42
1322 1320:0:4649
1323 1321:1:43
1324 1322:0:4649
1325 1323:1:44
1326 1324:0:4649
1327 1325:1:145
1328 1326:0:4649
1329 1327:1:147
1330 1328:0:4649
1331 1329:1:46
1332 1330:0:4649
1333 1331:1:819
1334 1332:1:820
1335 1333:1:824
1336 1334:1:825
1337 1335:1:833
1338 1336:1:834
1339 1337:1:838
1340 1338:1:839
1341 1339:1:847
1342 1340:1:852
1343 1341:1:856
1344 1342:1:857
1345 1343:1:865
1346 1344:1:866
1347 1345:1:870
1348 1346:1:871
1349 1347:1:865
1350 1348:1:866
1351 1349:1:870
1352 1350:1:871
1353 1351:1:879
1354 1352:1:884
1355 1353:1:885
1356 1354:1:896
1357 1355:1:897
1358 1356:1:898
1359 1357:1:909
1360 1358:1:914
1361 1359:1:915
1362 1360:1:926
1363 1361:1:927
1364 1362:1:928
1365 1363:1:926
1366 1364:1:927
1367 1365:1:928
1368 1366:1:939
1369 1367:0:4649
1370 1368:1:42
1371 1369:0:4649
1372 1370:1:43
1373 1371:0:4649
1374 1372:1:44
1375 1373:0:4649
1376 1374:1:145
1377 1375:0:4649
1378 1376:1:147
1379 1377:0:4649
1380 1378:1:46
1381 1379:0:4649
1382 1380:1:1079
1383 1381:1:1080
1384 1382:1:1084
1385 1383:1:1085
1386 1384:1:1093
1387 1385:1:1094
1388 1386:1:1098
1389 1387:1:1099
1390 1388:1:1107
1391 1389:1:1112
1392 1390:1:1116
1393 1391:1:1117
1394 1392:1:1125
1395 1393:1:1126
1396 1394:1:1130
1397 1395:1:1131
1398 1396:1:1125
1399 1397:1:1126
1400 1398:1:1130
1401 1399:1:1131
1402 1400:1:1139
1403 1401:1:1144
1404 1402:1:1145
1405 1403:1:1156
1406 1404:1:1157
1407 1405:1:1158
1408 1406:1:1169
1409 1407:1:1174
1410 1408:1:1175
1411 1409:1:1186
1412 1410:1:1187
1413 1411:1:1188
1414 1412:1:1186
1415 1413:1:1187
1416 1414:1:1188
1417 1415:1:1199
1418 1416:1:1206
1419 1417:1:1210
1420 1418:0:4649
1421 1419:1:42
1422 1420:0:4649
1423 1421:1:43
1424 1422:0:4649
1425 1423:1:44
1426 1424:0:4649
1427 1425:1:145
1428 1426:0:4649
1429 1427:1:147
1430 1428:0:4649
1431 1429:1:46
1432 1430:0:4649
1433 1431:1:1211
1434 1432:1:1212
1435 1433:1:1216
1436 1434:1:1217
1437 1435:1:1225
1438 1436:1:1226
1439 1437:1:1227
1440 1438:1:1239
1441 1439:1:1244
1442 1440:1:1248
1443 1441:1:1249
1444 1442:1:1257
1445 1443:1:1258
1446 1444:1:1262
1447 1445:1:1263
1448 1446:1:1257
1449 1447:1:1258
1450 1448:1:1262
1451 1449:1:1263
1452 1450:1:1271
1453 1451:1:1276
1454 1452:1:1277
1455 1453:1:1288
1456 1454:1:1289
1457 1455:1:1290
1458 1456:1:1301
1459 1457:1:1306
1460 1458:1:1307
1461 1459:1:1318
1462 1460:1:1319
1463 1461:1:1320
1464 1462:1:1318
1465 1463:1:1319
1466 1464:1:1320
1467 1465:1:1331
1468 1466:0:4649
1469 1467:1:42
1470 1468:0:4649
1471 1469:1:43
1472 1470:0:4649
1473 1471:1:44
1474 1472:0:4649
1475 1473:1:145
1476 1474:0:4649
1477 1475:1:147
1478 1476:0:4649
1479 1477:1:46
1480 1478:0:4649
1481 1479:1:1340
1482 1480:0:4649
1483 1481:1:2804
1484 1482:1:2811
1485 1483:1:2812
1486 1484:1:2819
1487 1485:1:2824
1488 1486:1:2831
1489 1487:1:2832
1490 1488:1:2831
1491 1489:1:2832
1492 1490:1:2839
1493 1491:1:2843
1494 1492:0:4649
1495 1493:2:3828
1496 1494:2:3829
1497 1495:2:3833
1498 1496:2:3837
1499 1497:2:3838
1500 1498:2:3842
1501 1499:2:3847
1502 1500:2:3855
1503 1501:2:3859
1504 1502:2:3860
1505 1503:2:3855
1506 1504:2:3856
1507 1505:2:3864
1508 1506:2:3871
1509 1507:2:3878
1510 1508:2:3879
1511 1509:2:3886
1512 1510:2:3891
1513 1511:2:3898
1514 1512:2:3899
1515 1513:2:3898
1516 1514:2:3899
1517 1515:2:3906
1518 1516:2:3910
1519 1517:0:4649
1520 1518:2:3915
1521 1519:0:4649
1522 1520:2:3916
1523 1521:0:4649
1524 1522:2:3917
1525 1523:0:4649
1526 1524:2:3918
1527 1525:0:4649
1528 1526:1:1342
1529 1527:1:1343
1530 1528:0:4647
1531 1529:2:3919
1532 1530:0:4653
1533 1531:1:2501