Magma V2.19-8 Wed Aug 21 2013 01:07:39 on localhost [Seed = 525927940] Type ? for help. Type -D to quit. Loading file "L14n33579__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33579 geometric_solution 11.66271454 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 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 1 0 -1 -1 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 0.419653930859 0.714609244207 0 0 5 4 0132 1230 0132 0132 1 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 -1 0 1 1 0 -1 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.684800034684 0.843228654832 6 0 8 7 0132 0132 0132 0132 1 1 0 1 0 0 -1 1 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 6 -5 1 0 -1 0 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711640381262 0.411983502069 9 10 0 11 0132 0132 0132 0132 1 1 1 1 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 0 0 0 0 0 1 -1 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793841179690 0.687414196907 11 5 1 8 0132 0213 0132 1302 1 1 1 0 0 0 0 0 1 0 0 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -5 0 0 5 0 6 0 -6 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146917642560 0.523751602393 7 11 4 1 0213 1302 0213 0132 1 1 1 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 5 0 -6 1 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.557075160490 0.667429113967 2 7 11 10 0132 2103 3012 1230 1 1 1 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632702867289 0.938480579943 5 6 2 9 0213 2103 0132 0213 1 1 1 0 0 0 -1 1 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 5 -5 0 0 0 0 -5 0 0 5 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.284896733850 0.752384646129 9 12 4 2 1230 0132 2031 0132 1 1 1 1 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 -1 1 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373411578361 0.508151968312 3 8 12 7 0132 3012 1230 0213 1 1 1 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 -5 0 5 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146131173682 0.432248202321 6 3 12 12 3012 0132 3201 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590402622625 0.707322788765 4 6 3 5 0132 1230 0132 2031 1 1 0 1 0 0 0 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 0 0 0 0 0 -1 1 0 5 0 -5 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410188586010 1.133528045409 10 8 10 9 2310 0132 0132 3012 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.044784926222 0.904755483019 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_5'], 'c_1010_10' : d['c_1001_12'], 's_3_11' : d['1'], 's_3_10' : 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_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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_8']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : negation(d['c_0101_8']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(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'], 'c_1100_12' : negation(d['c_0011_12']), '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_8'], '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_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0101_1']), 'c_0110_6' : 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_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 157954752095180130357193328827956393068197760569527917/192695882186\ 8646587174995254774391546638454084515*c_1001_12^17 + 504753371306378105197353910870736625407325109055383333/385391764373\ 7293174349990509548783093276908169030*c_1001_12^16 - 1643749498859585651418965010199516411627008694150476864/19269588218\ 68646587174995254774391546638454084515*c_1001_12^15 - 882924249489841798419243423020316154866915683897310267/440447730712\ 833505639998915377003782088789505032*c_1001_12^14 + 10343780406518423422868476792286091788336996704026360307/3083134114\ 989834539479992407639026474621526535224*c_1001_12^13 + 23768905088827187236862404841740884119571602363295152601/2202238653\ 564167528199994576885018910443947525160*c_1001_12^12 - 9422432784757788058152871330459359762184502377894524448/19269588218\ 68646587174995254774391546638454084515*c_1001_12^11 - 447256254707772097958567612486399807193134807963482677521/154156705\ 74949172697399962038195132373107632676120*c_1001_12^10 + 9162898954972039279550753763896593817954216068438008169/15415670574\ 949172697399962038195132373107632676120*c_1001_12^9 + 87744276397827266698355423488444500124495429688897457303/2202238653\ 564167528199994576885018910443947525160*c_1001_12^8 + 6960073660538589053148467135516723119774317668247484479/30831341149\ 89834539479992407639026474621526535224*c_1001_12^7 - 476728781698956222500762812527697548720765481145724360257/154156705\ 74949172697399962038195132373107632676120*c_1001_12^6 + 103499499120567035404911778218451790170920985959633702489/154156705\ 74949172697399962038195132373107632676120*c_1001_12^5 + 10014288173745423736011237328786329893927050472028218329/2202238653\ 564167528199994576885018910443947525160*c_1001_12^4 - 528066573264800098038483475596297841318046107104122693/110111932678\ 2083764099997288442509455221973762580*c_1001_12^3 - 119185381902172740791832595710114832496596295960066887/440447730712\ 833505639998915377003782088789505032*c_1001_12^2 + 396744926290858302977798455088505163572280562063771/682109317475627\ 11050442309903518284836759436620*c_1001_12 + 49156538018239043332820166773337735835197756854280863/7707835287474\ 586348699981019097566186553816338060, c_0011_0 - 1, c_0011_10 + 55709978811209863899682724140492929345107120/12584379374649\ 17445978325257826756612348627*c_1001_12^17 + 94493232109373313985023058888148332608951152/1258437937464917445978\ 325257826756612348627*c_1001_12^16 - 81375518958964366847304799066972685679323040/1797768482092739208540\ 46465403822373192661*c_1001_12^15 - 1415701402645068252396924614516190406441940860/12584379374649174459\ 78325257826756612348627*c_1001_12^14 + 43586839725320980429873665099609011911040899/2568240688703913155057\ 8066486260339027523*c_1001_12^13 + 15026971703620769102123855417299726197698316073/2516875874929834891\ 956650515653513224697254*c_1001_12^12 - 5189127136580722732841293764140716223747513181/25168758749298348919\ 56650515653513224697254*c_1001_12^11 - 19843952451440597222919528140237644378779024761/1258437937464917445\ 978325257826756612348627*c_1001_12^10 - 2794713215308125650227639297509287674011955917/25168758749298348919\ 56650515653513224697254*c_1001_12^9 + 26728193537027734537337071553508799031344074608/1258437937464917445\ 978325257826756612348627*c_1001_12^8 + 76536170844692908444682317558292026488334680/2568240688703913155057\ 8066486260339027523*c_1001_12^7 - 205633065762298475807334272753252\ 71250290921349/1258437937464917445978325257826756612348627*c_1001_1\ 2^6 + 5916064876252007417585651837298702309072939103/25168758749298\ 34891956650515653513224697254*c_1001_12^5 + 3384107106604521186029039517179089220326920541/12584379374649174459\ 78325257826756612348627*c_1001_12^4 - 349695670402949612068911029688386432093298485/251687587492983489195\ 6650515653513224697254*c_1001_12^3 - 20703598028756668280898858324024996041204669/1324671513120965732608\ 76342929132274984066*c_1001_12^2 + 5711067453095895203689622222632861228482947/25168758749298348919566\ 50515653513224697254*c_1001_12 + 4544750966525357737349094066804599\ 528031259/1258437937464917445978325257826756612348627, c_0011_11 - 208168134769864859963775874786052117371030152/1258437937464\ 917445978325257826756612348627*c_1001_12^17 - 341251316701584361452510274393181169264723772/125843793746491744597\ 8325257826756612348627*c_1001_12^16 + 43908038284278688187853600925305094858052980/2568240688703913155057\ 8066486260339027523*c_1001_12^15 + 5174199379586869654263965467984317038103950357/12584379374649174459\ 78325257826756612348627*c_1001_12^14 - 1187242091012873644590403520377687421137506628/17977684820927392085\ 4046465403822373192661*c_1001_12^13 - 27698970985486293157931621820554978478354722600/1258437937464917445\ 978325257826756612348627*c_1001_12^12 + 11395211229711385543720355701428667901561570215/1258437937464917445\ 978325257826756612348627*c_1001_12^11 + 74005942700624580196796495267010013979836964505/1258437937464917445\ 978325257826756612348627*c_1001_12^10 + 915933898226429339432305380039921492915707053/125843793746491744597\ 8325257826756612348627*c_1001_12^9 - 101228619910895663427434764798376921099872850023/125843793746491744\ 5978325257826756612348627*c_1001_12^8 - 1220316627588135768997550846815462878928722972/17977684820927392085\ 4046465403822373192661*c_1001_12^7 + 79015617099420495772328387293732843129647358394/1258437937464917445\ 978325257826756612348627*c_1001_12^6 - 15030563311752593887741623866818858298486089406/1258437937464917445\ 978325257826756612348627*c_1001_12^5 - 13024572997240290290937744036354111928375275071/1258437937464917445\ 978325257826756612348627*c_1001_12^4 + 1386238342476646598144273938798689567708605213/12584379374649174459\ 78325257826756612348627*c_1001_12^3 + 44496738775888586954132814811496354238382707/6623357565604828663043\ 8171464566137492033*c_1001_12^2 - 312344886082653568093741979838598\ 16231691900/1258437937464917445978325257826756612348627*c_1001_12 - 20846267272060645469653383183467651816117566/1258437937464917445978\ 325257826756612348627, c_0011_12 + 33609988927974297416244605936609794644536892/12584379374649\ 17445978325257826756612348627*c_1001_12^17 + 53516996436253402669734327013350069583844438/1258437937464917445978\ 325257826756612348627*c_1001_12^16 - 49833461535495885579733898825251388292322832/1797768482092739208540\ 46465403822373192661*c_1001_12^15 - 1634339213288847082638238765549557875945402159/25168758749298348919\ 56650515653513224697254*c_1001_12^14 + 391316722623385548438900025728920953089579533/359553696418547841708\ 092930807644746385322*c_1001_12^13 + 4380676402817571415465424092308851355446877064/12584379374649174459\ 78325257826756612348627*c_1001_12^12 - 4014302554791001233945481953423678877628210427/25168758749298348919\ 56650515653513224697254*c_1001_12^11 - 11712569922607666187791934071046150134631253650/1258437937464917445\ 978325257826756612348627*c_1001_12^10 + 360769765910450332451280112099884413085631466/125843793746491744597\ 8325257826756612348627*c_1001_12^9 + 15959103589743385602760513655157380106341078689/1258437937464917445\ 978325257826756612348627*c_1001_12^8 + 24133320081661759418508167886174235220968625/5136481377407826310115\ 6132972520678055046*c_1001_12^7 - 123001210955993878998830917746117\ 47953830640772/1258437937464917445978325257826756612348627*c_1001_1\ 2^6 + 6157805774164508848838413878058046066364906953/25168758749298\ 34891956650515653513224697254*c_1001_12^5 + 3175777440160706175558446784709797524551039167/25168758749298348919\ 56650515653513224697254*c_1001_12^4 - 480534967712821769777831218783217007084316739/251687587492983489195\ 6650515653513224697254*c_1001_12^3 - 3527395294797340534985291730094411742457941/66233575656048286630438\ 171464566137492033*c_1001_12^2 + 3203489945511581597889504664856044\ 353971334/1258437937464917445978325257826756612348627*c_1001_12 + 341426760999882421808094115366591089729083/125843793746491744597832\ 5257826756612348627, c_0011_5 + 8210237499908876689183371555972951403185544/1797768482092739\ 20854046465403822373192661*c_1001_12^17 + 12971942646981492900356032072557469286894312/1797768482092739208540\ 46465403822373192661*c_1001_12^16 - 85124383941673678047969436980250460067874946/1797768482092739208540\ 46465403822373192661*c_1001_12^15 - 28318546041094315105189576804453920308105569/2568240688703913155057\ 8066486260339027523*c_1001_12^14 + 668703845627299028016040676131933433864771937/359553696418547841708\ 092930807644746385322*c_1001_12^13 + 1060542636135715341933065637341616838038880175/17977684820927392085\ 4046465403822373192661*c_1001_12^12 - 70287593299169966011131232675959737163260433/2568240688703913155057\ 8066486260339027523*c_1001_12^11 - 2825174616448981928594330547621293083976070591/17977684820927392085\ 4046465403822373192661*c_1001_12^10 + 202994687096387096085292185281076759403160217/359553696418547841708\ 092930807644746385322*c_1001_12^9 + 7630418846124048408311878264252649788999222485/35955369641854784170\ 8092930807644746385322*c_1001_12^8 + 117636899034539933951143159508380633055569722/179776848209273920854\ 046465403822373192661*c_1001_12^7 - 5785371419080088774177607269749130104813517867/35955369641854784170\ 8092930807644746385322*c_1001_12^6 + 1537897164169701467154457798242615236006391965/35955369641854784170\ 8092930807644746385322*c_1001_12^5 + 293090643491041756824688626264117945222786285/179776848209273920854\ 046465403822373192661*c_1001_12^4 - 22715228700370007012170424472646853759162799/1797768482092739208540\ 46465403822373192661*c_1001_12^3 - 1612622923178868544167203446865020011791447/18923878758870939037268\ 048989876039283438*c_1001_12^2 + 1681214432912057702741719836896603\ 13918623/179776848209273920854046465403822373192661*c_1001_12 + 713894140698677851043658227267026896302731/359553696418547841708092\ 930807644746385322, c_0101_0 + 666781423331448203039662333597772502290412/12584379374649174\ 45978325257826756612348627*c_1001_12^17 + 8550913681391936442154697745380594293076630/12584379374649174459783\ 25257826756612348627*c_1001_12^16 + 1451251468145990534355463101187293918068256/17977684820927392085404\ 6465403822373192661*c_1001_12^15 - 170428655231415210061162285262927795715850343/251687587492983489195\ 6650515653513224697254*c_1001_12^14 - 59305583590568487299202680941966792781244545/3595536964185478417080\ 92930807644746385322*c_1001_12^13 + 522717790229605901086642788183243953398621395/251687587492983489195\ 6650515653513224697254*c_1001_12^12 + 2266915831018245501003055379370367791263232603/25168758749298348919\ 56650515653513224697254*c_1001_12^11 + 26796877819100386100287790525426076581447141/2516875874929834891956\ 650515653513224697254*c_1001_12^10 - 5681545289176166209009702630304393302354325111/25168758749298348919\ 56650515653513224697254*c_1001_12^9 - 2857896366195076946037807113360034250662597547/25168758749298348919\ 56650515653513224697254*c_1001_12^8 + 981290901567721842803642465082535207866628287/359553696418547841708\ 092930807644746385322*c_1001_12^7 + 2332226992107617944167817039961799887528213129/12584379374649174459\ 78325257826756612348627*c_1001_12^6 - 2327963041959490536596069827260803616547265421/12584379374649174459\ 78325257826756612348627*c_1001_12^5 - 1138852121776115504959187413225159067837333983/12584379374649174459\ 78325257826756612348627*c_1001_12^4 + 619044895875309678473083275433702361937379473/125843793746491744597\ 8325257826756612348627*c_1001_12^3 + 11321677749711307489717114261286013421224257/6623357565604828663043\ 8171464566137492033*c_1001_12^2 - 202854624539933640112997863858871\ 03383635549/1258437937464917445978325257826756612348627*c_1001_12 - 18138798646818353700225788465993538117833047/2516875874929834891956\ 650515653513224697254, c_0101_1 - 1, c_0101_10 + 20145533462774438074323554439757269053433456/12584379374649\ 17445978325257826756612348627*c_1001_12^17 + 22070717961392134902538171218215287661619504/1258437937464917445978\ 325257826756612348627*c_1001_12^16 - 4598306471357619769003308415775171834818636/25682406887039131550578\ 066486260339027523*c_1001_12^15 - 386446225114346793783163280198667\ 150327257202/1258437937464917445978325257826756612348627*c_1001_12^\ 14 + 21778468966073777853681771073193702316292235/25682406887039131\ 550578066486260339027523*c_1001_12^13 + 2225270479497627726354102449818768039895351528/12584379374649174459\ 78325257826756612348627*c_1001_12^12 - 2517754883458795398161635476134711144092358421/12584379374649174459\ 78325257826756612348627*c_1001_12^11 - 6459969486289823555227042271301953208967976211/12584379374649174459\ 78325257826756612348627*c_1001_12^10 + 3714905518873671318267936763637422989608602675/12584379374649174459\ 78325257826756612348627*c_1001_12^9 + 9551098449527903311042200023268379978664222872/12584379374649174459\ 78325257826756612348627*c_1001_12^8 - 627336131422778053619952111730593950200377331/179776848209273920854\ 046465403822373192661*c_1001_12^7 - 7663352328834684230879365349891794412607076594/12584379374649174459\ 78325257826756612348627*c_1001_12^6 + 5500586043764870904203040065331923189325325809/12584379374649174459\ 78325257826756612348627*c_1001_12^5 + 117358024420392189563599838927389295399162124/125843793746491744597\ 8325257826756612348627*c_1001_12^4 - 643209343064040305875503109025688173803691976/125843793746491744597\ 8325257826756612348627*c_1001_12^3 + 1688437426844963415975119098522467786055596/66233575656048286630438\ 171464566137492033*c_1001_12^2 + 1855917730469493575018477023707570\ 1465093920/1258437937464917445978325257826756612348627*c_1001_12 - 1022794657901811199953752772794341744468710/12584379374649174459783\ 25257826756612348627, c_0101_11 + 68186231074601362902772416494113061239252816/12584379374649\ 17445978325257826756612348627*c_1001_12^17 + 108500766079270024294285450524265086004290344/125843793746491744597\ 8325257826756612348627*c_1001_12^16 - 101201921921113250419117143322973354793526756/179776848209273920854\ 046465403822373192661*c_1001_12^15 - 1658427221833290566011513719931452670480362664/12584379374649174459\ 78325257826756612348627*c_1001_12^14 + 397964785079406485267117102583346571507968042/179776848209273920854\ 046465403822373192661*c_1001_12^13 + 17804799676944478229443715842497174965147139739/2516875874929834891\ 956650515653513224697254*c_1001_12^12 - 8189581921550420429956120765604814757883162271/25168758749298348919\ 56650515653513224697254*c_1001_12^11 - 23844310867252663312524451218835948828938117295/1258437937464917445\ 978325257826756612348627*c_1001_12^10 + 1481025554044820938605943746739684495761613299/25168758749298348919\ 56650515653513224697254*c_1001_12^9 + 32575668186391598523886896353500716720612223276/1258437937464917445\ 978325257826756612348627*c_1001_12^8 + 182148344365190420862051388399795732816310447/179776848209273920854\ 046465403822373192661*c_1001_12^7 - 25175790227058743480882980165686222369967142728/1258437937464917445\ 978325257826756612348627*c_1001_12^6 + 12288362470611752027825283102082866238488306477/2516875874929834891\ 956650515653513224697254*c_1001_12^5 + 3366121639540635541105062797004343809134741242/12584379374649174459\ 78325257826756612348627*c_1001_12^4 - 947253353662107387552636889384847169898106011/251687587492983489195\ 6650515653513224697254*c_1001_12^3 - 17379781752590333143060083516560182589153709/1324671513120965732608\ 76342929132274984066*c_1001_12^2 + 15044805459901886214721596758541418443658159/2516875874929834891956\ 650515653513224697254*c_1001_12 + 245739948497613983553732502128154\ 4958789087/1258437937464917445978325257826756612348627, c_0101_12 - 7565380571399492785300813784441169794118972/125843793746491\ 7445978325257826756612348627*c_1001_12^17 - 14024732323654309828200226562378926266602270/1258437937464917445978\ 325257826756612348627*c_1001_12^16 + 10830351290693523540197136850730596140876532/1797768482092739208540\ 46465403822373192661*c_1001_12^15 + 410719064799023015501433359414053865948476031/251687587492983489195\ 6650515653513224697254*c_1001_12^14 - 75533315913981618523061282133832994620468319/3595536964185478417080\ 92930807644746385322*c_1001_12^13 - 1079002114985120672200288460293940931269689267/12584379374649174459\ 78325257826756612348627*c_1001_12^12 + 413131811413439354853949883403980129669935963/251687587492983489195\ 6650515653513224697254*c_1001_12^11 + 2815597386336319769552862834200736299146588007/12584379374649174459\ 78325257826756612348627*c_1001_12^10 + 606583302619792964204491391642842169225561951/125843793746491744597\ 8325257826756612348627*c_1001_12^9 - 3760751361928384848442118862952204350040485135/12584379374649174459\ 78325257826756612348627*c_1001_12^8 - 320123873073798459308500725578202113656868583/359553696418547841708\ 092930807644746385322*c_1001_12^7 + 2911036744406117351410013182831193578160023143/12584379374649174459\ 78325257826756612348627*c_1001_12^6 + 177111045675508499772090436758155577377902271/251687587492983489195\ 6650515653513224697254*c_1001_12^5 - 1341474298479575832618488670379891635002896121/25168758749298348919\ 56650515653513224697254*c_1001_12^4 - 57221580214097840619923666591482714831419453/2516875874929834891956\ 650515653513224697254*c_1001_12^3 + 2874227429214793212352678182728365159845467/66233575656048286630438\ 171464566137492033*c_1001_12^2 - 2496053869483853373436376121253495\ 33742389/1258437937464917445978325257826756612348627*c_1001_12 - 2004527497660148746559941030815374876449211/12584379374649174459783\ 25257826756612348627, c_0101_8 + 40488268936084647991858650451434169508781572/125843793746491\ 7445978325257826756612348627*c_1001_12^17 + 72348278778531312843378464101539457601257734/1258437937464917445978\ 325257826756612348627*c_1001_12^16 - 58318207251235753887667947303758467818306822/1797768482092739208540\ 46465403822373192661*c_1001_12^15 - 2133856631544487964433634764817102853169119681/25168758749298348919\ 56650515653513224697254*c_1001_12^14 + 209174862232263147503287331497327857171768225/179776848209273920854\ 046465403822373192661*c_1001_12^13 + 11220457739147220114473029076668278025480677999/2516875874929834891\ 956650515653513224697254*c_1001_12^12 - 2832839116038500511674841842593301355889987911/25168758749298348919\ 56650515653513224697254*c_1001_12^11 - 29291453835978515198166823795955665981901745195/2516875874929834891\ 956650515653513224697254*c_1001_12^10 - 2260691226140196385612740525819868556556549428/12584379374649174459\ 78325257826756612348627*c_1001_12^9 + 19491003442050787479627125008780277859466765621/1258437937464917445\ 978325257826756612348627*c_1001_12^8 + 179454408520079834193953014530208912273380417/513648137740782631011\ 56132972520678055046*c_1001_12^7 - 29873319317393580539903586627793326366425337513/2516875874929834891\ 956650515653513224697254*c_1001_12^6 + 1781563778429227797809194053029665258869858467/25168758749298348919\ 56650515653513224697254*c_1001_12^5 + 2844103018960470074720794053751575059501162126/12584379374649174459\ 78325257826756612348627*c_1001_12^4 - 24951114444861383085340157312012456763771146/1258437937464917445978\ 325257826756612348627*c_1001_12^3 - 16590080067637192280426695784116176030943525/1324671513120965732608\ 76342929132274984066*c_1001_12^2 + 151986872068299074851254481199197784627433/125843793746491744597832\ 5257826756612348627*c_1001_12 + 35538602337777346886545492238423467\ 72474383/1258437937464917445978325257826756612348627, c_1001_1 - 7320816917659781998616010336846772607816732/1258437937464917\ 445978325257826756612348627*c_1001_12^17 - 16815078278899666663935905348881924302790698/1258437937464917445978\ 325257826756612348627*c_1001_12^16 + 9606120546029937656088556969527557171315698/17977684820927392085404\ 6465403822373192661*c_1001_12^15 + 461353935509710821029236742129337298765392095/251687587492983489195\ 6650515653513224697254*c_1001_12^14 - 23919651190631704863865417505920376226534303/1797768482092739208540\ 46465403822373192661*c_1001_12^13 - 2302669110786535223614320032085696627161908143/25168758749298348919\ 56650515653513224697254*c_1001_12^12 - 513018490204967115399589148063084528510252057/251687587492983489195\ 6650515653513224697254*c_1001_12^11 + 5577412424822092798266025709309072210531108699/25168758749298348919\ 56650515653513224697254*c_1001_12^10 + 1748810704420068062936546401908883052475293699/12584379374649174459\ 78325257826756612348627*c_1001_12^9 - 3340999186806931652059698745577933919550320918/12584379374649174459\ 78325257826756612348627*c_1001_12^8 - 735614542420630157050647821980019811209654443/359553696418547841708\ 092930807644746385322*c_1001_12^7 + 4650264189936382138019777004533729595898357947/25168758749298348919\ 56650515653513224697254*c_1001_12^6 + 2373278163601644710538551254215233337360725555/25168758749298348919\ 56650515653513224697254*c_1001_12^5 - 614624594887879646851208272549765404573057690/125843793746491744597\ 8325257826756612348627*c_1001_12^4 - 218095149302351235557880211922513944043680916/125843793746491744597\ 8325257826756612348627*c_1001_12^3 + 2089024379109232702158113477534187292265433/13246715131209657326087\ 6342929132274984066*c_1001_12^2 + 912975453845210966159493263388277\ 4328520397/1258437937464917445978325257826756612348627*c_1001_12 + 1269934168901666552927284953233614758939841/12584379374649174459783\ 25257826756612348627, c_1001_12^18 + 107/58*c_1001_12^17 - 579/58*c_1001_12^16 - 6253/232*c_1001_12^15 + 1005/29*c_1001_12^14 + 32679/232*c_1001_12^13 - 1555/58*c_1001_12^12 - 21147/58*c_1001_12^11 - 4529/58*c_1001_12^10 + 111293/232*c_1001_12^9 + 32539/232*c_1001_12^8 - 84349/232*c_1001_12^7 - 985/232*c_1001_12^6 + 16627/232*c_1001_12^5 + 769/116*c_1001_12^4 - 519/116*c_1001_12^3 - 153/232*c_1001_12^2 + 21/232*c_1001_12 + 1/58 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.570 Total time: 0.780 seconds, Total memory usage: 32.09MB