Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 1545453719] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1627 geometric_solution 5.37732545 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 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 1 -1 -1 0 1 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.401979459929 0.110280010593 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 1 -1 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 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.322590549932 1.667456913055 3 1 4 5 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 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 -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.291185498690 0.864245471579 5 4 1 2 0132 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291185498690 0.864245471579 3 6 6 2 1023 0132 3201 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 -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.760770314285 0.434460619149 3 5 2 5 0132 1302 0132 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.596566368884 0.548228777487 4 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.536155052549 0.527881051150 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_4'], '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_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3006621271448100757303278688217426978700908588474217260/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^24 + 4992556284249254661985148122630338064138759687658485164/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^23 + 733934922240108977526477089198199692706862876504079985/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^22 + 5215732556659750279787166017225780996560503768393421552/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^21 + 39403816461785231105796856834982566683661015700349845555/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^20 + 62033075627620450283519015083619350870923271015957720885/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^19 + 399002099687619370549194186189382829190322457744978994/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^18 + 32515265706636327728197650446916422536188636409097582331/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^17 + 21595945883692733708679642491443802050024049264893478284/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^16 - 422231738276531702931916766015347623343036728929488817315/333199996\ 8076210896162650033501586478472982392569463*c_0101_6^15 - 512565110191469112512957798666571831028728736789908712397/333199996\ 8076210896162650033501586478472982392569463*c_0101_6^14 + 64556452310059090521859043891557636028670932029515137586/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^13 + 286777092173790439947400240838136183457379771769262702398/333199996\ 8076210896162650033501586478472982392569463*c_0101_6^12 - 3860684345936818130903544098320126072205473409626542338/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^11 + 46183908983467407747653795847597521709233866868573884478/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^10 + 229240124236143105350034559685339393025623433591195899521/333199996\ 8076210896162650033501586478472982392569463*c_0101_6^9 + 110965526767410445049701080985719805288055064533944023923/333199996\ 8076210896162650033501586478472982392569463*c_0101_6^8 - 9224681831565876041163176960107371514553754880116434572/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^7 - 1946333064501621359253259688771835724444917082885045316/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^6 + 18939743470303800730671321604676701840199386375829779723/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^5 + 9329262217615995872231638132511788024174383371073722269/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^4 + 1255025432916919406949350037875588433430968021875351914/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^3 - 388384265945196976423259707102303884924548035703996487/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^2 - 1158575037999278927838596643590148796169212215723188447/33319999680\ 76210896162650033501586478472982392569463*c_0101_6 - 271262227077994868410786824240247292468286904488513823/333199996807\ 6210896162650033501586478472982392569463, c_0011_0 - 1, c_0011_3 + 620542797282793416432294833758205461188937304885289215/99959\ 99904228632688487950100504759435418947177708389*c_0101_6^24 - 348614852385519378562711401525635925890382257437096427/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^23 - 139281987266946711822483878144167688848712375125067488/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^22 - 351744914421345282569737176978047043253855922907608717/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^21 - 2698659152241719612489282154047108401982312431255025939/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^20 - 12576509065901796957296709671174387242510063727086027778/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^19 + 424106644825958431006105985979172888968788826901981135/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^18 - 6368290191630567157380991185756218085967103040497544974/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^17 - 4167606931016236838048293999663659411245419691245775857/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^16 + 87452671506239452208907961018434907443644292537692228215/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^15 + 34603741384004083490486419359618054689785872919982369371/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^14 - 17792382684599953328255095711693597045062118648640115229/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^13 - 20592117407016917031790547452259686484892722940052089293/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^12 + 1560026075384175210564359828019650344715768219248496932/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^11 - 8667658172603943183556334826313365552228866212549282660/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^10 - 15634394920770489605788282974112976229653395424161970958/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^9 - 7116942079270109514283454702015924861284121566133999867/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^8 + 3739010444226447794579577531790442092681730669610884393/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^7 + 1206761598080760198515175621029847893206577779344008503/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^6 - 3656791640809411047990480895383660844414746721949962460/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^5 - 554173487012421965453031376004287735725096951130510176/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^4 - 18760523809264453249162201474494334547859827475684567/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^3 + 144829751668402104171720517697290446297988729781704505/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^2 + 276799729115947040772575832654647668599289112700076375/999599990422\ 8632688487950100504759435418947177708389*c_0101_6 + 68848073856871453608015341374843119869938021388908177/9995999904228\ 632688487950100504759435418947177708389, c_0101_0 - 561292070238070713022379796457448186454811006647415715/99959\ 99904228632688487950100504759435418947177708389*c_0101_6^24 + 303118151300142896589419575580346653156466757588112672/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^23 + 207147416231167335713892850921341817846089153129597514/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^22 + 306408990819949752595135619409071892934708387501691185/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^21 + 2468440277331780467561875043535252812115557593961344266/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^20 + 11808374517574774486626204607182664226683826535848873666/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^19 + 131119081667530795004150894805564808279299809991990224/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^18 + 5465978445021701070489340618940711844132298911340209494/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^17 + 4303335475006265292256369000406713840357661520865910395/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^16 - 79149087755143009443604611143312096365661535181511245381/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^15 - 33008404320427195502225415526811831929856680678055174299/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^14 + 12671041837710934608207490730696070565690757918583424828/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^13 + 19559663729168567693553819863636159240342194074318218243/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^12 + 763853144456936040423885257360454651467376768506822849/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^11 + 6653268225605319184229061928418347364994580490636203936/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^10 + 14516017561697692096538121342504544297709273643004515673/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^9 + 7164444443383913635978699250515779393006253902792356198/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^8 - 3151133051603292256386056894415273362560893776839794926/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^7 - 1422281794062704591657543525882592732331653828487193377/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^6 + 3318275402702021053806180164716954939868650586597278532/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^5 + 564928291534724210218124654399590518487951798223042710/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^4 + 25780697791737592497696022234824517501048381492493802/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^3 - 168121724407882906611046728314578101952808235612066872/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^2 - 264007475007131461997354626115187349131866243338858141/999599990422\ 8632688487950100504759435418947177708389*c_0101_6 - 66754393159576510682414031903041864453050913984604952/9995999904228\ 632688487950100504759435418947177708389, c_0101_1 - 4399867733539349574968440441481343320534428580370950/5879999\ 94366390158146350005912044672671702775159317*c_0101_6^24 + 3241657743981929076805526247211825496158432644363560/19599999812213\ 0052715450001970681557557234258386439*c_0101_6^23 - 3364739898522286468815725126485781959693540689743195/58799999436639\ 0158146350005912044672671702775159317*c_0101_6^22 + 2622742673423323745064782627247767006807738176961144/19599999812213\ 0052715450001970681557557234258386439*c_0101_6^21 + 17718341874547111898308254362817257374215091492517977/1959999981221\ 30052715450001970681557557234258386439*c_0101_6^20 + 60309359430823701112743351465723533803406103779609372/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^19 - 44400278672253774006390448076492835208034571360647887/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^18 + 54934339743751283099450571656918321017846085687036216/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^17 + 5210606933652529360070866665627837835590607017078796/58799999436639\ 0158146350005912044672671702775159317*c_0101_6^16 - 628583322241386028183070648106259400208168727975031140/587999994366\ 390158146350005912044672671702775159317*c_0101_6^15 - 136966405160657177450664035567280093273691458113707444/195999998122\ 130052715450001970681557557234258386439*c_0101_6^14 + 450909194897348238918735912372694445300084344000365784/587999994366\ 390158146350005912044672671702775159317*c_0101_6^13 + 103945315670124942076277039710851720572508166338008404/195999998122\ 130052715450001970681557557234258386439*c_0101_6^12 - 234525235436549357039656206157889719937572102396750117/587999994366\ 390158146350005912044672671702775159317*c_0101_6^11 + 99025134786763381708904135907894171230119164931289554/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^10 + 101022527382878073105105281630844256111706278580852376/195999998122\ 130052715450001970681557557234258386439*c_0101_6^9 - 4545399455903269951812070406557786482741481952171838/19599999812213\ 0052715450001970681557557234258386439*c_0101_6^8 - 80845705333307602266057346307515830217898600970258401/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^7 + 22549229834077211454494951798547128524111072479623777/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^6 + 32039297987355583177186625931623843602915715024546078/5879999943663\ 90158146350005912044672671702775159317*c_0101_6^5 - 1102938045001319293426012608562130196834634021346340/19599999812213\ 0052715450001970681557557234258386439*c_0101_6^4 - 773560262849158317768326416778341710778690563968299/195999998122130\ 052715450001970681557557234258386439*c_0101_6^3 - 2154655693164131378815987204177185337497838364585/58799999436639015\ 8146350005912044672671702775159317*c_0101_6^2 - 1290183414145314644312334538627670398124045013100828/58799999436639\ 0158146350005912044672671702775159317*c_0101_6 + 96796228910861752350062921083160350519942958660915/5879999943663901\ 58146350005912044672671702775159317, c_0101_2 + 97473560968898267820114835992213692792172115872920/333199996\ 8076210896162650033501586478472982392569463*c_0101_6^24 + 1158642263699551223685954904900807527818624987210902/33319999680762\ 10896162650033501586478472982392569463*c_0101_6^23 - 2212043824282011870012065161183067483800138269180286/33319999680762\ 10896162650033501586478472982392569463*c_0101_6^22 - 80725703267714697181542854290816449858830344080642/3331999968076210\ 896162650033501586478472982392569463*c_0101_6^21 - 5145992104880640048605645072930017747046741923370940/33319999680762\ 10896162650033501586478472982392569463*c_0101_6^20 - 17315971491409438019562626175398029823059319890402492/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^19 - 29464812436924676233682677240845404344188944746123164/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^18 - 3898187921972946943129252989258245615898786631112603/33319999680762\ 10896162650033501586478472982392569463*c_0101_6^17 - 14391693428482776278751393891192882605924508430295472/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^16 + 15638539521098910828062375495281349573648834581301358/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^15 + 190089836819799586063605016710420935625325960286522653/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^14 + 235070869888429168142528805062434361124312832137508537/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^13 + 13456086648424723230347499129644938885711961388070726/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^12 - 172825322242925524718540432410069309258052834586410919/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^11 - 75428033627035161383047222393832271649139576286442610/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^10 - 15549401961327350080064253649825235048694992962245879/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^9 - 49061650980053123695158150769392693897820330549103852/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^8 - 59124818921606106717656332674433826227743073429930161/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^7 + 5560019211650568249845314638267221455257509924153449/33319999680762\ 10896162650033501586478472982392569463*c_0101_6^6 + 20515947107620014010805103933295326814462063096398764/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^5 - 1879561699410700140945336009381150984263604713086648/33319999680762\ 10896162650033501586478472982392569463*c_0101_6^4 - 15106634735580120576454016884009265868011467474329629/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^3 - 10412350095260671029214940631637449087548442910783901/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^2 + 2832677473603483866073998205541546861563276351406386/33319999680762\ 10896162650033501586478472982392569463*c_0101_6 - 468548625699016492707437209003797038867959789273327/333199996807621\ 0896162650033501586478472982392569463, c_0101_4 + 677317334108701756088339334425401966019501921059675385/99959\ 99904228632688487950100504759435418947177708389*c_0101_6^24 - 379663807532586045421569001921061338562160434404416868/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^23 - 154023840909675297107830675806572792450274699438905074/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^22 - 385268686023705165040623589395537584886058798003724230/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^21 - 2947190805125797687085728296282904965128049647207051573/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^20 - 13764119174169112477017400823035093957825343124160321124/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^19 + 378071973041943914215221127925222410715528546186257438/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^18 - 6999327328903783512947235359308524319933748459845638311/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^17 - 4593510728362957799503902101588934522419915235044626276/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^16 + 95390108045576360996546014823684700086660444079551695333/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^15 + 37877721036480638967794662241090076398687180727527422585/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^14 - 18673827816105776458701690089089869686526084003524396527/9995999904\ 228632688487950100504759435418947177708389*c_0101_6^13 - 22363403838195400229200722252923976834211318471519221349/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^12 + 1548905012622973206003958932026987916947753268859999390/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^11 - 9444269002924784017987408800065891841429491257563294166/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^10 - 17067218799759478511290658440226840227592734713737340541/3331999968\ 076210896162650033501586478472982392569463*c_0101_6^9 - 7880353408853213393050635210479347430991587309170861670/33319999680\ 76210896162650033501586478472982392569463*c_0101_6^8 + 3754303665390730297822286945034784048614530530506989594/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^7 + 1210711376526496834533313735723070002091338036160680558/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^6 - 4061874666597325961171998926532236907877628248605020227/99959999042\ 28632688487950100504759435418947177708389*c_0101_6^5 - 623554950113286453804620981810455476329590982125932146/333199996807\ 6210896162650033501586478472982392569463*c_0101_6^4 - 30236127206205953910981235290716639029594829951474390/3331999968076\ 210896162650033501586478472982392569463*c_0101_6^3 + 159905032885704403341607586018096200270087965949750979/999599990422\ 8632688487950100504759435418947177708389*c_0101_6^2 + 303205262328309820618049478318116408675240350604617390/999599990422\ 8632688487950100504759435418947177708389*c_0101_6 + 74473197635777912586581999161565816956995010080539218/9995999904228\ 632688487950100504759435418947177708389, c_0101_6^25 - 7/5*c_0101_6^24 - 5/7*c_0101_6^23 - 61/35*c_0101_6^22 - 474/35*c_0101_6^21 - 839/35*c_0101_6^20 - 5*c_0101_6^19 - 349/35*c_0101_6^18 - 342/35*c_0101_6^17 + 4869/35*c_0101_6^16 + 7261/35*c_0101_6^15 + 89/5*c_0101_6^14 - 758/7*c_0101_6^13 - 866/35*c_0101_6^12 - 438/35*c_0101_6^11 - 2797/35*c_0101_6^10 - 279/5*c_0101_6^9 - 121/35*c_0101_6^8 + 123/35*c_0101_6^7 - 193/35*c_0101_6^6 - 31/7*c_0101_6^5 - 6/7*c_0101_6^4 + 8/35*c_0101_6^3 + 18/35*c_0101_6^2 + 8/35*c_0101_6 + 1/35 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB