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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4181
   4 2:3:4101
   5 3:3:4104
   6 4:3:4104
   7 5:3:4107
   8 6:3:4115
   9 7:3:4115
  10 8:3:4118
  11 9:3:4124
  12 10:3:4128
  13 11:3:4128
  14 12:3:4131
  15 13:3:4141
  16 14:3:4149
  17 15:3:4149
  18 16:3:4152
  19 17:3:4158
  20 18:3:4162
  21 19:3:4162
  22 20:3:4165
  23 21:3:4171
  24 22:3:4175
  25 23:3:4176
  26 24:0:4181
  27 25:3:4178
  28 26:0:4181
  29 27:2:2515
  30 28:0:4181
  31 29:2:2521
  32 30:0:4181
  33 31:2:2522
  34 32:0:4181
  35 33:2:2524
  36 34:0:4181
  37 35:2:2525
  38 36:0:4181
  39 37:2:2526
  40 38:0:4181
  41 39:2:2527
  42 40:0:4181
  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:4181
  76 74:2:2527
  77 75:0:4181
  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:4181
  94 92:2:2527
  95 93:0:4181
  96 94:2:2690
  97 95:2:2691
  98 96:2:2692
  99 97:0:4181
 100 98:2:2527
 101 99:0:4181
 102 100:2:2700
 103 101:0:4181
 104 102:2:2527
 105 103:0:4181
 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:4181
 138 136:2:2527
 139 137:0:4181
 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:4181
 173 171:2:2527
 174 172:0:4181
 175 173:2:2936
 176 174:2:2937
 177 175:2:2941
 178 176:2:2942
 179 177:2:2950
 180 178:2:2951
 181 179:2:2955
 182 180:2:2956
 183 181:2:2964
 184 182:2:2969
 185 183:2:2973
 186 184:2:2974
 187 185:2:2982
 188 186:2:2983
 189 187:2:2987
 190 188:2:2988
 191 189:2:2982
 192 190:2:2983
 193 191:2:2987
 194 192:2:2988
 195 193:2:2996
 196 194:2:3001
 197 195:2:3008
 198 196:2:3009
 199 197:2:3016
 200 198:2:3021
 201 199:2:3028
 202 200:2:3029
 203 201:2:3028
 204 202:2:3029
 205 203:2:3036
 206 204:0:4181
 207 205:2:2527
 208 206:0:4181
 209 207:2:3047
 210 208:2:3048
 211 209:2:3052
 212 210:2:3053
 213 211:2:3061
 214 212:2:3062
 215 213:2:3066
 216 214:2:3067
 217 215:2:3075
 218 216:2:3080
 219 217:2:3084
 220 218:2:3085
 221 219:2:3093
 222 220:2:3094
 223 221:2:3098
 224 222:2:3099
 225 223:2:3093
 226 224:2:3094
 227 225:2:3098
 228 226:2:3099
 229 227:2:3107
 230 228:2:3112
 231 229:2:3119
 232 230:2:3120
 233 231:2:3127
 234 232:2:3132
 235 233:2:3139
 236 234:2:3140
 237 235:2:3139
 238 236:2:3140
 239 237:2:3147
 240 238:2:3156
 241 239:0:4181
 242 240:2:2527
 243 241:0:4181
 244 242:2:3160
 245 243:2:3161
 246 244:2:3162
 247 245:2:3174
 248 246:2:3175
 249 247:2:3179
 250 248:2:3180
 251 249:2:3188
 252 250:2:3193
 253 251:2:3197
 254 252:2:3198
 255 253:2:3206
 256 254:2:3207
 257 255:2:3211
 258 256:2:3212
 259 257:2:3206
 260 258:2:3207
 261 259:2:3211
 262 260:2:3212
 263 261:2:3220
 264 262:2:3225
 265 263:2:3232
 266 264:2:3233
 267 265:2:3240
 268 266:2:3245
 269 267:2:3252
 270 268:2:3253
 271 269:2:3252
 272 270:2:3253
 273 271:2:3260
 274 272:2:3272
 275 273:2:3273
 276 274:0:4181
 277 275:2:2527
 278 276:0:4181
 279 277:2:3282
 280 278:2:3283
 281 279:0:4181
 282 280:2:2527
 283 281:0:4181
 284 282:2:3287
 285 283:0:4181
 286 284:2:3295
 287 285:0:4181
 288 286:2:2522
 289 287:0:4181
 290 288:2:2524
 291 289:0:4181
 292 290:2:2525
 293 291:0:4181
 294 292:2:2526
 295 293:0:4181
 296 294:2:2527
 297 295:0:4181
 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:4181
 330 328:2:2527
 331 329:0:4181
 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:4181
 348 346:2:2527
 349 347:0:4181
 350 348:2:2690
 351 349:2:2691
 352 350:2:2692
 353 351:0:4181
 354 352:2:2527
 355 353:0:4181
 356 354:2:2700
 357 355:0:4181
 358 356:2:2527
 359 357:0:4181
 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:4181
 392 390:2:2527
 393 391:0:4181
 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:4181
 427 425:2:2527
 428 426:0:4181
 429 427:2:2936
 430 428:2:2937
 431 429:2:2941
 432 430:2:2942
 433 431:2:2950
 434 432:2:2951
 435 433:2:2955
 436 434:2:2956
 437 435:2:2964
 438 436:2:2969
 439 437:2:2973
 440 438:2:2974
 441 439:2:2982
 442 440:2:2983
 443 441:2:2987
 444 442:2:2988
 445 443:2:2982
 446 444:2:2983
 447 445:2:2987
 448 446:2:2988
 449 447:2:2996
 450 448:2:3001
 451 449:2:3008
 452 450:2:3009
 453 451:2:3016
 454 452:2:3021
 455 453:2:3028
 456 454:2:3029
 457 455:2:3028
 458 456:2:3029
 459 457:2:3036
 460 458:0:4181
 461 459:2:2527
 462 460:0:4181
 463 461:2:3047
 464 462:2:3048
 465 463:2:3052
 466 464:2:3053
 467 465:2:3061
 468 466:2:3062
 469 467:2:3066
 470 468:2:3067
 471 469:2:3075
 472 470:2:3080
 473 471:2:3084
 474 472:2:3085
 475 473:2:3093
 476 474:2:3094
 477 475:2:3098
 478 476:2:3099
 479 477:2:3093
 480 478:2:3094
 481 479:2:3098
 482 480:2:3099
 483 481:2:3107
 484 482:2:3112
 485 483:2:3119
 486 484:2:3120
 487 485:2:3127
 488 486:2:3132
 489 487:2:3139
 490 488:2:3140
 491 489:2:3139
 492 490:2:3140
 493 491:2:3147
 494 492:2:3156
 495 493:0:4181
 496 494:2:2527
 497 495:0:4181
 498 496:2:3160
 499 497:2:3161
 500 498:2:3162
 501 499:2:3174
 502 500:2:3175
 503 501:2:3179
 504 502:2:3180
 505 503:2:3188
 506 504:2:3193
 507 505:2:3197
 508 506:2:3198
 509 507:2:3206
 510 508:2:3207
 511 509:2:3211
 512 510:2:3212
 513 511:2:3206
 514 512:2:3207
 515 513:2:3211
 516 514:2:3212
 517 515:2:3220
 518 516:2:3225
 519 517:2:3232
 520 518:2:3233
 521 519:2:3240
 522 520:2:3245
 523 521:2:3252
 524 522:2:3253
 525 523:2:3252
 526 524:2:3253
 527 525:2:3260
 528 526:2:3272
 529 527:2:3273
 530 528:0:4181
 531 529:2:2527
 532 530:0:4181
 533 531:2:3282
 534 532:2:3283
 535 533:0:4181
 536 534:2:2527
 537 535:0:4181
 538 536:2:3287
 539 537:0:4181
 540 538:2:3295
 541 539:0:4181
 542 540:2:2522
 543 541:0:4181
 544 542:2:2524
 545 543:0:4181
 546 544:2:2525
 547 545:0:4181
 548 546:2:2526
 549 547:0:4181
 550 548:2:2527
 551 549:0:4181
 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:4181
 584 582:2:2527
 585 583:0:4181
 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:4181
 602 600:2:2527
 603 601:0:4181
 604 602:2:2690
 605 603:2:2691
 606 604:2:2692
 607 605:0:4181
 608 606:2:2527
 609 607:0:4181
 610 608:2:2700
 611 609:0:4181
 612 610:2:2527
 613 611:0:4181
 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:4181
 647 645:2:2527
 648 646:0:4181
 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:4181
 682 680:2:2527
 683 681:0:4181
 684 682:2:2936
 685 683:2:2937
 686 684:2:2941
 687 685:2:2942
 688 686:2:2950
 689 687:2:2951
 690 688:2:2955
 691 689:2:2956
 692 690:2:2964
 693 691:2:2977
 694 692:2:2978
 695 693:2:2982
 696 694:2:2983
 697 695:2:2987
 698 696:2:2988
 699 697:2:2982
 700 698:2:2983
 701 699:2:2987
 702 700:2:2988
 703 701:2:2996
 704 702:2:3001
 705 703:2:3008
 706 704:2:3009
 707 705:2:3016
 708 706:2:3023
 709 707:2:3024
 710 708:2:3028
 711 709:2:3029
 712 710:2:3028
 713 711:2:3029
 714 712:2:3036
 715 713:0:4181
 716 714:2:2527
 717 715:0:4181
 718 716:2:3160
 719 717:2:3161
 720 718:2:3165
 721 719:2:3166
 722 720:2:3174
 723 721:2:3175
 724 722:2:3179
 725 723:2:3180
 726 724:2:3188
 727 725:2:3201
 728 726:2:3202
 729 727:2:3206
 730 728:2:3207
 731 729:2:3211
 732 730:2:3212
 733 731:2:3206
 734 732:2:3207
 735 733:2:3211
 736 734:2:3212
 737 735:2:3220
 738 736:2:3225
 739 737:2:3232
 740 738:2:3233
 741 739:2:3240
 742 740:2:3247
 743 741:2:3248
 744 742:2:3252
 745 743:2:3253
 746 744:2:3252
 747 745:2:3253
 748 746:2:3260
 749 747:2:3272
 750 748:2:3273
 751 749:0:4181
 752 750:2:2527
 753 751:0:4181
 754 752:2:3282
 755 753:2:3283
 756 754:0:4181
 757 755:2:2527
 758 756:0:4181
 759 757:2:3047
 760 758:2:3048
 761 759:2:3052
 762 760:2:3053
 763 761:2:3061
 764 762:2:3062
 765 763:2:3066
 766 764:2:3067
 767 765:2:3075
 768 766:2:3088
 769 767:2:3089
 770 768:2:3093
 771 769:2:3094
 772 770:2:3095
 773 771:2:3093
 774 772:2:3094
 775 773:2:3098
 776 774:2:3099
 777 775:2:3107
 778 776:2:3112
 779 777:2:3119
 780 778:2:3120
 781 779:2:3127
 782 780:2:3134
 783 781:2:3135
 784 782:2:3139
 785 783:2:3140
 786 784:2:3139
 787 785:2:3140
 788 786:2:3147
 789 787:2:3156
 790 788:0:4181
 791 789:2:2527
 792 790:0:4181
 793 791:2:3287
 794 792:0:4181
 795 793:2:3295
 796 794:0:4181
 797 795:2:3296
 798 796:0:4181
 799 797:2:3301
 800 798:0:4181
 801 799:1:2
 802 800:0:4181
 803 801:2:3302
 804 802:0:4181
 805 803:1:8
 806 804:0:4181
 807 805:2:3301
 808 806:0:4181
 809 807:1:9
 810 808:0:4181
 811 809:2:3302
 812 810:0:4181
 813 811:1:10
 814 812:0:4181
 815 813:2:3301
 816 814:0:4181
 817 815:1:11
 818 816:0:4181
 819 817:2:3302
 820 818:0:4181
 821 819:1:12
 822 820:0:4181
 823 821:2:3301
 824 822:0:4181
 825 823:1:13
 826 824:0:4181
 827 825:2:3302
 828 826:0:4181
 829 827:1:14
 830 828:0:4181
 831 829:2:3301
 832 830:0:4181
 833 831:1:15
 834 832:0:4181
 835 833:2:3302
 836 834:0:4181
 837 835:1:16
 838 836:0:4181
 839 837:2:3301
 840 838:0:4181
 841 839:1:17
 842 840:0:4181
 843 841:2:3302
 844 842:0:4181
 845 843:1:18
 846 844:0:4181
 847 845:2:3301
 848 846:0:4181
 849 847:1:19
 850 848:0:4181
 851 849:2:3302
 852 850:0:4181
 853 851:1:20
 854 852:0:4181
 855 853:2:3301
 856 854:0:4181
 857 855:1:21
 858 856:0:4181
 859 857:2:3302
 860 858:0:4181
 861 859:1:122
 862 860:0:4181
 863 861:2:3301
 864 862:0:4181
 865 863:1:124
 866 864:0:4181
 867 865:2:3302
 868 866:0:4181
 869 867:1:23
 870 868:0:4181
 871 869:2:3301
 872 870:0:4181
 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:4181
 905 903:2:3302
 906 904:0:4181
 907 905:1:19
 908 906:0:4181
 909 907:2:3301
 910 908:0:4181
 911 909:1:20
 912 910:0:4181
 913 911:2:3302
 914 912:0:4181
 915 913:1:21
 916 914:0:4181
 917 915:2:3301
 918 916:0:4181
 919 917:1:122
 920 918:0:4181
 921 919:2:3302
 922 920:0:4181
 923 921:1:124
 924 922:0:4181
 925 923:2:3301
 926 924:0:4181
 927 925:1:23
 928 926:0:4181
 929 927:2:3302
 930 928:0:4181
 931 929:1:241
 932 930:1:242
 933 931:0:4181
 934 932:2:3301
 935 933:0:4181
 936 934:1:19
 937 935:0:4181
 938 936:2:3302
 939 937:0:4181
 940 938:1:20
 941 939:0:4181
 942 940:2:3301
 943 941:0:4181
 944 942:1:21
 945 943:0:4181
 946 944:2:3302
 947 945:0:4181
 948 946:1:122
 949 947:0:4181
 950 948:2:3301
 951 949:0:4181
 952 950:1:124
 953 951:0:4181
 954 952:2:3302
 955 953:0:4181
 956 954:1:23
 957 955:0:4181
 958 956:2:3301
 959 957:0:4181
 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:4181
 992 990:2:3302
 993 991:0:4181
 994 992:1:19
 995 993:0:4181
 996 994:2:3301
 997 995:0:4181
 998 996:1:20
 999 997:0:4181
1000 998:2:3302
1001 999:0:4181
1002 1000:1:21
1003 1001:0:4181
1004 1002:2:3301
1005 1003:0:4181
1006 1004:1:122
1007 1005:0:4181
1008 1006:2:3302
1009 1007:0:4181
1010 1008:1:124
1011 1009:0:4181
1012 1010:2:3301
1013 1011:0:4181
1014 1012:1:23
1015 1013:0:4181
1016 1014:2:3302
1017 1015:0:4181
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:4181
1051 1049:2:3301
1052 1050:0:4181
1053 1051:1:19
1054 1052:0:4181
1055 1053:2:3302
1056 1054:0:4181
1057 1055:1:20
1058 1056:0:4181
1059 1057:2:3301
1060 1058:0:4181
1061 1059:1:21
1062 1060:0:4181
1063 1061:2:3302
1064 1062:0:4181
1065 1063:1:122
1066 1064:0:4181
1067 1065:2:3301
1068 1066:0:4181
1069 1067:1:124
1070 1068:0:4181
1071 1069:2:3302
1072 1070:0:4181
1073 1071:1:23
1074 1072:0:4181
1075 1073:2:3301
1076 1074:0:4181
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:4181
1108 1106:2:3302
1109 1107:0:4181
1110 1108:1:19
1111 1109:0:4181
1112 1110:2:3301
1113 1111:0:4181
1114 1112:1:20
1115 1113:0:4181
1116 1114:2:3302
1117 1115:0:4181
1118 1116:1:21
1119 1117:0:4181
1120 1118:2:3301
1121 1119:0:4181
1122 1120:1:122
1123 1121:0:4181
1124 1122:2:3302
1125 1123:0:4181
1126 1124:1:124
1127 1125:0:4181
1128 1126:2:3301
1129 1127:0:4181
1130 1128:1:23
1131 1129:0:4181
1132 1130:2:3302
1133 1131:0:4181
1134 1132:1:699
1135 1133:1:702
1136 1134:1:703
1137 1135:0:4181
1138 1136:2:3301
1139 1137:0:4181
1140 1138:1:19
1141 1139:0:4181
1142 1140:2:3302
1143 1141:0:4181
1144 1142:1:20
1145 1143:0:4181
1146 1144:2:3301
1147 1145:0:4181
1148 1146:1:21
1149 1147:0:4181
1150 1148:2:3302
1151 1149:0:4181
1152 1150:1:122
1153 1151:0:4181
1154 1152:2:3301
1155 1153:0:4181
1156 1154:1:124
1157 1155:0:4181
1158 1156:2:3302
1159 1157:0:4181
1160 1158:1:23
1161 1159:0:4181
1162 1160:2:3301
1163 1161:0:4181
1164 1162:1:930
1165 1163:1:931
1166 1164:1:935
1167 1165:1:936
1168 1166:1:944
1169 1167:1:945
1170 1168:1:949
1171 1169:1:950
1172 1170:1:958
1173 1171:1:963
1174 1172:1:967
1175 1173:1:968
1176 1174:1:976
1177 1175:1:977
1178 1176:1:981
1179 1177:1:982
1180 1178:1:976
1181 1179:1:977
1182 1180:1:981
1183 1181:1:982
1184 1182:1:990
1185 1183:1:995
1186 1184:1:1002
1187 1185:1:1003
1188 1186:1:1010
1189 1187:1:1015
1190 1188:1:1022
1191 1189:1:1023
1192 1190:1:1022
1193 1191:1:1023
1194 1192:1:1030
1195 1193:1:1039
1196 1194:1:1043
1197 1195:0:4181
1198 1196:2:3302
1199 1197:0:4181
1200 1198:1:19
1201 1199:0:4181
1202 1200:2:3301
1203 1201:0:4181
1204 1202:1:20
1205 1203:0:4181
1206 1204:2:3302
1207 1205:0:4181
1208 1206:1:21
1209 1207:0:4181
1210 1208:2:3301
1211 1209:0:4181
1212 1210:1:122
1213 1211:0:4181
1214 1212:2:3302
1215 1213:0:4181
1216 1214:1:124
1217 1215:0:4181
1218 1216:2:3301
1219 1217:0:4181
1220 1218:1:23
1221 1219:0:4181
1222 1220:2:3302
1223 1221:0:4181
1224 1222:1:1044
1225 1223:1:1045
1226 1224:1:1049
1227 1225:1:1050
1228 1226:1:1058
1229 1227:1:1059
1230 1228:1:1060
1231 1229:1:1072
1232 1230:1:1077
1233 1231:1:1081
1234 1232:1:1082
1235 1233:1:1090
1236 1234:1:1091
1237 1235:1:1095
1238 1236:1:1096
1239 1237:1:1090
1240 1238:1:1091
1241 1239:1:1095
1242 1240:1:1096
1243 1241:1:1104
1244 1242:1:1109
1245 1243:1:1116
1246 1244:1:1117
1247 1245:1:1124
1248 1246:1:1129
1249 1247:1:1136
1250 1248:1:1137
1251 1249:1:1136
1252 1250:1:1137
1253 1251:1:1144
1254 1252:0:4181
1255 1253:2:3301
1256 1254:0:4181
1257 1255:1:19
1258 1256:0:4181
1259 1257:2:3302
1260 1258:0:4181
1261 1259:1:20
1262 1260:0:4181
1263 1261:2:3301
1264 1262:0:4181
1265 1263:1:21
1266 1264:0:4181
1267 1265:2:3302
1268 1266:0:4181
1269 1267:1:122
1270 1268:0:4181
1271 1269:2:3301
1272 1270:0:4181
1273 1271:1:124
1274 1272:0:4181
1275 1273:2:3302
1276 1274:0:4181
1277 1275:1:23
1278 1276:0:4181
1279 1277:2:3301
1280 1278:0:4181
1281 1279:1:1155
1282 1280:0:4181
1283 1281:2:3302
1284 1282:0:4181
1285 1283:1:2421
1286 1284:1:2428
1287 1285:1:2429
1288 1286:1:2436
1289 1287:1:2441
1290 1288:1:2448
1291 1289:1:2449
1292 1290:1:2448
1293 1291:1:2449
1294 1292:1:2456
1295 1293:1:2460
1296 1294:0:4181
1297 1295:2:3301
1298 1296:0:4181
1299 1297:1:1157
1300 1298:1:1158
1301 1299:0:4179
1302 1300:2:3302
1303 1301:0:4185
1304 1302:1:2110