Magma V2.19-8 Wed Aug 21 2013 00:17:21 on localhost [Seed = 3667703739] Type ? for help. Type -D to quit. Loading file "K13n603__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n603 geometric_solution 12.20285065 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 8 0 -8 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.642758055808 0.903959098179 0 4 5 4 0132 0132 0132 1230 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 0 0 0 0 0 7 -7 -8 0 0 8 -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.696658134023 0.899351940341 0 0 7 6 2031 0132 0132 0132 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 1 -1 0 0 0 0 0 1 0 0 -1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477551393382 0.734758852130 5 6 0 8 0213 1302 0132 0132 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 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151007024499 0.821324974199 1 1 9 10 3012 0132 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 7 0 -7 0 -8 0 0 8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336728421544 0.998336837903 3 8 11 1 0213 2031 0132 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 0 7 -7 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.426346627124 1.280574951134 12 11 2 3 0132 1023 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.444053591138 1.234608105756 9 12 10 2 2310 1230 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -8 0 8 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425345842104 1.093939023332 5 10 3 9 1302 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -7 7 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246163323517 1.287801178660 8 11 7 4 3120 2103 3201 0132 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 0 0 -7 0 0 7 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.035342247074 0.969140768039 7 8 4 12 2310 2103 0132 0321 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 0 8 0 0 0 0 1 7 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148924730223 0.754545034525 6 9 12 5 1023 2103 0132 0132 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 8 -7 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.229877849654 0.299569372529 6 10 7 11 0132 0321 3012 0132 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 8 -8 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383312326816 1.087756826555 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0011_8'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : negation(d['c_0101_4']), 'c_1010_10' : d['c_0011_9'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_9' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : negation(d['c_0011_9']), 'c_1100_8' : d['c_0101_2'], 's_3_1' : negation(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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_11'], '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_0110_11' : d['c_0011_3'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_5'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_2']), 'c_0101_8' : negation(d['c_0011_5']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_7, c_0011_8, c_0011_9, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 553664513824527805689159232222555636102837502063/157487664323019691\ 604901908315957913341358800*c_0101_4^23 - 137226753591864906903758870171717936002802472569/578998765893454748\ 5474334864557276225785250*c_0101_4^22 + 13945392293932256745418126795497721159391459941669/3937191608075492\ 29012254770789894783353397000*c_0101_4^21 + 1182323849988306046873469165168079925216698918939/78743832161509845\ 802450954157978956670679400*c_0101_4^20 - 68807727535015669682041914574622404065350969616853/3937191608075492\ 29012254770789894783353397000*c_0101_4^19 + 17569323913545998133044196252415061266615374257001/3937191608075492\ 29012254770789894783353397000*c_0101_4^18 - 24867072610075884392422029264962035341298034018091/3937191608075492\ 29012254770789894783353397000*c_0101_4^17 - 363778450267790186525766485778626930618134310283877/787438321615098\ 458024509541579789566706794000*c_0101_4^16 + 172740243591120972843578415478032605619667053190177/393719160807549\ 229012254770789894783353397000*c_0101_4^15 + 78564612738832306275617603421724228099366875792817/7874383216150984\ 5802450954157978956670679400*c_0101_4^14 + 163656336564563695592122899859024060243720316951439/196859580403774\ 614506127385394947391676698500*c_0101_4^13 + 373151271413456318503200112851007974542928299627207/157487664323019\ 691604901908315957913341358800*c_0101_4^12 + 2329799772331830253366142558895382261808514586821159/78743832161509\ 8458024509541579789566706794000*c_0101_4^11 + 10348868206844665553679535517980813110797772997145/6299506572920787\ 664196076332638316533654352*c_0101_4^10 + 133251448601538468768151750386471669875984724060747/715853019650089\ 50729500867416344506064254000*c_0101_4^9 + 87329810432579490579303584312246532455524494034149/4631990127147637\ 9883794678916458209806282000*c_0101_4^8 + 405156482343676229513476542898892684988664683491711/787438321615098\ 458024509541579789566706794000*c_0101_4^7 + 5887159205582960041067411190535141116748796851212/49214895100943653\ 626531846348736847919174625*c_0101_4^6 + 7670480978691490169362887111119320723615492865307/31497532864603938\ 320980381663191582668271760*c_0101_4^5 - 3762322048135803746227088973936312653814030699961/78743832161509845\ 802450954157978956670679400*c_0101_4^4 - 77331908218745123605000349184579893663170758892893/7874383216150984\ 58024509541579789566706794000*c_0101_4^3 - 135987842558594794235864398552291710624181166096/984297902018873072\ 5306369269747369583834925*c_0101_4^2 + 2174497280554401641743014208172688066908571507317/39371916080754922\ 9012254770789894783353397000*c_0101_4 + 429609682744182348632502835422848402303838691731/196859580403774614\ 506127385394947391676698500, c_0011_0 - 1, c_0011_10 - 2441451798955464767334393139068564533455/102264717092869929\ 61357266773763500866322*c_0101_4^23 + 516793009979077904560255570130839574829/601557159369823115373956869\ 044911815666*c_0101_4^22 + 2243376703751434861832008768631141396984\ 1/10226471709286992961357266773763500866322*c_0101_4^21 - 57079544825876070044881480113028011265773/1022647170928699296135726\ 6773763500866322*c_0101_4^20 + 236644118899420094772515756254680030\ 27405/5113235854643496480678633386881750433161*c_0101_4^19 + 325822635904128855756106195327968612196719/102264717092869929613572\ 66773763500866322*c_0101_4^18 + 83606697270806139326789508725256089\ 633848/5113235854643496480678633386881750433161*c_0101_4^17 + 447241238200463283895536238296278010550359/102264717092869929613572\ 66773763500866322*c_0101_4^16 + 40802438028235164300968379629036745\ 7430564/5113235854643496480678633386881750433161*c_0101_4^15 - 510703370304882519450214211986554449847927/511323585464349648067863\ 3386881750433161*c_0101_4^14 - 159023948788059388483569435434561124\ 3298079/5113235854643496480678633386881750433161*c_0101_4^13 - 4818729218875524485276534940648844730066949/10226471709286992961357\ 266773763500866322*c_0101_4^12 - 4361958711321303155783988457660369\ 909610128/5113235854643496480678633386881750433161*c_0101_4^11 - 11252543906905609771372374373304910884592157/1022647170928699296135\ 7266773763500866322*c_0101_4^10 - 490296590225527218599607773747135\ 9508675744/5113235854643496480678633386881750433161*c_0101_4^9 - 266746626174375386416467080283469739206467/300778579684911557686978\ 434522455907833*c_0101_4^8 - 82426757882441602979283358985104874692\ 92153/10226471709286992961357266773763500866322*c_0101_4^7 - 2419336234430098871580739002818641894572043/51132358546434964806786\ 33386881750433161*c_0101_4^6 - 111332174411409534226660656401352081\ 1149302/5113235854643496480678633386881750433161*c_0101_4^5 - 662443808987395493990491870618973350792118/511323585464349648067863\ 3386881750433161*c_0101_4^4 - 4299277914830715215517924039475792060\ 91353/10226471709286992961357266773763500866322*c_0101_4^3 + 61226336294427397580552898843238433154747/5113235854643496480678633\ 386881750433161*c_0101_4^2 + 48733867139311651609410689116677112583\ 880/5113235854643496480678633386881750433161*c_0101_4 + 12514833837402879202763268459481116851127/5113235854643496480678633\ 386881750433161, c_0011_11 - 7663275624900474979599202073017069002895/102264717092869929\ 61357266773763500866322*c_0101_4^23 + 2420695392247562625038329580500765937511/60155715936982311537395686\ 9044911815666*c_0101_4^22 - 461477282272246216806017905949056323497\ 9/5113235854643496480678633386881750433161*c_0101_4^21 - 59983846218064136028824944504779244585526/5113235854643496480678633\ 386881750433161*c_0101_4^20 + 1557562313964432125753727884521999544\ 58188/5113235854643496480678633386881750433161*c_0101_4^19 + 204913383456860848138579073715103358753294/511323585464349648067863\ 3386881750433161*c_0101_4^18 + 684892723333091810312204992209191136\ 80839/5113235854643496480678633386881750433161*c_0101_4^17 + 1194944459135093046295427082583064546367439/10226471709286992961357\ 266773763500866322*c_0101_4^16 + 5014703418255043637928357982093272\ 90814257/10226471709286992961357266773763500866322*c_0101_4^15 - 1554010943359762989429335810116890196354843/51132358546434964806786\ 33386881750433161*c_0101_4^14 - 25195628374878573584230149811494850\ 49187982/5113235854643496480678633386881750433161*c_0101_4^13 - 8472208763572473705805240242777424407970563/10226471709286992961357\ 266773763500866322*c_0101_4^12 - 7265228248498049000047119670573501\ 366533328/5113235854643496480678633386881750433161*c_0101_4^11 - 7358813808270895078038576738703057604120669/51132358546434964806786\ 33386881750433161*c_0101_4^10 - 60251910754795136493994440482708611\ 63151488/5113235854643496480678633386881750433161*c_0101_4^9 - 356585330099550813976462346967586255529939/300778579684911557686978\ 434522455907833*c_0101_4^8 - 45812372007732890626558638249738752434\ 76920/5113235854643496480678633386881750433161*c_0101_4^7 - 4052501871735697332873479732667340703901561/10226471709286992961357\ 266773763500866322*c_0101_4^6 - 21154457645107961302074266931078386\ 25808959/10226471709286992961357266773763500866322*c_0101_4^5 - 1196222412373497372341762537105234271266311/10226471709286992961357\ 266773763500866322*c_0101_4^4 + 22115843064103278840219875300749542\ 60705/10226471709286992961357266773763500866322*c_0101_4^3 + 231499504449560424479568529049471409055677/102264717092869929613572\ 66773763500866322*c_0101_4^2 + 318556077212119958915158061780692041\ 13086/5113235854643496480678633386881750433161*c_0101_4 + 1254420928909839507593002173734527311793/51132358546434964806786333\ 86881750433161, c_0011_3 + 4416465721868080868190929552789215766195/1022647170928699296\ 1357266773763500866322*c_0101_4^23 - 1330493773825033132145261436399037917301/60155715936982311537395686\ 9044911815666*c_0101_4^22 + 119603520774872552204862639903708471916\ 3/10226471709286992961357266773763500866322*c_0101_4^21 + 58514348997490521920608034673245241320983/1022647170928699296135726\ 6773763500866322*c_0101_4^20 - 724024107752317639199242003524048172\ 29820/5113235854643496480678633386881750433161*c_0101_4^19 - 270688818209657190913400014841810006679735/102264717092869929613572\ 66773763500866322*c_0101_4^18 - 11652591894019264350164878178661427\ 7714835/5113235854643496480678633386881750433161*c_0101_4^17 - 678628400343669933957147484543600527398957/102264717092869929613572\ 66773763500866322*c_0101_4^16 - 24049028658115139866814712738638814\ 3925543/5113235854643496480678633386881750433161*c_0101_4^15 + 727354125571332878372442738398486229556271/511323585464349648067863\ 3386881750433161*c_0101_4^14 + 179900009618192953648720207892526914\ 1903289/5113235854643496480678633386881750433161*c_0101_4^13 + 6117854543244494034848831702416441584854643/10226471709286992961357\ 266773763500866322*c_0101_4^12 + 4956178057132352653813278531177429\ 886581260/5113235854643496480678633386881750433161*c_0101_4^11 + 11795998612407608094816023225222040244861657/1022647170928699296135\ 7266773763500866322*c_0101_4^10 + 529257441526344510978218011676698\ 6158556556/5113235854643496480678633386881750433161*c_0101_4^9 + 278317396486935366468447897106419185477771/300778579684911557686978\ 434522455907833*c_0101_4^8 + 81061995791074549526392096486501921109\ 51487/10226471709286992961357266773763500866322*c_0101_4^7 + 2385047378752741447875514320818122608665687/51132358546434964806786\ 33386881750433161*c_0101_4^6 + 103104859660991872596292168624931497\ 0393268/5113235854643496480678633386881750433161*c_0101_4^5 + 594096470278433593026952685839505913417386/511323585464349648067863\ 3386881750433161*c_0101_4^4 + 4111492090348400980330216858739369136\ 89085/10226471709286992961357266773763500866322*c_0101_4^3 - 73336305288433453258418797858475404722242/5113235854643496480678633\ 386881750433161*c_0101_4^2 - 43076891288680143992940018076314918503\ 770/5113235854643496480678633386881750433161*c_0101_4 - 2081975975522534719981813443440175858603/51132358546434964806786333\ 86881750433161, c_0011_5 - 1106953886903270497875951924393419730815/5113235854643496480\ 678633386881750433161*c_0101_4^23 + 895895946029660297579635058641073860489/601557159369823115373956869\ 044911815666*c_0101_4^22 - 1156510491356746231086171875125287686465\ 4/5113235854643496480678633386881750433161*c_0101_4^21 - 15565762641559506316574831213876130215083/1022647170928699296135726\ 6773763500866322*c_0101_4^20 + 650415705520404645179895282694748307\ 76390/5113235854643496480678633386881750433161*c_0101_4^19 - 24805392212471268275867622044824318202293/5113235854643496480678633\ 386881750433161*c_0101_4^18 - 1606508315802326781880355051357456961\ 4611/10226471709286992961357266773763500866322*c_0101_4^17 + 344501479113004537078878541319864473425157/102264717092869929613572\ 66773763500866322*c_0101_4^16 - 18515411312706789935146339176266925\ 2129769/5113235854643496480678633386881750433161*c_0101_4^15 - 358486864326285143923422303125997208305826/511323585464349648067863\ 3386881750433161*c_0101_4^14 - 890207063551068816558352239880926931\ 57089/5113235854643496480678633386881750433161*c_0101_4^13 - 614054298479419939964530268388064670706516/511323585464349648067863\ 3386881750433161*c_0101_4^12 - 153205768794810323254795984209149511\ 9727869/10226471709286992961357266773763500866322*c_0101_4^11 - 90381837189912488103186381899562703547643/1022647170928699296135726\ 6773763500866322*c_0101_4^10 - 288076524936426103370859039148724723\ 094081/5113235854643496480678633386881750433161*c_0101_4^9 - 29151672225615500512076295238877697526897/3007785796849115576869784\ 34522455907833*c_0101_4^8 + 109371769771850119019336683065551813378\ 503/5113235854643496480678633386881750433161*c_0101_4^7 + 126217572922317872748158995944094730299693/102264717092869929613572\ 66773763500866322*c_0101_4^6 - 333771312795192643629467409736139823\ 494175/10226471709286992961357266773763500866322*c_0101_4^5 + 18327390238900601368888801957039427072491/1022647170928699296135726\ 6773763500866322*c_0101_4^4 + 3074609859415937681967104158877008254\ 2349/10226471709286992961357266773763500866322*c_0101_4^3 - 47780070128874270636029350761861637219873/5113235854643496480678633\ 386881750433161*c_0101_4^2 - 11737482418409419053435463740120760904\ 328/5113235854643496480678633386881750433161*c_0101_4 + 1569192294272787195903183445398041381479/51132358546434964806786333\ 86881750433161, c_0011_7 + 977842447274345764558657690371196509780/51132358546434964806\ 78633386881750433161*c_0101_4^23 - 716092030104253179930079186019874955453/601557159369823115373956869\ 044911815666*c_0101_4^22 + 6199492910127990352319185834390251488639\ /5113235854643496480678633386881750433161*c_0101_4^21 + 11076029199011858666882302837930761171772/5113235854643496480678633\ 386881750433161*c_0101_4^20 - 9994995382115719122924324185168612291\ 1631/10226471709286992961357266773763500866322*c_0101_4^19 - 24434860703687499640572374784325786718345/1022647170928699296135726\ 6773763500866322*c_0101_4^18 + 422235270417425589607901323029421442\ 4835/10226471709286992961357266773763500866322*c_0101_4^17 - 149700603989337943041700075901799685563065/511323585464349648067863\ 3386881750433161*c_0101_4^16 + 636326442605397521722978098518309238\ 35967/5113235854643496480678633386881750433161*c_0101_4^15 + 370989264395278976554592135829359315820985/511323585464349648067863\ 3386881750433161*c_0101_4^14 + 320320191699107979750795522484677528\ 460934/5113235854643496480678633386881750433161*c_0101_4^13 + 734502101366204564378065681562053536964895/511323585464349648067863\ 3386881750433161*c_0101_4^12 + 229777508186699176239664527479587569\ 1800821/10226471709286992961357266773763500866322*c_0101_4^11 + 1486643723237414487100964083600411102882933/10226471709286992961357\ 266773763500866322*c_0101_4^10 + 1305626358350154816809524337057429\ 602177005/10226471709286992961357266773763500866322*c_0101_4^9 + 46956172585121245980872812427443307324933/3007785796849115576869784\ 34522455907833*c_0101_4^8 + 670085879270353292223564979320161321435\ 523/10226471709286992961357266773763500866322*c_0101_4^7 + 61377369088744937425749688306696684639444/5113235854643496480678633\ 386881750433161*c_0101_4^6 + 25404356325447103704700998181127722811\ 1907/10226471709286992961357266773763500866322*c_0101_4^5 + 53613310878782762379503743826924042968257/1022647170928699296135726\ 6773763500866322*c_0101_4^4 - 3885396217774952682535317918274377903\ 3594/5113235854643496480678633386881750433161*c_0101_4^3 - 7624698681865750969977229396372594307257/51132358546434964806786333\ 86881750433161*c_0101_4^2 + 251325394950249818087099979291560978717\ 0/5113235854643496480678633386881750433161*c_0101_4 + 1132939019675038193057253777476781857274/51132358546434964806786333\ 86881750433161, c_0011_8 - 1406169960084951064894682515082047172085/1022647170928699296\ 1357266773763500866322*c_0101_4^23 + 437619115053304875772840896118575618603/601557159369823115373956869\ 044911815666*c_0101_4^22 - 317058016433108261822131278298883756589/\ 10226471709286992961357266773763500866322*c_0101_4^21 - 13692597522426357475222364339507101282821/5113235854643496480678633\ 386881750433161*c_0101_4^20 + 6347505898318966521060409877418516494\ 2995/10226471709286992961357266773763500866322*c_0101_4^19 + 81504620472207789695195146386522808532337/1022647170928699296135726\ 6773763500866322*c_0101_4^18 - 284381405997381209380974515053277681\ 5275/5113235854643496480678633386881750433161*c_0101_4^17 + 233813396081225037378401839853275803725693/102264717092869929613572\ 66773763500866322*c_0101_4^16 + 81099407589873613567883386136401749\ 872025/10226471709286992961357266773763500866322*c_0101_4^15 - 331542247338662348161664104747828999677534/511323585464349648067863\ 3386881750433161*c_0101_4^14 - 436778678857203025221126054824967657\ 523855/5113235854643496480678633386881750433161*c_0101_4^13 - 1447767091450142800738030490954962370634179/10226471709286992961357\ 266773763500866322*c_0101_4^12 - 1286748006972713923555309309883205\ 533141236/5113235854643496480678633386881750433161*c_0101_4^11 - 2309188817568829264037472894546897372077167/10226471709286992961357\ 266773763500866322*c_0101_4^10 - 1712835154191551566161367011723526\ 354770677/10226471709286992961357266773763500866322*c_0101_4^9 - 54521087096498823804361414602583531832134/3007785796849115576869784\ 34522455907833*c_0101_4^8 - 120713298222006887686179112092905510010\ 9669/10226471709286992961357266773763500866322*c_0101_4^7 - 163458788956950425203303472783049440304322/511323585464349648067863\ 3386881750433161*c_0101_4^6 - 8485328198699097290129911251132463318\ 8989/5113235854643496480678633386881750433161*c_0101_4^5 - 63268047110810298884811107923661110918527/1022647170928699296135726\ 6773763500866322*c_0101_4^4 + 8168794162885166981097907886262554043\ 0671/10226471709286992961357266773763500866322*c_0101_4^3 + 55425311007861254071164775003638621426833/1022647170928699296135726\ 6773763500866322*c_0101_4^2 + 2191002682654884965223368107382472368\ 035/5113235854643496480678633386881750433161*c_0101_4 - 3387579889900144225328449512026371627526/51132358546434964806786333\ 86881750433161, c_0011_9 - 3284992671024277890988410560002141374355/5113235854643496480\ 678633386881750433161*c_0101_4^23 + 1110074312130569529694032507008859615144/30077857968491155768697843\ 4522455907833*c_0101_4^22 - 110184831102303529596600979791211822753\ 63/5113235854643496480678633386881750433161*c_0101_4^21 - 47516876465800782512340892086539437212284/5113235854643496480678633\ 386881750433161*c_0101_4^20 + 3051951698311339556448342825890348635\ 61381/10226471709286992961357266773763500866322*c_0101_4^19 + 232826836377309172484650829582285765088707/102264717092869929613572\ 66773763500866322*c_0101_4^18 + 28326846269021336261870053156323760\ 271019/10226471709286992961357266773763500866322*c_0101_4^17 + 517236297624839206458298632085362094451587/511323585464349648067863\ 3386881750433161*c_0101_4^16 + 242023883842659572851456939853490963\ 53597/10226471709286992961357266773763500866322*c_0101_4^15 - 1334513472606648830382263426965649836177525/51132358546434964806786\ 33386881750433161*c_0101_4^14 - 16370373020256051855728295707039803\ 45940090/5113235854643496480678633386881750433161*c_0101_4^13 - 3058318793723418034321028751436014104772995/51132358546434964806786\ 33386881750433161*c_0101_4^12 - 51109496882786721222728000574863581\ 28690017/5113235854643496480678633386881750433161*c_0101_4^11 - 4393597520104740932018602757506055016497549/51132358546434964806786\ 33386881750433161*c_0101_4^10 - 35956206516366261858388576440951443\ 25932230/5113235854643496480678633386881750433161*c_0101_4^9 - 456626526618170603016586154507577324523349/601557159369823115373956\ 869044911815666*c_0101_4^8 - 24276499138852625712076320073474199128\ 28398/5113235854643496480678633386881750433161*c_0101_4^7 - 1675363836478374714810261899871618316644659/10226471709286992961357\ 266773763500866322*c_0101_4^6 - 11644799171270975317938617921920894\ 87387967/10226471709286992961357266773763500866322*c_0101_4^5 - 250312250453698892761646459629463154612138/511323585464349648067863\ 3386881750433161*c_0101_4^4 + 1025967655739525827557308127259073306\ 40562/5113235854643496480678633386881750433161*c_0101_4^3 + 135059026569752636972034599049752448787211/102264717092869929613572\ 66773763500866322*c_0101_4^2 + 687527084345273407363891728344047951\ 5077/5113235854643496480678633386881750433161*c_0101_4 - 3126863853618924431949257896970756881057/51132358546434964806786333\ 86881750433161, c_0101_10 + 713088794551322208874225964304953735550/5113235854643496480\ 678633386881750433161*c_0101_4^23 - 610429777299590784928269001847150206185/601557159369823115373956869\ 044911815666*c_0101_4^22 + 9327070306694712477666368774449840814878\ /5113235854643496480678633386881750433161*c_0101_4^21 + 2200220451108896937074898486899893445383/51132358546434964806786333\ 86881750433161*c_0101_4^20 - 84433230598763291552515676201599143557\ 963/10226471709286992961357266773763500866322*c_0101_4^19 + 27849171554717870747541609469143072643277/5113235854643496480678633\ 386881750433161*c_0101_4^18 + 6284903367314455329323092931015632657\ 781/10226471709286992961357266773763500866322*c_0101_4^17 - 195827558510926060010675966819549998105529/102264717092869929613572\ 66773763500866322*c_0101_4^16 + 30459370125032194071644753484905673\ 6560797/10226471709286992961357266773763500866322*c_0101_4^15 + 206415727848243180179439841240511242698993/511323585464349648067863\ 3386881750433161*c_0101_4^14 - 564711732255496109118251620076541839\ 4848/5113235854643496480678633386881750433161*c_0101_4^13 + 292947540547284447236013002904813073269615/511323585464349648067863\ 3386881750433161*c_0101_4^12 + 519278746043704308478282352119744008\ 101499/10226471709286992961357266773763500866322*c_0101_4^11 - 534614593213896241489819466202480677906595/102264717092869929613572\ 66773763500866322*c_0101_4^10 - 19209224970157716979185094301182001\ 7519777/10226471709286992961357266773763500866322*c_0101_4^9 + 1595241461092088483796703125518295696710/30077857968491155768697843\ 4522455907833*c_0101_4^8 - 3212808350420279434773775814625830782036\ 18/5113235854643496480678633386881750433161*c_0101_4^7 - 436198642445110237066831305035253182693537/102264717092869929613572\ 66773763500866322*c_0101_4^6 - 526126066384963871408376904567843483\ 7907/10226471709286992961357266773763500866322*c_0101_4^5 - 65188336059450017038687108225634666290112/5113235854643496480678633\ 386881750433161*c_0101_4^4 - 97115130924022812901351207375482897766\ 363/10226471709286992961357266773763500866322*c_0101_4^3 + 26636967513906717574489278286308684910265/1022647170928699296135726\ 6773763500866322*c_0101_4^2 + 6416884305495521356028836171324721103\ 470/5113235854643496480678633386881750433161*c_0101_4 - 2502016780377527827027687972511635842874/51132358546434964806786333\ 86881750433161, c_0101_11 - 2597060175781074842071687753068787291640/511323585464349648\ 0678633386881750433161*c_0101_4^23 + 834813505949721811022123736011228856617/300778579684911557686978434\ 522455907833*c_0101_4^22 - 4360128920609284058866237977649992791384\ /5113235854643496480678633386881750433161*c_0101_4^21 - 41647488598356378859322314946928151350103/5113235854643496480678633\ 386881750433161*c_0101_4^20 + 1155404863741936281417513727742096818\ 59861/5113235854643496480678633386881750433161*c_0101_4^19 + 118363924846739912693768913540777693318370/511323585464349648067863\ 3386881750433161*c_0101_4^18 + 337645606167925965006998656205845495\ 97754/5113235854643496480678633386881750433161*c_0101_4^17 + 433754612768336231337388375014081068811387/511323585464349648067863\ 3386881750433161*c_0101_4^16 + 971988340716052509321752533337834598\ 23076/5113235854643496480678633386881750433161*c_0101_4^15 - 1045635102485281105758793233865012988427342/51132358546434964806786\ 33386881750433161*c_0101_4^14 - 15273706492459744043044877194152568\ 21460110/5113235854643496480678633386881750433161*c_0101_4^13 - 2824184813499304060294168918633810904378103/51132358546434964806786\ 33386881750433161*c_0101_4^12 - 47305791719630972693604723886568162\ 97566777/5113235854643496480678633386881750433161*c_0101_4^11 - 4547256799238113286327706516998012120165690/51132358546434964806786\ 33386881750433161*c_0101_4^10 - 39483301333791967649870480124186485\ 23202331/5113235854643496480678633386881750433161*c_0101_4^9 - 234560239246291742889486534400467154761773/300778579684911557686978\ 434522455907833*c_0101_4^8 - 27895581901341465250311206583545742517\ 13712/5113235854643496480678633386881750433161*c_0101_4^7 - 1351199304051160032509112457347905115475741/51132358546434964806786\ 33386881750433161*c_0101_4^6 - 779150119463601557587630505238649939\ 327883/5113235854643496480678633386881750433161*c_0101_4^5 - 336445694427673808008141229935228714105999/511323585464349648067863\ 3386881750433161*c_0101_4^4 - 1031629333578811615793828978844012347\ 0730/5113235854643496480678633386881750433161*c_0101_4^3 + 38997729561127333536814097462273603353217/5113235854643496480678633\ 386881750433161*c_0101_4^2 + 31080259438357582372642413641688844423\ 400/5113235854643496480678633386881750433161*c_0101_4 + 4333325141703277793283467211920971444401/51132358546434964806786333\ 86881750433161, c_0101_12 - 294614060690581513013859513365779150545/5113235854643496480\ 678633386881750433161*c_0101_4^23 + 212615102581325456413218170885803268867/601557159369823115373956869\ 044911815666*c_0101_4^22 - 2728324752882581066313190213522670454117\ /10226471709286992961357266773763500866322*c_0101_4^21 - 5805528853357117534267132254895923214469/51132358546434964806786333\ 86881750433161*c_0101_4^20 + 18332205864704647028875070694840715812\ 720/5113235854643496480678633386881750433161*c_0101_4^19 + 12388512924922005364222931556106265012775/1022647170928699296135726\ 6773763500866322*c_0101_4^18 - 353389602882040782948004492769393651\ 25571/10226471709286992961357266773763500866322*c_0101_4^17 + 104594930305035181064157490122980831433707/102264717092869929613572\ 66773763500866322*c_0101_4^16 - 48248098218743301945657506158195478\ 950669/10226471709286992961357266773763500866322*c_0101_4^15 - 160068250278185975962488213147676435561664/511323585464349648067863\ 3386881750433161*c_0101_4^14 - 574061550684200559910336420760681657\ 93625/5113235854643496480678633386881750433161*c_0101_4^13 - 145377073171776720827603679282283853304340/511323585464349648067863\ 3386881750433161*c_0101_4^12 - 589091875566979531040162687182256897\ 997079/10226471709286992961357266773763500866322*c_0101_4^11 - 9609538272233104501735219404565452032012/51132358546434964806786333\ 86881750433161*c_0101_4^10 + 65897995511319385653233439634383880384\ 281/5113235854643496480678633386881750433161*c_0101_4^9 - 5745522192203761374960482989941753162129/30077857968491155768697843\ 4522455907833*c_0101_4^8 + 2010174331062289146477975096052634719879\ 59/10226471709286992961357266773763500866322*c_0101_4^7 + 171671577176183444117031336368607873340996/511323585464349648067863\ 3386881750433161*c_0101_4^6 + 6171770419773613768048334152599021687\ 815/5113235854643496480678633386881750433161*c_0101_4^5 + 30287330517707684310175168141700503138489/5113235854643496480678633\ 386881750433161*c_0101_4^4 + 11023417324924961178655254504903684659\ 0389/10226471709286992961357266773763500866322*c_0101_4^3 - 9248166591269690496597191277173157120789/10226471709286992961357266\ 773763500866322*c_0101_4^2 - 45782070569748262009518208954040250509\ 95/5113235854643496480678633386881750433161*c_0101_4 + 3546288454864282584334246326521074157462/51132358546434964806786333\ 86881750433161, c_0101_2 + 3815734921356256558887354927495532598715/5113235854643496480\ 678633386881750433161*c_0101_4^23 - 1140656323303458951538993569522876088767/30077857968491155768697843\ 4522455907833*c_0101_4^22 - 274164863171647980637752668621682448284\ 3/5113235854643496480678633386881750433161*c_0101_4^21 + 70585335651090780441820313936160329530210/5113235854643496480678633\ 386881750433161*c_0101_4^20 - 3030019544024309217379598016072297494\ 02877/10226471709286992961357266773763500866322*c_0101_4^19 - 511150040106478063001867488887608455257313/102264717092869929613572\ 66773763500866322*c_0101_4^18 - 11554215423802942609412105555719963\ 9962565/10226471709286992961357266773763500866322*c_0101_4^17 - 625147700403202763551327908478275591268922/511323585464349648067863\ 3386881750433161*c_0101_4^16 - 786759324921709124212181110772216803\ 301403/10226471709286992961357266773763500866322*c_0101_4^15 + 1663867688157753714597573023340227596727674/51132358546434964806786\ 33386881750433161*c_0101_4^14 + 27967420750647482211728545413178449\ 55331692/5113235854643496480678633386881750433161*c_0101_4^13 + 4530330531815857320518988413992467650507615/51132358546434964806786\ 33386881750433161*c_0101_4^12 + 80564696789879280654082599665584701\ 95357157/5113235854643496480678633386881750433161*c_0101_4^11 + 8397072665834771015845051661406669969650414/51132358546434964806786\ 33386881750433161*c_0101_4^10 + 68046335959609714417649091598823814\ 72737263/5113235854643496480678633386881750433161*c_0101_4^9 + 813239024240297942364088733362107029955721/601557159369823115373956\ 869044911815666*c_0101_4^8 + 54078901782624139054053227400318430618\ 27870/5113235854643496480678633386881750433161*c_0101_4^7 + 4884099324761351371075003073181033174280729/10226471709286992961357\ 266773763500866322*c_0101_4^6 + 25229653712692130660763064850796047\ 89838653/10226471709286992961357266773763500866322*c_0101_4^5 + 748043002249734674952878117644526091180756/511323585464349648067863\ 3386881750433161*c_0101_4^4 + 3660497488439551571683274593971481290\ 9255/5113235854643496480678633386881750433161*c_0101_4^3 - 275156624314472132715363481161339433313817/102264717092869929613572\ 66773763500866322*c_0101_4^2 - 412925557958734748774322434583644593\ 87815/5113235854643496480678633386881750433161*c_0101_4 - 2517669465005980752494034858275829935873/51132358546434964806786333\ 86881750433161, c_0101_4^24 - 28/5*c_0101_4^23 + 12/5*c_0101_4^22 + 78/5*c_0101_4^21 - 222/5*c_0101_4^20 - 222/5*c_0101_4^19 - 22/5*c_0101_4^18 - 751/5*c_0101_4^17 - 134/5*c_0101_4^16 + 2124/5*c_0101_4^15 + 2832/5*c_0101_4^14 + 4721/5*c_0101_4^13 + 8053/5*c_0101_4^12 + 7189/5*c_0101_4^11 + 5309/5*c_0101_4^10 + 5673/5*c_0101_4^9 + 763*c_0101_4^8 + 198*c_0101_4^7 + 507/5*c_0101_4^6 + 66*c_0101_4^5 - 221/5*c_0101_4^4 - 188/5*c_0101_4^3 - 12/5*c_0101_4^2 + 12/5*c_0101_4 + 4/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.620 Total time: 3.839 seconds, Total memory usage: 64.12MB