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

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:2887
   4 2:2:1136
   5 3:2:1141
   6 4:2:1145
   7 5:2:1153
   8 6:2:1157
   9 7:2:1161
  10 8:0:2887
  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:2887
  18 16:3:2859
  19 17:3:2862
  20 18:3:2867
  21 19:3:2874
  22 20:3:2877
  23 21:3:2881
  24 22:3:2882
  25 23:0:2887
  26 24:3:2884
  27 25:0:2887
  28 26:2:1165
  29 27:0:2887
  30 28:2:1171
  31 29:0:2887
  32 30:2:1172
  33 31:0:2887
  34 32:2:1174
  35 33:0:2887
  36 34:2:1175
  37 35:0:2887
  38 36:2:1176
  39 37:0:2887
  40 38:2:1177
  41 39:2:1178
  42 40:2:1182
  43 41:2:1183
  44 42:2:1191
  45 43:2:1192
  46 44:2:1196
  47 45:2:1197
  48 46:2:1205
  49 47:2:1210
  50 48:2:1214
  51 49:2:1215
  52 50:2:1223
  53 51:2:1224
  54 52:2:1228
  55 53:2:1229
  56 54:2:1223
  57 55:2:1224
  58 56:2:1228
  59 57:2:1229
  60 58:2:1237
  61 59:2:1242
  62 60:2:1243
  63 61:2:1254
  64 62:2:1255
  65 63:2:1256
  66 64:2:1267
  67 65:2:1272
  68 66:2:1273
  69 67:2:1284
  70 68:2:1285
  71 69:2:1286
  72 70:2:1284
  73 71:2:1285
  74 72:2:1286
  75 73:2:1297
  76 74:2:1305
  77 75:0:2887
  78 76:2:1176
  79 77:0:2887
  80 78:2:1357
  81 79:2:1358
  82 80:2:1359
  83 81:0:2887
  84 82:2:1176
  85 83:0:2887
  86 84:2:1364
  87 85:0:2887
  88 86:2:2068
  89 87:2:2069
  90 88:2:2073
  91 89:2:2077
  92 90:2:2078
  93 91:2:2082
  94 92:2:2087
  95 93:2:2095
  96 94:2:2099
  97 95:2:2100
  98 96:2:2095
  99 97:2:2096
 100 98:2:2104
 101 99:2:2111
 102 100:2:2118
 103 101:2:2119
 104 102:2:2126
 105 103:2:2131
 106 104:2:2138
 107 105:2:2139
 108 106:2:2138
 109 107:2:2139
 110 108:2:2146
 111 109:2:2150
 112 110:0:2887
 113 111:2:2155
 114 112:0:2887
 115 113:2:2156
 116 114:0:2887
 117 115:2:2157
 118 116:0:2887
 119 117:2:2158
 120 118:0:2887
 121 119:1:29
 122 120:0:2887
 123 121:2:2159
 124 122:0:2887
 125 123:1:35
 126 124:0:2887
 127 125:1:36
 128 126:0:2887
 129 127:2:2158
 130 128:0:2887
 131 129:1:37
 132 130:0:2887
 133 131:2:2159
 134 132:0:2887
 135 133:1:38
 136 134:0:2887
 137 135:2:2158
 138 136:0:2887
 139 137:1:39
 140 138:0:2887
 141 139:2:2159
 142 140:0:2887
 143 141:1:40
 144 142:0:2887
 145 143:1:41
 146 144:0:2887
 147 145:2:2158
 148 146:0:2887
 149 147:1:42
 150 148:0:2887
 151 149:2:2159
 152 150:0:2887
 153 151:1:51
 154 152:0:2887
 155 153:2:2158
 156 154:0:2887
 157 155:1:55
 158 156:1:56
 159 157:1:60
 160 158:1:64
 161 159:1:65
 162 160:1:69
 163 161:1:77
 164 162:1:78
 165 163:1:82
 166 164:1:86
 167 165:1:87
 168 166:1:82
 169 167:1:86
 170 168:1:87
 171 169:1:91
 172 170:1:98
 173 171:1:105
 174 172:1:106
 175 173:1:113
 176 174:1:118
 177 175:1:125
 178 176:1:126
 179 177:1:125
 180 178:1:126
 181 179:1:133
 182 180:1:137
 183 181:0:2887
 184 182:2:2159
 185 183:0:2887
 186 184:1:142
 187 185:0:2887
 188 186:2:2160
 189 187:0:2887
 190 188:2:2165
 191 189:0:2887
 192 190:2:2166
 193 191:0:2887
 194 192:2:2174
 195 193:2:2175
 196 194:2:2179
 197 195:2:2183
 198 196:2:2184
 199 197:2:2188
 200 198:2:2196
 201 199:2:2197
 202 200:2:2201
 203 201:2:2205
 204 202:2:2206
 205 203:2:2201
 206 204:2:2205
 207 205:2:2206
 208 206:2:2210
 209 207:2:2217
 210 208:2:2224
 211 209:2:2225
 212 210:2:2232
 213 211:2:2237
 214 212:2:2244
 215 213:2:2245
 216 214:2:2244
 217 215:2:2245
 218 216:2:2252
 219 217:2:2256
 220 218:0:2887
 221 219:2:1366
 222 220:2:2049
 223 221:0:2887
 224 222:2:1176
 225 223:0:2887
 226 224:2:1367
 227 225:0:2887
 228 226:2:1176
 229 227:0:2887
 230 228:2:1370
 231 229:2:1371
 232 230:2:1375
 233 231:2:1376
 234 232:2:1384
 235 233:2:1385
 236 234:2:1389
 237 235:2:1390
 238 236:2:1398
 239 237:2:1403
 240 238:2:1407
 241 239:2:1408
 242 240:2:1416
 243 241:2:1417
 244 242:2:1421
 245 243:2:1422
 246 244:2:1416
 247 245:2:1417
 248 246:2:1421
 249 247:2:1422
 250 248:2:1430
 251 249:2:1435
 252 250:2:1436
 253 251:2:1447
 254 252:2:1448
 255 253:2:1449
 256 254:2:1460
 257 255:2:1465
 258 256:2:1466
 259 257:2:1477
 260 258:2:1478
 261 259:2:1479
 262 260:2:1477
 263 261:2:1478
 264 262:2:1479
 265 263:2:1490
 266 264:2:1497
 267 265:0:2887
 268 266:2:1176
 269 267:0:2887
 270 268:2:1501
 271 269:2:1502
 272 270:2:1503
 273 271:2:1515
 274 272:2:1516
 275 273:2:1520
 276 274:2:1521
 277 275:2:1529
 278 276:2:1534
 279 277:2:1538
 280 278:2:1539
 281 279:2:1547
 282 280:2:1548
 283 281:2:1552
 284 282:2:1553
 285 283:2:1547
 286 284:2:1548
 287 285:2:1552
 288 286:2:1553
 289 287:2:1561
 290 288:2:1566
 291 289:2:1567
 292 290:2:1578
 293 291:2:1579
 294 292:2:1580
 295 293:2:1591
 296 294:2:1596
 297 295:2:1597
 298 296:2:1608
 299 297:2:1609
 300 298:2:1610
 301 299:2:1608
 302 300:2:1609
 303 301:2:1610
 304 302:2:1621
 305 303:2:1632
 306 304:2:1633
 307 305:0:2887
 308 306:2:1176
 309 307:0:2887
 310 308:2:1640
 311 309:2:1641
 312 310:2:1645
 313 311:2:1646
 314 312:2:1654
 315 313:2:1655
 316 314:2:1659
 317 315:2:1660
 318 316:2:1668
 319 317:2:1673
 320 318:2:1677
 321 319:2:1678
 322 320:2:1686
 323 321:2:1687
 324 322:2:1691
 325 323:2:1692
 326 324:2:1686
 327 325:2:1687
 328 326:2:1691
 329 327:2:1692
 330 328:2:1700
 331 329:2:1705
 332 330:2:1706
 333 331:2:1717
 334 332:2:1718
 335 333:2:1719
 336 334:2:1730
 337 335:2:1735
 338 336:2:1736
 339 337:2:1747
 340 338:2:1748
 341 339:2:1749
 342 340:2:1747
 343 341:2:1748
 344 342:2:1749
 345 343:2:1760
 346 344:0:2887
 347 345:2:1176
 348 346:0:2887
 349 347:2:1769
 350 348:2:1770
 351 349:2:1774
 352 350:2:1775
 353 351:2:1783
 354 352:2:1784
 355 353:2:1788
 356 354:2:1789
 357 355:2:1797
 358 356:2:1802
 359 357:2:1806
 360 358:2:1807
 361 359:2:1815
 362 360:2:1816
 363 361:2:1820
 364 362:2:1821
 365 363:2:1815
 366 364:2:1816
 367 365:2:1820
 368 366:2:1821
 369 367:2:1829
 370 368:2:1834
 371 369:2:1835
 372 370:2:1846
 373 371:2:1847
 374 372:2:1848
 375 373:2:1859
 376 374:2:1864
 377 375:2:1865
 378 376:2:1876
 379 377:2:1877
 380 378:2:1878
 381 379:2:1876
 382 380:2:1877
 383 381:2:1878
 384 382:2:1889
 385 383:2:1896
 386 384:0:2887
 387 385:2:1176
 388 386:0:2887
 389 387:2:1900
 390 388:2:1901
 391 389:2:1902
 392 390:2:1914
 393 391:2:1915
 394 392:2:1919
 395 393:2:1920
 396 394:2:1928
 397 395:2:1933
 398 396:2:1937
 399 397:2:1938
 400 398:2:1946
 401 399:2:1947
 402 400:2:1951
 403 401:2:1952
 404 402:2:1946
 405 403:2:1947
 406 404:2:1951
 407 405:2:1952
 408 406:2:1960
 409 407:2:1965
 410 408:2:1966
 411 409:2:1977
 412 410:2:1978
 413 411:2:1979
 414 412:2:1990
 415 413:2:1995
 416 414:2:1996
 417 415:2:2007
 418 416:2:2008
 419 417:2:2009
 420 418:2:2007
 421 419:2:2008
 422 420:2:2009
 423 421:2:2020
 424 422:2:2030
 425 423:2:2031
 426 424:0:2887
 427 425:2:1176
 428 426:0:2887
 429 427:2:2037
 430 428:0:2887
 431 429:2:2662
 432 430:2:2663
 433 431:2:2667
 434 432:2:2671
 435 433:2:2672
 436 434:2:2676
 437 435:2:2684
 438 436:2:2685
 439 437:2:2689
 440 438:2:2693
 441 439:2:2694
 442 440:2:2689
 443 441:2:2693
 444 442:2:2694
 445 443:2:2698
 446 444:2:2705
 447 445:2:2712
 448 446:2:2713
 449 447:2:2720
 450 448:2:2725
 451 449:2:2732
 452 450:2:2733
 453 451:2:2732
 454 452:2:2733
 455 453:2:2740
 456 454:2:2744
 457 455:0:2887
 458 456:2:2749
 459 457:0:2887
 460 458:2:2750
 461 459:0:2887
 462 460:2:2751
 463 461:0:2887
 464 462:2:2752
 465 463:0:2887
 466 464:1:51
 467 465:0:2887
 468 466:2:2753
 469 467:0:2887
 470 468:1:55
 471 469:1:56
 472 470:1:60
 473 471:1:64
 474 472:1:65
 475 473:1:69
 476 474:1:77
 477 475:1:78
 478 476:1:82
 479 477:1:86
 480 478:1:87
 481 479:1:82
 482 480:1:86
 483 481:1:87
 484 482:1:91
 485 483:1:98
 486 484:1:105
 487 485:1:106
 488 486:1:113
 489 487:1:118
 490 488:1:125
 491 489:1:126
 492 490:1:125
 493 491:1:126
 494 492:1:133
 495 493:1:137
 496 494:0:2887
 497 495:2:2752
 498 496:0:2887
 499 497:1:142
 500 498:0:2887
 501 499:2:2753
 502 500:0:2887
 503 501:2:2754
 504 502:0:2887
 505 503:2:2759
 506 504:0:2887
 507 505:2:2760
 508 506:0:2887
 509 507:2:2768
 510 508:2:2769
 511 509:2:2773
 512 510:2:2777
 513 511:2:2778
 514 512:2:2782
 515 513:2:2790
 516 514:2:2791
 517 515:2:2795
 518 516:2:2799
 519 517:2:2800
 520 518:2:2795
 521 519:2:2799
 522 520:2:2800
 523 521:2:2804
 524 522:2:2811
 525 523:2:2818
 526 524:2:2819
 527 525:2:2826
 528 526:2:2831
 529 527:2:2838
 530 528:2:2839
 531 529:2:2838
 532 530:2:2839
 533 531:2:2846
 534 532:2:2850
 535 533:0:2887
 536 534:2:2039
 537 535:2:2049
 538 536:0:2887
 539 537:2:1176
 540 538:0:2887
 541 539:2:2040
 542 540:2:2041
 543 541:0:2887
 544 542:2:1176
 545 543:0:2887
 546 544:2:2045
 547 545:0:2887
 548 546:2:2053
 549 547:0:2887
 550 548:2:1172
 551 549:0:2887
 552 550:2:1174
 553 551:0:2887
 554 552:2:1175
 555 553:0:2887
 556 554:2:1176
 557 555:0:2887
 558 556:2:1357
 559 557:2:1358
 560 558:2:1359
 561 559:0:2887
 562 560:2:1176
 563 561:0:2887
 564 562:2:1177
 565 563:2:1178
 566 564:2:1182
 567 565:2:1183
 568 566:2:1191
 569 567:2:1192
 570 568:2:1196
 571 569:2:1197
 572 570:2:1205
 573 571:2:1210
 574 572:2:1211
 575 573:2:1223
 576 574:2:1224
 577 575:2:1225
 578 576:2:1223
 579 577:2:1224
 580 578:2:1228
 581 579:2:1229
 582 580:2:1237
 583 581:2:1242
 584 582:2:1243
 585 583:2:1254
 586 584:2:1255
 587 585:2:1256
 588 586:2:1267
 589 587:2:1272
 590 588:2:1273
 591 589:2:1284
 592 590:2:1285
 593 591:2:1286
 594 592:2:1284
 595 593:2:1285
 596 594:2:1286
 597 595:2:1297
 598 596:2:1305
 599 597:0:2887
 600 598:2:1176
 601 599:0:2887
 602 600:2:1364
 603 601:0:2887
 604 602:2:2068
 605 603:2:2069
 606 604:2:2073
 607 605:2:2077
 608 606:2:2078
 609 607:2:2082
 610 608:2:2090
 611 609:2:2091
 612 610:2:2095
 613 611:2:2096
 614 612:2:2095
 615 613:2:2099
 616 614:2:2100
 617 615:2:2104
 618 616:2:2111
 619 617:2:2118
 620 618:2:2119
 621 619:2:2126
 622 620:2:2131
 623 621:2:2138
 624 622:2:2139
 625 623:2:2138
 626 624:2:2139
 627 625:2:2146
 628 626:2:2150
 629 627:0:2887
 630 628:2:2155
 631 629:0:2887
 632 630:2:2156
 633 631:0:2887
 634 632:2:2157
 635 633:0:2887
 636 634:2:2158
 637 635:0:2887
 638 636:1:51
 639 637:0:2887
 640 638:2:2159
 641 639:0:2887
 642 640:1:55
 643 641:1:56
 644 642:1:60
 645 643:1:64
 646 644:1:65
 647 645:1:69
 648 646:1:77
 649 647:1:78
 650 648:1:82
 651 649:1:86
 652 650:1:87
 653 651:1:82
 654 652:1:86
 655 653:1:87
 656 654:1:91
 657 655:1:98
 658 656:1:105
 659 657:1:106
 660 658:1:113
 661 659:1:118
 662 660:1:125
 663 661:1:126
 664 662:1:125
 665 663:1:126
 666 664:1:133
 667 665:1:137
 668 666:0:2887
 669 667:2:2158
 670 668:0:2887
 671 669:1:142
 672 670:0:2887
 673 671:2:2159
 674 672:0:2887
 675 673:2:2160
 676 674:0:2887
 677 675:2:2165
 678 676:0:2887
 679 677:2:2166
 680 678:0:2887
 681 679:2:2174
 682 680:2:2175
 683 681:2:2179
 684 682:2:2183
 685 683:2:2184
 686 684:2:2188
 687 685:2:2196
 688 686:2:2197
 689 687:2:2201
 690 688:2:2205
 691 689:2:2206
 692 690:2:2201
 693 691:2:2205
 694 692:2:2206
 695 693:2:2210
 696 694:2:2217
 697 695:2:2224
 698 696:2:2225
 699 697:2:2232
 700 698:2:2237
 701 699:2:2244
 702 700:2:2245
 703 701:2:2244
 704 702:2:2245
 705 703:2:2252
 706 704:2:2256
 707 705:0:2887
 708 706:2:1366
 709 707:2:2049
 710 708:0:2887
 711 709:2:1176
 712 710:0:2887
 713 711:2:1367
 714 712:0:2887
 715 713:2:1176
 716 714:0:2887
 717 715:2:1370
 718 716:2:1371
 719 717:2:1375
 720 718:2:1376
 721 719:2:1384
 722 720:2:1385
 723 721:2:1389
 724 722:2:1390
 725 723:2:1398
 726 724:2:1403
 727 725:2:1407
 728 726:2:1408
 729 727:2:1416
 730 728:2:1417
 731 729:2:1421
 732 730:2:1422
 733 731:2:1416
 734 732:2:1417
 735 733:2:1421
 736 734:2:1422
 737 735:2:1430
 738 736:2:1435
 739 737:2:1436
 740 738:2:1447
 741 739:2:1448
 742 740:2:1449
 743 741:2:1460
 744 742:2:1465
 745 743:2:1466
 746 744:2:1477
 747 745:2:1478
 748 746:2:1479
 749 747:2:1477
 750 748:2:1478
 751 749:2:1479
 752 750:2:1490
 753 751:2:1497
 754 752:0:2887
 755 753:2:1176
 756 754:0:2887
 757 755:2:1501
 758 756:2:1502
 759 757:2:1503
 760 758:2:1515
 761 759:2:1516
 762 760:2:1520
 763 761:2:1521
 764 762:2:1529
 765 763:2:1534
 766 764:2:1538
 767 765:2:1539
 768 766:2:1547
 769 767:2:1548
 770 768:2:1552
 771 769:2:1553
 772 770:2:1547
 773 771:2:1548
 774 772:2:1552
 775 773:2:1553
 776 774:2:1561
 777 775:2:1566
 778 776:2:1567
 779 777:2:1578
 780 778:2:1579
 781 779:2:1580
 782 780:2:1591
 783 781:2:1596
 784 782:2:1597
 785 783:2:1608
 786 784:2:1609
 787 785:2:1610
 788 786:2:1608
 789 787:2:1609
 790 788:2:1610
 791 789:2:1621
 792 790:2:1632
 793 791:2:1633
 794 792:0:2887
 795 793:2:1176
 796 794:0:2887
 797 795:2:1640
 798 796:2:1641
 799 797:2:1645
 800 798:2:1646
 801 799:2:1654
 802 800:2:1655
 803 801:2:1659
 804 802:2:1660
 805 803:2:1668
 806 804:2:1673
 807 805:2:1677
 808 806:2:1678
 809 807:2:1686
 810 808:2:1687
 811 809:2:1691
 812 810:2:1692
 813 811:2:1686
 814 812:2:1687
 815 813:2:1691
 816 814:2:1692
 817 815:2:1700
 818 816:2:1705
 819 817:2:1706
 820 818:2:1717
 821 819:2:1718
 822 820:2:1719
 823 821:2:1730
 824 822:2:1735
 825 823:2:1736
 826 824:2:1747
 827 825:2:1748
 828 826:2:1749
 829 827:2:1747
 830 828:2:1748
 831 829:2:1749
 832 830:2:1760
 833 831:0:2887
 834 832:2:1176
 835 833:0:2887
 836 834:2:1769
 837 835:2:1770
 838 836:2:1774
 839 837:2:1775
 840 838:2:1783
 841 839:2:1784
 842 840:2:1788
 843 841:2:1789
 844 842:2:1797
 845 843:2:1802
 846 844:2:1806
 847 845:2:1807
 848 846:2:1815
 849 847:2:1816
 850 848:2:1820
 851 849:2:1821
 852 850:2:1815
 853 851:2:1816
 854 852:2:1820
 855 853:2:1821
 856 854:2:1829
 857 855:2:1834
 858 856:2:1835
 859 857:2:1846
 860 858:2:1847
 861 859:2:1848
 862 860:2:1859
 863 861:2:1864
 864 862:2:1865
 865 863:2:1876
 866 864:2:1877
 867 865:2:1878
 868 866:2:1876
 869 867:2:1877
 870 868:2:1878
 871 869:2:1889
 872 870:2:1896
 873 871:0:2887
 874 872:2:1176
 875 873:0:2887
 876 874:2:1900
 877 875:2:1901
 878 876:2:1902
 879 877:2:1914
 880 878:2:1915
 881 879:2:1919
 882 880:2:1920
 883 881:2:1928
 884 882:2:1933
 885 883:2:1937
 886 884:2:1938
 887 885:2:1946
 888 886:2:1947
 889 887:2:1951
 890 888:2:1952
 891 889:2:1946
 892 890:2:1947
 893 891:2:1951
 894 892:2:1952
 895 893:2:1960
 896 894:2:1965
 897 895:2:1966
 898 896:2:1977
 899 897:2:1978
 900 898:2:1979
 901 899:2:1990
 902 900:2:1995
 903 901:2:1996
 904 902:2:2007
 905 903:2:2008
 906 904:2:2009
 907 905:2:2007
 908 906:2:2008
 909 907:2:2009
 910 908:2:2020
 911 909:2:2030
 912 910:2:2031
 913 911:0:2887
 914 912:2:1176
 915 913:0:2887
 916 914:2:2037
 917 915:0:2887
 918 916:2:2662
 919 917:2:2663
 920 918:2:2667
 921 919:2:2671
 922 920:2:2672
 923 921:2:2676
 924 922:2:2684
 925 923:2:2685
 926 924:2:2689
 927 925:2:2693
 928 926:2:2694
 929 927:2:2689
 930 928:2:2693
 931 929:2:2694
 932 930:2:2698
 933 931:2:2705
 934 932:2:2712
 935 933:2:2713
 936 934:2:2720
 937 935:2:2725
 938 936:2:2732
 939 937:2:2733
 940 938:2:2732
 941 939:2:2733
 942 940:2:2740
 943 941:2:2744
 944 942:0:2887
 945 943:2:2749
 946 944:0:2887
 947 945:2:2750
 948 946:0:2887
 949 947:2:2751
 950 948:0:2887
 951 949:2:2752
 952 950:0:2887
 953 951:1:51
 954 952:0:2887
 955 953:2:2753
 956 954:0:2887
 957 955:1:55
 958 956:1:56
 959 957:1:60
 960 958:1:64
 961 959:1:65
 962 960:1:69
 963 961:1:77
 964 962:1:78
 965 963:1:82
 966 964:1:86
 967 965:1:87
 968 966:1:82
 969 967:1:86
 970 968:1:87
 971 969:1:91
 972 970:1:98
 973 971:1:105
 974 972:1:106
 975 973:1:113
 976 974:1:118
 977 975:1:125
 978 976:1:126
 979 977:1:125
 980 978:1:126
 981 979:1:133
 982 980:1:137
 983 981:0:2887
 984 982:2:2752
 985 983:0:2887
 986 984:1:142
 987 985:0:2887
 988 986:2:2753
 989 987:0:2887
 990 988:2:2754
 991 989:0:2887
 992 990:2:2759
 993 991:0:2887
 994 992:2:2760
 995 993:0:2887
 996 994:2:2768
 997 995:2:2769
 998 996:2:2773
 999 997:2:2777
1000 998:2:2778
1001 999:2:2782
1002 1000:2:2790
1003 1001:2:2791
1004 1002:2:2795
1005 1003:2:2799
1006 1004:2:2800
1007 1005:2:2795
1008 1006:2:2799
1009 1007:2:2800
1010 1008:2:2804
1011 1009:2:2811
1012 1010:2:2818
1013 1011:2:2819
1014 1012:2:2826
1015 1013:2:2831
1016 1014:2:2838
1017 1015:2:2839
1018 1016:2:2838
1019 1017:2:2839
1020 1018:2:2846
1021 1019:2:2850
1022 1020:0:2887
1023 1021:2:2039
1024 1022:2:2049
1025 1023:0:2887
1026 1024:2:1176
1027 1025:0:2887
1028 1026:2:2040
1029 1027:2:2041
1030 1028:0:2887
1031 1029:2:1176
1032 1030:0:2887
1033 1031:2:2045
1034 1032:0:2887
1035 1033:2:2053
1036 1034:0:2887
1037 1035:2:1172
1038 1036:0:2887
1039 1037:2:1174
1040 1038:0:2887
1041 1039:2:1175
1042 1040:0:2887
1043 1041:2:1176
1044 1042:0:2887
1045 1043:2:1177
1046 1044:2:1178
1047 1045:2:1182
1048 1046:2:1183
1049 1047:2:1191
1050 1048:2:1192
1051 1049:2:1196
1052 1050:2:1197
1053 1051:2:1205
1054 1052:2:1210
1055 1053:2:1214
1056 1054:2:1215
1057 1055:2:1223
1058 1056:2:1224
1059 1057:2:1228
1060 1058:2:1229
1061 1059:2:1223
1062 1060:2:1224
1063 1061:2:1225
1064 1062:2:1237
1065 1063:2:1242
1066 1064:2:1243
1067 1065:2:1254
1068 1066:2:1255
1069 1067:2:1256
1070 1068:2:1267
1071 1069:2:1272
1072 1070:2:1273
1073 1071:2:1284
1074 1072:2:1285
1075 1073:2:1286
1076 1074:2:1284
1077 1075:2:1285
1078 1076:2:1286
1079 1077:2:1297
1080 1078:2:1305
1081 1079:0:2887
1082 1080:2:1176
1083 1081:0:2887
1084 1082:2:1357
1085 1083:2:1358
1086 1084:2:1359
1087 1085:0:2887
1088 1086:2:1176
1089 1087:0:2887
1090 1088:2:1364
1091 1089:0:2887
1092 1090:1:143
1093 1091:0:2887
1094 1092:1:145
1095 1093:0:2887
1096 1094:1:44
1097 1095:0:2887
1098 1096:1:151
1099 1097:1:152
1100 1098:1:156
1101 1099:1:157
1102 1100:1:165
1103 1101:1:166
1104 1102:1:170
1105 1103:1:171
1106 1104:1:179
1107 1105:1:184
1108 1106:1:188
1109 1107:1:189
1110 1108:1:197
1111 1109:1:198
1112 1110:1:202
1113 1111:1:203
1114 1112:1:197
1115 1113:1:198
1116 1114:1:202
1117 1115:1:203
1118 1116:1:211
1119 1117:1:216
1120 1118:1:217
1121 1119:1:228
1122 1120:1:229
1123 1121:1:230
1124 1122:1:241
1125 1123:1:246
1126 1124:1:247
1127 1125:1:258
1128 1126:1:259
1129 1127:1:260
1130 1128:1:258
1131 1129:1:259
1132 1130:1:260
1133 1131:1:271
1134 1132:0:2887
1135 1133:1:40
1136 1134:0:2887
1137 1135:1:41
1138 1136:0:2887
1139 1137:1:42
1140 1138:0:2887
1141 1139:1:143
1142 1140:0:2887
1143 1141:1:145
1144 1142:0:2887
1145 1143:1:44
1146 1144:0:2887
1147 1145:1:280
1148 1146:1:281
1149 1147:0:2887
1150 1148:1:40
1151 1149:0:2887
1152 1150:1:41
1153 1151:0:2887
1154 1152:1:42
1155 1153:0:2887
1156 1154:1:143
1157 1155:0:2887
1158 1156:1:145
1159 1157:0:2887
1160 1158:1:44
1161 1159:0:2887
1162 1160:1:287
1163 1161:1:288
1164 1162:1:292
1165 1163:1:293
1166 1164:1:301
1167 1165:1:302
1168 1166:1:306
1169 1167:1:307
1170 1168:1:315
1171 1169:1:320
1172 1170:1:324
1173 1171:1:325
1174 1172:1:333
1175 1173:1:334
1176 1174:1:338
1177 1175:1:339
1178 1176:1:333
1179 1177:1:334
1180 1178:1:338
1181 1179:1:339
1182 1180:1:347
1183 1181:1:352
1184 1182:1:353
1185 1183:1:364
1186 1184:1:365
1187 1185:1:366
1188 1186:1:377
1189 1187:1:382
1190 1188:1:383
1191 1189:1:394
1192 1190:1:395
1193 1191:1:396
1194 1192:1:394
1195 1193:1:395
1196 1194:1:396
1197 1195:1:407
1198 1196:0:2887
1199 1197:1:40
1200 1198:0:2887
1201 1199:1:41
1202 1200:0:2887
1203 1201:1:42
1204 1202:0:2887
1205 1203:1:143
1206 1204:0:2887
1207 1205:1:145
1208 1206:0:2887
1209 1207:1:44
1210 1208:0:2887
1211 1209:1:416
1212 1210:1:417
1213 1211:1:421
1214 1212:1:422
1215 1213:1:430
1216 1214:1:431
1217 1215:1:435
1218 1216:1:436
1219 1217:1:444
1220 1218:1:449
1221 1219:1:453
1222 1220:1:454
1223 1221:1:462
1224 1222:1:463
1225 1223:1:467
1226 1224:1:468
1227 1225:1:462
1228 1226:1:463
1229 1227:1:467
1230 1228:1:468
1231 1229:1:476
1232 1230:1:481
1233 1231:1:482
1234 1232:1:493
1235 1233:1:494
1236 1234:1:495
1237 1235:1:506
1238 1236:1:511
1239 1237:1:512
1240 1238:1:523
1241 1239:1:524
1242 1240:1:525
1243 1241:1:523
1244 1242:1:524
1245 1243:1:525
1246 1244:1:536
1247 1245:1:543
1248 1246:0:2887
1249 1247:1:40
1250 1248:0:2887
1251 1249:1:41
1252 1250:0:2887
1253 1251:1:42
1254 1252:0:2887
1255 1253:1:143
1256 1254:0:2887
1257 1255:1:145
1258 1256:0:2887
1259 1257:1:44
1260 1258:0:2887
1261 1259:1:681
1262 1260:1:682
1263 1261:1:686
1264 1262:1:687
1265 1263:1:695
1266 1264:1:696
1267 1265:1:697
1268 1266:1:709
1269 1267:1:714
1270 1268:1:718
1271 1269:1:719
1272 1270:1:727
1273 1271:1:728
1274 1272:1:732
1275 1273:1:733
1276 1274:1:727
1277 1275:1:728
1278 1276:1:732
1279 1277:1:733
1280 1278:1:741
1281 1279:1:746
1282 1280:1:747
1283 1281:1:758
1284 1282:1:759
1285 1283:1:760
1286 1284:1:771
1287 1285:1:776
1288 1286:1:777
1289 1287:1:788
1290 1288:1:789
1291 1289:1:790
1292 1290:1:788
1293 1291:1:789
1294 1292:1:790
1295 1293:1:801
1296 1294:0:2887
1297 1295:1:40
1298 1296:0:2887
1299 1297:1:41
1300 1298:0:2887
1301 1299:1:42
1302 1300:0:2887
1303 1301:1:143
1304 1302:0:2887
1305 1303:1:145
1306 1304:0:2887
1307 1305:1:44
1308 1306:0:2887
1309 1307:1:810
1310 1308:0:2887
1311 1309:1:1087
1312 1310:1:1094
1313 1311:1:1095
1314 1312:1:1102
1315 1313:1:1107
1316 1314:1:1114
1317 1315:1:1115
1318 1316:1:1114
1319 1317:1:1115
1320 1318:1:1122
1321 1319:1:1126
1322 1320:0:2887
1323 1321:2:2068
1324 1322:2:2069
1325 1323:2:2073
1326 1324:2:2077
1327 1325:2:2078
1328 1326:2:2082
1329 1327:2:2087
1330 1328:2:2095
1331 1329:2:2099
1332 1330:2:2100
1333 1331:2:2095
1334 1332:2:2096
1335 1333:2:2104
1336 1334:2:2111
1337 1335:2:2118
1338 1336:2:2119
1339 1337:2:2126
1340 1338:2:2131
1341 1339:2:2138
1342 1340:2:2139
1343 1341:2:2138
1344 1342:2:2139
1345 1343:2:2146
1346 1344:2:2150
1347 1345:0:2887
1348 1346:2:2155
1349 1347:0:2887
1350 1348:2:2156
1351 1349:0:2887
1352 1350:2:2157
1353 1351:0:2887
1354 1352:2:2158
1355 1353:0:2887
1356 1354:1:812
1357 1355:1:813
1358 1356:0:2885
1359 1357:2:2159
1360 1358:0:2891
1361 1359:1:919