Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 2968595850] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2377 geometric_solution 5.74553657 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 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 1 -1 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 0 0 0 -1.475269034183 1.883808345252 0 0 3 2 0132 3201 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215814285544 0.498616494241 4 5 1 3 0132 0132 0132 1302 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 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.627342686804 0.629820845849 5 4 2 1 2310 2310 2031 0132 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 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.627342686804 0.629820845849 2 4 4 3 0132 1230 3012 3201 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.206129619938 0.797006364755 6 2 3 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 1 0 -1 0 -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 0 0 0 0.379811958955 0.536806934726 5 6 6 5 0132 3201 2310 1023 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 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.413099874773 0.679775115160 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 2742708757374085404767544810785735912624327067146060171861789172292\ 8184702773408365140956104021176117329553/22425850205682992788666092\ 0659150223982860997148019820301461017248792028343953589439404693679\ 444093558037*c_0101_6^34 + 1219102687215431800428406907026161924574\ 8118202878120238667672357986981405774517914308860855355415132656742\ 8/74752834018943309295553640219716741327620332382673273433820339082\ 930676114651196479801564559814697852679*c_0101_6^33 - 1148119780714081932100917875375020779695192677548993349375122511677\ 8195424402122646197283229043239337667911/47714574905708495295034238\ 4381170689325236164144723021918002164359131975199901254126392965275\ 4129650171*c_0101_6^32 - 285123221048769331454057040651446449396914\ 7416706235902697690882920823310844365193251686077432868877834449909\ /747528340189433092955536402197167413276203323826732734338203390829\ 30676114651196479801564559814697852679*c_0101_6^31 + 1989616915532292261420631043378916672083544335154293577252454245226\ 0192881075143730137671883758235045190962374/22425850205682992788666\ 0920659150223982860997148019820301461017248792028343953589439404693\ 679444093558037*c_0101_6^30 + 1117302995853260772344406440824244921\ 5236200753054554559937986875852401016509072575469533976925181417444\ 744398/320369288652614182695229886655928891404087138782885457573515\ 73892684575477707655634200670525634870508291*c_0101_6^29 - 2090698388272377048619784031479306108306746644194373633727698240026\ 06679735807165342970536119311691608267658165/2242585020568299278866\ 6092065915022398286099714801982030146101724879202834395358943940469\ 3679444093558037*c_0101_6^28 - 170691328254821905031003667634288930\ 8163731563218381253889428646807187231537691622571755278805160279308\ 27697622/2242585020568299278866609206591502239828609971480198203014\ 61017248792028343953589439404693679444093558037*c_0101_6^27 + 1529684914044571985683336961852963733199890982146401019789073058547\ 231620591652941542011446728088399194251210266/224258502056829927886\ 6609206591502239828609971480198203014610172487920283439535894394046\ 93679444093558037*c_0101_6^26 - 12042200564591106589576261827137434\ 3780342693091294171883081030944619928445240976443211554310441020904\ 8178772772/22425850205682992788666092065915022398286099714801982030\ 1461017248792028343953589439404693679444093558037*c_0101_6^25 - 2299357551248558434577912818987792036558512872681844313868653168554\ 388084448837817217103373866410678068202751144/747528340189433092955\ 5364021971674132762033238267327343382033908293067611465119647980156\ 4559814697852679*c_0101_6^24 + 556553255364410521071158719411624537\ 6072476737554183211497747003770136958086275456866042113087033264689\ 373800058/224258502056829927886660920659150223982860997148019820301\ 461017248792028343953589439404693679444093558037*c_0101_6^23 + 1122437869113467701710405789864244807148442540063045928261722553769\ 171931645592596907209277028656531258754617628/320369288652614182695\ 2298866559288914040871387828854575735157389268457547770765563420067\ 0525634870508291*c_0101_6^22 - 193243092033221527365209324272985865\ 4870720029552336398717854307488261633299673826087974491620571129194\ 6791876516/22425850205682992788666092065915022398286099714801982030\ 1461017248792028343953589439404693679444093558037*c_0101_6^21 + 4337893337417226752985366150594099629552514268398731496913989983945\ 767420926386983544857855112145024232311045323/224258502056829927886\ 6609206591502239828609971480198203014610172487920283439535894394046\ 93679444093558037*c_0101_6^20 + 43717554185317619099479371933025709\ 2447174751593897603660652059592310582038981012897997511259487045263\ 8660030016/32036928865261418269522988665592889140408713878288545757\ 351573892684575477707655634200670525634870508291*c_0101_6^19 - 7741185064041249167290631553187209564307037424964543434851108719806\ 311110250044825132516042586712462739771979071/747528340189433092955\ 5364021971674132762033238267327343382033908293067611465119647980156\ 4559814697852679*c_0101_6^18 - 209486430890935460211552096908128187\ 8792061371225331823795112176454009822476853135743656018266450818783\ 7881675071/22425850205682992788666092065915022398286099714801982030\ 1461017248792028343953589439404693679444093558037*c_0101_6^17 + 5471251707151935761015156830651482058860970278528382323751737795903\ 0761194359130324233087133227470972549573295101/22425850205682992788\ 6660920659150223982860997148019820301461017248792028343953589439404\ 693679444093558037*c_0101_6^16 + 1744049260446851375205695670117583\ 7039800259348781911771990588825319659605894819671781173524571408726\ 737605401070/224258502056829927886660920659150223982860997148019820\ 301461017248792028343953589439404693679444093558037*c_0101_6^15 - 5733976643852682658590496688822421018090978276325971974690212846511\ 3440064213748513793527775617766063876167994027/22425850205682992788\ 6660920659150223982860997148019820301461017248792028343953589439404\ 693679444093558037*c_0101_6^14 - 7124208550221180366354953856825418\ 7470864122553914845351767109344367889414979370502051392417689442067\ 71497428575/2242585020568299278866609206591502239828609971480198203\ 01461017248792028343953589439404693679444093558037*c_0101_6^13 + 1909486460504513821014921272712655195713563065745314103204675893526\ 199162440653722129588486877932064175328858023/106789762884204727565\ 0766288853096304680290462609618191911719129756152515923588521140022\ 3508544956836097*c_0101_6^12 - 112929250949334379013721563243684500\ 0250189303598056233897952093699780104459614769988318789541828179090\ 317440712/224258502056829927886660920659150223982860997148019820301\ 461017248792028343953589439404693679444093558037*c_0101_6^11 - 1177104280323774946836578449514942568586408049754392093120313557586\ 27833371715634698206750737134420719864641649/1186552920935608084056\ 4069876145514496447671806773535465685768108401694621373205790444692\ 78727217426233*c_0101_6^10 + 37060474935268988636246647746507224213\ 1906547680612228327631175379892109229457816345230560362757823099766\ 8014414/22425850205682992788666092065915022398286099714801982030146\ 1017248792028343953589439404693679444093558037*c_0101_6^9 + 7554337408636461329222191624890146125869726867191806826865516969982\ 973759908268611101665859119693114015854030633/224258502056829927886\ 6609206591502239828609971480198203014610172487920283439535894394046\ 93679444093558037*c_0101_6^8 - 193977083604187742076355214097642296\ 4797975107361506960063449706821115556697128184726810554602624003010\ 532329311/224258502056829927886660920659150223982860997148019820301\ 461017248792028343953589439404693679444093558037*c_0101_6^7 - 1855914555361302645702964915127184919254776096211188173813235338388\ 73247285197060683385567799704233983833801106/3203692886526141826952\ 2988665592889140408713878288545757351573892684575477707655634200670\ 525634870508291*c_0101_6^6 + 35316775761322755529597999608022149311\ 0389576681737685860048285930129438277443396043211605052131665880767\ 930422/224258502056829927886660920659150223982860997148019820301461\ 017248792028343953589439404693679444093558037*c_0101_6^5 + 1838588227031593276013788471615226344477423871859073152384360366969\ 74615024253997281715763921921398565088758656/2242585020568299278866\ 6092065915022398286099714801982030146101724879202834395358943940469\ 3679444093558037*c_0101_6^4 - 1862265526239337480872947690880934756\ 9364677566718131406591040869511674454859963729288342646649731411422\ 8504/35596587628068242521692209628436543489343015420320606397057304\ 32520508386411961737133407836181652278699*c_0101_6^3 - 2978547510538495018117877583625865115781227602495765198688469995187\ 636827154954354758820086322669687085897300/249176113396477697651845\ 4673990558044254011079422442447794011302764355870488373215993385485\ 3271565950893*c_0101_6^2 + 1419622824213306884294340718152224317800\ 4673294120186912265694741744429768765800075637043060044239472235339\ 89/2242585020568299278866609206591502239828609971480198203014610172\ 48792028343953589439404693679444093558037*c_0101_6 + 8801269255057815075537185808753132932021569944417184312209842110778\ 53518685951868142390197646304412669346005/2242585020568299278866609\ 2065915022398286099714801982030146101724879202834395358943940469367\ 9444093558037, c_0011_0 - 1, c_0011_2 + 211800761966679068621687356666492211882519220822599236991136\ 124748105942708797022417808302776925/525078812932406313039076373771\ 94888259144826032045248663265763606601569431240463129294567554917*c\ _0101_6^34 - 537506505424035213238970186475102338256277138987016202\ 209504051209709232053141572523716938733661/175026270977468771013025\ 4579239829608638160867734841622108858786886718981041348770976485585\ 1639*c_0101_6^33 - 452654217002234617258260637942211771643837668749\ 9012995843134567573280213080708803051391676682081/52507881293240631\ 3039076373771948882591448260320452486632657636066015694312404631292\ 94567554917*c_0101_6^32 + 12102853864615280607597781048569659490815\ 208590670712472402773790247354773794758176661680679054208/175026270\ 9774687710130254579239829608638160867734841622108858786886718981041\ 3487709764855851639*c_0101_6^31 + 412435868090429969756525497673306\ 40896365336592904086165276777277622187622156052102345294823074492/5\ 2507881293240631303907637377194888259144826032045248663265763606601\ 569431240463129294567554917*c_0101_6^30 - 2816258456860889045997913736057340195285022272061368330761082407493\ 01688960916792759269677306458299/5250788129324063130390763737719488\ 8259144826032045248663265763606601569431240463129294567554917*c_010\ 1_6^29 + 1399369457694753247865460502640521566141114281955081568035\ 40122969832671771424588093857596985764374/5250788129324063130390763\ 7377194888259144826032045248663265763606601569431240463129294567554\ 917*c_0101_6^28 + 1461987074590801475029839067460049450173029488911\ 074731546512448013326702052983277499613515498736235/525078812932406\ 3130390763737719488825914482603204524866326576360660156943124046312\ 9294567554917*c_0101_6^27 - 334926729819091470405763221071527275289\ 6123323078469039208526674529381212401828568741115435490448863/52507\ 8812932406313039076373771948882591448260320452486632657636066015694\ 31240463129294567554917*c_0101_6^26 - 6142769858135501612090271026412895217525666685342363864175996760987\ 513930673318075719458998889737095/525078812932406313039076373771948\ 88259144826032045248663265763606601569431240463129294567554917*c_01\ 01_6^25 + 370937017779768164474910455420531594767261547349911848409\ 9675240414896555946447491048007101648075321/17502627097746877101302\ 5457923982960863816086773484162210885878688671898104134877097648558\ 51639*c_0101_6^24 + 25360847963887487641234372850982088169223719306\ 95713588586969424206010447643805017374984922801890152/5250788129324\ 0631303907637377194888259144826032045248663265763606601569431240463\ 129294567554917*c_0101_6^23 - 2502314053985390908745150548558480443\ 1675648377956190354314127456124473061163757761169548472757978186/52\ 5078812932406313039076373771948882591448260320452486632657636066015\ 69431240463129294567554917*c_0101_6^22 + 2080340935949530145137814558167469809615367262842208078458363512427\ 1510737572581182113629530570687873/52507881293240631303907637377194\ 888259144826032045248663265763606601569431240463129294567554917*c_0\ 101_6^21 + 28035467827980508078647271738094880653508197480050987752\ 495630933488627185325176825159126951673501873/525078812932406313039\ 0763737719488825914482603204524866326576360660156943124046312929456\ 7554917*c_0101_6^20 - 458519718060357426062407068178698883048524934\ 28932505653337775127688604319765065438313579224789125758/5250788129\ 3240631303907637377194888259144826032045248663265763606601569431240\ 463129294567554917*c_0101_6^19 - 9788169415323899351860435016127818\ 4427548125356494933748576826787752703513250418960595324597027748/17\ 5026270977468771013025457923982960863816086773484162210885878688671\ 89810413487709764855851639*c_0101_6^18 + 7615776091883725005041876316011287022472788355446356513531326735987\ 9975156291825172096319615205845554/52507881293240631303907637377194\ 888259144826032045248663265763606601569431240463129294567554917*c_0\ 101_6^17 - 20876474388328956489845006381883815541461331683668770585\ 950458280307069806530294594028539801466451856/525078812932406313039\ 0763737719488825914482603204524866326576360660156943124046312929456\ 7554917*c_0101_6^16 - 748728804387794434815318265602936019317133346\ 30883139707595012188610815229142843454073235431378646177/5250788129\ 3240631303907637377194888259144826032045248663265763606601569431240\ 463129294567554917*c_0101_6^15 + 3102923049681221809174101418557759\ 8925008998443424430355670018390253178210915604327549063525478590121\ /525078812932406313039076373771948882591448260320452486632657636066\ 01569431240463129294567554917*c_0101_6^14 + 4813059814430879516597258115975121002553597002807032680449052809774\ 9905012489783790773891267914223305/52507881293240631303907637377194\ 888259144826032045248663265763606601569431240463129294567554917*c_0\ 101_6^13 - 92096264706620055548175473347290482003542927844407293688\ 14715553137116791722361773778290826468517595/1750262709774687710130\ 2545792398296086381608677348416221088587868867189810413487709764855\ 851639*c_0101_6^12 - 2327587792749915398564649524722143949515851101\ 4131446615921916894373914202879068236297220166668319767/52507881293\ 2406313039076373771948882591448260320452486632657636066015694312404\ 63129294567554917*c_0101_6^11 + 66381813631276642071821394673993640\ 2480096681516074634154420075139063408176867353672180534580241940/19\ 4473634419409745570028286582203289848684540859426846900984309654079\ 8867823720856640539539071*c_0101_6^10 + 5748998170536639277984342904764628841034923356127043706297236694847\ 986326197739165768431614256672893/525078812932406313039076373771948\ 88259144826032045248663265763606601569431240463129294567554917*c_01\ 01_6^9 - 6605219074724531858539870658576363866420712354792462309943\ 911963802336763294906197344364860465953805/525078812932406313039076\ 3737719488825914482603204524866326576360660156943124046312929456755\ 4917*c_0101_6^8 - 1651578121568464623470522521041447621125641846181\ 89364178471184550665405675112636192808747215407039/5250788129324063\ 1303907637377194888259144826032045248663265763606601569431240463129\ 294567554917*c_0101_6^7 + 11376954433132724256222782761522813949482\ 17438040480280389777268926193273480871758976396076176947618/5250788\ 1293240631303907637377194888259144826032045248663265763606601569431\ 240463129294567554917*c_0101_6^6 - 2106495661913726986520720189378681548455694887379011372844384492299\ 1138744588806125164858693463752/52507881293240631303907637377194888\ 259144826032045248663265763606601569431240463129294567554917*c_0101\ _6^5 - 116284096070498384133696690866219938475530335855969736226577\ 111104831501772412654822537446502317962/525078812932406313039076373\ 7719488825914482603204524866326576360660156943124046312929456755491\ 7*c_0101_6^4 - 2115476753029994336550367273521567139542387962637096\ 904534967547051666713394576643018172513417480/583420903258229236710\ 0848597466098695460536225782805407029529289622396603471162569921618\ 617213*c_0101_6^3 + 19294057812539212784139924113112459636586672056\ 40842492588702334290800125071123062246467425145672/5834209032582292\ 3671008485974660986954605362257828054070295292896223966034711625699\ 21618617213*c_0101_6^2 - 234057834177490265204966374951096966923937\ 994301850798646628484648621623224134451853751173679313/525078812932\ 4063130390763737719488825914482603204524866326576360660156943124046\ 3129294567554917*c_0101_6 - 551763357004033471270655780053186282011\ 337907096843128952184664039020087280321926460689253090237/525078812\ 9324063130390763737719488825914482603204524866326576360660156943124\ 0463129294567554917, c_0101_0 + 108748517738828882464111219600388694733048316557590320777195\ 91236699471743587367573491/1277476638321689282107841536176232847191\ 762758471307249213524317030557750587049950493*c_0101_6^34 - 7430029925874723481851648666697374153980219039045919690662245600344\ 9377046375311014123/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493*c_0101_6^33 - 2941050940450210086045521690935796351065647670873720701875992271279\ 78478766429559649648/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6^32 + 1660923278477770857901375450377114661522500137953519301301234947664\ 563700676412423433514/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^31 + 3503682223752211594302260741662534551022182001973798211462237350407\ 919363367441514463000/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^30 - 1231565227010764450486873991846201148207242756513574670715355339584\ 1703004569707198789219/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^29 - 3384279869905650493952305135609348113521714348668263104798535367447\ 950177375195243995997/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^28 + 7692153963912605134698896540839954973986052494050416642403721881769\ 6936336668861451119672/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^27 - 1124875453090454754400150600459746454300276599930332803911708736607\ 65918438060307286863565/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^26 - 4288503155319341651521652101442270567321971004957752116857933847517\ 08091032601875313036071/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^25 + 2840646680658770037540068400073868635256881881989933645679547819408\ 77236715459701665217820/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^24 + 4777290309222272044468834333842880660621035316393385339440245971983\ 25702976410299107077713/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^23 - 1054973934300419534802210638525152245827145739864989812389374884524\ 300992370815715204362268/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^22 + 1401155631043283465731669324030247615218542200331783815871654195643\ 02027101834768879450184/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^21 + 1942621966634460606480509749988767515650791841477079501405868564653\ 045087382910234372618491/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^20 - 1036871301502449605036841282646886285674698681652187715584131253466\ 654066075754564803207996/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^19 - 1397560090264073651935887948104663973970690482899850340064144240769\ 340704024160710091199845/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^18 + 3386641436092410392250749527342985187228543279788172825159370936577\ 440801230293865318285040/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^17 + 1818062526506134775042735397809913581444218610459086724439951245409\ 113235057108518168436628/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^16 - 3653363092580692034851581148271731981117198286037549705060203809962\ 322832365539487657574020/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^15 - 1395085731081242632810854680795462917940070047010144006192261389027\ 573495280362825129268894/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^14 + 2649043599000298535069820770305733217721988561825202199213317122588\ 435775722641804662483225/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^13 + 6260772697962937012672667449400614070908885512716242936887506948207\ 29841994441021751825457/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^12 - 1574556474430017937151617521071146018014945138515641423810826841940\ 386432208487561664514517/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^11 - 1817651993980392110396267609104455550805056163480785020878314362737\ 79428197888678763457965/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^10 + 6243554038064106533679058843592015660190402457734035662578826194822\ 73842385316872544733492/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^9 + 2672589807270203468679017021202349078322291535147862990586610373045\ 8298235842111231161220/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^8 - 1453825160008882881006705796157080816071815480681877002876015990607\ 37701339478518052848778/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^7 - 2991085292504527600525080888929265595787241628305219259968989163481\ 581476000626515350116/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^6 + 2341793342699669343694525803237191631464518003924258449811396197229\ 7749860912168266784952/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^5 + 3005644321339589935308709454378911451395183225987874638729373424104\ 195489931921307324528/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^4 - 2527004334673206899994686719044657117664354415315706591168732217678\ 174578943541169251697/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^3 - 5949640017871208912197696645563932977601823985647773029936913022960\ 62681927517661854255/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6^2 + 1278132163242996946977508649266788003493021828548372017668386328485\ 68920363484470596341/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6 + 2519265263387778614986866318135995708422940432483709531551626798068\ 1046099104640692871/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493, c_0101_1 + 646628901187349578722457334776690434757570104923161103343207\ 104471043423521721366830/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^34 + 1378127770301559360007487692034519486083200205444467539279921675240\ 260215274956387114/127747663832168928210784153617623284719176275847\ 1307249213524317030557750587049950493*c_0101_6^33 - 5946829235668646207767492603189369755686046093349646265454642588835\ 5224579772335391338/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493*c_0101_6^32 - 4076485370589224397351258792523183617308121085790518770735415680873\ 1771860510342625128/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493*c_0101_6^31 + 1150934258929480416939938954777385822416301465096659392790540810131\ 780008426130875091251/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^30 + 7482635461921572924497092501854137381204863539141582887119669511621\ 68551582654586290063/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6^29 - 7374791752124267340672998953127580504551398145179437658049231497625\ 743174556079525312397/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^28 + 5713789498844529283014139134163341919346165913945013190742714784446\ 116912008998874992225/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^27 + 3385377062520158736238434686405077293243227761443178717271704711978\ 5337789795449572164339/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^26 - 1021069930664294529228539366158548809076786242955525766771581351427\ 95294309339023764484773/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^25 - 1802882875256128395074468896954813013285106517945485890276878350861\ 13767665482462970991866/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^24 + 2609202166764969031571864845312752110582452684471291672993271994627\ 94142308896732469761583/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^23 + 9668506209995166891870464409501624252714982434850602125439209450212\ 6951334150091442723890/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^22 - 6199148280649308690483208372026858910651379537628252761931898280931\ 28327228927481464213352/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^21 + 4480276606190712447209677673172879291215715340050003785536669060964\ 84416721219379724877476/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^20 + 8382625059214159395974172855378240202691365440841686653670788309914\ 71318530294474359085332/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^19 - 1006155509260069782853745408048649811729842155718018979665768148460\ 351518351968283919554243/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^18 - 1656701952022945454624225669542250173746871187975871277473556949786\ 09732906812206292757525/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^17 + 2065769792146542651434336919080377222857456924488542185886423983703\ 731734056947171954319620/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^16 - 5198333894209581396626841743398057634926675017120350576786835825319\ 3091160846319837904509/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^15 - 2101141483054254662250346761508168546005682167508845838989077011034\ 750314818653605624064749/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^14 + 2434786427634925385714464492703634331574141774081354204207201525508\ 49227240498807611814394/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^13 + 1417174780292218503459381683193283592830953848889930947365745997905\ 890068865838682863153674/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^12 - 3274954584822970036190577887327184276250047268736185139844103350611\ 25058723034695103296070/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^11 - 7561478828751263413494156405544735420432378591697112744343955889626\ 14486470234720498164832/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^10 + 2470687867354661400036135665202198704478477888219991819792297299708\ 96699253849333953763208/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^9 + 2492404623872810120295674632518724657783762780174586127847856065854\ 22145783570577864195327/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^8 - 9661661406463802490873899238765057377446806252446336828192491863873\ 9128387261092883443322/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^7 - 4187139833230075976734080956104664927673413060323511086916459903075\ 3612911793063829624903/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^6 + 1705697967340945255144311547540982081877723037079917703248887248388\ 7822667862361667276536/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^5 + 6288217621576741626168218710114273156151391354155413011910013560274\ 972093422044574262600/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^4 - 1074348436424745960583248554771648627092265983699048639971964127177\ 068804722889143244277/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^3 - 1015869807501285187121051559860849327930949037951538475498950368556\ 490383229183681593501/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^2 + 9470849322170100653336814902952006904503894783743501777586226197041\ 4027801034676235713/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493*c_0101_6 + 3588043723047644765368445187685112092740809316516941187396853264498\ 8757237626957795147/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493, c_0101_3 + 258235003710121258532540473827594994966635969783852414613865\ 85193240560426169969276534/1277476638321689282107841536176232847191\ 762758471307249213524317030557750587049950493*c_0101_6^34 - 1757941809018149991374318987547489795327265381328442534146688765225\ 22015419529423317171/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6^33 - 7030553679792471339722306832910209821998920736229812009350506298555\ 95852558586932350249/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6^32 + 3928940184668388353621248164202370210231060842933260722747062112719\ 186701345367904626992/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^31 + 8424557671935933595122411406143049628601127630766072275364902034548\ 553243308097050708099/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^30 - 2908814683689591464281518368371891567459796835316036836261966973490\ 1308619394316915793955/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^29 - 8831969520996700052696287158812250897439940981202644226119601365979\ 565595918306198051330/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^28 + 1828368379839682165802951914370822231598670022584559507013144737988\ 12772424730254736044142/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^27 - 2626886942092516767301559874479117530904176536532229787738736591329\ 55137520915306742542231/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^26 - 1027045277329253474908514716621249747408373221033189829420154601088\ 477904787679737752703304/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^25 + 6534870373316923981261770073154525250792840831637571199427563122558\ 21712622674021402514187/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^24 + 1160830607508513554663170528235817095719924680992459339500714055433\ 727827866311833047240957/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^23 - 2489985662428296168250288841888855944996780338066046754688654959290\ 494936706849634586835709/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^22 + 2639111273262106825028817822487942765670995518996771419280698389821\ 99946113070549388520868/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^21 + 4653966574817593170527058927397330707425043298128504680597227539258\ 453175213022183634441236/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^20 - 2368336208894621113464201118956781870291281875767568421635805907252\ 104674999986210561320093/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^19 - 3423233440284553391446932625216544720315518983999306842224392205050\ 212543515672120499757449/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^18 + 8010896903946289325913226583109412771277776915713198178430430869139\ 611437910296651670112472/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^17 + 4529818945485337947959492298664802733567343019642024973792574943332\ 989090267620658368339776/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^16 - 8669194925053623751085033397071445080541440840591450101354735578425\ 355016159889941792895647/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^15 - 3526707962327612843498657803158740450666015234773927538582016195790\ 774183506938162193960123/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^14 + 6310759558277305894020858931171619455777400725871316872808716572724\ 242164391599059439489644/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^13 + 1629344279859427354696998281950973052901254957858230224759553685824\ 983150263773548500083375/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^12 - 3771160055904110263393457722874407314713265098055723891313153786713\ 582405225543221150848925/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^11 - 5073051622187311610501820205714696357077143026158064940331620041027\ 67465692826401034892593/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^10 + 1508488305169502056347688076341090779362430392490180991242947602232\ 538446703347133779946623/127747663832168928210784153617623284719176\ 2758471307249213524317030557750587049950493*c_0101_6^9 + 8711993493759934863843404978053535378680166988954953356883687269774\ 9446717100700480737845/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^8 - 3552109549747542567391740661886627132124723018231906117799588925811\ 30659375472871026773214/1277476638321689282107841536176232847191762\ 758471307249213524317030557750587049950493*c_0101_6^7 - 1075978469880056641968409752441462281074764800503994683162380781880\ 2628538365770208876419/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^6 + 5737706315526948548656307993445426913484244171957268120937678082343\ 7037116485206949213048/12774766383216892821078415361762328471917627\ 58471307249213524317030557750587049950493*c_0101_6^5 + 7706349784516938556993403642814759542907853203429380173160142354037\ 446796999881823484768/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^4 - 6137477141304661620850972811818409235041121284470120111284362275635\ 414791326182137769699/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^3 - 1511134527171921712873635159183807789733405377364168115669781849121\ 684195714357487658196/127747663832168928210784153617623284719176275\ 8471307249213524317030557750587049950493*c_0101_6^2 + 3149149406964364793798615241442856177415912400050356694409650187295\ 33678809144856407371/1277476638321689282107841536176232847191762758\ 471307249213524317030557750587049950493*c_0101_6 + 6546264982162377161208990833229148949047292260635938732814030790586\ 8559276165822157830/12774766383216892821078415361762328471917627584\ 71307249213524317030557750587049950493, c_0101_4 + 996724646042908780900986756593549086572731979472151322139638\ 79956548681990977584373317264709826/5250788129324063130390763737719\ 4888259144826032045248663265763606601569431240463129294567554917*c_\ 0101_6^34 - 2310205714930234774331023411438077444325116425703806373\ 74771660545007709033308503226868103451606/1750262709774687710130254\ 5792398296086381608677348416221088587868867189810413487709764855851\ 639*c_0101_6^33 - 2606515814952326274659929430208024531464027301606\ 310824948017517083529636107060760961250269161193/525078812932406313\ 0390763737719488825914482603204524866326576360660156943124046312929\ 4567554917*c_0101_6^32 + 516741262159065617842318756016884402473903\ 4610187069070664165829426481526472912463280478870006376/17502627097\ 7468771013025457923982960863816086773484162210885878688671898104134\ 87709764855851639*c_0101_6^31 + 30104906133297432412431889475005554\ 676436493604585127556124716571071892440410894772685936230195961/525\ 0788129324063130390763737719488825914482603204524866326576360660156\ 9431240463129294567554917*c_0101_6^30 - 1157086368037431420656505496704033584741388658490709634342343452875\ 81589945431207548128458776078423/5250788129324063130390763737719488\ 8259144826032045248663265763606601569431240463129294567554917*c_010\ 1_6^29 - 1554414270889676988566291832759320835228748306247805935300\ 6338346794212821176560604017232407313499/52507881293240631303907637\ 3771948882591448260320452486632657636066015694312404631292945675549\ 17*c_0101_6^28 + 70078977253240068568714828686523104152405820359648\ 3049833825119316383968702936105166017616705360585/52507881293240631\ 3039076373771948882591448260320452486632657636066015694312404631292\ 94567554917*c_0101_6^27 - 11159347981438269038278699176446225664562\ 90394742896455075960802612344579209225938296326977966569678/5250788\ 1293240631303907637377194888259144826032045248663265763606601569431\ 240463129294567554917*c_0101_6^26 - 3759476689173247992598228196018915781429258503641576905324800408916\ 053994978896193487510892686239842/525078812932406313039076373771948\ 88259144826032045248663265763606601569431240463129294567554917*c_01\ 01_6^25 + 999065395537979952428365101325870676182515020061238177768\ 939454875516554726828103871110549889515609/175026270977468771013025\ 4579239829608638160867734841622108858786886718981041348770976485585\ 1639*c_0101_6^24 + 382943063487350527153712230875888367850726592403\ 2544003694559644383501685297673547800593341813097980/52507881293240\ 6313039076373771948882591448260320452486632657636066015694312404631\ 29294567554917*c_0101_6^23 - 99606063377033957124399019329230692428\ 43122267820432480909257246172147292852182805813070909530306686/5250\ 7881293240631303907637377194888259144826032045248663265763606601569\ 431240463129294567554917*c_0101_6^22 + 2662379473743593201914437053443526239477602149707763369238699388870\ 946658300246932907230423433258128/525078812932406313039076373771948\ 88259144826032045248663265763606601569431240463129294567554917*c_01\ 01_6^21 + 169579960458962313288741561934309872372212192496323272481\ 49541502096195899144208271743314238285549588/5250788129324063130390\ 7637377194888259144826032045248663265763606601569431240463129294567\ 554917*c_0101_6^20 - 1135629181650091467235501413778015671007790268\ 6457571890916681593221786646126355408304031991288680102/52507881293\ 2406313039076373771948882591448260320452486632657636066015694312404\ 63129294567554917*c_0101_6^19 - 35343140327443942157901061608012745\ 78853686776518542263487730041136686878788031945194624779095612616/1\ 7502627097746877101302545792398296086381608677348416221088587868867\ 189810413487709764855851639*c_0101_6^18 + 3166019243999977445037983334207645293998403137048892348087047978854\ 5520112728591362138243672989403020/52507881293240631303907637377194\ 888259144826032045248663265763606601569431240463129294567554917*c_0\ 101_6^17 + 12386719206316475521009966165793128304350068992745175027\ 468193219619602672293675924116982225216067612/525078812932406313039\ 0763737719488825914482603204524866326576360660156943124046312929456\ 7554917*c_0101_6^16 - 333358706275328549942620771849530818308538652\ 02926180545748142301598888820505446680847554919178857357/5250788129\ 3240631303907637377194888259144826032045248663265763606601569431240\ 463129294567554917*c_0101_6^15 - 8300667016319636839165244522356301\ 433475128086656129399304586387453412246828203327249923141155924126/\ 5250788129324063130390763737719488825914482603204524866326576360660\ 1569431240463129294567554917*c_0101_6^14 + 2358604263193731205747992279797108118508244381743524586998980350550\ 6477409676957949202441588020693440/52507881293240631303907637377194\ 888259144826032045248663265763606601569431240463129294567554917*c_0\ 101_6^13 + 87947938535618404516309200017278036884598994572889223280\ 5578911611493398597822068120391489069404435/17502627097746877101302\ 5457923982960863816086773484162210885878688671898104134877097648558\ 51639*c_0101_6^12 - 13582205406603533360915113831830002568471810159\ 491527815287185646822024128244220439385943368040093244/525078812932\ 4063130390763737719488825914482603204524866326576360660156943124046\ 3129294567554917*c_0101_6^11 - 164677647020814035159022902615032052\ 087350440660033029258369367768194660673567902318069343791206/194473\ 6344194097455700282865822032898486845408594268469009843096540798867\ 823720856640539539071*c_0101_6^10 + 5070716384331248719720290075838447500188003658911138971007426606963\ 951852456047079144183917319951525/525078812932406313039076373771948\ 88259144826032045248663265763606601569431240463129294567554917*c_01\ 01_6^9 - 3104836287910465068574143602485301740585593174258688538157\ 51294733185979427800462173449094490610441/5250788129324063130390763\ 7377194888259144826032045248663265763606601569431240463129294567554\ 917*c_0101_6^8 - 10671943537306303897168255317090435265272545224399\ 04603294469167682180671660523288252097400401081027/5250788129324063\ 1303907637377194888259144826032045248663265763606601569431240463129\ 294567554917*c_0101_6^7 + 70487872513664279706746239266971575523121\ 392432889691367808327408712619277510261130428272384431286/525078812\ 9324063130390763737719488825914482603204524866326576360660156943124\ 0463129294567554917*c_0101_6^6 + 1632904054576286829978927295800961\ 52410723207188510608235263997320503067233258629346672666609963778/5\ 2507881293240631303907637377194888259144826032045248663265763606601\ 569431240463129294567554917*c_0101_6^5 + 1231049029644948166821272918324972344320875806980531801176622045286\ 8089065250052625939663159961167/52507881293240631303907637377194888\ 259144826032045248663265763606601569431240463129294567554917*c_0101\ _6^4 - 202628934687813659079455299481349485153446724076866388269403\ 3921219767601348477280595947321134518/58342090325822923671008485974\ 66098695460536225782805407029529289622396603471162569921618617213*c\ _0101_6^3 - 2941193400387118335173568414727737286240040388931201336\ 71883087973813726578852556645765795077265/5834209032582292367100848\ 5974660986954605362257828054070295292896223966034711625699216186172\ 13*c_0101_6^2 + 751069895060886929950165332761313274734106565231769\ 278377847539055454816661439251473454754308129/525078812932406313039\ 0763737719488825914482603204524866326576360660156943124046312929456\ 7554917*c_0101_6 + 894565513119507318577821285484165366750918832286\ 55489428068125274580825226931821941684948380753/5250788129324063130\ 3907637377194888259144826032045248663265763606601569431240463129294\ 567554917, c_0101_6^35 - 7*c_0101_6^34 - 26*c_0101_6^33 + 158*c_0101_6^32 + 299*c_0101_6^31 - 1203*c_0101_6^30 - 147*c_0101_6^29 + 7251*c_0101_6^28 - 11551*c_0101_6^27 - 38408*c_0101_6^26 + 34078*c_0101_6^25 + 42980*c_0101_6^24 - 108463*c_0101_6^23 + 26406*c_0101_6^22 + 187452*c_0101_6^21 - 131193*c_0101_6^20 - 128164*c_0101_6^19 + 349178*c_0101_6^18 + 121229*c_0101_6^17 - 398156*c_0101_6^16 - 74593*c_0101_6^15 + 300313*c_0101_6^14 + 15016*c_0101_6^13 - 178493*c_0101_6^12 + 11753*c_0101_6^11 + 73189*c_0101_6^10 - 10880*c_0101_6^9 - 18079*c_0101_6^8 + 3504*c_0101_6^7 + 2925*c_0101_6^6 - 356*c_0101_6^5 - 386*c_0101_6^4 + 38*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB