Magma V2.19-8 Wed Aug 21 2013 00:11:28 on localhost [Seed = 274104274] Type ? for help. Type -D to quit. Loading file "K13n2957__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2957 geometric_solution 12.52330283 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -5 0 5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460237070080 0.799828801722 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 5 0 -5 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248175022447 1.066603554586 7 0 0 8 0132 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460237070080 0.799828801722 4 7 0 9 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 4 1 -5 0 0 0 0 -1 1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905256584501 0.838434007777 3 1 10 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 4 0 0 -4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376231810569 1.067275836272 9 12 1 8 0132 0132 0132 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 1 -1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.364189078998 0.484679740697 11 9 10 1 0132 2103 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695055913427 1.162567028707 2 3 11 9 0132 0132 3012 0213 0 0 0 0 0 1 -1 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 -4 4 0 0 0 0 0 0 -4 0 4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498308101142 0.584379488747 10 12 2 5 0213 0213 0132 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 -1 1 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800924916482 1.193518425777 5 6 3 7 0132 2103 0132 0213 0 0 0 0 0 1 -1 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 -5 5 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754964851649 0.513056419756 8 12 6 4 0213 0321 0321 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 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610089951984 1.081467168055 6 7 4 12 0132 1230 0132 2310 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 -1 1 0 0 0 0 0 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573556907364 0.815783009624 11 5 8 10 3201 0132 0213 0321 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 0 0 -1 0 -4 5 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095036411437 0.955530139647 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_4'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_4'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : 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' : d['c_1001_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_1001_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_10'], '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' : d['c_0011_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_8'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0011_10'], '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_0'], 'c_0110_8' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_0']), '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_8, c_0101_0, c_0101_1, c_0101_4, c_1001_0, c_1001_1, c_1001_10, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 3636573709556695826827321701296333087388125647000354394700286247538\ 6631194830189643/51444600485165622147882060771375736616526806723362\ 4514828084024218623427794301515*c_1001_4^19 - 1804240645491644111850093679004741656073683942994363209660788808047\ 17579274378483058/5144460048516562214788206077137573661652680672336\ 24514828084024218623427794301515*c_1001_4^18 - 4984878224926035877400923101656355555316669510032349314204521626461\ 96054231197856739/1028892009703312442957641215427514732330536134467\ 24902965616804843724685558860303*c_1001_4^17 - 2863558083381877896623050940880028902055970001830021636034973517629\ 94411742155685454/1028892009703312442957641215427514732330536134467\ 24902965616804843724685558860303*c_1001_4^16 + 8749235349888197614659818868771583809826676806483465004935321368810\ 37264901174316657/1028892009703312442957641215427514732330536134467\ 24902965616804843724685558860303*c_1001_4^15 + 2557111980883103532893760452961298196051848836668714679217237144946\ 7852328470342677382/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^14 + 5763690769340927386302509383495343503738818386149712422625621215008\ 5999918079432671093/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^13 + 5182640247328944818610312135934700009542730312904200455906997309420\ 707391975648953516/102889200970331244295764121542751473233053613446\ 724902965616804843724685558860303*c_1001_4^12 + 9788597150236305785873969100761168156591494284939885183401034715857\ 313581631467760676/514446004851656221478820607713757366165268067233\ 624514828084024218623427794301515*c_1001_4^11 - 5136121660095021516978237347026452419717632675863644587410404736993\ 0510110377081252231/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^10 + 1262590562417978472833084835873676376786646929144384022479520949845\ 3656672875733376497/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^9 + 7901468747597194839252251873022707530036517132685438339487211596955\ 0433299246168314399/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^8 + 7706409492360825826198355221492743541632076517883630891382670339077\ 359413756845440329/102889200970331244295764121542751473233053613446\ 724902965616804843724685558860303*c_1001_4^7 - 6956214359941200815813654483412433845413156652453161518021592605599\ 40341322103481909/8433541063141905270144600126455038789594558479239\ 746144722688921616777504824615*c_1001_4^6 + 1438914002870411020926825253230827209103342317870062394452145751460\ 0831804237837379831/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^5 - 4155886629922463745401080946221135371094974568039441280696831311285\ 60923999917425621/1028892009703312442957641215427514732330536134467\ 24902965616804843724685558860303*c_1001_4^4 + 1254636167512682660428293852998884846726868371370531977643248513612\ 8252101307511399221/51444600485165622147882060771375736616526806723\ 3624514828084024218623427794301515*c_1001_4^3 - 2970528898413661592654437849122700979657640074843953282784145791144\ 389760008808748248/514446004851656221478820607713757366165268067233\ 624514828084024218623427794301515*c_1001_4^2 + 1114792441874517482201496272358419987786192313248961336646436626017\ 362413276333554693/514446004851656221478820607713757366165268067233\ 624514828084024218623427794301515*c_1001_4 - 1431403293838371043956524044574857626274424695768271643123757723737\ 39735632478747721/5144460048516562214788206077137573661652680672336\ 24514828084024218623427794301515, c_0011_0 - 1, c_0011_10 - 15696971715122343365099281119945884308153884170093345922192\ 7028666792/10794538437542711786319681600892434090698673081522473288\ 87470133145427*c_1001_4^19 - 78501042727105836897343435742377040678\ 8062194999767746995902034528373/10794538437542711786319681600892434\ 09069867308152247328887470133145427*c_1001_4^18 - 1078633853607353957080530531859258747463247291554051789818190985093\ 9739/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^17 - 65954635516291132696048720803804567240529207\ 68537673332120237718143162/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^16 + 1882174802027110318600330477722233077750629848068298718256552961951\ 1840/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 + 11100381176642129577569128190532099649271013\ 8154433669682582197828200415/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^14 + 2525537828481332287764354655853293721686334342134964533238097448597\ 29942/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 + 1199689754375450418207846008416515683274616\ 11962882720701325555597900624/1079453843754271178631968160089243409\ 069867308152247328887470133145427*c_1001_4^12 + 4459724107790812980581712612649295865380799308070568515269774678772\ 3801/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 - 21544871416178920826770181788762555901375680\ 1105669340709279351503665715/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 + 5027260813279280495862146062313371018975241613564371822002181348374\ 9381/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 + 349307314052074552452572323769014179373808710\ 552948941226887925136032187/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 + 1726724062252715930284351110439709204377216507967821630174680628677\ 54434/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^7 - 18835030632721790529008113034880069942537639\ 6511680100773198742705470959/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^6 + 5510098512504203398823349538995018990407589072418618832376719893333\ 0470/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 + 108392823074084481839507530967804895800789601\ 2554458933854058007376031/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 + 5086336134692804762583027975647001331551458984369007679772952013613\ 2768/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 - 111887350847116196456651470951986042883432439\ 76306818927287760803341945/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 + 2601910320681578790691013206520892518691815109264369601174097963799\ 196/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 251956583448514664409577118681570318545380702373\ 674763909941221180742/107945384375427117863196816008924340906986730\ 8152247328887470133145427, c_0011_11 + 83615622540249045965718036577431642183342077992941252020805\ 370126975/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 + 370383801254956177415766245400848300894\ 601449382834667808563640514762/107945384375427117863196816008924340\ 9069867308152247328887470133145427*c_1001_4^18 + 5485585913715994921631965990360062148898434286324488502919401723832\ 682/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^17 + 121008007674592537366248668540593151981643626\ 054100459992054563011281/107945384375427117863196816008924340906986\ 7308152247328887470133145427*c_1001_4^16 - 1350544202201669842753510104590874099770812751465892440806010395585\ 3174/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 - 54498955600792369120075707993563172616693862\ 233041916433769276996568747/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^14 - 9833397398656088470824763071363772351684629642318402047730535907949\ 0328/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^13 + 28317532017358612404931073285260866590159827\ 797600246367038919054056156/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^12 + 4908671517299601618737621636953509852908387264770494202364436830509\ 8211/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 + 14957293366928628836708539165344459997428971\ 2074169758854856547132216564/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 - 8392531144721079876905731392435125481320657257446757336604203295206\ 1099/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 - 199713992495930224312374464788340107548915613\ 982983605856879369103703382/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 + 1459663023539212752722033850466030046002904729274034811818772335040\ 6875/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^7 + 198593299867751911383779355800575749576888542\ 398312852567659291333069146/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^6 - 5784914769323273272159790025414009489279231167792765978157424860437\ 4251/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 458775198198107434207203950952487425844356326\ 0667471964332380397126781/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 - 2154216155105581598217817616357275705253095963397698074715563821864\ 9104/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 + 200741495728000180477809626053058953468024758\ 75619699171086001169463890/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 - 5479160340207408584023192186501759007915461987012282555229773339998\ 13/1079453843754271178631968160089243409069867308152247328887470133\ 145427*c_1001_4 + 1471999061620311011865114316553439737755003130214\ 43444126940652762664/1079453843754271178631968160089243409069867308\ 152247328887470133145427, c_0011_12 + 85275284781024949913745365074939319821010127781159842015568\ 965437562/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 + 411323890884049593795850822833506984046\ 134433434455401186044737443887/107945384375427117863196816008924340\ 9069867308152247328887470133145427*c_1001_4^18 + 5781529127925757772156320420995932046253492359086625331025020351045\ 625/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^17 + 253445390786808923662905693847572887100233064\ 5023163500956862326129788/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^16 - 1101009883548831310207981185930074431177237280391270413910575454289\ 6883/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 - 58273499278703434212258454347097937569831573\ 737561781122545823257481379/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^14 - 1258068843739587441898614170882375879948780206642509283394837079855\ 71822/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 - 3945750072235022043057921329021748354935158\ 1041322682549002654465611426/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^12 - 1220978536388055237331323290882679278056949904164560563044517663286\ 5536/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 + 11395786964677947342890823659221870074467264\ 0447635036049621731505746884/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 - 5522212411042023184434931684340284316818854054671598599731192824943\ 9363/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 - 190452231953975886182251688909940625911596689\ 615425728378809465246564901/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 - 5084018613550226362243721435426460814253873140401872256115951495924\ 4757/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^7 + 129931916462172644813646076760964708548144485\ 921967572265153559557099271/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^6 - 5385885594351981424285809761714012528114065081942155850474673225424\ 5311/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 106974873159485995417329291932899652661404831\ 61701591484831623382099941/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^4 - 2388396515304634833934676234626184285269483030958481620017424495025\ 8298/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 + 152277097708079946347078425106185423638567579\ 54373671584344377386816512/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 - 2233585857477792030542191617098060615306209061837979690733922858287\ 11/1079453843754271178631968160089243409069867308152247328887470133\ 145427*c_1001_4 - 6372856654249233903460369823210623081630202843376\ 83631868360964043675/1079453843754271178631968160089243409069867308\ 152247328887470133145427, c_0011_8 - 316454579078811423968597435469052335019355841535950143262149\ 446239956/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 - 156911089072397381873458640651180587216\ 3762330669990174956183679819916/10794538437542711786319681600892434\ 09069867308152247328887470133145427*c_1001_4^18 - 2166585180977508637362490508784180607683840634376439242405941792535\ 5752/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^17 - 12298636620449805523829874805072715733952006\ 224607275805572217972154779/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^16 + 3940135259624566476657799789149841937282362171982371251109228494990\ 6352/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 + 22337386849691511078513730919044265831710939\ 7666916337549155837224057301/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^14 + 4985983772201239777434997577233966665037488509371482923530912159900\ 82017/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 + 2100245371757784845269101835541839705018004\ 03034724526101750156913130908/1079453843754271178631968160089243409\ 069867308152247328887470133145427*c_1001_4^12 + 5243577418346613053320240668321802887080974395403532557078688111234\ 1879/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 - 46387603313439142072000558688843024726340959\ 6244057114955968102988762843/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 + 1109547645187325514173677401824789380420284788050216541965585052985\ 93228/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^9 + 72205422231793103470163988335112520532450668\ 3586282180755708787675542435/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^8 + 3354572874523680522845604257212623975973605358903235666201781635924\ 98473/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^7 - 41836131904524154752896900229960535911293735\ 3705788212937386837546530836/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^6 + 8668733707757931904400223781321556073412339777441796321999512832381\ 4978/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 123026225835525518395344674648518189900380295\ 0849919129463239391341193/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 + 1168308492609765453972563873394727712041260516365602653107657183103\ 96272/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^3 - 21538143975769964624461244008443316340752846\ 203976696628185391004606637/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^2 + 1573704505302047612612772453973638134108694844719680327714272248492\ 468/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 162457275291136185313243317539153736626462070849\ 5696387431455431754322/10794538437542711786319681600892434090698673\ 08152247328887470133145427, c_0101_0 + 128955418241885735162217803556940362509475823678598847060971\ 696755482/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 + 647935449317757764444027841600573899701\ 222407544540975390572020213088/107945384375427117863196816008924340\ 9069867308152247328887470133145427*c_1001_4^18 + 8875897873870457217592616037168296357303267059583817399621535638891\ 154/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^17 + 562282863397131530277550070448440290533344772\ 4281110403993864956861205/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^16 - 1537675617573685380669005427398333288055907519235048073322483288089\ 4088/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 - 91632228739234353509724166457118983462728010\ 126764535923764723088295524/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^14 - 2096211995560936019197467648725202068227877665280899400563138239980\ 04397/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 - 1029926030658907885674540390052495184559676\ 45859975103234131575506565892/1079453843754271178631968160089243409\ 069867308152247328887470133145427*c_1001_4^12 - 3753128491453636293632224003209261942662881715498857665601735053503\ 1554/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 + 17809266943956735076425305676856644511289075\ 4905397756786555264514258255/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 - 3548720636882327914985472985100257919961606841447048904509978347047\ 9984/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 - 287501420033681414303973298137702570720777304\ 726676409587778187011574564/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 - 1484933099009816478830143124428908534687426200405225574270168469121\ 40025/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^7 + 15286862089645660155415599484577472604480698\ 4746648256007118882220345244/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^6 - 3886636742904988555226926131633968151935991579126609802985012078343\ 9281/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 112841958492864146582616287626784112399181443\ 2991796730649589598169634/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 - 4157370122994922472366765849731380983999331811744052616166521608789\ 8450/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 + 850476507652509773762426165505413762855014071\ 2077231678278472169461965/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^2 - 1409768085393391025251181791668074891051584755167235001587851881453\ 147/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 128594345008683058972595829739705831614972115413\ 601072052620067350898/107945384375427117863196816008924340906986730\ 8152247328887470133145427, c_0101_1 - 176902849302392644160040849301150344530721262544355211710523\ 799589798/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 - 862757003706667011915745072405398647528\ 365142304202101086500160901635/107945384375427117863196816008924340\ 9069867308152247328887470133145427*c_1001_4^18 - 1204248558935663400952374009458397703344222815115178945536617671784\ 1037/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^17 - 59004341811402093768596161267715893519926846\ 08338316356391036084938635/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^16 + 2242706273579042107247129914736523502630436417862476719921615092055\ 1760/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 + 12301827569337821770415637882807499779524165\ 1237577440698999072155269873/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^14 + 2688670939042781892254258669098413864544168935338551495604982863127\ 10278/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 + 9635638829174010771350498140649510082165290\ 8759262165979409986283971902/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^12 + 2315795113287183944730543116705849615626722441961568337853737091825\ 3011/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 - 26092170029316149543571515771137173343030725\ 0037610137286319317710242327/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 + 8285768223170252324988994220249141451231664586921257192739009355043\ 3704/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 + 394061528132683732821477863637761472403524902\ 106268542439024769436241182/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 + 1559266325477353854084684901041403291502779537015180231845064608129\ 78338/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^7 - 24334279630220934477320762055102072735387551\ 5544433761009272137700186382/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^6 + 7112747308739122690720576089959311177450218972935534039589903306518\ 0856/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 741620599384241863456323237197696268341699791\ 8868193561592022789214660/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 + 6476414320762883155578740872182238515509132940755465469966399810698\ 2057/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 - 193546722626756925729645048751559418308788880\ 24250709650128414222791830/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 + 4048168960362165476692363469324344382244908908044649715177633371271\ 947/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 + 275764530956200440487197456371134586899262832999\ 246581902669414611507/107945384375427117863196816008924340906986730\ 8152247328887470133145427, c_0101_4 - 349323990213110568087537094292119550122082711557517340535747\ 875733653/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 - 174079805703640790853529851807572724386\ 5776723508619708977069421985346/10794538437542711786319681600892434\ 09069867308152247328887470133145427*c_1001_4^18 - 2396018689022748333590756444046115072674411103470579923577409776939\ 6460/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^17 - 14177137943012802210951130326629947221725951\ 859594625290033422054629352/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^16 + 4309624393784782553426741634045813972613021025815991388368584811749\ 0446/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 + 24755373196472527833985144809279552998983128\ 8370950817468648471917679731/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^14 + 5565536931403564643144704670739519965873928163917864959563423042355\ 24730/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 + 2463015690866804612244265064042293724181988\ 99828385966925199809163016893/1079453843754271178631968160089243409\ 069867308152247328887470133145427*c_1001_4^12 + 6579301581668604189874707919392924653938944502333141703355125149210\ 3895/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 - 50809932554782707108736314562730221280961144\ 5343534949011891497838934986/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 + 1106166224663041633506154870514150363474503994366264361306305800548\ 84369/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^9 + 79733975287564177477971999108504336592046587\ 6185532326890003283701070392/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^8 + 3873790119653623050886641428155079534743227932288038389293164069224\ 14659/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^7 - 45206662950853193315605248828149908497194612\ 1413612459679823028370820728/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^6 + 8949913351870723640541593814074178459153294014940852232234950483986\ 3553/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 + 301443201568779927086872814075536825865824388\ 6102528070205195171713997/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 + 1259766748433617812393907846395963110839566052577336045036968421585\ 88583/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^3 - 23329920199837775070899099105150452419109385\ 503240367687417581572579521/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^2 + 2177692207256773895671826121876082424089412557615359158829088215009\ 018/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 131409644086417459714590588293155670074423592928\ 0326352497599471369419/10794538437542711786319681600892434090698673\ 08152247328887470133145427, c_1001_0 - 148971279756196032447849924168770985574811506651542743769737\ 508586086/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 - 716891451433903438564539217994103932029\ 550510906435218788621772887273/107945384375427117863196816008924340\ 9069867308152247328887470133145427*c_1001_4^18 - 1010141044882381609204679344392735937317123145586066443768080139649\ 3115/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^17 - 43518362504390076532008144073298426818637844\ 64464362338811070959928731/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^16 + 1868997545986735505282132186436131401700551714141696725814756988947\ 8665/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 + 10189252706615510741163899955489037229440547\ 2849642271007551800523093471/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^14 + 2206110600837318450733005041044593331255187786760149013057716041180\ 43410/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 + 7219957317073954679475562678997268908634407\ 0685058130850782217502576269/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^12 + 2783925390145803406943341794343910787611468246362810112105174310340\ 0788/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^11 - 21253709191138314430309109618284886782197986\ 1994504928213608520664159890/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^10 + 8412365237444004860190475238566782708899314797765151930312286609029\ 0147/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 + 313761640184741072796609444164837031316532394\ 557939233080138962276250047/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 + 1062093136561870245851236724553730052165012240688430343252005662176\ 37978/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^7 - 19505796604820109916497414024025086466664179\ 1797000105791391353048098088/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^6 + 8810794612192129392242770077619386541504718037959666482641907747036\ 3043/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 199388621582846982356818487067596821799033855\ 97754602596464725027444582/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^4 + 4927628578486407571411157894516451384067335181057594226236348135289\ 2089/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 - 180338865204926417901334228451668771350317359\ 29738322298751715118954189/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 + 6708959896313556683222695460452222317968035405671801098200181779021\ 294/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 115065786357649304734559701404982780910907094741\ 2578473468183990405486/10794538437542711786319681600892434090698673\ 08152247328887470133145427, c_1001_1 - 708866248934205188320235015938416294414860142364452985837322\ 10746887/1079453843754271178631968160089243409069867308152247328887\ 470133145427*c_1001_4^19 - 3191597279278171977413822877516313789764\ 87196029298244951943638751155/1079453843754271178631968160089243409\ 069867308152247328887470133145427*c_1001_4^18 - 4701463086889953359336570817330788427474143685244100220297606949320\ 787/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^17 - 586578039363596848438515062367854546658290535\ 333434111942269192654975/107945384375427117863196816008924340906986\ 7308152247328887470133145427*c_1001_4^16 + 9484118993653492359956899464694096308730848812232178678757560014484\ 381/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^15 + 455054964976654150759347816973763048405210942\ 18023819022990404729211781/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^14 + 8973242585521061234542938474149471693331152011058042216336494169935\ 6594/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^13 + 23652836349905708430992898973627163975197303\ 30628110548377513761597197/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^12 + 5622499888827257673290159376407678877754032402528297011372007616716\ 321/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^11 - 986605578876056138075718730782814390761987815\ 24041123136155914630209033/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^10 + 7791216779174676418413159087055940108503599074838262177447585249515\ 9893/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 + 139955939174028840873802519561458849105699584\ 149954422445828737092594298/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^8 + 1636624678457784469209721465780127234994431199308884438273215775297\ 351/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^7 - 1098521313058406624959158801757246189253502869\ 49823849900598509414141655/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^6 + 7654221679325770824967956007359373730455069779324411384210932547729\ 8958/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 153040611012556567558543034731059089599343461\ 78677594653843994197179969/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^4 + 2764107563830458062293896422904543336123138065517418558785765572901\ 5307/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 - 173379413903300550173880047722029096235318389\ 71100585978020026714682361/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 + 5805463427036761566242112169135031548690850202941104099360662343964\ 272/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 974123971942009282353143594503826421611902492114\ 767464843699630481947/107945384375427117863196816008924340906986730\ 8152247328887470133145427, c_1001_10 - 54662072746360685948674936978013443060993219588850408531576\ 50069218/1079453843754271178631968160089243409069867308152247328887\ 470133145427*c_1001_4^19 - 1404534509400363193712325770112736966712\ 1620359941060160209429843093/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^18 - 3093680814408163048944385778044310388241746525165857446259029253485\ 48/1079453843754271178631968160089243409069867308152247328887470133\ 145427*c_1001_4^17 + 6828608396811817225249716470856985808038870507\ 54342142858158537990093/1079453843754271178631968160089243409069867\ 308152247328887470133145427*c_1001_4^16 + 1201384477700840615168508602258511157309632858879892092270784732202\ 571/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^15 + 229042898824062464881175514016696470914228580\ 3764986503167621455093434/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^14 - 4842272131950397727713644757061693414399548030554818632797487624191\ 12/1079453843754271178631968160089243409069867308152247328887470133\ 145427*c_1001_4^13 - 1702717981756790072922582059121113549249824833\ 5604768488884057134447157/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^12 - 8588906831193652538052233602240441511619950444144879263686650091509\ 889/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^11 - 124360272787706079444220409315812149336315763\ 51972784867509516554573249/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^10 + 1781856932080173572207737136449671321810254203063396385873622665159\ 5374/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^9 + 616324545169091022836976661710773909230457480\ 6944017329959379817766842/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^8 - 2405649523676004663674160447334123571832634741237077334459479299760\ 8624/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^7 - 196706503946251891597938005908344415867165570\ 84761525297205552694656874/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^6 + 1741353417828323334587126506776659506156227238155422711353186453014\ 2120/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^5 - 706885464649450568594990448127475882718110981\ 6361743007050067402246827/10794538437542711786319681600892434090698\ 67308152247328887470133145427*c_1001_4^4 + 1294523221190294285761913228988761038233430642132923755954787823078\ 805/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^3 - 4640276085666359517677120230785123929462651023\ 128812122849652644772485/107945384375427117863196816008924340906986\ 7308152247328887470133145427*c_1001_4^2 - 3334176525103582694385720916290858286001593085618679665189300350104\ 49/1079453843754271178631968160089243409069867308152247328887470133\ 145427*c_1001_4 + 1360529370169689710554809348443846136396958379807\ 8330132591297616640/10794538437542711786319681600892434090698673081\ 52247328887470133145427, c_1001_2 - 192187564527107379113142163683458134473379203536325580604031\ 046579392/107945384375427117863196816008924340906986730815224732888\ 7470133145427*c_1001_4^19 - 894087855008456556633915181110526010092\ 765860500339934222642243032391/107945384375427117863196816008924340\ 9069867308152247328887470133145427*c_1001_4^18 - 1286748403684852809950478944028233890469262825033727125136338969448\ 9037/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^17 - 34471017117169905107353158069321669028478363\ 35106308251443559481547719/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^16 + 2612383102645239399466522440498604890144643126112086670684419121742\ 7101/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^15 + 12823041972642032981227951700633826929316784\ 3762203918002998332463200188/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^14 + 2616011449863677268234755339213107698849743914857190611280083348146\ 96897/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^13 + 3619189086581840150737437523998575948931650\ 6555454559760417242255717761/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^12 - 4720843343609209309694983411543236261422826749925906199892162489950\ 398/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4^11 - 291507630775740497953513201653233732810069498\ 211212138740692527616911565/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^10 + 1478509707994518196789674264711632726872636597391734345288351112373\ 78349/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^9 + 40957403209087137121256018880754069284688784\ 3753969330054199265091262654/10794538437542711786319681600892434090\ 69867308152247328887470133145427*c_1001_4^8 + 6659248655675660243838686213290412858103513761657326850323493417386\ 9921/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^7 - 308946417436593862901507751147161461858610020\ 072380581498080168561146571/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^6 + 1384815931209929946855799815050075169455233109473643968009192126605\ 74752/1079453843754271178631968160089243409069867308152247328887470\ 133145427*c_1001_4^5 - 24620453404440056232666586691981638439599640\ 864608460747294084958814914/107945384375427117863196816008924340906\ 9867308152247328887470133145427*c_1001_4^4 + 6077454859438914501084584923046424583641912819671344843637312379399\ 8956/10794538437542711786319681600892434090698673081522473288874701\ 33145427*c_1001_4^3 - 333347641219574255667206525738279287834635266\ 97016691902200668606671021/1079453843754271178631968160089243409069\ 867308152247328887470133145427*c_1001_4^2 + 8053853053684207227811553971911148065286925261660698067455624491951\ 648/107945384375427117863196816008924340906986730815224732888747013\ 3145427*c_1001_4 - 147567647560450031596087018131020528741625962370\ 1309409112818407453473/10794538437542711786319681600892434090698673\ 08152247328887470133145427, c_1001_4^20 + 143/31*c_1001_4^19 + 2072/31*c_1001_4^18 + 485/31*c_1001_4^17 - 4090/31*c_1001_4^16 - 20439/31*c_1001_4^15 - 41624/31*c_1001_4^14 - 5647/31*c_1001_4^13 - 2357/31*c_1001_4^12 + 45393/31*c_1001_4^11 - 26730/31*c_1001_4^10 - 62411/31*c_1001_4^9 - 8926/31*c_1001_4^8 + 46238/31*c_1001_4^7 - 26056/31*c_1001_4^6 + 6731/31*c_1001_4^5 - 11452/31*c_1001_4^4 + 6347/31*c_1001_4^3 - 2064/31*c_1001_4^2 + 480/31*c_1001_4 - 61/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.820 Total time: 5.040 seconds, Total memory usage: 81.38MB