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

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