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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4000
   4 2:3:3920
   5 3:3:3923
   6 4:3:3923
   7 5:3:3926
   8 6:3:3934
   9 7:3:3934
  10 8:3:3937
  11 9:3:3943
  12 10:3:3947
  13 11:3:3947
  14 12:3:3950
  15 13:3:3960
  16 14:3:3968
  17 15:3:3968
  18 16:3:3971
  19 17:3:3977
  20 18:3:3981
  21 19:3:3981
  22 20:3:3984
  23 21:3:3990
  24 22:3:3994
  25 23:3:3995
  26 24:0:4000
  27 25:3:3997
  28 26:0:4000
  29 27:2:2761
  30 28:0:4000
  31 29:2:2767
  32 30:0:4000
  33 31:2:2768
  34 32:0:4000
  35 33:2:2770
  36 34:0:4000
  37 35:2:2771
  38 36:0:4000
  39 37:2:2772
  40 38:0:4000
  41 39:2:2773
  42 40:0:4000
  43 41:2:2774
  44 42:2:2775
  45 43:2:2779
  46 44:2:2780
  47 45:2:2788
  48 46:2:2789
  49 47:2:2793
  50 48:2:2794
  51 49:2:2802
  52 50:2:2807
  53 51:2:2811
  54 52:2:2812
  55 53:2:2820
  56 54:2:2821
  57 55:2:2825
  58 56:2:2826
  59 57:2:2820
  60 58:2:2821
  61 59:2:2825
  62 60:2:2826
  63 61:2:2834
  64 62:2:2839
  65 63:2:2846
  66 64:2:2847
  67 65:2:2854
  68 66:2:2859
  69 67:2:2866
  70 68:2:2867
  71 69:2:2866
  72 70:2:2867
  73 71:2:2874
  74 72:2:2884
  75 73:0:4000
  76 74:2:2773
  77 75:0:4000
  78 76:2:2888
  79 77:2:2892
  80 78:2:2893
  81 79:2:2897
  82 80:2:2901
  83 81:2:2902
  84 82:2:2906
  85 83:2:2914
  86 84:2:2915
  87 85:2:2919
  88 86:2:2923
  89 87:2:2924
  90 88:2:2919
  91 89:2:2920
  92 90:2:2928
  93 91:0:4000
  94 92:2:2773
  95 93:0:4000
  96 94:2:2936
  97 95:2:2937
  98 96:2:2938
  99 97:0:4000
 100 98:2:2773
 101 99:0:4000
 102 100:2:2946
 103 101:0:4000
 104 102:2:2773
 105 103:0:4000
 106 104:2:2949
 107 105:2:2950
 108 106:2:2954
 109 107:2:2955
 110 108:2:2963
 111 109:2:2964
 112 110:2:2968
 113 111:2:2969
 114 112:2:2977
 115 113:2:2982
 116 114:2:2983
 117 115:2:2995
 118 116:2:2996
 119 117:2:3000
 120 118:2:3001
 121 119:2:2995
 122 120:2:2996
 123 121:2:3000
 124 122:2:3001
 125 123:2:3009
 126 124:2:3014
 127 125:2:3021
 128 126:2:3022
 129 127:2:3029
 130 128:2:3034
 131 129:2:3041
 132 130:2:3042
 133 131:2:3041
 134 132:2:3042
 135 133:2:3049
 136 134:2:3058
 137 135:0:4000
 138 136:2:2773
 139 137:0:4000
 140 138:2:3062
 141 139:2:3063
 142 140:2:3064
 143 141:2:3076
 144 142:2:3077
 145 143:2:3081
 146 144:2:3082
 147 145:2:3090
 148 146:2:3095
 149 147:2:3099
 150 148:2:3100
 151 149:2:3108
 152 150:2:3109
 153 151:2:3113
 154 152:2:3114
 155 153:2:3108
 156 154:2:3109
 157 155:2:3113
 158 156:2:3114
 159 157:2:3122
 160 158:2:3127
 161 159:2:3134
 162 160:2:3135
 163 161:2:3142
 164 162:2:3147
 165 163:2:3154
 166 164:2:3155
 167 165:2:3154
 168 166:2:3155
 169 167:2:3162
 170 168:2:3175
 171 169:2:3176
 172 170:0:4000
 173 171:2:2773
 174 172:0:4000
 175 173:2:3183
 176 174:2:3184
 177 175:2:3188
 178 176:2:3189
 179 177:2:3197
 180 178:2:3198
 181 179:2:3202
 182 180:2:3203
 183 181:2:3211
 184 182:2:3216
 185 183:2:3220
 186 184:2:3221
 187 185:2:3229
 188 186:2:3230
 189 187:2:3234
 190 188:2:3235
 191 189:2:3229
 192 190:2:3230
 193 191:2:3234
 194 192:2:3235
 195 193:2:3243
 196 194:2:3248
 197 195:2:3255
 198 196:2:3256
 199 197:2:3263
 200 198:2:3268
 201 199:2:3275
 202 200:2:3276
 203 201:2:3275
 204 202:2:3276
 205 203:2:3283
 206 204:0:4000
 207 205:2:2773
 208 206:0:4000
 209 207:2:3294
 210 208:2:3295
 211 209:2:3299
 212 210:2:3300
 213 211:2:3308
 214 212:2:3309
 215 213:2:3313
 216 214:2:3314
 217 215:2:3322
 218 216:2:3327
 219 217:2:3331
 220 218:2:3332
 221 219:2:3340
 222 220:2:3341
 223 221:2:3345
 224 222:2:3346
 225 223:2:3340
 226 224:2:3341
 227 225:2:3345
 228 226:2:3346
 229 227:2:3354
 230 228:2:3359
 231 229:2:3366
 232 230:2:3367
 233 231:2:3374
 234 232:2:3379
 235 233:2:3386
 236 234:2:3387
 237 235:2:3386
 238 236:2:3387
 239 237:2:3394
 240 238:2:3403
 241 239:0:4000
 242 240:2:2773
 243 241:0:4000
 244 242:2:3407
 245 243:2:3408
 246 244:2:3409
 247 245:2:3421
 248 246:2:3422
 249 247:2:3426
 250 248:2:3427
 251 249:2:3435
 252 250:2:3440
 253 251:2:3444
 254 252:2:3445
 255 253:2:3453
 256 254:2:3454
 257 255:2:3458
 258 256:2:3459
 259 257:2:3453
 260 258:2:3454
 261 259:2:3458
 262 260:2:3459
 263 261:2:3467
 264 262:2:3472
 265 263:2:3479
 266 264:2:3480
 267 265:2:3487
 268 266:2:3492
 269 267:2:3499
 270 268:2:3500
 271 269:2:3499
 272 270:2:3500
 273 271:2:3507
 274 272:2:3519
 275 273:2:3520
 276 274:0:4000
 277 275:2:2773
 278 276:0:4000
 279 277:2:3529
 280 278:2:3530
 281 279:0:4000
 282 280:2:2773
 283 281:0:4000
 284 282:2:3534
 285 283:0:4000
 286 284:2:3542
 287 285:0:4000
 288 286:2:2768
 289 287:0:4000
 290 288:2:2770
 291 289:0:4000
 292 290:2:2771
 293 291:0:4000
 294 292:2:2772
 295 293:0:4000
 296 294:2:2773
 297 295:0:4000
 298 296:2:2774
 299 297:2:2775
 300 298:2:2779
 301 299:2:2780
 302 300:2:2788
 303 301:2:2789
 304 302:2:2793
 305 303:2:2794
 306 304:2:2802
 307 305:2:2807
 308 306:2:2811
 309 307:2:2812
 310 308:2:2820
 311 309:2:2821
 312 310:2:2822
 313 311:2:2820
 314 312:2:2821
 315 313:2:2825
 316 314:2:2826
 317 315:2:2834
 318 316:2:2839
 319 317:2:2846
 320 318:2:2847
 321 319:2:2854
 322 320:2:2859
 323 321:2:2866
 324 322:2:2867
 325 323:2:2866
 326 324:2:2867
 327 325:2:2874
 328 326:2:2884
 329 327:0:4000
 330 328:2:2773
 331 329:0:4000
 332 330:2:2888
 333 331:2:2892
 334 332:2:2893
 335 333:2:2897
 336 334:2:2901
 337 335:2:2902
 338 336:2:2906
 339 337:2:2914
 340 338:2:2915
 341 339:2:2919
 342 340:2:2920
 343 341:2:2919
 344 342:2:2923
 345 343:2:2924
 346 344:2:2928
 347 345:0:4000
 348 346:2:2773
 349 347:0:4000
 350 348:2:2936
 351 349:2:2937
 352 350:2:2938
 353 351:0:4000
 354 352:2:2773
 355 353:0:4000
 356 354:2:2946
 357 355:0:4000
 358 356:2:2773
 359 357:0:4000
 360 358:2:2949
 361 359:2:2950
 362 360:2:2954
 363 361:2:2955
 364 362:2:2963
 365 363:2:2964
 366 364:2:2968
 367 365:2:2969
 368 366:2:2977
 369 367:2:2982
 370 368:2:2983
 371 369:2:2995
 372 370:2:2996
 373 371:2:3000
 374 372:2:3001
 375 373:2:2995
 376 374:2:2996
 377 375:2:3000
 378 376:2:3001
 379 377:2:3009
 380 378:2:3014
 381 379:2:3021
 382 380:2:3022
 383 381:2:3029
 384 382:2:3034
 385 383:2:3041
 386 384:2:3042
 387 385:2:3041
 388 386:2:3042
 389 387:2:3049
 390 388:2:3058
 391 389:0:4000
 392 390:2:2773
 393 391:0:4000
 394 392:2:3062
 395 393:2:3063
 396 394:2:3064
 397 395:2:3076
 398 396:2:3077
 399 397:2:3081
 400 398:2:3082
 401 399:2:3090
 402 400:2:3095
 403 401:2:3099
 404 402:2:3100
 405 403:2:3108
 406 404:2:3109
 407 405:2:3113
 408 406:2:3114
 409 407:2:3108
 410 408:2:3109
 411 409:2:3113
 412 410:2:3114
 413 411:2:3122
 414 412:2:3127
 415 413:2:3134
 416 414:2:3135
 417 415:2:3142
 418 416:2:3147
 419 417:2:3154
 420 418:2:3155
 421 419:2:3154
 422 420:2:3155
 423 421:2:3162
 424 422:2:3175
 425 423:2:3176
 426 424:0:4000
 427 425:2:2773
 428 426:0:4000
 429 427:2:3183
 430 428:2:3184
 431 429:2:3188
 432 430:2:3189
 433 431:2:3197
 434 432:2:3198
 435 433:2:3202
 436 434:2:3203
 437 435:2:3211
 438 436:2:3216
 439 437:2:3220
 440 438:2:3221
 441 439:2:3229
 442 440:2:3230
 443 441:2:3234
 444 442:2:3235
 445 443:2:3229
 446 444:2:3230
 447 445:2:3234
 448 446:2:3235
 449 447:2:3243
 450 448:2:3248
 451 449:2:3255
 452 450:2:3256
 453 451:2:3263
 454 452:2:3268
 455 453:2:3275
 456 454:2:3276
 457 455:2:3275
 458 456:2:3276
 459 457:2:3283
 460 458:0:4000
 461 459:2:2773
 462 460:0:4000
 463 461:2:3294
 464 462:2:3295
 465 463:2:3299
 466 464:2:3300
 467 465:2:3308
 468 466:2:3309
 469 467:2:3313
 470 468:2:3314
 471 469:2:3322
 472 470:2:3327
 473 471:2:3331
 474 472:2:3332
 475 473:2:3340
 476 474:2:3341
 477 475:2:3345
 478 476:2:3346
 479 477:2:3340
 480 478:2:3341
 481 479:2:3345
 482 480:2:3346
 483 481:2:3354
 484 482:2:3359
 485 483:2:3366
 486 484:2:3367
 487 485:2:3374
 488 486:2:3379
 489 487:2:3386
 490 488:2:3387
 491 489:2:3386
 492 490:2:3387
 493 491:2:3394
 494 492:2:3403
 495 493:0:4000
 496 494:2:2773
 497 495:0:4000
 498 496:2:3407
 499 497:2:3408
 500 498:2:3409
 501 499:2:3421
 502 500:2:3422
 503 501:2:3426
 504 502:2:3427
 505 503:2:3435
 506 504:2:3440
 507 505:2:3444
 508 506:2:3445
 509 507:2:3453
 510 508:2:3454
 511 509:2:3458
 512 510:2:3459
 513 511:2:3453
 514 512:2:3454
 515 513:2:3458
 516 514:2:3459
 517 515:2:3467
 518 516:2:3472
 519 517:2:3479
 520 518:2:3480
 521 519:2:3487
 522 520:2:3492
 523 521:2:3499
 524 522:2:3500
 525 523:2:3499
 526 524:2:3500
 527 525:2:3507
 528 526:2:3519
 529 527:2:3520
 530 528:0:4000
 531 529:2:2773
 532 530:0:4000
 533 531:2:3529
 534 532:2:3530
 535 533:0:4000
 536 534:2:2773
 537 535:0:4000
 538 536:2:3534
 539 537:0:4000
 540 538:2:3542
 541 539:0:4000
 542 540:2:2768
 543 541:0:4000
 544 542:2:2770
 545 543:0:4000
 546 544:2:2771
 547 545:0:4000
 548 546:2:2772
 549 547:0:4000
 550 548:2:2773
 551 549:0:4000
 552 550:2:2774
 553 551:2:2775
 554 552:2:2779
 555 553:2:2780
 556 554:2:2788
 557 555:2:2789
 558 556:2:2793
 559 557:2:2794
 560 558:2:2802
 561 559:2:2807
 562 560:2:2811
 563 561:2:2812
 564 562:2:2820
 565 563:2:2821
 566 564:2:2825
 567 565:2:2826
 568 566:2:2820
 569 567:2:2821
 570 568:2:2822
 571 569:2:2834
 572 570:2:2839
 573 571:2:2846
 574 572:2:2847
 575 573:2:2854
 576 574:2:2859
 577 575:2:2866
 578 576:2:2867
 579 577:2:2866
 580 578:2:2867
 581 579:2:2874
 582 580:2:2884
 583 581:0:4000
 584 582:2:2773
 585 583:0:4000
 586 584:2:2888
 587 585:2:2892
 588 586:2:2893
 589 587:2:2897
 590 588:2:2901
 591 589:2:2902
 592 590:2:2906
 593 591:2:2914
 594 592:2:2915
 595 593:2:2919
 596 594:2:2923
 597 595:2:2924
 598 596:2:2919
 599 597:2:2920
 600 598:2:2928
 601 599:0:4000
 602 600:2:2773
 603 601:0:4000
 604 602:2:2936
 605 603:2:2937
 606 604:2:2938
 607 605:0:4000
 608 606:2:2773
 609 607:0:4000
 610 608:2:2946
 611 609:0:4000
 612 610:2:2773
 613 611:0:4000
 614 612:2:2949
 615 613:2:2950
 616 614:2:2954
 617 615:2:2955
 618 616:2:2963
 619 617:2:2964
 620 618:2:2968
 621 619:2:2969
 622 620:2:2977
 623 621:2:2990
 624 622:2:2991
 625 623:2:2995
 626 624:2:2996
 627 625:2:3000
 628 626:2:3001
 629 627:2:2995
 630 628:2:2996
 631 629:2:3000
 632 630:2:3001
 633 631:2:3009
 634 632:2:3014
 635 633:2:3021
 636 634:2:3022
 637 635:2:3029
 638 636:2:3036
 639 637:2:3037
 640 638:2:3041
 641 639:2:3042
 642 640:2:3041
 643 641:2:3042
 644 642:2:3049
 645 643:2:3058
 646 644:0:4000
 647 645:2:2773
 648 646:0:4000
 649 647:2:3062
 650 648:2:3063
 651 649:2:3064
 652 650:2:3076
 653 651:2:3077
 654 652:2:3081
 655 653:2:3082
 656 654:2:3090
 657 655:2:3103
 658 656:2:3104
 659 657:2:3108
 660 658:2:3109
 661 659:2:3113
 662 660:2:3114
 663 661:2:3108
 664 662:2:3109
 665 663:2:3113
 666 664:2:3114
 667 665:2:3122
 668 666:2:3127
 669 667:2:3134
 670 668:2:3135
 671 669:2:3142
 672 670:2:3149
 673 671:2:3150
 674 672:2:3154
 675 673:2:3155
 676 674:2:3154
 677 675:2:3155
 678 676:2:3162
 679 677:2:3175
 680 678:2:3176
 681 679:0:4000
 682 680:2:2773
 683 681:0:4000
 684 682:2:3183
 685 683:2:3184
 686 684:2:3188
 687 685:2:3189
 688 686:2:3197
 689 687:2:3198
 690 688:2:3202
 691 689:2:3203
 692 690:2:3211
 693 691:2:3224
 694 692:2:3225
 695 693:2:3229
 696 694:2:3230
 697 695:2:3234
 698 696:2:3235
 699 697:2:3229
 700 698:2:3230
 701 699:2:3234
 702 700:2:3235
 703 701:2:3243
 704 702:2:3248
 705 703:2:3255
 706 704:2:3256
 707 705:2:3263
 708 706:2:3270
 709 707:2:3271
 710 708:2:3275
 711 709:2:3276
 712 710:2:3275
 713 711:2:3276
 714 712:2:3283
 715 713:0:4000
 716 714:2:2773
 717 715:0:4000
 718 716:2:3407
 719 717:2:3408
 720 718:2:3412
 721 719:2:3413
 722 720:2:3421
 723 721:2:3422
 724 722:2:3426
 725 723:2:3427
 726 724:2:3435
 727 725:2:3448
 728 726:2:3449
 729 727:2:3453
 730 728:2:3454
 731 729:2:3458
 732 730:2:3459
 733 731:2:3453
 734 732:2:3454
 735 733:2:3458
 736 734:2:3459
 737 735:2:3467
 738 736:2:3472
 739 737:2:3479
 740 738:2:3480
 741 739:2:3487
 742 740:2:3494
 743 741:2:3495
 744 742:2:3499
 745 743:2:3500
 746 744:2:3499
 747 745:2:3500
 748 746:2:3507
 749 747:2:3519
 750 748:2:3520
 751 749:0:4000
 752 750:2:2773
 753 751:0:4000
 754 752:2:3529
 755 753:2:3530
 756 754:0:4000
 757 755:2:2773
 758 756:0:4000
 759 757:2:3294
 760 758:2:3295
 761 759:2:3299
 762 760:2:3300
 763 761:2:3308
 764 762:2:3309
 765 763:2:3313
 766 764:2:3314
 767 765:2:3322
 768 766:2:3335
 769 767:2:3336
 770 768:2:3340
 771 769:2:3341
 772 770:2:3342
 773 771:2:3340
 774 772:2:3341
 775 773:2:3345
 776 774:2:3346
 777 775:2:3354
 778 776:2:3359
 779 777:2:3366
 780 778:2:3367
 781 779:2:3374
 782 780:2:3381
 783 781:2:3382
 784 782:2:3386
 785 783:2:3387
 786 784:2:3386
 787 785:2:3387
 788 786:2:3394
 789 787:2:3403
 790 788:0:4000
 791 789:2:2773
 792 790:0:4000
 793 791:2:3534
 794 792:0:4000
 795 793:2:3542
 796 794:0:4000
 797 795:2:3543
 798 796:0:4000
 799 797:2:3548
 800 798:0:4000
 801 799:1:2
 802 800:0:4000
 803 801:2:3549
 804 802:0:4000
 805 803:1:8
 806 804:0:4000
 807 805:2:3548
 808 806:0:4000
 809 807:1:9
 810 808:0:4000
 811 809:2:3549
 812 810:0:4000
 813 811:1:10
 814 812:0:4000
 815 813:2:3548
 816 814:0:4000
 817 815:1:11
 818 816:0:4000
 819 817:2:3549
 820 818:0:4000
 821 819:1:12
 822 820:0:4000
 823 821:2:3548
 824 822:0:4000
 825 823:1:13
 826 824:0:4000
 827 825:2:3549
 828 826:0:4000
 829 827:1:14
 830 828:0:4000
 831 829:2:3548
 832 830:0:4000
 833 831:1:15
 834 832:0:4000
 835 833:2:3549
 836 834:0:4000
 837 835:1:16
 838 836:1:17
 839 837:1:21
 840 838:1:22
 841 839:1:30
 842 840:1:31
 843 841:1:35
 844 842:1:36
 845 843:1:44
 846 844:1:49
 847 845:1:53
 848 846:1:54
 849 847:1:62
 850 848:1:63
 851 849:1:67
 852 850:1:68
 853 851:1:62
 854 852:1:63
 855 853:1:67
 856 854:1:68
 857 855:1:76
 858 856:1:81
 859 857:1:88
 860 858:1:89
 861 859:1:96
 862 860:1:101
 863 861:1:108
 864 862:1:109
 865 863:1:108
 866 864:1:109
 867 865:1:116
 868 866:0:4000
 869 867:2:3548
 870 868:0:4000
 871 869:1:15
 872 870:0:4000
 873 871:2:3549
 874 872:0:4000
 875 873:1:127
 876 874:1:128
 877 875:0:4000
 878 876:2:3548
 879 877:0:4000
 880 878:1:15
 881 879:0:4000
 882 880:2:3549
 883 881:0:4000
 884 882:1:134
 885 883:1:135
 886 884:1:139
 887 885:1:140
 888 886:1:148
 889 887:1:149
 890 888:1:153
 891 889:1:154
 892 890:1:162
 893 891:1:167
 894 892:1:171
 895 893:1:172
 896 894:1:180
 897 895:1:181
 898 896:1:185
 899 897:1:186
 900 898:1:180
 901 899:1:181
 902 900:1:185
 903 901:1:186
 904 902:1:194
 905 903:1:199
 906 904:1:206
 907 905:1:207
 908 906:1:214
 909 907:1:219
 910 908:1:226
 911 909:1:227
 912 910:1:226
 913 911:1:227
 914 912:1:234
 915 913:0:4000
 916 914:2:3548
 917 915:0:4000
 918 916:1:15
 919 917:0:4000
 920 918:2:3549
 921 919:0:4000
 922 920:1:245
 923 921:1:246
 924 922:1:250
 925 923:1:251
 926 924:1:259
 927 925:1:260
 928 926:1:264
 929 927:1:265
 930 928:1:273
 931 929:1:278
 932 930:1:282
 933 931:1:283
 934 932:1:291
 935 933:1:292
 936 934:1:296
 937 935:1:297
 938 936:1:291
 939 937:1:292
 940 938:1:296
 941 939:1:297
 942 940:1:305
 943 941:1:310
 944 942:1:317
 945 943:1:318
 946 944:1:325
 947 945:1:330
 948 946:1:337
 949 947:1:338
 950 948:1:337
 951 949:1:338
 952 950:1:345
 953 951:1:354
 954 952:0:4000
 955 953:2:3548
 956 954:0:4000
 957 955:1:15
 958 956:0:4000
 959 957:2:3549
 960 958:0:4000
 961 959:1:564
 962 960:1:565
 963 961:1:569
 964 962:1:570
 965 963:1:578
 966 964:1:579
 967 965:1:580
 968 966:1:592
 969 967:1:597
 970 968:1:601
 971 969:1:602
 972 970:1:610
 973 971:1:611
 974 972:1:615
 975 973:1:616
 976 974:1:610
 977 975:1:611
 978 976:1:615
 979 977:1:616
 980 978:1:624
 981 979:1:629
 982 980:1:636
 983 981:1:637
 984 982:1:644
 985 983:1:649
 986 984:1:656
 987 985:1:657
 988 986:1:656
 989 987:1:657
 990 988:1:664
 991 989:0:4000
 992 990:2:3548
 993 991:0:4000
 994 992:1:15
 995 993:0:4000
 996 994:2:3549
 997 995:0:4000
 998 996:1:675
 999 997:1:678
1000 998:1:679
1001 999:0:4000
1002 1000:2:3548
1003 1001:0:4000
1004 1002:1:15
1005 1003:0:4000
1006 1004:2:3549
1007 1005:0:4000
1008 1006:1:682
1009 1007:1:683
1010 1008:1:687
1011 1009:1:688
1012 1010:1:696
1013 1011:1:697
1014 1012:1:701
1015 1013:1:702
1016 1014:1:710
1017 1015:1:715
1018 1016:1:719
1019 1017:1:720
1020 1018:1:728
1021 1019:1:729
1022 1020:1:733
1023 1021:1:734
1024 1022:1:728
1025 1023:1:729
1026 1024:1:733
1027 1025:1:734
1028 1026:1:742
1029 1027:1:747
1030 1028:1:754
1031 1029:1:755
1032 1030:1:762
1033 1031:1:767
1034 1032:1:774
1035 1033:1:775
1036 1034:1:774
1037 1035:1:775
1038 1036:1:782
1039 1037:0:4000
1040 1038:2:3548
1041 1039:0:4000
1042 1040:1:15
1043 1041:0:4000
1044 1042:2:3549
1045 1043:0:4000
1046 1044:1:906
1047 1045:1:907
1048 1046:1:911
1049 1047:1:912
1050 1048:1:920
1051 1049:1:921
1052 1050:1:925
1053 1051:1:926
1054 1052:1:934
1055 1053:1:939
1056 1054:1:943
1057 1055:1:944
1058 1056:1:952
1059 1057:1:953
1060 1058:1:957
1061 1059:1:958
1062 1060:1:952
1063 1061:1:953
1064 1062:1:957
1065 1063:1:958
1066 1064:1:966
1067 1065:1:971
1068 1066:1:978
1069 1067:1:979
1070 1068:1:986
1071 1069:1:991
1072 1070:1:998
1073 1071:1:999
1074 1072:1:998
1075 1073:1:999
1076 1074:1:1006
1077 1075:1:1015
1078 1076:1:1019
1079 1077:0:4000
1080 1078:2:3548
1081 1079:0:4000
1082 1080:1:15
1083 1081:0:4000
1084 1082:2:3549
1085 1083:0:4000
1086 1084:1:1020
1087 1085:1:1021
1088 1086:1:1025
1089 1087:1:1026
1090 1088:1:1034
1091 1089:1:1035
1092 1090:1:1036
1093 1091:1:1048
1094 1092:1:1053
1095 1093:1:1057
1096 1094:1:1058
1097 1095:1:1066
1098 1096:1:1067
1099 1097:1:1071
1100 1098:1:1072
1101 1099:1:1066
1102 1100:1:1067
1103 1101:1:1071
1104 1102:1:1072
1105 1103:1:1080
1106 1104:1:1085
1107 1105:1:1092
1108 1106:1:1093
1109 1107:1:1100
1110 1108:1:1105
1111 1109:1:1112
1112 1110:1:1113
1113 1111:1:1112
1114 1112:1:1113
1115 1113:1:1120
1116 1114:0:4000
1117 1115:2:3548
1118 1116:0:4000
1119 1117:1:15
1120 1118:0:4000
1121 1119:2:3549
1122 1120:0:4000
1123 1121:1:1131
1124 1122:0:4000
1125 1123:2:3548
1126 1124:0:4000
1127 1125:1:2667
1128 1126:1:2674
1129 1127:1:2675
1130 1128:1:2682
1131 1129:1:2687
1132 1130:1:2694
1133 1131:1:2695
1134 1132:1:2694
1135 1133:1:2695
1136 1134:1:2702
1137 1135:1:2706
1138 1136:0:4000
1139 1137:2:3549
1140 1138:0:4000
1141 1139:1:1133
1142 1140:1:1134
1143 1141:0:3998
1144 1142:2:3548
1145 1143:0:4004
1146 1144:0:4000