Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 1713896206] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3174 geometric_solution 6.32156452 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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.382812829524 0.723096236477 0 3 5 4 0132 0132 0132 0132 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 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.765386738281 0.962907687087 3 0 4 5 2310 0132 3201 2310 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 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.765386738281 0.962907687087 3 1 2 3 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.116205880475 0.891240857374 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.046252013949 0.585875768527 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 1 -1 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.724866182162 0.655732653597 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755126483502 0.301795080137 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1530718375684007022949395938896745921485943465933579009218014995085\ 8983772346529042932/83449875065675008696955761590553705030158163739\ 2891894864252059147388040099002755485*c_0101_6^29 - 4050952610435875623184705817778274442383343799781588592364282253947\ 4207115762691903599/75863522786977280633596146900503368209234694308\ 444717714932005377035276372636614135*c_0101_6^28 + 1058727563296501789112253632515315844815306689449240778365006942890\ 890717873414097833823/834498750656750086969557615905537050301581637\ 392891894864252059147388040099002755485*c_0101_6^27 + 1065507291968133883192585190835049533410345616669231783881353897645\ 545715811941053095620/166899750131350017393911523181107410060316327\ 478578378972850411829477608019800551097*c_0101_6^26 + 2851394165224240116487360195352824820852707291315097370795407239587\ 752327251614346519527/758635227869772806335961469005033682092346943\ 08444717714932005377035276372636614135*c_0101_6^25 + 6760779976263834894144842798770109654627796889336686420320826994604\ 8499376406974113941427/83449875065675008696955761590553705030158163\ 7392891894864252059147388040099002755485*c_0101_6^24 - 2212306988903600389134444755577588774683010760667915419593284455730\ 597050960755647858451/151727045573954561267192293801006736418469388\ 61688943542986401075407055274527322827*c_0101_6^23 - 1394629631708470143364423449726762003622610135537707764358706333723\ 84646296364177288184946/8344987506567500869695576159055370503015816\ 37392891894864252059147388040099002755485*c_0101_6^22 + 6583543987769590669421176316479725389791451387479189700433022881752\ 8409266761284329277013/83449875065675008696955761590553705030158163\ 7392891894864252059147388040099002755485*c_0101_6^21 - 3121701254134175609172813874164502690235128067604647879169852588774\ 8492728956185138979368/16689975013135001739391152318110741006031632\ 7478578378972850411829477608019800551097*c_0101_6^20 + 6662450010131331423542531017068187150116446315798184494216180644250\ 2738637352890438505598/43920986876671057208924085047659844752714823\ 020678520782329055744599370531526460815*c_0101_6^19 - 1047507801166472091873514337846256940508858683043781720563465021070\ 41814554661873979527596/1668997501313500173939115231811074100603163\ 27478578378972850411829477608019800551097*c_0101_6^18 - 3282523900776531238386314152646050699570274850149512276217271036677\ 570449152592290542449427/834498750656750086969557615905537050301581\ 637392891894864252059147388040099002755485*c_0101_6^17 + 3376490435065437121627863328841496953060953628125247241522176542408\ 123380107094091690879059/834498750656750086969557615905537050301581\ 637392891894864252059147388040099002755485*c_0101_6^16 + 2150952358321553714219772976552718881827385738021244495890022739708\ 414378876902885200664932/834498750656750086969557615905537050301581\ 637392891894864252059147388040099002755485*c_0101_6^15 - 8144229785495224270516243059533137784976431801558981544289809239307\ 67356697096399081948906/1668997501313500173939115231811074100603163\ 27478578378972850411829477608019800551097*c_0101_6^14 + 3601097950970719689619765722202296054028555992404364152362428079384\ 1286199306640570379395/16689975013135001739391152318110741006031632\ 7478578378972850411829477608019800551097*c_0101_6^13 + 7496838083414741944377637217360649322680530271169444803643836874364\ 5430173983598513077104/43920986876671057208924085047659844752714823\ 020678520782329055744599370531526460815*c_0101_6^12 + 3268817795843474392764292059452335456425900494669669410551515303754\ 7783916258248573113951/75863522786977280633596146900503368209234694\ 308444717714932005377035276372636614135*c_0101_6^11 - 1960254421885959729117022176021922747399744335568620440677056296497\ 06107660731065690523323/8344987506567500869695576159055370503015816\ 37392891894864252059147388040099002755485*c_0101_6^10 - 1034555061463156128108281381889270517572803158258011056029903221471\ 532778710674132181121763/834498750656750086969557615905537050301581\ 637392891894864252059147388040099002755485*c_0101_6^9 + 4933031070997723675384657743798392322715720522813087722443109610047\ 12884222939894078223532/8344987506567500869695576159055370503015816\ 37392891894864252059147388040099002755485*c_0101_6^8 + 2503720537303496904063612552148956572469818502237261642755322475975\ 95851913000409727571687/8344987506567500869695576159055370503015816\ 37392891894864252059147388040099002755485*c_0101_6^7 - 1322863324793152308884381482141698990315221582549158323482964259016\ 44595486997564772303938/8344987506567500869695576159055370503015816\ 37392891894864252059147388040099002755485*c_0101_6^6 - 2520819946587903619219848664480642549357456032559956364938026376248\ 4243326776182560130636/83449875065675008696955761590553705030158163\ 7392891894864252059147388040099002755485*c_0101_6^5 + 2262519827668200305617753657100517703257382649919282546607332445558\ 827948989263245982734/166899750131350017393911523181107410060316327\ 478578378972850411829477608019800551097*c_0101_6^4 + 1029885910326023936490748553663763482176580159808857239340683128800\ 58732241968244292274/8344987506567500869695576159055370503015816373\ 92891894864252059147388040099002755485*c_0101_6^3 + 1595211731823522410338581836301449039107833696924062653636524186485\ 95026316347877657808/8344987506567500869695576159055370503015816373\ 92891894864252059147388040099002755485*c_0101_6^2 + 5859118355539490165965533141928450513811712390357013480495791234831\ 103089942681516701/439209868766710572089240850476598447527148230206\ 78520782329055744599370531526460815*c_0101_6 - 3665815097797615387202064083490121578559848090299300570106797753856\ 6041647235625401704/83449875065675008696955761590553705030158163739\ 2891894864252059147388040099002755485, c_0011_0 - 1, c_0011_4 + 365642697101978374352873462629262935878688803179554257037181\ 831312413896888466514/798563397757655585616801546321088086412996782\ 194154923315073740810897646027753833*c_0101_6^29 - 1050161203398372275047146903448850480938666470777113913775195989492\ 7033658621800982/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^28 + 2117521211377865029983663933743118031368227685551379619614846890472\ 9671534991323706/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^27 + 1361278328805692948664507154893295469749479393885189082164613248492\ 69407061565016159/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^26 + 8003483017446541598313578131007357109440705234532338565398782945734\ 87395626444785604/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^25 + 1921193454596352699923905137453043496985173195437838517836563659737\ 704387645328379227/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^24 - 2193377994608748302450045379128938073395980834358772860330870818175\ 216886759558750880/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^23 - 4240320046265282509460034421339822821550916056686130805024523006255\ 883618312344675101/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^22 + 1576695833507166941159847843400844289497669417076851217100586809579\ 61255735235444806/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^21 - 3630817832101782372439216288308476163692862092574749870268167207127\ 394227274096707755/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^20 + 2860422842597055512263944301625547901679795904469174520960977650162\ 6266688421154914306/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^19 - 1076259385518251121292389954223518101835722422512045985318625132406\ 522617989513085129/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^18 - 8074823272977771844516173549515728635646797358462642542462751263204\ 1453613257879047846/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^17 + 5141800581406633980147280731314749764642951368381399562309103270423\ 5208327671711875344/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^16 + 7492659790790660469733232162835344289100305199999463630665419019102\ 7416724823483051657/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^15 - 7608891411006780733113457536417344223213065231832788819872103632376\ 9881990067724862048/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^14 - 2376881480821834118168296513173656988851345742955206896759489079296\ 6887585472130172601/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^13 + 3143958185212348000894139087023750732880395066747837419389327904380\ 2509458683475696030/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^12 + 1615015691065286645848640354094307161461805261332531502511647389846\ 2092525987365201530/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^11 + 1061321212142439042172506084481642041063252201734495155390013894284\ 277863560883621496/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^10 - 2396936259028285280327274876828619154638491309725678535258621819573\ 7981393978696137166/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^9 + 2969234989061550699393570389444227050304336343199037994896981672993\ 064195986787552478/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^8 + 8453440659317895042497128264217212131574607804352872347945234563660\ 671373435879503521/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^7 - 1632682383432115496248774915668082896731272959574820332306209049312\ 728196910572040973/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^6 - 8132743344004519020124545394324281761227567394691470709624752581505\ 87290362325545470/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^5 + 1120794485301472208801640363411643981660484581331239713857305126714\ 45821088174440858/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^4 - 1666309797333403003447047388690133131659052705576049885056892859128\ 2687829901913939/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^3 + 5456351890040670106679529239066491770227377164316031450270889253107\ 868593256961323/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6^2 + 3564758399274482232287216583255760588334627292528728613666523900299\ 936680783130853/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6 - 2267344591087697457108876424650109451786460744443207640525070122441\ 38346963425151/7985633977576555856168015463210880864129967821941549\ 23315073740810897646027753833, c_0101_0 + 578993347775808826753298547963979891207911018049426482220155\ 947411496191053597953/798563397757655585616801546321088086412996782\ 194154923315073740810897646027753833*c_0101_6^29 - 1685433647879056320566118925046521959724541068421565563379361722217\ 6448113224990826/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^28 + 3999750694826233777500746920553307245053550928786892713832063904167\ 3304176925786285/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^27 + 2023959309190146448371689599154365125658786584306398832747186588631\ 96481755811394321/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^26 + 1185697969848771365731123969542533278643167074717222842218164637775\ 287405243575409929/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^25 + 2545948834690948462419770284147770877093445487329759140548137074571\ 585964837817215964/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^24 - 4677076148040430865349965240191775691437814701129872552497629067809\ 333080784373046860/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^23 - 5507830662370542104123234729120684672911639746620726371613450974298\ 501054512632032313/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^22 + 2482467927607239928999011834547016901741063567700340866949196576304\ 893659480028919600/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^21 - 5456851309513426017310033083733569645306521745488692878839086256641\ 840694119176539194/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^20 + 4820816445456671218400164640221742653978920038066790144089369503822\ 7907051447482170575/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^19 - 1934286141533124135330058165740393086533668797136537363313968902249\ 8907923104071991642/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^18 - 1261632072624803218474565966618299508819117996541173839122704097773\ 11257807891731549921/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^17 + 1255612005016459312420759158809364685021194886796211548025749206905\ 79736017484983794866/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^16 + 8750133559557204428434854919301674821279641729554750115023827849424\ 7761659669166050063/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^15 - 1521840436086113225908796796048442867605064082913145134738500832237\ 23521922227549150923/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^14 - 1589373730480974407097765278155969449139515623862258979637858852687\ 344633837800261034/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^13 + 5402750659701103204000843868763892956529401840073252044530625049153\ 5848946655460180465/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^12 + 1953108587423077758691904405549343178305038171836497289777924253005\ 0321942634887893909/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^11 - 7408368416648032713213797337149220255903616280990517347999654076229\ 361357446997306483/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^10 - 4192017637127953317680012425479770008689346451445053825123073500758\ 6180464514685575932/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^9 + 1716397623497058905267125008466072526908156102294994956744943858481\ 6014317420925604172/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^8 + 1083860168268572593852709098339640217057634260550048839271497518198\ 0934552177646958236/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^7 - 3733493269566561873070479596585931275936235576634894239879107054338\ 290021963432887690/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^6 - 1483624867085007805417724974524024983558777763435298494747049297270\ 780318429147470101/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^5 + 5054140203985852034381415318602610231418675197186469792648418027534\ 0971488873145009/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^4 + 1060087710583073276108618260515225489247007976989198226394949769290\ 22455341185976417/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^3 + 2817543814507001675063559796835405323778314890424161892297334996557\ 2770046692327358/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^2 + 3418586821159674025296815425344695514486316894905544456488181912192\ 836978718307061/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6 + 5260645728185892508468657586555929389842931769155005656602872706865\ 76222169765273/7985633977576555856168015463210880864129967821941549\ 23315073740810897646027753833, c_0101_1 + 573037073487431284996673468066411034419991485286425689698282\ 704427019951665577980/798563397757655585616801546321088086412996782\ 194154923315073740810897646027753833*c_0101_6^29 - 1645427053689254073415192082826731600894823836424364773538895784058\ 2720123756655448/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^28 + 3306468651262167637957966498580864815676537329686552951817217363181\ 2484135737981143/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^27 + 2137785882345608877272000008184823208687745452328738123012957326417\ 05637767220981603/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^26 + 1256537374748092630962893513095224703860281219645627190139613296745\ 464307134936679525/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^25 + 3013642715800219612196017791888717607399269476898588346175126649882\ 350281754675866813/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^24 - 3453276794643008385114716448263667970105684564229641915553411296477\ 317147123894694528/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^23 - 6817112347471621240842472096684560167724972987810187397234595507553\ 067781534115092633/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^22 + 3412389375293022168171272926870532896443532374317033848548967325179\ 900507077204589/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6^21 - 5366072696873696971693678842400079625813655453178518015810297830141\ 762144730030965714/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^20 + 4527203336719505482140117736082700703285114017524310731023557481418\ 0808591170434035759/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^19 - 1201820426794383523646474259116755712873032690300897401082325565148\ 772030318494798449/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^18 - 1266832349443833609926233302143013982778761918575955962602157873459\ 45979398979716934727/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^17 + 7629953382887588252311117982292310363980146338172088526892817912615\ 4972192372916388694/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^16 + 1198510859367796733686295261982487618040751557732777972992734520281\ 77040624451873357642/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^15 - 1106120654222902910453912614934989794027284523762556103966854627353\ 40449655560941592524/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^14 - 4525506857336085272369487250327056690019003235807435789115513545004\ 5161471547804428431/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^13 + 4329890230585722048617788525268300887281502655841568938462847126958\ 8359230873937067865/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^12 + 3342147401777228128938824039943186410667330333765017341897289599729\ 3024270284022547495/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^11 + 2945321666449858268861515828281436407358780142895781924339998885996\ 809040492082896350/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^10 - 3984718304242695758041070737350459310628790081214666371894448889728\ 3882084913374398132/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^9 + 2610196519616388969730414340671403966689329660100805232046145074264\ 712710510251221281/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^8 + 1310930046571085124604706630716835764690676795219616049820391109081\ 2722303341696095427/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^7 - 1219918548356023457065390054538105441068913829460743758878259262437\ 67720556570349568/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^6 - 1793696060509140241837152483406653506114379407512346210285105578737\ 593693946972533959/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^5 - 2603861135027693580533438399092552538507496707106881441810558748878\ 75836803594559215/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^4 + 7083512882804193653900647365355447579634341108434315156329221660024\ 2653784359421505/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^3 + 1240997571337454658992406078817093413027119747081043288074128902569\ 7901950920990866/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^2 + 1759595550817088526384026415671116741306840177218560214286498879306\ 409695211009461/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6 + 1330607999255805887668993796411744135216770960025379255500410073955\ 470352807471633/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833, c_0101_2 + 129798907109905722358436485054258348219159021296867859150975\ 208532691511192601315/798563397757655585616801546321088086412996782\ 194154923315073740810897646027753833*c_0101_6^29 - 3752008951077285126352379332949998138792932658689595577870423272573\ 130184914751217/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6^28 + 8202877302412289759505198674194259381825419424682118638240645438217\ 089158527503008/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6^27 + 4707792148529367774768275150770596945494134066467690871622521978780\ 6884932764119299/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^26 + 2748090007251236611045385274321037429994614524335795213088884044585\ 75026430754854531/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^25 + 6275881751871293683932025608392171460228810425933894485284263680137\ 53857362869935490/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^24 - 9154591253717324629443845085120613971205521175137999571733634509120\ 54208460510968858/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^23 - 1383842267252550967224205509146135640611503794385859220360977165826\ 954948712693931752/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^22 + 3727818727005513236053075367319282172544098458604013845474328977361\ 79270678796405001/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^21 - 1259154035969517240071557870198485058777025926186068390991177608860\ 491187680209659801/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^20 + 1036754433361151161736007893407634863121342972746245250004292859178\ 4187192394373260627/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^19 - 2204322636654731422445331320462618308449328373015872209687071456299\ 387350456198375189/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^18 - 2900120580465474777851758142705260692892452320278242211566150454136\ 2966696751832532363/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^17 + 2374501920159356484355815282827835791216958834506197591608304603577\ 7351605056429345440/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^16 + 2427066516885225759314860449172138496862971860223730243197715626491\ 8514671645476756613/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^15 - 3311707989362168705352607864996985187098621131221697875745698897421\ 5363553667818599394/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^14 - 4047989186090431455199519076532390578117653415764508375276509539976\ 667061711662566275/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^13 + 1417660904320143466063186406439738060488095081275450573383057076346\ 3685652414558024034/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^12 + 3437339052541414080138686759394429836224838765434567004880645011696\ 099691429748908687/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^11 - 1211980065315943406476526348682867981402382288792461445026707000429\ 179541337168521288/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^10 - 8559304598527562927399413657245311476219439963889291923403037693779\ 134582875328380400/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^9 + 2710643772437556088801624862240960383273227860904594070750696590314\ 950060335262975943/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^8 + 3106549025419176836852115899019909700011658231612701122921433673025\ 883187223801905740/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^7 - 1339271127899430347357149511159948942790211372807856251737074818640\ 374264100718536739/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^6 - 2562815519647711978452705126329585511590169424783183932188375082741\ 63260652463948776/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^5 + 1729786287621938572676217133182803586499904343278268903613604846377\ 89267094799150674/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^4 - 1444002127413784650326795290053190023832551545477398405618253224692\ 8636819906077589/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^3 - 5532905053184026016348198021865974761052736209125042685208039203992\ 806357561615839/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6^2 - 1506583264805745466081073154780501135498656915266067042571056687355\ 16135249334478/7985633977576555856168015463210880864129967821941549\ 23315073740810897646027753833*c_0101_6 - 3165469014568255603967340053919838460345098101503093221776265944187\ 24827479190586/7985633977576555856168015463210880864129967821941549\ 23315073740810897646027753833, c_0101_3 - 511766576839209178860262698573473074218673790374446098260690\ 785490454072333926276/798563397757655585616801546321088086412996782\ 194154923315073740810897646027753833*c_0101_6^29 + 1505456897001965902176994753229182319690382914859475393468229491070\ 3326686761902104/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^28 - 3990277808911792095359100697920612709075495232519681846520823518450\ 4732483102627739/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^27 - 1688054056765876516843625447894820943126071046729320216576992257656\ 61293880927328004/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^26 - 9911391457823659201003158600274650667325531098080807153415892630833\ 38772009367829059/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^25 - 1919805016146754724750013280331774481861080910061723490218382565118\ 115218471006952394/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^24 + 4878043640770799179771639383260783324187102532238952309079519242772\ 811911477036261022/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^23 + 3708765918477965743764791011458634589299923611498094634899134258178\ 389980779229841453/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^22 - 3900734910143038343078806769650886393166423815841700460149809937621\ 576156064844432332/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^21 + 5324894244393454911594133087444858181117387407791316898698002047155\ 263020870320845802/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^20 - 4399516927157903380522343885748349035519911470016135905692338979515\ 5252740854352166496/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^19 + 2982869868009411270531444796773173700541779924989345820468838119526\ 6600416314965690113/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^18 + 1084949819523254103872250756937068454194388425996992387083064867040\ 44077652265842347089/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^17 - 1465456071292763787395535633295719028135697277979986075970527697592\ 86036511382997876242/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^16 - 4814500167842159178821809568193713595809422404567982771406410879017\ 3341699540044731264/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^15 + 1647479395096746590248899395433525136752827216839676478470571872970\ 03554681213552794601/7985633977576555856168015463210880864129967821\ 94154923315073740810897646027753833*c_0101_6^14 - 3867559379298848102662063100032572942003186585432550126322931087615\ 5186665057941695071/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^13 - 5431851157640695763209175216390637534286404643543594373998300348637\ 9027567527519303664/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^12 - 1127562840273119948747322735274760594623241042534000993147272109401\ 49789382735718944/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^11 + 1251570267145944016574283742379447976112702592348775662467375684281\ 8023193318218045366/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^10 + 3524910158022133040091738353350503636384764291756455467782139279051\ 1618555252975975091/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^9 - 2643301911907148370295793893099853556172291504695338995718837457072\ 9138530122645511409/79856339775765558561680154632108808641299678219\ 4154923315073740810897646027753833*c_0101_6^8 - 6418378960394480547173004213040257201122447781528669365752495330110\ 435922869623287895/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^7 + 7351750591442846266675467438242439221345250407502117801821673481294\ 192899172277542194/798563397757655585616801546321088086412996782194\ 154923315073740810897646027753833*c_0101_6^6 + 1106494795236879269788601685602153603501615123341756150687487205779\ 57539657308913328/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^5 - 5662871521644317354770436513409086601645372870901263684127372295601\ 49399273768399085/7985633977576555856168015463210880864129967821941\ 54923315073740810897646027753833*c_0101_6^4 + 1940796098716439962791939304820837696659560242517030988122610552700\ 9857433717233256/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^3 - 1081873284310668067439864909402973459698670100795664803557239239042\ 6900398112065389/79856339775765558561680154632108808641299678219415\ 4923315073740810897646027753833*c_0101_6^2 - 1995317124472672690916629545983465937426392134051710137241104508647\ 151748303609126/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833*c_0101_6 + 1009003944168306118646437737345337777270650340003987863554222686446\ 050260429749323/798563397757655585616801546321088086412996782194154\ 923315073740810897646027753833, c_0101_6^30 - 30*c_0101_6^29 + 95*c_0101_6^28 + 288*c_0101_6^27 + 1736*c_0101_6^26 + 2578*c_0101_6^25 - 11978*c_0101_6^24 - 2258*c_0101_6^23 + 12798*c_0101_6^22 - 13637*c_0101_6^21 + 91616*c_0101_6^20 - 107173*c_0101_6^19 - 188271*c_0101_6^18 + 413465*c_0101_6^17 - 46010*c_0101_6^16 - 402068*c_0101_6^15 + 244180*c_0101_6^14 + 93103*c_0101_6^13 - 60936*c_0101_6^12 - 35293*c_0101_6^11 - 58537*c_0101_6^10 + 92703*c_0101_6^9 - 9032*c_0101_6^8 - 24907*c_0101_6^7 + 6034*c_0101_6^6 + 2024*c_0101_6^5 - 488*c_0101_6^4 + 13*c_0101_6^3 - 10*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB