Magma V2.19-8 Tue Aug 20 2013 23:40:52 on localhost [Seed = 981229264] Type ? for help. Type -D to quit. Loading file "K12n430__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n430 geometric_solution 11.40813391 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 1 0 -1 0 0 0 0 -1 -1 0 2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297851860271 0.626498156729 0 2 4 5 0132 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 2 0 -2 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.446832489729 0.919251614754 6 0 7 1 0132 0132 0132 3201 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 -1 0 1 1 0 -1 0 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606671318669 0.754127519842 7 8 9 0 0213 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 0 2 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533206086255 1.702990971267 1 5 0 8 2031 2310 0132 1302 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 1 -1 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297238281939 0.893155251431 6 10 1 4 3201 0132 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716920964846 0.598994203397 2 11 10 5 0132 0132 1230 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 -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.962940085323 0.620566928552 3 10 11 2 0213 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624732521577 1.334013279755 9 3 4 11 2031 0132 2031 3012 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 1 -1 -1 1 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.845199343010 1.483832990143 11 10 8 3 3201 3012 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -2 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496631239410 1.180048513315 9 5 7 6 1230 0132 2310 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 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.721808969320 0.892008034891 7 6 8 9 2310 0132 1230 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 1 -1 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.762544130418 0.463208410008 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_0110_5']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_0110_4'], 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : negation(d['c_1001_10']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0110_4']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0101_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0110_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_8'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_7'], 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : negation(d['c_1001_10']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0101_10']), '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_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_3']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_10, c_0101_6, c_0101_8, c_0110_4, c_0110_5, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 11804046558858852502898831251479170744182789811/2606975525976388490\ 3593414780247866761819778*c_1001_10^16 - 5555518762150596145744125420728504279399933033/26069755259763884903\ 593414780247866761819778*c_1001_10^15 - 20529358814653811865118054883436842965108816271/2606975525976388490\ 3593414780247866761819778*c_1001_10^14 - 4216912066862924090838307291179912116607434569/20053657892126065310\ 45647290788297443216906*c_1001_10^13 - 19587107859848828623458944711331475541038985072/1303487762988194245\ 1796707390123933380909889*c_1001_10^12 - 30084328971844566432397329012523079002417814461/2606975525976388490\ 3593414780247866761819778*c_1001_10^11 - 74869829010225759167750274309804911126474832197/2606975525976388490\ 3593414780247866761819778*c_1001_10^10 - 44431541863068877597216995376475863902327022937/2606975525976388490\ 3593414780247866761819778*c_1001_10^9 + 16691254575304106643341961302838482118220874300/1303487762988194245\ 1796707390123933380909889*c_1001_10^8 - 1069486764617728989486066310585429154718164966/10026828946063032655\ 22823645394148721608453*c_1001_10^7 + 12537664968397699391224289146195747007443708001/2606975525976388490\ 3593414780247866761819778*c_1001_10^6 + 20320564761558543558093312070511190803689252247/1303487762988194245\ 1796707390123933380909889*c_1001_10^5 - 26298202477890218202200861205101560403412154481/2606975525976388490\ 3593414780247866761819778*c_1001_10^4 + 15433687124727629664072832103576482276460194883/2606975525976388490\ 3593414780247866761819778*c_1001_10^3 - 2806244111975775424901806033178736793124290019/26069755259763884903\ 593414780247866761819778*c_1001_10^2 - 16206852964031169389885086760503487705472673253/2606975525976388490\ 3593414780247866761819778*c_1001_10 + 321615040348344942628822835668684185215036682/100268289460630326552\ 2823645394148721608453, c_0011_0 - 1, c_0011_10 - 21984588492345386043516100252795081/74027200275654271395983\ 0686246909*c_1001_10^16 - 15027714343513728006835228131550984/74027\ 2002756542713959830686246909*c_1001_10^15 - 38878644225877261120517808420743933/7402720027565427139598306862469\ 09*c_1001_10^14 - 112476080281544612232118517878338076/740272002756\ 542713959830686246909*c_1001_10^13 - 93047826410318868437552476271922007/7402720027565427139598306862469\ 09*c_1001_10^12 - 70850019099284681270967250575988448/7402720027565\ 42713959830686246909*c_1001_10^11 - 158328535890145259262711598186299648/740272002756542713959830686246\ 909*c_1001_10^10 - 119966046289785667215117098362577345/74027200275\ 6542713959830686246909*c_1001_10^9 + 43929470030966878080044131166747873/7402720027565427139598306862469\ 09*c_1001_10^8 - 50436839032048105092280164033498247/74027200275654\ 2713959830686246909*c_1001_10^7 - 423040287064595651942704381338522\ 8/740272002756542713959830686246909*c_1001_10^6 + 85106798874162874002220538023383068/7402720027565427139598306862469\ 09*c_1001_10^5 - 40829520516313371463721010252791977/74027200275654\ 2713959830686246909*c_1001_10^4 + 205879452785660641544837859425392\ 36/740272002756542713959830686246909*c_1001_10^3 + 2382148254589901260827018146581541/74027200275654271395983068624690\ 9*c_1001_10^2 - 32396319596980374215182516956661675/740272002756542\ 713959830686246909*c_1001_10 + 13917558948400299434146866895404614/\ 740272002756542713959830686246909, c_0011_3 - 60840897929678988576736667677652088/740272002756542713959830\ 686246909*c_1001_10^16 - 37305902510655379575358300431950663/740272\ 002756542713959830686246909*c_1001_10^15 - 103564342326558248444700168224210564/740272002756542713959830686246\ 909*c_1001_10^14 - 300765453565255866263124904055203319/74027200275\ 6542713959830686246909*c_1001_10^13 - 232816524122299387260401703450099489/740272002756542713959830686246\ 909*c_1001_10^12 - 167060511520322736998384116009500093/74027200275\ 6542713959830686246909*c_1001_10^11 - 410293460382756156488033557554120710/740272002756542713959830686246\ 909*c_1001_10^10 - 287990509332018648333743338766458002/74027200275\ 6542713959830686246909*c_1001_10^9 + 162419541912146448042409134379511509/740272002756542713959830686246\ 909*c_1001_10^8 - 125461283115794672201456641340787679/740272002756\ 542713959830686246909*c_1001_10^7 + 5915068317153909937665567167506173/74027200275654271395983068624690\ 9*c_1001_10^6 + 241224372161149341816715550259957393/74027200275654\ 2713959830686246909*c_1001_10^5 - 121136558463038470348437283134206\ 353/740272002756542713959830686246909*c_1001_10^4 + 56037187561624348007720885601565424/7402720027565427139598306862469\ 09*c_1001_10^3 + 2875868088737601469603982329951199/740272002756542\ 713959830686246909*c_1001_10^2 - 9053479885125562136395069058382414\ 2/740272002756542713959830686246909*c_1001_10 + 42021130321395135827075460420217035/7402720027565427139598306862469\ 09, c_0011_4 + 32099690917466225818222556326937667/740272002756542713959830\ 686246909*c_1001_10^16 + 17678375247977561353341703811504408/740272\ 002756542713959830686246909*c_1001_10^15 + 52463642243752182276503914253499385/7402720027565427139598306862469\ 09*c_1001_10^14 + 154839827890701300794503526133654102/740272002756\ 542713959830686246909*c_1001_10^13 + 111045477011125872548771694954283804/740272002756542713959830686246\ 909*c_1001_10^12 + 76058730214966201444424465261231024/740272002756\ 542713959830686246909*c_1001_10^11 + 207172599626374107085703850622973124/740272002756542713959830686246\ 909*c_1001_10^10 + 135265947714154307271583621086599000/74027200275\ 6542713959830686246909*c_1001_10^9 - 102119027136994372443968839541061687/740272002756542713959830686246\ 909*c_1001_10^8 + 67034732697017728376700535868748786/7402720027565\ 42713959830686246909*c_1001_10^7 - 5807681250266306712551644348433264/74027200275654271395983068624690\ 9*c_1001_10^6 - 129415457640429722256165150201427973/74027200275654\ 2713959830686246909*c_1001_10^5 + 728638842563659344918503405041029\ 74/740272002756542713959830686246909*c_1001_10^4 - 30450023405228901604397014910660894/7402720027565427139598306862469\ 09*c_1001_10^3 + 269318889129523278569898270025511/7402720027565427\ 13959830686246909*c_1001_10^2 + 48954801812368050700521894530294035\ /740272002756542713959830686246909*c_1001_10 - 25296392739793533108121395065327619/7402720027565427139598306862469\ 09, c_0011_7 + 66885638118564074462512437690587636/740272002756542713959830\ 686246909*c_1001_10^16 + 39084840042955754762863822444914321/740272\ 002756542713959830686246909*c_1001_10^15 + 111782405377718062116167558703220337/740272002756542713959830686246\ 909*c_1001_10^14 + 326793811074212364886132517303536628/74027200275\ 6542713959830686246909*c_1001_10^13 + 244630664145358976029221451727149378/740272002756542713959830686246\ 909*c_1001_10^12 + 171525445019912824418984839623059028/74027200275\ 6542713959830686246909*c_1001_10^11 + 441399918525660936661628184922867521/740272002756542713959830686246\ 909*c_1001_10^10 + 299621623404710945086148209480792692/74027200275\ 6542713959830686246909*c_1001_10^9 - 195598928491235548302058586576923027/740272002756542713959830686246\ 909*c_1001_10^8 + 136755413323660298902145818789498267/740272002756\ 542713959830686246909*c_1001_10^7 - 10076907534007522822219583011944946/7402720027565427139598306862469\ 09*c_1001_10^6 - 267737355611282336972765853368080366/7402720027565\ 42713959830686246909*c_1001_10^5 + 140527338931819020520697713683697083/740272002756542713959830686246\ 909*c_1001_10^4 - 62272280933368242423563981795629703/7402720027565\ 42713959830686246909*c_1001_10^3 - 1586345128948611171703120261673153/74027200275654271395983068624690\ 9*c_1001_10^2 + 100662237678345000410414162921448089/74027200275654\ 2713959830686246909*c_1001_10 - 49467922288166888435359373647794721\ /740272002756542713959830686246909, c_0101_0 - 6596909585950223493451637462764546/7402720027565427139598306\ 86246909*c_1001_10^16 - 4008853541771115389284435008824043/74027200\ 2756542713959830686246909*c_1001_10^15 - 11188470198518542617470599357845094/7402720027565427139598306862469\ 09*c_1001_10^14 - 32563591607418186564536706280822661/7402720027565\ 42713959830686246909*c_1001_10^13 - 25043251549810892016105059771810228/7402720027565427139598306862469\ 09*c_1001_10^12 - 17894789903225377568231623661520723/7402720027565\ 42713959830686246909*c_1001_10^11 - 44533134441310318080429755245096836/7402720027565427139598306862469\ 09*c_1001_10^10 - 31029686294641888529125915367133026/7402720027565\ 42713959830686246909*c_1001_10^9 + 17747968809568191952025650048391167/7402720027565427139598306862469\ 09*c_1001_10^8 - 14314929745836846366741472321518866/74027200275654\ 2713959830686246909*c_1001_10^7 - 155376201142993128354626273356390\ /740272002756542713959830686246909*c_1001_10^6 + 25647161795854781869207382726479152/7402720027565427139598306862469\ 09*c_1001_10^5 - 14466633999432589522335670454285771/74027200275654\ 2713959830686246909*c_1001_10^4 + 459077246585296155053178172643237\ 6/740272002756542713959830686246909*c_1001_10^3 - 236415259963059739855520080862578/740272002756542713959830686246909\ *c_1001_10^2 - 10234378416480477345545203781211435/7402720027565427\ 13959830686246909*c_1001_10 + 4424250665649003368964564883275669/74\ 0272002756542713959830686246909, c_0101_10 - 31213924134715130377282638522140326/74027200275654271395983\ 0686246909*c_1001_10^16 - 17552499829943451733018946215693709/74027\ 2002756542713959830686246909*c_1001_10^15 - 50635755046452997186427359178828462/7402720027565427139598306862469\ 09*c_1001_10^14 - 150469853772726528186859292717203292/740272002756\ 542713959830686246909*c_1001_10^13 - 108322811002788868340235282613393952/740272002756542713959830686246\ 909*c_1001_10^12 - 71478667668218276382021474862747793/740272002756\ 542713959830686246909*c_1001_10^11 - 197886235772345389860824448439047493/740272002756542713959830686246\ 909*c_1001_10^10 - 129103984462890559454343220577318758/74027200275\ 6542713959830686246909*c_1001_10^9 + 104567340741887836476132791523985426/740272002756542713959830686246\ 909*c_1001_10^8 - 56315230384093859587288468320475669/7402720027565\ 42713959830686246909*c_1001_10^7 + 8893621870148531595142848055214324/74027200275654271395983068624690\ 9*c_1001_10^6 + 130339366090441736358040639169108364/74027200275654\ 2713959830686246909*c_1001_10^5 - 670185301693052169650898218803069\ 22/740272002756542713959830686246909*c_1001_10^4 + 29551763568214090753437612443448120/7402720027565427139598306862469\ 09*c_1001_10^3 + 1610319090961601564989678984051606/740272002756542\ 713959830686246909*c_1001_10^2 - 4854550520642685086362960894720832\ 6/740272002756542713959830686246909*c_1001_10 + 24437929175641674415595348903780111/7402720027565427139598306862469\ 09, c_0101_6 - 11427294420950133152638455628783336/740272002756542713959830\ 686246909*c_1001_10^16 - 3857358149068174584471245490570236/7402720\ 02756542713959830686246909*c_1001_10^15 - 15768773346626094567182269685088543/7402720027565427139598306862469\ 09*c_1001_10^14 - 49173266512704116599600785015777259/7402720027565\ 42713959830686246909*c_1001_10^13 - 24074965621644808798829493821963239/7402720027565427139598306862469\ 09*c_1001_10^12 - 8712448907784272061805535839891213/74027200275654\ 2713959830686246909*c_1001_10^11 - 56011667518591412614556235757620177/7402720027565427139598306862469\ 09*c_1001_10^10 - 21607397088700980341593195869655235/7402720027565\ 42713959830686246909*c_1001_10^9 + 62975574046374097289917590233960532/7402720027565427139598306862469\ 09*c_1001_10^8 - 14451065253159352286129853268138977/74027200275654\ 2713959830686246909*c_1001_10^7 + 123059390361161344379661146054650\ 91/740272002756542713959830686246909*c_1001_10^6 + 50621518592638920711644414445872824/7402720027565427139598306862469\ 09*c_1001_10^5 - 32600334861161501621492690398635465/74027200275654\ 2713959830686246909*c_1001_10^4 + 119725149372960951338165184309618\ 46/740272002756542713959830686246909*c_1001_10^3 - 2572196364704368985722125589339276/74027200275654271395983068624690\ 9*c_1001_10^2 - 18803647790253145702744461459045758/740272002756542\ 713959830686246909*c_1001_10 + 11651098025984414714681038205640951/\ 740272002756542713959830686246909, c_0101_8 - 13266656024086876347136688924228933/740272002756542713959830\ 686246909*c_1001_10^16 - 6990761937975214475288708634857781/7402720\ 02756542713959830686246909*c_1001_10^15 - 20646525462165733742176938499913976/7402720027565427139598306862469\ 09*c_1001_10^14 - 62969429523821712775780634443793708/7402720027565\ 42713959830686246909*c_1001_10^13 - 42682601810732708852773210435080768/7402720027565427139598306862469\ 09*c_1001_10^12 - 26172997326366357335058840637191679/7402720027565\ 42713959830686246909*c_1001_10^11 - 81304558381974471404136922498589317/7402720027565427139598306862469\ 09*c_1001_10^10 - 50870241864904549597295275020358424/7402720027565\ 42713959830686246909*c_1001_10^9 + 49334439932126253929138198567969913/7402720027565427139598306862469\ 09*c_1001_10^8 - 24620131730015713704274925344565929/74027200275654\ 2713959830686246909*c_1001_10^7 + 173813035530368526192565203366826\ 2/740272002756542713959830686246909*c_1001_10^6 + 55090801094154945883548841437607057/7402720027565427139598306862469\ 09*c_1001_10^5 - 32211048833186693655557723430821169/74027200275654\ 2713959830686246909*c_1001_10^4 + 113463290312491403012435551758220\ 01/740272002756542713959830686246909*c_1001_10^3 + 801550021719523001839799235286201/740272002756542713959830686246909\ *c_1001_10^2 - 21130801149818592096589658762668574/7402720027565427\ 13959830686246909*c_1001_10 + 11540302909770544735141002023742546/7\ 40272002756542713959830686246909, c_0110_4 - 31795727891245071835194227972839828/740272002756542713959830\ 686246909*c_1001_10^16 - 18456161403026917222294848633686434/740272\ 002756542713959830686246909*c_1001_10^15 - 52030459872194386656452414217178793/7402720027565427139598306862469\ 09*c_1001_10^14 - 154611906832648703918302342099569169/740272002756\ 542713959830686246909*c_1001_10^13 - 112961963247349502915316797326180016/740272002756542713959830686246\ 909*c_1001_10^12 - 75926794772827429907601221848161478/740272002756\ 542713959830686246909*c_1001_10^11 - 203922340513451632272534695576056414/740272002756542713959830686246\ 909*c_1001_10^10 - 134961760845320605051854550860960666/74027200275\ 6542713959830686246909*c_1001_10^9 + 103757560721929805514279006033734691/740272002756542713959830686246\ 909*c_1001_10^8 - 57849606147725835433600623119042153/7402720027565\ 42713959830686246909*c_1001_10^7 + 8864001472363017911815307794773237/74027200275654271395983068624690\ 9*c_1001_10^6 + 133742077741904005233946281997906900/74027200275654\ 2713959830686246909*c_1001_10^5 - 682511028076501541887855158734401\ 33/740272002756542713959830686246909*c_1001_10^4 + 29023378847093200616651749014802379/7402720027565427139598306862469\ 09*c_1001_10^3 + 1408618837090664233407004817871444/740272002756542\ 713959830686246909*c_1001_10^2 - 4974763479475152875295823364396985\ 8/740272002756542713959830686246909*c_1001_10 + 24354151846953679509913786810823409/7402720027565427139598306862469\ 09, c_0110_5 + 26559555274336847478007775768278091/740272002756542713959830\ 686246909*c_1001_10^16 + 15477326046723725165051736372730561/740272\ 002756542713959830686246909*c_1001_10^15 + 43675835026881189134681755920203998/7402720027565427139598306862469\ 09*c_1001_10^14 + 129395980181297140267264836604969176/740272002756\ 542713959830686246909*c_1001_10^13 + 95199996962006970858591446282430358/7402720027565427139598306862469\ 09*c_1001_10^12 + 64721222603968117724193622255908993/7402720027565\ 42713959830686246909*c_1001_10^11 + 171498453943693880193432011727205061/740272002756542713959830686246\ 909*c_1001_10^10 + 114740644764519287088204300157605541/74027200275\ 6542713959830686246909*c_1001_10^9 - 84677516141204062495213684089135472/7402720027565427139598306862469\ 09*c_1001_10^8 + 49129582570390378006950555870615121/74027200275654\ 2713959830686246909*c_1001_10^7 - 682427771944203846872844069615327\ 9/740272002756542713959830686246909*c_1001_10^6 - 110755640277318959316900431630330730/740272002756542713959830686246\ 909*c_1001_10^5 + 55430623307193294354125911267012163/7402720027565\ 42713959830686246909*c_1001_10^4 - 24878686644913238353950782422033165/7402720027565427139598306862469\ 09*c_1001_10^3 - 938767367532064423113397607431155/7402720027565427\ 13959830686246909*c_1001_10^2 + 40480474885289622716013976369568558\ /740272002756542713959830686246909*c_1001_10 - 19515364254188415325719925564437751/7402720027565427139598306862469\ 09, c_1001_10^17 + 239/161*c_1001_10^16 + 351/161*c_1001_10^15 + 1025/161*c_1001_10^14 + 1289/161*c_1001_10^13 + 132/23*c_1001_10^12 + 1409/161*c_1001_10^11 + 1651/161*c_1001_10^10 + 142/161*c_1001_10^9 - 19/23*c_1001_10^8 + 250/161*c_1001_10^7 - 98/23*c_1001_10^6 - 36/23*c_1001_10^5 + 157/161*c_1001_10^4 - 141/161*c_1001_10^3 + 241/161*c_1001_10^2 + 101/161*c_1001_10 - 109/161 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.930 Total time: 2.140 seconds, Total memory usage: 32.09MB