Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1461111730] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2026 geometric_solution 5.56711171 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.446805027904 0.227673958706 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.776423445696 0.677697695299 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000524341168 1.361979750647 2 5 4 1 3201 1023 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 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000524341168 1.361979750647 3 2 4 4 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334157480865 0.955403574551 3 6 6 2 1023 0132 3201 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 -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.091594804478 0.471281018432 5 5 6 6 2310 0132 1230 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 1 -1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.169234191844 0.874351724081 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 8268179236542390300855630442287013764660429024040214128133511380212\ 467491/190112088912822155987929956902712662245316663663596303220940\ 186873024400*c_0101_6^23 - 6193372112318596765822808347379934738074\ 049622253284034696312497105667839/190112088912822155987929956902712\ 662245316663663596303220940186873024400*c_0101_6^22 + 1139831350776516504471344415806438334567754930733981575313821773953\ 6154983/22366128107390841880932936106201489675919607489834859202463\ 55139682640*c_0101_6^21 + 54812238964038232454093866982767296732207\ 0141449429499848649582476280616091/95056044456411077993964978451356\ 331122658331831798151610470093436512200*c_0101_6^20 - 4304772622856637559581497005397856037428996377443693940612229427002\ 669809193/380224177825644311975859913805425324490633327327192606441\ 88037374604880*c_0101_6^19 + 43529784777410955160007054677991436532\ 75609292299458101907407251319888886829/1901120889128221559879299569\ 0271266224531666366359630322094018687302440*c_0101_6^18 + 1507842805852589600818957733320716501014675084831401178309926181343\ 31671307391/1901120889128221559879299569027126622453166636635963032\ 20940186873024400*c_0101_6^17 - 10031488295440806851566554521757763\ 82410361021196854908883303077990656778619533/1901120889128221559879\ 29956902712662245316663663596303220940186873024400*c_0101_6^16 + 1673524250957365021844189089039161432635685562551338976126933326837\ 78376299447/2376401111410276949849124461283908278066458295794953790\ 2617523359128050*c_0101_6^15 - 118989240856868846573762077004291712\ 818832204196859505616305638195354116784743/380224177825644311975859\ 91380542532449063332732719260644188037374604880*c_0101_6^14 + 8619975933955841140053786660887239695286156459382545433669617374600\ 23866177203/1901120889128221559879299569027126622453166636635963032\ 20940186873024400*c_0101_6^13 - 39879291641992803509730535588654682\ 829805761501398635763557132969294958029131/950560444564110779939649\ 78451356331122658331831798151610470093436512200*c_0101_6^12 - 3833462537649232087158877526144290449922006136748276457444068585273\ 8256595299/55915320268477104702332340265503724189799018724587148006\ 15887849206600*c_0101_6^11 - 82929959870377315221059732006034803593\ 289113544361737152400008744979430478819/190112088912822155987929956\ 902712662245316663663596303220940186873024400*c_0101_6^10 + 1974869168705272731014698140186398359499571218671078164974886602520\ 71259579417/1901120889128221559879299569027126622453166636635963032\ 20940186873024400*c_0101_6^9 + 657266260967577943543544620324102068\ 015123284034867501752849962669198133896373/190112088912822155987929\ 956902712662245316663663596303220940186873024400*c_0101_6^8 + 1495336386056066964624625179400074630628794084243506320097522450751\ 34788178729/1901120889128221559879299569027126622453166636635963032\ 20940186873024400*c_0101_6^7 - 570992240141372173860480457327308206\ 40956032159886095121602525764547529428817/3802241778256443119758599\ 1380542532449063332732719260644188037374604880*c_0101_6^6 - 4515208435094071849676442883013046226286970512259760689234180075433\ 4549875029/19011208891282215598792995690271266224531666366359630322\ 0940186873024400*c_0101_6^5 + 7606419612575432605777789800223788687\ 54530591560182107267773481840821060893/9505604445641107799396497845\ 135633112265833183179815161047009343651220*c_0101_6^4 - 1401547584837235103979024616906111023414220989070415172906393280325\ 837112207/950560444564110779939649784513563311226583318317981516104\ 70093436512200*c_0101_6^3 + 519259521085942661880499361305970678936\ 490661428011438313886190698801021839/475280222282055389969824892256\ 78165561329165915899075805235046718256100*c_0101_6^2 - 4789776569426016302422013715270633835749366271847772265337329258067\ 72887969/1901120889128221559879299569027126622453166636635963032209\ 40186873024400*c_0101_6 - 75327866126046380797248063966382599070776\ 189496609287317088909892294453431/950560444564110779939649784513563\ 31122658331831798151610470093436512200, c_0011_0 - 1, c_0011_1 - 124831131039517096297389763605886216252537563364431735744574\ 21014026/4752802222820553899698248922567816556132916591589907580523\ 50467182561*c_0101_6^23 - 80953053838979630272232007952386132955707\ 54353419778266849267128612/4752802222820553899698248922567816556132\ 91659158990758052350467182561*c_0101_6^22 + 1463363782299451113639772537692820818419422399038892593491595930884\ 043/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^21 + 1508544177611471686521095061025050662769273454\ 326580526544600408626065/475280222282055389969824892256781655613291\ 659158990758052350467182561*c_0101_6^20 - 3262313205434739793434052187994790959739761801389357131014973013819\ 3548/47528022228205538996982489225678165561329165915899075805235046\ 7182561*c_0101_6^19 + 405519993138081222423864599279952593273028770\ 1807102184386863756461105/27957660134238552351166170132751862094899\ 509362293574003079439246033*c_0101_6^18 + 2200960157529722478518264520908718568413597054479489722993624239451\ 40709/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^17 - 15335761898956934307520255972980767616135298\ 98660120943978450686061322402/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^16 + 2174730741072020326255615586106631615419592975879774854513514439494\ 750530/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^15 - 1154364248669713718787479041791678578484764\ 972083677265795747281191336825/475280222282055389969824892256781655\ 613291659158990758052350467182561*c_0101_6^14 + 1546413939207946526432381659888905727017745627498361911538320220687\ 158099/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^13 - 4451893648445160486253810471995057452982937\ 82304604029391483545303106299/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^12 - 1771932597702814431994098131166437494000592046216960059606666050407\ 964729/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^11 - 1051509524326041339404115257854736558459018\ 13676436888451755380700870498/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^10 + 3535587661872581182442985334865159520072501265212835076637134916034\ 70052/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^9 + 100814204103795537637465988960134932462009469\ 8435025826696647132221045514/47528022228205538996982489225678165561\ 3291659158990758052350467182561*c_0101_6^8 + 1292220313453904931838224237905259652850092815527171470276928261644\ 85073/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^7 - 424182274766138998625163058471090272423951712\ 030781109108435253540417699/475280222282055389969824892256781655613\ 291659158990758052350467182561*c_0101_6^6 - 7329893429347129607047132918401552617188414427525810767235555244293\ 0758/47528022228205538996982489225678165561329165915899075805235046\ 7182561*c_0101_6^5 + 3262686617942987797690924273471003628442316521\ 3672672973786294140676383/47528022228205538996982489225678165561329\ 1659158990758052350467182561*c_0101_6^4 + 1878549060265814514563380943732732762140895206903344218179211168244\ 440/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^3 + 21692324998963312342842650114307000029794291553\ 18696315604530149801491/4752802222820553899698248922567816556132916\ 59158990758052350467182561*c_0101_6^2 - 6360199292836439068964930820865655372486843178078635201298941732151\ 94/4752802222820553899698248922567816556132916591589907580523504671\ 82561*c_0101_6 - 59613132120695118592438799463541825712826392329383\ 3793000481673106589/47528022228205538996982489225678165561329165915\ 8990758052350467182561, c_0011_3 - 722874991290054645160826079992115020764812690457674434223219\ 86447783/9505604445641107799396497845135633112265833183179815161047\ 00934365122*c_0101_6^23 - 61334025291616478627870465661338900476222\ 135053470753569156395810795/950560444564110779939649784513563311226\ 583318317981516104700934365122*c_0101_6^22 + 8463806492843581889285502712093203576250623747927191389813972736565\ 047/950560444564110779939649784513563311226583318317981516104700934\ 365122*c_0101_6^21 + 5213019885676084343520784386076776454965748718\ 087212098701849538330343/475280222282055389969824892256781655613291\ 659158990758052350467182561*c_0101_6^20 - 1870649334034461015153196828989704311378498367945192339077462540059\ 32567/9505604445641107799396497845135633112265833183179815161047009\ 34365122*c_0101_6^19 + 10646180743426300791015374934391269979992099\ 623543280213381100661614261/279576601342385523511661701327518620948\ 99509362293574003079439246033*c_0101_6^18 + 1352477085159447827956951031661282408813723137528449231571764980824\ 724579/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^17 - 8630223369605286694267201637452268134850162\ 051811730745071047463498338315/950560444564110779939649784513563311\ 226583318317981516104700934365122*c_0101_6^16 + 5426816923111332725999301495122345776343887662632983594628707219911\ 254095/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^15 - 4215326943449089584882567889925481375788067\ 380602527263624972868447254917/950560444564110779939649784513563311\ 226583318317981516104700934365122*c_0101_6^14 + 7333621237301264149709987187800482084967214175914773870269503213782\ 687869/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^13 - 1094297859500564528421720101133390157401460\ 36105088591624549377538736509/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^12 - 5581952465754664019040444263595438418035253749081428586274427903244\ 634689/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^11 - 2025823990006762791676289916802663930534446\ 149659240411434669419744459269/950560444564110779939649784513563311\ 226583318317981516104700934365122*c_0101_6^10 + 1524816314201975796907619292278297811653586198406600093362672003773\ 422517/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^9 + 59679957813147781621673581372983904483455969\ 41137405105393363050447928501/9505604445641107799396497845135633112\ 26583318317981516104700934365122*c_0101_6^8 + 1856847598742523885503685294455156382036686453617846244197955669240\ 282457/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^7 - 22409357172145965911353808668921215536277732\ 96800365868864025872017121581/9505604445641107799396497845135633112\ 26583318317981516104700934365122*c_0101_6^6 - 6695997691169868979728279618239209558620588500988715626564235532466\ 83631/9505604445641107799396497845135633112265833183179815161047009\ 34365122*c_0101_6^5 + 376329842848748339436392859822100963230375386\ 73067833256334987872124492/4752802222820553899698248922567816556132\ 91659158990758052350467182561*c_0101_6^4 - 3256079259027775310464872544551839545292449655514415315133124745043\ 155/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^3 + 37943717565455914774322498915378983534298566450\ 01241435640292333109070/4752802222820553899698248922567816556132916\ 59158990758052350467182561*c_0101_6^2 - 1803830090063041429870922660014718096680841830530967406505180043138\ 203/950560444564110779939649784513563311226583318317981516104700934\ 365122*c_0101_6 - 8937854298758892460900204148232951257868802167076\ 81359802355615858264/4752802222820553899698248922567816556132916591\ 58990758052350467182561, c_0101_0 - 259628365134712047191942096213085327786874933832850027558419\ 22776234/4752802222820553899698248922567816556132916591589907580523\ 50467182561*c_0101_6^23 - 20164248707909703294246410093593348026614\ 221960662481405932980949142/475280222282055389969824892256781655613\ 291659158990758052350467182561*c_0101_6^22 + 3042215683555349845701261078174737250862772148627607679211306817182\ 867/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^21 + 3526581740765482884131102452352599903222971547\ 674079737034026018575210/475280222282055389969824892256781655613291\ 659158990758052350467182561*c_0101_6^20 - 6754485748233729277150372316180824881169387314161273561775157628577\ 6310/47528022228205538996982489225678165561329165915899075805235046\ 7182561*c_0101_6^19 + 792736980255613942810297292836324183732789495\ 3160005565066285029789996/27957660134238552351166170132751862094899\ 509362293574003079439246033*c_0101_6^18 + 4784019173093948987507771231269635322592981014818351565781154013489\ 34930/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^17 - 31394106546567805209175031813157049481557575\ 68340293691754900543808571568/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^16 + 4109631195684264190456644820052043762964223814135234145534122981725\ 731575/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^15 - 1697988907927929193017657122306257800917173\ 948936799009323318425909455284/475280222282055389969824892256781655\ 613291659158990758052350467182561*c_0101_6^14 + 2573748291135793517392988148569185744270749134343099588168898733021\ 028522/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^13 - 1068187295383088656670673491663988399615273\ 39153989314367004867300935831/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^12 - 4192092126145498332870041635033864773908782388284509510095964229630\ 645324/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^11 - 3332267192137816456619233248414052544055198\ 39585884774841946448223426150/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^10 + 6366921212814348105582800629252293011190036344280976993813236112058\ 99302/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^9 + 209452796199858608723757605403490893069049823\ 9957867650811160953976166473/47528022228205538996982489225678165561\ 3291659158990758052350467182561*c_0101_6^8 + 5332947531350735183233068097812719215600736528263463747924768227309\ 46080/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^7 - 910899057112068628788454491157356048936014290\ 683462105358998891582364681/475280222282055389969824892256781655613\ 291659158990758052350467182561*c_0101_6^6 - 1671074337199105997697074488318254481343406262393575355200771845357\ 98913/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^5 + 453670969443166137631512972131561820084821622\ 02445700973769452516763697/4752802222820553899698248922567816556132\ 91659158990758052350467182561*c_0101_6^4 - 6370543171139703457960776811780917323310393850012207044120683304430\ 596/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^3 + 71248990349344210232383521269409806335234668477\ 91704610954320393754203/4752802222820553899698248922567816556132916\ 59158990758052350467182561*c_0101_6^2 - 7756533801953343279330726268823758709440174087411545397616633475667\ 88/4752802222820553899698248922567816556132916591589907580523504671\ 82561*c_0101_6 - 50170518614571965868486059922620527642157762826503\ 3308355253314155692/47528022228205538996982489225678165561329165915\ 8990758052350467182561, c_0101_1 - 171318595647822884302539773127031294385683366690759560698141\ 69696163/4752802222820553899698248922567816556132916591589907580523\ 50467182561*c_0101_6^23 - 16040499517182330627770526186894644960385\ 158214340645722322430792203/475280222282055389969824892256781655613\ 291659158990758052350467182561*c_0101_6^22 + 2007593157653171097869834515523540411289634368382450372223245608165\ 735/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^21 + 2648524690415799297798410420162884807924370303\ 529993066608559966603923/475280222282055389969824892256781655613291\ 659158990758052350467182561*c_0101_6^20 - 4446592740257271788948491386354332194388142988013112321745045064587\ 3813/47528022228205538996982489225678165561329165915899075805235046\ 7182561*c_0101_6^19 + 479946922571422884468604849583754063699341013\ 8833354474921239694368342/27957660134238552351166170132751862094899\ 509362293574003079439246033*c_0101_6^18 + 3358658353141700156282193454683690817182050222688485090369951935957\ 22127/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^17 - 20349915310019782934023371461354490000938887\ 14067567661839868375885901213/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^16 + 2343970500580143979779699649410323637422800957707461510382730110964\ 703715/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^15 - 4006616074774256232902658448291575366591956\ 36965330348088631185725443671/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^14 + 1062550813895080110881481605503313178991198478905452233998229827094\ 005551/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^13 + 5165254274836972800783386173490218218889863\ 01714793105590001416780091557/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^12 - 3149374847275904479585815399531796620570438355132794262228457793245\ 090249/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^11 - 4885311432951120809080202088124058559574340\ 18316295553071869230391963774/4752802222820553899698248922567816556\ 13291659158990758052350467182561*c_0101_6^10 + 6646243619513530500552083419626097066439027707550073647732627377838\ 74519/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^9 + 142072297418151458014484579368731574820408481\ 9361063053244869108583526317/47528022228205538996982489225678165561\ 3291659158990758052350467182561*c_0101_6^8 + 5363034623409635037101003119109964067892171792670340673875281444132\ 02482/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^7 - 735591600536839257269094031274734263000864501\ 370397893454687269905647839/475280222282055389969824892256781655613\ 291659158990758052350467182561*c_0101_6^6 - 1993289648084242130517849520205595717187527531464875976770904989326\ 38661/4752802222820553899698248922567816556132916591589907580523504\ 67182561*c_0101_6^5 + 773348529805065052436712674373565491182990329\ 95919218857754109186121123/4752802222820553899698248922567816556132\ 91659158990758052350467182561*c_0101_6^4 + 3476923247660552664417065078202443522536794763532030254719207424167\ 248/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^3 + 49120141931323572614819146158113383098961696199\ 12754429018844662681538/4752802222820553899698248922567816556132916\ 59158990758052350467182561*c_0101_6^2 - 9383705479045849291186862209190409872164945112492031006143753866445\ 40/4752802222820553899698248922567816556132916591589907580523504671\ 82561*c_0101_6 - 65121648224489768770066209772737918558952913644337\ 4631680209221591545/47528022228205538996982489225678165561329165915\ 8990758052350467182561, c_0101_4 + 905498093171134758787760226697857393629800277194348496559479\ 51897455/9505604445641107799396497845135633112265833183179815161047\ 00934365122*c_0101_6^23 + 75983445779580622333056525794262597231409\ 142498925297805849717997071/950560444564110779939649784513563311226\ 583318317981516104700934365122*c_0101_6^22 - 1060560329976746181212636767244513116375526336680941055751759935637\ 5487/95056044456411077993964978451356331122658331831798151610470093\ 4365122*c_0101_6^21 - 648113218561011421893241220340895687499084391\ 1314170929363148868732067/47528022228205538996982489225678165561329\ 1659158990758052350467182561*c_0101_6^20 + 2347773188393030254576064171440648209991324230547525796806882820088\ 60903/9505604445641107799396497845135633112265833183179815161047009\ 34365122*c_0101_6^19 - 13392072190728502882802223233366530275621267\ 144028795667184626721906281/279576601342385523511661701327518620948\ 99509362293574003079439246033*c_0101_6^18 - 1697297224053136163277557510004006320987382431418151256812811843125\ 675523/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^17 + 1084358595124203055559729051771834845805463\ 1479304440401158825859650600117/95056044456411077993964978451356331\ 1226583318317981516104700934365122*c_0101_6^16 - 6825942934155652191538815138597199959945872330214552983205681243674\ 628562/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^15 + 5053390621472616683520200160191050139915475\ 869387818954937787158698046169/950560444564110779939649784513563311\ 226583318317981516104700934365122*c_0101_6^14 - 8657788657074609084737575467623466096222523441490498302944379123498\ 854723/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^13 - 4768441511274387454828251321500651251284895\ 3756962534833084307638213832/47528022228205538996982489225678165561\ 3291659158990758052350467182561*c_0101_6^12 + 7253671888880299994513359427362931042436237109740349114934647153241\ 887298/475280222282055389969824892256781655613291659158990758052350\ 467182561*c_0101_6^11 + 2157745601188996175149469941153589884389338\ 396551664156967953636475500341/950560444564110779939649784513563311\ 226583318317981516104700934365122*c_0101_6^10 - 2205353096821060464721638752640975271603593353024083709897952220803\ 167689/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^9 - 74080927745437944032918453080109928775121536\ 91818428525195226367728422983/9505604445641107799396497845135633112\ 26583318317981516104700934365122*c_0101_6^8 - 2259550565027357873962783038559152487346017648327903930665026341644\ 735273/950560444564110779939649784513563311226583318317981516104700\ 934365122*c_0101_6^7 + 30344492088708041343793002025052598516852033\ 41379713037846061589175071251/9505604445641107799396497845135633112\ 26583318317981516104700934365122*c_0101_6^6 + 7780094564858337948075346029207593665969864439029283434727600481968\ 82029/9505604445641107799396497845135633112265833183179815161047009\ 34365122*c_0101_6^5 - 790922383520934589351743358163697665797733319\ 36842587447225605777221630/4752802222820553899698248922567816556132\ 91659158990758052350467182561*c_0101_6^4 + 9981584702902674418905985327244130571857093028462019024436151926652\ 222/475280222282055389969824892256781655613291659158990758052350467\ 182561*c_0101_6^3 - 55465346693635056207643387262366929347757692206\ 84962258797663487271176/4752802222820553899698248922567816556132916\ 59158990758052350467182561*c_0101_6^2 + 2703138479134479350999541091632746564361425241829528569387736250890\ 431/950560444564110779939649784513563311226583318317981516104700934\ 365122*c_0101_6 + 1067743921905809387814031998690137747613949174781\ 758931714354782411224/475280222282055389969824892256781655613291659\ 158990758052350467182561, c_0101_6^24 + c_0101_6^23 - 117*c_0101_6^22 - 162*c_0101_6^21 + 2571*c_0101_6^20 - 4610*c_0101_6^19 - 19581*c_0101_6^18 + 116791*c_0101_6^17 - 131300*c_0101_6^16 + 30273*c_0101_6^15 - 85053*c_0101_6^14 - 16694*c_0101_6^13 + 160730*c_0101_6^12 + 49781*c_0101_6^11 - 22839*c_0101_6^10 - 85967*c_0101_6^9 - 37735*c_0101_6^8 + 30767*c_0101_6^7 + 14439*c_0101_6^6 - 792*c_0101_6^5 - 266*c_0101_6^4 - 128*c_0101_6^3 + 7*c_0101_6^2 + 30*c_0101_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB