Magma V2.19-8 Tue Aug 20 2013 23:55:32 on localhost [Seed = 3313741185] Type ? for help. Type -D to quit. Loading file "L14a8311__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a8311 geometric_solution 9.47011405 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 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.783718015758 0.421745165396 0 4 4 5 0132 0132 1302 0132 1 0 0 0 0 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 -1 0 1 1 0 -1 0 0 0 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409560869149 0.663755813178 0 0 6 6 3012 0132 2103 0132 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 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.962764241578 1.877369332098 7 7 6 0 0132 2310 2310 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 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.568364485082 0.359185021625 1 1 8 9 2031 0132 0132 0132 1 1 0 0 0 -1 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 0 0 0 0 1 0 -1 0 0 0 0 -3 2 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326725518268 1.091143917247 10 11 1 10 0132 0132 0132 3201 1 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 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.949142948775 0.594646650775 2 3 2 11 2103 3201 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -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.783718015758 0.421745165396 3 10 10 3 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.786825106263 0.383730907564 11 9 9 4 0321 2031 1230 0132 1 1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560078275898 0.407239572328 8 11 4 8 1302 1302 0132 3012 1 1 1 0 0 1 -1 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 2 0 0 -2 2 -2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.261365117244 0.744181564256 5 5 7 7 0132 2310 2310 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 0 0 0 0 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.827153829075 0.654402825572 8 5 6 9 0321 0132 0132 2031 1 1 0 1 0 1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 2 -2 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.409560869149 0.663755813178 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : negation(d['c_0110_9']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : 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_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_0110_9'], 'c_1100_8' : d['c_0110_9'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_9'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0011_9'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0011_8']), 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_11']})} 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_3, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_3, c_0110_9, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 456096437348842499034899684178811540895817686683378628/153054472331\ 3172713594570779417677849500995285113*c_1001_10^16 - 125174973768563255323026333194499571936061860320119938364/157646106\ 501256789500240790280020818498602514366639*c_1001_10^15 - 61940237964659943694752123703443653197027459983338121320/1576461065\ 01256789500240790280020818498602514366639*c_1001_10^14 - 22061546102255526909239531592962289529761858173541489463/3152922130\ 02513579000481580560041636997205028733278*c_1001_10^13 + 225180775647334461289222091338004773647130737412542878177/157646106\ 501256789500240790280020818498602514366639*c_1001_10^12 + 357875696203077398991120486455200901618322301341363851105/315292213\ 002513579000481580560041636997205028733278*c_1001_10^11 + 237437330466199744369126194252154013701233789801433307624/157646106\ 501256789500240790280020818498602514366639*c_1001_10^10 + 6135625294626308698053025470775242724643980668496325621/15764610650\ 1256789500240790280020818498602514366639*c_1001_10^9 - 8763975943495314753112000927150065148531357113967927504/52548702167\ 085596500080263426673606166200838122213*c_1001_10^8 - 163442415175961003693916025413463912638456943151818001036/157646106\ 501256789500240790280020818498602514366639*c_1001_10^7 - 2737966047428730676276840230209267084950705510653543271/38924964568\ 21155296302241735309156012311173194238*c_1001_10^6 - 210519661972777030848456085184015417942255596965201944573/315292213\ 002513579000481580560041636997205028733278*c_1001_10^5 - 13529891953558251142542625385297478468104853943081690822/5254870216\ 7085596500080263426673606166200838122213*c_1001_10^4 - 7586770979844352622854816004365528927910723702590355003/52548702167\ 085596500080263426673606166200838122213*c_1001_10^3 - 3669372432381529080864509980173281766813603326472421168/15764610650\ 1256789500240790280020818498602514366639*c_1001_10^2 - 345618778344938736084387607236341475496417515155724517/350324681113\ 90397666720175617782404110800558748142*c_1001_10 + 210962061769618830562684872576127090404038038656803812/157646106501\ 256789500240790280020818498602514366639, c_0011_0 - 1, c_0011_10 - 256362147276948000951927505451555398474715245/3953636278966\ 34667454676786289452959690361*c_1001_10^16 - 605218208393085445743981504000709904332018099/395363627896634667454\ 676786289452959690361*c_1001_10^15 - 134452815864006611283632190431646544312825653/395363627896634667454\ 676786289452959690361*c_1001_10^14 - 6945825419818864434918636107387502972076635/39536362789663466745467\ 6786289452959690361*c_1001_10^13 + 1189370962420403544296400957768726677413294746/39536362789663466745\ 4676786289452959690361*c_1001_10^12 + 658319439526425346138801617807911366070070068/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 994497226313351842730485349825196857720849084/395363627896634667454\ 676786289452959690361*c_1001_10^10 - 170149313588959911533820816918789690150959774/395363627896634667454\ 676786289452959690361*c_1001_10^9 - 197110587827140280710732675564862723178507808/395363627896634667454\ 676786289452959690361*c_1001_10^8 - 728342593640408182891762752293810643111934206/395363627896634667454\ 676786289452959690361*c_1001_10^7 - 454238474379995291851043589607379705515390233/395363627896634667454\ 676786289452959690361*c_1001_10^6 - 377172881189299718746823417614624177521755769/395363627896634667454\ 676786289452959690361*c_1001_10^5 - 140129218149920929777417892646902565253094864/395363627896634667454\ 676786289452959690361*c_1001_10^4 - 60612241645169153446970505107605471991760920/3953636278966346674546\ 76786289452959690361*c_1001_10^3 - 9683158775843937427062071767835543795619887/39536362789663466745467\ 6786289452959690361*c_1001_10^2 - 134074652957576892802718559165620\ 8911999141/395363627896634667454676786289452959690361*c_1001_10 + 600675905809834778397977273862521969725265/395363627896634667454676\ 786289452959690361, c_0011_3 - 31932208634576055730214415772248594001943283/395363627896634\ 667454676786289452959690361*c_1001_10^16 - 81614459430078883817845731063889338186581465/3953636278966346674546\ 76786289452959690361*c_1001_10^15 - 38407882959995883664250842451196798900860317/3953636278966346674546\ 76786289452959690361*c_1001_10^14 - 16988795222293353297469626641390948760986620/3953636278966346674546\ 76786289452959690361*c_1001_10^13 + 148303366823628174210589522672917272388769474/395363627896634667454\ 676786289452959690361*c_1001_10^12 + 102703445170004749286095186852575018142655922/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 169114561207262615409127111924578407781974882/395363627896634667454\ 676786289452959690361*c_1001_10^10 - 2168644719901777675025336695830072547208041/39536362789663466745467\ 6786289452959690361*c_1001_10^9 + 352818010675126135777145666633937\ 2057206483/395363627896634667454676786289452959690361*c_1001_10^8 - 111967286244940957910037945361718903411571377/395363627896634667454\ 676786289452959690361*c_1001_10^7 - 59115195479924282949725911257612232101363749/3953636278966346674546\ 76786289452959690361*c_1001_10^6 - 76598638127555214704990527654873760711999713/3953636278966346674546\ 76786289452959690361*c_1001_10^5 - 20963665933764949615824622527678421112378845/3953636278966346674546\ 76786289452959690361*c_1001_10^4 - 20193393381125497565038998101395200625205097/3953636278966346674546\ 76786289452959690361*c_1001_10^3 - 265808883862829393244812803175100118375899/395363627896634667454676\ 786289452959690361*c_1001_10^2 - 2314636469214742292709850112398101\ 702957709/395363627896634667454676786289452959690361*c_1001_10 + 675973502789950245222863661665481516375545/395363627896634667454676\ 786289452959690361, c_0011_6 - 38586445708264051534169915662325788985396248/395363627896634\ 667454676786289452959690361*c_1001_10^16 - 100857389959537785118835438710305784050918223/395363627896634667454\ 676786289452959690361*c_1001_10^15 - 51394907305698127312473812583444641835889920/3953636278966346674546\ 76786289452959690361*c_1001_10^14 - 23016043322474976162985478242753117658877594/3953636278966346674546\ 76786289452959690361*c_1001_10^13 + 174864831983761766748264532153499552876830240/395363627896634667454\ 676786289452959690361*c_1001_10^12 + 132107548211217834057091946937555444844093231/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 203838943278485219036138915864956640561700227/395363627896634667454\ 676786289452959690361*c_1001_10^10 + 11313738178006545989606138628146174268235054/3953636278966346674546\ 76786289452959690361*c_1001_10^9 - 31966446278491215231562370289371061675186/3953636278966346674546767\ 86289452959690361*c_1001_10^8 - 12499376554180783373550395715392846\ 9102119365/395363627896634667454676786289452959690361*c_1001_10^7 - 80102497715300352864664719510743244993756435/3953636278966346674546\ 76786289452959690361*c_1001_10^6 - 86321776902919087373360497892223962819050983/3953636278966346674546\ 76786289452959690361*c_1001_10^5 - 32467882265888572006706689044293765631965647/3953636278966346674546\ 76786289452959690361*c_1001_10^4 - 20546602903102208073555460164771239197153335/3953636278966346674546\ 76786289452959690361*c_1001_10^3 - 3408381980307985533789678091242629590366013/39536362789663466745467\ 6786289452959690361*c_1001_10^2 - 202998197637125693912432925008003\ 2453560477/395363627896634667454676786289452959690361*c_1001_10 - 63059316065895796403307298085366410205834/3953636278966346674546767\ 86289452959690361, c_0011_8 - 152778467528254622623083189248169719265842707/39536362789663\ 4667454676786289452959690361*c_1001_10^16 - 485485833849116498908961393097931336540868483/395363627896634667454\ 676786289452959690361*c_1001_10^15 - 307875672098960793748470495289514732043351614/395363627896634667454\ 676786289452959690361*c_1001_10^14 + 62447662460316970662094492103405710301516371/3953636278966346674546\ 76786289452959690361*c_1001_10^13 + 674328712673113020102135398510407151583391332/395363627896634667454\ 676786289452959690361*c_1001_10^12 + 955397330609571191583002627390133913599421546/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 606540684823483320707226341987381155966589400/395363627896634667454\ 676786289452959690361*c_1001_10^10 + 305317618780319585354840444408553265764956768/395363627896634667454\ 676786289452959690361*c_1001_10^9 - 382114932048617756575117329490145779443022301/395363627896634667454\ 676786289452959690361*c_1001_10^8 - 418345628669619830813762984004798102263913663/395363627896634667454\ 676786289452959690361*c_1001_10^7 - 565732819903839720230707433225431828809148027/395363627896634667454\ 676786289452959690361*c_1001_10^6 - 282783672496547109577825016870260852102799342/395363627896634667454\ 676786289452959690361*c_1001_10^5 - 190038880079278221536856749888588398689350523/395363627896634667454\ 676786289452959690361*c_1001_10^4 - 45041405945142854389529692880711694573647960/3953636278966346674546\ 76786289452959690361*c_1001_10^3 - 19083693704740635240416284654765534409439354/3953636278966346674546\ 76786289452959690361*c_1001_10^2 + 161787974231544659747721116522677068570553/395363627896634667454676\ 786289452959690361*c_1001_10 + 384915218185246124768961219270839654\ 564462/395363627896634667454676786289452959690361, c_0011_9 - 108522360078832505457564170299450088672473950/39536362789663\ 4667454676786289452959690361*c_1001_10^16 - 71173425927319765358572641895388395626735306/3953636278966346674546\ 76786289452959690361*c_1001_10^15 + 342936875659203736664564315323878030338048798/395363627896634667454\ 676786289452959690361*c_1001_10^14 - 22477666343919069642407725740152009358703471/3953636278966346674546\ 76786289452959690361*c_1001_10^13 + 443444479451323902768974007419083190670090783/395363627896634667454\ 676786289452959690361*c_1001_10^12 - 552339289250249456546981378871817851362120789/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 86255176927393601333823981362091587300335393/3953636278966346674546\ 76786289452959690361*c_1001_10^10 - 591008520145851938474390898442581312236307880/395363627896634667454\ 676786289452959690361*c_1001_10^9 + 148165643922319977015334831828618815087367989/395363627896634667454\ 676786289452959690361*c_1001_10^8 - 116255179214453769944942266555478826660297200/395363627896634667454\ 676786289452959690361*c_1001_10^7 + 258879145721686297750926376354304307735526054/395363627896634667454\ 676786289452959690361*c_1001_10^6 + 90870396201165111665363537062180120715645734/3953636278966346674546\ 76786289452959690361*c_1001_10^5 + 118806661389228412564141380375273213053985865/395363627896634667454\ 676786289452959690361*c_1001_10^4 + 31468227952394770229264405419542840226493966/3953636278966346674546\ 76786289452959690361*c_1001_10^3 + 13902772173390839347215732647340999777355094/3953636278966346674546\ 76786289452959690361*c_1001_10^2 + 2210295373609123793064323870641714660137160/39536362789663466745467\ 6786289452959690361*c_1001_10 - 62248238282457536870685036779165221\ 7558843/395363627896634667454676786289452959690361, c_0101_0 - 33795245285128648926493546583531222247739254/395363627896634\ 667454676786289452959690361*c_1001_10^16 - 87649917089313297529631656116614401018545460/3953636278966346674546\ 76786289452959690361*c_1001_10^15 - 42740484373516758698405561307605791690944789/3953636278966346674546\ 76786289452959690361*c_1001_10^14 - 17315868113656040725590162215665543828761045/3953636278966346674546\ 76786289452959690361*c_1001_10^13 + 156487695320640960070521776135595869427626535/395363627896634667454\ 676786289452959690361*c_1001_10^12 + 115946612376025452541591454133369590342031079/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 177698959061592022109570409596613819454730412/395363627896634667454\ 676786289452959690361*c_1001_10^10 + 5453178402808415502433423648543428395421251/39536362789663466745467\ 6786289452959690361*c_1001_10^9 - 327552877959015918397286816693015\ 5004414605/395363627896634667454676786289452959690361*c_1001_10^8 - 113942382459225574755258891975850786688572103/395363627896634667454\ 676786289452959690361*c_1001_10^7 - 71544521735103047283960066556271471694777202/3953636278966346674546\ 76786289452959690361*c_1001_10^6 - 77601066404353996770526608713869992829330877/3953636278966346674546\ 76786289452959690361*c_1001_10^5 - 27948545406759691877253254545324886898698722/3953636278966346674546\ 76786289452959690361*c_1001_10^4 - 18835090682426848672733856626067503748003489/3953636278966346674546\ 76786289452959690361*c_1001_10^3 - 2081033236140994547911173847280379975564942/39536362789663466745467\ 6786289452959690361*c_1001_10^2 - 235945916667445467257695924377977\ 3981684615/395363627896634667454676786289452959690361*c_1001_10 + 303634577872198213087523515986933094848873/395363627896634667454676\ 786289452959690361, c_0101_10 - 98454718408697126324473932242204200955106554/39536362789663\ 4667454676786289452959690361*c_1001_10^16 - 218574104281173687702416245281538361133732366/395363627896634667454\ 676786289452959690361*c_1001_10^15 - 48605283777025890056902298260312912471052496/3953636278966346674546\ 76786289452959690361*c_1001_10^14 - 44083846104141164030888592313322095373531033/3953636278966346674546\ 76786289452959690361*c_1001_10^13 + 475700071525021285334810806383240003609874859/395363627896634667454\ 676786289452959690361*c_1001_10^12 + 166428461402564939742123736593275119775493504/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 487790801673103162062127694769558081766593304/395363627896634667454\ 676786289452959690361*c_1001_10^10 - 150238942344819973858401184853266218006726259/395363627896634667454\ 676786289452959690361*c_1001_10^9 + 60109888774245963874481835470682803399412946/3953636278966346674546\ 76786289452959690361*c_1001_10^8 - 360722430370245084212972119491526025308645344/395363627896634667454\ 676786289452959690361*c_1001_10^7 - 95179491133835784912144494349852292908910869/3953636278966346674546\ 76786289452959690361*c_1001_10^6 - 203851455904647573711291430804619414541622014/395363627896634667454\ 676786289452959690361*c_1001_10^5 - 28548840026878164145735101813983182088699411/3953636278966346674546\ 76786289452959690361*c_1001_10^4 - 46541321751128046090484818076751961925966862/3953636278966346674546\ 76786289452959690361*c_1001_10^3 + 2051761757982355623140168361134268343498749/39536362789663466745467\ 6786289452959690361*c_1001_10^2 - 413535276540498801496282640556110\ 5788550730/395363627896634667454676786289452959690361*c_1001_10 + 836311954926953699529544496313685660776740/395363627896634667454676\ 786289452959690361, c_0101_11 + 38586445708264051534169915662325788985396248/39536362789663\ 4667454676786289452959690361*c_1001_10^16 + 100857389959537785118835438710305784050918223/395363627896634667454\ 676786289452959690361*c_1001_10^15 + 51394907305698127312473812583444641835889920/3953636278966346674546\ 76786289452959690361*c_1001_10^14 + 23016043322474976162985478242753117658877594/3953636278966346674546\ 76786289452959690361*c_1001_10^13 - 174864831983761766748264532153499552876830240/395363627896634667454\ 676786289452959690361*c_1001_10^12 - 132107548211217834057091946937555444844093231/395363627896634667454\ 676786289452959690361*c_1001_10^11 - 203838943278485219036138915864956640561700227/395363627896634667454\ 676786289452959690361*c_1001_10^10 - 11313738178006545989606138628146174268235054/3953636278966346674546\ 76786289452959690361*c_1001_10^9 + 31966446278491215231562370289371061675186/3953636278966346674546767\ 86289452959690361*c_1001_10^8 + 12499376554180783373550395715392846\ 9102119365/395363627896634667454676786289452959690361*c_1001_10^7 + 80102497715300352864664719510743244993756435/3953636278966346674546\ 76786289452959690361*c_1001_10^6 + 86321776902919087373360497892223962819050983/3953636278966346674546\ 76786289452959690361*c_1001_10^5 + 32467882265888572006706689044293765631965647/3953636278966346674546\ 76786289452959690361*c_1001_10^4 + 20546602903102208073555460164771239197153335/3953636278966346674546\ 76786289452959690361*c_1001_10^3 + 3408381980307985533789678091242629590366013/39536362789663466745467\ 6786289452959690361*c_1001_10^2 + 163461834847462227166965246379057\ 9493870116/395363627896634667454676786289452959690361*c_1001_10 - 332304311830738871051369488204086549484527/395363627896634667454676\ 786289452959690361, c_0101_3 + 1, c_0110_9 - 146490165577036687961190993745986796006456531/39536362789663\ 4667454676786289452959690361*c_1001_10^16 - 406840170596641398393110003755035562432500303/395363627896634667454\ 676786289452959690361*c_1001_10^15 - 106211321302516717733271848628464973967415987/395363627896634667454\ 676786289452959690361*c_1001_10^14 + 162374213651164708222413538810894467554745084/395363627896634667454\ 676786289452959690361*c_1001_10^13 + 538956485287265653011011221558399542725586834/395363627896634667454\ 676786289452959690361*c_1001_10^12 + 590918115611982600110790945229530646811590466/395363627896634667454\ 676786289452959690361*c_1001_10^11 + 228116685652850416553584209542184981958099162/395363627896634667454\ 676786289452959690361*c_1001_10^10 + 100104351913573222963343493351945768713340059/395363627896634667454\ 676786289452959690361*c_1001_10^9 - 362577432369038232485050335059861924954201528/395363627896634667454\ 676786289452959690361*c_1001_10^8 - 210970364504858913143839310926419616616909672/395363627896634667454\ 676786289452959690361*c_1001_10^7 - 317872315216272952301802086219270365524289392/395363627896634667454\ 676786289452959690361*c_1001_10^6 - 72932739031824355197144938627201093306439681/3953636278966346674546\ 76786289452959690361*c_1001_10^5 - 77517363207022145348587108852753715094819671/3953636278966346674546\ 76786289452959690361*c_1001_10^4 + 7135208380209838325135965993742738477795093/39536362789663466745467\ 6786289452959690361*c_1001_10^3 - 684416474754041558080432055291600\ 7562972973/395363627896634667454676786289452959690361*c_1001_10^2 + 3691943381878611598988143180057615946842512/39536362789663466745467\ 6786289452959690361*c_1001_10 - 37816315332725039741731768391398400\ 5034184/395363627896634667454676786289452959690361, c_1001_10^17 + 26011/10609*c_1001_10^16 + 9271/10609*c_1001_10^15 + 2719/10609*c_1001_10^14 - 50914/10609*c_1001_10^13 - 30629/10609*c_1001_10^12 - 50710/10609*c_1001_10^11 + 6494/10609*c_1001_10^10 + 2868/10609*c_1001_10^9 + 36787/10609*c_1001_10^8 + 18990/10609*c_1001_10^7 + 21674/10609*c_1001_10^6 + 6036/10609*c_1001_10^5 + 4494/10609*c_1001_10^4 + 116/10609*c_1001_10^3 + 324/10609*c_1001_10^2 - 116/10609*c_1001_10 + 9/10609 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB