[Pol([1,0,800,0,302280,0,71941088,0,12134206924,0,1547365883872,0,155413059716240,0,12645941826913920,0,851031417954349942,0,48117359573615684000,0,2314149097484965090712,0,95618200903043009787136,0,3422158472512306080081336,0,106813925113191625640898080,0,2924269985277799168312925912,0,70565276232772630761512970976,0,1507189588787113599832735387361,0,28596710240444315442120922185856,0,483495134273286656183895218449192,0,7304182185398288843070248918498592,0,98826486093819254908615965989870920,0,1199992176917720926966325807642637056,0,13099211653288549705193434962856689528,0,128742325831799868815682982690906086208,0,1140653471895945115428891419993740391686,0,9120016227264200598058672219548107222784,0,65858662275777037742476165333018051772608,0,429822097574142977300887671526510640167264,0,2536454079120110636061079294982865247190740,0,13538013172120711834540575997591214135062720,0,65361930371425288686895476832344738317952696,0,285440337791467397187495392607273770455482208,0,1127279298039037602348110766341414482176481956,0,4024437102990478883413996294325989298648176512,0,12980573309350341644099098802288007139229922264,0,37799002821127327616098954145291109429114221248,0,99282026430031627983418163347743095847340318196,0,234959163264044894358646443271594643768189984064,0,500371373331114530718930393345539949173228192960,0,957489561921035070249963781776671402695864034208,0,1643589290829960072054292301108271196094780401062,0,2526126716177069088568778572365581755442080994688,0,3469030700780363927721068171542834614470206892056,0,4246570460219131688306323208464891287010479943648,0,4621906359808972434727785691980739006227876333832,0,4459757863148933160129924463727485741244326743936,0,3803028589810424441250060177873377745016739492424,0,2855919185973391697590173979813965953149355813056,0,1881293896088441643744209870979881502604580328097,0,1082318957577423021981751066331177322216974399072,0,541119974848225442206448118723823708379400372856,0,233792496388475150351620742987751855032916906432,0,86729122000949086373883490742791631550031185336,0,27418588905583497751369745025183585082753257824,0,7322310828115159224591209480898214279750399992,0,1634612595468271027334663116205157042907461920,0,301175027247359276693939391660068225965069974,0,45085446679611199120257046294682648796043360,0,5375890981243131297109438380256457328550736,0,497592056510504493596432179215031100247104,0,34532724845352323310226656555693669710636,0,1710459582355323659312118412662625695776,0,56047061192700495993425858308028016488,0,1062508488581034310312286854795134592,0,8513729525426050525342080962144161]),115415265960743494939344552405880001962843188211606738646592385786349148031126489901940931033326740773921959832874980669725988208076347193864479975955213220753706420846714365976301892757918223934718620530247540190048348366950710423146297138431168688425633273576749635511076785945324568828303200310496741055990075223315439539847220829241890336130746716226699071372461567225297389076127932073587556632755193903562257037280493603161904750857212650822010680999959315447657462357754603408767400460902285548669990987950303855371853035091230081278950228180512499016141864653248167926100686387028293584381118749699825889768861161217199568650031817350316344057403762020178605648339690645841145804360073456317487774363051777659188256320699315209276296035041280]
