formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.spin.input.trail

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:1946
   4 2:3:1898
   5 3:3:1901
   6 4:3:1901
   7 5:3:1904
   8 6:3:1912
   9 7:3:1912
  10 8:3:1915
  11 9:3:1921
  12 10:3:1925
  13 11:3:1925
  14 12:3:1928
  15 13:3:1936
  16 14:3:1940
  17 15:3:1941
  18 16:0:1946
  19 17:3:1943
  20 18:0:1946
  21 19:2:416
  22 20:0:1946
  23 21:2:422
  24 22:0:1946
  25 23:2:423
  26 24:0:1946
  27 25:2:424
  28 26:2:428
  29 27:2:429
  30 28:2:437
  31 29:2:438
  32 30:2:442
  33 31:2:443
  34 32:2:451
  35 33:2:456
  36 34:2:460
  37 35:2:461
  38 36:2:468
  39 37:2:469
  40 38:2:480
  41 39:2:481
  42 40:2:482
  43 41:2:493
  44 42:2:498
  45 43:2:499
  46 44:0:1946
  47 45:2:511
  48 46:0:1946
  49 47:2:513
  50 48:2:514
  51 49:0:1946
  52 50:2:518
  53 51:2:522
  54 52:2:523
  55 53:2:531
  56 54:2:532
  57 55:2:536
  58 56:2:537
  59 57:2:545
  60 58:2:550
  61 59:2:551
  62 60:2:562
  63 61:2:563
  64 62:2:574
  65 63:2:575
  66 64:2:576
  67 65:2:587
  68 66:2:592
  69 67:2:593
  70 68:0:1946
  71 69:2:605
  72 70:0:1946
  73 71:2:607
  74 72:0:1946
  75 73:2:608
  76 74:0:1946
  77 75:2:618
  78 76:0:1946
  79 77:2:619
  80 78:2:626
  81 79:2:627
  82 80:2:634
  83 81:2:639
  84 82:0:1946
  85 83:2:650
  86 84:0:1946
  87 85:2:651
  88 86:2:658
  89 87:2:659
  90 88:2:666
  91 89:2:671
  92 90:0:1946
  93 91:2:682
  94 92:0:1946
  95 93:2:687
  96 94:2:694
  97 95:2:695
  98 96:2:702
  99 97:2:707
 100 98:0:1946
 101 99:2:718
 102 100:0:1946
 103 101:2:720
 104 102:0:1946
 105 103:2:721
 106 104:2:725
 107 105:2:726
 108 106:2:734
 109 107:2:735
 110 108:2:739
 111 109:2:740
 112 110:2:748
 113 111:2:753
 114 112:2:757
 115 113:2:758
 116 114:2:765
 117 115:2:766
 118 116:2:777
 119 117:2:778
 120 118:2:779
 121 119:2:790
 122 120:2:795
 123 121:2:796
 124 122:0:1946
 125 123:2:808
 126 124:0:1946
 127 125:2:810
 128 126:0:1946
 129 127:2:813
 130 128:2:814
 131 129:2:826
 132 130:2:827
 133 131:2:831
 134 132:2:832
 135 133:2:840
 136 134:2:845
 137 135:2:849
 138 136:2:850
 139 137:2:857
 140 138:2:858
 141 139:2:869
 142 140:2:870
 143 141:2:871
 144 142:2:882
 145 143:2:887
 146 144:2:888
 147 145:0:1946
 148 146:2:900
 149 147:0:1946
 150 148:2:902
 151 149:0:1946
 152 150:2:903
 153 151:0:1946
 154 152:2:904
 155 153:0:1946
 156 154:2:905
 157 155:0:1946
 158 156:2:906
 159 157:2:910
 160 158:2:911
 161 159:2:919
 162 160:2:920
 163 161:2:924
 164 162:2:925
 165 163:2:933
 166 164:2:938
 167 165:2:942
 168 166:2:943
 169 167:2:950
 170 168:2:951
 171 169:2:962
 172 170:2:963
 173 171:2:964
 174 172:2:975
 175 173:2:980
 176 174:2:981
 177 175:0:1946
 178 176:2:993
 179 177:0:1946
 180 178:2:1097
 181 179:0:1946
 182 180:2:1195
 183 181:0:1946
 184 182:2:1196
 185 183:0:1946
 186 184:2:1200
 187 185:0:1946
 188 186:2:1206
 189 187:2:1210
 190 188:2:1211
 191 189:2:1219
 192 190:2:1220
 193 191:2:1224
 194 192:2:1225
 195 193:2:1233
 196 194:2:1238
 197 195:2:1242
 198 196:2:1243
 199 197:2:1250
 200 198:2:1251
 201 199:2:1262
 202 200:2:1263
 203 201:2:1264
 204 202:2:1275
 205 203:2:1280
 206 204:2:1281
 207 205:0:1946
 208 206:2:1293
 209 207:0:1946
 210 208:2:1295
 211 209:0:1946
 212 210:2:1296
 213 211:2:1300
 214 212:2:1301
 215 213:2:1309
 216 214:2:1310
 217 215:2:1314
 218 216:2:1315
 219 217:2:1323
 220 218:2:1328
 221 219:2:1332
 222 220:2:1333
 223 221:2:1340
 224 222:2:1341
 225 223:2:1352
 226 224:2:1353
 227 225:2:1354
 228 226:2:1365
 229 227:2:1370
 230 228:2:1371
 231 229:0:1946
 232 230:2:1383
 233 231:0:1946
 234 232:2:1385
 235 233:0:1946
 236 234:2:1388
 237 235:2:1389
 238 236:2:1401
 239 237:2:1402
 240 238:2:1406
 241 239:2:1407
 242 240:2:1415
 243 241:2:1420
 244 242:2:1424
 245 243:2:1425
 246 244:2:1432
 247 245:2:1433
 248 246:2:1444
 249 247:2:1445
 250 248:2:1446
 251 249:2:1457
 252 250:2:1462
 253 251:2:1463
 254 252:0:1946
 255 253:2:1475
 256 254:0:1946
 257 255:2:1477
 258 256:0:1946
 259 257:2:1478
 260 258:0:1946
 261 259:2:1479
 262 260:0:1946
 263 261:2:1480
 264 262:0:1946
 265 263:2:1481
 266 264:2:1485
 267 265:2:1486
 268 266:2:1494
 269 267:2:1495
 270 268:2:1499
 271 269:2:1500
 272 270:2:1508
 273 271:2:1513
 274 272:2:1517
 275 273:2:1518
 276 274:2:1525
 277 275:2:1526
 278 276:2:1537
 279 277:2:1538
 280 278:2:1539
 281 279:2:1550
 282 280:2:1555
 283 281:2:1556
 284 282:0:1946
 285 283:2:1568
 286 284:0:1946
 287 285:2:1672
 288 286:0:1946
 289 287:2:1770
 290 288:0:1946
 291 289:2:1771
 292 290:0:1946
 293 291:2:1775
 294 292:0:1946
 295 293:2:1781
 296 294:2:1788
 297 295:2:1789
 298 296:2:1796
 299 297:2:1801
 300 298:0:1946
 301 299:2:1812
 302 300:0:1946
 303 301:2:1813
 304 302:2:1820
 305 303:2:1821
 306 304:2:1828
 307 305:2:1833
 308 306:0:1946
 309 307:2:1844
 310 308:0:1946
 311 309:2:1849
 312 310:2:1856
 313 311:2:1857
 314 312:2:1864
 315 313:2:1869
 316 314:0:1946
 317 315:2:1880
 318 316:0:1946
 319 317:2:1882
 320 318:0:1946
 321 319:2:1883
 322 320:0:1946
 323 321:2:423
 324 322:0:1946
 325 323:2:424
 326 324:2:428
 327 325:2:429
 328 326:2:437
 329 327:2:438
 330 328:2:442
 331 329:2:443
 332 330:2:451
 333 331:2:456
 334 332:2:460
 335 333:2:461
 336 334:2:468
 337 335:2:469
 338 336:2:480
 339 337:2:481
 340 338:2:482
 341 339:2:493
 342 340:2:498
 343 341:2:499
 344 342:0:1946
 345 343:2:511
 346 344:0:1946
 347 345:2:513
 348 346:2:514
 349 347:0:1946
 350 348:2:518
 351 349:2:522
 352 350:2:523
 353 351:2:531
 354 352:2:532
 355 353:2:536
 356 354:2:537
 357 355:2:545
 358 356:2:550
 359 357:2:551
 360 358:2:562
 361 359:2:563
 362 360:2:574
 363 361:2:575
 364 362:2:576
 365 363:2:587
 366 364:2:592
 367 365:2:593
 368 366:0:1946
 369 367:2:605
 370 368:0:1946
 371 369:2:607
 372 370:0:1946
 373 371:2:608
 374 372:0:1946
 375 373:2:618
 376 374:0:1946
 377 375:2:619
 378 376:2:626
 379 377:2:627
 380 378:2:634
 381 379:2:639
 382 380:0:1946
 383 381:2:650
 384 382:0:1946
 385 383:2:651
 386 384:2:658
 387 385:2:659
 388 386:2:666
 389 387:2:671
 390 388:0:1946
 391 389:2:682
 392 390:0:1946
 393 391:2:687
 394 392:2:694
 395 393:2:695
 396 394:2:702
 397 395:2:707
 398 396:0:1946
 399 397:2:718
 400 398:0:1946
 401 399:2:720
 402 400:0:1946
 403 401:2:721
 404 402:2:725
 405 403:2:726
 406 404:2:734
 407 405:2:735
 408 406:2:739
 409 407:2:740
 410 408:2:748
 411 409:2:753
 412 410:2:757
 413 411:2:758
 414 412:2:765
 415 413:2:766
 416 414:2:777
 417 415:2:778
 418 416:2:779
 419 417:2:790
 420 418:2:795
 421 419:2:796
 422 420:0:1946
 423 421:2:808
 424 422:0:1946
 425 423:2:810
 426 424:0:1946
 427 425:2:813
 428 426:2:814
 429 427:2:826
 430 428:2:827
 431 429:2:831
 432 430:2:832
 433 431:2:840
 434 432:2:845
 435 433:2:849
 436 434:2:850
 437 435:2:857
 438 436:2:858
 439 437:2:869
 440 438:2:870
 441 439:2:871
 442 440:2:882
 443 441:2:887
 444 442:2:888
 445 443:0:1946
 446 444:2:900
 447 445:0:1946
 448 446:2:902
 449 447:0:1946
 450 448:2:903
 451 449:0:1946
 452 450:2:904
 453 451:0:1946
 454 452:2:905
 455 453:0:1946
 456 454:2:906
 457 455:2:910
 458 456:2:911
 459 457:2:919
 460 458:2:920
 461 459:2:924
 462 460:2:925
 463 461:2:933
 464 462:2:938
 465 463:2:942
 466 464:2:943
 467 465:2:950
 468 466:2:951
 469 467:2:962
 470 468:2:963
 471 469:2:964
 472 470:2:975
 473 471:2:980
 474 472:2:981
 475 473:0:1946
 476 474:2:993
 477 475:0:1946
 478 476:2:1097
 479 477:0:1946
 480 478:2:1195
 481 479:0:1946
 482 480:2:1196
 483 481:0:1946
 484 482:2:1200
 485 483:0:1946
 486 484:2:1206
 487 485:2:1210
 488 486:2:1211
 489 487:2:1219
 490 488:2:1220
 491 489:2:1224
 492 490:2:1225
 493 491:2:1233
 494 492:2:1238
 495 493:2:1242
 496 494:2:1243
 497 495:2:1250
 498 496:2:1251
 499 497:2:1262
 500 498:2:1263
 501 499:2:1264
 502 500:2:1275
 503 501:2:1280
 504 502:2:1281
 505 503:0:1946
 506 504:2:1293
 507 505:0:1946
 508 506:2:1295
 509 507:0:1946
 510 508:2:1296
 511 509:2:1300
 512 510:2:1301
 513 511:2:1309
 514 512:2:1310
 515 513:2:1314
 516 514:2:1315
 517 515:2:1323
 518 516:2:1328
 519 517:2:1332
 520 518:2:1333
 521 519:2:1340
 522 520:2:1341
 523 521:2:1352
 524 522:2:1353
 525 523:2:1354
 526 524:2:1365
 527 525:2:1370
 528 526:2:1371
 529 527:0:1946
 530 528:2:1383
 531 529:0:1946
 532 530:2:1385
 533 531:0:1946
 534 532:2:1388
 535 533:2:1389
 536 534:2:1401
 537 535:2:1402
 538 536:2:1406
 539 537:2:1407
 540 538:2:1415
 541 539:2:1420
 542 540:2:1424
 543 541:2:1425
 544 542:2:1432
 545 543:2:1433
 546 544:2:1444
 547 545:2:1445
 548 546:2:1446
 549 547:2:1457
 550 548:2:1462
 551 549:2:1463
 552 550:0:1946
 553 551:2:1475
 554 552:0:1946
 555 553:2:1477
 556 554:0:1946
 557 555:2:1478
 558 556:0:1946
 559 557:2:1479
 560 558:0:1946
 561 559:2:1480
 562 560:0:1946
 563 561:2:1481
 564 562:2:1485
 565 563:2:1486
 566 564:2:1494
 567 565:2:1495
 568 566:2:1499
 569 567:2:1500
 570 568:2:1508
 571 569:2:1513
 572 570:2:1517
 573 571:2:1518
 574 572:2:1525
 575 573:2:1526
 576 574:2:1537
 577 575:2:1538
 578 576:2:1539
 579 577:2:1550
 580 578:2:1555
 581 579:2:1556
 582 580:0:1946
 583 581:2:1568
 584 582:0:1946
 585 583:2:1672
 586 584:0:1946
 587 585:2:1770
 588 586:0:1946
 589 587:2:1771
 590 588:0:1946
 591 589:2:1775
 592 590:0:1946
 593 591:2:1781
 594 592:2:1788
 595 593:2:1789
 596 594:2:1796
 597 595:2:1801
 598 596:0:1946
 599 597:2:1812
 600 598:0:1946
 601 599:2:1813
 602 600:2:1820
 603 601:2:1821
 604 602:2:1828
 605 603:2:1833
 606 604:0:1946
 607 605:2:1844
 608 606:0:1946
 609 607:2:1849
 610 608:2:1856
 611 609:2:1857
 612 610:2:1864
 613 611:2:1869
 614 612:0:1946
 615 613:2:1880
 616 614:0:1946
 617 615:2:1882
 618 616:0:1946
 619 617:2:1883
 620 618:0:1946
 621 619:2:423
 622 620:0:1946
 623 621:2:424
 624 622:2:428
 625 623:2:429
 626 624:2:437
 627 625:2:438
 628 626:2:442
 629 627:2:443
 630 628:2:451
 631 629:2:456
 632 630:2:460
 633 631:2:461
 634 632:2:468
 635 633:2:469
 636 634:2:480
 637 635:2:481
 638 636:2:482
 639 637:2:493
 640 638:2:498
 641 639:2:499
 642 640:0:1946
 643 641:2:511
 644 642:0:1946
 645 643:2:513
 646 644:2:514
 647 645:0:1946
 648 646:2:518
 649 647:2:522
 650 648:2:523
 651 649:2:531
 652 650:2:532
 653 651:2:536
 654 652:2:537
 655 653:2:545
 656 654:2:550
 657 655:2:551
 658 656:2:562
 659 657:2:563
 660 658:2:574
 661 659:2:575
 662 660:2:576
 663 661:2:587
 664 662:2:592
 665 663:2:593
 666 664:0:1946
 667 665:2:605
 668 666:0:1946
 669 667:2:607
 670 668:0:1946
 671 669:2:608
 672 670:0:1946
 673 671:2:618
 674 672:0:1946
 675 673:2:619
 676 674:2:626
 677 675:2:627
 678 676:2:634
 679 677:2:639
 680 678:0:1946
 681 679:2:650
 682 680:0:1946
 683 681:2:651
 684 682:2:658
 685 683:2:659
 686 684:2:666
 687 685:2:671
 688 686:0:1946
 689 687:2:682
 690 688:0:1946
 691 689:2:687
 692 690:2:694
 693 691:2:695
 694 692:2:702
 695 693:2:707
 696 694:0:1946
 697 695:2:718
 698 696:0:1946
 699 697:2:720
 700 698:0:1946
 701 699:2:721
 702 700:2:725
 703 701:2:726
 704 702:2:734
 705 703:2:735
 706 704:2:739
 707 705:2:740
 708 706:2:748
 709 707:2:753
 710 708:2:757
 711 709:2:758
 712 710:2:765
 713 711:2:766
 714 712:2:777
 715 713:2:778
 716 714:2:779
 717 715:2:790
 718 716:2:795
 719 717:2:796
 720 718:0:1946
 721 719:2:808
 722 720:0:1946
 723 721:2:810
 724 722:0:1946
 725 723:2:813
 726 724:2:814
 727 725:2:826
 728 726:2:827
 729 727:2:831
 730 728:2:832
 731 729:2:840
 732 730:2:845
 733 731:2:849
 734 732:2:850
 735 733:2:857
 736 734:2:858
 737 735:2:869
 738 736:2:870
 739 737:2:871
 740 738:2:882
 741 739:2:887
 742 740:2:888
 743 741:0:1946
 744 742:2:900
 745 743:0:1946
 746 744:2:902
 747 745:0:1946
 748 746:2:903
 749 747:0:1946
 750 748:2:904
 751 749:0:1946
 752 750:2:905
 753 751:0:1946
 754 752:2:906
 755 753:2:910
 756 754:2:911
 757 755:2:919
 758 756:2:920
 759 757:2:924
 760 758:2:925
 761 759:2:933
 762 760:2:938
 763 761:2:942
 764 762:2:943
 765 763:2:950
 766 764:2:951
 767 765:2:962
 768 766:2:963
 769 767:2:964
 770 768:2:975
 771 769:2:980
 772 770:2:981
 773 771:0:1946
 774 772:2:993
 775 773:0:1946
 776 774:2:1097
 777 775:0:1946
 778 776:2:1195
 779 777:0:1946
 780 778:2:1196
 781 779:0:1946
 782 780:2:1200
 783 781:0:1946
 784 782:2:1206
 785 783:2:1210
 786 784:2:1211
 787 785:2:1219
 788 786:2:1220
 789 787:2:1224
 790 788:2:1225
 791 789:2:1233
 792 790:2:1238
 793 791:2:1242
 794 792:2:1243
 795 793:2:1250
 796 794:2:1251
 797 795:2:1262
 798 796:2:1263
 799 797:2:1264
 800 798:2:1275
 801 799:2:1280
 802 800:2:1281
 803 801:0:1946
 804 802:2:1293
 805 803:0:1946
 806 804:2:1295
 807 805:0:1946
 808 806:2:1296
 809 807:2:1300
 810 808:2:1301
 811 809:2:1309
 812 810:2:1310
 813 811:2:1314
 814 812:2:1315
 815 813:2:1323
 816 814:2:1328
 817 815:2:1332
 818 816:2:1333
 819 817:2:1340
 820 818:2:1341
 821 819:2:1352
 822 820:2:1353
 823 821:2:1354
 824 822:2:1365
 825 823:2:1370
 826 824:2:1371
 827 825:0:1946
 828 826:2:1383
 829 827:0:1946
 830 828:2:1385
 831 829:0:1946
 832 830:2:1388
 833 831:2:1389
 834 832:2:1401
 835 833:2:1402
 836 834:2:1406
 837 835:2:1407
 838 836:2:1415
 839 837:2:1420
 840 838:2:1424
 841 839:2:1425
 842 840:2:1432
 843 841:2:1433
 844 842:2:1444
 845 843:2:1445
 846 844:2:1446
 847 845:2:1457
 848 846:2:1462
 849 847:2:1463
 850 848:0:1946
 851 849:2:1475
 852 850:0:1946
 853 851:2:1477
 854 852:0:1946
 855 853:2:1478
 856 854:0:1946
 857 855:2:1479
 858 856:0:1946
 859 857:2:1480
 860 858:0:1946
 861 859:2:1481
 862 860:2:1485
 863 861:2:1486
 864 862:2:1494
 865 863:2:1495
 866 864:2:1499
 867 865:2:1500
 868 866:2:1508
 869 867:2:1513
 870 868:2:1517
 871 869:2:1518
 872 870:2:1525
 873 871:2:1526
 874 872:2:1537
 875 873:2:1538
 876 874:2:1539
 877 875:2:1550
 878 876:2:1555
 879 877:2:1556
 880 878:0:1946
 881 879:2:1568
 882 880:0:1946
 883 881:2:1672
 884 882:0:1946
 885 883:2:1770
 886 884:0:1946
 887 885:2:1771
 888 886:0:1946
 889 887:2:1775
 890 888:0:1946
 891 889:2:1781
 892 890:2:1788
 893 891:2:1789
 894 892:2:1796
 895 893:2:1801
 896 894:0:1946
 897 895:2:1812
 898 896:0:1946
 899 897:2:1813
 900 898:2:1820
 901 899:2:1821
 902 900:2:1828
 903 901:2:1833
 904 902:0:1946
 905 903:2:1844
 906 904:0:1946
 907 905:2:1849
 908 906:2:1856
 909 907:2:1857
 910 908:2:1864
 911 909:2:1869
 912 910:0:1946
 913 911:2:1880
 914 912:0:1946
 915 913:2:1882
 916 914:0:1946
 917 915:2:1883
 918 916:0:1946
 919 917:2:423
 920 918:0:1946
 921 919:2:424
 922 920:2:428
 923 921:2:429
 924 922:2:437
 925 923:2:438
 926 924:2:442
 927 925:2:443
 928 926:2:451
 929 927:2:456
 930 928:2:460
 931 929:2:461
 932 930:2:468
 933 931:2:469
 934 932:2:480
 935 933:2:481
 936 934:2:482
 937 935:2:493
 938 936:2:498
 939 937:2:499
 940 938:0:1946
 941 939:2:511
 942 940:0:1946
 943 941:2:513
 944 942:2:514
 945 943:0:1946
 946 944:2:518
 947 945:2:522
 948 946:2:523
 949 947:2:531
 950 948:2:532
 951 949:2:536
 952 950:2:537
 953 951:2:545
 954 952:2:550
 955 953:2:551
 956 954:2:562
 957 955:2:563
 958 956:2:574
 959 957:2:575
 960 958:2:576
 961 959:2:587
 962 960:2:592
 963 961:2:593
 964 962:0:1946
 965 963:2:605
 966 964:0:1946
 967 965:2:607
 968 966:0:1946
 969 967:2:608
 970 968:0:1946
 971 969:2:618
 972 970:0:1946
 973 971:2:619
 974 972:2:626
 975 973:2:627
 976 974:2:634
 977 975:2:639
 978 976:0:1946
 979 977:2:650
 980 978:0:1946
 981 979:2:651
 982 980:2:658
 983 981:2:659
 984 982:2:666
 985 983:2:671
 986 984:0:1946
 987 985:2:682
 988 986:0:1946
 989 987:2:687
 990 988:2:694
 991 989:2:695
 992 990:2:702
 993 991:2:707
 994 992:0:1946
 995 993:2:718
 996 994:0:1946
 997 995:2:720
 998 996:0:1946
 999 997:2:721
1000 998:2:725
1001 999:2:726
1002 1000:2:734
1003 1001:2:735
1004 1002:2:739
1005 1003:2:740
1006 1004:2:748
1007 1005:2:753
1008 1006:2:757
1009 1007:2:758
1010 1008:2:765
1011 1009:2:766
1012 1010:2:777
1013 1011:2:778
1014 1012:2:779
1015 1013:2:790
1016 1014:2:795
1017 1015:2:796
1018 1016:0:1946
1019 1017:2:808
1020 1018:0:1946
1021 1019:2:810
1022 1020:0:1946
1023 1021:2:813
1024 1022:2:814
1025 1023:2:826
1026 1024:2:827
1027 1025:2:831
1028 1026:2:832
1029 1027:2:840
1030 1028:2:845
1031 1029:2:849
1032 1030:2:850
1033 1031:2:857
1034 1032:2:858
1035 1033:2:869
1036 1034:2:870
1037 1035:2:871
1038 1036:2:882
1039 1037:2:887
1040 1038:2:888
1041 1039:0:1946
1042 1040:2:900
1043 1041:0:1946
1044 1042:2:902
1045 1043:0:1946
1046 1044:2:903
1047 1045:0:1946
1048 1046:2:904
1049 1047:0:1946
1050 1048:2:905
1051 1049:0:1946
1052 1050:2:906
1053 1051:2:910
1054 1052:2:911
1055 1053:2:919
1056 1054:2:920
1057 1055:2:924
1058 1056:2:925
1059 1057:2:933
1060 1058:2:938
1061 1059:2:942
1062 1060:2:943
1063 1061:2:950
1064 1062:2:951
1065 1063:2:962
1066 1064:2:963
1067 1065:2:964
1068 1066:2:975
1069 1067:2:980
1070 1068:2:981
1071 1069:0:1946
1072 1070:2:993
1073 1071:0:1946
1074 1072:2:1097
1075 1073:0:1946
1076 1074:2:1195
1077 1075:0:1946
1078 1076:2:1196
1079 1077:0:1946
1080 1078:2:1200
1081 1079:0:1946
1082 1080:2:1206
1083 1081:2:1210
1084 1082:2:1211
1085 1083:2:1219
1086 1084:2:1220
1087 1085:2:1224
1088 1086:2:1225
1089 1087:2:1233
1090 1088:2:1238
1091 1089:2:1242
1092 1090:2:1243
1093 1091:2:1250
1094 1092:2:1251
1095 1093:2:1262
1096 1094:2:1263
1097 1095:2:1264
1098 1096:2:1275
1099 1097:2:1280
1100 1098:2:1281
1101 1099:0:1946
1102 1100:2:1293
1103 1101:0:1946
1104 1102:2:1295
1105 1103:0:1946
1106 1104:2:1296
1107 1105:2:1300
1108 1106:2:1301
1109 1107:2:1309
1110 1108:2:1310
1111 1109:2:1314
1112 1110:2:1315
1113 1111:2:1323
1114 1112:2:1328
1115 1113:2:1332
1116 1114:2:1333
1117 1115:2:1340
1118 1116:2:1341
1119 1117:2:1352
1120 1118:2:1353
1121 1119:2:1354
1122 1120:2:1365
1123 1121:2:1370
1124 1122:2:1371
1125 1123:0:1946
1126 1124:2:1383
1127 1125:0:1946
1128 1126:2:1385
1129 1127:0:1946
1130 1128:2:1388
1131 1129:2:1389
1132 1130:2:1401
1133 1131:2:1402
1134 1132:2:1406
1135 1133:2:1407
1136 1134:2:1415
1137 1135:2:1420
1138 1136:2:1424
1139 1137:2:1425
1140 1138:2:1432
1141 1139:2:1433
1142 1140:2:1444
1143 1141:2:1445
1144 1142:2:1446
1145 1143:2:1457
1146 1144:2:1462
1147 1145:2:1463
1148 1146:0:1946
1149 1147:2:1475
1150 1148:0:1946
1151 1149:2:1477
1152 1150:0:1946
1153 1151:2:1478
1154 1152:0:1946
1155 1153:2:1479
1156 1154:0:1946
1157 1155:2:1480
1158 1156:0:1946
1159 1157:2:1481
1160 1158:2:1485
1161 1159:2:1486
1162 1160:2:1494
1163 1161:2:1495
1164 1162:2:1499
1165 1163:2:1500
1166 1164:2:1508
1167 1165:2:1513
1168 1166:2:1517
1169 1167:2:1518
1170 1168:2:1525
1171 1169:2:1526
1172 1170:2:1537
1173 1171:2:1538
1174 1172:2:1539
1175 1173:2:1550
1176 1174:2:1555
1177 1175:2:1556
1178 1176:0:1946
1179 1177:2:1568
1180 1178:0:1946
1181 1179:2:1672
1182 1180:0:1946
1183 1181:2:1770
1184 1182:0:1946
1185 1183:2:1771
1186 1184:0:1946
1187 1185:2:1775
1188 1186:0:1946
1189 1187:2:1781
1190 1188:2:1788
1191 1189:2:1789
1192 1190:2:1796
1193 1191:2:1801
1194 1192:0:1946
1195 1193:2:1812
1196 1194:0:1946
1197 1195:2:1813
1198 1196:2:1820
1199 1197:2:1821
1200 1198:2:1828
1201 1199:2:1833
1202 1200:0:1946
1203 1201:2:1844
1204 1202:0:1946
1205 1203:2:1849
1206 1204:2:1856
1207 1205:2:1857
1208 1206:2:1864
1209 1207:2:1869
1210 1208:0:1946
1211 1209:2:1880
1212 1210:0:1946
1213 1211:2:1882
1214 1212:0:1946
1215 1213:2:1883
1216 1214:0:1946
1217 1215:2:423
1218 1216:0:1946
1219 1217:2:424
1220 1218:2:428
1221 1219:2:429
1222 1220:2:437
1223 1221:2:438
1224 1222:2:442
1225 1223:2:443
1226 1224:2:451
1227 1225:2:456
1228 1226:2:460
1229 1227:2:461
1230 1228:2:468
1231 1229:2:469
1232 1230:2:480
1233 1231:2:481
1234 1232:2:482
1235 1233:2:493
1236 1234:2:498
1237 1235:2:499
1238 1236:0:1946
1239 1237:2:511
1240 1238:0:1946
1241 1239:2:513
1242 1240:2:514
1243 1241:0:1946
1244 1242:2:518
1245 1243:2:522
1246 1244:2:523
1247 1245:2:531
1248 1246:2:532
1249 1247:2:536
1250 1248:2:537
1251 1249:2:545
1252 1250:2:550
1253 1251:2:551
1254 1252:2:562
1255 1253:2:563
1256 1254:2:574
1257 1255:2:575
1258 1256:2:576
1259 1257:2:587
1260 1258:2:592
1261 1259:2:593
1262 1260:0:1946
1263 1261:2:605
1264 1262:0:1946
1265 1263:2:607
1266 1264:0:1946
1267 1265:2:608
1268 1266:0:1946
1269 1267:2:618
1270 1268:0:1946
1271 1269:2:619
1272 1270:2:626
1273 1271:2:627
1274 1272:2:634
1275 1273:2:639
1276 1274:0:1946
1277 1275:2:650
1278 1276:0:1946
1279 1277:1:2
1280 1278:0:1946
1281 1279:1:8
1282 1280:0:1946
1283 1281:1:9
1284 1282:0:1946
1285 1283:1:10
1286 1284:0:1946
1287 1285:1:11
1288 1286:0:1946
1289 1287:1:12
1290 1288:1:16
1291 1289:1:17
1292 1290:1:25
1293 1291:1:26
1294 1292:1:30
1295 1293:1:31
1296 1294:1:39
1297 1295:1:44
1298 1296:1:48
1299 1297:1:49
1300 1298:1:56
1301 1299:1:57
1302 1300:1:68
1303 1301:1:69
1304 1302:1:70
1305 1303:1:81
1306 1304:1:93
1307 1305:1:94
1308 1306:0:1946
1309 1307:1:99
1310 1308:0:1946
1311 1309:1:101
1312 1310:0:1946
1313 1311:1:102
1314 1312:1:106
1315 1313:1:107
1316 1314:1:115
1317 1315:1:116
1318 1316:1:120
1319 1317:1:121
1320 1318:1:129
1321 1319:1:134
1322 1320:1:138
1323 1321:1:139
1324 1322:1:146
1325 1323:1:147
1326 1324:1:158
1327 1325:1:159
1328 1326:1:160
1329 1327:1:171
1330 1328:1:183
1331 1329:1:184
1332 1330:0:1946
1333 1331:1:189
1334 1332:0:1946
1335 1333:1:191
1336 1334:0:1946
1337 1335:1:192
1338 1336:0:1946
1339 1337:1:193
1340 1338:1:197
1341 1339:1:198
1342 1340:1:206
1343 1341:1:207
1344 1342:1:211
1345 1343:1:212
1346 1344:1:220
1347 1345:1:225
1348 1346:1:229
1349 1347:1:230
1350 1348:1:237
1351 1349:1:238
1352 1350:1:249
1353 1351:1:250
1354 1352:1:251
1355 1353:1:262
1356 1354:1:274
1357 1355:1:275
1358 1356:0:1946
1359 1357:1:280
1360 1358:0:1946
1361 1359:1:282
1362 1360:0:1946
1363 1361:1:291
1364 1362:0:1946
1365 1363:1:293
1366 1364:0:1946
1367 1365:1:296
1368 1366:0:1946
1369 1367:1:301
1370 1368:0:1946
1371 1369:2:651
1372 1370:2:658
1373 1371:2:661
1374 1372:2:662
1375 1373:2:666
1376 1374:2:671
1377 1375:0:1946
1378 1376:2:682
1379 1377:0:1946
1380 1378:2:687
1381 1379:2:694
1382 1380:2:695
1383 1381:2:702
1384 1382:2:707
1385 1383:0:1946
1386 1384:2:718
1387 1385:0:1946
1388 1386:2:720
1389 1387:0:1946
1390 1388:2:721
1391 1389:2:725
1392 1390:2:726
1393 1391:2:734
1394 1392:2:735
1395 1393:2:739
1396 1394:2:740
1397 1395:2:748
1398 1396:2:753
1399 1397:2:757
1400 1398:2:758
1401 1399:2:765
1402 1400:2:766
1403 1401:2:777
1404 1402:2:778
1405 1403:2:779
1406 1404:2:790
1407 1405:2:795
1408 1406:2:796
1409 1407:0:1946
1410 1408:2:808
1411 1409:0:1946
1412 1410:2:810
1413 1411:0:1946
1414 1412:2:813
1415 1413:2:814
1416 1414:2:826
1417 1415:2:827
1418 1416:2:831
1419 1417:2:832
1420 1418:2:840
1421 1419:2:845
1422 1420:2:849
1423 1421:2:850
1424 1422:2:857
1425 1423:2:858
1426 1424:2:869
1427 1425:2:870
1428 1426:2:871
1429 1427:2:882
1430 1428:2:887
1431 1429:2:888
1432 1430:0:1946
1433 1431:2:900
1434 1432:0:1946
1435 1433:2:902
1436 1434:0:1946
1437 1435:2:903
1438 1436:0:1946
1439 1437:2:904
1440 1438:0:1946
1441 1439:2:905
1442 1440:0:1946
1443 1441:2:906
1444 1442:2:910
1445 1443:2:911
1446 1444:2:919
1447 1445:2:920
1448 1446:2:924
1449 1447:2:925
1450 1448:2:933
1451 1449:2:938
1452 1450:2:942
1453 1451:2:943
1454 1452:2:950
1455 1453:2:951
1456 1454:2:962
1457 1455:2:963
1458 1456:2:964
1459 1457:2:975
1460 1458:2:980
1461 1459:2:981
1462 1460:0:1946
1463 1461:2:993
1464 1462:0:1946
1465 1463:2:1097
1466 1464:0:1946
1467 1465:2:1195
1468 1466:0:1946
1469 1467:2:1196
1470 1468:0:1946
1471 1469:2:1200
1472 1470:0:1946
1473 1471:2:1206
1474 1472:2:1210
1475 1473:2:1211
1476 1474:2:1219
1477 1475:2:1220
1478 1476:2:1224
1479 1477:2:1225
1480 1478:2:1233
1481 1479:2:1238
1482 1480:2:1242
1483 1481:2:1243
1484 1482:2:1250
1485 1483:2:1251
1486 1484:2:1262
1487 1485:2:1263
1488 1486:2:1264
1489 1487:2:1275
1490 1488:2:1280
1491 1489:2:1281
1492 1490:0:1946
1493 1491:2:1293
1494 1492:0:1946
1495 1493:2:1295
1496 1494:0:1946
1497 1495:2:1296
1498 1496:2:1300
1499 1497:2:1301
1500 1498:2:1309
1501 1499:2:1310
1502 1500:2:1314
1503 1501:2:1315
1504 1502:2:1323
1505 1503:2:1328
1506 1504:2:1332
1507 1505:2:1333
1508 1506:2:1340
1509 1507:2:1341
1510 1508:2:1352
1511 1509:2:1353
1512 1510:2:1354
1513 1511:2:1365
1514 1512:2:1370
1515 1513:2:1371
1516 1514:0:1946
1517 1515:2:1383
1518 1516:0:1946
1519 1517:2:1385
1520 1518:0:1946
1521 1519:2:1388
1522 1520:2:1389
1523 1521:2:1401
1524 1522:2:1402
1525 1523:2:1406
1526 1524:2:1407
1527 1525:2:1415
1528 1526:2:1420
1529 1527:2:1424
1530 1528:2:1425
1531 1529:2:1432
1532 1530:2:1433
1533 1531:2:1444
1534 1532:2:1445
1535 1533:2:1446
1536 1534:2:1457
1537 1535:2:1462
1538 1536:2:1463
1539 1537:0:1946
1540 1538:2:1475
1541 1539:0:1946
1542 1540:2:1477
1543 1541:0:1946
1544 1542:2:1478
1545 1543:0:1946
1546 1544:2:1479
1547 1545:0:1946
1548 1546:2:1480
1549 1547:0:1946
1550 1548:2:1481
1551 1549:2:1485
1552 1550:2:1486
1553 1551:2:1494
1554 1552:2:1495
1555 1553:2:1499
1556 1554:2:1500
1557 1555:2:1508
1558 1556:2:1513
1559 1557:2:1517
1560 1558:2:1518
1561 1559:2:1525
1562 1560:2:1526
1563 1561:2:1537
1564 1562:2:1538
1565 1563:2:1539
1566 1564:2:1550
1567 1565:2:1555
1568 1566:2:1556
1569 1567:0:1946
1570 1568:2:1568
1571 1569:0:1946
1572 1570:2:1672
1573 1571:0:1946
1574 1572:2:1770
1575 1573:0:1946
1576 1574:2:1771
1577 1575:0:1946
1578 1576:2:1775
1579 1577:0:1946
1580 1578:2:1781
1581 1579:2:1788
1582 1580:2:1789
1583 1581:2:1796
1584 1582:2:1801
1585 1583:0:1946
1586 1584:2:1812
1587 1585:0:1946
1588 1586:2:1813
1589 1587:2:1820
1590 1588:2:1823
1591 1589:2:1824
1592 1590:2:1828
1593 1591:2:1833
1594 1592:0:1946
1595 1593:2:1844
1596 1594:0:1946
1597 1595:2:1849
1598 1596:2:1856
1599 1597:2:1857
1600 1598:2:1864
1601 1599:2:1869
1602 1600:0:1946
1603 1601:2:1880
1604 1602:0:1946
1605 1603:2:1882
1606 1604:0:1946
1607 1605:2:1883
1608 1606:0:1946
1609 1607:2:1886
1610 1608:0:1946
1611 1609:2:1891
1612 1610:0:1946
1613 1611:1:302
1614 1612:0:1944
1615 1613:2:1892
1616 1614:0:1950
1617 1615:1:244