Magma V2.19-8 Tue Aug 20 2013 23:57:31 on localhost [Seed = 3599810049] Type ? for help. Type -D to quit. Loading file "L14n32888__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32888 geometric_solution 11.11367967 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 0 0 0 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 0 0 0 0 0 0 0 0 0 1 -2 1 1 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 0.810783830471 1.133073094801 0 0 5 4 0132 1230 0132 0132 0 0 1 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 1 -1 0 -1 0 1 0 -1 0 0 1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143382797659 0.858611558879 6 0 5 6 0132 0132 0213 2031 0 0 1 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -2 0 2 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881554797726 0.755196274227 7 7 0 8 0132 2310 0132 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 -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.356570380354 0.369966091144 9 9 1 7 0132 1302 0132 0132 0 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 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.794035929421 1.055941357474 10 2 7 1 0132 0213 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258605141958 1.212039611587 2 2 9 8 0132 1302 3012 0213 0 0 0 1 0 0 0 0 -1 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 0 0 -1 1 2 0 -2 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345765649098 0.560459027104 3 5 4 3 0132 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732113177272 0.910737045086 10 11 3 6 1230 0132 0132 0213 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 -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.440085194601 0.961170805412 4 6 10 4 0132 1230 1230 2031 0 0 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 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177948968546 0.912312884863 5 8 11 9 0132 3012 1230 3012 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 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.189033387177 0.406271550575 11 8 11 10 2310 0132 3201 3012 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 -2 0 2 0 -2 0 0 2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.155283149887 0.665739228006 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_0_11' : 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_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_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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_1001_1'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_1001_1']), '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' : 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' : 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_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_0101_11']), 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_5'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(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_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 857875428865824608327017033821636155917555/153850897768596860194071\ 578354631670840377*c_1001_2^14 + 7001065346699670887366083501397756\ 2122947855/2615465262066146623299216832028738404286409*c_1001_2^13 + 9854269486678809788365721225181645995682058/11371588095939767927387\ 8992696901669751583*c_1001_2^12 + 297542747839794071081817150992334\ 3883618921/12635097884377519919319888077433518861287*c_1001_2^11 + 405805681837770505470117253095031598338689295/871821754022048874433\ 072277342912801428803*c_1001_2^10 + 6910100980365930230399003144662448694389194/89878531342479265405471\ 36879823843313699*c_1001_2^9 + 277355223723996347709667310801291353\ 3050000673/2615465262066146623299216832028738404286409*c_1001_2^8 + 2739051197899426325532976341644306850267841081/26154652620661466232\ 99216832028738404286409*c_1001_2^7 + 641593259867734664047367388789938846400730465/871821754022048874433\ 072277342912801428803*c_1001_2^6 + 497693581492045265191791747332305935466569329/261546526206614662329\ 9216832028738404286409*c_1001_2^5 - 61291074984968265089901908609992760907952298/1137158809593976792738\ 78992696901669751583*c_1001_2^4 - 240581662719213786273840111164363\ 971307451439/290607251340682958144357425780970933809601*c_1001_2^3 - 134733863545300882473836028466660553647803031/290607251340682958144\ 357425780970933809601*c_1001_2^2 - 209997541292790213944415715458101495140235699/261546526206614662329\ 9216832028738404286409*c_1001_2 - 388399537694580391114657095555917\ 4603747235/871821754022048874433072277342912801428803, c_0011_0 - 1, c_0011_10 + 3699053125280980926744847274950/118674874690071553081318324\ 42171*c_1001_2^14 + 24754468286657963842449259194290/11867487469007\ 155308131832442171*c_1001_2^13 + 86302960316028069861806709919175/1\ 1867487469007155308131832442171*c_1001_2^12 + 250676105725485365817019971131716/11867487469007155308131832442171*\ c_1001_2^11 + 554021419444394490590267055853683/1186748746900715530\ 8131832442171*c_1001_2^10 + 977979131682167344891864876462659/11867\ 487469007155308131832442171*c_1001_2^9 + 1462789200202135912118263198685467/11867487469007155308131832442171\ *c_1001_2^8 + 1699890740334040112574160736969276/118674874690071553\ 08131832442171*c_1001_2^7 + 1427649831134415773972309905864264/1186\ 7487469007155308131832442171*c_1001_2^6 + 744935421945415314714743168179766/11867487469007155308131832442171*\ c_1001_2^5 - 275809610784615415396617787174921/11867487469007155308\ 131832442171*c_1001_2^4 - 1139578432487663165003928402729563/118674\ 87469007155308131832442171*c_1001_2^3 - 1052348472713471601546160062637947/11867487469007155308131832442171\ *c_1001_2^2 - 404594408992168014846683410362130/1186748746900715530\ 8131832442171*c_1001_2 - 53289003091174179772332381835781/118674874\ 69007155308131832442171, c_0011_11 + 33149208730330818453919866553195/11867487469007155308131832\ 442171*c_1001_2^14 + 160086496663357334794988991404280/118674874690\ 07155308131832442171*c_1001_2^13 + 546829537640331999251992520470513/11867487469007155308131832442171*\ c_1001_2^12 + 1489592915313674803785471138251427/118674874690071553\ 08131832442171*c_1001_2^11 + 3066770225874191528972278286785546/118\ 67487469007155308131832442171*c_1001_2^10 + 5238990880130073895336282203097692/11867487469007155308131832442171\ *c_1001_2^9 + 7407984639429412842729505118395465/118674874690071553\ 08131832442171*c_1001_2^8 + 7963400472598126946736721548053546/1186\ 7487469007155308131832442171*c_1001_2^7 + 6212914865596853777160037221849297/11867487469007155308131832442171\ *c_1001_2^6 + 2471815828431604342883654259159066/118674874690071553\ 08131832442171*c_1001_2^5 - 2576894278396123667584084052076058/1186\ 7487469007155308131832442171*c_1001_2^4 - 5661584157746857767219896474826840/11867487469007155308131832442171\ *c_1001_2^3 - 4335121383344841449439000298619605/118674874690071553\ 08131832442171*c_1001_2^2 - 1444265257004322319101658766631085/1186\ 7487469007155308131832442171*c_1001_2 - 113702984843990758704279571801075/11867487469007155308131832442171, c_0011_3 - 11189275254817567629131019572575/118674874690071553081318324\ 42171*c_1001_2^14 - 56203963042547314233907546751605/11867487469007\ 155308131832442171*c_1001_2^13 - 194042617894787954087743177137695/\ 11867487469007155308131832442171*c_1001_2^12 - 533102160027188402773732278609847/11867487469007155308131832442171*\ c_1001_2^11 - 1115344623593307123274940526593096/118674874690071553\ 08131832442171*c_1001_2^10 - 1921001825830473775118983646094665/118\ 67487469007155308131832442171*c_1001_2^9 - 2747256610193459964649756813069260/11867487469007155308131832442171\ *c_1001_2^8 - 3015260964987356873016303518445572/118674874690071553\ 08131832442171*c_1001_2^7 - 2399198102022230308330296031013724/1186\ 7487469007155308131832442171*c_1001_2^6 - 1024156033886108940547273176376760/11867487469007155308131832442171\ *c_1001_2^5 + 850584131308003625493840951025119/1186748746900715530\ 8131832442171*c_1001_2^4 + 2111237589655615801244731788054890/11867\ 487469007155308131832442171*c_1001_2^3 + 1705256432155893291905377948622743/11867487469007155308131832442171\ *c_1001_2^2 + 576924105747259125209032942644445/1186748746900715530\ 8131832442171*c_1001_2 + 36608905986097302745166588578244/118674874\ 69007155308131832442171, c_0011_4 - 172325699500725130184747070866720/83072412283050087156922827\ 095197*c_1001_2^14 - 846640136224463788030324223504210/830724122830\ 50087156922827095197*c_1001_2^13 - 417741544436862946752976172730679/11867487469007155308131832442171*\ c_1001_2^12 - 7994251598626223648834636550666444/830724122830500871\ 56922827095197*c_1001_2^11 - 16645200312979353510339735229324498/83\ 072412283050087156922827095197*c_1001_2^10 - 28624308226058076908121469643965408/8307241228305008715692282709519\ 7*c_1001_2^9 - 40748185295810268431176411956906842/8307241228305008\ 7156922827095197*c_1001_2^8 - 44494110642607641651898983637354089/8\ 3072412283050087156922827095197*c_1001_2^7 - 35233994847042521323870151008698288/8307241228305008715692282709519\ 7*c_1001_2^6 - 14637803211974260324526904469347414/8307241228305008\ 7156922827095197*c_1001_2^5 + 1873949355996705358995506684985516/11\ 867487469007155308131832442171*c_1001_2^4 + 31330826982542323638562776002503801/8307241228305008715692282709519\ 7*c_1001_2^3 + 25225080955587968910580733908483559/8307241228305008\ 7156922827095197*c_1001_2^2 + 8426155896033303461382288562415782/83\ 072412283050087156922827095197*c_1001_2 + 430046890399930515314566739334446/83072412283050087156922827095197, c_0101_0 + 675301246341324712964325170646270/83072412283050087156922827\ 095197*c_1001_2^14 + 3394798092296447727532715862039610/83072412283\ 050087156922827095197*c_1001_2^13 + 1677054060437382741300743944738299/11867487469007155308131832442171\ *c_1001_2^12 + 32296296484085599441204862780904289/8307241228305008\ 7156922827095197*c_1001_2^11 + 67673313194290935695430438372974086/\ 83072412283050087156922827095197*c_1001_2^10 + 116843939596148396725534936076153347/830724122830500871569228270951\ 97*c_1001_2^9 + 167480801896149155624770958109004249/83072412283050\ 087156922827095197*c_1001_2^8 + 18459693587153520320449162102419143\ 0/83072412283050087156922827095197*c_1001_2^7 + 148114116796795104089650595144635366/830724122830500871569228270951\ 97*c_1001_2^6 + 64699534686800940090602360241975836/830724122830500\ 87156922827095197*c_1001_2^5 - 7127912621383731051098938230012542/1\ 1867487469007155308131832442171*c_1001_2^4 - 127959697450309152798747073020846234/830724122830500871569228270951\ 97*c_1001_2^3 - 105967001031481497868661640383433008/83072412283050\ 087156922827095197*c_1001_2^2 - 37830187740774129396350912971363373\ /83072412283050087156922827095197*c_1001_2 - 3290385745815422630610772654892796/83072412283050087156922827095197\ , c_0101_1 - 1, c_0101_11 + 17171097251165342786310390400550/11867487469007155308131832\ 442171*c_1001_2^14 + 91935374871272923517013749798430/1186748746900\ 7155308131832442171*c_1001_2^13 + 321228317055743776126243689769105\ /11867487469007155308131832442171*c_1001_2^12 + 895899697923672653667913317173722/11867487469007155308131832442171*\ c_1001_2^11 + 1912989580240948590647102259639254/118674874690071553\ 08131832442171*c_1001_2^10 + 3336095800833766192309303942163468/118\ 67487469007155308131832442171*c_1001_2^9 + 4847303686881792968212886856918306/11867487469007155308131832442171\ *c_1001_2^8 + 5462634024649197071832937361080886/118674874690071553\ 08131832442171*c_1001_2^7 + 4473437151779871420074585275958448/1186\ 7487469007155308131832442171*c_1001_2^6 + 2082344721304081423743889614079446/11867487469007155308131832442171\ *c_1001_2^5 - 1249807056311048089417642262122455/118674874690071553\ 08131832442171*c_1001_2^4 - 3743424996372812125262533972740839/1186\ 7487469007155308131832442171*c_1001_2^3 - 3286705547937512003214449112849768/11867487469007155308131832442171\ *c_1001_2^2 - 1192276303807449305089197113541109/118674874690071553\ 08131832442171*c_1001_2 - 88290881715399986201178658700282/11867487\ 469007155308131832442171, c_0101_5 - 24618638269664677283995266752225/118674874690071553081318324\ 42171*c_1001_2^14 - 119572255257927141557107198879205/1186748746900\ 7155308131832442171*c_1001_2^13 - 411703133815329173103436877420220\ /11867487469007155308131832442171*c_1001_2^12 - 1121915338901207555881919674596737/11867487469007155308131832442171\ *c_1001_2^11 - 2325748719964290887006414291747037/11867487469007155\ 308131832442171*c_1001_2^10 - 3986740562243436226571837563698190/11\ 867487469007155308131832442171*c_1001_2^9 - 5656872223682125558428063221525708/11867487469007155308131832442171\ *c_1001_2^8 - 6139075112551180958183362315012574/118674874690071553\ 08131832442171*c_1001_2^7 - 4829296316201229820908669427193234/1186\ 7487469007155308131832442171*c_1001_2^6 - 1972613468964815733838206352558678/11867487469007155308131832442171\ *c_1001_2^5 + 1867543178072270446889515965810904/118674874690071553\ 08131832442171*c_1001_2^4 + 4329792660457079612713427105637181/1186\ 7487469007155308131832442171*c_1001_2^3 + 3405468919197560918786658415216489/11867487469007155308131832442171\ *c_1001_2^2 + 1122452370078463526846621567743439/118674874690071553\ 08131832442171*c_1001_2 + 80048976923146763830381382373147/11867487\ 469007155308131832442171, c_0101_7 - 12379903687865184820814498118135/118674874690071553081318324\ 42171*c_1001_2^14 - 65808775114097054150441180601080/11867487469007\ 155308131832442171*c_1001_2^13 - 230489826371691855882400439857039/\ 11867487469007155308131832442171*c_1001_2^12 - 643775992100186569232661246350007/11867487469007155308131832442171*\ c_1001_2^11 - 1376036093506877872826612954297945/118674874690071553\ 08131832442171*c_1001_2^10 - 2409650530487041652605714562742777/118\ 67487469007155308131832442171*c_1001_2^9 - 3514052997616515678756496924628982/11867487469007155308131832442171\ *c_1001_2^8 - 3982742785436469284471968329470405/118674874690071553\ 08131832442171*c_1001_2^7 - 3312752981105275682356106823648765/1186\ 7487469007155308131832442171*c_1001_2^6 - 1601439441445728999172966373006357/11867487469007155308131832442171\ *c_1001_2^5 + 826754899956251105321179793984892/1186748746900715530\ 8131832442171*c_1001_2^4 + 2652524391796661100095698310818821/11867\ 487469007155308131832442171*c_1001_2^3 + 2416593511043153464255512529380379/11867487469007155308131832442171\ *c_1001_2^2 + 973838312592243374382081262262563/1186748746900715530\ 8131832442171*c_1001_2 + 107126485397847296170273500854174/11867487\ 469007155308131832442171, c_1001_1 + 8736477837442341679328741105480/1186748746900715530813183244\ 2171*c_1001_2^14 + 46950297869293290619945020323355/118674874690071\ 55308131832442171*c_1001_2^13 + 163290327232537419099884549366867/1\ 1867487469007155308131832442171*c_1001_2^12 + 456227724117456984084358420944422/11867487469007155308131832442171*\ c_1001_2^11 + 972527281317250606565188889858003/1186748746900715530\ 8131832442171*c_1001_2^10 + 1694759955859472003951504139333677/1186\ 7487469007155308131832442171*c_1001_2^9 + 2464939860022764218324070291686572/11867487469007155308131832442171\ *c_1001_2^8 + 2773743619952824159089788716174604/118674874690071553\ 08131832442171*c_1001_2^7 + 2275919160907604376762580733312686/1186\ 7487469007155308131832442171*c_1001_2^6 + 1074035565947384800759929053160098/11867487469007155308131832442171\ *c_1001_2^5 - 623938278629960388639157706743434/1186748746900715530\ 8131832442171*c_1001_2^4 - 1878313443226141348971240085559194/11867\ 487469007155308131832442171*c_1001_2^3 - 1648329389578471878437796651815185/11867487469007155308131832442171\ *c_1001_2^2 - 621776488379904958436580064698864/1186748746900715530\ 8131832442171*c_1001_2 - 67480531285351543434605670024805/118674874\ 69007155308131832442171, c_1001_2^15 + 87/17*c_1001_2^14 + 1519/85*c_1001_2^13 + 4209/85*c_1001_2^12 + 1784/17*c_1001_2^11 + 15564/85*c_1001_2^10 + 22574/85*c_1001_2^9 + 25407/85*c_1001_2^8 + 21087/85*c_1001_2^7 + 597/5*c_1001_2^6 - 5334/85*c_1001_2^5 - 16656/85*c_1001_2^4 - 14993/85*c_1001_2^3 - 6214/85*c_1001_2^2 - 962/85*c_1001_2 - 49/85 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB