Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 1225315719] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2234 geometric_solution 5.66966435 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 1 -1 -1 0 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.854064144467 1.640748911915 0 4 5 2 0132 0132 0132 1302 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 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.583548794207 0.653168034353 4 0 1 5 2310 0132 2031 0132 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 -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.583548794207 0.653168034353 3 0 3 0 2031 2310 1302 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 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.751589903901 0.670061288319 4 1 2 4 3012 0132 3201 1230 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 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.309977928233 0.666159099328 6 6 2 1 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 -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.128298552812 0.585312816493 5 6 5 6 0132 2310 2310 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 -1.006526842687 0.809796314998 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(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_0011_5'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t - 773868747484116204563094460300846350591703/241300286293951067406041\ 801907951094090*c_0101_4^36 - 1264368762667535440401204075502538211\ 888929/241300286293951067406041801907951094090*c_0101_4^35 + 18496984871226425652211911565137540172254077/2413002862939510674060\ 41801907951094090*c_0101_4^34 + 34118756365122178211167978176527377\ 929904941/241300286293951067406041801907951094090*c_0101_4^33 - 195412208782550426400916508439974071850567629/241300286293951067406\ 041801907951094090*c_0101_4^32 - 4111582473909586322272623721176084\ 76110252567/241300286293951067406041801907951094090*c_0101_4^31 + 587408998568213679721832054263077082994298246/120650143146975533703\ 020900953975547045*c_0101_4^30 + 2620701309726316480076093825308419\ 36454824039/21936389663086460673276527446177372190*c_0101_4^29 - 430519055326997880855777092521532607221474770/241300286293951067406\ 04180190795109409*c_0101_4^28 - 25909158556612847107658510314407231\ 96089597537/48260057258790213481208360381590218818*c_0101_4^27 + 4686517360505226849026339407281988708081537154/12065014314697553370\ 3020900953975547045*c_0101_4^26 + 389482340547158631984122766041295\ 0618852224521/24130028629395106740604180190795109409*c_0101_4^25 - 9573010333168534053979593569485613978924048603/24130028629395106740\ 6041801907951094090*c_0101_4^24 - 159740662799548432554015135644919\ 50727361927419/48260057258790213481208360381590218818*c_0101_4^23 - 534935102400833421498300282979251896391650344/241300286293951067406\ 04180190795109409*c_0101_4^22 + 11290979566397655747505650678429196\ 9695786714309/241300286293951067406041801907951094090*c_0101_4^21 + 3126103693116516314839074268169300098442646917/24130028629395106740\ 604180190795109409*c_0101_4^20 - 1118093789686250466663975599751855\ 60973226276993/241300286293951067406041801907951094090*c_0101_4^19 - 23388705107857739337283583547577315573041459003/1206501431469755337\ 03020900953975547045*c_0101_4^18 + 40219995395095153824168762109512620167087021167/1206501431469755337\ 03020900953975547045*c_0101_4^17 + 8352352680220432107136827713936166721102666099/48260057258790213481\ 208360381590218818*c_0101_4^16 - 4409110247243264723429729581939637\ 075555806568/24130028629395106740604180190795109409*c_0101_4^15 - 27516010854216615929742658328867247239130520141/2413002862939510674\ 06041801907951094090*c_0101_4^14 + 162978394652981742710023965174586953964749824/219363896630864606732\ 7652744617737219*c_0101_4^13 + 148969540613993696385390061320229209\ 17720702479/241300286293951067406041801907951094090*c_0101_4^12 - 1978928634825170043532913203534713757763397078/12065014314697553370\ 3020900953975547045*c_0101_4^11 - 289545349318711777449921013489656\ 473015842662/10968194831543230336638263723088686095*c_0101_4^10 - 393502763324477826433035739472392046970913343/120650143146975533703\ 020900953975547045*c_0101_4^9 + 17803362266118364108318980052048293\ 45319573581/241300286293951067406041801907951094090*c_0101_4^8 + 538227182055444064255462823866144697820828472/120650143146975533703\ 020900953975547045*c_0101_4^7 - 24293162361964001292583938982042508\ 52597827/10968194831543230336638263723088686095*c_0101_4^6 - 181387069205456404413689680630550483871558792/120650143146975533703\ 020900953975547045*c_0101_4^5 - 32838986355491763101892263265483292\ 958492987/48260057258790213481208360381590218818*c_0101_4^4 + 6639297148316551691753482046320257537136028/12065014314697553370302\ 0900953975547045*c_0101_4^3 + 1835657636949763809769549566729281407\ 8208798/120650143146975533703020900953975547045*c_0101_4^2 + 5756918869195514545670063035486596041804489/12065014314697553370302\ 0900953975547045*c_0101_4 + 553923102878903314566852618210832448459\ 347/120650143146975533703020900953975547045, c_0011_0 - 1, c_0011_3 - 34109394915394946362528981138276384120/219363896630864606732\ 7652744617737219*c_0101_4^36 - 966507819873371858878365011214039762\ 05/4387277932617292134655305489235474438*c_0101_4^35 + 824550767558533835661040888433421744450/219363896630864606732765274\ 4617737219*c_0101_4^34 + 2647567804960793098505390907687765470213/4\ 387277932617292134655305489235474438*c_0101_4^33 - 17741098748612129329350171294530327891955/4387277932617292134655305\ 489235474438*c_0101_4^32 - 3233119542350581912023247218312865765314\ 1/4387277932617292134655305489235474438*c_0101_4^31 + 109923352353958627853228936983721487859051/438727793261729213465530\ 5489235474438*c_0101_4^30 + 114731280179412035165003579021536653214\ 648/2193638966308646067327652744617737219*c_0101_4^29 - 212537479057958266025249000418788705324918/219363896630864606732765\ 2744617737219*c_0101_4^28 - 104382666901293875433160534105276112876\ 6103/4387277932617292134655305489235474438*c_0101_4^27 + 517619532169795404706603298592777848730398/219363896630864606732765\ 2744617737219*c_0101_4^26 + 318117752073699904520039339612723812071\ 9643/4387277932617292134655305489235474438*c_0101_4^25 - 1485977028420255637487447844979318724442907/43872779326172921346553\ 05489235474438*c_0101_4^24 - 66325312965910980015659630139068373989\ 73319/4387277932617292134655305489235474438*c_0101_4^23 + 439512906773383490593853269522959756892232/219363896630864606732765\ 2744617737219*c_0101_4^22 + 479008466714991636059851834558112221469\ 1076/2193638966308646067327652744617737219*c_0101_4^21 + 392290823737833105843403119091930023510481/219363896630864606732765\ 2744617737219*c_0101_4^20 - 975799773421123002748267523802754813882\ 3497/4387277932617292134655305489235474438*c_0101_4^19 - 1045345337991679076591210582244924181172646/21936389663086460673276\ 52744617737219*c_0101_4^18 + 72658825772221637747151723622716126289\ 55025/4387277932617292134655305489235474438*c_0101_4^17 + 2146573091878628574404105376875380799619261/43872779326172921346553\ 05489235474438*c_0101_4^16 - 41415461629419022913420835923376119440\ 92091/4387277932617292134655305489235474438*c_0101_4^15 - 1537776866375633028268468550748086488254381/43872779326172921346553\ 05489235474438*c_0101_4^14 + 89608042357417899068040084613665419045\ 5540/2193638966308646067327652744617737219*c_0101_4^13 + 919661958874392267146554516978754414585937/438727793261729213465530\ 5489235474438*c_0101_4^12 - 246973713436712318073865100158300714107\ 717/2193638966308646067327652744617737219*c_0101_4^11 - 444178286854822546849086577389538512998405/438727793261729213465530\ 5489235474438*c_0101_4^10 + 982112638940058781827694346467602815958\ 7/4387277932617292134655305489235474438*c_0101_4^9 + 73266700004250046047989762561865553169930/2193638966308646067327652\ 744617737219*c_0101_4^8 + 65449030999803335999404806699225135840243\ /4387277932617292134655305489235474438*c_0101_4^7 - 15122659569800322574191860555843147585255/4387277932617292134655305\ 489235474438*c_0101_4^6 - 27675986012219706705450423504888102242401\ /4387277932617292134655305489235474438*c_0101_4^5 - 4609820217430597854825330415030143589653/21936389663086460673276527\ 44617737219*c_0101_4^4 + 2506919954597261996634672563600184278897/4\ 387277932617292134655305489235474438*c_0101_4^3 + 2586688535574044179544462821111472187649/43872779326172921346553054\ 89235474438*c_0101_4^2 + 556270545532531784259538107700530880137/43\ 87277932617292134655305489235474438*c_0101_4 + 13241460606371894455468641887233297497/2193638966308646067327652744\ 617737219, c_0011_5 - 82128546884160665393758031662682933677/438727793261729213465\ 5305489235474438*c_0101_4^36 - 143333147252524852336737072033231936\ 355/4387277932617292134655305489235474438*c_0101_4^35 + 1952964951371460161777504700203004212047/43872779326172921346553054\ 89235474438*c_0101_4^34 + 1921272049483096877998541683872208807156/\ 2193638966308646067327652744617737219*c_0101_4^33 - 10229043130904466148521305265530710057994/2193638966308646067327652\ 744617737219*c_0101_4^32 - 2301925344366103518168162761385062252340\ 2/2193638966308646067327652744617737219*c_0101_4^31 + 121223999581319581256942456419151604683729/438727793261729213465530\ 5489235474438*c_0101_4^30 + 160551860394839100003611135962098266609\ 450/2193638966308646067327652744617737219*c_0101_4^29 - 432333818067391455310638660205036067808167/438727793261729213465530\ 5489235474438*c_0101_4^28 - 143564616109396561449067198016504155147\ 3631/4387277932617292134655305489235474438*c_0101_4^27 + 883651619685435659873541225689703229157757/438727793261729213465530\ 5489235474438*c_0101_4^26 + 214662224186229337840699720607627884550\ 1008/2193638966308646067327652744617737219*c_0101_4^25 - 340997605113003498839694577449766488515217/219363896630864606732765\ 2744617737219*c_0101_4^24 - 875120326175667212193985258665118845403\ 0557/4387277932617292134655305489235474438*c_0101_4^23 - 624340817576258976584591899085044962888863/219363896630864606732765\ 2744617737219*c_0101_4^22 + 614267369895637681890298759995464310556\ 6377/2193638966308646067327652744617737219*c_0101_4^21 + 4270532378586927707122402132808259458290711/43872779326172921346553\ 05489235474438*c_0101_4^20 - 12072113190486488153003109032522926993\ 738193/4387277932617292134655305489235474438*c_0101_4^19 - 5896728228831358690023760516690583887233507/43872779326172921346553\ 05489235474438*c_0101_4^18 + 43109438419290897616383590885661767019\ 39345/2193638966308646067327652744617737219*c_0101_4^17 + 2548419672444905212894212281672240563853743/21936389663086460673276\ 52744617737219*c_0101_4^16 - 23477218471174766812196155209742083320\ 27159/2193638966308646067327652744617737219*c_0101_4^15 - 3283918134250596028425093320455698582513489/43872779326172921346553\ 05489235474438*c_0101_4^14 + 18840785314183790490131840718018073264\ 16377/4387277932617292134655305489235474438*c_0101_4^13 + 1732509604634419650271072849101117262788139/43872779326172921346553\ 05489235474438*c_0101_4^12 - 38886791578709799738512496160958777468\ 4651/4387277932617292134655305489235474438*c_0101_4^11 - 359035358858283426827545753139498329253499/219363896630864606732765\ 2744617737219*c_0101_4^10 - 106434860649288146800314719113010787922\ 863/4387277932617292134655305489235474438*c_0101_4^9 + 192452218378797595861244134134580315557823/438727793261729213465530\ 5489235474438*c_0101_4^8 + 6174745642751863006359200771490743966973\ 2/2193638966308646067327652744617737219*c_0101_4^7 - 1126250265579396496411530940562529785593/21936389663086460673276527\ 44617737219*c_0101_4^6 - 39572817537389124123857026572461426094645/\ 4387277932617292134655305489235474438*c_0101_4^5 - 18909086625908287934478513900724650235571/4387277932617292134655305\ 489235474438*c_0101_4^4 + 517532559255491792867133701456117470719/2\ 193638966308646067327652744617737219*c_0101_4^3 + 2012719455625431164445211806219471514443/21936389663086460673276527\ 44617737219*c_0101_4^2 + 1275443858580118561807802439275042233723/4\ 387277932617292134655305489235474438*c_0101_4 + 61844532431821272845877162140232008069/2193638966308646067327652744\ 617737219, c_0101_0 + 9580868480421914605201270158187291939/4387277932617292134655\ 305489235474438*c_0101_4^36 + 2696166574986171360358660293940037914\ 9/4387277932617292134655305489235474438*c_0101_4^35 - 108541138689787292020203510439099022473/219363896630864606732765274\ 4617737219*c_0101_4^34 - 349846999011722437258422403569916424392/21\ 93638966308646067327652744617737219*c_0101_4^33 + 2080953386925821321129951277802711048541/43872779326172921346553054\ 89235474438*c_0101_4^32 + 8143427499429415505732796781386218595931/\ 4387277932617292134655305489235474438*c_0101_4^31 - 5146809132094504655203577706870078555470/21936389663086460673276527\ 44617737219*c_0101_4^30 - 55326656863771642633511128766246829588725\ /4387277932617292134655305489235474438*c_0101_4^29 + 22418939805264735817838364378700886114545/4387277932617292134655305\ 489235474438*c_0101_4^28 + 2411247095733724571397510216555987392266\ 57/4387277932617292134655305489235474438*c_0101_4^27 + 13654526452235785263023097427860036064495/2193638966308646067327652\ 744617737219*c_0101_4^26 - 3506782814788046568469333168284918449713\ 30/2193638966308646067327652744617737219*c_0101_4^25 - 326796266498752101767993075715181891566703/438727793261729213465530\ 5489235474438*c_0101_4^24 + 690960734128899974541069154084887842591\ 548/2193638966308646067327652744617737219*c_0101_4^23 + 1012930040778654401422615390612594914999445/43872779326172921346553\ 05489235474438*c_0101_4^22 - 92630170201012075959451558013393957558\ 3050/2193638966308646067327652744617737219*c_0101_4^21 - 1782958956550155239788000576496160588539459/43872779326172921346553\ 05489235474438*c_0101_4^20 + 17041482507383312262398474135456299044\ 89329/4387277932617292134655305489235474438*c_0101_4^19 + 1015584313571268624429438724949939981103293/21936389663086460673276\ 52744617737219*c_0101_4^18 - 55535423671860302529406678264652350504\ 7474/2193638966308646067327652744617737219*c_0101_4^17 - 1617954153757150980203258362526174172687719/43872779326172921346553\ 05489235474438*c_0101_4^16 + 53507726454602207457639015116035432867\ 5065/4387277932617292134655305489235474438*c_0101_4^15 + 488499184138620771494798410791879000034749/219363896630864606732765\ 2744617737219*c_0101_4^14 - 820136712028263236897947078200474760572\ 27/2193638966308646067327652744617737219*c_0101_4^13 - 467819880817199854576865631931437500820573/438727793261729213465530\ 5489235474438*c_0101_4^12 - 834710732019288110252842042116536607461\ 6/2193638966308646067327652744617737219*c_0101_4^11 + 83466028359969559592510440337828794839369/2193638966308646067327652\ 744617737219*c_0101_4^10 + 2804318829815366642729326996349793915614\ 2/2193638966308646067327652744617737219*c_0101_4^9 - 16618060927924386784498255540074105283610/2193638966308646067327652\ 744617737219*c_0101_4^8 - 16646317580648837147645335096201923960005\ /2193638966308646067327652744617737219*c_0101_4^7 - 5072800943373580277812459394544383443149/43872779326172921346553054\ 89235474438*c_0101_4^6 + 4049197277752971382961657842128609553188/2\ 193638966308646067327652744617737219*c_0101_4^5 + 2781098886953532666529183319552905405939/21936389663086460673276527\ 44617737219*c_0101_4^4 + 266140948338990350218375412035127599623/21\ 93638966308646067327652744617737219*c_0101_4^3 - 973113930043539502819025353745689984769/438727793261729213465530548\ 9235474438*c_0101_4^2 - 216211134719745484054717466401647950836/219\ 3638966308646067327652744617737219*c_0101_4 - 56876321873535975435785218145574200255/4387277932617292134655305489\ 235474438, c_0101_1 - 30946441455737813159631043221767384427/438727793261729213465\ 5305489235474438*c_0101_4^36 - 195475742720053249293098625709337665\ 18/2193638966308646067327652744617737219*c_0101_4^35 + 751946685118874478130541688183530164849/438727793261729213465530548\ 9235474438*c_0101_4^34 + 1084508765510180130335022309368374584101/4\ 387277932617292134655305489235474438*c_0101_4^33 - 8160486111930485919580748697224369316457/43872779326172921346553054\ 89235474438*c_0101_4^32 - 13377300820926122724858972020625206993165\ /4387277932617292134655305489235474438*c_0101_4^31 + 25650774052758486792259254435054588801207/2193638966308646067327652\ 744617737219*c_0101_4^30 + 4785234291685562602787495911440544511547\ 3/2193638966308646067327652744617737219*c_0101_4^29 - 203333844337748853217618666688229831315503/438727793261729213465530\ 5489235474438*c_0101_4^28 - 219129949050774142308473687692372431304\ 681/2193638966308646067327652744617737219*c_0101_4^27 + 518336715804346930213595269276281802828211/438727793261729213465530\ 5489235474438*c_0101_4^26 + 134338414031991156797203416707290902955\ 3377/4387277932617292134655305489235474438*c_0101_4^25 - 824227558946468043319455610634280091498827/438727793261729213465530\ 5489235474438*c_0101_4^24 - 140767372990529485747499601759776586221\ 3885/2193638966308646067327652744617737219*c_0101_4^23 + 356630100326295218568091325807052819794710/219363896630864606732765\ 2744617737219*c_0101_4^22 + 204216107134653272626006117806323779166\ 7993/2193638966308646067327652744617737219*c_0101_4^21 - 98097439448025146469714711241023555408873/4387277932617292134655305\ 489235474438*c_0101_4^20 - 2085531907656926618887606610474951718576\ 874/2193638966308646067327652744617737219*c_0101_4^19 - 488233121418026223061063069136378904412307/438727793261729213465530\ 5489235474438*c_0101_4^18 + 310314779024997995151679768782571205915\ 7467/4387277932617292134655305489235474438*c_0101_4^17 + 634165288693267620467885789727126467010159/438727793261729213465530\ 5489235474438*c_0101_4^16 - 176078612710285302379546141412836407148\ 8465/4387277932617292134655305489235474438*c_0101_4^15 - 253145618872140313704081409917336875136485/219363896630864606732765\ 2744617737219*c_0101_4^14 + 760373038841049014565294373608983891459\ 655/4387277932617292134655305489235474438*c_0101_4^13 + 166839404964313103034474313939459197432592/219363896630864606732765\ 2744617737219*c_0101_4^12 - 213218106436192813470772272290953043738\ 595/4387277932617292134655305489235474438*c_0101_4^11 - 174535110624107969235834370320808723912325/438727793261729213465530\ 5489235474438*c_0101_4^10 + 420935422246318735984700220219207608204\ 7/2193638966308646067327652744617737219*c_0101_4^9 + 61114357389888078289509185580304133004063/4387277932617292134655305\ 489235474438*c_0101_4^8 + 25755031401314036427449096473692731295965\ /4387277932617292134655305489235474438*c_0101_4^7 - 7163528562072780391368976499446267780483/43872779326172921346553054\ 89235474438*c_0101_4^6 - 5752886779606488814247296997302461998015/2\ 193638966308646067327652744617737219*c_0101_4^5 - 3621283613621709506976729052284754647061/43872779326172921346553054\ 89235474438*c_0101_4^4 + 1103814948083946140466291782834508713245/4\ 387277932617292134655305489235474438*c_0101_4^3 + 1047802178346331561325723411286663731927/43872779326172921346553054\ 89235474438*c_0101_4^2 + 123694471723763275166562915035964274807/21\ 93638966308646067327652744617737219*c_0101_4 + 11058426750656021719422628783761457493/2193638966308646067327652744\ 617737219, c_0101_2 + c_0101_4^2 - 1, c_0101_4^37 + c_0101_4^36 - 25*c_0101_4^35 - 29*c_0101_4^34 + 282*c_0101_4^33 + 373*c_0101_4^32 - 1872*c_0101_4^31 - 2785*c_0101_4^30 + 8036*c_0101_4^29 + 13375*c_0101_4^28 - 23191*c_0101_4^27 - 43403*c_0101_4^26 + 45586*c_0101_4^25 + 97708*c_0101_4^24 - 61005*c_0101_4^23 - 155273*c_0101_4^22 + 55311*c_0101_4^21 + 177461*c_0101_4^20 - 33995*c_0101_4^19 - 149947*c_0101_4^18 + 13746*c_0101_4^17 + 97015*c_0101_4^16 - 1438*c_0101_4^15 - 49074*c_0101_4^14 - 4328*c_0101_4^13 + 18823*c_0101_4^12 + 5099*c_0101_4^11 - 4689*c_0101_4^10 - 3116*c_0101_4^9 + 151*c_0101_4^8 + 1044*c_0101_4^7 + 442*c_0101_4^6 - 106*c_0101_4^5 - 167*c_0101_4^4 - 38*c_0101_4^3 + 18*c_0101_4^2 + 9*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB