Magma V2.19-8 Tue Aug 20 2013 16:18:03 on localhost [Seed = 779072225] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2275 geometric_solution 5.69403288 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272705341525 0.201693630532 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356944024708 1.551424303592 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.099375458974 1.073982514173 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.099375458974 1.073982514173 6 3 6 2 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762294510746 0.652648097858 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.648657762456 1.062054889954 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549902375009 0.156190163693 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t - 6410614366040500237869015128151709991948203122403271463887811501955\ 4780688321461975545320995722186276996787140596033519510270328680803\ 359/737896532900355404616280221862755331267124701079781312450365460\ 2274897497813984701877238114669587096298367159141550278615042728049\ 609920*c_0101_4^38 + 3526634916707267341654989495073693852949512065\ 0013249101458985171615299453967591201061753746584901776501131298398\ 947878184834227112155773/819885036555950449573644690958617034741249\ 6678664236805004060669194330553126649668752486794077318995887074621\ 26838919846115858672178880*c_0101_4^37 + 1929108551419693313840395797276340619665767423833762064465091742260\ 2017761116935573521374143578178494396903825264932333488706604322267\ 147/409942518277975224786822345479308517370624833933211840250203033\ 4597165276563324834376243397038659497943537310634194599230579293360\ 8944*c_0101_4^36 - 170494818719080311683245666287432867793180173188\ 5594749126684329499160608745177552357188749749974357408794229936243\ 6852413839505751965652731/73789653290035540461628022186275533126712\ 4701079781312450365460227489749781398470187723811466958709629836715\ 9141550278615042728049609920*c_0101_4^35 - 2798227408036769576165625871180759808068142411535793878158731199689\ 0757927988250235661016861430395049133141985524334583292236366879622\ 298679/368948266450177702308140110931377665633562350539890656225182\ 7301137448748906992350938619057334793548149183579570775139307521364\ 024804960*c_0101_4^34 + 1587722723743330211686741682130619355957666\ 4827819111137245380216865482096033638664378015528057020575646209945\ 612241793117330103167972407519/491931021933570269744186814575170220\ 8447498007198542083002436401516598331875989801251492076446391397532\ 24477276103351907669515203307328*c_0101_4^33 + 1378386116954934315103952678591895353945451614258169584405956120203\ 4398864945259386101903573101890585786745442407393948700734027525143\ 023027/163977007311190089914728938191723406948249933573284736100081\ 2133838866110625329933750497358815463799177414924253677839692231717\ 34435776*c_0101_4^32 - 52587732823434768916946437153307046450252386\ 7714785111059225759003848869492084412270309984427587607058106757155\ 384146532620911262506830606769/245965510966785134872093407287585110\ 4223749003599271041501218200758299165937994900625746038223195698766\ 122386380516759538347576016536640*c_0101_4^31 - 5084233416655229965950253170141435591427546307941768776292745931796\ 9580599820565742020123864264222670054774561592274128234276204013885\ 60998447/7378965329003554046162802218627553312671247010797813124503\ 6546022748974978139847018772381146695870962983671591415502786150427\ 28049609920*c_0101_4^30 + 55214840393221921010859387849407460253304\ 8982257593808046260998169156267569860099968034198644828725808358096\ 262471436461691916727442862659377/819885036555950449573644690958617\ 0347412496678664236805004060669194330553126649668752486794077318995\ 88707462126838919846115858672178880*c_0101_4^29 + 2045897900470776007045862992014973507192777450698745908681392096711\ 8465330865463553507482956814831012471986111369490102003022174728666\ 1820391/51242814784746903098352793184913564671328104241651480031275\ 3791824645659570415604297030424629832437242942163829274324903822411\ 67011180*c_0101_4^28 + 37281543983812641179823543370856717036272853\ 5574542751389434873854920482547743227054507450671878663886408882247\ 9558599379456676396110049911887/73789653290035540461628022186275533\ 1267124701079781312450365460227489749781398470187723811466958709629\ 8367159141550278615042728049609920*c_0101_4^27 - 3749572056196646388300853537370746628842703573594973965941343578522\ 4520632938550280791778433934018369389716887492998744414804532849784\ 488287523/245965510966785134872093407287585110422374900359927104150\ 1218200758299165937994900625746038223195698766122386380516759538347\ 576016536640*c_0101_4^26 - 1068496776278063593050921473775196739124\ 5812453832627288406929752962740268008806354481596221038952075256804\ 9484740064631681619199361048652494199/73789653290035540461628022186\ 2755331267124701079781312450365460227489749781398470187723811466958\ 7096298367159141550278615042728049609920*c_0101_4^25 + 2801694348823553192722310826509503841619724050095660659226922749091\ 4943311644944433697669563911008816290288182246182955125633807158895\ 543712217/819885036555950449573644690958617034741249667866423680500\ 4060669194330553126649668752486794077318995887074621268389198461158\ 58672178880*c_0101_4^24 + 47936268200690638183057567199841755620702\ 4449250119396273261612541278649288799768616706915736299109807291207\ 781975435495520339004455033354597179/737896532900355404616280221862\ 7553312671247010797813124503654602274897497813984701877238114669587\ 096298367159141550278615042728049609920*c_0101_4^23 - 4843797096375469578198054916319199093328347475569885353668241608896\ 8448369052073627036218570109618735232504263352442053116635330193682\ 353257961/245965510966785134872093407287585110422374900359927104150\ 1218200758299165937994900625746038223195698766122386380516759538347\ 576016536640*c_0101_4^22 - 9122386676481914708481444098121384302212\ 2420853993198269981673081823937992074279969533341131809104384283234\ 559183137867139008504644076846414809/737896532900355404616280221862\ 7553312671247010797813124503654602274897497813984701877238114669587\ 09629836715914155027861504272804960992*c_0101_4^21 - 1097855553127117677017167438796492141270861153356423357644261589724\ 1236085670899344434636861778546670078596219378274136910431346243328\ 6360730181/18447413322508885115407005546568883281678117526994532811\ 2591365056872437445349617546930952866739677407459178978538756965376\ 0682012402480*c_0101_4^20 + 867422457632232944837944678446864773212\ 1144705710849115750053676423852503950738815588278647434266287778731\ 5857509563312952636901014509948909179/92237066612544425577035027732\ 8444164083905876349726640562956825284362187226748087734654764333698\ 387037295894892693784826880341006201240*c_0101_4^19 + 2599839116876008772964914850486153050076400857331542915613631999102\ 1001602724169994739941559925858977745472725583162769323991093447092\ 7524541429/24596551096678513487209340728758511042237490035992710415\ 0121820075829916593799490062574603822319569876612238638051675953834\ 7576016536640*c_0101_4^18 - 130630825358737910332198624560790979674\ 5365729492673216963627078189589086628840393673736576427204602945417\ 6378066897475407099178696184766575363/14757930658007108092325604437\ 2551066253424940215956262490073092045497949956279694037544762293391\ 7419259673431828310055723008545609921984*c_0101_4^17 - 2302605379557895889063232839018025151894721921819725874959595273102\ 8910056542525478688708211251606510689278658751466549655585630509512\ 3133505561/36894826645017770230814011093137766563356235053989065622\ 5182730113744874890699235093861905733479354814918357957077513930752\ 1364024804960*c_0101_4^16 - 235742357798891235939729119420755542354\ 0820002576781426021244618273031606326527120765263845753309187744864\ 2555877363280844858855018805473153989/12298275548339256743604670364\ 3792555211187450179963552075060910037914958296899745031287301911159\ 7849383061193190258379769173788008268320*c_0101_4^15 + 1089413244392505416774839484223528162595416932663473676959061648480\ 8927198888477976875097696453267110021055581779350369712121410583395\ 35501741/6149137774169628371802335182189627760559372508998177603753\ 0455018957479148449872515643650955579892469153059659512918988458689\ 400413416*c_0101_4^14 + 1719841676644750844404641997017533817817666\ 8800146041752529757008451039101933851122019147521170526180710876418\ 191076958890893858922828656830039/245965510966785134872093407287585\ 1104223749003599271041501218200758299165937994900625746038223195698\ 766122386380516759538347576016536640*c_0101_4^13 - 4440027107723256528610116198249740220759724664146062398341950384626\ 9029371067287021199706024716653296639422947035228622363962817970978\ 32617279/6149137774169628371802335182189627760559372508998177603753\ 0455018957479148449872515643650955579892469153059659512918988458689\ 4004134160*c_0101_4^12 - 264829093859498716003455683147546415630044\ 0592993043425035915396614549059890580452718298869450188817740714732\ 722035044202005895662479136232481/819885036555950449573644690958617\ 0347412496678664236805004060669194330553126649668752486794077318995\ 88707462126838919846115858672178880*c_0101_4^11 + 2627210114494248026330070571995466986143307681746364741891781729760\ 8167697696667175303739914007394460077050599713911362392594295599829\ 648258661/737896532900355404616280221862755331267124701079781312450\ 3654602274897497813984701877238114669587096298367159141550278615042\ 728049609920*c_0101_4^10 + 1789007765925648491707107822498153727657\ 5839018073752411633831788879881724670273297186138772780279044683447\ 795958282001512420945349704752784447/737896532900355404616280221862\ 7553312671247010797813124503654602274897497813984701877238114669587\ 096298367159141550278615042728049609920*c_0101_4^9 - 6405264640628692154451133254555744258997818896432094114716300078830\ 4968666087012280698347213093512759069607919317779050820619999451297\ 37807471/7378965329003554046162802218627553312671247010797813124503\ 6546022748974978139847018772381146695870962983671591415502786150427\ 28049609920*c_0101_4^8 - 980158784230695346581089144543893116063315\ 3857284845770259013949386267163425732631305031864673401417921248325\ 94574689010547024460992271592051/1844741332250888511540700554656888\ 3281678117526994532811259136505687243744534961754693095286673967740\ 74591789785387569653760682012402480*c_0101_4^7 + 2075900245943169102323977165084972253665421538445124879389405616548\ 1286410138636234687245613873438645311795181723693031605252694029695\ 1682233/92237066612544425577035027732844416408390587634972664056295\ 6825284362187226748087734654764333698387037295894892693784826880341\ 006201240*c_0101_4^6 - 80009769987164419422753384998548383967966189\ 6186659361264460027700107464227212640939854037704113056698715335208\ 218954075614329078158573661/102485629569493806196705586369827129342\ 6562084833029600625507583649291319140831208594060849259664874485884\ 32765854864980764482334022360*c_0101_4^5 - 1450417615535759751592640663169491647359615440030443089843991598149\ 0667172489602360859798656860050063985372625587769924786623140755621\ 0368781/36894826645017770230814011093137766563356235053989065622518\ 2730113744874890699235093861905733479354814918357957077513930752136\ 4024804960*c_0101_4^4 + 2088898591277233685101935924110489958763429\ 0819403577506183290885587409185116351566149646147138304769266899216\ 73903710316411025708240095297/4099425182779752247868223454793085173\ 7062483393321184025020303345971652765633248343762433970386594979435\ 3731063419459923057929336089440*c_0101_4^3 - 3201741764683948426027999331118201140491101852946643584991761165132\ 2461727520825834812393632174333719424251228400940802260319011080393\ 51939/1475793065800710809232560443725510662534249402159562624900730\ 9204549794995627969403754476229339174192596734318283100557230085456\ 09921984*c_0101_4^2 + 401401990098090461578409185034043360769647971\ 3451075452109795144740605364399722214025300186135187146696452077687\ 97851426274569479406549897/3689482664501777023081401109313776656335\ 6235053989065622518273011374487489069923509386190573347935481491835\ 79570775139307521364024804960*c_0101_4 - 3904609446652002901666655572639707633710031125034556592064313519065\ 0257818578284055761207092785825587821593300314422811988651936087202\ 099/737896532900355404616280221862755331267124701079781312450365460\ 2274897497813984701877238114669587096298367159141550278615042728049\ 609920, c_0011_0 - 1, c_0011_1 - 148700467719403648900916445430892556067817032187316725588792\ 4287299198884329750116962103338584332085790935318134787973581149358\ 43721/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^38 + 76845928020433665029593117045915129947055772026\ 1408009450426098695982054922030291583782822155985477730574743855341\ 583950601365201759/256214073923734515491763965924567823356640521208\ 2574001563768959123228297852078021485152123149162186214710819146371\ 624519112058350559*c_0101_4^37 + 7892499899565485297730698474366512\ 4887475921834501384318602011242678726221249507129891938379594596467\ 12022617666508720492339780410192/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^36 - 4127997596750355437368485221815845044482744468622192370109129289529\ 5486900262156576361535845795406237761246368156849576949228658581610\ /256214073923734515491763965924567823356640521208257400156376895912\ 3228297852078021485152123149162186214710819146371624519112058350559\ *c_0101_4^35 - 1211168305463140972396631604942577681284726152347367\ 8951748418593352292412900069281964751297167522916565629372388256973\ 2271970023731334/25621407392373451549176396592456782335664052120825\ 7400156376895912322829785207802148515212314916218621471081914637162\ 4519112058350559*c_0101_4^34 + 579853185999494606919768038013081435\ 2241076702177521078216900781358690213636357463247836036213965953192\ 77203216093063173568922254765502/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^33 + 1317302718405722730422307269319991447305737737185502643583584581556\ 6849825231662304302300584773655631749897537658771708168184748735375\ 23/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^32 - 39617890969751786084750845337360367770105160082084\ 7791670815743974713232268671825698005592679722102199378864015496048\ 3995960988993187900/25621407392373451549176396592456782335664052120\ 8257400156376895912322829785207802148515212314916218621471081914637\ 1624519112058350559*c_0101_4^31 - 109820231053445409343268588862342\ 6984292791380940213662895298322608152811151933474094430582270957743\ 0951977859817429637425732088362681633/25621407392373451549176396592\ 4567823356640521208257400156376895912322829785207802148515212314916\ 2186214710819146371624519112058350559*c_0101_4^30 + 1402126256460306629145763144141312690435487554158690569825304249832\ 5444214561019434522352620782488701721243890916328668207086259406468\ 930/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^29 + 6568758397575351778877790276671641819936755673901\ 8930518290957025851569313864802542529696440785658669910464978271662\ 551197415982717398725/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^28 - 5956545898612832911678767988914587661614785884738626242771395863038\ 4115123162227501388162791641271465095300213981397591214183642813044\ 78/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^27 - 26190320081905745202886408116852308724708642926195\ 9171356857418109220606882449398354559158960303130378173283188244877\ 346044934753766008583/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^26 - 1913662083584151305539773280360648699868112909799909941276338509794\ 8280080967245168835898952559396022248423145161581909360069668298663\ 6580/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^25 + 635209283753403386676152073324929950514087024765\ 8470484133728076180170659286341601026169481646275488650927388621635\ 56280677910625550031464/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^24 + 9825310350254741513149193935576101965018951056312981344525666462021\ 5979875884889911833860923570994195302728946302752437955695348210780\ 6066/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^23 - 570788756784952683246350454809895076612923530836\ 0436009057370269437955841036157198495308221965465012070061487886898\ 35535303304180049315663/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^22 - 2030707625962013707904217437835393113358992454961847849073763929164\ 6253273143697385668583702390942901184096685911846548005297870456605\ 94103/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^21 - 56253238761633537254254229094158223212097366017\ 6997198017411769827310854761855655005261304188941928969338859230609\ 392159508546996816925340/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^20 + 1811140212602681137732763858118980623428439067374967918931341619595\ 1018968231389105794830738853083291699827169303985784988625607302316\ 30104/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^19 + 14460871084613814787140793487256015947535877289\ 7127779605679719802798265218940792418098097053425440025843138476644\ 0596267818579069779347684/25621407392373451549176396592456782335664\ 0521208257400156376895912322829785207802148515212314916218621471081\ 9146371624519112058350559*c_0101_4^18 - 5394350758013417507811326147627384449521791367456782723457900082895\ 2562719527258044700425810950813646463437052718918953454044602800721\ 3335/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^17 - 101959429948524851426045268267301896596273252410\ 9687432868388081316770658413470818754276458635760363905335365985679\ 276022623603202553593883/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^16 - 8392208952376794476977635191235722904375408609626734314002310886250\ 8621578773972310994833314489950040021012484177533052628022867672838\ 289/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^15 + 3740531754833639549748665468833982870925623534563\ 9255831350509819236551488985941729505201487649566483732825031765511\ 7793194665236974643343/25621407392373451549176396592456782335664052\ 1208257400156376895912322829785207802148515212314916218621471081914\ 6371624519112058350559*c_0101_4^14 + 4586254840808111540021791973572501492716939815942141139020778503010\ 5884478962877331804786338729600262382724836652973364221529245727055\ 670/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^13 - 1543283770718176616177140029802904934063060147086\ 6293406708325442233224449948421160268577729542189586344585961315444\ 8348841352767104421771/25621407392373451549176396592456782335664052\ 1208257400156376895912322829785207802148515212314916218621471081914\ 6371624519112058350559*c_0101_4^12 - 2775301980982335633728801245531662493511991081804058364935437345546\ 5889687632241287002915557845493573518742640499323776775340571008767\ 330/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^11 + 7456967076677343141837150932037164296681228977882\ 1054464739632543388406929597835755529565426385296966168056064266851\ 913143390976049590984/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^10 + 2772833515090158075341469201370777523990672887217019885286157988152\ 0146830242869116207260230793751048519997588016032876768069911043043\ 641/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^9 - 24399425108750488891343805115156926620482031358399\ 7370269193427943521005972209642025195677545264174355114185579532909\ 04474521288908886089/2562140739237345154917639659245678233566405212\ 0825740015637689591232282978520780214851521231491621862147108191463\ 71624519112058350559*c_0101_4^8 - 560137771477063336341204608212217\ 2998453186057843506331166967853657562654049790046601407026913147696\ 076953326764406725950858946852419612/256214073923734515491763965924\ 5678233566405212082574001563768959123228297852078021485152123149162\ 186214710819146371624519112058350559*c_0101_4^7 + 6291728756886427292624428670100738440096267525771005636393234624414\ 2859784748296885431342755749193028004096151256306662456666520761328\ 90/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^6 - 847412201040635716820310616347485682837027563894622\ 8152526661838494412362530573908823098287346387374933329472373701502\ 74552327216415410/2562140739237345154917639659245678233566405212082\ 5740015637689591232282978520780214851521231491621862147108191463716\ 24519112058350559*c_0101_4^5 - 862129435812410137319072622160546399\ 5547678975185401528060054017810404933280230982749186462718702851795\ 53411699852441434725389112931854/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^4 + 2414438070606567946610852007805280192926845696873518164600187145074\ 4876452403147899673853096409437644854452343310500002341249681337268\ 6/25621407392373451549176396592456782335664052120825740015637689591\ 2322829785207802148515212314916218621471081914637162451911205835055\ 9*c_0101_4^3 - 1087268987806786065340019745771776580727300616428924\ 6282628559198629626982667368787108012364746863175050822017523403305\ 622036166029016/256214073923734515491763965924567823356640521208257\ 4001563768959123228297852078021485152123149162186214710819146371624\ 519112058350559*c_0101_4^2 - 11941589169263558123392075198829115494\ 3459609178081357105751440976954697153854697087453717443180081882220\ 86346032333209530014402123067/2562140739237345154917639659245678233\ 5664052120825740015637689591232282978520780214851521231491621862147\ 10819146371624519112058350559*c_0101_4 + 3568718941611564005191125572829717814549209695951138826328773038754\ 64264275502302280940197206256255362120346596554815001183090187590/2\ 5621407392373451549176396592456782335664052120825740015637689591232\ 28297852078021485152123149162186214710819146371624519112058350559, c_0011_3 + 479573898483301113647882120872448471509365690526425686572270\ 8542000199414275686145537253540452465136435602660837191534727410064\ 80319/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^38 - 78560299131039980361949900585552041118517727486\ 8240667539976812833801982052635363048594933867955727446254995288275\ 570344970161151473/256214073923734515491763965924567823356640521208\ 2574001563768959123228297852078021485152123149162186214710819146371\ 624519112058350559*c_0101_4^37 - 8700650734804638788214281196729379\ 5131262045720482979536716880370440314627757472634828470877013807963\ 46810807805703306333423607093029/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^36 + 1267956783491140353233787070437112618438920034809826314411099150896\ 8773136677431625486521796021745498163470686672714935249207624505347\ 2/76864222177120354647529189777370347006992156362477220046913068773\ 6968489355623406445545636944748655864413245743911487355733617505167\ 7*c_0101_4^35 + 425327530296285094909662182653740623971026297955385\ 1305922780985089837057768917035807340396326638338950068288633980159\ 05434140019436262/7686422217712035464752918977737034700699215636247\ 7220046913068773696848935562340644554563694474865586441324574391148\ 73557336175051677*c_0101_4^34 - 59240499249409444627396635313618138\ 8151598291567565388643043880852058549535931876815382392352640081849\ 300242963229830272079668589891361/256214073923734515491763965924567\ 8233566405212082574001563768959123228297852078021485152123149162186\ 214710819146371624519112058350559*c_0101_4^33 - 1578155051702547619702639472791231371463907750591286734225815308698\ 6417477987584492486020333093025965217770513812398730489802266897273\ 98/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^32 + 39286476937141607385076708328743977657660249488032\ 0920939512322310030377414334799352706352382827835225575173373481254\ 3722201396248121747/25621407392373451549176396592456782335664052120\ 8257400156376895912322829785207802148515212314916218621471081914637\ 1624519112058350559*c_0101_4^31 + 387753472919001195320846791611112\ 9500538810050276515762968305104284143739621329705208527046978209559\ 0149242360244495494332278745800966742/76864222177120354647529189777\ 3703470069921563624772200469130687736968489355623406445545636944748\ 6558644132457439114873557336175051677*c_0101_4^30 - 1228551181601531141548459747572829813359747939049884196382039967647\ 0226527641284219404304392579066458870117473004090389377788186437562\ 252/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^29 - 7479025399937889948856428790922374659046631346955\ 8277315227153438765583829305813454451007019190080394982328240024936\ 082108391332011987397/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^28 - 3185503386263830982495016418735838866242984810414271531167480787779\ 2640774577843669835878156127927434840726491153844999839195262238289\ 206/768642221771203546475291897773703470069921563624772200469130687\ 7369684893556234064455456369447486558644132457439114873557336175051\ 677*c_0101_4^27 + 2855377040535891490157187698700117900858624272745\ 7604443450011439529769173092676234929316725401893504318729608949924\ 3716607759802327295869/25621407392373451549176396592456782335664052\ 1208257400156376895912322829785207802148515212314916218621471081914\ 6371624519112058350559*c_0101_4^26 + 8255025680357924885820294561613392773381960952921431000961823530625\ 4440153573786972667583015975474184317764662947293514953099452094072\ 7545/76864222177120354647529189777370347006992156362477220046913068\ 7736968489355623406445545636944748655864413245743911487355733617505\ 1677*c_0101_4^25 - 641289442677872020546911801367234592012870023718\ 4820240800662328697651790252941336496069464858575371235911410530340\ 49503544839796733678302/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^24 - 3691867748869747244437978376379501709725850680799332965401626912115\ 4375781831568937976121129837429027744654590487308485644645968042525\ 53159/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^23 + 37594374718681362910972536853845755903154324389\ 7784738023475446880416548320333227865070409789625290900007797752964\ 269861690695711818258434/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^22 + 7087382721155010213193527206069562672127505824280427218641979533159\ 6625997432196765724057044805996318619622288979913981649930547882378\ 33800/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^21 + 33423693472108267498332068712480662626723581588\ 1209133080394682106194773571425007478507249537803107690327798485817\ 2146756895009029877761464/76864222177120354647529189777370347006992\ 1563624772200469130687736968489355623406445545636944748655864413245\ 7439114873557336175051677*c_0101_4^20 - 5572306337622379955223094362315903052353960386506438623953617458611\ 9330114955223582170574422440920916445613452174399628015928900203955\ 17207/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^19 - 20276172468892124307613128461788701696924012473\ 1114618550959729651206792212812512410622281531891998046432177814590\ 7060485943189266353611052/25621407392373451549176396592456782335664\ 0521208257400156376895912322829785207802148515212314916218621471081\ 9146371624519112058350559*c_0101_4^18 + 7761290058617035085777516516318375846410652817154894210322704650129\ 3062199991829268833716095596314989441261887636020242177734381921927\ 8910/76864222177120354647529189777370347006992156362477220046913068\ 7736968489355623406445545636944748655864413245743911487355733617505\ 1677*c_0101_4^17 + 377701288781509774000297096398064244540415817434\ 8929918532790527285819481519049971318568247051303704880853449337582\ 393178972498374519406837/768642221771203546475291897773703470069921\ 5636247722004691306877369684893556234064455456369447486558644132457\ 439114873557336175051677*c_0101_4^16 + 3287779176209563497455732912837658778746993949031022369851746397740\ 0060425734925314612982670466784243430860128760827720470022210307615\ 4875/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^15 - 400246579024063079374963430089339286974026446115\ 7173407128878696886370773595154916860614201110006564959366889141504\ 63347565204135359184786/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^14 - 1395258984130723696779993621047653660795598394835546496912194370284\ 5749522250166370630670370185674973733444515344239339379419734512513\ 0159/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^13 + 162726378533938594533361556617108991220141582567\ 8827830175978810592015750584298817845245195957933029714526468951076\ 37067081570583222442350/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^12 + 6690115309659873558329571615460186481493127060632574213196651760640\ 8203302881694196960629804680738474857324282303830703459236002629346\ 903/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^11 - 2286861925205737918276293329865633658567404052776\ 5115700201882450327191404278260817958135264309495998712757974742202\ 6317626467216489775999/76864222177120354647529189777370347006992156\ 3624772200469130687736968489355623406445545636944748655864413245743\ 9114873557336175051677*c_0101_4^10 - 1447917525966074274269944622715076682042709853341576222390313837590\ 6599707891149738025393035692760152084539346963948676116243204305601\ 7937/76864222177120354647529189777370347006992156362477220046913068\ 7736968489355623406445545636944748655864413245743911487355733617505\ 1677*c_0101_4^9 + 6286691961985134907093141235400946152379338473289\ 8694151841323336769450891426177783332030643175425981575827534568027\ 028879201530093123801/768642221771203546475291897773703470069921563\ 6247722004691306877369684893556234064455456369447486558644132457439\ 114873557336175051677*c_0101_4^8 + 3665807689959426962761947120896460974283645693795675837115423762504\ 5612867640751926916315674955134992406579997747753318240012022689651\ 669/768642221771203546475291897773703470069921563624772200469130687\ 7369684893556234064455456369447486558644132457439114873557336175051\ 677*c_0101_4^7 - 18282463114588311689625820583263343353713964423866\ 0753154031948449944751258530037150865311347354977622285484221969214\ 54990452651205534535/7686422217712035464752918977737034700699215636\ 2477220046913068773696848935562340644554563694474865586441324574391\ 14873557336175051677*c_0101_4^6 - 393242182010030353187794020995407\ 5692911360139674983480780982415627146041968513760470497719862888093\ 87382731453551873752859229945348104/2562140739237345154917639659245\ 6782335664052120825740015637689591232282978520780214851521231491621\ 86214710819146371624519112058350559*c_0101_4^5 + 3578622750631242235958009730646570940040208867445003858006104101711\ 3015824674101634709070785773308846500788644487374004953973014486916\ 58/7686422217712035464752918977737034700699215636247722004691306877\ 3696848935562340644554563694474865586441324574391148735573361750516\ 77*c_0101_4^4 - 161373125736543600185076792982792993968350680702094\ 6332938705190479413112996004007124776445273988699851880346930671314\ 12975392679704919/2562140739237345154917639659245678233566405212082\ 5740015637689591232282978520780214851521231491621862147108191463716\ 24519112058350559*c_0101_4^3 - 129636673196530731252224886217559006\ 7571431210448751214032403698471138945438396082761585217678056794859\ 3642498379940230855112280236198/76864222177120354647529189777370347\ 0069921563624772200469130687736968489355623406445545636944748655864\ 4132457439114873557336175051677*c_0101_4^2 + 3751190214897253621342556325650796801301770020238699540237816586845\ 5643714953045409503896812001074595013116576148855931048978680855951\ /768642221771203546475291897773703470069921563624772200469130687736\ 9684893556234064455456369447486558644132457439114873557336175051677\ *c_0101_4 - 6164146726545368626109460834155166629611011903373882383\ 8205783219270496392851299051093173814364521362919668101785367905613\ 09521386907/7686422217712035464752918977737034700699215636247722004\ 6913068773696848935562340644554563694474865586441324574391148735573\ 36175051677, c_0011_5 + 154239829327368759274312718855629353770638087343724314775189\ 2639989645766677632477932795176264077181575668787688861165129009280\ 41793/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^38 - 76701887971848846741692374674850974592707292043\ 2960818959139154152559961203690651164477930986938751346677193840943\ 244985424406505660/256214073923734515491763965924567823356640521208\ 2574001563768959123228297852078021485152123149162186214710819146371\ 624519112058350559*c_0101_4^37 - 8350139000013633262941506571149060\ 3955773438436022743235722212204582852966002782565200740268196930731\ 55121026363064785565451243576024/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^36 + 4127062125665748809099778356655344105918758049599540158929039622128\ 6870940161897651061869155886407948278499867963612322493711156455992\ /256214073923734515491763965924567823356640521208257400156376895912\ 3228297852078021485152123149162186214710819146371624519112058350559\ *c_0101_4^35 + 1343785692838288505843341100784410720645638484225947\ 6958908495803601736784379215765783521005893995356669737291713664070\ 3918923071321305/25621407392373451549176396592456782335664052120825\ 7400156376895912322829785207802148515212314916218621471081914637162\ 4519112058350559*c_0101_4^34 - 579561254682850004958339703315067905\ 6111303436248358664312055547863968756660463884820962577953365892582\ 85303670099050501545719943003678/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^33 - 1488489796532885880749744505414491856193331822036199359645304411297\ 8876018922082534318120840465979852042348846088463137868911284921150\ 34/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^32 + 38792459504509888042956123076974793956323540376688\ 9147250059257364818466581955683503777164387684241413128249988276670\ 1973447259649243302/25621407392373451549176396592456782335664052120\ 8257400156376895912322829785207802148515212314916218621471081914637\ 1624519112058350559*c_0101_4^31 + 122394219373971809013372935376856\ 9455199803509728563054567078485134970198058504792608736045825048087\ 6995029127478721506355003471954638603/25621407392373451549176396592\ 4567823356640521208257400156376895912322829785207802148515212314916\ 2186214710819146371624519112058350559*c_0101_4^30 - 1258418597783910359433144510222963671374321968928864915684199752156\ 8022931297102914164608203701720474062588301103064983332328653952993\ 743/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^29 - 7139553799324427535973854201242547964455088784825\ 8045322910539825781258358561253572504782763642591535706818404393099\ 754158608732262703116/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^28 - 5964635974867122731928835365034823844487685750428973507518029221537\ 8639906253824851661382243784546307159763884588465773242392479549417\ 30/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^27 + 27575304409672502800320357672343676670190718039008\ 2086482073050662563741055315485716899544936270915360907524726757483\ 323280755108692606434/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^26 + 2487916944203225337817536917117233889100087450006738089218218531980\ 0099960476643717135308110581338555374999431972535374000840143207323\ 2745/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^25 - 633311871514160758295942587855905493172447694210\ 6003924619387879465481382099920838518404152169483770007103793357332\ 96216201217193380056834/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^24 - 1148097709989992270795829032123330047159883970071746883144179122638\ 3219272118098226400800535853287784026381899922593619960749259073923\ 61745/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^23 + 43152012113850158144579941223307588101767610385\ 4995938553485673885186482357680041382022841954533051449242835945512\ 384339105627072655809244/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^22 + 2248689625745250918173562079435214396632540773720924476191409586805\ 3635909636292242083633358514220929672782407944437206035468200109693\ 20972/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^21 + 93556851943746619012225550186733967318862683265\ 0585477737474921709494918615980393393740345585209792628840465135343\ 622481127038096439429574/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^20 - 1840723734960931705313254661659311706446565691538334443695752884550\ 3173038269458948605985878497473511204336112141729245579705198657601\ 36403/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^19 - 18317069693310151785858112496422910238579246522\ 4378439552963839262307723212160989853824125475938977084076390808815\ 5070339867861680416139435/25621407392373451549176396592456782335664\ 0521208257400156376895912322829785207802148515212314916218621471081\ 9146371624519112058350559*c_0101_4^18 + 3584300890825864858287877372506208566064562849147218478349326990728\ 5723759601806231787752944203341954240204955055978090185193238028682\ 0702/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^17 + 117628083632454878686590921062624859142401852544\ 7564987704520912635318331443760182226905131577585950600137574935923\ 950972032362360748128975/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^16 + 2380118730210981894770646797796311831109041068552885775065618001661\ 0344741692395988248104996895399338274781708673890067701651913760227\ 5217/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^15 - 392446911061315005812718816829223486083157176649\ 9825485826014722216241542854711827647676483606990827410272988962698\ 69692842956835325660107/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^14 - 1022803623424785287694088388960038416136067504560377645409510270227\ 0586527258909423502950357225819104745818962522932915585616720468203\ 2738/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^13 + 162480953324968838843796043959325121328958794135\ 0520349584492243726314801506839457086598323451810633736570734101318\ 77808049496525271643983/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^12 + 5098797410995737964171734206747858958489180015357726661192128904121\ 7242350199309478877884612131799404080906159907616993904641457815258\ 326/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^11 - 7679249287203698847388959923665693422816419591835\ 5014041577639518889356454569221844481795747594933785235571527343797\ 574538677127662055650/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^10 - 4055570401508721845971525349319643209826871876650368065019291291121\ 9171962939715068720285783704762065924644020929926452817840140511650\ 316/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^9 + 22759595383779108065476595259598987823606423867674\ 5014332002311870977530213522054736320938348106538036142423767335535\ 70188035392813611145/2562140739237345154917639659245678233566405212\ 0825740015637689591232282978520780214851521231491621862147108191463\ 71624519112058350559*c_0101_4^8 + 967608711458922848327318988192965\ 9119458876939657454414702675593916442919294516458622402443883973830\ 748784650141444026447517678288020316/256214073923734515491763965924\ 5678233566405212082574001563768959123228297852078021485152123149162\ 186214710819146371624519112058350559*c_0101_4^7 - 6663802434136883341100162262574872649923982002678579924985404298309\ 4596713982118045931246471730472019527617455424859684011392515321570\ 77/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^6 + 281545162835373840411511337807487171437389670603452\ 0013965339938289041770239199819248448940060158312349162662786321153\ 93019181517629468/2562140739237345154917639659245678233566405212082\ 5740015637689591232282978520780214851521231491621862147108191463716\ 24519112058350559*c_0101_4^5 + 119166634489086544270225265484006376\ 3190199349293064051860083078333995509577356616062195016465402609266\ 925690877739297039279102788871477/256214073923734515491763965924567\ 8233566405212082574001563768959123228297852078021485152123149162186\ 214710819146371624519112058350559*c_0101_4^4 - 2736342539488696969904067218731479090737082569134596280550301611567\ 2879663550904849577726221727923022411932471179319244281316936527675\ 0/25621407392373451549176396592456782335664052120825740015637689591\ 2322829785207802148515212314916218621471081914637162451911205835055\ 9*c_0101_4^3 + 1171726256540243777815298431128573526086885506787355\ 4048732081169987725216316556125077312333997771585884750412940076902\ 616071141164086/256214073923734515491763965924567823356640521208257\ 4001563768959123228297852078021485152123149162186214710819146371624\ 519112058350559*c_0101_4^2 + 16132709668293867475559815065851792715\ 4107004232730882635889136971767835972116105418752591784172384142997\ 42079085195661627474294015729/2562140739237345154917639659245678233\ 5664052120825740015637689591232282978520780214851521231491621862147\ 10819146371624519112058350559*c_0101_4 - 2078449068590514642111837272104159322177920593826040581548197198312\ 161142181048615819672784865688200104719106777829561295140758950313/\ 2562140739237345154917639659245678233566405212082574001563768959123\ 228297852078021485152123149162186214710819146371624519112058350559, c_0101_0 - 108082908016931591075737529871808463564258899179080807282279\ 4962314825284037600405789128103930801473485486126885331329870162126\ 55055/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^38 + 52187313259228166321211177833906197702516718806\ 5378699937913481405669793071525294104993440788600048385829017884441\ 723964198908236228/256214073923734515491763965924567823356640521208\ 2574001563768959123228297852078021485152123149162186214710819146371\ 624519112058350559*c_0101_4^37 + 5931705115039567910179710341525943\ 5188563939516772579934542149281591243867565783340965305244016439724\ 99693441314898788478085341941140/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^36 - 2809012183942962588870041878738459831556210594442663039566844588638\ 1050175495591834799610846366966025398466815296606065310358225690239\ /256214073923734515491763965924567823356640521208257400156376895912\ 3228297852078021485152123149162186214710819146371624519112058350559\ *c_0101_4^35 - 9848248857806738805935644720938166516806456635777783\ 4086981438357148744270125531727864933431489099239326265139888896987\ 502331373214757/256214073923734515491763965924567823356640521208257\ 4001563768959123228297852078021485152123149162186214710819146371624\ 519112058350559*c_0101_4^34 + 3933293321420612309849201724768179881\ 7467224932808929490058550212725624445691618321026385707736716161057\ 3147323007882231964570524815310/25621407392373451549176396592456782\ 3356640521208257400156376895912322829785207802148515212314916218621\ 4710819146371624519112058350559*c_0101_4^33 + 1103644931973255102054318306180165108233198885946287386915016357069\ 4576333478424501188134297011163447995185753729250551828737845351304\ 55/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^32 - 25788929315497180186734899367688489523388984466063\ 9217440043356946223931362606711857266914622813656536605328805062016\ 2059994353505204188/25621407392373451549176396592456782335664052120\ 8257400156376895912322829785207802148515212314916218621471081914637\ 1624519112058350559*c_0101_4^31 - 898938394692125748986897155421728\ 2641257895515801553563645581532610891176805364719252563360367191658\ 391550653054316209946426643470704417/256214073923734515491763965924\ 5678233566405212082574001563768959123228297852078021485152123149162\ 186214710819146371624519112058350559*c_0101_4^30 + 7657127417176331028192733108976044171724938638886617960133900001494\ 3344387734733768059938771720927517520611604002678541697457908153466\ 86/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^29 + 51474678955466382476673060785777104659992630497538\ 7360952328073587066837095444335463593970299994506666113910846949691\ 48941205724425757926/2562140739237345154917639659245678233566405212\ 0825740015637689591232282978520780214851521231491621862147108191463\ 71624519112058350559*c_0101_4^28 + 1110401937657875902733185344474606531397393694201044544451225154281\ 7985890900638503207413384435752248614257255289519906315961403323485\ 262/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^27 - 1936939229174084920237614979947279556592614333126\ 7781867845079472469292684348588859326667575643638170388663040197912\ 7652512524808056360885/25621407392373451549176396592456782335664052\ 1208257400156376895912322829785207802148515212314916218621471081914\ 6371624519112058350559*c_0101_4^26 - 2018248756083876938754943519391501583243448381839343241757883527651\ 2104887639165765828855507844231633684033342728923450260269724964956\ 5076/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^25 + 423039895335708521309677103095074244557405341446\ 7241823243781459522944756822012366515451058254790937542968926454275\ 10642106558424719733999/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^24 + 8706258910994134427121974416308500139300383563460247418205189055355\ 8366906586233608107198790272890694329344831515481887248230562750361\ 8088/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^23 - 197612697762137133259060993874197913405852888516\ 5488420725707171482153911875722495242965793515683756673443812318580\ 80489634304377252097352/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^22 - 1632786559515100086257918558812703996671706565882511411807370292580\ 6078793409785922504226717866342543435004879330781639316967056274135\ 76186/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^21 - 87024030424106303692275849028383852772843618706\ 4998187226792423849655766921735203055208831901754475800124725053680\ 786419717415996137991632/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^20 + 1224314301759358949717498587973561171172844368193380462140189474964\ 6155103935530092545005316402677008984716305408634756486356091082378\ 75699/2562140739237345154917639659245678233566405212082574001563768\ 9591232282978520780214851521231491621862147108191463716245191120583\ 50559*c_0101_4^19 + 14714009561177484413776033311010006433390102019\ 5579433843677772696646567427081518019509391384572443791682504949548\ 2692056297708886741748233/25621407392373451549176396592456782335664\ 0521208257400156376895912322829785207802148515212314916218621471081\ 9146371624519112058350559*c_0101_4^18 - 9276689160987613732878513275484505509520370751306162125689380056668\ 5444206355605894916712809100960056540490211879919007846250833120589\ 794/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^17 - 8745781939346249059504231435919609423035430788881\ 1559035006394488920783488875798028559225983872774338603354727375245\ 0161195929285495224625/25621407392373451549176396592456782335664052\ 1208257400156376895912322829785207802148515212314916218621471081914\ 6371624519112058350559*c_0101_4^16 - 2755322328782330438529772068213369263834660498188283886882992991722\ 2884056138796322706489117124262457531784979939684236502688221950192\ 3025/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^15 + 261267762851356760267831987096070502195992893539\ 6548896776489561643878424660744496664876303383369762043326365522742\ 06705636814974098179552/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^14 + 1095568258614853893628810462161488928797409665754011729564332658170\ 1970417678433657414162115296136735315051046401399980440470950268169\ 6186/25621407392373451549176396592456782335664052120825740015637689\ 5912322829785207802148515212314916218621471081914637162451911205835\ 0559*c_0101_4^13 - 107693213064156759464915653646931916441616438349\ 8605275147696016125315955030257174138147683119906342005541373996288\ 26209710557371700659418/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^12 - 5131508874610561685625809609335114604058460979939983194488444493802\ 6806728974395774811325300298579730334116943070331296766251845222543\ 320/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^11 + 5057328687560614079011869095509133238524038198022\ 7193675426920977707940978782595247164263099648258662547011326349594\ 748155189717722505373/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^10 + 3623877267938059427341477537153740922557177337294814269819200844755\ 2941250246225979259877174891949539697186135942057383755695065004144\ 489/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^9 - 12719768045617683087055530251975500871307152060695\ 4630729354668617885829086022266283657191183820493243413636720292150\ 98143947340115575085/2562140739237345154917639659245678233566405212\ 0825740015637689591232282978520780214851521231491621862147108191463\ 71624519112058350559*c_0101_4^8 - 921296001588178689563720634526319\ 8300213417559423779274269300437480842708440147699575171204259831968\ 965960070650988767294452929089004547/256214073923734515491763965924\ 5678233566405212082574001563768959123228297852078021485152123149162\ 186214710819146371624519112058350559*c_0101_4^7 + 3974715569170186109921396771986713075932193884348879400735173354244\ 7383775750292063274080783524746852607715538919315502968354419100775\ 05/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^6 + 401783800046841638430323414455051779793405736380182\ 0869134938898212051677645445086203896110335589722713445059870906756\ 15095486652018633/2562140739237345154917639659245678233566405212082\ 5740015637689591232282978520780214851521231491621862147108191463716\ 24519112058350559*c_0101_4^5 - 896603897644710413380145178130656163\ 5272587663966338924021808679975117129065380274237953919644146775346\ 31160582820806484592723767695117/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^4 + 9810273936673428220329521258745450632826274046941635567887595375440\ 4126387062682649900140032188179321889186392525205484138607819944034\ /256214073923734515491763965924567823356640521208257400156376895912\ 3228297852078021485152123149162186214710819146371624519112058350559\ *c_0101_4^3 + 55476479861119800065060689840558542117674035400553170\ 4476572149187123725067141611304794855594873452523723437251923153081\ 4412122814974/25621407392373451549176396592456782335664052120825740\ 0156376895912322829785207802148515212314916218621471081914637162451\ 9112058350559*c_0101_4^2 - 1100806514584787800822075818991508668969\ 3860420592078653541930521617157086669272464037362136311458340510038\ 254465681036427097805155276/256214073923734515491763965924567823356\ 6405212082574001563768959123228297852078021485152123149162186214710\ 819146371624519112058350559*c_0101_4 + 2059704038749155778795530307278099091261229440299234190527325264196\ 106929892947831325607152463544237307442353393666667553414722299451/\ 2562140739237345154917639659245678233566405212082574001563768959123\ 228297852078021485152123149162186214710819146371624519112058350559, c_0101_3 - 100847177841052597493535203439754167724731090044113038698198\ 8450803561798591465581558221939271871540596675286856874185067834979\ 01051/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^38 + 18633132778854247090047688484017505831496989989\ 8607494468169084217038958991024450629987323933480700308172380178597\ 280466425539452837/256214073923734515491763965924567823356640521208\ 2574001563768959123228297852078021485152123149162186214710819146371\ 624519112058350559*c_0101_4^37 + 1716816256800167592564177167915435\ 8980353821417905933883071772377834708708200686373222286449721843063\ 67474160734276454310881390526516/2562140739237345154917639659245678\ 2335664052120825740015637689591232282978520780214851521231491621862\ 14710819146371624519112058350559*c_0101_4^36 - 2997329763194260574734569914339090492311346199262303483901225749301\ 3472259738584522114226131275707720255942539989633607437875625632898\ /768642221771203546475291897773703470069921563624772200469130687736\ 9684893556234064455456369447486558644132457439114873557336175051677\ *c_0101_4^35 - 7126634510052362516124438759210120745548242974597701\ 3305961870698030697958869238616913498270059641020454635515664981181\ 802328296552794/768642221771203546475291897773703470069921563624772\ 2004691306877369684893556234064455456369447486558644132457439114873\ 557336175051677*c_0101_4^34 + 1408143201512255300635759554404742864\ 8372344860613063846407907478854818205827066821932275230996079330417\ 8956890133261283301352669201211/25621407392373451549176396592456782\ 3356640521208257400156376895912322829785207802148515212314916218621\ 4710819146371624519112058350559*c_0101_4^33 + 2464845456196067326546119565598751244774224631724606367612084006840\ 7273538237480921172039551722520460000100708564153133737134076414042\ 7/25621407392373451549176396592456782335664052120825740015637689591\ 2322829785207802148515212314916218621471081914637162451911205835055\ 9*c_0101_4^32 - 999994218000127386470684224211000020143309258818281\ 3566364570437698612419563026218821486053541575127293638889426710199\ 74462835417702195/2562140739237345154917639659245678233566405212082\ 5740015637689591232282978520780214851521231491621862147108191463716\ 24519112058350559*c_0101_4^31 - 63673326459195464544468568699930162\ 2351754350937683228385125860734553654636388336140116273945000885386\ 2493633227297090488238366000752634/76864222177120354647529189777370\ 3470069921563624772200469130687736968489355623406445545636944748655\ 8644132457439114873557336175051677*c_0101_4^30 + 4056909891064542371800222080651158552205477094444202389789552885690\ 3718117443523696434739900919335621598930128460099831118142309996959\ 78/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^29 + 13468100066472111610254113809117838128958624671477\ 3239444758441824597858694573351172236338676289671648060054100542492\ 83142998069311100749/2562140739237345154917639659245678233566405212\ 0825740015637689591232282978520780214851521231491621862147108191463\ 71624519112058350559*c_0101_4^28 - 2048409356341755388718524140373844648554626373976626793950496657804\ 1979570508041607857007319888009140805756620820467184287525233147482\ 167/768642221771203546475291897773703470069921563624772200469130687\ 7369684893556234064455456369447486558644132457439114873557336175051\ 677*c_0101_4^27 - 5765428441017524870491451232730196264790473782899\ 9367919907593267792228737218212240777186522625541226310384629946203\ 296384703969283656990/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^26 - 6142207818471468103129092145922828995440496125509319388009479048037\ 3070978842971507629096543554427472188660851116853358181776291549520\ 439/768642221771203546475291897773703470069921563624772200469130687\ 7369684893556234064455456369447486558644132457439114873557336175051\ 677*c_0101_4^25 + 1562157384535270075010447446745388371045627536131\ 2037419884849331001645275164617819113488062511505336269219263846493\ 3627090036510999734513/25621407392373451549176396592456782335664052\ 1208257400156376895912322829785207802148515212314916218621471081914\ 6371624519112058350559*c_0101_4^24 + 4890235535391933685243012271574638531692720044948628821626313330215\ 9451491695367198992415072206382729070836073712465286752209182701032\ 5788/76864222177120354647529189777370347006992156362477220046913068\ 7736968489355623406445545636944748655864413245743911487355733617505\ 1677*c_0101_4^23 - 205990578970366502329564500864739123088815990126\ 9485644469246972901102314153652032016558037322161586170845348947734\ 86712272480786079397174/2562140739237345154917639659245678233566405\ 2120825740015637689591232282978520780214851521231491621862147108191\ 46371624519112058350559*c_0101_4^22 - 1173977911641868635306854800416972372659939587049036583176277225052\ 3915008672506678269689019975892070594302088320835023515112925954560\ 52875/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^21 + 14607919244353263255632341917965068163845417845\ 3564725760863260561929488143240735802586187407845204269910926347224\ 410880328725618690356660/768642221771203546475291897773703470069921\ 5636247722004691306877369684893556234064455456369447486558644132457\ 439114873557336175051677*c_0101_4^20 + 1280830759563536585057122500085930521733507864892151713134372943329\ 9345021990133571887538268883935197722492023235148172741021959322108\ 25366/7686422217712035464752918977737034700699215636247722004691306\ 8773696848935562340644554563694474865586441324574391148735573361750\ 51677*c_0101_4^19 + 14383065479404116604493587078482891343538164679\ 6822706474838104550357424830315899216196167584480768623279991070788\ 001962617620490441316906/256214073923734515491763965924567823356640\ 5212082574001563768959123228297852078021485152123149162186214710819\ 146371624519112058350559*c_0101_4^18 - 6999105177090077937644801992592113906732907352348759329419918101871\ 4235404724906885830746185892477997637267773321546037786217865284916\ 3305/76864222177120354647529189777370347006992156362477220046913068\ 7736968489355623406445545636944748655864413245743911487355733617505\ 1677*c_0101_4^17 - 450958258216800948494462064168088754481990811064\ 2352872101545054435570048875030455459930634430595520591993281254528\ 15254507946817340787576/7686422217712035464752918977737034700699215\ 6362477220046913068773696848935562340644554563694474865586441324574\ 39114873557336175051677*c_0101_4^16 + 8162842702623891165422384640115342534022548135165453211858178387546\ 6065322144014287719254427220769788829717875253559535180097160013203\ 882/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^15 + 7976891881775230932892791907481040750527362594050\ 5688872105044809772475109181297455404243096890986356544496311244204\ 915637502626475105422/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^14 - 3388966866968961231509398615270748558628992504224498972802319676798\ 9424366072612136960505440259372219872589275219226542572493397683271\ 002/256214073923734515491763965924567823356640521208257400156376895\ 9123228297852078021485152123149162186214710819146371624519112058350\ 559*c_0101_4^13 - 3949718009483989091527336525572233355876376369559\ 4130728159739953583217958386511965146094186784397943027801167950326\ 755589592140119489678/256214073923734515491763965924567823356640521\ 2082574001563768959123228297852078021485152123149162186214710819146\ 371624519112058350559*c_0101_4^12 + 9808660231741660749704403706125170923967334431919593211592627538390\ 2667485201956988123532957474534768265747959350950095059427061719610\ 94/2562140739237345154917639659245678233566405212082574001563768959\ 1232282978520780214851521231491621862147108191463716245191120583505\ 59*c_0101_4^11 + 57537054057416782689996208672949862358049420509598\ 9251320955510659548480856928263473996399605233437841592018609194701\ 21253227497963699840/7686422217712035464752918977737034700699215636\ 2477220046913068773696848935562340644554563694474865586441324574391\ 14873557336175051677*c_0101_4^10 - 3995306686514437276733951853035165961573660456574963841136583790515\ 2705366746932164861367682377227782720897628387879625719910835788300\ 27/7686422217712035464752918977737034700699215636247722004691306877\ 3696848935562340644554563694474865586441324574391148735573361750516\ 77*c_0101_4^9 - 231144323866622103769248794592902745907501598312910\ 2555393112472703967791017060855973627825405973381081810181320918339\ 6407051290035404087/76864222177120354647529189777370347006992156362\ 4772200469130687736968489355623406445545636944748655864413245743911\ 4873557336175051677*c_0101_4^8 + 4858880763208257872764758076943151\ 2910442684767620149283505382091968227614522228449195401498652225145\ 95079376123033565081538911538355821/7686422217712035464752918977737\ 0347006992156362477220046913068773696848935562340644554563694474865\ 58644132457439114873557336175051677*c_0101_4^7 + 6371353462774326727274850182856084915538321607511267795161306750745\ 8035545466952168474287123475409786549739495992637606167519154754825\ 86/7686422217712035464752918977737034700699215636247722004691306877\ 3696848935562340644554563694474865586441324574391148735573361750516\ 77*c_0101_4^6 - 842527619970812270213593170454175815506982320904037\ 8911698506802026393584244413589467869220045760771675905174243220274\ 26274916304100280/2562140739237345154917639659245678233566405212082\ 5740015637689591232282978520780214851521231491621862147108191463716\ 24519112058350559*c_0101_4^5 - 520420729532707583844980686609048547\ 6370875572876474416779799231835814369222469012584195490827654581298\ 49872333384918815718742885140131/7686422217712035464752918977737034\ 7006992156362477220046913068773696848935562340644554563694474865586\ 44132457439114873557336175051677*c_0101_4^4 + 1302256553531418765252160824697407272577492337431746019346334343330\ 4944444817041469295362787088335884223225255733044589277191898614596\ 5/25621407392373451549176396592456782335664052120825740015637689591\ 2322829785207802148515212314916218621471081914637162451911205835055\ 9*c_0101_4^3 - 7032921987074097977949376696467116751925889017770478\ 4122449365998327881651626209118522630995617715781679488704216962434\ 228215054782313/768642221771203546475291897773703470069921563624772\ 2004691306877369684893556234064455456369447486558644132457439114873\ 557336175051677*c_0101_4^2 - 14881925613566942247813444575575639838\ 7506495771957626565291050871653123493508998014641679844129759207183\ 21965692694192701271601695828/7686422217712035464752918977737034700\ 6992156362477220046913068773696848935562340644554563694474865586441\ 32457439114873557336175051677*c_0101_4 + 1398381915096204940650869167725944624156978308829807847098212857398\ 493305097165329085258891988063149893896853237610212189402805548840/\ 7686422217712035464752918977737034700699215636247722004691306877369\ 684893556234064455456369447486558644132457439114873557336175051677, c_0101_4^39 - 5*c_0101_4^38 - 54*c_0101_4^37 + 269*c_0101_4^36 + 864*c_0101_4^35 - 3779*c_0101_4^34 - 9555*c_0101_4^33 + 25383*c_0101_4^32 + 78767*c_0101_4^31 - 83473*c_0101_4^30 - 461322*c_0101_4^29 - 28081*c_0101_4^28 + 1791137*c_0101_4^27 + 1575619*c_0101_4^26 - 4151129*c_0101_4^25 - 7376047*c_0101_4^24 + 2972759*c_0101_4^23 + 14613716*c_0101_4^22 + 5811376*c_0101_4^21 - 12228960*c_0101_4^20 - 11857457*c_0101_4^19 + 2642971*c_0101_4^18 + 7873188*c_0101_4^17 + 1481750*c_0101_4^16 - 2730492*c_0101_4^15 - 724683*c_0101_4^14 + 1101978*c_0101_4^13 + 360447*c_0101_4^12 - 516961*c_0101_4^11 - 273555*c_0101_4^10 + 156795*c_0101_4^9 + 71178*c_0101_4^8 - 43968*c_0101_4^7 - 1720*c_0101_4^6 + 8182*c_0101_4^5 - 1130*c_0101_4^4 - 227*c_0101_4^3 + 104*c_0101_4^2 - 7*c_0101_4 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.310 seconds, Total memory usage: 32.09MB