formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail

   1 -2:3:-2
   2 -4:-4:-4
   3 1:0:4464
   4 2:3:4384
   5 3:3:4387
   6 4:3:4387
   7 5:3:4390
   8 6:3:4398
   9 7:3:4398
  10 8:3:4401
  11 9:3:4407
  12 10:3:4411
  13 11:3:4411
  14 12:3:4414
  15 13:3:4424
  16 14:3:4432
  17 15:3:4432
  18 16:3:4435
  19 17:3:4441
  20 18:3:4445
  21 19:3:4445
  22 20:3:4448
  23 21:3:4454
  24 22:3:4458
  25 23:3:4459
  26 24:0:4464
  27 25:3:4461
  28 26:0:4464
  29 27:2:3117
  30 28:0:4464
  31 29:2:3123
  32 30:0:4464
  33 31:2:3124
  34 32:0:4464
  35 33:2:3126
  36 34:0:4464
  37 35:2:3127
  38 36:0:4464
  39 37:2:3128
  40 38:0:4464
  41 39:2:3129
  42 40:0:4464
  43 41:2:3130
  44 42:0:4464
  45 43:2:3131
  46 44:0:4464
  47 45:2:3132
  48 46:2:3133
  49 47:2:3137
  50 48:2:3138
  51 49:2:3146
  52 50:2:3147
  53 51:2:3151
  54 52:2:3152
  55 53:2:3160
  56 54:2:3165
  57 55:2:3169
  58 56:2:3170
  59 57:2:3178
  60 58:2:3179
  61 59:2:3183
  62 60:2:3184
  63 61:2:3178
  64 62:2:3179
  65 63:2:3183
  66 64:2:3184
  67 65:2:3192
  68 66:2:3197
  69 67:2:3198
  70 68:2:3209
  71 69:2:3210
  72 70:2:3211
  73 71:2:3222
  74 72:2:3227
  75 73:2:3228
  76 74:2:3239
  77 75:2:3240
  78 76:2:3241
  79 77:2:3239
  80 78:2:3240
  81 79:2:3241
  82 80:2:3252
  83 81:2:3260
  84 82:0:4464
  85 83:2:3131
  86 84:0:4464
  87 85:2:3264
  88 86:2:3268
  89 87:2:3269
  90 88:2:3273
  91 89:2:3277
  92 90:2:3278
  93 91:2:3282
  94 92:2:3290
  95 93:2:3291
  96 94:2:3295
  97 95:2:3299
  98 96:2:3300
  99 97:2:3295
 100 98:2:3296
 101 99:2:3304
 102 100:0:4464
 103 101:2:3131
 104 102:0:4464
 105 103:2:3312
 106 104:2:3313
 107 105:2:3314
 108 106:0:4464
 109 107:2:3131
 110 108:0:4464
 111 109:2:3319
 112 110:0:4464
 113 111:2:4021
 114 112:2:4022
 115 113:2:4026
 116 114:2:4030
 117 115:2:4031
 118 116:2:4035
 119 117:2:4040
 120 118:2:4048
 121 119:2:4052
 122 120:2:4053
 123 121:2:4048
 124 122:2:4052
 125 123:2:4053
 126 124:2:4057
 127 125:2:4064
 128 126:2:4071
 129 127:2:4072
 130 128:2:4079
 131 129:2:4084
 132 130:2:4091
 133 131:2:4092
 134 132:2:4091
 135 133:2:4092
 136 134:2:4099
 137 135:2:4103
 138 136:0:4464
 139 137:2:3321
 140 138:2:4002
 141 139:0:4464
 142 140:2:3131
 143 141:0:4464
 144 142:2:3322
 145 143:0:4464
 146 144:2:3131
 147 145:0:4464
 148 146:2:3325
 149 147:2:3326
 150 148:2:3330
 151 149:2:3331
 152 150:2:3339
 153 151:2:3340
 154 152:2:3344
 155 153:2:3345
 156 154:2:3353
 157 155:2:3358
 158 156:2:3362
 159 157:2:3363
 160 158:2:3371
 161 159:2:3372
 162 160:2:3376
 163 161:2:3377
 164 162:2:3371
 165 163:2:3372
 166 164:2:3376
 167 165:2:3377
 168 166:2:3385
 169 167:2:3390
 170 168:2:3391
 171 169:2:3402
 172 170:2:3403
 173 171:2:3404
 174 172:2:3415
 175 173:2:3420
 176 174:2:3421
 177 175:2:3432
 178 176:2:3433
 179 177:2:3434
 180 178:2:3432
 181 179:2:3433
 182 180:2:3434
 183 181:2:3445
 184 182:2:3452
 185 183:0:4464
 186 184:2:3131
 187 185:0:4464
 188 186:2:3456
 189 187:2:3457
 190 188:2:3458
 191 189:2:3470
 192 190:2:3471
 193 191:2:3475
 194 192:2:3476
 195 193:2:3484
 196 194:2:3489
 197 195:2:3493
 198 196:2:3494
 199 197:2:3502
 200 198:2:3503
 201 199:2:3507
 202 200:2:3508
 203 201:2:3502
 204 202:2:3503
 205 203:2:3507
 206 204:2:3508
 207 205:2:3516
 208 206:2:3521
 209 207:2:3522
 210 208:2:3533
 211 209:2:3534
 212 210:2:3535
 213 211:2:3546
 214 212:2:3551
 215 213:2:3552
 216 214:2:3563
 217 215:2:3564
 218 216:2:3565
 219 217:2:3563
 220 218:2:3564
 221 219:2:3565
 222 220:2:3576
 223 221:2:3586
 224 222:2:3587
 225 223:0:4464
 226 224:2:3131
 227 225:0:4464
 228 226:2:3990
 229 227:0:4464
 230 228:2:4294
 231 229:2:4295
 232 230:2:4299
 233 231:2:4303
 234 232:2:4304
 235 233:2:4308
 236 234:2:4316
 237 235:2:4317
 238 236:2:4321
 239 237:2:4325
 240 238:2:4326
 241 239:2:4321
 242 240:2:4325
 243 241:2:4326
 244 242:2:4330
 245 243:2:4337
 246 244:2:4344
 247 245:2:4345
 248 246:2:4352
 249 247:2:4357
 250 248:2:4364
 251 249:2:4365
 252 250:2:4364
 253 251:2:4365
 254 252:2:4372
 255 253:2:4376
 256 254:0:4464
 257 255:2:3992
 258 256:2:4002
 259 257:0:4464
 260 258:2:3131
 261 259:0:4464
 262 260:2:3993
 263 261:2:3994
 264 262:0:4464
 265 263:2:3131
 266 264:0:4464
 267 265:2:3998
 268 266:0:4464
 269 267:2:4006
 270 268:0:4464
 271 269:2:3124
 272 270:0:4464
 273 271:2:3126
 274 272:0:4464
 275 273:2:3127
 276 274:0:4464
 277 275:2:3128
 278 276:0:4464
 279 277:2:3129
 280 278:0:4464
 281 279:2:3130
 282 280:0:4464
 283 281:2:3131
 284 282:0:4464
 285 283:2:3132
 286 284:2:3133
 287 285:2:3137
 288 286:2:3138
 289 287:2:3146
 290 288:2:3147
 291 289:2:3151
 292 290:2:3152
 293 291:2:3160
 294 292:2:3165
 295 293:2:3169
 296 294:2:3170
 297 295:2:3178
 298 296:2:3179
 299 297:2:3180
 300 298:2:3178
 301 299:2:3179
 302 300:2:3183
 303 301:2:3184
 304 302:2:3192
 305 303:2:3197
 306 304:2:3198
 307 305:2:3209
 308 306:2:3210
 309 307:2:3211
 310 308:2:3222
 311 309:2:3227
 312 310:2:3228
 313 311:2:3239
 314 312:2:3240
 315 313:2:3241
 316 314:2:3239
 317 315:2:3240
 318 316:2:3241
 319 317:2:3252
 320 318:2:3260
 321 319:0:4464
 322 320:2:3131
 323 321:0:4464
 324 322:2:3264
 325 323:2:3268
 326 324:2:3269
 327 325:2:3273
 328 326:2:3277
 329 327:2:3278
 330 328:2:3282
 331 329:2:3290
 332 330:2:3291
 333 331:2:3295
 334 332:2:3296
 335 333:2:3295
 336 334:2:3299
 337 335:2:3300
 338 336:2:3304
 339 337:0:4464
 340 338:2:3131
 341 339:0:4464
 342 340:2:3312
 343 341:2:3313
 344 342:2:3314
 345 343:0:4464
 346 344:2:3131
 347 345:0:4464
 348 346:2:3319
 349 347:0:4464
 350 348:1:2
 351 349:0:4464
 352 350:1:8
 353 351:0:4464
 354 352:1:9
 355 353:0:4464
 356 354:1:10
 357 355:0:4464
 358 356:1:11
 359 357:0:4464
 360 358:1:12
 361 359:1:13
 362 360:1:17
 363 361:1:18
 364 362:1:26
 365 363:1:27
 366 364:1:31
 367 365:1:32
 368 366:1:40
 369 367:1:45
 370 368:1:49
 371 369:1:50
 372 370:1:58
 373 371:1:59
 374 372:1:63
 375 373:1:64
 376 374:1:58
 377 375:1:59
 378 376:1:63
 379 377:1:64
 380 378:1:72
 381 379:1:84
 382 380:1:85
 383 381:1:89
 384 382:1:90
 385 383:1:91
 386 384:1:102
 387 385:1:107
 388 386:1:108
 389 387:1:119
 390 388:1:120
 391 389:1:121
 392 390:1:119
 393 391:1:120
 394 392:1:121
 395 393:1:132
 396 394:0:4464
 397 395:1:11
 398 396:0:4464
 399 397:1:141
 400 398:1:142
 401 399:0:4464
 402 400:1:11
 403 401:0:4464
 404 402:1:148
 405 403:1:149
 406 404:1:153
 407 405:1:154
 408 406:1:162
 409 407:1:163
 410 408:1:167
 411 409:1:168
 412 410:1:176
 413 411:1:181
 414 412:1:185
 415 413:1:186
 416 414:1:194
 417 415:1:195
 418 416:1:199
 419 417:1:200
 420 418:1:194
 421 419:1:195
 422 420:1:199
 423 421:1:200
 424 422:1:208
 425 423:1:220
 426 424:1:221
 427 425:1:225
 428 426:1:226
 429 427:1:227
 430 428:1:238
 431 429:1:243
 432 430:1:244
 433 431:1:255
 434 432:1:256
 435 433:1:257
 436 434:1:255
 437 435:1:256
 438 436:1:257
 439 437:1:268
 440 438:0:4464
 441 439:1:11
 442 440:0:4464
 443 441:1:277
 444 442:1:278
 445 443:1:282
 446 444:1:283
 447 445:1:291
 448 446:1:292
 449 447:1:296
 450 448:1:297
 451 449:1:305
 452 450:1:310
 453 451:1:314
 454 452:1:315
 455 453:1:323
 456 454:1:324
 457 455:1:328
 458 456:1:329
 459 457:1:323
 460 458:1:324
 461 459:1:328
 462 460:1:329
 463 461:1:337
 464 462:1:342
 465 463:1:343
 466 464:1:354
 467 465:1:355
 468 466:1:356
 469 467:1:367
 470 468:1:372
 471 469:1:373
 472 470:1:384
 473 471:1:385
 474 472:1:386
 475 473:1:384
 476 474:1:385
 477 475:1:386
 478 476:1:397
 479 477:1:404
 480 478:0:4464
 481 479:1:11
 482 480:0:4464
 483 481:1:540
 484 482:1:544
 485 483:1:545
 486 484:1:549
 487 485:1:550
 488 486:1:558
 489 487:1:566
 490 488:1:567
 491 489:1:571
 492 490:1:575
 493 491:1:576
 494 492:1:571
 495 493:1:575
 496 494:1:576
 497 495:1:580
 498 496:1:587
 499 497:1:594
 500 498:1:595
 501 499:1:602
 502 500:1:607
 503 501:1:614
 504 502:1:615
 505 503:1:614
 506 504:1:615
 507 505:1:622
 508 506:0:4464
 509 507:1:11
 510 508:0:4464
 511 509:2:4021
 512 510:2:4022
 513 511:2:4026
 514 512:2:4030
 515 513:2:4031
 516 514:2:4035
 517 515:2:4040
 518 516:2:4048
 519 517:2:4052
 520 518:2:4053
 521 519:2:4048
 522 520:2:4052
 523 521:2:4053
 524 522:2:4057
 525 523:2:4064
 526 524:2:4071
 527 525:2:4072
 528 526:2:4079
 529 527:2:4084
 530 528:2:4091
 531 529:2:4092
 532 530:2:4091
 533 531:2:4092
 534 532:2:4099
 535 533:2:4103
 536 534:0:4464
 537 535:2:3321
 538 536:2:4002
 539 537:0:4464
 540 538:2:3131
 541 539:0:4464
 542 540:2:3322
 543 541:0:4464
 544 542:2:3131
 545 543:0:4464
 546 544:2:3325
 547 545:2:3326
 548 546:2:3330
 549 547:2:3331
 550 548:2:3339
 551 549:2:3340
 552 550:2:3344
 553 551:2:3345
 554 552:2:3353
 555 553:2:3358
 556 554:2:3362
 557 555:2:3363
 558 556:2:3371
 559 557:2:3372
 560 558:2:3376
 561 559:2:3377
 562 560:2:3371
 563 561:2:3372
 564 562:2:3376
 565 563:2:3377
 566 564:2:3385
 567 565:2:3390
 568 566:2:3391
 569 567:2:3402
 570 568:2:3403
 571 569:2:3404
 572 570:2:3415
 573 571:2:3420
 574 572:2:3421
 575 573:2:3432
 576 574:2:3433
 577 575:2:3434
 578 576:2:3432
 579 577:2:3433
 580 578:2:3434
 581 579:2:3445
 582 580:2:3452
 583 581:0:4464
 584 582:2:3131
 585 583:0:4464
 586 584:2:3456
 587 585:2:3457
 588 586:2:3458
 589 587:2:3470
 590 588:2:3471
 591 589:2:3475
 592 590:2:3476
 593 591:2:3484
 594 592:2:3489
 595 593:2:3493
 596 594:2:3494
 597 595:2:3502
 598 596:2:3503
 599 597:2:3507
 600 598:2:3508
 601 599:2:3502
 602 600:2:3503
 603 601:2:3507
 604 602:2:3508
 605 603:2:3516
 606 604:2:3521
 607 605:2:3522
 608 606:2:3533
 609 607:2:3534
 610 608:2:3535
 611 609:2:3546
 612 610:2:3551
 613 611:2:3552
 614 612:2:3563
 615 613:2:3564
 616 614:2:3565
 617 615:2:3563
 618 616:2:3564
 619 617:2:3565
 620 618:2:3576
 621 619:2:3586
 622 620:2:3587
 623 621:0:4464
 624 622:2:3131
 625 623:0:4464
 626 624:2:3990
 627 625:0:4464
 628 626:2:4294
 629 627:2:4295
 630 628:2:4299
 631 629:2:4303
 632 630:2:4304
 633 631:2:4308
 634 632:2:4316
 635 633:2:4317
 636 634:2:4321
 637 635:2:4325
 638 636:2:4326
 639 637:2:4321
 640 638:2:4325
 641 639:2:4326
 642 640:2:4330
 643 641:2:4337
 644 642:2:4344
 645 643:2:4345
 646 644:2:4352
 647 645:2:4357
 648 646:2:4364
 649 647:2:4365
 650 648:2:4364
 651 649:2:4365
 652 650:2:4372
 653 651:2:4376
 654 652:0:4464
 655 653:2:3992
 656 654:2:4002
 657 655:0:4464
 658 656:2:3131
 659 657:0:4464
 660 658:2:3993
 661 659:2:3994
 662 660:0:4464
 663 661:2:3131
 664 662:0:4464
 665 663:2:3998
 666 664:0:4464
 667 665:2:4006
 668 666:0:4464
 669 667:2:3124
 670 668:0:4464
 671 669:2:3126
 672 670:0:4464
 673 671:2:3127
 674 672:0:4464
 675 673:2:3128
 676 674:0:4464
 677 675:2:3129
 678 676:0:4464
 679 677:2:3130
 680 678:0:4464
 681 679:2:3131
 682 680:0:4464
 683 681:2:3132
 684 682:2:3133
 685 683:2:3137
 686 684:2:3138
 687 685:2:3146
 688 686:2:3147
 689 687:2:3151
 690 688:2:3152
 691 689:2:3160
 692 690:2:3165
 693 691:2:3169
 694 692:2:3170
 695 693:2:3178
 696 694:2:3179
 697 695:2:3183
 698 696:2:3184
 699 697:2:3178
 700 698:2:3179
 701 699:2:3180
 702 700:2:3192
 703 701:2:3197
 704 702:2:3198
 705 703:2:3209
 706 704:2:3210
 707 705:2:3211
 708 706:2:3222
 709 707:2:3227
 710 708:2:3228
 711 709:2:3239
 712 710:2:3240
 713 711:2:3241
 714 712:2:3239
 715 713:2:3240
 716 714:2:3241
 717 715:2:3252
 718 716:2:3260
 719 717:0:4464
 720 718:2:3131
 721 719:0:4464
 722 720:1:632
 723 721:1:633
 724 722:1:637
 725 723:1:638
 726 724:1:646
 727 725:1:647
 728 726:1:651
 729 727:1:652
 730 728:1:660
 731 729:1:665
 732 730:1:669
 733 731:1:670
 734 732:1:678
 735 733:1:679
 736 734:1:683
 737 735:1:684
 738 736:1:678
 739 737:1:679
 740 738:1:683
 741 739:1:684
 742 740:1:692
 743 741:1:697
 744 742:1:698
 745 743:1:709
 746 744:1:710
 747 745:1:711
 748 746:1:722
 749 747:1:734
 750 748:1:735
 751 749:1:739
 752 750:1:740
 753 751:1:741
 754 752:1:739
 755 753:1:740
 756 754:1:741
 757 755:1:752
 758 756:0:4464
 759 757:1:11
 760 758:0:4464
 761 759:1:761
 762 760:1:764
 763 761:1:765
 764 762:0:4464
 765 763:1:11
 766 764:0:4464
 767 765:1:1028
 768 766:1:1029
 769 767:1:1033
 770 768:1:1034
 771 769:1:1042
 772 770:1:1043
 773 771:1:1047
 774 772:1:1048
 775 773:1:1056
 776 774:1:1061
 777 775:1:1065
 778 776:1:1066
 779 777:1:1074
 780 778:1:1075
 781 779:1:1079
 782 780:1:1080
 783 781:1:1074
 784 782:1:1075
 785 783:1:1079
 786 784:1:1080
 787 785:1:1088
 788 786:1:1093
 789 787:1:1094
 790 788:1:1105
 791 789:1:1106
 792 790:1:1107
 793 791:1:1118
 794 792:1:1130
 795 793:1:1131
 796 794:1:1135
 797 795:1:1136
 798 796:1:1137
 799 797:1:1135
 800 798:1:1136
 801 799:1:1137
 802 800:1:1148
 803 801:1:1155
 804 802:1:1159
 805 803:0:4464
 806 804:1:11
 807 805:0:4464
 808 806:1:1160
 809 807:1:1161
 810 808:1:1165
 811 809:1:1166
 812 810:1:1174
 813 811:1:1175
 814 812:1:1176
 815 813:1:1188
 816 814:1:1193
 817 815:1:1197
 818 816:1:1198
 819 817:1:1206
 820 818:1:1207
 821 819:1:1211
 822 820:1:1212
 823 821:1:1206
 824 822:1:1207
 825 823:1:1211
 826 824:1:1212
 827 825:1:1220
 828 826:1:1225
 829 827:1:1226
 830 828:1:1237
 831 829:1:1238
 832 830:1:1239
 833 831:1:1250
 834 832:1:1262
 835 833:1:1263
 836 834:1:1267
 837 835:1:1268
 838 836:1:1269
 839 837:1:1267
 840 838:1:1268
 841 839:1:1269
 842 840:1:1280
 843 841:0:4464
 844 842:1:11
 845 843:0:4464
 846 844:1:1289
 847 845:0:4464
 848 846:1:3023
 849 847:1:3030
 850 848:1:3031
 851 849:1:3038
 852 850:1:3043
 853 851:1:3050
 854 852:1:3051
 855 853:1:3050
 856 854:1:3051
 857 855:1:3058
 858 856:1:3062
 859 857:0:4464
 860 858:2:3264
 861 859:2:3268
 862 860:2:3269
 863 861:2:3273
 864 862:2:3277
 865 863:2:3278
 866 864:2:3282
 867 865:2:3290
 868 866:2:3291
 869 867:2:3295
 870 868:2:3299
 871 869:2:3300
 872 870:2:3295
 873 871:2:3296
 874 872:2:3304
 875 873:0:4464
 876 874:2:3131
 877 875:0:4464
 878 876:2:3312
 879 877:2:3313
 880 878:2:3314
 881 879:0:4464
 882 880:2:3131
 883 881:0:4464
 884 882:2:3319
 885 883:0:4464
 886 884:2:4021
 887 885:2:4022
 888 886:2:4026
 889 887:2:4030
 890 888:2:4031
 891 889:2:4035
 892 890:2:4040
 893 891:2:4048
 894 892:2:4052
 895 893:2:4053
 896 894:2:4048
 897 895:2:4052
 898 896:2:4053
 899 897:2:4057
 900 898:2:4064
 901 899:2:4071
 902 900:2:4072
 903 901:2:4079
 904 902:2:4084
 905 903:2:4091
 906 904:2:4092
 907 905:2:4091
 908 906:2:4092
 909 907:2:4099
 910 908:2:4103
 911 909:0:4464
 912 910:2:3321
 913 911:2:4002
 914 912:0:4464
 915 913:2:3131
 916 914:0:4464
 917 915:2:3322
 918 916:0:4464
 919 917:2:3131
 920 918:0:4464
 921 919:2:3325
 922 920:2:3326
 923 921:2:3330
 924 922:2:3331
 925 923:2:3339
 926 924:2:3340
 927 925:2:3344
 928 926:2:3345
 929 927:2:3353
 930 928:2:3358
 931 929:2:3362
 932 930:2:3363
 933 931:2:3371
 934 932:2:3372
 935 933:2:3376
 936 934:2:3377
 937 935:2:3371
 938 936:2:3372
 939 937:2:3376
 940 938:2:3377
 941 939:2:3385
 942 940:2:3390
 943 941:2:3391
 944 942:2:3402
 945 943:2:3403
 946 944:2:3404
 947 945:2:3415
 948 946:2:3420
 949 947:2:3421
 950 948:2:3432
 951 949:2:3433
 952 950:2:3434
 953 951:2:3432
 954 952:2:3433
 955 953:2:3434
 956 954:2:3445
 957 955:2:3452
 958 956:0:4464
 959 957:2:3131
 960 958:0:4464
 961 959:2:3456
 962 960:2:3457
 963 961:2:3458
 964 962:2:3470
 965 963:2:3471
 966 964:2:3475
 967 965:2:3476
 968 966:2:3484
 969 967:2:3489
 970 968:2:3493
 971 969:2:3494
 972 970:2:3502
 973 971:2:3503
 974 972:2:3507
 975 973:2:3508
 976 974:2:3502
 977 975:2:3503
 978 976:2:3507
 979 977:2:3508
 980 978:2:3516
 981 979:2:3521
 982 980:2:3522
 983 981:2:3533
 984 982:2:3534
 985 983:2:3535
 986 984:2:3546
 987 985:2:3551
 988 986:2:3552
 989 987:2:3563
 990 988:2:3564
 991 989:2:3565
 992 990:2:3563
 993 991:2:3564
 994 992:2:3565
 995 993:2:3576
 996 994:2:3584
 997 995:0:4464
 998 996:2:3131
 999 997:0:4464
1000 998:2:3590
1001 999:0:4464
1002 1000:2:4112
1003 1001:2:4113
1004 1002:2:4117
1005 1003:2:4121
1006 1004:2:4122
1007 1005:2:4126
1008 1006:2:4134
1009 1007:2:4135
1010 1008:2:4139
1011 1009:2:4143
1012 1010:2:4144
1013 1011:2:4139
1014 1012:2:4143
1015 1013:2:4144
1016 1014:2:4148
1017 1015:2:4155
1018 1016:2:4162
1019 1017:2:4163
1020 1018:2:4170
1021 1019:2:4175
1022 1020:2:4182
1023 1021:2:4183
1024 1022:2:4182
1025 1023:2:4183
1026 1024:2:4190
1027 1025:2:4194
1028 1026:0:4464
1029 1027:2:3592
1030 1028:2:4002
1031 1029:0:4464
1032 1030:2:3131
1033 1031:0:4464
1034 1032:1:1291
1035 1033:1:1292
1036 1034:0:4462
1037 1035:1:11
1038 1036:0:4468
1039 1037:2:3480