P[8(0,P[8(0,473909323618364473158789467178584209645535251735826995500414744271955401948315550351457206446174810175694010466651334750107898140290850535774593240573263)(1,416827434428737000361143775354922404448484702082713849368717157220616770876711673715423312700842499836286063161632814789313932240701884007945139330612570)(2,2002567371354609545836585955981136610442060204193321200900213650330825769599522505883136525364893363250872501283183141272806056411327283801971810167770546)(3,-6020390235378312725792821862884267181808736266367663342756606823674195402676225396576874162731099157219393708247147474396504663443628228159257377774802350)(4,-6270702710702611276312678399910660255592259420556521008912188432521970355694489059697516174578647565735719607477391968065883752777454168819797253467594766)(5,-4779888474731383986098111358354962990524543674720118831801646365478488743667538250924347750970383157523441463763902817114437177690363059739052864376608914)(6,1599634052346316601620040812352468399871916994525040790640452508913755864301376931661279648085272011317052883168845470084551465655858135472752607294605563)(7,3208290973087429511674903918008008904600381896278970137746281132806414366400751105212413047277720573783797830075650777563260243965802019195173745162367087)(8,6372598773233976547921726048827729893290596196331792618867442651355840436104977661279369709922587889853077419899934429745241445899952856037251992990240839)])(1,P[7(0,6127326649032226974782184864481368643760440403807706931120630461997763025131193545360619204790771038111629643486309011737731880944746836362571863510026715)(1,-3363135853222235112221675056704388447040830821732711321190571368080809780802156315994826783780045714849038709668626512622050166203394653275110807115692991)(2,-314036103855604434410893358605548075924066495597512818563535073507689847873050490693779772990471814110867643645953859407831115729932824154638392755798823)(3,-1733257448365909110991025132130265929943056670980618530121055448775843462247471603029578326523969495779868003650062176439353838309466392566950470706074498)(4,2244456671332349964591342770267126925459473042831022677021840596758784554846443124473698195116487034792348991659416718892756164793091333385689798211824602)(5,5761508823201085800209040926884106453794772417181657397766807364452819329726248315378146077940336232742493274782286209199835651113233783412429098824407670)(6,3949469435009614932625667353683215404904202373122896620641382825086826192341215264483537995039403232308017317501669626250462046371830583986023457442218566)(7,-4170664605239940422976073594248053618560575433794369160095756574767805080934028854801686130316004933629231921840396404137480316220424562596411405884142280)])(2,P[6(0,-3057919971740657477753948760911834583747553174034241309932099676784757756151103860939564203482570112214822183140226675578926222049520073494698518259588784)(1,-2867411040222318996900105903044854915869336326204970887409675772530899620761100578522440577099579535636550623987769956285402529959223998413913402504941109)(2,6145505885980173644562016091900163103692964598091283825073984947711628972864153745591232600760445823069878599401008268780389607593127534981489477962561293)(3,4196394031164226089043690830884003617983968781089039267200008764664516911849857484929157914035539196772880832466510209123497690227099909964681919105877897)(4,4442883245284020996899150259988115902864379492130096826963947814511682788118053794085221865122088957405256059292118859965988561347190455910913758215839093)(5,2988092342474324628157527037223464918569850075622516148194244670219615902255773705592877459926913035969050425472184705938614654665085605050207668660727165)(6,-3240950014889791258876229743144153812362118804581259763331380916509211130189052578673433661715472677723993611809628248657415009075898010048019373081957833)])(3,P[5(0,-2103596684163458954439691694101274325278375963056841006377059475213899038854288116341618572233349949561657115966844135931825194276071921525710576770499776)(1,-3792883980625848186292485663817014703128356935284617930442883103315676837396942228441544478236868042455236176145114649750819175584107623797244023434099772)(2,3745255800306069770866567202223467935432973223163736656260519277129520908469658346809142886824378630399195071561644753253830322781466761957456682670091324)(3,5203754680124867769025169335981528075907976350883836304149376335706142827955215337482352513296316325675632461581915185712311728425540063713718991127970944)(4,2020573727518477332044482697121045066882670929425729145043840501164872429194637340359631887776306068272338719444259050844339779031343579783180114970833936)(5,-1799772096056907720116484211997340874156955167412430759808295725282829502653904853162638697967101686938025461081180394118122815137387580268211339942030716)])(4,P[4(0,-3964903025589978924877411975944824491422013956107327996212448883169327852896751983400324223182101211274706566884450562842871131002766541256920677624389089)(1,-4972150509723625681980968732659083577258464360585413949827303626647201574841059203103427435340725501983161108047527738212659065044630099969076586791068097)(2,6292757849436987344412009526567829887627889644899043607188386775238564977226578875179184598586493664036173067025500299324860625536029619179061487171776893)(3,3234783228300412567884493090148386558311550987219999520573316154998361260814469994512554692493090183057434128108414734650493410271809999552521981095037493)(4,2568392985676971195389123760478204647525699569268016614088912961108177411745580657570807042027462276483367751834666514320750792586060642437556816401021569)])(5,P[3(0,-1090089222848695193190898015195783587173397292463043521836026086060213636452331993622787819638376819284780583055561163961702968152054670823402302032208393)(1,-4430775035612230333570893804692757665488281282342978099195477784983624264275181012287021854288882583327797787140393200920462590059161593124839809108902516)(2,-5941291672210180981599941147735656553934807616371667020879449849113589276353805469101512418229164692575781335916122420422010784854156164256795482688355060)(3,-5852817902491315224985557544920111521762764084793130518382840422895287175393439220863718919682230624590049619632072962329034034155898381973545014460705736)])(6,P[2(0,2224009589241975475954239443407714220839625561107676713225705736036253257276574871730500467817994867581291759985072036747862471732008629817150812470481736)(1,769180555734345927038787676456961139244613018970411122631647384858732943401572838800811034938760274555044143883380475383438460194370560634900722556724020)(2,3942540487812792131092370067732346576978866437020947278145686277371688244286076642343182755576935296232145152963358049022435410741444218141167565424311224)])(7,P[1(0,-5133872895357985874946195582141492309478218773666179830127097728869347043582189643112799923023028122801876016236212921318366666982831913466096041458813705)(1,-5383253715311975810871037779608358774540714878941923920144130698601293121516743075500436050182935660701241819805565676053480254217494082281750951655879173)])(8,P[0(0,-62522354653641828484832852434081460393475343387643362349293384634904892266290865857159006099792205270520556521488760750900424378275047437285158668920063)])]
(-62522354653641828484832852434081460393475343387643362349293384634904892266290865857159006099792205270520556521488760750900424378275047437285158668920063)*y^8 + ((-5383253715311975810871037779608358774540714878941923920144130698601293121516743075500436050182935660701241819805565676053480254217494082281750951655879173)*x + (-5133872895357985874946195582141492309478218773666179830127097728869347043582189643112799923023028122801876016236212921318366666982831913466096041458813705))*y^7 + (3942540487812792131092370067732346576978866437020947278145686277371688244286076642343182755576935296232145152963358049022435410741444218141167565424311224*x^2 + 769180555734345927038787676456961139244613018970411122631647384858732943401572838800811034938760274555044143883380475383438460194370560634900722556724020*x + 2224009589241975475954239443407714220839625561107676713225705736036253257276574871730500467817994867581291759985072036747862471732008629817150812470481736)*y^6 + ((-5852817902491315224985557544920111521762764084793130518382840422895287175393439220863718919682230624590049619632072962329034034155898381973545014460705736)*x^3 + (-5941291672210180981599941147735656553934807616371667020879449849113589276353805469101512418229164692575781335916122420422010784854156164256795482688355060)*x^2 + (-4430775035612230333570893804692757665488281282342978099195477784983624264275181012287021854288882583327797787140393200920462590059161593124839809108902516)*x + (-1090089222848695193190898015195783587173397292463043521836026086060213636452331993622787819638376819284780583055561163961702968152054670823402302032208393))*y^5 + (2568392985676971195389123760478204647525699569268016614088912961108177411745580657570807042027462276483367751834666514320750792586060642437556816401021569*x^4 + 3234783228300412567884493090148386558311550987219999520573316154998361260814469994512554692493090183057434128108414734650493410271809999552521981095037493*x^3 + 6292757849436987344412009526567829887627889644899043607188386775238564977226578875179184598586493664036173067025500299324860625536029619179061487171776893*x^2 + (-4972150509723625681980968732659083577258464360585413949827303626647201574841059203103427435340725501983161108047527738212659065044630099969076586791068097)*x + (-3964903025589978924877411975944824491422013956107327996212448883169327852896751983400324223182101211274706566884450562842871131002766541256920677624389089))*y^4 + ((-1799772096056907720116484211997340874156955167412430759808295725282829502653904853162638697967101686938025461081180394118122815137387580268211339942030716)*x^5 + 2020573727518477332044482697121045066882670929425729145043840501164872429194637340359631887776306068272338719444259050844339779031343579783180114970833936*x^4 + 5203754680124867769025169335981528075907976350883836304149376335706142827955215337482352513296316325675632461581915185712311728425540063713718991127970944*x^3 + 3745255800306069770866567202223467935432973223163736656260519277129520908469658346809142886824378630399195071561644753253830322781466761957456682670091324*x^2 + (-3792883980625848186292485663817014703128356935284617930442883103315676837396942228441544478236868042455236176145114649750819175584107623797244023434099772)*x + (-2103596684163458954439691694101274325278375963056841006377059475213899038854288116341618572233349949561657115966844135931825194276071921525710576770499776))*y^3 + ((-3240950014889791258876229743144153812362118804581259763331380916509211130189052578673433661715472677723993611809628248657415009075898010048019373081957833)*x^6 + 2988092342474324628157527037223464918569850075622516148194244670219615902255773705592877459926913035969050425472184705938614654665085605050207668660727165*x^5 + 4442883245284020996899150259988115902864379492130096826963947814511682788118053794085221865122088957405256059292118859965988561347190455910913758215839093*x^4 + 4196394031164226089043690830884003617983968781089039267200008764664516911849857484929157914035539196772880832466510209123497690227099909964681919105877897*x^3 + 6145505885980173644562016091900163103692964598091283825073984947711628972864153745591232600760445823069878599401008268780389607593127534981489477962561293*x^2 + (-2867411040222318996900105903044854915869336326204970887409675772530899620761100578522440577099579535636550623987769956285402529959223998413913402504941109)*x + (-3057919971740657477753948760911834583747553174034241309932099676784757756151103860939564203482570112214822183140226675578926222049520073494698518259588784))*y^2 + ((-4170664605239940422976073594248053618560575433794369160095756574767805080934028854801686130316004933629231921840396404137480316220424562596411405884142280)*x^7 + 3949469435009614932625667353683215404904202373122896620641382825086826192341215264483537995039403232308017317501669626250462046371830583986023457442218566*x^6 + 5761508823201085800209040926884106453794772417181657397766807364452819329726248315378146077940336232742493274782286209199835651113233783412429098824407670*x^5 + 2244456671332349964591342770267126925459473042831022677021840596758784554846443124473698195116487034792348991659416718892756164793091333385689798211824602*x^4 + (-1733257448365909110991025132130265929943056670980618530121055448775843462247471603029578326523969495779868003650062176439353838309466392566950470706074498)*x^3 + (-314036103855604434410893358605548075924066495597512818563535073507689847873050490693779772990471814110867643645953859407831115729932824154638392755798823)*x^2 + (-3363135853222235112221675056704388447040830821732711321190571368080809780802156315994826783780045714849038709668626512622050166203394653275110807115692991)*x + 6127326649032226974782184864481368643760440403807706931120630461997763025131193545360619204790771038111629643486309011737731880944746836362571863510026715)*y + (6372598773233976547921726048827729893290596196331792618867442651355840436104977661279369709922587889853077419899934429745241445899952856037251992990240839*x^8 + 3208290973087429511674903918008008904600381896278970137746281132806414366400751105212413047277720573783797830075650777563260243965802019195173745162367087*x^7 + 1599634052346316601620040812352468399871916994525040790640452508913755864301376931661279648085272011317052883168845470084551465655858135472752607294605563*x^6 + (-4779888474731383986098111358354962990524543674720118831801646365478488743667538250924347750970383157523441463763902817114437177690363059739052864376608914)*x^5 + (-6270702710702611276312678399910660255592259420556521008912188432521970355694489059697516174578647565735719607477391968065883752777454168819797253467594766)*x^4 + (-6020390235378312725792821862884267181808736266367663342756606823674195402676225396576874162731099157219393708247147474396504663443628228159257377774802350)*x^3 + 2002567371354609545836585955981136610442060204193321200900213650330825769599522505883136525364893363250872501283183141272806056411327283801971810167770546*x^2 + 416827434428737000361143775354922404448484702082713849368717157220616770876711673715423312700842499836286063161632814789313932240701884007945139330612570*x + 473909323618364473158789467178584209645535251735826995500414744271955401948315550351457206446174810175694010466651334750107898140290850535774593240573263)
