Magma V2.19-8 Tue Aug 20 2013 23:55:27 on localhost [Seed = 1882593327] Type ? for help. Type -D to quit. Loading file "L14a21823__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a21823 geometric_solution 10.75418599 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 2310 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 -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.722920185142 0.564240617246 0 0 1 1 0132 3201 2031 1302 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.562430894639 0.140945652001 4 0 4 3 0132 0132 3120 1230 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 1 0 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743227894318 1.105979969281 2 5 0 6 3012 0132 0132 0132 1 1 0 1 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 -2 -1 3 1 0 0 -1 1 -3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743227894318 1.105979969281 2 7 2 8 0132 0132 3120 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 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.743227894318 1.105979969281 6 3 9 10 0213 0132 0132 0132 1 1 1 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 2 0 -2 3 0 -3 0 0 0 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472058853731 0.294376355710 5 9 3 7 0213 0132 0132 2310 1 1 1 0 0 -1 1 0 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 3 -3 0 0 0 1 -1 -3 3 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553214101277 0.446499999829 6 4 10 10 3201 0132 2103 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557605164810 1.084255777846 11 10 4 11 0132 1302 0132 2103 1 0 1 1 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 1 0 -1 0 0 2 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372593722275 0.725300094450 11 6 11 5 2310 0132 3012 0132 1 1 0 1 0 1 -1 0 1 0 0 -1 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 -3 3 0 -3 0 0 3 -1 0 0 1 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682186639620 0.788627802615 7 7 5 8 2103 2310 0132 2031 1 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817029240950 0.803819803181 8 9 9 8 0132 1230 3201 2103 1 0 1 1 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 -2 2 -1 0 1 0 1 -1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372593722275 0.725300094450 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_9'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : d['c_0101_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_9']), 'c_1100_8' : negation(d['c_0101_2']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0011_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : negation(d['c_0101_10'])})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_9, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 6756391276831780554005509516913397433036806776692919861433/21348262\ 41385850519650146570646943219142734107919525*c_1001_10^22 - 250466850255987420003462253260112424583027055793440795442564/469661\ 7731048871143230322455423275082114015037422955*c_1001_10^21 + 10214681629787860055328295154732634601771097428234174881289714/2348\ 3088655244355716151612277116375410570075187114775*c_1001_10^20 - 53768398817286473635862870869510297649476832358464177339444861/2348\ 3088655244355716151612277116375410570075187114775*c_1001_10^19 + 205310386223755503204204185467756575788626678678096689264858878/234\ 83088655244355716151612277116375410570075187114775*c_1001_10^18 - 55060950464876282973361228213207213057001640771475216311653273/2134\ 826241385850519650146570646943219142734107919525*c_1001_10^17 + 1434779124615398006238070422110666483299413249063367045485124819/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^16 - 2799438372344205648863475268534195789823150626349778401814009302/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^15 + 915327923841850282762349265697706125275924354022409402657988087/469\ 6617731048871143230322455423275082114015037422955*c_1001_10^14 - 6342274652805837895470952001104367547341290371363068542680107817/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^13 + 7506003741019889679463087387528011368470232890236325906743145742/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^12 - 7618045323878811176864710501752851419286417037319085820740111843/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^11 + 6638940152409068306595571998642390251191989998376581526107930489/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^10 - 4960496081214367514050476832911553687309241732741936498327724022/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^9 + 632781865250900739716930629249023593568757467236911228325010682/469\ 6617731048871143230322455423275082114015037422955*c_1001_10^8 - 1709530644015418491273293871805590524241103722452279287243367918/23\ 483088655244355716151612277116375410570075187114775*c_1001_10^7 + 13108592547889641666204863753086682628631738511608662588445812/3980\ 18451783802639256806987747735176450340257408725*c_1001_10^6 - 287987204060685646040471326033857483905211113261916328411571123/234\ 83088655244355716151612277116375410570075187114775*c_1001_10^5 + 86064467160027140193289934296347278088772058124583001077592408/2348\ 3088655244355716151612277116375410570075187114775*c_1001_10^4 - 19863295055679297788629035294806554362668355275910601169328079/2348\ 3088655244355716151612277116375410570075187114775*c_1001_10^3 + 3323243940225348534491214765746390178625894196926261463658542/23483\ 088655244355716151612277116375410570075187114775*c_1001_10^2 - 466453110954075723192022981961616231476920686167803177944/306168039\ 83369433788985152903671936650026173646825*c_1001_10 + 18442802022826044289056764926314820622114122027769616192479/2348308\ 8655244355716151612277116375410570075187114775, c_0011_0 - 1, c_0011_10 + 1245471530940220418945290230693355416077806592402/599809293\ 273258696088320065927340807671085043*c_1001_10^22 - 21244439091491016359132193996506375535226440593398/5998092932732586\ 96088320065927340807671085043*c_1001_10^21 + 175363618246331178253914652653879644840764370003243/599809293273258\ 696088320065927340807671085043*c_1001_10^20 - 933868204181418334933114947969059114408265311904318/599809293273258\ 696088320065927340807671085043*c_1001_10^19 + 3606215643794130420919009200951828189174487903840471/59980929327325\ 8696088320065927340807671085043*c_1001_10^18 - 10754671613539429152761543478982153500956404547236882/5998092932732\ 58696088320065927340807671085043*c_1001_10^17 + 25746161645699227645467626219117316608332349673905517/5998092932732\ 58696088320065927340807671085043*c_1001_10^16 - 50748896367175547893731071737407582838198187901546108/5998092932732\ 58696088320065927340807671085043*c_1001_10^15 + 83793482170476082193475927039640535511354340722010748/5998092932732\ 58696088320065927340807671085043*c_1001_10^14 - 117250661605676341374692979641842996552746254991299910/599809293273\ 258696088320065927340807671085043*c_1001_10^13 + 140089076970687137451023315269836745219055293732676522/599809293273\ 258696088320065927340807671085043*c_1001_10^12 - 143516597286682396117886439194895403683700794357859303/599809293273\ 258696088320065927340807671085043*c_1001_10^11 + 126234189980397890081583728974164492809105977431126370/599809293273\ 258696088320065927340807671085043*c_1001_10^10 - 95191392390099529446681430071320810666343905550253785/5998092932732\ 58696088320065927340807671085043*c_1001_10^9 + 61274978896450132517617342552600406250944466459275676/5998092932732\ 58696088320065927340807671085043*c_1001_10^8 - 33414336039937397584578021691784089534120743295560892/5998092932732\ 58696088320065927340807671085043*c_1001_10^7 + 15257800314827201923596992026619097695730657528573549/5998092932732\ 58696088320065927340807671085043*c_1001_10^6 - 5735162174642025053586955042059562768994874266199558/59980929327325\ 8696088320065927340807671085043*c_1001_10^5 + 1730601052475286616833512803400708199357278518412603/59980929327325\ 8696088320065927340807671085043*c_1001_10^4 - 403489483552606306423445489333207650503078725194099/599809293273258\ 696088320065927340807671085043*c_1001_10^3 + 68255303038104905149456032229517110384725027121323/5998092932732586\ 96088320065927340807671085043*c_1001_10^2 - 572460191221799189103242345824463233644094127024/461391764056352843\ 14486158917487754436237311*c_1001_10 + 389695465749289146470430521303573550280207958053/599809293273258696\ 088320065927340807671085043, c_0011_11 + 265768436303678797071683465132365965289808777540/5998092932\ 73258696088320065927340807671085043*c_1001_10^22 - 4498546645959766826236584703208146568288500763660/59980929327325869\ 6088320065927340807671085043*c_1001_10^21 + 36820195279262765418906634206713933618764630768294/5998092932732586\ 96088320065927340807671085043*c_1001_10^20 - 194294045120398482996406738299788487095319876879953/599809293273258\ 696088320065927340807671085043*c_1001_10^19 + 743029113427657273841036579772008576945807153396934/599809293273258\ 696088320065927340807671085043*c_1001_10^18 - 2193438034702629553814731825234472593357054128954110/59980929327325\ 8696088320065927340807671085043*c_1001_10^17 + 5195686387997756998269639840649795822983398245310258/59980929327325\ 8696088320065927340807671085043*c_1001_10^16 - 10130113064131945261604980538722380662673761818100768/5998092932732\ 58696088320065927340807671085043*c_1001_10^15 + 16539792022779103602765822910888622540064561931673905/5998092932732\ 58696088320065927340807671085043*c_1001_10^14 - 22879992906068547117280922831498533999062058528375416/5998092932732\ 58696088320065927340807671085043*c_1001_10^13 + 27018625475117566475509718623998948902652042339289662/5998092932732\ 58696088320065927340807671085043*c_1001_10^12 - 27351574358481508914816915777670182842560378514488368/5998092932732\ 58696088320065927340807671085043*c_1001_10^11 + 23767514825021541168490368175108159875797848392916926/5998092932732\ 58696088320065927340807671085043*c_1001_10^10 - 17702605661058892273384725229705650356787141919497114/5998092932732\ 58696088320065927340807671085043*c_1001_10^9 + 11252818213025495041939640041110855324922494321773197/5998092932732\ 58696088320065927340807671085043*c_1001_10^8 - 6058339409973109571323297884033733965432444725630704/59980929327325\ 8696088320065927340807671085043*c_1001_10^7 + 2730565978956275372174550362956576147268660298887850/59980929327325\ 8696088320065927340807671085043*c_1001_10^6 - 1012797522992030478988612423728810008529688142291365/59980929327325\ 8696088320065927340807671085043*c_1001_10^5 + 301444524285181638991773207834968104368016858344640/599809293273258\ 696088320065927340807671085043*c_1001_10^4 - 69270015576408637093398565554141930990985585468981/5998092932732586\ 96088320065927340807671085043*c_1001_10^3 + 11531268563127211645155738097371723014919523011233/5998092932732586\ 96088320065927340807671085043*c_1001_10^2 - 94804027387421093577248034465015325295157318746/4613917640563528431\ 4486158917487754436237311*c_1001_10 + 62664928451542273435597151358966438636760907882/5998092932732586960\ 88320065927340807671085043, c_0011_3 - 25786727028687970525963584925632653311638470757483/599809293\ 273258696088320065927340807671085043*c_1001_10^22 + 436943270973498767119807208238008488318780007587412/599809293273258\ 696088320065927340807671085043*c_1001_10^21 - 3582623712895663346012313202347963009699429047908195/59980929327325\ 8696088320065927340807671085043*c_1001_10^20 + 18950783351612301088174916823375146194338361874799910/5998092932732\ 58696088320065927340807671085043*c_1001_10^19 - 72692993585663933676477916421560201478909668207793262/5998092932732\ 58696088320065927340807671085043*c_1001_10^18 + 215361373347271465172354497933073772579441051545496829/599809293273\ 258696088320065927340807671085043*c_1001_10^17 - 512208267585868679187191062822915252988716422882077738/599809293273\ 258696088320065927340807671085043*c_1001_10^16 + 1003125119274214066309452914799110637238618954061692436/59980929327\ 3258696088320065927340807671085043*c_1001_10^15 - 1645725914388748879509957816789233294992286290528033828/59980929327\ 3258696088320065927340807671085043*c_1001_10^14 + 2288212870284227817191215865812061066252267571366764479/59980929327\ 3258696088320065927340807671085043*c_1001_10^13 - 2716584435339052817202945300790864807959992626187403084/59980929327\ 3258696088320065927340807671085043*c_1001_10^12 + 2765350891107405213110985749260488646427745315902227589/59980929327\ 3258696088320065927340807671085043*c_1001_10^11 - 2416750171181313777553337469870716949441416563717421551/59980929327\ 3258696088320065927340807671085043*c_1001_10^10 + 1810594442900118580373986488697678608858660597799453730/59980929327\ 3258696088320065927340807671085043*c_1001_10^9 - 1157764445505012584037431057245836759890641553927516631/59980929327\ 3258696088320065927340807671085043*c_1001_10^8 + 627058046837835774216888351796690128815196986083654840/599809293273\ 258696088320065927340807671085043*c_1001_10^7 - 284316909842285096003910001620597738346655307418474212/599809293273\ 258696088320065927340807671085043*c_1001_10^6 + 106084524831847780950731187580629857142259053252142479/599809293273\ 258696088320065927340807671085043*c_1001_10^5 - 31761119824969928414751703641349587498485877949106742/5998092932732\ 58696088320065927340807671085043*c_1001_10^4 + 7341909230166136079122084847229284066526608618164126/59980929327325\ 8696088320065927340807671085043*c_1001_10^3 - 1229911142347517003290758400820496306875045596693546/59980929327325\ 8696088320065927340807671085043*c_1001_10^2 + 10193960856568719941144957972297938225103309125890/4613917640563528\ 4314486158917487754436237311*c_1001_10 - 6833451231698121467569435152870036715777322818777/59980929327325869\ 6088320065927340807671085043, c_0011_6 + 6136421770930443012846396951155837453411835481424/5998092932\ 73258696088320065927340807671085043*c_1001_10^22 - 104788938627186205529991256013533398590339940931703/599809293273258\ 696088320065927340807671085043*c_1001_10^21 + 865750668440782475174554551061837213632678790101601/599809293273258\ 696088320065927340807671085043*c_1001_10^20 - 4613722327045821055803318730103329823256196949356418/59980929327325\ 8696088320065927340807671085043*c_1001_10^19 + 17827507438210457878374919514208217619075652813886267/5998092932732\ 58696088320065927340807671085043*c_1001_10^18 - 53197949886171921911839704146773188556889232637270005/5998092932732\ 58696088320065927340807671085043*c_1001_10^17 + 127430751871891491193392384534140284926572622876888634/599809293273\ 258696088320065927340807671085043*c_1001_10^16 - 251346334125377634922408247604287458853227089425795358/599809293273\ 258696088320065927340807671085043*c_1001_10^15 + 415310078801755322250532395650001855271581557146952677/599809293273\ 258696088320065927340807671085043*c_1001_10^14 - 581615367580053748914613475183855867777004940498365516/599809293273\ 258696088320065927340807671085043*c_1001_10^13 + 695559293945212416239884434939506608422564249677591007/599809293273\ 258696088320065927340807671085043*c_1001_10^12 - 713346692856503773226993411036114641345327296635349054/599809293273\ 258696088320065927340807671085043*c_1001_10^11 + 628219539551813974418632185779935933862762761201627087/599809293273\ 258696088320065927340807671085043*c_1001_10^10 - 474397698994341224602339793626748021036477120227866148/599809293273\ 258696088320065927340807671085043*c_1001_10^9 + 305857101477211307017547737296896229591742577199041560/599809293273\ 258696088320065927340807671085043*c_1001_10^8 - 167086104894231779243137224323154472489585954942384776/599809293273\ 258696088320065927340807671085043*c_1001_10^7 + 76444509949703581291059133890894611425403659327082855/5998092932732\ 58696088320065927340807671085043*c_1001_10^6 - 28793761508076251995588908641632256506314842795644397/5998092932732\ 58696088320065927340807671085043*c_1001_10^5 + 8706533148977987962852407618238831738162070857599380/59980929327325\ 8696088320065927340807671085043*c_1001_10^4 - 2033584822427687324825373046954629125253983195312990/59980929327325\ 8696088320065927340807671085043*c_1001_10^3 + 344363631640165186780222714703582789911812731230240/599809293273258\ 696088320065927340807671085043*c_1001_10^2 - 2885912770593891614105715506309850336266285227253/46139176405635284\ 314486158917487754436237311*c_1001_10 + 1954871789654489975234433186361027096791874011171/59980929327325869\ 6088320065927340807671085043, c_0101_0 + 28520849718653984611696145481713534497276478497754/599809293\ 273258696088320065927340807671085043*c_1001_10^22 - 480800874575054744674023857446748389814344687389865/599809293273258\ 696088320065927340807671085043*c_1001_10^21 + 3922989929011776397203433419375792216804273560983278/59980929327325\ 8696088320065927340807671085043*c_1001_10^20 - 20655063354415967131879850571702530889710992844320639/5998092932732\ 58696088320065927340807671085043*c_1001_10^19 + 78882444317963604301426890081892852801523450487192655/5998092932732\ 58696088320065927340807671085043*c_1001_10^18 - 232724475130832515551451898709505670717550067151944306/599809293273\ 258696088320065927340807671085043*c_1001_10^17 + 551310222218455612610299021521379458768966788976288895/599809293273\ 258696088320065927340807671085043*c_1001_10^16 - 1075619394158725481954872379191472009689928796634275295/59980929327\ 3258696088320065927340807671085043*c_1001_10^15 + 1758264491276134944363919860728853947060568880058661318/59980929327\ 3258696088320065927340807671085043*c_1001_10^14 - 2436163462840571419402933215272545715949474469888572220/59980929327\ 3258696088320065927340807671085043*c_1001_10^13 + 2882495558626408070278460550025389185810020060503554872/59980929327\ 3258696088320065927340807671085043*c_1001_10^12 - 2924667370581759000761867097793072725764911685564985839/59980929327\ 3258696088320065927340807671085043*c_1001_10^11 + 2547879132353104179013348540032253838103857152877866175/59980929327\ 3258696088320065927340807671085043*c_1001_10^10 - 1902942048504247834158512410325116531825920672726552941/59980929327\ 3258696088320065927340807671085043*c_1001_10^9 + 1213157159165812289090913780651579055750086111993481891/59980929327\ 3258696088320065927340807671085043*c_1001_10^8 - 655139408538390560918738104593879242245849586231771099/599809293273\ 258696088320065927340807671085043*c_1001_10^7 + 296209764988859295256458418753581054878638015137631442/599809293273\ 258696088320065927340807671085043*c_1001_10^6 - 110222441745665932479881209864407802425337217508674297/599809293273\ 258696088320065927340807671085043*c_1001_10^5 + 32915412019566127705170728637757619816037542037190189/5998092932732\ 58696088320065927340807671085043*c_1001_10^4 - 7590705363970699957092476051384028301675238100154986/59980929327325\ 8696088320065927340807671085043*c_1001_10^3 + 1268914745198895073193366013658202860670825945143963/59980929327325\ 8696088320065927340807671085043*c_1001_10^2 - 10499490085549458490708445518128738558660703828060/4613917640563528\ 4314486158917487754436237311*c_1001_10 + 7031500550311738754293080626378896732670260001890/59980929327325869\ 6088320065927340807671085043, c_0101_1 + 10401450648414068789341845284152800225160436530670/599809293\ 273258696088320065927340807671085043*c_1001_10^22 - 175410825973134338643714080618870741144466582209658/599809293273258\ 696088320065927340807671085043*c_1001_10^21 + 1431426453804139934224713853152633483958358782653014/59980929327325\ 8696088320065927340807671085043*c_1001_10^20 - 7536008658086741253668374901013337794749532268181989/59980929327325\ 8696088320065927340807671085043*c_1001_10^19 + 28771595237130247390540845647063251105325770069199788/5998092932732\ 58696088320065927340807671085043*c_1001_10^18 - 84840610393557599153725350290707912892589713222422683/5998092932732\ 58696088320065927340807671085043*c_1001_10^17 + 200839060729324821532476941006255893328615306929983577/599809293273\ 258696088320065927340807671085043*c_1001_10^16 - 391484671152130643706321493580424022287592189036409859/599809293273\ 258696088320065927340807671085043*c_1001_10^15 + 639230248723492028176118502920747798263151887185607385/599809293273\ 258696088320065927340807671085043*c_1001_10^14 - 884518008568779005999627174448898137520624837252697146/599809293273\ 258696088320065927340807671085043*c_1001_10^13 + 1044963168924215099253863833808675302086232607997788165/59980929327\ 3258696088320065927340807671085043*c_1001_10^12 - 1058370969702169256631071575651358229496850924199733386/59980929327\ 3258696088320065927340807671085043*c_1001_10^11 + 920143184505664552928922735975658153381267342516482189/599809293273\ 258696088320065927340807671085043*c_1001_10^10 - 685628563455621280606655372288046248846121552867016931/599809293273\ 258696088320065927340807671085043*c_1001_10^9 + 435933534757275511090954945427536446512393784614687683/599809293273\ 258696088320065927340807671085043*c_1001_10^8 - 234696618314243106832541206047140005226009394154893019/599809293273\ 258696088320065927340807671085043*c_1001_10^7 + 105741101119272187240776426198001481880790075608043968/599809293273\ 258696088320065927340807671085043*c_1001_10^6 - 39187887818266145838142421977140375334329355598899188/5998092932732\ 58696088320065927340807671085043*c_1001_10^5 + 11647670536635966744309976722476550504309384082940824/5998092932732\ 58696088320065927340807671085043*c_1001_10^4 - 2671390116119049245497707047247269963377937305948985/59980929327325\ 8696088320065927340807671085043*c_1001_10^3 + 443675270178885252421058984424549716522922388668103/599809293273258\ 696088320065927340807671085043*c_1001_10^2 - 3642454393421614425672888952880863530775657104781/46139176405635284\ 314486158917487754436237311*c_1001_10 + 2416248193333713244211766842166844146883222756462/59980929327325869\ 6088320065927340807671085043, c_0101_10 + 2849317476149213328498931584716238316504479158447/599809293\ 273258696088320065927340807671085043*c_1001_10^22 - 48513172174717730642010638484481048327894387942490/5998092932732586\ 96088320065927340807671085043*c_1001_10^21 + 399693636841996977108009919524046681654237265188986/599809293273258\ 696088320065927340807671085043*c_1001_10^20 - 2124326380361373528434684080782818824652786298622208/59980929327325\ 8696088320065927340807671085043*c_1001_10^19 + 8186836513150247075801386337794266589003785190097291/59980929327325\ 8696088320065927340807671085043*c_1001_10^18 - 24365493579641102690759290700161981068923613876385861/5998092932732\ 58696088320065927340807671085043*c_1001_10^17 + 58209137452285636067653493504526197817628578997167363/5998092932732\ 58696088320065927340807671085043*c_1001_10^16 - 114496854579081079938622622905686547097783730136015940/599809293273\ 258696088320065927340807671085043*c_1001_10^15 + 188648304209667944492628976981033892586931899466881122/599809293273\ 258696088320065927340807671085043*c_1001_10^14 - 263402825724278928017128981446638632144963026120595886/599809293273\ 258696088320065927340807671085043*c_1001_10^13 + 314020449519806028488456234417935240517622347593240451/599809293273\ 258696088320065927340807671085043*c_1001_10^12 - 320989026183108768010481146216893714818526302155798675/599809293273\ 258696088320065927340807671085043*c_1001_10^11 + 281699574474100252983459400947783434072575908391571633/599809293273\ 258696088320065927340807671085043*c_1001_10^10 - 211942224950520113623373949125804902783589160295854675/599809293273\ 258696088320065927340807671085043*c_1001_10^9 + 136115897805558102056757589606459834177606149779476783/599809293273\ 258696088320065927340807671085043*c_1001_10^8 - 74057686016605208531016705559091690568660261633909182/5998092932732\ 58696088320065927340807671085043*c_1001_10^7 + 33741479807116861602960616371314061637756855682956452/5998092932732\ 58696088320065927340807671085043*c_1001_10^6 - 12656206119683704607010042420114674444010123179929607/5998092932732\ 58696088320065927340807671085043*c_1001_10^5 + 3811814751157315775656772266109338899663337448972529/59980929327325\ 8696088320065927340807671085043*c_1001_10^4 - 887345642767622016731206708216345272279240452495468/599809293273258\ 696088320065927340807671085043*c_1001_10^3 + 149952309702523530136352897402208049610125548331399/599809293273258\ 696088320065927340807671085043*c_1001_10^2 - 1257402733146905368974985896636437107016781169743/46139176405635284\ 314486158917487754436237311*c_1001_10 + 856937536177585153627296330316009097325437952237/599809293273258696\ 088320065927340807671085043, c_0101_2 - 1, c_0101_9 - 718330212854640528980828800111539602369103400609/59980929327\ 3258696088320065927340807671085043*c_1001_10^22 + 12153236754333805009707928134803108958911467102061/5998092932732586\ 96088320065927340807671085043*c_1001_10^21 - 99451344412272235923101128467435278044198834316212/5998092932732586\ 96088320065927340807671085043*c_1001_10^20 + 524805669606239287956971015253491782048566405450423/599809293273258\ 696088320065927340807671085043*c_1001_10^19 - 2007557368005545881711828295167341266310931866155737/59980929327325\ 8696088320065927340807671085043*c_1001_10^18 + 5929457655240840465981855256866458190385960113757749/59980929327325\ 8696088320065927340807671085043*c_1001_10^17 - 14055878507760819955711028235774393293247340287590003/5998092932732\ 58696088320065927340807671085043*c_1001_10^16 + 27431232182821616494925584510335300581179238763871044/5998092932732\ 58696088320065927340807671085043*c_1001_10^15 - 44839374992791177560036343507076950703514039854514423/5998092932732\ 58696088320065927340807671085043*c_1001_10^14 + 62109545562652042013020005994202082437436526745317425/5998092932732\ 58696088320065927340807671085043*c_1001_10^13 - 73452266213167666472572483602849201424840888880894068/5998092932732\ 58696088320065927340807671085043*c_1001_10^12 + 74477045158804882297407274442329809295027802474635242/5998092932732\ 58696088320065927340807671085043*c_1001_10^11 - 64829525375291080852168704456669804698541546793982060/5998092932732\ 58696088320065927340807671085043*c_1001_10^10 + 48374636882270364145119124134646440257605815627802242/5998092932732\ 58696088320065927340807671085043*c_1001_10^9 - 30808199671841364779302445540372729042239659308021017/5998092932732\ 58696088320065927340807671085043*c_1001_10^8 + 16618980128423705391472017584285821834726113882265177/5998092932732\ 58696088320065927340807671085043*c_1001_10^7 - 7505062199610251795525908547276915726307795586586921/59980929327325\ 8696088320065927340807671085043*c_1001_10^6 + 2789046628988901377705214105396507006506764159982890/59980929327325\ 8696088320065927340807671085043*c_1001_10^5 - 831595181078441649688866437936409701519205022216371/599809293273258\ 696088320065927340807671085043*c_1001_10^4 + 191375604009791847495640232727574589329088463642072/599809293273258\ 696088320065927340807671085043*c_1001_10^3 - 31883607560575559647838120063705915642493407720502/5998092932732586\ 96088320065927340807671085043*c_1001_10^2 + 262058969874973301912161495417922030611356798907/461391764056352843\ 14486158917487754436237311*c_1001_10 - 172780467378956911874831115509403445717909029923/599809293273258696\ 088320065927340807671085043, c_1001_10^23 - 65025/3707*c_1001_10^22 + 552621/3707*c_1001_10^21 - 3033539/3707*c_1001_10^20 + 12091007/3707*c_1001_10^19 - 37273487/3707*c_1001_10^18 + 92396236/3707*c_1001_10^17 - 17178783/337*c_1001_10^16 + 324510245/3707*c_1001_10^15 - 473634538/3707*c_1001_10^14 + 592315393/3707*c_1001_10^13 - 637841932/3707*c_1001_10^12 + 592811466/3707*c_1001_10^11 - 475430468/3707*c_1001_10^10 + 328156470/3707*c_1001_10^9 - 193911052/3707*c_1001_10^8 + 97276657/3707*c_1001_10^7 - 40921667/3707*c_1001_10^6 + 14182657/3707*c_1001_10^5 - 3946876/3707*c_1001_10^4 + 848223/3707*c_1001_10^3 - 12007/337*c_1001_10^2 + 13226/3707*c_1001_10 - 635/3707, c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB