Magma V2.19-8 Wed Aug 21 2013 01:04:56 on localhost [Seed = 795424591] Type ? for help. Type -D to quit. Loading file "L14n24854__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24854 geometric_solution 11.49317270 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 0 1 -1 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 -3 3 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.164426154719 1.305344693877 0 3 4 2 0132 0132 0132 2031 1 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 1 0 -1 0 0 1 -1 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565998154166 0.254854853615 5 1 0 6 0132 1302 0132 0132 0 0 1 0 0 0 1 -1 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 -3 2 0 0 0 0 0 1 0 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.272906366076 0.600034408088 6 1 7 8 3201 0132 0132 0132 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 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.029020440286 1.171012108881 7 8 5 1 2310 0132 3120 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.916635163901 1.024104318918 2 9 4 10 0132 0132 3120 0132 1 0 0 1 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 3 -2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038895260014 0.866796052902 11 11 2 3 0132 1302 0132 2310 0 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 0 0 0 0 0 2 -2 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.510018121679 0.451595006594 11 9 4 3 2310 2031 3201 0132 1 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 1 -1 0 0 0 0 -2 2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371868446061 0.612811142940 12 4 3 12 0132 0132 0132 3201 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.129872325605 0.773466600493 7 5 12 10 1302 0132 0132 2103 1 0 1 0 0 0 -1 1 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 4 -4 -1 0 1 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.745332982100 0.707536947941 11 12 5 9 1023 3201 0132 2103 1 0 1 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 1 -5 0 4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.951265035592 0.917971254069 6 10 7 6 0132 1023 3201 2031 0 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.103512357841 1.017059390488 8 8 10 9 0132 2310 2310 0132 1 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 5 -4 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.768446843990 0.727986611261 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_1001_12']), 's_0_10' : 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_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_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_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_7']), 'c_1100_10' : negation(d['c_0101_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_2'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_1001_12']), 'c_1100_8' : negation(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' : 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' : d['c_0011_10'], '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_2'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0011_7']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_11']})} 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_2, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_4, c_0101_5, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 685037257320532768598413840380250226698433953669183205873216/435207\ 8199729376290908896328904858767190228840849755961703*c_1001_12^15 - 2968223146169820775533930518821204745034120220633085634638432/22905\ 6747354177699521520859416045198273169938992092419037*c_1001_12^14 + 23292244456370337666388906178501036695944257307998011649194144/4352\ 078199729376290908896328904858767190228840849755961703*c_1001_12^13 - 544405058739094550814716289444689817631761875359622754779289264/4\ 352078199729376290908896328904858767190228840849755961703*c_1001_12\ ^12 - 1678972211391790190626505799805031042094930745084876471895163\ 452/4352078199729376290908896328904858767190228840849755961703*c_10\ 01_12^11 + 38683549150225092496934971305642050113649732021448947601\ 03509246/4352078199729376290908896328904858767190228840849755961703\ *c_1001_12^10 + 524845700456324864626190518581301179846613848616651\ 904250393467/229056747354177699521520859416045198273169938992092419\ 037*c_1001_12^9 + 1328320998638083219378288446928111947197959054707\ 1655488469448671/87041563994587525818177926578097175343804576816995\ 11923406*c_1001_12^8 + 49340061848877383301238287258682015593980672\ 21491343761737206290/4352078199729376290908896328904858767190228840\ 849755961703*c_1001_12^7 + 1183988897779850999686181546148236170572\ 94259550224149409908383/4581134947083553990430417188320903965463398\ 77984184838074*c_1001_12^6 - 26398375543143136826946656691503477771\ 4843973099945719718369228/43520781997293762909088963289048587671902\ 28840849755961703*c_1001_12^5 + 15786692724703605165439868367438936\ 7483151528455801500573964865/87041563994587525818177926578097175343\ 80457681699511923406*c_1001_12^4 - 59886320262026554629604220637026064336235470987462857273228949/8704\ 156399458752581817792657809717534380457681699511923406*c_1001_12^3 + 1212010179313583775249505101475294517437761994710402667043610/25600\ 4599984080958288758607582638751011189931814691527159*c_1001_12^2 + 3843606192664171314580893265835373870729741970456067119879309/87041\ 56399458752581817792657809717534380457681699511923406*c_1001_12 + 630077759840858246813989025164864549418230229614429413200871/870415\ 6399458752581817792657809717534380457681699511923406, c_0011_0 - 1, c_0011_10 + 3821213186479868660786070060693845231140591421280/113977459\ 6367236586712449139230037730942020854191*c_1001_12^15 - 320684962285052258765064470340190261350656346391040/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 + 641930490670327608327514698869948181919820301611056/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 - 4063989743788612116387642701094933920965827040543120/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 - 2903643572884054906637715277798160321039351159433314/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 + 26242461093850428983796045254345991467595050207004844/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 + 26604452172101799406347892824742207174070316365798663/2279549192734\ 473173424898278460075461884041708382*c_1001_12^9 + 15749293564743203822424714224778329854345785193941183/1139774596367\ 236586712449139230037730942020854191*c_1001_12^8 + 10254047485117092788440360964404509546569627257550679/2279549192734\ 473173424898278460075461884041708382*c_1001_12^7 - 456068448658168047337629253837784218064624514370148/113977459636723\ 6586712449139230037730942020854191*c_1001_12^6 + 692831996541661843114959632026303024653486270470498/113977459636723\ 6586712449139230037730942020854191*c_1001_12^5 - 254506046707466372095213268600702309337403322209466/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 + 185632529533150499510619213205905922828006835333297/227954919273447\ 3173424898278460075461884041708382*c_1001_12^3 - 10628456084441743027164134413981983950111106958657/1139774596367236\ 586712449139230037730942020854191*c_1001_12^2 + 6746562036956813408927317073860209400366623308567/22795491927344731\ 73424898278460075461884041708382*c_1001_12 + 865055124340897600479486573266537982485169898741/227954919273447317\ 3424898278460075461884041708382, c_0011_12 - 4201464572075990144602211975787577365140049112992/113977459\ 6367236586712449139230037730942020854191*c_1001_12^15 + 351843621454480027942743319497469499964781041546624/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 - 642383615050736265645517979593800280027067273882320/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 + 4321770930444612397101985715730624319416145024366768/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 + 4033912448561283369909832737909323574252372868505838/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 - 28536161835860289421221336850617477666364705718699100/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 - 39956113438525350569042320806745997889956055482397537/2279549192734\ 473173424898278460075461884041708382*c_1001_12^9 - 18269322063549986563803261811407770444841947439474003/1139774596367\ 236586712449139230037730942020854191*c_1001_12^8 - 15821005972682311010639589268121752778613917016364725/2279549192734\ 473173424898278460075461884041708382*c_1001_12^7 + 351691136758477981909075968254672526343026638825806/113977459636723\ 6586712449139230037730942020854191*c_1001_12^6 - 444450706053506781047838357312379975113883787675172/113977459636723\ 6586712449139230037730942020854191*c_1001_12^5 + 49047098076730980929393699310642101914183273567826/1139774596367236\ 586712449139230037730942020854191*c_1001_12^4 - 92783964906783293072836072251771569971088194000623/2279549192734473\ 173424898278460075461884041708382*c_1001_12^3 - 14704136661791076762018979998947498842124117647089/1139774596367236\ 586712449139230037730942020854191*c_1001_12^2 - 2523114468449873652265855338774629358650476621637/22795491927344731\ 73424898278460075461884041708382*c_1001_12 - 2171745175640370701296873325462861076691884501147/22795491927344731\ 73424898278460075461884041708382, c_0011_2 - 1747250603266071452279481890024058584302396804256/1139774596\ 367236586712449139230037730942020854191*c_1001_12^15 + 147201220754372860499328636078137558895568267461504/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 - 341091347871527992982568566003674144592238684282128/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 + 1945650158699902714581472102228491497907146148830192/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 + 743298529168778046267519611177960269629584476852542/113977459636723\ 6586712449139230037730942020854191*c_1001_12^11 - 12539034443351286774765322668424932474772319555306844/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 - 4417607251016773261338362107929494582693910627897345/22795491927344\ 73173424898278460075461884041708382*c_1001_12^9 - 4532945937163399539774068021053437217198528234077151/11397745963672\ 36586712449139230037730942020854191*c_1001_12^8 + 48050457816520770153173072780513965463215535669717/2279549192734473\ 173424898278460075461884041708382*c_1001_12^7 + 1176911334740375518568067514250986332276311602320571/11397745963672\ 36586712449139230037730942020854191*c_1001_12^6 - 414793128889037683095479882324197619539907084594410/113977459636723\ 6586712449139230037730942020854191*c_1001_12^5 + 153718483985850658286088832320203837963366161507452/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 - 83666911117057459437088093030314431532004093824973/2279549192734473\ 173424898278460075461884041708382*c_1001_12^3 + 12427880622755954533262193128461682982963942293394/1139774596367236\ 586712449139230037730942020854191*c_1001_12^2 - 1768305939573653615215903368728232793144990007843/22795491927344731\ 73424898278460075461884041708382*c_1001_12 - 1099736478301570743122087453668107223192863236343/22795491927344731\ 73424898278460075461884041708382, c_0011_7 + 8451617911256103076142438390427629083594931821376/1139774596\ 367236586712449139230037730942020854191*c_1001_12^15 - 710774149100423239459642260068912214180799800495104/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 + 1545054905306042060575617915431632503420144958681952/11397745963672\ 36586712449139230037730942020854191*c_1001_12^13 - 9222149049768076994240773528178516025791420753223712/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 - 4874461943471838170017424258818952901571112717709756/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 + 59411846057560750606906120612849681570803077416366440/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 + 19228743208694632539696858604355499322119426714442973/1139774596367\ 236586712449139230037730942020854191*c_1001_12^9 + 28090224987334377928138604313015532906972749885891414/1139774596367\ 236586712449139230037730942020854191*c_1001_12^8 + 5073779034853410065172963257381357654525514517672000/11397745963672\ 36586712449139230037730942020854191*c_1001_12^7 - 3351978193635339056585760979331370418284136415958371/11397745963672\ 36586712449139230037730942020854191*c_1001_12^6 + 1610595775061549989550640692511344028816190215538981/11397745963672\ 36586712449139230037730942020854191*c_1001_12^5 - 569738067162082028378066295256344021233410163360278/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 + 144119032315778279111186863800658563461306647717913/113977459636723\ 6586712449139230037730942020854191*c_1001_12^3 - 570257439554948200468090993939429163344000954942/113977459636723658\ 6712449139230037730942020854191*c_1001_12^2 - 2015996090767355944139626662059081190069153455933/11397745963672365\ 86712449139230037730942020854191*c_1001_12 + 2212941155821348457242363982187922130364380951958/11397745963672365\ 86712449139230037730942020854191, c_0101_0 + 5741892644873439834941468877184794604929820440800/1139774596\ 367236586712449139230037730942020854191*c_1001_12^15 - 481194943427828105747316176370262139132726719685792/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 + 907293141403492381115895715622520094325416336771024/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 - 5958504239041469639649210994277883452701857513601792/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 - 5152294782725901291111174602716846072787080666735754/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 + 39350372327177814795931623931211462353692406368062202/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 + 49925343422592986427106425777518729257604156710897319/2279549192734\ 473173424898278460075461884041708382*c_1001_12^9 + 46400098066340922950675745207529678542484042396532777/2279549192734\ 473173424898278460075461884041708382*c_1001_12^8 + 9021556198514588889807341990288612843273982755647602/11397745963672\ 36586712449139230037730942020854191*c_1001_12^7 - 1349594404555273970894972318808825583825284441998587/11397745963672\ 36586712449139230037730942020854191*c_1001_12^6 + 952341541223385218734493023668415704895126940131875/227954919273447\ 3173424898278460075461884041708382*c_1001_12^5 - 133741670599146789175655470395110043585840939650935/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 + 59307998778536404378750787644779881320171614997781/1139774596367236\ 586712449139230037730942020854191*c_1001_12^3 + 62495861963797795045025185091871173677235712515323/2279549192734473\ 173424898278460075461884041708382*c_1001_12^2 - 2871840726942467827421786826351485927297339451987/11397745963672365\ 86712449139230037730942020854191*c_1001_12 + 2328822444460066297992673722208413554908399328240/11397745963672365\ 86712449139230037730942020854191, c_0101_1 + 36024203580094058711857477584023905424487613504/113977459636\ 7236586712449139230037730942020854191*c_1001_12^15 - 1079453467100268595702061986127072137696540019584/11397745963672365\ 86712449139230037730942020854191*c_1001_12^14 - 157453546900660734972614543030768766028902450347552/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 + 320079798398412314403661885869984952044218916469408/113977459636723\ 6586712449139230037730942020854191*c_1001_12^12 - 2163635180547952684456852030167973903848670094872748/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 - 816745638257093396718861856527037910574159424469840/113977459636723\ 6586712449139230037730942020854191*c_1001_12^10 + 13696017701255566432933181673319844088093117064482049/1139774596367\ 236586712449139230037730942020854191*c_1001_12^9 + 4255449507831425522921989581585459650839404235659848/11397745963672\ 36586712449139230037730942020854191*c_1001_12^8 + 7175367998317987189100828470727822223122948459846216/11397745963672\ 36586712449139230037730942020854191*c_1001_12^7 + 1321612557422693415267883059872306735727732799784643/11397745963672\ 36586712449139230037730942020854191*c_1001_12^6 - 454695223872062529920890206306387066995047154348589/113977459636723\ 6586712449139230037730942020854191*c_1001_12^5 + 527735976399549478782741725336889154132394326197571/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 - 198849319436698455790184656762119746873669150586362/113977459636723\ 6586712449139230037730942020854191*c_1001_12^3 + 90291843600111043779770144580763074777848166001150/1139774596367236\ 586712449139230037730942020854191*c_1001_12^2 - 16805620007990027735769422174832060192614307274609/1139774596367236\ 586712449139230037730942020854191*c_1001_12 + 3581676361036742347253583612149890336936637946295/11397745963672365\ 86712449139230037730942020854191, c_0101_11 + 3149038315213436566340966014398840746014939722208/113977459\ 6367236586712449139230037730942020854191*c_1001_12^15 - 266271863874377723105079789976054735881606109861440/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 + 696876835323951625766538272612181968593803490017328/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 - 3705052625151303612286900310966100483054392713392368/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 - 227800295921991160370436831550064883896405116762490/113977459636723\ 6586712449139230037730942020854191*c_1001_12^11 + 22884798717702142044237268278007900262363401968798344/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 - 5872057672534091553917926456525454134161505930505997/22795491927344\ 73173424898278460075461884041708382*c_1001_12^9 + 7680442311077502842888533012305136497754840113610878/11397745963672\ 36586712449139230037730942020854191*c_1001_12^8 - 6252862233451993552875544006660060958474271117898791/22795491927344\ 73173424898278460075461884041708382*c_1001_12^7 - 1998433826847421589072746337492386904277918472749919/11397745963672\ 36586712449139230037730942020854191*c_1001_12^6 + 1895231595228816651080791013278618130687084158795535/22795491927344\ 73173424898278460075461884041708382*c_1001_12^5 - 1094134074036544816904767823275440789487904899683893/22795491927344\ 73173424898278460075461884041708382*c_1001_12^4 + 135117507185697731141981078389241631705347043315027/113977459636723\ 6586712449139230037730942020854191*c_1001_12^3 - 72178641094878896826867261845758088498746729137301/2279549192734473\ 173424898278460075461884041708382*c_1001_12^2 + 1024034960926877550260272971553606326529504449661/22795491927344731\ 73424898278460075461884041708382*c_1001_12 + 46623372863909208575841830105838512836782435538/1139774596367236586\ 712449139230037730942020854191, c_0101_12 + 3073998793045543966407560473147288543750272885632/113977459\ 6367236586712449139230037730942020854191*c_1001_12^15 - 258340920382370821220472945517696708917904260277568/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 + 546775539300760590484582523692334179707674343001152/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 - 3316229393871125168629618506582833397801672533408992/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 - 1979851413747775376280507651325269816234827859392136/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 + 21571043298467051571983692902379377362440429011567980/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 + 8299671893076936147016825271978698095210582874683462/11397745963672\ 36586712449139230037730942020854191*c_1001_12^9 + 10201046621010700798424612381901388621098576697568819/1139774596367\ 236586712449139230037730942020854191*c_1001_12^8 + 2249138944462997824570251830737939779168629123722286/11397745963672\ 36586712449139230037730942020854191*c_1001_12^7 - 1328101116201991300164109847841672390986862599103057/11397745963672\ 36586712449139230037730942020854191*c_1001_12^6 + 518927390803788056378107890676720261389709905137514/113977459636723\ 6586712449139230037730942020854191*c_1001_12^5 - 161558311232412074368542726962441156353391329175771/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 + 60624380945327160934284058013671528565246146902617/1139774596367236\ 586712449139230037730942020854191*c_1001_12^3 - 7599914309593899749294326557778035655007913571354/11397745963672365\ 86712449139230037730942020854191*c_1001_12^2 + 198541414389975758897767961219550596195600770069/113977459636723658\ 6712449139230037730942020854191*c_1001_12 + 684445389435350530180577191280437711216502519642/113977459636723658\ 6712449139230037730942020854191, c_0101_4 - 3975164536482323842376150357249653712136695811552/1139774596\ 367236586712449139230037730942020854191*c_1001_12^15 + 333887462994403027887205289530049235604463519781696/113977459636723\ 6586712449139230037730942020854191*c_1001_12^14 - 691562451823137850522584433960804102566118792139984/113977459636723\ 6586712449139230037730942020854191*c_1001_12^13 + 4279988478869193233944912089703660954895128561975120/11397745963672\ 36586712449139230037730942020854191*c_1001_12^12 + 2710300983997475086040538074326378454341937724446442/11397745963672\ 36586712449139230037730942020854191*c_1001_12^11 - 27454318278034679370633426994964251236949998860531288/1139774596367\ 236586712449139230037730942020854191*c_1001_12^10 - 23708857419928412447454665148545768174088274427646519/2279549192734\ 473173424898278460075461884041708382*c_1001_12^9 - 15810569955285227351344841754964848351204953971655592/1139774596367\ 236586712449139230037730942020854191*c_1001_12^8 - 4352088386736319947420365558594713266630657388712869/11397745963672\ 36586712449139230037730942020854191*c_1001_12^7 + 1448118249209004980361968918015601258054172111099431/22795491927344\ 73173424898278460075461884041708382*c_1001_12^6 - 815896561590364956642285078500085918570740473344947/113977459636723\ 6586712449139230037730942020854191*c_1001_12^5 + 370709170748294838687860373448409206240205115604159/113977459636723\ 6586712449139230037730942020854191*c_1001_12^4 - 135610287580525688973381195857717871802678832505900/113977459636723\ 6586712449139230037730942020854191*c_1001_12^3 + 19321961107072512258495338218533067697704222929521/1139774596367236\ 586712449139230037730942020854191*c_1001_12^2 - 11228683850428381968049562425874634516650383099755/2279549192734473\ 173424898278460075461884041708382*c_1001_12 - 173989052261698171533612637940586195569254959113/113977459636723658\ 6712449139230037730942020854191, c_0101_5 - 225055037682477728201612358466922554245308000096/11397745963\ 67236586712449139230037730942020854191*c_1001_12^15 + 18402475392013439974997633578070833071409165096256/1139774596367236\ 586712449139230037730942020854191*c_1001_12^14 + 3062157753100698177022629332350108683514998833168/11397745963672365\ 86712449139230037730942020854191*c_1001_12^13 + 141556697776292010289389957416112421092638058935344/113977459636723\ 6586712449139230037730942020854191*c_1001_12^12 + 715104214079417160207105424704777359061435501559426/113977459636723\ 6586712449139230037730942020854191*c_1001_12^11 - 1375921133879200171243261635715117555414031229585800/11397745963672\ 36586712449139230037730942020854191*c_1001_12^10 - 8632670105440331690743694275978494121942029435872879/22795491927344\ 73173424898278460075461884041708382*c_1001_12^9 - 1295077391784798278722051137421619905100153774805174/11397745963672\ 36586712449139230037730942020854191*c_1001_12^8 - 2517967841718686457010796840112875255534541883274941/22795491927344\ 73173424898278460075461884041708382*c_1001_12^7 + 268276666120250787865266861245597114344292866836045/113977459636723\ 6586712449139230037730942020854191*c_1001_12^6 + 852902354200018071579792625398340428951604344153337/227954919273447\ 3173424898278460075461884041708382*c_1001_12^5 - 159614475584089057308436566225147276648041765169993/227954919273447\ 3173424898278460075461884041708382*c_1001_12^4 + 31940663876511553014461855820950972174406315482527/1139774596367236\ 586712449139230037730942020854191*c_1001_12^3 - 26404128956884971297231147810939732317033328720089/2279549192734473\ 173424898278460075461884041708382*c_1001_12^2 + 1857191784264428695164668562953173277297853818365/22795491927344731\ 73424898278460075461884041708382*c_1001_12 + 108096824776482202725448021935170939118391854772/113977459636723658\ 6712449139230037730942020854191, c_1001_1 - 1, c_1001_12^16 - 84*c_1001_12^15 + 349/2*c_1001_12^14 - 2151/2*c_1001_12^13 - 10883/16*c_1001_12^12 + 55535/8*c_1001_12^11 + 188621/64*c_1001_12^10 + 120163/32*c_1001_12^9 + 66731/64*c_1001_12^8 - 3859/16*c_1001_12^7 + 13359/64*c_1001_12^6 - 1073/16*c_1001_12^5 + 1615/64*c_1001_12^4 - 79/32*c_1001_12^3 + 27/32*c_1001_12^2 + 1/8*c_1001_12 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.570 seconds, Total memory usage: 32.09MB