Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 3701293082] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0307 geometric_solution 4.34664018 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.416926547834 0.083330637224 0 2 2 0 3201 0132 1023 0132 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 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 1.192020649331 0.099419694005 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.305502564311 0.397006204018 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 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.318366433927 0.538966703128 6 3 5 5 0132 0132 2103 3201 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 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.199818357938 1.190195894766 4 4 6 3 2103 2310 2310 0132 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 0 0 0 0 0 -1 1 -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.199818357938 1.190195894766 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386535650020 0.255559290844 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : negation(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' : d['c_0101_6'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 1875016585927957062129103532296303157654302141352000619199479229077\ 78303642950009/1409145604611620561787489205874353950769877801140487\ 563889354961254786067046664*c_0101_6^30 + 2439834770198995266359307616817196597862473566683712950895752208480\ 04479915255335/3522864011529051404468723014685884876924694502851218\ 90972338740313696516761666*c_0101_6^29 - 2712968364551075492946238376583479705576814629242013831120466683789\ 155867920307935/704572802305810280893744602937176975384938900570243\ 781944677480627393033523332*c_0101_6^28 + 4932255977881367565441776505237018475949352027547369304378281903515\ 5543130619545619/14091456046116205617874892058743539507698778011404\ 87563889354961254786067046664*c_0101_6^27 - 9308688887856962169507320332296817442598082257887432281643613804840\ 1366654701000503/70457280230581028089374460293717697538493890057024\ 3781944677480627393033523332*c_0101_6^26 + 2496678076248731345611855994372783547489643566463579979968436965334\ 76645381173472811/7045728023058102808937446029371769753849389005702\ 43781944677480627393033523332*c_0101_6^25 - 6605473366777943957519185913657682523970909675741650614787788794636\ 55937571247421829/1409145604611620561787489205874353950769877801140\ 487563889354961254786067046664*c_0101_6^24 - 1191919800577915482308678938212627907045610853337136893206111434556\ 10153077974262973/7045728023058102808937446029371769753849389005702\ 43781944677480627393033523332*c_0101_6^23 + 3651507493280112664898693823345905871261363459299519388552257339394\ 621546148717143801/140914560461162056178748920587435395076987780114\ 0487563889354961254786067046664*c_0101_6^22 - 5293021831043809665422895975874501964646335984650569897594822753322\ 333653883486527187/704572802305810280893744602937176975384938900570\ 243781944677480627393033523332*c_0101_6^21 + 1962471726476618685547751739568043346939469807434283879712167034838\ 4921058758915638431/14091456046116205617874892058743539507698778011\ 40487563889354961254786067046664*c_0101_6^20 - 9341474353746633528048727014994651820064911105355102612769049588062\ 22660627505500189/4545630982618130844475771631852754679902831616582\ 2179480301772943702776356344*c_0101_6^19 + 3367721232523742536593832878743552486350470603122886145783278532718\ 1647248495719539917/14091456046116205617874892058743539507698778011\ 40487563889354961254786067046664*c_0101_6^18 - 1587007753468819342998520853424580291954917991510955615466803431221\ 4510962869237886341/70457280230581028089374460293717697538493890057\ 0243781944677480627393033523332*c_0101_6^17 + 2148762808370035517448303581443957694340065143381708478453092342262\ 4517063181014539113/14091456046116205617874892058743539507698778011\ 40487563889354961254786067046664*c_0101_6^16 - 2119335558185152211721135772784243378182323349931824810825879251623\ 022488486248732419/704572802305810280893744602937176975384938900570\ 243781944677480627393033523332*c_0101_6^15 - 1044575849902316295020448133748217827692001333454563217257141696972\ 455649351275048071/176143200576452570223436150734294243846234725142\ 560945486169370156848258380833*c_0101_6^14 + 8335740448232344182561566275401707319773729876065273029379367456906\ 524835704700768445/704572802305810280893744602937176975384938900570\ 243781944677480627393033523332*c_0101_6^13 - 1694146435126115841966281270133405305060268588349385192762931558365\ 7797402215360571803/14091456046116205617874892058743539507698778011\ 40487563889354961254786067046664*c_0101_6^12 + 1146813006310047739486635654486338159588057873032502015826959623482\ 6780895328695298519/14091456046116205617874892058743539507698778011\ 40487563889354961254786067046664*c_0101_6^11 - 7020222645876564879699400565199634630377862248749498809090311998377\ 479162267015399061/140914560461162056178748920587435395076987780114\ 0487563889354961254786067046664*c_0101_6^10 - 1848981886781249940671882237806612875817528030948687563875716336485\ 614610083439352333/140914560461162056178748920587435395076987780114\ 0487563889354961254786067046664*c_0101_6^9 + 4646868866809108826050718755652247864157106627445658992434293981510\ 76677040566424666/1761432005764525702234361507342942438462347251425\ 60945486169370156848258380833*c_0101_6^8 + 3892847399631518384039003647570589070821229077254783222056512144824\ 04721128932864797/1409145604611620561787489205874353950769877801140\ 487563889354961254786067046664*c_0101_6^7 + 7833884660847247500167055786798313849902709618003147410949886591965\ 8107504635877919/70457280230581028089374460293717697538493890057024\ 3781944677480627393033523332*c_0101_6^6 - 4516102686425839546120039649519563537833784439488244472155306355155\ 82875826422271219/1409145604611620561787489205874353950769877801140\ 487563889354961254786067046664*c_0101_6^5 - 1283084732072278008947059066132110539341236472974747403215637041797\ 30219698566745351/1409145604611620561787489205874353950769877801140\ 487563889354961254786067046664*c_0101_6^4 + 1241245546305611702384554167127114897186198859925276941304835071775\ 3321398444498095/70457280230581028089374460293717697538493890057024\ 3781944677480627393033523332*c_0101_6^3 - 1305459108781414824780494117632490653155517667532628697452372881135\ 8748931948966695/14091456046116205617874892058743539507698778011404\ 87563889354961254786067046664*c_0101_6^2 - 2099419937640341675744787251791174426869489888033512835170141293287\ 46840931349321/1761432005764525702234361507342942438462347251425609\ 45486169370156848258380833*c_0101_6 + 1105790984850215639444994136855142919833966739574616456921104916254\ 480977027100587/140914560461162056178748920587435395076987780114048\ 7563889354961254786067046664, c_0011_0 - 1, c_0011_1 + 164391396762109518450976511914478277386290455829222509839567\ 8492348189341231/56820387282726635555947145398159433498785395207277\ 72435037721617962847044543*c_0101_6^30 + 8292224212147313928156848969147864072238928856438345625734269384886\ 338229546/568203872827266355559471453981594334987853952072777243503\ 7721617962847044543*c_0101_6^29 - 489965257942617535318300613781398\ 53211371506729700963444565423645376303979147/5682038728272663555594\ 714539815943349878539520727772435037721617962847044543*c_0101_6^28 + 4397250176494170353715909665134541965444529774133104652739143011327\ 83799053962/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^27 - 1700934691180061974346644195354939011629301139292480846514340171004\ 605052847287/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^26 + 4629627509506784631510493194774082396058716461871823719510777451780\ 152595036439/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^25 - 6469900342093810501454835022101420637094668334216998108282466225333\ 269924479290/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^24 - 1211937676700475641020130240728851011971526766258665893449865438534\ 801215541643/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^23 + 3232166721081917951276038478863677727958280778446882531452610390809\ 5688354841142/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^22 - 9769587358362694277828552003415424180010224491203543725514681712434\ 1384983624723/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^21 + 1862600325763398497386277153107114441041466853313955173972035825468\ 55347828156548/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^20 - 2804318352098284437540519336463213225240043057786199795411655671845\ 17099719948718/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^19 + 3351456256196165294795952866085445344529188946295126762683318886278\ 53808619994518/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^18 - 3253007442158036504273652217184342269604169964672245625968890018467\ 26407372897746/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^17 + 2344719176724789394119968092651467540094584940807469508076793085804\ 13235882429801/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^16 - 6999029825045318879602264418183786832499597705083281226964322845079\ 9306369075177/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^15 - 6296010127466019578838185321541618824810589895540320416921724648094\ 4725436286405/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^14 + 1534060319746001071492034072701799088936631820430693042811766598953\ 53771389575760/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^13 - 1698534895926111241977649509195170960398200659927101339787885472530\ 59224516068121/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^12 + 1228774895238925249377502690387960325547472607603436116434088136275\ 64835722083455/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^11 - 7929689209700464106243075162190104717550465470703397455192746194675\ 6316905748730/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^10 - 4885197541230734438296248988040287658873203581035175681454101095485\ 422346098321/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^9 + 3352622454767158403628838147644936775440225512459186874380276336041\ 5771416405041/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^8 + 5589149564779217528352959203864919116060700041092794228077483015330\ 95031530520/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^7 + 1480580543263260622595723849639490331955164031153224094662232090689\ 536239852066/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^6 - 4440337460155815597550707474709179297571517948519869171997045545960\ 775849887403/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^5 - 7604342648138876162893092555566765442349088780756566115781634050782\ 16606662454/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^4 + 1855935847037662733632004679507072519129883764827340853172598159600\ 25470500870/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^3 - 1494978414959570804832512291605461269976072256536650134855544691551\ 98373182334/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^2 + 2012584653920437154661344477689375568665373122602766233335069568415\ 157324006/568203872827266355559471453981594334987853952072777243503\ 7721617962847044543*c_0101_6 + 809101883452233615161132049208698850\ 8304153907439854079935857909105819284348/56820387282726635555947145\ 39815943349878539520727772435037721617962847044543, c_0011_5 - 258249529009495023299093902918036640278103569851829314146735\ 9441792500803547/56820387282726635555947145398159433498785395207277\ 72435037721617962847044543*c_0101_6^30 - 1357716595280561232713874172042587963721297646786790035047006405162\ 4592316661/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6^29 + 7411971556535607513499891865599702579961800790599767338688185616983\ 7292305853/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6^28 - 6749040018576009309846173327387711064164939540844093680386644012396\ 75345023048/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^27 + 2526088219770729458081737974657431523211292904001329513210991008624\ 114831270993/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^26 - 6719103747422149525136477093544592545977599078417394501485393176682\ 372892898923/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^25 + 8650845637308489014394705329697534472378473990711612977287265608020\ 593809062670/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^24 + 3993998048600645022512008868210059325856764906536151751169211019797\ 305696696404/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^23 - 5042115341001365926063392259839906127217657610349095145920781119179\ 8166655330952/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^22 + 1430690561356808024119015355492901607749251057983354582657994000420\ 85602542234816/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^21 - 2609934262756953140700149422147775245871447689681976958712939699105\ 58931806249154/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^20 + 3798310164716388738021286526664701851488927437550786596071937147198\ 31489399512848/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^19 - 4337950502659480154142398037752803349407016906345565326100637391026\ 18000685040002/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^18 + 3989292457314766019561418736771259474173171263969906352845968715450\ 65561537178302/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^17 - 2564172581080065475276906604590289665898745749377369417428005574383\ 19337691514825/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^16 + 2614896917074261504209824722058070266581566892339042596108562284455\ 6371723667703/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^15 + 1305349705549882514426420500184796946152600496287487449009998426383\ 80042675226926/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^14 - 2283922442843489542733355221900786810902314603650122342475072712416\ 52530351355013/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^13 + 2199031860137721595517503046404310298257994838963981477697195619976\ 19861920282414/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^12 - 1388150351222767527419798687893054139791166664548822357010938770009\ 63143742234806/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^11 + 8082578629576502449248386259638021181821276843643671460344659824330\ 6188302459113/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^10 + 3717200523213826086845524589801549690190919007076642780784621324635\ 1295949164931/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^9 - 5429042604165276193050540460141571209048244923794375356939205515781\ 2898547986310/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^8 - 7890941249019827825427006495886208456607169060322885045796137266912\ 556216867195/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^7 - 1959525644083175914780152685941501523798213794202938109576270220388\ 470969930737/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^6 + 6016015891484493028255605412034218622655941554110448056209965985174\ 599236923764/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^5 + 2330347073010158683554028169880850066105770305113569312933302586698\ 739586017529/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^4 - 3489777105441331054449106266233188325712066191810595352473632508052\ 64342760363/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^3 + 1924837448396180125046789683373402994628629105353695753022956624032\ 94314707203/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^2 + 3760776259744189374949407787812764123323944649880002172453872893903\ 2843673908/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6 - 14281273852010010756160860046259539\ 130130693560668439376095138755211955480936/568203872827266355559471\ 4539815943349878539520727772435037721617962847044543, c_0101_0 - 295977798522593843181570785327729779896273763942834981080326\ 91002821818684236/5682038728272663555594714539815943349878539520727\ 772435037721617962847044543*c_0101_6^30 - 1532062361662178804868869397322176042138480204476164978333750897383\ 49670221646/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^29 + 8604910960409644598792393258180629387942585125670754765842340112649\ 28615500860/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^28 - 7812368574089068258657761052205175401120588014764187673201625401491\ 756481513842/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^27 + 2962437429131632758857903963364529834739809460562535141716984696085\ 5355020573632/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^26 - 7978024289843193595835600754824118781998814600136528370213340532262\ 0042452221830/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^25 + 1069885642142021851559553400694555365578792864855024319207400602235\ 45495203639065/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^24 + 3336910091492974271758008459554325257292939191159345805757569911642\ 5396884582432/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^23 - 5756037933268648932891740256525106295153215828147835565207444380424\ 99679614278524/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^22 + 1687584095679781607100559504770096359055256002566109861589494139791\ 845172100507099/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^21 - 3154080796998512270417378921772060493003887959222889780098211350551\ 744056812591540/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^20 + 4686585256432639465752242967768014977980379935498491233415314687892\ 990787923088789/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^19 - 5499484385304265780111816216261896346083624474430869431323279424360\ 749212741124921/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^18 + 5243687032144742605076988450989776858248300603284116442307202698496\ 217387577758824/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^17 - 3635659800691560544836321331947240754562382107483235228314898264577\ 362888163582263/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^16 + 8674695275220553148185992015704544745066254266018247167650162249975\ 84703847594985/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^15 + 1221307459815686702918352168785840485736558344298867191204776784483\ 097668498987506/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^14 - 2636698727654014263231791038570497004821291927431713781336722223982\ 295616309436564/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^13 + 2758333266595055527143593870139463924476491363861711468331717198828\ 862397903105869/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^12 - 1926180444189738408046034505474741916287304457633928941863688043434\ 077848164761502/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^11 + 1209763757133228568290374982873328249716967496105280454402388449956\ 777853302046970/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^10 + 2203702576091832347005642110488607817331033970444043755994849316956\ 63414653273969/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^9 - 5670563596918197575087535328924563641131709771951660149802597134101\ 86872225828422/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^8 - 4874247522297749567146982573906434655996425237772010988616037395088\ 3766045031546/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^7 - 3004816290627684255696453817794351151557768917804315335234554374796\ 5914549230361/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^6 + 7213065152555705044632614851225409754572639502728711277682769460156\ 2318178833309/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^5 + 1744210417377604871798502352899094289162364218005851254846517873382\ 0017497596819/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^4 - 3161846262935309708287051761591957435337791749177168194062734164469\ 898943258054/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^3 + 2241804130051783029134652213166859225276411862429436534021840234170\ 425141267293/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^2 + 2203417124418896069350201615949402534446186987887275688777561227944\ 99590596906/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6 - 1435739283489183783427454209251202\ 08909230037160011456589276347386495743093169/5682038728272663555594\ 714539815943349878539520727772435037721617962847044543, c_0101_2 - 193308760161151757540370456822590141931677022934611047387316\ 74516293475328044/5682038728272663555594714539815943349878539520727\ 772435037721617962847044543*c_0101_6^30 - 9928498734211518028210026100901214034735907788641294157294517671564\ 8889622355/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6^29 + 5659780298070143312281297545443275646400891365504497204012245607384\ 42417737977/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^28 - 5125077476754811008442825752199325200961139071153672836528215397928\ 878701264079/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^27 + 1955558324418177393790087483734956876985822984158532984079598188867\ 4327649436219/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^26 - 5290014326346624602487574037558887092020208776724504770516041107941\ 2274214526147/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^25 + 7205772657373696659305364341052208322711147712682925080610480727648\ 5151916888098/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^24 + 1871805068688041779312920253547163010744814478948194288408341136847\ 3826222014042/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^23 - 3762712782486954362867718035666985395197401156999742734965627842556\ 23082023259897/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^22 + 1116919736031715845745848677861853175133796959471117901841366854832\ 554696257117671/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^21 - 2105485580528606011674766152875643514839288859574847872209609188920\ 447807680575539/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^20 + 3149206944385141463335341797560347154225189694205093422528427905628\ 182811935694239/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^19 - 3727637940986835398230988078144998418398612952111697414745169336129\ 790706250592627/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^18 + 3590560472987093847094976364973231359894410128355534722559625004678\ 791500327742143/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^17 - 2541533821416506725848123183701367976324736244038726897527537595545\ 345303963798352/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^16 + 6938430054997443598215408413186180351950655025651284020840704521156\ 88592700436214/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^15 + 7465433054462272814140360386462634676662945085551825199367300302410\ 97810643836189/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^14 - 1737651464448209576792328079477756636423358774438916134057871332788\ 601222234854534/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^13 + 1869169019214423630322922502901656872187339787530095801620571497857\ 396951746681367/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^12 - 1338877983989573128920977107168412754540155899482569641951985989709\ 034078633925148/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^11 + 8564207148258347052549637912891074462191806946536114429428789642502\ 01947852754063/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^10 + 9847545417394244762698869211379251124191639586257831561796358642469\ 4689951079473/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^9 - 3657810249123249092718637855625005525340204574871487137605325985053\ 83349657962751/5682038728272663555594714539815943349878539520727772\ 435037721617962847044543*c_0101_6^8 - 2192320159710577755367692967390185610603636241647183766568654021043\ 1709427246105/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^7 - 2074286720536142304690419573820441793343846503934664157642204544863\ 9714963757358/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^6 + 4875427358150615748585482414285284433067648984339465029078110211262\ 7650110716609/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^5 + 9643899662299075205163272190069461103203927931995324543797933529536\ 630127956590/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^4 - 1901185147157244603277093198467920323595125526933358769379693524090\ 761416517861/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^3 + 1495804693962796049932553624668681993359679057276049318704881813868\ 875329197819/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^2 + 9418033537069368991183831574898651536782764672710303826090054348453\ 2842655702/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6 - 84196271832290844579425490348923453\ 156115240590107830015189778197911123710693/568203872827266355559471\ 4539815943349878539520727772435037721617962847044543, c_0101_4 + 545161967174309157364148308029762811504109404254293689072511\ 344864837503421/568203872827266355559471453981594334987853952072777\ 2435037721617962847044543*c_0101_6^30 + 2861642470677068464757495706644225359322701557221702557305773177895\ 332239210/568203872827266355559471453981594334987853952072777243503\ 7721617962847044543*c_0101_6^29 - 156112173011976086499469703759800\ 94802381343627850607591914819460450487692910/5682038728272663555594\ 714539815943349878539520727772435037721617962847044543*c_0101_6^28 + 1429595571356920051190086979262114137017534683549609838962425394269\ 15912595442/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^27 - 5357986598080866713299844748747422017424364138661338702840265823276\ 85234963475/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^26 + 1437116738049081971185552071130913027672771010909766180586014609054\ 010379801524/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^25 - 1883955259968662135348859577301160071577769576122573047535970601284\ 154285606105/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^24 - 7089100023178071534381019973539547916393970210116523109839822828166\ 59097450645/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^23 + 1053575068407228309010127569163622012427821743211649848062828142903\ 1852281539056/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^22 - 3042753407859186261837580458438628312701125324506447214090381320712\ 2364665577441/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^21 + 5630567385729683034545226222606158861086730617518765352986401019251\ 7313503122225/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^20 - 8308877187711768286836913692598839793871775609457880809005529531692\ 5712941652272/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^19 + 9644276724922583042187254069405921182785707025761392107877583008507\ 7267713985353/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^18 - 9111788449007399522095539975391529975642729941348366229733403014661\ 8747071656682/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^17 + 6159641359914859661301690019955421786931129743183737603438749546434\ 6312554836829/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^16 - 1260756367407973195986681409024365490090768768484332096812829244149\ 1663231308562/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^15 - 2317193405158465531798988087291144471574842032478147050377878484063\ 4038209435947/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^14 + 4722539581000822843864617644735967358829862822137801846918046075278\ 7736321149144/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^13 - 4735388462729682322546251641357524681583272778195711509983116029360\ 2417498492665/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^12 + 3270725846797510725116747125180085428704895082739448893797996783402\ 0386284307232/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^11 - 1972244761742794165555224912265130423299138481603962963428873609871\ 4591790435700/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^10 - 5197809825481901530785137857063200073793549495177713225072401788389\ 259073152285/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^9 + 9904507151240626314021528830408666208852547128076800820447529172734\ 839556850860/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^8 + 1083541432963636247885670972436261732816143353291197331539467998733\ 879178119769/568203872827266355559471453981594334987853952072777243\ 5037721617962847044543*c_0101_6^7 - 3134166911493834775861561886404281734866221798486156791481269234142\ 2489425407/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6^6 - 114138602141849960958319452022901\ 2231072243888926762733695645332509313491175281/56820387282726635555\ 94714539815943349878539520727772435037721617962847044543*c_0101_6^5 - 22764623461306871870288843843421953309339445027226586664530114826\ 5413201432566/56820387282726635555947145398159433498785395207277724\ 35037721617962847044543*c_0101_6^4 + 1205674225309306505978321813982978552889594687788932479046899119506\ 80113418270/5682038728272663555594714539815943349878539520727772435\ 037721617962847044543*c_0101_6^3 - 2077878436308396467397318613785554560570808403034631351157881479064\ 3089366723/56820387282726635555947145398159433498785395207277724350\ 37721617962847044543*c_0101_6^2 - 938900062504537563800268244882592\ 3481988162540306456018472217101275053937383/56820387282726635555947\ 14539815943349878539520727772435037721617962847044543*c_0101_6 + 4195542633804269683621653003433087724251473138364182681752307076110\ 125313779/568203872827266355559471453981594334987853952072777243503\ 7721617962847044543, c_0101_6^31 + 5*c_0101_6^30 - 30*c_0101_6^29 + 269*c_0101_6^28 - 1047*c_0101_6^27 + 2868*c_0101_6^26 - 4075*c_0101_6^25 - 531*c_0101_6^24 + 19703*c_0101_6^23 - 60437*c_0101_6^22 + 116337*c_0101_6^21 - 176276*c_0101_6^20 + 212078*c_0101_6^19 - 207405*c_0101_6^18 + 151015*c_0101_6^17 - 47905*c_0101_6^16 - 38402*c_0101_6^15 + 97250*c_0101_6^14 - 108577*c_0101_6^13 + 80240*c_0101_6^12 - 50862*c_0101_6^11 - 1446*c_0101_6^10 + 21291*c_0101_6^9 - 1791*c_0101_6^8 + 539*c_0101_6^7 - 2601*c_0101_6^6 - 190*c_0101_6^5 + 243*c_0101_6^4 - 97*c_0101_6^3 + 5*c_0101_6^2 + 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB