Magma V2.19-8 Tue Aug 20 2013 23:55:34 on localhost [Seed = 2395530952] Type ? for help. Type -D to quit. Loading file "K12n653__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n653 geometric_solution 11.74921206 oriented_manifold CS_known -0.0000000000000003 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 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507827170353 0.314607045845 0 4 5 3 0132 2103 0132 3201 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 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582267102136 0.907639744754 6 0 7 3 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592408298214 1.551749200928 2 1 8 0 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.182783858435 0.949304480009 9 1 0 10 0132 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602202746976 0.887258122835 9 8 7 1 3120 3012 1023 0132 0 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 -13 0 13 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362418721823 0.713229620368 2 7 11 10 0132 3120 0132 0321 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 1 0 -1 0 0 -14 14 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526446729428 0.344109057453 12 6 5 2 0132 3120 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 14 -1 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251453726718 0.676657295394 5 11 10 3 1230 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 13 0 0 -13 13 -14 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.421671806393 1.107503580325 4 12 11 5 0132 2103 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.806520744054 1.153028561510 12 6 4 8 2031 0321 0132 0132 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 0 0 0 0 0 0 1 0 -1 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667991809425 1.187638867301 12 9 8 6 3201 0213 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 0 0 14 -1 0 0 1 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591299219840 1.869453061581 7 9 10 11 0132 2103 1302 2310 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 1 0 0 -14 14 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218323668499 0.780973728125 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_4']), 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_0011_5'], 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : d['c_0011_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_0011_8'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : 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_1100_9' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_5']), 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0011_4']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_5, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 673936472/1665211707*c_1001_10*c_1100_0^5 + 2103052928/1665211707*c_1001_10*c_1100_0^4 + 231320671/185023523*c_1001_10*c_1100_0^3 - 629000302/1665211707*c_1001_10*c_1100_0^2 - 1862307373/1665211707*c_1001_10*c_1100_0 - 673338172/1665211707*c_1001_10 - 2056211288/1665211707*c_1100_0^5 - 4735769771/1665211707*c_1100_0^4 - 357427051/185023523*c_1100_0^3 + 2659956586/1665211707*c_1100_0^2 + 1626880129/1665211707*c_1100_0 + 2133029221/1665211707, c_0011_0 - 1, c_0011_10 - c_1001_10 - 2*c_1100_0^5 - 6*c_1100_0^4 - 7*c_1100_0^3 - c_1100_0^2 + 2*c_1100_0 + 3, c_0011_11 - 2*c_1001_10*c_1100_0^5 - 5*c_1001_10*c_1100_0^4 - 5*c_1001_10*c_1100_0^3 + c_1001_10*c_1100_0 + 3*c_1001_10 - c_1100_0^5 - 3*c_1100_0^4 - 4*c_1100_0^3 - 2*c_1100_0^2 + 1, c_0011_12 - c_1100_0^5 - 3*c_1100_0^4 - 3*c_1100_0^3 + c_1100_0 + 1, c_0011_3 - c_1001_10*c_1100_0^3 - 2*c_1001_10*c_1100_0^2 - c_1001_10*c_1100_0 + c_1001_10 - 2*c_1100_0^5 - 5*c_1100_0^4 - 5*c_1100_0^3 + c_1100_0 + 3, c_0011_4 - c_1001_10*c_1100_0^5 - 3*c_1001_10*c_1100_0^4 - 4*c_1001_10*c_1100_0^3 - c_1001_10*c_1100_0^2 + c_1001_10*c_1100_0 + 2*c_1001_10 - c_1100_0^5 - 3*c_1100_0^4 - 4*c_1100_0^3 - 2*c_1100_0^2 - c_1100_0 + 1, c_0011_5 - c_1001_10*c_1100_0^5 - 3*c_1001_10*c_1100_0^4 - 4*c_1001_10*c_1100_0^3 - c_1001_10*c_1100_0^2 + c_1001_10*c_1100_0 + 2*c_1001_10 - c_1100_0^5 - 3*c_1100_0^4 - 4*c_1100_0^3 - 2*c_1100_0^2 + 1, c_0011_8 + 2*c_1100_0^5 + 6*c_1100_0^4 + 7*c_1100_0^3 + c_1100_0^2 - 2*c_1100_0 - 3, c_0101_0 + c_1100_0^5 + 3*c_1100_0^4 + 3*c_1100_0^3 - c_1100_0^2 - 2*c_1100_0 - 1, c_0101_1 + c_1100_0^5 + 2*c_1100_0^4 + 2*c_1100_0^3 - 2, c_0101_5 + 2*c_1001_10*c_1100_0^5 + 5*c_1001_10*c_1100_0^4 + 5*c_1001_10*c_1100_0^3 - c_1001_10*c_1100_0 - 3*c_1001_10 + c_1100_0^5 + 3*c_1100_0^4 + 4*c_1100_0^3 + 2*c_1100_0^2 - 2, c_1001_10^2 + 2*c_1001_10*c_1100_0^5 + 6*c_1001_10*c_1100_0^4 + 7*c_1001_10*c_1100_0^3 + c_1001_10*c_1100_0^2 - 2*c_1001_10*c_1100_0 - 3*c_1001_10 + c_1100_0^5 + 3*c_1100_0^4 + 4*c_1100_0^3 - c_1100_0 - 1, c_1100_0^6 + 2*c_1100_0^5 + c_1100_0^4 - 2*c_1100_0^3 - c_1100_0^2 - c_1100_0 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_5, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 82234910192417931088808308782162872/3181129073406732530549278617894\ 97*c_1100_0^19 + 829832004885968693812270108454309123/3181129073406\ 73253054927861789497*c_1100_0^18 - 4269446595773129588224867338689845590/31811290734067325305492786178\ 9497*c_1100_0^17 + 14368011149941996878562090578981502285/318112907\ 340673253054927861789497*c_1100_0^16 - 72674824915567298355961009016755941015/6362258146813465061098557235\ 78994*c_1100_0^15 + 71965939032809710687911673773027354695/31811290\ 7340673253054927861789497*c_1100_0^14 - 2429306359494197927345794746548440660/67683597306526224054239970593\ 51*c_1100_0^13 + 143331179341130487574193552894949226047/3181129073\ 40673253054927861789497*c_1100_0^12 - 292754854718048062676905292934577318687/636225814681346506109855723\ 578994*c_1100_0^11 + 321250212919669738585149368251199453/966908532\ 950374629346285294193*c_1100_0^10 - 134084690596262319792968774156053247917/636225814681346506109855723\ 578994*c_1100_0^9 + 89939662356502424948205509861820577225/63622581\ 4681346506109855723578994*c_1100_0^8 - 69633606861190088140773316895796001197/3181129073406732530549278617\ 89497*c_1100_0^7 + 112037985748497033386939854704482229884/31811290\ 7340673253054927861789497*c_1100_0^6 - 175208686669008389556284699516448612489/636225814681346506109855723\ 578994*c_1100_0^5 + 30580946597517470661745025728507926631/63622581\ 4681346506109855723578994*c_1100_0^4 + 43684927549472432608546301075031661704/3181129073406732530549278617\ 89497*c_1100_0^3 - 101743455745583826113435406088893135159/63622581\ 4681346506109855723578994*c_1100_0^2 + 22493507978880600995384877077009856167/3181129073406732530549278617\ 89497*c_1100_0 - 3614054507922805180732344320236508364/318112907340\ 673253054927861789497, c_0011_0 - 1, c_0011_10 + 46770938870419144986505835/318293857398604359633379438*c_11\ 00_0^19 - 229220549467548433034135663/159146928699302179816689719*c\ _1100_0^18 + 2286291909919450569847548127/3182938573986043596333794\ 38*c_1100_0^17 - 3712636235123013565876593320/159146928699302179816\ 689719*c_1100_0^16 + 9059064039384991319533168588/15914692869930217\ 9816689719*c_1100_0^15 - 34459134664889279751695295407/318293857398\ 604359633379438*c_1100_0^14 + 52094256806774117220190657737/3182938\ 57398604359633379438*c_1100_0^13 - 61242606822413616410862108649/318293857398604359633379438*c_1100_0^\ 12 + 29012793715458560551295646281/159146928699302179816689719*c_11\ 00_0^11 - 2503993149429558125415854168/22735275528471739973812817*c\ _1100_0^10 + 20398080293019225176929651259/318293857398604359633379\ 438*c_1100_0^9 - 16122037694148935986186446029/31829385739860435963\ 3379438*c_1100_0^8 + 31628524510714896251841624691/3182938573986043\ 59633379438*c_1100_0^7 - 52985032816024715234916845441/318293857398\ 604359633379438*c_1100_0^6 + 28257163001903634562948680845/31829385\ 7398604359633379438*c_1100_0^5 + 6185931346215718399452915363/31829\ 3857398604359633379438*c_1100_0^4 - 12865326677265690164504127380/159146928699302179816689719*c_1100_0^\ 3 + 9945947263128157361276245988/159146928699302179816689719*c_1100\ _0^2 - 3287398760327882297528454659/318293857398604359633379438*c_1\ 100_0 - 667297446993233668292349813/318293857398604359633379438, c_0011_11 + 74282946727101199709657671/318293857398604359633379438*c_11\ 00_0^19 - 353698824873072786633167667/159146928699302179816689719*c\ _1100_0^18 + 3451490897853880495244093555/3182938573986043596333794\ 38*c_1100_0^17 - 5492337017942303380647303015/159146928699302179816\ 689719*c_1100_0^16 + 13206346400404806907764611436/1591469286993021\ 79816689719*c_1100_0^15 - 49433168845332104883933454715/31829385739\ 8604359633379438*c_1100_0^14 + 73637997687960940486814699839/318293\ 857398604359633379438*c_1100_0^13 - 84892253507169474906300079325/318293857398604359633379438*c_1100_0^\ 12 + 39885828717275775298420569062/159146928699302179816689719*c_11\ 00_0^11 - 3219845541694315396890384288/22735275528471739973812817*c\ _1100_0^10 + 30082966133684416243737169767/318293857398604359633379\ 438*c_1100_0^9 - 20423348872407064440433665843/31829385739860435963\ 3379438*c_1100_0^8 + 49676936260397220342425371379/3182938573986043\ 59633379438*c_1100_0^7 - 71620470707780292361025662011/318293857398\ 604359633379438*c_1100_0^6 + 36136124536755863550309213347/31829385\ 7398604359633379438*c_1100_0^5 + 11073888169496510529957733457/3182\ 93857398604359633379438*c_1100_0^4 - 17872871448957709310128884680/159146928699302179816689719*c_1100_0^\ 3 + 12503090477518399458700229052/159146928699302179816689719*c_110\ 0_0^2 - 3895307547138699888417985843/318293857398604359633379438*c_\ 1100_0 - 801698247001183941136249339/318293857398604359633379438, c_0011_12 - 46024993641458878179173197/318293857398604359633379438*c_11\ 00_0^19 + 217373151670363064569879940/159146928699302179816689719*c\ _1100_0^18 - 2104197811968274800529876107/3182938573986043596333794\ 38*c_1100_0^17 + 3319645397091335053761241819/159146928699302179816\ 689719*c_1100_0^16 - 7920511967853511000286445659/15914692869930217\ 9816689719*c_1100_0^15 + 29392841917929727777189297037/318293857398\ 604359633379438*c_1100_0^14 - 43353814988137846587434281229/3182938\ 57398604359633379438*c_1100_0^13 + 49302113399852788420005313501/318293857398604359633379438*c_1100_0^\ 12 - 22864729956324665848858134749/159146928699302179816689719*c_11\ 00_0^11 + 1755818708269303563043412106/22735275528471739973812817*c\ _1100_0^10 - 16770726700124969112161085329/318293857398604359633379\ 438*c_1100_0^9 + 11575099581415803233103462071/31829385739860435963\ 3379438*c_1100_0^8 - 29233290896881415093666435609/3182938573986043\ 59633379438*c_1100_0^7 + 42631529398489869117627242443/318293857398\ 604359633379438*c_1100_0^6 - 18134705043753598972885942723/31829385\ 7398604359633379438*c_1100_0^5 - 7396716082816020288553916253/31829\ 3857398604359633379438*c_1100_0^4 + 11001587919004733638200632289/159146928699302179816689719*c_1100_0^\ 3 - 7074431338596589234880313567/159146928699302179816689719*c_1100\ _0^2 + 1498232237006666200900484807/318293857398604359633379438*c_1\ 100_0 + 458316703007098377350510213/318293857398604359633379438, c_0011_3 + 135827736941656996129647821/318293857398604359633379438*c_11\ 00_0^19 - 649049404987370153714931275/159146928699302179816689719*c\ _1100_0^18 + 6353731177293483782383082585/3182938573986043596333794\ 38*c_1100_0^17 - 10144816588504416425305073800/15914692869930217981\ 6689719*c_1100_0^16 + 24467713038280443946401642156/159146928699302\ 179816689719*c_1100_0^15 - 91917168091827023819108364887/3182938573\ 98604359633379438*c_1100_0^14 + 137489600037501062208951825003/3182\ 93857398604359633379438*c_1100_0^13 - 159451293165276629285128186439/318293857398604359633379438*c_1100_0\ ^12 + 75354304659564369474915049431/159146928699302179816689719*c_1\ 100_0^11 - 6215887114143194664301753365/22735275528471739973812817*\ c_1100_0^10 + 57468104809851939538433443341/31829385739860435963337\ 9438*c_1100_0^9 - 39214562899753915965537911851/3182938573986043596\ 33379438*c_1100_0^8 + 91548931161301636565930066485/318293857398604\ 359633379438*c_1100_0^7 - 134062197492846559519239672321/3182938573\ 98604359633379438*c_1100_0^6 + 69515226196779697369852782937/318293\ 857398604359633379438*c_1100_0^5 + 17987091479264267396188519931/318293857398604359633379438*c_1100_0^\ 4 - 33016855369434568838564444782/159146928699302179816689719*c_110\ 0_0^3 + 24104763646983169124072109516/159146928699302179816689719*c\ _1100_0^2 - 8505880259626458607381166781/31829385739860435963337943\ 8*c_1100_0 - 1150690804622235167928380013/3182938573986043596333794\ 38, c_0011_4 - 27882633820516697488911611/318293857398604359633379438*c_110\ 0_0^19 + 132524045834960911621623255/159146928699302179816689719*c_\ 1100_0^18 - 1290880476191552301728624699/31829385739860435963337943\ 8*c_1100_0^17 + 2049788034038655137600230378/1591469286993021798166\ 89719*c_1100_0^16 - 4917955057381208578971902063/159146928699302179\ 816689719*c_1100_0^15 + 18359789671722071111679048283/3182938573986\ 04359633379438*c_1100_0^14 - 27262839225538445060482532545/31829385\ 7398604359633379438*c_1100_0^13 + 31279219880815261809389902163/318\ 293857398604359633379438*c_1100_0^12 - 14617342841496693825733071702/159146928699302179816689719*c_1100_0^\ 11 + 1159221102957228040958002985/22735275528471739973812817*c_1100\ _0^10 - 10863219870494093771612170793/318293857398604359633379438*c\ _1100_0^9 + 7376275386644877180594683495/31829385739860435963337943\ 8*c_1100_0^8 - 18563757459515005809102289463/3182938573986043596333\ 79438*c_1100_0^7 + 26465918783063490299216724387/318293857398604359\ 633379438*c_1100_0^6 - 13093436084503478410728946951/31829385739860\ 4359633379438*c_1100_0^5 - 4551517204793368835633776225/31829385739\ 8604359633379438*c_1100_0^4 + 6701082596593697858164701858/15914692\ 8699302179816689719*c_1100_0^3 - 4512198109822195463426472488/15914\ 6928699302179816689719*c_1100_0^2 + 1063577617731421792888922339/318293857398604359633379438*c_1100_0 + 369917834516622746573304499/318293857398604359633379438, c_0011_5 + 27882633820516697488911611/318293857398604359633379438*c_110\ 0_0^19 - 132524045834960911621623255/159146928699302179816689719*c_\ 1100_0^18 + 1290880476191552301728624699/31829385739860435963337943\ 8*c_1100_0^17 - 2049788034038655137600230378/1591469286993021798166\ 89719*c_1100_0^16 + 4917955057381208578971902063/159146928699302179\ 816689719*c_1100_0^15 - 18359789671722071111679048283/3182938573986\ 04359633379438*c_1100_0^14 + 27262839225538445060482532545/31829385\ 7398604359633379438*c_1100_0^13 - 31279219880815261809389902163/318\ 293857398604359633379438*c_1100_0^12 + 14617342841496693825733071702/159146928699302179816689719*c_1100_0^\ 11 - 1159221102957228040958002985/22735275528471739973812817*c_1100\ _0^10 + 10863219870494093771612170793/318293857398604359633379438*c\ _1100_0^9 - 7376275386644877180594683495/31829385739860435963337943\ 8*c_1100_0^8 + 18563757459515005809102289463/3182938573986043596333\ 79438*c_1100_0^7 - 26465918783063490299216724387/318293857398604359\ 633379438*c_1100_0^6 + 13093436084503478410728946951/31829385739860\ 4359633379438*c_1100_0^5 + 4551517204793368835633776225/31829385739\ 8604359633379438*c_1100_0^4 - 6701082596593697858164701858/15914692\ 8699302179816689719*c_1100_0^3 + 4512198109822195463426472488/15914\ 6928699302179816689719*c_1100_0^2 - 1063577617731421792888922339/318293857398604359633379438*c_1100_0 - 369917834516622746573304499/318293857398604359633379438, c_0011_8 - 25636051873536095693872990/159146928699302179816689719*c_110\ 0_0^19 + 241438162074377063304501593/159146928699302179816689719*c_\ 1100_0^18 - 1166003603476536095176379669/15914692869930217981668971\ 9*c_1100_0^17 + 3671494647060531974122325297/1591469286993021798166\ 89719*c_1100_0^16 - 8747370912389601828702207194/159146928699302179\ 816689719*c_1100_0^15 + 16204576501100147951131586900/1591469286993\ 02179816689719*c_1100_0^14 - 23871160810827270851389684161/15914692\ 8699302179816689719*c_1100_0^13 + 27104325332600017402403162857/159\ 146928699302179816689719*c_1100_0^12 - 25153635336450898080225622929/159146928699302179816689719*c_1100_0^\ 11 + 1923245609412081307968026368/22735275528471739973812817*c_1100\ _0^10 - 9418818613355607142320417132/159146928699302179816689719*c_\ 1100_0^9 + 6352417704993682130585179278/159146928699302179816689719\ *c_1100_0^8 - 16381781204291078882162237124/15914692869930217981668\ 9719*c_1100_0^7 + 23321200181384665296286676451/1591469286993021798\ 16689719*c_1100_0^6 - 9880806921913785787710667458/1591469286993021\ 79816689719*c_1100_0^5 - 3990041280947310536165284389/1591469286993\ 02179816689719*c_1100_0^4 + 12008191858722726282926058607/159146928\ 699302179816689719*c_1100_0^3 - 7561155332092299258976611415/159146\ 928699302179816689719*c_1100_0^2 + 832155425217504064248436709/159146928699302179816689719*c_1100_0 + 161991959350255420558930808/159146928699302179816689719, c_0101_0 - 4953877713394207914598005/159146928699302179816689719*c_1100\ _0^19 + 39363820327844746094653709/159146928699302179816689719*c_11\ 00_0^18 - 158011653971876041916810984/159146928699302179816689719*c\ _1100_0^17 + 390588338758185237163808346/15914692869930217981668971\ 9*c_1100_0^16 - 706892140978485074735053150/15914692869930217981668\ 9719*c_1100_0^15 + 831024089749937046794884149/15914692869930217981\ 6689719*c_1100_0^14 - 438674736841520737617743881/15914692869930217\ 9816689719*c_1100_0^13 - 775855804299295446988615344/15914692869930\ 2179816689719*c_1100_0^12 + 1760403590173753360422801253/1591469286\ 99302179816689719*c_1100_0^11 - 487623644114245872895602955/2273527\ 5528471739973812817*c_1100_0^10 + 1056528251222571488491931517/1591\ 46928699302179816689719*c_1100_0^9 - 1107544772349971277354859383/159146928699302179816689719*c_1100_0^8 - 1624726983243050142670974745/159146928699302179816689719*c_1100_0\ ^7 + 88612585235073706656739787/159146928699302179816689719*c_1100_\ 0^6 + 3788692911796934372942902890/159146928699302179816689719*c_11\ 00_0^5 - 2578507008908993568090729922/159146928699302179816689719*c\ _1100_0^4 + 823023041684232686572976499/159146928699302179816689719\ *c_1100_0^3 + 1344931568154626768493729218/159146928699302179816689\ 719*c_1100_0^2 - 1364322854595285792096600150/159146928699302179816\ 689719*c_1100_0 + 93966845962015330930646058/1591469286993021798166\ 89719, c_0101_1 - 14861937964027759445859712/159146928699302179816689719*c_110\ 0_0^19 + 137905684427725392398952437/159146928699302179816689719*c_\ 1100_0^18 - 657955716164843453645486540/159146928699302179816689719\ *c_1100_0^17 + 2047160021848787304455854374/15914692869930217981668\ 9719*c_1100_0^16 - 4833278111352068486701598561/1591469286993021798\ 16689719*c_1100_0^15 + 8863874100876069261843012076/159146928699302\ 179816689719*c_1100_0^14 - 12936131385443667575388835857/1591469286\ 99302179816689719*c_1100_0^13 + 14509763423913465507154932116/15914\ 6928699302179816689719*c_1100_0^12 - 13429778847477657554017656858/159146928699302179816689719*c_1100_0^\ 11 + 986197996440900848722535649/22735275528471739973812817*c_1100_\ 0^10 - 5426557017216958444576556990/159146928699302179816689719*c_1\ 100_0^9 + 3384312874818414208187971636/159146928699302179816689719*\ c_1100_0^8 - 9542698991253631533619547092/1591469286993021798166897\ 19*c_1100_0^7 + 12336935555593809676107608495/159146928699302179816\ 689719*c_1100_0^6 - 4906601333849136602491128673/159146928699302179\ 816689719*c_1100_0^5 - 2286444545423292144109172591/159146928699302\ 179816689719*c_1100_0^4 + 6194665291314955797482177700/159146928699\ 302179816689719*c_1100_0^3 - 3514507016596371887744970118/159146928\ 699302179816689719*c_1100_0^2 + 394753037441553242096948210/1591469\ 28699302179816689719*c_1100_0 - 99298341046464603965415437/15914692\ 8699302179816689719, c_0101_5 + 1433421854182497618868501/318293857398604359633379438*c_1100\ _0^19 - 6511663350930235148963388/159146928699302179816689719*c_110\ 0_0^18 + 60870794030592109826569501/318293857398604359633379438*c_1\ 100_0^17 - 92483955308803362625263032/159146928699302179816689719*c\ _1100_0^16 + 213160610445498796730339623/15914692869930217981668971\ 9*c_1100_0^15 - 757160967197893402445762007/31829385739860435963337\ 9438*c_1100_0^14 + 1060411798370195460062005653/3182938573986043596\ 33379438*c_1100_0^13 - 1116214949585154051533856811/318293857398604\ 359633379438*c_1100_0^12 + 482516776319208879188666440/159146928699\ 302179816689719*c_1100_0^11 - 25511232547532598262790597/2273527552\ 8471739973812817*c_1100_0^10 + 365582102407203023469810569/31829385\ 7398604359633379438*c_1100_0^9 - 239899004490355246330776225/318293\ 857398604359633379438*c_1100_0^8 + 849605118051202221483794359/318293857398604359633379438*c_1100_0^7 - 1040905492827145284444080891/318293857398604359633379438*c_1100_0^6 + 96612487770853259647602191/318293857398604359633379438*c_1100_0^5 + 434856210435822685760793769/318293857398604359633379438*c_1100_0^\ 4 - 245564415611299072982006633/159146928699302179816689719*c_1100_\ 0^3 + 97494877636426961019108357/159146928699302179816689719*c_1100\ _0^2 + 518217017222918040998942913/318293857398604359633379438*c_11\ 00_0 + 171253957369047301731573323/318293857398604359633379438, c_1001_10 - 46770938870419144986505835/318293857398604359633379438*c_11\ 00_0^19 + 229220549467548433034135663/159146928699302179816689719*c\ _1100_0^18 - 2286291909919450569847548127/3182938573986043596333794\ 38*c_1100_0^17 + 3712636235123013565876593320/159146928699302179816\ 689719*c_1100_0^16 - 9059064039384991319533168588/15914692869930217\ 9816689719*c_1100_0^15 + 34459134664889279751695295407/318293857398\ 604359633379438*c_1100_0^14 - 52094256806774117220190657737/3182938\ 57398604359633379438*c_1100_0^13 + 61242606822413616410862108649/318293857398604359633379438*c_1100_0^\ 12 - 29012793715458560551295646281/159146928699302179816689719*c_11\ 00_0^11 + 2503993149429558125415854168/22735275528471739973812817*c\ _1100_0^10 - 20398080293019225176929651259/318293857398604359633379\ 438*c_1100_0^9 + 16122037694148935986186446029/31829385739860435963\ 3379438*c_1100_0^8 - 31628524510714896251841624691/3182938573986043\ 59633379438*c_1100_0^7 + 52985032816024715234916845441/318293857398\ 604359633379438*c_1100_0^6 - 28257163001903634562948680845/31829385\ 7398604359633379438*c_1100_0^5 - 6185931346215718399452915363/31829\ 3857398604359633379438*c_1100_0^4 + 12865326677265690164504127380/159146928699302179816689719*c_1100_0^\ 3 - 9945947263128157361276245988/159146928699302179816689719*c_1100\ _0^2 + 3287398760327882297528454659/318293857398604359633379438*c_1\ 100_0 + 667297446993233668292349813/318293857398604359633379438, c_1100_0^20 - 10*c_1100_0^19 + 51*c_1100_0^18 - 170*c_1100_0^17 + 426*c_1100_0^16 - 835*c_1100_0^15 + 1309*c_1100_0^14 - 1617*c_1100_0^13 + 1622*c_1100_0^12 - 1124*c_1100_0^11 + 699*c_1100_0^10 - 473*c_1100_0^9 + 797*c_1100_0^8 - 1285*c_1100_0^7 + 941*c_1100_0^6 - 89*c_1100_0^5 - 548*c_1100_0^4 + 570*c_1100_0^3 - 217*c_1100_0^2 + 19*c_1100_0 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.130 Total time: 3.339 seconds, Total memory usage: 32.09MB