Magma V2.19-8 Wed Aug 21 2013 00:57:56 on localhost [Seed = 2260769827] Type ? for help. Type -D to quit. Loading file "L13n4624__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4624 geometric_solution 11.98661555 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 -1 1 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 -1 0 1 1 0 2 -3 1 -2 0 1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808406214286 1.622569009458 0 3 4 5 0132 0213 0213 0132 1 0 0 1 0 0 0 0 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 0 0 -1 0 1 0 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480116577853 0.496958980141 6 0 3 7 0132 0132 0213 0132 1 0 0 1 0 0 0 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 1 0 -1 0 0 1 -1 0 -3 0 3 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827830963255 0.692296114962 8 2 1 0 0132 0213 0213 0132 1 0 0 1 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 0 0 0 0 0 2 -2 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.170578067608 0.698988725943 9 1 0 10 0132 0213 0132 0132 1 0 0 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 -1 1 -3 0 3 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.357639484749 0.609278029791 8 10 1 9 2103 0321 0132 0321 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 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.727438355545 1.383394373737 2 9 11 12 0132 3201 0132 0132 0 0 1 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 0 0 0 0 0 0 0 2 0 0 -2 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316632530367 0.673489600217 11 12 2 10 1023 2310 0132 2310 1 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 1 -1 0 0 1 -1 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.463990545666 1.375252812284 3 12 5 9 0132 2031 2103 2103 1 0 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 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.599833637034 0.756841326198 4 5 6 8 0132 0321 2310 2103 1 0 1 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 3 0 -3 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 1.009703136782 1.147825325444 7 12 4 5 3201 3120 0132 0321 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 1 -1 0 0 0 0 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.549261600593 0.668458683335 11 7 11 6 2310 1023 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 -3 0 3 0 -3 0 0 3 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.003713335688 0.773835397605 8 10 6 7 1302 3120 0132 3201 0 0 1 1 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 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335552505620 1.065532070131 ==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_1001_10'], 'c_1001_12' : negation(d['c_1001_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_0011_5'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : d['1'], 's_0_11' : 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_10'], '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' : 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_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_0'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_1001_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_0011_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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), '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_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_11'], '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' : negation(d['c_0011_5']), 'c_0110_12' : negation(d['c_0011_5']), 'c_0101_12' : d['c_0011_3'], 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : negation(d['c_0101_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0011_3']})} 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_11, c_0011_12, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_10, c_0101_11, c_1001_1, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 165728947975203810877353769163154647/989261356076342607832061280256\ *c_1001_5^15 + 25364456753588839900211622469261207/9892613560763426\ 07832061280256*c_1001_5^14 - 788508088029274200919644079106852405/9\ 89261356076342607832061280256*c_1001_5^13 - 66676582664558795670609224626324915/989261356076342607832061280256*\ c_1001_5^12 + 1896993455355258785378980282332566357/989261356076342\ 607832061280256*c_1001_5^11 + 11444466209437876993284784118253169/5\ 8191844475078976931297722368*c_1001_5^10 - 3024530223683236460209433467252217493/98926135607634260783206128025\ 6*c_1001_5^9 - 411163479696022903915317894727490743/989261356076342\ 607832061280256*c_1001_5^8 + 3556709508758998758760991675193382031/\ 989261356076342607832061280256*c_1001_5^7 + 25357650802810033013557620651017601/58191844475078976931297722368*c\ _1001_5^6 - 2967047801278011796603092507987136753/98926135607634260\ 7832061280256*c_1001_5^5 - 125902414800472252591668193542266625/989\ 261356076342607832061280256*c_1001_5^4 + 1516715126930196182070222780193056527/98926135607634260783206128025\ 6*c_1001_5^3 - 10124105780816541853153342361095255/9892613560763426\ 07832061280256*c_1001_5^2 - 363754213954502877422555377000230727/98\ 9261356076342607832061280256*c_1001_5 - 73931513841920305256881481067073533/989261356076342607832061280256, c_0011_0 - 1, c_0011_10 + 7031151880554323231313/633223091462318521678*c_1001_5^15 - 6702480520936242038917/633223091462318521678*c_1001_5^14 - 32424949002174589790735/633223091462318521678*c_1001_5^13 + 33870199406753354589327/633223091462318521678*c_1001_5^12 + 72584052080395676632043/633223091462318521678*c_1001_5^11 - 78683548525258057620921/633223091462318521678*c_1001_5^10 - 110759254681263911275879/633223091462318521678*c_1001_5^9 + 120040557963616318050291/633223091462318521678*c_1001_5^8 + 127234433160728750315773/633223091462318521678*c_1001_5^7 - 143478075844180351457055/633223091462318521678*c_1001_5^6 - 95343300083978609040963/633223091462318521678*c_1001_5^5 + 127367466405473547596495/633223091462318521678*c_1001_5^4 + 28071730984557077243881/633223091462318521678*c_1001_5^3 - 62978934206590195897955/633223091462318521678*c_1001_5^2 + 4926716388975202436421/633223091462318521678*c_1001_5 + 8246593745828126350505/633223091462318521678, c_0011_11 - 338376557651346596967287/23429254384105785302086*c_1001_5^1\ 5 + 280611484991398249410189/23429254384105785302086*c_1001_5^14 + 779862662530726498285328/11714627192052892651043*c_1001_5^13 - 709222680297038985691979/11714627192052892651043*c_1001_5^12 - 3505477128904814486792983/23429254384105785302086*c_1001_5^11 + 3243890439797290210363865/23429254384105785302086*c_1001_5^10 + 2669757315450165726781590/11714627192052892651043*c_1001_5^9 - 2436694992226845889002446/11714627192052892651043*c_1001_5^8 - 165282910435117992493713/633223091462318521678*c_1001_5^7 + 5792554635373107278259295/23429254384105785302086*c_1001_5^6 + 2295084141892151230051789/11714627192052892651043*c_1001_5^5 - 2582959285439562462625816/11714627192052892651043*c_1001_5^4 - 1446635352107066265854587/23429254384105785302086*c_1001_5^3 + 2519470354060575950803141/23429254384105785302086*c_1001_5^2 - 76930642457658008566503/11714627192052892651043*c_1001_5 - 144411441569093452026095/11714627192052892651043, c_0011_12 + 5400591669085237176950/316611545731159260839*c_1001_5^15 - 5066685889473890735502/316611545731159260839*c_1001_5^14 - 24918006474205067772214/316611545731159260839*c_1001_5^13 + 25723831358520296601808/316611545731159260839*c_1001_5^12 + 55766639481005706025344/316611545731159260839*c_1001_5^11 - 59651885006417801382837/316611545731159260839*c_1001_5^10 - 85196179822001926480682/316611545731159260839*c_1001_5^9 + 90569290409611212896292/316611545731159260839*c_1001_5^8 + 98177959982937104134590/316611545731159260839*c_1001_5^7 - 107620115491944281764671/316611545731159260839*c_1001_5^6 - 73857137814155506875026/316611545731159260839*c_1001_5^5 + 94839619659184831292132/316611545731159260839*c_1001_5^4 + 22277968949012337746636/316611545731159260839*c_1001_5^3 - 45698618741755300923832/316611545731159260839*c_1001_5^2 + 3404560459408347531726/316611545731159260839*c_1001_5 + 5204667573918090614634/316611545731159260839, c_0011_3 - 4195835473266664619940/316611545731159260839*c_1001_5^15 + 3811670130953839537855/316611545731159260839*c_1001_5^14 + 18599799448458361914869/316611545731159260839*c_1001_5^13 - 19257627895777688678355/316611545731159260839*c_1001_5^12 - 40695338942468520191481/316611545731159260839*c_1001_5^11 + 44335024575262004980119/316611545731159260839*c_1001_5^10 + 60976230812534663236465/316611545731159260839*c_1001_5^9 - 67360840494118074533872/316611545731159260839*c_1001_5^8 - 69201864014237934686510/316611545731159260839*c_1001_5^7 + 80229631674312099369553/316611545731159260839*c_1001_5^6 + 50445523913664127529942/316611545731159260839*c_1001_5^5 - 70431984745434597354618/316611545731159260839*c_1001_5^4 - 13514762771369243934362/316611545731159260839*c_1001_5^3 + 33518240888965284684601/316611545731159260839*c_1001_5^2 - 3256705541123166252111/316611545731159260839*c_1001_5 - 3671815209805692482594/316611545731159260839, c_0011_4 + 2722583230056436436287/633223091462318521678*c_1001_5^15 - 1802167699391738391883/633223091462318521678*c_1001_5^14 - 12644080522061058041967/633223091462318521678*c_1001_5^13 + 9932485083845626195819/633223091462318521678*c_1001_5^12 + 29067495632289814441467/633223091462318521678*c_1001_5^11 - 23495947264414864386173/633223091462318521678*c_1001_5^10 - 45218488895075972720847/633223091462318521678*c_1001_5^9 + 36206682251401933098899/633223091462318521678*c_1001_5^8 + 53267070584238091130775/633223091462318521678*c_1001_5^7 - 43687778610755933344245/633223091462318521678*c_1001_5^6 - 42197664380645707700213/633223091462318521678*c_1001_5^5 + 40117175932516925414513/633223091462318521678*c_1001_5^4 + 16281472660267143493763/633223091462318521678*c_1001_5^3 - 20683549185780782248093/633223091462318521678*c_1001_5^2 - 286799164068515145245/633223091462318521678*c_1001_5 + 2888498222960875029835/633223091462318521678, c_0011_5 - 6190902700115038237367/633223091462318521678*c_1001_5^15 + 6002741408336200642543/633223091462318521678*c_1001_5^14 + 29067226995203112261405/633223091462318521678*c_1001_5^13 - 30816975426632243737827/633223091462318521678*c_1001_5^12 - 66054652684792140481503/633223091462318521678*c_1001_5^11 + 72325490575353708033365/633223091462318521678*c_1001_5^10 + 102459877355913686774413/633223091462318521678*c_1001_5^9 - 110573654012435036564585/633223091462318521678*c_1001_5^8 - 120076329249669660427885/633223091462318521678*c_1001_5^7 + 131473960839674993271525/633223091462318521678*c_1001_5^6 + 93218211867294900843291/633223091462318521678*c_1001_5^5 - 115833969027811376299643/633223091462318521678*c_1001_5^4 - 31434173999200942494427/633223091462318521678*c_1001_5^3 + 57057981912367674360349/633223091462318521678*c_1001_5^2 - 2168330582226202406391/633223091462318521678*c_1001_5 - 7307314971212179707595/633223091462318521678, c_0101_0 - 1, c_0101_10 + 57562648374852438888504/11714627192052892651043*c_1001_5^15 - 41487497063881056280148/11714627192052892651043*c_1001_5^14 - 515402522927007331295771/23429254384105785302086*c_1001_5^13 + 214396499209616654386695/11714627192052892651043*c_1001_5^12 + 584171055570173909789164/11714627192052892651043*c_1001_5^11 - 499680347008605065053616/11714627192052892651043*c_1001_5^10 - 1799785965624276374114439/23429254384105785302086*c_1001_5^9 + 759643340946184306926128/11714627192052892651043*c_1001_5^8 + 28167396411384766268827/316611545731159260839*c_1001_5^7 - 905004245079977113486932/11714627192052892651043*c_1001_5^6 - 1608879796412482906832149/23429254384105785302086*c_1001_5^5 + 811995371458925750695509/11714627192052892651043*c_1001_5^4 + 290433008890619374005653/11714627192052892651043*c_1001_5^3 - 402618798552981778846026/11714627192052892651043*c_1001_5^2 - 1943117383394046158359/23429254384105785302086*c_1001_5 + 54702855772629666457515/11714627192052892651043, c_0101_11 - 318192765136576975825829/23429254384105785302086*c_1001_5^1\ 5 + 155076360514351896161927/11714627192052892651043*c_1001_5^14 + 724961438059009940819359/11714627192052892651043*c_1001_5^13 - 782618241630741391725779/11714627192052892651043*c_1001_5^12 - 3243834289361762507740921/23429254384105785302086*c_1001_5^11 + 1809319649869117685920570/11714627192052892651043*c_1001_5^10 + 2482435299644516368996642/11714627192052892651043*c_1001_5^9 - 2752485896652506644599858/11714627192052892651043*c_1001_5^8 - 155321644227006906938567/633223091462318521678*c_1001_5^7 + 3260753030135064189517124/11714627192052892651043*c_1001_5^6 + 2158518169649201469140523/11714627192052892651043*c_1001_5^5 - 2852120357856997398643891/11714627192052892651043*c_1001_5^4 - 1303181232314613873313857/23429254384105785302086*c_1001_5^3 + 1365534983688641219665108/11714627192052892651043*c_1001_5^2 - 98431706610931244294924/11714627192052892651043*c_1001_5 - 164363296482602808730542/11714627192052892651043, c_1001_1 - 31244447065917876619/1997549184423717734*c_1001_5^15 + 32658998290496601927/1997549184423717734*c_1001_5^14 + 143870216214651245785/1997549184423717734*c_1001_5^13 - 160766262091541898705/1997549184423717734*c_1001_5^12 - 321884556349936209373/1997549184423717734*c_1001_5^11 + 368973192286276527683/1997549184423717734*c_1001_5^10 + 492684195978733736499/1997549184423717734*c_1001_5^9 - 557424593339176561123/1997549184423717734*c_1001_5^8 - 567908438268736528587/1997549184423717734*c_1001_5^7 + 657793204979470873903/1997549184423717734*c_1001_5^6 + 424470718397270175987/1997549184423717734*c_1001_5^5 - 573253361838169715783/1997549184423717734*c_1001_5^4 - 124210886449146680439/1997549184423717734*c_1001_5^3 + 276158846986080324901/1997549184423717734*c_1001_5^2 - 22344135061501224949/1997549184423717734*c_1001_5 - 34505557682278274725/1997549184423717734, c_1001_10 - 4821703433852992484855/316611545731159260839*c_1001_5^15 + 4871826647106687590922/316611545731159260839*c_1001_5^14 + 21946746320637426621333/316611545731159260839*c_1001_5^13 - 24039287441662756058207/316611545731159260839*c_1001_5^12 - 48876824096815072343207/316611545731159260839*c_1001_5^11 + 55098531002109856814005/316611545731159260839*c_1001_5^10 + 74473301500624841535320/316611545731159260839*c_1001_5^9 - 83341724473835797583519/316611545731159260839*c_1001_5^8 - 85635226428503346473777/316611545731159260839*c_1001_5^7 + 98441439848444974295536/316611545731159260839*c_1001_5^6 + 63709628764767654451742/316611545731159260839*c_1001_5^5 - 85799433990455091243284/316611545731159260839*c_1001_5^4 - 18386682012882995702639/316611545731159260839*c_1001_5^3 + 40986515619644651770028/316611545731159260839*c_1001_5^2 - 3444709671526625195964/316611545731159260839*c_1001_5 - 5032490185933942209791/316611545731159260839, c_1001_5^16 - 30/53*c_1001_5^15 - 258/53*c_1001_5^14 + 160/53*c_1001_5^13 + 622/53*c_1001_5^12 - 374/53*c_1001_5^11 - 1012/53*c_1001_5^10 + 564/53*c_1001_5^9 + 1232/53*c_1001_5^8 - 680/53*c_1001_5^7 - 1048/53*c_1001_5^6 + 642/53*c_1001_5^5 + 514/53*c_1001_5^4 - 352/53*c_1001_5^3 - 114/53*c_1001_5^2 + 60/53*c_1001_5 + 17/53 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.430 seconds, Total memory usage: 32.09MB