#s idigest "35c3a38fd64493176b9514fe2db3a483"
#p 11 278
#s name "p26-exact-pub119"
((((((137,138),(196,195)),(((177,178),(((272,271),((((217,218),(252,251)),(141,142)),256)),(96,95))),255)),((((44,(43,((240,123),124))),(((((254,253),239),((155,156),92)),91),((127,128),(106,105)))),((5,(10,6)),(((((83,(84,(25,26))),42),((62,19),(61,20))),(41,(((48,80),47),((58,79),57)))),((((75,(76,8)),(276,(7,275))),9),((29,((49,23),(50,(30,24)))),(((72,71),(32,85)),((86,(1,2)),31))))))),((((((232,121),(159,160)),194),((238,231),((((103,104),136),((135,(162,(161,125))),126)),((131,132),229)))),(((236,235),(230,(143,144))),193)),(237,((223,224),122))))),(((((((((56,60),(55,59)),39),((69,70),40)),((17,18),((73,((78,((11,(((77,13),64),15)),((63,12),14))),82)),16))),(((52,51),((37,38),((45,67),(68,46)))),(3,4))),((((53,54),81),(27,((74,(35,36)),28))),(33,34))),((((225,169),(226,170)),(268,267)),((250,249),(((145,146),(118,117)),(120,119))))),(((((((247,248),(((108,262),(98,((97,107),261))),(270,269))),(((93,184),190),((129,(130,189)),(183,94)))),(112,111)),((110,(99,(115,116))),((228,227),(246,245)))),((((133,273),265),(264,263)),((((149,150),100),(109,(216,215))),(((158,((134,(157,266)),((198,274),197))),(258,257)),((151,(152,191)),192))))),((168,167),(163,164))))),(((((165,166),(221,222)),(((65,66),((102,101),(199,200))),((((114,((140,139),(113,260))),(185,(186,259))),((201,202),(176,175))),((((((206,205),179),212),(((214,213),((209,210),(147,148))),180)),((88,87),(211,((154,153),203)))),(204,(208,207)))))),(((219,182),(((174,220),(22,((187,188),21))),(((277,(244,243)),(171,278)),172))),(181,173))),(((242,(233,234)),241),(89,90))));
((((((((143,(132,131)),((230,229),235)),(236,(121,122))),((((((160,159),(223,((232,231),224))),144),193),136),(((103,(135,104)),((162,(125,126)),161)),194))),(238,237)),(((((((139,140),(113,(185,114))),186),(((212,175),(148,((((201,202),214),(180,209)),(179,(206,205))))),((203,((208,(88,87)),207)),(((147,(213,210)),176),211)))),((94,93),((184,(111,112)),((270,269),97)))),((248,(((130,(129,(190,189))),183),(247,((107,108),(98,(261,262)))))),((204,(154,153)),(259,260)))),((((168,167),(163,164)),(249,250)),(((((116,110),150),(115,109)),(((246,(245,227)),228),(215,(216,((100,99),149))))),(145,((117,118),(119,(146,120)))))))),(10,275)),((((((268,267),(170,(225,169))),((((156,155),(91,92)),(240,105)),((127,(254,253)),((124,(123,239)),(44,43))))),((((((151,152),(191,192)),((((((197,134),274),(157,265)),133),(273,266)),(258,257))),(264,263)),(198,158)),(((166,165),222),221))),(226,((((((219,181),(182,220)),((278,172),173)),((242,(233,234)),241)),((65,(101,102)),(66,(199,200)))),((138,((142,271),(252,(217,218)))),((106,128),(((((256,255),137),(178,96)),((195,196),((251,272),141))),(177,95))))))),(((((171,((243,(21,(188,(187,22)))),(244,277))),174),(90,89)),(((51,52),(59,56)),(((((18,17),(12,((15,(64,(14,11))),(16,(63,((78,77),13)))))),((33,34),(53,((27,28),54)))),(((73,35),74),((81,82),36))),(((46,((40,39),3)),(4,69)),(((37,68),((67,38),45)),70))))),(((((76,75),(7,(276,8))),((80,58),((((24,30),23),49),(50,29)))),((((79,47),(48,57)),(((72,71),(1,32)),((2,31),(85,86)))),(((20,19),((((41,42),(83,84)),((25,61),26)),62)),((5,6),9)))),(55,60)))));
((((266,273),(((((197,(274,198)),(134,133)),((158,265),157)),((152,(192,151)),191)),(257,258))),(((((90,89),(((((187,243),(244,277)),((21,188),172)),(174,173)),(((22,(171,278)),(182,((220,219),181))),242))),(263,264)),((((233,234),241),(((159,(((125,(126,(161,162))),(((104,103),136),135)),((232,231),223))),(121,144)),(((((106,105),((128,127),156)),92),(91,(253,(239,124)))),(272,((178,177),96))))),(((39,69),(((33,((27,36),35)),((11,14),(17,18))),((((38,45),(37,68)),((52,51),((40,70),(56,((67,46),(55,(60,59))))))),(((82,81),(((73,74),28),(54,53))),34)))),((((275,(75,(276,(8,76)))),7),(((2,85),((47,79),(80,(58,(48,57))))),(71,72))),((((20,19),(((42,41),(26,(62,(25,83)))),(84,61))),(((9,10),6),5)),(((24,((50,(30,29)),49)),23),((1,(32,31)),86))))))),(((3,4),((77,(64,12)),(((15,16),(78,13)),63))),(((((228,245),227),((215,216),100)),(115,((149,150),109))),((((170,169),226),225),(267,268)))))),(((196,(137,195)),((44,43),(254,(155,(240,123))))),(((((122,(160,224)),((131,132),(229,(235,230)))),((237,238),193)),((((65,66),(200,199)),((101,102),(164,((((119,120),145),146),(117,118))))),((((256,95),(252,((271,((217,218),(141,142))),255))),(138,251)),(194,(236,143))))),((((((((180,179),((148,((214,147),213)),(202,201))),(210,209)),((((175,176),212),(211,(206,205))),((186,185),((113,114),259)))),((153,((154,204),203)),(((207,208),87),88))),((221,(166,165)),222)),((250,249),(163,(168,167)))),(((99,(116,110)),246),(((260,(140,139)),(((247,248),(((107,108),(262,261)),(98,97))),((184,183),(94,93)))),((270,269),((111,112),(189,(129,(130,190)))))))))));
(((((((((131,(132,235)),(144,230)),(((122,(231,(232,224))),121),223)),((193,194),(143,(236,229)))),(((((162,161),104),((126,125),((136,135),103))),(160,159)),(238,237))),(((15,(78,(63,64))),(13,(12,11))),((27,35),(82,81)))),(((((142,(218,252)),(((195,95),((137,196),(256,(141,(272,271))))),(((255,138),(217,251)),(178,177)))),96),((167,168),249)),((250,(164,163)),(((179,180),((211,212),(((148,147),(214,213)),(210,209)))),((((((208,207),(88,87)),203),(201,202)),(((206,205),(176,175)),((154,153),204))),((113,(186,185)),(114,((260,259),(139,140))))))))),(((((6,((32,31),((2,1),85))),(((275,276),75),(76,(8,7)))),(((86,(72,71)),((47,(48,58)),57)),(80,79))),((((16,(14,77)),((28,53),((74,36),(54,73)))),(((69,70),((((56,55),(59,60)),(52,51)),((37,46),(39,40)))),((68,67),(45,38)))),(((33,34),(17,18)),(4,3)))),((((265,266),(152,(192,191))),(151,(((157,158),(133,273)),(197,(134,198))))),(274,(257,258))))),((((((248,247),(269,108)),((107,262),(97,98))),((112,111),(94,183))),((222,(165,166)),((264,263),((((119,(120,146)),(145,118)),117),((((216,215),((150,(115,(109,110))),149)),(100,(99,116))),(245,(228,(246,227)))))))),((((267,((170,(226,169)),225)),268),((((((44,43),127),(123,(254,253))),((((156,(92,91)),128),(105,106)),(155,(240,(124,239))))),(((277,172),(((22,21),187),((243,278),171))),(((89,(((244,((182,181),((174,173),(220,219)))),(233,234)),188)),(242,241)),90))),(221,((((((130,190),(189,129)),270),261),(93,184)),((102,(101,(199,200))),(65,66)))))),((((9,10),5),((49,23),(((24,29),30),50))),((19,20),((((83,25),26),((62,84),61)),(42,41)))))));
(((((((131,(229,230)),143),144),(161,162)),((103,(104,135)),(125,126))),(146,(145,120))),(((((168,(163,164)),(249,250)),167),(((117,118),119),((((115,((109,116),110)),(215,216)),((246,245),228)),(((100,99),(149,150)),227)))),(((((((233,234),241),242),(((188,21),(173,(278,((((172,171),(244,243)),277),(187,22))))),((((181,182),219),174),220))),(((((195,196),256),(137,138)),(((271,272),(217,218)),(141,142))),(95,96))),((((((257,258),((192,(152,151)),191)),(((((158,265),(157,266)),(133,134)),((274,(197,198)),273)),(264,263))),(((269,((190,189),(((183,184),(93,(129,130))),94))),((259,260),((154,203),((204,153),(((176,175),(202,(205,(201,((213,214),(179,180)))))),(((148,147),(210,209)),((211,212),206))))))),(((((97,((98,(107,261)),(108,262))),(112,111)),270),(248,247)),((102,(199,200)),(101,(65,66)))))),(((((((53,73),(74,(((27,28),35),36))),((((15,64),(16,78)),12),(((13,14),11),(77,63)))),(55,56)),(((33,34),(17,18)),(((4,((39,40),(70,69))),3),(37,(59,60))))),(((81,54),82),(((38,(68,45)),(46,67)),(52,51)))),(((((223,232),(231,224)),(122,121)),136),((((235,(132,236)),(193,194)),(237,238)),(160,159))))),(((((169,225),(226,170)),(268,267)),(((221,222),(165,166)),(((186,185),((139,(114,113)),140)),((87,88),(208,207))))),((((((10,5),(9,6)),(((((57,80),79),(58,(47,48))),((2,(85,71)),(72,((31,32),(86,1))))),(49,50))),((((((61,62),(83,84)),25),26),(42,41)),(19,20))),((275,((75,76),(276,(7,8)))),(23,((29,24),30)))),(((127,128),(((155,156),91),(123,(124,240)))),(44,(43,(92,(105,((106,239),(254,253))))))))))),(((252,251),((178,177),255)),(89,90)))));
(((((165,(221,222)),166),((65,66),((199,200),(102,101)))),(((((((81,82),73),(((16,15),78),((63,14),((13,11),(64,(77,12)))))),((((((38,37),68),(45,67)),((60,59),51)),55),(3,4))),(20,41)),(((((((87,88),(207,208)),(204,(153,154))),203),((140,139),(185,186))),(((262,98),(108,107)),(261,97))),((((6,(((10,9),5),(((((276,275),76),7),8),75))),(((26,61),((25,83),(62,84))),(42,19))),(((((71,72),((31,86),((2,85),(32,1)))),30),((50,24),((29,23),49))),((((80,47),58),48),(57,79)))),((((35,(27,28)),54),((53,(74,36)),((33,34),(18,17)))),(52,((70,((39,69),40)),(56,46))))))),((((268,267),(226,((225,169),170))),((211,(((210,209),(202,201)),(214,147))),((113,114),(260,259)))),((((100,99),(150,149)),((246,245),227)),((241,(233,234)),242))))),((((((161,162),((135,103),136)),(((126,125),104),194)),((((95,((196,138),(195,((177,178),96)))),((137,(256,272)),(255,((251,252),((271,(218,217)),(141,142)))))),(((156,(253,254)),123),((((127,128),106),((105,((239,240),124)),(155,(91,92)))),(43,44)))),((((258,257),(((157,(265,158)),(197,273)),((133,134),(274,(266,198))))),((93,(269,270)),((248,247),((184,94),((112,111),(((130,(189,129)),190),183)))))),((((173,174),((182,(220,181)),219)),(((((278,244),171),(21,(188,22))),(187,243)),(277,172))),(89,90))))),(((((215,(110,109)),216),(116,115)),228),(((145,146),(120,119)),(118,117)))),(((235,((((236,(229,230)),131),143),(144,132))),(((121,122),(224,(223,(231,232)))),((238,237),((160,159),193)))),(((168,((192,(152,(191,151))),(263,264))),((249,250),((163,164),167))),((179,180),(((213,148),(206,205)),((212,175),176)))))));
(((((((20,(42,19)),((84,(83,41)),(62,(26,25)))),61),(6,5)),((((4,70),((((34,33),17),18),(15,((((11,14),(63,(16,(77,78)))),(12,64)),13)))),(69,(39,40))),((((32,((1,2),86)),((72,71),(85,31))),((275,(276,(7,76))),(75,8))),(30,(((57,(58,(79,((80,48),47)))),((24,23),((29,49),50))),(9,10)))))),((163,164),(((((259,(139,140)),260),(185,((113,114),186))),(87,(88,208))),((270,269),((107,261),(108,(98,97))))))),(((((222,221),165),((((119,120),(145,146)),((168,167),(250,249))),(((((245,228),227),246),(((215,216),(99,109)),((((116,115),110),(150,149)),100))),(117,118)))),(((((166,((((226,170),(225,169)),267),268)),(((65,66),(101,(199,200))),102)),(((89,90),((233,(241,234)),242)),((((243,244),((187,22),((172,171),277))),(((278,21),(173,188)),174)),(181,((182,219),220))))),((111,((((((176,175),(212,211)),(206,205)),(((((148,209),(213,210)),147),201),202)),(153,((203,204),154))),(214,(179,180)))),((((((189,130),190),(262,(248,247))),((93,(129,94)),(184,183))),112),207))),(((((44,43),((127,128),((239,254),(((123,240),124),253)))),((((((235,230),229),((104,(135,136)),126)),(193,194)),(160,((238,237),(((159,((122,(232,223)),(224,231))),((131,143),((132,236),144))),121)))),(125,((162,161),103)))),(((((38,37),(68,46)),(45,67)),52),((((35,73),(((28,74),(53,(36,27))),(82,81))),54),(3,(((51,56),59),(55,60)))))),(((((266,158),(((198,197),134),((274,157),133))),(273,265)),((257,((191,152),(151,192))),258)),(263,264))))),(((((95,178),(196,(255,(271,218)))),((138,(((217,252),(142,141)),272)),96)),(177,(256,((195,137),251)))),((156,(155,(92,91))),(105,106)))));
((((145,((146,(119,120)),(118,117))),(((65,66),((233,234),241)),((((75,276),((80,79),(57,47))),((((19,(((84,26),61),83)),20),((25,62),(42,41))),((76,275),(7,8)))),(((40,39),((((12,14),(15,64)),(18,17)),((((78,11),(16,77)),(63,13)),((((82,81),(33,34)),(53,(((35,((28,74),27)),54),(36,73)))),(3,4))))),((52,((59,56),(60,55))),(((((46,67),45),51),(68,(37,38))),(69,70))))))),((((141,142),217),((((196,138),(137,195)),218),((95,177),(96,178)))),(101,((200,199),102)))),(((((125,126),(161,162)),((104,(103,136)),135)),(((((91,(155,156)),92),(44,43)),((((124,240),123),128),127)),((105,106),((253,254),239)))),((((((182,(174,219)),(((173,181),220),(243,(21,22)))),(89,90)),((((244,277),(187,188)),(278,(172,171))),242)),(((163,((249,250),((168,167),164))),((((231,223),232),((194,193),(121,((160,159),(224,122))))),((((235,143),(144,(236,229))),((131,132),230)),(237,238)))),((((((29,(24,23)),((49,30),50)),((9,6),(5,10))),((((72,71),(86,((1,32),31))),(2,85)),(48,58))),(264,(263,((((((133,134),((198,(265,157)),266)),(257,258)),(152,191)),((273,(197,274)),(151,192))),158)))),((268,(((226,225),(170,169)),267)),(((259,185),(213,201)),((((((((154,153),203),((209,(204,((211,(176,175)),(((179,180),(147,148)),202)))),((88,87),(207,208)))),((205,206),(212,(210,214)))),(186,(((140,139),(114,113)),260))),((221,222),(165,166))),((((149,((115,110),(99,100))),(216,215)),(150,(109,116))),(245,(227,(246,228))))),(((((130,129),93),(112,111)),((((248,247),((262,108),((98,(107,261)),97))),(269,270)),(94,(183,184)))),(189,190)))))))),((256,((252,251),255)),(271,272)))));
(((((167,(168,(164,163))),(((264,263),257),(191,258))),(((((((45,(38,67)),((51,56),(59,60))),(((((11,12),((78,77),(64,63))),(14,13)),((55,((37,68),46)),52)),((((81,82),(34,18)),(36,27)),(70,(69,(39,40)))))),((((((53,54),(73,(28,35))),74),(16,15)),(17,33)),(3,4))),117),(((((((122,121),((231,232),(223,224))),(159,160)),(193,194)),(((131,235),((229,132),(230,236))),(143,144))),(((126,162),125),((103,(136,135)),161))),((237,238),104))),(((((275,276),(76,7)),(((79,(80,(47,57))),58),48)),((((((174,173),219),220),(181,182)),(((233,241),242),234)),277)),((((256,255),(95,(272,((218,217),(142,(252,251)))))),((141,(96,(178,177))),((137,138),(271,(195,196))))),((((250,((150,((149,(((115,110),109),(100,99))),116)),(216,215))),249),((((225,226),170),169),(268,267))),(246,(227,(245,228)))))))),(((((((212,211),(206,205)),((166,165),(222,221))),((((((201,202),(214,213)),(176,175)),(((210,209),(147,148)),(180,179))),(((200,(101,102)),199),(65,66))),(((((114,113),((186,185),139)),((260,140),259)),((((269,270),(108,(248,247))),((189,((184,183),(93,((190,130),129)))),(111,112))),((261,(107,262)),(97,98)))),((((203,(153,154)),204),((207,208),(88,87))),94)))),((91,(124,(((105,106),123),(240,((156,155),92))))),((((254,239),253),(127,128)),(43,44)))),((31,1),((71,(32,(85,2))),(86,72)))),(((((8,75),((26,(19,20)),84)),((((42,41),62),((25,61),83)),(6,5))),(9,10)),(24,((30,23),(29,(49,50))))))),(((((192,(152,151)),((197,134),(266,(((274,198),133),(265,158))))),(273,157)),((118,(145,(120,119))),146)),(((((187,(188,21)),244),((278,171),22)),(172,243)),(90,89))));
(((((221,222),(166,165)),(((7,(75,8)),275),(76,276))),((((((((277,171),((244,278),(188,21))),(172,(243,(187,22)))),(234,233)),((242,241),(((182,(219,220)),((174,173),181)),(89,90)))),((((((270,269),(247,248)),((((97,(261,262)),98),(183,(111,112))),(108,107))),((((203,204),153),154),((201,202),(206,205)))),((((((211,212),175),((180,(213,214)),176)),((185,(260,259)),((186,113),114))),(((207,(208,(87,88))),(((209,210),(148,147)),179)),(140,139))),(((((151,152),192),191),((133,((157,(266,158)),((((274,134),(197,273)),198),265))),(258,257))),(264,263)))),(((267,268),((170,226),(169,225))),(((101,102),((66,65),(200,199))),((((130,129),189),190),(184,(94,93))))))),((143,(238,237)),144)),((250,249),(((118,((120,119),((146,145),117))),((245,227),((((216,215),(149,(150,(100,(109,116))))),99),((228,246),(110,115))))),(((((159,160),((232,(223,((224,231),(121,122)))),((229,236),((131,132),(235,230))))),((125,126),162)),((161,((103,104),135)),136)),(194,193)))))),((((43,44),(((254,253),240),(((239,124),123),((((91,92),(155,156)),((105,106),128)),127)))),((((178,177),(272,(195,138))),(255,((196,256),((((252,141),142),(217,218)),(271,251))))),(137,(95,96)))),((((((((11,12),((16,64),((78,((14,13),15)),(77,63)))),((54,(53,35)),((74,(36,27)),(28,73)))),((17,(33,34)),18)),(((55,56),(52,51)),(((60,59),(((38,(67,68)),45),46)),3))),(((5,6),((((20,(83,(42,41))),(62,84)),19),(9,10))),((((85,(31,(72,71))),((2,1),(32,86))),((26,61),25)),((23,29),(((30,50),24),49))))),((((48,47),(80,58)),(57,79)),((4,((70,69),(40,39))),(37,(82,81))))),((163,164),(167,168)))));
((((((106,254),(43,44)),(((156,155),239),(((127,128),(253,(124,123))),(240,(105,(92,91)))))),(((250,249),((167,168),(164,163))),(90,89))),(((24,30),71),((76,7),276))),((((((((173,(171,((((188,187),244),(22,(278,243))),(277,172)))),(21,((219,220),(174,(182,181))))),(((233,234),242),241)),(((((97,(108,107)),248),(112,111)),(65,66)),(102,(101,(200,199))))),((((((198,(134,273)),(258,257)),(((157,133),((274,197),(266,(265,158)))),(151,191))),(152,192)),(264,263)),((((228,246),245),227),(((99,(149,150)),(215,216)),((115,((116,109),110)),100))))),(((70,((3,52),(81,(55,60)))),(((53,73),82),(45,(((38,67),68),37)))),((12,(33,34)),(((46,51),((4,40),(69,39))),((56,59),((18,17),(((77,((63,64),16)),78),((15,(14,(11,13))),((28,(54,35)),(74,(36,27))))))))))),((((146,(145,(119,120))),(118,117)),((((((269,270),98),(((129,190),(94,93)),(((183,(189,130)),184),((262,261),247)))),(268,(((169,(225,226)),170),267))),(((((((176,(180,179)),((202,((((214,213),(210,209)),148),147)),((212,211),175))),207),((205,206),201)),((87,88),208)),(204,((154,153),203))),(((114,((185,186),140)),113),(260,(139,259))))),((((161,162),(122,143)),((((((132,(((235,230),131),(229,236))),144),((194,193),(((159,160),(121,223)),(232,224)))),(238,237)),231),((((136,135),(126,125)),104),103))),((((272,(((255,256),96),141)),((177,178),138)),(95,(217,218))),(142,((137,196),(195,((251,252),271)))))))),(((8,(((57,(79,48)),((80,58),47)),(9,10))),((275,75),(((((41,(25,61)),(83,(26,62))),(42,84)),(20,19)),(((23,49),50),(((2,(1,32)),31),((86,72),85)))))),(29,(6,5))))),((165,166),(221,222))));
#x treedecomp [3313,[[1941,1942,2020],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1082,1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1111,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,1131,1132,1133,1134,1135,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,1206,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1217,1218,1219,1220,1221,1222,1223,1224,1225,1226,1227,1228,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1260,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1274,1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1297,1298,1299,1300,1301,1302,1303,1304,1305,1306,1307,1308,1309,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1343,1344,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354,1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370,1371,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1388,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1405,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466,1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1506,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1637,1638,1639,1640,1641,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1665,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1688,1689,1690,1691,1692,1693,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719,1720,1721,1722,1723,1724,1725,1726,1727,1728,1729,1730,1731,1732,1733,1734,1735,1736,1737,1738,1739,1740,1741,1742,1743,1744,1745,1746,1747,1748,1749,1750,1751,1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812,1813,1814,1815,1816,1817,1818,1819,1820,1821,1822,1823,1824,1825,1826,1827,1828,1829,1830,1831,1832,1833,1834,1835,1836,1837,1838,1839,1840,1841,1842,1843,1844,1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1883,1884,1885,1886,1887,1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1918,1919,1920,1921,1922,1923,1924,1925,1926,1927,1928,1929,1930,1931,1932,1933,1934,1935,1936,1937,1938,1939,1940,1942,1943,1944,1945,1946,1947,1948,1949,1950,1951,1952,1953,1954,1955,1956,1957,1958,1959,1960,1961,1962,1963,1964,1965,1966,1967,1968,1969,1970,1971,1972,1973,1974,1975,1976,1977,1978,1979,1980,1981,1982,1983,1984,1985,1986,1987,1988,1989,1990,1991,1992,1993,1994,1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012,2013,2014,2015,2016,2017,2018,2019,2020,2021,2022,2023,2024,2025,2026,2027,2028,2029,2030,2031,2032,2033,2034,2035,2036,2037,2038,2039,2040,2041,2042,2043,2044,2045,2046,2047,2048,2049,2050,2051,2052,2053,2054,2055,2056,2057,2058,2059,2060,2061,2062,2063,2064,2065,2066,2067,2068,2069,2070,2071,2072,2073,2074,2075,2076,2077,2078,2079,2080,2081,2082,2083,2084,2085,2086,2087,2088,2089,2090,2091,2092,2093,2094,2095,2096,2097,2098,2099,2100,2101,2102,2103,2104,2105,2106,2107,2108,2109,2110,2111,2112,2113,2114,2115,2116,2117,2118,2119,2120,2121,2122,2123,2124,2125,2126,2127,2128,2129,2130,2131,2132,2133,2134,2135,2136,2137,2138,2139,2140,2141,2142,2143,2144,2145,2146,2147,2148,2149,2150,2151,2152,2153,2154,2155,2156,2157,2158,2159,2160,2161,2162,2163,2164,2165,2166,2167,2168,2169,2170,2171,2172,2173,2174,2175,2176,2177,2178,2179,2180,2181,2182,2183,2184,2185,2186,2187,2188,2189,2190,2191,2192,2193,2194,2195,2196,2197,2198,2199,2200,2201,2202,2203,2204,2205,2206,2207,2208,2209,2210,2211,2212,2213,2214,2215,2216,2217,2219,2220,2221,2222,2223,2224,2225,2226,2227,2228,2229,2230,2231,2232,2233,2234,2235,2236,2237,2238,2239,2240,2241,2242,2243,2244,2245,2246,2247,2248,2249,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,2263,2264,2265,2266,2267,2268,2269,2270,2271,2272,2273,2274,2275,2276,2277,2278,2279,2280,2281,2282,2283,2284,2285,2286,2287,2288,2289,2290,2291,2292,2293,2294,2295,2296,2297,2298,2299,2300,2301,2302,2303,2304,2305,2306,2307,2308,2309,2310,2311,2312,2313,2314,2315,2316,2317,2318,2319,2320,2321,2322,2323,2324,2325,2326,2327,2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343,2344,2345,2346,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,2361,2362,2363,2364,2365,2366,2367,2368,2369,2370,2371,2372,2373,2374,2375,2376,2377,2378,2379,2380,2381,2382,2383,2384,2385,2386,2387,2388,2389,2390,2391,2392,2393,2394,2395,2396,2397,2398,2399,2400,2401,2402,2403,2404,2405,2406,2407,2408,2409,2410,2411,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421,2422,2423,2424,2425,2426,2427,2428,2429,2430,2431,2432,2433,2434,2435,2436,2437,2438,2439,2440,2441,2442,2443,2444,2445,2446,2447,2448,2449,2450,2451,2452,2453,2454,2455,2456,2457,2458,2459,2460,2461,2462,2463,2464,2465,2466,2467,2468,2469,2470,2471,2472,2473,2474,2475,2476,2477,2478,2479,2480,2481,2482,2483,2484,2485,2486,2487,2488,2489,2490,2491,2492,2493,2494,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2508,2509,2510,2511,2512,2513,2514,2515,2516,2517,2518,2519,2520,2521,2522,2523,2524,2525,2526,2527,2528,2529,2530,2531,2532,2533,2534,2535,2536,2537,2538,2539,2540,2541,2542,2543,2544,2545,2546,2547,2548,2549,2550,2551,2552,2553,2554,2555,2556,2557,2558,2559,2560,2561,2562,2563,2564,2565,2566,2567,2568,2569,2570,2571,2572,2573,2574,2575,2576,2577,2578,2579,2580,2581,2582,2583,2584,2585,2586,2587,2588,2589,2590,2591,2592,2593,2594,2595,2596,2597,2598,2599,2600,2601,2602,2603,2604,2605,2606,2607,2608,2609,2610,2611,2612,2613,2614,2615,2616,2617,2618,2619,2620,2621,2622,2623,2624,2625,2626,2627,2628,2629,2630,2631,2632,2633,2634,2635,2636,2637,2638,2639,2640,2641,2642,2643,2644,2645,2646,2647,2648,2649,2650,2651,2652,2653,2654,2655,2656,2657,2658,2659,2660,2661,2662,2663,2664,2665,2666,2667,2668,2669,2670,2671,2672,2673,2674,2675,2676,2677,2678,2679,2680,2681,2682,2683,2684,2685,2686,2687,2688,2689,2690,2691,2692,2693,2694,2695,2696,2697,2698,2699,2700,2701,2702,2703,2704,2705,2706,2707,2708,2709,2710,2711,2712,2713,2714,2715,2716,2717,2718,2719,2720,2721,2722,2723,2724,2725,2726,2727,2728,2729,2730,2731,2732,2733,2734,2735,2736,2737,2738,2739,2740,2741,2742,2743,2744,2745,2746,2747,2748,2749,2750,2751,2752,2753,2754,2755,2756,2757,2758,2759,2760,2761,2762,2763,2764,2765,2766,2767,2768,2769,2770,2771,2773,2774,2775,2776,2777,2778,2779,2780,2781,2782,2783,2784,2785,2786,2787,2788,2789,2790,2791,2792,2793,2794,2795,2796,2797,2798,2799,2800,2801,2802,2803,2804,2805,2806,2807,2808,2809,2810,2811,2812,2813,2814,2815,2816,2817,2818,2819,2820,2821,2822,2823,2824,2825,2826,2827,2828,2829,2830,2831,2832,2833,2834,2835,2836,2837,2838,2839,2840,2841,2842,2843,2844,2845,2846,2847,2848,2849,2850,2851,2852,2853,2854,2855,2856,2857,2858,2859,2860,2861,2862,2863,2864,2865,2866,2867,2868,2869,2870,2871,2872,2873,2874,2875,2876,2877,2878,2879,2880,2881,2882,2883,2884,2885,2886,2887,2888,2889,2890,2891,2892,2893,2894,2895,2896,2897,2898,2899,2900,2901,2902,2903,2904,2905,2906,2907,2908,2909,2910,2911,2912,2913,2914,2915,2916,2917,2918,2919,2920,2921,2922,2923,2924,2925,2926,2927,2928,2929,2930,2931,2932,2933,2934,2935,2936,2937,2938,2939,2940,2941,2942,2943,2944,2945,2946,2947,2948,2949,2950,2951,2952,2953,2954,2955,2956,2957,2958,2959,2960,2961,2962,2963,2964,2965,2966,2967,2968,2969,2970,2971,2972,2973,2974,2975,2976,2977,2978,2979,2980,2981,2982,2983,2984,2985,2986,2987,2988,2989,2990,2991,2992,2993,2994,2995,2996,2997,2998,2999,3000,3001,3002,3003,3004,3005,3006,3007,3008,3009,3010,3011,3012,3013,3014,3015,3016,3017,3018,3019,3020,3021,3022,3023,3024,3025,3026,3027,3028,3029,3030,3031,3032,3033,3034,3035,3036,3037,3038,3039,3040,3041,3042,3043,3044,3045,3046,3047,3048,3050,3051,3052,3053,3054,3055,3056,3057,3058,3059,3060,3061,3062,3063,3064,3065,3066,3067,3068,3069,3070,3071,3072,3073,3074,3075,3076,3077,3078,3079,3080,3081,3082,3083,3084,3085,3086,3087,3088,3089,3090,3091,3092,3093,3094,3095,3096,3097,3098,3099,3100,3101,3102,3103,3104,3105,3106,3107,3108,3109,3110,3111,3112,3113,3114,3115,3116,3117,3118,3119,3120,3121,3122,3123,3124,3125,3126,3127,3128,3129,3130,3131,3132,3133,3134,3135,3136,3137,3138,3139,3140,3141,3142,3143,3144,3145,3146,3147,3148,3149,3150,3151,3152,3153,3154,3155,3156,3157,3158,3159,3160,3161,3162,3163,3164,3165,3166,3167,3168,3169,3170,3171,3172,3173,3174,3175,3176,3177,3178,3179,3180,3181,3182,3183,3184,3185,3186,3187,3188,3189,3190,3191,3192,3193,3194,3195,3196,3197,3198,3199,3200,3201,3202,3203,3204,3205,3206,3207,3208,3209,3210,3211,3212,3213,3214,3215,3216,3217,3218,3219,3220,3221,3222,3223,3224,3225,3226,3227,3228,3229,3230,3231,3232,3233,3234,3235,3236,3237,3238,3239,3240,3241,3242,3243,3244,3245,3246,3247,3248,3249,3250,3251,3252,3253,3254,3255,3256,3257,3258,3259,3260,3261,3262,3263,3264,3265,3266,3267,3268,3269,3270,3271,3272,3273,3274,3275,3276,3277,3278,3279,3280,3281,3282,3283,3284,3285,3286,3287,3288,3289,3290,3291,3292,3293,3294,3295,3296,3297,3298,3299,3300,3301,3302,3303,3304,3305,3306,3307,3308,3309,3310,3311,3312,3313,3314,3315,3316,3317,3318,3319,3320,3321,3322,3323,3324,3325],[279,280,493],[556,557,664],[833,834,999],[1110,1111,1273],[1387,1388,1402],[1664,1665,1802],[2218,2219,2307],[2495,2496,2744],[2772,2773,2936],[3049,3050,3079]],[[1,2],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[2,12]]]