Magma V2.19-8 Tue Aug 20 2013 23:45:28 on localhost [Seed = 2345528910] Type ? for help. Type -D to quit. Loading file "K13n3002__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3002 geometric_solution 11.02007177 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 3 0 0 -3 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303435053505 1.608748375291 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 0 0 -2 0 0 2 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076765794106 1.078464053018 8 0 9 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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.348099358757 0.659065902260 9 10 8 0 0321 0132 0321 0132 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 -1 0 1 0 0 0 0 0 -2 0 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076765794106 1.078464053018 2 6 0 5 3012 1302 0132 1302 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348099358757 0.659065902260 8 1 4 11 1023 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203280387988 0.871809804382 9 9 1 4 1023 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 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 -3 0 3 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457072276431 0.659613490861 10 11 11 1 2031 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 2 1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284954251355 0.661876491846 2 5 3 10 0132 1023 0321 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571201135483 0.625036390068 3 6 6 2 0321 1023 3012 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 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743878790026 0.903752864638 8 3 7 11 3012 0132 1302 2031 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 1 0 -1 0 0 0 0 0 1 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032071458905 1.193055186353 7 10 5 7 1302 1302 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.538274107433 0.613809816124 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_1'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : negation(d['c_0101_7']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_0101_5'], 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_0011_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : negation(d['c_0011_7']), '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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1010_4']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_1010_4']), 'c_1100_6' : negation(d['c_1010_4']), 'c_1100_1' : negation(d['c_1010_4']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0110_4'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1010_4']), 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : d['c_0110_6'], 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : 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_6'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0101_9' : d['c_0011_4'], 'c_0101_8' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : negation(d['c_0011_6']), 'c_1100_9' : d['c_0110_4'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_11, c_0011_4, c_0011_6, c_0011_7, c_0101_1, c_0101_5, c_0101_7, c_0110_4, c_0110_6, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 257923356254009/22857201*c_1010_4^11 + 19125006363110438/5508585441*c_1010_4^10 - 172402280598751018/5508585441*c_1010_4^9 - 15356840884615103/1836195147*c_1010_4^8 + 184617689010066091/5508585441*c_1010_4^7 + 47970478258034870/5508585441*c_1010_4^6 - 10456660571361521/612065049*c_1010_4^5 - 24987307088181268/5508585441*c_1010_4^4 + 7692831583955276/1836195147*c_1010_4^3 + 6491631148705085/5508585441*c_1010_4^2 - 2216363061127841/5508585441*c_1010_4 - 223115290940182/1836195147, c_0011_0 - 1, c_0011_10 - c_1010_4, c_0011_11 + 10060592236/14391571*c_1010_4^11 - 11397729704/14391571*c_1010_4^10 - 30199939785/14391571*c_1010_4^9 + 31141718662/14391571*c_1010_4^8 + 33465381424/14391571*c_1010_4^7 - 31041758284/14391571*c_1010_4^6 - 17634218274/14391571*c_1010_4^5 + 13905940147/14391571*c_1010_4^4 + 4435428720/14391571*c_1010_4^3 - 2784901902/14391571*c_1010_4^2 - 445468048/14391571*c_1010_4 + 195845803/14391571, c_0011_4 + 4577418799/14391571*c_1010_4^11 + 13005907294/14391571*c_1010_4^10 - 10528896270/14391571*c_1010_4^9 - 31782583900/14391571*c_1010_4^8 + 9580646391/14391571*c_1010_4^7 + 28912017516/14391571*c_1010_4^6 - 3499985472/14391571*c_1010_4^5 - 11749345934/14391571*c_1010_4^4 + 460391367/14391571*c_1010_4^3 + 2117060991/14391571*c_1010_4^2 + 973512/14391571*c_1010_4 - 123601376/14391571, c_0011_6 - 8728409306/14391571*c_1010_4^11 - 9399427540/14391571*c_1010_4^10 + 22335617622/14391571*c_1010_4^9 + 22545495068/14391571*c_1010_4^8 - 21853011550/14391571*c_1010_4^7 - 20620312691/14391571*c_1010_4^6 + 9352571446/14391571*c_1010_4^5 + 8467758483/14391571*c_1010_4^4 - 1647527973/14391571*c_1010_4^3 - 1496266300/14391571*c_1010_4^2 + 63445732/14391571*c_1010_4 + 69937928/14391571, c_0011_7 + 29995064609/14391571*c_1010_4^11 - 4095250346/14391571*c_1010_4^10 - 80198307363/14391571*c_1010_4^9 + 15450168006/14391571*c_1010_4^8 + 80300020271/14391571*c_1010_4^7 - 17476283790/14391571*c_1010_4^6 - 37270452711/14391571*c_1010_4^5 + 8918280488/14391571*c_1010_4^4 + 8075723374/14391571*c_1010_4^3 - 2068356975/14391571*c_1010_4^2 - 663931448/14391571*c_1010_4 + 181742034/14391571, c_0101_1 - 16448787430/14391571*c_1010_4^11 + 5631862168/14391571*c_1010_4^10 + 42113052659/14391571*c_1010_4^9 - 16771158607/14391571*c_1010_4^8 - 39556876698/14391571*c_1010_4^7 + 16701618782/14391571*c_1010_4^6 + 17053522616/14391571*c_1010_4^5 - 7495953054/14391571*c_1010_4^4 - 3459200733/14391571*c_1010_4^3 + 1496499694/14391571*c_1010_4^2 + 278753204/14391571*c_1010_4 - 107081256/14391571, c_0101_5 + 33905606042/14391571*c_1010_4^11 + 13166992912/14391571*c_1010_4^10 - 86784287903/14391571*c_1010_4^9 - 28319831529/14391571*c_1010_4^8 + 83262899798/14391571*c_1010_4^7 + 24539006600/14391571*c_1010_4^6 - 35758665508/14391571*c_1010_4^5 - 9439563912/14391571*c_1010_4^4 + 6754256679/14391571*c_1010_4^3 + 1496032906/14391571*c_1010_4^2 - 405644668/14391571*c_1010_4 - 47186171/14391571, c_0101_7 - 2412554359/14391571*c_1010_4^11 - 452516464/14391571*c_1010_4^10 + 6568267716/14391571*c_1010_4^9 + 657507493/14391571*c_1010_4^8 - 7091776363/14391571*c_1010_4^7 - 339708426/14391571*c_1010_4^6 + 3842644781/14391571*c_1010_4^5 - 64364945/14391571*c_1010_4^4 - 1094388579/14391571*c_1010_4^3 + 113095508/14391571*c_1010_4^2 + 128595800/14391571*c_1010_4 - 28344633/14391571, c_0110_4 - 4577418799/14391571*c_1010_4^11 - 13005907294/14391571*c_1010_4^10 + 10528896270/14391571*c_1010_4^9 + 31782583900/14391571*c_1010_4^8 - 9580646391/14391571*c_1010_4^7 - 28912017516/14391571*c_1010_4^6 + 3499985472/14391571*c_1010_4^5 + 11749345934/14391571*c_1010_4^4 - 460391367/14391571*c_1010_4^3 - 2117060991/14391571*c_1010_4^2 - 15365083/14391571*c_1010_4 + 123601376/14391571, c_0110_6 + 8728409306/14391571*c_1010_4^11 + 9399427540/14391571*c_1010_4^10 - 22335617622/14391571*c_1010_4^9 - 22545495068/14391571*c_1010_4^8 + 21853011550/14391571*c_1010_4^7 + 20620312691/14391571*c_1010_4^6 - 9352571446/14391571*c_1010_4^5 - 8467758483/14391571*c_1010_4^4 + 1647527973/14391571*c_1010_4^3 + 1496266300/14391571*c_1010_4^2 - 63445732/14391571*c_1010_4 - 69937928/14391571, c_1010_4^12 + 34/241*c_1010_4^11 - 699/241*c_1010_4^10 - 67/241*c_1010_4^9 + 796/241*c_1010_4^8 + 64/241*c_1010_4^7 - 449/241*c_1010_4^6 - 33/241*c_1010_4^5 + 132/241*c_1010_4^4 + 9/241*c_1010_4^3 - 19/241*c_1010_4^2 - 1/241*c_1010_4 + 1/241 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0101_1, c_0101_5, c_0101_7, c_0110_4, c_0110_6, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 170755356295536546977416132844898111803419/172622371580034895706617\ 398459754472701952*c_1010_4^19 - 7403025735019665185188025169048869\ 99223135/172622371580034895706617398459754472701952*c_1010_4^18 + 58744022111084783025710929110035250680607/5394449111876090490831793\ 701867327271936*c_1010_4^17 + 5069856215757144555086139877324056908\ 540667/86311185790017447853308699229877236350976*c_1010_4^16 - 9763387441109284497657854560122623889526299/17262237158003489570661\ 7398459754472701952*c_1010_4^15 - 194410350300401963725561620089502\ 41770187245/172622371580034895706617398459754472701952*c_1010_4^14 - 12838257519333941945291162369974752918959391/1726223715800348957066\ 17398459754472701952*c_1010_4^13 - 6734745434750530602473032563242634274629231/21577796447504361963327\ 174807469309087744*c_1010_4^12 + 5816793779907571384887795599861681\ 7810411293/172622371580034895706617398459754472701952*c_1010_4^11 + 145954788799574366161196758256700892634426007/172622371580034895706\ 617398459754472701952*c_1010_4^10 - 21510110033252165863422540633054935876627699/4315559289500872392665\ 4349614938618175488*c_1010_4^9 - 2445244152862790593076109633814262\ 496474909/2105150872927254825690456078777493569536*c_1010_4^8 + 51804141303198784880947373954880581768939437/8631118579001744785330\ 8699229877236350976*c_1010_4^7 + 5258105024563192624416489839245356\ 7411462419/86311185790017447853308699229877236350976*c_1010_4^6 - 102212128226007278726144360781522129654884305/172622371580034895706\ 617398459754472701952*c_1010_4^5 - 28139916244798660603876420406989718894120185/4315559289500872392665\ 4349614938618175488*c_1010_4^4 + 4800126472065502388092919776672487\ 1159154607/172622371580034895706617398459754472701952*c_1010_4^3 + 45124191365846778458998458160216995330957867/1726223715800348957066\ 17398459754472701952*c_1010_4^2 - 162999566131261903326159566590296\ 118636927/1583691482385641245014838517979398832128*c_1010_4 - 2693028730819403342685808122583086747110565/21577796447504361963327\ 174807469309087744, c_0011_0 - 1, c_0011_10 - c_1010_4, c_0011_11 + 43517035826718557203556569141337/20389897340372152647789100\ 06874432*c_1010_4^19 + 187582863601632648064292128498565/2038989734\ 037215264778910006874432*c_1010_4^18 - 14937370368902476836790365224669/63718429188662977024340937714826*c\ _1010_4^17 - 1272788973496886591423603030183545/1019494867018607632\ 389455003437216*c_1010_4^16 + 2496502899649675432849621530017049/20\ 38989734037215264778910006874432*c_1010_4^15 + 4537599875998621774508937907147135/20389897340372152647789100068744\ 32*c_1010_4^14 + 3386752215395868080357566261783237/203898973403721\ 5264778910006874432*c_1010_4^13 + 179093708563601922640401086623294\ 9/254873716754651908097363750859304*c_1010_4^12 - 14653006864666383352779146216293903/2038989734037215264778910006874\ 432*c_1010_4^11 - 34610246685376644807308287174929197/2038989734037\ 215264778910006874432*c_1010_4^10 + 5432032988606864587415960698588849/50974743350930381619472750171860\ 8*c_1010_4^9 + 22668205983972525679325596635076103/1019494867018607\ 632389455003437216*c_1010_4^8 - 12836102334748634874273934192081311\ /1019494867018607632389455003437216*c_1010_4^7 - 10306937225959109381779793286120929/1019494867018607632389455003437\ 216*c_1010_4^6 + 23154055950283562956327579002256267/20389897340372\ 15264778910006874432*c_1010_4^5 + 650659171648862294618168267342582\ 7/509747433509303816194727501718608*c_1010_4^4 - 8640418542105844662832996735678453/20389897340372152647789100068744\ 32*c_1010_4^3 - 8609191430471908476251983125689481/2038989734037215\ 264778910006874432*c_1010_4^2 + 3187043048546432492741577501728193/\ 2038989734037215264778910006874432*c_1010_4 + 576355359440892958380428335809367/254873716754651908097363750859304\ , c_0011_4 + 94318739794637368765614043277305/943032751992212059960245878\ 1794248*c_1010_4^19 + 377531718584123773054002236987549/94303275199\ 22120599602458781794248*c_1010_4^18 - 147620076275717298788151000716762/117879093999026507495030734772428\ 1*c_1010_4^17 - 2647876087531273842146221636545941/4715163759961060\ 299801229390897124*c_1010_4^16 + 7276403547000104138216345557199705\ /9430327519922120599602458781794248*c_1010_4^15 + 9459135231620999565371610373736999/94303275199221205996024587817942\ 48*c_1010_4^14 + 3843895269514833690178121283201829/943032751992212\ 0599602458781794248*c_1010_4^13 + 326023245658472195969791519391139\ 8/1178790939990265074950307347724281*c_1010_4^12 - 43663374094097385195884553828690871/9430327519922120599602458781794\ 248*c_1010_4^11 - 73709808127776456834553021635446373/9430327519922\ 120599602458781794248*c_1010_4^10 + 18067494234914634640239895008081619/2357581879980530149900614695448\ 562*c_1010_4^9 + 52746432018360014381086319987355931/47151637599610\ 60299801229390897124*c_1010_4^8 - 440986327865369415855663333464430\ 47/4715163759961060299801229390897124*c_1010_4^7 - 23907081133614095104670470040560113/4715163759961060299801229390897\ 124*c_1010_4^6 + 68706702057861337752656684981573443/94303275199221\ 20599602458781794248*c_1010_4^5 + 107942976789406242637265238984035\ 63/2357581879980530149900614695448562*c_1010_4^4 - 43878878597735958494417166598782493/9430327519922120599602458781794\ 248*c_1010_4^3 - 14126465557472086571582883530083281/94303275199221\ 20599602458781794248*c_1010_4^2 + 100337882643779399694674272766708\ 09/9430327519922120599602458781794248*c_1010_4 + 807634923283684270082150208146396/117879093999026507495030734772428\ 1, c_0011_6 - 151392166532157466986939113714205/94303275199221205996024587\ 81794248*c_1010_4^19 - 690436718964309415253950763476937/9430327519\ 922120599602458781794248*c_1010_4^18 + 190923644688596290489499964021702/117879093999026507495030734772428\ 1*c_1010_4^17 + 4695988813362992806838099309493117/4715163759961060\ 299801229390897124*c_1010_4^16 - 6753240107428301685142743894775877\ /9430327519922120599602458781794248*c_1010_4^15 - 19515339415436982984270131566036907/9430327519922120599602458781794\ 248*c_1010_4^14 - 14366978340768921409464044585612665/9430327519922\ 120599602458781794248*c_1010_4^13 - 6345829493072038691843787038068391/11787909399902650749503073477242\ 81*c_1010_4^12 + 41375062931781632993810637810535379/94303275199221\ 20599602458781794248*c_1010_4^11 + 143507541941171090039402568524848049/943032751992212059960245878179\ 4248*c_1010_4^10 - 12877805005590312665597832932595745/235758187998\ 0530149900614695448562*c_1010_4^9 - 96194781436109672663696724216852475/4715163759961060299801229390897\ 124*c_1010_4^8 + 28974421932154415059210058161474243/47151637599610\ 60299801229390897124*c_1010_4^7 + 564765671950755718013073581525924\ 13/4715163759961060299801229390897124*c_1010_4^6 - 79368422665688499867623359105953407/9430327519922120599602458781794\ 248*c_1010_4^5 - 28882385771018871028087571316395823/23575818799805\ 30149900614695448562*c_1010_4^4 + 247763252190637704711566053932350\ 73/9430327519922120599602458781794248*c_1010_4^3 + 59759626313426264534441707626390253/9430327519922120599602458781794\ 248*c_1010_4^2 - 14881050081037552711148668710306861/94303275199221\ 20599602458781794248*c_1010_4 - 2895261862174463538607821308451228/\ 1178790939990265074950307347724281, c_0011_7 + 1667265968881289482018954750081145/7544262015937696479681967\ 0254353984*c_1010_4^19 + 7538202269857429676009833860154533/7544262\ 0159376964796819670254353984*c_1010_4^18 - 520366269316127981319335795134009/235758187998053014990061469544856\ 2*c_1010_4^17 - 50374398426980685811812222951709241/377213100796884\ 82398409835127176992*c_1010_4^16 + 73690996754593676202049419091533753/7544262015937696479681967025435\ 3984*c_1010_4^15 + 185994737883615441955284339081481375/75442620159\ 376964796819670254353984*c_1010_4^14 + 171727135276034156202269552339029989/754426201593769647968196702543\ 53984*c_1010_4^13 + 72850441819779161257069032495689189/94303275199\ 22120599602458781794248*c_1010_4^12 - 412658809948284458796308269825132143/754426201593769647968196702543\ 53984*c_1010_4^11 - 1388461133252737394370123373436306509/754426201\ 59376964796819670254353984*c_1010_4^10 + 125678661639288337362250177314063201/188606550398442411992049175635\ 88496*c_1010_4^9 + 924498247333517082599581812712556967/37721310079\ 688482398409835127176992*c_1010_4^8 - 335554364442400057592337992526546751/377213100796884823984098351271\ 76992*c_1010_4^7 - 454494400571861708475348855106197633/37721310079\ 688482398409835127176992*c_1010_4^6 + 871794468189898335859253333204120299/754426201593769647968196702543\ 53984*c_1010_4^5 + 293044331529273703749175566518977939/18860655039\ 844241199204917563588496*c_1010_4^4 - 301773603853125143966152275343674517/754426201593769647968196702543\ 53984*c_1010_4^3 - 305504231137031577114881952142216425/75442620159\ 376964796819670254353984*c_1010_4^2 + 158457741558067950874959003039010913/754426201593769647968196702543\ 53984*c_1010_4 + 25851762859568508867210986133390967/94303275199221\ 20599602458781794248, c_0101_1 - 2396949383067512508417241201768593/7544262015937696479681967\ 0254353984*c_1010_4^19 - 10690512956834485648356704500187549/754426\ 20159376964796819670254353984*c_1010_4^18 + 772986809161320551500238050968045/235758187998053014990061469544856\ 2*c_1010_4^17 + 71885871105159516539823876516835153/377213100796884\ 82398409835127176992*c_1010_4^16 - 116713902865834923238808426857965201/754426201593769647968196702543\ 53984*c_1010_4^15 - 265501144302518953383212197734334727/7544262015\ 9376964796819670254353984*c_1010_4^14 - 216251657135285387976197447138859357/754426201593769647968196702543\ 53984*c_1010_4^13 - 104392144731710223296075435552518165/9430327519\ 922120599602458781794248*c_1010_4^12 + 657258825168907809709825455527494487/754426201593769647968196702543\ 53984*c_1010_4^11 + 2005742161642199389079436913412042693/754426201\ 59376964796819670254353984*c_1010_4^10 - 230027605357129298091898596311629385/188606550398442411992049175635\ 88496*c_1010_4^9 - 1275701550920426637287427513919663567/3772131007\ 9688482398409835127176992*c_1010_4^8 + 611107232524238828582491750017218407/377213100796884823984098351271\ 76992*c_1010_4^7 + 576601091605484308356911771412505625/37721310079\ 688482398409835127176992*c_1010_4^6 - 1450671005170193884912739735934685747/75442620159376964796819670254\ 353984*c_1010_4^5 - 358681208996556701003049648127640907/1886065503\ 9844241199204917563588496*c_1010_4^4 + 486286675214338700231712060276248397/754426201593769647968196702543\ 53984*c_1010_4^3 + 394455736651712766836501296101929409/75442620159\ 376964796819670254353984*c_1010_4^2 - 269433952706278241075707957089120633/754426201593769647968196702543\ 53984*c_1010_4 - 25369780948420178902565399271312415/94303275199221\ 20599602458781794248, c_0101_5 + 1, c_0101_7 - 1074049358047422431890871632729397/3772131007968848239840983\ 5127176992*c_1010_4^19 - 4717562086840254749971286620996529/3772131\ 0079688482398409835127176992*c_1010_4^18 + 355656163814075707869462192329011/117879093999026507495030734772428\ 1*c_1010_4^17 + 31821640343809113531281724337121045/188606550398442\ 41199204917563588496*c_1010_4^16 - 56071193366283583758599706715642229/3772131007968848239840983512717\ 6992*c_1010_4^15 - 115235555947401560400407854304498691/37721310079\ 688482398409835127176992*c_1010_4^14 - 94824175057046605523799366300535217/3772131007968848239840983512717\ 6992*c_1010_4^13 - 44998794852729468840359161365294137/471516375996\ 1060299801229390897124*c_1010_4^12 + 324686700778588277464036026109007155/377213100796884823984098351271\ 76992*c_1010_4^11 + 869368026569413864603611006571275385/3772131007\ 9688482398409835127176992*c_1010_4^10 - 112524210250896231092476448045091749/943032751992212059960245878179\ 4248*c_1010_4^9 - 580926345069426995639117544250010411/188606550398\ 44241199204917563588496*c_1010_4^8 + 275235607754148426955337296203631347/188606550398442411992049175635\ 88496*c_1010_4^7 + 276604248259518431784823856674299069/18860655039\ 844241199204917563588496*c_1010_4^6 - 556541192307374044631337766364929791/377213100796884823984098351271\ 76992*c_1010_4^5 - 176183852200056372535056416716676423/94303275199\ 22120599602458781794248*c_1010_4^4 + 215905729736134345408278246274048833/377213100796884823984098351271\ 76992*c_1010_4^3 + 213500073383449651857688881012051621/37721310079\ 688482398409835127176992*c_1010_4^2 - 104946273216942179968615212540537341/377213100796884823984098351271\ 76992*c_1010_4 - 16560685703681075810905835558971539/47151637599610\ 60299801229390897124, c_0110_4 + 94318739794637368765614043277305/943032751992212059960245878\ 1794248*c_1010_4^19 + 377531718584123773054002236987549/94303275199\ 22120599602458781794248*c_1010_4^18 - 147620076275717298788151000716762/117879093999026507495030734772428\ 1*c_1010_4^17 - 2647876087531273842146221636545941/4715163759961060\ 299801229390897124*c_1010_4^16 + 7276403547000104138216345557199705\ /9430327519922120599602458781794248*c_1010_4^15 + 9459135231620999565371610373736999/94303275199221205996024587817942\ 48*c_1010_4^14 + 3843895269514833690178121283201829/943032751992212\ 0599602458781794248*c_1010_4^13 + 326023245658472195969791519391139\ 8/1178790939990265074950307347724281*c_1010_4^12 - 43663374094097385195884553828690871/9430327519922120599602458781794\ 248*c_1010_4^11 - 73709808127776456834553021635446373/9430327519922\ 120599602458781794248*c_1010_4^10 + 18067494234914634640239895008081619/2357581879980530149900614695448\ 562*c_1010_4^9 + 52746432018360014381086319987355931/47151637599610\ 60299801229390897124*c_1010_4^8 - 440986327865369415855663333464430\ 47/4715163759961060299801229390897124*c_1010_4^7 - 23907081133614095104670470040560113/4715163759961060299801229390897\ 124*c_1010_4^6 + 68706702057861337752656684981573443/94303275199221\ 20599602458781794248*c_1010_4^5 + 107942976789406242637265238984035\ 63/2357581879980530149900614695448562*c_1010_4^4 - 43878878597735958494417166598782493/9430327519922120599602458781794\ 248*c_1010_4^3 - 14126465557472086571582883530083281/94303275199221\ 20599602458781794248*c_1010_4^2 + 100337882643779399694674272766708\ 09/9430327519922120599602458781794248*c_1010_4 + 807634923283684270082150208146396/117879093999026507495030734772428\ 1, c_0110_6 + 3750289441495017244186339651015/2548737167546519080973637508\ 59304*c_1010_4^19 + 16232445648891350143604891757339/25487371675465\ 1908097363750859304*c_1010_4^18 - 5102287774525806134180117233768/3\ 1859214594331488512170468857413*c_1010_4^17 - 109794580662216247524322490913395/127436858377325954048681875429652\ *c_1010_4^16 + 210667030902766488199956435008007/254873716754651908\ 097363750859304*c_1010_4^15 + 387160765348149617871545317534497/254\ 873716754651908097363750859304*c_1010_4^14 + 297880634046471519366704452551227/254873716754651908097363750859304\ *c_1010_4^13 + 158918002726787061887700306167753/318592145943314885\ 12170468857413*c_1010_4^12 - 1227580861712875262190371239796985/254\ 873716754651908097363750859304*c_1010_4^11 - 2998877227177102915531098048713115/25487371675465190809736375085930\ 4*c_1010_4^10 + 451749851811445194969860397813901/63718429188662977\ 024340937714826*c_1010_4^9 + 1871054636282230522156025760000853/127\ 436858377325954048681875429652*c_1010_4^8 - 1066992410876253235920025144009749/12743685837732595404868187542965\ 2*c_1010_4^7 - 699179443620997482834345155524287/127436858377325954\ 048681875429652*c_1010_4^6 + 2077541030528711784344838383100869/254\ 873716754651908097363750859304*c_1010_4^5 + 491677980683155296469147422053637/63718429188662977024340937714826*\ c_1010_4^4 - 713489169564812105464766015226299/25487371675465190809\ 7363750859304*c_1010_4^3 - 225101106488749448252002003996727/254873\ 716754651908097363750859304*c_1010_4^2 + 381019428746915300097816185300047/254873716754651908097363750859304\ *c_1010_4 + 11657821232387068691386100283924/3185921459433148851217\ 0468857413, c_1010_4^20 + 5*c_1010_4^19 - 8*c_1010_4^18 - 66*c_1010_4^17 + 17*c_1010_4^16 + 143*c_1010_4^15 + 149*c_1010_4^14 + 384*c_1010_4^13 - 103*c_1010_4^12 - 1021*c_1010_4^11 - 52*c_1010_4^10 + 1374*c_1010_4^9 + 98*c_1010_4^8 - 866*c_1010_4^7 + 275*c_1010_4^6 + 980*c_1010_4^5 + 163*c_1010_4^4 - 329*c_1010_4^3 - 15*c_1010_4^2 + 176*c_1010_4 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.440 Total time: 1.649 seconds, Total memory usage: 32.09MB