Magma V2.19-8 Wed Aug 21 2013 00:10:41 on localhost [Seed = 4290351155] Type ? for help. Type -D to quit. Loading file "K13n269__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n269 geometric_solution 11.18933807 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 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 0 0 0 0 -8 -1 9 0 0 0 0 -8 8 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345906377167 1.890077057626 0 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 -1 1 0 0 1 -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 9 -9 0 0 -9 9 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446990428389 0.760428319794 7 0 8 3 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 8 -8 0 0 0 0 0 0 -1 0 1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394083452151 1.010986106674 9 2 5 0 0132 2310 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -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.394083452151 1.010986106674 10 1 0 7 0132 0321 0132 0213 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446990428389 0.760428319794 7 1 7 3 1023 0132 0321 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519385567951 0.254316201253 11 11 8 1 0132 1302 0213 0132 0 0 0 0 0 -1 0 1 1 0 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 9 0 -9 -9 0 0 9 -8 0 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794313072035 1.152102334478 2 5 5 4 0132 1023 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.553009571611 0.760428319794 10 6 12 2 2310 0213 0132 0132 0 0 0 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 -8 8 0 0 0 0 8 0 0 -8 -9 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594380837823 0.588325686817 3 12 10 11 0132 3201 0213 3012 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 -9 9 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.791995020417 1.089553574840 4 9 8 12 0132 0213 3201 2031 0 0 0 0 0 1 -1 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 -9 9 0 0 0 -8 8 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.849310178543 1.139475398133 6 12 9 6 0132 3012 1230 2031 0 0 0 0 0 0 0 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 0 0 0 9 0 0 -9 0 1 0 -1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.150175149338 0.841167408375 11 10 9 8 1230 1302 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 8 -1 0 1 0 8 0 0 -8 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.420498291443 0.625803624617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_8'], 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0011_12'], 's_0_10' : negation(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' : negation(d['1']), 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : d['c_1001_5'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0011_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : d['c_1001_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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_3']), '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_0011_8'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_10'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0011_10'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : 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_3, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0110_5, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 538111403608803527427488223779692125395513249409352191507/226069505\ 04205529085409956272700777284278654609776640000000*c_1001_5^22 + 674897999082470236726181554650301827191957874790574930433/565173762\ 6051382271352489068175194321069663652444160000000*c_1001_5^21 - 1017994915900675895460838093867443166849332250924238445371/28258688\ 13025691135676244534087597160534831826222080000000*c_1001_5^20 - 25341614890202341049547055235444866591926221182476723564643/2825868\ 813025691135676244534087597160534831826222080000000*c_1001_5^19 - 794230515440845308047090870124949700849994555301663053363647/226069\ 50504205529085409956272700777284278654609776640000000*c_1001_5^18 - 1772303726983448018200579637673622671094175200621765138691491/22606\ 950504205529085409956272700777284278654609776640000000*c_1001_5^17 + 20612317439670462088414078082630244498484760293943236683033/2260695\ 0504205529085409956272700777284278654609776640000000*c_1001_5^16 + 6519656300970297990136783035062150803037410920338880504288571/22606\ 950504205529085409956272700777284278654609776640000000*c_1001_5^15 + 1436868718587035838169175224343937117164841508771347895250557/11303\ 47525210276454270497813635038864213932730488832000000*c_1001_5^14 + 49136021809282587456321049025433682889793976964371314084026709/2260\ 6950504205529085409956272700777284278654609776640000000*c_1001_5^13 + 45632873111948754580203071431898936598151501967484353850797457/11\ 303475252102764542704978136350388642139327304888320000000*c_1001_5^\ 12 + 1243203512738599520502103828468866416570151954944202598583881/\ 353233601628211391959530566760949645066853978277760000000*c_1001_5^\ 11 + 95235216953472779634851918970496613276621681403796448334251131\ /22606950504205529085409956272700777284278654609776640000000*c_1001\ _5^10 + 54326146554737212095416079536761061408889275048256394561690\ 9/1412934406512845567838122267043798580267415913111040000000*c_1001\ _5^9 + 272433723176411967423967920211329620008644200369351468562848\ 1/2825868813025691135676244534087597160534831826222080000000*c_1001\ _5^8 - 145855593860449311525936254507822431134041325838138242556118\ 59/2825868813025691135676244534087597160534831826222080000000*c_100\ 1_5^7 + 40535065407478258821912027226134439524107510211523047946581\ /141293440651284556783812226704379858026741591311104000000*c_1001_5\ ^6 - 14177371433354012467615778290445164735283409166560060995723/17\ 66168008141056959797652833804748225334269891388800000*c_1001_5^5 + 1677379890391604360282251808832604221079518334825275377671/68990937\ 8180100374920958138204979775521199176323750000*c_1001_5^4 - 268041240434619305656154471974726677658474741384983369253957/441542\ 00203526423994941320845118705633356747284720000000*c_1001_5^3 + 103033134237421778591800761186948902153207329488867157450043/441542\ 00203526423994941320845118705633356747284720000000*c_1001_5^2 - 84747281131480683918027889337476463797660062365081096536063/4415420\ 0203526423994941320845118705633356747284720000000*c_1001_5 + 5335941482937440268872233993756471808319613780840619909771/11038550\ 050881605998735330211279676408339186821180000000, c_0011_0 - 1, c_0011_10 + 99927870676282679094457844509445711125608241017959/56517376\ 2605138227135248906817519432106966365244416000*c_1001_5^22 + 224325264279978019363656015560926445962892205350821/141293440651284\ 556783812226704379858026741591311104000*c_1001_5^21 + 187756916556452317723604901712365679733507380837173/706467203256422\ 78391906113352189929013370795655552000*c_1001_5^20 - 4489278693181468688671827393379362290353719914338591/70646720325642\ 278391906113352189929013370795655552000*c_1001_5^19 - 292770773209626951485547789238789281777982356786135139/565173762605\ 138227135248906817519432106966365244416000*c_1001_5^18 - 1289928705797134473363756291277677215792732480956647767/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^17 - 3757548217182639271339823323771672547530853788674615979/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^16 - 8355064124339437520149623154950403815225161238231184273/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^15 - 707008659542119333917623042157094567273342284415985991/282586881302\ 56911356762445340875971605348318262220800*c_1001_5^14 - 19406041574136714558541821346500890416761897454329826367/5651737626\ 05138227135248906817519432106966365244416000*c_1001_5^13 - 9999567110231696091930209705708283614329307211223997891/28258688130\ 2569113567624453408759716053483182622208000*c_1001_5^12 - 465446947847747625453532927216280574693513911698938481/176616800814\ 10569597976528338047482253342698913888000*c_1001_5^11 - 3720999918931387406308950604524480696545898229847497553/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^10 + 479321848679323271793794517058789950935382597929426283/353233601628\ 21139195953056676094964506685397827776000*c_1001_5^9 + 2216742247691157799494965463326352204484990931689822897/70646720325\ 642278391906113352189929013370795655552000*c_1001_5^8 + 2345656510872235311759389429460423747904339956595338817/70646720325\ 642278391906113352189929013370795655552000*c_1001_5^7 + 111541567451637117966922111004813795872724626001856597/353233601628\ 2113919595305667609496450668539782777600*c_1001_5^6 + 882221314131673978096077860283070781051273976460959/441542002035264\ 23994941320845118705633356747284720*c_1001_5^5 + 2809574509186233602556196465793505947504430490421957/27596375127204\ 0149968383255281991910208479670529500*c_1001_5^4 + 5102955722986728896306462457038599960749540939411391/11038550050881\ 60599873533021127967640833918682118000*c_1001_5^3 - 770591146268934213657543134408521153841429225050109/110385500508816\ 0599873533021127967640833918682118000*c_1001_5^2 - 316166200918277052705243293315574136388099888160131/110385500508816\ 0599873533021127967640833918682118000*c_1001_5 - 294081543244891014389038240423025937441376842104873/275963751272040\ 149968383255281991910208479670529500, c_0011_11 - 18370938019073509068388266195971498731446795997473/28258688\ 1302569113567624453408759716053483182622208000*c_1001_5^22 - 26454683995022156996170383694674783070620384723437/7064672032564227\ 8391906113352189929013370795655552000*c_1001_5^21 + 21264697474812748705932669520135700813084631897569/3532336016282113\ 9195953056676094964506685397827776000*c_1001_5^20 + 853611724658852983572383565054599058286469827479877/353233601628211\ 39195953056676094964506685397827776000*c_1001_5^19 + 32140888564005325524948725966748907806224863954332933/2825868813025\ 69113567624453408759716053483182622208000*c_1001_5^18 + 95501864667191023722905919246330871107983821921688249/2825868813025\ 69113567624453408759716053483182622208000*c_1001_5^17 + 139835053104805620318597794190876741873934318612965413/282586881302\ 569113567624453408759716053483182622208000*c_1001_5^16 + 131196806177369652863896314217253967771757721558615631/282586881302\ 569113567624453408759716053483182622208000*c_1001_5^15 - 16315614294215775216716082310597829412424343389599273/1412934406512\ 8455678381222670437985802674159131110400*c_1001_5^14 - 960818961137023488189271469055311412710898007498594551/282586881302\ 569113567624453408759716053483182622208000*c_1001_5^13 - 1351107875146973870261905688028511532915220526687644023/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^12 - 214288633441326217716901707216641310604322954511920961/176616800814\ 10569597976528338047482253342698913888000*c_1001_5^11 - 4792841139218833180356569150370026323161827700975873209/28258688130\ 2569113567624453408759716053483182622208000*c_1001_5^10 - 334776698084751625232377750214362424460983328234674327/353233601628\ 21139195953056676094964506685397827776000*c_1001_5^9 - 248209914783252797508437446415225075880385922423588359/353233601628\ 21139195953056676094964506685397827776000*c_1001_5^8 + 436607324032427007891271007838466628708022110948088901/353233601628\ 21139195953056676094964506685397827776000*c_1001_5^7 + 9312326581132309411130563924587276524360015231304191/17661680081410\ 56959797652833804748225334269891388800*c_1001_5^6 + 2098386131224420925951012433026731233228395101597373/88308400407052\ 847989882641690237411266713494569440*c_1001_5^5 + 909224039684259741818209073205484566815497144110943/110385500508816\ 0599873533021127967640833918682118000*c_1001_5^4 + 3642045370949056421923976173438640938133584493205199/27596375127204\ 0149968383255281991910208479670529500*c_1001_5^3 - 2191093538480597787914285850361969840069489676342477/55192750254408\ 0299936766510563983820416959341059000*c_1001_5^2 + 1534924912175967734755996913451746574490143734156257/55192750254408\ 0299936766510563983820416959341059000*c_1001_5 - 299721327826159678531308644146228738299778737563919/137981875636020\ 074984191627640995955104239835264750, c_0011_12 + 66038862778480975975376870989150744668781506902893/11303475\ 25210276454270497813635038864213932730488832000*c_1001_5^22 + 151353342881834124531051926781443385764661274500167/282586881302569\ 113567624453408759716053483182622208000*c_1001_5^21 + 148525987611912280701060710152614290100775783254171/141293440651284\ 556783812226704379858026741591311104000*c_1001_5^20 - 2854233682153804390179711944844696107299603077950957/14129344065128\ 4556783812226704379858026741591311104000*c_1001_5^19 - 197060405771888909407901588551053494750813047815170753/113034752521\ 0276454270497813635038864213932730488832000*c_1001_5^18 - 919699289285265659743148036720607426019770464891875709/113034752521\ 0276454270497813635038864213932730488832000*c_1001_5^17 - 2874559876861361568520368876336379214811045152048261433/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^16 - 6948423072254788088085146251375911079863095397021601371/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^15 - 650615864270393078627904273048583921029093062242577557/565173762605\ 13822713524890681751943210696636524441600*c_1001_5^14 - 20161908669043870456155480662644284434270434426162445909/1130347525\ 210276454270497813635038864213932730488832000*c_1001_5^13 - 12324990685158179194401138872545311956050869489648665057/5651737626\ 05138227135248906817519432106966365244416000*c_1001_5^12 - 95504167997180169257938009295798687574842373511846389/4415420020352\ 642399494132084511870563335674728472000*c_1001_5^11 - 16353498795711758239106555768130985471578214447662967931/1130347525\ 210276454270497813635038864213932730488832000*c_1001_5^10 - 247966965170455215613117827979154165360067574189760859/706467203256\ 42278391906113352189929013370795655552000*c_1001_5^9 + 1423020481683937049835531512393135300689311166090500719/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^8 + 2502305255338539192600292659742831313974651168173941059/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^7 + 163276657366324661635360610424021420641718385927192819/706467203256\ 4227839190611335218992901337079565555200*c_1001_5^6 + 822367024485351284055868466363773485117908641347679/441542002035264\ 23994941320845118705633356747284720*c_1001_5^5 + 3827321048098959043437481988985672913153682594060107/27596375127204\ 0149968383255281991910208479670529500*c_1001_5^4 + 15287592654693843554632458135884855034606894465059057/2207710010176\ 321199747066042255935281667837364236000*c_1001_5^3 + 3123577670527644771958191359125876972489941108587557/22077100101763\ 21199747066042255935281667837364236000*c_1001_5^2 - 691414772489700501360223508512314628085491984107537/220771001017632\ 1199747066042255935281667837364236000*c_1001_5 - 572278668324574743228090576383037695479829451973571/551927502544080\ 299936766510563983820416959341059000, c_0011_3 + 178330436288652223950927261124123848803126078127649/11303475\ 25210276454270497813635038864213932730488832000*c_1001_5^22 + 304852374040760819226268866957397001100131390383931/282586881302569\ 113567624453408759716053483182622208000*c_1001_5^21 - 57637781276547708020334794512597373200860480975897/1412934406512845\ 56783812226704379858026741591311104000*c_1001_5^20 - 8435463344834187798944952649205733809498951517624401/14129344065128\ 4556783812226704379858026741591311104000*c_1001_5^19 - 382738889713113683148068161272293837835041369820562629/113034752521\ 0276454270497813635038864213932730488832000*c_1001_5^18 - 1287929961776962009097861818357267617665423426273254737/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^17 - 2532725911577603870724789716291687310726986150963695869/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^16 - 3671919054415100555206010236679171008658253381443009703/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^15 - 87971327548190563123672208272591355287568369239462001/5651737626051\ 3822713524890681751943210696636524441600*c_1001_5^14 + 1505443008051050256026954779122352379351741626405512663/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^13 + 5199868611971954543440281821686412314340344878947600299/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^12 + 201882940842592252104482999794107145983465875071375967/176616800814\ 10569597976528338047482253342698913888000*c_1001_5^11 + 17005960909839302349642969530313986701545220582779976217/1130347525\ 210276454270497813635038864213932730488832000*c_1001_5^10 + 330114054979537406619569721959520260370937845815284063/706467203256\ 42278391906113352189929013370795655552000*c_1001_5^9 + 607300255250244600105157729702913508541130625869292667/141293440651\ 284556783812226704379858026741591311104000*c_1001_5^8 - 2047176130287524094113130612484355031795870842030551713/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^7 - 5270875354752840068941122440676134216177530486135233/70646720325642\ 27839190611335218992901337079565555200*c_1001_5^6 - 207707513913772777459912031894302951259976977836977/110385500508816\ 05998735330211279676408339186821180*c_1001_5^5 + 1638783097534183894819332380586509449379294323091577/55192750254408\ 0299936766510563983820416959341059000*c_1001_5^4 - 21498559688243720449428595702035461902705370207769299/2207710010176\ 321199747066042255935281667837364236000*c_1001_5^3 + 8485792215160432691906734613294924258162248139630201/22077100101763\ 21199747066042255935281667837364236000*c_1001_5^2 - 3717381804230473102440954645567217287370394625672341/22077100101763\ 21199747066042255935281667837364236000*c_1001_5 + 1203505576522588591247582888039404607373360504733697/55192750254408\ 0299936766510563983820416959341059000, c_0011_8 - 61474605295990860882164702947480344080829071730669/113034752\ 5210276454270497813635038864213932730488832000*c_1001_5^22 - 173454454910627664711017777763301178714182430601311/282586881302569\ 113567624453408759716053483182622208000*c_1001_5^21 - 258646774934364242097304782384186056137304891479043/141293440651284\ 556783812226704379858026741591311104000*c_1001_5^20 + 2634028739320533964782322615475233270817265509208381/14129344065128\ 4556783812226704379858026741591311104000*c_1001_5^19 + 232661248797171282100986950053971288057598126643018049/113034752521\ 0276454270497813635038864213932730488832000*c_1001_5^18 + 1162419951131029317892564992486597643471539398907883997/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^17 + 3780544535489744074310317087877092197546061664087126489/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^16 + 8926946494987541455826711368245678555208641912911099643/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^15 + 812273914832191676325868728893445471802320947860956781/565173762605\ 13822713524890681751943210696636524441600*c_1001_5^14 + 22868744610635803847965171017373330883617852510598296597/1130347525\ 210276454270497813635038864213932730488832000*c_1001_5^13 + 12771299607927744892752642045269855137779008554219897681/5651737626\ 05138227135248906817519432106966365244416000*c_1001_5^12 + 151454689760484382256450029080769132265510649350687749/883084004070\ 5284798988264169023741126671349456944000*c_1001_5^11 + 7421520654652359063685179118668393795836749333461200123/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^10 - 577170167255982698898495118627001069046575569879791803/706467203256\ 42278391906113352189929013370795655552000*c_1001_5^9 - 2397595448942324674019787645336944889671911077514976327/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^8 - 3239931763751958690396688003288196319261885255683038547/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^7 - 112296706613666974274185010371173492584910745629742627/706467203256\ 4227839190611335218992901337079565555200*c_1001_5^6 - 166097126177075165423235867805535591565256752719823/110385500508816\ 05998735330211279676408339186821180*c_1001_5^5 - 728572823277960903566845073646733314018463867898331/275963751272040\ 149968383255281991910208479670529500*c_1001_5^4 - 12948848023681832203584843313746723691223852395399681/2207710010176\ 321199747066042255935281667837364236000*c_1001_5^3 + 4436668600176727536399471148217483995523368740090819/22077100101763\ 21199747066042255935281667837364236000*c_1001_5^2 - 3975281832746823311730337808235844115989277388560479/22077100101763\ 21199747066042255935281667837364236000*c_1001_5 + 463963294631362388722971701838767977388134497563243/551927502544080\ 299936766510563983820416959341059000, c_0101_1 - 178330436288652223950927261124123848803126078127649/11303475\ 25210276454270497813635038864213932730488832000*c_1001_5^22 - 304852374040760819226268866957397001100131390383931/282586881302569\ 113567624453408759716053483182622208000*c_1001_5^21 + 57637781276547708020334794512597373200860480975897/1412934406512845\ 56783812226704379858026741591311104000*c_1001_5^20 + 8435463344834187798944952649205733809498951517624401/14129344065128\ 4556783812226704379858026741591311104000*c_1001_5^19 + 382738889713113683148068161272293837835041369820562629/113034752521\ 0276454270497813635038864213932730488832000*c_1001_5^18 + 1287929961776962009097861818357267617665423426273254737/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^17 + 2532725911577603870724789716291687310726986150963695869/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^16 + 3671919054415100555206010236679171008658253381443009703/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^15 + 87971327548190563123672208272591355287568369239462001/5651737626051\ 3822713524890681751943210696636524441600*c_1001_5^14 - 1505443008051050256026954779122352379351741626405512663/11303475252\ 10276454270497813635038864213932730488832000*c_1001_5^13 - 5199868611971954543440281821686412314340344878947600299/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^12 - 201882940842592252104482999794107145983465875071375967/176616800814\ 10569597976528338047482253342698913888000*c_1001_5^11 - 17005960909839302349642969530313986701545220582779976217/1130347525\ 210276454270497813635038864213932730488832000*c_1001_5^10 - 330114054979537406619569721959520260370937845815284063/706467203256\ 42278391906113352189929013370795655552000*c_1001_5^9 - 607300255250244600105157729702913508541130625869292667/141293440651\ 284556783812226704379858026741591311104000*c_1001_5^8 + 2047176130287524094113130612484355031795870842030551713/14129344065\ 1284556783812226704379858026741591311104000*c_1001_5^7 + 5270875354752840068941122440676134216177530486135233/70646720325642\ 27839190611335218992901337079565555200*c_1001_5^6 + 207707513913772777459912031894302951259976977836977/110385500508816\ 05998735330211279676408339186821180*c_1001_5^5 - 1638783097534183894819332380586509449379294323091577/55192750254408\ 0299936766510563983820416959341059000*c_1001_5^4 + 21498559688243720449428595702035461902705370207769299/2207710010176\ 321199747066042255935281667837364236000*c_1001_5^3 - 8485792215160432691906734613294924258162248139630201/22077100101763\ 21199747066042255935281667837364236000*c_1001_5^2 + 3717381804230473102440954645567217287370394625672341/22077100101763\ 21199747066042255935281667837364236000*c_1001_5 - 1203505576522588591247582888039404607373360504733697/55192750254408\ 0299936766510563983820416959341059000, c_0101_10 + 533716237053852968156472839521841563097715558243/1130347525\ 2102764542704978136350388642139327304888320*c_1001_5^22 + 1347077397141262170179139058962107842587875679437/28258688130256911\ 35676244534087597160534831826222080*c_1001_5^21 + 1637165452379358798310208923761940566905200606361/14129344065128455\ 67838122267043798580267415913111040*c_1001_5^20 - 23193114245481692940595560744425038577497987359107/1412934406512845\ 567838122267043798580267415913111040*c_1001_5^19 - 1783809799477892690239849276005496569532441421809103/11303475252102\ 764542704978136350388642139327304888320*c_1001_5^18 - 8539105966458612618403705884413757828500819435523619/11303475252102\ 764542704978136350388642139327304888320*c_1001_5^17 - 26878779664074103239322760829643565829943836381779143/1130347525210\ 2764542704978136350388642139327304888320*c_1001_5^16 - 62877935938629214722293743076809780888582249343115781/1130347525210\ 2764542704978136350388642139327304888320*c_1001_5^15 - 5617570489889697523237027838473508962321759487949215/56517376260513\ 8227135248906817519432106966365244416*c_1001_5^14 - 157153483876861601355826665044869717535001272283854299/113034752521\ 02764542704978136350388642139327304888320*c_1001_5^13 - 82892236160745181957748573782370956263081853878578807/5651737626051\ 382271352489068175194321069663652444160*c_1001_5^12 - 111785621970647087224346559824280480933256084982641/110385500508816\ 05998735330211279676408339186821180*c_1001_5^11 - 10575235724476187181613826919231610490874467701499381/1130347525210\ 2764542704978136350388642139327304888320*c_1001_5^10 + 1620073498442854917209316412610241767499133881183759/17661680081410\ 5695979765283380474822533426989138880*c_1001_5^9 + 22513854845650395783699062662039577549375872762798189/1412934406512\ 845567838122267043798580267415913111040*c_1001_5^8 + 23272431072204980598302868220487848326542959982191549/1412934406512\ 845567838122267043798580267415913111040*c_1001_5^7 + 805406006928807675982003411746265893699090942830185/706467203256422\ 78391906113352189929013370795655552*c_1001_5^6 + 53980372691613855820189907778957460192590714240325/8830840040705284\ 798988264169023741126671349456944*c_1001_5^5 + 8619137907102302495432962954103410590923288644803/11038550050881605\ 998735330211279676408339186821180*c_1001_5^4 - 26745442795398353018023425810804095583495060971923/2207710010176321\ 1997470660422559352816678373642360*c_1001_5^3 - 40180326394837822487151611785811674286603590056833/2207710010176321\ 1997470660422559352816678373642360*c_1001_5^2 - 29723199667150409119907181625262011406965354423727/2207710010176321\ 1997470660422559352816678373642360*c_1001_5 - 4473022084852273608904190678890699912675477196891/55192750254408029\ 99367665105639838204169593410590, c_0101_3 - 533716237053852968156472839521841563097715558243/11303475252\ 102764542704978136350388642139327304888320*c_1001_5^22 - 1347077397141262170179139058962107842587875679437/28258688130256911\ 35676244534087597160534831826222080*c_1001_5^21 - 1637165452379358798310208923761940566905200606361/14129344065128455\ 67838122267043798580267415913111040*c_1001_5^20 + 23193114245481692940595560744425038577497987359107/1412934406512845\ 567838122267043798580267415913111040*c_1001_5^19 + 1783809799477892690239849276005496569532441421809103/11303475252102\ 764542704978136350388642139327304888320*c_1001_5^18 + 8539105966458612618403705884413757828500819435523619/11303475252102\ 764542704978136350388642139327304888320*c_1001_5^17 + 26878779664074103239322760829643565829943836381779143/1130347525210\ 2764542704978136350388642139327304888320*c_1001_5^16 + 62877935938629214722293743076809780888582249343115781/1130347525210\ 2764542704978136350388642139327304888320*c_1001_5^15 + 5617570489889697523237027838473508962321759487949215/56517376260513\ 8227135248906817519432106966365244416*c_1001_5^14 + 157153483876861601355826665044869717535001272283854299/113034752521\ 02764542704978136350388642139327304888320*c_1001_5^13 + 82892236160745181957748573782370956263081853878578807/5651737626051\ 382271352489068175194321069663652444160*c_1001_5^12 + 111785621970647087224346559824280480933256084982641/110385500508816\ 05998735330211279676408339186821180*c_1001_5^11 + 10575235724476187181613826919231610490874467701499381/1130347525210\ 2764542704978136350388642139327304888320*c_1001_5^10 - 1620073498442854917209316412610241767499133881183759/17661680081410\ 5695979765283380474822533426989138880*c_1001_5^9 - 22513854845650395783699062662039577549375872762798189/1412934406512\ 845567838122267043798580267415913111040*c_1001_5^8 - 23272431072204980598302868220487848326542959982191549/1412934406512\ 845567838122267043798580267415913111040*c_1001_5^7 - 805406006928807675982003411746265893699090942830185/706467203256422\ 78391906113352189929013370795655552*c_1001_5^6 - 53980372691613855820189907778957460192590714240325/8830840040705284\ 798988264169023741126671349456944*c_1001_5^5 - 8619137907102302495432962954103410590923288644803/11038550050881605\ 998735330211279676408339186821180*c_1001_5^4 + 26745442795398353018023425810804095583495060971923/2207710010176321\ 1997470660422559352816678373642360*c_1001_5^3 + 40180326394837822487151611785811674286603590056833/2207710010176321\ 1997470660422559352816678373642360*c_1001_5^2 + 29723199667150409119907181625262011406965354423727/2207710010176321\ 1997470660422559352816678373642360*c_1001_5 + 4473022084852273608904190678890699912675477196891/55192750254408029\ 99367665105639838204169593410590, c_0101_5 - 2153950117933970567928990894745985750712084687981/4521390100\ 8411058170819912545401554568557309219553280*c_1001_5^22 - 4091111551686689213286116684278710324897352273119/11303475252102764\ 542704978136350388642139327304888320*c_1001_5^21 - 734879406769788568197856066431406098564090449827/565173762605138227\ 1352489068175194321069663652444160*c_1001_5^20 + 102055778036183723926771156144751022786476322541949/565173762605138\ 2271352489068175194321069663652444160*c_1001_5^19 + 5233200140090340889627410014121718504655482653967041/45213901008411\ 058170819912545401554568557309219553280*c_1001_5^18 + 19153684001198692640913576443983367722608254659909213/4521390100841\ 1058170819912545401554568557309219553280*c_1001_5^17 + 43367955801054165534996917158271211446512992956328281/4521390100841\ 1058170819912545401554568557309219553280*c_1001_5^16 + 72536496523329151104229030969989926546425814522257787/4521390100841\ 1058170819912545401554568557309219553280*c_1001_5^15 + 3574663617102167211841549252421780316140173441223917/22606950504205\ 52908540995627270077728427865460977664*c_1001_5^14 + 38825163082447540596995024610422587365601777412406933/4521390100841\ 1058170819912545401554568557309219553280*c_1001_5^13 - 30892595631351388858841128753337638583188122671950511/2260695050420\ 5529085409956272700777284278654609776640*c_1001_5^12 - 1041179481321655408082548468259852137412722326500219/35323360162821\ 1391959530566760949645066853978277760*c_1001_5^11 - 182148683464510113207841761104949414129229129898034053/452139010084\ 11058170819912545401554568557309219553280*c_1001_5^10 - 5431324346650929607291800584630038119193196882283947/28258688130256\ 91135676244534087597160534831826222080*c_1001_5^9 - 4130042941594549903022534762822275451795906856110503/56517376260513\ 82271352489068175194321069663652444160*c_1001_5^8 + 19309240901008907907445785484396021425697432916802797/5651737626051\ 382271352489068175194321069663652444160*c_1001_5^7 + 448239367590371867555919628201161013109511500882965/282586881302569\ 113567624453408759716053483182622208*c_1001_5^6 + 13594341864377385250507707461667877176590803898663/4415420020352642\ 399494132084511870563335674728472*c_1001_5^5 + 12447696559247120364191123513381850580691852463409/4415420020352642\ 3994941320845118705633356747284720*c_1001_5^4 + 38073363446209155959195640661804272351728748245991/8830840040705284\ 7989882641690237411266713494569440*c_1001_5^3 - 66643278775684480345873874317514780630888541211229/8830840040705284\ 7989882641690237411266713494569440*c_1001_5^2 + 48662854858079704172830056168307059483748716360849/8830840040705284\ 7989882641690237411266713494569440*c_1001_5 - 20336605285428308175677251395216803071675276825053/2207710010176321\ 1997470660422559352816678373642360, c_0110_5 - 1, c_1001_2 - 99927870676282679094457844509445711125608241017959/565173762\ 605138227135248906817519432106966365244416000*c_1001_5^22 - 224325264279978019363656015560926445962892205350821/141293440651284\ 556783812226704379858026741591311104000*c_1001_5^21 - 187756916556452317723604901712365679733507380837173/706467203256422\ 78391906113352189929013370795655552000*c_1001_5^20 + 4489278693181468688671827393379362290353719914338591/70646720325642\ 278391906113352189929013370795655552000*c_1001_5^19 + 292770773209626951485547789238789281777982356786135139/565173762605\ 138227135248906817519432106966365244416000*c_1001_5^18 + 1289928705797134473363756291277677215792732480956647767/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^17 + 3757548217182639271339823323771672547530853788674615979/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^16 + 8355064124339437520149623154950403815225161238231184273/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^15 + 707008659542119333917623042157094567273342284415985991/282586881302\ 56911356762445340875971605348318262220800*c_1001_5^14 + 19406041574136714558541821346500890416761897454329826367/5651737626\ 05138227135248906817519432106966365244416000*c_1001_5^13 + 9999567110231696091930209705708283614329307211223997891/28258688130\ 2569113567624453408759716053483182622208000*c_1001_5^12 + 465446947847747625453532927216280574693513911698938481/176616800814\ 10569597976528338047482253342698913888000*c_1001_5^11 + 3720999918931387406308950604524480696545898229847497553/56517376260\ 5138227135248906817519432106966365244416000*c_1001_5^10 - 479321848679323271793794517058789950935382597929426283/353233601628\ 21139195953056676094964506685397827776000*c_1001_5^9 - 2216742247691157799494965463326352204484990931689822897/70646720325\ 642278391906113352189929013370795655552000*c_1001_5^8 - 2345656510872235311759389429460423747904339956595338817/70646720325\ 642278391906113352189929013370795655552000*c_1001_5^7 - 111541567451637117966922111004813795872724626001856597/353233601628\ 2113919595305667609496450668539782777600*c_1001_5^6 - 882221314131673978096077860283070781051273976460959/441542002035264\ 23994941320845118705633356747284720*c_1001_5^5 - 2809574509186233602556196465793505947504430490421957/27596375127204\ 0149968383255281991910208479670529500*c_1001_5^4 - 5102955722986728896306462457038599960749540939411391/11038550050881\ 60599873533021127967640833918682118000*c_1001_5^3 + 770591146268934213657543134408521153841429225050109/110385500508816\ 0599873533021127967640833918682118000*c_1001_5^2 + 316166200918277052705243293315574136388099888160131/110385500508816\ 0599873533021127967640833918682118000*c_1001_5 + 294081543244891014389038240423025937441376842104873/275963751272040\ 149968383255281991910208479670529500, c_1001_5^23 + 8*c_1001_5^22 + 8*c_1001_5^21 - 360*c_1001_5^20 - 2565*c_1001_5^19 - 10685*c_1001_5^18 - 29497*c_1001_5^17 - 65139*c_1001_5^16 - 108184*c_1001_5^15 - 156473*c_1001_5^14 - 163814*c_1001_5^13 - 152024*c_1001_5^12 - 62983*c_1001_5^11 - 852*c_1001_5^10 + 125208*c_1001_5^9 + 108952*c_1001_5^8 + 206208*c_1001_5^7 + 69760*c_1001_5^6 + 149504*c_1001_5^5 - 3584*c_1001_5^4 + 59904*c_1001_5^3 - 20992*c_1001_5^2 + 12288*c_1001_5 - 8192 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.450 Total time: 7.660 seconds, Total memory usage: 82.00MB