X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow-alpha-no-ipi%2Furcu_progress_writer_error.spin.input.trail;fp=formal-model%2Furcu-controldataflow-alpha-no-ipi%2Furcu_progress_writer_error.spin.input.trail;h=8ab0111f5a3dd647bb2ff2cede027b5e7a9d2e17;hb=b6b17880a1a83b679d968907e2ff6cf72dd645fb;hp=0000000000000000000000000000000000000000;hpb=06e8b2a87f862183a26e0005bf04221633f49d0c;p=urcu.git 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 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