Magma V2.19-8 Wed Aug 21 2013 00:57:44 on localhost [Seed = 3634283104] Type ? for help. Type -D to quit. Loading file "L13n4429__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4429 geometric_solution 11.55692318 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492108523357 0.891360613690 0 5 4 6 0132 0132 3012 0132 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 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.482567540613 0.846916553888 7 0 9 8 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 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.183408479833 1.061703237604 10 10 5 0 0132 1302 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.192509071678 0.713929776595 4 1 0 4 3012 1230 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.525310008657 0.859810269309 11 1 11 3 0132 0132 3120 1302 1 0 1 1 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 -3 0 4 -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.647906454095 1.305756993048 12 9 1 9 0132 1230 0132 2031 1 1 1 1 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 -5 0 6 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181217649977 1.199328040919 2 11 12 8 0132 0132 2310 0213 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 0 0 0 0 0 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.376634480796 0.227723417089 9 12 2 7 0213 1230 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.418503255025 0.265252379397 8 6 6 2 0213 1302 3012 0132 1 1 1 1 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 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876825549186 0.815188657423 3 11 12 3 0132 2310 0132 2031 1 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 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.695071864168 0.614536316506 5 7 5 10 0132 0132 3120 3201 1 0 1 1 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 3 0 -4 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.647906454095 1.305756993048 6 7 8 10 0132 3201 3012 0132 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 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 0.876825549186 0.815188657423 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_1001_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_11'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_0']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_12'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_0']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), '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_0011_8'], 'c_0101_8' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_1001_0, c_1001_10, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 142572687503387481467253450228629655334300055/124514665557136168429\ 337566042117223929637978*c_1001_2^15 + 7915084152266651001226090224969835616771641947/99611732445708934743\ 4700528336937791437103824*c_1001_2^14 + 60354608992219639759878656994335647272906149309/1992234648914178694\ 869401056673875582874207648*c_1001_2^13 + 14493361664865759253137693452196803801234869535/1245146655571361684\ 29337566042117223929637978*c_1001_2^12 + 854882714963978734460874579916703245672084896829/199223464891417869\ 4869401056673875582874207648*c_1001_2^11 + 1204072562760873751018949016689184745011446220659/99611732445708934\ 7434700528336937791437103824*c_1001_2^10 + 4863648984126425432080644540373100066070355424337/19922346489141786\ 94869401056673875582874207648*c_1001_2^9 + 3421930851269543474801908642963922984336044167121/99611732445708934\ 7434700528336937791437103824*c_1001_2^8 + 3239805184629251169055725753764861791193175397095/99611732445708934\ 7434700528336937791437103824*c_1001_2^7 + 1978010579849886601528998861880024180614286320479/99611732445708934\ 7434700528336937791437103824*c_1001_2^6 + 1174138390322586620052201723665492306352099238893/19922346489141786\ 94869401056673875582874207648*c_1001_2^5 - 382533276451887778409688904585062786230591700377/996117324457089347\ 434700528336937791437103824*c_1001_2^4 - 856691454733880003406353816369387401530315112563/996117324457089347\ 434700528336937791437103824*c_1001_2^3 - 836635814051718834246604601988636053753012680267/996117324457089347\ 434700528336937791437103824*c_1001_2^2 - 989969016283737648532186618203530436851295779395/199223464891417869\ 4869401056673875582874207648*c_1001_2 - 17235162291266830200792733330997380420661061389/1245146655571361684\ 29337566042117223929637978, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 - 50511997038120062449139110737666828/44104664114013276366407\ 7367946573149*c_1001_2^15 - 677237307258431413150007023675113399/88\ 2093282280265527328154735893146298*c_1001_2^14 - 5256048558630340809416486661212334425/17641865645605310546563094717\ 86292596*c_1001_2^13 - 5218565826138162234283662997024709365/441046\ 641140132763664077367946573149*c_1001_2^12 - 76902743658213024584571030260262370177/1764186564560531054656309471\ 786292596*c_1001_2^11 - 109573682741668188876990494805615113281/882\ 093282280265527328154735893146298*c_1001_2^10 - 467622802760073260737322406644285418961/176418656456053105465630947\ 1786292596*c_1001_2^9 - 374104050526064541108020646947818655467/882\ 093282280265527328154735893146298*c_1001_2^8 - 465088532993394469881844455328946843819/882093282280265527328154735\ 893146298*c_1001_2^7 - 479548179974564358774673084362906716191/8820\ 93282280265527328154735893146298*c_1001_2^6 - 845148096864491260075409494135692885641/176418656456053105465630947\ 1786292596*c_1001_2^5 - 316816839674390479650287398737380978157/882\ 093282280265527328154735893146298*c_1001_2^4 - 196291248541726116265165457609119954585/882093282280265527328154735\ 893146298*c_1001_2^3 - 98152750456140805420547820880312870033/88209\ 3282280265527328154735893146298*c_1001_2^2 - 81145916420691105015227819445974095445/1764186564560531054656309471\ 786292596*c_1001_2 - 6193161268889569782684319968167868677/44104664\ 1140132763664077367946573149, c_0011_4 + 116695772927579491680711948729131892/44104664114013276366407\ 7367946573149*c_1001_2^15 + 1594819498201617626113854677448651721/8\ 82093282280265527328154735893146298*c_1001_2^14 + 12493067725661856066216538483043003455/1764186564560531054656309471\ 786292596*c_1001_2^13 + 12371406861889686670921743387163736044/4410\ 46641140132763664077367946573149*c_1001_2^12 + 182814316878216424445630869345686977039/176418656456053105465630947\ 1786292596*c_1001_2^11 + 262402687827296595612198484491858143709/88\ 2093282280265527328154735893146298*c_1001_2^10 + 1129770913469096019280551422056402689071/17641865645605310546563094\ 71786292596*c_1001_2^9 + 913085303302228826832539629423113316627/88\ 2093282280265527328154735893146298*c_1001_2^8 + 1145829124489845415051048986300838855049/88209328228026552732815473\ 5893146298*c_1001_2^7 + 1189707552472335896708366681324741602825/88\ 2093282280265527328154735893146298*c_1001_2^6 + 2110503328225878350487289513117839399831/17641865645605310546563094\ 71786292596*c_1001_2^5 + 794050794961591129834886786972141906009/88\ 2093282280265527328154735893146298*c_1001_2^4 + 494097175200925136992982565091007631069/882093282280265527328154735\ 893146298*c_1001_2^3 + 248915882912551397007198793513581239287/8820\ 93282280265527328154735893146298*c_1001_2^2 + 208489797736055722711277885981338981983/176418656456053105465630947\ 1786292596*c_1001_2 + 16252995967557345967407544727569204096/441046\ 641140132763664077367946573149, c_0011_8 - 99645411875669742648189118130468644/441046641140132763664077\ 367946573149*c_1001_2^15 - 1343040931870809348027150949465262213/88\ 2093282280265527328154735893146298*c_1001_2^14 - 10459716542663411968492223409051195939/1764186564560531054656309471\ 786292596*c_1001_2^13 - 10377717999222385397679793831421895664/4410\ 46641140132763664077367946573149*c_1001_2^12 - 153023841028122148421979064223749876539/176418656456053105465630947\ 1786292596*c_1001_2^11 - 218564824732740856139170778731036744789/88\ 2093282280265527328154735893146298*c_1001_2^10 - 935619889292724220119141636861470796647/176418656456053105465630947\ 1786292596*c_1001_2^9 - 751043170154327346733617280294367588905/882\ 093282280265527328154735893146298*c_1001_2^8 - 935925595461997073917404192500929025089/882093282280265527328154735\ 893146298*c_1001_2^7 - 964574609000867445540066979113140504079/8820\ 93282280265527328154735893146298*c_1001_2^6 - 1694653961957773454909567457486706801283/17641865645605310546563094\ 71786292596*c_1001_2^5 - 631450291098859095022803841286703459471/88\ 2093282280265527328154735893146298*c_1001_2^4 - 389060459337869647047298694942537931507/882093282280265527328154735\ 893146298*c_1001_2^3 - 194284374119972829364301905474054468899/8820\ 93282280265527328154735893146298*c_1001_2^2 - 160253163427985266446300914638310534627/176418656456053105465630947\ 1786292596*c_1001_2 - 12300668025939496599478873865341921605/441046\ 641140132763664077367946573149, c_0101_0 + 1, c_0101_1 - 103541213176980153385261371659852388/44104664114013276366407\ 7367946573149*c_1001_2^15 - 1394349221282451931890252255107743701/8\ 82093282280265527328154735893146298*c_1001_2^14 - 10857801161171489249616409755686781251/1764186564560531054656309471\ 786292596*c_1001_2^13 - 10772415018083709170794265901259573442/4410\ 46641140132763664077367946573149*c_1001_2^12 - 158797837144138636702107962983803585563/176418656456053105465630947\ 1786292596*c_1001_2^11 - 226746970479070255898653366106826260169/88\ 2093282280265527328154735893146298*c_1001_2^10 - 970139603671974140657492916053193022735/176418656456053105465630947\ 1786292596*c_1001_2^9 - 777885788222721987791899176335442467219/882\ 093282280265527328154735893146298*c_1001_2^8 - 967183802133432300366142974642996804577/882093282280265527328154735\ 893146298*c_1001_2^7 - 992556991481102281453986961843516667763/8820\ 93282280265527328154735893146298*c_1001_2^6 - 1733018069529905205199126089750604237571/17641865645605310546563094\ 71786292596*c_1001_2^5 - 640655646149082003590375844589695156363/88\ 2093282280265527328154735893146298*c_1001_2^4 - 390548644964186259619190439077076007047/882093282280265527328154735\ 893146298*c_1001_2^3 - 192479318340168250524354369411892232779/8820\ 93282280265527328154735893146298*c_1001_2^2 - 154091863076435369459604460156315616003/176418656456053105465630947\ 1786292596*c_1001_2 - 11666209795934154661781238667082587350/441046\ 641140132763664077367946573149, c_0101_11 - 40970459097399682446350639402405100/44104664114013276366407\ 7367946573149*c_1001_2^15 - 566575837931126859060183833638926943/88\ 2093282280265527328154735893146298*c_1001_2^14 - 4475980305068030808320728551902883957/17641865645605310546563094717\ 86292596*c_1001_2^13 - 8858821857681414259764608184456846025/882093\ 282280265527328154735893146298*c_1001_2^12 - 65550140219458071289772688092889187677/1764186564560531054656309471\ 786292596*c_1001_2^11 - 47324250268961766378147200367141952281/4410\ 46641140132763664077367946573149*c_1001_2^10 - 410937313895729731526489978473137209933/176418656456053105465630947\ 1786292596*c_1001_2^9 - 167847808642342466089092271724937138508/441\ 046641140132763664077367946573149*c_1001_2^8 - 426226564760624860065367396745717855907/882093282280265527328154735\ 893146298*c_1001_2^7 - 447079463931053378335901913178415469609/8820\ 93282280265527328154735893146298*c_1001_2^6 - 800945729510497702027495929154222256909/176418656456053105465630947\ 1786292596*c_1001_2^5 - 152275079944420429701311465091727930522/441\ 046641140132763664077367946573149*c_1001_2^4 - 192107200280531040178718092291731161425/882093282280265527328154735\ 893146298*c_1001_2^3 - 98367440994647216694972389298077817901/88209\ 3282280265527328154735893146298*c_1001_2^2 - 83838726893105862225214737074738699989/1764186564560531054656309471\ 786292596*c_1001_2 - 13524300281204087446209597858772012245/8820932\ 82280265527328154735893146298, c_0101_2 + 78644137001341883569188274023267744/441046641140132763664077\ 367946573149*c_1001_2^15 + 539309287827633270578172292586523556/441\ 046641140132763664077367946573149*c_1001_2^14 + 2115731001940189931994646874920780486/44104664114013276366407736794\ 6573149*c_1001_2^13 + 8373735232060411898039809860919967176/4410466\ 41140132763664077367946573149*c_1001_2^12 + 30945164886689894270747286984344918786/4410466411401327636640773679\ 46573149*c_1001_2^11 + 88934790755982617189507543663904087395/44104\ 6641140132763664077367946573149*c_1001_2^10 + 191631531477799754743215115383965761620/441046641140132763664077367\ 946573149*c_1001_2^9 + 309823172262184195212870603653111593316/4410\ 46641140132763664077367946573149*c_1001_2^8 + 388168128883588370740376095796876976050/441046641140132763664077367\ 946573149*c_1001_2^7 + 401311641809564195062089581895966529118/4410\ 46641140132763664077367946573149*c_1001_2^6 + 353881775399432263225996990715816190800/441046641140132763664077367\ 946573149*c_1001_2^5 + 264604418749042825835894333239860598233/4410\ 46641140132763664077367946573149*c_1001_2^4 + 163883613957110635840097172848168606038/441046641140132763664077367\ 946573149*c_1001_2^3 + 82335366914718964863744499856643077697/44104\ 6641140132763664077367946573149*c_1001_2^2 + 33967749317999368280762672928931544822/4410466411401327636640773679\ 46573149*c_1001_2 + 10575705107172961092443552869702478265/44104664\ 1140132763664077367946573149, c_1001_0 - 29111831652109149123331708623875416/441046641140132763664077\ 367946573149*c_1001_2^15 - 199741575930544576661729067789193167/441\ 046641140132763664077367946573149*c_1001_2^14 - 1568159982606804922831629543455251925/88209328228026552732815473589\ 3146298*c_1001_2^13 - 3101600207029793621255247757509279087/4410466\ 41140132763664077367946573149*c_1001_2^12 - 22926474456839205944120346690768131163/8820932822802655273281547358\ 93146298*c_1001_2^11 - 32957271402961727900537926167518738398/44104\ 6641140132763664077367946573149*c_1001_2^10 - 142030178405769715066875499642019790259/882093282280265527328154735\ 893146298*c_1001_2^9 - 114798908313113103386989437914215590534/4410\ 46641140132763664077367946573149*c_1001_2^8 - 143827010838694738447557845442382894983/441046641140132763664077367\ 946573149*c_1001_2^7 - 148880531552399031058938506804226243829/4410\ 46641140132763664077367946573149*c_1001_2^6 - 263822776554610585254987902586259489981/882093282280265527328154735\ 893146298*c_1001_2^5 - 99288427528748990854535008694876635450/44104\ 6641140132763664077367946573149*c_1001_2^4 - 61882072808339755804264594940956016512/4410466411401327636640773679\ 46573149*c_1001_2^3 - 31039512832404493908573967877855347859/441046\ 641140132763664077367946573149*c_1001_2^2 - 25909766600043106908402892566042896505/8820932822802655273281547358\ 93146298*c_1001_2 - 4024733400476432622988142326915582751/441046641\ 140132763664077367946573149, c_1001_10 + c_1001_2, c_1001_11 - 29111831652109149123331708623875416/44104664114013276366407\ 7367946573149*c_1001_2^15 - 199741575930544576661729067789193167/44\ 1046641140132763664077367946573149*c_1001_2^14 - 1568159982606804922831629543455251925/88209328228026552732815473589\ 3146298*c_1001_2^13 - 3101600207029793621255247757509279087/4410466\ 41140132763664077367946573149*c_1001_2^12 - 22926474456839205944120346690768131163/8820932822802655273281547358\ 93146298*c_1001_2^11 - 32957271402961727900537926167518738398/44104\ 6641140132763664077367946573149*c_1001_2^10 - 142030178405769715066875499642019790259/882093282280265527328154735\ 893146298*c_1001_2^9 - 114798908313113103386989437914215590534/4410\ 46641140132763664077367946573149*c_1001_2^8 - 143827010838694738447557845442382894983/441046641140132763664077367\ 946573149*c_1001_2^7 - 148880531552399031058938506804226243829/4410\ 46641140132763664077367946573149*c_1001_2^6 - 263822776554610585254987902586259489981/882093282280265527328154735\ 893146298*c_1001_2^5 - 99288427528748990854535008694876635450/44104\ 6641140132763664077367946573149*c_1001_2^4 - 61882072808339755804264594940956016512/4410466411401327636640773679\ 46573149*c_1001_2^3 - 31039512832404493908573967877855347859/441046\ 641140132763664077367946573149*c_1001_2^2 - 25909766600043106908402892566042896505/8820932822802655273281547358\ 93146298*c_1001_2 - 4024733400476432622988142326915582751/441046641\ 140132763664077367946573149, c_1001_2^16 + 61/8*c_1001_2^15 + 515/16*c_1001_2^14 + 509/4*c_1001_2^13 + 7611/16*c_1001_2^12 + 11479/8*c_1001_2^11 + 52991/16*c_1001_2^10 + 46641/8*c_1001_2^9 + 64029/8*c_1001_2^8 + 71733/8*c_1001_2^7 + 136339/16*c_1001_2^6 + 55491/8*c_1001_2^5 + 38143/8*c_1001_2^4 + 21687/8*c_1001_2^3 + 20307/16*c_1001_2^2 + 1925/4*c_1001_2 + 109 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB