Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 1595851669] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0979 geometric_solution 4.87434392 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588547773711 0.213244694510 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.909525268287 0.330938750984 1 3 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.410916339125 0.416475994689 4 2 5 4 3120 0132 0132 2310 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 -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.272981885378 0.621699214308 3 5 2 3 3201 0132 0132 3120 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 0 0 0 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.272981885378 0.621699214308 6 4 6 3 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.355199417195 3.330640105814 5 6 5 6 0132 2310 1023 3201 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 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.381579012435 0.218471806504 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 4727485644498264246598590827033588814460917586448300515780256825855\ 345/412724173931877460433602799117457433041341588392233628328936777\ 08461807*c_1001_3^22 + 72549453315153688674567075366826334023518482\ 692323236172183162994132252/412724173931877460433602799117457433041\ 34158839223362832893677708461807*c_1001_3^21 - 1085398594125974158757664347716865404523099813087853566251215227022\ 49256/1375747246439591534778675997058191443471138627974112094429789\ 2569487269*c_1001_3^20 - 964329609771427575290318070537683772862542\ 29227818897725060929076418965/4127241739318774604336027991174574330\ 4134158839223362832893677708461807*c_1001_3^19 + 4507681082355322311924336532021002871371818296285347932031133854146\ 747593/412724173931877460433602799117457433041341588392233628328936\ 77708461807*c_1001_3^18 - 25044073626379158911473255434222249072054\ 29160640297203586973453122242546/1375747246439591534778675997058191\ 4434711386279741120944297892569487269*c_1001_3^17 - 5542112973795485356919728886556026830820520548098783355000857291466\ 479635/137574724643959153477867599705819144347113862797411209442978\ 92569487269*c_1001_3^16 + 23055765021373342283181343826486928840265\ 823125119778639652031769566841874/137574724643959153477867599705819\ 14434711386279741120944297892569487269*c_1001_3^15 - 8728182746872659352567502890997806209798888153238064473359520493419\ 7903470/41272417393187746043360279911745743304134158839223362832893\ 677708461807*c_1001_3^14 - 5869355825749286586070827349998949759906\ 5577176806983451925324655056071983/41272417393187746043360279911745\ 743304134158839223362832893677708461807*c_1001_3^13 + 5136085119275580852493680211478285845658884061348614220875934086125\ 97611385/4127241739318774604336027991174574330413415883922336283289\ 3677708461807*c_1001_3^12 - 335888590703213196308213843946002440998\ 055811813314439743820989411251796565/412724173931877460433602799117\ 45743304134158839223362832893677708461807*c_1001_3^11 - 6370817031958601803709681025261317589887275691245411830572560914778\ 658935/443789434335352107993121289373610143055206009023907127235415\ 889338299*c_1001_3^10 + 4673464488396947626646796699401670892098895\ 99433432253254989399196679978497/4127241739318774604336027991174574\ 3304134158839223362832893677708461807*c_1001_3^9 + 4320890831894115448575800946441911673949441541298439667899599828937\ 01977264/4127241739318774604336027991174574330413415883922336283289\ 3677708461807*c_1001_3^8 - 2131093426370549898532996823813841767324\ 72625657761515293340038161766443421/1375747246439591534778675997058\ 1914434711386279741120944297892569487269*c_1001_3^7 + 1649654406574935953476377610552835515013019342719407305460242449860\ 93819853/4127241739318774604336027991174574330413415883922336283289\ 3677708461807*c_1001_3^6 + 9101204368690554555131600084359444071002\ 7412497038430057442846344255237680/41272417393187746043360279911745\ 743304134158839223362832893677708461807*c_1001_3^5 - 4703104353527322891795078905712900680291401193199125986729539898513\ 5953264/41272417393187746043360279911745743304134158839223362832893\ 677708461807*c_1001_3^4 + 60155714102555667379857564151030682212774\ 626699233065000311669865953697516/137574724643959153477867599705819\ 14434711386279741120944297892569487269*c_1001_3^3 - 1337677240303693096064720149122524370816392939324080192769823429431\ 47650494/4127241739318774604336027991174574330413415883922336283289\ 3677708461807*c_1001_3^2 - 3426361246751920269781441407475850251833\ 8765901666534862175549034068269168/41272417393187746043360279911745\ 743304134158839223362832893677708461807*c_1001_3 + 3059131641518687964493648530645410698367489342200769300245896401092\ 5780973/41272417393187746043360279911745743304134158839223362832893\ 677708461807, c_0011_0 - 1, c_0011_1 + 149427483297989542548211632955807873525143465343105144382110\ 7106020/44378943433535210799312128937361014305520600902390712723541\ 5889338299*c_1001_3^22 - 215258130278304372799269467094147852971889\ 39193024649024945966018533/4437894343353521079931212893736101430552\ 06009023907127235415889338299*c_1001_3^21 + 8139338440387527799638259802455420245152285377551531489734463544655\ 5/44378943433535210799312128937361014305520600902390712723541588933\ 8299*c_1001_3^20 + 125369918057769623119753777535964349278702033945\ 864669969056585066842/443789434335352107993121289373610143055206009\ 023907127235415889338299*c_1001_3^19 - 1375253847000482562449380904725696014241610861801591507116558997435\ 124/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^18 + 9707753750951561955316883538866784174881586550\ 57379983375704895776971/4437894343353521079931212893736101430552060\ 09023907127235415889338299*c_1001_3^17 + 7329669776955414760913706783073367216536303280529770582821436728757\ 913/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^16 - 1572947822953435670699624356224486059278434895\ 8032440050353569209946379/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^15 + 6598184793731162934825196614993876844897271396948655116965894539039\ 321/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^14 + 3775028837879651195445984283241982507849368289\ 8857605497016910702789434/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^13 - 1323225692217961912275882524964434296931008030205451161100830514875\ 49005/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^12 - 49917936119853811210248578776016362580765253\ 553345969738756447003672702/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^11 + 2514721400514287725949174419886350065916377336557035605992013116398\ 53667/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^10 + 13549742164187759532732374478798976092686704\ 1123239202173150662839528731/44378943433535210799312128937361014305\ 5206009023907127235415889338299*c_1001_3^9 - 2092981729787052165187527958040010200762938508942771684550994322300\ 03572/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^8 - 111025164083578963461043620071651117391226694\ 684454716139930195246669963/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^7 - 7038658032153963715985193107791734325046709051618621546489848254811\ 270/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^6 + 41782995647864217324450812179611702073315439897\ 664337282924387758937450/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^5 + 7178709179746822575890169078587805584660510860732548176660767648240\ 1409/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^4 - 7751124961433650621361827523992014599980506751\ 321380698033503930670783/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^3 - 1930716191788082923803194899485963590081393173524452872376418219601\ 8216/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^2 - 6746456274070511437035922509332040903538360664\ 73883149698379053068354/4437894343353521079931212893736101430552060\ 09023907127235415889338299*c_1001_3 + 8725876509809933042990654528627459864896556700856565360553804946616\ 56/4437894343353521079931212893736101430552060090239071272354158893\ 38299, c_0011_4 + 160248855051333165816540639895919039444994031991149128346980\ 5490566/44378943433535210799312128937361014305520600902390712723541\ 5889338299*c_1001_3^22 - 230758251107423557630998368017007778668468\ 64364777144737098684848663/4437894343353521079931212893736101430552\ 06009023907127235415889338299*c_1001_3^21 + 8719934036146790681609554188100928398638083261252466592408269986011\ 8/44378943433535210799312128937361014305520600902390712723541588933\ 8299*c_1001_3^20 + 134323615848572005338436285335376456082913331238\ 676474621749332144497/443789434335352107993121289373610143055206009\ 023907127235415889338299*c_1001_3^19 - 1471407123439066646747591248810560555857427181087688303506467554257\ 095/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^18 + 1034662028839242158203481779608938332675680199\ 981672546116016316293320/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^17 + 7824272774056153084192120730698195904892063930651972020774701399891\ 166/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^16 - 1676831515687204095195957556529249054895334522\ 5744151383380739484283148/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^15 + 7192448748414523721554598094487526495461485841546142561900090164972\ 927/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^14 + 3992402868569361840301818288056779767912148176\ 8865163398982892060770669/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^13 - 1413279935074308760960711839056466099063014850227960787548484878849\ 60731/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^12 - 53266984892633918453849313421381893613185716\ 645782777212956054650927122/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^11 + 2649524230754510121667091167272637059270075548784670164426143466683\ 52254/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^10 + 14794655864267511680747000432917658553126651\ 4424142038816079586961903753/44378943433535210799312128937361014305\ 5206009023907127235415889338299*c_1001_3^9 - 2121593354639891711580224859179581595394354247868748827882345635790\ 14688/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^8 - 116795762389143052955225721542943559970389235\ 230430223974075797045909996/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^7 - 1820511564989811361446879692178067371325075326178596344610278489829\ 9950/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^6 + 3917746846607789721567708265644552057895434027\ 9474413710535095325656580/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^5 + 7603603512378939913989083687030199410985826242114303232976485962689\ 2333/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^4 - 5910856522033796865143563666920964757546260316\ 902209083376272018937842/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^3 - 1747276649953182552350974205360901969090375125701983570841773430994\ 2220/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^2 - 1032878873217534491703673820539580724458747186\ 824523204571208435791744/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3 + 4710968432472595519581061319834896328820816369653079950344301744005\ 33/4437894343353521079931212893736101430552060090239071272354158893\ 38299, c_0101_0 + 311934070755631084125699874766022873506059362609012990910373\ 7402082/13313683030060563239793638681208304291656180270717213817062\ 47668014897*c_1001_3^22 - 15153607908515959492562030868729899835554\ 088213896646825838454634074/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^21 + 5903353821476286900179054624682983368656336152886765537539849721316\ 2/44378943433535210799312128937361014305520600902390712723541588933\ 8299*c_1001_3^20 + 238102010171709081294650761342270219285226865948\ 361658727283906968952/133136830300605632397936386812083042916561802\ 7071721381706247668014897*c_1001_3^19 - 9765958600783629746875493542652610415516167154628314183105467943832\ 50/4437894343353521079931212893736101430552060090239071272354158893\ 38299*c_1001_3^18 + 82001734595183018101786391168816620052080323196\ 6168661777457085913386/44378943433535210799312128937361014305520600\ 9023907127235415889338299*c_1001_3^17 + 5086459427045943736905241105607251939719921634235650038207802568227\ 092/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^16 - 1177291577643939399887920175921968476656997298\ 7089326659148669836527846/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^15 + 1742204058015217573661068678703117629160792958305250349551064008768\ 2675/13313683030060563239793638681208304291656180270717213817062476\ 68014897*c_1001_3^14 + 26169407120614114476310198360977329510960379\ 741645323346233319184798305/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^13 - 2882435308204210215128274117489772139940805530664289314925698310791\ 63763/1331368303006056323979363868120830429165618027071721381706247\ 668014897*c_1001_3^12 - 2248933089995181903216702738438498525191919\ 2025665630704007372314820702/44378943433535210799312128937361014305\ 5206009023907127235415889338299*c_1001_3^11 + 1887098860889929751070795133086963835427873641850189411126588637205\ 01441/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^10 + 23600935605696561904076088019496274445233873\ 8582601169573934568676793483/13313683030060563239793638681208304291\ 65618027071721381706247668014897*c_1001_3^9 - 5166440619186686006093171594509045905248801506403679444151277627332\ 57030/1331368303006056323979363868120830429165618027071721381706247\ 668014897*c_1001_3^8 - 23058286565525495890932514701211951774594096\ 0835859924660854142147736049/13313683030060563239793638681208304291\ 65618027071721381706247668014897*c_1001_3^7 + 2021171857560085414684162766116806528483367170860904403481348142836\ 1802/13313683030060563239793638681208304291656180270717213817062476\ 68014897*c_1001_3^6 + 122550298792399918521977711185139630380242129\ 157107511361849723183654299/133136830300605632397936386812083042916\ 5618027071721381706247668014897*c_1001_3^5 + 5253961678852959745765184468361523937706813195405629832648038653604\ 1785/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^4 - 1025558050152672341531633221642326702751240223\ 8374851606205679275968808/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^3 - 4695662119471782711649851847384445305277558330708811045345509690430\ 8267/13313683030060563239793638681208304291656180270717213817062476\ 68014897*c_1001_3^2 - 184322233072159256328546170095217464117028400\ 2006909652916667152093388/13313683030060563239793638681208304291656\ 18027071721381706247668014897*c_1001_3 + 8970163119623918460071981216102843832948884038482177630098088002316\ 17/4437894343353521079931212893736101430552060090239071272354158893\ 38299, c_0101_1 - 100961416591554973932301503272944382125033989553954913893952\ 5821389/44378943433535210799312128937361014305520600902390712723541\ 5889338299*c_1001_3^22 + 148406872744050297671029516874156467297354\ 31651907946800103040744494/4437894343353521079931212893736101430552\ 06009023907127235415889338299*c_1001_3^21 - 5891081305069137205988369565688893701157861718554585277813913933477\ 6/44378943433535210799312128937361014305520600902390712723541588933\ 8299*c_1001_3^20 - 733348699496876827011763369557617996436582080004\ 70339389511743595361/4437894343353521079931212893736101430552060090\ 23907127235415889338299*c_1001_3^19 + 9688547082956598784725728347953761032416661259990778751535791713110\ 12/4437894343353521079931212893736101430552060090239071272354158893\ 38299*c_1001_3^18 - 88512047253339619020465576502997165438718961377\ 8836738871788518445259/44378943433535210799312128937361014305520600\ 9023907127235415889338299*c_1001_3^17 - 5042575929769526100311176300029111354209516902702037284133833605201\ 844/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^16 + 1204028273580944942935235135950640468872921228\ 5349722312186065525840902/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^15 - 5910468741664944279306881906953367099045751234963129630554638820977\ 015/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^14 - 2628674343295172506489934225612380193271488732\ 7938038935836253968421979/44378943433535210799312128937361014305520\ 6009023907127235415889338299*c_1001_3^13 + 9661243265430877273564052250527032529513329724118851222459351074202\ 1100/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^12 + 157844705684325240574076781546694836992130745\ 49473647807182164738067683/4437894343353521079931212893736101430552\ 06009023907127235415889338299*c_1001_3^11 - 2030021814670614853306154679233840762027080108737360150138943682812\ 34623/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^10 - 75412267001658753542684629719075856675502367\ 599068043324532291628923949/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^9 + 1916770102333880827894723542835980717218689062065713191737610952175\ 62085/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^8 + 872301577808638830256412706697783884785950431\ 41701569206026521944043213/4437894343353521079931212893736101430552\ 06009023907127235415889338299*c_1001_3^7 - 9411251874396756176475981186531895516912686843075358090407303939112\ 125/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^6 - 44509380772168938262891352697433182462573059296\ 442090083082429675310267/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^5 - 5917533153336118061166419983631623245703336288547764357675969304460\ 8964/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^4 + 9348197708479270876356428395956355386563744859\ 525266057156814536326156/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^3 + 1685945890662662029565343754970922006764020161298121218091899368563\ 4234/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^2 + 3636368783857500953485103746905125370479346281\ 00834629387358090578481/4437894343353521079931212893736101430552060\ 09023907127235415889338299*c_1001_3 - 4185520980725216309862464819385864255731660699746431646288659782107\ 09/4437894343353521079931212893736101430552060090239071272354158893\ 38299, c_0101_5 + 988461743376006865180424058706866107403493395021886629237166\ 5533420/13313683030060563239793638681208304291656180270717213817062\ 47668014897*c_1001_3^22 - 46866346253640651305038659114078963295665\ 355712539096020779407678318/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^21 + 1711185600312442956893841472082425980035803724468022769344363232622\ 99/4437894343353521079931212893736101430552060090239071272354158893\ 38299*c_1001_3^20 + 91668333951165352893072718473569813288862707584\ 3122723454710550529261/13313683030060563239793638681208304291656180\ 27071721381706247668014897*c_1001_3^19 - 2972278806187815063866871081642673197962545156293943361494834142314\ 015/443789434335352107993121289373610143055206009023907127235415889\ 338299*c_1001_3^18 + 1626251963550502785103661392277687987667542658\ 874668412764546442393017/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^17 + 1634386037500030892846532262515319638127331358704069756656545604149\ 0103/44378943433535210799312128937361014305520600902390712723541588\ 9338299*c_1001_3^16 - 318385364341606181281055492052389615749866286\ 64416226922633398373224230/4437894343353521079931212893736101430552\ 06009023907127235415889338299*c_1001_3^15 + 2873069286432155812483644557438737626516074497607341391726084402294\ 8921/13313683030060563239793638681208304291656180270717213817062476\ 68014897*c_1001_3^14 + 84602195426343884718703282229883051896171872\ 446583341401477956574508330/443789434335352107993121289373610143055\ 206009023907127235415889338299*c_1001_3^13 - 8333018397595786980583382178279982835689341073866235701143726461739\ 15119/1331368303006056323979363868120830429165618027071721381706247\ 668014897*c_1001_3^12 - 1561605685765335869050324541200207774224766\ 93536805732050011979264625279/4437894343353521079931212893736101430\ 55206009023907127235415889338299*c_1001_3^11 + 5185745920227443500320433104192372581024932680622987016438905035377\ 44200/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^10 + 11053487845156989234099650463768787533564677\ 74719080542821077161838266630/1331368303006056323979363868120830429\ 165618027071721381706247668014897*c_1001_3^9 - 1158676440512712850953711125049460263997215000873340550920770469055\ 527472/133136830300605632397936386812083042916561802707172138170624\ 7668014897*c_1001_3^8 - 8222191432654446004604177859034711535836509\ 12718041571008015672862240096/1331368303006056323979363868120830429\ 165618027071721381706247668014897*c_1001_3^7 - 1519008696496585047324134587026777162364497778110616929689595596263\ 82791/1331368303006056323979363868120830429165618027071721381706247\ 668014897*c_1001_3^6 + 19757358846669127771933631288439176134663407\ 1650552195870838928010191792/13313683030060563239793638681208304291\ 65618027071721381706247668014897*c_1001_3^5 + 1549313415348413870833615820753567853865722905095843214099041261403\ 09825/4437894343353521079931212893736101430552060090239071272354158\ 89338299*c_1001_3^4 + 103224518114386823072878555188798002824651388\ 761675138000564651742830/443789434335352107993121289373610143055206\ 009023907127235415889338299*c_1001_3^3 - 1168775113166051714656509409028648827283487561784032021782444403519\ 20050/1331368303006056323979363868120830429165618027071721381706247\ 668014897*c_1001_3^2 - 89556408760050558363261479214944687459232243\ 01951173145514730291199168/1331368303006056323979363868120830429165\ 618027071721381706247668014897*c_1001_3 + 1423970302389441003585427334345859724952170354740549351669254149151\ 787/443789434335352107993121289373610143055206009023907127235415889\ 338299, c_1001_3^23 - 15*c_1001_3^22 + 63*c_1001_3^21 + 52*c_1001_3^20 - 972*c_1001_3^19 + 1194*c_1001_3^18 + 4548*c_1001_3^17 - 13461*c_1001_3^16 + 10529*c_1001_3^15 + 22950*c_1001_3^14 - 103784*c_1001_3^13 + 18603*c_1001_3^12 + 190836*c_1001_3^11 - 8230*c_1001_3^10 - 197074*c_1001_3^9 + 6400*c_1001_3^8 + 41221*c_1001_3^7 + 31285*c_1001_3^6 + 32628*c_1001_3^5 - 34272*c_1001_3^4 - 10289*c_1001_3^3 + 7234*c_1001_3^2 + 813*c_1001_3 - 279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB