Magma V2.19-8 Wed Aug 21 2013 00:23:29 on localhost [Seed = 1663398292] Type ? for help. Type -D to quit. Loading file "K14n12316__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12316 geometric_solution 11.92808818 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 -3 0 0 3 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.075731189036 1.823561715302 0 5 6 4 0132 0132 0132 3201 0 0 0 0 0 0 0 0 1 0 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 -1 1 3 0 0 -3 0 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.955716187820 0.923261149963 7 0 5 8 0132 0132 3120 0132 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 -1 0 1 2 0 0 -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.126755094828 0.583576743364 9 8 10 0 0132 2103 0132 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 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.088794560650 1.291708265633 5 1 0 11 3120 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -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 -3 3 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653134724669 0.594062892615 7 1 2 4 1023 0132 3120 3120 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422601515139 0.576706547420 7 12 12 1 3120 0132 0321 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -2 0 2 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761416470367 1.085924469631 2 5 9 6 0132 1023 0132 3120 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 -2 0 0 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.292855055240 0.920214044694 10 3 2 9 0132 2103 0132 2031 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 0 0 0 -1 1 0 0 2 -2 -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.616692094752 0.915655287779 3 8 11 7 0132 1302 2310 0132 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 2 -2 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 1.194317366178 0.951207825161 8 12 11 3 0132 1302 0132 0132 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 0 0 0 0 0 0 0 1 0 -1 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366549209003 0.438722073581 12 9 4 10 0213 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 3 0 -3 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.057034303210 0.836447243287 11 6 6 10 0213 0132 0321 2031 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 -3 0 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761416470367 1.085924469631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : negation(d['c_0011_4']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0011_11'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_1'], '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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 6624410321391684028232441037404265302288576557768412395678282936248\ 051185/239531005806599938499609888279924368060798854877247994309722\ 4624331231566848*c_1100_0^22 + 676065056090752222723202167788566965\ 4228687944405037149910282808396322691/59882751451649984624902472069\ 9810920151997137193119985774306156082807891712*c_1100_0^21 + 1334895111992884784030573786178196847122841892831309831190429305846\ 14334309/2395310058065999384996098882799243680607988548772479943097\ 224624331231566848*c_1100_0^20 + 1128403020373093830612747501851242\ 50691075908051148789133190031317264495831/1197655029032999692498049\ 441399621840303994274386239971548612312165615783424*c_1100_0^19 + 2314328545547155211833102190082790633799529750038573791853175504616\ 1999809/82596898553999978792968926993077368296827191336982067003352\ 573252801088512*c_1100_0^18 - 1122944758344972790705706117992169887\ 582344342704221965584511460935032113/460636549628076804806942092846\ 00840011692087476393845059562012006369837824*c_1100_0^17 + 1149236363634898621124793875747471044557301113765206028384266594803\ 461435057/119765502903299969249804944139962184030399427438623997154\ 8612312165615783424*c_1100_0^16 - 121213087801885154334734411540024\ 3307830305881740373816311508065165151687641/11976550290329996924980\ 49441399621840303994274386239971548612312165615783424*c_1100_0^15 + 1804699572292318482910490158442366903316022595026052139578874489517\ 1544735737/23953100580659993849960988827992436806079885487724799430\ 97224624331231566848*c_1100_0^14 - 2084052687975180761735487002885583700262850032613803043649215256649\ 0484943427/23953100580659993849960988827992436806079885487724799430\ 97224624331231566848*c_1100_0^13 + 5193508502060780423860497605857108981439825810620538333313343002857\ 6119334837/23953100580659993849960988827992436806079885487724799430\ 97224624331231566848*c_1100_0^12 - 3322491527892213668390314463012149042853931618486761924362446197988\ 345392663/921273099256153609613884185692016800233841749527876901191\ 24024012739675648*c_1100_0^11 + 17604065902611819012110292357621618\ 2082017910406913966807340805035420696687823/23953100580659993849960\ 98882799243680607988548772479943097224624331231566848*c_1100_0^10 - 2645506774681510305553957830740485677020822624722994815061752618129\ 11154731975/2395310058065999384996098882799243680607988548772479943\ 097224624331231566848*c_1100_0^9 + 1169918263867921705447725416558946647364522847041670987769410279400\ 93466256499/5988275145164998462490247206998109201519971371931199857\ 74306156082807891712*c_1100_0^8 - 163908658461600509725010536524295\ 384021812958185404846555301178145438328212607/598827514516499846249\ 024720699810920151997137193119985774306156082807891712*c_1100_0^7 + 5116541332227932431622612729620933594297204255911153359162703446507\ 1697961301/14970687862912496156225618017495273003799928429827999644\ 3576539020701972928*c_1100_0^6 - 9046285573246907769217769521894684\ 26913861697265999859434493313096062757513487/2395310058065999384996\ 098882799243680607988548772479943097224624331231566848*c_1100_0^5 + 4598065279580968926057137416445550737407708454620749557270858277502\ 0499638881/12606895042452628342084730962101282529515729204065683911\ 0380243385854292992*c_1100_0^4 - 4197188042943223205765297859858303\ 4013571679510074145611243374859046644513033/12606895042452628342084\ 7309621012825295157292040656839110380243385854292992*c_1100_0^3 + 4854793595086211996039481395045973996717805250006869890990663223778\ 39967307357/2395310058065999384996098882799243680607988548772479943\ 097224624331231566848*c_1100_0^2 - 1680245054257027588267080591474742628575881004366428490640305550537\ 86656794909/2395310058065999384996098882799243680607988548772479943\ 097224624331231566848*c_1100_0 + 2569928139332077322242163058052628\ 73297100187866791857126842791037633222195/4678339957160155048820505\ 630467272813687477634321249888861766844396936654, c_0011_0 - 1, c_0011_10 - 11111470624293655812216704899344933451517984045414836461927\ 59/3562481915443542875877928929361050657573944595720999418196964468\ 46*c_1100_0^22 - 16016854682622174580722571557765281947083236295937\ 77388846661/1781240957721771437938964464680525328786972297860499709\ 09848223423*c_1100_0^21 - 17901316973407528882721585660714490424363\ 649089390101734551183/356248191544354287587792892936105065757394459\ 572099941819696446846*c_1100_0^20 - 11936144327708436227829890376870995205895270433090561071735133/1781\ 24095772177143793896446468052532878697229786049970909848223423*c_11\ 00_0^19 - 444155821330190152724080653913899995452450029492477614700\ 5789/12284420398081182330613548032279485026117050330072411786886084\ 374*c_1100_0^18 - 4540374385236233289155993723808092264220326406694\ 8020903483441/17812409577217714379389644646805253287869722978604997\ 0909848223423*c_1100_0^17 - 450335419594743375416421201139246449020\ 061329892211484934582437/178124095772177143793896446468052532878697\ 229786049970909848223423*c_1100_0^16 - 59023237380605048012484215631693049049807498978451514159052664/1781\ 24095772177143793896446468052532878697229786049970909848223423*c_11\ 00_0^15 - 384626291083548691627851211143188236192518676190690214801\ 2549443/35624819154435428758779289293610506575739445957209994181969\ 6446846*c_1100_0^14 + 615894839206995677583376968905104885739034244\ 6254962506147654351/35624819154435428758779289293610506575739445957\ 2099941819696446846*c_1100_0^13 - 986772302029634592627731555495942\ 1913898388604050134275803171347/35624819154435428758779289293610506\ 5757394459572099941819696446846*c_1100_0^12 + 7041895636212826114979642029233358501820099512388982996501474874/17\ 8124095772177143793896446468052532878697229786049970909848223423*c_\ 1100_0^11 - 3073710575534363317268155937847910798245851302436223167\ 2596513835/35624819154435428758779289293610506575739445957209994181\ 9696446846*c_1100_0^10 + 536771290886408071077724979249606655048720\ 16550314331179104815993/3562481915443542875877928929361050657573944\ 59572099941819696446846*c_1100_0^9 - 34579095384186773527611253963970117075847158741120060570826015122/1\ 78124095772177143793896446468052532878697229786049970909848223423*c\ _1100_0^8 + 6459894524751169823821894212502827723097365203088613144\ 7658226760/17812409577217714379389644646805253287869722978604997090\ 9848223423*c_1100_0^7 - 2813497627963917185207695615880471621180360\ 2698805607596133477244/17812409577217714379389644646805253287869722\ 9786049970909848223423*c_1100_0^6 + 75978123342625380103302915571659649465723862658195411573035787309/3\ 56248191544354287587792892936105065757394459572099941819696446846*c\ _1100_0^5 + 3908853363795774321655376962169295381362458225071618318\ 604107641/187499048181239098730417312071634245135470768195842074641\ 94549834*c_1100_0^4 - 514554016210465570335000976893029177822628868\ 4050908848575920289/18749904818123909873041731207163424513547076819\ 584207464194549834*c_1100_0^3 + 20371471965137400827034321436794663\ 7911432535517074154579339137377/35624819154435428758779289293610506\ 5757394459572099941819696446846*c_1100_0^2 - 98172854275357761221011905632529596116346580662473212099119111085/3\ 56248191544354287587792892936105065757394459572099941819696446846*c\ _1100_0 + 914591925274445933359796219929308120515278184597650190227\ 97643542/1781240957721771437938964464680525328786972297860499709098\ 48223423, c_0011_11 + 82835007350558793953410285308321610442053340729718188057313\ 67/1424992766177417150351171571744420263029577838288399767278785787\ 384*c_1100_0^22 + 2178873489830866477271010557513038818871426346454\ 462485368241/356248191544354287587792892936105065757394459572099941\ 819696446846*c_1100_0^21 + 3923092082184490114559480919428942076468\ 4900742807199384898659/14249927661774171503511715717444202630295778\ 38288399767278785787384*c_1100_0^20 - 178259404050779234055333104716992700205814482025899794601588247/712\ 496383088708575175585785872210131514788919144199883639392893692*c_1\ 100_0^19 - 24474111475354630025013978554993761182125353869483733909\ 847833/491376815923247293224541921291179401044682013202896471475443\ 37496*c_1100_0^18 - 10910687156383585213034247833388805983874368431\ 18430374066277707/3562481915443542875877928929361050657573944595720\ 99941819696446846*c_1100_0^17 - 87473221035957178419750703559232345\ 7238161664335746777482944865/71249638308870857517558578587221013151\ 4788919144199883639392893692*c_1100_0^16 - 8314051660558491450411238276378496042622662773944036336330557671/71\ 2496383088708575175585785872210131514788919144199883639392893692*c_\ 1100_0^15 + 1901527806249569241881244300482250904388966046366225507\ 3943763239/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^14 - 90063937661035462341261690647029659525590\ 184241926784511931925965/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^13 + 84659727323920056279040493734035963776415997985208683184047455795/1\ 424992766177417150351171571744420263029577838288399767278785787384*\ c_1100_0^12 - 13577798881384552612524688029842754948876454582121367\ 2120513031773/71249638308870857517558578587221013151478891914419988\ 3639392893692*c_1100_0^11 + 333934241627101708258080404048374308348\ 574175974083748672368596321/142499276617741715035117157174442026302\ 9577838288399767278785787384*c_1100_0^10 - 773694814199704780552067898059973885607095989147261528267481667161/\ 1424992766177417150351171571744420263029577838288399767278785787384\ *c_1100_0^9 + 28235093044557656123161045361551982349754554990841516\ 1775785776089/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^8 - 4587141798386606468192290941609340544136\ 87604790624540581153753009/3562481915443542875877928929361050657573\ 94459572099941819696446846*c_1100_0^7 + 264608054158929995009919491237702536294106713481227537035746615377/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 - 232128081812166911518809485626406514061651906020481705\ 3051989156265/14249927661774171503511715717444202630295778382883997\ 67278785787384*c_1100_0^5 + 118970562453169036596651695366461407762\ 778218053404861026833209215/749996192724956394921669248286536980541\ 88307278336829856778199336*c_1100_0^4 - 66490985413975157996024722824226753018862505236013500057198965407/7\ 4999619272495639492166924828653698054188307278336829856778199336*c_\ 1100_0^3 + 14660513076025949035484131079306255811434859701023609225\ 52926473259/1424992766177417150351171571744420263029577838288399767\ 278785787384*c_1100_0^2 - 27960975913337697388013866131710255891903\ 7640417739842688121708755/14249927661774171503511715717444202630295\ 77838288399767278785787384*c_1100_0 + 34603161962726320194488766435421725909265359349146829875126286562/1\ 78124095772177143793896446468052532878697229786049970909848223423, c_0011_12 - 93321685112979358403115078965807636705949667793863533498561\ /74999619272495639492166924828653698054188307278336829856778199336*\ c_1100_0^22 - 35540901923769888844040823697047620654021316193212049\ 1171459/18749904818123909873041731207163424513547076819584207464194\ 549834*c_1100_0^21 - 6414720091050590712411483544215039221163869283\ 588236180926301/749996192724956394921669248286536980541883072783368\ 29856778199336*c_1100_0^20 - 13806199524726030701906592531623041028\ 094683494716908355731643/374998096362478197460834624143268490270941\ 53639168414928389099668*c_1100_0^19 - 2227064617386396822455213324513370113587255110316117166052905/25861\ 93768017091016971273269953575794972010595804718270923386184*c_1100_\ 0^18 - 454153597710969253424388003249314403459230070812579586752955\ 61/1874990481812390987304173120716342451354707681958420746419454983\ 4*c_1100_0^17 - 115673717044172751926021747963291395406170540909555\ 584394002585/374998096362478197460834624143268490270941536391684149\ 28389099668*c_1100_0^16 - 37884367970376194134414605306838139731872\ 5948171345790266997599/37499809636247819746083462414326849027094153\ 639168414928389099668*c_1100_0^15 - 466424818146280989430841941083915867775256578024364684626555521/749\ 99619272495639492166924828653698054188307278336829856778199336*c_11\ 00_0^14 - 332957356624587118402670723393205418419410825851510142256\ 6650397/74999619272495639492166924828653698054188307278336829856778\ 199336*c_1100_0^13 + 1483320683349941615996875531119541797099686423\ 644630355444727611/749996192724956394921669248286536980541883072783\ 36829856778199336*c_1100_0^12 - 52730876729084574165914070601108517\ 09106656475197848698887309521/3749980963624781974608346241432684902\ 7094153639168414928389099668*c_1100_0^11 + 6779335056631861245713869215245486789014499515648574207375592657/74\ 999619272495639492166924828653698054188307278336829856778199336*c_1\ 100_0^10 - 28607447343617596731569133479167409529687738185733475205\ 617173497/749996192724956394921669248286536980541883072783368298567\ 78199336*c_1100_0^9 + 841860000764883982516896971868175830676011798\ 0687157124623616165/18749904818123909873041731207163424513547076819\ 584207464194549834*c_1100_0^8 - 18563818969312367887432517146320722\ 879950405541196892940326205795/187499048181239098730417312071634245\ 13547076819584207464194549834*c_1100_0^7 + 11456244251097635278767161920622399798431819992409438616970799398/9\ 374952409061954936520865603581712256773538409792103732097274917*c_1\ 100_0^6 - 120558216304446063094494593800983205809060481080391147633\ 413461905/749996192724956394921669248286536980541883072783368298567\ 78199336*c_1100_0^5 + 128677716305098676283072778910983044338046337\ 834397228449472611733/749996192724956394921669248286536980541883072\ 78336829856778199336*c_1100_0^4 - 101866897077887008461920590707520\ 487267792559199775999388868802685/749996192724956394921669248286536\ 98054188307278336829856778199336*c_1100_0^3 + 100901644538069591065009111819945458903263145622806335633535375795/\ 74999619272495639492166924828653698054188307278336829856778199336*c\ _1100_0^2 - 4088636068415659971401316547326608981553395060040304936\ 2562860027/74999619272495639492166924828653698054188307278336829856\ 778199336*c_1100_0 + 5524070544745792060310231659898527741305617498\ 740695346274020444/937495240906195493652086560358171225677353840979\ 2103732097274917, c_0011_3 + 425894594414282633718994435895200326307389077973991652817611\ 7/14249927661774171503511715717444202630295778382883997672787857873\ 84*c_1100_0^22 + 41284998452578741553278974662062962846386714657452\ 79559285189/3562481915443542875877928929361050657573944595720999418\ 19696446846*c_1100_0^21 + 82977588410737113546986956158234394305423\ 303069923522629308409/142499276617741715035117157174442026302957783\ 8288399767278785787384*c_1100_0^20 + 49562526967795218416285168702388258891031651518520704663730991/7124\ 96383088708575175585785872210131514788919144199883639392893692*c_11\ 00_0^19 + 882748425661401040441686810601906751773801535559793047331\ 9461/49137681592324729322454192129117940104468201320289647147544337\ 496*c_1100_0^18 - 2094924508396406184216167376509145712415939086209\ 47990095248647/3562481915443542875877928929361050657573944595720999\ 41819696446846*c_1100_0^17 - 89840673977340737439814467942618195989\ 33740423741057114558775/7124963830887085751755857858722101315147889\ 19144199883639392893692*c_1100_0^16 - 2703559065683870971034251076372472946625694849593735969017854381/71\ 2496383088708575175585785872210131514788919144199883639392893692*c_\ 1100_0^15 + 1118952706890006915416880930442574994045100830594926534\ 5536052653/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^14 - 20667029309245773763466865361241308021397\ 993709833893158195450263/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^13 + 47765521168719625979231485419510003881465503577510282513084464185/1\ 424992766177417150351171571744420263029577838288399767278785787384*\ c_1100_0^12 - 57382837198166440817002781515684836225793343023798145\ 994446139163/712496383088708575175585785872210131514788919144199883\ 639392893692*c_1100_0^11 + 1617847290832742584934379632863427022863\ 25992856081331274986811211/1424992766177417150351171571744420263029\ 577838288399767278785787384*c_1100_0^10 - 266422364687204068320815472529318004889461546643493366556050505971/\ 1424992766177417150351171571744420263029577838288399767278785787384\ *c_1100_0^9 + 13104576675708456603229291204163721355369570686590328\ 2525083755631/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^8 - 1866728971599725259220642568613474215321\ 95859607210697982778324521/3562481915443542875877928929361050657573\ 94459572099941819696446846*c_1100_0^7 + 140154301924349619245478692962070346079453339451183162485243117832/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 - 130243157405319834629783171966150694078965810927603907\ 2793637709235/14249927661774171503511715717444202630295778382883997\ 67278785787384*c_1100_0^5 + 714881469349832529964712721562150731415\ 48948168499527983102797373/7499961927249563949216692482865369805418\ 8307278336829856778199336*c_1100_0^4 - 45591242416576255961391623592524169034485771415522172497824811213/7\ 4999619272495639492166924828653698054188307278336829856778199336*c_\ 1100_0^3 + 79981397854880633658507773246479510563276008054762579262\ 7588733361/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^2 + 279917489390363871081503997616055787081403\ 75934449077545175302663/1424992766177417150351171571744420263029577\ 838288399767278785787384*c_1100_0 + 6118158094642989460650743873651946649690998030514900208996818524/17\ 8124095772177143793896446468052532878697229786049970909848223423, c_0011_4 + 183579461841617867171700701456946657568937099638852732857001\ 43/1424992766177417150351171571744420263029577838288399767278785787\ 384*c_1100_0^22 + 1986596067448414525388235286052025284701544358084\ 1104201862337/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^21 + 429041954710494133203354088934169357730\ 378795411413014565874643/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^20 + 451229612569423116167633904517358719134748899042870197461756781/712\ 496383088708575175585785872210131514788919144199883639392893692*c_1\ 100_0^19 + 10063806582397941183280274557994087229177155245937734784\ 6820079/49137681592324729322454192129117940104468201320289647147544\ 337496*c_1100_0^18 + 5359989275628838181797585605316069644622883924\ 49097595126655043/3562481915443542875877928929361050657573944595720\ 99941819696446846*c_1100_0^17 + 57310638000053925250074278421579800\ 38073270553142257311324468487/7124963830887085751755857858722101315\ 14788919144199883639392893692*c_1100_0^16 - 1060539918155088036088670651279681145851880126749878325197434971/71\ 2496383088708575175585785872210131514788919144199883639392893692*c_\ 1100_0^15 + 6584350102972426529208475510506992705396001608947635945\ 7923542871/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^14 - 45651490779435626707396874866421057315741\ 704672333198736080204245/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^13 + 242861703372446710030648867302850830220243545197977480144273767267/\ 1424992766177417150351171571744420263029577838288399767278785787384\ *c_1100_0^12 - 1308857275166964039760288223623388688267907686891216\ 96308502876021/7124963830887085751755857858722101315147889191441998\ 83639392893692*c_1100_0^11 + 69977674676532107481939260197705773539\ 1345326851703776341923767537/14249927661774171503511715717444202630\ 29577838288399767278785787384*c_1100_0^10 - 911337030759829252119636790027709458573805044773536151208279105049/\ 1424992766177417150351171571744420263029577838288399767278785787384\ *c_1100_0^9 + 49784603737963947830708480344495766613833502882826237\ 0442338785953/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^8 - 6191339611552289953896524378675453930246\ 36203816028124251310249097/3562481915443542875877928929361050657573\ 94459572099941819696446846*c_1100_0^7 + 490823248163451162104792722675834461717067795975512594710252769394/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 - 435395574311489357060071680524102576368637848650135898\ 8749454350753/14249927661774171503511715717444202630295778382883997\ 67278785787384*c_1100_0^5 + 243607205584440789301351226440962131289\ 934569651572554711698459143/749996192724956394921669248286536980541\ 88307278336829856778199336*c_1100_0^4 - 229332030739000497333505254510946851998889707997249908066380055271/\ 74999619272495639492166924828653698054188307278336829856778199336*c\ _1100_0^3 + 3101921029806218131768706392066971912364885003652019595\ 488984171643/142499276617741715035117157174442026302957783828839976\ 7278785787384*c_1100_0^2 - 2082302708844980212438140129322608719040\ 357550537323974672411423539/142499276617741715035117157174442026302\ 9577838288399767278785787384*c_1100_0 + 103486272793164873223895768982081723174242992132093364835088627848/\ 178124095772177143793896446468052532878697229786049970909848223423, c_0101_0 - 441408964114734079538824297629965447113531880627596557134107\ 3/14249927661774171503511715717444202630295778382883997672787857873\ 84*c_1100_0^22 - 26294055078780260504989460447916702366828615568093\ 66476281141/3562481915443542875877928929361050657573944595720999418\ 19696446846*c_1100_0^21 - 60758626771859918381788424381935019860485\ 050563600916342160469/142499276617741715035117157174442026302957783\ 8288399767278785787384*c_1100_0^20 - 4074271334029804545722753511890950588193373484242300493758367/71249\ 6383088708575175585785872210131514788919144199883639392893692*c_110\ 0_0^19 - 8060685340915782624237172170417987578564305933019045775753\ 257/491376815923247293224541921291179401044682013202896471475443374\ 96*c_1100_0^18 + 18359871546608651561267397498745617676001094908760\ 5165313339917/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^17 - 909634607948999970312140473739618024294\ 233324573820343808686937/712496383088708575175585785872210131514788\ 919144199883639392893692*c_1100_0^16 + 2061846643828617879533417298076220385713993335666643900890352265/71\ 2496383088708575175585785872210131514788919144199883639392893692*c_\ 1100_0^15 - 1595569934013976997488111236468119512477105010857333308\ 7544028809/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^14 + 34176212113810808755986232326582627061102\ 093689342792894280327299/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^13 - 63720166490658434013726681569027309460266957196976321064160030221/1\ 424992766177417150351171571744420263029577838288399767278785787384*\ c_1100_0^12 + 62399336938954675726614300279109981680093968454505987\ 001619919791/712496383088708575175585785872210131514788919144199883\ 639392893692*c_1100_0^11 - 2224534421246978294059533660784140582182\ 52972227292885827548764279/1424992766177417150351171571744420263029\ 577838288399767278785787384*c_1100_0^10 + 375649212049677333167674071344844898407761355472383889104058314359/\ 1424992766177417150351171571744420263029577838288399767278785787384\ *c_1100_0^9 - 16553417795494839765514540276836968408723433656733543\ 7855582150123/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^8 + 2401685577346683970542678634962662276347\ 40864805604256579660781979/3562481915443542875877928929361050657573\ 94459572099941819696446846*c_1100_0^7 - 163349554003496031943456846418853680856879249575645364372902398250/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 + 153063827816272225988896997165540872524007496050374160\ 8818430914463/14249927661774171503511715717444202630295778382883997\ 67278785787384*c_1100_0^5 - 824918989817267387882403538371878327494\ 53931048941645232470129089/7499961927249563949216692482865369805418\ 8307278336829856778199336*c_1100_0^4 + 54261092123198362646778292504162753956738825559828934090658901169/7\ 4999619272495639492166924828653698054188307278336829856778199336*c_\ 1100_0^3 - 95450704350359341912684088099385523987598663270281362352\ 9293871445/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^2 - 870709908433488659741884504025748789038637\ 570196149733974541474555/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0 - 19287567348570789546914244062429649893857542317493754467722409372/1\ 78124095772177143793896446468052532878697229786049970909848223423, c_0101_1 - 891799370540485635287069978956385491184570200340032458052986\ /178124095772177143793896446468052532878697229786049970909848223423\ *c_1100_0^22 - 3191716342141354946663167029674300773290062441883204\ 495923922/178124095772177143793896446468052532878697229786049970909\ 848223423*c_1100_0^21 - 1879614077696998194304222577656112670720756\ 2064855890164586350/17812409577217714379389644646805253287869722978\ 6049970909848223423*c_1100_0^20 - 322141152572995348527674490931619\ 26985975602143056393372472852/1781240957721771437938964464680525328\ 78697229786049970909848223423*c_1100_0^19 - 4235454641813371153183332508977754063384940120850351610341876/61422\ 10199040591165306774016139742513058525165036205893443042187*c_1100_\ 0^18 - 930652048482708303884756214190310017231991616308481822866571\ 3/17812409577217714379389644646805253287869722978604997090984822342\ 3*c_1100_0^17 - 450953535828995358428856552761233179514208608246345\ 324306851866/178124095772177143793896446468052532878697229786049970\ 909848223423*c_1100_0^16 + 7728062978336936072534567834372429421161\ 31822767720705053920500/1781240957721771437938964464680525328786972\ 29786049970909848223423*c_1100_0^15 - 2871831046655678251757466571764524896382453071701239523168573147/17\ 8124095772177143793896446468052532878697229786049970909848223423*c_\ 1100_0^14 + 5120074858872582333898984164543341688144208933795923553\ 299721677/178124095772177143793896446468052532878697229786049970909\ 848223423*c_1100_0^13 - 1448369986516528972032342905769262091271195\ 4000166027599899891876/17812409577217714379389644646805253287869722\ 9786049970909848223423*c_1100_0^12 + 21545846682619820730578120905303756279732473310824500640573292143/1\ 78124095772177143793896446468052532878697229786049970909848223423*c\ _1100_0^11 - 395397541549122937863440574264278907954928271186535479\ 61767888436/1781240957721771437938964464680525328786972297860499709\ 09848223423*c_1100_0^10 + 73258030249990011036380435487003138492929\ 503082269472792473539549/178124095772177143793896446468052532878697\ 229786049970909848223423*c_1100_0^9 - 131429219726318392511549989895403789931323712833665809403053096399/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^8 + 188649295058812994757132777444475550386283506138150463\ 296633725718/178124095772177143793896446468052532878697229786049970\ 909848223423*c_1100_0^7 - 27880225433136987635679798696284286541325\ 1677772332026602602077516/17812409577217714379389644646805253287869\ 7229786049970909848223423*c_1100_0^6 + 322983190341039296204866855009919346051030374380239554094278568290/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^5 - 179249408088388575560933273514959527220548625506627804\ 20052768620/9374952409061954936520865603581712256773538409792103732\ 097274917*c_1100_0^4 + 17590791795891457073968329643998505515726645\ 744487475197378715608/937495240906195493652086560358171225677353840\ 9792103732097274917*c_1100_0^3 - 2770673258150722363102730886052084\ 66070238348975879141759552243316/1781240957721771437938964464680525\ 32878697229786049970909848223423*c_1100_0^2 + 177237675470095956549879541824584287491785031989714327558337214566/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0 - 14903215505715535230092705565664258876651508752095790807\ 4617848459/17812409577217714379389644646805253287869722978604997090\ 9848223423, c_0101_10 + 29683651497998590392629335071476764832953752225779475589206\ 79/3562481915443542875877928929361050657573944595720999418196964468\ 46*c_1100_0^22 + 44070683334350128359014801202044508180485113200916\ 32506202159/1781240957721771437938964464680525328786972297860499709\ 09848223423*c_1100_0^21 + 44855427000469918714309582481475898238922\ 264431146535286314631/356248191544354287587792892936105065757394459\ 572099941819696446846*c_1100_0^20 + 13356173553133450977788650488727074795247546580211453214965709/1781\ 24095772177143793896446468052532878697229786049970909848223423*c_11\ 00_0^19 + 487846082170444495666026199131677136494787318260817402451\ 3405/12284420398081182330613548032279485026117050330072411786886084\ 374*c_1100_0^18 - 2449389820468363783097229636526343312168918007218\ 94466202032821/1781240957721771437938964464680525328786972297860499\ 70909848223423*c_1100_0^17 + 32604548316366821996386585436042486993\ 2824748786963648727586244/17812409577217714379389644646805253287869\ 7229786049970909848223423*c_1100_0^16 - 1370983180238808759780294546762682098379338865840734764520686187/17\ 8124095772177143793896446468052532878697229786049970909848223423*c_\ 1100_0^15 + 7987150933401248817506381904429162290967519595139559080\ 074744953/356248191544354287587792892936105065757394459572099941819\ 696446846*c_1100_0^14 - 1797753725736420320605515031588020069134866\ 2692070404173717948769/35624819154435428758779289293610506575739445\ 9572099941819696446846*c_1100_0^13 + 29067758055380282355122857936009441744860576315713228694739457223/3\ 56248191544354287587792892936105065757394459572099941819696446846*c\ _1100_0^12 - 298132181588582398514573461736930855300866851874289852\ 12519188423/1781240957721771437938964464680525328786972297860499709\ 09848223423*c_1100_0^11 + 99115255717456852166932344990204390126331\ 204967552888655983625229/356248191544354287587792892936105065757394\ 459572099941819696446846*c_1100_0^10 - 175258530834821771636831830939823169052988551293819103520607836575/\ 356248191544354287587792892936105065757394459572099941819696446846*\ c_1100_0^9 + 144454167384959477048110074238652609886347405135122160\ 195765915051/178124095772177143793896446468052532878697229786049970\ 909848223423*c_1100_0^8 - 21574363853398164300892078676828263581173\ 0609549902586969226769392/17812409577217714379389644646805253287869\ 7229786049970909848223423*c_1100_0^7 + 255233064862977992863191752982706962714620639428063430554208534848/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 - 575192572363998566180618845984135644880254592889036028\ 120875180181/356248191544354287587792892936105065757394459572099941\ 819696446846*c_1100_0^5 + 25099219846151202868094310419974645746363\ 371058998779291703472541/187499048181239098730417312071634245135470\ 76819584207464194549834*c_1100_0^4 - 12527932545467509552706858888798839305088792008480415513743524579/1\ 8749904818123909873041731207163424513547076819584207464194549834*c_\ 1100_0^3 + 16245076093721253499200577538184196931587858547758190757\ 8371945893/35624819154435428758779289293610506575739445957209994181\ 9696446846*c_1100_0^2 + 1599591891479122693135604141748365358307398\ 07398313894585992144151/3562481915443542875877928929361050657573944\ 59572099941819696446846*c_1100_0 - 58901944148167195254191212586944819980091311336382473008191096744/1\ 78124095772177143793896446468052532878697229786049970909848223423, c_0101_3 + 410019546714657964017346473795928005680884596218532925771234\ 9/35624819154435428758779289293610506575739445957209994181969644684\ 6*c_1100_0^22 + 816321882604558953506151765347488433794686360712814\ 5426648127/17812409577217714379389644646805253287869722978604997090\ 9848223423*c_1100_0^21 + 819699163467769257692631766952958762273806\ 16471444399604429285/3562481915443542875877928929361050657573944595\ 72099941819696446846*c_1100_0^20 + 67403642199325749003667177312390906492396078487354221635043314/1781\ 24095772177143793896446468052532878697229786049970909848223423*c_11\ 00_0^19 + 141271939816593513818052996056484614334614509118971680011\ 21999/1228442039808118233061354803227948502611705033007241178688608\ 4374*c_1100_0^18 - 510844371404359628052111998654248251104509338136\ 43051182206768/1781240957721771437938964464680525328786972297860499\ 70909848223423*c_1100_0^17 + 64907952508554440592192658879510244928\ 1487619423220364710966752/17812409577217714379389644646805253287869\ 7229786049970909848223423*c_1100_0^16 - 1063768568738847808577078640189950377947746285222738080553960040/17\ 8124095772177143793896446468052532878697229786049970909848223423*c_\ 1100_0^15 + 1073968783188945084345917305326389979999989708571868210\ 8969254669/35624819154435428758779289293610506575739445957209994181\ 9696446846*c_1100_0^14 - 145780590461435331633255301316553707827176\ 78707508637652764746435/3562481915443542875877928929361050657573944\ 59572099941819696446846*c_1100_0^13 + 34777256046156047161382381978311485898423359894253401846972844381/3\ 56248191544354287587792892936105065757394459572099941819696446846*c\ _1100_0^12 - 294440136383600342424723149962582806553523686740968977\ 65468567475/1781240957721771437938964464680525328786972297860499709\ 09848223423*c_1100_0^11 + 10299198963518834676353669591822548224806\ 7327733781912126272225177/35624819154435428758779289293610506575739\ 4459572099941819696446846*c_1100_0^10 - 183239027606756729381934639607788681683211958284271336914659404949/\ 356248191544354287587792892936105065757394459572099941819696446846*\ c_1100_0^9 + 145661091268901850272737718074588014581766566503405034\ 793082448859/178124095772177143793896446468052532878697229786049970\ 909848223423*c_1100_0^8 - 20632501208240521042021297247830867751151\ 9025196358045434541641654/17812409577217714379389644646805253287869\ 7229786049970909848223423*c_1100_0^7 + 248205698501067046314130754985501447278442955833068773784529135230/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 - 575567399327961690227351956985661564415999001155511377\ 831890792639/356248191544354287587792892936105065757394459572099941\ 819696446846*c_1100_0^5 + 19785931083983075450818469529391181717485\ 049030021484321387146111/187499048181239098730417312071634245135470\ 76819584207464194549834*c_1100_0^4 - 18278346928141792531890682666209091609414184484398133510482851327/1\ 8749904818123909873041731207163424513547076819584207464194549834*c_\ 1100_0^3 - 40406608512876179495204179167278446580774514101896964211\ 480992455/356248191544354287587792892936105065757394459572099941819\ 696446846*c_1100_0^2 + 19778844949126934082904348021985347006289453\ 1056960553455800194367/35624819154435428758779289293610506575739445\ 9572099941819696446846*c_1100_0 - 144321771678606088664896068994698\ 872572449566165290728201867492862/178124095772177143793896446468052\ 532878697229786049970909848223423, c_0101_5 - 208148715097336593560821019281367746983707026550172826021904\ 69/1424992766177417150351171571744420263029577838288399767278785787\ 384*c_1100_0^22 - 1895584315996920512062198135174143891257658877106\ 5657329577395/35624819154435428758779289293610506575739445957209994\ 1819696446846*c_1100_0^21 - 388638292158967621458841131163118524770\ 007516449378514759877609/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^20 - 273688840131332800560391462761454576557777687433659187033931623/712\ 496383088708575175585785872210131514788919144199883639392893692*c_1\ 100_0^19 - 64569461267553188151458370593011833312410109580607717780\ 241253/491376815923247293224541921291179401044682013202896471475443\ 37496*c_1100_0^18 + 28576758974695844122309637471830582698091281671\ 4891267677753453/35624819154435428758779289293610506575739445957209\ 9941819696446846*c_1100_0^17 - 350595270829117759399984682892002782\ 1420183802266701802652553945/71249638308870857517558578587221013151\ 4788919144199883639392893692*c_1100_0^16 + 6316920918784009113841731858836021897504978476557596223106192425/71\ 2496383088708575175585785872210131514788919144199883639392893692*c_\ 1100_0^15 - 5891445066769757334871780457773679432477063845144806152\ 3421047485/14249927661774171503511715717444202630295778382883997672\ 78785787384*c_1100_0^14 + 92488448298384941409288352853204110191972\ 808519377343505339313039/142499276617741715035117157174442026302957\ 7838288399767278785787384*c_1100_0^13 - 202829190675282622659256209482273253053960396773989928452051407745/\ 1424992766177417150351171571744420263029577838288399767278785787384\ *c_1100_0^12 + 1801753914923948126965035602641431043015034431508935\ 78063494189691/7124963830887085751755857858722101315147889191441998\ 83639392893692*c_1100_0^11 - 63442140066545121646010014975131598721\ 0522283162420534332637664987/14249927661774171503511715717444202630\ 29577838288399767278785787384*c_1100_0^10 + 1108605322476704250695412629775999625140609188609469236762695934155\ /142499276617741715035117157174442026302957783828839976727878578738\ 4*c_1100_0^9 - 4568563604927520982006208389175457132507674695741455\ 07441747047841/3562481915443542875877928929361050657573944595720999\ 41819696446846*c_1100_0^8 + 652818581899478817894693808452883582657\ 778915198320347448744065287/356248191544354287587792892936105065757\ 394459572099941819696446846*c_1100_0^7 - 411555252504563078257587601404355128135322205408714138157431533480/\ 178124095772177143793896446468052532878697229786049970909848223423*\ c_1100_0^6 + 383290787547456902079837779959805498290407096512578712\ 0145994085019/14249927661774171503511715717444202630295778382883997\ 67278785787384*c_1100_0^5 - 161635623317659040591514231954752559619\ 394127169027582518018713533/749996192724956394921669248286536980541\ 88307278336829856778199336*c_1100_0^4 + 127374479835765532774341023168999120394395563497421468132590306477/\ 74999619272495639492166924828653698054188307278336829856778199336*c\ _1100_0^3 - 7928806094520887011460241643247414535528885762952257666\ 83369901625/1424992766177417150351171571744420263029577838288399767\ 278785787384*c_1100_0^2 - 23687094022114887270688685316074240626063\ 7856135592180518956464639/14249927661774171503511715717444202630295\ 77838288399767278785787384*c_1100_0 + 125034204330035299117981824932269222678592023847796973734145083490/\ 178124095772177143793896446468052532878697229786049970909848223423, c_1001_2 - 1, c_1100_0^23 + 4*c_1100_0^22 + 21*c_1100_0^21 + 38*c_1100_0^20 + 125*c_1100_0^19 + 36*c_1100_0^18 + 482*c_1100_0^17 - 354*c_1100_0^16 + 3097*c_1100_0^15 - 3579*c_1100_0^14 + 10909*c_1100_0^13 - 15326*c_1100_0^12 + 33455*c_1100_0^11 - 51439*c_1100_0^10 + 93380*c_1100_0^9 - 128604*c_1100_0^8 + 177712*c_1100_0^7 - 203391*c_1100_0^6 + 198299*c_1100_0^5 - 178163*c_1100_0^4 + 110725*c_1100_0^3 - 52565*c_1100_0^2 + 1256*c_1100_0 + 43072 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 17.400 Total time: 17.620 seconds, Total memory usage: 120.16MB