Magma V2.19-8 Wed Aug 21 2013 00:20:38 on localhost [Seed = 1157846882] Type ? for help. Type -D to quit. Loading file "K14n10217__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n10217 geometric_solution 12.09411342 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -7 7 0 -6 0 6 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702142815672 0.774044599434 0 5 7 6 0132 0132 0132 0132 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610230862776 1.200425364908 4 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 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 -7 0 7 0 -6 6 0 0 1 6 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521552813719 0.603684152476 10 9 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -7 0 0 7 6 0 0 -6 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998869451366 0.788750475581 2 11 0 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -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 -1 1 7 0 -7 0 -1 1 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144537364895 0.868773652247 11 1 10 4 0132 0132 0132 1023 0 0 0 0 0 1 -1 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 -6 6 0 -6 0 7 -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.340158578794 1.185225058168 12 8 1 12 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.528006008037 1.148989074791 8 9 10 1 0132 1023 3012 0132 0 0 0 0 0 0 1 -1 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 -6 6 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268509765373 0.837217055346 7 9 2 6 0132 0213 0132 2031 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 1 -1 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525788761566 0.414227019798 7 3 8 2 1023 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 7 -7 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734728200170 0.922230688721 3 7 12 5 0132 1230 0132 0132 0 0 0 0 0 0 -1 1 -1 0 0 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 0 6 -6 7 0 0 -7 7 -7 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766171513996 0.389022605788 5 4 12 3 0132 0132 1023 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 6 0 -6 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.118111641269 0.552805505153 6 6 11 10 0132 1302 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 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.669782891396 0.718582448532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_7'], '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'], 'c_0101_12' : d['c_0101_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_1001_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_1100_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : negation(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_1100_0']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1']})} 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_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_7, c_1001_0, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 58734559706421970119506235334872366162725895186261674042788318609/1\ 3107876950482823612704801259937754994532645553232953397747677*c_110\ 0_0^18 - 7364412850322000232828575708425205165182888824413062665152\ 1802527/26215753900965647225409602519875509989065291106465906795495\ 354*c_1100_0^17 + 5598222633698331509647499452163550994554448975482\ 60747974766786871/2621575390096564722540960251987550998906529110646\ 5906795495354*c_1100_0^16 - 370525914137139603586772020079668415363\ 73842274069183557303235947/2621575390096564722540960251987550998906\ 5291106465906795495354*c_1100_0^15 + 484127548067010226803859847551979944569592240001128684200674169878/\ 13107876950482823612704801259937754994532645553232953397747677*c_11\ 00_0^14 - 833901724321964742834596306261011523928625318784979291576\ 356034605/262157539009656472254096025198755099890652911064659067954\ 95354*c_1100_0^13 + 56373611521065869766892871619991231740129930800\ 47302177855332369581/2621575390096564722540960251987550998906529110\ 6465906795495354*c_1100_0^12 + 851646872232353379691489297437128913\ 3577952258142646575379790786521/13107876950482823612704801259937754\ 994532645553232953397747677*c_1100_0^11 + 2909338307629469284823658188906505064112145192296273268466128367274\ 3/26215753900965647225409602519875509989065291106465906795495354*c_\ 1100_0^10 + 3289043288232314958593567661168219665995971287625077395\ 6977515296533/26215753900965647225409602519875509989065291106465906\ 795495354*c_1100_0^9 + 28502682491528316066814948300138477593499710\ 420278278116143751277773/262157539009656472254096025198755099890652\ 91106465906795495354*c_1100_0^8 + 132094678776023164736116902809610\ 13860860897554594920645147348872703/2621575390096564722540960251987\ 5509989065291106465906795495354*c_1100_0^7 + 1934933789639900844833179368888768424497378421172680632727850360687\ /26215753900965647225409602519875509989065291106465906795495354*c_1\ 100_0^6 + 180495549505306857207196068267830478193170896935002102214\ 9994875121/26215753900965647225409602519875509989065291106465906795\ 495354*c_1100_0^5 + 88788898673167738221605149878112635558590758402\ 1151951220323126919/13107876950482823612704801259937754994532645553\ 232953397747677*c_1100_0^4 + 20992397044745382652963383136387089853\ 6223982844050434353156962919/26215753900965647225409602519875509989\ 065291106465906795495354*c_1100_0^3 + 165289543128171029013432758781168815104375765817441097887496005443/\ 26215753900965647225409602519875509989065291106465906795495354*c_11\ 00_0^2 + 4557980807274476458196180748199943126798375373082099836907\ 1763673/26215753900965647225409602519875509989065291106465906795495\ 354*c_1100_0 + 7646275413764536402817055167596211223491549479899136\ 187326853173/262157539009656472254096025198755099890652911064659067\ 95495354, c_0011_0 - 1, c_0011_10 + 227003807875773757029998069201390476019760770188/5680064217\ 657174627302232344229271251426317261*c_1100_0^18 - 95440045213415086138408831017012496116825636504/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 + 1040539896370358243993141416244988438768142328247/56800642176571746\ 27302232344229271251426317261*c_1100_0^16 + 160381008416414727206947995019987436568249934256/568006421765717462\ 7302232344229271251426317261*c_1100_0^15 + 1799222233905070550418166711340918897263405804235/56800642176571746\ 27302232344229271251426317261*c_1100_0^14 - 1216463718194660052296553711606120486789616247895/56800642176571746\ 27302232344229271251426317261*c_1100_0^13 + 10464722236217593332967869503487423913102224227961/5680064217657174\ 627302232344229271251426317261*c_1100_0^12 + 35256992938131513617146642428810635401126227880795/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 + 62442922265894364578551679029223298927981925213855/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 + 73491159212525224046651318996190445038919919511451/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 + 65440459124785129072552506290444111748569510742475/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 + 33881422123759513506398623799956650412777107631015/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 + 6492218513378480071938298449671965143736964426136/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 + 3243407845381015726213718223840097587313173226081/56800642176571746\ 27302232344229271251426317261*c_1100_0^5 + 4114683425377498896176963049643432124518433105509/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 + 947708895041622104430443825393826724299780093046/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 236089645125275182124390071846601299962386073389/568006421765717462\ 7302232344229271251426317261*c_1100_0^2 + 156919739447530798626684773045664782770819464295/568006421765717462\ 7302232344229271251426317261*c_1100_0 + 18125431134685846749819995086777390133448071349/5680064217657174627\ 302232344229271251426317261, c_0011_12 + 130759541477280078489854932868674962486926973188/5680064217\ 657174627302232344229271251426317261*c_1100_0^18 - 37370567702809958132367211690849760524596415901/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 + 588348661505955998471885429752760120026751077245/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 + 175282690570599605528470055719309860333519396681/568006421765717462\ 7302232344229271251426317261*c_1100_0^15 + 1031240313660860171883972370983926923487290243716/56800642176571746\ 27302232344229271251426317261*c_1100_0^14 - 560004449452615298979741005382069302765879877243/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 + 5901974036235486581262757445487321524381461566533/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 + 21146366605148986239126967242966504546782169703890/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 + 38526684089616494293699462578579074826120350148991/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 + 46650105082965200359946933299685681647834606494297/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 + 42468723745310869740277205409289292830564470765996/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 + 23512863200826428542224636532233979570633710657584/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 + 5401354361070186303748252978886689500863706587098/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 + 1889851553916668243454600678711879807639314654213/56800642176571746\ 27302232344229271251426317261*c_1100_0^5 + 2524369101975545973089058172833517516935015470420/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 + 818943998233931978464806759266333924470050093780/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 177751406317706394631154093910654308080036442210/568006421765717462\ 7302232344229271251426317261*c_1100_0^2 + 100305257530631938675516116501649127698481485338/568006421765717462\ 7302232344229271251426317261*c_1100_0 + 14673724199965390300802917590160054971091842642/5680064217657174627\ 302232344229271251426317261, c_0101_0 + 69329607850127724265256905848662624766199978511/568006421765\ 7174627302232344229271251426317261*c_1100_0^18 - 26969677296957723874008681034993244176872404573/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 + 318868444760775747386303078473098062817064504659/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 + 57196820412525669685575174884809155643532310369/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 + 560183723231872294165435067369897520848743425781/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 - 356606115858972116300515216139247549678582635529/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 + 3197377623661126203692014820308704866847350185429/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 + 10851840422799861889681571514107586423153385534986/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 + 19502319961519640124637312131648842583712528301111/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 + 23315540563542568237870980100648859955908244825081/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 + 21073627264037074293292886492334708337164110537994/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 + 11322045520911483478476038137601571875899583399340/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 + 2522377342717060461574891961266229558493756167640/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 + 1026013894968548063698163767310215321774776215265/56800642176571746\ 27302232344229271251426317261*c_1100_0^5 + 1173046827868566802740929395108663605500470998015/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 + 337967872965628267298232500712237428383343816854/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 117110863230998918197477875434782556470964962381/568006421765717462\ 7302232344229271251426317261*c_1100_0^2 + 40940831425374907167631784890644115175750149833/5680064217657174627\ 302232344229271251426317261*c_1100_0 + 8646638390603753070650533576574545931558423742/56800642176571746273\ 02232344229271251426317261, c_0101_1 - 113056285983958041875242748209009945448725491497/56800642176\ 57174627302232344229271251426317261*c_1100_0^18 + 48911589551907346195003097602996283768925496187/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 - 519056799173214161133120712229636299633481429640/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 - 72724438611496356035956303361903057703843818849/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 - 896857584405150441812074462596326016574597468811/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 + 619812443558701063763565492326630805278677285474/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 - 5221748497401178580146493123719948368690024416798/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 - 17490217054855285803541385945814886367729912165370/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 - 30901488478643369638859092103810769295515472128419/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 - 36228511155646967515883941990954778370635215016460/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 - 32111691593722158037606860883051416499827605887618/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 - 16419210118382819575125250180795050379231467163223/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 - 2972156778073661227480070839014384950695349881680/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 - 1545090009046166224129110257657756900570301510438/56800642176571746\ 27302232344229271251426317261*c_1100_0^5 - 2055841679317678721952673086735431008042163776901/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 - 514106546764846487568748575953921025696855526069/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 - 123786764698070955951452889876529458138082803783/568006421765717462\ 7302232344229271251426317261*c_1100_0^2 - 70557359486164207508608281260859528285324759212/5680064217657174627\ 302232344229271251426317261*c_1100_0 - 13701166322928627918563767765641018487191668364/5680064217657174627\ 302232344229271251426317261, c_0101_11 - 56987569750393943945870326840919157314339535657/56800642176\ 57174627302232344229271251426317261*c_1100_0^18 + 18966893646499382179664307400642276135487470321/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 - 260318903213370376330627316624090976699737398611/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 - 61777858464779117020286281694163112462722143996/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 - 461104609436973702000710917074048334677267474167/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 + 269112724410121045893005778364068944990039612395/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 - 2609545936355674416930162274396031280215415220574/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 - 9067166348609153273620397598395831542704487704301/56800642176571746\ 27302232344229271251426317261*c_1100_0^11 - 16511603787473387817859518878837520418060105676851/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 - 19967779682840209496378188056734252654565268452656/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 - 18242747772668324256487023577207146827449265453466/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 - 10093694473251996470696560659778878742214238240658/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 - 2428215682980645144354775107514104770291579435579/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 - 869518788283868524686155724923158500020481718738/568006421765717462\ 7302232344229271251426317261*c_1100_0^5 - 993134969843013754586851942100584140284667821917/568006421765717462\ 7302232344229271251426317261*c_1100_0^4 - 311032953680640929376228596618534872491847049632/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 - 92065157251716546660752104854707986160638492255/5680064217657174627\ 302232344229271251426317261*c_1100_0^2 - 40697021165157807480249446932053267829167644602/5680064217657174627\ 302232344229271251426317261*c_1100_0 - 5471174784631438532994173425026918204776456243/56800642176571746273\ 02232344229271251426317261, c_0101_2 - 61730674505861184025686596071730369745036176886/568006421765\ 7174627302232344229271251426317261*c_1100_0^18 + 14797445410511237393915616974646187061461428177/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 - 277302194538760894628552621208769836370906016825/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 - 95161547315264368565040372784002952019676249061/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 - 492162057475154174893653840239462880896770857148/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 + 242752724364141864537671635240234424145041498392/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 - 2775761111269497129397347924346547305739615518254/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 - 10107023283349136197580954430827565371346486607929/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 - 18664518089521006606944910025081735344643462672007/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 - 22906648622040391802805344116591984865282784944785/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 - 21116532404170855724769561151786736758770046123047/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 - 12032583339704045854649222610023413044829560115521/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 - 3012870036185149316538020393767363548337770957916/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 - 898521407800114758828401032700812952629121635139/568006421765717462\ 7302232344229271251426317261*c_1100_0^5 - 1123875184999426069755510060831144412434207302844/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 - 389391440136866605496192189245978885202435638028/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 - 96410301566922046950065384099736955268576507694/5680064217657174627\ 302232344229271251426317261*c_1100_0^2 - 49092744428449810358303706241881661683065714250/5680064217657174627\ 302232344229271251426317261*c_1100_0 - 6695386327890555883561652712573724084233299896/56800642176571746273\ 02232344229271251426317261, c_0101_3 + 34163627481475249160640832686321457193222608595/568006421765\ 7174627302232344229271251426317261*c_1100_0^18 - 15455466362890267626144986949446285035330946647/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 + 158733281115156567123678841516136723203405149472/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 + 16723234083031854555668893633759075865064844061/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 + 279540189170475109624152195372653459624360816241/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 - 199440785596794384654224771093558501104955322831/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 + 1598664746618534665630970735416191959411223166068/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 + 5231044131625351839909072289798561193840721861363/56800642176571746\ 27302232344229271251426317261*c_1100_0^11 + 9324523155519986590245835844153004356387614354098/56800642176571746\ 27302232344229271251426317261*c_1100_0^10 + 10930333551003277533607171410070123494098850104130/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 + 9749308566170282078747996502138513136387626760241/56800642176571746\ 27302232344229271251426317261*c_1100_0^8 + 5004187742805448541900221817586976430074496201161/56800642176571746\ 27302232344229271251426317261*c_1100_0^7 + 980626520237763035763842461549419315136235368408/568006421765717462\ 7302232344229271251426317261*c_1100_0^6 + 468210629375143136883204530747055647617970212973/568006421765717462\ 7302232344229271251426317261*c_1100_0^5 + 603227377297678831178447538756848691413507667914/568006421765717462\ 7302232344229271251426317261*c_1100_0^4 + 170724511403706839512092779056238774867521338943/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 35085658361809302936369110296227738594130134376/5680064217657174627\ 302232344229271251426317261*c_1100_0^2 + 15021541466179628790114560812166631006847105098/5680064217657174627\ 302232344229271251426317261*c_1100_0 + 6760560965941810607722427529908856585772103095/56800642176571746273\ 02232344229271251426317261, c_0101_7 - 67368511540618597856611774949233059979539174768/568006421765\ 7174627302232344229271251426317261*c_1100_0^18 + 34709216804391128724999603572220194946509338001/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 - 310686760520211412456002673722240617876461275078/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 - 19469954222586540139974875042859724895861529230/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 - 524588085773186986990092214582013886518166560461/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 + 407459404831399558756742925706954534446443891900/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 - 3129450392658765575571707758887607080186606640600/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 - 10182737870204223285678676411194344119322124990166/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 - 17489709076874616827208548846027963652398210926737/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 - 19977891481433096635734424322032884856188089194339/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 - 17211308247468415884132285182251365221053251235298/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 - 8081607537105352291420517632425366844053669176104/56800642176571746\ 27302232344229271251426317261*c_1100_0^7 - 851595291157223352286156035603321769193413265559/568006421765717462\ 7302232344229271251426317261*c_1100_0^6 - 754876755882074409919100536751498497659907725710/568006421765717462\ 7302232344229271251426317261*c_1100_0^5 - 1131024613234892879882941712794640121240580596976/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 - 180729225928686746918362017897546555377890928031/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 - 65204334642670297661409982635353068393097548959/5680064217657174627\ 302232344229271251426317261*c_1100_0^2 - 48222943807678721266909023519418889431778375503/5680064217657174627\ 302232344229271251426317261*c_1100_0 + 1529908571183130455226070126659844725538239445/56800642176571746273\ 02232344229271251426317261, c_1001_0 + 85923454097363820260469004546268286283867278562/568006421765\ 7174627302232344229271251426317261*c_1100_0^18 - 19108671532271079053573176732313791243887590939/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 + 385087491326089733349341491570562937810189270347/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 + 139535640513466959567886112259742462686910294087/568006421765717462\ 7302232344229271251426317261*c_1100_0^15 + 684924805068111357948084141731258426027710935836/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 - 325554714377256098870886336474061253541889221862/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 + 3853884161553524433592189817401067587954991474885/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 + 14140066419231390838365800820897684150227908214618/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 + 26197096443150207809371496777571621721937559016390/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 + 32260029716295243737405291155893775576864379539822/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 + 29825290007031047841020569533126556512730476745680/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 + 17157566566597228785633139176254927204561844198060/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 + 4419459067616390797149885401112876816454599161322/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 + 1340766285043816045514067280787039875226205204272/56800642176571746\ 27302232344229271251426317261*c_1100_0^5 + 1625469471850076249603354094004555700369055868730/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 + 591584561612690257067820784073251963374012339691/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 134358441261238115592404816947849276474836940242/568006421765717462\ 7302232344229271251426317261*c_1100_0^2 + 73971425901258687050291926401425813275404166731/5680064217657174627\ 302232344229271251426317261*c_1100_0 + 11960903568375309146413038191895871824304752364/5680064217657174627\ 302232344229271251426317261, c_1001_10 + 22203237110020797201966304393757576259714752195/56800642176\ 57174627302232344229271251426317261*c_1100_0^18 - 3408862460848567022705655299007606443922848485/56800642176571746273\ 02232344229271251426317261*c_1100_0^17 + 99356604627283432241706327916707491022536705153/5680064217657174627\ 302232344229271251426317261*c_1100_0^16 + 41904400997065073861098669295119475408524384756/5680064217657174627\ 302232344229271251426317261*c_1100_0^15 + 180690564800405755590473081363225066128055621768/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 - 75721198620679227645638689763518023575874698505/5680064217657174627\ 302232344229271251426317261*c_1100_0^13 + 990466301188248299429443953981119043581183226768/568006421765717462\ 7302232344229271251426317261*c_1100_0^12 + 3715770814649663029625113345522283550110579180127/56800642176571746\ 27302232344229271251426317261*c_1100_0^11 + 7033815173348365009807779192607237468994438106349/56800642176571746\ 27302232344229271251426317261*c_1100_0^10 + 8791947090627251810004964078108544424517331517008/56800642176571746\ 27302232344229271251426317261*c_1100_0^9 + 8184200855459449474631563895028714477401577073242/56800642176571746\ 27302232344229271251426317261*c_1100_0^8 + 4782128005699747902515842516389671364523176252586/56800642176571746\ 27302232344229271251426317261*c_1100_0^7 + 1233547681644669374830845213503933706283381092890/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 + 243455351390346615448004027157610087557634069582/568006421765717462\ 7302232344229271251426317261*c_1100_0^5 + 376242100328478701328325235344777568095200148463/568006421765717462\ 7302232344229271251426317261*c_1100_0^4 + 217363051320165417913859388909101603410869324192/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 56952178233981776767968220991121900696577705362/5680064217657174627\ 302232344229271251426317261*c_1100_0^2 + 10488824363854328403109057552109535378258666023/5680064217657174627\ 302232344229271251426317261*c_1100_0 + 7729837405268860694713244192073622873869016184/56800642176571746273\ 02232344229271251426317261, c_1001_2 + 123531070139390815752066820677238286393572195264/56800642176\ 57174627302232344229271251426317261*c_1100_0^18 - 42234378897021620016175883356100003296250773630/5680064217657174627\ 302232344229271251426317261*c_1100_0^17 + 557329430611418030674630836693039768470680669165/568006421765717462\ 7302232344229271251426317261*c_1100_0^16 + 134403212516144244820166310679228862934149027677/568006421765717462\ 7302232344229271251426317261*c_1100_0^15 + 963544464669832625511940966785241865429117091834/568006421765717462\ 7302232344229271251426317261*c_1100_0^14 - 585519581180118889211736687647546752366943365182/568006421765717462\ 7302232344229271251426317261*c_1100_0^13 + 5604857570068088037044913365471536005497068045047/56800642176571746\ 27302232344229271251426317261*c_1100_0^12 + 19664775821619762650309644623131252086718838969361/5680064217657174\ 627302232344229271251426317261*c_1100_0^11 + 35261391788037913603390252592102684887456622187978/5680064217657174\ 627302232344229271251426317261*c_1100_0^10 + 41940085744301888654044226684181333036121930825091/5680064217657174\ 627302232344229271251426317261*c_1100_0^9 + 37519786189625058511306058370392406411845033303617/5680064217657174\ 627302232344229271251426317261*c_1100_0^8 + 19845968353805604253679677013097214380373700034143/5680064217657174\ 627302232344229271251426317261*c_1100_0^7 + 3812490037866493966972647294874787524764233209286/56800642176571746\ 27302232344229271251426317261*c_1100_0^6 + 1541138705743483857368326199832172030356344996798/56800642176571746\ 27302232344229271251426317261*c_1100_0^5 + 2386057841804926275876071576548466940400996357953/56800642176571746\ 27302232344229271251426317261*c_1100_0^4 + 683919568001590250741928765575298395312281619494/568006421765717462\ 7302232344229271251426317261*c_1100_0^3 + 117098884072527999740745304337415296092388064523/568006421765717462\ 7302232344229271251426317261*c_1100_0^2 + 90250147462816756287687435257680044063603927104/5680064217657174627\ 302232344229271251426317261*c_1100_0 + 15503799308277450637612878245735745044269844589/5680064217657174627\ 302232344229271251426317261, c_1100_0^19 - 18/73*c_1100_0^18 + 329/73*c_1100_0^17 + 110/73*c_1100_0^16 + 586/73*c_1100_0^15 - 290/73*c_1100_0^14 + 3294/73*c_1100_0^13 + 11926/73*c_1100_0^12 + 22036/73*c_1100_0^11 + 27089/73*c_1100_0^10 + 25085/73*c_1100_0^9 + 14471/73*c_1100_0^8 + 3897/73*c_1100_0^7 + 1354/73*c_1100_0^6 + 1480/73*c_1100_0^5 + 526/73*c_1100_0^4 + 131/73*c_1100_0^3 + 65/73*c_1100_0^2 + 14/73*c_1100_0 + 1/73 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.750 Total time: 4.960 seconds, Total memory usage: 122.84MB