formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.spin.input.trail

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:2890
   4 2:2:1138
   5 3:2:1143
   6 4:2:1147
   7 5:2:1155
   8 6:2:1159
   9 7:2:1163
  10 8:0:2890
  11 9:1:0
  12 10:1:5
  13 11:1:9
  14 12:1:17
  15 13:1:21
  16 14:1:25
  17 15:0:2890
  18 16:3:2862
  19 17:3:2865
  20 18:3:2870
  21 19:3:2877
  22 20:3:2880
  23 21:3:2884
  24 22:3:2885
  25 23:0:2890
  26 24:3:2887
  27 25:0:2890
  28 26:2:1167
  29 27:0:2890
  30 28:2:1173
  31 29:0:2890
  32 30:2:1174
  33 31:0:2890
  34 32:2:1176
  35 33:0:2890
  36 34:2:1177
  37 35:0:2890
  38 36:2:1178
  39 37:0:2890
  40 38:2:1179
  41 39:0:2890
  42 40:2:1180
  43 41:2:1181
  44 42:2:1185
  45 43:2:1186
  46 44:2:1194
  47 45:2:1195
  48 46:2:1199
  49 47:2:1200
  50 48:2:1208
  51 49:2:1213
  52 50:2:1217
  53 51:2:1218
  54 52:2:1226
  55 53:2:1227
  56 54:2:1231
  57 55:2:1232
  58 56:2:1226
  59 57:2:1227
  60 58:2:1231
  61 59:2:1232
  62 60:2:1240
  63 61:2:1245
  64 62:2:1246
  65 63:2:1257
  66 64:2:1258
  67 65:2:1259
  68 66:2:1270
  69 67:2:1275
  70 68:2:1276
  71 69:2:1287
  72 70:2:1288
  73 71:2:1289
  74 72:2:1287
  75 73:2:1288
  76 74:2:1289
  77 75:2:1300
  78 76:2:1308
  79 77:0:2890
  80 78:2:1179
  81 79:0:2890
  82 80:2:1312
  83 81:2:1316
  84 82:2:1317
  85 83:2:1321
  86 84:2:1325
  87 85:2:1326
  88 86:2:1330
  89 87:2:1338
  90 88:2:1339
  91 89:2:1343
  92 90:2:1347
  93 91:2:1348
  94 92:2:1343
  95 93:2:1344
  96 94:2:1352
  97 95:0:2890
  98 96:2:1179
  99 97:0:2890
 100 98:2:1360
 101 99:2:1361
 102 100:2:1362
 103 101:0:2890
 104 102:2:1179
 105 103:0:2890
 106 104:2:1370
 107 105:0:2890
 108 106:2:1179
 109 107:0:2890
 110 108:2:1373
 111 109:2:1374
 112 110:2:1378
 113 111:2:1379
 114 112:2:1387
 115 113:2:1388
 116 114:2:1392
 117 115:2:1393
 118 116:2:1401
 119 117:2:1406
 120 118:2:1407
 121 119:2:1419
 122 120:2:1420
 123 121:2:1424
 124 122:2:1425
 125 123:2:1419
 126 124:2:1420
 127 125:2:1424
 128 126:2:1425
 129 127:2:1433
 130 128:2:1438
 131 129:2:1439
 132 130:2:1450
 133 131:2:1451
 134 132:2:1452
 135 133:2:1463
 136 134:2:1468
 137 135:2:1469
 138 136:2:1480
 139 137:2:1481
 140 138:2:1482
 141 139:2:1480
 142 140:2:1481
 143 141:2:1482
 144 142:2:1493
 145 143:2:1500
 146 144:0:2890
 147 145:2:1179
 148 146:0:2890
 149 147:2:1504
 150 148:2:1505
 151 149:2:1506
 152 150:2:1518
 153 151:2:1519
 154 152:2:1523
 155 153:2:1524
 156 154:2:1532
 157 155:2:1537
 158 156:2:1541
 159 157:2:1542
 160 158:2:1550
 161 159:2:1551
 162 160:2:1555
 163 161:2:1556
 164 162:2:1550
 165 163:2:1551
 166 164:2:1555
 167 165:2:1556
 168 166:2:1564
 169 167:2:1569
 170 168:2:1570
 171 169:2:1581
 172 170:2:1582
 173 171:2:1583
 174 172:2:1594
 175 173:2:1599
 176 174:2:1600
 177 175:2:1611
 178 176:2:1612
 179 177:2:1613
 180 178:2:1611
 181 179:2:1612
 182 180:2:1613
 183 181:2:1624
 184 182:2:1635
 185 183:2:1636
 186 184:0:2890
 187 185:2:1179
 188 186:0:2890
 189 187:2:1643
 190 188:2:1644
 191 189:2:1648
 192 190:2:1649
 193 191:2:1657
 194 192:2:1658
 195 193:2:1662
 196 194:2:1663
 197 195:2:1671
 198 196:2:1676
 199 197:2:1680
 200 198:2:1681
 201 199:2:1689
 202 200:2:1690
 203 201:2:1694
 204 202:2:1695
 205 203:2:1689
 206 204:2:1690
 207 205:2:1694
 208 206:2:1695
 209 207:2:1703
 210 208:2:1708
 211 209:2:1709
 212 210:2:1720
 213 211:2:1721
 214 212:2:1722
 215 213:2:1733
 216 214:2:1738
 217 215:2:1739
 218 216:2:1750
 219 217:2:1751
 220 218:2:1752
 221 219:2:1750
 222 220:2:1751
 223 221:2:1752
 224 222:2:1763
 225 223:0:2890
 226 224:2:1179
 227 225:0:2890
 228 226:2:1772
 229 227:2:1773
 230 228:2:1777
 231 229:2:1778
 232 230:2:1786
 233 231:2:1787
 234 232:2:1791
 235 233:2:1792
 236 234:2:1800
 237 235:2:1805
 238 236:2:1809
 239 237:2:1810
 240 238:2:1818
 241 239:2:1819
 242 240:2:1823
 243 241:2:1824
 244 242:2:1818
 245 243:2:1819
 246 244:2:1823
 247 245:2:1824
 248 246:2:1832
 249 247:2:1837
 250 248:2:1838
 251 249:2:1849
 252 250:2:1850
 253 251:2:1851
 254 252:2:1862
 255 253:2:1867
 256 254:2:1868
 257 255:2:1879
 258 256:2:1880
 259 257:2:1881
 260 258:2:1879
 261 259:2:1880
 262 260:2:1881
 263 261:2:1892
 264 262:2:1899
 265 263:0:2890
 266 264:2:1179
 267 265:0:2890
 268 266:2:1903
 269 267:2:1904
 270 268:2:1905
 271 269:2:1917
 272 270:2:1918
 273 271:2:1922
 274 272:2:1923
 275 273:2:1931
 276 274:2:1936
 277 275:2:1940
 278 276:2:1941
 279 277:2:1949
 280 278:2:1950
 281 279:2:1954
 282 280:2:1955
 283 281:2:1949
 284 282:2:1950
 285 283:2:1954
 286 284:2:1955
 287 285:2:1963
 288 286:2:1968
 289 287:2:1969
 290 288:2:1980
 291 289:2:1981
 292 290:2:1982
 293 291:2:1993
 294 292:2:1998
 295 293:2:1999
 296 294:2:2010
 297 295:2:2011
 298 296:2:2012
 299 297:2:2010
 300 298:2:2011
 301 299:2:2012
 302 300:2:2023
 303 301:2:2033
 304 302:2:2034
 305 303:0:2890
 306 304:2:1179
 307 305:0:2890
 308 306:2:2043
 309 307:2:2044
 310 308:0:2890
 311 309:2:1179
 312 310:0:2890
 313 311:2:2048
 314 312:0:2890
 315 313:2:2056
 316 314:0:2890
 317 315:2:1174
 318 316:0:2890
 319 317:2:1176
 320 318:0:2890
 321 319:2:1177
 322 320:0:2890
 323 321:2:1178
 324 322:0:2890
 325 323:2:1179
 326 324:0:2890
 327 325:2:1180
 328 326:2:1181
 329 327:2:1185
 330 328:2:1186
 331 329:2:1194
 332 330:2:1195
 333 331:2:1199
 334 332:2:1200
 335 333:2:1208
 336 334:2:1213
 337 335:2:1217
 338 336:2:1218
 339 337:2:1226
 340 338:2:1227
 341 339:2:1228
 342 340:2:1226
 343 341:2:1227
 344 342:2:1231
 345 343:2:1232
 346 344:2:1240
 347 345:2:1245
 348 346:2:1246
 349 347:2:1257
 350 348:2:1258
 351 349:2:1259
 352 350:2:1270
 353 351:2:1275
 354 352:2:1276
 355 353:2:1287
 356 354:2:1288
 357 355:2:1289
 358 356:2:1287
 359 357:2:1288
 360 358:2:1289
 361 359:2:1300
 362 360:2:1308
 363 361:0:2890
 364 362:2:1179
 365 363:0:2890
 366 364:2:1312
 367 365:2:1316
 368 366:2:1317
 369 367:2:1321
 370 368:2:1325
 371 369:2:1326
 372 370:2:1330
 373 371:2:1338
 374 372:2:1339
 375 373:2:1343
 376 374:2:1344
 377 375:2:1343
 378 376:2:1347
 379 377:2:1348
 380 378:2:1352
 381 379:0:2890
 382 380:2:1179
 383 381:0:2890
 384 382:2:1360
 385 383:2:1361
 386 384:2:1362
 387 385:0:2890
 388 386:2:1179
 389 387:0:2890
 390 388:2:1370
 391 389:0:2890
 392 390:2:1179
 393 391:0:2890
 394 392:2:1373
 395 393:2:1374
 396 394:2:1378
 397 395:2:1379
 398 396:2:1387
 399 397:2:1388
 400 398:2:1392
 401 399:2:1393
 402 400:2:1401
 403 401:2:1406
 404 402:2:1407
 405 403:2:1419
 406 404:2:1420
 407 405:2:1424
 408 406:2:1425
 409 407:2:1419
 410 408:2:1420
 411 409:2:1424
 412 410:2:1425
 413 411:2:1433
 414 412:2:1438
 415 413:2:1439
 416 414:2:1450
 417 415:2:1451
 418 416:2:1452
 419 417:2:1463
 420 418:2:1468
 421 419:2:1469
 422 420:2:1480
 423 421:2:1481
 424 422:2:1482
 425 423:2:1480
 426 424:2:1481
 427 425:2:1482
 428 426:2:1493
 429 427:2:1500
 430 428:0:2890
 431 429:2:1179
 432 430:0:2890
 433 431:2:1504
 434 432:2:1505
 435 433:2:1506
 436 434:2:1518
 437 435:2:1519
 438 436:2:1523
 439 437:2:1524
 440 438:2:1532
 441 439:2:1537
 442 440:2:1541
 443 441:2:1542
 444 442:2:1550
 445 443:2:1551
 446 444:2:1555
 447 445:2:1556
 448 446:2:1550
 449 447:2:1551
 450 448:2:1555
 451 449:2:1556
 452 450:2:1564
 453 451:2:1569
 454 452:2:1570
 455 453:2:1581
 456 454:2:1582
 457 455:2:1583
 458 456:2:1594
 459 457:2:1599
 460 458:2:1600
 461 459:2:1611
 462 460:2:1612
 463 461:2:1613
 464 462:2:1611
 465 463:2:1612
 466 464:2:1613
 467 465:2:1624
 468 466:2:1635
 469 467:2:1636
 470 468:0:2890
 471 469:2:1179
 472 470:0:2890
 473 471:2:1643
 474 472:2:1644
 475 473:2:1648
 476 474:2:1649
 477 475:2:1657
 478 476:2:1658
 479 477:2:1662
 480 478:2:1663
 481 479:2:1671
 482 480:2:1676
 483 481:2:1680
 484 482:2:1681
 485 483:2:1689
 486 484:2:1690
 487 485:2:1694
 488 486:2:1695
 489 487:2:1689
 490 488:2:1690
 491 489:2:1694
 492 490:2:1695
 493 491:2:1703
 494 492:2:1708
 495 493:2:1709
 496 494:2:1720
 497 495:2:1721
 498 496:2:1722
 499 497:2:1733
 500 498:2:1738
 501 499:2:1739
 502 500:2:1750
 503 501:2:1751
 504 502:2:1752
 505 503:2:1750
 506 504:2:1751
 507 505:2:1752
 508 506:2:1763
 509 507:0:2890
 510 508:2:1179
 511 509:0:2890
 512 510:2:1772
 513 511:2:1773
 514 512:2:1777
 515 513:2:1778
 516 514:2:1786
 517 515:2:1787
 518 516:2:1791
 519 517:2:1792
 520 518:2:1800
 521 519:2:1805
 522 520:2:1809
 523 521:2:1810
 524 522:2:1818
 525 523:2:1819
 526 524:2:1823
 527 525:2:1824
 528 526:2:1818
 529 527:2:1819
 530 528:2:1823
 531 529:2:1824
 532 530:2:1832
 533 531:2:1837
 534 532:2:1838
 535 533:2:1849
 536 534:2:1850
 537 535:2:1851
 538 536:2:1862
 539 537:2:1867
 540 538:2:1868
 541 539:2:1879
 542 540:2:1880
 543 541:2:1881
 544 542:2:1879
 545 543:2:1880
 546 544:2:1881
 547 545:2:1892
 548 546:2:1899
 549 547:0:2890
 550 548:2:1179
 551 549:0:2890
 552 550:2:1903
 553 551:2:1904
 554 552:2:1905
 555 553:2:1917
 556 554:2:1918
 557 555:2:1922
 558 556:2:1923
 559 557:2:1931
 560 558:2:1936
 561 559:2:1940
 562 560:2:1941
 563 561:2:1949
 564 562:2:1950
 565 563:2:1954
 566 564:2:1955
 567 565:2:1949
 568 566:2:1950
 569 567:2:1954
 570 568:2:1955
 571 569:2:1963
 572 570:2:1968
 573 571:2:1969
 574 572:2:1980
 575 573:2:1981
 576 574:2:1982
 577 575:2:1993
 578 576:2:1998
 579 577:2:1999
 580 578:2:2010
 581 579:2:2011
 582 580:2:2012
 583 581:2:2010
 584 582:2:2011
 585 583:2:2012
 586 584:2:2023
 587 585:2:2033
 588 586:2:2034
 589 587:0:2890
 590 588:2:1179
 591 589:0:2890
 592 590:2:2043
 593 591:2:2044
 594 592:0:2890
 595 593:2:1179
 596 594:0:2890
 597 595:2:2048
 598 596:0:2890
 599 597:2:2056
 600 598:0:2890
 601 599:2:1174
 602 600:0:2890
 603 601:2:1176
 604 602:0:2890
 605 603:2:1177
 606 604:0:2890
 607 605:2:1178
 608 606:0:2890
 609 607:2:1179
 610 608:0:2890
 611 609:2:1180
 612 610:2:1181
 613 611:2:1185
 614 612:2:1186
 615 613:2:1194
 616 614:2:1195
 617 615:2:1199
 618 616:2:1200
 619 617:2:1208
 620 618:2:1213
 621 619:2:1217
 622 620:2:1218
 623 621:2:1226
 624 622:2:1227
 625 623:2:1231
 626 624:2:1232
 627 625:2:1226
 628 626:2:1227
 629 627:2:1228
 630 628:2:1240
 631 629:2:1245
 632 630:2:1246
 633 631:2:1257
 634 632:2:1258
 635 633:2:1259
 636 634:2:1270
 637 635:2:1275
 638 636:2:1276
 639 637:2:1287
 640 638:2:1288
 641 639:2:1289
 642 640:2:1287
 643 641:2:1288
 644 642:2:1289
 645 643:2:1300
 646 644:2:1308
 647 645:0:2890
 648 646:2:1179
 649 647:0:2890
 650 648:2:1312
 651 649:2:1316
 652 650:2:1317
 653 651:2:1321
 654 652:2:1325
 655 653:2:1326
 656 654:2:1330
 657 655:2:1338
 658 656:2:1339
 659 657:2:1343
 660 658:2:1347
 661 659:2:1348
 662 660:2:1343
 663 661:2:1344
 664 662:2:1352
 665 663:0:2890
 666 664:2:1179
 667 665:0:2890
 668 666:2:1360
 669 667:2:1361
 670 668:2:1362
 671 669:0:2890
 672 670:2:1179
 673 671:0:2890
 674 672:2:1370
 675 673:0:2890
 676 674:2:1179
 677 675:0:2890
 678 676:2:1373
 679 677:2:1374
 680 678:2:1378
 681 679:2:1379
 682 680:2:1387
 683 681:2:1388
 684 682:2:1392
 685 683:2:1393
 686 684:2:1401
 687 685:2:1406
 688 686:2:1407
 689 687:2:1419
 690 688:2:1420
 691 689:2:1424
 692 690:2:1425
 693 691:2:1419
 694 692:2:1420
 695 693:2:1424
 696 694:2:1425
 697 695:2:1433
 698 696:2:1438
 699 697:2:1439
 700 698:2:1450
 701 699:2:1451
 702 700:2:1452
 703 701:2:1463
 704 702:2:1468
 705 703:2:1469
 706 704:2:1480
 707 705:2:1481
 708 706:2:1482
 709 707:2:1480
 710 708:2:1481
 711 709:2:1482
 712 710:2:1493
 713 711:2:1500
 714 712:0:2890
 715 713:2:1179
 716 714:0:2890
 717 715:2:1504
 718 716:2:1505
 719 717:2:1506
 720 718:2:1518
 721 719:2:1519
 722 720:2:1523
 723 721:2:1524
 724 722:2:1532
 725 723:2:1537
 726 724:2:1541
 727 725:2:1542
 728 726:2:1550
 729 727:2:1551
 730 728:2:1555
 731 729:2:1556
 732 730:2:1550
 733 731:2:1551
 734 732:2:1555
 735 733:2:1556
 736 734:2:1564
 737 735:2:1569
 738 736:2:1570
 739 737:2:1581
 740 738:2:1582
 741 739:2:1583
 742 740:2:1594
 743 741:2:1599
 744 742:2:1600
 745 743:2:1611
 746 744:2:1612
 747 745:2:1613
 748 746:2:1611
 749 747:2:1612
 750 748:2:1613
 751 749:2:1624
 752 750:2:1635
 753 751:2:1636
 754 752:0:2890
 755 753:2:1179
 756 754:0:2890
 757 755:2:1643
 758 756:2:1644
 759 757:2:1648
 760 758:2:1649
 761 759:2:1657
 762 760:2:1658
 763 761:2:1662
 764 762:2:1663
 765 763:2:1671
 766 764:2:1676
 767 765:2:1680
 768 766:2:1681
 769 767:2:1689
 770 768:2:1690
 771 769:2:1694
 772 770:2:1695
 773 771:2:1689
 774 772:2:1690
 775 773:2:1694
 776 774:2:1695
 777 775:2:1703
 778 776:2:1708
 779 777:2:1709
 780 778:2:1720
 781 779:2:1721
 782 780:2:1722
 783 781:2:1733
 784 782:2:1738
 785 783:2:1739
 786 784:2:1750
 787 785:2:1751
 788 786:2:1752
 789 787:2:1750
 790 788:2:1751
 791 789:2:1752
 792 790:2:1763
 793 791:0:2890
 794 792:2:1179
 795 793:0:2890
 796 794:2:1903
 797 795:2:1904
 798 796:2:1908
 799 797:2:1909
 800 798:2:1917
 801 799:2:1918
 802 800:2:1922
 803 801:2:1923
 804 802:2:1931
 805 803:2:1936
 806 804:2:1940
 807 805:2:1941
 808 806:2:1949
 809 807:2:1950
 810 808:2:1954
 811 809:2:1955
 812 810:2:1949
 813 811:2:1950
 814 812:2:1954
 815 813:2:1955
 816 814:2:1963
 817 815:2:1968
 818 816:2:1969
 819 817:2:1980
 820 818:2:1981
 821 819:2:1982
 822 820:2:1993
 823 821:2:1998
 824 822:2:1999
 825 823:2:2010
 826 824:2:2011
 827 825:2:2012
 828 826:2:2010
 829 827:2:2011
 830 828:2:2012
 831 829:2:2023
 832 830:2:2033
 833 831:2:2034
 834 832:0:2890
 835 833:2:1179
 836 834:0:2890
 837 835:2:2043
 838 836:2:2044
 839 837:0:2890
 840 838:2:1179
 841 839:0:2890
 842 840:2:1772
 843 841:2:1773
 844 842:2:1777
 845 843:2:1778
 846 844:2:1786
 847 845:2:1787
 848 846:2:1791
 849 847:2:1792
 850 848:2:1800
 851 849:2:1805
 852 850:2:1809
 853 851:2:1810
 854 852:2:1818
 855 853:2:1819
 856 854:2:1820
 857 855:2:1818
 858 856:2:1819
 859 857:2:1823
 860 858:2:1824
 861 859:2:1832
 862 860:2:1837
 863 861:2:1838
 864 862:2:1849
 865 863:2:1850
 866 864:2:1851
 867 865:2:1862
 868 866:2:1867
 869 867:2:1868
 870 868:2:1879
 871 869:2:1880
 872 870:2:1881
 873 871:2:1879
 874 872:2:1880
 875 873:2:1881
 876 874:2:1892
 877 875:2:1899
 878 876:0:2890
 879 877:2:1179
 880 878:0:2890
 881 879:2:2048
 882 880:0:2890
 883 881:2:2056
 884 882:0:2890
 885 883:2:2057
 886 884:0:2890
 887 885:2:2062
 888 886:0:2890
 889 887:1:29
 890 888:0:2890
 891 889:2:2063
 892 890:0:2890
 893 891:1:35
 894 892:0:2890
 895 893:2:2062
 896 894:0:2890
 897 895:1:36
 898 896:0:2890
 899 897:2:2063
 900 898:0:2890
 901 899:1:37
 902 900:0:2890
 903 901:2:2062
 904 902:0:2890
 905 903:1:38
 906 904:0:2890
 907 905:2:2063
 908 906:0:2890
 909 907:1:39
 910 908:0:2890
 911 909:2:2062
 912 910:0:2890
 913 911:1:40
 914 912:0:2890
 915 913:2:2063
 916 914:0:2890
 917 915:1:41
 918 916:0:2890
 919 917:2:2062
 920 918:0:2890
 921 919:1:42
 922 920:0:2890
 923 921:2:2063
 924 922:0:2890
 925 923:1:43
 926 924:0:2890
 927 925:2:2062
 928 926:0:2890
 929 927:1:44
 930 928:0:2890
 931 929:2:2063
 932 930:0:2890
 933 931:1:145
 934 932:0:2890
 935 933:2:2062
 936 934:0:2890
 937 935:1:147
 938 936:0:2890
 939 937:2:2063
 940 938:0:2890
 941 939:1:46
 942 940:0:2890
 943 941:2:2062
 944 942:0:2890
 945 943:1:153
 946 944:1:154
 947 945:1:158
 948 946:1:159
 949 947:1:167
 950 948:1:168
 951 949:1:172
 952 950:1:173
 953 951:1:181
 954 952:1:186
 955 953:1:190
 956 954:1:191
 957 955:1:199
 958 956:1:200
 959 957:1:204
 960 958:1:205
 961 959:1:199
 962 960:1:200
 963 961:1:204
 964 962:1:205
 965 963:1:213
 966 964:1:218
 967 965:1:219
 968 966:1:230
 969 967:1:231
 970 968:1:232
 971 969:1:243
 972 970:1:255
 973 971:1:256
 974 972:1:260
 975 973:1:261
 976 974:1:262
 977 975:1:260
 978 976:1:261
 979 977:1:262
 980 978:1:273
 981 979:0:2890
 982 980:2:2063
 983 981:0:2890
 984 982:1:42
 985 983:0:2890
 986 984:2:2062
 987 985:0:2890
 988 986:1:43
 989 987:0:2890
 990 988:2:2063
 991 989:0:2890
 992 990:1:44
 993 991:0:2890
 994 992:2:2062
 995 993:0:2890
 996 994:1:145
 997 995:0:2890
 998 996:2:2063
 999 997:0:2890
1000 998:1:147
1001 999:0:2890
1002 1000:2:2062
1003 1001:0:2890
1004 1002:1:46
1005 1003:0:2890
1006 1004:2:2063
1007 1005:0:2890
1008 1006:1:282
1009 1007:1:283
1010 1008:0:2890
1011 1009:2:2062
1012 1010:0:2890
1013 1011:1:42
1014 1012:0:2890
1015 1013:2:2063
1016 1014:0:2890
1017 1015:1:43
1018 1016:0:2890
1019 1017:2:2062
1020 1018:0:2890
1021 1019:1:44
1022 1020:0:2890
1023 1021:2:2063
1024 1022:0:2890
1025 1023:1:145
1026 1024:0:2890
1027 1025:2:2062
1028 1026:0:2890
1029 1027:1:147
1030 1028:0:2890
1031 1029:2:2063
1032 1030:0:2890
1033 1031:1:46
1034 1032:0:2890
1035 1033:2:2062
1036 1034:0:2890
1037 1035:1:289
1038 1036:1:290
1039 1037:1:294
1040 1038:1:295
1041 1039:1:303
1042 1040:1:304
1043 1041:1:308
1044 1042:1:309
1045 1043:1:317
1046 1044:1:322
1047 1045:1:326
1048 1046:1:327
1049 1047:1:335
1050 1048:1:336
1051 1049:1:340
1052 1050:1:341
1053 1051:1:335
1054 1052:1:336
1055 1053:1:340
1056 1054:1:341
1057 1055:1:349
1058 1056:1:354
1059 1057:1:355
1060 1058:1:366
1061 1059:1:367
1062 1060:1:368
1063 1061:1:379
1064 1062:1:391
1065 1063:1:392
1066 1064:1:396
1067 1065:1:397
1068 1066:1:398
1069 1067:1:396
1070 1068:1:397
1071 1069:1:398
1072 1070:1:409
1073 1071:0:2890
1074 1072:2:2063
1075 1073:0:2890
1076 1074:1:42
1077 1075:0:2890
1078 1076:2:2062
1079 1077:0:2890
1080 1078:1:43
1081 1079:0:2890
1082 1080:2:2063
1083 1081:0:2890
1084 1082:1:44
1085 1083:0:2890
1086 1084:2:2062
1087 1085:0:2890
1088 1086:1:145
1089 1087:0:2890
1090 1088:2:2063
1091 1089:0:2890
1092 1090:1:147
1093 1091:0:2890
1094 1092:2:2062
1095 1093:0:2890
1096 1094:1:46
1097 1095:0:2890
1098 1096:2:2063
1099 1097:0:2890
1100 1098:1:418
1101 1099:1:419
1102 1100:1:423
1103 1101:1:424
1104 1102:1:432
1105 1103:1:433
1106 1104:1:437
1107 1105:1:438
1108 1106:1:446
1109 1107:1:451
1110 1108:1:455
1111 1109:1:456
1112 1110:1:464
1113 1111:1:465
1114 1112:1:469
1115 1113:1:470
1116 1114:1:464
1117 1115:1:465
1118 1116:1:469
1119 1117:1:470
1120 1118:1:478
1121 1119:1:483
1122 1120:1:484
1123 1121:1:495
1124 1122:1:496
1125 1123:1:497
1126 1124:1:508
1127 1125:1:520
1128 1126:1:521
1129 1127:1:525
1130 1128:1:526
1131 1129:1:527
1132 1130:1:525
1133 1131:1:526
1134 1132:1:527
1135 1133:1:538
1136 1134:1:545
1137 1135:0:2890
1138 1136:2:2062
1139 1137:0:2890
1140 1138:1:42
1141 1139:0:2890
1142 1140:2:2063
1143 1141:0:2890
1144 1142:1:43
1145 1143:0:2890
1146 1144:2:2062
1147 1145:0:2890
1148 1146:1:44
1149 1147:0:2890
1150 1148:2:2063
1151 1149:0:2890
1152 1150:1:145
1153 1151:0:2890
1154 1152:2:2062
1155 1153:0:2890
1156 1154:1:147
1157 1155:0:2890
1158 1156:2:2063
1159 1157:0:2890
1160 1158:1:46
1161 1159:0:2890
1162 1160:2:2062
1163 1161:0:2890
1164 1162:1:683
1165 1163:1:684
1166 1164:1:688
1167 1165:1:689
1168 1166:1:697
1169 1167:1:698
1170 1168:1:699
1171 1169:1:711
1172 1170:1:716
1173 1171:1:720
1174 1172:1:721
1175 1173:1:729
1176 1174:1:730
1177 1175:1:734
1178 1176:1:735
1179 1177:1:729
1180 1178:1:730
1181 1179:1:734
1182 1180:1:735
1183 1181:1:743
1184 1182:1:748
1185 1183:1:749
1186 1184:1:760
1187 1185:1:761
1188 1186:1:762
1189 1187:1:773
1190 1188:1:785
1191 1189:1:786
1192 1190:1:790
1193 1191:1:791
1194 1192:1:792
1195 1193:1:790
1196 1194:1:791
1197 1195:1:792
1198 1196:1:803
1199 1197:0:2890
1200 1198:2:2063
1201 1199:0:2890
1202 1200:1:42
1203 1201:0:2890
1204 1202:2:2062
1205 1203:0:2890
1206 1204:1:43
1207 1205:0:2890
1208 1206:2:2063
1209 1207:0:2890
1210 1208:1:44
1211 1209:0:2890
1212 1210:2:2062
1213 1211:0:2890
1214 1212:1:145
1215 1213:0:2890
1216 1214:2:2063
1217 1215:0:2890
1218 1216:1:147
1219 1217:0:2890
1220 1218:2:2062
1221 1219:0:2890
1222 1220:1:46
1223 1221:0:2890
1224 1222:2:2063
1225 1223:0:2890
1226 1224:1:812
1227 1225:0:2890
1228 1226:2:2062
1229 1227:0:2890
1230 1228:1:1089
1231 1229:1:1096
1232 1230:1:1097
1233 1231:1:1104
1234 1232:1:1109
1235 1233:1:1116
1236 1234:1:1117
1237 1235:1:1116
1238 1236:1:1117
1239 1237:1:1124
1240 1238:1:1128
1241 1239:0:2890
1242 1240:2:2063
1243 1241:0:2890
1244 1242:1:814
1245 1243:1:815
1246 1244:0:2888
1247 1245:2:2062
1248 1246:0:2894
1249 1247:1:1049