Magma V2.19-8 Wed Aug 21 2013 00:57:06 on localhost [Seed = 3313753877] Type ? for help. Type -D to quit. Loading file "L13n3758__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3758 geometric_solution 10.79222888 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 1 0 0 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 -1 0 1 0 0 -1 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.481688825750 1.600610136904 0 3 5 4 0132 3201 0132 0132 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 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.264473450317 0.435871650422 0 0 6 4 3201 0132 0132 2103 1 0 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 1 0 -1 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.172402577730 0.572878793927 7 4 1 0 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.785232501162 0.871990014137 7 3 1 2 2103 0132 0132 2103 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 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.558741615712 0.528148312617 8 9 6 1 0132 0132 0213 0132 1 0 0 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 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.934485388456 1.475722346519 9 5 7 2 2310 0213 0132 0132 1 0 0 1 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 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.610190659549 1.075003032017 3 10 4 6 0132 0132 2103 0132 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 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.026780017637 1.108078493621 5 11 12 9 0132 0132 0132 2103 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 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.635164156268 1.044267301181 11 5 6 8 0132 0132 3201 2103 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 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.451336734612 0.602543276872 12 7 11 12 1230 0132 3120 0132 1 0 1 1 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 0 0 0 1 0 -1 0 5 -1 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050908121269 0.561817706569 9 8 10 12 0132 0132 3120 3120 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 0 0 0 0 0 0 1 -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.363955619872 0.504615538694 11 10 10 8 3120 3012 0132 0132 1 0 0 1 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 -1 0 1 1 -5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050908121269 0.561817706569 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_10']), '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_0011_12'], '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' : 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' : 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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : negation(d['c_0110_2']), 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0110_4']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0110_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : negation(d['c_1001_10']), 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0011_12'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], '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_11'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_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_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_2, c_0110_4, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 3148550757022006979035571538176282261557343477794366756438422784/63\ 8583022592712501754956166604262926834016424927073176813*c_1001_10^1\ 4 + 544439900996268712874449076243863565072606621760608619246897408\ 0/58053002053882954704996015145842084257637856811552106983*c_1001_1\ 0^13 - 279679573661057787277666089400562715672249271542693031973255\ 43072/33609632768037500092366114031803311938632443417214377727*c_10\ 01_10^12 + 20237562754750974683867861555202390147767976237098890866\ 6136793696/58053002053882954704996015145842084257637856811552106983\ *c_1001_10^11 - 444288669131213459110683544873884696548864179073181\ 1998727316094845/63858302259271250175495616660426292683401642492707\ 3176813*c_1001_10^10 + 26497635838619253786872099139229505913058807\ 33651066583135063916164/6385830225927125017549561666042629268340164\ 24927073176813*c_1001_10^9 + 39662318016461462583618901763202123951\ 43657411978899982639603863803/6385830225927125017549561666042629268\ 34016424927073176813*c_1001_10^8 - 644968761130573889118254748144571998357753770894198337779174441813/\ 58053002053882954704996015145842084257637856811552106983*c_1001_10^\ 7 + 472959989239396807792371903724910525790910317966268910948847280\ 503/58053002053882954704996015145842084257637856811552106983*c_1001\ _10^6 - 58952044275276080962643528739190405619199278883478061134629\ 18234843/638583022592712501754956166604262926834016424927073176813*\ c_1001_10^5 + 50452524505143249261803338856037943288017717926598181\ 31353256247736/6385830225927125017549561666042629268340164249270731\ 76813*c_1001_10^4 - 20746716258015651259087308206400496540119127731\ 01707124150598181612/6385830225927125017549561666042629268340164249\ 27073176813*c_1001_10^3 + 29751944889386310065769210771547468226574\ 0396614088392994077664697/63858302259271250175495616660426292683401\ 6424927073176813*c_1001_10^2 - 248883017025425369643889673513330033\ 12867440708339429369139258537/6385830225927125017549561666042629268\ 34016424927073176813*c_1001_10 - 5862128376523123927259675634892417\ 08663874658126261394884985418/6385830225927125017549561666042629268\ 34016424927073176813, c_0011_0 - 1, c_0011_10 - 2986577638532002830862363095050350376251479600640/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 + 56809688197004185076202257633745304252400609351424/2726072606970380\ 21961241718566121661712888270099*c_1001_10^13 - 504094309346867341048345985282500608029488087920704/272607260697038\ 021961241718566121661712888270099*c_1001_10^12 + 2111949750817163666182769345238953876621500382119392/27260726069703\ 8021961241718566121661712888270099*c_1001_10^11 - 4215616996057679784819754205165133991192950559750430/27260726069703\ 8021961241718566121661712888270099*c_1001_10^10 + 2515552959133927466415813799648715735745459116589747/27260726069703\ 8021961241718566121661712888270099*c_1001_10^9 + 3761992978972393559366814570416273061524237953296205/27260726069703\ 8021961241718566121661712888270099*c_1001_10^8 - 6732702513030317161212195448321872148313338165056813/27260726069703\ 8021961241718566121661712888270099*c_1001_10^7 + 4937585730244613984260707476782186708822406050094418/27260726069703\ 8021961241718566121661712888270099*c_1001_10^6 - 5593299395414316337769996217647601832721410963189465/27260726069703\ 8021961241718566121661712888270099*c_1001_10^5 + 4788515426539334038649093686721911897433765278686703/27260726069703\ 8021961241718566121661712888270099*c_1001_10^4 - 1969207361365185197545385555590977863093927437747632/27260726069703\ 8021961241718566121661712888270099*c_1001_10^3 + 282574216312758929832974079433075742443906382085753/272607260697038\ 021961241718566121661712888270099*c_1001_10^2 - 23538760410388811710636671823018828425364202188409/2726072606970380\ 21961241718566121661712888270099*c_1001_10 - 604947464186576124650034726331146109825927937104/272607260697038021\ 961241718566121661712888270099, c_0011_11 + 23501617251137056583533249144163014744070642580992/27260726\ 0697038021961241718566121661712888270099*c_1001_10^14 - 446969021125222647242553337757292355049171625555712/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 3965422017441817035472015566866124725913359157092416/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 16607369837084144734776388976493343039324241023887584/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 33124946366686624256850840089621567984649256066117486/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 19703118693218605671856003056622979730763564900849427/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 29648944258494214088852059989430163400100674997460291/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 52886954513332354025235944638590180536011340834225152/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 38712180601892734412907881353298572726416322217644883/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 43917086873449298502847952684253790363293800057730158/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 37560972809123024307360213409531961943559795152747476/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 15401705955708153607547263029355412671607019602945905/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2188008908280219867071273136325202955024208993519257/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 182008546010638845406137204247178515031765254037117/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 4631772818489854369959898754376616960033767929015/27260726069703802\ 1961241718566121661712888270099, c_0011_12 + 21601000339084973259870167140754973817285644997120/27260726\ 0697038021961241718566121661712888270099*c_1001_10^14 - 410831316600208714666097510958738125909335567534080/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 3644914942816979600874276199215455645951738817129408/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 15265965717826734966354329406061998485707131032032448/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 30453331421142350029599801085465751336570765126000386/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 18125264824381489635834574314606520022587015591744804/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 27239431811960660567467628778974998589035481183831573/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 48621211927866810885040735191939977649361003374128087/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 35608437655883049558016279848033541384714002200744668/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 40386543890994408928282856850626644016739776482321467/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 34543313703371390366099879747719431613854620104699476/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 14175648857846018761577120270564547840829206351358012/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2019657134135056809990644623652042159667197644850986/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 168113686786443208205495478887791379475335094653858/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 4323906195488822375985553968751705637133739020244/27260726069703802\ 1961241718566121661712888270099, c_0011_6 + 24130427199168867171130740266279020424125957267712/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 - 458928158066433432220373350379097263446521243413248/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 4071520926273377433722827527157690783831136596084064/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 17051712530255887832104699013939342749671199388737920/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 34011182499986146327593169538744157272239420715068553/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 20230038049071469619392322152050118006166322585004001/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 30442776660183828364681599816164287081842544787118866/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 54302383169221088108347013822670086816521693792021724/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 39747626855775098875724604028431207218984003176686493/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 45091300717713422543998510792223854706597737773222054/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 38565076935382649770421360069781680337782258613492430/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 15812676190547681984467005876412957547927578867094927/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2245927702823250856800093826187226081986511268693413/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 186738776391839543530537081027254951299170403325037/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 4708624603349362357507371391774456398116447383191/27260726069703802\ 1961241718566121661712888270099, c_0101_0 + 29673295448032851040759585071838303670020622077440/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 - 564379855089493043369575939255295992123636118305024/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 5007405293812021874040536650042231578223499219535680/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 20974166708210028463369454866356334874557221520275360/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 41846642981818256994765969297356581731673441132113310/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 24920595672712386397176152346027213431715382323001765/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 37415335580508494206154740219619254019465774262575934/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 66823211867667143247113519081138110794822660174419380/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 48946239858884857156901501261615795769058425260990647/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 55491623430736851071309977448106770376988139618241320/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 47478234582965745479083242001796161857841966249055006/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 19488880934819374199683104746367588795467554353827298/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2774314997670115819477184204422444668052317277721546/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 229481263968921964853428551860437656017896598682803/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 5727679343179307278246230107228034500231850827738/27260726069703802\ 1961241718566121661712888270099, c_0101_1 - 1, c_0101_11 + 21715566094786940847867514933627436728792136628480/27260726\ 0697038021961241718566121661712888270099*c_1001_10^14 - 412998353936171124800975209852833329577566050076160/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 3664019708860086133632985389448906024895060034728800/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 15344915537963289447109396325743154434194570380001696/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 30606375794442681195751496773169551033582081042038945/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 18204497079669498596001628441383430615890876458788036/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 27393611715509133504810568018684557196893252405406827/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 48862695433371875671616803242216505020292661773450688/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 35769331144886757383298777885751183861033751466667058/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 40582279000120064582234406356298704969092070455890225/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 34705938851228801111805542411709233509252928821420920/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 14232260084910547513132579113596291717889119930538208/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2024084174757508178712655112034785136632841573486038/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 168833197683866790913135604576230437345746768695203/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 4302000781011093395247698932189317139812672741789/27260726069703802\ 1961241718566121661712888270099, c_0101_3 + 27920299305935619056207731101914425329921998311680/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 - 531019711753362746725042532609981645689679864702720/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 4711233146631813156513049599555887761130411310630496/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 19731969009019806804849915295066237491189224285879040/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 39361493781351177842581329807326967033278316137893657/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 23422771903370563343904153174962131357520095485293661/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 35219111612340858326363136797191381517358405785121723/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 62850538320363708698955792167797556736378949198666509/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 46013449205618754035867061433851527940681033123647768/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 52185727702486788383735088934161043224431612868604427/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 44641108383459470208914230296240649998633965119797245/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 18309495214902910276476817983766103553257014815388427/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2600788237790623392112256301834269054723019960607248/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 215499900279185126819363429327634838718519215037882/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 5425996692921298174227449048681976702704119584134/27260726069703802\ 1961241718566121661712888270099, c_0110_2 + 29673295448032851040759585071838303670020622077440/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 - 564379855089493043369575939255295992123636118305024/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 5007405293812021874040536650042231578223499219535680/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 20974166708210028463369454866356334874557221520275360/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 41846642981818256994765969297356581731673441132113310/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 24920595672712386397176152346027213431715382323001765/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 37415335580508494206154740219619254019465774262575934/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 66823211867667143247113519081138110794822660174419380/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 48946239858884857156901501261615795769058425260990647/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 55491623430736851071309977448106770376988139618241320/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 47478234582965745479083242001796161857841966249055006/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 19488880934819374199683104746367588795467554353827298/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 2774314997670115819477184204422444668052317277721546/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 229481263968921964853428551860437656017896598682803/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 5727679343179307278246230107228034500231850827738/27260726069703802\ 1961241718566121661712888270099, c_0110_4 + 36020030928846821690853993102422138267194333859328/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 - 685116107949417790086302542434330968130548897957888/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 + 6078853115233157328339182001886246755943492661557056/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 - 25464042208634855038088756448353515452043151477624896/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 + 50812646171979596174618057558268700681113424058746878/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 - 30280792694050275241984700384030598791383995180328492/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 - 45402723523967939327899914425818373941457759918126388/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 + 81146281540685302102763920929265734590672515445134732/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 - 59462432742017480463672168617302466180811889027220316/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 + 67392200473364210403817983486835606849525234862150296/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 - 57671835175700560905264422378343565306182323208672020/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 + 23688822557578523705266320417656731580888976916008874/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 - 3378739913925381947206550129109794278025678834360498/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 + 279185015332002596460500692003372067842507027281510/272607260697038\ 021961241718566121661712888270099*c_1001_10 + 6960802227594998033898860801660547478658120504487/27260726069703802\ 1961241718566121661712888270099, c_1001_0 - 18010015464423410845426996551211069133597166929664/272607260\ 697038021961241718566121661712888270099*c_1001_10^14 + 342558053974708895043151271217165484065274448978944/272607260697038\ 021961241718566121661712888270099*c_1001_10^13 - 3039426557616578664169591000943123377971746330778528/27260726069703\ 8021961241718566121661712888270099*c_1001_10^12 + 12732021104317427519044378224176757726021575738812448/2726072606970\ 38021961241718566121661712888270099*c_1001_10^11 - 25406323085989798087309028779134350340556712029373439/2726072606970\ 38021961241718566121661712888270099*c_1001_10^10 + 15140396347025137620992350192015299395691997590164246/2726072606970\ 38021961241718566121661712888270099*c_1001_10^9 + 22701361761983969663949957212909186970728879959063194/2726072606970\ 38021961241718566121661712888270099*c_1001_10^8 - 40573140770342651051381960464632867295336257722567366/2726072606970\ 38021961241718566121661712888270099*c_1001_10^7 + 29731216371008740231836084308651233090405944513610158/2726072606970\ 38021961241718566121661712888270099*c_1001_10^6 - 33696100236682105201908991743417803424762617431075148/2726072606970\ 38021961241718566121661712888270099*c_1001_10^5 + 28835917587850280452632211189171782653091161604336010/2726072606970\ 38021961241718566121661712888270099*c_1001_10^4 - 11844411278789261852633160208828365790444488458004437/2726072606970\ 38021961241718566121661712888270099*c_1001_10^3 + 1689369956962690973603275064554897139012839417180249/27260726069703\ 8021961241718566121661712888270099*c_1001_10^2 - 139592507666001298230250346001686033921253513640755/272607260697038\ 021961241718566121661712888270099*c_1001_10 - 3616704744146018027930051260113334570185504387293/27260726069703802\ 1961241718566121661712888270099, c_1001_10^15 - 19*c_1001_10^14 + 1347/8*c_1001_10^13 - 1407/2*c_1001_10^12 + 357449/256*c_1001_10^11 - 207881/256*c_1001_10^10 - 326995/256*c_1001_10^9 + 570095/256*c_1001_10^8 - 410927/256*c_1001_10^7 + 470465/256*c_1001_10^6 - 400179/256*c_1001_10^5 + 5003/8*c_1001_10^4 - 10329/128*c_1001_10^3 + 1517/256*c_1001_10^2 + 45/128*c_1001_10 + 1/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.520 seconds, Total memory usage: 32.09MB