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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4465
   4 2:3:4385
   5 3:3:4388
   6 4:3:4388
   7 5:3:4391
   8 6:3:4399
   9 7:3:4399
  10 8:3:4402
  11 9:3:4408
  12 10:3:4412
  13 11:3:4412
  14 12:3:4415
  15 13:3:4425
  16 14:3:4433
  17 15:3:4433
  18 16:3:4436
  19 17:3:4442
  20 18:3:4446
  21 19:3:4446
  22 20:3:4449
  23 21:3:4455
  24 22:3:4459
  25 23:3:4460
  26 24:0:4465
  27 25:3:4462
  28 26:0:4465
  29 27:2:3117
  30 28:0:4465
  31 29:2:3123
  32 30:0:4465
  33 31:2:3124
  34 32:0:4465
  35 33:2:3126
  36 34:0:4465
  37 35:2:3127
  38 36:0:4465
  39 37:2:3128
  40 38:0:4465
  41 39:2:3129
  42 40:0:4465
  43 41:2:3130
  44 42:0:4465
  45 43:2:3131
  46 44:0:4465
  47 45:2:3132
  48 46:2:3133
  49 47:2:3137
  50 48:2:3138
  51 49:2:3146
  52 50:2:3147
  53 51:2:3151
  54 52:2:3152
  55 53:2:3160
  56 54:2:3165
  57 55:2:3169
  58 56:2:3170
  59 57:2:3178
  60 58:2:3179
  61 59:2:3183
  62 60:2:3184
  63 61:2:3178
  64 62:2:3179
  65 63:2:3183
  66 64:2:3184
  67 65:2:3192
  68 66:2:3197
  69 67:2:3198
  70 68:2:3209
  71 69:2:3210
  72 70:2:3211
  73 71:2:3222
  74 72:2:3227
  75 73:2:3228
  76 74:2:3239
  77 75:2:3240
  78 76:2:3241
  79 77:2:3239
  80 78:2:3240
  81 79:2:3241
  82 80:2:3252
  83 81:2:3260
  84 82:0:4465
  85 83:2:3131
  86 84:0:4465
  87 85:2:3264
  88 86:2:3268
  89 87:2:3269
  90 88:2:3273
  91 89:2:3277
  92 90:2:3278
  93 91:2:3282
  94 92:2:3290
  95 93:2:3291
  96 94:2:3295
  97 95:2:3299
  98 96:2:3300
  99 97:2:3295
 100 98:2:3296
 101 99:2:3304
 102 100:0:4465
 103 101:2:3131
 104 102:0:4465
 105 103:2:3312
 106 104:2:3313
 107 105:2:3314
 108 106:0:4465
 109 107:2:3131
 110 108:0:4465
 111 109:2:3319
 112 110:0:4465
 113 111:2:4022
 114 112:2:4023
 115 113:2:4027
 116 114:2:4031
 117 115:2:4032
 118 116:2:4036
 119 117:2:4041
 120 118:2:4049
 121 119:2:4053
 122 120:2:4054
 123 121:2:4049
 124 122:2:4053
 125 123:2:4054
 126 124:2:4058
 127 125:2:4065
 128 126:2:4072
 129 127:2:4073
 130 128:2:4080
 131 129:2:4085
 132 130:2:4092
 133 131:2:4093
 134 132:2:4092
 135 133:2:4093
 136 134:2:4100
 137 135:2:4104
 138 136:0:4465
 139 137:2:3321
 140 138:2:4003
 141 139:0:4465
 142 140:2:3131
 143 141:0:4465
 144 142:2:3322
 145 143:0:4465
 146 144:2:3131
 147 145:0:4465
 148 146:2:3325
 149 147:2:3326
 150 148:2:3330
 151 149:2:3331
 152 150:2:3339
 153 151:2:3340
 154 152:2:3344
 155 153:2:3345
 156 154:2:3353
 157 155:2:3358
 158 156:2:3362
 159 157:2:3363
 160 158:2:3371
 161 159:2:3372
 162 160:2:3376
 163 161:2:3377
 164 162:2:3371
 165 163:2:3372
 166 164:2:3376
 167 165:2:3377
 168 166:2:3385
 169 167:2:3390
 170 168:2:3391
 171 169:2:3402
 172 170:2:3403
 173 171:2:3404
 174 172:2:3415
 175 173:2:3420
 176 174:2:3421
 177 175:2:3432
 178 176:2:3433
 179 177:2:3434
 180 178:2:3432
 181 179:2:3433
 182 180:2:3434
 183 181:2:3445
 184 182:2:3452
 185 183:0:4465
 186 184:2:3131
 187 185:0:4465
 188 186:2:3456
 189 187:2:3457
 190 188:2:3458
 191 189:2:3470
 192 190:2:3471
 193 191:2:3475
 194 192:2:3476
 195 193:2:3484
 196 194:2:3489
 197 195:2:3493
 198 196:2:3494
 199 197:2:3502
 200 198:2:3503
 201 199:2:3507
 202 200:2:3508
 203 201:2:3502
 204 202:2:3503
 205 203:2:3507
 206 204:2:3508
 207 205:2:3516
 208 206:2:3521
 209 207:2:3522
 210 208:2:3533
 211 209:2:3534
 212 210:2:3535
 213 211:2:3546
 214 212:2:3551
 215 213:2:3552
 216 214:2:3563
 217 215:2:3564
 218 216:2:3565
 219 217:2:3563
 220 218:2:3564
 221 219:2:3565
 222 220:2:3576
 223 221:2:3586
 224 222:2:3587
 225 223:0:4465
 226 224:2:3131
 227 225:0:4465
 228 226:2:3991
 229 227:0:4465
 230 228:2:4295
 231 229:2:4296
 232 230:2:4300
 233 231:2:4304
 234 232:2:4305
 235 233:2:4309
 236 234:2:4317
 237 235:2:4318
 238 236:2:4322
 239 237:2:4326
 240 238:2:4327
 241 239:2:4322
 242 240:2:4326
 243 241:2:4327
 244 242:2:4331
 245 243:2:4338
 246 244:2:4345
 247 245:2:4346
 248 246:2:4353
 249 247:2:4358
 250 248:2:4365
 251 249:2:4366
 252 250:2:4365
 253 251:2:4366
 254 252:2:4373
 255 253:2:4377
 256 254:0:4465
 257 255:2:3993
 258 256:2:4003
 259 257:0:4465
 260 258:2:3131
 261 259:0:4465
 262 260:2:3994
 263 261:2:3995
 264 262:0:4465
 265 263:2:3131
 266 264:0:4465
 267 265:2:3999
 268 266:0:4465
 269 267:2:4007
 270 268:0:4465
 271 269:2:3124
 272 270:0:4465
 273 271:2:3126
 274 272:0:4465
 275 273:2:3127
 276 274:0:4465
 277 275:2:3128
 278 276:0:4465
 279 277:2:3129
 280 278:0:4465
 281 279:2:3130
 282 280:0:4465
 283 281:2:3131
 284 282:0:4465
 285 283:2:3132
 286 284:2:3133
 287 285:2:3137
 288 286:2:3138
 289 287:2:3146
 290 288:2:3147
 291 289:2:3151
 292 290:2:3152
 293 291:2:3160
 294 292:2:3165
 295 293:2:3169
 296 294:2:3170
 297 295:2:3178
 298 296:2:3179
 299 297:2:3180
 300 298:2:3178
 301 299:2:3179
 302 300:2:3183
 303 301:2:3184
 304 302:2:3192
 305 303:2:3197
 306 304:2:3198
 307 305:2:3209
 308 306:2:3210
 309 307:2:3211
 310 308:2:3222
 311 309:2:3227
 312 310:2:3228
 313 311:2:3239
 314 312:2:3240
 315 313:2:3241
 316 314:2:3239
 317 315:2:3240
 318 316:2:3241
 319 317:2:3252
 320 318:2:3260
 321 319:0:4465
 322 320:2:3131
 323 321:0:4465
 324 322:2:3264
 325 323:2:3268
 326 324:2:3269
 327 325:2:3273
 328 326:2:3277
 329 327:2:3278
 330 328:2:3282
 331 329:2:3290
 332 330:2:3291
 333 331:2:3295
 334 332:2:3296
 335 333:2:3295
 336 334:2:3299
 337 335:2:3300
 338 336:2:3304
 339 337:0:4465
 340 338:2:3131
 341 339:0:4465
 342 340:2:3312
 343 341:2:3313
 344 342:2:3314
 345 343:0:4465
 346 344:2:3131
 347 345:0:4465
 348 346:2:3319
 349 347:0:4465
 350 348:1:2
 351 349:0:4465
 352 350:1:8
 353 351:0:4465
 354 352:1:9
 355 353:0:4465
 356 354:1:10
 357 355:0:4465
 358 356:1:11
 359 357:0:4465
 360 358:1:12
 361 359:1:13
 362 360:1:17
 363 361:1:18
 364 362:1:26
 365 363:1:27
 366 364:1:31
 367 365:1:32
 368 366:1:40
 369 367:1:45
 370 368:1:49
 371 369:1:50
 372 370:1:58
 373 371:1:59
 374 372:1:63
 375 373:1:64
 376 374:1:58
 377 375:1:59
 378 376:1:63
 379 377:1:64
 380 378:1:72
 381 379:1:84
 382 380:1:85
 383 381:1:89
 384 382:1:90
 385 383:1:91
 386 384:1:102
 387 385:1:107
 388 386:1:108
 389 387:1:119
 390 388:1:120
 391 389:1:121
 392 390:1:119
 393 391:1:120
 394 392:1:121
 395 393:1:132
 396 394:0:4465
 397 395:1:11
 398 396:0:4465
 399 397:1:141
 400 398:1:142
 401 399:0:4465
 402 400:1:11
 403 401:0:4465
 404 402:1:148
 405 403:1:149
 406 404:1:153
 407 405:1:154
 408 406:1:162
 409 407:1:163
 410 408:1:167
 411 409:1:168
 412 410:1:176
 413 411:1:181
 414 412:1:185
 415 413:1:186
 416 414:1:194
 417 415:1:195
 418 416:1:199
 419 417:1:200
 420 418:1:194
 421 419:1:195
 422 420:1:199
 423 421:1:200
 424 422:1:208
 425 423:1:220
 426 424:1:221
 427 425:1:225
 428 426:1:226
 429 427:1:227
 430 428:1:238
 431 429:1:243
 432 430:1:244
 433 431:1:255
 434 432:1:256
 435 433:1:257
 436 434:1:255
 437 435:1:256
 438 436:1:257
 439 437:1:268
 440 438:0:4465
 441 439:1:11
 442 440:0:4465
 443 441:1:277
 444 442:1:278
 445 443:1:282
 446 444:1:283
 447 445:1:291
 448 446:1:292
 449 447:1:296
 450 448:1:297
 451 449:1:305
 452 450:1:310
 453 451:1:314
 454 452:1:315
 455 453:1:323
 456 454:1:324
 457 455:1:328
 458 456:1:329
 459 457:1:323
 460 458:1:324
 461 459:1:328
 462 460:1:329
 463 461:1:337
 464 462:1:342
 465 463:1:343
 466 464:1:354
 467 465:1:355
 468 466:1:356
 469 467:1:367
 470 468:1:372
 471 469:1:373
 472 470:1:384
 473 471:1:385
 474 472:1:386
 475 473:1:384
 476 474:1:385
 477 475:1:386
 478 476:1:397
 479 477:1:404
 480 478:0:4465
 481 479:1:11
 482 480:0:4465
 483 481:1:540
 484 482:1:544
 485 483:1:545
 486 484:1:549
 487 485:1:550
 488 486:1:558
 489 487:1:566
 490 488:1:567
 491 489:1:571
 492 490:1:575
 493 491:1:576
 494 492:1:571
 495 493:1:575
 496 494:1:576
 497 495:1:580
 498 496:1:587
 499 497:1:594
 500 498:1:595
 501 499:1:602
 502 500:1:607
 503 501:1:614
 504 502:1:615
 505 503:1:614
 506 504:1:615
 507 505:1:622
 508 506:0:4465
 509 507:1:11
 510 508:0:4465
 511 509:2:4022
 512 510:2:4023
 513 511:2:4027
 514 512:2:4031
 515 513:2:4032
 516 514:2:4036
 517 515:2:4041
 518 516:2:4049
 519 517:2:4053
 520 518:2:4054
 521 519:2:4049
 522 520:2:4053
 523 521:2:4054
 524 522:2:4058
 525 523:2:4065
 526 524:2:4072
 527 525:2:4073
 528 526:2:4080
 529 527:2:4085
 530 528:2:4092
 531 529:2:4093
 532 530:2:4092
 533 531:2:4093
 534 532:2:4100
 535 533:2:4104
 536 534:0:4465
 537 535:2:3321
 538 536:2:4003
 539 537:0:4465
 540 538:2:3131
 541 539:0:4465
 542 540:2:3322
 543 541:0:4465
 544 542:2:3131
 545 543:0:4465
 546 544:2:3325
 547 545:2:3326
 548 546:2:3330
 549 547:2:3331
 550 548:2:3339
 551 549:2:3340
 552 550:2:3344
 553 551:2:3345
 554 552:2:3353
 555 553:2:3358
 556 554:2:3362
 557 555:2:3363
 558 556:2:3371
 559 557:2:3372
 560 558:2:3376
 561 559:2:3377
 562 560:2:3371
 563 561:2:3372
 564 562:2:3376
 565 563:2:3377
 566 564:2:3385
 567 565:2:3390
 568 566:2:3391
 569 567:2:3402
 570 568:2:3403
 571 569:2:3404
 572 570:2:3415
 573 571:2:3420
 574 572:2:3421
 575 573:2:3432
 576 574:2:3433
 577 575:2:3434
 578 576:2:3432
 579 577:2:3433
 580 578:2:3434
 581 579:2:3445
 582 580:2:3452
 583 581:0:4465
 584 582:2:3131
 585 583:0:4465
 586 584:2:3456
 587 585:2:3457
 588 586:2:3458
 589 587:2:3470
 590 588:2:3471
 591 589:2:3475
 592 590:2:3476
 593 591:2:3484
 594 592:2:3489
 595 593:2:3493
 596 594:2:3494
 597 595:2:3502
 598 596:2:3503
 599 597:2:3507
 600 598:2:3508
 601 599:2:3502
 602 600:2:3503
 603 601:2:3507
 604 602:2:3508
 605 603:2:3516
 606 604:2:3521
 607 605:2:3522
 608 606:2:3533
 609 607:2:3534
 610 608:2:3535
 611 609:2:3546
 612 610:2:3551
 613 611:2:3552
 614 612:2:3563
 615 613:2:3564
 616 614:2:3565
 617 615:2:3563
 618 616:2:3564
 619 617:2:3565
 620 618:2:3576
 621 619:2:3586
 622 620:2:3587
 623 621:0:4465
 624 622:2:3131
 625 623:0:4465
 626 624:2:3991
 627 625:0:4465
 628 626:2:4295
 629 627:2:4296
 630 628:2:4300
 631 629:2:4304
 632 630:2:4305
 633 631:2:4309
 634 632:2:4317
 635 633:2:4318
 636 634:2:4322
 637 635:2:4326
 638 636:2:4327
 639 637:2:4322
 640 638:2:4326
 641 639:2:4327
 642 640:2:4331
 643 641:2:4338
 644 642:2:4345
 645 643:2:4346
 646 644:2:4353
 647 645:2:4358
 648 646:2:4365
 649 647:2:4366
 650 648:2:4365
 651 649:2:4366
 652 650:2:4373
 653 651:2:4377
 654 652:0:4465
 655 653:2:3993
 656 654:2:4003
 657 655:0:4465
 658 656:2:3131
 659 657:0:4465
 660 658:2:3994
 661 659:2:3995
 662 660:0:4465
 663 661:2:3131
 664 662:0:4465
 665 663:2:3999
 666 664:0:4465
 667 665:2:4007
 668 666:0:4465
 669 667:2:3124
 670 668:0:4465
 671 669:2:3126
 672 670:0:4465
 673 671:2:3127
 674 672:0:4465
 675 673:2:3128
 676 674:0:4465
 677 675:2:3129
 678 676:0:4465
 679 677:2:3130
 680 678:0:4465
 681 679:2:3131
 682 680:0:4465
 683 681:2:3132
 684 682:2:3133
 685 683:2:3137
 686 684:2:3138
 687 685:2:3146
 688 686:2:3147
 689 687:2:3151
 690 688:2:3152
 691 689:2:3160
 692 690:2:3165
 693 691:2:3169
 694 692:2:3170
 695 693:2:3178
 696 694:2:3179
 697 695:2:3183
 698 696:2:3184
 699 697:2:3178
 700 698:2:3179
 701 699:2:3180
 702 700:2:3192
 703 701:2:3197
 704 702:2:3198
 705 703:2:3209
 706 704:2:3210
 707 705:2:3211
 708 706:2:3222
 709 707:2:3227
 710 708:2:3228
 711 709:2:3239
 712 710:2:3240
 713 711:2:3241
 714 712:2:3239
 715 713:2:3240
 716 714:2:3241
 717 715:2:3252
 718 716:2:3260
 719 717:0:4465
 720 718:2:3131
 721 719:0:4465
 722 720:1:632
 723 721:1:633
 724 722:1:637
 725 723:1:638
 726 724:1:646
 727 725:1:647
 728 726:1:651
 729 727:1:652
 730 728:1:660
 731 729:1:665
 732 730:1:669
 733 731:1:670
 734 732:1:678
 735 733:1:679
 736 734:1:683
 737 735:1:684
 738 736:1:678
 739 737:1:679
 740 738:1:683
 741 739:1:684
 742 740:1:692
 743 741:1:697
 744 742:1:698
 745 743:1:709
 746 744:1:710
 747 745:1:711
 748 746:1:722
 749 747:1:734
 750 748:1:735
 751 749:1:739
 752 750:1:740
 753 751:1:741
 754 752:1:739
 755 753:1:740
 756 754:1:741
 757 755:1:752
 758 756:0:4465
 759 757:1:11
 760 758:0:4465
 761 759:1:761
 762 760:1:764
 763 761:1:765
 764 762:0:4465
 765 763:1:11
 766 764:0:4465
 767 765:1:768
 768 766:1:769
 769 767:1:773
 770 768:1:774
 771 769:1:782
 772 770:1:783
 773 771:1:787
 774 772:1:788
 775 773:1:796
 776 774:1:801
 777 775:1:805
 778 776:1:806
 779 777:1:814
 780 778:1:815
 781 779:1:819
 782 780:1:820
 783 781:1:814
 784 782:1:815
 785 783:1:819
 786 784:1:820
 787 785:1:828
 788 786:1:833
 789 787:1:834
 790 788:1:845
 791 789:1:846
 792 790:1:847
 793 791:1:858
 794 792:1:870
 795 793:1:871
 796 794:1:875
 797 795:1:876
 798 796:1:877
 799 797:1:875
 800 798:1:876
 801 799:1:877
 802 800:1:888
 803 801:0:4465
 804 802:1:11
 805 803:0:4465
 806 804:1:1028
 807 805:1:1029
 808 806:1:1033
 809 807:1:1034
 810 808:1:1042
 811 809:1:1043
 812 810:1:1047
 813 811:1:1048
 814 812:1:1056
 815 813:1:1061
 816 814:1:1065
 817 815:1:1066
 818 816:1:1074
 819 817:1:1075
 820 818:1:1079
 821 819:1:1080
 822 820:1:1074
 823 821:1:1075
 824 822:1:1079
 825 823:1:1080
 826 824:1:1088
 827 825:1:1093
 828 826:1:1094
 829 827:1:1105
 830 828:1:1106
 831 829:1:1107
 832 830:1:1118
 833 831:1:1130
 834 832:1:1131
 835 833:1:1135
 836 834:1:1136
 837 835:1:1137
 838 836:1:1135
 839 837:1:1136
 840 838:1:1137
 841 839:1:1148
 842 840:1:1155
 843 841:1:1159
 844 842:0:4465
 845 843:1:11
 846 844:0:4465
 847 845:1:1160
 848 846:1:1161
 849 847:1:1165
 850 848:1:1166
 851 849:1:1174
 852 850:1:1175
 853 851:1:1176
 854 852:1:1188
 855 853:1:1193
 856 854:1:1197
 857 855:1:1198
 858 856:1:1206
 859 857:1:1207
 860 858:1:1211
 861 859:1:1212
 862 860:1:1206
 863 861:1:1207
 864 862:1:1211
 865 863:1:1212
 866 864:1:1220
 867 865:1:1225
 868 866:1:1226
 869 867:1:1237
 870 868:1:1238
 871 869:1:1239
 872 870:1:1250
 873 871:1:1262
 874 872:1:1263
 875 873:1:1267
 876 874:1:1268
 877 875:1:1269
 878 876:1:1267
 879 877:1:1268
 880 878:1:1269
 881 879:1:1280
 882 880:0:4465
 883 881:1:11
 884 882:0:4465
 885 883:1:1289
 886 884:0:4465
 887 885:1:3023
 888 886:1:3030
 889 887:1:3031
 890 888:1:3038
 891 889:1:3043
 892 890:1:3050
 893 891:1:3051
 894 892:1:3050
 895 893:1:3051
 896 894:1:3058
 897 895:1:3062
 898 896:0:4465
 899 897:2:3264
 900 898:2:3268
 901 899:2:3269
 902 900:2:3273
 903 901:2:3277
 904 902:2:3278
 905 903:2:3282
 906 904:2:3290
 907 905:2:3291
 908 906:2:3295
 909 907:2:3299
 910 908:2:3300
 911 909:2:3295
 912 910:2:3296
 913 911:2:3304
 914 912:0:4465
 915 913:2:3131
 916 914:0:4465
 917 915:2:3312
 918 916:2:3313
 919 917:2:3314
 920 918:0:4465
 921 919:2:3131
 922 920:0:4465
 923 921:2:3319
 924 922:0:4465
 925 923:2:4022
 926 924:2:4023
 927 925:2:4027
 928 926:2:4031
 929 927:2:4032
 930 928:2:4036
 931 929:2:4041
 932 930:2:4049
 933 931:2:4053
 934 932:2:4054
 935 933:2:4049
 936 934:2:4053
 937 935:2:4054
 938 936:2:4058
 939 937:2:4065
 940 938:2:4072
 941 939:2:4073
 942 940:2:4080
 943 941:2:4085
 944 942:2:4092
 945 943:2:4093
 946 944:2:4092
 947 945:2:4093
 948 946:2:4100
 949 947:2:4104
 950 948:0:4465
 951 949:2:3321
 952 950:2:4003
 953 951:0:4465
 954 952:2:3131
 955 953:0:4465
 956 954:2:3322
 957 955:0:4465
 958 956:2:3131
 959 957:0:4465
 960 958:2:3325
 961 959:2:3326
 962 960:2:3330
 963 961:2:3331
 964 962:2:3339
 965 963:2:3340
 966 964:2:3344
 967 965:2:3345
 968 966:2:3353
 969 967:2:3358
 970 968:2:3362
 971 969:2:3363
 972 970:2:3371
 973 971:2:3372
 974 972:2:3376
 975 973:2:3377
 976 974:2:3371
 977 975:2:3372
 978 976:2:3376
 979 977:2:3377
 980 978:2:3385
 981 979:2:3390
 982 980:2:3391
 983 981:2:3402
 984 982:2:3403
 985 983:2:3404
 986 984:2:3415
 987 985:2:3420
 988 986:2:3421
 989 987:2:3432
 990 988:2:3433
 991 989:2:3434
 992 990:2:3432
 993 991:2:3433
 994 992:2:3434
 995 993:2:3445
 996 994:2:3452
 997 995:0:4465
 998 996:2:3131
 999 997:0:4465
1000 998:2:3456
1001 999:2:3457
1002 1000:2:3458
1003 1001:2:3470
1004 1002:2:3471
1005 1003:2:3475
1006 1004:2:3476
1007 1005:2:3484
1008 1006:2:3489
1009 1007:2:3493
1010 1008:2:3494
1011 1009:2:3502
1012 1010:2:3503
1013 1011:2:3507
1014 1012:2:3508
1015 1013:2:3502
1016 1014:2:3503
1017 1015:2:3507
1018 1016:2:3508
1019 1017:2:3516
1020 1018:2:3521
1021 1019:2:3522
1022 1020:2:3533
1023 1021:2:3534
1024 1022:2:3535
1025 1023:2:3546
1026 1024:2:3551
1027 1025:2:3552
1028 1026:2:3563
1029 1027:2:3564
1030 1028:2:3565
1031 1029:2:3563
1032 1030:2:3564
1033 1031:2:3565
1034 1032:2:3576
1035 1033:2:3584
1036 1034:0:4465
1037 1035:2:3131
1038 1036:0:4465
1039 1037:2:3590
1040 1038:0:4465
1041 1039:2:4113
1042 1040:2:4114
1043 1041:2:4118
1044 1042:2:4122
1045 1043:2:4123
1046 1044:2:4127
1047 1045:2:4135
1048 1046:2:4136
1049 1047:2:4140
1050 1048:2:4144
1051 1049:2:4145
1052 1050:2:4140
1053 1051:2:4144
1054 1052:2:4145
1055 1053:2:4149
1056 1054:2:4156
1057 1055:2:4163
1058 1056:2:4164
1059 1057:2:4171
1060 1058:2:4176
1061 1059:2:4183
1062 1060:2:4184
1063 1061:2:4183
1064 1062:2:4184
1065 1063:2:4191
1066 1064:2:4195
1067 1065:0:4465
1068 1066:2:3592
1069 1067:2:3593
1070 1068:0:4465
1071 1069:2:3131
1072 1070:0:4465
1073 1071:2:3456
1074 1072:2:3457
1075 1073:2:3461
1076 1074:2:3462
1077 1075:2:3470
1078 1076:2:3471
1079 1077:2:3475
1080 1078:2:3476
1081 1079:2:3484
1082 1080:2:3489
1083 1081:2:3493
1084 1082:2:3494
1085 1083:2:3502
1086 1084:2:3503
1087 1085:2:3507
1088 1086:2:3508
1089 1087:2:3502
1090 1088:2:3503
1091 1089:2:3507
1092 1090:2:3508
1093 1091:2:3516
1094 1092:2:3521
1095 1093:2:3522
1096 1094:2:3533
1097 1095:2:3534
1098 1096:2:3535
1099 1097:2:3546
1100 1098:2:3551
1101 1099:2:3552
1102 1100:2:3563
1103 1101:2:3564
1104 1102:2:3565
1105 1103:2:3563
1106 1104:2:3564
1107 1105:2:3565
1108 1106:2:3576
1109 1107:2:3584
1110 1108:0:4465
1111 1109:2:3131
1112 1110:0:4465
1113 1111:2:3590
1114 1112:0:4465
1115 1113:2:4113
1116 1114:2:4114
1117 1115:2:4118
1118 1116:2:4122
1119 1117:2:4123
1120 1118:2:4127
1121 1119:2:4135
1122 1120:2:4136
1123 1121:2:4140
1124 1122:2:4144
1125 1123:2:4145
1126 1124:2:4140
1127 1125:2:4144
1128 1126:2:4145
1129 1127:2:4149
1130 1128:2:4156
1131 1129:2:4163
1132 1130:2:4164
1133 1131:2:4171
1134 1132:2:4176
1135 1133:2:4183
1136 1134:2:4184
1137 1135:2:4183
1138 1136:2:4184
1139 1137:2:4191
1140 1138:2:4195
1141 1139:0:4465
1142 1140:1:1291
1143 1141:1:1292
1144 1142:0:4463
1145 1143:1:11
1146 1144:0:4469
1147 1145:2:3684