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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4182
   4 2:3:4102
   5 3:3:4105
   6 4:3:4105
   7 5:3:4108
   8 6:3:4116
   9 7:3:4116
  10 8:3:4119
  11 9:3:4125
  12 10:3:4129
  13 11:3:4129
  14 12:3:4132
  15 13:3:4142
  16 14:3:4150
  17 15:3:4150
  18 16:3:4153
  19 17:3:4159
  20 18:3:4163
  21 19:3:4163
  22 20:3:4166
  23 21:3:4172
  24 22:3:4176
  25 23:3:4177
  26 24:0:4182
  27 25:3:4179
  28 26:0:4182
  29 27:2:2515
  30 28:0:4182
  31 29:2:2521
  32 30:0:4182
  33 31:2:2522
  34 32:0:4182
  35 33:2:2524
  36 34:0:4182
  37 35:2:2525
  38 36:0:4182
  39 37:2:2526
  40 38:0:4182
  41 39:2:2527
  42 40:0:4182
  43 41:2:2528
  44 42:2:2529
  45 43:2:2533
  46 44:2:2534
  47 45:2:2542
  48 46:2:2543
  49 47:2:2547
  50 48:2:2548
  51 49:2:2556
  52 50:2:2561
  53 51:2:2565
  54 52:2:2566
  55 53:2:2574
  56 54:2:2575
  57 55:2:2579
  58 56:2:2580
  59 57:2:2574
  60 58:2:2575
  61 59:2:2579
  62 60:2:2580
  63 61:2:2588
  64 62:2:2593
  65 63:2:2600
  66 64:2:2601
  67 65:2:2608
  68 66:2:2613
  69 67:2:2620
  70 68:2:2621
  71 69:2:2620
  72 70:2:2621
  73 71:2:2628
  74 72:2:2638
  75 73:0:4182
  76 74:2:2527
  77 75:0:4182
  78 76:2:2642
  79 77:2:2646
  80 78:2:2647
  81 79:2:2651
  82 80:2:2655
  83 81:2:2656
  84 82:2:2660
  85 83:2:2668
  86 84:2:2669
  87 85:2:2673
  88 86:2:2677
  89 87:2:2678
  90 88:2:2673
  91 89:2:2674
  92 90:2:2682
  93 91:0:4182
  94 92:2:2527
  95 93:0:4182
  96 94:2:2690
  97 95:2:2691
  98 96:2:2692
  99 97:0:4182
 100 98:2:2527
 101 99:0:4182
 102 100:2:2700
 103 101:0:4182
 104 102:2:2527
 105 103:0:4182
 106 104:2:2703
 107 105:2:2704
 108 106:2:2708
 109 107:2:2709
 110 108:2:2717
 111 109:2:2718
 112 110:2:2722
 113 111:2:2723
 114 112:2:2731
 115 113:2:2736
 116 114:2:2737
 117 115:2:2749
 118 116:2:2750
 119 117:2:2754
 120 118:2:2755
 121 119:2:2749
 122 120:2:2750
 123 121:2:2754
 124 122:2:2755
 125 123:2:2763
 126 124:2:2768
 127 125:2:2775
 128 126:2:2776
 129 127:2:2783
 130 128:2:2788
 131 129:2:2795
 132 130:2:2796
 133 131:2:2795
 134 132:2:2796
 135 133:2:2803
 136 134:2:2812
 137 135:0:4182
 138 136:2:2527
 139 137:0:4182
 140 138:2:2816
 141 139:2:2817
 142 140:2:2818
 143 141:2:2830
 144 142:2:2831
 145 143:2:2835
 146 144:2:2836
 147 145:2:2844
 148 146:2:2849
 149 147:2:2853
 150 148:2:2854
 151 149:2:2862
 152 150:2:2863
 153 151:2:2867
 154 152:2:2868
 155 153:2:2862
 156 154:2:2863
 157 155:2:2867
 158 156:2:2868
 159 157:2:2876
 160 158:2:2881
 161 159:2:2888
 162 160:2:2889
 163 161:2:2896
 164 162:2:2901
 165 163:2:2908
 166 164:2:2909
 167 165:2:2908
 168 166:2:2909
 169 167:2:2916
 170 168:2:2929
 171 169:2:2930
 172 170:0:4182
 173 171:2:2527
 174 172:0:4182
 175 173:2:2937
 176 174:2:2938
 177 175:2:2942
 178 176:2:2943
 179 177:2:2951
 180 178:2:2952
 181 179:2:2956
 182 180:2:2957
 183 181:2:2965
 184 182:2:2970
 185 183:2:2974
 186 184:2:2975
 187 185:2:2983
 188 186:2:2984
 189 187:2:2988
 190 188:2:2989
 191 189:2:2983
 192 190:2:2984
 193 191:2:2988
 194 192:2:2989
 195 193:2:2997
 196 194:2:3002
 197 195:2:3009
 198 196:2:3010
 199 197:2:3017
 200 198:2:3022
 201 199:2:3029
 202 200:2:3030
 203 201:2:3029
 204 202:2:3030
 205 203:2:3037
 206 204:0:4182
 207 205:2:2527
 208 206:0:4182
 209 207:2:3048
 210 208:2:3049
 211 209:2:3053
 212 210:2:3054
 213 211:2:3062
 214 212:2:3063
 215 213:2:3067
 216 214:2:3068
 217 215:2:3076
 218 216:2:3081
 219 217:2:3085
 220 218:2:3086
 221 219:2:3094
 222 220:2:3095
 223 221:2:3099
 224 222:2:3100
 225 223:2:3094
 226 224:2:3095
 227 225:2:3099
 228 226:2:3100
 229 227:2:3108
 230 228:2:3113
 231 229:2:3120
 232 230:2:3121
 233 231:2:3128
 234 232:2:3133
 235 233:2:3140
 236 234:2:3141
 237 235:2:3140
 238 236:2:3141
 239 237:2:3148
 240 238:2:3157
 241 239:0:4182
 242 240:2:2527
 243 241:0:4182
 244 242:2:3161
 245 243:2:3162
 246 244:2:3163
 247 245:2:3175
 248 246:2:3176
 249 247:2:3180
 250 248:2:3181
 251 249:2:3189
 252 250:2:3194
 253 251:2:3198
 254 252:2:3199
 255 253:2:3207
 256 254:2:3208
 257 255:2:3212
 258 256:2:3213
 259 257:2:3207
 260 258:2:3208
 261 259:2:3212
 262 260:2:3213
 263 261:2:3221
 264 262:2:3226
 265 263:2:3233
 266 264:2:3234
 267 265:2:3241
 268 266:2:3246
 269 267:2:3253
 270 268:2:3254
 271 269:2:3253
 272 270:2:3254
 273 271:2:3261
 274 272:2:3273
 275 273:2:3274
 276 274:0:4182
 277 275:2:2527
 278 276:0:4182
 279 277:2:3283
 280 278:2:3284
 281 279:0:4182
 282 280:2:2527
 283 281:0:4182
 284 282:2:3288
 285 283:0:4182
 286 284:2:3296
 287 285:0:4182
 288 286:2:2522
 289 287:0:4182
 290 288:2:2524
 291 289:0:4182
 292 290:2:2525
 293 291:0:4182
 294 292:2:2526
 295 293:0:4182
 296 294:2:2527
 297 295:0:4182
 298 296:2:2528
 299 297:2:2529
 300 298:2:2533
 301 299:2:2534
 302 300:2:2542
 303 301:2:2543
 304 302:2:2547
 305 303:2:2548
 306 304:2:2556
 307 305:2:2561
 308 306:2:2565
 309 307:2:2566
 310 308:2:2574
 311 309:2:2575
 312 310:2:2576
 313 311:2:2574
 314 312:2:2575
 315 313:2:2579
 316 314:2:2580
 317 315:2:2588
 318 316:2:2593
 319 317:2:2600
 320 318:2:2601
 321 319:2:2608
 322 320:2:2613
 323 321:2:2620
 324 322:2:2621
 325 323:2:2620
 326 324:2:2621
 327 325:2:2628
 328 326:2:2638
 329 327:0:4182
 330 328:2:2527
 331 329:0:4182
 332 330:2:2642
 333 331:2:2646
 334 332:2:2647
 335 333:2:2651
 336 334:2:2655
 337 335:2:2656
 338 336:2:2660
 339 337:2:2668
 340 338:2:2669
 341 339:2:2673
 342 340:2:2674
 343 341:2:2673
 344 342:2:2677
 345 343:2:2678
 346 344:2:2682
 347 345:0:4182
 348 346:2:2527
 349 347:0:4182
 350 348:2:2690
 351 349:2:2691
 352 350:2:2692
 353 351:0:4182
 354 352:2:2527
 355 353:0:4182
 356 354:2:2700
 357 355:0:4182
 358 356:2:2527
 359 357:0:4182
 360 358:2:2703
 361 359:2:2704
 362 360:2:2708
 363 361:2:2709
 364 362:2:2717
 365 363:2:2718
 366 364:2:2722
 367 365:2:2723
 368 366:2:2731
 369 367:2:2736
 370 368:2:2737
 371 369:2:2749
 372 370:2:2750
 373 371:2:2754
 374 372:2:2755
 375 373:2:2749
 376 374:2:2750
 377 375:2:2754
 378 376:2:2755
 379 377:2:2763
 380 378:2:2768
 381 379:2:2775
 382 380:2:2776
 383 381:2:2783
 384 382:2:2788
 385 383:2:2795
 386 384:2:2796
 387 385:2:2795
 388 386:2:2796
 389 387:2:2803
 390 388:2:2812
 391 389:0:4182
 392 390:2:2527
 393 391:0:4182
 394 392:2:2816
 395 393:2:2817
 396 394:2:2818
 397 395:2:2830
 398 396:2:2831
 399 397:2:2835
 400 398:2:2836
 401 399:2:2844
 402 400:2:2849
 403 401:2:2853
 404 402:2:2854
 405 403:2:2862
 406 404:2:2863
 407 405:2:2867
 408 406:2:2868
 409 407:2:2862
 410 408:2:2863
 411 409:2:2867
 412 410:2:2868
 413 411:2:2876
 414 412:2:2881
 415 413:2:2888
 416 414:2:2889
 417 415:2:2896
 418 416:2:2901
 419 417:2:2908
 420 418:2:2909
 421 419:2:2908
 422 420:2:2909
 423 421:2:2916
 424 422:2:2929
 425 423:2:2930
 426 424:0:4182
 427 425:2:2527
 428 426:0:4182
 429 427:2:2937
 430 428:2:2938
 431 429:2:2942
 432 430:2:2943
 433 431:2:2951
 434 432:2:2952
 435 433:2:2956
 436 434:2:2957
 437 435:2:2965
 438 436:2:2970
 439 437:2:2974
 440 438:2:2975
 441 439:2:2983
 442 440:2:2984
 443 441:2:2988
 444 442:2:2989
 445 443:2:2983
 446 444:2:2984
 447 445:2:2988
 448 446:2:2989
 449 447:2:2997
 450 448:2:3002
 451 449:2:3009
 452 450:2:3010
 453 451:2:3017
 454 452:2:3022
 455 453:2:3029
 456 454:2:3030
 457 455:2:3029
 458 456:2:3030
 459 457:2:3037
 460 458:0:4182
 461 459:2:2527
 462 460:0:4182
 463 461:2:3048
 464 462:2:3049
 465 463:2:3053
 466 464:2:3054
 467 465:2:3062
 468 466:2:3063
 469 467:2:3067
 470 468:2:3068
 471 469:2:3076
 472 470:2:3081
 473 471:2:3085
 474 472:2:3086
 475 473:2:3094
 476 474:2:3095
 477 475:2:3099
 478 476:2:3100
 479 477:2:3094
 480 478:2:3095
 481 479:2:3099
 482 480:2:3100
 483 481:2:3108
 484 482:2:3113
 485 483:2:3120
 486 484:2:3121
 487 485:2:3128
 488 486:2:3133
 489 487:2:3140
 490 488:2:3141
 491 489:2:3140
 492 490:2:3141
 493 491:2:3148
 494 492:2:3157
 495 493:0:4182
 496 494:2:2527
 497 495:0:4182
 498 496:2:3161
 499 497:2:3162
 500 498:2:3163
 501 499:2:3175
 502 500:2:3176
 503 501:2:3180
 504 502:2:3181
 505 503:2:3189
 506 504:2:3194
 507 505:2:3198
 508 506:2:3199
 509 507:2:3207
 510 508:2:3208
 511 509:2:3212
 512 510:2:3213
 513 511:2:3207
 514 512:2:3208
 515 513:2:3212
 516 514:2:3213
 517 515:2:3221
 518 516:2:3226
 519 517:2:3233
 520 518:2:3234
 521 519:2:3241
 522 520:2:3246
 523 521:2:3253
 524 522:2:3254
 525 523:2:3253
 526 524:2:3254
 527 525:2:3261
 528 526:2:3273
 529 527:2:3274
 530 528:0:4182
 531 529:2:2527
 532 530:0:4182
 533 531:2:3283
 534 532:2:3284
 535 533:0:4182
 536 534:2:2527
 537 535:0:4182
 538 536:2:3288
 539 537:0:4182
 540 538:2:3296
 541 539:0:4182
 542 540:2:2522
 543 541:0:4182
 544 542:2:2524
 545 543:0:4182
 546 544:2:2525
 547 545:0:4182
 548 546:2:2526
 549 547:0:4182
 550 548:2:2527
 551 549:0:4182
 552 550:2:2528
 553 551:2:2529
 554 552:2:2533
 555 553:2:2534
 556 554:2:2542
 557 555:2:2543
 558 556:2:2547
 559 557:2:2548
 560 558:2:2556
 561 559:2:2561
 562 560:2:2565
 563 561:2:2566
 564 562:2:2574
 565 563:2:2575
 566 564:2:2579
 567 565:2:2580
 568 566:2:2574
 569 567:2:2575
 570 568:2:2576
 571 569:2:2588
 572 570:2:2593
 573 571:2:2600
 574 572:2:2601
 575 573:2:2608
 576 574:2:2613
 577 575:2:2620
 578 576:2:2621
 579 577:2:2620
 580 578:2:2621
 581 579:2:2628
 582 580:2:2638
 583 581:0:4182
 584 582:2:2527
 585 583:0:4182
 586 584:2:2642
 587 585:2:2646
 588 586:2:2647
 589 587:2:2651
 590 588:2:2655
 591 589:2:2656
 592 590:2:2660
 593 591:2:2668
 594 592:2:2669
 595 593:2:2673
 596 594:2:2677
 597 595:2:2678
 598 596:2:2673
 599 597:2:2674
 600 598:2:2682
 601 599:0:4182
 602 600:2:2527
 603 601:0:4182
 604 602:2:2690
 605 603:2:2691
 606 604:2:2692
 607 605:0:4182
 608 606:2:2527
 609 607:0:4182
 610 608:2:2700
 611 609:0:4182
 612 610:2:2527
 613 611:0:4182
 614 612:2:2703
 615 613:2:2704
 616 614:2:2708
 617 615:2:2709
 618 616:2:2717
 619 617:2:2718
 620 618:2:2722
 621 619:2:2723
 622 620:2:2731
 623 621:2:2744
 624 622:2:2745
 625 623:2:2749
 626 624:2:2750
 627 625:2:2754
 628 626:2:2755
 629 627:2:2749
 630 628:2:2750
 631 629:2:2754
 632 630:2:2755
 633 631:2:2763
 634 632:2:2768
 635 633:2:2775
 636 634:2:2776
 637 635:2:2783
 638 636:2:2790
 639 637:2:2791
 640 638:2:2795
 641 639:2:2796
 642 640:2:2795
 643 641:2:2796
 644 642:2:2803
 645 643:2:2812
 646 644:0:4182
 647 645:2:2527
 648 646:0:4182
 649 647:2:2816
 650 648:2:2817
 651 649:2:2818
 652 650:2:2830
 653 651:2:2831
 654 652:2:2835
 655 653:2:2836
 656 654:2:2844
 657 655:2:2857
 658 656:2:2858
 659 657:2:2862
 660 658:2:2863
 661 659:2:2867
 662 660:2:2868
 663 661:2:2862
 664 662:2:2863
 665 663:2:2867
 666 664:2:2868
 667 665:2:2876
 668 666:2:2881
 669 667:2:2888
 670 668:2:2889
 671 669:2:2896
 672 670:2:2903
 673 671:2:2904
 674 672:2:2908
 675 673:2:2909
 676 674:2:2908
 677 675:2:2909
 678 676:2:2916
 679 677:2:2929
 680 678:2:2930
 681 679:0:4182
 682 680:2:2527
 683 681:0:4182
 684 682:2:2937
 685 683:2:2938
 686 684:2:2942
 687 685:2:2943
 688 686:2:2951
 689 687:2:2952
 690 688:2:2956
 691 689:2:2957
 692 690:2:2965
 693 691:2:2978
 694 692:2:2979
 695 693:2:2983
 696 694:2:2984
 697 695:2:2988
 698 696:2:2989
 699 697:2:2983
 700 698:2:2984
 701 699:2:2988
 702 700:2:2989
 703 701:2:2997
 704 702:2:3002
 705 703:2:3009
 706 704:2:3010
 707 705:2:3017
 708 706:2:3024
 709 707:2:3025
 710 708:2:3029
 711 709:2:3030
 712 710:2:3029
 713 711:2:3030
 714 712:2:3037
 715 713:0:4182
 716 714:2:2527
 717 715:0:4182
 718 716:2:3161
 719 717:2:3162
 720 718:2:3166
 721 719:2:3167
 722 720:2:3175
 723 721:2:3176
 724 722:2:3180
 725 723:2:3181
 726 724:2:3189
 727 725:2:3202
 728 726:2:3203
 729 727:2:3207
 730 728:2:3208
 731 729:2:3212
 732 730:2:3213
 733 731:2:3207
 734 732:2:3208
 735 733:2:3212
 736 734:2:3213
 737 735:2:3221
 738 736:2:3226
 739 737:2:3233
 740 738:2:3234
 741 739:2:3241
 742 740:2:3248
 743 741:2:3249
 744 742:2:3253
 745 743:2:3254
 746 744:2:3253
 747 745:2:3254
 748 746:2:3261
 749 747:2:3273
 750 748:2:3274
 751 749:0:4182
 752 750:2:2527
 753 751:0:4182
 754 752:2:3283
 755 753:2:3284
 756 754:0:4182
 757 755:2:2527
 758 756:0:4182
 759 757:2:3048
 760 758:2:3049
 761 759:2:3053
 762 760:2:3054
 763 761:2:3062
 764 762:2:3063
 765 763:2:3067
 766 764:2:3068
 767 765:2:3076
 768 766:2:3089
 769 767:2:3090
 770 768:2:3094
 771 769:2:3095
 772 770:2:3096
 773 771:2:3094
 774 772:2:3095
 775 773:2:3099
 776 774:2:3100
 777 775:2:3108
 778 776:2:3113
 779 777:2:3120
 780 778:2:3121
 781 779:2:3128
 782 780:2:3135
 783 781:2:3136
 784 782:2:3140
 785 783:2:3141
 786 784:2:3140
 787 785:2:3141
 788 786:2:3148
 789 787:2:3157
 790 788:0:4182
 791 789:2:2527
 792 790:0:4182
 793 791:2:3288
 794 792:0:4182
 795 793:2:3296
 796 794:0:4182
 797 795:2:3297
 798 796:0:4182
 799 797:2:3302
 800 798:0:4182
 801 799:1:2
 802 800:0:4182
 803 801:2:3303
 804 802:0:4182
 805 803:1:8
 806 804:0:4182
 807 805:2:3302
 808 806:0:4182
 809 807:1:9
 810 808:0:4182
 811 809:2:3303
 812 810:0:4182
 813 811:1:10
 814 812:0:4182
 815 813:2:3302
 816 814:0:4182
 817 815:1:11
 818 816:0:4182
 819 817:2:3303
 820 818:0:4182
 821 819:1:12
 822 820:0:4182
 823 821:2:3302
 824 822:0:4182
 825 823:1:13
 826 824:0:4182
 827 825:2:3303
 828 826:0:4182
 829 827:1:14
 830 828:0:4182
 831 829:2:3302
 832 830:0:4182
 833 831:1:15
 834 832:0:4182
 835 833:2:3303
 836 834:0:4182
 837 835:1:16
 838 836:0:4182
 839 837:2:3302
 840 838:0:4182
 841 839:1:17
 842 840:0:4182
 843 841:2:3303
 844 842:0:4182
 845 843:1:18
 846 844:0:4182
 847 845:2:3302
 848 846:0:4182
 849 847:1:19
 850 848:0:4182
 851 849:2:3303
 852 850:0:4182
 853 851:1:20
 854 852:0:4182
 855 853:2:3302
 856 854:0:4182
 857 855:1:21
 858 856:0:4182
 859 857:2:3303
 860 858:0:4182
 861 859:1:122
 862 860:0:4182
 863 861:2:3302
 864 862:0:4182
 865 863:1:124
 866 864:0:4182
 867 865:2:3303
 868 866:0:4182
 869 867:1:23
 870 868:0:4182
 871 869:2:3302
 872 870:0:4182
 873 871:1:130
 874 872:1:131
 875 873:1:135
 876 874:1:136
 877 875:1:144
 878 876:1:145
 879 877:1:149
 880 878:1:150
 881 879:1:158
 882 880:1:163
 883 881:1:167
 884 882:1:168
 885 883:1:176
 886 884:1:177
 887 885:1:181
 888 886:1:182
 889 887:1:176
 890 888:1:177
 891 889:1:181
 892 890:1:182
 893 891:1:190
 894 892:1:195
 895 893:1:202
 896 894:1:203
 897 895:1:210
 898 896:1:215
 899 897:1:222
 900 898:1:223
 901 899:1:222
 902 900:1:223
 903 901:1:230
 904 902:0:4182
 905 903:2:3303
 906 904:0:4182
 907 905:1:19
 908 906:0:4182
 909 907:2:3302
 910 908:0:4182
 911 909:1:20
 912 910:0:4182
 913 911:2:3303
 914 912:0:4182
 915 913:1:21
 916 914:0:4182
 917 915:2:3302
 918 916:0:4182
 919 917:1:122
 920 918:0:4182
 921 919:2:3303
 922 920:0:4182
 923 921:1:124
 924 922:0:4182
 925 923:2:3302
 926 924:0:4182
 927 925:1:23
 928 926:0:4182
 929 927:2:3303
 930 928:0:4182
 931 929:1:241
 932 930:1:242
 933 931:0:4182
 934 932:2:3302
 935 933:0:4182
 936 934:1:19
 937 935:0:4182
 938 936:2:3303
 939 937:0:4182
 940 938:1:20
 941 939:0:4182
 942 940:2:3302
 943 941:0:4182
 944 942:1:21
 945 943:0:4182
 946 944:2:3303
 947 945:0:4182
 948 946:1:122
 949 947:0:4182
 950 948:2:3302
 951 949:0:4182
 952 950:1:124
 953 951:0:4182
 954 952:2:3303
 955 953:0:4182
 956 954:1:23
 957 955:0:4182
 958 956:2:3302
 959 957:0:4182
 960 958:1:248
 961 959:1:249
 962 960:1:253
 963 961:1:254
 964 962:1:262
 965 963:1:263
 966 964:1:267
 967 965:1:268
 968 966:1:276
 969 967:1:281
 970 968:1:285
 971 969:1:286
 972 970:1:294
 973 971:1:295
 974 972:1:299
 975 973:1:300
 976 974:1:294
 977 975:1:295
 978 976:1:299
 979 977:1:300
 980 978:1:308
 981 979:1:313
 982 980:1:320
 983 981:1:321
 984 982:1:328
 985 983:1:333
 986 984:1:340
 987 985:1:341
 988 986:1:340
 989 987:1:341
 990 988:1:348
 991 989:0:4182
 992 990:2:3303
 993 991:0:4182
 994 992:1:19
 995 993:0:4182
 996 994:2:3302
 997 995:0:4182
 998 996:1:20
 999 997:0:4182
1000 998:2:3303
1001 999:0:4182
1002 1000:1:21
1003 1001:0:4182
1004 1002:2:3302
1005 1003:0:4182
1006 1004:1:122
1007 1005:0:4182
1008 1006:2:3303
1009 1007:0:4182
1010 1008:1:124
1011 1009:0:4182
1012 1010:2:3302
1013 1011:0:4182
1014 1012:1:23
1015 1013:0:4182
1016 1014:2:3303
1017 1015:0:4182
1018 1016:1:359
1019 1017:1:360
1020 1018:1:364
1021 1019:1:365
1022 1020:1:373
1023 1021:1:374
1024 1022:1:378
1025 1023:1:379
1026 1024:1:387
1027 1025:1:392
1028 1026:1:396
1029 1027:1:397
1030 1028:1:405
1031 1029:1:406
1032 1030:1:410
1033 1031:1:411
1034 1032:1:405
1035 1033:1:406
1036 1034:1:410
1037 1035:1:411
1038 1036:1:419
1039 1037:1:424
1040 1038:1:431
1041 1039:1:432
1042 1040:1:439
1043 1041:1:444
1044 1042:1:451
1045 1043:1:452
1046 1044:1:451
1047 1045:1:452
1048 1046:1:459
1049 1047:1:468
1050 1048:0:4182
1051 1049:2:3302
1052 1050:0:4182
1053 1051:1:19
1054 1052:0:4182
1055 1053:2:3303
1056 1054:0:4182
1057 1055:1:20
1058 1056:0:4182
1059 1057:2:3302
1060 1058:0:4182
1061 1059:1:21
1062 1060:0:4182
1063 1061:2:3303
1064 1062:0:4182
1065 1063:1:122
1066 1064:0:4182
1067 1065:2:3302
1068 1066:0:4182
1069 1067:1:124
1070 1068:0:4182
1071 1069:2:3303
1072 1070:0:4182
1073 1071:1:23
1074 1072:0:4182
1075 1073:2:3302
1076 1074:0:4182
1077 1075:1:588
1078 1076:1:589
1079 1077:1:593
1080 1078:1:594
1081 1079:1:602
1082 1080:1:603
1083 1081:1:604
1084 1082:1:616
1085 1083:1:621
1086 1084:1:625
1087 1085:1:626
1088 1086:1:634
1089 1087:1:635
1090 1088:1:639
1091 1089:1:640
1092 1090:1:634
1093 1091:1:635
1094 1092:1:639
1095 1093:1:640
1096 1094:1:648
1097 1095:1:653
1098 1096:1:660
1099 1097:1:661
1100 1098:1:668
1101 1099:1:673
1102 1100:1:680
1103 1101:1:681
1104 1102:1:680
1105 1103:1:681
1106 1104:1:688
1107 1105:0:4182
1108 1106:2:3303
1109 1107:0:4182
1110 1108:1:19
1111 1109:0:4182
1112 1110:2:3302
1113 1111:0:4182
1114 1112:1:20
1115 1113:0:4182
1116 1114:2:3303
1117 1115:0:4182
1118 1116:1:21
1119 1117:0:4182
1120 1118:2:3302
1121 1119:0:4182
1122 1120:1:122
1123 1121:0:4182
1124 1122:2:3303
1125 1123:0:4182
1126 1124:1:124
1127 1125:0:4182
1128 1126:2:3302
1129 1127:0:4182
1130 1128:1:23
1131 1129:0:4182
1132 1130:2:3303
1133 1131:0:4182
1134 1132:1:699
1135 1133:1:702
1136 1134:1:703
1137 1135:0:4182
1138 1136:2:3302
1139 1137:0:4182
1140 1138:1:19
1141 1139:0:4182
1142 1140:2:3303
1143 1141:0:4182
1144 1142:1:20
1145 1143:0:4182
1146 1144:2:3302
1147 1145:0:4182
1148 1146:1:21
1149 1147:0:4182
1150 1148:2:3303
1151 1149:0:4182
1152 1150:1:122
1153 1151:0:4182
1154 1152:2:3302
1155 1153:0:4182
1156 1154:1:124
1157 1155:0:4182
1158 1156:2:3303
1159 1157:0:4182
1160 1158:1:23
1161 1159:0:4182
1162 1160:2:3302
1163 1161:0:4182
1164 1162:1:706
1165 1163:1:707
1166 1164:1:711
1167 1165:1:712
1168 1166:1:720
1169 1167:1:721
1170 1168:1:725
1171 1169:1:726
1172 1170:1:734
1173 1171:1:739
1174 1172:1:743
1175 1173:1:744
1176 1174:1:752
1177 1175:1:753
1178 1176:1:757
1179 1177:1:758
1180 1178:1:752
1181 1179:1:753
1182 1180:1:757
1183 1181:1:758
1184 1182:1:766
1185 1183:1:771
1186 1184:1:778
1187 1185:1:779
1188 1186:1:786
1189 1187:1:791
1190 1188:1:798
1191 1189:1:799
1192 1190:1:798
1193 1191:1:799
1194 1192:1:806
1195 1193:0:4182
1196 1194:2:3303
1197 1195:0:4182
1198 1196:1:19
1199 1197:0:4182
1200 1198:2:3302
1201 1199:0:4182
1202 1200:1:20
1203 1201:0:4182
1204 1202:2:3303
1205 1203:0:4182
1206 1204:1:21
1207 1205:0:4182
1208 1206:2:3302
1209 1207:0:4182
1210 1208:1:122
1211 1209:0:4182
1212 1210:2:3303
1213 1211:0:4182
1214 1212:1:124
1215 1213:0:4182
1216 1214:2:3302
1217 1215:0:4182
1218 1216:1:23
1219 1217:0:4182
1220 1218:2:3303
1221 1219:0:4182
1222 1220:1:930
1223 1221:1:931
1224 1222:1:935
1225 1223:1:936
1226 1224:1:944
1227 1225:1:945
1228 1226:1:949
1229 1227:1:950
1230 1228:1:958
1231 1229:1:963
1232 1230:1:967
1233 1231:1:968
1234 1232:1:976
1235 1233:1:977
1236 1234:1:981
1237 1235:1:982
1238 1236:1:976
1239 1237:1:977
1240 1238:1:981
1241 1239:1:982
1242 1240:1:990
1243 1241:1:995
1244 1242:1:1002
1245 1243:1:1003
1246 1244:1:1010
1247 1245:1:1015
1248 1246:1:1022
1249 1247:1:1023
1250 1248:1:1022
1251 1249:1:1023
1252 1250:1:1030
1253 1251:1:1039
1254 1252:1:1043
1255 1253:0:4182
1256 1254:2:3302
1257 1255:0:4182
1258 1256:1:19
1259 1257:0:4182
1260 1258:2:3303
1261 1259:0:4182
1262 1260:1:20
1263 1261:0:4182
1264 1262:2:3302
1265 1263:0:4182
1266 1264:1:21
1267 1265:0:4182
1268 1266:2:3303
1269 1267:0:4182
1270 1268:1:122
1271 1269:0:4182
1272 1270:2:3302
1273 1271:0:4182
1274 1272:1:124
1275 1273:0:4182
1276 1274:2:3303
1277 1275:0:4182
1278 1276:1:23
1279 1277:0:4182
1280 1278:2:3302
1281 1279:0:4182
1282 1280:1:1044
1283 1281:1:1045
1284 1282:1:1049
1285 1283:1:1050
1286 1284:1:1058
1287 1285:1:1059
1288 1286:1:1060
1289 1287:1:1072
1290 1288:1:1077
1291 1289:1:1081
1292 1290:1:1082
1293 1291:1:1090
1294 1292:1:1091
1295 1293:1:1095
1296 1294:1:1096
1297 1295:1:1090
1298 1296:1:1091
1299 1297:1:1095
1300 1298:1:1096
1301 1299:1:1104
1302 1300:1:1109
1303 1301:1:1116
1304 1302:1:1117
1305 1303:1:1124
1306 1304:1:1129
1307 1305:1:1136
1308 1306:1:1137
1309 1307:1:1136
1310 1308:1:1137
1311 1309:1:1144
1312 1310:0:4182
1313 1311:2:3303
1314 1312:0:4182
1315 1313:1:19
1316 1314:0:4182
1317 1315:2:3302
1318 1316:0:4182
1319 1317:1:20
1320 1318:0:4182
1321 1319:2:3303
1322 1320:0:4182
1323 1321:1:21
1324 1322:0:4182
1325 1323:2:3302
1326 1324:0:4182
1327 1325:1:122
1328 1326:0:4182
1329 1327:2:3303
1330 1328:0:4182
1331 1329:1:124
1332 1330:0:4182
1333 1331:2:3302
1334 1332:0:4182
1335 1333:1:23
1336 1334:0:4182
1337 1335:2:3303
1338 1336:0:4182
1339 1337:1:1155
1340 1338:0:4182
1341 1339:2:3302
1342 1340:0:4182
1343 1341:1:2421
1344 1342:1:2428
1345 1343:1:2429
1346 1344:1:2436
1347 1345:1:2441
1348 1346:1:2448
1349 1347:1:2449
1350 1348:1:2448
1351 1349:1:2449
1352 1350:1:2456
1353 1351:1:2460
1354 1352:0:4182
1355 1353:2:3303
1356 1354:0:4182
1357 1355:1:1157
1358 1356:1:1158
1359 1357:0:4180
1360 1358:2:3302
1361 1359:0:4186
1362 1360:1:2169