[Pol([1,0,512,0,125120,0,19462784,0,2168214720,0,184523313152,0,12495384832128,0,692421878583296,0,32046563009483680,0,1258080516250615808,0,42404428043653175552,0,1239074469554380144128,0,31636851963925291120896,0,710439772129278249172992,0,14107798945881100909702656,0,248870691457418433003270144,0,3915155213809925595195808704,0,55107289989649822090250182656,0,695927361619595002826938604544,0,7903881197132873310976042862592,0,80892198096043640627086881070080,0,747293507224349053301996273467392,0,6240198959442282052053427401664512,0,47154201503371933112460542369955840,0,322735229606146852669245776558876160,0,2002028291286335147935496487032389632,0,11261488596740232201189573647409106944,0,57456755916890374931810986693219213312,0,265913716840138091607033362601223540736,0,1116213906580415751839598572308926562304,0,4248466873607154008757519338092482682880,0,14654931790565745775012513274369861812224,0,45783238139615926767669453826041780594176,0,129424832093451561524369525999280786898944,0,330706950812294609755858913917444535238656,0,762805390366927126541254822567884596150272,0,1585830100650435012658727695569732146708480,0,2966127835302836149798962271591386303168512,0,4980950661348061065076423319998457159712768,0,7491917382993075767074813648972339287687168,0,10066048478528073724158479850950152987828224,0,12044263523182464033028868105883205056331776,0,12789460440222044543136455426791879258865664,0,12005379306043652339589730970809663179325440,0,9918223218280838164211389294514452135870464,0,7175675428805142646273667463570860500058112,0,4520855902594890735246175411032101608882176,0,2464614638287898791842974988483105320337408,0,1154325780438635035981445043024881133797376,0,460708802863517005856605435742043613691904,0,155252332078323991811470430713556451459072,0,43713511516542527029207613748477584474112,0,10162255934194058024391006752276080754688,0,1924338407996465643952026791426578710528,0,292279393968151894402629797200392617984,0,34988244452681457060658056213022375936,0,3235689616563743872449505922680225792,0,225933873501213387968981709837303808,0,11599399267673737639574276762763264,0,424279783516326147417591135600640,0,10635756201823377972486258819072,0,173782928272247023327850266624,0,1726127404394175302771671040,0,9245979318898484221837312,0,20013193865094160777216]),11744361103509489430510667611519461271076464717500872884025266222697708657825329224018766817128723870521495915897723763681100103218684257697010077017862302850881142751129695651923784077482988103498964303202507791392233158016505012899303921835355053492982365860252253134905916496484807981670817562084354540267630377277075475809446656313519200085319210339942676867921794712021159068415689534620710597534946538182123200449813729627901484570754311698513920]
