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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4177
   4 2:3:4097
   5 3:3:4100
   6 4:3:4100
   7 5:3:4103
   8 6:3:4111
   9 7:3:4111
  10 8:3:4114
  11 9:3:4120
  12 10:3:4124
  13 11:3:4124
  14 12:3:4127
  15 13:3:4137
  16 14:3:4145
  17 15:3:4145
  18 16:3:4148
  19 17:3:4154
  20 18:3:4158
  21 19:3:4158
  22 20:3:4161
  23 21:3:4167
  24 22:3:4171
  25 23:3:4172
  26 24:0:4177
  27 25:3:4174
  28 26:0:4177
  29 27:2:2511
  30 28:0:4177
  31 29:2:2517
  32 30:0:4177
  33 31:2:2518
  34 32:0:4177
  35 33:2:2520
  36 34:0:4177
  37 35:2:2521
  38 36:0:4177
  39 37:2:2522
  40 38:0:4177
  41 39:2:2523
  42 40:2:2524
  43 41:2:2528
  44 42:2:2529
  45 43:2:2537
  46 44:2:2538
  47 45:2:2542
  48 46:2:2543
  49 47:2:2551
  50 48:2:2556
  51 49:2:2560
  52 50:2:2561
  53 51:2:2569
  54 52:2:2570
  55 53:2:2574
  56 54:2:2575
  57 55:2:2569
  58 56:2:2570
  59 57:2:2574
  60 58:2:2575
  61 59:2:2583
  62 60:2:2588
  63 61:2:2595
  64 62:2:2596
  65 63:2:2603
  66 64:2:2608
  67 65:2:2615
  68 66:2:2616
  69 67:2:2615
  70 68:2:2616
  71 69:2:2623
  72 70:2:2633
  73 71:0:4177
  74 72:2:2522
  75 73:0:4177
  76 74:2:2685
  77 75:2:2686
  78 76:2:2687
  79 77:0:4177
  80 78:2:2522
  81 79:0:4177
  82 80:2:2692
  83 81:0:4177
  84 82:2:3306
  85 83:2:3307
  86 84:2:3311
  87 85:2:3315
  88 86:2:3316
  89 87:2:3320
  90 88:2:3325
  91 89:2:3333
  92 90:2:3337
  93 91:2:3338
  94 92:2:3333
  95 93:2:3334
  96 94:2:3342
  97 95:2:3349
  98 96:2:3356
  99 97:2:3357
 100 98:2:3364
 101 99:2:3369
 102 100:2:3376
 103 101:2:3377
 104 102:2:3376
 105 103:2:3377
 106 104:2:3384
 107 105:2:3388
 108 106:0:4177
 109 107:2:3393
 110 108:0:4177
 111 109:2:3394
 112 110:0:4177
 113 111:2:3395
 114 112:0:4177
 115 113:2:3396
 116 114:0:4177
 117 115:1:2
 118 116:0:4177
 119 117:2:3397
 120 118:0:4177
 121 119:1:8
 122 120:0:4177
 123 121:1:9
 124 122:0:4177
 125 123:2:3396
 126 124:0:4177
 127 125:1:10
 128 126:0:4177
 129 127:2:3397
 130 128:0:4177
 131 129:1:11
 132 130:0:4177
 133 131:2:3396
 134 132:0:4177
 135 133:1:12
 136 134:0:4177
 137 135:2:3397
 138 136:0:4177
 139 137:1:13
 140 138:0:4177
 141 139:2:3396
 142 140:0:4177
 143 141:1:14
 144 142:0:4177
 145 143:2:3397
 146 144:0:4177
 147 145:1:15
 148 146:0:4177
 149 147:1:16
 150 148:0:4177
 151 149:2:3396
 152 150:0:4177
 153 151:1:17
 154 152:0:4177
 155 153:2:3397
 156 154:0:4177
 157 155:1:26
 158 156:0:4177
 159 157:2:3396
 160 158:0:4177
 161 159:1:30
 162 160:1:31
 163 161:1:35
 164 162:1:39
 165 163:1:40
 166 164:1:44
 167 165:1:52
 168 166:1:53
 169 167:1:57
 170 168:1:61
 171 169:1:62
 172 170:1:57
 173 171:1:61
 174 172:1:62
 175 173:1:66
 176 174:1:73
 177 175:1:80
 178 176:1:81
 179 177:1:88
 180 178:1:93
 181 179:1:100
 182 180:1:101
 183 181:1:100
 184 182:1:101
 185 183:1:108
 186 184:1:112
 187 185:0:4177
 188 186:2:3397
 189 187:0:4177
 190 188:1:117
 191 189:0:4177
 192 190:2:3398
 193 191:0:4177
 194 192:2:3403
 195 193:0:4177
 196 194:2:3404
 197 195:0:4177
 198 196:2:3412
 199 197:2:3413
 200 198:2:3417
 201 199:2:3421
 202 200:2:3422
 203 201:2:3426
 204 202:2:3434
 205 203:2:3435
 206 204:2:3439
 207 205:2:3443
 208 206:2:3444
 209 207:2:3439
 210 208:2:3443
 211 209:2:3444
 212 210:2:3448
 213 211:2:3455
 214 212:2:3462
 215 213:2:3463
 216 214:2:3470
 217 215:2:3475
 218 216:2:3482
 219 217:2:3483
 220 218:2:3482
 221 219:2:3483
 222 220:2:3490
 223 221:2:3494
 224 222:0:4177
 225 223:2:2694
 226 224:2:3287
 227 225:0:4177
 228 226:2:2522
 229 227:0:4177
 230 228:2:2695
 231 229:0:4177
 232 230:2:2522
 233 231:0:4177
 234 232:2:2698
 235 233:2:2699
 236 234:2:2703
 237 235:2:2704
 238 236:2:2712
 239 237:2:2713
 240 238:2:2717
 241 239:2:2718
 242 240:2:2726
 243 241:2:2731
 244 242:2:2735
 245 243:2:2736
 246 244:2:2744
 247 245:2:2745
 248 246:2:2749
 249 247:2:2750
 250 248:2:2744
 251 249:2:2745
 252 250:2:2749
 253 251:2:2750
 254 252:2:2758
 255 253:2:2763
 256 254:2:2770
 257 255:2:2771
 258 256:2:2778
 259 257:2:2783
 260 258:2:2790
 261 259:2:2791
 262 260:2:2790
 263 261:2:2791
 264 262:2:2798
 265 263:2:2807
 266 264:0:4177
 267 265:2:2522
 268 266:0:4177
 269 267:2:2811
 270 268:2:2812
 271 269:2:2813
 272 270:2:2825
 273 271:2:2826
 274 272:2:2830
 275 273:2:2831
 276 274:2:2839
 277 275:2:2844
 278 276:2:2848
 279 277:2:2849
 280 278:2:2857
 281 279:2:2858
 282 280:2:2862
 283 281:2:2863
 284 282:2:2857
 285 283:2:2858
 286 284:2:2862
 287 285:2:2863
 288 286:2:2871
 289 287:2:2876
 290 288:2:2883
 291 289:2:2884
 292 290:2:2891
 293 291:2:2896
 294 292:2:2903
 295 293:2:2904
 296 294:2:2903
 297 295:2:2904
 298 296:2:2911
 299 297:2:2924
 300 298:2:2925
 301 299:0:4177
 302 300:2:2522
 303 301:0:4177
 304 302:2:2932
 305 303:2:2933
 306 304:2:2937
 307 305:2:2938
 308 306:2:2946
 309 307:2:2947
 310 308:2:2951
 311 309:2:2952
 312 310:2:2960
 313 311:2:2965
 314 312:2:2969
 315 313:2:2970
 316 314:2:2978
 317 315:2:2979
 318 316:2:2983
 319 317:2:2984
 320 318:2:2978
 321 319:2:2979
 322 320:2:2983
 323 321:2:2984
 324 322:2:2992
 325 323:2:2997
 326 324:2:3004
 327 325:2:3005
 328 326:2:3012
 329 327:2:3017
 330 328:2:3024
 331 329:2:3025
 332 330:2:3024
 333 331:2:3025
 334 332:2:3032
 335 333:0:4177
 336 334:2:2522
 337 335:0:4177
 338 336:2:3043
 339 337:2:3044
 340 338:2:3048
 341 339:2:3049
 342 340:2:3057
 343 341:2:3058
 344 342:2:3062
 345 343:2:3063
 346 344:2:3071
 347 345:2:3076
 348 346:2:3080
 349 347:2:3081
 350 348:2:3089
 351 349:2:3090
 352 350:2:3094
 353 351:2:3095
 354 352:2:3089
 355 353:2:3090
 356 354:2:3094
 357 355:2:3095
 358 356:2:3103
 359 357:2:3108
 360 358:2:3115
 361 359:2:3116
 362 360:2:3123
 363 361:2:3128
 364 362:2:3135
 365 363:2:3136
 366 364:2:3135
 367 365:2:3136
 368 366:2:3143
 369 367:2:3152
 370 368:0:4177
 371 369:2:2522
 372 370:0:4177
 373 371:2:3156
 374 372:2:3157
 375 373:2:3158
 376 374:2:3170
 377 375:2:3171
 378 376:2:3175
 379 377:2:3176
 380 378:2:3184
 381 379:2:3189
 382 380:2:3193
 383 381:2:3194
 384 382:2:3202
 385 383:2:3203
 386 384:2:3207
 387 385:2:3208
 388 386:2:3202
 389 387:2:3203
 390 388:2:3207
 391 389:2:3208
 392 390:2:3216
 393 391:2:3221
 394 392:2:3228
 395 393:2:3229
 396 394:2:3236
 397 395:2:3241
 398 396:2:3248
 399 397:2:3249
 400 398:2:3248
 401 399:2:3249
 402 400:2:3256
 403 401:2:3268
 404 402:2:3269
 405 403:0:4177
 406 404:2:2522
 407 405:0:4177
 408 406:2:3275
 409 407:0:4177
 410 408:2:3900
 411 409:2:3901
 412 410:2:3905
 413 411:2:3909
 414 412:2:3910
 415 413:2:3914
 416 414:2:3922
 417 415:2:3923
 418 416:2:3927
 419 417:2:3931
 420 418:2:3932
 421 419:2:3927
 422 420:2:3931
 423 421:2:3932
 424 422:2:3936
 425 423:2:3943
 426 424:2:3950
 427 425:2:3951
 428 426:2:3958
 429 427:2:3963
 430 428:2:3970
 431 429:2:3971
 432 430:2:3970
 433 431:2:3971
 434 432:2:3978
 435 433:2:3982
 436 434:0:4177
 437 435:2:3987
 438 436:0:4177
 439 437:2:3988
 440 438:0:4177
 441 439:2:3989
 442 440:0:4177
 443 441:2:3990
 444 442:0:4177
 445 443:1:26
 446 444:0:4177
 447 445:2:3991
 448 446:0:4177
 449 447:1:30
 450 448:1:31
 451 449:1:35
 452 450:1:39
 453 451:1:40
 454 452:1:44
 455 453:1:52
 456 454:1:53
 457 455:1:57
 458 456:1:61
 459 457:1:62
 460 458:1:57
 461 459:1:61
 462 460:1:62
 463 461:1:66
 464 462:1:73
 465 463:1:80
 466 464:1:81
 467 465:1:88
 468 466:1:93
 469 467:1:100
 470 468:1:101
 471 469:1:100
 472 470:1:101
 473 471:1:108
 474 472:1:112
 475 473:0:4177
 476 474:2:3990
 477 475:0:4177
 478 476:1:117
 479 477:0:4177
 480 478:2:3991
 481 479:0:4177
 482 480:2:3992
 483 481:0:4177
 484 482:2:3997
 485 483:0:4177
 486 484:2:3998
 487 485:0:4177
 488 486:2:4006
 489 487:2:4007
 490 488:2:4011
 491 489:2:4015
 492 490:2:4016
 493 491:2:4020
 494 492:2:4028
 495 493:2:4029
 496 494:2:4033
 497 495:2:4037
 498 496:2:4038
 499 497:2:4033
 500 498:2:4037
 501 499:2:4038
 502 500:2:4042
 503 501:2:4049
 504 502:2:4056
 505 503:2:4057
 506 504:2:4064
 507 505:2:4069
 508 506:2:4076
 509 507:2:4077
 510 508:2:4076
 511 509:2:4077
 512 510:2:4084
 513 511:2:4088
 514 512:0:4177
 515 513:2:3277
 516 514:2:3287
 517 515:0:4177
 518 516:2:2522
 519 517:0:4177
 520 518:2:3278
 521 519:2:3279
 522 520:0:4177
 523 521:2:2522
 524 522:0:4177
 525 523:2:3283
 526 524:0:4177
 527 525:2:3291
 528 526:0:4177
 529 527:2:2518
 530 528:0:4177
 531 529:2:2520
 532 530:0:4177
 533 531:2:2521
 534 532:0:4177
 535 533:2:2522
 536 534:0:4177
 537 535:2:2685
 538 536:2:2686
 539 537:2:2687
 540 538:0:4177
 541 539:2:2522
 542 540:0:4177
 543 541:2:2523
 544 542:2:2524
 545 543:2:2528
 546 544:2:2529
 547 545:2:2537
 548 546:2:2538
 549 547:2:2542
 550 548:2:2543
 551 549:2:2551
 552 550:2:2556
 553 551:2:2557
 554 552:2:2569
 555 553:2:2570
 556 554:2:2571
 557 555:2:2569
 558 556:2:2570
 559 557:2:2574
 560 558:2:2575
 561 559:2:2583
 562 560:2:2588
 563 561:2:2595
 564 562:2:2596
 565 563:2:2603
 566 564:2:2608
 567 565:2:2615
 568 566:2:2616
 569 567:2:2615
 570 568:2:2616
 571 569:2:2623
 572 570:2:2633
 573 571:0:4177
 574 572:2:2522
 575 573:0:4177
 576 574:2:2692
 577 575:0:4177
 578 576:2:3306
 579 577:2:3307
 580 578:2:3311
 581 579:2:3315
 582 580:2:3316
 583 581:2:3320
 584 582:2:3328
 585 583:2:3329
 586 584:2:3333
 587 585:2:3334
 588 586:2:3333
 589 587:2:3337
 590 588:2:3338
 591 589:2:3342
 592 590:2:3349
 593 591:2:3356
 594 592:2:3357
 595 593:2:3364
 596 594:2:3369
 597 595:2:3376
 598 596:2:3377
 599 597:2:3376
 600 598:2:3377
 601 599:2:3384
 602 600:2:3388
 603 601:0:4177
 604 602:2:3393
 605 603:0:4177
 606 604:2:3394
 607 605:0:4177
 608 606:2:3395
 609 607:0:4177
 610 608:2:3396
 611 609:0:4177
 612 610:1:26
 613 611:0:4177
 614 612:2:3397
 615 613:0:4177
 616 614:1:30
 617 615:1:31
 618 616:1:35
 619 617:1:39
 620 618:1:40
 621 619:1:44
 622 620:1:52
 623 621:1:53
 624 622:1:57
 625 623:1:61
 626 624:1:62
 627 625:1:57
 628 626:1:61
 629 627:1:62
 630 628:1:66
 631 629:1:73
 632 630:1:80
 633 631:1:81
 634 632:1:88
 635 633:1:93
 636 634:1:100
 637 635:1:101
 638 636:1:100
 639 637:1:101
 640 638:1:108
 641 639:1:112
 642 640:0:4177
 643 641:2:3396
 644 642:0:4177
 645 643:1:117
 646 644:0:4177
 647 645:2:3397
 648 646:0:4177
 649 647:2:3398
 650 648:0:4177
 651 649:2:3403
 652 650:0:4177
 653 651:2:3404
 654 652:0:4177
 655 653:2:3412
 656 654:2:3413
 657 655:2:3417
 658 656:2:3421
 659 657:2:3422
 660 658:2:3426
 661 659:2:3434
 662 660:2:3435
 663 661:2:3439
 664 662:2:3443
 665 663:2:3444
 666 664:2:3439
 667 665:2:3443
 668 666:2:3444
 669 667:2:3448
 670 668:2:3455
 671 669:2:3462
 672 670:2:3463
 673 671:2:3470
 674 672:2:3475
 675 673:2:3482
 676 674:2:3483
 677 675:2:3482
 678 676:2:3483
 679 677:2:3490
 680 678:2:3494
 681 679:0:4177
 682 680:2:2694
 683 681:2:3287
 684 682:0:4177
 685 683:2:2522
 686 684:0:4177
 687 685:2:2695
 688 686:0:4177
 689 687:2:2522
 690 688:0:4177
 691 689:2:2698
 692 690:2:2699
 693 691:2:2703
 694 692:2:2704
 695 693:2:2712
 696 694:2:2713
 697 695:2:2717
 698 696:2:2718
 699 697:2:2726
 700 698:2:2731
 701 699:2:2735
 702 700:2:2736
 703 701:2:2744
 704 702:2:2745
 705 703:2:2749
 706 704:2:2750
 707 705:2:2744
 708 706:2:2745
 709 707:2:2749
 710 708:2:2750
 711 709:2:2758
 712 710:2:2763
 713 711:2:2770
 714 712:2:2771
 715 713:2:2778
 716 714:2:2783
 717 715:2:2790
 718 716:2:2791
 719 717:2:2790
 720 718:2:2791
 721 719:2:2798
 722 720:2:2807
 723 721:0:4177
 724 722:2:2522
 725 723:0:4177
 726 724:2:2811
 727 725:2:2812
 728 726:2:2813
 729 727:2:2825
 730 728:2:2826
 731 729:2:2830
 732 730:2:2831
 733 731:2:2839
 734 732:2:2844
 735 733:2:2848
 736 734:2:2849
 737 735:2:2857
 738 736:2:2858
 739 737:2:2862
 740 738:2:2863
 741 739:2:2857
 742 740:2:2858
 743 741:2:2862
 744 742:2:2863
 745 743:2:2871
 746 744:2:2876
 747 745:2:2883
 748 746:2:2884
 749 747:2:2891
 750 748:2:2896
 751 749:2:2903
 752 750:2:2904
 753 751:2:2903
 754 752:2:2904
 755 753:2:2911
 756 754:2:2924
 757 755:2:2925
 758 756:0:4177
 759 757:2:2522
 760 758:0:4177
 761 759:2:2932
 762 760:2:2933
 763 761:2:2937
 764 762:2:2938
 765 763:2:2946
 766 764:2:2947
 767 765:2:2951
 768 766:2:2952
 769 767:2:2960
 770 768:2:2965
 771 769:2:2969
 772 770:2:2970
 773 771:2:2978
 774 772:2:2979
 775 773:2:2983
 776 774:2:2984
 777 775:2:2978
 778 776:2:2979
 779 777:2:2983
 780 778:2:2984
 781 779:2:2992
 782 780:2:2997
 783 781:2:3004
 784 782:2:3005
 785 783:2:3012
 786 784:2:3017
 787 785:2:3024
 788 786:2:3025
 789 787:2:3024
 790 788:2:3025
 791 789:2:3032
 792 790:0:4177
 793 791:2:2522
 794 792:0:4177
 795 793:2:3043
 796 794:2:3044
 797 795:2:3048
 798 796:2:3049
 799 797:2:3057
 800 798:2:3058
 801 799:2:3062
 802 800:2:3063
 803 801:2:3071
 804 802:2:3076
 805 803:2:3080
 806 804:2:3081
 807 805:2:3089
 808 806:2:3090
 809 807:2:3094
 810 808:2:3095
 811 809:2:3089
 812 810:2:3090
 813 811:2:3094
 814 812:2:3095
 815 813:2:3103
 816 814:2:3108
 817 815:2:3115
 818 816:2:3116
 819 817:2:3123
 820 818:2:3128
 821 819:2:3135
 822 820:2:3136
 823 821:2:3135
 824 822:2:3136
 825 823:2:3143
 826 824:2:3152
 827 825:0:4177
 828 826:2:2522
 829 827:0:4177
 830 828:2:3156
 831 829:2:3157
 832 830:2:3158
 833 831:2:3170
 834 832:2:3171
 835 833:2:3175
 836 834:2:3176
 837 835:2:3184
 838 836:2:3189
 839 837:2:3193
 840 838:2:3194
 841 839:2:3202
 842 840:2:3203
 843 841:2:3207
 844 842:2:3208
 845 843:2:3202
 846 844:2:3203
 847 845:2:3207
 848 846:2:3208
 849 847:2:3216
 850 848:2:3221
 851 849:2:3228
 852 850:2:3229
 853 851:2:3236
 854 852:2:3241
 855 853:2:3248
 856 854:2:3249
 857 855:2:3248
 858 856:2:3249
 859 857:2:3256
 860 858:2:3268
 861 859:2:3269
 862 860:0:4177
 863 861:2:2522
 864 862:0:4177
 865 863:2:3275
 866 864:0:4177
 867 865:2:3900
 868 866:2:3901
 869 867:2:3905
 870 868:2:3909
 871 869:2:3910
 872 870:2:3914
 873 871:2:3922
 874 872:2:3923
 875 873:2:3927
 876 874:2:3931
 877 875:2:3932
 878 876:2:3927
 879 877:2:3931
 880 878:2:3932
 881 879:2:3936
 882 880:2:3943
 883 881:2:3950
 884 882:2:3951
 885 883:2:3958
 886 884:2:3963
 887 885:2:3970
 888 886:2:3971
 889 887:2:3970
 890 888:2:3971
 891 889:2:3978
 892 890:2:3982
 893 891:0:4177
 894 892:2:3987
 895 893:0:4177
 896 894:2:3988
 897 895:0:4177
 898 896:2:3989
 899 897:0:4177
 900 898:2:3990
 901 899:0:4177
 902 900:1:26
 903 901:0:4177
 904 902:2:3991
 905 903:0:4177
 906 904:1:30
 907 905:1:31
 908 906:1:35
 909 907:1:39
 910 908:1:40
 911 909:1:44
 912 910:1:52
 913 911:1:53
 914 912:1:57
 915 913:1:61
 916 914:1:62
 917 915:1:57
 918 916:1:61
 919 917:1:62
 920 918:1:66
 921 919:1:73
 922 920:1:80
 923 921:1:81
 924 922:1:88
 925 923:1:93
 926 924:1:100
 927 925:1:101
 928 926:1:100
 929 927:1:101
 930 928:1:108
 931 929:1:112
 932 930:0:4177
 933 931:2:3990
 934 932:0:4177
 935 933:1:117
 936 934:0:4177
 937 935:2:3991
 938 936:0:4177
 939 937:2:3992
 940 938:0:4177
 941 939:2:3997
 942 940:0:4177
 943 941:2:3998
 944 942:0:4177
 945 943:2:4006
 946 944:2:4007
 947 945:2:4011
 948 946:2:4015
 949 947:2:4016
 950 948:2:4020
 951 949:2:4028
 952 950:2:4029
 953 951:2:4033
 954 952:2:4037
 955 953:2:4038
 956 954:2:4033
 957 955:2:4037
 958 956:2:4038
 959 957:2:4042
 960 958:2:4049
 961 959:2:4056
 962 960:2:4057
 963 961:2:4064
 964 962:2:4069
 965 963:2:4076
 966 964:2:4077
 967 965:2:4076
 968 966:2:4077
 969 967:2:4084
 970 968:2:4088
 971 969:0:4177
 972 970:2:3277
 973 971:2:3287
 974 972:0:4177
 975 973:2:2522
 976 974:0:4177
 977 975:2:3278
 978 976:2:3279
 979 977:0:4177
 980 978:2:2522
 981 979:0:4177
 982 980:2:3283
 983 981:0:4177
 984 982:2:3291
 985 983:0:4177
 986 984:2:2518
 987 985:0:4177
 988 986:2:2520
 989 987:0:4177
 990 988:2:2521
 991 989:0:4177
 992 990:2:2522
 993 991:0:4177
 994 992:2:2523
 995 993:2:2524
 996 994:2:2528
 997 995:2:2529
 998 996:2:2537
 999 997:2:2538
1000 998:2:2542
1001 999:2:2543
1002 1000:2:2551
1003 1001:2:2556
1004 1002:2:2560
1005 1003:2:2561
1006 1004:2:2569
1007 1005:2:2570
1008 1006:2:2574
1009 1007:2:2575
1010 1008:2:2569
1011 1009:2:2570
1012 1010:2:2571
1013 1011:2:2583
1014 1012:2:2588
1015 1013:2:2595
1016 1014:2:2596
1017 1015:2:2603
1018 1016:2:2608
1019 1017:2:2615
1020 1018:2:2616
1021 1019:2:2615
1022 1020:2:2616
1023 1021:2:2623
1024 1022:2:2633
1025 1023:0:4177
1026 1024:2:2522
1027 1025:0:4177
1028 1026:2:2685
1029 1027:2:2686
1030 1028:2:2687
1031 1029:0:4177
1032 1030:2:2522
1033 1031:0:4177
1034 1032:2:2692
1035 1033:0:4177
1036 1034:1:118
1037 1035:0:4177
1038 1036:1:120
1039 1037:0:4177
1040 1038:1:19
1041 1039:0:4177
1042 1040:1:126
1043 1041:1:127
1044 1042:1:131
1045 1043:1:132
1046 1044:1:140
1047 1045:1:141
1048 1046:1:145
1049 1047:1:146
1050 1048:1:154
1051 1049:1:159
1052 1050:1:163
1053 1051:1:164
1054 1052:1:172
1055 1053:1:173
1056 1054:1:177
1057 1055:1:178
1058 1056:1:172
1059 1057:1:173
1060 1058:1:177
1061 1059:1:178
1062 1060:1:186
1063 1061:1:191
1064 1062:1:198
1065 1063:1:199
1066 1064:1:206
1067 1065:1:211
1068 1066:1:218
1069 1067:1:219
1070 1068:1:218
1071 1069:1:219
1072 1070:1:226
1073 1071:0:4177
1074 1072:1:15
1075 1073:0:4177
1076 1074:1:16
1077 1075:0:4177
1078 1076:1:17
1079 1077:0:4177
1080 1078:1:118
1081 1079:0:4177
1082 1080:1:120
1083 1081:0:4177
1084 1082:1:19
1085 1083:0:4177
1086 1084:1:237
1087 1085:1:238
1088 1086:0:4177
1089 1087:1:15
1090 1088:0:4177
1091 1089:1:16
1092 1090:0:4177
1093 1091:1:17
1094 1092:0:4177
1095 1093:1:118
1096 1094:0:4177
1097 1095:1:120
1098 1096:0:4177
1099 1097:1:19
1100 1098:0:4177
1101 1099:1:244
1102 1100:1:245
1103 1101:1:249
1104 1102:1:250
1105 1103:1:258
1106 1104:1:259
1107 1105:1:263
1108 1106:1:264
1109 1107:1:272
1110 1108:1:277
1111 1109:1:281
1112 1110:1:282
1113 1111:1:290
1114 1112:1:291
1115 1113:1:295
1116 1114:1:296
1117 1115:1:290
1118 1116:1:291
1119 1117:1:295
1120 1118:1:296
1121 1119:1:304
1122 1120:1:309
1123 1121:1:316
1124 1122:1:317
1125 1123:1:324
1126 1124:1:329
1127 1125:1:336
1128 1126:1:337
1129 1127:1:336
1130 1128:1:337
1131 1129:1:344
1132 1130:0:4177
1133 1131:1:15
1134 1132:0:4177
1135 1133:1:16
1136 1134:0:4177
1137 1135:1:17
1138 1136:0:4177
1139 1137:1:118
1140 1138:0:4177
1141 1139:1:120
1142 1140:0:4177
1143 1141:1:19
1144 1142:0:4177
1145 1143:1:355
1146 1144:1:356
1147 1145:1:360
1148 1146:1:361
1149 1147:1:369
1150 1148:1:370
1151 1149:1:374
1152 1150:1:375
1153 1151:1:383
1154 1152:1:388
1155 1153:1:392
1156 1154:1:393
1157 1155:1:401
1158 1156:1:402
1159 1157:1:406
1160 1158:1:407
1161 1159:1:401
1162 1160:1:402
1163 1161:1:406
1164 1162:1:407
1165 1163:1:415
1166 1164:1:420
1167 1165:1:427
1168 1166:1:428
1169 1167:1:435
1170 1168:1:440
1171 1169:1:447
1172 1170:1:448
1173 1171:1:447
1174 1172:1:448
1175 1173:1:455
1176 1174:1:464
1177 1175:0:4177
1178 1176:1:15
1179 1177:0:4177
1180 1178:1:16
1181 1179:0:4177
1182 1180:1:17
1183 1181:0:4177
1184 1182:1:118
1185 1183:0:4177
1186 1184:1:120
1187 1185:0:4177
1188 1186:1:19
1189 1187:0:4177
1190 1188:1:584
1191 1189:1:585
1192 1190:1:589
1193 1191:1:590
1194 1192:1:598
1195 1193:1:599
1196 1194:1:600
1197 1195:1:612
1198 1196:1:617
1199 1197:1:621
1200 1198:1:622
1201 1199:1:630
1202 1200:1:631
1203 1201:1:635
1204 1202:1:636
1205 1203:1:630
1206 1204:1:631
1207 1205:1:635
1208 1206:1:636
1209 1207:1:644
1210 1208:1:649
1211 1209:1:656
1212 1210:1:657
1213 1211:1:664
1214 1212:1:669
1215 1213:1:676
1216 1214:1:677
1217 1215:1:676
1218 1216:1:677
1219 1217:1:684
1220 1218:0:4177
1221 1219:1:15
1222 1220:0:4177
1223 1221:1:16
1224 1222:0:4177
1225 1223:1:17
1226 1224:0:4177
1227 1225:1:118
1228 1226:0:4177
1229 1227:1:120
1230 1228:0:4177
1231 1229:1:19
1232 1230:0:4177
1233 1231:1:695
1234 1232:1:698
1235 1233:1:699
1236 1234:0:4177
1237 1235:1:15
1238 1236:0:4177
1239 1237:1:16
1240 1238:0:4177
1241 1239:1:17
1242 1240:0:4177
1243 1241:1:118
1244 1242:0:4177
1245 1243:1:120
1246 1244:0:4177
1247 1245:1:19
1248 1246:0:4177
1249 1247:1:702
1250 1248:1:703
1251 1249:1:707
1252 1250:1:708
1253 1251:1:716
1254 1252:1:717
1255 1253:1:721
1256 1254:1:722
1257 1255:1:730
1258 1256:1:735
1259 1257:1:739
1260 1258:1:740
1261 1259:1:748
1262 1260:1:749
1263 1261:1:753
1264 1262:1:754
1265 1263:1:748
1266 1264:1:749
1267 1265:1:753
1268 1266:1:754
1269 1267:1:762
1270 1268:1:767
1271 1269:1:774
1272 1270:1:775
1273 1271:1:782
1274 1272:1:787
1275 1273:1:794
1276 1274:1:795
1277 1275:1:794
1278 1276:1:795
1279 1277:1:802
1280 1278:0:4177
1281 1279:1:15
1282 1280:0:4177
1283 1281:1:16
1284 1282:0:4177
1285 1283:1:17
1286 1284:0:4177
1287 1285:1:118
1288 1286:0:4177
1289 1287:1:120
1290 1288:0:4177
1291 1289:1:19
1292 1290:0:4177
1293 1291:1:926
1294 1292:1:927
1295 1293:1:931
1296 1294:1:932
1297 1295:1:940
1298 1296:1:941
1299 1297:1:945
1300 1298:1:946
1301 1299:1:954
1302 1300:1:959
1303 1301:1:963
1304 1302:1:964
1305 1303:1:972
1306 1304:1:973
1307 1305:1:977
1308 1306:1:978
1309 1307:1:972
1310 1308:1:973
1311 1309:1:977
1312 1310:1:978
1313 1311:1:986
1314 1312:1:991
1315 1313:1:998
1316 1314:1:999
1317 1315:1:1006
1318 1316:1:1011
1319 1317:1:1018
1320 1318:1:1019
1321 1319:1:1018
1322 1320:1:1019
1323 1321:1:1026
1324 1322:1:1035
1325 1323:1:1039
1326 1324:0:4177
1327 1325:1:15
1328 1326:0:4177
1329 1327:1:16
1330 1328:0:4177
1331 1329:1:17
1332 1330:0:4177
1333 1331:1:118
1334 1332:0:4177
1335 1333:1:120
1336 1334:0:4177
1337 1335:1:19
1338 1336:0:4177
1339 1337:1:1040
1340 1338:1:1041
1341 1339:1:1045
1342 1340:1:1046
1343 1341:1:1054
1344 1342:1:1055
1345 1343:1:1056
1346 1344:1:1068
1347 1345:1:1073
1348 1346:1:1077
1349 1347:1:1078
1350 1348:1:1086
1351 1349:1:1087
1352 1350:1:1091
1353 1351:1:1092
1354 1352:1:1086
1355 1353:1:1087
1356 1354:1:1091
1357 1355:1:1092
1358 1356:1:1100
1359 1357:1:1105
1360 1358:1:1112
1361 1359:1:1113
1362 1360:1:1120
1363 1361:1:1125
1364 1362:1:1132
1365 1363:1:1133
1366 1364:1:1132
1367 1365:1:1133
1368 1366:1:1140
1369 1367:0:4177
1370 1368:1:15
1371 1369:0:4177
1372 1370:1:16
1373 1371:0:4177
1374 1372:1:17
1375 1373:0:4177
1376 1374:1:118
1377 1375:0:4177
1378 1376:1:120
1379 1377:0:4177
1380 1378:1:19
1381 1379:0:4177
1382 1380:1:1151
1383 1381:0:4177
1384 1382:1:2417
1385 1383:1:2424
1386 1384:1:2425
1387 1385:1:2432
1388 1386:1:2437
1389 1387:1:2444
1390 1388:1:2445
1391 1389:1:2444
1392 1390:1:2445
1393 1391:1:2452
1394 1392:1:2456
1395 1393:0:4177
1396 1394:2:3306
1397 1395:2:3307
1398 1396:2:3311
1399 1397:2:3315
1400 1398:2:3316
1401 1399:2:3320
1402 1400:2:3325
1403 1401:2:3333
1404 1402:2:3337
1405 1403:2:3338
1406 1404:2:3333
1407 1405:2:3334
1408 1406:2:3342
1409 1407:2:3349
1410 1408:2:3356
1411 1409:2:3357
1412 1410:2:3364
1413 1411:2:3369
1414 1412:2:3376
1415 1413:2:3377
1416 1414:2:3376
1417 1415:2:3377
1418 1416:2:3384
1419 1417:2:3388
1420 1418:0:4177
1421 1419:2:3393
1422 1420:0:4177
1423 1421:2:3394
1424 1422:0:4177
1425 1423:2:3395
1426 1424:0:4177
1427 1425:2:3396
1428 1426:0:4177
1429 1427:1:1153
1430 1428:1:1154
1431 1429:0:4175
1432 1430:2:3397
1433 1431:0:4181
1434 1432:1:2165