Magma V2.19-8 Tue Aug 20 2013 23:44:56 on localhost [Seed = 4173241685] Type ? for help. Type -D to quit. Loading file "K13n2122__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2122 geometric_solution 10.96944719 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.022836393618 0.912070197416 0 5 2 6 0132 0132 2031 0132 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 -1 0 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.019033431637 0.827700490829 5 0 7 1 0132 0132 0132 1302 0 0 0 0 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 -1 1 0 0 0 6 -6 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223633118906 1.021245438319 8 9 7 0 0132 0132 3201 0132 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 -6 0 6 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.459070938055 0.708494893537 10 11 0 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269713313540 0.630861845940 2 1 10 11 0132 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.273407564596 1.236462082385 7 4 1 9 1023 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481014749736 1.569879942263 3 6 8 2 2310 1023 1023 0132 0 0 0 0 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 1 -1 1 0 5 -6 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306847953572 1.110899037475 3 11 7 10 0132 1230 1023 2103 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 0 0 -5 5 6 0 -1 -5 -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.820506367162 0.841766775773 10 3 6 11 2103 0132 1230 0213 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 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.205405618571 0.807236464583 4 5 9 8 0132 0213 2103 2103 0 0 0 0 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 0 0 -5 5 5 0 0 -5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.377468917054 0.948966321749 5 4 8 9 3120 0132 3012 0213 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 -5 0 5 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457472552346 1.334572808355 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : d['c_0110_6'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1100_9' : d['c_0110_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : d['c_0101_2'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0101_1']), 's_3_1' : d['1'], 's_3_0' : 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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_6'], '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_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), '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_10'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 29337685633085621811417554232926599618488599847354203802265177/3376\ 6077457191846810061218831896458686725453496361670934350*c_1001_0^22 + 10737389957927787443290575155409730342590283284436435347361869/48\ 23725351027406687151602690270922669532207642337381562050*c_1001_0^2\ 1 + 1527439930626689272336466979546708460537421597810710931612797/4\ 823725351027406687151602690270922669532207642337381562050*c_1001_0^\ 20 - 8627779378349931986181629655433191258723997694708554001050273/\ 16883038728595923405030609415948229343362726748180835467175*c_1001_\ 0^19 - 302761103085152185809269432651233131068209942712797430485096\ 58/2411862675513703343575801345135461334766103821168690781025*c_100\ 1_0^18 - 1017579014535465362710872471436921058774611979134634140783\ 5221/438520486457036971559236608206447515412018876576125596550*c_10\ 01_0^17 - 218272272080837051557441421209909415699155774939377450172\ 24569/1350643098287673872402448753275858347469018139854466837374*c_\ 1001_0^16 + 1975519081499652487047140143307623842503022950092796511\ 80936403/1688303872859592340503060941594822934336272674818083546717\ 5*c_1001_0^15 + 159884048871025175738579894261275803768679388068828\ 2713761619032/16883038728595923405030609415948229343362726748180835\ 467175*c_1001_0^14 + 3079187404248163261998819980895527191854185837\ 742528699938471257/168830387285959234050306094159482293433627267481\ 80835467175*c_1001_0^13 + 49964359170088558201611944416013878826784\ 76393749455759947038266/1688303872859592340503060941594822934336272\ 6748180835467175*c_1001_0^12 + 170920816675972247709730186667418343\ 4626471722201804402097630591/48237253510274066871516026902709226695\ 32207642337381562050*c_1001_0^11 + 6445687634652609779116319123208334480001434220054127600100497679/16\ 883038728595923405030609415948229343362726748180835467175*c_1001_0^\ 10 + 81573752451055595377571968745683765888082202422648232092934036\ 3/2411862675513703343575801345135461334766103821168690781025*c_1001\ _0^9 + 453622723821744036720552079904365441458513536719800117559648\ 3538/16883038728595923405030609415948229343362726748180835467175*c_\ 1001_0^8 + 60322528928842742308473232386715768406585432535014640967\ 3902788/3376607745719184681006121883189645868672545349636167093435*\ c_1001_0^7 + 253390032631763882965194379732768651788437439053298173\ 654704309/241186267551370334357580134513546133476610382116869078102\ 5*c_1001_0^6 + 3423740282372622626442176025194007132308169353920687\ 73418038693/6753215491438369362012243766379291737345090699272334186\ 870*c_1001_0^5 + 35893648673526225828654385860873604076075603107046\ 5562791525274/16883038728595923405030609415948229343362726748180835\ 467175*c_1001_0^4 + 11842264147800962893595042049758271353408729849\ 9933711661420426/16883038728595923405030609415948229343362726748180\ 835467175*c_1001_0^3 + 36227617855857223964049739306294297225897152\ 913702532261291907/168830387285959234050306094159482293433627267481\ 80835467175*c_1001_0^2 + 148194179351903069209490924877835146531187\ 70784045025197933457/3376607745719184681006121883189645868672545349\ 6361670934350*c_1001_0 + 990751025696995874104265647220194998522246\ 266326291394559443/675321549143836936201224376637929173734509069927\ 2334186870, c_0011_0 - 1, c_0011_10 + 244459099310034653269474379485020289600160791235353/7355552\ 939090261611615034688684224600952954614855*c_1001_0^22 - 110371053998067897967713407414834589861342882529012/735555293909026\ 1611615034688684224600952954614855*c_1001_0^21 - 386117551698290567182569928231354499094817368940696/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 - 698268503216362152450378072367257053608677377648006/735555293909026\ 1611615034688684224600952954614855*c_1001_0^19 + 2348874908640503393973147104943911971138374518349438/73555529390902\ 61611615034688684224600952954614855*c_1001_0^18 + 11602723439458334656150830072199005764841091262991188/7355552939090\ 261611615034688684224600952954614855*c_1001_0^17 + 5659289341156230403843750673100952770271640043107359/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 + 52621002131297185190759558419522292949351522054914191/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 + 76147061721044705037404488748598985529625720750882609/7355552939090\ 261611615034688684224600952954614855*c_1001_0^14 + 96145263046501644975171518494606670717831871174214904/7355552939090\ 261611615034688684224600952954614855*c_1001_0^13 + 102046003615465126518233127530999482004530740301864287/735555293909\ 0261611615034688684224600952954614855*c_1001_0^12 + 97062227601436698700002253618193777974741166651402892/7355552939090\ 261611615034688684224600952954614855*c_1001_0^11 + 79225554714420921620494133007746408864758045366645733/7355552939090\ 261611615034688684224600952954614855*c_1001_0^10 + 57887989357421662409802663046790113141776594110273972/7355552939090\ 261611615034688684224600952954614855*c_1001_0^9 + 36053035904418816126186177846988539728417051759848901/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 + 3966625762046087697144572327483430330743618776578831/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 + 9087069964359301248659590901113762157167847459668806/73555529390902\ 61611615034688684224600952954614855*c_1001_0^6 + 730048708771907117398038980876320965735324861426753/147111058781805\ 2322323006937736844920190590922971*c_1001_0^5 + 1195810795233042881665314126575411861535949805868283/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 + 375806059879692289754547940309460863407402836269542/735555293909026\ 1611615034688684224600952954614855*c_1001_0^3 + 83098520472653542653005471007963772010769942574509/7355552939090261\ 611615034688684224600952954614855*c_1001_0^2 + 15629567408287870136290936198556585960814215503132/7355552939090261\ 611615034688684224600952954614855*c_1001_0 - 2054853164405862044113793627025780739561153058867/14711105878180523\ 22323006937736844920190590922971, c_0011_3 + 245752218288830699079289162698651052876429738152169/73555529\ 39090261611615034688684224600952954614855*c_1001_0^22 + 77105576942349773362812665145944438629697445111149/7355552939090261\ 611615034688684224600952954614855*c_1001_0^21 - 458678834409744543450300448361809177844376231036028/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 - 1014347896793080031981048440060382407385739233627168/73555529390902\ 61611615034688684224600952954614855*c_1001_0^19 + 1814371383774253227947665691403748084385706013197549/73555529390902\ 61611615034688684224600952954614855*c_1001_0^18 + 13453128078930465385668967968419481380265440235082384/7355552939090\ 261611615034688684224600952954614855*c_1001_0^17 + 7502452839628415043135462332845909302108454488976558/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 + 75198422938167120156343412149994082574179324359826543/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 + 118354137319946909859624626250384762860107163636367772/735555293909\ 0261611615034688684224600952954614855*c_1001_0^14 + 157905589956816339153800842969949726456174450187957897/735555293909\ 0261611615034688684224600952954614855*c_1001_0^13 + 180785026354416866947187045104804335600520845831208176/735555293909\ 0261611615034688684224600952954614855*c_1001_0^12 + 182032481875903428371325498301986896548336909418316761/735555293909\ 0261611615034688684224600952954614855*c_1001_0^11 + 161211283073774745100727692581963613454041010427967854/735555293909\ 0261611615034688684224600952954614855*c_1001_0^10 + 126422836240678721660929836930306863587849619682707791/735555293909\ 0261611615034688684224600952954614855*c_1001_0^9 + 87223529673197649780087100136453085446335795032532653/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 + 10584103582231744295220944606943361234349781367859096/1471110587818\ 052322323006937736844920190590922971*c_1001_0^7 + 27898144376005025596915840678020989235532333256902843/7355552939090\ 261611615034688684224600952954614855*c_1001_0^6 + 2560274778090200987482659460382282483525439809544485/14711105878180\ 52322323006937736844920190590922971*c_1001_0^5 + 5019708781509398332662894121096791978900332148854784/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 + 1735985405548493671125401955565817809538450367239901/73555529390902\ 61611615034688684224600952954614855*c_1001_0^3 + 510235608622878472769248526417278945534785612657652/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 + 131430497619975558862260314518104028008085914437811/735555293909026\ 1611615034688684224600952954614855*c_1001_0 + 3707055213256334650613811545978709584917082852185/14711105878180523\ 22323006937736844920190590922971, c_0011_6 + 265888462164669335526014120095031726544125238114141/73555529\ 39090261611615034688684224600952954614855*c_1001_0^22 + 95725672023005552054566714969899553917846274346116/7355552939090261\ 611615034688684224600952954614855*c_1001_0^21 - 623177794313354809666393627326579838980668183830857/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 - 952702164867777202300669854225394735330787419344322/735555293909026\ 1611615034688684224600952954614855*c_1001_0^19 + 2088318225092484362280489323373703247265511827848756/73555529390902\ 61611615034688684224600952954614855*c_1001_0^18 + 14790567242045141040985160170272977383437214084728676/7355552939090\ 261611615034688684224600952954614855*c_1001_0^17 + 7932548163210619047425107441372615368164752567240521/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 + 78161629079172856721343720300237284882344072225359862/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 + 122164790301866170860189905087286689100756628051982058/735555293909\ 0261611615034688684224600952954614855*c_1001_0^14 + 161563964361115813881639762155208022224397464086653678/735555293909\ 0261611615034688684224600952954614855*c_1001_0^13 + 185630699990962846546687392226056336598595962948268369/735555293909\ 0261611615034688684224600952954614855*c_1001_0^12 + 186202365627921307728814302844124912593276856057245534/735555293909\ 0261611615034688684224600952954614855*c_1001_0^11 + 166757295846799564665583649809443868650192354714541781/735555293909\ 0261611615034688684224600952954614855*c_1001_0^10 + 130960108642349353119157276690330631939203274643360319/735555293909\ 0261611615034688684224600952954614855*c_1001_0^9 + 92357544626356898507328554363111347153173497812582972/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 + 11302872770709307716649366533985753129158891899216007/1471110587818\ 052322323006937736844920190590922971*c_1001_0^7 + 31048457525106956135627531641405798387459236065726142/7355552939090\ 261611615034688684224600952954614855*c_1001_0^6 + 2891394555220240046587506945920333639873952801645618/14711105878180\ 52322323006937736844920190590922971*c_1001_0^5 + 6107710888754365356145726720920107155109116342781331/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 + 2120716639820282641215911405774407506148105015527199/73555529390902\ 61611615034688684224600952954614855*c_1001_0^3 + 717923598934384161348986029701998819185156456070988/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 + 172854618824488387977548215289902355727771874824494/735555293909026\ 1611615034688684224600952954614855*c_1001_0 + 9246923126356042164822561948473885504696291043328/14711105878180523\ 22323006937736844920190590922971, c_0101_0 - 101546585031949486262533110880071208913174601072414/73555529\ 39090261611615034688684224600952954614855*c_1001_0^22 + 66366943909552206439778216146971340093676675546946/7355552939090261\ 611615034688684224600952954614855*c_1001_0^21 + 83182648125293583411512605252094672262905790652768/7355552939090261\ 611615034688684224600952954614855*c_1001_0^20 + 336580523583989292579459242568451889033735018512808/735555293909026\ 1611615034688684224600952954614855*c_1001_0^19 - 970110433255474559543414396033137755375017677049584/735555293909026\ 1611615034688684224600952954614855*c_1001_0^18 - 4505908946478763632807077684848685943613895487052729/73555529390902\ 61611615034688684224600952954614855*c_1001_0^17 - 2302414148124920931700413657411216966239113506260870/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 - 22172579715280026616274481140117112464181119944928383/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 - 33017635796231427381490659349448705348296913194235032/7355552939090\ 261611615034688684224600952954614855*c_1001_0^14 - 43746670155879518496581917703175362053566681372612492/7355552939090\ 261611615034688684224600952954614855*c_1001_0^13 - 47840802759170074860532512313174054713150637175608811/7355552939090\ 261611615034688684224600952954614855*c_1001_0^12 - 48269174659508005387536224229670491618809957755398506/7355552939090\ 261611615034688684224600952954614855*c_1001_0^11 - 40909258876552495056937587971313005789335973326671379/7355552939090\ 261611615034688684224600952954614855*c_1001_0^10 - 32310897351235288852165640100009417940398701734094151/7355552939090\ 261611615034688684224600952954614855*c_1001_0^9 - 21257634047377797851187666950207337625060426020819193/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 - 2619087410004468257268332591136795709877696838334915/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 - 6503481348849033435569203792441928061338779341361213/73555529390902\ 61611615034688684224600952954614855*c_1001_0^6 - 622146624409993732719078627898022265972822894209488/147111058781805\ 2322323006937736844920190590922971*c_1001_0^5 - 1128888934620668948439935925075014435009842644780694/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 - 448338731606721211722626636576149716012500744096996/735555293909026\ 1611615034688684224600952954614855*c_1001_0^3 - 114911307789772395813890244420356336083563516824867/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 - 45617325022972062443068635768757614698191651471576/7355552939090261\ 611615034688684224600952954614855*c_1001_0 + 217951470705980429681075470529446420361692433719/147111058781805232\ 2323006937736844920190590922971, c_0101_1 - 72948041548954321282884670861661295367861192106479/735555293\ 9090261611615034688684224600952954614855*c_1001_0^22 - 139388088526975979890089301906728253638131124159754/735555293909026\ 1611615034688684224600952954614855*c_1001_0^21 + 300885637870241309634952374807717821722888571945888/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 + 468924364785401224145283745322584340827563947823768/735555293909026\ 1611615034688684224600952954614855*c_1001_0^19 - 467320304440981271176590069715321515769885316168164/735555293909026\ 1611615034688684224600952954614855*c_1001_0^18 - 5449798823581761079189041726346261798327543826165894/73555529390902\ 61611615034688684224600952954614855*c_1001_0^17 - 3109442896848156153741479947870216558911194801091733/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 - 29987596895751345880827453500427520626273734824756318/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 - 46336494319795799915302251574435141928988778528137897/7355552939090\ 261611615034688684224600952954614855*c_1001_0^14 - 58322892171104195939277663731403323859585067222612977/7355552939090\ 261611615034688684224600952954614855*c_1001_0^13 - 64434562578881626473231976824585736678416501325714931/7355552939090\ 261611615034688684224600952954614855*c_1001_0^12 - 60361378605871281901746689345371944889321481255826346/7355552939090\ 261611615034688684224600952954614855*c_1001_0^11 - 50459925792502698834966139029413130772565282476039634/7355552939090\ 261611615034688684224600952954614855*c_1001_0^10 - 35831748312008564717099673722820544588590623451599691/7355552939090\ 261611615034688684224600952954614855*c_1001_0^9 - 22427642017179410349805405570713568697938651429469533/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 - 2322208111101089704815885907677964950874356273035087/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 - 5137623321719603471799756312828996986797929077039218/73555529390902\ 61611615034688684224600952954614855*c_1001_0^6 - 353342260775088578628844859348828755711615669889756/147111058781805\ 2322323006937736844920190590922971*c_1001_0^5 - 490584436835364730366157268800768533416495258532899/735555293909026\ 1611615034688684224600952954614855*c_1001_0^4 - 96698047982263387642366730728961295342023358956561/7355552939090261\ 611615034688684224600952954614855*c_1001_0^3 - 20926234712411135151675763566166314982250536228822/7355552939090261\ 611615034688684224600952954614855*c_1001_0^2 + 4120398252027801019553320835847168700142305748154/73555529390902616\ 11615034688684224600952954614855*c_1001_0 + 905384726439985881481673907616431092553996570972/147111058781805232\ 2323006937736844920190590922971, c_0101_10 - 42080171682991637469206434354213242369956584188174/14711105\ 87818052322323006937736844920190590922971*c_1001_0^22 + 14249958228116908290178286128778690226819437270344/1471110587818052\ 322323006937736844920190590922971*c_1001_0^21 + 74331946716710692456671454409800292229010301241925/1471110587818052\ 322323006937736844920190590922971*c_1001_0^20 + 128478251035405913874147604845759264657367317987322/147111058781805\ 2322323006937736844920190590922971*c_1001_0^19 - 409725205434297227340671265816501305540844560286266/147111058781805\ 2322323006937736844920190590922971*c_1001_0^18 - 2058537128335679603784056193616764463814872016501841/14711105878180\ 52322323006937736844920190590922971*c_1001_0^17 - 5033291236393544486493122152231524482115484758010437/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 - 9287222661994160237877036443873948479525744070956310/14711105878180\ 52322323006937736844920190590922971*c_1001_0^15 - 13406940277936010038047111495392564972440638313516677/1471110587818\ 052322323006937736844920190590922971*c_1001_0^14 - 16793725118135692288623458571177040784345937370062925/1471110587818\ 052322323006937736844920190590922971*c_1001_0^13 - 17729973657013742040154630364332075600050598868902362/1471110587818\ 052322323006937736844920190590922971*c_1001_0^12 - 16705708512883976476268059254006875801172752386776021/1471110587818\ 052322323006937736844920190590922971*c_1001_0^11 - 13480062428669055837368390735509598343205133660764183/1471110587818\ 052322323006937736844920190590922971*c_1001_0^10 - 9709268737836856170452157340934204360232294138126424/14711105878180\ 52322323006937736844920190590922971*c_1001_0^9 - 5895510960189232777361759286724471287374221880738039/14711105878180\ 52322323006937736844920190590922971*c_1001_0^8 - 3147005119984510226005563573636814895445019201673704/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 - 1343287831048724293059113550522266928768288121822662/14711105878180\ 52322323006937736844920190590922971*c_1001_0^6 - 493159271700024874906122150037528315980595922700640/147111058781805\ 2322323006937736844920190590922971*c_1001_0^5 - 123448590254072053059869161217917321376941661758074/147111058781805\ 2322323006937736844920190590922971*c_1001_0^4 - 29974177501951340150467245658441855320370104804844/1471110587818052\ 322323006937736844920190590922971*c_1001_0^3 + 1374718724180691383311504846574270892971691470961/14711105878180523\ 22323006937736844920190590922971*c_1001_0^2 + 1132944246885350919627557329189289220461613689562/14711105878180523\ 22323006937736844920190590922971*c_1001_0 + 3924038453535886207765747520698264080240620913031/14711105878180523\ 22323006937736844920190590922971, c_0101_11 + 111283134078205356467332902422600456311438304307231/7355552\ 939090261611615034688684224600952954614855*c_1001_0^22 - 167140576120725703013799125086050018927622357378304/735555293909026\ 1611615034688684224600952954614855*c_1001_0^21 - 162337478624654729385430876058187033690270599789967/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 - 82217894572525828830323384989942560649180652496347/7355552939090261\ 611615034688684224600952954614855*c_1001_0^19 + 1462111074549948946873649915320777967715409289671911/73555529390902\ 61611615034688684224600952954614855*c_1001_0^18 + 4188466070701068798744091637073372686009066770368646/73555529390902\ 61611615034688684224600952954614855*c_1001_0^17 + 1367763826649671964451006545732251210561955640524777/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 + 8907516035671026270157043446229528809598845156446502/73555529390902\ 61611615034688684224600952954614855*c_1001_0^15 + 6738055028357149332536230403843721868143928660729968/73555529390902\ 61611615034688684224600952954614855*c_1001_0^14 + 3025157739423346834713742300759885919201144447308353/73555529390902\ 61611615034688684224600952954614855*c_1001_0^13 - 4632824300093195606917014861014801040285447436860146/73555529390902\ 61611615034688684224600952954614855*c_1001_0^12 - 10462352933462370117447165170579041580310867724316191/7355552939090\ 261611615034688684224600952954614855*c_1001_0^11 - 15658251017224486335787043607345853267881950282608464/7355552939090\ 261611615034688684224600952954614855*c_1001_0^10 - 16308414452184342983272113488443396371907778829525301/7355552939090\ 261611615034688684224600952954614855*c_1001_0^9 - 14795764748221144639433855340843063742139408495489133/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 - 2157355768206223958999819790218114795733323836653402/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 - 6980105870701940435409870934965246256103601846054518/73555529390902\ 61611615034688684224600952954614855*c_1001_0^6 - 731263305739415154521167784227398424278025635492042/147111058781805\ 2322323006937736844920190590922971*c_1001_0^5 - 1748157108849977621968154017764114114261534457382164/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 - 633229146364762567884983680533557572729364355205901/735555293909026\ 1611615034688684224600952954614855*c_1001_0^3 - 249552964496751573978003299962037785566982083379942/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 - 60563163176880194195841503525014598503435919258861/7355552939090261\ 611615034688684224600952954614855*c_1001_0 - 5188466820385946055407182085205437888412599130771/14711105878180523\ 22323006937736844920190590922971, c_0101_2 + 86963318525458628085782040263289462925378287561922/735555293\ 9090261611615034688684224600952954614855*c_1001_0^22 - 267802428288114274655406772255908363818215666031053/735555293909026\ 1611615034688684224600952954614855*c_1001_0^21 + 2703655117126178454106866410502466685618341951806/73555529390902616\ 11615034688684224600952954614855*c_1001_0^20 + 76687118100503339316624433159568330472358639565631/7355552939090261\ 611615034688684224600952954614855*c_1001_0^19 + 1430551672119677426896365206216827398248011617558652/73555529390902\ 61611615034688684224600952954614855*c_1001_0^18 + 1849860862564881253898951415563484769366327637799477/73555529390902\ 61611615034688684224600952954614855*c_1001_0^17 - 67724134717558113210115499589314026941446628031168/1471110587818052\ 322323006937736844920190590922971*c_1001_0^16 - 6130889975979912477217984774350994938017296260926631/73555529390902\ 61611615034688684224600952954614855*c_1001_0^15 - 18841544129284503014411327276922442073000599697454774/7355552939090\ 261611615034688684224600952954614855*c_1001_0^14 - 31812197770900961784920065833360065202134578918747884/7355552939090\ 261611615034688684224600952954614855*c_1001_0^13 - 47517229484225587827225796836648027558022810464927037/7355552939090\ 261611615034688684224600952954614855*c_1001_0^12 - 54558394931947510553129325485079328914881607751890957/7355552939090\ 261611615034688684224600952954614855*c_1001_0^11 - 57760104772796011238122421142983906863113153646700878/7355552939090\ 261611615034688684224600952954614855*c_1001_0^10 - 50306646283461251248363500742686795780937839322676892/7355552939090\ 261611615034688684224600952954614855*c_1001_0^9 - 40403624220854496472045197345288746978070049988700261/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 - 5400919676751367696952155207499159434994177089923200/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 - 16536342112728132118200647078593583213726818002663856/7355552939090\ 261611615034688684224600952954614855*c_1001_0^6 - 1661222343432153662810803224918525122166762992172436/14711105878180\ 52322323006937736844920190590922971*c_1001_0^5 - 3840667171075260192834036341422447669916575729814018/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 - 1407598466457456639023203898608159815733654865873307/73555529390902\ 61611615034688684224600952954614855*c_1001_0^3 - 517929929978472102971273307708160724208526594243019/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 - 132367100389800136046565402527783156602848553089137/735555293909026\ 1611615034688684224600952954614855*c_1001_0 - 7840716345746906717082573157646759318669224249161/14711105878180523\ 22323006937736844920190590922971, c_0101_7 - 33908666405097522169027938431611449626277496321364/735555293\ 9090261611615034688684224600952954614855*c_1001_0^22 - 169958142365313130548941816372369138044602901946804/735555293909026\ 1611615034688684224600952954614855*c_1001_0^21 + 102266568410146679890451437637151143949870606935748/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 + 429637558574766243462553158793601627941194922940218/735555293909026\ 1611615034688684224600952954614855*c_1001_0^19 + 228755169082684989699006617907103089303849309010376/735555293909026\ 1611615034688684224600952954614855*c_1001_0^18 - 3331025952645880629945594242658244676926209961066964/73555529390902\ 61611615034688684224600952954614855*c_1001_0^17 - 2614528458798597914550102580956610700443810762693679/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 - 30112451774910692162315046804418124700516593235417673/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 - 53495864781650630888464528683223372045477991071013077/7355552939090\ 261611615034688684224600952954614855*c_1001_0^14 - 76773335137119441561830993126163852549472588252882517/7355552939090\ 261611615034688684224600952954614855*c_1001_0^13 - 95201158037956457940576085896894559462768745876329051/7355552939090\ 261611615034688684224600952954614855*c_1001_0^12 - 101634187274997831979204640433858920423024144849751216/735555293909\ 0261611615034688684224600952954614855*c_1001_0^11 - 96319815544679292241820975814507450238173685949923444/7355552939090\ 261611615034688684224600952954614855*c_1001_0^10 - 79950838878922323103333648297230530084448102565953981/7355552939090\ 261611615034688684224600952954614855*c_1001_0^9 - 59078681022752272178994763138879565588031855813095303/7355552939090\ 261611615034688684224600952954614855*c_1001_0^8 - 7614389595270581122801689535003005795218040590846293/14711105878180\ 52322323006937736844920190590922971*c_1001_0^7 - 21721330728729536411281312590043760271969442120444773/7355552939090\ 261611615034688684224600952954614855*c_1001_0^6 - 2123358639801896049457264531355555271421318715361476/14711105878180\ 52322323006937736844920190590922971*c_1001_0^5 - 4602346259384015676688732499109762616052726997516609/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 - 1657588156317193954675792999065939208158401479706816/73555529390902\ 61611615034688684224600952954614855*c_1001_0^3 - 565208498893195354648610541552061642095761181123177/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 - 140323592550942820649757779897478421084159806676566/735555293909026\ 1611615034688684224600952954614855*c_1001_0 - 7436636478905318945147267853254062738148916787896/14711105878180523\ 22323006937736844920190590922971, c_0110_6 + 337412592780273866278780097102273465435782784495683/73555529\ 39090261611615034688684224600952954614855*c_1001_0^22 + 70328026382745358378074697151992381104785537641968/7355552939090261\ 611615034688684224600952954614855*c_1001_0^21 - 648427193426742999321058960737586904520568699344296/735555293909026\ 1611615034688684224600952954614855*c_1001_0^20 - 1304471671846043872310701181666504314782085660606971/73555529390902\ 61611615034688684224600952954614855*c_1001_0^19 + 2686383123612545097569294091919151933920790778954523/73555529390902\ 61611615034688684224600952954614855*c_1001_0^18 + 18143712796915684259071812200986642814869506712002538/7355552939090\ 261611615034688684224600952954614855*c_1001_0^17 + 9871033411648021164031252187832436454913219669116256/14711105878180\ 52322323006937736844920190590922971*c_1001_0^16 + 97624647642112897227214092302529980921097588723978831/7355552939090\ 261611615034688684224600952954614855*c_1001_0^15 + 152179179773985785667666868558568918876302719051500309/735555293909\ 0261611615034688684224600952954614855*c_1001_0^14 + 201979669306479984579614803072010661137130185955528294/735555293909\ 0261611615034688684224600952954614855*c_1001_0^13 + 230172171592376046878155657655880820811907913114454057/735555293909\ 0261611615034688684224600952954614855*c_1001_0^12 + 231382085683718235200945852925676113079148620211899467/735555293909\ 0261611615034688684224600952954614855*c_1001_0^11 + 204587054072435927162292755249281397277857075612057093/735555293909\ 0261611615034688684224600952954614855*c_1001_0^10 + 160696634897566291311295374315741538300962361042824197/735555293909\ 0261611615034688684224600952954614855*c_1001_0^9 + 111135847489603505769532596138945549432433227481040721/735555293909\ 0261611615034688684224600952954614855*c_1001_0^8 + 13574391497989161887352883185545573038950749424999877/1471110587818\ 052322323006937736844920190590922971*c_1001_0^7 + 36140657683227635607144637160572047901277499128016036/7355552939090\ 261611615034688684224600952954614855*c_1001_0^6 + 3364444989930091676168287851646219666011532425826085/14711105878180\ 52322323006937736844920190590922971*c_1001_0^5 + 6761815614841287837067759033646391425712184692467193/73555529390902\ 61611615034688684224600952954614855*c_1001_0^4 + 2404246221642117545404326598841902468098527509852522/73555529390902\ 61611615034688684224600952954614855*c_1001_0^3 + 748473721628252260153596021715332156321120015553239/735555293909026\ 1611615034688684224600952954614855*c_1001_0^2 + 196227845752257673562474367844656522731178752907952/735555293909026\ 1611615034688684224600952954614855*c_1001_0 + 7511517517157756079679580056302194304072950768643/14711105878180523\ 22323006937736844920190590922971, c_1001_0^23 + 13/313*c_1001_0^22 - 456/313*c_1001_0^21 - 1156/313*c_1001_0^20 + 2413/313*c_1001_0^19 + 51*c_1001_0^18 + 44445/313*c_1001_0^17 + 90586/313*c_1001_0^16 + 145014/313*c_1001_0^15 + 199414/313*c_1001_0^14 + 234767/313*c_1001_0^13 + 246117/313*c_1001_0^12 + 226968/313*c_1001_0^11 + 188067/313*c_1001_0^10 + 137836/313*c_1001_0^9 + 90560/313*c_1001_0^8 + 52341/313*c_1001_0^7 + 26935/313*c_1001_0^6 + 12058/313*c_1001_0^5 + 4807/313*c_1001_0^4 + 1644/313*c_1001_0^3 + 507/313*c_1001_0^2 + 120/313*c_1001_0 + 25/313 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.250 Total time: 2.459 seconds, Total memory usage: 64.12MB