Magma V2.19-8 Tue Aug 20 2013 17:55:40 on localhost [Seed = 2715817591] Type ? for help. Type -D to quit. Loading file "10_11__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_11 geometric_solution 9.37044244 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 3012 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 -1 -6 7 -1 0 0 1 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.877362262488 1.011117867239 0 4 6 5 0132 0132 0132 0132 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 7 0 -7 1 0 -1 0 0 1 0 -1 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.896943224670 0.508279364713 3 0 0 4 2031 0132 1230 1230 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 1 -1 0 6 0 0 -6 1 0 0 -1 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.339677698140 0.580381013491 7 7 2 0 0132 1302 1302 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 0 -6 6 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.356366060263 1.052093748727 2 1 7 5 3012 0132 3120 3120 0 0 0 0 0 -1 0 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 -7 0 7 0 0 0 0 6 0 0 -6 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803870345947 0.717440103540 4 8 1 6 3120 0132 0132 3120 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 -1 1 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 6 -6 0 0 -7 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701204458700 0.584063620712 5 9 9 1 3120 0132 2103 0132 0 0 0 0 0 -1 1 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 -6 6 0 0 0 -1 1 0 7 0 -7 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547024330742 0.720938767078 3 8 4 3 0132 2310 3120 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423118831310 0.691636425468 9 5 9 7 2103 0132 0132 3201 0 0 0 0 0 0 0 0 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 1 -1 6 -6 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624846028563 0.994481063813 6 6 8 8 2103 0132 2103 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 1 0 0 -1 -6 0 0 6 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332073102251 0.880279664176 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_1001_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : negation(d['c_0011_6']), 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_3'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_4']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_1001_4'], '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' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_6']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_6'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 841432364875814654581762955627211813784340/101100630698608449291261\ 4366509924891769743*c_1001_4^20 + 625031257289657544694547535755279\ 1915367708/1011006306986084492912614366509924891769743*c_1001_4^19 - 31201268328804154652927906377494473832137249/1011006306986084492912\ 614366509924891769743*c_1001_4^18 + 3063179492274640698107310754328260713263522/33700210232869483097087\ 1455503308297256581*c_1001_4^17 + 140084279531340827240075199494903\ 86924219883/112334034109564943656957151834436099085527*c_1001_4^16 + 42596569855229648754411919632101765623365761/1011006306986084492912\ 614366509924891769743*c_1001_4^15 - 991011226466890808187812447875077789345070666/101100630698608449291\ 2614366509924891769743*c_1001_4^14 + 1631277340041787452591747941868671394173433737/10110063069860844929\ 12614366509924891769743*c_1001_4^13 - 279109357251016802912532443345258088570602894/101100630698608449291\ 2614366509924891769743*c_1001_4^12 + 3926265279462604962232077742940873193549478402/10110063069860844929\ 12614366509924891769743*c_1001_4^11 - 116523374441728518649147393374339204931256920/246586904142947437295\ 75960158778655896823*c_1001_4^10 + 3150800626682110439617535152399678968016740629/33700210232869483097\ 0871455503308297256581*c_1001_4^9 + 5497511799149830936598591150774836563093358627/10110063069860844929\ 12614366509924891769743*c_1001_4^8 + 17738117747249442205145202386118915047321578366/1011006306986084492\ 912614366509924891769743*c_1001_4^7 - 219899062682249287805732752136993865420396206/101100630698608449291\ 2614366509924891769743*c_1001_4^6 + 10678825690559322776273202901478006301572357513/1011006306986084492\ 912614366509924891769743*c_1001_4^5 - 4068401962424834911289537347723905288903826060/10110063069860844929\ 12614366509924891769743*c_1001_4^4 + 498011396027563501716410788577038113520203506/337002102328694830970\ 871455503308297256581*c_1001_4^3 - 2250936517987440843978870210354820253394286607/33700210232869483097\ 0871455503308297256581*c_1001_4^2 + 425447230856084300524176005216538867059987680/112334034109564943656\ 957151834436099085527*c_1001_4 - 6460237201293116679059276438548541\ 95416299137/1011006306986084492912614366509924891769743, c_0011_0 - 1, c_0011_3 - 43583599611066240925332935816196192/941627827775094940279294\ 16773698151*c_1001_4^20 + 154376322608780875110681506545407904/9416\ 2782777509494027929416773698151*c_1001_4^19 - 15483366144421904103743449820747191/9416278277750949402792941677369\ 8151*c_1001_4^18 - 533368270739779206134363564588027734/94162782777\ 509494027929416773698151*c_1001_4^17 - 637099355568851781576005971156414433/941627827775094940279294167736\ 98151*c_1001_4^16 + 5561188773730547926875857986073175421/941627827\ 77509494027929416773698151*c_1001_4^15 - 8855256582412051621014474164802409956/94162782777509494027929416773\ 698151*c_1001_4^14 + 4537045041130467329414657615798551504/94162782\ 777509494027929416773698151*c_1001_4^13 - 21896631514266984097514783997920400047/9416278277750949402792941677\ 3698151*c_1001_4^12 + 29725827908988374511555096671079522777/941627\ 82777509494027929416773698151*c_1001_4^11 - 47752233974352325761183317994592427535/9416278277750949402792941677\ 3698151*c_1001_4^10 - 11935945162655281106608517840150498196/941627\ 82777509494027929416773698151*c_1001_4^9 - 84180404044379311965315968731856003558/9416278277750949402792941677\ 3698151*c_1001_4^8 + 16371974791180570579470955612133532291/9416278\ 2777509494027929416773698151*c_1001_4^7 - 56901259012572492752796457328079994604/9416278277750949402792941677\ 3698151*c_1001_4^6 + 26633297742247497090129173480504959152/9416278\ 2777509494027929416773698151*c_1001_4^5 - 15087226487210556270655533399394280331/9416278277750949402792941677\ 3698151*c_1001_4^4 + 35443088044197990574341616136474420810/9416278\ 2777509494027929416773698151*c_1001_4^3 - 23491260139675146878239537165222658018/9416278277750949402792941677\ 3698151*c_1001_4^2 + 6571559975762798008412483938603184081/94162782\ 777509494027929416773698151*c_1001_4 - 723396551973923029978177011127590729/941627827775094940279294167736\ 98151, c_0011_5 - 10401203395518046400968469562483238/941627827775094940279294\ 16773698151*c_1001_4^20 + 36743565131860540838746853896323936/94162\ 782777509494027929416773698151*c_1001_4^19 - 3625353428862433641263361682389533/94162782777509494027929416773698\ 151*c_1001_4^18 - 126558565967512833134290683362613587/941627827775\ 09494027929416773698151*c_1001_4^17 - 152632331056951896285050840573666887/941627827775094940279294167736\ 98151*c_1001_4^16 + 1322422955908154135340668866517828282/941627827\ 77509494027929416773698151*c_1001_4^15 - 2107381291802942320919119347465488148/94162782777509494027929416773\ 698151*c_1001_4^14 + 1094605527634877016844175496969503952/94162782\ 777509494027929416773698151*c_1001_4^13 - 5245925742288701523701644063380715530/94162782777509494027929416773\ 698151*c_1001_4^12 + 7035068448655946401382800173292148175/94162782\ 777509494027929416773698151*c_1001_4^11 - 11450485630967545674628822748168706004/9416278277750949402792941677\ 3698151*c_1001_4^10 - 2872031495032956656333790670054499291/9416278\ 2777509494027929416773698151*c_1001_4^9 - 20326506573944604252094344560812975170/9416278277750949402792941677\ 3698151*c_1001_4^8 + 3420862976091108341341152179383489542/94162782\ 777509494027929416773698151*c_1001_4^7 - 14208226989798537676378288230690856926/9416278277750949402792941677\ 3698151*c_1001_4^6 + 5870422380800370386157032019854898020/94162782\ 777509494027929416773698151*c_1001_4^5 - 4130939490875320465740645863240745879/94162782777509494027929416773\ 698151*c_1001_4^4 + 8139515787891950793159793042846505003/941627827\ 77509494027929416773698151*c_1001_4^3 - 5680968606668457348132821030704610313/94162782777509494027929416773\ 698151*c_1001_4^2 + 1658743705306731727398497570683073263/941627827\ 77509494027929416773698151*c_1001_4 - 251429969962328376878811409544729758/941627827775094940279294167736\ 98151, c_0011_6 - 25650167901008964289763652895637236/941627827775094940279294\ 16773698151*c_1001_4^20 + 90310135199570849169705602841555061/94162\ 782777509494027929416773698151*c_1001_4^19 - 8150618536897435160655495358914749/94162782777509494027929416773698\ 151*c_1001_4^18 - 311296159473098345113407226639242813/941627827775\ 09494027929416773698151*c_1001_4^17 - 379859455093423079895433013030879486/941627827775094940279294167736\ 98151*c_1001_4^16 + 3253112695672150443262051641426945089/941627827\ 77509494027929416773698151*c_1001_4^15 - 5163390039413317151005710781202134931/94162782777509494027929416773\ 698151*c_1001_4^14 + 2673044929373002799809461640899104679/94162782\ 777509494027929416773698151*c_1001_4^13 - 12951487156438135119345242768757727291/9416278277750949402792941677\ 3698151*c_1001_4^12 + 17204437756952801586403463755291172046/941627\ 82777509494027929416773698151*c_1001_4^11 - 28152126180740936459140227604028720474/9416278277750949402792941677\ 3698151*c_1001_4^10 - 7281352576951981161333748100200031428/9416278\ 2777509494027929416773698151*c_1001_4^9 - 50418283014542442037046291648840709350/9416278277750949402792941677\ 3698151*c_1001_4^8 + 7665433359505033744842081489348213633/94162782\ 777509494027929416773698151*c_1001_4^7 - 35439929372040943425558127539709560354/9416278277750949402792941677\ 3698151*c_1001_4^6 + 14026363671004869148598518438419278278/9416278\ 2777509494027929416773698151*c_1001_4^5 - 10137842681812634703363015710711051824/9416278277750949402792941677\ 3698151*c_1001_4^4 + 20133253140726095777191314945381306044/9416278\ 2777509494027929416773698151*c_1001_4^3 - 13725605586710794409867586170979951847/9416278277750949402792941677\ 3698151*c_1001_4^2 + 4037061189264922997038342197898066754/94162782\ 777509494027929416773698151*c_1001_4 - 512416675107018850441635168324546316/941627827775094940279294167736\ 98151, c_0101_0 - 2926687754214958750115534536004323/9416278277750949402792941\ 6773698151*c_1001_4^20 + 13724216615944958137713453334359157/941627\ 82777509494027929416773698151*c_1001_4^19 - 12817603532069251562323721219394877/9416278277750949402792941677369\ 8151*c_1001_4^18 - 35306410421682778342727348622256873/941627827775\ 09494027929416773698151*c_1001_4^17 - 903028977440719487785141628468912/941627827775094940279294167736981\ 51*c_1001_4^16 + 424545008373017977204284482712191026/9416278277750\ 9494027929416773698151*c_1001_4^15 - 1024574132101229661744093410379378663/94162782777509494027929416773\ 698151*c_1001_4^14 + 965485766263504473062684984957691555/941627827\ 77509494027929416773698151*c_1001_4^13 - 1765543973306414118361026970640792795/94162782777509494027929416773\ 698151*c_1001_4^12 + 3641836876228008460161352699279510326/94162782\ 777509494027929416773698151*c_1001_4^11 - 5446375540137311553128619642437042818/94162782777509494027929416773\ 698151*c_1001_4^10 + 2672799962859364404307587559999877685/94162782\ 777509494027929416773698151*c_1001_4^9 - 4525743955306284043600954101458439132/94162782777509494027929416773\ 698151*c_1001_4^8 + 7409867288902915845743418280999020487/941627827\ 77509494027929416773698151*c_1001_4^7 - 5133225611221097786927515008496107913/94162782777509494027929416773\ 698151*c_1001_4^6 + 5426668847396879682556890962318870232/941627827\ 77509494027929416773698151*c_1001_4^5 - 3271970309360323536396718003648819716/94162782777509494027929416773\ 698151*c_1001_4^4 + 2899299627962413961093352195740303229/941627827\ 77509494027929416773698151*c_1001_4^3 - 4517405616734933419909393441996443471/94162782777509494027929416773\ 698151*c_1001_4^2 + 1962042527323793247601622525585035108/941627827\ 77509494027929416773698151*c_1001_4 - 307286971198806556784059315972834433/941627827775094940279294167736\ 98151, c_0101_1 + 43583599611066240925332935816196192/941627827775094940279294\ 16773698151*c_1001_4^20 - 154376322608780875110681506545407904/9416\ 2782777509494027929416773698151*c_1001_4^19 + 15483366144421904103743449820747191/9416278277750949402792941677369\ 8151*c_1001_4^18 + 533368270739779206134363564588027734/94162782777\ 509494027929416773698151*c_1001_4^17 + 637099355568851781576005971156414433/941627827775094940279294167736\ 98151*c_1001_4^16 - 5561188773730547926875857986073175421/941627827\ 77509494027929416773698151*c_1001_4^15 + 8855256582412051621014474164802409956/94162782777509494027929416773\ 698151*c_1001_4^14 - 4537045041130467329414657615798551504/94162782\ 777509494027929416773698151*c_1001_4^13 + 21896631514266984097514783997920400047/9416278277750949402792941677\ 3698151*c_1001_4^12 - 29725827908988374511555096671079522777/941627\ 82777509494027929416773698151*c_1001_4^11 + 47752233974352325761183317994592427535/9416278277750949402792941677\ 3698151*c_1001_4^10 + 11935945162655281106608517840150498196/941627\ 82777509494027929416773698151*c_1001_4^9 + 84180404044379311965315968731856003558/9416278277750949402792941677\ 3698151*c_1001_4^8 - 16371974791180570579470955612133532291/9416278\ 2777509494027929416773698151*c_1001_4^7 + 56901259012572492752796457328079994604/9416278277750949402792941677\ 3698151*c_1001_4^6 - 26633297742247497090129173480504959152/9416278\ 2777509494027929416773698151*c_1001_4^5 + 15087226487210556270655533399394280331/9416278277750949402792941677\ 3698151*c_1001_4^4 - 35443088044197990574341616136474420810/9416278\ 2777509494027929416773698151*c_1001_4^3 + 23491260139675146878239537165222658018/9416278277750949402792941677\ 3698151*c_1001_4^2 - 6571559975762798008412483938603184081/94162782\ 777509494027929416773698151*c_1001_4 + 723396551973923029978177011127590729/941627827775094940279294167736\ 98151, c_0101_2 - 8593192699044649058079981904903723/9416278277750949402792941\ 6773698151*c_1001_4^20 + 32013601256000628391088685245090764/941627\ 82777509494027929416773698151*c_1001_4^19 - 9431148009463701064897663787913431/94162782777509494027929416773698\ 151*c_1001_4^18 - 102350681095018686887386401290502824/941627827775\ 09494027929416773698151*c_1001_4^17 - 104724245750491176015658436523297451/941627827775094940279294167736\ 98151*c_1001_4^16 + 1110090248106925565284562985996163042/941627827\ 77509494027929416773698151*c_1001_4^15 - 1965933052409432397017418515794530903/94162782777509494027929416773\ 698151*c_1001_4^14 + 1306454235073738710097856870250893668/94162782\ 777509494027929416773698151*c_1001_4^13 - 4571459074995946288384966995634131907/94162782777509494027929416773\ 698151*c_1001_4^12 + 6637419004303913121540502474753761493/94162782\ 777509494027929416773698151*c_1001_4^11 - 10866444628189832412206018143729416390/9416278277750949402792941677\ 3698151*c_1001_4^10 - 342065225645339451326264178195083566/94162782\ 777509494027929416773698151*c_1001_4^9 - 16719421112498290875316054759485928065/9416278277750949402792941677\ 3698151*c_1001_4^8 + 5545774431888180106885156137316967948/94162782\ 777509494027929416773698151*c_1001_4^7 - 13703691385502866312488205305416703887/9416278277750949402792941677\ 3698151*c_1001_4^6 + 6563580806372360723227614730577986975/94162782\ 777509494027929416773698151*c_1001_4^5 - 5030698213504106654367289549733300902/94162782777509494027929416773\ 698151*c_1001_4^4 + 7452862381331449211457617499884869880/941627827\ 77509494027929416773698151*c_1001_4^3 - 6127467389434268997425802508362003672/94162782777509494027929416773\ 698151*c_1001_4^2 + 2731101192598369127334007499751711774/941627827\ 77509494027929416773698151*c_1001_4 - 468064419054154067551891788277764178/941627827775094940279294167736\ 98151, c_0101_4 - 22829614596923915589836586347254779/941627827775094940279294\ 16773698151*c_1001_4^20 + 89186338990478215381915133645213705/94162\ 782777509494027929416773698151*c_1001_4^19 - 35860713742028806730265825115245588/9416278277750949402792941677369\ 8151*c_1001_4^18 - 282442416713844197491464552363834356/94162782777\ 509494027929416773698151*c_1001_4^17 - 231712722851815684337855908720996213/941627827775094940279294167736\ 98151*c_1001_4^16 + 3056110603050226458091175652645264363/941627827\ 77509494027929416773698151*c_1001_4^15 - 5673978308731093806694729141535102385/94162782777509494027929416773\ 698151*c_1001_4^14 + 3848199061504328116818503597117753134/94162782\ 777509494027929416773698151*c_1001_4^13 - 11999942998274473397700015876023278177/9416278277750949402792941677\ 3698151*c_1001_4^12 + 19600826176895852121197878788457497855/941627\ 82777509494027929416773698151*c_1001_4^11 - 29847852956884357694278527897576297920/9416278277750949402792941677\ 3698151*c_1001_4^10 + 1767251796286100847179853457883333751/9416278\ 2777509494027929416773698151*c_1001_4^9 - 40071128477644307903164623980538125736/9416278277750949402792941677\ 3698151*c_1001_4^8 + 25293936657051680833461916024632858372/9416278\ 2777509494027929416773698151*c_1001_4^7 - 29709334725593587520484291382009284648/9416278277750949402792941677\ 3698151*c_1001_4^6 + 24416845524259345567234934125982121580/9416278\ 2777509494027929416773698151*c_1001_4^5 - 11110831368105445409611653727490290849/9416278277750949402792941677\ 3698151*c_1001_4^4 + 20390260932341121854962708063726047451/9416278\ 2777509494027929416773698151*c_1001_4^3 - 18856454193883181216580659998119684872/9416278277750949402792941677\ 3698151*c_1001_4^2 + 6568594486939993933020376503023930075/94162782\ 777509494027929416773698151*c_1001_4 - 865535501802051242383853916602549567/941627827775094940279294167736\ 98151, c_0101_6 + 3135962225932017526464494930582355/9416278277750949402792941\ 6773698151*c_1001_4^20 - 11099880373049805310340792922923573/941627\ 82777509494027929416773698151*c_1001_4^19 + 99584237187476153226729206879817/9416278277750949402792941677369815\ 1*c_1001_4^18 + 41292985976674498252780154030060220/941627827775094\ 94027929416773698151*c_1001_4^17 + 47164600159959358435535651826214433/9416278277750949402792941677369\ 8151*c_1001_4^16 - 410749430282213067902401772027363472/94162782777\ 509494027929416773698151*c_1001_4^15 + 615022228231172580305295471201603987/941627827775094940279294167736\ 98151*c_1001_4^14 - 213796536854071748520615070428094156/9416278277\ 7509494027929416773698151*c_1001_4^13 + 1440407719501499301361098068367026758/94162782777509494027929416773\ 698151*c_1001_4^12 - 2090653411662439193957720818573320589/94162782\ 777509494027929416773698151*c_1001_4^11 + 2914286847110975458508940155391738552/94162782777509494027929416773\ 698151*c_1001_4^10 + 1260373450349879963758382570867781723/94162782\ 777509494027929416773698151*c_1001_4^9 + 5186778802274832977514465923025520867/94162782777509494027929416773\ 698151*c_1001_4^8 - 1872604515374697810017471811595261443/941627827\ 77509494027929416773698151*c_1001_4^7 + 1649145424925009677982696242287763111/94162782777509494027929416773\ 698151*c_1001_4^6 - 3066706576129773928356389174216224940/941627827\ 77509494027929416773698151*c_1001_4^5 - 791387534154462537741961963166497528/941627827775094940279294167736\ 98151*c_1001_4^4 - 2990126444640567692030044924494476735/9416278277\ 7509494027929416773698151*c_1001_4^3 + 1111011910429342130092729272499449249/94162782777509494027929416773\ 698151*c_1001_4^2 + 4331292488561412514645074001486855/941627827775\ 09494027929416773698151*c_1001_4 - 56760393710243471597200277374348775/9416278277750949402792941677369\ 8151, c_1001_4^21 - 4*c_1001_4^20 + 2*c_1001_4^19 + 12*c_1001_4^18 + 9*c_1001_4^17 - 134*c_1001_4^16 + 262*c_1001_4^15 - 200*c_1001_4^14 + 554*c_1001_4^13 - 913*c_1001_4^12 + 1418*c_1001_4^11 - 240*c_1001_4^10 + 1826*c_1001_4^9 - 1246*c_1001_4^8 + 1520*c_1001_4^7 - 1208*c_1001_4^6 + 652*c_1001_4^5 - 978*c_1001_4^4 + 915*c_1001_4^3 - 414*c_1001_4^2 + 94*c_1001_4 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB