Magma V2.19-8 Tue Aug 20 2013 23:45:19 on localhost [Seed = 1663370931] Type ? for help. Type -D to quit. Loading file "K13n2580__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2580 geometric_solution 10.88586514 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 9 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869644615304 0.864407559965 0 5 7 6 0132 0132 0132 0132 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 9 -9 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.642969341884 0.225655857694 4 0 6 5 0213 0132 1230 3012 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -10 0 10 0 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.965671536330 1.090385114653 6 7 8 0 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649916605873 0.991904282326 2 8 0 9 0213 0132 0132 0132 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 0 1 -1 0 0 0 0 10 0 0 -10 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.068417620988 0.692596205359 7 1 2 10 0321 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.575035415725 1.010699767439 3 8 1 2 0132 2031 0132 3012 0 0 0 0 0 0 1 -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 0 9 -9 1 0 0 -1 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.082476691605 0.623496481412 5 10 3 1 0321 0132 3012 0132 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 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904519135633 0.558558468428 6 4 9 3 1302 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194416329003 0.966481006669 11 10 4 8 0132 3012 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 -1 1 0 1 0 0 -1 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102358437737 0.997114347751 9 7 5 11 1230 0132 0132 3012 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 -9 0 9 0 0 0 0 10 0 0 -10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498690478032 0.553953216559 9 11 10 11 0132 1302 1230 2031 0 0 0 0 0 1 0 -1 0 0 1 -1 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 9 0 -9 -1 0 10 -9 0 9 0 -9 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427451110963 0.967660714940 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_3'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_2']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_3']), '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_9'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_3'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_9']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_0101_9, c_1001_1, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 6645848647460946743080756471724398413772367697646523435857346885499\ 2781787/12644527091522205512586202930544914090214738635715218501219\ 333450369340416*c_1100_0^25 + 1912404494486045089124466192494152970\ 3741133950179369335782961481539046631/31014877771658239936532195867\ 37431757977200042722600764450025185939649536*c_1100_0^24 - 9927895862306682343027113829621173740023425350035838484357953252734\ 976757475/164378852189788671663620638097083883172791602264297840515\ 851334854801425408*c_1100_0^23 - 1296373415558379739941663749849082\ 253103189228898704230984367617427494227207/865151853630466692966424\ 4110372835956462715908647254763992175518673759232*c_1100_0^22 + 6231421084249034042063422053707658041266391705014950787486415223624\ 2199682/16052622284159049967150452939168347966092929908622835987876\ 1069194142017*c_1100_0^21 + 352537378464640197386544552680262725946\ 32910082378530204448232943124297045163/4109471304744716791590515952\ 4270970793197900566074460128962833713700356352*c_1100_0^20 - 2059443924615342036922398507788815203613669855935341761785983634667\ 10539796069/1643788521897886716636206380970838831727916022642978405\ 15851334854801425408*c_1100_0^19 - 3678421960653240199461915620461424765245988715922729830319535292722\ 82762248371/1643788521897886716636206380970838831727916022642978405\ 15851334854801425408*c_1100_0^18 + 3563795080650510944752576320664302930589552653219620221091036888471\ 2312773/11219633621581371351008165865612168669223370572950504437639\ 160115678208*c_1100_0^17 + 1595839505964191401105024127895614980514\ 3839179303390069304269922687410264957/35734533084736667752961008281\ 97475721147643527484735663388072496843509248*c_1100_0^16 - 1029364898569510264991332227717566276341623732366331361988280018698\ 706956161147/164378852189788671663620638097083883172791602264297840\ 515851334854801425408*c_1100_0^15 - 3220170714789239631135956436189884199627003692105643199272743537792\ 72199791021/4109471304744716791590515952427097079319790056607446012\ 8962833713700356352*c_1100_0^14 + 744091705435848329772380925870267\ 672089707128915236775090241282086756682708963/821894260948943358318\ 10319048541941586395801132148920257925667427400712704*c_1100_0^13 + 1742338412110836230984452402215882101575588895967443535097521250905\ 926265848025/164378852189788671663620638097083883172791602264297840\ 515851334854801425408*c_1100_0^12 - 8793322226886658116766871547366693921169526129082319883504697450367\ 87976944953/8218942609489433583181031904854194158639580113214892025\ 7925667427400712704*c_1100_0^11 - 268390002646014929869087683894329\ 922813193707095732722769660114735357162349573/234826931699698102376\ 60091156726269024684514609185405787978762122114489344*c_1100_0^10 + 8746718034809640024513247631130502313375141864168847152197799834211\ 73079971437/8218942609489433583181031904854194158639580113214892025\ 7925667427400712704*c_1100_0^9 + 5295466483594617872813762700608568\ 653855945977037765130939143893742634477973/501155037163989852632989\ 750295987448697535372757005611328815045289028736*c_1100_0^8 - 9541420045288109317581286283203543742172152114611466309912227910565\ 4126420201/11741346584984905118830045578363134512342257304592702893\ 989381061057244672*c_1100_0^7 - 31497216750606800419296589475633963\ 8861477886322047093552225146128302004392191/41094713047447167915905\ 159524270970793197900566074460128962833713700356352*c_1100_0^6 + 1582182956165172435631299221824153067960584954519952571197563279298\ 51963069/3225644666204644263414847686363498492401719039723270025821\ 2585332574848*c_1100_0^5 + 1739902175443089224519754697147519022554\ 94339456385179131905706900327324842435/4109471304744716791590515952\ 4270970793197900566074460128962833713700356352*c_1100_0^4 - 1039111939607831766869882178418766995090667825161446497863049063717\ 2406797305/43257592681523334648321220551864179782313579543236273819\ 96087759336879616*c_1100_0^3 - 401222360369267567117427198996016736\ 56352062942039513129395637807316442428201/2054735652372358395795257\ 9762135485396598950283037230064481416856850178176*c_1100_0^2 + 5358916443336877716969404648077369646692607996138287984222687239178\ 2562911/87157397767650409153563434834084773686527890914261845448489\ 573093744128*c_1100_0 + 8581990395589083570858266101939238155027111\ 3578908779919586890554130906661099/16437885218978867166362063809708\ 3883172791602264297840515851334854801425408, c_0011_0 - 1, c_0011_10 - 810746483513792661834481470641496658784896364057738/1966196\ 815735112580769066888965005155655961855843409*c_1100_0^25 - 3589570101974963305513982703307271957513703586656610/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^24 + 3974828112051536866312814429501612205860319643174647/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^23 + 49024149435188514024938475940748888275193178796515999/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^22 + 37391167092559119429072555338222682083003852246350260/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^21 - 246047019941834080530432273001070034670398876564269689/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^20 - 336306630642171740044096111601944088675172212432523390/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^19 + 536827133652711251733873620622870816578993936648584631/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^18 + 805782973586573358630972129908233903587203460696138522/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^17 - 1226681097638163203707462031434684167091420941745853864/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^16 - 1754128603764271250913057899517358810454063095444383954/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^15 + 2141941420553612838894747464446557611272243741323156912/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^14 + 3365877122607553604436339267252830101496325393219134007/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^13 - 2318198242318006869270893306355527009162331490940188988/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^12 - 4309479503541260586809710041302585440027704013857728245/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^11 + 2335120183201396607746534423906228510756210752914220218/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^10 + 4671528521767633613154965008508660691248244757111398986/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^9 - 1897048223789104860213422330466509292674783493766690416/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^8 - 4380968904117696914756764221965920713140262306337837032/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^7 + 719741912546933280002214993643465252732448803950080770/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^6 + 2784405011019535342395404062021773523340118283219068005/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^5 - 270448527628687264354692400192851467623299843428808092/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^4 - 1490668962482745946650885215543882276837896407638922977/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^3 + 5894143153393045074022778460663085597285143731769014/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^2 + 667262510086024190098527188243429974406640909415410427/196619681573\ 5112580769066888965005155655961855843409*c_1100_0 + 236645799009843538518357671054390359480729793573853356/196619681573\ 5112580769066888965005155655961855843409, c_0011_11 - 2628457661840803706600933742090733240207167759888919/393239\ 3631470225161538133777930010311311923711686818*c_1100_0^25 + 309750921350255101608336452929600647005287906277048/196619681573511\ 2580769066888965005155655961855843409*c_1100_0^24 + 18988595055452445761336037025144480600347080934489562/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^23 + 19456129063854804077948610593187287301281385244202933/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^22 - 333830148721485643211102440571251176037487184413961787/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^21 - 138664325009234488217693862517461358619947868853959651/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^20 + 694951696918505523727040460507934651424586340837634834/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^19 + 447640120867826674865827716467929440548001051280489759/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^18 - 3473755933768595069466923110248712375052260201507389909/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^17 - 794087748313904414509784363424511442831205771258868526/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^16 + 7114582496800906727624945116423507018159481936636299353/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^15 + 2818700852285904056742676794741850860032312410306052667/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^14 - 11518641952562076940141338924099181169798021110599832977/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^13 - 4700149995276022490537484861724822126109143816853913971/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^12 + 14136964568462279194430665774168549486331303836221672235/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^11 + 2688164052041868755781977768869220143192596007185810142/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^10 - 7325408683684784198531751740742554246439190904869115957/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^9 - 2693307299845690789648288684700599331501094590086224132/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^8 + 12386597145438700704829595283344270525056955483305030935/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^7 + 2444680900476966762129627397425875487543635161678287562/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^6 - 3848633646029322840567823584651063785062992804843640520/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^5 - 2914423627059623829953062584513458527667978029945638501/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^4 + 1981557153557377520686576285277764797677824071558276257/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^3 + 1517084605706292665825087784034817829071783593269592943/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^2 - 715558401519066126484197857328408691490453815341595625/196619681573\ 5112580769066888965005155655961855843409*c_1100_0 - 374722389113402228039995102530862094733145097158522900/196619681573\ 5112580769066888965005155655961855843409, c_0011_3 - 2968822312506474561203664464308457541735705105055108/1966196\ 815735112580769066888965005155655961855843409*c_1100_0^25 + 10281949546831413662744948341034341878127415292935847/3932393631470\ 225161538133777930010311311923711686818*c_1100_0^24 + 107220154725455521569987589462172908067104188179366289/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^23 + 2358331152279963110980873414476407608734158546814209/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^22 - 1119230606578213974357182652192638343747765297762850361/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^21 - 169831629518147412027542175937435055711982755236288628/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^20 + 2577924102187340673454586248076712910044079014218680921/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^19 + 942949752475100557217403191137073558881902220483983194/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^18 - 12897976209473355697291608590242209986992068629491411445/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^17 - 2964196940847944444739409144254825057982632371939587421/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^16 + 13459160687549150524372229003478097295887694431727207451/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^15 + 2756330613818436477848967136121077665981353916516939057/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^14 - 22586825263566201053090590001122388046237318293593984958/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^13 - 12218957015063893918031875063466518119113548280468027763/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^12 + 28049772425117768660521971143891002871261190347272402942/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^11 + 15059844098578296481580387220226760394577299524194290877/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^10 - 29455623088680008717445643786008100269369128286863547760/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^9 - 16169349327456099003665769837150954784425230160104209071/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^8 + 25539689990310837086074965472244484842898736491207410528/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^7 + 8424313275112733716836620195783440870806642177214544388/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^6 - 15987536168385856451054859111290943813147726055276956251/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^5 - 10485939963934950545383065664164322751726984844040241727/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^4 + 8332245897347848818048188416321787434803986467034594061/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^3 + 2840072224317674037062996993623967645987048277067628190/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^2 - 6361055354381392896352361646932867197577950390998814435/39323936314\ 70225161538133777930010311311923711686818*c_1100_0 - 1627101492809129461939852609526317519312467735371641875/19661968157\ 35112580769066888965005155655961855843409, c_0011_4 - 1883750289135693737698285836412169203977205841005233/1966196\ 815735112580769066888965005155655961855843409*c_1100_0^25 - 4868364703829658401489449495312166925114281613992099/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^24 + 16516212247235185696574211082939804639928848000415052/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^23 + 160031681196403103976135147532181261456369796639569581/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^22 - 43885841946843472589772574470542158324180674862062398/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^21 - 856170558500410096576204398578669062931928316905607311/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^20 - 131864956694191569780527893894414295430073165029627399/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^19 + 1024972755846684056730369829115237907122786980407143695/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^18 + 111086731933447638463618286949275359599003104330972308/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^17 - 4417947919478270886793092851246826165208814071774833525/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^16 - 362594857912204994219787495421370305748905303299814085/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^15 + 3873075211217364751266295255566389209719301007720459369/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^14 + 2617072623149654549286493448034324165567523801795116979/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^13 - 9389622920906623712080931065483736746370800083626365007/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^12 - 1843877995495918867715394679535437645435215250834209028/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^11 + 9857028135080855158776627061188447394880718086826713395/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^10 + 2183835429858313793560271953930725698311250283332464618/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^9 - 4314718257961842994361780187437882880103472471651357753/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^8 - 4878215140925767733978233981101692267845472135284580135/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^7 + 2500666256031250784889706506261825832755126199357801711/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^6 + 3195578517295561041159433607515745296842726708385645369/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^5 - 1266463164545923443860893553144276679350149012355503198/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^4 - 1802712543081232592145236672001236980545270476750459951/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^3 + 937607730548347293690283176390872357599949967324506811/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^2 + 505636378358548776693712171618378889113470815803845782/196619681573\ 5112580769066888965005155655961855843409*c_1100_0 + 107475111278991834322602275821712694571568715624243147/196619681573\ 5112580769066888965005155655961855843409, c_0101_0 - 25311781309475388285236591715488081753216973066309629/393239\ 3631470225161538133777930010311311923711686818*c_1100_0^25 - 48628964012222352904670906186789023406348071739850995/3932393631470\ 225161538133777930010311311923711686818*c_1100_0^24 + 128768417223677674287295286022175767320885766545726404/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^23 + 456347186638916220579288025448991808288187691195007372/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^22 - 613224122090589992339574056992481008867583266617942377/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^21 - 5078629602568870126719764290975934973279356668951687503/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^20 + 2587507280666376213677817317895092009139153934950016441/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^19 + 12831339341867865525195860871694776820308438630891027289/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^18 - 7069676090997117888001586122155665006503242787049070305/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^17 - 26913421490225350758528211512153390033607313401715708965/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^16 + 6620221772042002424625943753270118401266616098994031938/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^15 + 23684976840720058206569764055231215127604617717595643378/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^14 - 7098838284001185701035312697712022369214661671192978728/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^13 - 60906779775456771019530796828560560279720249271271787097/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^12 + 15100782367512762314584011775309812795751929468495475555/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^11 + 65280280180380825242280666418370285829829902785335089949/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^10 - 13023213065301728479314246921876846631901541288261491489/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^9 - 29513619983473715320805240829996923428863619103036993818/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^8 + 5042546883902277365384739636340507173956569730300317277/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^7 + 19471920357999379749014907018163489588406345271257024065/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^6 - 1167138318518631048515235774824425646234472157047700749/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^5 - 10471022717375362343433193675029245115213436287574001114/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^4 + 460577902299380476135874701704220698381463578021232249/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^3 + 4455426506011124275853594213082235155484732401836689430/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^2 + 834440460340682632906692704643932733106402362531781594/196619681573\ 5112580769066888965005155655961855843409*c_1100_0 - 431600738838365170183976023788135448211109192808772995/196619681573\ 5112580769066888965005155655961855843409, c_0101_3 + 1118664159048475084254287784642298019530637114585781/1966196\ 815735112580769066888965005155655961855843409*c_1100_0^25 - 14396667635328893811259095863933205265865363585453335/3932393631470\ 225161538133777930010311311923711686818*c_1100_0^24 - 63044790838970626729179100116138638455667196129544887/3932393631470\ 225161538133777930010311311923711686818*c_1100_0^23 + 50015475732805729062976730676440382274903355481670015/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^22 + 824434527589648651649769929933486444895152257578296639/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^21 - 144326247117088945363919719318980856983574107683410681/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^20 - 2073753810961240695346099703913739791236591239936346016/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^19 - 71409289055631989581825883120123735680030043844479967/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^18 + 10306986803271473241653100799960382427138040892809887447/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^17 - 568096963142461961449876878644203350899647315104416557/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^16 - 10834737782036059173673366276439123467467251655988180907/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^15 + 379352810242821221198118947322599178747507041649746142/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^14 + 18631850405554171554138762284015782100511107678320099172/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^13 + 3398966641112763430021584268162630138522003073892291489/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^12 - 23280126284835005388465250698868970528940284451696389501/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^11 - 5302495704951378808022226172706455019789347579343967097/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^10 + 24600380454020703284768109298467060209160655595232538033/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^9 + 6976483826910776468159762261364295548766789999442523059/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^8 - 21676347655692050902178891828250721703889754699469375345/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^7 - 4945267570904486396707799362358312991678113474839110933/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^6 + 13613515516573397859952179534236029484723696885256786633/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^5 + 6538182441064826556091858077729734703842042840132035541/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^4 - 7134322479369504563187057574982714836659350462111045284/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^3 - 1917660298301723786591862171441165375352830303718513080/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^2 + 5650857249032164951751644320061395560356447896069872897/39323936314\ 70225161538133777930010311311923711686818*c_1100_0 + 1346079582494334788320455686825222082464959182811225104/19661968157\ 35112580769066888965005155655961855843409, c_0101_5 - 16345625831451633100669715677428757722189842724434015/393239\ 3631470225161538133777930010311311923711686818*c_1100_0^25 - 31711279177994903194420833914605900768563783736960623/3932393631470\ 225161538133777930010311311923711686818*c_1100_0^24 + 82702608255319535148053888293891564839111453191660415/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^23 + 296018799126141642229599752555022325897585942682539934/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^22 - 388801710050011190331925636356070113497731653043520080/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^21 - 3284604335270654192426278595746296650190725128840961901/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^20 + 1591094476382759915849177864266345424084683697943090363/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^19 + 8263851807482062481362474703857079454121889638041781973/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^18 - 4361247398458973906298028389145899945048284883110199959/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^17 - 17339753256879181267387338301216811787901210016794352693/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^16 + 4049428397513234671694921182390068592975352723198701929/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^15 + 15251623689127558667833909966608140875784491959691242878/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^14 - 4183591508398561588211911682938090188469949823501872353/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^13 - 39081688024269480756304357448722031193873558519122029101/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^12 + 8740214220497881692455811360294734969588345527230421929/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^11 + 41823061012655346572713831226377417908726401452656468413/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^10 - 7319294461385872615212551091675357126434925097035671717/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^9 - 18876469545974263588690154447235369369137835306727413557/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^8 + 2281517145784592006782783927555143138408569019978168289/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^7 + 12377877730387643782324075818478545538247914558112998675/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^6 - 448963111422098706862037572936371636712661353102492653/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^5 - 6637457532761986964616008211969168351706272877799693797/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^4 - 27729719845975601731007712080493975025292445021381869/3932393631470\ 225161538133777930010311311923711686818*c_1100_0^3 + 2811362161152219884989669425668167746611546149448420766/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^2 + 605304344057128584976813044158927263109797555251961104/196619681573\ 5112580769066888965005155655961855843409*c_1100_0 - 240633574714287317661339507616227274095616935313705519/196619681573\ 5112580769066888965005155655961855843409, c_0101_9 + 1143206732427249617151954371433818574638072832428714/1966196\ 815735112580769066888965005155655961855843409*c_1100_0^25 + 5920876036303736562726444656778296029050590336494533/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^24 - 6588409628197979795928687855582953690414000701465205/39323936314702\ 25161538133777930010311311923711686818*c_1100_0^23 - 76891092973782964192155306204630093391685751898271370/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^22 - 181270991179423193161717236269003724083256270157159725/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^21 + 736044312271321231569744171527980646908796233480459761/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^20 + 685188052464810133834938752513789738270001664060279032/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^19 - 734717102695371564443441841300575200216828295819294131/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^18 - 3343338445017268665109911754403682507312505271476711241/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^17 + 1707155460665185638950101484214653811418890412767045641/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^16 + 3636955681755490398098364618308307332012994468542845153/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^15 - 5883361206389707230560884309218669192693490848512666083/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^14 - 13618570757604209600248648013431562045069764081725444451/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^13 + 2835874363843797162905728327779461791978925566298133204/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^12 + 17380338729942115607524494461949855567266986414321352577/3932393631\ 470225161538133777930010311311923711686818*c_1100_0^11 - 2660998768985425353102792066693804912682107153627160724/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^10 - 9390926233848184912014948929668960756029700137291489753/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^9 + 3858456631605498060278247821597692302055800142922226887/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^8 + 8690083002904964288416625797445324226273820849032346124/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^7 - 272365831454135183947896727284504548776188854666454227/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^6 - 5517566329754058603929321100987594647089056727454736822/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^5 - 393746298064699792088217105444937599943267263759495685/393239363147\ 0225161538133777930010311311923711686818*c_1100_0^4 + 5892958727318521743144123041644278442741535381072303553/39323936314\ 70225161538133777930010311311923711686818*c_1100_0^3 + 306732700730577788639043743532330916552023027723118205/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^2 - 1282686406953945463733454311277547254935337395499002635/19661968157\ 35112580769066888965005155655961855843409*c_1100_0 - 523532032857349335004624790418744968764122108570062686/196619681573\ 5112580769066888965005155655961855843409, c_1001_1 + c_1100_0, c_1001_2 - 852165194680174759617488980354659790251414430502567/19661968\ 15735112580769066888965005155655961855843409*c_1100_0^25 + 3248046160772514375876420481042079688874903526249888/19661968157351\ 12580769066888965005155655961855843409*c_1100_0^24 + 19339574181470669771824896945603895308057286415116981/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^23 - 16284377330982010254954636077643265155415193295930725/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^22 - 229964139511724030667278340553560489740171228300387451/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^21 + 17347537844557774198275645374037839256824876154384766/1966196815735\ 112580769066888965005155655961855843409*c_1100_0^20 + 1120291645252194148347138968838212374993987180677461411/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^19 + 197235437470237427612476208516842833646862709777408828/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^18 - 2795774600664850985131735330102803830770969152045514196/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^17 - 193727616451162195730273473559168248834724550928075882/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^16 + 5875941287065873446972528769962833107542941411548935166/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^15 + 412309988698915838608540003841833187775676769947521513/196619681573\ 5112580769066888965005155655961855843409*c_1100_0^14 - 10026530834795754524222016700654739143228051825015328943/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^13 - 1715352209251866771677942922520000125243205444006080341/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^12 + 12512081455242023095553483071053722351486329069101555959/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^11 + 2298816479390616266049106793368161839434557439137198930/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^10 - 13211443725508656481112101282162700274493917200719264423/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^9 - 2668192736556561981576851513089355707460742843490441520/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^8 + 11585907754449447527063728078376496877252246069883599962/1966196815\ 735112580769066888965005155655961855843409*c_1100_0^7 + 3184557667820605306269440410511141912210504504141146224/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^6 - 7274811748390517006000822649938651916779218227629434151/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^5 - 2044971653620372253310680694228733878627365497878016917/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^4 + 3811496411384780494514843632666644366928706132552970316/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^3 + 1151754743318990004493704076957486808094615872053613491/19661968157\ 35112580769066888965005155655961855843409*c_1100_0^2 - 1490876692272916533444004039120988875858327537786754427/19661968157\ 35112580769066888965005155655961855843409*c_1100_0 - 735327665184833679134768662702220947857267294718389773/196619681573\ 5112580769066888965005155655961855843409, c_1100_0^26 + 27/13*c_1100_0^25 - 11*c_1100_0^24 - 521/13*c_1100_0^23 + 698/13*c_1100_0^22 + 3268/13*c_1100_0^21 - 115*c_1100_0^20 - 9871/13*c_1100_0^19 + 3355/13*c_1100_0^18 + 21988/13*c_1100_0^17 - 6893/13*c_1100_0^16 - 41494/13*c_1100_0^15 + 7258/13*c_1100_0^14 + 60719/13*c_1100_0^13 - 4248/13*c_1100_0^12 - 70293/13*c_1100_0^11 + 1604/13*c_1100_0^10 + 69156/13*c_1100_0^9 + 3734/13*c_1100_0^8 - 54168/13*c_1100_0^7 - 7152/13*c_1100_0^6 + 32212/13*c_1100_0^5 + 5222/13*c_1100_0^4 - 15820/13*c_1100_0^3 - 4010/13*c_1100_0^2 + 4877/13*c_1100_0 + 2138/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.560 Total time: 0.770 seconds, Total memory usage: 32.09MB