formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.spin.input.trail

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