Add verif results

[urcu.git] / formal-model / urcu-controldataflow-alpha-no-ipi / urcu_progress_writer_error.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input.trail
new file mode 100644 (file)
index 0000000..8ab0111
--- /dev/null
+++ b/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input.trail
@@ -0,0 +1,7390 @@
+-2:3:-2
+-4:-4:-4
+1:0:4529
+2:3:4449
+3:3:4452
+4:3:4452
+5:3:4455
+6:3:4463
+7:3:4463
+8:3:4466
+9:3:4472
+10:3:4476
+11:3:4476
+12:3:4479
+13:3:4489
+14:3:4497
+15:3:4497
+16:3:4500
+17:3:4506
+18:3:4510
+19:3:4510
+20:3:4513
+21:3:4519
+22:3:4523
+23:3:4524
+24:0:4529
+25:3:4526
+26:0:4529
+27:2:3117
+28:0:4529
+29:2:3123
+30:0:4529
+31:2:3124
+32:0:4529
+33:2:3125
+34:0:4527
+35:2:3126
+36:0:4533
+37:2:3127
+38:0:4533
+39:2:3128
+40:2:3129
+41:2:3133
+42:2:3134
+43:2:3142
+44:2:3143
+45:2:3147
+46:2:3148
+47:2:3156
+48:2:3161
+49:2:3165
+50:2:3166
+51:2:3174
+52:2:3175
+53:2:3179
+54:2:3180
+55:2:3174
+56:2:3175
+57:2:3179
+58:2:3180
+59:2:3188
+60:2:3193
+61:2:3194
+62:2:3205
+63:2:3206
+64:2:3207
+65:2:3218
+66:2:3223
+67:2:3224
+68:2:3235
+69:2:3236
+70:2:3237
+71:2:3235
+72:2:3236
+73:2:3237
+74:2:3248
+75:2:3256
+76:0:4533
+77:2:3127
+78:0:4533
+79:2:3260
+80:2:3264
+81:2:3265
+82:2:3269
+83:2:3273
+84:2:3274
+85:2:3278
+86:2:3286
+87:2:3287
+88:2:3291
+89:2:3295
+90:2:3296
+91:2:3291
+92:2:3292
+93:2:3300
+94:0:4533
+95:2:3127
+96:0:4533
+97:2:3308
+98:2:3309
+99:2:3310
+100:0:4533
+101:2:3127
+102:0:4533
+103:2:3315
+104:0:4533
+105:2:4268
+106:2:4269
+107:2:4273
+108:2:4277
+109:2:4278
+110:2:4282
+111:2:4287
+112:2:4295
+113:2:4299
+114:2:4300
+115:2:4295
+116:2:4299
+117:2:4300
+118:2:4304
+119:2:4311
+120:2:4318
+121:2:4319
+122:2:4326
+123:2:4331
+124:2:4338
+125:2:4339
+126:2:4338
+127:2:4339
+128:2:4346
+129:2:4350
+130:0:4533
+131:2:3317
+132:2:4249
+133:0:4533
+134:2:3127
+135:0:4533
+136:2:3318
+137:0:4533
+138:2:3127
+139:0:4533
+140:2:3321
+141:2:3322
+142:2:3326
+143:2:3327
+144:2:3335
+145:2:3336
+146:2:3340
+147:2:3341
+148:2:3349
+149:2:3354
+150:2:3358
+151:2:3359
+152:2:3367
+153:2:3368
+154:2:3372
+155:2:3373
+156:2:3367
+157:2:3368
+158:2:3372
+159:2:3373
+160:2:3381
+161:2:3386
+162:2:3387
+163:2:3398
+164:2:3399
+165:2:3400
+166:2:3411
+167:2:3416
+168:2:3417
+169:2:3428
+170:2:3429
+171:2:3430
+172:2:3428
+173:2:3429
+174:2:3430
+175:2:3441
+176:2:3448
+177:0:4533
+178:2:3127
+179:0:4533
+180:2:3452
+181:2:3453
+182:2:3454
+183:2:3466
+184:2:3467
+185:2:3471
+186:2:3472
+187:2:3480
+188:2:3485
+189:2:3489
+190:2:3490
+191:2:3498
+192:2:3499
+193:2:3503
+194:2:3504
+195:2:3498
+196:2:3499
+197:2:3503
+198:2:3504
+199:2:3512
+200:2:3517
+201:2:3518
+202:2:3529
+203:2:3530
+204:2:3531
+205:2:3542
+206:2:3547
+207:2:3548
+208:2:3559
+209:2:3560
+210:2:3561
+211:2:3559
+212:2:3560
+213:2:3561
+214:2:3572
+215:2:3583
+216:2:3584
+217:0:4533
+218:2:3127
+219:0:4533
+220:2:3715
+221:2:3716
+222:2:3720
+223:2:3721
+224:2:3729
+225:2:3730
+226:2:3734
+227:2:3735
+228:2:3743
+229:2:3748
+230:2:3752
+231:2:3753
+232:2:3761
+233:2:3762
+234:2:3766
+235:2:3767
+236:2:3761
+237:2:3762
+238:2:3766
+239:2:3767
+240:2:3775
+241:2:3780
+242:2:3781
+243:2:3792
+244:2:3793
+245:2:3794
+246:2:3805
+247:2:3810
+248:2:3811
+249:2:3822
+250:2:3823
+251:2:3824
+252:2:3822
+253:2:3823
+254:2:3824
+255:2:3835
+256:0:4533
+257:2:3127
+258:0:4533
+259:2:3844
+260:2:3845
+261:2:3849
+262:2:3850
+263:2:3858
+264:2:3859
+265:2:3863
+266:2:3864
+267:2:3872
+268:2:3877
+269:2:3881
+270:2:3882
+271:2:3890
+272:2:3891
+273:2:3895
+274:2:3896
+275:2:3890
+276:2:3891
+277:2:3895
+278:2:3896
+279:2:3904
+280:2:3909
+281:2:3910
+282:2:3921
+283:2:3922
+284:2:3923
+285:2:3934
+286:2:3939
+287:2:3940
+288:2:3951
+289:2:3952
+290:2:3953
+291:2:3951
+292:2:3952
+293:2:3953
+294:2:3964
+295:2:3971
+296:0:4533
+297:2:3127
+298:0:4533
+299:1:2
+300:0:4533
+301:1:8
+302:0:4533
+303:1:9
+304:0:4533
+305:1:10
+306:0:4533
+307:1:11
+308:0:4533
+309:1:12
+310:1:13
+311:1:17
+312:1:18
+313:1:26
+314:1:27
+315:1:31
+316:1:32
+317:1:40
+318:1:45
+319:1:49
+320:1:50
+321:1:58
+322:1:59
+323:1:63
+324:1:64
+325:1:58
+326:1:59
+327:1:63
+328:1:64
+329:1:72
+330:1:77
+331:1:78
+332:1:89
+333:1:90
+334:1:91
+335:1:102
+336:1:107
+337:1:108
+338:1:119
+339:1:120
+340:1:121
+341:1:119
+342:1:120
+343:1:121
+344:1:132
+345:0:4533
+346:1:11
+347:0:4533
+348:1:141
+349:1:142
+350:0:4533
+351:1:11
+352:0:4533
+353:1:148
+354:1:149
+355:1:153
+356:1:154
+357:1:162
+358:1:163
+359:1:167
+360:1:168
+361:1:176
+362:1:181
+363:1:185
+364:1:186
+365:1:194
+366:1:195
+367:1:199
+368:1:200
+369:1:194
+370:1:195
+371:1:199
+372:1:200
+373:1:208
+374:1:213
+375:1:214
+376:1:225
+377:1:226
+378:1:227
+379:1:238
+380:1:243
+381:1:244
+382:1:255
+383:1:256
+384:1:257
+385:1:255
+386:1:256
+387:1:257
+388:1:268
+389:0:4533
+390:1:11
+391:0:4533
+392:1:277
+393:1:278
+394:1:282
+395:1:283
+396:1:291
+397:1:292
+398:1:296
+399:1:297
+400:1:305
+401:1:310
+402:1:314
+403:1:315
+404:1:323
+405:1:324
+406:1:328
+407:1:329
+408:1:323
+409:1:324
+410:1:328
+411:1:329
+412:1:337
+413:1:342
+414:1:343
+415:1:354
+416:1:355
+417:1:356
+418:1:367
+419:1:372
+420:1:373
+421:1:384
+422:1:385
+423:1:386
+424:1:384
+425:1:385
+426:1:386
+427:1:397
+428:1:404
+429:0:4533
+430:1:11
+431:0:4533
+432:1:540
+433:1:544
+434:1:545
+435:1:549
+436:1:550
+437:1:558
+438:1:566
+439:1:567
+440:1:571
+441:1:575
+442:1:576
+443:1:571
+444:1:575
+445:1:576
+446:1:580
+447:1:587
+448:1:594
+449:1:595
+450:1:602
+451:1:607
+452:1:614
+453:1:615
+454:1:614
+455:1:615
+456:1:622
+457:0:4533
+458:1:11
+459:0:4533
+460:2:3975
+461:2:3976
+462:2:3977
+463:2:3989
+464:2:3990
+465:2:3994
+466:2:3995
+467:2:4003
+468:2:4008
+469:2:4012
+470:2:4013
+471:2:4021
+472:2:4022
+473:2:4026
+474:2:4027
+475:2:4021
+476:2:4022
+477:2:4026
+478:2:4027
+479:2:4035
+480:2:4040
+481:2:4041
+482:2:4052
+483:2:4053
+484:2:4054
+485:2:4065
+486:2:4070
+487:2:4071
+488:2:4082
+489:2:4083
+490:2:4084
+491:2:4082
+492:2:4083
+493:2:4084
+494:2:4095
+495:2:4103
+496:0:4533
+497:2:3127
+498:0:4533
+499:2:4109
+500:2:4110
+501:2:4114
+502:2:4115
+503:2:4123
+504:2:4124
+505:2:4128
+506:2:4129
+507:2:4137
+508:2:4142
+509:2:4146
+510:2:4147
+511:2:4155
+512:2:4156
+513:2:4160
+514:2:4161
+515:2:4155
+516:2:4156
+517:2:4160
+518:2:4161
+519:2:4169
+520:2:4174
+521:2:4175
+522:2:4186
+523:2:4187
+524:2:4188
+525:2:4199
+526:2:4204
+527:2:4205
+528:2:4216
+529:2:4217
+530:2:4218
+531:2:4216
+532:2:4217
+533:2:4218
+534:2:4229
+535:0:4533
+536:2:3127
+537:0:4533
+538:1:632
+539:1:633
+540:1:637
+541:1:638
+542:1:646
+543:1:647
+544:1:651
+545:1:652
+546:1:660
+547:1:665
+548:1:669
+549:1:670
+550:1:678
+551:1:679
+552:1:683
+553:1:684
+554:1:678
+555:1:679
+556:1:683
+557:1:684
+558:1:692
+559:1:697
+560:1:698
+561:1:709
+562:1:710
+563:1:711
+564:1:722
+565:1:727
+566:1:728
+567:1:739
+568:1:740
+569:1:741
+570:1:739
+571:1:740
+572:1:741
+573:1:752
+574:0:4533
+575:1:11
+576:0:4533
+577:2:3975
+578:2:3976
+579:2:3980
+580:2:3981
+581:2:3989
+582:2:3990
+583:2:3994
+584:2:3995
+585:2:4003
+586:2:4008
+587:2:4012
+588:2:4013
+589:2:4021
+590:2:4022
+591:2:4026
+592:2:4027
+593:2:4021
+594:2:4022
+595:2:4026
+596:2:4027
+597:2:4035
+598:2:4040
+599:2:4041
+600:2:4052
+601:2:4053
+602:2:4054
+603:2:4065
+604:2:4070
+605:2:4071
+606:2:4082
+607:2:4083
+608:2:4084
+609:2:4082
+610:2:4083
+611:2:4084
+612:2:4095
+613:2:4103
+614:0:4533
+615:2:3127
+616:0:4533
+617:2:4109
+618:2:4110
+619:2:4114
+620:2:4115
+621:2:4123
+622:2:4124
+623:2:4128
+624:2:4129
+625:2:4137
+626:2:4142
+627:2:4146
+628:2:4147
+629:2:4155
+630:2:4156
+631:2:4160
+632:2:4161
+633:2:4155
+634:2:4156
+635:2:4160
+636:2:4161
+637:2:4169
+638:2:4174
+639:2:4175
+640:2:4186
+641:2:4187
+642:2:4188
+643:2:4199
+644:2:4204
+645:2:4205
+646:2:4216
+647:2:4217
+648:2:4218
+649:2:4216
+650:2:4217
+651:2:4218
+652:2:4229
+653:0:4533
+654:2:3127
+655:0:4533
+656:1:761
+657:1:764
+658:1:765
+659:0:4533
+660:1:11
+661:0:4533
+662:2:3975
+663:2:3976
+664:2:3980
+665:2:3981
+666:2:3989
+667:2:3990
+668:2:3994
+669:2:3995
+670:2:4003
+671:2:4008
+672:2:4012
+673:2:4013
+674:2:4021
+675:2:4022
+676:2:4026
+677:2:4027
+678:2:4021
+679:2:4022
+680:2:4026
+681:2:4027
+682:2:4035
+683:2:4040
+684:2:4041
+685:2:4052
+686:2:4053
+687:2:4054
+688:2:4065
+689:2:4070
+690:2:4071
+691:2:4082
+692:2:4083
+693:2:4084
+694:2:4082
+695:2:4083
+696:2:4084
+697:2:4095
+698:2:4103
+699:0:4533
+700:2:3127
+701:0:4533
+702:2:4109
+703:2:4110
+704:2:4114
+705:2:4115
+706:2:4123
+707:2:4124
+708:2:4128
+709:2:4129
+710:2:4137
+711:2:4142
+712:2:4146
+713:2:4147
+714:2:4155
+715:2:4156
+716:2:4160
+717:2:4161
+718:2:4155
+719:2:4156
+720:2:4160
+721:2:4161
+722:2:4169
+723:2:4174
+724:2:4175
+725:2:4186
+726:2:4187
+727:2:4188
+728:2:4199
+729:2:4204
+730:2:4205
+731:2:4216
+732:2:4217
+733:2:4218
+734:2:4216
+735:2:4217
+736:2:4218
+737:2:4229
+738:0:4533
+739:2:3127
+740:0:4533
+741:1:768
+742:1:769
+743:1:773
+744:1:774
+745:1:782
+746:1:783
+747:1:787
+748:1:788
+749:1:796
+750:1:801
+751:1:805
+752:1:806
+753:1:814
+754:1:815
+755:1:819
+756:1:820
+757:1:814
+758:1:815
+759:1:819
+760:1:820
+761:1:828
+762:1:833
+763:1:834
+764:1:845
+765:1:846
+766:1:847
+767:1:858
+768:1:863
+769:1:864
+770:1:875
+771:1:876
+772:1:877
+773:1:875
+774:1:876
+775:1:877
+776:1:888
+777:0:4533
+778:1:11
+779:0:4533
+780:2:3975
+781:2:3976
+782:2:3980
+783:2:3981
+784:2:3989
+785:2:3990
+786:2:3994
+787:2:3995
+788:2:4003
+789:2:4008
+790:2:4012
+791:2:4013
+792:2:4021
+793:2:4022
+794:2:4026
+795:2:4027
+796:2:4021
+797:2:4022
+798:2:4026
+799:2:4027
+800:2:4035
+801:2:4040
+802:2:4041
+803:2:4052
+804:2:4053
+805:2:4054
+806:2:4065
+807:2:4070
+808:2:4071
+809:2:4082
+810:2:4083
+811:2:4084
+812:2:4082
+813:2:4083
+814:2:4084
+815:2:4095
+816:2:4103
+817:0:4533
+818:2:3127
+819:0:4533
+820:2:4109
+821:2:4110
+822:2:4114
+823:2:4115
+824:2:4123
+825:2:4124
+826:2:4128
+827:2:4129
+828:2:4137
+829:2:4142
+830:2:4146
+831:2:4147
+832:2:4155
+833:2:4156
+834:2:4160
+835:2:4161
+836:2:4155
+837:2:4156
+838:2:4160
+839:2:4161
+840:2:4169
+841:2:4174
+842:2:4175
+843:2:4186
+844:2:4187
+845:2:4188
+846:2:4199
+847:2:4204
+848:2:4205
+849:2:4216
+850:2:4217
+851:2:4218
+852:2:4216
+853:2:4217
+854:2:4218
+855:2:4229
+856:0:4533
+857:2:3127
+858:0:4533
+859:1:1028
+860:1:1029
+861:1:1033
+862:1:1034
+863:1:1042
+864:1:1043
+865:1:1047
+866:1:1048
+867:1:1056
+868:1:1061
+869:1:1065
+870:1:1066
+871:1:1074
+872:1:1075
+873:1:1079
+874:1:1080
+875:1:1074
+876:1:1075
+877:1:1079
+878:1:1080
+879:1:1088
+880:1:1093
+881:1:1094
+882:1:1105
+883:1:1106
+884:1:1107
+885:1:1118
+886:1:1123
+887:1:1124
+888:1:1135
+889:1:1136
+890:1:1137
+891:1:1135
+892:1:1136
+893:1:1137
+894:1:1148
+895:1:1155
+896:1:1159
+897:0:4533
+898:1:11
+899:0:4533
+900:2:3975
+901:2:3976
+902:2:3980
+903:2:3981
+904:2:3989
+905:2:3990
+906:2:3994
+907:2:3995
+908:2:4003
+909:2:4008
+910:2:4012
+911:2:4013
+912:2:4021
+913:2:4022
+914:2:4026
+915:2:4027
+916:2:4021
+917:2:4022
+918:2:4026
+919:2:4027
+920:2:4035
+921:2:4040
+922:2:4041
+923:2:4052
+924:2:4053
+925:2:4054
+926:2:4065
+927:2:4070
+928:2:4071
+929:2:4082
+930:2:4083
+931:2:4084
+932:2:4082
+933:2:4083
+934:2:4084
+935:2:4095
+936:2:4103
+937:0:4533
+938:2:3127
+939:0:4533
+940:2:4109
+941:2:4110
+942:2:4114
+943:2:4115
+944:2:4123
+945:2:4124
+946:2:4128
+947:2:4129
+948:2:4137
+949:2:4142
+950:2:4146
+951:2:4147
+952:2:4155
+953:2:4156
+954:2:4160
+955:2:4161
+956:2:4155
+957:2:4156
+958:2:4160
+959:2:4161
+960:2:4169
+961:2:4174
+962:2:4175
+963:2:4186
+964:2:4187
+965:2:4188
+966:2:4199
+967:2:4204
+968:2:4205
+969:2:4216
+970:2:4217
+971:2:4218
+972:2:4216
+973:2:4217
+974:2:4218
+975:2:4229
+976:0:4533
+977:2:3127
+978:0:4533
+979:1:1160
+980:1:1161
+981:1:1165
+982:1:1166
+983:1:1174
+984:1:1175
+985:1:1176
+986:1:1188
+987:1:1193
+988:1:1197
+989:1:1198
+990:1:1206
+991:1:1207
+992:1:1211
+993:1:1212
+994:1:1206
+995:1:1207
+996:1:1211
+997:1:1212
+998:1:1220
+999:1:1225
+1000:1:1226
+1001:1:1237
+1002:1:1238
+1003:1:1239
+1004:1:1250
+1005:1:1255
+1006:1:1256
+1007:1:1267
+1008:1:1268
+1009:1:1269
+1010:1:1267
+1011:1:1268
+1012:1:1269
+1013:1:1280
+1014:0:4533
+1015:1:11
+1016:0:4533
+1017:2:3975
+1018:2:3976
+1019:2:3980
+1020:2:3981
+1021:2:3989
+1022:2:3990
+1023:2:3994
+1024:2:3995
+1025:2:4003
+1026:2:4008
+1027:2:4012
+1028:2:4013
+1029:2:4021
+1030:2:4022
+1031:2:4026
+1032:2:4027
+1033:2:4021
+1034:2:4022
+1035:2:4026
+1036:2:4027
+1037:2:4035
+1038:2:4040
+1039:2:4041
+1040:2:4052
+1041:2:4053
+1042:2:4054
+1043:2:4065
+1044:2:4070
+1045:2:4071
+1046:2:4082
+1047:2:4083
+1048:2:4084
+1049:2:4082
+1050:2:4083
+1051:2:4084
+1052:2:4095
+1053:2:4103
+1054:0:4533
+1055:2:3127
+1056:0:4533
+1057:2:4109
+1058:2:4110
+1059:2:4114
+1060:2:4115
+1061:2:4123
+1062:2:4124
+1063:2:4128
+1064:2:4129
+1065:2:4137
+1066:2:4142
+1067:2:4146
+1068:2:4147
+1069:2:4155
+1070:2:4156
+1071:2:4160
+1072:2:4161
+1073:2:4155
+1074:2:4156
+1075:2:4160
+1076:2:4161
+1077:2:4169
+1078:2:4174
+1079:2:4175
+1080:2:4186
+1081:2:4187
+1082:2:4188
+1083:2:4199
+1084:2:4204
+1085:2:4205
+1086:2:4216
+1087:2:4217
+1088:2:4218
+1089:2:4216
+1090:2:4217
+1091:2:4218
+1092:2:4229
+1093:0:4533
+1094:2:3127
+1095:0:4533
+1096:1:1289
+1097:0:4533
+1098:2:3975
+1099:2:3976
+1100:2:3980
+1101:2:3981
+1102:2:3989
+1103:2:3990
+1104:2:3994
+1105:2:3995
+1106:2:4003
+1107:2:4008
+1108:2:4012
+1109:2:4013
+1110:2:4021
+1111:2:4022
+1112:2:4026
+1113:2:4027
+1114:2:4021
+1115:2:4022
+1116:2:4026
+1117:2:4027
+1118:2:4035
+1119:2:4040
+1120:2:4041
+1121:2:4052
+1122:2:4053
+1123:2:4054
+1124:2:4065
+1125:2:4070
+1126:2:4071
+1127:2:4082
+1128:2:4083
+1129:2:4084
+1130:2:4082
+1131:2:4083
+1132:2:4084
+1133:2:4095
+1134:2:4103
+1135:0:4533
+1136:2:3127
+1137:0:4533
+1138:2:4109
+1139:2:4110
+1140:2:4114
+1141:2:4115
+1142:2:4123
+1143:2:4124
+1144:2:4128
+1145:2:4129
+1146:2:4137
+1147:2:4142
+1148:2:4146
+1149:2:4147
+1150:2:4155
+1151:2:4156
+1152:2:4160
+1153:2:4161
+1154:2:4155
+1155:2:4156
+1156:2:4160
+1157:2:4161
+1158:2:4169
+1159:2:4174
+1160:2:4175
+1161:2:4186
+1162:2:4187
+1163:2:4188
+1164:2:4199
+1165:2:4204
+1166:2:4205
+1167:2:4216
+1168:2:4217
+1169:2:4218
+1170:2:4216
+1171:2:4217
+1172:2:4218
+1173:2:4229
+1174:0:4533
+1175:2:3127
+1176:0:4533
+1177:1:3023
+1178:1:3030
+1179:1:3031
+1180:1:3038
+1181:1:3043
+1182:1:3050
+1183:1:3051
+1184:1:3050
+1185:1:3051
+1186:1:3058
+1187:1:3062
+1188:0:4533
+1189:2:3975
+1190:2:3976
+1191:2:3980
+1192:2:3981
+1193:2:3989
+1194:2:3990
+1195:2:3994
+1196:2:3995
+1197:2:4003
+1198:2:4008
+1199:2:4012
+1200:2:4013
+1201:2:4021
+1202:2:4022
+1203:2:4026
+1204:2:4027
+1205:2:4021
+1206:2:4022
+1207:2:4026
+1208:2:4027
+1209:2:4035
+1210:2:4040
+1211:2:4041
+1212:2:4052
+1213:2:4053
+1214:2:4054
+1215:2:4065
+1216:2:4070
+1217:2:4071
+1218:2:4082
+1219:2:4083
+1220:2:4084
+1221:2:4082
+1222:2:4083
+1223:2:4084
+1224:2:4095
+1225:2:4103
+1226:0:4533
+1227:2:3127
+1228:0:4533
+1229:2:4109
+1230:2:4110
+1231:2:4114
+1232:2:4115
+1233:2:4123
+1234:2:4124
+1235:2:4128
+1236:2:4129
+1237:2:4137
+1238:2:4142
+1239:2:4146
+1240:2:4147
+1241:2:4155
+1242:2:4156
+1243:2:4160
+1244:2:4161
+1245:2:4155
+1246:2:4156
+1247:2:4160
+1248:2:4161
+1249:2:4169
+1250:2:4174
+1251:2:4175
+1252:2:4186
+1253:2:4187
+1254:2:4188
+1255:2:4199
+1256:2:4204
+1257:2:4205
+1258:2:4216
+1259:2:4217
+1260:2:4218
+1261:2:4216
+1262:2:4217
+1263:2:4218
+1264:2:4229
+1265:0:4533
+1266:2:3127
+1267:0:4533
+1268:1:1291
+1269:1:1292
+1270:0:4533
+1271:1:11
+1272:0:4533
+1273:2:3975
+1274:2:3976
+1275:2:3980
+1276:2:3981
+1277:2:3989
+1278:2:3990
+1279:2:3994
+1280:2:3995
+1281:2:4003
+1282:2:4008
+1283:2:4012
+1284:2:4013
+1285:2:4021
+1286:2:4022
+1287:2:4026
+1288:2:4027
+1289:2:4021
+1290:2:4022
+1291:2:4026
+1292:2:4027
+1293:2:4035
+1294:2:4040
+1295:2:4041
+1296:2:4052
+1297:2:4053
+1298:2:4054
+1299:2:4065
+1300:2:4070
+1301:2:4071
+1302:2:4082
+1303:2:4083
+1304:2:4084
+1305:2:4082
+1306:2:4083
+1307:2:4084
+1308:2:4095
+1309:2:4103
+1310:0:4533
+1311:2:3127
+1312:0:4533
+1313:2:4109
+1314:2:4110
+1315:2:4114
+1316:2:4115
+1317:2:4123
+1318:2:4124
+1319:2:4128
+1320:2:4129
+1321:2:4137
+1322:2:4142
+1323:2:4146
+1324:2:4147
+1325:2:4155
+1326:2:4156
+1327:2:4160
+1328:2:4161
+1329:2:4155
+1330:2:4156
+1331:2:4160
+1332:2:4161
+1333:2:4169
+1334:2:4174
+1335:2:4175
+1336:2:4186
+1337:2:4187
+1338:2:4188
+1339:2:4199
+1340:2:4204
+1341:2:4205
+1342:2:4216
+1343:2:4217
+1344:2:4218
+1345:2:4216
+1346:2:4217
+1347:2:4218
+1348:2:4229
+1349:0:4533
+1350:2:3127
+1351:0:4533
+1352:1:1293
+1353:1:1294
+1354:1:1298
+1355:1:1299
+1356:1:1307
+1357:1:1308
+1358:1:1312
+1359:1:1313
+1360:1:1321
+1361:1:1326
+1362:1:1330
+1363:1:1331
+1364:1:1339
+1365:1:1340
+1366:1:1344
+1367:1:1345
+1368:1:1339
+1369:1:1340
+1370:1:1344
+1371:1:1345
+1372:1:1353
+1373:1:1358
+1374:1:1359
+1375:1:1370
+1376:1:1371
+1377:1:1372
+1378:1:1383
+1379:1:1388
+1380:1:1389
+1381:1:1400
+1382:1:1401
+1383:1:1402
+1384:1:1400
+1385:1:1401
+1386:1:1402
+1387:1:1413
+1388:0:4533
+1389:1:11
+1390:0:4533
+1391:2:3975
+1392:2:3976
+1393:2:3980
+1394:2:3981
+1395:2:3989
+1396:2:3990
+1397:2:3994
+1398:2:3995
+1399:2:4003
+1400:2:4008
+1401:2:4012
+1402:2:4013
+1403:2:4021
+1404:2:4022
+1405:2:4026
+1406:2:4027
+1407:2:4021
+1408:2:4022
+1409:2:4026
+1410:2:4027
+1411:2:4035
+1412:2:4040
+1413:2:4041
+1414:2:4052
+1415:2:4053
+1416:2:4054
+1417:2:4065
+1418:2:4070
+1419:2:4071
+1420:2:4082
+1421:2:4083
+1422:2:4084
+1423:2:4082
+1424:2:4083
+1425:2:4084
+1426:2:4095
+1427:2:4103
+1428:0:4533
+1429:2:3127
+1430:0:4533
+1431:2:4109
+1432:2:4110
+1433:2:4114
+1434:2:4115
+1435:2:4123
+1436:2:4124
+1437:2:4128
+1438:2:4129
+1439:2:4137
+1440:2:4142
+1441:2:4146
+1442:2:4147
+1443:2:4155
+1444:2:4156
+1445:2:4160
+1446:2:4161
+1447:2:4155
+1448:2:4156
+1449:2:4160
+1450:2:4161
+1451:2:4169
+1452:2:4174
+1453:2:4175
+1454:2:4186
+1455:2:4187
+1456:2:4188
+1457:2:4199
+1458:2:4204
+1459:2:4205
+1460:2:4216
+1461:2:4217
+1462:2:4218
+1463:2:4216
+1464:2:4217
+1465:2:4218
+1466:2:4229
+1467:0:4533
+1468:2:3127
+1469:0:4533
+1470:1:1422
+1471:1:1423
+1472:1:1427
+1473:1:1428
+1474:1:1436
+1475:1:1437
+1476:1:1441
+1477:1:1442
+1478:1:1450
+1479:1:1455
+1480:1:1459
+1481:1:1460
+1482:1:1468
+1483:1:1469
+1484:1:1473
+1485:1:1474
+1486:1:1468
+1487:1:1469
+1488:1:1473
+1489:1:1474
+1490:1:1482
+1491:1:1487
+1492:1:1488
+1493:1:1499
+1494:1:1500
+1495:1:1501
+1496:1:1512
+1497:1:1517
+1498:1:1518
+1499:1:1529
+1500:1:1530
+1501:1:1531
+1502:1:1529
+1503:1:1530
+1504:1:1531
+1505:1:1542
+1506:1:1549
+1507:1:1553
+1508:0:4533
+1509:1:11
+1510:0:4533
+1511:2:3975
+1512:2:3976
+1513:2:3980
+1514:2:3981
+1515:2:3989
+1516:2:3990
+1517:2:3994
+1518:2:3995
+1519:2:4003
+1520:2:4008
+1521:2:4012
+1522:2:4013
+1523:2:4021
+1524:2:4022
+1525:2:4026
+1526:2:4027
+1527:2:4021
+1528:2:4022
+1529:2:4026
+1530:2:4027
+1531:2:4035
+1532:2:4040
+1533:2:4041
+1534:2:4052
+1535:2:4053
+1536:2:4054
+1537:2:4065
+1538:2:4070
+1539:2:4071
+1540:2:4082
+1541:2:4083
+1542:2:4084
+1543:2:4082
+1544:2:4083
+1545:2:4084
+1546:2:4095
+1547:2:4103
+1548:0:4533
+1549:2:3127
+1550:0:4533
+1551:2:4109
+1552:2:4110
+1553:2:4114
+1554:2:4115
+1555:2:4123
+1556:2:4124
+1557:2:4128
+1558:2:4129
+1559:2:4137
+1560:2:4142
+1561:2:4146
+1562:2:4147
+1563:2:4155
+1564:2:4156
+1565:2:4160
+1566:2:4161
+1567:2:4155
+1568:2:4156
+1569:2:4160
+1570:2:4161
+1571:2:4169
+1572:2:4174
+1573:2:4175
+1574:2:4186
+1575:2:4187
+1576:2:4188
+1577:2:4199
+1578:2:4204
+1579:2:4205
+1580:2:4216
+1581:2:4217
+1582:2:4218
+1583:2:4216
+1584:2:4217
+1585:2:4218
+1586:2:4229
+1587:0:4533
+1588:2:3127
+1589:0:4533
+1590:1:1554
+1591:1:1558
+1592:1:1559
+1593:1:1563
+1594:1:1564
+1595:1:1572
+1596:1:1580
+1597:1:1581
+1598:1:1585
+1599:1:1589
+1600:1:1590
+1601:1:1585
+1602:1:1589
+1603:1:1590
+1604:1:1594
+1605:1:1601
+1606:1:1608
+1607:1:1609
+1608:1:1616
+1609:1:1621
+1610:1:1628
+1611:1:1629
+1612:1:1628
+1613:1:1629
+1614:1:1636
+1615:0:4533
+1616:1:11
+1617:0:4533
+1618:2:3975
+1619:2:3976
+1620:2:3980
+1621:2:3981
+1622:2:3989
+1623:2:3990
+1624:2:3994
+1625:2:3995
+1626:2:4003
+1627:2:4008
+1628:2:4012
+1629:2:4013
+1630:2:4021
+1631:2:4022
+1632:2:4026
+1633:2:4027
+1634:2:4021
+1635:2:4022
+1636:2:4026
+1637:2:4027
+1638:2:4035
+1639:2:4040
+1640:2:4041
+1641:2:4052
+1642:2:4053
+1643:2:4054
+1644:2:4065
+1645:2:4070
+1646:2:4071
+1647:2:4082
+1648:2:4083
+1649:2:4084
+1650:2:4082
+1651:2:4083
+1652:2:4084
+1653:2:4095
+1654:2:4103
+1655:0:4533
+1656:2:3127
+1657:0:4533
+1658:2:4109
+1659:2:4110
+1660:2:4114
+1661:2:4115
+1662:2:4123
+1663:2:4124
+1664:2:4128
+1665:2:4129
+1666:2:4137
+1667:2:4142
+1668:2:4146
+1669:2:4147
+1670:2:4155
+1671:2:4156
+1672:2:4160
+1673:2:4161
+1674:2:4155
+1675:2:4156
+1676:2:4160
+1677:2:4161
+1678:2:4169
+1679:2:4174
+1680:2:4175
+1681:2:4186
+1682:2:4187
+1683:2:4188
+1684:2:4199
+1685:2:4204
+1686:2:4205
+1687:2:4216
+1688:2:4217
+1689:2:4218
+1690:2:4216
+1691:2:4217
+1692:2:4218
+1693:2:4229
+1694:0:4533
+1695:2:3127
+1696:0:4533
+1697:1:1646
+1698:1:1647
+1699:1:1651
+1700:1:1652
+1701:1:1660
+1702:1:1661
+1703:1:1665
+1704:1:1666
+1705:1:1674
+1706:1:1679
+1707:1:1683
+1708:1:1684
+1709:1:1692
+1710:1:1693
+1711:1:1697
+1712:1:1698
+1713:1:1692
+1714:1:1693
+1715:1:1697
+1716:1:1698
+1717:1:1706
+1718:1:1711
+1719:1:1712
+1720:1:1723
+1721:1:1724
+1722:1:1725
+1723:1:1736
+1724:1:1741
+1725:1:1742
+1726:1:1753
+1727:1:1754
+1728:1:1755
+1729:1:1753
+1730:1:1754
+1731:1:1755
+1732:1:1766
+1733:0:4533
+1734:1:11
+1735:0:4533
+1736:2:3975
+1737:2:3976
+1738:2:3980
+1739:2:3981
+1740:2:3989
+1741:2:3990
+1742:2:3994
+1743:2:3995
+1744:2:4003
+1745:2:4008
+1746:2:4012
+1747:2:4013
+1748:2:4021
+1749:2:4022
+1750:2:4026
+1751:2:4027
+1752:2:4021
+1753:2:4022
+1754:2:4026
+1755:2:4027
+1756:2:4035
+1757:2:4040
+1758:2:4041
+1759:2:4052
+1760:2:4053
+1761:2:4054
+1762:2:4065
+1763:2:4070
+1764:2:4071
+1765:2:4082
+1766:2:4083
+1767:2:4084
+1768:2:4082
+1769:2:4083
+1770:2:4084
+1771:2:4095
+1772:2:4103
+1773:0:4533
+1774:2:3127
+1775:0:4533
+1776:2:4109
+1777:2:4110
+1778:2:4114
+1779:2:4115
+1780:2:4123
+1781:2:4124
+1782:2:4128
+1783:2:4129
+1784:2:4137
+1785:2:4142
+1786:2:4146
+1787:2:4147
+1788:2:4155
+1789:2:4156
+1790:2:4160
+1791:2:4161
+1792:2:4155
+1793:2:4156
+1794:2:4160
+1795:2:4161
+1796:2:4169
+1797:2:4174
+1798:2:4175
+1799:2:4186
+1800:2:4187
+1801:2:4188
+1802:2:4199
+1803:2:4204
+1804:2:4205
+1805:2:4216
+1806:2:4217
+1807:2:4218
+1808:2:4216
+1809:2:4217
+1810:2:4218
+1811:2:4229
+1812:0:4533
+1813:2:3127
+1814:0:4533
+1815:1:1775
+1816:1:1776
+1817:1:1780
+1818:1:1781
+1819:1:1789
+1820:1:1790
+1821:1:1794
+1822:1:1795
+1823:1:1803
+1824:1:1808
+1825:1:1812
+1826:1:1813
+1827:1:1821
+1828:1:1822
+1829:1:1826
+1830:1:1827
+1831:1:1821
+1832:1:1822
+1833:1:1826
+1834:1:1827
+1835:1:1835
+1836:1:1840
+1837:1:1841
+1838:1:1852
+1839:1:1853
+1840:1:1854
+1841:1:1865
+1842:1:1870
+1843:1:1871
+1844:1:1882
+1845:1:1883
+1846:1:1884
+1847:1:1882
+1848:1:1883
+1849:1:1884
+1850:1:1895
+1851:1:1902
+1852:1:1906
+1853:0:4533
+1854:1:11
+1855:0:4533
+1856:2:3975
+1857:2:3976
+1858:2:3980
+1859:2:3981
+1860:2:3989
+1861:2:3990
+1862:2:3994
+1863:2:3995
+1864:2:4003
+1865:2:4008
+1866:2:4012
+1867:2:4013
+1868:2:4021
+1869:2:4022
+1870:2:4026
+1871:2:4027
+1872:2:4021
+1873:2:4022
+1874:2:4026
+1875:2:4027
+1876:2:4035
+1877:2:4040
+1878:2:4041
+1879:2:4052
+1880:2:4053
+1881:2:4054
+1882:2:4065
+1883:2:4070
+1884:2:4071
+1885:2:4082
+1886:2:4083
+1887:2:4084
+1888:2:4082
+1889:2:4083
+1890:2:4084
+1891:2:4095
+1892:2:4103
+1893:0:4533
+1894:2:3127
+1895:0:4533
+1896:2:4109
+1897:2:4110
+1898:2:4114
+1899:2:4115
+1900:2:4123
+1901:2:4124
+1902:2:4128
+1903:2:4129
+1904:2:4137
+1905:2:4142
+1906:2:4146
+1907:2:4147
+1908:2:4155
+1909:2:4156
+1910:2:4160
+1911:2:4161
+1912:2:4155
+1913:2:4156
+1914:2:4160
+1915:2:4161
+1916:2:4169
+1917:2:4174
+1918:2:4175
+1919:2:4186
+1920:2:4187
+1921:2:4188
+1922:2:4199
+1923:2:4204
+1924:2:4205
+1925:2:4216
+1926:2:4217
+1927:2:4218
+1928:2:4216
+1929:2:4217
+1930:2:4218
+1931:2:4229
+1932:0:4533
+1933:2:3127
+1934:0:4533
+1935:1:1907
+1936:1:1908
+1937:1:1912
+1938:1:1913
+1939:1:1921
+1940:1:1922
+1941:1:1923
+1942:1:1935
+1943:1:1940
+1944:1:1944
+1945:1:1945
+1946:1:1953
+1947:1:1954
+1948:1:1958
+1949:1:1959
+1950:1:1953
+1951:1:1954
+1952:1:1958
+1953:1:1959
+1954:1:1967
+1955:1:1972
+1956:1:1973
+1957:1:1984
+1958:1:1985
+1959:1:1986
+1960:1:1997
+1961:1:2002
+1962:1:2003
+1963:1:2014
+1964:1:2015
+1965:1:2016
+1966:1:2014
+1967:1:2015
+1968:1:2016
+1969:1:2027
+1970:0:4533
+1971:1:11
+1972:0:4533
+1973:2:3975
+1974:2:3976
+1975:2:3980
+1976:2:3981
+1977:2:3989
+1978:2:3990
+1979:2:3994
+1980:2:3995
+1981:2:4003
+1982:2:4008
+1983:2:4012
+1984:2:4013
+1985:2:4021
+1986:2:4022
+1987:2:4026
+1988:2:4027
+1989:2:4021
+1990:2:4022
+1991:2:4026
+1992:2:4027
+1993:2:4035
+1994:2:4040
+1995:2:4041
+1996:2:4052
+1997:2:4060
+1998:2:4061
+1999:2:4065
+2000:2:4070
+2001:2:4071
+2002:2:4082
+2003:2:4083
+2004:2:4084
+2005:2:4082
+2006:2:4083
+2007:2:4084
+2008:2:4095
+2009:2:4103
+2010:0:4533
+2011:2:3127
+2012:0:4533
+2013:2:4109
+2014:2:4110
+2015:2:4114
+2016:2:4115
+2017:2:4123
+2018:2:4124
+2019:2:4128
+2020:2:4129
+2021:2:4137
+2022:2:4142
+2023:2:4146
+2024:2:4147
+2025:2:4155
+2026:2:4156
+2027:2:4160
+2028:2:4161
+2029:2:4155
+2030:2:4156
+2031:2:4160
+2032:2:4161
+2033:2:4169
+2034:2:4174
+2035:2:4175
+2036:2:4186
+2037:2:4194
+2038:2:4195
+2039:2:4199
+2040:2:4204
+2041:2:4205
+2042:2:4216
+2043:2:4217
+2044:2:4218
+2045:2:4216
+2046:2:4217
+2047:2:4218
+2048:2:4229
+2049:0:4533
+2050:2:3127
+2051:0:4533
+2052:1:2036
+2053:1:2037
+2054:0:4533
+2055:1:11
+2056:0:4533
+2057:2:3975
+2058:2:3976
+2059:2:3980
+2060:2:3981
+2061:2:3989
+2062:2:3990
+2063:2:3994
+2064:2:3995
+2065:2:4003
+2066:2:4008
+2067:2:4012
+2068:2:4013
+2069:2:4021
+2070:2:4022
+2071:2:4026
+2072:2:4027
+2073:2:4021
+2074:2:4022
+2075:2:4026
+2076:2:4027
+2077:2:4035
+2078:2:4040
+2079:2:4041
+2080:2:4052
+2081:2:4060
+2082:2:4061
+2083:2:4065
+2084:2:4070
+2085:2:4071
+2086:2:4082
+2087:2:4083
+2088:2:4084
+2089:2:4082
+2090:2:4083
+2091:2:4084
+2092:2:4095
+2093:2:4103
+2094:0:4533
+2095:2:3127
+2096:0:4533
+2097:2:4109
+2098:2:4110
+2099:2:4114
+2100:2:4115
+2101:2:4123
+2102:2:4124
+2103:2:4128
+2104:2:4129
+2105:2:4137
+2106:2:4142
+2107:2:4146
+2108:2:4147
+2109:2:4155
+2110:2:4156
+2111:2:4160
+2112:2:4161
+2113:2:4155
+2114:2:4156
+2115:2:4160
+2116:2:4161
+2117:2:4169
+2118:2:4174
+2119:2:4175
+2120:2:4186
+2121:2:4194
+2122:2:4195
+2123:2:4199
+2124:2:4204
+2125:2:4205
+2126:2:4216
+2127:2:4217
+2128:2:4218
+2129:2:4216
+2130:2:4217
+2131:2:4218
+2132:2:4229
+2133:0:4533
+2134:2:3127
+2135:0:4533
+2136:1:2043
+2137:1:2044
+2138:1:2048
+2139:1:2049
+2140:1:2057
+2141:1:2058
+2142:1:2062
+2143:1:2063
+2144:1:2071
+2145:1:2076
+2146:1:2080
+2147:1:2081
+2148:1:2089
+2149:1:2090
+2150:1:2094
+2151:1:2095
+2152:1:2089
+2153:1:2090
+2154:1:2094
+2155:1:2095
+2156:1:2103
+2157:1:2108
+2158:1:2109
+2159:1:2120
+2160:1:2121
+2161:1:2122
+2162:1:2133
+2163:1:2138
+2164:1:2139
+2165:1:2150
+2166:1:2151
+2167:1:2152
+2168:1:2150
+2169:1:2151
+2170:1:2152
+2171:1:2163
+2172:0:4533
+2173:1:11
+2174:0:4533
+2175:2:3975
+2176:2:3976
+2177:2:3980
+2178:2:3981
+2179:2:3989
+2180:2:3990
+2181:2:3994
+2182:2:3995
+2183:2:4003
+2184:2:4008
+2185:2:4012
+2186:2:4013
+2187:2:4021
+2188:2:4022
+2189:2:4026
+2190:2:4027
+2191:2:4021
+2192:2:4022
+2193:2:4026
+2194:2:4027
+2195:2:4035
+2196:2:4040
+2197:2:4041
+2198:2:4052
+2199:2:4060
+2200:2:4061
+2201:2:4065
+2202:2:4070
+2203:2:4071
+2204:2:4082
+2205:2:4083
+2206:2:4084
+2207:2:4082
+2208:2:4083
+2209:2:4084
+2210:2:4095
+2211:2:4103
+2212:0:4533
+2213:2:3127
+2214:0:4533
+2215:2:4109
+2216:2:4110
+2217:2:4114
+2218:2:4115
+2219:2:4123
+2220:2:4124
+2221:2:4128
+2222:2:4129
+2223:2:4137
+2224:2:4142
+2225:2:4146
+2226:2:4147
+2227:2:4155
+2228:2:4156
+2229:2:4160
+2230:2:4161
+2231:2:4155
+2232:2:4156
+2233:2:4160
+2234:2:4161
+2235:2:4169
+2236:2:4174
+2237:2:4175
+2238:2:4186
+2239:2:4194
+2240:2:4195
+2241:2:4199
+2242:2:4204
+2243:2:4205
+2244:2:4216
+2245:2:4217
+2246:2:4218
+2247:2:4216
+2248:2:4217
+2249:2:4218
+2250:2:4229
+2251:0:4533
+2252:2:3127
+2253:0:4533
+2254:1:2172
+2255:1:2173
+2256:1:2177
+2257:1:2178
+2258:1:2186
+2259:1:2187
+2260:1:2191
+2261:1:2192
+2262:1:2200
+2263:1:2205
+2264:1:2209
+2265:1:2210
+2266:1:2218
+2267:1:2219
+2268:1:2223
+2269:1:2224
+2270:1:2218
+2271:1:2219
+2272:1:2223
+2273:1:2224
+2274:1:2232
+2275:1:2237
+2276:1:2238
+2277:1:2249
+2278:1:2250
+2279:1:2251
+2280:1:2262
+2281:1:2267
+2282:1:2268
+2283:1:2279
+2284:1:2280
+2285:1:2281
+2286:1:2279
+2287:1:2280
+2288:1:2281
+2289:1:2292
+2290:1:2299
+2291:0:4533
+2292:1:11
+2293:0:4533
+2294:2:3975
+2295:2:3976
+2296:2:3980
+2297:2:3981
+2298:2:3989
+2299:2:3990
+2300:2:3994
+2301:2:3995
+2302:2:4003
+2303:2:4008
+2304:2:4012
+2305:2:4013
+2306:2:4021
+2307:2:4022
+2308:2:4026
+2309:2:4027
+2310:2:4021
+2311:2:4022
+2312:2:4026
+2313:2:4027
+2314:2:4035
+2315:2:4040
+2316:2:4041
+2317:2:4052
+2318:2:4060
+2319:2:4061
+2320:2:4065
+2321:2:4070
+2322:2:4071
+2323:2:4082
+2324:2:4083
+2325:2:4084
+2326:2:4082
+2327:2:4083
+2328:2:4084
+2329:2:4095
+2330:2:4103
+2331:0:4533
+2332:2:3127
+2333:0:4533
+2334:2:4109
+2335:2:4110
+2336:2:4114
+2337:2:4115
+2338:2:4123
+2339:2:4124
+2340:2:4128
+2341:2:4129
+2342:2:4137
+2343:2:4142
+2344:2:4146
+2345:2:4147
+2346:2:4155
+2347:2:4156
+2348:2:4160
+2349:2:4161
+2350:2:4155
+2351:2:4156
+2352:2:4160
+2353:2:4161
+2354:2:4169
+2355:2:4174
+2356:2:4175
+2357:2:4186
+2358:2:4194
+2359:2:4195
+2360:2:4199
+2361:2:4204
+2362:2:4205
+2363:2:4216
+2364:2:4217
+2365:2:4218
+2366:2:4216
+2367:2:4217
+2368:2:4218
+2369:2:4229
+2370:0:4533
+2371:2:3127
+2372:0:4533
+2373:1:2435
+2374:1:2439
+2375:1:2440
+2376:1:2444
+2377:1:2445
+2378:1:2453
+2379:1:2461
+2380:1:2462
+2381:1:2466
+2382:1:2470
+2383:1:2471
+2384:1:2466
+2385:1:2470
+2386:1:2471
+2387:1:2475
+2388:1:2482
+2389:1:2489
+2390:1:2490
+2391:1:2497
+2392:1:2502
+2393:1:2509
+2394:1:2510
+2395:1:2509
+2396:1:2510
+2397:1:2517
+2398:0:4533
+2399:1:11
+2400:0:4533
+2401:2:3975
+2402:2:3976
+2403:2:3980
+2404:2:3981
+2405:2:3989
+2406:2:3990
+2407:2:3994
+2408:2:3995
+2409:2:4003
+2410:2:4008
+2411:2:4012
+2412:2:4013
+2413:2:4021
+2414:2:4022
+2415:2:4026
+2416:2:4027
+2417:2:4021
+2418:2:4022
+2419:2:4026
+2420:2:4027
+2421:2:4035
+2422:2:4040
+2423:2:4041
+2424:2:4052
+2425:2:4060
+2426:2:4061
+2427:2:4065
+2428:2:4070
+2429:2:4071
+2430:2:4082
+2431:2:4083
+2432:2:4084
+2433:2:4082
+2434:2:4083
+2435:2:4084
+2436:2:4095
+2437:2:4103
+2438:0:4533
+2439:2:3127
+2440:0:4533
+2441:2:4109
+2442:2:4110
+2443:2:4114
+2444:2:4115
+2445:2:4123
+2446:2:4124
+2447:2:4128
+2448:2:4129
+2449:2:4137
+2450:2:4142
+2451:2:4146
+2452:2:4147
+2453:2:4155
+2454:2:4156
+2455:2:4160
+2456:2:4161
+2457:2:4155
+2458:2:4156
+2459:2:4160
+2460:2:4161
+2461:2:4169
+2462:2:4174
+2463:2:4175
+2464:2:4186
+2465:2:4194
+2466:2:4195
+2467:2:4199
+2468:2:4204
+2469:2:4205
+2470:2:4216
+2471:2:4217
+2472:2:4218
+2473:2:4216
+2474:2:4217
+2475:2:4218
+2476:2:4229
+2477:0:4533
+2478:2:3127
+2479:0:4533
+2480:1:2527
+2481:1:2528
+2482:1:2532
+2483:1:2533
+2484:1:2541
+2485:1:2542
+2486:1:2546
+2487:1:2547
+2488:1:2555
+2489:1:2560
+2490:1:2564
+2491:1:2565
+2492:1:2573
+2493:1:2574
+2494:1:2578
+2495:1:2579
+2496:1:2573
+2497:1:2574
+2498:1:2578
+2499:1:2579
+2500:1:2587
+2501:1:2592
+2502:1:2593
+2503:1:2604
+2504:1:2605
+2505:1:2606
+2506:1:2617
+2507:1:2622
+2508:1:2623
+2509:1:2634
+2510:1:2635
+2511:1:2636
+2512:1:2634
+2513:1:2635
+2514:1:2636
+2515:1:2647
+2516:0:4533
+2517:1:11
+2518:0:4533
+2519:2:3975
+2520:2:3976
+2521:2:3980
+2522:2:3981
+2523:2:3989
+2524:2:3990
+2525:2:3994
+2526:2:3995
+2527:2:4003
+2528:2:4008
+2529:2:4012
+2530:2:4013
+2531:2:4021
+2532:2:4022
+2533:2:4026
+2534:2:4027
+2535:2:4021
+2536:2:4022
+2537:2:4026
+2538:2:4027
+2539:2:4035
+2540:2:4040
+2541:2:4041
+2542:2:4052
+2543:2:4060
+2544:2:4061
+2545:2:4065
+2546:2:4070
+2547:2:4071
+2548:2:4082
+2549:2:4083
+2550:2:4084
+2551:2:4082
+2552:2:4083
+2553:2:4084
+2554:2:4095
+2555:2:4103
+2556:0:4533
+2557:2:3127
+2558:0:4533
+2559:2:4109
+2560:2:4110
+2561:2:4114
+2562:2:4115
+2563:2:4123
+2564:2:4124
+2565:2:4128
+2566:2:4129
+2567:2:4137
+2568:2:4142
+2569:2:4146
+2570:2:4147
+2571:2:4155
+2572:2:4156
+2573:2:4160
+2574:2:4161
+2575:2:4155
+2576:2:4156
+2577:2:4160
+2578:2:4161
+2579:2:4169
+2580:2:4174
+2581:2:4175
+2582:2:4186
+2583:2:4194
+2584:2:4195
+2585:2:4199
+2586:2:4204
+2587:2:4205
+2588:2:4216
+2589:2:4217
+2590:2:4218
+2591:2:4216
+2592:2:4217
+2593:2:4218
+2594:2:4229
+2595:0:4533
+2596:2:3127
+2597:0:4533
+2598:1:2656
+2599:0:4533
+2600:2:3975
+2601:2:3976
+2602:2:3980
+2603:2:3981
+2604:2:3989
+2605:2:3990
+2606:2:3994
+2607:2:3995
+2608:2:4003
+2609:2:4008
+2610:2:4012
+2611:2:4013
+2612:2:4021
+2613:2:4022
+2614:2:4026
+2615:2:4027
+2616:2:4021
+2617:2:4022
+2618:2:4026
+2619:2:4027
+2620:2:4035
+2621:2:4040
+2622:2:4041
+2623:2:4052
+2624:2:4060
+2625:2:4061
+2626:2:4065
+2627:2:4070
+2628:2:4071
+2629:2:4082
+2630:2:4083
+2631:2:4084
+2632:2:4082
+2633:2:4083
+2634:2:4084
+2635:2:4095
+2636:2:4103
+2637:0:4533
+2638:2:3127
+2639:0:4533
+2640:2:4109
+2641:2:4110
+2642:2:4114
+2643:2:4115
+2644:2:4123
+2645:2:4124
+2646:2:4128
+2647:2:4129
+2648:2:4137
+2649:2:4142
+2650:2:4146
+2651:2:4147
+2652:2:4155
+2653:2:4156
+2654:2:4160
+2655:2:4161
+2656:2:4155
+2657:2:4156
+2658:2:4160
+2659:2:4161
+2660:2:4169
+2661:2:4174
+2662:2:4175
+2663:2:4186
+2664:2:4194
+2665:2:4195
+2666:2:4199
+2667:2:4204
+2668:2:4205
+2669:2:4216
+2670:2:4217
+2671:2:4218
+2672:2:4216
+2673:2:4217
+2674:2:4218
+2675:2:4229
+2676:0:4533
+2677:2:3127
+2678:0:4533
+2679:1:3066
+2680:1:3073
+2681:1:3074
+2682:1:3081
+2683:1:3086
+2684:1:3093
+2685:1:3094
+2686:1:3093
+2687:1:3094
+2688:1:3101
+2689:1:3105
+2690:0:4533
+2691:2:3975
+2692:2:3976
+2693:2:3980
+2694:2:3981
+2695:2:3989
+2696:2:3990
+2697:2:3994
+2698:2:3995
+2699:2:4003
+2700:2:4008
+2701:2:4012
+2702:2:4013
+2703:2:4021
+2704:2:4022
+2705:2:4026
+2706:2:4027
+2707:2:4021
+2708:2:4022
+2709:2:4026
+2710:2:4027
+2711:2:4035
+2712:2:4040
+2713:2:4041
+2714:2:4052
+2715:2:4060
+2716:2:4061
+2717:2:4065
+2718:2:4070
+2719:2:4071
+2720:2:4082
+2721:2:4083
+2722:2:4084
+2723:2:4082
+2724:2:4083
+2725:2:4084
+2726:2:4095
+2727:2:4103
+2728:0:4533
+2729:2:3127
+2730:0:4533
+2731:2:4109
+2732:2:4110
+2733:2:4114
+2734:2:4115
+2735:2:4123
+2736:2:4124
+2737:2:4128
+2738:2:4129
+2739:2:4137
+2740:2:4142
+2741:2:4146
+2742:2:4147
+2743:2:4155
+2744:2:4156
+2745:2:4160
+2746:2:4161
+2747:2:4155
+2748:2:4156
+2749:2:4160
+2750:2:4161
+2751:2:4169
+2752:2:4174
+2753:2:4175
+2754:2:4186
+2755:2:4194
+2756:2:4195
+2757:2:4199
+2758:2:4204
+2759:2:4205
+2760:2:4216
+2761:2:4217
+2762:2:4218
+2763:2:4216
+2764:2:4217
+2765:2:4218
+2766:2:4229
+2767:0:4533
+2768:2:3127
+2769:0:4533
+2770:1:2658
+2771:1:2659
+2772:0:4533
+2773:1:11
+2774:0:4533
+2775:2:3975
+2776:2:3976
+2777:2:3980
+2778:2:3981
+2779:2:3989
+2780:2:3990
+2781:2:3994
+2782:2:3995
+2783:2:4003
+2784:2:4008
+2785:2:4012
+2786:2:4013
+2787:2:4021
+2788:2:4022
+2789:2:4026
+2790:2:4027
+2791:2:4021
+2792:2:4022
+2793:2:4026
+2794:2:4027
+2795:2:4035
+2796:2:4040
+2797:2:4041
+2798:2:4052
+2799:2:4060
+2800:2:4061
+2801:2:4065
+2802:2:4070
+2803:2:4071
+2804:2:4082
+2805:2:4083
+2806:2:4084
+2807:2:4082
+2808:2:4083
+2809:2:4084
+2810:2:4095
+2811:2:4103
+2812:0:4533
+2813:2:3127
+2814:0:4533
+2815:2:4109
+2816:2:4110
+2817:2:4114
+2818:2:4115
+2819:2:4123
+2820:2:4124
+2821:2:4128
+2822:2:4129
+2823:2:4137
+2824:2:4142
+2825:2:4146
+2826:2:4147
+2827:2:4155
+2828:2:4156
+2829:2:4160
+2830:2:4161
+2831:2:4155
+2832:2:4156
+2833:2:4160
+2834:2:4161
+2835:2:4169
+2836:2:4174
+2837:2:4175
+2838:2:4186
+2839:2:4194
+2840:2:4195
+2841:2:4199
+2842:2:4204
+2843:2:4205
+2844:2:4216
+2845:2:4217
+2846:2:4218
+2847:2:4216
+2848:2:4217
+2849:2:4218
+2850:2:4229
+2851:0:4533
+2852:2:3127
+2853:0:4533
+2854:1:2660
+2855:1:2664
+2856:1:2665
+2857:1:2669
+2858:1:2673
+2859:1:2674
+2860:1:2678
+2861:1:2686
+2862:1:2687
+2863:1:2691
+2864:1:2695
+2865:1:2696
+2866:1:2691
+2867:1:2695
+2868:1:2696
+2869:1:2700
+2870:1:2707
+2871:1:2714
+2872:1:2715
+2873:1:2722
+2874:1:2727
+2875:1:2734
+2876:1:2735
+2877:1:2734
+2878:1:2735
+2879:1:2742
+2880:0:4533
+2881:1:11
+2882:0:4533
+2883:2:3975
+2884:2:3976
+2885:2:3980
+2886:2:3981
+2887:2:3989
+2888:2:3990
+2889:2:3994
+2890:2:3995
+2891:2:4003
+2892:2:4008
+2893:2:4012
+2894:2:4013
+2895:2:4021
+2896:2:4022
+2897:2:4026
+2898:2:4027
+2899:2:4021
+2900:2:4022
+2901:2:4026
+2902:2:4027
+2903:2:4035
+2904:2:4040
+2905:2:4041
+2906:2:4052
+2907:2:4060
+2908:2:4061
+2909:2:4065
+2910:2:4070
+2911:2:4071
+2912:2:4082
+2913:2:4083
+2914:2:4084
+2915:2:4082
+2916:2:4083
+2917:2:4084
+2918:2:4095
+2919:2:4103
+2920:0:4533
+2921:2:3127
+2922:0:4533
+2923:2:4109
+2924:2:4110
+2925:2:4114
+2926:2:4115
+2927:2:4123
+2928:2:4124
+2929:2:4128
+2930:2:4129
+2931:2:4137
+2932:2:4142
+2933:2:4146
+2934:2:4147
+2935:2:4155
+2936:2:4156
+2937:2:4160
+2938:2:4161
+2939:2:4155
+2940:2:4156
+2941:2:4160
+2942:2:4161
+2943:2:4169
+2944:2:4174
+2945:2:4175
+2946:2:4186
+2947:2:4194
+2948:2:4195
+2949:2:4199
+2950:2:4204
+2951:2:4205
+2952:2:4216
+2953:2:4217
+2954:2:4218
+2955:2:4216
+2956:2:4217
+2957:2:4218
+2958:2:4229
+2959:0:4533
+2960:2:3127
+2961:0:4533
+2962:1:2752
+2963:1:2753
+2964:1:2757
+2965:1:2758
+2966:1:2766
+2967:1:2767
+2968:1:2771
+2969:1:2772
+2970:1:2780
+2971:1:2785
+2972:1:2789
+2973:1:2790
+2974:1:2798
+2975:1:2799
+2976:1:2803
+2977:1:2804
+2978:1:2798
+2979:1:2799
+2980:1:2803
+2981:1:2804
+2982:1:2812
+2983:1:2817
+2984:1:2818
+2985:1:2829
+2986:1:2830
+2987:1:2831
+2988:1:2842
+2989:1:2847
+2990:1:2848
+2991:1:2859
+2992:1:2860
+2993:1:2861
+2994:1:2859
+2995:1:2860
+2996:1:2861
+2997:1:2872
+2998:0:4533
+2999:1:11
+3000:0:4533
+3001:2:3975
+3002:2:3976
+3003:2:3980
+3004:2:3981
+3005:2:3989
+3006:2:3990
+3007:2:3994
+3008:2:3995
+3009:2:4003
+3010:2:4008
+3011:2:4012
+3012:2:4013
+3013:2:4021
+3014:2:4022
+3015:2:4026
+3016:2:4027
+3017:2:4021
+3018:2:4022
+3019:2:4026
+3020:2:4027
+3021:2:4035
+3022:2:4040
+3023:2:4041
+3024:2:4052
+3025:2:4060
+3026:2:4061
+3027:2:4065
+3028:2:4070
+3029:2:4071
+3030:2:4082
+3031:2:4083
+3032:2:4084
+3033:2:4082
+3034:2:4083
+3035:2:4084
+3036:2:4095
+3037:2:4103
+3038:0:4533
+3039:2:3127
+3040:0:4533
+3041:2:4109
+3042:2:4110
+3043:2:4114
+3044:2:4115
+3045:2:4123
+3046:2:4124
+3047:2:4128
+3048:2:4129
+3049:2:4137
+3050:2:4142
+3051:2:4146
+3052:2:4147
+3053:2:4155
+3054:2:4156
+3055:2:4160
+3056:2:4161
+3057:2:4155
+3058:2:4156
+3059:2:4160
+3060:2:4161
+3061:2:4169
+3062:2:4174
+3063:2:4175
+3064:2:4186
+3065:2:4194
+3066:2:4195
+3067:2:4199
+3068:2:4204
+3069:2:4205
+3070:2:4216
+3071:2:4217
+3072:2:4218
+3073:2:4216
+3074:2:4217
+3075:2:4218
+3076:2:4229
+3077:0:4533
+3078:2:3127
+3079:0:4533
+3080:1:2881
+3081:1:2882
+3082:1:2886
+3083:1:2887
+3084:1:2895
+3085:1:2896
+3086:1:2900
+3087:1:2901
+3088:1:2909
+3089:1:2914
+3090:1:2918
+3091:1:2919
+3092:1:2927
+3093:1:2928
+3094:1:2932
+3095:1:2933
+3096:1:2927
+3097:1:2928
+3098:1:2932
+3099:1:2933
+3100:1:2941
+3101:1:2946
+3102:1:2947
+3103:1:2958
+3104:1:2959
+3105:1:2960
+3106:1:2971
+3107:1:2976
+3108:1:2977
+3109:1:2988
+3110:1:2989
+3111:1:2990
+3112:1:2988
+3113:1:2989
+3114:1:2990
+3115:1:3001
+3116:1:3008
+3117:1:3012
+3118:0:4533
+3119:1:11
+3120:0:4533
+3121:2:3975
+3122:2:3976
+3123:2:3980
+3124:2:3981
+3125:2:3989
+3126:2:3990
+3127:2:3994
+3128:2:3995
+3129:2:4003
+3130:2:4008
+3131:2:4012
+3132:2:4013
+3133:2:4021
+3134:2:4022
+3135:2:4026
+3136:2:4027
+3137:2:4021
+3138:2:4022
+3139:2:4026
+3140:2:4027
+3141:2:4035
+3142:2:4040
+3143:2:4041
+3144:2:4052
+3145:2:4060
+3146:2:4061
+3147:2:4065
+3148:2:4070
+3149:2:4071
+3150:2:4082
+3151:2:4083
+3152:2:4084
+3153:2:4082
+3154:2:4083
+3155:2:4084
+3156:2:4095
+3157:2:4103
+3158:0:4533
+3159:2:3127
+3160:0:4533
+3161:2:4109
+3162:2:4110
+3163:2:4114
+3164:2:4115
+3165:2:4123
+3166:2:4124
+3167:2:4128
+3168:2:4129
+3169:2:4137
+3170:2:4142
+3171:2:4146
+3172:2:4147
+3173:2:4155
+3174:2:4156
+3175:2:4160
+3176:2:4161
+3177:2:4155
+3178:2:4156
+3179:2:4160
+3180:2:4161
+3181:2:4169
+3182:2:4174
+3183:2:4175
+3184:2:4186
+3185:2:4194
+3186:2:4195
+3187:2:4199
+3188:2:4204
+3189:2:4205
+3190:2:4216
+3191:2:4217
+3192:2:4218
+3193:2:4216
+3194:2:4217
+3195:2:4218
+3196:2:4229
+3197:0:4533
+3198:2:3127
+3199:0:4533
+3200:1:3013
+3201:0:4533
+3202:1:3021
+3203:0:4533
+3204:1:3109
+3205:0:4533
+3206:1:9
+3207:0:4533
+3208:2:3975
+3209:2:3976
+3210:2:3980
+3211:2:3981
+3212:2:3989
+3213:2:3990
+3214:2:3994
+3215:2:3995
+3216:2:4003
+3217:2:4008
+3218:2:4012
+3219:2:4013
+3220:2:4021
+3221:2:4022
+3222:2:4026
+3223:2:4027
+3224:2:4021
+3225:2:4022
+3226:2:4026
+3227:2:4027
+3228:2:4035
+3229:2:4040
+3230:2:4041
+3231:2:4052
+3232:2:4060
+3233:2:4061
+3234:2:4065
+3235:2:4070
+3236:2:4071
+3237:2:4082
+3238:2:4083
+3239:2:4084
+3240:2:4082
+3241:2:4083
+3242:2:4084
+3243:2:4095
+3244:2:4103
+3245:0:4533
+3246:2:3127
+3247:0:4533
+3248:2:4109
+3249:2:4110
+3250:2:4114
+3251:2:4115
+3252:2:4123
+3253:2:4124
+3254:2:4128
+3255:2:4129
+3256:2:4137
+3257:2:4142
+3258:2:4146
+3259:2:4147
+3260:2:4155
+3261:2:4156
+3262:2:4160
+3263:2:4161
+3264:2:4155
+3265:2:4156
+3266:2:4160
+3267:2:4161
+3268:2:4169
+3269:2:4174
+3270:2:4175
+3271:2:4186
+3272:2:4194
+3273:2:4195
+3274:2:4199
+3275:2:4204
+3276:2:4205
+3277:2:4216
+3278:2:4217
+3279:2:4218
+3280:2:4216
+3281:2:4217
+3282:2:4218
+3283:2:4229
+3284:0:4533
+3285:2:3127
+3286:0:4533
+3287:1:10
+3288:0:4533
+3289:1:11
+3290:0:4533
+3291:2:3975
+3292:2:3976
+3293:2:3980
+3294:2:3981
+3295:2:3989
+3296:2:3990
+3297:2:3994
+3298:2:3995
+3299:2:4003
+3300:2:4008
+3301:2:4012
+3302:2:4013
+3303:2:4021
+3304:2:4022
+3305:2:4026
+3306:2:4027
+3307:2:4021
+3308:2:4022
+3309:2:4026
+3310:2:4027
+3311:2:4035
+3312:2:4040
+3313:2:4041
+3314:2:4052
+3315:2:4060
+3316:2:4061
+3317:2:4065
+3318:2:4070
+3319:2:4071
+3320:2:4082
+3321:2:4083
+3322:2:4084
+3323:2:4082
+3324:2:4083
+3325:2:4084
+3326:2:4095
+3327:2:4103
+3328:0:4533
+3329:2:3127
+3330:0:4533
+3331:2:4109
+3332:2:4110
+3333:2:4114
+3334:2:4115
+3335:2:4123
+3336:2:4124
+3337:2:4128
+3338:2:4129
+3339:2:4137
+3340:2:4142
+3341:2:4146
+3342:2:4147
+3343:2:4155
+3344:2:4156
+3345:2:4160
+3346:2:4161
+3347:2:4155
+3348:2:4156
+3349:2:4160
+3350:2:4161
+3351:2:4169
+3352:2:4174
+3353:2:4175
+3354:2:4186
+3355:2:4194
+3356:2:4195
+3357:2:4199
+3358:2:4204
+3359:2:4205
+3360:2:4216
+3361:2:4217
+3362:2:4218
+3363:2:4216
+3364:2:4217
+3365:2:4218
+3366:2:4229
+3367:0:4533
+3368:2:3127
+3369:0:4533
+3370:1:12
+3371:1:13
+3372:1:17
+3373:1:18
+3374:1:26
+3375:1:27
+3376:1:28
+3377:1:40
+3378:1:45
+3379:1:49
+3380:1:50
+3381:1:58
+3382:1:59
+3383:1:63
+3384:1:64
+3385:1:58
+3386:1:59
+3387:1:63
+3388:1:64
+3389:1:72
+3390:1:77
+3391:1:78
+3392:1:89
+3393:1:90
+3394:1:91
+3395:1:102
+3396:1:107
+3397:1:108
+3398:1:119
+3399:1:120
+3400:1:121
+3401:1:119
+3402:1:120
+3403:1:121
+3404:1:132
+3405:0:4533
+3406:1:11
+3407:0:4533
+3408:2:3975
+3409:2:3976
+3410:2:3980
+3411:2:3981
+3412:2:3989
+3413:2:3990
+3414:2:3994
+3415:2:3995
+3416:2:4003
+3417:2:4008
+3418:2:4012
+3419:2:4013
+3420:2:4021
+3421:2:4022
+3422:2:4026
+3423:2:4027
+3424:2:4021
+3425:2:4022
+3426:2:4026
+3427:2:4027
+3428:2:4035
+3429:2:4040
+3430:2:4041
+3431:2:4052
+3432:2:4060
+3433:2:4061
+3434:2:4065
+3435:2:4070
+3436:2:4071
+3437:2:4082
+3438:2:4083
+3439:2:4084
+3440:2:4082
+3441:2:4083
+3442:2:4084
+3443:2:4095
+3444:2:4103
+3445:0:4533
+3446:2:3127
+3447:0:4533
+3448:2:4109
+3449:2:4110
+3450:2:4114
+3451:2:4115
+3452:2:4123
+3453:2:4124
+3454:2:4128
+3455:2:4129
+3456:2:4137
+3457:2:4142
+3458:2:4146
+3459:2:4147
+3460:2:4155
+3461:2:4156
+3462:2:4160
+3463:2:4161
+3464:2:4155
+3465:2:4156
+3466:2:4160
+3467:2:4161
+3468:2:4169
+3469:2:4174
+3470:2:4175
+3471:2:4186
+3472:2:4194
+3473:2:4195
+3474:2:4199
+3475:2:4204
+3476:2:4205
+3477:2:4216
+3478:2:4217
+3479:2:4218
+3480:2:4216
+3481:2:4217
+3482:2:4218
+3483:2:4229
+3484:0:4533
+3485:2:3127
+3486:0:4533
+3487:1:141
+3488:1:142
+3489:0:4533
+3490:1:11
+3491:0:4533
+3492:2:3975
+3493:2:3976
+3494:2:3980
+3495:2:3981
+3496:2:3989
+3497:2:3990
+3498:2:3994
+3499:2:3995
+3500:2:4003
+3501:2:4008
+3502:2:4012
+3503:2:4013
+3504:2:4021
+3505:2:4022
+3506:2:4026
+3507:2:4027
+3508:2:4021
+3509:2:4022
+3510:2:4026
+3511:2:4027
+3512:2:4035
+3513:2:4040
+3514:2:4041
+3515:2:4052
+3516:2:4060
+3517:2:4061
+3518:2:4065
+3519:2:4070
+3520:2:4071
+3521:2:4082
+3522:2:4083
+3523:2:4084
+3524:2:4082
+3525:2:4083
+3526:2:4084
+3527:2:4095
+3528:2:4103
+3529:0:4533
+3530:2:3127
+3531:0:4533
+3532:2:4109
+3533:2:4110
+3534:2:4114
+3535:2:4115
+3536:2:4123
+3537:2:4124
+3538:2:4128
+3539:2:4129
+3540:2:4137
+3541:2:4142
+3542:2:4146
+3543:2:4147
+3544:2:4155
+3545:2:4156
+3546:2:4160
+3547:2:4161
+3548:2:4155
+3549:2:4156
+3550:2:4160
+3551:2:4161
+3552:2:4169
+3553:2:4174
+3554:2:4175
+3555:2:4186
+3556:2:4194
+3557:2:4195
+3558:2:4199
+3559:2:4204
+3560:2:4205
+3561:2:4216
+3562:2:4217
+3563:2:4218
+3564:2:4216
+3565:2:4217
+3566:2:4218
+3567:2:4229
+3568:0:4533
+3569:2:3127
+3570:0:4533
+3571:1:148
+3572:1:149
+3573:1:153
+3574:1:154
+3575:1:162
+3576:1:163
+3577:1:167
+3578:1:168
+3579:1:176
+3580:1:181
+3581:1:185
+3582:1:186
+3583:1:194
+3584:1:195
+3585:1:199
+3586:1:200
+3587:1:194
+3588:1:195
+3589:1:199
+3590:1:200
+3591:1:208
+3592:1:213
+3593:1:214
+3594:1:225
+3595:1:226
+3596:1:227
+3597:1:238
+3598:1:243
+3599:1:244
+3600:1:255
+3601:1:256
+3602:1:257
+3603:1:255
+3604:1:256
+3605:1:257
+3606:1:268
+3607:0:4533
+3608:1:11
+3609:0:4533
+3610:2:3975
+3611:2:3976
+3612:2:3980
+3613:2:3981
+3614:2:3989
+3615:2:3990
+3616:2:3994
+3617:2:3995
+3618:2:4003
+3619:2:4008
+3620:2:4012
+3621:2:4013
+3622:2:4021
+3623:2:4022
+3624:2:4026
+3625:2:4027
+3626:2:4021
+3627:2:4022
+3628:2:4026
+3629:2:4027
+3630:2:4035
+3631:2:4040
+3632:2:4041
+3633:2:4052
+3634:2:4060
+3635:2:4061
+3636:2:4065
+3637:2:4070
+3638:2:4071
+3639:2:4082
+3640:2:4083
+3641:2:4084
+3642:2:4082
+3643:2:4083
+3644:2:4084
+3645:2:4095
+3646:2:4103
+3647:0:4533
+3648:2:3127
+3649:0:4533
+3650:2:4109
+3651:2:4110
+3652:2:4114
+3653:2:4115
+3654:2:4123
+3655:2:4124
+3656:2:4128
+3657:2:4129
+3658:2:4137
+3659:2:4142
+3660:2:4146
+3661:2:4147
+3662:2:4155
+3663:2:4156
+3664:2:4160
+3665:2:4161
+3666:2:4155
+3667:2:4156
+3668:2:4160
+3669:2:4161
+3670:2:4169
+3671:2:4174
+3672:2:4175
+3673:2:4186
+3674:2:4194
+3675:2:4195
+3676:2:4199
+3677:2:4204
+3678:2:4205
+3679:2:4216
+3680:2:4217
+3681:2:4218
+3682:2:4216
+3683:2:4217
+3684:2:4218
+3685:2:4229
+3686:0:4533
+3687:2:3127
+3688:0:4533
+3689:1:277
+3690:1:278
+3691:1:282
+3692:1:283
+3693:1:291
+3694:1:292
+3695:1:296
+3696:1:297
+3697:1:305
+3698:1:310
+3699:1:314
+3700:1:315
+3701:1:323
+3702:1:324
+3703:1:328
+3704:1:329
+3705:1:323
+3706:1:324
+3707:1:328
+3708:1:329
+3709:1:337
+3710:1:342
+3711:1:343
+3712:1:354
+3713:1:355
+3714:1:356
+3715:1:367
+3716:1:372
+3717:1:373
+3718:1:384
+3719:1:385
+3720:1:386
+3721:1:384
+3722:1:385
+3723:1:386
+3724:1:397
+3725:1:404
+3726:0:4533
+3727:1:11
+3728:0:4533
+3729:2:3975
+3730:2:3976
+3731:2:3980
+3732:2:3981
+3733:2:3989
+3734:2:3990
+3735:2:3994
+3736:2:3995
+3737:2:4003
+3738:2:4008
+3739:2:4012
+3740:2:4013
+3741:2:4021
+3742:2:4022
+3743:2:4026
+3744:2:4027
+3745:2:4021
+3746:2:4022
+3747:2:4026
+3748:2:4027
+3749:2:4035
+3750:2:4040
+3751:2:4041
+3752:2:4052
+3753:2:4060
+3754:2:4061
+3755:2:4065
+3756:2:4070
+3757:2:4071
+3758:2:4082
+3759:2:4083
+3760:2:4084
+3761:2:4082
+3762:2:4083
+3763:2:4084
+3764:2:4095
+3765:2:4103
+3766:0:4533
+3767:2:3127
+3768:0:4533
+3769:2:4109
+3770:2:4110
+3771:2:4114
+3772:2:4115
+3773:2:4123
+3774:2:4124
+3775:2:4128
+3776:2:4129
+3777:2:4137
+3778:2:4142
+3779:2:4146
+3780:2:4147
+3781:2:4155
+3782:2:4156
+3783:2:4160
+3784:2:4161
+3785:2:4155
+3786:2:4156
+3787:2:4160
+3788:2:4161
+3789:2:4169
+3790:2:4174
+3791:2:4175
+3792:2:4186
+3793:2:4194
+3794:2:4195
+3795:2:4199
+3796:2:4204
+3797:2:4205
+3798:2:4216
+3799:2:4217
+3800:2:4218
+3801:2:4216
+3802:2:4217
+3803:2:4218
+3804:2:4229
+3805:0:4533
+3806:2:3127
+3807:0:4533
+3808:1:540
+3809:1:544
+3810:1:545
+3811:1:549
+3812:1:550
+3813:1:558
+3814:1:566
+3815:1:567
+3816:1:571
+3817:1:575
+3818:1:576
+3819:1:571
+3820:1:575
+3821:1:576
+3822:1:580
+3823:1:587
+3824:1:594
+3825:1:595
+3826:1:602
+3827:1:607
+3828:1:614
+3829:1:615
+3830:1:614
+3831:1:615
+3832:1:622
+3833:0:4533
+3834:1:11
+3835:0:4533
+3836:2:3975
+3837:2:3976
+3838:2:3980
+3839:2:3981
+3840:2:3989
+3841:2:3990
+3842:2:3994
+3843:2:3995
+3844:2:4003
+3845:2:4008
+3846:2:4012
+3847:2:4013
+3848:2:4021
+3849:2:4022
+3850:2:4026
+3851:2:4027
+3852:2:4021
+3853:2:4022
+3854:2:4026
+3855:2:4027
+3856:2:4035
+3857:2:4040
+3858:2:4041
+3859:2:4052
+3860:2:4060
+3861:2:4061
+3862:2:4065
+3863:2:4070
+3864:2:4071
+3865:2:4082
+3866:2:4083
+3867:2:4084
+3868:2:4082
+3869:2:4083
+3870:2:4084
+3871:2:4095
+3872:2:4103
+3873:0:4533
+3874:2:3127
+3875:0:4533
+3876:2:4109
+3877:2:4110
+3878:2:4114
+3879:2:4115
+3880:2:4123
+3881:2:4124
+3882:2:4128
+3883:2:4129
+3884:2:4137
+3885:2:4142
+3886:2:4146
+3887:2:4147
+3888:2:4155
+3889:2:4156
+3890:2:4160
+3891:2:4161
+3892:2:4155
+3893:2:4156
+3894:2:4160
+3895:2:4161
+3896:2:4169
+3897:2:4174
+3898:2:4175
+3899:2:4186
+3900:2:4194
+3901:2:4195
+3902:2:4199
+3903:2:4204
+3904:2:4205
+3905:2:4216
+3906:2:4217
+3907:2:4218
+3908:2:4216
+3909:2:4217
+3910:2:4218
+3911:2:4229
+3912:0:4533
+3913:2:3127
+3914:0:4533
+3915:1:632
+3916:1:633
+3917:1:637
+3918:1:638
+3919:1:646
+3920:1:647
+3921:1:651
+3922:1:652
+3923:1:660
+3924:1:665
+3925:1:669
+3926:1:670
+3927:1:678
+3928:1:679
+3929:1:683
+3930:1:684
+3931:1:678
+3932:1:679
+3933:1:683
+3934:1:684
+3935:1:692
+3936:1:697
+3937:1:698
+3938:1:709
+3939:1:710
+3940:1:711
+3941:1:722
+3942:1:727
+3943:1:728
+3944:1:739
+3945:1:740
+3946:1:741
+3947:1:739
+3948:1:740
+3949:1:741
+3950:1:752
+3951:0:4533
+3952:1:11
+3953:0:4533
+3954:2:3975
+3955:2:3976
+3956:2:3980
+3957:2:3981
+3958:2:3989
+3959:2:3990
+3960:2:3994
+3961:2:3995
+3962:2:4003
+3963:2:4008
+3964:2:4012
+3965:2:4013
+3966:2:4021
+3967:2:4022
+3968:2:4026
+3969:2:4027
+3970:2:4021
+3971:2:4022
+3972:2:4026
+3973:2:4027
+3974:2:4035
+3975:2:4040
+3976:2:4041
+3977:2:4052
+3978:2:4060
+3979:2:4061
+3980:2:4065
+3981:2:4070
+3982:2:4071
+3983:2:4082
+3984:2:4083
+3985:2:4084
+3986:2:4082
+3987:2:4083
+3988:2:4084
+3989:2:4095
+3990:2:4103
+3991:0:4533
+3992:2:3127
+3993:0:4533
+3994:2:4109
+3995:2:4110
+3996:2:4114
+3997:2:4115
+3998:2:4123
+3999:2:4124
+4000:2:4128
+4001:2:4129
+4002:2:4137
+4003:2:4142
+4004:2:4146
+4005:2:4147
+4006:2:4155
+4007:2:4156
+4008:2:4160
+4009:2:4161
+4010:2:4155
+4011:2:4156
+4012:2:4160
+4013:2:4161
+4014:2:4169
+4015:2:4174
+4016:2:4175
+4017:2:4186
+4018:2:4194
+4019:2:4195
+4020:2:4199
+4021:2:4204
+4022:2:4205
+4023:2:4216
+4024:2:4217
+4025:2:4218
+4026:2:4216
+4027:2:4217
+4028:2:4218
+4029:2:4229
+4030:0:4533
+4031:2:3127
+4032:0:4533
+4033:1:761
+4034:1:764
+4035:1:765
+4036:0:4533
+4037:1:11
+4038:0:4533
+4039:2:3975
+4040:2:3976
+4041:2:3980
+4042:2:3981
+4043:2:3989
+4044:2:3990
+4045:2:3994
+4046:2:3995
+4047:2:4003
+4048:2:4008
+4049:2:4012
+4050:2:4013
+4051:2:4021
+4052:2:4022
+4053:2:4026
+4054:2:4027
+4055:2:4021
+4056:2:4022
+4057:2:4026
+4058:2:4027
+4059:2:4035
+4060:2:4040
+4061:2:4041
+4062:2:4052
+4063:2:4060
+4064:2:4061
+4065:2:4065
+4066:2:4070
+4067:2:4071
+4068:2:4082
+4069:2:4083
+4070:2:4084
+4071:2:4082
+4072:2:4083
+4073:2:4084
+4074:2:4095
+4075:2:4103
+4076:0:4533
+4077:2:3127
+4078:0:4533
+4079:2:4109
+4080:2:4110
+4081:2:4114
+4082:2:4115
+4083:2:4123
+4084:2:4124
+4085:2:4128
+4086:2:4129
+4087:2:4137
+4088:2:4142
+4089:2:4146
+4090:2:4147
+4091:2:4155
+4092:2:4156
+4093:2:4160
+4094:2:4161
+4095:2:4155
+4096:2:4156
+4097:2:4160
+4098:2:4161
+4099:2:4169
+4100:2:4174
+4101:2:4175
+4102:2:4186
+4103:2:4194
+4104:2:4195
+4105:2:4199
+4106:2:4204
+4107:2:4205
+4108:2:4216
+4109:2:4217
+4110:2:4218
+4111:2:4216
+4112:2:4217
+4113:2:4218
+4114:2:4229
+4115:0:4533
+4116:2:3127
+4117:0:4533
+4118:1:768
+4119:1:769
+4120:1:773
+4121:1:774
+4122:1:782
+4123:1:783
+4124:1:787
+4125:1:788
+4126:1:796
+4127:1:801
+4128:1:805
+4129:1:806
+4130:1:814
+4131:1:815
+4132:1:819
+4133:1:820
+4134:1:814
+4135:1:815
+4136:1:819
+4137:1:820
+4138:1:828
+4139:1:833
+4140:1:834
+4141:1:845
+4142:1:846
+4143:1:847
+4144:1:858
+4145:1:863
+4146:1:864
+4147:1:875
+4148:1:876
+4149:1:877
+4150:1:875
+4151:1:876
+4152:1:877
+4153:1:888
+4154:0:4533
+4155:1:11
+4156:0:4533
+4157:2:3975
+4158:2:3976
+4159:2:3980
+4160:2:3981
+4161:2:3989
+4162:2:3990
+4163:2:3994
+4164:2:3995
+4165:2:4003
+4166:2:4008
+4167:2:4012
+4168:2:4013
+4169:2:4021
+4170:2:4022
+4171:2:4026
+4172:2:4027
+4173:2:4021
+4174:2:4022
+4175:2:4026
+4176:2:4027
+4177:2:4035
+4178:2:4040
+4179:2:4041
+4180:2:4052
+4181:2:4060
+4182:2:4061
+4183:2:4065
+4184:2:4070
+4185:2:4071
+4186:2:4082
+4187:2:4083
+4188:2:4084
+4189:2:4082
+4190:2:4083
+4191:2:4084
+4192:2:4095
+4193:2:4103
+4194:0:4533
+4195:2:3127
+4196:0:4533
+4197:2:4109
+4198:2:4110
+4199:2:4114
+4200:2:4115
+4201:2:4123
+4202:2:4124
+4203:2:4128
+4204:2:4129
+4205:2:4137
+4206:2:4142
+4207:2:4146
+4208:2:4147
+4209:2:4155
+4210:2:4156
+4211:2:4160
+4212:2:4161
+4213:2:4155
+4214:2:4156
+4215:2:4160
+4216:2:4161
+4217:2:4169
+4218:2:4174
+4219:2:4175
+4220:2:4186
+4221:2:4194
+4222:2:4195
+4223:2:4199
+4224:2:4204
+4225:2:4205
+4226:2:4216
+4227:2:4217
+4228:2:4218
+4229:2:4216
+4230:2:4217
+4231:2:4218
+4232:2:4229
+4233:0:4533
+4234:2:3127
+4235:0:4533
+4236:1:1028
+4237:1:1029
+4238:1:1033
+4239:1:1034
+4240:1:1042
+4241:1:1043
+4242:1:1047
+4243:1:1048
+4244:1:1056
+4245:1:1061
+4246:1:1065
+4247:1:1066
+4248:1:1074
+4249:1:1075
+4250:1:1079
+4251:1:1080
+4252:1:1074
+4253:1:1075
+4254:1:1079
+4255:1:1080
+4256:1:1088
+4257:1:1093
+4258:1:1094
+4259:1:1105
+4260:1:1106
+4261:1:1107
+4262:1:1118
+4263:1:1123
+4264:1:1124
+4265:1:1135
+4266:1:1136
+4267:1:1137
+4268:1:1135
+4269:1:1136
+4270:1:1137
+4271:1:1148
+4272:1:1155
+4273:1:1159
+4274:0:4533
+4275:1:11
+4276:0:4533
+4277:2:3975
+4278:2:3976
+4279:2:3980
+4280:2:3981
+4281:2:3989
+4282:2:3990
+4283:2:3994
+4284:2:3995
+4285:2:4003
+4286:2:4008
+4287:2:4012
+4288:2:4013
+4289:2:4021
+4290:2:4022
+4291:2:4026
+4292:2:4027
+4293:2:4021
+4294:2:4022
+4295:2:4026
+4296:2:4027
+4297:2:4035
+4298:2:4040
+4299:2:4041
+4300:2:4052
+4301:2:4060
+4302:2:4061
+4303:2:4065
+4304:2:4070
+4305:2:4071
+4306:2:4082
+4307:2:4083
+4308:2:4084
+4309:2:4082
+4310:2:4083
+4311:2:4084
+4312:2:4095
+4313:2:4103
+4314:0:4533
+4315:2:3127
+4316:0:4533
+4317:2:4109
+4318:2:4110
+4319:2:4114
+4320:2:4115
+4321:2:4123
+4322:2:4124
+4323:2:4128
+4324:2:4129
+4325:2:4137
+4326:2:4142
+4327:2:4146
+4328:2:4147
+4329:2:4155
+4330:2:4156
+4331:2:4160
+4332:2:4161
+4333:2:4155
+4334:2:4156
+4335:2:4160
+4336:2:4161
+4337:2:4169
+4338:2:4174
+4339:2:4175
+4340:2:4186
+4341:2:4194
+4342:2:4195
+4343:2:4199
+4344:2:4204
+4345:2:4205
+4346:2:4216
+4347:2:4217
+4348:2:4218
+4349:2:4216
+4350:2:4217
+4351:2:4218
+4352:2:4229
+4353:0:4533
+4354:2:3127
+4355:0:4533
+4356:1:1160
+4357:1:1161
+4358:1:1165
+4359:1:1166
+4360:1:1174
+4361:1:1175
+4362:1:1176
+4363:1:1188
+4364:1:1193
+4365:1:1197
+4366:1:1198
+4367:1:1206
+4368:1:1207
+4369:1:1211
+4370:1:1212
+4371:1:1206
+4372:1:1207
+4373:1:1211
+4374:1:1212
+4375:1:1220
+4376:1:1225
+4377:1:1226
+4378:1:1237
+4379:1:1238
+4380:1:1239
+4381:1:1250
+4382:1:1255
+4383:1:1256
+4384:1:1267
+4385:1:1268
+4386:1:1269
+4387:1:1267
+4388:1:1268
+4389:1:1269
+4390:1:1280
+4391:0:4533
+4392:1:11
+4393:0:4533
+4394:2:3975
+4395:2:3976
+4396:2:3980
+4397:2:3981
+4398:2:3989
+4399:2:3990
+4400:2:3994
+4401:2:3995
+4402:2:4003
+4403:2:4008
+4404:2:4012
+4405:2:4013
+4406:2:4021
+4407:2:4022
+4408:2:4026
+4409:2:4027
+4410:2:4021
+4411:2:4022
+4412:2:4026
+4413:2:4027
+4414:2:4035
+4415:2:4040
+4416:2:4041
+4417:2:4052
+4418:2:4060
+4419:2:4061
+4420:2:4065
+4421:2:4070
+4422:2:4071
+4423:2:4082
+4424:2:4083
+4425:2:4084
+4426:2:4082
+4427:2:4083
+4428:2:4084
+4429:2:4095
+4430:2:4103
+4431:0:4533
+4432:2:3127
+4433:0:4533
+4434:2:4109
+4435:2:4110
+4436:2:4114
+4437:2:4115
+4438:2:4123
+4439:2:4124
+4440:2:4128
+4441:2:4129
+4442:2:4137
+4443:2:4142
+4444:2:4146
+4445:2:4147
+4446:2:4155
+4447:2:4156
+4448:2:4160
+4449:2:4161
+4450:2:4155
+4451:2:4156
+4452:2:4160
+4453:2:4161
+4454:2:4169
+4455:2:4174
+4456:2:4175
+4457:2:4186
+4458:2:4194
+4459:2:4195
+4460:2:4199
+4461:2:4204
+4462:2:4205
+4463:2:4216
+4464:2:4217
+4465:2:4218
+4466:2:4216
+4467:2:4217
+4468:2:4218
+4469:2:4229
+4470:0:4533
+4471:2:3127
+4472:0:4533
+4473:1:1289
+4474:0:4533
+4475:2:3975
+4476:2:3976
+4477:2:3980
+4478:2:3981
+4479:2:3989
+4480:2:3990
+4481:2:3994
+4482:2:3995
+4483:2:4003
+4484:2:4008
+4485:2:4012
+4486:2:4013
+4487:2:4021
+4488:2:4022
+4489:2:4026
+4490:2:4027
+4491:2:4021
+4492:2:4022
+4493:2:4026
+4494:2:4027
+4495:2:4035
+4496:2:4040
+4497:2:4041
+4498:2:4052
+4499:2:4060
+4500:2:4061
+4501:2:4065
+4502:2:4070
+4503:2:4071
+4504:2:4082
+4505:2:4083
+4506:2:4084
+4507:2:4082
+4508:2:4083
+4509:2:4084
+4510:2:4095
+4511:2:4103
+4512:0:4533
+4513:2:3127
+4514:0:4533
+4515:2:4109
+4516:2:4110
+4517:2:4114
+4518:2:4115
+4519:2:4123
+4520:2:4124
+4521:2:4128
+4522:2:4129
+4523:2:4137
+4524:2:4142
+4525:2:4146
+4526:2:4147
+4527:2:4155
+4528:2:4156
+4529:2:4160
+4530:2:4161
+4531:2:4155
+4532:2:4156
+4533:2:4160
+4534:2:4161
+4535:2:4169
+4536:2:4174
+4537:2:4175
+4538:2:4186
+4539:2:4194
+4540:2:4195
+4541:2:4199
+4542:2:4204
+4543:2:4205
+4544:2:4216
+4545:2:4217
+4546:2:4218
+4547:2:4216
+4548:2:4217
+4549:2:4218
+4550:2:4229
+4551:0:4533
+4552:2:3127
+4553:0:4533
+4554:1:3023
+4555:1:3030
+4556:1:3031
+4557:1:3038
+4558:1:3043
+4559:1:3050
+4560:1:3051
+4561:1:3050
+4562:1:3051
+4563:1:3058
+4564:1:3062
+4565:0:4533
+4566:2:3975
+4567:2:3976
+4568:2:3980
+4569:2:3981
+4570:2:3989
+4571:2:3990
+4572:2:3994
+4573:2:3995
+4574:2:4003
+4575:2:4008
+4576:2:4012
+4577:2:4013
+4578:2:4021
+4579:2:4022
+4580:2:4026
+4581:2:4027
+4582:2:4021
+4583:2:4022
+4584:2:4026
+4585:2:4027
+4586:2:4035
+4587:2:4040
+4588:2:4041
+4589:2:4052
+4590:2:4060
+4591:2:4061
+4592:2:4065
+4593:2:4070
+4594:2:4071
+4595:2:4082
+4596:2:4083
+4597:2:4084
+4598:2:4082
+4599:2:4083
+4600:2:4084
+4601:2:4095
+4602:2:4103
+4603:0:4533
+4604:2:3127
+4605:0:4533
+4606:2:4109
+4607:2:4110
+4608:2:4114
+4609:2:4115
+4610:2:4123
+4611:2:4124
+4612:2:4128
+4613:2:4129
+4614:2:4137
+4615:2:4142
+4616:2:4146
+4617:2:4147
+4618:2:4155
+4619:2:4156
+4620:2:4160
+4621:2:4161
+4622:2:4155
+4623:2:4156
+4624:2:4160
+4625:2:4161
+4626:2:4169
+4627:2:4174
+4628:2:4175
+4629:2:4186
+4630:2:4194
+4631:2:4195
+4632:2:4199
+4633:2:4204
+4634:2:4205
+4635:2:4216
+4636:2:4217
+4637:2:4218
+4638:2:4216
+4639:2:4217
+4640:2:4218
+4641:2:4229
+4642:0:4533
+4643:2:3127
+4644:0:4533
+4645:1:1291
+4646:1:1292
+4647:0:4533
+4648:1:11
+4649:0:4533
+4650:2:3975
+4651:2:3976
+4652:2:3980
+4653:2:3981
+4654:2:3989
+4655:2:3990
+4656:2:3994
+4657:2:3995
+4658:2:4003
+4659:2:4008
+4660:2:4012
+4661:2:4013
+4662:2:4021
+4663:2:4022
+4664:2:4026
+4665:2:4027
+4666:2:4021
+4667:2:4022
+4668:2:4026
+4669:2:4027
+4670:2:4035
+4671:2:4040
+4672:2:4041
+4673:2:4052
+4674:2:4060
+4675:2:4061
+4676:2:4065
+4677:2:4070
+4678:2:4071
+4679:2:4082
+4680:2:4083
+4681:2:4084
+4682:2:4082
+4683:2:4083
+4684:2:4084
+4685:2:4095
+4686:2:4103
+4687:0:4533
+4688:2:3127
+4689:0:4533
+4690:2:4109
+4691:2:4110
+4692:2:4114
+4693:2:4115
+4694:2:4123
+4695:2:4124
+4696:2:4128
+4697:2:4129
+4698:2:4137
+4699:2:4142
+4700:2:4146
+4701:2:4147
+4702:2:4155
+4703:2:4156
+4704:2:4160
+4705:2:4161
+4706:2:4155
+4707:2:4156
+4708:2:4160
+4709:2:4161
+4710:2:4169
+4711:2:4174
+4712:2:4175
+4713:2:4186
+4714:2:4194
+4715:2:4195
+4716:2:4199
+4717:2:4204
+4718:2:4205
+4719:2:4216
+4720:2:4217
+4721:2:4218
+4722:2:4216
+4723:2:4217
+4724:2:4218
+4725:2:4229
+4726:0:4533
+4727:2:3127
+4728:0:4533
+4729:1:1293
+4730:1:1294
+4731:1:1298
+4732:1:1299
+4733:1:1307
+4734:1:1308
+4735:1:1312
+4736:1:1313
+4737:1:1321
+4738:1:1326
+4739:1:1330
+4740:1:1331
+4741:1:1339
+4742:1:1340
+4743:1:1344
+4744:1:1345
+4745:1:1339
+4746:1:1340
+4747:1:1344
+4748:1:1345
+4749:1:1353
+4750:1:1358
+4751:1:1359
+4752:1:1370
+4753:1:1371
+4754:1:1372
+4755:1:1383
+4756:1:1388
+4757:1:1389
+4758:1:1400
+4759:1:1401
+4760:1:1402
+4761:1:1400
+4762:1:1401
+4763:1:1402
+4764:1:1413
+4765:0:4533
+4766:1:11
+4767:0:4533
+4768:2:3975
+4769:2:3976
+4770:2:3980
+4771:2:3981
+4772:2:3989
+4773:2:3990
+4774:2:3994
+4775:2:3995
+4776:2:4003
+4777:2:4008
+4778:2:4012
+4779:2:4013
+4780:2:4021
+4781:2:4022
+4782:2:4026
+4783:2:4027
+4784:2:4021
+4785:2:4022
+4786:2:4026
+4787:2:4027
+4788:2:4035
+4789:2:4040
+4790:2:4041
+4791:2:4052
+4792:2:4060
+4793:2:4061
+4794:2:4065
+4795:2:4070
+4796:2:4071
+4797:2:4082
+4798:2:4083
+4799:2:4084
+4800:2:4082
+4801:2:4083
+4802:2:4084
+4803:2:4095
+4804:2:4103
+4805:0:4533
+4806:2:3127
+4807:0:4533
+4808:2:4109
+4809:2:4110
+4810:2:4114
+4811:2:4115
+4812:2:4123
+4813:2:4124
+4814:2:4128
+4815:2:4129
+4816:2:4137
+4817:2:4142
+4818:2:4146
+4819:2:4147
+4820:2:4155
+4821:2:4156
+4822:2:4160
+4823:2:4161
+4824:2:4155
+4825:2:4156
+4826:2:4160
+4827:2:4161
+4828:2:4169
+4829:2:4174
+4830:2:4175
+4831:2:4186
+4832:2:4194
+4833:2:4195
+4834:2:4199
+4835:2:4204
+4836:2:4205
+4837:2:4216
+4838:2:4217
+4839:2:4218
+4840:2:4216
+4841:2:4217
+4842:2:4218
+4843:2:4229
+4844:0:4533
+4845:2:3127
+4846:0:4533
+4847:1:1422
+4848:1:1423
+4849:1:1427
+4850:1:1428
+4851:1:1436
+4852:1:1437
+4853:1:1441
+4854:1:1442
+4855:1:1450
+4856:1:1455
+4857:1:1459
+4858:1:1460
+4859:1:1468
+4860:1:1469
+4861:1:1473
+4862:1:1474
+4863:1:1468
+4864:1:1469
+4865:1:1473
+4866:1:1474
+4867:1:1482
+4868:1:1487
+4869:1:1488
+4870:1:1499
+4871:1:1500
+4872:1:1501
+4873:1:1512
+4874:1:1517
+4875:1:1518
+4876:1:1529
+4877:1:1530
+4878:1:1531
+4879:1:1529
+4880:1:1530
+4881:1:1531
+4882:1:1542
+4883:1:1549
+4884:1:1553
+4885:0:4533
+4886:1:11
+4887:0:4533
+4888:2:3975
+4889:2:3976
+4890:2:3980
+4891:2:3981
+4892:2:3989
+4893:2:3990
+4894:2:3994
+4895:2:3995
+4896:2:4003
+4897:2:4008
+4898:2:4012
+4899:2:4013
+4900:2:4021
+4901:2:4022
+4902:2:4026
+4903:2:4027
+4904:2:4021
+4905:2:4022
+4906:2:4026
+4907:2:4027
+4908:2:4035
+4909:2:4040
+4910:2:4041
+4911:2:4052
+4912:2:4060
+4913:2:4061
+4914:2:4065
+4915:2:4070
+4916:2:4071
+4917:2:4082
+4918:2:4083
+4919:2:4084
+4920:2:4082
+4921:2:4083
+4922:2:4084
+4923:2:4095
+4924:2:4103
+4925:0:4533
+4926:2:3127
+4927:0:4533
+4928:2:4109
+4929:2:4110
+4930:2:4114
+4931:2:4115
+4932:2:4123
+4933:2:4124
+4934:2:4128
+4935:2:4129
+4936:2:4137
+4937:2:4142
+4938:2:4146
+4939:2:4147
+4940:2:4155
+4941:2:4156
+4942:2:4160
+4943:2:4161
+4944:2:4155
+4945:2:4156
+4946:2:4160
+4947:2:4161
+4948:2:4169
+4949:2:4174
+4950:2:4175
+4951:2:4186
+4952:2:4194
+4953:2:4195
+4954:2:4199
+4955:2:4204
+4956:2:4205
+4957:2:4216
+4958:2:4217
+4959:2:4218
+4960:2:4216
+4961:2:4217
+4962:2:4218
+4963:2:4229
+4964:0:4533
+4965:2:3127
+4966:0:4533
+4967:1:1554
+4968:1:1558
+4969:1:1559
+4970:1:1563
+4971:1:1564
+4972:1:1572
+4973:1:1580
+4974:1:1581
+4975:1:1585
+4976:1:1589
+4977:1:1590
+4978:1:1585
+4979:1:1589
+4980:1:1590
+4981:1:1594
+4982:1:1601
+4983:1:1608
+4984:1:1609
+4985:1:1616
+4986:1:1621
+4987:1:1628
+4988:1:1629
+4989:1:1628
+4990:1:1629
+4991:1:1636
+4992:0:4533
+4993:1:11
+4994:0:4533
+4995:2:3975
+4996:2:3976
+4997:2:3980
+4998:2:3981
+4999:2:3989
+5000:2:3990
+5001:2:3994
+5002:2:3995
+5003:2:4003
+5004:2:4008
+5005:2:4012
+5006:2:4013
+5007:2:4021
+5008:2:4022
+5009:2:4026
+5010:2:4027
+5011:2:4021
+5012:2:4022
+5013:2:4026
+5014:2:4027
+5015:2:4035
+5016:2:4040
+5017:2:4041
+5018:2:4052
+5019:2:4060
+5020:2:4061
+5021:2:4065
+5022:2:4070
+5023:2:4071
+5024:2:4082
+5025:2:4083
+5026:2:4084
+5027:2:4082
+5028:2:4083
+5029:2:4084
+5030:2:4095
+5031:2:4103
+5032:0:4533
+5033:2:3127
+5034:0:4533
+5035:2:4109
+5036:2:4110
+5037:2:4114
+5038:2:4115
+5039:2:4123
+5040:2:4124
+5041:2:4128
+5042:2:4129
+5043:2:4137
+5044:2:4142
+5045:2:4146
+5046:2:4147
+5047:2:4155
+5048:2:4156
+5049:2:4160
+5050:2:4161
+5051:2:4155
+5052:2:4156
+5053:2:4160
+5054:2:4161
+5055:2:4169
+5056:2:4174
+5057:2:4175
+5058:2:4186
+5059:2:4194
+5060:2:4195
+5061:2:4199
+5062:2:4204
+5063:2:4205
+5064:2:4216
+5065:2:4217
+5066:2:4218
+5067:2:4216
+5068:2:4217
+5069:2:4218
+5070:2:4229
+5071:0:4533
+5072:2:3127
+5073:0:4533
+5074:1:1646
+5075:1:1647
+5076:1:1651
+5077:1:1652
+5078:1:1660
+5079:1:1661
+5080:1:1665
+5081:1:1666
+5082:1:1674
+5083:1:1679
+5084:1:1683
+5085:1:1684
+5086:1:1692
+5087:1:1693
+5088:1:1697
+5089:1:1698
+5090:1:1692
+5091:1:1693
+5092:1:1697
+5093:1:1698
+5094:1:1706
+5095:1:1711
+5096:1:1712
+5097:1:1723
+5098:1:1724
+5099:1:1725
+5100:1:1736
+5101:1:1741
+5102:1:1742
+5103:1:1753
+5104:1:1754
+5105:1:1755
+5106:1:1753
+5107:1:1754
+5108:1:1755
+5109:1:1766
+5110:0:4533
+5111:1:11
+5112:0:4533
+5113:2:3975
+5114:2:3976
+5115:2:3980
+5116:2:3981
+5117:2:3989
+5118:2:3990
+5119:2:3994
+5120:2:3995
+5121:2:4003
+5122:2:4008
+5123:2:4012
+5124:2:4013
+5125:2:4021
+5126:2:4022
+5127:2:4026
+5128:2:4027
+5129:2:4021
+5130:2:4022
+5131:2:4026
+5132:2:4027
+5133:2:4035
+5134:2:4040
+5135:2:4041
+5136:2:4052
+5137:2:4060
+5138:2:4061
+5139:2:4065
+5140:2:4070
+5141:2:4071
+5142:2:4082
+5143:2:4083
+5144:2:4084
+5145:2:4082
+5146:2:4083
+5147:2:4084
+5148:2:4095
+5149:2:4103
+5150:0:4533
+5151:2:3127
+5152:0:4533
+5153:2:4109
+5154:2:4110
+5155:2:4114
+5156:2:4115
+5157:2:4123
+5158:2:4124
+5159:2:4128
+5160:2:4129
+5161:2:4137
+5162:2:4142
+5163:2:4146
+5164:2:4147
+5165:2:4155
+5166:2:4156
+5167:2:4160
+5168:2:4161
+5169:2:4155
+5170:2:4156
+5171:2:4160
+5172:2:4161
+5173:2:4169
+5174:2:4174
+5175:2:4175
+5176:2:4186
+5177:2:4194
+5178:2:4195
+5179:2:4199
+5180:2:4204
+5181:2:4205
+5182:2:4216
+5183:2:4217
+5184:2:4218
+5185:2:4216
+5186:2:4217
+5187:2:4218
+5188:2:4229
+5189:0:4533
+5190:2:3127
+5191:0:4533
+5192:1:1775
+5193:1:1776
+5194:1:1780
+5195:1:1781
+5196:1:1789
+5197:1:1790
+5198:1:1794
+5199:1:1795
+5200:1:1803
+5201:1:1808
+5202:1:1812
+5203:1:1813
+5204:1:1821
+5205:1:1822
+5206:1:1826
+5207:1:1827
+5208:1:1821
+5209:1:1822
+5210:1:1826
+5211:1:1827
+5212:1:1835
+5213:1:1840
+5214:1:1841
+5215:1:1852
+5216:1:1853
+5217:1:1854
+5218:1:1865
+5219:1:1870
+5220:1:1871
+5221:1:1882
+5222:1:1883
+5223:1:1884
+5224:1:1882
+5225:1:1883
+5226:1:1884
+5227:1:1895
+5228:1:1902
+5229:1:1906
+5230:0:4533
+5231:1:11
+5232:0:4533
+5233:2:3975
+5234:2:3976
+5235:2:3980
+5236:2:3981
+5237:2:3989
+5238:2:3990
+5239:2:3994
+5240:2:3995
+5241:2:4003
+5242:2:4008
+5243:2:4012
+5244:2:4013
+5245:2:4021
+5246:2:4022
+5247:2:4026
+5248:2:4027
+5249:2:4021
+5250:2:4022
+5251:2:4026
+5252:2:4027
+5253:2:4035
+5254:2:4040
+5255:2:4041
+5256:2:4052
+5257:2:4060
+5258:2:4061
+5259:2:4065
+5260:2:4070
+5261:2:4071
+5262:2:4082
+5263:2:4083
+5264:2:4084
+5265:2:4082
+5266:2:4083
+5267:2:4084
+5268:2:4095
+5269:2:4103
+5270:0:4533
+5271:2:3127
+5272:0:4533
+5273:2:4109
+5274:2:4110
+5275:2:4114
+5276:2:4115
+5277:2:4123
+5278:2:4124
+5279:2:4128
+5280:2:4129
+5281:2:4137
+5282:2:4142
+5283:2:4146
+5284:2:4147
+5285:2:4155
+5286:2:4156
+5287:2:4160
+5288:2:4161
+5289:2:4155
+5290:2:4156
+5291:2:4160
+5292:2:4161
+5293:2:4169
+5294:2:4174
+5295:2:4175
+5296:2:4186
+5297:2:4194
+5298:2:4195
+5299:2:4199
+5300:2:4204
+5301:2:4205
+5302:2:4216
+5303:2:4217
+5304:2:4218
+5305:2:4216
+5306:2:4217
+5307:2:4218
+5308:2:4229
+5309:0:4533
+5310:2:3127
+5311:0:4533
+5312:1:1907
+5313:1:1908
+5314:1:1912
+5315:1:1913
+5316:1:1921
+5317:1:1922
+5318:1:1923
+5319:1:1935
+5320:1:1940
+5321:1:1944
+5322:1:1945
+5323:1:1953
+5324:1:1954
+5325:1:1958
+5326:1:1959
+5327:1:1953
+5328:1:1954
+5329:1:1958
+5330:1:1959
+5331:1:1967
+5332:1:1972
+5333:1:1973
+5334:1:1984
+5335:1:1985
+5336:1:1986
+5337:1:1997
+5338:1:2002
+5339:1:2003
+5340:1:2014
+5341:1:2015
+5342:1:2016
+5343:1:2014
+5344:1:2015
+5345:1:2016
+5346:1:2027
+5347:0:4533
+5348:1:11
+5349:0:4533
+5350:2:3975
+5351:2:3976
+5352:2:3980
+5353:2:3981
+5354:2:3989
+5355:2:3990
+5356:2:3994
+5357:2:3995
+5358:2:4003
+5359:2:4008
+5360:2:4012
+5361:2:4013
+5362:2:4021
+5363:2:4022
+5364:2:4026
+5365:2:4027
+5366:2:4021
+5367:2:4022
+5368:2:4026
+5369:2:4027
+5370:2:4035
+5371:2:4040
+5372:2:4041
+5373:2:4052
+5374:2:4060
+5375:2:4061
+5376:2:4065
+5377:2:4070
+5378:2:4071
+5379:2:4082
+5380:2:4083
+5381:2:4084
+5382:2:4082
+5383:2:4083
+5384:2:4084
+5385:2:4095
+5386:2:4103
+5387:0:4533
+5388:2:3127
+5389:0:4533
+5390:2:4109
+5391:2:4110
+5392:2:4114
+5393:2:4115
+5394:2:4123
+5395:2:4124
+5396:2:4128
+5397:2:4129
+5398:2:4137
+5399:2:4142
+5400:2:4146
+5401:2:4147
+5402:2:4155
+5403:2:4156
+5404:2:4160
+5405:2:4161
+5406:2:4155
+5407:2:4156
+5408:2:4160
+5409:2:4161
+5410:2:4169
+5411:2:4174
+5412:2:4175
+5413:2:4186
+5414:2:4194
+5415:2:4195
+5416:2:4199
+5417:2:4204
+5418:2:4205
+5419:2:4216
+5420:2:4217
+5421:2:4218
+5422:2:4216
+5423:2:4217
+5424:2:4218
+5425:2:4229
+5426:0:4533
+5427:2:3127
+5428:0:4533
+5429:1:2036
+5430:1:2037
+5431:0:4533
+5432:1:11
+5433:0:4533
+5434:2:3975
+5435:2:3976
+5436:2:3980
+5437:2:3981
+5438:2:3989
+5439:2:3990
+5440:2:3994
+5441:2:3995
+5442:2:4003
+5443:2:4008
+5444:2:4012
+5445:2:4013
+5446:2:4021
+5447:2:4022
+5448:2:4026
+5449:2:4027
+5450:2:4021
+5451:2:4022
+5452:2:4026
+5453:2:4027
+5454:2:4035
+5455:2:4040
+5456:2:4041
+5457:2:4052
+5458:2:4060
+5459:2:4061
+5460:2:4065
+5461:2:4070
+5462:2:4071
+5463:2:4082
+5464:2:4083
+5465:2:4084
+5466:2:4082
+5467:2:4083
+5468:2:4084
+5469:2:4095
+5470:2:4103
+5471:0:4533
+5472:2:3127
+5473:0:4533
+5474:2:4109
+5475:2:4110
+5476:2:4114
+5477:2:4115
+5478:2:4123
+5479:2:4124
+5480:2:4128
+5481:2:4129
+5482:2:4137
+5483:2:4142
+5484:2:4146
+5485:2:4147
+5486:2:4155
+5487:2:4156
+5488:2:4160
+5489:2:4161
+5490:2:4155
+5491:2:4156
+5492:2:4160
+5493:2:4161
+5494:2:4169
+5495:2:4174
+5496:2:4175
+5497:2:4186
+5498:2:4194
+5499:2:4195
+5500:2:4199
+5501:2:4204
+5502:2:4205
+5503:2:4216
+5504:2:4217
+5505:2:4218
+5506:2:4216
+5507:2:4217
+5508:2:4218
+5509:2:4229
+5510:0:4533
+5511:2:3127
+5512:0:4533
+5513:1:2043
+5514:1:2044
+5515:1:2048
+5516:1:2049
+5517:1:2057
+5518:1:2058
+5519:1:2062
+5520:1:2063
+5521:1:2071
+5522:1:2076
+5523:1:2080
+5524:1:2081
+5525:1:2089
+5526:1:2090
+5527:1:2094
+5528:1:2095
+5529:1:2089
+5530:1:2090
+5531:1:2094
+5532:1:2095
+5533:1:2103
+5534:1:2108
+5535:1:2109
+5536:1:2120
+5537:1:2121
+5538:1:2122
+5539:1:2133
+5540:1:2138
+5541:1:2139
+5542:1:2150
+5543:1:2151
+5544:1:2152
+5545:1:2150
+5546:1:2151
+5547:1:2152
+5548:1:2163
+5549:0:4533
+5550:1:11
+5551:0:4533
+5552:2:3975
+5553:2:3976
+5554:2:3980
+5555:2:3981
+5556:2:3989
+5557:2:3990
+5558:2:3994
+5559:2:3995
+5560:2:4003
+5561:2:4008
+5562:2:4012
+5563:2:4013
+5564:2:4021
+5565:2:4022
+5566:2:4026
+5567:2:4027
+5568:2:4021
+5569:2:4022
+5570:2:4026
+5571:2:4027
+5572:2:4035
+5573:2:4040
+5574:2:4041
+5575:2:4052
+5576:2:4060
+5577:2:4061
+5578:2:4065
+5579:2:4070
+5580:2:4071
+5581:2:4082
+5582:2:4083
+5583:2:4084
+5584:2:4082
+5585:2:4083
+5586:2:4084
+5587:2:4095
+5588:2:4103
+5589:0:4533
+5590:2:3127
+5591:0:4533
+5592:2:4109
+5593:2:4110
+5594:2:4114
+5595:2:4115
+5596:2:4123
+5597:2:4124
+5598:2:4128
+5599:2:4129
+5600:2:4137
+5601:2:4142
+5602:2:4146
+5603:2:4147
+5604:2:4155
+5605:2:4156
+5606:2:4160
+5607:2:4161
+5608:2:4155
+5609:2:4156
+5610:2:4160
+5611:2:4161
+5612:2:4169
+5613:2:4174
+5614:2:4175
+5615:2:4186
+5616:2:4194
+5617:2:4195
+5618:2:4199
+5619:2:4204
+5620:2:4205
+5621:2:4216
+5622:2:4217
+5623:2:4218
+5624:2:4216
+5625:2:4217
+5626:2:4218
+5627:2:4229
+5628:0:4533
+5629:2:3127
+5630:0:4533
+5631:1:2172
+5632:1:2173
+5633:1:2177
+5634:1:2178
+5635:1:2186
+5636:1:2187
+5637:1:2191
+5638:1:2192
+5639:1:2200
+5640:1:2205
+5641:1:2209
+5642:1:2210
+5643:1:2218
+5644:1:2219
+5645:1:2223
+5646:1:2224
+5647:1:2218
+5648:1:2219
+5649:1:2223
+5650:1:2224
+5651:1:2232
+5652:1:2237
+5653:1:2238
+5654:1:2249
+5655:1:2250
+5656:1:2251
+5657:1:2262
+5658:1:2267
+5659:1:2268
+5660:1:2279
+5661:1:2280
+5662:1:2281
+5663:1:2279
+5664:1:2280
+5665:1:2281
+5666:1:2292
+5667:1:2299
+5668:0:4533
+5669:1:11
+5670:0:4533
+5671:2:3975
+5672:2:3976
+5673:2:3980
+5674:2:3981
+5675:2:3989
+5676:2:3990
+5677:2:3994
+5678:2:3995
+5679:2:4003
+5680:2:4008
+5681:2:4012
+5682:2:4013
+5683:2:4021
+5684:2:4022
+5685:2:4026
+5686:2:4027
+5687:2:4021
+5688:2:4022
+5689:2:4026
+5690:2:4027
+5691:2:4035
+5692:2:4040
+5693:2:4041
+5694:2:4052
+5695:2:4060
+5696:2:4061
+5697:2:4065
+5698:2:4070
+5699:2:4071
+5700:2:4082
+5701:2:4083
+5702:2:4084
+5703:2:4082
+5704:2:4083
+5705:2:4084
+5706:2:4095
+5707:2:4103
+5708:0:4533
+5709:2:3127
+5710:0:4533
+5711:2:4109
+5712:2:4110
+5713:2:4114
+5714:2:4115
+5715:2:4123
+5716:2:4124
+5717:2:4128
+5718:2:4129
+5719:2:4137
+5720:2:4142
+5721:2:4146
+5722:2:4147
+5723:2:4155
+5724:2:4156
+5725:2:4160
+5726:2:4161
+5727:2:4155
+5728:2:4156
+5729:2:4160
+5730:2:4161
+5731:2:4169
+5732:2:4174
+5733:2:4175
+5734:2:4186
+5735:2:4194
+5736:2:4195
+5737:2:4199
+5738:2:4204
+5739:2:4205
+5740:2:4216
+5741:2:4217
+5742:2:4218
+5743:2:4216
+5744:2:4217
+5745:2:4218
+5746:2:4229
+5747:0:4533
+5748:2:3127
+5749:0:4533
+5750:1:2435
+5751:1:2439
+5752:1:2440
+5753:1:2444
+5754:1:2445
+5755:1:2453
+5756:1:2461
+5757:1:2462
+5758:1:2466
+5759:1:2470
+5760:1:2471
+5761:1:2466
+5762:1:2470
+5763:1:2471
+5764:1:2475
+5765:1:2482
+5766:1:2489
+5767:1:2490
+5768:1:2497
+5769:1:2502
+5770:1:2509
+5771:1:2510
+5772:1:2509
+5773:1:2510
+5774:1:2517
+5775:0:4533
+5776:1:11
+5777:0:4533
+5778:2:3975
+5779:2:3976
+5780:2:3980
+5781:2:3981
+5782:2:3989
+5783:2:3990
+5784:2:3994
+5785:2:3995
+5786:2:4003
+5787:2:4008
+5788:2:4012
+5789:2:4013
+5790:2:4021
+5791:2:4022
+5792:2:4026
+5793:2:4027
+5794:2:4021
+5795:2:4022
+5796:2:4026
+5797:2:4027
+5798:2:4035
+5799:2:4040
+5800:2:4041
+5801:2:4052
+5802:2:4060
+5803:2:4061
+5804:2:4065
+5805:2:4070
+5806:2:4071
+5807:2:4082
+5808:2:4083
+5809:2:4084
+5810:2:4082
+5811:2:4083
+5812:2:4084
+5813:2:4095
+5814:2:4103
+5815:0:4533
+5816:2:3127
+5817:0:4533
+5818:2:4109
+5819:2:4110
+5820:2:4114
+5821:2:4115
+5822:2:4123
+5823:2:4124
+5824:2:4128
+5825:2:4129
+5826:2:4137
+5827:2:4142
+5828:2:4146
+5829:2:4147
+5830:2:4155
+5831:2:4156
+5832:2:4160
+5833:2:4161
+5834:2:4155
+5835:2:4156
+5836:2:4160
+5837:2:4161
+5838:2:4169
+5839:2:4174
+5840:2:4175
+5841:2:4186
+5842:2:4194
+5843:2:4195
+5844:2:4199
+5845:2:4204
+5846:2:4205
+5847:2:4216
+5848:2:4217
+5849:2:4218
+5850:2:4216
+5851:2:4217
+5852:2:4218
+5853:2:4229
+5854:0:4533
+5855:2:3127
+5856:0:4533
+5857:1:2527
+5858:1:2528
+5859:1:2532
+5860:1:2533
+5861:1:2541
+5862:1:2542
+5863:1:2546
+5864:1:2547
+5865:1:2555
+5866:1:2560
+5867:1:2564
+5868:1:2565
+5869:1:2573
+5870:1:2574
+5871:1:2578
+5872:1:2579
+5873:1:2573
+5874:1:2574
+5875:1:2578
+5876:1:2579
+5877:1:2587
+5878:1:2592
+5879:1:2593
+5880:1:2604
+5881:1:2605
+5882:1:2606
+5883:1:2617
+5884:1:2622
+5885:1:2623
+5886:1:2634
+5887:1:2635
+5888:1:2636
+5889:1:2634
+5890:1:2635
+5891:1:2636
+5892:1:2647
+5893:0:4533
+5894:1:11
+5895:0:4533
+5896:2:3975
+5897:2:3976
+5898:2:3980
+5899:2:3981
+5900:2:3989
+5901:2:3990
+5902:2:3994
+5903:2:3995
+5904:2:4003
+5905:2:4008
+5906:2:4012
+5907:2:4013
+5908:2:4021
+5909:2:4022
+5910:2:4026
+5911:2:4027
+5912:2:4021
+5913:2:4022
+5914:2:4026
+5915:2:4027
+5916:2:4035
+5917:2:4040
+5918:2:4041
+5919:2:4052
+5920:2:4060
+5921:2:4061
+5922:2:4065
+5923:2:4070
+5924:2:4071
+5925:2:4082
+5926:2:4083
+5927:2:4084
+5928:2:4082
+5929:2:4083
+5930:2:4084
+5931:2:4095
+5932:2:4103
+5933:0:4533
+5934:2:3127
+5935:0:4533
+5936:2:4109
+5937:2:4110
+5938:2:4114
+5939:2:4115
+5940:2:4123
+5941:2:4124
+5942:2:4128
+5943:2:4129
+5944:2:4137
+5945:2:4142
+5946:2:4146
+5947:2:4147
+5948:2:4155
+5949:2:4156
+5950:2:4160
+5951:2:4161
+5952:2:4155
+5953:2:4156
+5954:2:4160
+5955:2:4161
+5956:2:4169
+5957:2:4174
+5958:2:4175
+5959:2:4186
+5960:2:4194
+5961:2:4195
+5962:2:4199
+5963:2:4204
+5964:2:4205
+5965:2:4216
+5966:2:4217
+5967:2:4218
+5968:2:4216
+5969:2:4217
+5970:2:4218
+5971:2:4229
+5972:0:4533
+5973:2:3127
+5974:0:4533
+5975:1:2656
+5976:0:4533
+5977:2:3975
+5978:2:3976
+5979:2:3980
+5980:2:3981
+5981:2:3989
+5982:2:3990
+5983:2:3994
+5984:2:3995
+5985:2:4003
+5986:2:4008
+5987:2:4012
+5988:2:4013
+5989:2:4021
+5990:2:4022
+5991:2:4026
+5992:2:4027
+5993:2:4021
+5994:2:4022
+5995:2:4026
+5996:2:4027
+5997:2:4035
+5998:2:4040
+5999:2:4041
+6000:2:4052
+6001:2:4060
+6002:2:4061
+6003:2:4065
+6004:2:4070
+6005:2:4071
+6006:2:4082
+6007:2:4083
+6008:2:4084
+6009:2:4082
+6010:2:4083
+6011:2:4084
+6012:2:4095
+6013:2:4103
+6014:0:4533
+6015:2:3127
+6016:0:4533
+6017:2:4109
+6018:2:4110
+6019:2:4114
+6020:2:4115
+6021:2:4123
+6022:2:4124
+6023:2:4128
+6024:2:4129
+6025:2:4137
+6026:2:4142
+6027:2:4146
+6028:2:4147
+6029:2:4155
+6030:2:4156
+6031:2:4160
+6032:2:4161
+6033:2:4155
+6034:2:4156
+6035:2:4160
+6036:2:4161
+6037:2:4169
+6038:2:4174
+6039:2:4175
+6040:2:4186
+6041:2:4194
+6042:2:4195
+6043:2:4199
+6044:2:4204
+6045:2:4205
+6046:2:4216
+6047:2:4217
+6048:2:4218
+6049:2:4216
+6050:2:4217
+6051:2:4218
+6052:2:4229
+6053:0:4533
+6054:2:3127
+6055:0:4533
+6056:1:3066
+6057:1:3073
+6058:1:3074
+6059:1:3081
+6060:1:3086
+6061:1:3093
+6062:1:3094
+6063:1:3093
+6064:1:3094
+6065:1:3101
+6066:1:3105
+6067:0:4533
+6068:2:3975
+6069:2:3976
+6070:2:3980
+6071:2:3981
+6072:2:3989
+6073:2:3990
+6074:2:3994
+6075:2:3995
+6076:2:4003
+6077:2:4008
+6078:2:4012
+6079:2:4013
+6080:2:4021
+6081:2:4022
+6082:2:4026
+6083:2:4027
+6084:2:4021
+6085:2:4022
+6086:2:4026
+6087:2:4027
+6088:2:4035
+6089:2:4040
+6090:2:4041
+6091:2:4052
+6092:2:4060
+6093:2:4061
+6094:2:4065
+6095:2:4070
+6096:2:4071
+6097:2:4082
+6098:2:4083
+6099:2:4084
+6100:2:4082
+6101:2:4083
+6102:2:4084
+6103:2:4095
+6104:2:4103
+6105:0:4533
+6106:2:3127
+6107:0:4533
+6108:2:4109
+6109:2:4110
+6110:2:4114
+6111:2:4115
+6112:2:4123
+6113:2:4124
+6114:2:4128
+6115:2:4129
+6116:2:4137
+6117:2:4142
+6118:2:4146
+6119:2:4147
+6120:2:4155
+6121:2:4156
+6122:2:4160
+6123:2:4161
+6124:2:4155
+6125:2:4156
+6126:2:4160
+6127:2:4161
+6128:2:4169
+6129:2:4174
+6130:2:4175
+6131:2:4186
+6132:2:4194
+6133:2:4195
+6134:2:4199
+6135:2:4204
+6136:2:4205
+6137:2:4216
+6138:2:4217
+6139:2:4218
+6140:2:4216
+6141:2:4217
+6142:2:4218
+6143:2:4229
+6144:0:4533
+6145:2:3127
+6146:0:4533
+6147:1:2658
+6148:1:2659
+6149:0:4533
+6150:1:11
+6151:0:4533
+6152:2:3975
+6153:2:3976
+6154:2:3980
+6155:2:3981
+6156:2:3989
+6157:2:3990
+6158:2:3994
+6159:2:3995
+6160:2:4003
+6161:2:4008
+6162:2:4012
+6163:2:4013
+6164:2:4021
+6165:2:4022
+6166:2:4026
+6167:2:4027
+6168:2:4021
+6169:2:4022
+6170:2:4026
+6171:2:4027
+6172:2:4035
+6173:2:4040
+6174:2:4041
+6175:2:4052
+6176:2:4060
+6177:2:4061
+6178:2:4065
+6179:2:4070
+6180:2:4071
+6181:2:4082
+6182:2:4083
+6183:2:4084
+6184:2:4082
+6185:2:4083
+6186:2:4084
+6187:2:4095
+6188:2:4103
+6189:0:4533
+6190:2:3127
+6191:0:4533
+6192:2:4109
+6193:2:4110
+6194:2:4114
+6195:2:4115
+6196:2:4123
+6197:2:4124
+6198:2:4128
+6199:2:4129
+6200:2:4137
+6201:2:4142
+6202:2:4146
+6203:2:4147
+6204:2:4155
+6205:2:4156
+6206:2:4160
+6207:2:4161
+6208:2:4155
+6209:2:4156
+6210:2:4160
+6211:2:4161
+6212:2:4169
+6213:2:4174
+6214:2:4175
+6215:2:4186
+6216:2:4194
+6217:2:4195
+6218:2:4199
+6219:2:4204
+6220:2:4205
+6221:2:4216
+6222:2:4217
+6223:2:4218
+6224:2:4216
+6225:2:4217
+6226:2:4218
+6227:2:4229
+6228:0:4533
+6229:2:3127
+6230:0:4533
+6231:1:2660
+6232:1:2664
+6233:1:2665
+6234:1:2669
+6235:1:2673
+6236:1:2674
+6237:1:2678
+6238:1:2686
+6239:1:2687
+6240:1:2691
+6241:1:2695
+6242:1:2696
+6243:1:2691
+6244:1:2695
+6245:1:2696
+6246:1:2700
+6247:1:2707
+6248:1:2714
+6249:1:2715
+6250:1:2722
+6251:1:2727
+6252:1:2734
+6253:1:2735
+6254:1:2734
+6255:1:2735
+6256:1:2742
+6257:0:4533
+6258:1:11
+6259:0:4533
+6260:2:3975
+6261:2:3976
+6262:2:3980
+6263:2:3981
+6264:2:3989
+6265:2:3990
+6266:2:3994
+6267:2:3995
+6268:2:4003
+6269:2:4008
+6270:2:4012
+6271:2:4013
+6272:2:4021
+6273:2:4022
+6274:2:4026
+6275:2:4027
+6276:2:4021
+6277:2:4022
+6278:2:4026
+6279:2:4027
+6280:2:4035
+6281:2:4040
+6282:2:4041
+6283:2:4052
+6284:2:4060
+6285:2:4061
+6286:2:4065
+6287:2:4070
+6288:2:4071
+6289:2:4082
+6290:2:4083
+6291:2:4084
+6292:2:4082
+6293:2:4083
+6294:2:4084
+6295:2:4095
+6296:2:4103
+6297:0:4533
+6298:2:3127
+6299:0:4533
+6300:1:2752
+6301:1:2753
+6302:1:2757
+6303:1:2758
+6304:1:2766
+6305:1:2767
+6306:1:2771
+6307:1:2772
+6308:1:2780
+6309:1:2785
+6310:1:2789
+6311:1:2790
+6312:1:2798
+6313:1:2799
+6314:1:2803
+6315:1:2804
+6316:1:2798
+6317:1:2799
+6318:1:2803
+6319:1:2804
+6320:1:2812
+6321:1:2817
+6322:1:2818
+6323:1:2829
+6324:1:2830
+6325:1:2831
+6326:1:2842
+6327:1:2847
+6328:1:2848
+6329:1:2859
+6330:1:2860
+6331:1:2861
+6332:1:2859
+6333:1:2860
+6334:1:2861
+6335:1:2872
+6336:0:4533
+6337:1:11
+6338:0:4533
+6339:1:2881
+6340:1:2882
+6341:1:2886
+6342:1:2887
+6343:1:2895
+6344:1:2896
+6345:1:2900
+6346:1:2901
+6347:1:2909
+6348:1:2914
+6349:1:2918
+6350:1:2919
+6351:1:2927
+6352:1:2928
+6353:1:2932
+6354:1:2933
+6355:1:2927
+6356:1:2928
+6357:1:2932
+6358:1:2933
+6359:1:2941
+6360:1:2946
+6361:1:2947
+6362:1:2958
+6363:1:2959
+6364:1:2960
+6365:1:2971
+6366:1:2976
+6367:1:2977
+6368:1:2988
+6369:1:2989
+6370:1:2990
+6371:1:2988
+6372:1:2989
+6373:1:2990
+6374:1:3001
+6375:1:3008
+6376:1:3012
+6377:0:4533
+6378:1:11
+6379:0:4533
+6380:1:3013
+-1:-1:-1
+6381:0:4533
+6382:1:3021
+6383:0:4533
+6384:1:3109
+6385:0:4533
+6386:1:9
+6387:0:4533
+6388:1:10
+6389:0:4533
+6390:1:11
+6391:0:4533
+6392:1:12
+6393:1:13
+6394:1:17
+6395:1:18
+6396:1:26
+6397:1:27
+6398:1:28
+6399:1:40
+6400:1:45
+6401:1:49
+6402:1:50
+6403:1:58
+6404:1:59
+6405:1:63
+6406:1:64
+6407:1:58
+6408:1:59
+6409:1:63
+6410:1:64
+6411:1:72
+6412:1:77
+6413:1:78
+6414:1:89
+6415:1:90
+6416:1:91
+6417:1:102
+6418:1:107
+6419:1:108
+6420:1:119
+6421:1:120
+6422:1:121
+6423:1:119
+6424:1:120
+6425:1:121
+6426:1:132
+6427:0:4533
+6428:1:11
+6429:0:4533
+6430:1:141
+6431:1:142
+6432:0:4533
+6433:1:11
+6434:0:4533
+6435:1:148
+6436:1:149
+6437:1:153
+6438:1:154
+6439:1:162
+6440:1:163
+6441:1:167
+6442:1:168
+6443:1:176
+6444:1:181
+6445:1:185
+6446:1:186
+6447:1:194
+6448:1:195
+6449:1:199
+6450:1:200
+6451:1:194
+6452:1:195
+6453:1:199
+6454:1:200
+6455:1:208
+6456:1:213
+6457:1:214
+6458:1:225
+6459:1:226
+6460:1:227
+6461:1:238
+6462:1:243
+6463:1:244
+6464:1:255
+6465:1:256
+6466:1:257
+6467:1:255
+6468:1:256
+6469:1:257
+6470:1:268
+6471:0:4533
+6472:1:11
+6473:0:4533
+6474:1:277
+6475:1:278
+6476:1:282
+6477:1:283
+6478:1:291
+6479:1:292
+6480:1:296
+6481:1:297
+6482:1:305
+6483:1:310
+6484:1:314
+6485:1:315
+6486:1:323
+6487:1:324
+6488:1:328
+6489:1:329
+6490:1:323
+6491:1:324
+6492:1:328
+6493:1:329
+6494:1:337
+6495:1:342
+6496:1:343
+6497:1:354
+6498:1:355
+6499:1:356
+6500:1:367
+6501:1:372
+6502:1:373
+6503:1:384
+6504:1:385
+6505:1:386
+6506:1:384
+6507:1:385
+6508:1:386
+6509:1:397
+6510:1:404
+6511:0:4533
+6512:1:11
+6513:0:4533
+6514:1:540
+6515:1:544
+6516:1:545
+6517:1:549
+6518:1:550
+6519:1:558
+6520:1:566
+6521:1:567
+6522:1:571
+6523:1:575
+6524:1:576
+6525:1:571
+6526:1:575
+6527:1:576
+6528:1:580
+6529:1:587
+6530:1:594
+6531:1:595
+6532:1:602
+6533:1:607
+6534:1:614
+6535:1:615
+6536:1:614
+6537:1:615
+6538:1:622
+6539:0:4533
+6540:1:11
+6541:0:4533
+6542:1:632
+6543:1:633
+6544:1:637
+6545:1:638
+6546:1:646
+6547:1:647
+6548:1:651
+6549:1:652
+6550:1:660
+6551:1:665
+6552:1:669
+6553:1:670
+6554:1:678
+6555:1:679
+6556:1:683
+6557:1:684
+6558:1:678
+6559:1:679
+6560:1:683
+6561:1:684
+6562:1:692
+6563:1:697
+6564:1:698
+6565:1:709
+6566:1:710
+6567:1:711
+6568:1:722
+6569:1:727
+6570:1:728
+6571:1:739
+6572:1:740
+6573:1:741
+6574:1:739
+6575:1:740
+6576:1:741
+6577:1:752
+6578:0:4533
+6579:1:11
+6580:0:4533
+6581:1:761
+6582:1:764
+6583:1:765
+6584:0:4533
+6585:1:11
+6586:0:4533
+6587:1:768
+6588:1:769
+6589:1:773
+6590:1:774
+6591:1:782
+6592:1:783
+6593:1:787
+6594:1:788
+6595:1:796
+6596:1:801
+6597:1:805
+6598:1:806
+6599:1:814
+6600:1:815
+6601:1:819
+6602:1:820
+6603:1:814
+6604:1:815
+6605:1:819
+6606:1:820
+6607:1:828
+6608:1:833
+6609:1:834
+6610:1:845
+6611:1:846
+6612:1:847
+6613:1:858
+6614:1:863
+6615:1:864
+6616:1:875
+6617:1:876
+6618:1:877
+6619:1:875
+6620:1:876
+6621:1:877
+6622:1:888
+6623:0:4533
+6624:1:11
+6625:0:4533
+6626:1:1028
+6627:1:1029
+6628:1:1033
+6629:1:1034
+6630:1:1042
+6631:1:1043
+6632:1:1047
+6633:1:1048
+6634:1:1056
+6635:1:1061
+6636:1:1065
+6637:1:1066
+6638:1:1074
+6639:1:1075
+6640:1:1079
+6641:1:1080
+6642:1:1074
+6643:1:1075
+6644:1:1079
+6645:1:1080
+6646:1:1088
+6647:1:1093
+6648:1:1094
+6649:1:1105
+6650:1:1106
+6651:1:1107
+6652:1:1118
+6653:1:1123
+6654:1:1124
+6655:1:1135
+6656:1:1136
+6657:1:1137
+6658:1:1135
+6659:1:1136
+6660:1:1137
+6661:1:1148
+6662:1:1155
+6663:1:1159
+6664:0:4533
+6665:1:11
+6666:0:4533
+6667:1:1160
+6668:1:1161
+6669:1:1165
+6670:1:1166
+6671:1:1174
+6672:1:1175
+6673:1:1176
+6674:1:1188
+6675:1:1193
+6676:1:1197
+6677:1:1198
+6678:1:1206
+6679:1:1207
+6680:1:1211
+6681:1:1212
+6682:1:1206
+6683:1:1207
+6684:1:1211
+6685:1:1212
+6686:1:1220
+6687:1:1225
+6688:1:1226
+6689:1:1237
+6690:1:1238
+6691:1:1239
+6692:1:1250
+6693:1:1255
+6694:1:1256
+6695:1:1267
+6696:1:1268
+6697:1:1269
+6698:1:1267
+6699:1:1268
+6700:1:1269
+6701:1:1280
+6702:0:4533
+6703:1:11
+6704:0:4533
+6705:1:1289
+6706:0:4533
+6707:1:3023
+6708:1:3030
+6709:1:3031
+6710:1:3038
+6711:1:3043
+6712:1:3050
+6713:1:3051
+6714:1:3050
+6715:1:3051
+6716:1:3058
+6717:1:3062
+6718:0:4533
+6719:1:1291
+6720:1:1292
+6721:0:4533
+6722:1:11
+6723:0:4533
+6724:1:1293
+6725:1:1294
+6726:1:1298
+6727:1:1299
+6728:1:1307
+6729:1:1308
+6730:1:1312
+6731:1:1313
+6732:1:1321
+6733:1:1326
+6734:1:1330
+6735:1:1331
+6736:1:1339
+6737:1:1340
+6738:1:1344
+6739:1:1345
+6740:1:1339
+6741:1:1340
+6742:1:1344
+6743:1:1345
+6744:1:1353
+6745:1:1358
+6746:1:1359
+6747:1:1370
+6748:1:1371
+6749:1:1372
+6750:1:1383
+6751:1:1388
+6752:1:1389
+6753:1:1400
+6754:1:1401
+6755:1:1402
+6756:1:1400
+6757:1:1401
+6758:1:1402
+6759:1:1413
+6760:0:4533
+6761:1:11
+6762:0:4533
+6763:1:1422
+6764:1:1423
+6765:1:1427
+6766:1:1428
+6767:1:1436
+6768:1:1437
+6769:1:1441
+6770:1:1442
+6771:1:1450
+6772:1:1455
+6773:1:1459
+6774:1:1460
+6775:1:1468
+6776:1:1469
+6777:1:1473
+6778:1:1474
+6779:1:1468
+6780:1:1469
+6781:1:1473
+6782:1:1474
+6783:1:1482
+6784:1:1487
+6785:1:1488
+6786:1:1499
+6787:1:1500
+6788:1:1501
+6789:1:1512
+6790:1:1517
+6791:1:1518
+6792:1:1529
+6793:1:1530
+6794:1:1531
+6795:1:1529
+6796:1:1530
+6797:1:1531
+6798:1:1542
+6799:1:1549
+6800:1:1553
+6801:0:4533
+6802:1:11
+6803:0:4533
+6804:1:1554
+6805:1:1558
+6806:1:1559
+6807:1:1563
+6808:1:1564
+6809:1:1572
+6810:1:1580
+6811:1:1581
+6812:1:1585
+6813:1:1589
+6814:1:1590
+6815:1:1585
+6816:1:1589
+6817:1:1590
+6818:1:1594
+6819:1:1601
+6820:1:1608
+6821:1:1609
+6822:1:1616
+6823:1:1621
+6824:1:1628
+6825:1:1629
+6826:1:1628
+6827:1:1629
+6828:1:1636
+6829:0:4533
+6830:1:11
+6831:0:4533
+6832:1:1646
+6833:1:1647
+6834:1:1651
+6835:1:1652
+6836:1:1660
+6837:1:1661
+6838:1:1665
+6839:1:1666
+6840:1:1674
+6841:1:1679
+6842:1:1683
+6843:1:1684
+6844:1:1692
+6845:1:1693
+6846:1:1697
+6847:1:1698
+6848:1:1692
+6849:1:1693
+6850:1:1697
+6851:1:1698
+6852:1:1706
+6853:1:1711
+6854:1:1712
+6855:1:1723
+6856:1:1724
+6857:1:1725
+6858:1:1736
+6859:1:1741
+6860:1:1742
+6861:1:1753
+6862:1:1754
+6863:1:1755
+6864:1:1753
+6865:1:1754
+6866:1:1755
+6867:1:1766
+6868:0:4533
+6869:1:11
+6870:0:4533
+6871:1:1775
+6872:1:1776
+6873:1:1780
+6874:1:1781
+6875:1:1789
+6876:1:1790
+6877:1:1794
+6878:1:1795
+6879:1:1803
+6880:1:1808
+6881:1:1812
+6882:1:1813
+6883:1:1821
+6884:1:1822
+6885:1:1826
+6886:1:1827
+6887:1:1821
+6888:1:1822
+6889:1:1826
+6890:1:1827
+6891:1:1835
+6892:1:1840
+6893:1:1841
+6894:1:1852
+6895:1:1853
+6896:1:1854
+6897:1:1865
+6898:1:1870
+6899:1:1871
+6900:1:1882
+6901:1:1883
+6902:1:1884
+6903:1:1882
+6904:1:1883
+6905:1:1884
+6906:1:1895
+6907:1:1902
+6908:1:1906
+6909:0:4533
+6910:1:11
+6911:0:4533
+6912:1:1907
+6913:1:1908
+6914:1:1912
+6915:1:1913
+6916:1:1921
+6917:1:1922
+6918:1:1923
+6919:1:1935
+6920:1:1940
+6921:1:1944
+6922:1:1945
+6923:1:1953
+6924:1:1954
+6925:1:1958
+6926:1:1959
+6927:1:1953
+6928:1:1954
+6929:1:1958
+6930:1:1959
+6931:1:1967
+6932:1:1972
+6933:1:1973
+6934:1:1984
+6935:1:1985
+6936:1:1986
+6937:1:1997
+6938:1:2002
+6939:1:2003
+6940:1:2014
+6941:1:2015
+6942:1:2016
+6943:1:2014
+6944:1:2015
+6945:1:2016
+6946:1:2027
+6947:0:4533
+6948:1:11
+6949:0:4533
+6950:1:2036
+6951:1:2037
+6952:0:4533
+6953:1:11
+6954:0:4533
+6955:1:2043
+6956:1:2044
+6957:1:2048
+6958:1:2049
+6959:1:2057
+6960:1:2058
+6961:1:2062
+6962:1:2063
+6963:1:2071
+6964:1:2076
+6965:1:2080
+6966:1:2081
+6967:1:2089
+6968:1:2090
+6969:1:2094
+6970:1:2095
+6971:1:2089
+6972:1:2090
+6973:1:2094
+6974:1:2095
+6975:1:2103
+6976:1:2108
+6977:1:2109
+6978:1:2120
+6979:1:2121
+6980:1:2122
+6981:1:2133
+6982:1:2138
+6983:1:2139
+6984:1:2150
+6985:1:2151
+6986:1:2152
+6987:1:2150
+6988:1:2151
+6989:1:2152
+6990:1:2163
+6991:0:4533
+6992:1:11
+6993:0:4533
+6994:1:2172
+6995:1:2173
+6996:1:2177
+6997:1:2178
+6998:1:2186
+6999:1:2187
+7000:1:2191
+7001:1:2192
+7002:1:2200
+7003:1:2205
+7004:1:2209
+7005:1:2210
+7006:1:2218
+7007:1:2219
+7008:1:2223
+7009:1:2224
+7010:1:2218
+7011:1:2219
+7012:1:2223
+7013:1:2224
+7014:1:2232
+7015:1:2237
+7016:1:2238
+7017:1:2249
+7018:1:2250
+7019:1:2251
+7020:1:2262
+7021:1:2267
+7022:1:2268
+7023:1:2279
+7024:1:2280
+7025:1:2281
+7026:1:2279
+7027:1:2280
+7028:1:2281
+7029:1:2292
+7030:1:2299
+7031:0:4533
+7032:1:11
+7033:0:4533
+7034:1:2435
+7035:1:2439
+7036:1:2440
+7037:1:2444
+7038:1:2445
+7039:1:2453
+7040:1:2461
+7041:1:2462
+7042:1:2466
+7043:1:2470
+7044:1:2471
+7045:1:2466
+7046:1:2470
+7047:1:2471
+7048:1:2475
+7049:1:2482
+7050:1:2489
+7051:1:2490
+7052:1:2497
+7053:1:2502
+7054:1:2509
+7055:1:2510
+7056:1:2509
+7057:1:2510
+7058:1:2517
+7059:0:4533
+7060:1:11
+7061:0:4533
+7062:1:2527
+7063:1:2528
+7064:1:2532
+7065:1:2533
+7066:1:2541
+7067:1:2542
+7068:1:2546
+7069:1:2547
+7070:1:2555
+7071:1:2560
+7072:1:2564
+7073:1:2565
+7074:1:2573
+7075:1:2574
+7076:1:2578
+7077:1:2579
+7078:1:2573
+7079:1:2574
+7080:1:2578
+7081:1:2579
+7082:1:2587
+7083:1:2592
+7084:1:2593
+7085:1:2604
+7086:1:2605
+7087:1:2606
+7088:1:2617
+7089:1:2622
+7090:1:2623
+7091:1:2634
+7092:1:2635
+7093:1:2636
+7094:1:2634
+7095:1:2635
+7096:1:2636
+7097:1:2647
+7098:0:4533
+7099:1:11
+7100:0:4533
+7101:1:2656
+7102:0:4533
+7103:1:3066
+7104:1:3073
+7105:1:3074
+7106:1:3081
+7107:1:3086
+7108:1:3093
+7109:1:3094
+7110:1:3093
+7111:1:3094
+7112:1:3101
+7113:1:3105
+7114:0:4533
+7115:1:2658
+7116:1:2659
+7117:0:4533
+7118:1:11
+7119:0:4533
+7120:1:2660
+7121:1:2664
+7122:1:2665
+7123:1:2669
+7124:1:2673
+7125:1:2674
+7126:1:2678
+7127:1:2686
+7128:1:2687
+7129:1:2691
+7130:1:2695
+7131:1:2696
+7132:1:2691
+7133:1:2695
+7134:1:2696
+7135:1:2700
+7136:1:2707
+7137:1:2714
+7138:1:2715
+7139:1:2722
+7140:1:2727
+7141:1:2734
+7142:1:2735
+7143:1:2734
+7144:1:2735
+7145:1:2742
+7146:0:4533
+7147:1:11
+7148:0:4533
+7149:1:2752
+7150:1:2753
+7151:1:2757
+7152:1:2758
+7153:1:2766
+7154:1:2767
+7155:1:2771
+7156:1:2772
+7157:1:2780
+7158:1:2785
+7159:1:2789
+7160:1:2790
+7161:1:2798
+7162:1:2799
+7163:1:2803
+7164:1:2804
+7165:1:2798
+7166:1:2799
+7167:1:2803
+7168:1:2804
+7169:1:2812
+7170:1:2817
+7171:1:2818
+7172:1:2829
+7173:1:2830
+7174:1:2831
+7175:1:2842
+7176:1:2847
+7177:1:2848
+7178:1:2859
+7179:1:2860
+7180:1:2861
+7181:1:2859
+7182:1:2860
+7183:1:2861
+7184:1:2872
+7185:0:4533
+7186:2:4109
+7187:2:4110
+7188:2:4114
+7189:2:4115
+7190:2:4123
+7191:2:4124
+7192:2:4128
+7193:2:4129
+7194:2:4137
+7195:2:4142
+7196:2:4146
+7197:2:4147
+7198:2:4155
+7199:2:4156
+7200:2:4160
+7201:2:4161
+7202:2:4155
+7203:2:4156
+7204:2:4160
+7205:2:4161
+7206:2:4169
+7207:2:4174
+7208:2:4175
+7209:2:4186
+7210:2:4194
+7211:2:4195
+7212:2:4199
+7213:2:4204
+7214:2:4205
+7215:2:4216
+7216:2:4217
+7217:2:4218
+7218:2:4216
+7219:2:4217
+7220:2:4218
+7221:2:4229
+7222:0:4533
+7223:2:3127
+7224:0:4533
+7225:1:11
+7226:0:4533
+7227:1:2881
+7228:1:2882
+7229:1:2886
+7230:1:2887
+7231:1:2895
+7232:1:2896
+7233:1:2900
+7234:1:2901
+7235:1:2909
+7236:1:2914
+7237:1:2918
+7238:1:2919
+7239:1:2927
+7240:1:2928
+7241:1:2932
+7242:1:2933
+7243:1:2927
+7244:1:2928
+7245:1:2932
+7246:1:2933
+7247:1:2941
+7248:1:2946
+7249:1:2947
+7250:1:2958
+7251:1:2959
+7252:1:2960
+7253:1:2971
+7254:1:2976
+7255:1:2977
+7256:1:2988
+7257:1:2989
+7258:1:2990
+7259:1:2988
+7260:1:2989
+7261:1:2990
+7262:1:3001
+7263:1:3008
+7264:1:3012
+7265:0:4533
+7266:2:3975
+7267:2:3976
+7268:2:3980
+7269:2:3981
+7270:2:3989
+7271:2:3990
+7272:2:3994
+7273:2:3995
+7274:2:4003
+7275:2:4008
+7276:2:4012
+7277:2:4013
+7278:2:4021
+7279:2:4022
+7280:2:4026
+7281:2:4027
+7282:2:4021
+7283:2:4022
+7284:2:4026
+7285:2:4027
+7286:2:4035
+7287:2:4040
+7288:2:4041
+7289:2:4052
+7290:2:4060
+7291:2:4061
+7292:2:4065
+7293:2:4070
+7294:2:4071
+7295:2:4082
+7296:2:4083
+7297:2:4084
+7298:2:4082
+7299:2:4083
+7300:2:4084
+7301:2:4095
+7302:2:4103
+7303:0:4533
+7304:2:3127
+7305:0:4533
+7306:1:11
+7307:0:4533
+7308:2:4109
+7309:2:4110
+7310:2:4114
+7311:2:4115
+7312:2:4123
+7313:2:4124
+7314:2:4128
+7315:2:4129
+7316:2:4137
+7317:2:4142
+7318:2:4146
+7319:2:4147
+7320:2:4155
+7321:2:4156
+7322:2:4160
+7323:2:4161
+7324:2:4155
+7325:2:4156
+7326:2:4160
+7327:2:4161
+7328:2:4169
+7329:2:4174
+7330:2:4175
+7331:2:4186
+7332:2:4194
+7333:2:4195
+7334:2:4199
+7335:2:4204
+7336:2:4205
+7337:2:4216
+7338:2:4217
+7339:2:4218
+7340:2:4216
+7341:2:4217
+7342:2:4218
+7343:2:4229
+7344:0:4533
+7345:2:3127
+7346:0:4533
+7347:2:3975
+7348:2:3976
+7349:2:3980
+7350:2:3981
+7351:2:3989
+7352:2:3990
+7353:2:3994
+7354:2:3995
+7355:2:4003
+7356:2:4008
+7357:2:4012
+7358:2:4013
+7359:2:4021
+7360:2:4022
+7361:2:4026
+7362:2:4027
+7363:2:4021
+7364:2:4022
+7365:2:4026
+7366:2:4027
+7367:2:4035
+7368:2:4040
+7369:2:4041
+7370:2:4052
+7371:2:4060
+7372:2:4061
+7373:2:4065
+7374:2:4070
+7375:2:4071
+7376:2:4082
+7377:2:4083
+7378:2:4084
+7379:2:4082
+7380:2:4083
+7381:2:4084
+7382:2:4095
+7383:2:4103
+7384:0:4533
+7385:2:3127
+7386:0:4533
+7387:1:3013