Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 206410040] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2490 geometric_solution 5.81789836 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.304364628545 0.225719142929 2 0 3 0 0132 2310 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575912023840 1.346283949410 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954060726107 1.244739700476 2 5 4 1 3012 1023 3201 0132 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954060726107 1.244739700476 3 2 6 6 2310 0132 3201 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046240039822 0.498262413187 3 5 5 2 1023 3201 2310 0132 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 -1 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592087947112 0.747799281052 4 6 4 6 2310 1302 0132 2031 0 0 0 0 0 1 -1 0 1 0 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 0 0 0 0 0 0 -0.963619857094 2.242244044110 ==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' : 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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), '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' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), '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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(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_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 2620725835091912865870480214396556317313907643030496550050729200860\ 95651797262441697547307669/2851541935132336131691004268525053777124\ 521695162263719338089890291236583168452591807961325*c_0101_4^30 - 8239376364800779778677556673594304120960160431139183850389841737270\ 307538258823332911199349537/570308387026467226338200853705010755424\ 9043390324527438676179780582473166336905183615922650*c_0101_4^29 - 1876841454189106302786781026894276667770626158489538713938482111509\ 0849584916350654920014972067/28515419351323361316910042685250537771\ 24521695162263719338089890291236583168452591807961325*c_0101_4^28 + 6504824271947417548347759391126676873720247359403265506525370919027\ 810572561938361880992063/413266947120628424882754241815225185090510\ 39060322662599102752033206327292296414374028425*c_0101_4^27 + 1755134834534187938886828411767388563807032976894377440554529635754\ 83263804550887793778517108219/2851541935132336131691004268525053777\ 124521695162263719338089890291236583168452591807961325*c_0101_4^26 + 1277203800617821934854290841501291615808349108601129968835567241554\ 46906811393113024018978544319/1140616774052934452676401707410021510\ 849808678064905487735235956116494633267381036723184530*c_0101_4^25 + 5663499233475716959091544955091687747097851850008197960785435548578\ 92432291364036079396934259201/5703083870264672263382008537050107554\ 249043390324527438676179780582473166336905183615922650*c_0101_4^24 - 4373667307141645526935398227865374281600504939805331526058282730865\ 2329857943614169807512191271/28515419351323361316910042685250537771\ 24521695162263719338089890291236583168452591807961325*c_0101_4^23 - 2739377277219488008314810388608901018115937717695969109083956412312\ 214448192828388711202970754084/285154193513233613169100426852505377\ 7124521695162263719338089890291236583168452591807961325*c_0101_4^22 - 98649661621929750414577989848536079848325207597880872905704298801\ 35072943797294075869044039755199/5703083870264672263382008537050107\ 554249043390324527438676179780582473166336905183615922650*c_0101_4^\ 21 - 12973738591656312763087236868655443464819674008511660896897715\ 783368443594032571391965266346686537/570308387026467226338200853705\ 0107554249043390324527438676179780582473166336905183615922650*c_010\ 1_4^20 + 4248105335014559531284319821291977392605781052343662600745\ 9175388736873397754933162939395538324/95051397837744537723033475617\ 5017925708173898387421239779363296763745527722817530602653775*c_010\ 1_4^19 + 5548321602546995723646480607974533017386054939213075845317\ 102727381241231381252905299323961417339/950513978377445377230334756\ 175017925708173898387421239779363296763745527722817530602653775*c_0\ 101_4^18 + 17883621673341853520006159418952840180506740029989427302\ 329724693380179072958821364732275949968249/285154193513233613169100\ 4268525053777124521695162263719338089890291236583168452591807961325\ *c_0101_4^17 + 1026012490537403986294624510082874401078843530012510\ 43191047578949395634042319531099538845067231963/5703083870264672263\ 3820085370501075542490433903245274386761797805824731663369051836159\ 22650*c_0101_4^16 - 20631959414850947207584591681797491990530544852\ 2636594868973935019816615148587137418343589908519/24796016827237705\ 4929652545089135111054306234361935975594616512199237963753778486244\ 170550*c_0101_4^15 - 1363178289462278207818766106962861962107773686\ 7974452918795297764752589778404724758370735738868879/19010279567548\ 9075446066951235003585141634779677484247955872659352749105544563506\ 1205307550*c_0101_4^14 + 546001198189069463936044458445488505159218\ 7975208600489663265904921659677504705419794652728264307/19010279567\ 5489075446066951235003585141634779677484247955872659352749105544563\ 5061205307550*c_0101_4^13 - 127227493647345530721655270537683522626\ 814654458242079926974592624721357578409373046612958227598227/570308\ 3870264672263382008537050107554249043390324527438676179780582473166\ 336905183615922650*c_0101_4^12 - 6996638822425568397343604882574415\ 156467326460199998244242386853500511481471529578562775266153713/570\ 3083870264672263382008537050107554249043390324527438676179780582473\ 166336905183615922650*c_0101_4^11 + 2258377735568579414251524481995930870688216146882466167624005649260\ 7598176740823723984920272020208/28515419351323361316910042685250537\ 77124521695162263719338089890291236583168452591807961325*c_0101_4^1\ 0 + 888206871558691287063811357999585078373587195722895768301812064\ 1227789585548488473299203521087/12398008413618852746482627254456755\ 5527153117180967987797308256099618981876889243122085275*c_0101_4^9 + 1483347899487902523384141371437442379957582336799528046177216821614\ 287446796690462149371323067398/285154193513233613169100426852505377\ 7124521695162263719338089890291236583168452591807961325*c_0101_4^8 + 1675445872716924495828339987313753111402610741540138170048791993215\ 35781617575924650608311291274/2193493796255643178223849437326964443\ 94193976550943363026006914637787429474496353215997025*c_0101_4^7 - 3340720785085032416937968433033001859952942475873704373204151778219\ 7805237749127290533216943049/57030838702646722633820085370501075542\ 49043390324527438676179780582473166336905183615922650*c_0101_4^6 - 1155858434676211884333471873926481433191439270217116211016599703590\ 553397294116512138722186211141/570308387026467226338200853705010755\ 4249043390324527438676179780582473166336905183615922650*c_0101_4^5 + 2377141973326334053612239606123006276597673647945509354260007570792\ 27039580874697216229336280717/5703083870264672263382008537050107554\ 249043390324527438676179780582473166336905183615922650*c_0101_4^4 - 2314238695306423253900636952341525910793348899428026204466121570079\ 35896531444757422855647269793/5703083870264672263382008537050107554\ 249043390324527438676179780582473166336905183615922650*c_0101_4^3 - 1913811652542811993581266691225097645760246113346235146792592082788\ 6544000351874214057589698272/28515419351323361316910042685250537771\ 24521695162263719338089890291236583168452591807961325*c_0101_4^2 - 2747625286736581423170133717424226402966719233027143101925747207503\ 917215598479540962167807546/285154193513233613169100426852505377712\ 4521695162263719338089890291236583168452591807961325*c_0101_4 - 1285979258239630914568023671791052112924122154497028958140639617796\ 835347568390981870081788163/190102795675489075446066951235003585141\ 6347796774842479558726593527491055445635061205307550, c_0011_0 - 1, c_0011_1 + 763724173770828956636440028138589808876057090163858156648534\ 0022703568508655307542632309/29246583950075242376317992497692859252\ 55919687345911507013425528503832392993284709546627*c_0101_4^30 + 1203040758634178480415258832855915475394254362071265570646244761290\ 25430718951909548432059/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^29 + 5506237157383908134412283040727335435299431003572679153341179738142\ 71922922528269646428652/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^28 + 4238336706823965072137202789385144966592822180393521419993439102231\ 2943828737699075617/12715906065250105381007822825083851848938781249\ 3300500304931544717557930130142813458549*c_0101_4^27 - 5132925605972254150648597559468446259300239556089878778892822192913\ 459928841354895540184616/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^26 - 9474080661070447645397479700702150981125449473654435218238557373239\ 501728927497172573146342/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^25 - 8394508874208379696397325698937225372240240298307014407774481402353\ 563887396238669864042976/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^24 + 1322947887771396163026690479178756298107400077601701861037350874998\ 070399710702474376270449/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^23 + 8016799784770252282105674328697516572938651155322944130982386915724\ 0989307663946624878358273/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^22 + 1463282666538924573494450929624621460046706206382199977427053225857\ 67972401398330388050186354/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^21 + 1912008400379914605883529464705051217099573993690488064583187776158\ 14702531770629783329647930/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^20 - 2452622569226819127795667614278819377210753991990445511707301871675\ 204499017387489586201492/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^19 - 4916871043375068483992846108194230349698305307396023137263663438000\ 35979703632496708117868102/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^18 - 5375117754933330829152410245943104619176415730751460924476070187652\ 49747123065090329743094513/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^17 - 1496336218281596061807795745009803179419302038848844985047708927097\ 093452162144386293570130659/292465839500752423763179924976928592525\ 5919687345911507013425528503832392993284709546627*c_0101_4^16 + 1705597621291008082552589425722645700600963251269090400429482305997\ 556694423736130557525962/127159060652501053810078228250838518489387\ 812493300500304931544717557930130142813458549*c_0101_4^15 + 6467218958545794529809615391018176186434084403978463514543350200251\ 20851431338367644164812615/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^14 - 2151846025241703215374344443037962597522104698673051207559630138715\ 40033032671861974106688906/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^13 + 1823943172175407840881905140145651264484218855970826506673075072054\ 367640827900604580231483030/292465839500752423763179924976928592525\ 5919687345911507013425528503832392993284709546627*c_0101_4^12 + 1660632865651669764022722182039151559296795485460285450227152664139\ 39688772814189867305646454/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^11 - 7104317996654724681014424558672808734682516756577816388338532465682\ 62488611615148757862001623/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^10 - 1728909254906140493651569306597696786536899189309115880746923410348\ 630406734482653535879547/127159060652501053810078228250838518489387\ 812493300500304931544717557930130142813458549*c_0101_4^9 - 2012980481846272656603619144241401095182743014176469172297656035497\ 8201753509891221455997318/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^8 - 5989476933391396841909325110504131600455097763425446113282840730962\ 0521872844363648754969571/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^7 - 1425293030197300079274538973904488623231313756447486175159888909135\ 613350604780025266929222/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^6 + 1835617836627626609845979100500102363579855244688863385633861379381\ 3022735322365763644402552/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^5 - 2740040785873855959177783518327789253348039052070644289315084405838\ 108087266322196701732440/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^4 + 2638384351694849315213264699803472670076507593989926721676886293105\ 996414840818513663993793/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^3 + 6869693690491100580479865747630054806745530985619254349747431691823\ 29675294537428586452374/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^2 + 5764092177073818979987353314337245308757766579604900246498867216976\ 1324028056655372858764/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4 + 3264090751729604279937654033444873972064774543134763687071024497651\ 6998273216449067317142/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627, c_0011_3 - 399957377885692305069441043926194681047223808351764452644377\ 7294504382432196860710996224/29246583950075242376317992497692859252\ 55919687345911507013425528503832392993284709546627*c_0101_4^30 - 6299823902031076646523054352353747774888348770810307578891463475321\ 1342713649053717648736/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4^29 - 2882882616565060422565868414528166077487727960182639340341856502508\ 72294225017481264780288/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^28 - 6725693182604215863809204127541392448998014048458958499927292086099\ 543808540577249544/127159060652501053810078228250838518489387812493\ 300500304931544717557930130142813458549*c_0101_4^27 + 2688312995614381970609577288843008889810394828838344705529714416210\ 291204764769511370485403/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^26 + 4958670640553929297453592639167400778884196829070313826562415917048\ 835580059318963542665778/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^25 + 4388790081810404414217736408011472995744991140181658687126265594462\ 244164789248762257061218/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^24 - 7012511230115526412382999056653590429025889867625732503906123873135\ 46243826726737181617711/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^23 - 4198659639336449327778249986261035438548606521041681558663538681593\ 0284511142346835598757758/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^22 - 7658780304310447318237690316156935097429339887899547251010918533624\ 8296020871251784686715156/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^21 - 1000175661315308844928446924526972369339826506319872444607824270863\ 08866929045126087992312839/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^20 + 1448965220733331935340511283951388974044915419813652739269017912803\ 449916006460886083693658/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^19 + 2575784188341226591861992273432166139412144141248364925025534524492\ 61319637128024140900449625/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^18 + 2812396939130188310612438953109757256925838562775056355199128373077\ 43060670888226849346097403/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^17 + 7831551571429135315322184692083413100185409813700064616282432464843\ 13241387506823852628026398/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^16 - 9373502114165505130645931269840122073712384374884031683693979452201\ 47968222037469995821965/1271590606525010538100782282508385184893878\ 12493300500304931544717557930130142813458549*c_0101_4^15 - 3393473786663384407288104914409983171181057109669074932266469319129\ 49240328561669694741699016/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^14 + 1129942989824976313713814546526498426469358582796860220934301861498\ 42113988380675652058598314/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^13 - 9552759338898633016006428281107007804864833568792894639228328872771\ 56786205886347183219506511/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^12 - 8626551524889828620928762368160664678195967314093734655566413726631\ 2052352678009612446265196/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^11 + 3730410241701294584164229839335305750315373124142450247709294898866\ 02149614394921744313344211/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^10 + 8904643241492925852317039201460498418303562210574556716184701074513\ 81726216090256572939479/1271590606525010538100782282508385184893878\ 12493300500304931544717557930130142813458549*c_0101_4^9 + 1037056581603644852098479307715056045857028533879602908215676992635\ 2378226481715365460301422/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^8 + 3163271705647863327728007092744669795105207951134703823501366898563\ 1528126721758422324743501/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^7 + 6062574864487446222999613801104182788333629168684049522950935897839\ 53877211458196198532138/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^6 - 9744454130144821501075579364502100611742880269145063860387561356673\ 269751389092144844570417/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^5 + 1469907457511602127009027354999061706686985610842948802814110633073\ 061877423782523246342006/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^4 - 1379242606520658724731605039929434714154181121263996853071206684343\ 684711666645304750648613/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^3 - 3655450583350165689366282962210129808658546558000707942808222572806\ 57573851215141280086459/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^2 - 2619664576200698968275290035969040147612322538756660441841579481912\ 8323935568404148408674/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4 - 1594835846433489090617928684324261853262870468626278287518823372966\ 2294105833930266972072/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627, c_0011_6 - 417777153480950435251819868213366934776782850398836580890823\ 7873643625420776480319396252/29246583950075242376317992497692859252\ 55919687345911507013425528503832392993284709546627*c_0101_4^30 - 6586531912435116214669886399766268462640322568950716925784434007218\ 4947173983007252105579/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4^29 - 3020802595144531114963467463209695064743474737831786805425334141845\ 47388845002589900670347/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^28 - 1947863638340405732249232463814552290028534777903314781478410842836\ 79627821460700091219/1271590606525010538100782282508385184893878124\ 93300500304931544717557930130142813458549*c_0101_4^27 + 2808218464130431355389638829712175120971580829434484356988413949118\ 991271336705931182918614/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^26 + 5220224884259687877856636758093189276169055704398138452817191551662\ 468869662157496508612197/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^25 + 4657963083090980094212986914902566385164166171100264071020607066469\ 161578486823190652294313/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^24 - 6696463896183792909918405872890266932710017068212138104877929524585\ 04433430798415970170258/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^23 - 4387100860456217461939993198093413851442000498413730780418270161011\ 0565375729357400294794896/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^22 - 8063193170435305958535507615812132959696041913631446264641586458261\ 6004530657514994760487144/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^21 - 1056093939021439030704477042077157026342990334879712846962162177108\ 51380300122725269385107714/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^20 + 5698497576797693894714973090375853063646838584634185412267964316989\ 6990930915535427188897/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4^19 + 2691360234818551979435211638857964795219618711546880658078938861026\ 11148121935319141576106970/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^18 + 2976610893116133668947132432554222259579647601835370252626681117478\ 93282898928106876927061759/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^17 + 8221343044939163835061917851118132067527669438503696426051537796856\ 64137536085231599799533855/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^16 - 4776601438798132695143652633139037014736798543037653643449418799250\ 96033682596060599264587/1271590606525010538100782282508385184893878\ 12493300500304931544717557930130142813458549*c_0101_4^15 - 3551090120027829342180704373705638894372038387191852436323418926560\ 36213526879400033205422442/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^14 + 1126922064944890006182851735079671152649239332341314614549356097933\ 41011538948334347539382767/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^13 - 9956350362447060671732912222062525611822168361214588779390155805033\ 68777702904209704051683985/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^12 - 1041325371584324163911924130589884313988750777433132101676092221692\ 23291764480055245773334881/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^11 + 3884450429803116789175236454082422471468662629725613343836785327230\ 72511740662146843035709179/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^10 + 1194490914128075677215580322959367777656932926391111195124043458096\ 009591891064881163554828/127159060652501053810078228250838518489387\ 812493300500304931544717557930130142813458549*c_0101_4^9 + 1075779431692500173023842585945824599826328818183842454400891334261\ 2127192510540673576933215/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^8 + 3266428950955552517017014639487807322315985510350583552825551214118\ 2732096498452612352790008/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^7 + 1260306147976712288029553407660321201515178435240882283417585529003\ 266342354213764270235176/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^6 - 1002885177928044628659374114329592338572827501243367975377663337959\ 8749445019742978102311715/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^5 + 1371579623174956606251762909757487770551776619095725324444956717144\ 808836674441825896791156/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^4 - 1420172298150796067338331349868441537139612282067826874354479526804\ 098730742527722594165114/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^3 - 3965904187426610109427962864757359450423713460434553943543341136337\ 95878066182551804047849/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^2 - 3424378022501652671311901287805149875363320229750925054517188355147\ 0868958355534698170181/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4 - 1824237899697432273536389252954703315817646322810608953444482737605\ 8754406173533256233241/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627, c_0101_0 + 351063794264665169400725382039942462799368398534605232518429\ 9312274290688461944292965160/29246583950075242376317992497692859252\ 55919687345911507013425528503832392993284709546627*c_0101_4^30 + 5529366214279853986543697908935590402746735702308164995915213726341\ 6900451935625896967522/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4^29 + 2530350941352395772856679132494231697829065656664372305437013059071\ 18147391487406897514943/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^28 + 2316266301040742528326347133023608685273920374986789857233385064409\ 6872635646191120852/12715906065250105381007822825083851848938781249\ 3300500304931544717557930130142813458549*c_0101_4^27 - 2356812398117275779225772836122087176124488588005644746928275238763\ 288778612648558928690758/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^26 - 4350432918689479520044137408060476860807478968779068384957222167023\ 052553250368117537402750/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^25 - 3875143013893236932651180490075200963618844371252976319949350572572\ 208734960687993898198254/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^24 + 5706415751372125409394752035477016972789759887730361779073423496255\ 28532262486049901792722/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^23 + 3681090616892406138288073304926209561490399732733375810502557429658\ 7470790546710081181711829/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^22 + 6719879232653465018922976024160303927083685628508969387122725322995\ 5633675474576872197289648/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^21 + 8814779819512130189650104270655696952886980268944424312259602767113\ 9578121566063971253307548/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^20 - 6051064144255521862146489395235421187748616339048091552528499477282\ 30910585356508852979571/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^19 - 2251112179801327231329348726388284417752945842672966808958602568597\ 11804152794817340764656343/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^18 - 2466887136308953916445240057176879894616903677787473769459733550197\ 02051979923890691823877028/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^17 - 6897356267866804376003745494278783864559777770092950919500270524640\ 80383940339151638740185680/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^16 + 7336137653129896425792613144169845347339549129512711313200071102337\ 48755398855037243956498/1271590606525010538100782282508385184893878\ 12493300500304931544717557930130142813458549*c_0101_4^15 + 2900659523671908076765731023050392457020703887858550936434342875284\ 51108549552562257534044907/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^14 - 9895611793999949318102437529347980509800390727913703213044953674744\ 4501609183887637160934331/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^13 + 8417283302962619294599970576769091952907515622786222386812637597245\ 64435319668171516765622068/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^12 + 7356947606407526263018607904147989993233069470412603607540982811324\ 6815709910098577001890296/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^11 - 3178572746218675170321391831446790578673670477135676302369327441510\ 63578413899117945421569913/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^10 - 7534815325188098384946870452723555342330211432170228700172726355593\ 73008276124910212489147/1271590606525010538100782282508385184893878\ 12493300500304931544717557930130142813458549*c_0101_4^9 - 1261999232159868408600323207109751453292728998602529198009410838002\ 6697169811583641271936936/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^8 - 2771657380357146490318928841739546277414142282943808525754263689323\ 3047901682912353424874656/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^7 - 6430367609061669152149468848695915087298103632732961031553498102852\ 58415727837816527017529/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^6 + 8266283939964095263180117858603748894653878413766988450604843063182\ 833270227140989241842648/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^5 - 1301638131971203186649359899143487115878566193117522786772192632932\ 395812664446818196712609/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^4 + 1311067729652831301005902561136106458992044237592828331227445293357\ 224610319816335956678320/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^3 + 3062034974948742440570493349457779789924344354453751304045589188333\ 38784317469939219348063/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^2 + 3334047711763491664306531904699783683625797562373839369218282693265\ 5918123438286896985650/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4 + 1606790468581581407660064120820178727970386604567042484671159567742\ 1110642301782663686094/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627, c_0101_3 - 181031358109615371800816386414656346018347555902628740746922\ 3236259935898062434262233976/29246583950075242376317992497692859252\ 55919687345911507013425528503832392993284709546627*c_0101_4^30 - 2856424901311620964935202926870464758238920623516449826537187893678\ 8893533887834981819078/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4^29 - 1312801192598694409590396888046019406847064617934937158412142150695\ 50041322738207987181263/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^28 - 1670865886360591365146842646269214441901896364298090344346796395185\ 16447735749864480387/1271590606525010538100782282508385184893878124\ 93300500304931544717557930130142813458549*c_0101_4^27 + 1215833828586929253037608245883916731671067123672453852688605667863\ 585065959811899960536013/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^26 + 2277426350086000258946513293990351442188498115172322003014169770903\ 303062419865552286245301/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^25 + 2056356871298395805885041026273753812774959696079163364668216922485\ 359088124020084563511782/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^24 - 2445072604869473965917150575773089831802506809295227792693484931813\ 71216445089598229579550/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^23 - 1899429979899178880843559747043388211657401667852785279442026852462\ 5951224452079363473106147/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^22 - 3518452099253982813940320080978350378385926748597338198131304017744\ 2394047333951824547743062/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^21 - 4635217424786204791686827783827958494930530042312247090984168772995\ 9828901366377537676139335/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^20 - 8698670571534855704514979652388346433647508860311792478166308704136\ 02915843306412222345143/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^19 + 1162171151862549679871164746751415655201804805983715720700144993792\ 60695275856255847353802754/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^18 + 1303990077044073891293624286955442334506672898002907576089731489361\ 98605558868977016815632074/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^17 + 3587919192621158662278082146520448709602546100200557445072674993206\ 45941113196292731442917175/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^16 + 4870441199721298634456560368898888905069778718523393587083851100950\ 2383591851205178332723/12715906065250105381007822825083851848938781\ 2493300500304931544717557930130142813458549*c_0101_4^15 - 1511795088011457098165532667330452921403635705889990197384746453436\ 00771644684889899482332973/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^14 + 4769562807347787841031723767223562056930039986611941663289421524638\ 0611790512978861049697889/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^13 - 4322787386897689037749403957985213722675315084027773080671875752613\ 88119405802524675455311571/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^12 - 5093552601437986824952285967958371390572281056432181145026893683471\ 0463464026775540564583798/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^11 + 1650404663311007871859030648174376783938385128640348360410562000277\ 99353912908803013536421004/2924658395007524237631799249769285925255\ 919687345911507013425528503832392993284709546627*c_0101_4^10 + 5441485174365612885938129830286220887864672265941507122515060991142\ 22573925370303825972913/1271590606525010538100782282508385184893878\ 12493300500304931544717557930130142813458549*c_0101_4^9 + 6263650640817636840279833982000724520452127925104254034439350755180\ 232164790922607344402938/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^8 + 1497948636748434483947759310364787747270009481043281947621612225429\ 5896968809838826340889222/29246583950075242376317992497692859252559\ 19687345911507013425528503832392993284709546627*c_0101_4^7 + 6255687947096332014384655556705550756854324933418265483125589589029\ 77053439731866272334719/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^6 - 4327428686721890820288112943813081263009239990750428836203368265961\ 040512100348630892254264/292465839500752423763179924976928592525591\ 9687345911507013425528503832392993284709546627*c_0101_4^5 + 5729946492603694500400222948338267947431752778954819839976336315503\ 83375557127074780322380/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^4 - 6400342883410165971751662011187321008487142288526656932805675077190\ 86566237934009836717407/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^3 - 1844249435530706692901691208420631165317320549923435702168806033227\ 24130315008720019423187/2924658395007524237631799249769285925255919\ 687345911507013425528503832392993284709546627*c_0101_4^2 - 1572169746567870178061862218990538176993268274170183665313708368665\ 5485852490347844156637/29246583950075242376317992497692859252559196\ 87345911507013425528503832392993284709546627*c_0101_4 - 9067222748161519506956808603920981927556868397140440042080017690006\ 639323295294525009884/292465839500752423763179924976928592525591968\ 7345911507013425528503832392993284709546627, c_0101_4^31 + 16*c_0101_4^30 + 76*c_0101_4^29 + 18*c_0101_4^28 - 672*c_0101_4^27 - 1407*c_0101_4^26 - 1407*c_0101_4^25 - 100*c_0101_4^24 + 10539*c_0101_4^23 + 21760*c_0101_4^22 + 29790*c_0101_4^21 + 5895*c_0101_4^20 - 64439*c_0101_4^19 - 86327*c_0101_4^18 - 213408*c_0101_4^17 - 43443*c_0101_4^16 + 85782*c_0101_4^15 - 7184*c_0101_4^14 + 231865*c_0101_4^13 + 80844*c_0101_4^12 - 87415*c_0101_4^11 - 28273*c_0101_4^10 - 3960*c_0101_4^9 - 8462*c_0101_4^8 - 2143*c_0101_4^7 + 2348*c_0101_4^6 + 235*c_0101_4^5 + 258*c_0101_4^4 + 175*c_0101_4^3 + 30*c_0101_4^2 + 6*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB