Magma V2.19-8 Tue Aug 20 2013 16:14:49 on localhost [Seed = 1814949891] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s790 geometric_solution 5.33404668 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.494170715068 0.219836468012 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.816546002440 0.531657011814 1 4 3 5 0132 0132 3012 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 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 0.828003366326 1.032319910461 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 -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 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828003366326 1.032319910461 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.116212399723 1.048092964920 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631926198424 0.923254062052 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 14029710039010411349093338122954536094707740070448138506002907/3201\ 23836533146777636937887697411909847436033161788561222782*c_0101_3^2\ 8 - 35618583456703277189204979134313364151166878782105346602652401/\ 480185754799720166455406831546117864771154049742682841834173*c_0101\ _3^27 - 10317000905019095044738222880462909739917128857355120424181\ 97703/320123836533146777636937887697411909847436033161788561222782*\ c_0101_3^26 - 97928895651829336827985809665840088048694157185972103\ 8674685288/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^25 + 407084096882469385082992373057426357007155047741\ 4310186980767381/16006191826657338881846894384870595492371801658089\ 4280611391*c_0101_3^24 + 220578368686894379576990418982004497065069\ 67173149726300109573914/4801857547997201664554068315461178647711540\ 49742682841834173*c_0101_3^23 - 20722672335792928583805007192113740\ 1730273041705596743823224676393/96037150959944033291081366309223572\ 9542308099485365683668346*c_0101_3^22 - 185010803776140359293398240094156452461172672771821064986738995079/\ 480185754799720166455406831546117864771154049742682841834173*c_0101\ _3^21 + 39193911166886614482922985986519102938265475687991166509056\ 8855973/32012383653314677763693788769741190984743603316178856122278\ 2*c_0101_3^20 + 400598677017188431737141359812042750363844383249239\ 835994321913015/160061918266573388818468943848705954923718016580894\ 280611391*c_0101_3^19 - 1233882420361610818177538962738809279971687\ 643977736502319104504753/320123836533146777636937887697411909847436\ 033161788561222782*c_0101_3^18 - 8611590615402179658929000362277817\ 867202722415262905022726556475807/960371509599440332910813663092235\ 729542308099485365683668346*c_0101_3^17 + 6908710161395970419730495639303101959106079690199784170005945195551\ /960371509599440332910813663092235729542308099485365683668346*c_010\ 1_3^16 + 8730870621506913838512681271959173137453393781781156575531\ 511977188/480185754799720166455406831546117864771154049742682841834\ 173*c_0101_3^15 - 4100342478731443550812183504161478056086877115145\ 962528500176076247/480185754799720166455406831546117864771154049742\ 682841834173*c_0101_3^14 - 1039535226700815890716349281114884898230\ 5043734268930856832304530824/48018575479972016645540683154611786477\ 1154049742682841834173*c_0101_3^13 + 3200822058989378828967950061923844504745913292726845260713374162992\ /480185754799720166455406831546117864771154049742682841834173*c_010\ 1_3^12 + 1463591962244429584500351412745834064274953823134323858919\ 5164045693/96037150959944033291081366309223572954230809948536568366\ 8346*c_0101_3^11 - 163535791550578405427816184454515568217141441815\ 8386066969574173887/48018575479972016645540683154611786477115404974\ 2682841834173*c_0101_3^10 - 990854429955098109132606731377666162029\ 144676946564489243620722364/160061918266573388818468943848705954923\ 718016580894280611391*c_0101_3^9 + 1065568937087612249844378590224652658895820294968827804606952262527\ /960371509599440332910813663092235729542308099485365683668346*c_010\ 1_3^8 + 43932797507755062132551485375607249495881105043791942384373\ 6426537/32012383653314677763693788769741190984743603316178856122278\ 2*c_0101_3^7 - 1122624025452408254188456010177063588806355137690352\ 79802854662179/4801857547997201664554068315461178647711540497426828\ 41834173*c_0101_3^6 - 254059297470660563210767288331495362616470886\ 76082641675206739017/1600619182665733888184689438487059549237180165\ 80894280611391*c_0101_3^5 + 186617715426453790936527169691943726929\ 27116415459591472839961599/4801857547997201664554068315461178647711\ 54049742682841834173*c_0101_3^4 + 595104591560467195835167604721240\ 0396545306292228217114472185030/48018575479972016645540683154611786\ 4771154049742682841834173*c_0101_3^3 - 3029116457727105249526830142305183026067700353304971804859597262/48\ 0185754799720166455406831546117864771154049742682841834173*c_0101_3\ ^2 - 50543821856384567358921646134238102243055572778966137898751167\ /320123836533146777636937887697411909847436033161788561222782*c_010\ 1_3 + 1997628552223387144687424984803553400462758481054479673380459\ 83/960371509599440332910813663092235729542308099485365683668346, c_0011_0 - 1, c_0011_1 + 250640863057164638689712749304891065849312745645583134910476\ /160061918266573388818468943848705954923718016580894280611391*c_010\ 1_3^28 - 3801884355281588757950326738922484270100813296704969677071\ 16/160061918266573388818468943848705954923718016580894280611391*c_0\ 101_3^27 - 18480945300145398593107613755286367478042519667804385954\ 228334/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^26 - 3825186804570381504982861438413052566404810205758367\ 1964553129/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^25 + 137450673060431295610753794513333366780129487719\ 051143572061617/160061918266573388818468943848705954923718016580894\ 280611391*c_0101_3^24 + 2834511366478821291007344480607431951036917\ 77050452971001458356/1600619182665733888184689438487059549237180165\ 80894280611391*c_0101_3^23 - 11765500594975267111658174648219843908\ 46380770794616151450611258/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^22 - 2385421072063642253364016450102054242324672748424991976099646207/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^21 + 6514463543012353962889673580031684961453966889074379020929668\ 191/160061918266573388818468943848705954923718016580894280611391*c_\ 0101_3^20 + 1524830663692939825450014219129390658766415037771412486\ 7170170097/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^19 - 190213113174763233726134352808976766842242370351\ 80679120454086347/1600619182665733888184689438487059549237180165808\ 94280611391*c_0101_3^18 - 53335375295045981252292256237869835602757\ 893218885781584884343071/160061918266573388818468943848705954923718\ 016580894280611391*c_0101_3^17 + 3111320316329328223721816785266233\ 9876883565079356483565216740489/16006191826657338881846894384870595\ 4923718016580894280611391*c_0101_3^16 + 105183441398653955311139592563847197619055894529586178943638993871/\ 160061918266573388818468943848705954923718016580894280611391*c_0101\ _3^15 - 30356266757360703608036465489886786679197733385773482878496\ 468621/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^14 - 1212374151888746461663635166732447891196286584352469\ 97482678217523/1600619182665733888184689438487059549237180165808942\ 80611391*c_0101_3^13 + 18591352692867276751050572120477798868497651\ 695861587083408819353/160061918266573388818468943848705954923718016\ 580894280611391*c_0101_3^12 + 8196393213017538928488921575668842246\ 5609790127759865676620310096/16006191826657338881846894384870595492\ 3718016580894280611391*c_0101_3^11 - 7696900344577233699398621648796481265983536243897063279157694178/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^10 - 3156739243030404406905932394111278235073719374955501713260662\ 1037/160061918266573388818468943848705954923718016580894280611391*c\ _0101_3^9 + 2441746165818323652921219190901495888090994663510158479\ 128037959/160061918266573388818468943848705954923718016580894280611\ 391*c_0101_3^8 + 65322892924414990856341494492045639254879257802977\ 75818030489781/1600619182665733888184689438487059549237180165808942\ 80611391*c_0101_3^7 - 646271251357417046819724394663364968484565450\ 097472903917671439/160061918266573388818468943848705954923718016580\ 894280611391*c_0101_3^6 - 71083231066739608869948148399428284215411\ 0783890501489385547241/16006191826657338881846894384870595492371801\ 6580894280611391*c_0101_3^5 + 1393109523576719522853565231803335206\ 73211581475836811637284328/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^4 + 593592191862974816859878652155351\ 43965548970681062181691427196/1600619182665733888184689438487059549\ 23718016580894280611391*c_0101_3^3 - 25516863234133270756718554915994829374476472921311918924386778/1600\ 61918266573388818468943848705954923718016580894280611391*c_0101_3^2 - 993536424238256623786679563949506689008330205706008631658821/1600\ 61918266573388818468943848705954923718016580894280611391*c_0101_3 + 479055290654754698496536188468850954040287070291348394030500/160061\ 918266573388818468943848705954923718016580894280611391, c_0011_3 - 520979467400599829369726040855723006714753282853462020950183\ /160061918266573388818468943848705954923718016580894280611391*c_010\ 1_3^28 + 7884617943910582641699903916931152779069196162310590877020\ 62/160061918266573388818468943848705954923718016580894280611391*c_0\ 101_3^27 + 38417958459911339693455116557711720956500160236297677917\ 443191/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^26 + 7964375996863670896061577031375704218149221489050233\ 1392727595/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^25 - 285503685059374810098572680166744313816770415579\ 100798503103077/160061918266573388818468943848705954923718016580894\ 280611391*c_0101_3^24 - 5905234317435786092570447055942598107690712\ 35272444960541528734/1600619182665733888184689438487059549237180165\ 80894280611391*c_0101_3^23 + 24436088067100156260479470734980740824\ 16636531791543869612803011/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^22 + 4969356085089237359813127414079121098943219712031660132659630820/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^21 - 1352511465933246678722911049699762303435865058362980894578408\ 1176/160061918266573388818468943848705954923718016580894280611391*c\ _0101_3^20 - 317638028673008681473070345960717133586639318028711915\ 31063800512/1600619182665733888184689438487059549237180165808942806\ 11391*c_0101_3^19 + 39426512747446286724703309189564629973885447004\ 105644578368484785/160061918266573388818468943848705954923718016580\ 894280611391*c_0101_3^18 + 1111274864776288823989247297547789779209\ 12958417653225891941633745/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^17 - 64194096069317439658160592988975260877268602526781789328519134369/1\ 60061918266573388818468943848705954923718016580894280611391*c_0101_\ 3^16 - 219249531319010561718264687347924597548670278543171774301669\ 605616/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^15 + 6190597097662681142161583094510105563740370459366041\ 1635895712361/16006191826657338881846894384870595492371801658089428\ 0611391*c_0101_3^14 + 252874822038062249640845431050008483177077304\ 614788235958511915269/160061918266573388818468943848705954923718016\ 580894280611391*c_0101_3^13 - 3689880479227486244027487797299574845\ 9554979833264218990556354807/16006191826657338881846894384870595492\ 3718016580894280611391*c_0101_3^12 - 171108212856213513946121658163226147426227364720521575761128063899/\ 160061918266573388818468943848705954923718016580894280611391*c_0101\ _3^11 + 14520621821759184312171684610499184440630354192163757137228\ 964921/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^10 + 6597080780555570743657766874946476983194652640953376\ 7494134215643/16006191826657338881846894384870595492371801658089428\ 0611391*c_0101_3^9 - 4384787055576878111663954095622536546886750256\ 936972807612849557/160061918266573388818468943848705954923718016580\ 894280611391*c_0101_3^8 - 13670599517500874824729912505259356643597\ 772703156917938553159012/160061918266573388818468943848705954923718\ 016580894280611391*c_0101_3^7 + 11795756643325956737949871902731552\ 86778307621453717685923229767/1600619182665733888184689438487059549\ 23718016580894280611391*c_0101_3^6 + 1494862167925395482531761395598876297986525439531484835253575944/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^5 - 26959989375080315653264630869313524383346482354538608628668989\ 4/160061918266573388818468943848705954923718016580894280611391*c_01\ 01_3^4 - 1270880946992035571952132987533704535806813998410614731521\ 49807/160061918266573388818468943848705954923718016580894280611391*\ c_0101_3^3 + 509266257970034712657450184061906250795325250838323569\ 68388500/1600619182665733888184689438487059549237180165808942806113\ 91*c_0101_3^2 + 275013703658130658047038347965870454123330643141529\ 0887494566/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3 - 107512750106159194453544246675946443733206368948290\ 5494793871/16006191826657338881846894384870595492371801658089428061\ 1391, c_0101_0 + 335673939666126875693046053617001152501507998603832598976278\ /160061918266573388818468943848705954923718016580894280611391*c_010\ 1_3^28 - 5011934244467176386550550381050795904439426692917744068507\ 33/160061918266573388818468943848705954923718016580894280611391*c_0\ 101_3^27 - 24758261440735371253586349883731359619213784826357797282\ 883419/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^26 - 5182136722014907355562901721390722821253714395868849\ 9382971912/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^25 + 182517537258687428008824074048914724274813971411\ 121331721141925/160061918266573388818468943848705954923718016580894\ 280611391*c_0101_3^24 + 3830277902931158386385066673311274694374103\ 16578630414194767958/1600619182665733888184689438487059549237180165\ 80894280611391*c_0101_3^23 - 15648401533448821430160193774208037513\ 55333159859424481656842300/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^22 - 3225595402594319599894081068000030368264083963100289148840979081/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^21 + 8631593959597794176698679009466390154010501470402648328721954\ 860/160061918266573388818468943848705954923718016580894280611391*c_\ 0101_3^20 + 2057232384062516835144063056979237487999018394915323252\ 6272171756/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^19 - 249100155889669888978427144842911565126389823588\ 18268291370006296/1600619182665733888184689438487059549237180165808\ 94280611391*c_0101_3^18 - 71696231047692744471483738493526634633437\ 550038560261868997482769/160061918266573388818468943848705954923718\ 016580894280611391*c_0101_3^17 + 3986950413549238592069975231952138\ 3328544730317270596183951460572/16006191826657338881846894384870595\ 4923718016580894280611391*c_0101_3^16 + 140800891482171177775283791725225216197846296004259271479164266708/\ 160061918266573388818468943848705954923718016580894280611391*c_0101\ _3^15 - 37518614674926069648385851169668378544042682476586143895463\ 681482/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^14 - 1615434618230737750962576194365468495169123392587687\ 58623362648233/1600619182665733888184689438487059549237180165808942\ 80611391*c_0101_3^13 + 21842913035723416813797616617865770046488711\ 224274364240127375769/160061918266573388818468943848705954923718016\ 580894280611391*c_0101_3^12 + 1086782954969745047261195242374098223\ 62719830974199045162907552024/1600619182665733888184689438487059549\ 23718016580894280611391*c_0101_3^11 - 8711460930744091698699416290472872176007382408938837012176214477/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^10 - 4167861207354676371587581397577448783733944964804402760811526\ 8286/160061918266573388818468943848705954923718016580894280611391*c\ _0101_3^9 + 2889492201712018142214766121984870326172895220468682773\ 523936386/160061918266573388818468943848705954923718016580894280611\ 391*c_0101_3^8 + 86349149649049993860515779670936435179898920730030\ 64472794370245/1600619182665733888184689438487059549237180165808942\ 80611391*c_0101_3^7 - 846013305936214754045689581188211660931833893\ 930585269151136213/160061918266573388818468943848705954923718016580\ 894280611391*c_0101_3^6 - 96194202444169752550382148807504254250710\ 8965779431747070836997/16006191826657338881846894384870595492371801\ 6580894280611391*c_0101_3^5 + 1872839135399787727154728121433516695\ 57193240973774408253026927/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^4 + 826883793109905112474998028506849\ 45642419764760072806115841886/1600619182665733888184689438487059549\ 23718016580894280611391*c_0101_3^3 - 33179669175144804972715609178098886358856324636242694216016791/1600\ 61918266573388818468943848705954923718016580894280611391*c_0101_3^2 - 1412218756926122921602953312149811468481855411395160065606581/160\ 061918266573388818468943848705954923718016580894280611391*c_0101_3 + 818945456914230206292587542026773642708841635813638134348259/160061\ 918266573388818468943848705954923718016580894280611391, c_0101_1 + 504138003467306033259174439323221801371899695121448089108780\ /160061918266573388818468943848705954923718016580894280611391*c_010\ 1_3^28 - 7666457751957110252601482491361898933332519176654473557869\ 48/160061918266573388818468943848705954923718016580894280611391*c_0\ 101_3^27 - 37170107582911927517465437288923817873908600464451660895\ 784518/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^26 - 7679741170950209881922553162964592202385422841333625\ 0492463878/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3^25 + 276805886035090452633615748726537053734224380040\ 397993970731873/160061918266573388818468943848705954923718016580894\ 280611391*c_0101_3^24 + 5692537596496090091207821026058019448656476\ 94128196629146664082/1600619182665733888184689438487059549237180165\ 80894280611391*c_0101_3^23 - 23688050059324153080484310826971136911\ 07639182138676632221415328/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^22 - 4790295587439316448773019104349873584283033294605491244909310622/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^21 + 1312277282687525934907948629338481294089603642936615687041388\ 2548/160061918266573388818468943848705954923718016580894280611391*c\ _0101_3^20 + 306314387573632165786388611299556155352043224962069522\ 02865687827/1600619182665733888184689438487059549237180165808942806\ 11391*c_0101_3^19 - 38379827550891747627549032117063614141353548938\ 045130408083835191/160061918266573388818468943848705954923718016580\ 894280611391*c_0101_3^18 - 1071988733949762671281171721890873981080\ 99387859678460437823327783/1600619182665733888184689438487059549237\ 18016580894280611391*c_0101_3^17 + 62959647325231877533410591866252247511169795987460873924833168626/1\ 60061918266573388818468943848705954923718016580894280611391*c_0101_\ 3^16 + 211535604111061867781917332403714722845282483932694128903919\ 134105/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^15 - 6168561224225267700906463711808077269683963397369270\ 1351984963506/16006191826657338881846894384870595492371801658089428\ 0611391*c_0101_3^14 - 243979743694828586440706940769463962992641953\ 300354878261781688491/160061918266573388818468943848705954923718016\ 580894280611391*c_0101_3^13 + 3794293551049266580023536211679953594\ 5777817900715357299937126999/16006191826657338881846894384870595492\ 3718016580894280611391*c_0101_3^12 + 165053502341125188403600032434876644840048896257737899322596681872/\ 160061918266573388818468943848705954923718016580894280611391*c_0101\ _3^11 - 15717078073294619715864183969715758169021195988508836334919\ 253999/160061918266573388818468943848705954923718016580894280611391\ *c_0101_3^10 - 6359959112549649463016858982734613969621841271735789\ 3051432513363/16006191826657338881846894384870595492371801658089428\ 0611391*c_0101_3^9 + 4951402553196148333063490722908698558838607788\ 097359542865426562/160061918266573388818468943848705954923718016580\ 894280611391*c_0101_3^8 + 13159069967639491255115137255113562171323\ 481349120333054024802086/160061918266573388818468943848705954923718\ 016580894280611391*c_0101_3^7 - 13018354973004462042368571384436715\ 02653623350952030423420502570/1600619182665733888184689438487059549\ 23718016580894280611391*c_0101_3^6 - 1430572425510332008139944926886165588071962444483839780883254864/16\ 0061918266573388818468943848705954923718016580894280611391*c_0101_3\ ^5 + 28046549267669170487355242503680849543519131995394175935508907\ 6/160061918266573388818468943848705954923718016580894280611391*c_01\ 01_3^4 + 1194012199456217740759944935116135193162588948450172351854\ 27675/160061918266573388818468943848705954923718016580894280611391*\ c_0101_3^3 - 513501587546075432182753531371540521660826418148604330\ 14300787/1600619182665733888184689438487059549237180165808942806113\ 91*c_0101_3^2 - 200232679277906399673014126061293427853527964763695\ 1220665682/16006191826657338881846894384870595492371801658089428061\ 1391*c_0101_3 + 116009667632192791668473117317327991567875836972570\ 4695592074/16006191826657338881846894384870595492371801658089428061\ 1391, c_0101_3^29 - 2*c_0101_3^28 - 73*c_0101_3^27 - 117*c_0101_3^26 + 622*c_0101_3^25 + 866*c_0101_3^24 - 5239*c_0101_3^23 - 7250*c_0101_3^22 + 30577*c_0101_3^21 + 48285*c_0101_3^20 - 105205*c_0101_3^19 - 176147*c_0101_3^18 + 226607*c_0101_3^17 + 359713*c_0101_3^16 - 322965*c_0101_3^15 - 425248*c_0101_3^14 + 306425*c_0101_3^13 + 291291*c_0101_3^12 - 187359*c_0101_3^11 - 111234*c_0101_3^10 + 69901*c_0101_3^9 + 21423*c_0101_3^8 - 14984*c_0101_3^7 - 1611*c_0101_3^6 + 1899*c_0101_3^5 - 27*c_0101_3^4 - 213*c_0101_3^3 + 44*c_0101_3^2 + 4*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB