Magma V2.19-8 Tue Aug 20 2013 23:39:00 on localhost [Seed = 1831536906] Type ? for help. Type -D to quit. Loading file "K12n487__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n487 geometric_solution 9.28385749 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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.065313056156 1.215670528514 0 3 3 0 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.332641547356 0.974455476074 0 4 5 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.522403760777 0.187247207632 1 1 6 7 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.035956520713 0.582413970636 8 2 9 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.634821879753 0.310630242259 7 10 6 2 3201 0132 3201 0132 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 -1 1 1 0 -1 0 0 0 0 0 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.695625548479 2.226417585214 5 9 10 3 2310 2103 3201 0132 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 -4 0 4 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.157876421101 0.722320969505 7 7 3 5 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275540655348 1.067466107398 4 9 9 10 0132 1230 1302 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.626813125560 0.990339162711 8 6 8 4 2031 2103 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.333190636914 0.884199737412 6 5 4 8 2310 0132 0132 2103 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 1 0 -1 0 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369213806283 0.654250571982 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_9'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_2']), 'c_1001_8' : d['c_0101_4'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_9']), '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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_4']), 'c_1100_8' : d['c_0101_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_2'], 'c_1100_10' : negation(d['c_0101_4']), 'c_1010_7' : d['c_0011_7'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0101_6'], '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' : negation(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_9'], 'c_0011_8' : d['c_0011_2'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_2']), '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_10' : negation(d['c_0101_6']), 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0011_7'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_7'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_7, c_0011_9, c_0101_0, c_0101_3, c_0101_4, c_0101_6, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 7185989378482860601951785051618659100468378758014746706938346971512\ 3/10978106609124667112958874882570276138169692357242075477343843699\ 1604340*c_1001_10^14 - 18087083975735697135681649753094681615104357\ 5217272485609887291267633/23865449150271015462954075831674513343847\ 15729835233799422574717208790*c_1001_10^13 + 2030594019880636869314736856186780375769488830471179542964250291122\ 2073/27445266522811667782397187206425690345424230893105188693359609\ 247901085*c_1001_10^12 - 742445657689446611518807858654196290707544\ 35770184659076743213881646494/2744526652281166778239718720642569034\ 5424230893105188693359609247901085*c_1001_10^11 - 6727836403476609674781168517570420038673885712828280984834473333241\ 371/548905330456233355647943744128513806908484617862103773867192184\ 9580217*c_1001_10^10 + 49605200006117456396600461805367442381170624\ 4680537001743419418242364497/21956213218249334225917749765140552276\ 339384714484150954687687398320868*c_1001_10^9 - 4099871628998390614940101453193642614851498381362385585777084367526\ 44213/1097810660912466711295887488257027613816969235724207547734384\ 3699160434*c_1001_10^8 + 153466950505033294085292893090497717814107\ 592620044098595539309371175383/548905330456233355647943744128513806\ 90848461786210377386719218495802170*c_1001_10^7 + 2949358388209524288118721217545031214746532223707694492911408112552\ 596491/109781066091246671129588748825702761381696923572420754773438\ 436991604340*c_1001_10^6 - 7330809791998859426581962264642080447790\ 963906501241228392676373343516113/109781066091246671129588748825702\ 761381696923572420754773438436991604340*c_1001_10^5 + 7011523322069527584168927709067263180704047227558346691654178248824\ 479569/548905330456233355647943744128513806908484617862103773867192\ 18495802170*c_1001_10^4 - 26160429403136501871848542016631685153959\ 28893777874809454061969830289506/2744526652281166778239718720642569\ 0345424230893105188693359609247901085*c_1001_10^3 + 1413096339152155005567366432242774676151211181928670736167194927310\ 712183/109781066091246671129588748825702761381696923572420754773438\ 436991604340*c_1001_10^2 - 1590649780704392924717295431988867213510\ 95404154985226879141096114003648/5178352174115409015546639095552017\ 04630645865907645069686030363167945*c_1001_10 - 2028927943161795359468820932066555021275890509943232675803472424331\ 3476833/10978106609124667112958874882570276138169692357242075477343\ 8436991604340, c_0011_0 - 1, c_0011_10 + 859313549471717589127355860334428750725760574274543/5705839\ 48028826377308691760706278912338390239638622025068*c_1001_10^14 - 49711165443584742775537567021057727174992215845233679/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^13 + 481498223179735690554610297854451321309601302449956377/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^12 - 1729209959573826146189537961311821246565592840754401619/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^11 - 439408210713602014756790869332888917635534874416566570/142645987007\ 206594327172940176569728084597559909655506267*c_1001_10^10 + 27949720676570562667768415370068673615871717273718765599/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^9 - 10490902567034594383678073590101951097532303946134896187/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^8 + 7298648811251732464413024783249658084449782836150101903/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^7 + 11486888113356716854419409565941966950223048640147974483/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^6 - 97448271954715420411742473967877967265293399898756557937/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^5 + 24300169077136443192118069048134225607875014545765793785/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^4 + 11567858541512034740910583820088514031712935170034275291/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^3 + 314837297441029600779099334838727994765766235531859621077/570583948\ 028826377308691760706278912338390239638622025068*c_1001_10^2 - 103544547441748486313387936183632005369066883106541633335/142645987\ 007206594327172940176569728084597559909655506267*c_1001_10 - 68390860120129902658555809386071056309144883554731761099/5705839480\ 28826377308691760706278912338390239638622025068, c_0011_2 - 136012181917640398990311726017920467880956047665507/28529197\ 4014413188654345880353139456169195119819311012534*c_1001_10^14 + 15766810169262935541656205251242654506819636864824267/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^13 - 155847810691755383369748389529722765786454807129066103/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^12 + 572048059537104955439397300926053974209781273185671983/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^11 + 313869876032317342780864870729305687152279047448854745/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^10 - 2571993395641993981924930965551021706544683574438581068/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^9 + 3535520607440299922786920683015199315814889534945743683/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 + 3941522026063565878977021900529739814161231880093292538/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^7 - 4008037684034460481109308266266332554549377629696719793/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^6 - 11218729254822771794890093260412141387157412708206554757/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^5 + 6653921125669780234681111497645027896031765929380687794/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^4 + 20165828577784602234198504071258730103197419943231564929/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^3 - 28103318639479478727394350551039394861102456537060566923/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^2 + 88650546724329570097404457618237218545966211605021690671/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10 + 65216562097369340563365372243751267964800783580152187791/1426459870\ 07206594327172940176569728084597559909655506267, c_0011_7 - 278858703239636074081061160857755522397205385776625/14264598\ 7007206594327172940176569728084597559909655506267*c_1001_10^14 + 64168891122546417795388451824110615795422719138760007/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^13 - 583509255993753536735748926123744963562869822261977515/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^12 + 1843474373897205103279560840249498407307406959775949073/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^11 + 2684233348326921594439259859824527411518734491165938277/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^10 - 18066337367510861689791551046233821393345310117941219309/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^9 + 8162908063275903622798015374288668897968901886245614289/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 + 8681445818045093049729567052497982411547453516257406095/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^7 - 6489804690694786600151901007950397341095689370583572991/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^6 + 21774704231297367324287020609928529114442055055339596063/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^5 - 38517861620087369319559255360965450659633648994585308162/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^4 + 33068868427542877514250969495133984743141707117025728925/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^3 - 9664360488140314876985538572637092601005056633964692244/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^2 + 271030655072469886302954723792864825009426072505235125557/285291974\ 014413188654345880353139456169195119819311012534*c_1001_10 + 206197344912682776176852390536892667623199256138683206699/285291974\ 014413188654345880353139456169195119819311012534, c_0011_9 - 831861832745034962220804459978129006149191867731621/57058394\ 8028826377308691760706278912338390239638622025068*c_1001_10^14 + 48044315947392156415973347902924501836810902877829635/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^13 - 456218978089725889782108547161777446389540669629392571/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^12 + 1495178736562838328224922978949190793778450411175265999/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^11 + 1015211001284189194632455658438210738475617664488838702/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^10 - 32592448994424715298307517382369608302436379096441548649/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^9 + 7592922051226167795960458572247687255409213162304890382/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 + 21665180555363560883623665532070812623923970559179277373/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^7 - 60085814738664018872040457055092848456519814686398086569/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^6 + 102357359007614916261040481483882896983842955864972520479/570583948\ 028826377308691760706278912338390239638622025068*c_1001_10^5 - 49526935052775694140099807363601296943985890863190984257/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^4 - 69337350036272368924021108352095439034267667162334460067/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^3 + 199808639594178008000704392528637038276039234247901642397/570583948\ 028826377308691760706278912338390239638622025068*c_1001_10^2 + 138302902388363510945172640385995752733362639562251666854/142645987\ 007206594327172940176569728084597559909655506267*c_1001_10 + 431033140601259753486991654108893988494703773187150293213/570583948\ 028826377308691760706278912338390239638622025068, c_0101_0 - 43732852762912365514327145301694534166960434148874/142645987\ 007206594327172940176569728084597559909655506267*c_1001_10^14 + 9619384017729438755468570783941121112647191043673467/28529197401441\ 3188654345880353139456169195119819311012534*c_1001_10^13 - 40072433811149265329907533870124363094132231932357099/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^12 - 214231465063874199414717722488251991041819374861821463/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^11 + 2171030927910903609548951279328136628364316570057433955/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^10 - 1268786362075687433699467064707902491075081793094999223/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^9 - 7230384812113954555555685697535407442882072872661765541/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 + 9951602348951219759305944643993002491965006585892392081/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^7 + 8857880788840654345177447670344321109589556673848525924/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^6 - 8436261514255410636403601145973768584377249352338108791/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^5 - 16281148065631867736980501923243680626412412161726054014/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^4 - 16668330355551011777494717445705668640296265658112303433/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^3 - 8671431924783348482844189556415480772462700077302491318/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^2 - 22696833852801988395729801486860686851557844098104249415/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10 + 237614929728371431946969015285797850146788575631745183431/285291974\ 014413188654345880353139456169195119819311012534, c_0101_3 - 818233836616650804816252349149260630264255649642111/57058394\ 8028826377308691760706278912338390239638622025068*c_1001_10^14 + 23401948581558361068742099945792936432233320108654580/1426459870072\ 06594327172940176569728084597559909655506267*c_1001_10^13 - 198820726999279171941226723391506556487265369837600877/142645987007\ 206594327172940176569728084597559909655506267*c_1001_10^12 + 557895814303118564073339502027368157078830023894537897/142645987007\ 206594327172940176569728084597559909655506267*c_1001_10^11 + 2616338185660811192800548520394177379180006325688442773/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^10 - 23729155982689339094777518534326988184540787835647495313/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^9 + 3651697154258815302130478647967254564981640452359992130/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 + 20839670691497811910000837969043301162257528265691809441/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^7 - 16235594763734541130087590564578262747568429789250202855/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^6 + 13642819800622401352080412288307484246733376749620742703/5705839480\ 28826377308691760706278912338390239638622025068*c_1001_10^5 - 24500227952386626207304185948492167568703027630822794607/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^4 + 91215853521821520048526228358064241901301005759257779661/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^3 + 142356895358346893515976191575822494852164655686730672699/570583948\ 028826377308691760706278912338390239638622025068*c_1001_10^2 + 205662807248992344628024122488732790387305892963585230245/285291974\ 014413188654345880353139456169195119819311012534*c_1001_10 + 476600013858817743177506595439389869796270917753511255913/570583948\ 028826377308691760706278912338390239638622025068, c_0101_4 - 271031635219437821065653034317916220187780464525737/28529197\ 4014413188654345880353139456169195119819311012534*c_1001_10^14 + 15499546694174965703168146508973278237405365129817041/1426459870072\ 06594327172940176569728084597559909655506267*c_1001_10^13 - 131059878407292710629881902087959529084478423750541847/142645987007\ 206594327172940176569728084597559909655506267*c_1001_10^12 + 340150317611948407480604265594781503495408816101695885/142645987007\ 206594327172940176569728084597559909655506267*c_1001_10^11 + 1115989239070816903422292515554838914629516551531010951/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^10 - 9441995142771856254241689399252601713737936531862670797/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^9 + 1624178637686491451171101356478440321253073934002089353/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 + 13879024741881414848605419910537788774240717710667233384/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^7 - 26256608306630006941976937534377674863971954539155721001/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^6 + 8907056142656640672670204500424448993010820009697186281/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^5 - 5489265448387651897446184235469579319724209479766215212/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^4 - 10757416857391555134082550275787191953176135168644308271/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^3 + 175110257739949270146315420748141702758593296590519263491/285291974\ 014413188654345880353139456169195119819311012534*c_1001_10^2 + 89500560514417425922560999467394380500229410839422970334/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10 + 210113844173729541199645302572662881598374106636724071001/285291974\ 014413188654345880353139456169195119819311012534, c_0101_6 + 77592353645123251906890573904163177705957948125864/142645987\ 007206594327172940176569728084597559909655506267*c_1001_10^14 - 17666856286259433215313232580180092988053206752427667/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^13 + 140193303178534350515858073534708272980255340205887569/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^12 - 256396099622738862511995553215545102271347386358654219/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^11 - 1857589736175403886216828710151883090690225169268381241/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^10 + 5430523646139119708388591476487385594697847446861225845/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^9 + 2470368016087119311072130511805549792630558081820241531/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^8 - 11782363986284721196412245906846513110734495672928090246/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^7 + 3783062315883381048310299993060595865384862614403987254/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^6 + 12537132806573226612953686509925260367083387698230543873/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^5 - 3925553534131875261587338035365617512594397895226397490/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^4 + 20589406574392052387443500730727028941103374854072938601/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^3 - 34942132023691607116406655276395917652112689143244798924/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^2 + 81809294888669398906947343266739414858082598454515786593/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10 + 2460326931348554664193836113747876603114333094782801745/28529197401\ 4413188654345880353139456169195119819311012534, c_1001_0 - 838773693044184196971804104741844690495008111958327/28529197\ 4014413188654345880353139456169195119819311012534*c_1001_10^14 + 96515062606701464913021766912643600039458856062542839/2852919740144\ 13188654345880353139456169195119819311012534*c_1001_10^13 - 879139677178294034437063744637464434284132042125158131/285291974014\ 413188654345880353139456169195119819311012534*c_1001_10^12 + 2845001588180063274336216965366557560723252888543477413/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^11 + 3495154607088015222314130259059955214451076074521575913/28529197401\ 4413188654345880353139456169195119819311012534*c_1001_10^10 - 12919719164814975440636483476098915450103126277341565228/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^9 + 14142599721293409685808552238069205662513944398494888317/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^8 + 6770510940123039722793906592896821538903872714770853769/14264598700\ 7206594327172940176569728084597559909655506267*c_1001_10^7 - 13861241438545628992253500065260114848895739214699088669/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^6 + 27772772938834455440955721564046362878006694162094325160/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^5 - 48800397029523069399422254996626393176578042176588588392/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^4 + 39823997490154742653807822268987863934794035294611752185/1426459870\ 07206594327172940176569728084597559909655506267*c_1001_10^3 - 86240201041341353631561571631452749956800789922564474189/2852919740\ 14413188654345880353139456169195119819311012534*c_1001_10^2 + 412751902132489317254799994855996801125439659176668496915/285291974\ 014413188654345880353139456169195119819311012534*c_1001_10 + 136247718494736911459015601206365231526353950327060754253/142645987\ 007206594327172940176569728084597559909655506267, c_1001_10^15 - 115*c_1001_10^14 + 1040*c_1001_10^13 - 3272*c_1001_10^12 - 4870*c_1001_10^11 + 32129*c_1001_10^10 - 30029*c_1001_10^9 - 33334*c_1001_10^8 + 29355*c_1001_10^7 - 62596*c_1001_10^6 + 124211*c_1001_10^5 - 23870*c_1001_10^4 - 36227*c_1001_10^3 - 510927*c_1001_10^2 - 622145*c_1001_10 - 321103 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.570 Total time: 0.770 seconds, Total memory usage: 32.09MB