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

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