#s idigest "052ace92b625fa5f21ee28d41260f76d"
#p 2 307
#s name "p26-heuristic-pub039"
(((33,(111,(170,171))),(235,(((3,(264,258)),((38,112),((248,(175,(302,241))),211))),((306,286),((((197,145),56),((47,134),((39,195),28))),(218,291)))))),((((185,((260,178),181)),(((117,(62,271)),37),(40,59))),((223,(((81,(259,182)),(244,(237,245))),(50,(83,216)))),(((274,5),((((161,158),215),(120,(255,8))),97)),44))),(((((((17,(((((293,179),64),((6,205),79)),((142,((19,1),(176,217))),((92,155),21))),265)),(((14,(300,(151,144))),131),((((146,(76,154)),((89,200),85)),199),((90,(((78,243),32),((250,222),(70,80)))),269)))),(((73,254),(163,43)),(268,((((18,(206,114)),75),((169,31),(299,(119,276)))),(279,(129,(22,173))))))),((((125,184),((139,((239,26),(69,236))),((61,251),210))),(((202,220),((105,238),36)),((11,((256,(67,16)),186)),(86,58)))),((((285,281),((180,126),82)),((71,101),(157,(65,187)))),84))),(((((165,66),136),123),(203,(((13,303),(172,94)),((191,164),(198,(122,48)))))),((149,((213,188),(190,298))),((((((137,87),150),(273,((140,(148,15)),228))),(((224,(9,46)),99),102)),53),((106,(((115,(((57,60),(104,(4,132))),201)),133),246)),(((109,229),((247,(284,91)),(135,295))),(88,(95,(23,72))))))))),(((177,(24,275)),282),(98,153))),(((((290,34),((77,(167,124)),305)),(252,263)),(((283,51),45),(266,((((((287,118),(((193,(209,(141,(42,(296,297))))),304),((138,7),(((10,113),((208,110),307)),(25,128))))),(((55,(20,96)),183),((270,166),30))),((35,108),(168,100))),((68,240),((212,127),74))),(((52,116),(((160,93),(27,147)),(41,(159,280)))),233))))),((((174,(262,((232,278),(107,189)))),121),((((((152,225),(162,(2,214))),219),((49,292),((156,(253,(234,227))),221))),192),(((((226,(54,((63,294),((301,(12,(143,267))),230)))),194),(231,277)),(130,29)),((288,(289,103)),(257,261))))),((204,((207,242),249)),(196,272)))))));
((((33,(170,171)),111),(235,((112,((38,3),(211,((241,((248,258),302)),(175,264))))),(((286,306),((195,39),((134,47),28))),(((197,145),56),(291,218)))))),(((((260,((181,185),178)),((117,(271,62)),37)),(59,40)),((44,97),(((((83,216),50),(244,(245,237))),((182,(259,81)),223)),((((120,(255,8)),(161,158)),215),(5,274))))),((((177,275),((24,(153,98)),282)),(((((213,(298,188)),190),203),149),((((((((224,((46,99),9)),(((17,((199,((85,89),90)),((222,(269,((250,70),(78,243)))),((80,32),((154,76),146))))),(((137,87),265),(((200,19),(((293,179),((79,(205,155)),(92,6))),((142,(176,(1,217))),(64,21)))),(((148,(273,140)),(14,((((144,300),151),228),131))),15)))),150)),102),53),((((((57,60),((132,104),4)),(201,133)),(115,246)),106),(109,((229,88),((95,((23,72),284)),((135,(247,91)),295)))))),(((268,43),(129,((276,((75,119),279)),(((31,299),((18,114),((169,173),22))),206)))),(123,((((73,136),254),(165,66)),163)))),((((58,((16,((67,256),(11,186))),86)),105),(((220,202),238),36)),((184,125),(((239,69),(26,(210,(139,236)))),(61,251))))),(((((71,101),((65,187),157)),((82,126),180)),(84,(285,281))),((94,172),(164,(((198,122),((303,48),191)),13))))))),(((((((77,124),167),(290,305)),(263,(252,34))),(((266,233),68),(25,(((270,51),((20,96),183)),((45,((283,(138,((10,307),113))),((208,((7,110),128)),(55,(166,30))))),(118,287)))))),((((116,52),((127,212),(240,74))),((147,(159,160)),(41,(93,(27,280))))),((304,(((209,42),(296,(193,297))),141)),((35,108),(100,168))))),(((192,((221,227),((292,156),((253,49),234)))),(103,289)),(((204,(207,(242,249))),(196,272)),(((288,((257,29),(130,261))),((219,((2,214),162)),(225,152))),(((194,(277,231)),((143,267),(((230,12),301),(63,294)))),((121,(((107,278),((262,174),189)),232)),(54,226))))))))));
#x treedecomp [88,[[571,572,573,574,575,576,914,915,916,917,918],[571,913,914],[121,571,913],[570,571,913],[570,912,913],[569,570,577,578,579,591,592,593,594,595,596,597,604,605,606,608,875,876,877,885,891,892,893,894,895,896,902,903,904,912,919],[569,819,875],[513,569,819],[513,514,819],[513,671,819],[365,513,671],[365,366,671],[366,671,672],[366,672,678],[366,367,678],[367,368,369,370,371,372,373,386,387,388,391,392,393,396,397,398,399,400,401,403,404,405,406,407,409,410,411,423,455,456,457,458,460,469,474,475,476,477,478,480,481,482,483,678,679,680,684,685,686,687,688,689,690,694,695,696,697,698,699,700,701,702,703,704,705,707,708,711,712,714,715,716,729,730,731,732,733,734,735,758,759,760,761,773,774,775,776,777,800],[373,374,375,377,378,379,380,381,382,384,385,715,716,717,718,720,721,722,723,724,725,726,728],[381,382,726,727],[1,382,727],[381,383,726,727],[176,383,726],[217,383,727],[6,378,723],[19,382,716],[21,384,728],[64,375,728],[79,377,721],[92,385,723],[142,380,725],[155,385,722],[205,378,722],[375,718,719],[375,376,719],[179,376,719],[293,376,719],[407,408,776,777],[73,408,777],[254,408,776],[469,470,679,680],[149,470,679],[470,680,681],[470,471,681],[471,473,681,682],[471,473,682,683],[471,472,682,683],[188,472,683],[213,472,682],[298,473,683],[190,473,681],[476,484,689,690],[102,484,689],[484,690,691],[484,485,691],[485,486,691,692,693],[486,487,692,693],[9,487,692],[46,487,693],[99,485,693],[224,486,691],[14,388,733],[15,483,729],[17,371,696],[32,401,708],[43,409,760],[53,475,688],[70,405,705],[80,405,708],[85,396,700],[89,397,700],[90,399,699],[123,457,773],[131,387,734],[136,458,777],[140,482,732],[148,483,731],[150,478,694],[163,409,774],[199,392,698],[200,397,716],[203,460,680],[222,404,702],[228,481,735],[250,404,705],[265,372,712],[268,410,760],[269,398,703],[273,480,732],[411,412,413,414,415,416,417,418,419,420,421,761,762,763,764,765,766,767,768,769,770,771,772],[421,422,771,772],[22,422,771],[173,422,772],[18,414,770],[31,417,768],[75,413,765],[114,415,770],[119,419,765],[129,421,761],[169,417,772],[206,415,766],[276,419,763],[279,420,764],[299,418,768],[401,704,706],[401,402,706],[78,402,706],[243,402,706],[393,707,709],[393,394,709],[146,394,709],[394,709,710],[394,395,710],[76,395,710],[154,395,710],[478,712,713],[478,479,713],[87,479,713],[137,479,713],[388,735,736],[388,389,736],[389,390,736,737],[144,390,737],[151,390,736],[300,389,737],[474,687,738],[474,488,738],[488,738,739],[488,489,739],[106,489,739],[489,739,740],[489,490,740],[490,491,492,740,741,747],[491,492,741,746],[492,493,741,746],[201,493,746],[493,741,742],[493,494,742],[494,742,743],[494,495,743],[57,495,743],[60,495,743],[494,742,744],[494,496,744],[496,497,744,745],[4,497,744],[104,496,745],[132,497,745],[133,491,746],[115,492,747],[246,490,747],[488,738,748],[488,498,499,500,501,502,503,505,748,749,750,751,752,753,755,756,757],[501,504,755,756],[135,504,756],[295,504,755],[505,506,752,753],[95,506,752],[506,753,754],[506,507,754],[23,507,754],[72,507,754],[88,505,750],[91,503,757],[109,500,748],[229,500,750],[247,502,757],[284,503,753],[458,775,778],[458,459,778],[66,459,778],[165,459,778],[423,685,779],[423,424,425,434,779],[434,779,780],[434,435,437,438,780,781,788,789],[36,437,788],[105,438,781],[238,438,789],[434,781,782],[434,439,782],[439,444,782,783],[58,444,782],[86,444,783],[439,783,784],[439,440,441,442,784,785,787],[442,443,784,785,786],[16,443,784],[67,443,786],[256,442,786],[11,440,787],[186,441,787],[435,789,790],[435,436,790],[202,436,790],[220,436,790],[425,779,791],[425,791,792],[425,426,792],[125,426,792],[184,426,792],[425,791,793],[425,427,428,429,430,431,432,793,794,795,796,797,798],[26,430,796],[69,431,795],[139,428,798],[210,432,797],[236,431,798],[239,430,795],[432,793,799],[432,433,799],[61,433,799],[251,433,799],[423,800,801],[423,445,801],[445,446,447,801,802,809],[84,445,809],[446,802,803],[446,451,803],[451,803,804],[451,452,804],[71,452,804],[101,452,804],[451,803,805],[451,453,805],[157,453,805],[453,805,806],[453,454,806],[65,454,806],[187,454,806],[447,802,807],[447,449,807],[449,450,807,808],[82,449,808],[126,450,808],[180,450,807],[447,809,810],[447,448,810],[281,448,810],[285,448,810],[460,800,811],[460,461,811],[461,462,811,813],[461,462,463,465,466,467,468,813,814,815,816,817,818],[13,463,814],[48,468,818],[122,468,816],[164,466,813],[191,466,817],[198,467,816],[303,463,818],[462,811,812],[462,464,812],[94,464,812],[172,464,812],[366,672,673],[366,508,509,510,511,673,674,675,676],[24,511,676],[177,510,674],[275,511,674],[282,509,675],[508,676,677],[508,512,677],[98,512,677],[153,512,677],[365,641,671],[335,365,641],[335,615,641],[309,335,615],[308,309,335],[309,615,616],[309,310,616],[310,311,616,617],[33,310,617],[111,311,616],[311,617,618],[311,312,618],[170,312,618],[171,312,618],[309,615,619],[309,313,619],[235,313,619],[313,619,620],[313,314,620],[314,620,621],[314,315,316,317,318,319,320,321,322,621,622,623,624,625,626,627,628,629],[322,323,626,627],[241,323,626],[302,323,627],[3,316,623],[38,319,623],[112,319,621],[175,322,629],[211,320,624],[248,321,628],[258,317,628],[264,317,629],[314,620,630],[314,324,630],[324,326,327,630,631,637],[324,631,632],[324,325,632],[286,325,632],[306,325,632],[327,631,633],[327,330,633],[330,332,633,635],[28,332,635],[332,633,634],[332,333,634],[39,333,634],[195,333,634],[330,635,636],[330,331,636],[47,331,636],[134,331,636],[327,637,638],[327,328,638],[56,328,638],[328,638,639],[328,329,639],[145,329,639],[197,329,639],[326,637,640],[326,334,640],[218,334,640],[291,334,640],[614,615,641],[335,641,642],[335,336,642],[336,642,643],[336,337,643],[337,341,643,644],[337,644,645],[337,338,339,340,645,646,647],[178,340,646],[181,339,647],[185,338,647],[260,340,645],[341,644,648],[341,342,648],[37,342,648],[342,648,649],[342,343,649],[117,343,649],[343,649,650],[343,344,650],[62,344,650],[271,344,650],[341,643,651],[341,345,651],[40,345,651],[59,345,651],[336,642,652],[336,346,652],[346,356,357,359,652,653,654,664],[44,356,653],[97,359,653],[346,654,655],[346,347,655],[347,348,349,655,656,661],[223,347,661],[348,656,657],[348,354,657],[50,354,657],[354,657,658],[354,355,658],[83,355,658],[216,355,658],[349,656,659],[349,352,659],[244,352,659],[352,659,660],[352,353,660],[237,353,660],[245,353,660],[349,661,662],[349,350,662],[350,351,662,663],[81,350,663],[182,351,662],[259,351,663],[359,664,665],[359,360,665],[360,361,665,666],[215,361,665],[360,666,667],[360,363,667],[120,363,667],[363,667,668],[363,364,668],[8,364,668],[255,364,668],[361,666,669],[361,362,669],[158,362,669],[161,362,669],[357,664,670],[357,358,670],[5,358,670],[274,358,670],[514,819,820],[514,522,523,524,525,526,527,528,529,530,532,539,540,541,542,544,545,546,547,548,549,551,552,556,557,560,561,820,821,829,830,831,832,833,834,835,836,838,839,840,841,842,843,845,846,847,848,849,850,852,853,854,856,865],[542,544,843,844],[542,543,843,844],[10,543,844],[113,543,843],[307,544,844],[556,557,856,858],[556,558,856,858],[74,558,858],[558,856,857],[558,559,857],[127,559,857],[212,559,857],[240,557,858],[7,540,848],[25,546,832],[30,551,850],[45,523,839],[51,524,835],[55,549,849],[68,557,830],[110,545,848],[128,546,847],[138,540,842],[166,552,850],[183,548,836],[208,545,846],[233,560,831],[266,525,831],[270,552,835],[283,524,841],[561,563,853],[563,853,859],[563,564,565,566,567,568,859,860,861,862,863,864],[27,566,864],[41,567,862],[93,565,863],[147,566,860],[159,568,861],[160,565,861],[280,568,864],[514,821,822],[514,515,822],[515,516,517,822,823,827,828],[515,521,827,828],[252,521,828],[263,521,827],[516,517,823,826],[516,518,823,826],[305,518,826],[518,823,824],[518,519,824],[519,520,824,825],[77,519,825],[124,520,825],[167,520,824],[290,517,826],[34,517,828],[549,836,837],[549,550,837],[20,550,837],[96,550,837],[530,838,851],[530,531,851],[118,531,851],[287,531,851],[561,854,855],[561,562,855],[52,562,855],[116,562,855],[532,865,866],[532,533,866],[304,533,866],[533,866,867],[533,534,867],[534,535,536,537,867,868,869,870,871],[537,538,870,871],[296,538,870],[297,538,871],[42,537,869],[141,536,867],[193,534,871],[209,535,869],[528,865,872],[528,553,872],[553,872,873],[553,554,873],[35,554,873],[108,554,873],[553,872,874],[553,555,874],[100,555,874],[168,555,874],[29,604,895],[54,596,919],[130,604,896],[192,578,877],[194,594,904],[226,595,919],[257,608,895],[261,608,896],[288,606,893],[579,877,878],[579,585,586,587,588,589,590,878,879,880,881,882,883],[49,586,883],[156,588,881],[221,587,879],[227,590,879],[234,590,882],[253,589,883],[292,586,881],[606,876,884],[606,607,884],[103,607,884],[289,607,884],[569,885,886],[569,609,886],[609,886,887],[609,610,887],[204,610,887],[610,887,888],[610,611,888],[611,612,888,889],[207,612,888],[242,612,889],[249,611,889],[609,886,890],[609,613,890],[196,613,890],[272,613,890],[579,892,897],[579,580,897],[580,581,897,898],[219,580,898],[581,898,899],[581,583,899],[162,583,899],[583,899,900],[583,584,900],[2,584,900],[214,584,900],[581,897,901],[581,582,901],[152,582,901],[225,582,901],[593,904,905],[593,603,905],[231,603,905],[277,603,905],[597,903,906],[597,599,600,601,906,908,909,910],[12,601,910],[230,599,910],[301,600,909],[601,906,907],[601,602,907],[143,602,907],[267,602,907],[597,908,911],[597,598,911],[63,598,911],[294,598,911],[107,576,916],[174,572,918],[189,576,917],[232,575,914],[262,573,918],[278,575,916]],[[1,2],[1,563],[1,564],[1,565],[1,566],[1,567],[1,568],[2,3],[3,4],[4,5],[5,6],[6,7],[6,494],[6,495],[6,496],[6,497],[6,498],[6,499],[6,500],[6,501],[6,502],[6,503],[6,512],[6,516],[6,531],[6,546],[6,550],[7,8],[8,9],[9,10],[9,400],[10,11],[11,12],[11,264],[12,13],[13,14],[13,254],[14,15],[15,16],[16,17],[16,36],[16,39],[16,50],[16,60],[16,61],[16,62],[16,63],[16,64],[16,65],[16,66],[16,67],[16,68],[16,69],[16,70],[16,71],[16,72],[16,73],[16,74],[16,75],[16,76],[16,77],[16,78],[16,79],[16,80],[16,81],[16,82],[16,83],[16,84],[16,85],[16,86],[16,87],[16,88],[16,103],[16,107],[16,114],[16,118],[16,124],[16,167],[16,171],[16,212],[16,239],[17,18],[17,23],[17,24],[17,25],[17,26],[17,27],[17,28],[17,29],[17,30],[17,31],[17,32],[18,19],[18,20],[20,21],[20,22],[32,33],[33,34],[34,35],[36,37],[36,38],[39,40],[39,41],[41,42],[42,43],[43,44],[43,49],[44,45],[44,48],[45,46],[45,47],[50,51],[50,52],[52,53],[53,54],[54,55],[54,58],[54,59],[55,56],[55,57],[88,89],[88,92],[88,93],[88,94],[88,95],[88,96],[88,97],[88,98],[88,99],[88,100],[88,101],[88,102],[89,90],[89,91],[103,104],[104,105],[105,106],[107,108],[108,109],[109,110],[110,111],[111,112],[112,113],[114,115],[115,116],[116,117],[118,119],[119,120],[120,121],[120,122],[120,123],[124,125],[125,126],[126,127],[126,150],[127,128],[128,129],[129,130],[130,131],[131,132],[131,148],[131,149],[132,133],[132,147],[133,134],[133,135],[135,136],[136,137],[137,138],[137,141],[138,139],[139,140],[141,142],[142,143],[143,144],[143,145],[143,146],[150,151],[151,152],[151,155],[151,161],[151,162],[151,163],[151,164],[151,165],[151,166],[152,153],[152,154],[155,156],[155,157],[157,158],[158,159],[159,160],[167,168],[168,169],[169,170],[171,172],[172,173],[172,195],[173,174],[174,175],[174,176],[174,177],[174,178],[174,191],[178,179],[179,180],[180,181],[180,182],[180,183],[183,184],[184,185],[184,189],[184,190],[185,186],[185,187],[185,188],[191,192],[192,193],[193,194],[195,196],[196,197],[196,200],[197,198],[198,199],[200,201],[201,202],[201,203],[201,204],[201,205],[201,206],[201,207],[201,208],[208,209],[209,210],[210,211],[212,213],[213,214],[214,215],[214,216],[214,229],[214,235],[216,217],[217,218],[218,219],[218,222],[219,220],[220,221],[222,223],[223,224],[224,225],[225,226],[226,227],[227,228],[229,230],[230,231],[231,232],[231,233],[231,234],[235,236],[236,237],[237,238],[239,240],[240,241],[241,242],[241,250],[242,243],[242,244],[242,245],[242,246],[242,247],[242,248],[242,249],[250,251],[251,252],[252,253],[254,255],[255,256],[255,257],[255,258],[255,259],[255,260],[260,261],[261,262],[262,263],[264,265],[265,266],[266,267],[266,326],[266,327],[267,268],[267,269],[269,270],[269,278],[270,271],[271,272],[271,273],[271,274],[274,275],[275,276],[276,277],[278,279],[279,280],[280,281],[281,282],[282,283],[283,284],[283,296],[284,285],[284,288],[284,289],[284,290],[284,291],[284,292],[284,293],[284,294],[284,295],[285,286],[285,287],[296,297],[297,298],[298,299],[298,303],[298,315],[298,322],[299,300],[300,301],[301,302],[303,304],[304,305],[305,306],[305,307],[305,311],[307,308],[308,309],[309,310],[311,312],[312,313],[313,314],[315,316],[316,317],[317,318],[318,319],[319,320],[320,321],[322,323],[323,324],[324,325],[327,328],[328,329],[329,330],[329,352],[330,331],[331,332],[331,338],[331,348],[332,333],[333,334],[333,335],[333,336],[333,337],[338,339],[339,340],[340,341],[341,342],[342,343],[343,344],[344,345],[345,346],[346,347],[348,349],[349,350],[350,351],[352,353],[353,354],[354,355],[354,356],[354,357],[354,381],[354,396],[357,358],[358,359],[359,360],[359,361],[359,368],[359,375],[361,362],[362,363],[363,364],[364,365],[365,366],[366,367],[368,369],[369,370],[370,371],[371,372],[372,373],[373,374],[375,376],[376,377],[377,378],[377,379],[377,380],[381,382],[382,383],[383,384],[383,385],[383,392],[385,386],[386,387],[387,388],[388,389],[389,390],[390,391],[392,393],[393,394],[394,395],[396,397],[397,398],[398,399],[400,401],[401,402],[401,407],[401,415],[401,416],[401,417],[401,418],[401,419],[401,420],[401,421],[401,422],[401,423],[401,424],[401,425],[401,426],[401,427],[401,428],[401,429],[401,430],[401,431],[401,432],[401,442],[401,459],[401,463],[401,467],[401,471],[401,484],[402,403],[402,406],[403,404],[403,405],[407,408],[407,414],[408,409],[408,410],[410,411],[411,412],[412,413],[432,433],[433,434],[434,435],[434,436],[434,437],[434,438],[434,439],[434,440],[434,441],[442,443],[443,444],[444,445],[444,448],[444,458],[445,446],[445,447],[448,449],[448,457],[449,450],[449,451],[451,452],[452,453],[453,454],[453,455],[453,456],[459,460],[460,461],[461,462],[463,464],[464,465],[465,466],[467,468],[468,469],[469,470],[471,472],[472,473],[473,474],[474,475],[475,476],[476,477],[476,480],[476,481],[476,482],[476,483],[477,478],[477,479],[484,485],[485,486],[486,487],[486,490],[487,488],[488,489],[490,491],[491,492],[492,493],[503,504],[504,505],[504,506],[504,507],[504,508],[504,509],[504,510],[504,511],[512,513],[513,514],[514,515],[516,517],[517,518],[518,519],[518,527],[519,520],[520,521],[521,522],[522,523],[523,524],[523,525],[523,526],[527,528],[528,529],[529,530],[531,532],[532,533],[533,534],[533,535],[533,542],[535,536],[536,537],[537,538],[538,539],[539,540],[540,541],[542,543],[543,544],[544,545],[546,547],[547,548],[548,549],[550,551],[551,552],[551,553],[551,554],[551,555],[551,559],[555,556],[556,557],[557,558],[559,560],[560,561],[561,562]]]