#s idigest "05ff2b52cceae857b2e3f88c8effae06"
#a 1.39 115
#p 2 350
#s name "p26-lower-pub048"
(((((((285,288),350),(17,(33,126))),((((343,174),298),((273,(252,258)),((((295,48),115),(42,44)),(66,62)))),(278,(261,269)))),(((((((((((190,24),30),(21,110)),(107,((61,187),65))),((151,5),(64,227))),108),72),(208,(131,140))),259),(((100,94),((56,43),301)),((((139,234),90),(219,(203,216))),((312,((283,(55,((((74,160),80),346),(123,((((36,32),37),31),40))))),(52,(((((105,103),((188,189),99)),111),(162,180)),((4,153),75))))),((((49,(317,(((68,184),(230,222)),((22,93),((106,(73,157)),228))))),(((328,329),((193,305),(201,133))),(51,213))),((205,337),209)),(((211,220),((248,(242,244)),((83,303),137))),(((87,82),135),(171,((266,(264,267)),280))))))))),((((290,282),((246,(((307,309),(214,206)),((85,(306,308)),14))),(((((249,245),272),(251,275)),(113,((221,95),(186,182)))),((58,18),(((345,179),(300,297)),((294,291),((9,3),76))))))),(((((((349,176),178),(225,(7,102))),(((226,(167,(154,156))),177),(121,124))),((198,321),(263,(265,270)))),(202,(((((342,348),172),((((98,109),229),(23,104)),(((71,1),79),165))),210),(158,347)))),((134,(((2,(29,(67,(28,70)))),(277,260)),(54,53))),(20,16)))),((((96,(116,114)),(161,(8,((164,168),((10,169),170))))),((((146,143),(147,150)),(310,(144,12))),(155,(152,159)))),((((((34,196),262),(243,254)),(((15,(11,19)),(239,235)),340)),((268,(293,296)),(247,241))),(((233,(136,236)),237),(232,333))))))),((142,148),((((((344,341),((175,173),117)),(338,313)),(97,((((((185,101),26),(224,223)),(183,(25,69))),77),45))),((46,(330,(286,59))),((6,(89,(302,((130,(192,(322,127))),(199,(129,200)))))),(27,(181,(91,92)))))),(((331,279),191),(((141,149),39),(((311,316),318),(50,((324,326),145)))))))),(((((((217,215),(281,255)),(86,81)),(57,60)),(218,(((119,118),112),((120,(292,299)),(41,47))))),(((334,336),(315,(314,287))),(38,(122,35)))),(((276,((84,(212,204)),240)),250),((((323,((194,197),207)),(((335,339),(284,320)),(332,289))),(128,((132,138),88))),(((195,(((125,325),327),304)),(((63,(166,78)),(257,253)),((163,319),(13,((271,274),(238,231)))))),256)))));
((((((((44,((245,249),(273,(279,278)))),(((248,((201,(215,210)),(209,211))),(260,255)),((((197,199),327),(18,146)),((247,243),(100,((62,68),(5,6))))))),(((84,(239,236)),(70,(226,(99,93)))),(192,133))),283),((52,((130,((234,233),131)),(83,(244,(112,(73,(105,(188,27)))))))),(111,117))),(189,(171,175))),((263,(((332,(335,333)),334),((37,33),141))),((((246,((158,(71,8)),((94,224),(25,(182,(156,(78,(170,(153,2))))))))),(340,311)),(((242,212),(150,(148,20))),((231,(163,77)),208))),(((270,(349,(172,177))),(241,((((142,81),344),(126,328)),((((296,295),297),345),(217,214))))),((64,69),((346,(115,113)),(((219,206),149),(49,50)))))))),(((((((((110,102),(21,(1,155))),176),(((258,257),269),((207,216),((109,72),((76,161),((79,80),(183,(3,92)))))))),(56,(277,((96,(65,28)),(107,(((63,26),(98,190)),(22,67))))))),(((((((306,308),((280,272),256)),((281,314),(35,(180,264)))),301),((310,(108,(164,((24,((181,184),29)),(186,30))))),(336,289))),((((337,331),285),(318,(282,315))),(203,179))),(169,222))),((293,((((202,(218,220)),178),((204,261),87)),(338,(350,341)))),((267,(((61,185),(227,(91,104))),((((230,225),97),159),((167,(152,(165,160))),4)))),(((326,(123,124)),198),(((32,34),125),(191,325)))))),((((221,307),((((132,(((329,127),(129,321)),200)),(128,((12,17),(144,(11,143))))),(((322,323),(39,40)),193)),((291,((235,240),59)),(((((66,(229,228)),23),268),(284,319)),(276,(347,((313,286),9))))))),((((304,309),122),((58,60),((138,145),135))),(298,(237,(343,120))))),(((287,(((((300,43),((299,42),48)),(((((168,166),7),154),157),(348,45))),290),(13,147))),41),(((((134,(137,136)),(((232,238),88),140)),((262,265),((259,((89,85),(19,16))),((15,(139,14)),(86,305))))),((53,36),(119,((116,114),(118,292))))),((121,(205,57)),(((162,(187,101)),((151,(10,(75,74))),103)),((((194,324),((196,195),38)),((106,95),174)),(54,55)))))))),((((223,(47,46)),(330,31)),((((339,(320,317)),316),51),(((294,342),250),(312,288)))),(((173,((266,(254,(271,253))),(274,(251,252)))),275),((90,(82,(302,303))),213)))));
#x treedecomp [689,[[480,481,852],[480,851,852],[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,482,483,484,485,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,552,553,554,555,556,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,701,702,703,704,705,706,707,708,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,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,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,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],[1,534,821],[2,540,776],[3,501,834],[4,430,899],[5,391,730],[6,614,730],[7,510,971],[8,553,768],[9,501,945],[10,557,1010],[11,577,927],[12,564,925],[13,696,974],[14,479,993],[15,576,992],[16,546,990],[17,358,925],[18,493,724],[19,577,990],[20,546,782],[21,386,820],[22,441,845],[23,531,939],[24,385,864],[25,608,771],[26,604,843],[27,623,750],[28,543,839],[29,541,865],[30,384,867],[31,417,1026],[32,419,909],[33,359,761],[34,572,909],[35,662,857],[36,419,996],[37,418,761],[38,661,1016],[39,630,931],[40,416,931],[41,655,959],[42,371,967],[43,399,965],[44,371,707],[45,600,973],[46,610,1025],[47,655,1025],[48,370,966],[49,434,810],[50,635,810],[51,451,1028],[52,420,740],[53,545,996],[54,545,1020],[55,410,1020],[56,399,835],[57,647,1003],[58,493,952],[59,612,934],[60,647,952],[61,389,892],[62,372,729],[63,691,843],[64,392,803],[65,388,839],[66,372,940],[67,542,845],[68,438,729],[69,608,803],[70,543,735],[71,534,768],[72,379,828],[73,444,748],[74,414,1011],[75,429,1011],[76,500,830],[77,601,785],[78,692,774],[79,533,832],[80,413,832],[81,646,795],[82,464,1047],[83,461,745],[84,667,733],[85,480,989],[86,646,994],[87,464,884],[88,681,982],[89,615,989],[90,402,1046],[91,625,894],[92,625,834],[93,441,737],[94,397,770],[95,490,1019],[96,550,838],[97,599,897],[98,530,844],[99,426,737],[100,397,727],[101,605,1007],[102,510,819],[103,425,1008],[104,531,894],[105,425,749],[106,443,1019],[107,387,840],[108,380,861],[109,530,828],[110,386,819],[111,423,751],[112,650,747],[113,488,806],[115,369,806],[117,596,751],[118,651,1000],[119,651,997],[120,653,957],[121,516,1002],[122,662,949],[123,415,906],[124,516,906],[125,688,908],[126,359,796],[127,620,921],[128,680,923],[129,622,922],[130,618,742],[131,394,743],[132,682,918],[133,450,738],[134,537,979],[135,463,953],[136,586,980],[137,460,980],[138,682,954],[139,403,993],[140,394,981],[141,631,760],[142,589,795],[143,561,927],[144,564,926],[145,636,954],[146,561,724],[147,562,974],[148,589,782],[149,631,808],[150,562,781],[151,391,1009],[152,566,901],[153,430,776],[154,515,970],[155,565,821],[156,515,773],[157,444,969],[158,535,767],[159,566,896],[160,414,902],[161,552,830],[162,428,1006],[163,695,785],[164,555,862],[165,532,902],[166,692,972],[167,514,900],[168,555,972],[169,557,876],[170,556,775],[171,465,753],[172,525,790],[173,597,1038],[174,363,1018],[175,597,753],[176,508,817],[177,512,790],[178,507,881],[179,496,875],[180,428,858],[181,624,866],[182,491,772],[183,607,833],[184,438,866],[185,605,892],[186,491,867],[187,389,1007],[188,427,750],[189,427,752],[190,385,844],[191,627,910],[192,619,738],[193,449,928],[194,674,1015],[195,685,1017],[196,572,1017],[197,674,723],[198,518,904],[199,621,723],[200,622,919],[201,450,716],[202,521,882],[203,405,875],[204,668,885],[205,453,1003],[206,478,809],[207,673,826],[208,393,783],[209,452,718],[210,523,717],[211,456,718],[212,668,780],[213,451,1045],[214,478,801],[215,644,717],[216,405,826],[217,644,801],[218,648,883],[219,404,809],[220,456,883],[221,490,914],[222,439,876],[223,606,1024],[224,606,770],[225,509,898],[226,513,736],[227,392,893],[228,442,941],[229,529,941],[230,439,898],[231,699,784],[232,587,983],[233,585,744],[234,403,744],[235,578,935],[236,586,734],[237,584,956],[238,699,983],[239,578,734],[240,666,935],[241,582,791],[242,459,780],[243,573,726],[244,459,746],[246,474,765],[247,582,726],[248,458,714],[250,664,1033],[251,487,1044],[252,366,1044],[253,693,1042],[254,573,1041],[255,645,719],[256,683,853],[257,693,824],[258,366,824],[259,377,987],[260,544,719],[261,374,885],[262,571,985],[263,519,755],[264,468,858],[265,520,985],[266,467,1040],[267,468,889],[268,580,938],[269,374,823],[270,520,788],[271,698,1042],[272,485,854],[273,365,710],[274,698,1043],[275,487,1037],[276,665,943],[277,544,836],[278,373,711],[279,628,711],[280,466,854],[281,645,856],[282,472,874],[283,409,704],[284,678,942],[285,357,871],[286,612,946],[287,660,960],[288,357,1035],[289,679,868],[290,472,962],[291,499,933],[292,654,1000],[293,581,878],[294,499,1034],[295,370,800],[296,581,800],[297,497,799],[298,362,955],[299,654,967],[300,497,965],[301,398,849],[302,616,1048],[303,461,1048],[304,686,950],[305,449,994],[307,477,914],[309,477,950],[310,563,860],[311,634,777],[312,407,1035],[313,598,946],[314,660,856],[315,659,874],[316,634,1029],[317,435,1031],[318,633,873],[319,695,942],[320,678,1031],[321,518,922],[322,620,930],[323,672,930],[324,637,1015],[325,688,910],[326,637,905],[327,687,722],[328,447,796],[329,447,921],[330,611,1026],[331,628,872],[332,679,758],[333,587,759],[334,658,757],[335,677,759],[336,658,868],[337,453,872],[338,598,886],[339,677,1030],[340,574,777],[341,595,887],[342,526,1034],[343,363,957],[344,595,794],[345,496,798],[346,412,805],[347,535,944],[348,526,973],[349,508,789],[350,356,887],[351,352,638],[700,701,811],[485,708,709],[485,486,709],[245,486,709],[249,486,709],[550,998,999],[550,551,999],[114,551,999],[116,551,999],[306,481,852],[308,481,852]],[[1,2],[1,358],[2,3],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[3,12],[3,13],[3,14],[3,15],[3,16],[3,17],[3,18],[3,19],[3,20],[3,21],[3,22],[3,23],[3,24],[3,25],[3,26],[3,27],[3,28],[3,29],[3,30],[3,31],[3,32],[3,33],[3,34],[3,35],[3,36],[3,37],[3,38],[3,39],[3,40],[3,41],[3,42],[3,43],[3,44],[3,45],[3,46],[3,47],[3,48],[3,49],[3,50],[3,51],[3,52],[3,53],[3,54],[3,55],[3,56],[3,57],[3,58],[3,59],[3,60],[3,61],[3,62],[3,63],[3,64],[3,65],[3,66],[3,67],[3,68],[3,69],[3,70],[3,71],[3,72],[3,73],[3,74],[3,75],[3,76],[3,77],[3,78],[3,79],[3,80],[3,81],[3,82],[3,83],[3,84],[3,85],[3,86],[3,87],[3,88],[3,89],[3,90],[3,91],[3,92],[3,93],[3,94],[3,95],[3,96],[3,97],[3,98],[3,99],[3,100],[3,101],[3,102],[3,103],[3,104],[3,105],[3,106],[3,107],[3,108],[3,109],[3,110],[3,111],[3,112],[3,113],[3,114],[3,115],[3,116],[3,117],[3,118],[3,119],[3,120],[3,121],[3,122],[3,123],[3,124],[3,125],[3,126],[3,127],[3,128],[3,129],[3,130],[3,131],[3,132],[3,133],[3,134],[3,135],[3,136],[3,137],[3,138],[3,139],[3,140],[3,141],[3,142],[3,143],[3,144],[3,145],[3,146],[3,147],[3,148],[3,149],[3,150],[3,151],[3,152],[3,153],[3,154],[3,155],[3,156],[3,157],[3,158],[3,159],[3,160],[3,161],[3,162],[3,163],[3,164],[3,165],[3,166],[3,167],[3,168],[3,169],[3,170],[3,171],[3,172],[3,173],[3,174],[3,175],[3,176],[3,177],[3,178],[3,179],[3,180],[3,181],[3,182],[3,183],[3,184],[3,185],[3,186],[3,187],[3,188],[3,189],[3,190],[3,191],[3,192],[3,193],[3,194],[3,195],[3,196],[3,197],[3,198],[3,199],[3,200],[3,201],[3,202],[3,203],[3,204],[3,205],[3,206],[3,207],[3,208],[3,209],[3,210],[3,211],[3,212],[3,213],[3,214],[3,215],[3,216],[3,217],[3,218],[3,219],[3,220],[3,221],[3,222],[3,223],[3,224],[3,225],[3,226],[3,227],[3,228],[3,229],[3,230],[3,231],[3,232],[3,233],[3,234],[3,235],[3,236],[3,237],[3,238],[3,239],[3,240],[3,241],[3,242],[3,243],[3,244],[3,245],[3,246],[3,247],[3,248],[3,249],[3,250],[3,251],[3,252],[3,253],[3,254],[3,255],[3,256],[3,257],[3,258],[3,259],[3,260],[3,261],[3,262],[3,263],[3,264],[3,265],[3,266],[3,267],[3,268],[3,269],[3,270],[3,271],[3,272],[3,273],[3,274],[3,275],[3,276],[3,277],[3,278],[3,279],[3,280],[3,281],[3,282],[3,283],[3,284],[3,285],[3,286],[3,287],[3,288],[3,289],[3,290],[3,291],[3,292],[3,293],[3,294],[3,295],[3,296],[3,297],[3,298],[3,299],[3,300],[3,301],[3,302],[3,303],[3,304],[3,305],[3,306],[3,307],[3,308],[3,309],[3,310],[3,311],[3,312],[3,313],[3,314],[3,315],[3,316],[3,317],[3,318],[3,319],[3,320],[3,321],[3,322],[3,323],[3,324],[3,325],[3,326],[3,327],[3,328],[3,329],[3,330],[3,331],[3,332],[3,333],[3,334],[3,335],[3,336],[3,337],[3,338],[3,339],[3,340],[3,341],[3,342],[3,343],[3,344],[3,345],[3,346],[3,347],[3,348],[3,349],[3,350],[3,354],[350,351],[351,352],[352,353],[354,355],[355,356],[356,357],[358,359]]]